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/9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/debian-dudf//9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/aspcud-paranoid-1.0/9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.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.85 0.95 0.98 2/33 15233 /proc/meminfo: memFree=926436/1048576 swapFree=2094592/2097144 [pid=15233] ppid=15232 vsize=2884 CPUtime=0 /proc/15233/stat : 15233 (runsolver) D 15232 15233 3447 769 3447 4202560 74 0 0 0 0 0 0 0 25 0 1 0 528553489 2953216 93 1283457024 134512640 134586868 4289287280 18446744073709551615 4157703210 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/15233/statm: 721 93 62 19 0 53 0 [startup+0.198962 s] /proc/loadavg: 0.85 0.95 0.98 2/33 15233 /proc/meminfo: memFree=926436/1048576 swapFree=2094592/2097144 [pid=15233] ppid=15232 vsize=4708 CPUtime=0.01 /proc/15233/stat : 15233 (python) S 15232 15233 3447 769 3447 4202496 1128 0 1 0 1 0 0 0 25 0 1 0 528553489 4820992 833 1283457024 134512640 135539072 4290719424 18446744073709551615 4160537518 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15233/statm: 1177 833 400 251 0 435 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4708 [startup+0.206951 s] /proc/loadavg: 0.85 0.95 0.98 2/33 15233 /proc/meminfo: memFree=926436/1048576 swapFree=2094592/2097144 [pid=15233] ppid=15232 vsize=4708 CPUtime=0.01 /proc/15233/stat : 15233 (python) S 15232 15233 3447 769 3447 4202496 1128 0 1 0 1 0 0 0 25 0 1 0 528553489 4820992 833 1283457024 134512640 135539072 4290719424 18446744073709551615 4160537518 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15233/statm: 1177 833 400 251 0 435 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4708 [startup+0.306965 s] /proc/loadavg: 0.85 0.95 0.98 2/33 15233 /proc/meminfo: memFree=926436/1048576 swapFree=2094592/2097144 [pid=15233] ppid=15232 vsize=4708 CPUtime=0.01 /proc/15233/stat : 15233 (python) S 15232 15233 3447 769 3447 4202496 1128 0 1 0 1 0 0 0 25 0 1 0 528553489 4820992 833 1283457024 134512640 135539072 4290719424 18446744073709551615 4160537518 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15233/statm: 1177 833 400 251 0 435 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4708 [startup+0.709082 s] /proc/loadavg: 0.85 0.95 0.98 2/33 15233 /proc/meminfo: memFree=926436/1048576 swapFree=2094592/2097144 [pid=15233] ppid=15232 vsize=4708 CPUtime=0.01 /proc/15233/stat : 15233 (python) S 15232 15233 3447 769 3447 4202496 1128 0 1 0 1 0 0 0 25 0 1 0 528553489 4820992 833 1283457024 134512640 135539072 4290719424 18446744073709551615 4160537518 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15233/statm: 1177 833 400 251 0 435 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4708 [startup+1.50927 s] /proc/loadavg: 0.86 0.95 0.98 2/35 15235 /proc/meminfo: memFree=915472/1048576 swapFree=2094592/2097144 [pid=15233] ppid=15232 vsize=4708 CPUtime=0.01 /proc/15233/stat : 15233 (python) S 15232 15233 3447 769 3447 4202496 1128 0 1 0 1 0 0 0 25 0 1 0 528553489 4820992 833 1283457024 134512640 135539072 4290719424 18446744073709551615 4160537518 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15233/statm: 1177 833 400 251 0 435 0 [pid=15235] ppid=15233 vsize=12172 CPUtime=1.27 /proc/15235/stat : 15235 (cudf2lp) R 15233 15233 3447 769 3447 4202496 3175 0 18 0 124 3 0 0 25 0 1 0 528553502 12464128 2722 1283457024 134512640 135993029 4289055600 18446744073709551615 134568042 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/15235/statm: 3043 2722 110 362 0 2625 0 Current children cumulated CPU time (s) 1.28 Current children cumulated vsize (KiB) 16880 [startup+3.11137 s] /proc/loadavg: 0.86 0.95 0.98 2/35 15235 /proc/meminfo: memFree=906668/1048576 swapFree=2094592/2097144 [pid=15233] ppid=15232 vsize=4708 CPUtime=0.01 /proc/15233/stat : 15233 (python) S 15232 15233 3447 769 3447 4202496 1128 0 1 0 1 0 0 0 25 0 1 0 528553489 4820992 833 1283457024 134512640 135539072 4290719424 18446744073709551615 4160537518 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15233/statm: 1177 833 400 251 0 435 0 [pid=15235] ppid=15233 vsize=25200 CPUtime=2.86 /proc/15235/stat : 15235 (cudf2lp) R 15233 15233 3447 769 3447 4202496 6375 0 18 0 282 4 0 0 25 0 1 0 528553502 25804800 5922 1283457024 134512640 135993029 4289055600 18446744073709551615 134566521 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/15235/statm: 6300 5922 110 362 0 5882 0 Current children cumulated CPU time (s) 2.87 Current children cumulated vsize (KiB) 29908 [startup+6.31217 s] /proc/loadavg: 0.87 0.95 0.98 2/35 15235 /proc/meminfo: memFree=881000/1048576 swapFree=2094592/2097144 [pid=15233] ppid=15232 vsize=4708 CPUtime=0.01 /proc/15233/stat : 15233 (python) S 15232 15233 3447 769 3447 4202496 1128 0 1 0 1 0 0 0 25 0 1 0 528553489 4820992 833 1283457024 134512640 135539072 4290719424 18446744073709551615 4160537518 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15233/statm: 1177 833 400 251 0 435 0 [pid=15235] ppid=15233 vsize=49384 CPUtime=6.06 /proc/15235/stat : 15235 (cudf2lp) R 15233 15233 3447 769 3447 4202496 12284 0 18 0 598 8 0 0 25 0 1 0 528553502 50569216 11831 1283457024 134512640 135993029 4289055600 18446744073709551615 134569012 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/15235/statm: 12346 11831 110 362 0 11928 0 Current children cumulated CPU time (s) 6.07 Current children cumulated vsize (KiB) 54092 [startup+12.7041 s] /proc/loadavg: 0.88 0.96 0.98 2/35 15235 /proc/meminfo: memFree=784656/1048576 swapFree=2094592/2097144 [pid=15233] ppid=15232 vsize=4708 CPUtime=0.01 /proc/15233/stat : 15233 (python) S 15232 15233 3447 769 3447 4202496 1128 0 1 0 1 0 0 0 25 0 1 0 528553489 4820992 833 1283457024 134512640 135539072 4290719424 18446744073709551615 4160537518 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15233/statm: 1177 833 400 251 0 435 0 [pid=15235] ppid=15233 vsize=151396 CPUtime=12.42 /proc/15235/stat : 15235 (cudf2lp) R 15233 15233 3447 769 3447 4202496 37687 0 20 0 1135 107 0 0 25 0 1 0 528553502 155029504 37203 1283457024 134512640 135993029 4289055600 18446744073709551615 134945061 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/15235/statm: 37849 37203 135 362 0 37431 0 Current children cumulated CPU time (s) 12.43 Current children cumulated vsize (KiB) 156104 [startup+25.5085 s] /proc/loadavg: 0.90 0.96 0.98 2/37 15238 /proc/meminfo: memFree=410744/1048576 swapFree=2094592/2097144 [pid=15233] ppid=15232 vsize=4708 CPUtime=14.08 /proc/15233/stat : 15233 (python) S 15232 15233 3447 769 3447 4202496 1216 48165 1 20 1 0 1225 182 18 0 1 0 528553489 4820992 835 1283457024 134512640 135539072 4290719424 18446744073709551615 4160537518 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15233/statm: 1177 835 402 251 0 435 0 [pid=15236] ppid=15233 vsize=2384 CPUtime=0 /proc/15236/stat : 15236 (sh) S 15233 15233 3447 769 3447 4194304 441 0 0 0 0 0 0 0 18 0 1 0 528554925 2441216 253 1283457024 134512640 135191968 4290047472 18446744073709551615 4159441310 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15236/statm: 596 253 214 166 0 28 0 [pid=15237] ppid=15236 vsize=427560 CPUtime=9.35 /proc/15237/stat : 15237 (bingo) R 15236 15233 3447 769 3447 4202496 127381 0 21 0 900 35 0 0 25 0 1 0 528554926 437821440 82918 1283457024 134512640 136195415 4287141232 18446744073709551615 134702146 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/15237/statm: 106890 82918 220 411 0 106477 0 [pid=15238] ppid=15236 vsize=169416 CPUtime=1.52 /proc/15238/stat : 15238 (clasp) S 15236 15233 3447 769 3447 4202496 47781 0 16 0 135 17 0 0 18 0 1 0 528554926 173481984 41481 1283457024 134512640 136080129 4290455232 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/15238/statm: 42354 41481 147 383 0 41969 0 Current children cumulated CPU time (s) 24.95 Current children cumulated vsize (KiB) 604068 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+31.2102 s] /proc/loadavg: 0.91 0.96 0.98 2/37 15238 /proc/meminfo: memFree=4380/1048576 swapFree=2094592/2097144 [pid=15233] ppid=15232 vsize=4708 CPUtime=14.08 /proc/15233/stat : 15233 (python) S 15232 15233 3447 769 3447 4202496 1216 48165 1 20 1 0 1225 182 18 0 1 0 528553489 4820992 835 1283457024 134512640 135539072 4290719424 18446744073709551615 4160537518 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15233/statm: 1177 835 402 251 0 435 0 [pid=15236] ppid=15233 vsize=2384 CPUtime=0 /proc/15236/stat : 15236 (sh) S 15233 15233 3447 769 3447 4194304 441 0 0 0 0 0 0 0 18 0 1 0 528554925 2441216 253 1283457024 134512640 135191968 4290047472 18446744073709551615 4159441310 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15236/statm: 596 253 214 166 0 28 0 [pid=15237] ppid=15236 vsize=950200 CPUtime=14.29 /proc/15237/stat : 15237 (bingo) R 15236 15233 3447 769 3447 4202496 269222 0 21 0 1335 94 0 0 25 0 1 0 528554926 973004800 180537 1283457024 134512640 136195415 4287141232 18446744073709551615 134655966 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/15237/statm: 237550 180537 220 411 0 237137 0 [pid=15238] ppid=15236 vsize=202020 CPUtime=2.27 /proc/15238/stat : 15238 (clasp) S 15236 15233 3447 769 3447 4202496 57576 0 16 0 206 21 0 0 18 0 1 0 528554926 206868480 49173 1283457024 134512640 136080129 4290455232 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/15238/statm: 50505 49173 147 383 0 50120 0 Current children cumulated CPU time (s) 30.64 Current children cumulated vsize (KiB) 1159312 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples [startup+31.2102 s] /proc/loadavg: 0.91 0.96 0.98 2/37 15238 /proc/meminfo: memFree=4380/1048576 swapFree=2094592/2097144 [pid=15233] ppid=15232 vsize=4708 CPUtime=14.08 /proc/15233/stat : 15233 (python) S 15232 15233 3447 769 3447 4202496 1216 48165 1 20 1 0 1225 182 18 0 1 0 528553489 4820992 835 1283457024 134512640 135539072 4290719424 18446744073709551615 4160537518 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15233/statm: 1177 835 402 251 0 435 0 [pid=15236] ppid=15233 vsize=2384 CPUtime=0 /proc/15236/stat : 15236 (sh) S 15233 15233 3447 769 3447 4194304 441 0 0 0 0 0 0 0 18 0 1 0 528554925 2441216 253 1283457024 134512640 135191968 4290047472 18446744073709551615 4159441310 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15236/statm: 596 253 214 166 0 28 0 [pid=15237] ppid=15236 vsize=950200 CPUtime=14.29 /proc/15237/stat : 15237 (bingo) R 15236 15233 3447 769 3447 4202496 269222 0 21 0 1335 94 0 0 25 0 1 0 528554926 973004800 180537 1283457024 134512640 136195415 4287141232 18446744073709551615 134655966 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/15237/statm: 237550 180537 220 411 0 237137 0 [pid=15238] ppid=15236 vsize=202020 CPUtime=2.27 /proc/15238/stat : 15238 (clasp) S 15236 15233 3447 769 3447 4202496 57576 0 16 0 206 21 0 0 18 0 1 0 528554926 206868480 49173 1283457024 134512640 136080129 4290455232 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/15238/statm: 50505 49173 147 383 0 50120 0 Current children cumulated CPU time (s) 30.64 Current children cumulated vsize (KiB) 1159312 Child ended because it received signal 10 (SIGUSR1) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 15233 and gives # childrusage.ru_utime.tv_sec=14 # childrusage.ru_utime.tv_usec=332895 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=60128 # CPU time returned by wait4() is 16.393 # while last known CPU time is 30.64 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 31.2665 CPU time (s): 30.64 CPU user time (s): 27.67 CPU system time (s): 2.97 CPU usage (%): 97.9963 Max. virtual memory (cumulated for all children) (KiB): 1159312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.3329 system time used= 2.06013 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 107480 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= 7829 involuntary context switches= 450 runsolver used 0 second user time and 0 second system time The end