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/randc10393.cudf.difficult.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/difficult//randc10393.cudf /home/misc2010/tmp/201007051419/aspcud-paranoid-1.0/randc10393.cudf.difficult.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.86 1.03 1.04 1/94 1774 /proc/meminfo: memFree=1288184/2097152 swapFree=2055620/2097144 [pid=1774] ppid=1773 vsize=3268 CPUtime=0 /proc/1774/stat : 1774 (python) R 1773 1774 13759 34823 13904 4202496 526 0 0 0 0 0 0 0 22 0 1 0 418789649 3346432 326 1283457024 134512640 135539072 4293076656 18446744073709551615 4158796133 0 0 0 0 0 0 0 17 1 0 0 0 /proc/1774/statm: 817 328 239 251 0 118 0 [startup+0.138505 s] /proc/loadavg: 0.86 1.03 1.04 1/94 1774 /proc/meminfo: memFree=1288184/2097152 swapFree=2055620/2097144 [pid=1774] ppid=1773 vsize=4684 CPUtime=0 /proc/1774/stat : 1774 (python) S 1773 1774 13759 34823 13904 4202496 1151 0 0 0 0 0 0 0 23 0 1 0 418789649 4796416 831 1283457024 134512640 135539072 4293076656 18446744073709551615 4159898542 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/1774/statm: 1171 831 398 251 0 429 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4684 [startup+0.20646 s] /proc/loadavg: 0.86 1.03 1.04 1/94 1774 /proc/meminfo: memFree=1288184/2097152 swapFree=2055620/2097144 [pid=1774] ppid=1773 vsize=4684 CPUtime=0 /proc/1774/stat : 1774 (python) S 1773 1774 13759 34823 13904 4202496 1151 0 0 0 0 0 0 0 23 0 1 0 418789649 4796416 831 1283457024 134512640 135539072 4293076656 18446744073709551615 4159898542 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/1774/statm: 1171 831 398 251 0 429 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4684 [startup+0.306465 s] /proc/loadavg: 0.86 1.03 1.04 1/94 1774 /proc/meminfo: memFree=1288184/2097152 swapFree=2055620/2097144 [pid=1774] ppid=1773 vsize=4684 CPUtime=0 /proc/1774/stat : 1774 (python) S 1773 1774 13759 34823 13904 4202496 1151 0 0 0 0 0 0 0 23 0 1 0 418789649 4796416 831 1283457024 134512640 135539072 4293076656 18446744073709551615 4159898542 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/1774/statm: 1171 831 398 251 0 429 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4684 [startup+0.70649 s] /proc/loadavg: 0.86 1.03 1.04 1/94 1774 /proc/meminfo: memFree=1288184/2097152 swapFree=2055620/2097144 [pid=1774] ppid=1773 vsize=4684 CPUtime=0 /proc/1774/stat : 1774 (python) S 1773 1774 13759 34823 13904 4202496 1151 0 0 0 0 0 0 0 23 0 1 0 418789649 4796416 831 1283457024 134512640 135539072 4293076656 18446744073709551615 4159898542 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/1774/statm: 1171 831 398 251 0 429 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4684 [startup+1.50652 s] /proc/loadavg: 0.86 1.03 1.04 2/96 1777 /proc/meminfo: memFree=1276660/2097152 swapFree=2055620/2097144 [pid=1774] ppid=1773 vsize=4684 CPUtime=0 /proc/1774/stat : 1774 (python) S 1773 1774 13759 34823 13904 4202496 1151 0 0 0 0 0 0 0 23 0 1 0 418789649 4796416 831 1283457024 134512640 135539072 4293076656 18446744073709551615 4159898542 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/1774/statm: 1171 831 398 251 0 429 0 [pid=1776] ppid=1774 vsize=15152 CPUtime=1.45 /proc/1776/stat : 1776 (cudf2lp) R 1774 1774 13759 34823 13904 4202496 3933 0 0 0 145 0 0 0 19 0 1 0 418789653 15515648 3461 1283457024 134512640 135993029 4287783440 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/1776/statm: 3788 3461 110 362 0 3370 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 19836 [startup+3.10659 s] /proc/loadavg: 0.87 1.03 1.04 2/96 1777 /proc/meminfo: memFree=1267236/2097152 swapFree=2055620/2097144 [pid=1774] ppid=1773 vsize=4684 CPUtime=0 /proc/1774/stat : 1774 (python) S 1773 1774 13759 34823 13904 4202496 1151 0 0 0 0 0 0 0 23 0 1 0 418789649 4796416 831 1283457024 134512640 135539072 4293076656 18446744073709551615 4159898542 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/1774/statm: 1171 831 398 251 0 429 0 [pid=1776] ppid=1774 vsize=29420 CPUtime=3.04 /proc/1776/stat : 1776 (cudf2lp) R 1774 1774 13759 34823 13904 4202496 7378 0 0 0 302 2 0 0 25 0 1 0 418789653 30126080 6906 1283457024 134512640 135993029 4287783440 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/1776/statm: 7355 6906 110 362 0 6937 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 34104 [startup+6.30675 s] /proc/loadavg: 0.87 1.03 1.04 2/96 1777 /proc/meminfo: memFree=1237848/2097152 swapFree=2055620/2097144 [pid=1774] ppid=1773 vsize=4684 CPUtime=0 /proc/1774/stat : 1774 (python) S 1773 1774 13759 34823 13904 4202496 1151 0 0 0 0 0 0 0 23 0 1 0 418789649 4796416 831 1283457024 134512640 135539072 4293076656 18446744073709551615 4159898542 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/1774/statm: 1171 831 398 251 0 429 0 [pid=1776] ppid=1774 vsize=74124 CPUtime=6.24 /proc/1776/stat : 1776 (cudf2lp) R 1774 1774 13759 34823 13904 4202496 18504 0 0 0 591 33 0 0 25 0 1 0 418789653 75902976 18032 1283457024 134512640 135993029 4287783440 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/1776/statm: 18531 18032 134 362 0 18113 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 78808 [startup+12.707 s] /proc/loadavg: 0.89 1.02 1.04 2/98 1780 /proc/meminfo: memFree=1046740/2097152 swapFree=2055620/2097144 [pid=1774] ppid=1773 vsize=4684 CPUtime=7.78 /proc/1774/stat : 1774 (python) S 1773 1774 13759 34823 13904 4202496 1239 27751 0 0 0 0 690 88 18 0 1 0 418789649 4796416 833 1283457024 134512640 135539072 4293076656 18446744073709551615 4159898542 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/1774/statm: 1171 833 400 251 0 429 0 [pid=1778] ppid=1774 vsize=2372 CPUtime=0 /proc/1778/stat : 1778 (sh) S 1774 1774 13759 34823 13904 4194304 443 0 0 0 0 0 0 0 21 0 1 0 418790434 2428928 248 1283457024 134512640 135191968 4291101872 18446744073709551615 4159429262 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1778/statm: 593 248 212 166 0 25 0 [pid=1779] ppid=1778 vsize=194492 CPUtime=4.85 /proc/1779/stat : 1779 (bingo) R 1778 1774 13759 34823 13904 4202496 56987 0 0 0 468 17 0 0 19 0 1 0 418790434 199159808 38734 1283457024 134512640 136195415 4288932688 18446744073709551615 134654995 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/1779/statm: 48623 38735 220 411 0 48210 0 [pid=1780] ppid=1778 vsize=111836 CPUtime=0.42 /proc/1780/stat : 1780 (clasp) S 1778 1774 13759 34823 13904 4202496 31460 0 0 0 40 2 0 0 18 0 1 0 418790434 114520064 27294 1283457024 134512640 136080129 4289704928 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/1780/statm: 27959 27294 147 383 0 27574 0 Current children cumulated CPU time (s) 13.05 Current children cumulated vsize (KiB) 313384 [startup+25.5076 s] /proc/loadavg: 0.90 1.02 1.04 2/97 1781 /proc/meminfo: memFree=1077524/2097152 swapFree=2055620/2097144 [pid=1774] ppid=1773 vsize=4684 CPUtime=7.78 /proc/1774/stat : 1774 (python) S 1773 1774 13759 34823 13904 4202496 1239 27751 0 0 0 0 690 88 18 0 1 0 418789649 4796416 833 1283457024 134512640 135539072 4293076656 18446744073709551615 4159898542 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/1774/statm: 1171 833 400 251 0 429 0 [pid=1778] ppid=1774 vsize=2372 CPUtime=10.26 /proc/1778/stat : 1778 (sh) S 1774 1774 13759 34823 13904 4194304 443 175520 0 0 0 0 965 61 18 0 1 0 418790434 2428928 248 1283457024 134512640 135191968 4291101872 18446744073709551615 4159429262 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1778/statm: 593 248 212 166 0 25 0 [pid=1780] ppid=1778 vsize=200164 CPUtime=8.24 /proc/1780/stat : 1780 (clasp) R 1778 1774 13759 34823 13904 4202496 76520 0 0 0 805 19 0 0 25 0 1 0 418790434 204967936 49145 1283457024 134512640 136080129 4289704928 18446744073709551615 134608554 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/1780/statm: 50041 49145 189 383 0 49656 0 Current children cumulated CPU time (s) 26.28 Current children cumulated vsize (KiB) 207220 Solver just ended. Dumping a history of the last processes samples [startup+25.6076 s] /proc/loadavg: 0.90 1.02 1.04 2/97 1781 /proc/meminfo: memFree=1077524/2097152 swapFree=2055620/2097144 [pid=1774] ppid=1773 vsize=4684 CPUtime=7.78 /proc/1774/stat : 1774 (python) S 1773 1774 13759 34823 13904 4202496 1239 27751 0 0 0 0 690 88 18 0 1 0 418789649 4796416 833 1283457024 134512640 135539072 4293076656 18446744073709551615 4159898542 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/1774/statm: 1171 833 400 251 0 429 0 [pid=1778] ppid=1774 vsize=2372 CPUtime=10.26 /proc/1778/stat : 1778 (sh) S 1774 1774 13759 34823 13904 4194304 443 175520 0 0 0 0 965 61 18 0 1 0 418790434 2428928 248 1283457024 134512640 135191968 4291101872 18446744073709551615 4159429262 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1778/statm: 593 248 212 166 0 25 0 [pid=1780] ppid=1778 vsize=200164 CPUtime=8.34 /proc/1780/stat : 1780 (clasp) R 1778 1774 13759 34823 13904 4202496 76520 0 0 0 815 19 0 0 25 0 1 0 418790434 204967936 49145 1283457024 134512640 136080129 4289704928 18446744073709551615 135559278 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/1780/statm: 50041 49145 189 383 0 49656 0 Current children cumulated CPU time (s) 26.38 Current children cumulated vsize (KiB) 207220 [startup+28.8077 s] /proc/loadavg: 0.91 1.02 1.04 2/97 1781 /proc/meminfo: memFree=1077524/2097152 swapFree=2055620/2097144 [pid=1774] ppid=1773 vsize=4684 CPUtime=7.78 /proc/1774/stat : 1774 (python) S 1773 1774 13759 34823 13904 4202496 1239 27751 0 0 0 0 690 88 18 0 1 0 418789649 4796416 833 1283457024 134512640 135539072 4293076656 18446744073709551615 4159898542 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/1774/statm: 1171 833 400 251 0 429 0 [pid=1778] ppid=1774 vsize=2372 CPUtime=10.26 /proc/1778/stat : 1778 (sh) S 1774 1774 13759 34823 13904 4194304 443 175520 0 0 0 0 965 61 18 0 1 0 418790434 2428928 248 1283457024 134512640 135191968 4291101872 18446744073709551615 4159429262 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1778/statm: 593 248 212 166 0 25 0 [pid=1780] ppid=1778 vsize=200164 CPUtime=11.55 /proc/1780/stat : 1780 (clasp) R 1778 1774 13759 34823 13904 4202496 76520 0 0 0 1136 19 0 0 25 0 1 0 418790434 204967936 49145 1283457024 134512640 136080129 4289704928 18446744073709551615 134608344 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/1780/statm: 50041 49145 189 383 0 49656 0 Current children cumulated CPU time (s) 29.59 Current children cumulated vsize (KiB) 207220 [startup+32.0079 s] /proc/loadavg: 0.92 1.02 1.04 2/97 1782 /proc/meminfo: memFree=1076904/2097152 swapFree=2055620/2097144 [pid=1774] ppid=1773 vsize=4684 CPUtime=7.78 /proc/1774/stat : 1774 (python) S 1773 1774 13759 34823 13904 4202496 1239 27751 0 0 0 0 690 88 18 0 1 0 418789649 4796416 833 1283457024 134512640 135539072 4293076656 18446744073709551615 4159898542 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/1774/statm: 1171 833 400 251 0 429 0 [pid=1778] ppid=1774 vsize=2372 CPUtime=10.26 /proc/1778/stat : 1778 (sh) S 1774 1774 13759 34823 13904 4194304 443 175520 0 0 0 0 965 61 18 0 1 0 418790434 2428928 248 1283457024 134512640 135191968 4291101872 18446744073709551615 4159429262 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1778/statm: 593 248 212 166 0 25 0 [pid=1780] ppid=1778 vsize=200164 CPUtime=14.72 /proc/1780/stat : 1780 (clasp) R 1778 1774 13759 34823 13904 4202496 76520 0 0 0 1450 22 0 0 25 0 1 0 418790434 204967936 49145 1283457024 134512640 136080129 4289704928 18446744073709551615 134779751 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/1780/statm: 50041 49145 189 383 0 49656 0 Current children cumulated CPU time (s) 32.76 Current children cumulated vsize (KiB) 207220 [startup+33.6079 s] /proc/loadavg: 0.92 1.02 1.04 2/97 1782 /proc/meminfo: memFree=1076780/2097152 swapFree=2055620/2097144 [pid=1774] ppid=1773 vsize=4684 CPUtime=7.78 /proc/1774/stat : 1774 (python) S 1773 1774 13759 34823 13904 4202496 1239 27751 0 0 0 0 690 88 18 0 1 0 418789649 4796416 833 1283457024 134512640 135539072 4293076656 18446744073709551615 4159898542 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/1774/statm: 1171 833 400 251 0 429 0 [pid=1778] ppid=1774 vsize=2372 CPUtime=10.26 /proc/1778/stat : 1778 (sh) S 1774 1774 13759 34823 13904 4194304 443 175520 0 0 0 0 965 61 18 0 1 0 418790434 2428928 248 1283457024 134512640 135191968 4291101872 18446744073709551615 4159429262 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1778/statm: 593 248 212 166 0 25 0 [pid=1780] ppid=1778 vsize=200164 CPUtime=16.32 /proc/1780/stat : 1780 (clasp) R 1778 1774 13759 34823 13904 4202496 76522 0 0 0 1610 22 0 0 25 0 1 0 418790434 204967936 49147 1283457024 134512640 136080129 4289704928 18446744073709551615 134849233 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/1780/statm: 50041 49147 191 383 0 49656 0 Current children cumulated CPU time (s) 34.36 Current children cumulated vsize (KiB) 207220 [startup+34.008 s] /proc/loadavg: 0.92 1.02 1.04 2/97 1782 /proc/meminfo: memFree=1076780/2097152 swapFree=2055620/2097144 [pid=1774] ppid=1773 vsize=4684 CPUtime=7.78 /proc/1774/stat : 1774 (python) S 1773 1774 13759 34823 13904 4202496 1239 27751 0 0 0 0 690 88 18 0 1 0 418789649 4796416 833 1283457024 134512640 135539072 4293076656 18446744073709551615 4159898542 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/1774/statm: 1171 833 400 251 0 429 0 [pid=1778] ppid=1774 vsize=2372 CPUtime=10.26 /proc/1778/stat : 1778 (sh) S 1774 1774 13759 34823 13904 4194304 443 175520 0 0 0 0 965 61 18 0 1 0 418790434 2428928 248 1283457024 134512640 135191968 4291101872 18446744073709551615 4159429262 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1778/statm: 593 248 212 166 0 25 0 [pid=1780] ppid=1778 vsize=200164 CPUtime=16.72 /proc/1780/stat : 1780 (clasp) R 1778 1774 13759 34823 13904 4202496 76522 0 0 0 1650 22 0 0 25 0 1 0 418790434 204967936 49147 1283457024 134512640 136080129 4289704928 18446744073709551615 134849217 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/1780/statm: 50041 49147 191 383 0 49656 0 Current children cumulated CPU time (s) 34.76 Current children cumulated vsize (KiB) 207220 [startup+34.408 s] /proc/loadavg: 0.92 1.02 1.04 2/97 1782 /proc/meminfo: memFree=1076780/2097152 swapFree=2055620/2097144 [pid=1774] ppid=1773 vsize=4684 CPUtime=7.78 /proc/1774/stat : 1774 (python) S 1773 1774 13759 34823 13904 4202496 1239 27751 0 0 0 0 690 88 18 0 1 0 418789649 4796416 833 1283457024 134512640 135539072 4293076656 18446744073709551615 4159898542 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/1774/statm: 1171 833 400 251 0 429 0 [pid=1778] ppid=1774 vsize=2372 CPUtime=10.26 /proc/1778/stat : 1778 (sh) S 1774 1774 13759 34823 13904 4194304 443 175520 0 0 0 0 965 61 18 0 1 0 418790434 2428928 248 1283457024 134512640 135191968 4291101872 18446744073709551615 4159429262 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1778/statm: 593 248 212 166 0 25 0 [pid=1780] ppid=1778 vsize=147528 CPUtime=17.11 /proc/1780/stat : 1780 (clasp) R 1778 1774 13759 34823 13904 4202496 76532 0 0 0 1689 22 0 0 25 0 1 0 418790434 151068672 36555 1283457024 134512640 136080129 4289704928 18446744073709551615 135495352 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/1780/statm: 36882 36555 201 383 0 36497 0 Current children cumulated CPU time (s) 35.15 Current children cumulated vsize (KiB) 154584 [startup+34.508 s] /proc/loadavg: 0.92 1.02 1.04 2/97 1782 /proc/meminfo: memFree=1076780/2097152 swapFree=2055620/2097144 [pid=1774] ppid=1773 vsize=4684 CPUtime=35.27 /proc/1774/stat : 1774 (python) R 1773 1774 13759 34823 13904 4202496 1477 281217 0 0 2 0 3348 177 18 0 1 0 418789649 4796416 833 1283457024 134512640 135539072 4293076656 18446744073709551615 135233281 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/1774/statm: 1171 833 400 251 0 429 0 Current children cumulated CPU time (s) 35.27 Current children cumulated vsize (KiB) 4684 Child status: 0 Real time (s): 34.5106 CPU time (s): 35.2862 CPU user time (s): 33.5061 CPU system time (s): 1.78011 CPU usage (%): 102.248 Max. virtual memory (cumulated for all children) (KiB): 815132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 33.5061 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= 282867 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= 5251 involuntary context switches= 481 runsolver used 0.008 second user time and 0.004 second system time The end