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/201007051419/aspcud-paranoid-1.0/randa223c3.cudf.impossible.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/impossible//randa223c3.cudf /home/misc2010/tmp/201007051419/aspcud-paranoid-1.0/randa223c3.cudf.impossible.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.05 1.07 1.03 1/95 15319 /proc/meminfo: memFree=1038676/2097152 swapFree=2055620/2097144 [pid=15319] ppid=15318 vsize=3280 CPUtime=0 /proc/15319/stat : 15319 (python) R 15318 15319 13759 34823 13904 4202496 556 0 0 0 0 0 0 0 18 0 1 0 417958372 3358720 352 1283457024 134512640 135539072 4287846832 18446744073709551615 4160485833 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/15319/statm: 820 353 251 251 0 121 0 [startup+0.442273 s] /proc/loadavg: 1.05 1.07 1.03 1/95 15319 /proc/meminfo: memFree=1038676/2097152 swapFree=2055620/2097144 [pid=15319] ppid=15318 vsize=4692 CPUtime=0.01 /proc/15319/stat : 15319 (python) S 15318 15319 13759 34823 13904 4202496 1154 0 0 0 0 1 0 0 18 0 1 0 417958372 4804608 832 1283457024 134512640 135539072 4287846832 18446744073709551615 4160484270 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15319/statm: 1173 832 398 251 0 431 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4692 [startup+0.506264 s] /proc/loadavg: 1.05 1.07 1.03 1/95 15319 /proc/meminfo: memFree=1038676/2097152 swapFree=2055620/2097144 [pid=15319] ppid=15318 vsize=4692 CPUtime=0.01 /proc/15319/stat : 15319 (python) S 15318 15319 13759 34823 13904 4202496 1154 0 0 0 0 1 0 0 18 0 1 0 417958372 4804608 832 1283457024 134512640 135539072 4287846832 18446744073709551615 4160484270 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15319/statm: 1173 832 398 251 0 431 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4692 [startup+0.606307 s] /proc/loadavg: 1.05 1.07 1.03 1/95 15319 /proc/meminfo: memFree=1038676/2097152 swapFree=2055620/2097144 [pid=15319] ppid=15318 vsize=4692 CPUtime=0.01 /proc/15319/stat : 15319 (python) S 15318 15319 13759 34823 13904 4202496 1154 0 0 0 0 1 0 0 18 0 1 0 417958372 4804608 832 1283457024 134512640 135539072 4287846832 18446744073709551615 4160484270 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15319/statm: 1173 832 398 251 0 431 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4692 [startup+0.706283 s] /proc/loadavg: 1.05 1.07 1.03 1/95 15319 /proc/meminfo: memFree=1038676/2097152 swapFree=2055620/2097144 [pid=15319] ppid=15318 vsize=4692 CPUtime=0.01 /proc/15319/stat : 15319 (python) S 15318 15319 13759 34823 13904 4202496 1154 0 0 0 0 1 0 0 18 0 1 0 417958372 4804608 832 1283457024 134512640 135539072 4287846832 18446744073709551615 4160484270 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15319/statm: 1173 832 398 251 0 431 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4692 [startup+1.51835 s] /proc/loadavg: 1.05 1.07 1.03 3/97 15321 /proc/meminfo: memFree=1024656/2097152 swapFree=2055620/2097144 [pid=15319] ppid=15318 vsize=4692 CPUtime=0.01 /proc/15319/stat : 15319 (python) S 15318 15319 13759 34823 13904 4202496 1154 0 0 0 0 1 0 0 18 0 1 0 417958372 4804608 832 1283457024 134512640 135539072 4287846832 18446744073709551615 4160484270 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15319/statm: 1173 832 398 251 0 431 0 [pid=15321] ppid=15319 vsize=15152 CPUtime=1.47 /proc/15321/stat : 15321 (cudf2lp) R 15319 15319 13759 34823 13904 4202496 3911 0 0 0 146 1 0 0 19 0 1 0 417958376 15515648 3439 1283457024 134512640 135993029 4294422624 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/15321/statm: 3788 3439 110 362 0 3370 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 19844 [startup+3.10644 s] /proc/loadavg: 1.05 1.07 1.03 2/97 15322 /proc/meminfo: memFree=1015108/2097152 swapFree=2055620/2097144 [pid=15319] ppid=15318 vsize=4692 CPUtime=0.01 /proc/15319/stat : 15319 (python) S 15318 15319 13759 34823 13904 4202496 1154 0 0 0 0 1 0 0 18 0 1 0 417958372 4804608 832 1283457024 134512640 135539072 4287846832 18446744073709551615 4160484270 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15319/statm: 1173 832 398 251 0 431 0 [pid=15321] ppid=15319 vsize=29668 CPUtime=3.06 /proc/15321/stat : 15321 (cudf2lp) R 15319 15319 13759 34823 13904 4202496 7450 0 0 0 304 2 0 0 25 0 1 0 417958376 30380032 6978 1283457024 134512640 135993029 4294422624 18446744073709551615 134537802 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/15321/statm: 7417 6978 110 362 0 6999 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 34360 [startup+6.30658 s] /proc/loadavg: 1.04 1.07 1.03 2/97 15322 /proc/meminfo: memFree=986836/2097152 swapFree=2055620/2097144 [pid=15319] ppid=15318 vsize=4692 CPUtime=0.01 /proc/15319/stat : 15319 (python) S 15318 15319 13759 34823 13904 4202496 1154 0 0 0 0 1 0 0 18 0 1 0 417958372 4804608 832 1283457024 134512640 135539072 4287846832 18446744073709551615 4160484270 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15319/statm: 1173 832 398 251 0 431 0 [pid=15321] ppid=15319 vsize=57820 CPUtime=6.25 /proc/15321/stat : 15321 (cudf2lp) R 15319 15319 13759 34823 13904 4202496 14414 0 0 0 615 10 0 0 25 0 1 0 417958376 59207680 13942 1283457024 134512640 135993029 4294422624 18446744073709551615 134537802 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/15321/statm: 14455 13944 110 362 0 14037 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 62512 [startup+12.7068 s] /proc/loadavg: 1.04 1.07 1.03 2/97 15322 /proc/meminfo: memFree=915056/2097152 swapFree=2055620/2097144 [pid=15319] ppid=15318 vsize=4692 CPUtime=0.01 /proc/15319/stat : 15319 (python) S 15318 15319 13759 34823 13904 4202496 1154 0 0 0 0 1 0 0 18 0 1 0 417958372 4804608 832 1283457024 134512640 135539072 4287846832 18446744073709551615 4160484270 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15319/statm: 1173 832 398 251 0 431 0 [pid=15321] ppid=15319 vsize=131448 CPUtime=12.64 /proc/15321/stat : 15321 (cudf2lp) R 15319 15319 13759 34823 13904 4202496 32571 0 0 0 1228 36 0 0 25 0 1 0 417958376 134602752 32099 1283457024 134512640 135993029 4294422624 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/15321/statm: 32862 32099 134 362 0 32444 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 136140 [startup+25.5074 s] /proc/loadavg: 1.03 1.06 1.03 3/98 15326 /proc/meminfo: memFree=714036/2097152 swapFree=2055620/2097144 [pid=15319] ppid=15318 vsize=4692 CPUtime=16.6 /proc/15319/stat : 15319 (python) S 15318 15319 13759 34823 13904 4202496 1242 56417 0 0 0 1 1493 166 18 0 1 0 417958372 4804608 834 1283457024 134512640 135539072 4287846832 18446744073709551615 4160484270 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15319/statm: 1173 834 400 251 0 431 0 [pid=15324] ppid=15319 vsize=2376 CPUtime=0 /proc/15324/stat : 15324 (sh) S 15319 15319 13759 34823 13904 4194304 441 0 0 0 0 0 0 0 19 0 1 0 417960039 2433024 248 1283457024 134512640 135191968 4287734144 18446744073709551615 4159548046 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15324/statm: 594 248 212 166 0 26 0 [pid=15325] ppid=15324 vsize=286004 CPUtime=8.8 /proc/15325/stat : 15325 (bingo) R 15324 15319 13759 34823 13904 4202496 95109 0 0 0 844 36 0 0 18 0 1 0 417960039 292868096 55480 1283457024 134512640 136195415 4289213328 18446744073709551615 134635498 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/15325/statm: 71501 55480 220 411 0 71088 0 [pid=15326] ppid=15324 vsize=171164 CPUtime=0.59 /proc/15326/stat : 15326 (clasp) R 15324 15319 13759 34823 13904 4202496 49261 0 0 0 52 7 0 0 18 0 1 0 417960039 175271936 42029 1283457024 134512640 136080129 4289330064 18446744073709551615 134670623 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/15326/statm: 42791 42029 147 383 0 42406 0 Current children cumulated CPU time (s) 25.99 Current children cumulated vsize (KiB) 464236 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+35.9079 s] /proc/loadavg: 1.02 1.06 1.03 3/98 15327 /proc/meminfo: memFree=7812/2097152 swapFree=2055620/2097144 [pid=15319] ppid=15318 vsize=4692 CPUtime=16.6 /proc/15319/stat : 15319 (python) S 15318 15319 13759 34823 13904 4202496 1242 56417 0 0 0 1 1493 166 18 0 1 0 417958372 4804608 834 1283457024 134512640 135539072 4287846832 18446744073709551615 4160484270 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15319/statm: 1173 834 400 251 0 431 0 [pid=15324] ppid=15319 vsize=2376 CPUtime=0 /proc/15324/stat : 15324 (sh) S 15319 15319 13759 34823 13904 4194304 441 0 0 0 0 0 0 0 19 0 1 0 417960039 2433024 248 1283457024 134512640 135191968 4287734144 18446744073709551615 4159548046 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15324/statm: 594 248 212 166 0 26 0 [pid=15325] ppid=15324 vsize=847684 CPUtime=19.17 /proc/15325/stat : 15325 (bingo) R 15324 15319 13759 34823 13904 4202496 267548 0 0 0 1810 107 0 0 23 0 1 0 417960039 868028416 178641 1283457024 134512640 136195415 4289213328 18446744073709551615 134659635 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/15325/statm: 211921 178641 220 411 0 211508 0 [pid=15326] ppid=15324 vsize=301308 CPUtime=2.74 /proc/15326/stat : 15326 (clasp) S 15324 15319 13759 34823 13904 4202496 86528 0 0 0 250 24 0 0 18 0 1 0 417960039 308539392 73505 1283457024 134512640 136080129 4289330064 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 1 0 0 0 /proc/15326/statm: 75327 73505 147 383 0 74942 0 Current children cumulated CPU time (s) 38.51 Current children cumulated vsize (KiB) 1156060 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+35.9079 s] /proc/loadavg: 1.02 1.06 1.03 3/98 15327 /proc/meminfo: memFree=7812/2097152 swapFree=2055620/2097144 [pid=15319] ppid=15318 vsize=4692 CPUtime=16.6 /proc/15319/stat : 15319 (python) S 15318 15319 13759 34823 13904 4202496 1242 56417 0 0 0 1 1493 166 18 0 1 0 417958372 4804608 834 1283457024 134512640 135539072 4287846832 18446744073709551615 4160484270 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15319/statm: 1173 834 400 251 0 431 0 [pid=15324] ppid=15319 vsize=2376 CPUtime=0 /proc/15324/stat : 15324 (sh) S 15319 15319 13759 34823 13904 4194304 441 0 0 0 0 0 0 0 19 0 1 0 417960039 2433024 248 1283457024 134512640 135191968 4287734144 18446744073709551615 4159548046 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15324/statm: 594 248 212 166 0 26 0 [pid=15325] ppid=15324 vsize=847684 CPUtime=19.17 /proc/15325/stat : 15325 (bingo) R 15324 15319 13759 34823 13904 4202496 267548 0 0 0 1810 107 0 0 23 0 1 0 417960039 868028416 178641 1283457024 134512640 136195415 4289213328 18446744073709551615 134659635 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/15325/statm: 211921 178641 220 411 0 211508 0 [pid=15326] ppid=15324 vsize=301308 CPUtime=2.74 /proc/15326/stat : 15326 (clasp) S 15324 15319 13759 34823 13904 4202496 86528 0 0 0 250 24 0 0 18 0 1 0 417960039 308539392 73505 1283457024 134512640 136080129 4289330064 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 1 0 0 0 /proc/15326/statm: 75327 73505 147 383 0 74942 0 Current children cumulated CPU time (s) 38.51 Current children cumulated vsize (KiB) 1156060 Child ended because it received signal 10 (SIGUSR1) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 15319 and gives # childrusage.ru_utime.tv_sec=14 # childrusage.ru_utime.tv_usec=940933 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=672104 # CPU time returned by wait4() is 16.613 # while last known CPU time is 38.51 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 35.9625 CPU time (s): 38.51 CPU user time (s): 35.53 CPU system time (s): 2.98 CPU usage (%): 107.084 Max. virtual memory (cumulated for all children) (KiB): 1156060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.9409 system time used= 1.6721 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57659 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 108 involuntary context switches= 412 runsolver used 0 second user time and 0.032002 second system time The end