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/2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/debian-dudf//2f690324-4939-11df-9e6e-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/aspcud-paranoid-1.0/2f690324-4939-11df-9e6e-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.97 0.98 2/36 8257 /proc/meminfo: memFree=921840/1048576 swapFree=2092224/2097144 [pid=8257] ppid=8256 vsize=2884 CPUtime=0 /proc/8257/stat : 8257 (runsolver) D 8256 8257 3447 769 3447 4202560 74 0 0 0 0 0 0 0 24 0 1 0 527232896 2953216 93 1283457024 134512640 134586868 4290770400 18446744073709551615 4158284842 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/8257/statm: 721 93 62 19 0 53 0 [startup+0.126956 s] /proc/loadavg: 0.85 0.97 0.98 2/36 8257 /proc/meminfo: memFree=921840/1048576 swapFree=2092224/2097144 [pid=8257] ppid=8256 vsize=4672 CPUtime=0 /proc/8257/stat : 8257 (python) R 8256 8257 3447 769 3447 4202496 1038 0 1 0 0 0 0 0 25 0 1 0 527232896 4784128 800 1283457024 134512640 135539072 4294459984 18446744073709551615 4159717022 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/8257/statm: 1168 800 388 251 0 435 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4672 [startup+0.206964 s] /proc/loadavg: 0.85 0.97 0.98 2/36 8257 /proc/meminfo: memFree=921840/1048576 swapFree=2092224/2097144 [pid=8257] ppid=8256 vsize=4708 CPUtime=0 /proc/8257/stat : 8257 (python) S 8256 8257 3447 769 3447 4202496 1129 0 1 0 0 0 0 0 25 0 1 0 527232896 4820992 834 1283457024 134512640 135539072 4294459984 18446744073709551615 4160496558 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8257/statm: 1177 834 400 251 0 435 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4708 [startup+0.311019 s] /proc/loadavg: 0.85 0.97 0.98 2/36 8257 /proc/meminfo: memFree=921840/1048576 swapFree=2092224/2097144 [pid=8257] ppid=8256 vsize=4708 CPUtime=0 /proc/8257/stat : 8257 (python) S 8256 8257 3447 769 3447 4202496 1129 0 1 0 0 0 0 0 25 0 1 0 527232896 4820992 834 1283457024 134512640 135539072 4294459984 18446744073709551615 4160496558 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8257/statm: 1177 834 400 251 0 435 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4708 [startup+0.711181 s] /proc/loadavg: 0.85 0.97 0.98 2/36 8257 /proc/meminfo: memFree=921840/1048576 swapFree=2092224/2097144 [pid=8257] ppid=8256 vsize=4708 CPUtime=0 /proc/8257/stat : 8257 (python) S 8256 8257 3447 769 3447 4202496 1129 0 1 0 0 0 0 0 25 0 1 0 527232896 4820992 834 1283457024 134512640 135539072 4294459984 18446744073709551615 4160496558 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8257/statm: 1177 834 400 251 0 435 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4708 [startup+1.51127 s] /proc/loadavg: 0.86 0.97 0.98 2/38 8259 /proc/meminfo: memFree=910496/1048576 swapFree=2092224/2097144 [pid=8257] ppid=8256 vsize=4708 CPUtime=0 /proc/8257/stat : 8257 (python) S 8256 8257 3447 769 3447 4202496 1129 0 1 0 0 0 0 0 25 0 1 0 527232896 4820992 834 1283457024 134512640 135539072 4294459984 18446744073709551615 4160496558 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8257/statm: 1177 834 400 251 0 435 0 [pid=8259] ppid=8257 vsize=12672 CPUtime=1.29 /proc/8259/stat : 8259 (cudf2lp) R 8257 8257 3447 769 3447 4202496 3282 0 18 0 127 2 0 0 25 0 1 0 527232909 12976128 2828 1283457024 134512640 135993029 4294817056 18446744073709551615 134567870 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/8259/statm: 3168 2828 110 362 0 2750 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 17380 [startup+3.11169 s] /proc/loadavg: 0.86 0.97 0.98 2/38 8259 /proc/meminfo: memFree=901692/1048576 swapFree=2092224/2097144 [pid=8257] ppid=8256 vsize=4708 CPUtime=0 /proc/8257/stat : 8257 (python) S 8256 8257 3447 769 3447 4202496 1129 0 1 0 0 0 0 0 25 0 1 0 527232896 4820992 834 1283457024 134512640 135539072 4294459984 18446744073709551615 4160496558 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8257/statm: 1177 834 400 251 0 435 0 [pid=8259] ppid=8257 vsize=25196 CPUtime=2.88 /proc/8259/stat : 8259 (cudf2lp) R 8257 8257 3447 769 3447 4202496 6326 0 18 0 286 2 0 0 25 0 1 0 527232909 25800704 5872 1283457024 134512640 135993029 4294817056 18446744073709551615 134539468 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/8259/statm: 6299 5872 111 362 0 5881 0 Current children cumulated CPU time (s) 2.88 Current children cumulated vsize (KiB) 29904 [startup+6.31322 s] /proc/loadavg: 0.86 0.97 0.98 2/38 8259 /proc/meminfo: memFree=875776/1048576 swapFree=2092224/2097144 [pid=8257] ppid=8256 vsize=4708 CPUtime=0 /proc/8257/stat : 8257 (python) S 8256 8257 3447 769 3447 4202496 1129 0 1 0 0 0 0 0 25 0 1 0 527232896 4820992 834 1283457024 134512640 135539072 4294459984 18446744073709551615 4160496558 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8257/statm: 1177 834 400 251 0 435 0 [pid=8259] ppid=8257 vsize=49956 CPUtime=6.06 /proc/8259/stat : 8259 (cudf2lp) R 8257 8257 3447 769 3447 4202496 12445 0 18 0 601 5 0 0 25 0 1 0 527232909 51154944 11985 1283457024 134512640 135993029 4294817056 18446744073709551615 134569102 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/8259/statm: 12489 11985 111 362 0 12071 0 Current children cumulated CPU time (s) 6.06 Current children cumulated vsize (KiB) 54664 [startup+12.705 s] /proc/loadavg: 0.88 0.97 0.98 2/38 8259 /proc/meminfo: memFree=782284/1048576 swapFree=2092224/2097144 [pid=8257] ppid=8256 vsize=4708 CPUtime=0 /proc/8257/stat : 8257 (python) S 8256 8257 3447 769 3447 4202496 1129 0 1 0 0 0 0 0 25 0 1 0 527232896 4820992 834 1283457024 134512640 135539072 4294459984 18446744073709551615 4160496558 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8257/statm: 1177 834 400 251 0 435 0 [pid=8259] ppid=8257 vsize=149260 CPUtime=12.43 /proc/8259/stat : 8259 (cudf2lp) R 8257 8257 3447 769 3447 4202496 37176 0 20 0 1158 85 0 0 25 0 1 0 527232909 152842240 36685 1283457024 134512640 135993029 4294817056 18446744073709551615 135025573 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/8259/statm: 37315 36685 135 362 0 36897 0 Current children cumulated CPU time (s) 12.43 Current children cumulated vsize (KiB) 153968 [startup+25.5057 s] /proc/loadavg: 0.90 0.97 0.98 2/40 8262 /proc/meminfo: memFree=414696/1048576 swapFree=2092224/2097144 [pid=8257] ppid=8256 vsize=4708 CPUtime=14.15 /proc/8257/stat : 8257 (python) S 8256 8257 3447 769 3447 4202496 1216 48157 1 20 0 0 1255 160 18 0 1 0 527232896 4820992 836 1283457024 134512640 135539072 4294459984 18446744073709551615 4160496558 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8257/statm: 1177 836 402 251 0 435 0 [pid=8260] ppid=8257 vsize=2388 CPUtime=0 /proc/8260/stat : 8260 (sh) S 8257 8257 3447 769 3447 4194304 441 0 0 0 0 0 0 0 18 0 1 0 527234339 2445312 253 1283457024 134512640 135191968 4294500912 18446744073709551615 4158871966 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8260/statm: 597 253 214 166 0 29 0 [pid=8261] ppid=8260 vsize=427112 CPUtime=9.25 /proc/8261/stat : 8261 (bingo) R 8260 8257 3447 769 3447 4202496 127253 0 21 0 887 38 0 0 25 0 1 0 527234340 437362688 82790 1283457024 134512640 136195415 4287888352 18446744073709551615 135604636 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/8261/statm: 106778 82790 220 411 0 106365 0 [pid=8262] ppid=8260 vsize=168236 CPUtime=1.62 /proc/8262/stat : 8262 (clasp) S 8260 8257 3447 769 3447 4202496 47482 0 16 0 143 19 0 0 18 0 1 0 527234340 172273664 41182 1283457024 134512640 136080129 4288062672 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/8262/statm: 42059 41182 147 383 0 41674 0 Current children cumulated CPU time (s) 25.02 Current children cumulated vsize (KiB) 602444 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+31.2075 s] /proc/loadavg: 0.91 0.97 0.98 2/40 8262 /proc/meminfo: memFree=4264/1048576 swapFree=2092224/2097144 [pid=8257] ppid=8256 vsize=4708 CPUtime=14.15 /proc/8257/stat : 8257 (python) S 8256 8257 3447 769 3447 4202496 1216 48157 1 20 0 0 1255 160 18 0 1 0 527232896 4820992 836 1283457024 134512640 135539072 4294459984 18446744073709551615 4160496558 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8257/statm: 1177 836 402 251 0 435 0 [pid=8260] ppid=8257 vsize=2388 CPUtime=0 /proc/8260/stat : 8260 (sh) S 8257 8257 3447 769 3447 4194304 441 0 0 0 0 0 0 0 18 0 1 0 527234339 2445312 253 1283457024 134512640 135191968 4294500912 18446744073709551615 4158871966 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8260/statm: 597 253 214 166 0 29 0 [pid=8261] ppid=8260 vsize=947448 CPUtime=14.24 /proc/8261/stat : 8261 (bingo) R 8260 8257 3447 769 3447 4204544 268533 0 21 0 1327 97 0 0 25 0 1 0 527234340 970186752 179848 1283457024 134512640 136195415 4287888352 18446744073709551615 134654995 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/8261/statm: 236862 179848 220 411 0 236449 0 [pid=8262] ppid=8260 vsize=201756 CPUtime=2.32 /proc/8262/stat : 8262 (clasp) S 8260 8257 3447 769 3447 4202496 57472 0 16 0 208 24 0 0 18 0 1 0 527234340 206598144 49069 1283457024 134512640 136080129 4288062672 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/8262/statm: 50439 49069 147 383 0 50054 0 Current children cumulated CPU time (s) 30.71 Current children cumulated vsize (KiB) 1156300 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 8257 and gives # childrusage.ru_utime.tv_sec=14 # childrusage.ru_utime.tv_usec=648915 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=868116 # CPU time returned by wait4() is 16.517 # while last known CPU time is 30.71 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 31.2634 CPU time (s): 30.71 CPU user time (s): 27.9 CPU system time (s): 2.81 CPU usage (%): 98.23 Max. virtual memory (cumulated for all children) (KiB): 1156300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.6489 system time used= 1.86812 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 107367 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= 7876 involuntary context switches= 478 runsolver used 0 second user time and 0 second system time The end