runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051233/aspcud-paranoid-1.0/56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debian-dudf.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/debian-dudf//56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf /home/misc2010/tmp/201007051233/aspcud-paranoid-1.0/56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debian-dudf.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.93 1.01 0.99 1/33 11099 /proc/meminfo: memFree=908064/1048576 swapFree=2094596/2097144 [pid=11099] ppid=11098 vsize=2884 CPUtime=0 /proc/11099/stat : 11099 (runsolver) D 11098 11099 3447 769 3447 4202560 74 0 0 0 0 0 0 0 25 0 1 0 527710675 2953216 93 1283457024 134512640 134586868 4289979680 18446744073709551615 4158252074 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/11099/statm: 721 93 62 19 0 53 0 [startup+0.150817 s] /proc/loadavg: 0.93 1.01 0.99 1/33 11099 /proc/meminfo: memFree=908064/1048576 swapFree=2094596/2097144 [pid=11099] ppid=11098 vsize=4704 CPUtime=0.01 /proc/11099/stat : 11099 (python) S 11098 11099 3447 769 3447 4202496 1128 0 1 0 1 0 0 0 25 0 1 0 527710675 4816896 833 1283457024 134512640 135539072 4291178288 18446744073709551615 4160443310 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11099/statm: 1176 833 400 251 0 434 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4704 [startup+0.206808 s] /proc/loadavg: 0.93 1.01 0.99 1/33 11099 /proc/meminfo: memFree=908064/1048576 swapFree=2094596/2097144 [pid=11099] ppid=11098 vsize=4704 CPUtime=0.01 /proc/11099/stat : 11099 (python) S 11098 11099 3447 769 3447 4202496 1128 0 1 0 1 0 0 0 25 0 1 0 527710675 4816896 833 1283457024 134512640 135539072 4291178288 18446744073709551615 4160443310 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11099/statm: 1176 833 400 251 0 434 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4704 [startup+0.312337 s] /proc/loadavg: 0.93 1.01 0.99 1/33 11099 /proc/meminfo: memFree=908064/1048576 swapFree=2094596/2097144 [pid=11099] ppid=11098 vsize=4704 CPUtime=0.01 /proc/11099/stat : 11099 (python) S 11098 11099 3447 769 3447 4202496 1128 0 1 0 1 0 0 0 25 0 1 0 527710675 4816896 833 1283457024 134512640 135539072 4291178288 18446744073709551615 4160443310 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11099/statm: 1176 833 400 251 0 434 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4704 [startup+0.712431 s] /proc/loadavg: 0.93 1.01 0.99 1/33 11099 /proc/meminfo: memFree=908064/1048576 swapFree=2094596/2097144 [pid=11099] ppid=11098 vsize=4704 CPUtime=0.01 /proc/11099/stat : 11099 (python) S 11098 11099 3447 769 3447 4202496 1128 0 1 0 1 0 0 0 25 0 1 0 527710675 4816896 833 1283457024 134512640 135539072 4291178288 18446744073709551615 4160443310 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11099/statm: 1176 833 400 251 0 434 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4704 [startup+1.51261 s] /proc/loadavg: 0.93 1.01 0.99 2/35 11101 /proc/meminfo: memFree=896828/1048576 swapFree=2094596/2097144 [pid=11099] ppid=11098 vsize=4704 CPUtime=0.01 /proc/11099/stat : 11099 (python) S 11098 11099 3447 769 3447 4202496 1128 0 1 0 1 0 0 0 25 0 1 0 527710675 4816896 833 1283457024 134512640 135539072 4291178288 18446744073709551615 4160443310 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11099/statm: 1176 833 400 251 0 434 0 [pid=11101] ppid=11099 vsize=12920 CPUtime=1.32 /proc/11101/stat : 11101 (cudf2lp) R 11099 11099 3447 769 3447 4202496 3363 0 18 0 132 0 0 0 25 0 1 0 527710683 13230080 2908 1283457024 134512640 135993029 4292247680 18446744073709551615 135400219 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/11101/statm: 3230 2908 110 362 0 2812 0 Current children cumulated CPU time (s) 1.33 Current children cumulated vsize (KiB) 17624 [startup+3.103 s] /proc/loadavg: 0.93 1.01 0.99 2/35 11101 /proc/meminfo: memFree=888272/1048576 swapFree=2094596/2097144 [pid=11099] ppid=11098 vsize=4704 CPUtime=0.01 /proc/11099/stat : 11099 (python) S 11098 11099 3447 769 3447 4202496 1128 0 1 0 1 0 0 0 25 0 1 0 527710675 4816896 833 1283457024 134512640 135539072 4291178288 18446744073709551615 4160443310 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11099/statm: 1176 833 400 251 0 434 0 [pid=11101] ppid=11099 vsize=25760 CPUtime=2.91 /proc/11101/stat : 11101 (cudf2lp) R 11099 11099 3447 769 3447 4202496 6479 0 18 0 290 1 0 0 25 0 1 0 527710683 26378240 6024 1283457024 134512640 135993029 4292247680 18446744073709551615 134595759 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/11101/statm: 6440 6024 111 362 0 6022 0 Current children cumulated CPU time (s) 2.92 Current children cumulated vsize (KiB) 30464 [startup+6.30382 s] /proc/loadavg: 0.94 1.01 0.99 2/35 11101 /proc/meminfo: memFree=862728/1048576 swapFree=2094596/2097144 [pid=11099] ppid=11098 vsize=4704 CPUtime=0.01 /proc/11099/stat : 11099 (python) S 11098 11099 3447 769 3447 4202496 1128 0 1 0 1 0 0 0 25 0 1 0 527710675 4816896 833 1283457024 134512640 135539072 4291178288 18446744073709551615 4160443310 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11099/statm: 1176 833 400 251 0 434 0 [pid=11101] ppid=11099 vsize=51184 CPUtime=6.11 /proc/11101/stat : 11101 (cudf2lp) R 11099 11099 3447 769 3447 4202496 12745 0 18 0 607 4 0 0 25 0 1 0 527710683 52412416 12290 1283457024 134512640 135993029 4292247680 18446744073709551615 134579311 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/11101/statm: 12796 12290 111 362 0 12378 0 Current children cumulated CPU time (s) 6.12 Current children cumulated vsize (KiB) 55888 [startup+12.7062 s] /proc/loadavg: 0.94 1.01 0.99 2/35 11101 /proc/meminfo: memFree=748156/1048576 swapFree=2094596/2097144 [pid=11099] ppid=11098 vsize=4704 CPUtime=0.01 /proc/11099/stat : 11099 (python) S 11098 11099 3447 769 3447 4202496 1128 0 1 0 1 0 0 0 25 0 1 0 527710675 4816896 833 1283457024 134512640 135539072 4291178288 18446744073709551615 4160443310 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11099/statm: 1176 833 400 251 0 434 0 [pid=11101] ppid=11099 vsize=166384 CPUtime=12.49 /proc/11101/stat : 11101 (cudf2lp) R 11099 11099 3447 769 3447 4202496 41470 0 20 0 1124 125 0 0 25 0 1 0 527710683 170377216 40984 1283457024 134512640 135993029 4292247680 18446744073709551615 134530992 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/11101/statm: 41596 40984 135 362 0 41178 0 Current children cumulated CPU time (s) 12.5 Current children cumulated vsize (KiB) 171088 [startup+25.5087 s] /proc/loadavg: 0.95 1.01 0.99 2/37 11104 /proc/meminfo: memFree=360728/1048576 swapFree=2094596/2097144 [pid=11099] ppid=11098 vsize=4704 CPUtime=13.27 /proc/11099/stat : 11099 (python) S 11098 11099 3447 769 3447 4202496 1216 45779 1 20 1 0 1160 166 18 0 1 0 527710675 4816896 835 1283457024 134512640 135539072 4291178288 18446744073709551615 4160443310 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11099/statm: 1176 835 402 251 0 434 0 [pid=11102] ppid=11099 vsize=2388 CPUtime=0 /proc/11102/stat : 11102 (sh) S 11099 11099 3447 769 3447 4194304 444 0 0 0 0 0 0 0 21 0 1 0 527712023 2445312 254 1283457024 134512640 135191968 4289832384 18446744073709551615 4159646110 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11102/statm: 597 254 214 166 0 29 0 [pid=11103] ppid=11102 vsize=488984 CPUtime=9.94 /proc/11103/stat : 11103 (bingo) R 11102 11099 3447 769 3447 4202496 141823 0 21 0 936 58 0 0 25 0 1 0 527712023 500719616 92466 1283457024 134512640 136195415 4293444096 18446744073709551615 134604175 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/11103/statm: 122246 92466 220 411 0 121833 0 [pid=11104] ppid=11102 vsize=181400 CPUtime=1.88 /proc/11104/stat : 11104 (clasp) S 11102 11099 3447 769 3447 4202496 51301 0 16 0 170 18 0 0 18 0 1 0 527712023 185753600 44341 1283457024 134512640 136080129 4288013504 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/11104/statm: 45350 44341 147 383 0 44965 0 Current children cumulated CPU time (s) 25.09 Current children cumulated vsize (KiB) 677476 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+30.1098 s] /proc/loadavg: 0.96 1.01 0.99 2/37 11104 /proc/meminfo: memFree=6392/1048576 swapFree=2094596/2097144 [pid=11099] ppid=11098 vsize=4704 CPUtime=13.27 /proc/11099/stat : 11099 (python) S 11098 11099 3447 769 3447 4202496 1216 45779 1 20 1 0 1160 166 18 0 1 0 527710675 4816896 835 1283457024 134512640 135539072 4291178288 18446744073709551615 4160443310 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11099/statm: 1176 835 402 251 0 434 0 [pid=11102] ppid=11099 vsize=2388 CPUtime=0 /proc/11102/stat : 11102 (sh) S 11099 11099 3447 769 3447 4194304 444 0 0 0 0 0 0 0 21 0 1 0 527712023 2445312 254 1283457024 134512640 135191968 4289832384 18446744073709551615 4159646110 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11102/statm: 597 254 214 166 0 29 0 [pid=11103] ppid=11102 vsize=956432 CPUtime=14.11 /proc/11103/stat : 11103 (bingo) R 11102 11099 3447 769 3447 4202496 267696 0 21 0 1321 90 0 0 25 0 1 0 527712023 979386368 177723 1283457024 134512640 136195415 4293444096 18446744073709551615 134659635 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/11103/statm: 239108 177723 220 411 0 238695 0 [pid=11104] ppid=11102 vsize=192040 CPUtime=2.25 /proc/11104/stat : 11104 (clasp) S 11102 11099 3447 769 3447 4202496 54356 0 16 0 205 20 0 0 18 0 1 0 527712023 196648960 47092 1283457024 134512640 136080129 4288013504 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/11104/statm: 48010 47092 147 383 0 47625 0 Current children cumulated CPU time (s) 29.63 Current children cumulated vsize (KiB) 1155564 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 10 (SIGUSR1) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 11099 and gives # childrusage.ru_utime.tv_sec=13 # childrusage.ru_utime.tv_usec=676854 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=892118 # CPU time returned by wait4() is 15.569 # while last known CPU time is 29.63 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 30.1714 CPU time (s): 29.63 CPU user time (s): 26.87 CPU system time (s): 2.76 CPU usage (%): 98.2055 Max. virtual memory (cumulated for all children) (KiB): 1155564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 13.6769 system time used= 1.89212 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 101877 page faults= 37 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7628 involuntary context switches= 388 runsolver used 0 second user time and 0 second system time The end