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/3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debian-dudf.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/debian-dudf//3e4f8550-0b33-11df-942d-00163e1d94dc.cudf /home/misc2010/tmp/201007051233/aspcud-paranoid-1.0/3e4f8550-0b33-11df-942d-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: 1.02 1.01 1.00 1/33 9209 /proc/meminfo: memFree=907424/1048576 swapFree=2094608/2097144 [pid=9209] ppid=9208 vsize=2884 CPUtime=0 /proc/9209/stat : 9209 (runsolver) D 9208 9209 3447 769 3447 4202560 73 0 0 0 0 0 0 0 25 0 1 0 527474076 2953216 93 1283457024 134512640 134586868 4294375760 18446744073709551615 4158129194 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/9209/statm: 721 93 62 19 0 53 0 [startup+0.132597 s] /proc/loadavg: 1.02 1.01 1.00 1/33 9209 /proc/meminfo: memFree=907424/1048576 swapFree=2094608/2097144 [pid=9209] ppid=9208 vsize=4708 CPUtime=0 /proc/9209/stat : 9209 (python) S 9208 9209 3447 769 3447 4202496 1127 0 1 0 0 0 0 0 25 0 1 0 527474076 4820992 833 1283457024 134512640 135539072 4289310048 18446744073709551615 4160234414 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9209/statm: 1177 833 400 251 0 435 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4708 [startup+0.204609 s] /proc/loadavg: 1.02 1.01 1.00 1/33 9209 /proc/meminfo: memFree=907424/1048576 swapFree=2094608/2097144 [pid=9209] ppid=9208 vsize=4708 CPUtime=0 /proc/9209/stat : 9209 (python) S 9208 9209 3447 769 3447 4202496 1127 0 1 0 0 0 0 0 25 0 1 0 527474076 4820992 833 1283457024 134512640 135539072 4289310048 18446744073709551615 4160234414 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9209/statm: 1177 833 400 251 0 435 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4708 [startup+0.306484 s] /proc/loadavg: 1.02 1.01 1.00 1/33 9209 /proc/meminfo: memFree=907424/1048576 swapFree=2094608/2097144 [pid=9209] ppid=9208 vsize=4708 CPUtime=0 /proc/9209/stat : 9209 (python) S 9208 9209 3447 769 3447 4202496 1127 0 1 0 0 0 0 0 25 0 1 0 527474076 4820992 833 1283457024 134512640 135539072 4289310048 18446744073709551615 4160234414 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9209/statm: 1177 833 400 251 0 435 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4708 [startup+0.706544 s] /proc/loadavg: 1.02 1.01 1.00 1/33 9209 /proc/meminfo: memFree=907424/1048576 swapFree=2094608/2097144 [pid=9209] ppid=9208 vsize=4708 CPUtime=0 /proc/9209/stat : 9209 (python) S 9208 9209 3447 769 3447 4202496 1127 0 1 0 0 0 0 0 25 0 1 0 527474076 4820992 833 1283457024 134512640 135539072 4289310048 18446744073709551615 4160234414 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9209/statm: 1177 833 400 251 0 435 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4708 [startup+1.50668 s] /proc/loadavg: 1.02 1.01 1.00 2/35 9211 /proc/meminfo: memFree=896204/1048576 swapFree=2094608/2097144 [pid=9209] ppid=9208 vsize=4708 CPUtime=0 /proc/9209/stat : 9209 (python) S 9208 9209 3447 769 3447 4202496 1127 0 1 0 0 0 0 0 25 0 1 0 527474076 4820992 833 1283457024 134512640 135539072 4289310048 18446744073709551615 4160234414 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9209/statm: 1177 833 400 251 0 435 0 [pid=9211] ppid=9209 vsize=12920 CPUtime=1.34 /proc/9211/stat : 9211 (cudf2lp) R 9209 9209 3447 769 3447 4202496 3363 0 18 0 131 3 0 0 25 0 1 0 527474081 13230080 2908 1283457024 134512640 135993029 4290457408 18446744073709551615 134566541 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/9211/statm: 3230 2908 110 362 0 2812 0 Current children cumulated CPU time (s) 1.34 Current children cumulated vsize (KiB) 17628 [startup+3.10696 s] /proc/loadavg: 1.02 1.01 1.00 2/35 9211 /proc/meminfo: memFree=887648/1048576 swapFree=2094608/2097144 [pid=9209] ppid=9208 vsize=4708 CPUtime=0 /proc/9209/stat : 9209 (python) S 9208 9209 3447 769 3447 4202496 1127 0 1 0 0 0 0 0 25 0 1 0 527474076 4820992 833 1283457024 134512640 135539072 4289310048 18446744073709551615 4160234414 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9209/statm: 1177 833 400 251 0 435 0 [pid=9211] ppid=9209 vsize=25760 CPUtime=2.93 /proc/9211/stat : 9211 (cudf2lp) R 9209 9209 3447 769 3447 4202496 6505 0 18 0 288 5 0 0 25 0 1 0 527474081 26378240 6050 1283457024 134512640 135993029 4290457408 18446744073709551615 134579311 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/9211/statm: 6440 6050 111 362 0 6022 0 Current children cumulated CPU time (s) 2.93 Current children cumulated vsize (KiB) 30468 [startup+6.30755 s] /proc/loadavg: 1.02 1.01 1.00 2/35 9211 /proc/meminfo: memFree=862228/1048576 swapFree=2094608/2097144 [pid=9209] ppid=9208 vsize=4708 CPUtime=0 /proc/9209/stat : 9209 (python) S 9208 9209 3447 769 3447 4202496 1127 0 1 0 0 0 0 0 25 0 1 0 527474076 4820992 833 1283457024 134512640 135539072 4289310048 18446744073709551615 4160234414 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9209/statm: 1177 833 400 251 0 435 0 [pid=9211] ppid=9209 vsize=51432 CPUtime=6.14 /proc/9211/stat : 9211 (cudf2lp) R 9209 9209 3447 769 3447 4202496 12801 0 18 0 606 8 0 0 25 0 1 0 527474081 52666368 12346 1283457024 134512640 135993029 4290457408 18446744073709551615 134597024 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/9211/statm: 12858 12346 111 362 0 12440 0 Current children cumulated CPU time (s) 6.14 Current children cumulated vsize (KiB) 56140 [startup+12.7108 s] /proc/loadavg: 1.02 1.01 1.00 2/35 9211 /proc/meminfo: memFree=746292/1048576 swapFree=2094608/2097144 [pid=9209] ppid=9208 vsize=4708 CPUtime=0 /proc/9209/stat : 9209 (python) S 9208 9209 3447 769 3447 4202496 1127 0 1 0 0 0 0 0 25 0 1 0 527474076 4820992 833 1283457024 134512640 135539072 4289310048 18446744073709551615 4160234414 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9209/statm: 1177 833 400 251 0 435 0 [pid=9211] ppid=9209 vsize=167704 CPUtime=12.52 /proc/9211/stat : 9211 (cudf2lp) R 9209 9209 3447 769 3447 4202496 41828 0 20 0 1122 130 0 0 25 0 1 0 527474081 171728896 41342 1283457024 134512640 135993029 4290457408 18446744073709551615 135383524 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/9211/statm: 41926 41342 135 362 0 41508 0 Current children cumulated CPU time (s) 12.52 Current children cumulated vsize (KiB) 172412 [startup+25.5037 s] /proc/loadavg: 1.16 1.04 1.01 2/37 9214 /proc/meminfo: memFree=360228/1048576 swapFree=2094608/2097144 [pid=9209] ppid=9208 vsize=4708 CPUtime=13.24 /proc/9209/stat : 9209 (python) S 9208 9209 3447 769 3447 4202496 1215 45779 1 20 0 0 1170 154 18 0 1 0 527474076 4820992 835 1283457024 134512640 135539072 4289310048 18446744073709551615 4160234414 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9209/statm: 1177 835 402 251 0 435 0 [pid=9212] ppid=9209 vsize=2388 CPUtime=0 /proc/9212/stat : 9212 (sh) S 9209 9209 3447 769 3447 4194304 441 0 0 0 0 0 0 0 18 0 1 0 527475420 2445312 253 1283457024 134512640 135191968 4293419312 18446744073709551615 4159494558 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9212/statm: 597 253 214 166 0 29 0 [pid=9213] ppid=9212 vsize=486800 CPUtime=9.85 /proc/9213/stat : 9213 (bingo) R 9212 9209 3447 769 3447 4202496 141424 0 21 0 932 53 0 0 25 0 1 0 527475420 498483200 92068 1283457024 134512640 136195415 4288617840 18446744073709551615 134658199 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/9213/statm: 121700 92068 220 411 0 121287 0 [pid=9214] ppid=9212 vsize=181400 CPUtime=1.99 /proc/9214/stat : 9214 (clasp) S 9212 9209 3447 769 3447 4202496 51300 0 16 0 179 20 0 0 18 0 1 0 527475420 185753600 44341 1283457024 134512640 136080129 4291864688 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/9214/statm: 45350 44341 147 383 0 44965 0 Current children cumulated CPU time (s) 25.08 Current children cumulated vsize (KiB) 675296 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+29.905 s] /proc/loadavg: 1.14 1.04 1.01 2/37 9214 /proc/meminfo: memFree=6208/1048576 swapFree=2094608/2097144 [pid=9209] ppid=9208 vsize=4708 CPUtime=13.24 /proc/9209/stat : 9209 (python) S 9208 9209 3447 769 3447 4202496 1215 45779 1 20 0 0 1170 154 18 0 1 0 527474076 4820992 835 1283457024 134512640 135539072 4289310048 18446744073709551615 4160234414 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9209/statm: 1177 835 402 251 0 435 0 [pid=9212] ppid=9209 vsize=2388 CPUtime=0 /proc/9212/stat : 9212 (sh) S 9209 9209 3447 769 3447 4194304 441 0 0 0 0 0 0 0 18 0 1 0 527475420 2445312 253 1283457024 134512640 135191968 4293419312 18446744073709551615 4159494558 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9212/statm: 597 253 214 166 0 29 0 [pid=9213] ppid=9212 vsize=953496 CPUtime=13.77 /proc/9213/stat : 9213 (bingo) R 9212 9209 3447 769 3447 4202496 267031 0 21 0 1283 94 0 0 25 0 1 0 527475420 976379904 177188 1283457024 134512640 136195415 4288617840 18446744073709551615 134654553 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/9213/statm: 238374 177188 220 411 0 237961 0 [pid=9214] ppid=9212 vsize=192040 CPUtime=2.44 /proc/9214/stat : 9214 (clasp) S 9212 9209 3447 769 3447 4202496 54355 0 16 0 223 21 0 0 18 0 1 0 527475420 196648960 47092 1283457024 134512640 136080129 4291864688 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/9214/statm: 48010 47092 147 383 0 47625 0 Current children cumulated CPU time (s) 29.45 Current children cumulated vsize (KiB) 1152632 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 9209 and gives # childrusage.ru_utime.tv_sec=13 # childrusage.ru_utime.tv_usec=944871 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=780111 # CPU time returned by wait4() is 15.725 # while last known CPU time is 29.45 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 29.9625 CPU time (s): 29.45 CPU user time (s): 26.76 CPU system time (s): 2.69 CPU usage (%): 98.2896 Max. virtual memory (cumulated for all children) (KiB): 1152632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 13.9449 system time used= 1.78011 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 101872 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= 7430 involuntary context switches= 512 runsolver used 0.008 second user time and 0 second system time The end