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/688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/debian-dudf//688250e8-4bb4-11df-a561-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/aspcud-paranoid-1.0/688250e8-4bb4-11df-a561-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: 1.03 1.03 1.00 1/33 12674 /proc/meminfo: memFree=926448/1048576 swapFree=2094588/2097144 [pid=12674] ppid=12673 vsize=2880 CPUtime=0 /proc/12674/stat : 12674 (runsolver) D 12673 12674 3447 769 3447 4202560 73 0 0 0 0 0 0 0 22 0 1 0 528002738 2949120 93 1283457024 134512640 134586868 4294906320 18446744073709551615 4158546986 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/12674/statm: 720 93 62 19 0 52 0 [startup+0.129554 s] /proc/loadavg: 1.03 1.03 1.00 1/33 12674 /proc/meminfo: memFree=926448/1048576 swapFree=2094588/2097144 [pid=12674] ppid=12673 vsize=4532 CPUtime=0.01 /proc/12674/stat : 12674 (python) D 12673 12674 3447 769 3447 4202496 1032 0 1 0 1 0 0 0 23 0 1 0 528002738 4640768 794 1283457024 134512640 135539072 4292198432 18446744073709551615 4158811806 0 0 16781312 2 18446744071564332000 0 0 17 0 0 0 0 /proc/12674/statm: 1133 794 388 251 0 400 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4532 [startup+0.205544 s] /proc/loadavg: 1.03 1.03 1.00 1/33 12674 /proc/meminfo: memFree=926448/1048576 swapFree=2094588/2097144 [pid=12674] ppid=12673 vsize=4704 CPUtime=0.01 /proc/12674/stat : 12674 (python) S 12673 12674 3447 769 3447 4202496 1128 0 1 0 1 0 0 0 22 0 1 0 528002738 4816896 833 1283457024 134512640 135539072 4292198432 18446744073709551615 4159591342 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12674/statm: 1176 833 400 251 0 434 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4704 [startup+0.305557 s] /proc/loadavg: 1.03 1.03 1.00 1/33 12674 /proc/meminfo: memFree=926448/1048576 swapFree=2094588/2097144 [pid=12674] ppid=12673 vsize=4704 CPUtime=0.01 /proc/12674/stat : 12674 (python) S 12673 12674 3447 769 3447 4202496 1128 0 1 0 1 0 0 0 22 0 1 0 528002738 4816896 833 1283457024 134512640 135539072 4292198432 18446744073709551615 4159591342 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12674/statm: 1176 833 400 251 0 434 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4704 [startup+0.713693 s] /proc/loadavg: 1.03 1.03 1.00 1/33 12674 /proc/meminfo: memFree=926448/1048576 swapFree=2094588/2097144 [pid=12674] ppid=12673 vsize=4704 CPUtime=0.01 /proc/12674/stat : 12674 (python) S 12673 12674 3447 769 3447 4202496 1128 0 1 0 1 0 0 0 22 0 1 0 528002738 4816896 833 1283457024 134512640 135539072 4292198432 18446744073709551615 4159591342 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12674/statm: 1176 833 400 251 0 434 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4704 [startup+1.51383 s] /proc/loadavg: 1.03 1.03 1.00 2/35 12676 /proc/meminfo: memFree=912812/1048576 swapFree=2094588/2097144 [pid=12674] ppid=12673 vsize=4704 CPUtime=0.01 /proc/12674/stat : 12674 (python) S 12673 12674 3447 769 3447 4202496 1128 0 1 0 1 0 0 0 22 0 1 0 528002738 4816896 833 1283457024 134512640 135539072 4292198432 18446744073709551615 4159591342 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12674/statm: 1176 833 400 251 0 434 0 [pid=12676] ppid=12674 vsize=12424 CPUtime=1.28 /proc/12676/stat : 12676 (cudf2lp) R 12674 12674 3447 769 3447 4202496 3238 0 18 0 128 0 0 0 25 0 1 0 528002752 12722176 2783 1283457024 134512640 135993029 4292743568 18446744073709551615 134609269 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/12676/statm: 3106 2783 110 362 0 2688 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 17128 [startup+3.11414 s] /proc/loadavg: 1.03 1.03 1.00 2/35 12676 /proc/meminfo: memFree=901480/1048576 swapFree=2094588/2097144 [pid=12674] ppid=12673 vsize=4704 CPUtime=0.01 /proc/12674/stat : 12674 (python) S 12673 12674 3447 769 3447 4202496 1128 0 1 0 1 0 0 0 22 0 1 0 528002738 4816896 833 1283457024 134512640 135539072 4292198432 18446744073709551615 4159591342 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12674/statm: 1176 833 400 251 0 434 0 [pid=12676] ppid=12674 vsize=25204 CPUtime=2.86 /proc/12676/stat : 12676 (cudf2lp) R 12674 12674 3447 769 3447 4202496 6378 0 18 0 285 1 0 0 25 0 1 0 528002752 25808896 5923 1283457024 134512640 135993029 4292743568 18446744073709551615 134572061 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/12676/statm: 6301 5923 110 362 0 5883 0 Current children cumulated CPU time (s) 2.87 Current children cumulated vsize (KiB) 29908 [startup+6.31472 s] /proc/loadavg: 1.03 1.03 1.00 2/35 12676 /proc/meminfo: memFree=867992/1048576 swapFree=2094588/2097144 [pid=12674] ppid=12673 vsize=4704 CPUtime=0.01 /proc/12674/stat : 12674 (python) S 12673 12674 3447 769 3447 4202496 1128 0 1 0 1 0 0 0 22 0 1 0 528002738 4816896 833 1283457024 134512640 135539072 4292198432 18446744073709551615 4159591342 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12674/statm: 1176 833 400 251 0 434 0 [pid=12676] ppid=12674 vsize=50380 CPUtime=6.05 /proc/12676/stat : 12676 (cudf2lp) R 12674 12674 3447 769 3447 4202496 12546 0 18 0 601 4 0 0 25 0 1 0 528002752 51589120 12091 1283457024 134512640 135993029 4292743568 18446744073709551615 134609265 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/12676/statm: 12595 12091 110 362 0 12177 0 Current children cumulated CPU time (s) 6.06 Current children cumulated vsize (KiB) 55084 [startup+12.7067 s] /proc/loadavg: 1.02 1.03 1.00 2/35 12676 /proc/meminfo: memFree=756216/1048576 swapFree=2094588/2097144 [pid=12674] ppid=12673 vsize=4704 CPUtime=0.01 /proc/12674/stat : 12674 (python) S 12673 12674 3447 769 3447 4202496 1128 0 1 0 1 0 0 0 22 0 1 0 528002738 4816896 833 1283457024 134512640 135539072 4292198432 18446744073709551615 4159591342 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12674/statm: 1176 833 400 251 0 434 0 [pid=12676] ppid=12674 vsize=157472 CPUtime=12.42 /proc/12676/stat : 12676 (cudf2lp) R 12674 12674 3447 769 3447 4202496 39207 0 20 0 1142 100 0 0 25 0 1 0 528002752 161251328 38721 1283457024 134512640 135993029 4292743568 18446744073709551615 135022983 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/12676/statm: 39368 38721 135 362 0 38950 0 Current children cumulated CPU time (s) 12.43 Current children cumulated vsize (KiB) 162176 [startup+25.5041 s] /proc/loadavg: 1.02 1.03 1.00 3/37 12679 /proc/meminfo: memFree=384972/1048576 swapFree=2094588/2097144 [pid=12674] ppid=12673 vsize=4704 CPUtime=13.86 /proc/12674/stat : 12674 (python) S 12673 12674 3447 769 3447 4202496 1216 48168 1 20 1 0 1222 163 18 0 1 0 528002738 4816896 835 1283457024 134512640 135539072 4292198432 18446744073709551615 4159591342 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12674/statm: 1176 835 402 251 0 434 0 [pid=12677] ppid=12674 vsize=2388 CPUtime=0 /proc/12677/stat : 12677 (sh) S 12674 12674 3447 769 3447 4194304 444 0 0 0 0 0 0 0 18 0 1 0 528004152 2445312 254 1283457024 134512640 135191968 4288967920 18446744073709551615 4159187358 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12677/statm: 597 254 214 166 0 29 0 [pid=12678] ppid=12677 vsize=427556 CPUtime=9.45 /proc/12678/stat : 12678 (bingo) R 12677 12674 3447 769 3447 4202496 127381 0 21 0 900 45 0 0 25 0 1 0 528004152 437817344 82918 1283457024 134512640 136195415 4294711488 18446744073709551615 134590787 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/12678/statm: 106889 82918 220 411 0 106476 0 [pid=12679] ppid=12677 vsize=173632 CPUtime=1.7 /proc/12679/stat : 12679 (clasp) S 12677 12674 3447 769 3447 4202496 49151 0 16 0 154 16 0 0 18 0 1 0 528004152 177799168 42395 1283457024 134512640 136080129 4290662224 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/12679/statm: 43408 42395 147 383 0 43023 0 Current children cumulated CPU time (s) 25.01 Current children cumulated vsize (KiB) 608280 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+31.1051 s] /proc/loadavg: 1.02 1.03 1.00 2/37 12679 /proc/meminfo: memFree=6232/1048576 swapFree=2094588/2097144 [pid=12674] ppid=12673 vsize=4704 CPUtime=13.86 /proc/12674/stat : 12674 (python) S 12673 12674 3447 769 3447 4202496 1216 48168 1 20 1 0 1222 163 18 0 1 0 528002738 4816896 835 1283457024 134512640 135539072 4292198432 18446744073709551615 4159591342 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12674/statm: 1176 835 402 251 0 434 0 [pid=12677] ppid=12674 vsize=2388 CPUtime=0 /proc/12677/stat : 12677 (sh) S 12674 12674 3447 769 3447 4194304 444 0 0 0 0 0 0 0 18 0 1 0 528004152 2445312 254 1283457024 134512640 135191968 4288967920 18446744073709551615 4159187358 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12677/statm: 597 254 214 166 0 29 0 [pid=12678] ppid=12677 vsize=953344 CPUtime=14.33 /proc/12678/stat : 12678 (bingo) R 12677 12674 3447 769 3447 4204544 269778 0 21 0 1345 88 0 0 22 0 1 0 528004152 976224256 181093 1283457024 134512640 136195415 4294711488 18446744073709551615 134604175 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/12678/statm: 238336 181093 220 411 0 237923 0 [pid=12679] ppid=12677 vsize=202024 CPUtime=2.4 /proc/12679/stat : 12679 (clasp) S 12677 12674 3447 769 3447 4202496 57577 0 16 0 219 21 0 0 18 0 1 0 528004152 206872576 49174 1283457024 134512640 136080129 4290662224 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/12679/statm: 50506 49174 147 383 0 50121 0 Current children cumulated CPU time (s) 30.59 Current children cumulated vsize (KiB) 1162460 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 12674 and gives # childrusage.ru_utime.tv_sec=14 # childrusage.ru_utime.tv_usec=424901 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=872117 # CPU time returned by wait4() is 16.297 # while last known CPU time is 30.59 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 31.6689 CPU time (s): 30.59 CPU user time (s): 27.87 CPU system time (s): 2.72 CPU usage (%): 96.5931 Max. virtual memory (cumulated for all children) (KiB): 1162460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.4249 system time used= 1.87212 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 107405 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= 7895 involuntary context switches= 613 runsolver used 0 second user time and 0.008 second system time The end