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/201007050905/aspcud-paranoid-1.0/rand5619c8.cudf.easy.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/easy//rand5619c8.cudf /home/misc2010/tmp/201007050905/aspcud-paranoid-1.0/rand5619c8.cudf.easy.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.17 1.16 0.74 3/36 26345 /proc/meminfo: memFree=472412/1048576 swapFree=2095456/2097144 [pid=26345] ppid=26344 vsize=3724 CPUtime=0.01 /proc/26345/stat : 26345 (python) R 26344 26345 24102 769 24102 4202496 720 0 0 0 1 0 0 0 25 0 1 0 525011886 3813376 505 1283457024 134512640 135539072 4289390016 18446744073709551615 4159110079 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/26345/statm: 931 505 303 251 0 232 0 [startup+0.189076 s] /proc/loadavg: 1.17 1.16 0.74 3/36 26345 /proc/meminfo: memFree=472412/1048576 swapFree=2095456/2097144 [pid=26345] ppid=26344 vsize=4708 CPUtime=0.02 /proc/26345/stat : 26345 (python) S 26344 26345 24102 769 24102 4202496 1130 0 0 0 2 0 0 0 25 0 1 0 525011886 4820992 835 1283457024 134512640 135539072 4289390016 18446744073709551615 4160189358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/26345/statm: 1177 835 400 251 0 435 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4708 [startup+0.209077 s] /proc/loadavg: 1.17 1.16 0.74 3/36 26345 /proc/meminfo: memFree=472412/1048576 swapFree=2095456/2097144 [pid=26345] ppid=26344 vsize=4708 CPUtime=0.02 /proc/26345/stat : 26345 (python) S 26344 26345 24102 769 24102 4202496 1130 0 0 0 2 0 0 0 25 0 1 0 525011886 4820992 835 1283457024 134512640 135539072 4289390016 18446744073709551615 4160189358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/26345/statm: 1177 835 400 251 0 435 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4708 [startup+0.32012 s] /proc/loadavg: 1.17 1.16 0.74 3/36 26345 /proc/meminfo: memFree=472412/1048576 swapFree=2095456/2097144 [pid=26345] ppid=26344 vsize=4708 CPUtime=0.02 /proc/26345/stat : 26345 (python) S 26344 26345 24102 769 24102 4202496 1130 0 0 0 2 0 0 0 25 0 1 0 525011886 4820992 835 1283457024 134512640 135539072 4289390016 18446744073709551615 4160189358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/26345/statm: 1177 835 400 251 0 435 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4708 [startup+0.709222 s] /proc/loadavg: 1.17 1.16 0.74 3/36 26345 /proc/meminfo: memFree=472412/1048576 swapFree=2095456/2097144 [pid=26345] ppid=26344 vsize=4708 CPUtime=0.02 /proc/26345/stat : 26345 (python) S 26344 26345 24102 769 24102 4202496 1130 0 0 0 2 0 0 0 25 0 1 0 525011886 4820992 835 1283457024 134512640 135539072 4289390016 18446744073709551615 4160189358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/26345/statm: 1177 835 400 251 0 435 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4708 [startup+1.50942 s] /proc/loadavg: 1.17 1.16 0.74 2/38 26347 /proc/meminfo: memFree=458268/1048576 swapFree=2095456/2097144 [pid=26345] ppid=26344 vsize=4708 CPUtime=0.02 /proc/26345/stat : 26345 (python) S 26344 26345 24102 769 24102 4202496 1130 0 0 0 2 0 0 0 25 0 1 0 525011886 4820992 835 1283457024 134512640 135539072 4289390016 18446744073709551615 4160189358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/26345/statm: 1177 835 400 251 0 435 0 [pid=26347] ppid=26345 vsize=14656 CPUtime=1.43 /proc/26347/stat : 26347 (cudf2lp) R 26345 26345 24102 769 24102 4202496 3800 0 0 0 141 2 0 0 25 0 1 0 525011891 15007744 3331 1283457024 134512640 135993029 4288638304 18446744073709551615 134566938 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/26347/statm: 3664 3331 110 362 0 3246 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 19364 [startup+3.10985 s] /proc/loadavg: 1.17 1.16 0.74 3/38 26347 /proc/meminfo: memFree=447108/1048576 swapFree=2095456/2097144 [pid=26345] ppid=26344 vsize=4708 CPUtime=0.02 /proc/26345/stat : 26345 (python) S 26344 26345 24102 769 24102 4202496 1130 0 0 0 2 0 0 0 25 0 1 0 525011886 4820992 835 1283457024 134512640 135539072 4289390016 18446744073709551615 4160189358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/26345/statm: 1177 835 400 251 0 435 0 [pid=26347] ppid=26345 vsize=28180 CPUtime=3.03 /proc/26347/stat : 26347 (cudf2lp) R 26345 26345 24102 769 24102 4202496 7127 0 0 0 301 2 0 0 25 0 1 0 525011891 28856320 6658 1283457024 134512640 135993029 4288638304 18446744073709551615 134566656 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/26347/statm: 7045 6658 110 362 0 6627 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 32888 [startup+6.313 s] /proc/loadavg: 1.16 1.16 0.74 2/38 26347 /proc/meminfo: memFree=384984/1048576 swapFree=2095456/2097144 [pid=26345] ppid=26344 vsize=4708 CPUtime=5.45 /proc/26345/stat : 26345 (python) S 26344 26345 24102 769 24102 4202496 1218 18246 0 0 2 0 459 84 18 0 1 0 525011886 4820992 837 1283457024 134512640 135539072 4289390016 18446744073709551615 4160189358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/26345/statm: 1177 837 402 251 0 435 0 Current children cumulated CPU time (s) 5.45 Current children cumulated vsize (KiB) 4708 [startup+12.7048 s] /proc/loadavg: 1.15 1.15 0.74 2/40 26350 /proc/meminfo: memFree=13448/1048576 swapFree=2095456/2097144 [pid=26345] ppid=26344 vsize=4708 CPUtime=5.45 /proc/26345/stat : 26345 (python) S 26344 26345 24102 769 24102 4202496 1218 18246 0 0 2 0 459 84 18 0 1 0 525011886 4820992 837 1283457024 134512640 135539072 4289390016 18446744073709551615 4160189358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/26345/statm: 1177 837 402 251 0 435 0 [pid=26348] ppid=26345 vsize=2384 CPUtime=0 /proc/26348/stat : 26348 (sh) S 26345 26345 24102 769 24102 4194304 444 0 0 0 0 0 0 0 18 0 1 0 525012438 2441216 252 1283457024 134512640 135191968 4294066688 18446744073709551615 4159502750 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26348/statm: 596 252 214 166 0 28 0 [pid=26349] ppid=26348 vsize=325736 CPUtime=6.14 /proc/26349/stat : 26349 (bingo) R 26348 26345 24102 769 24102 4202496 112335 0 0 0 568 46 0 0 25 0 1 0 525012439 333553664 69433 1283457024 134512640 136195415 4288253216 18446744073709551615 135582580 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/26349/statm: 81434 69433 221 411 0 81021 0 [pid=26350] ppid=26348 vsize=100572 CPUtime=0.97 /proc/26350/stat : 26350 (clasp) S 26348 26345 24102 769 24102 4202496 27722 0 0 0 84 13 0 0 18 0 1 0 525012441 102985728 24477 1283457024 134512640 136080129 4294886224 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/26350/statm: 25143 24477 147 383 0 24758 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 433400 Solver just ended. Dumping a history of the last processes samples [startup+12.8048 s] /proc/loadavg: 1.15 1.15 0.74 2/40 26350 /proc/meminfo: memFree=13448/1048576 swapFree=2095456/2097144 [pid=26345] ppid=26344 vsize=4708 CPUtime=5.45 /proc/26345/stat : 26345 (python) S 26344 26345 24102 769 24102 4202496 1218 18246 0 0 2 0 459 84 18 0 1 0 525011886 4820992 837 1283457024 134512640 135539072 4289390016 18446744073709551615 4160189358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/26345/statm: 1177 837 402 251 0 435 0 [pid=26348] ppid=26345 vsize=2384 CPUtime=0 /proc/26348/stat : 26348 (sh) S 26345 26345 24102 769 24102 4194304 444 0 0 0 0 0 0 0 18 0 1 0 525012438 2441216 252 1283457024 134512640 135191968 4294066688 18446744073709551615 4159502750 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26348/statm: 596 252 214 166 0 28 0 [pid=26349] ppid=26348 vsize=269380 CPUtime=6.24 /proc/26349/stat : 26349 (bingo) R 26348 26345 24102 769 24102 4202496 112335 0 0 0 578 46 0 0 25 0 1 0 525012439 275845120 62112 1283457024 134512640 136195415 4288253216 18446744073709551615 135584416 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/26349/statm: 67345 62112 221 411 0 66932 0 [pid=26350] ppid=26348 vsize=100572 CPUtime=0.97 /proc/26350/stat : 26350 (clasp) S 26348 26345 24102 769 24102 4202496 27722 0 0 0 84 13 0 0 18 0 1 0 525012441 102985728 24477 1283457024 134512640 136080129 4294886224 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/26350/statm: 25143 24477 147 383 0 24758 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 377044 [startup+14.4116 s] /proc/loadavg: 1.13 1.15 0.74 2/39 26350 /proc/meminfo: memFree=358180/1048576 swapFree=2095456/2097144 [pid=26345] ppid=26344 vsize=4708 CPUtime=5.45 /proc/26345/stat : 26345 (python) S 26344 26345 24102 769 24102 4202496 1218 18246 0 0 2 0 459 84 18 0 1 0 525011886 4820992 837 1283457024 134512640 135539072 4289390016 18446744073709551615 4160189358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/26345/statm: 1177 837 402 251 0 435 0 [pid=26348] ppid=26345 vsize=2384 CPUtime=6.48 /proc/26348/stat : 26348 (sh) S 26345 26345 24102 769 24102 4194304 444 112337 0 0 0 0 599 49 18 0 1 0 525012438 2441216 252 1283457024 134512640 135191968 4294066688 18446744073709551615 4159502750 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26348/statm: 596 252 214 166 0 28 0 [pid=26350] ppid=26348 vsize=109672 CPUtime=2.32 /proc/26350/stat : 26350 (clasp) R 26348 26345 24102 769 24102 4202496 31379 0 0 0 218 14 0 0 19 0 1 0 525012441 112304128 26395 1283457024 134512640 136080129 4294886224 18446744073709551615 134916041 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/26350/statm: 27418 26395 161 383 0 27033 0 Current children cumulated CPU time (s) 14.25 Current children cumulated vsize (KiB) 116764 [startup+16.0123 s] /proc/loadavg: 1.13 1.15 0.74 2/39 26350 /proc/meminfo: memFree=330404/1048576 swapFree=2095456/2097144 [pid=26345] ppid=26344 vsize=4708 CPUtime=5.45 /proc/26345/stat : 26345 (python) S 26344 26345 24102 769 24102 4202496 1218 18246 0 0 2 0 459 84 18 0 1 0 525011886 4820992 837 1283457024 134512640 135539072 4289390016 18446744073709551615 4160189358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/26345/statm: 1177 837 402 251 0 435 0 [pid=26348] ppid=26345 vsize=2384 CPUtime=6.48 /proc/26348/stat : 26348 (sh) S 26345 26345 24102 769 24102 4194304 444 112337 0 0 0 0 599 49 18 0 1 0 525012438 2441216 252 1283457024 134512640 135191968 4294066688 18446744073709551615 4159502750 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26348/statm: 596 252 214 166 0 28 0 [pid=26350] ppid=26348 vsize=134572 CPUtime=3.92 /proc/26350/stat : 26350 (clasp) R 26348 26345 24102 769 24102 4202496 46194 0 0 0 371 21 0 0 23 0 1 0 525012441 137801728 32947 1283457024 134512640 136080129 4294886224 18446744073709551615 135495236 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/26350/statm: 33643 32947 186 383 0 33258 0 Current children cumulated CPU time (s) 15.85 Current children cumulated vsize (KiB) 141664 [startup+16.4124 s] /proc/loadavg: 1.13 1.15 0.74 2/39 26350 /proc/meminfo: memFree=330404/1048576 swapFree=2095456/2097144 [pid=26345] ppid=26344 vsize=4708 CPUtime=5.45 /proc/26345/stat : 26345 (python) S 26344 26345 24102 769 24102 4202496 1218 18246 0 0 2 0 459 84 18 0 1 0 525011886 4820992 837 1283457024 134512640 135539072 4289390016 18446744073709551615 4160189358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/26345/statm: 1177 837 402 251 0 435 0 [pid=26348] ppid=26345 vsize=2384 CPUtime=6.48 /proc/26348/stat : 26348 (sh) S 26345 26345 24102 769 24102 4194304 444 112337 0 0 0 0 599 49 18 0 1 0 525012438 2441216 252 1283457024 134512640 135191968 4294066688 18446744073709551615 4159502750 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26348/statm: 596 252 214 166 0 28 0 [pid=26350] ppid=26348 vsize=125508 CPUtime=4.32 /proc/26350/stat : 26350 (clasp) R 26348 26345 24102 769 24102 4202496 46250 0 0 0 410 22 0 0 25 0 1 0 525012441 128520192 30782 1283457024 134512640 136080129 4294886224 18446744073709551615 134849187 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/26350/statm: 31377 30782 189 383 0 30992 0 Current children cumulated CPU time (s) 16.25 Current children cumulated vsize (KiB) 132600 [startup+16.8125 s] /proc/loadavg: 1.13 1.15 0.74 2/39 26350 /proc/meminfo: memFree=338216/1048576 swapFree=2095456/2097144 [pid=26345] ppid=26344 vsize=4708 CPUtime=5.45 /proc/26345/stat : 26345 (python) S 26344 26345 24102 769 24102 4202496 1218 18246 0 0 2 0 459 84 18 0 1 0 525011886 4820992 837 1283457024 134512640 135539072 4289390016 18446744073709551615 4160189358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/26345/statm: 1177 837 402 251 0 435 0 [pid=26348] ppid=26345 vsize=2384 CPUtime=6.48 /proc/26348/stat : 26348 (sh) S 26345 26345 24102 769 24102 4194304 444 112337 0 0 0 0 599 49 18 0 1 0 525012438 2441216 252 1283457024 134512640 135191968 4294066688 18446744073709551615 4159502750 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26348/statm: 596 252 214 166 0 28 0 [pid=26350] ppid=26348 vsize=96816 CPUtime=4.73 /proc/26350/stat : 26350 (clasp) R 26348 26345 24102 769 24102 4202496 46261 0 0 0 450 23 0 0 25 0 1 0 525012441 99139584 23866 1283457024 134512640 136080129 4294886224 18446744073709551615 134781413 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/26350/statm: 24204 23866 200 383 0 23819 0 Current children cumulated CPU time (s) 16.66 Current children cumulated vsize (KiB) 103908 [startup+16.9126 s] /proc/loadavg: 1.13 1.15 0.74 2/39 26350 /proc/meminfo: memFree=338216/1048576 swapFree=2095456/2097144 [pid=26345] ppid=26344 vsize=4708 CPUtime=16.76 /proc/26345/stat : 26345 (python) R 26344 26345 24102 769 24102 4202496 1248 177300 0 0 2 0 1514 160 18 0 1 0 525011886 4820992 837 1283457024 134512640 135539072 4289390016 18446744073709551615 4159250848 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/26345/statm: 1177 837 402 251 0 435 0 Current children cumulated CPU time (s) 16.76 Current children cumulated vsize (KiB) 4708 Child status: 0 Real time (s): 16.9478 CPU time (s): 16.8131 CPU user time (s): 15.1929 CPU system time (s): 1.6201 CPU usage (%): 99.2051 Max. virtual memory (cumulated for all children) (KiB): 586044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 15.1929 system time used= 1.6201 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 179849 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= 3690 involuntary context switches= 4499 runsolver used 0 second user time and 0 second system time The end