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/randf406d5.cudf.difficult.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/difficult//randf406d5.cudf /home/misc2010/tmp/201007051419/aspcud-paranoid-1.0/randf406d5.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: 1.42 1.18 1.10 1/95 9142 /proc/meminfo: memFree=1230088/2097152 swapFree=2055620/2097144 [pid=9142] ppid=9141 vsize=3268 CPUtime=0 /proc/9142/stat : 9142 (python) R 9141 9142 13759 34823 13904 4202496 537 0 0 0 0 0 0 0 18 0 1 0 419074483 3346432 334 1283457024 134512640 135539072 4294815824 18446744073709551615 134909542 0 0 0 0 0 0 0 17 1 0 0 0 /proc/9142/statm: 819 340 241 251 0 120 0 [startup+0.176952 s] /proc/loadavg: 1.42 1.18 1.10 1/95 9142 /proc/meminfo: memFree=1230088/2097152 swapFree=2055620/2097144 [pid=9142] ppid=9141 vsize=4684 CPUtime=0.01 /proc/9142/stat : 9142 (python) S 9141 9142 13759 34823 13904 4202496 1152 0 0 0 1 0 0 0 18 0 1 0 419074483 4796416 831 1283457024 134512640 135539072 4294815824 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9142/statm: 1171 831 398 251 0 429 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4684 [startup+0.204949 s] /proc/loadavg: 1.42 1.18 1.10 1/95 9142 /proc/meminfo: memFree=1230088/2097152 swapFree=2055620/2097144 [pid=9142] ppid=9141 vsize=4684 CPUtime=0.01 /proc/9142/stat : 9142 (python) S 9141 9142 13759 34823 13904 4202496 1152 0 0 0 1 0 0 0 18 0 1 0 419074483 4796416 831 1283457024 134512640 135539072 4294815824 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9142/statm: 1171 831 398 251 0 429 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4684 [startup+0.304976 s] /proc/loadavg: 1.42 1.18 1.10 1/95 9142 /proc/meminfo: memFree=1230088/2097152 swapFree=2055620/2097144 [pid=9142] ppid=9141 vsize=4684 CPUtime=0.01 /proc/9142/stat : 9142 (python) S 9141 9142 13759 34823 13904 4202496 1152 0 0 0 1 0 0 0 18 0 1 0 419074483 4796416 831 1283457024 134512640 135539072 4294815824 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9142/statm: 1171 831 398 251 0 429 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4684 [startup+0.704985 s] /proc/loadavg: 1.42 1.18 1.10 1/95 9142 /proc/meminfo: memFree=1230088/2097152 swapFree=2055620/2097144 [pid=9142] ppid=9141 vsize=4684 CPUtime=0.01 /proc/9142/stat : 9142 (python) S 9141 9142 13759 34823 13904 4202496 1152 0 0 0 1 0 0 0 18 0 1 0 419074483 4796416 831 1283457024 134512640 135539072 4294815824 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9142/statm: 1171 831 398 251 0 429 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4684 [startup+1.50506 s] /proc/loadavg: 1.42 1.18 1.10 2/97 9144 /proc/meminfo: memFree=1219092/2097152 swapFree=2055620/2097144 [pid=9142] ppid=9141 vsize=4684 CPUtime=0.01 /proc/9142/stat : 9142 (python) S 9141 9142 13759 34823 13904 4202496 1152 0 0 0 1 0 0 0 18 0 1 0 419074483 4796416 831 1283457024 134512640 135539072 4294815824 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9142/statm: 1171 831 398 251 0 429 0 [pid=9144] ppid=9142 vsize=14904 CPUtime=1.44 /proc/9144/stat : 9144 (cudf2lp) R 9142 9142 13759 34823 13904 4202496 3869 0 0 0 143 1 0 0 19 0 1 0 419074487 15261696 3399 1283457024 134512640 135993029 4292792016 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/9144/statm: 3726 3399 110 362 0 3308 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 19588 [startup+3.10512 s] /proc/loadavg: 1.42 1.18 1.10 2/97 9144 /proc/meminfo: memFree=1209420/2097152 swapFree=2055620/2097144 [pid=9142] ppid=9141 vsize=4684 CPUtime=0.01 /proc/9142/stat : 9142 (python) S 9141 9142 13759 34823 13904 4202496 1152 0 0 0 1 0 0 0 18 0 1 0 419074483 4796416 831 1283457024 134512640 135539072 4294815824 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9142/statm: 1171 831 398 251 0 429 0 [pid=9144] ppid=9142 vsize=29172 CPUtime=3.03 /proc/9144/stat : 9144 (cudf2lp) R 9142 9142 13759 34823 13904 4202496 7355 0 0 0 300 3 0 0 24 0 1 0 419074487 29872128 6885 1283457024 134512640 135993029 4292792016 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/9144/statm: 7293 6885 110 362 0 6875 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 33856 [startup+6.30524 s] /proc/loadavg: 1.38 1.18 1.10 2/97 9145 /proc/meminfo: memFree=1180032/2097152 swapFree=2055620/2097144 [pid=9142] ppid=9141 vsize=4684 CPUtime=0.01 /proc/9142/stat : 9142 (python) S 9141 9142 13759 34823 13904 4202496 1152 0 0 0 1 0 0 0 18 0 1 0 419074483 4796416 831 1283457024 134512640 135539072 4294815824 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9142/statm: 1171 831 398 251 0 429 0 [pid=9144] ppid=9142 vsize=72940 CPUtime=6.23 /proc/9144/stat : 9144 (cudf2lp) R 9142 9142 13759 34823 13904 4202496 18184 0 0 0 594 29 0 0 25 0 1 0 419074487 74690560 17714 1283457024 134512640 135993029 4292792016 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/9144/statm: 18235 17715 134 362 0 17817 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 77624 [startup+12.7055 s] /proc/loadavg: 1.35 1.18 1.10 2/99 9148 /proc/meminfo: memFree=988676/2097152 swapFree=2055620/2097144 [pid=9142] ppid=9141 vsize=4684 CPUtime=7.83 /proc/9142/stat : 9142 (python) S 9141 9142 13759 34823 13904 4202496 1240 27702 0 0 1 0 696 86 18 0 1 0 419074483 4796416 833 1283457024 134512640 135539072 4294815824 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/9142/statm: 1171 833 400 251 0 429 0 [pid=9146] ppid=9142 vsize=2376 CPUtime=0 /proc/9146/stat : 9146 (sh) S 9142 9142 13759 34823 13904 4194304 443 0 0 0 0 0 0 0 20 0 1 0 419075272 2433024 249 1283457024 134512640 135191968 4289338112 18446744073709551615 4159617678 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9146/statm: 594 249 212 166 0 26 0 [pid=9147] ppid=9146 vsize=186912 CPUtime=4.77 /proc/9147/stat : 9147 (bingo) R 9146 9142 13759 34823 13904 4202496 55060 0 0 0 454 23 0 0 19 0 1 0 419075272 191397888 36936 1283457024 134512640 136195415 4291128672 18446744073709551615 134775345 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/9147/statm: 46728 36936 220 411 0 46315 0 [pid=9148] ppid=9146 vsize=111704 CPUtime=0.46 /proc/9148/stat : 9148 (clasp) S 9146 9142 13759 34823 13904 4202496 31451 0 0 0 38 8 0 0 18 0 1 0 419075272 114384896 27285 1283457024 134512640 136080129 4291720656 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/9148/statm: 27926 27285 147 383 0 27541 0 Current children cumulated CPU time (s) 13.06 Current children cumulated vsize (KiB) 305676 Solver just ended. Dumping a history of the last processes samples [startup+12.8055 s] /proc/loadavg: 1.35 1.18 1.10 2/99 9148 /proc/meminfo: memFree=988676/2097152 swapFree=2055620/2097144 [pid=9142] ppid=9141 vsize=4684 CPUtime=7.83 /proc/9142/stat : 9142 (python) S 9141 9142 13759 34823 13904 4202496 1240 27702 0 0 1 0 696 86 18 0 1 0 419074483 4796416 833 1283457024 134512640 135539072 4294815824 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/9142/statm: 1171 833 400 251 0 429 0 [pid=9146] ppid=9142 vsize=2376 CPUtime=0 /proc/9146/stat : 9146 (sh) S 9142 9142 13759 34823 13904 4194304 443 0 0 0 0 0 0 0 20 0 1 0 419075272 2433024 249 1283457024 134512640 135191968 4289338112 18446744073709551615 4159617678 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9146/statm: 594 249 212 166 0 26 0 [pid=9147] ppid=9146 vsize=193600 CPUtime=4.87 /proc/9147/stat : 9147 (bingo) R 9146 9142 13759 34823 13904 4202496 56731 0 0 0 464 23 0 0 19 0 1 0 419075272 198246400 38478 1283457024 134512640 136195415 4291128672 18446744073709551615 134654816 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/9147/statm: 48400 38478 220 411 0 47987 0 [pid=9148] ppid=9146 vsize=111836 CPUtime=0.46 /proc/9148/stat : 9148 (clasp) S 9146 9142 13759 34823 13904 4202496 31460 0 0 0 38 8 0 0 18 0 1 0 419075272 114520064 27294 1283457024 134512640 136080129 4291720656 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/9148/statm: 27959 27294 147 383 0 27574 0 Current children cumulated CPU time (s) 13.16 Current children cumulated vsize (KiB) 312496 [startup+16.0057 s] /proc/loadavg: 1.41 1.19 1.10 2/99 9148 /proc/meminfo: memFree=721580/2097152 swapFree=2055620/2097144 [pid=9142] ppid=9141 vsize=4684 CPUtime=7.83 /proc/9142/stat : 9142 (python) S 9141 9142 13759 34823 13904 4202496 1240 27702 0 0 1 0 696 86 18 0 1 0 419074483 4796416 833 1283457024 134512640 135539072 4294815824 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/9142/statm: 1171 833 400 251 0 429 0 [pid=9146] ppid=9142 vsize=2376 CPUtime=0 /proc/9146/stat : 9146 (sh) S 9142 9142 13759 34823 13904 4194304 443 0 0 0 0 0 0 0 20 0 1 0 419075272 2433024 249 1283457024 134512640 135191968 4289338112 18446744073709551615 4159617678 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9146/statm: 594 249 212 166 0 26 0 [pid=9147] ppid=9146 vsize=497004 CPUtime=8.07 /proc/9147/stat : 9147 (bingo) R 9146 9142 13759 34823 13904 4202496 134223 0 0 0 754 53 0 0 21 0 1 0 419075272 508932096 106179 1283457024 134512640 136195415 4291128672 18446744073709551615 134654835 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/9147/statm: 124251 106180 220 411 0 123838 0 [pid=9148] ppid=9146 vsize=146292 CPUtime=0.96 /proc/9148/stat : 9148 (clasp) S 9146 9142 13759 34823 13904 4202496 41085 0 0 0 88 8 0 0 18 0 1 0 419075272 149803008 35820 1283457024 134512640 136080129 4291720656 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/9148/statm: 36573 35820 147 383 0 36188 0 Current children cumulated CPU time (s) 16.86 Current children cumulated vsize (KiB) 650356 [startup+19.2061 s] /proc/loadavg: 1.37 1.19 1.10 2/98 9149 /proc/meminfo: memFree=1060984/2097152 swapFree=2055620/2097144 [pid=9142] ppid=9141 vsize=4684 CPUtime=7.83 /proc/9142/stat : 9142 (python) S 9141 9142 13759 34823 13904 4202496 1240 27702 0 0 1 0 696 86 18 0 1 0 419074483 4796416 833 1283457024 134512640 135539072 4294815824 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/9142/statm: 1171 833 400 251 0 429 0 [pid=9146] ppid=9142 vsize=2376 CPUtime=10.33 /proc/9146/stat : 9146 (sh) S 9142 9142 13759 34823 13904 4194304 443 175506 0 0 0 0 952 81 18 0 1 0 419075272 2433024 249 1283457024 134512640 135191968 4289338112 18446744073709551615 4159617678 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9146/statm: 594 249 212 166 0 26 0 [pid=9148] ppid=9146 vsize=161628 CPUtime=1.9 /proc/9148/stat : 9148 (clasp) R 9146 9142 13759 34823 13904 4202496 47557 0 0 0 178 12 0 0 19 0 1 0 419075272 165507072 39334 1283457024 134512640 136080129 4291720656 18446744073709551615 134893344 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/9148/statm: 40407 39334 161 383 0 40022 0 Current children cumulated CPU time (s) 20.06 Current children cumulated vsize (KiB) 168688 [startup+20.8064 s] /proc/loadavg: 1.37 1.19 1.10 2/98 9149 /proc/meminfo: memFree=1058380/2097152 swapFree=2055620/2097144 [pid=9142] ppid=9141 vsize=4684 CPUtime=7.83 /proc/9142/stat : 9142 (python) S 9141 9142 13759 34823 13904 4202496 1240 27702 0 0 1 0 696 86 18 0 1 0 419074483 4796416 833 1283457024 134512640 135539072 4294815824 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/9142/statm: 1171 833 400 251 0 429 0 [pid=9146] ppid=9142 vsize=2376 CPUtime=10.33 /proc/9146/stat : 9146 (sh) S 9142 9142 13759 34823 13904 4194304 443 175506 0 0 0 0 952 81 18 0 1 0 419075272 2433024 249 1283457024 134512640 135191968 4289338112 18446744073709551615 4159617678 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9146/statm: 594 249 212 166 0 26 0 [pid=9148] ppid=9146 vsize=203864 CPUtime=3.5 /proc/9148/stat : 9148 (clasp) R 9146 9142 13759 34823 13904 4202496 65609 0 0 0 330 20 0 0 22 0 1 0 419075272 208756736 49529 1283457024 134512640 136080129 4291720656 18446744073709551615 135501085 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/9148/statm: 50966 49529 180 383 0 50581 0 Current children cumulated CPU time (s) 21.66 Current children cumulated vsize (KiB) 210924 [startup+21.2065 s] /proc/loadavg: 1.37 1.19 1.10 2/98 9149 /proc/meminfo: memFree=1021692/2097152 swapFree=2055620/2097144 [pid=9142] ppid=9141 vsize=4684 CPUtime=7.83 /proc/9142/stat : 9142 (python) S 9141 9142 13759 34823 13904 4202496 1240 27702 0 0 1 0 696 86 18 0 1 0 419074483 4796416 833 1283457024 134512640 135539072 4294815824 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/9142/statm: 1171 833 400 251 0 429 0 [pid=9146] ppid=9142 vsize=2376 CPUtime=10.33 /proc/9146/stat : 9146 (sh) S 9142 9142 13759 34823 13904 4194304 443 175506 0 0 0 0 952 81 18 0 1 0 419075272 2433024 249 1283457024 134512640 135191968 4289338112 18446744073709551615 4159617678 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9146/statm: 594 249 212 166 0 26 0 [pid=9148] ppid=9146 vsize=141392 CPUtime=3.9 /proc/9148/stat : 9148 (clasp) R 9146 9142 13759 34823 13904 4202496 65613 0 0 0 368 22 0 0 24 0 1 0 419075272 144785408 34939 1283457024 134512640 136080129 4291720656 18446744073709551615 135495310 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/9148/statm: 35348 34939 184 383 0 34963 0 Current children cumulated CPU time (s) 22.06 Current children cumulated vsize (KiB) 148452 [startup+21.4074 s] /proc/loadavg: 1.37 1.19 1.10 2/98 9149 /proc/meminfo: memFree=1021692/2097152 swapFree=2055620/2097144 [pid=9142] ppid=9141 vsize=4684 CPUtime=7.83 /proc/9142/stat : 9142 (python) S 9141 9142 13759 34823 13904 4202496 1240 27702 0 0 1 0 696 86 18 0 1 0 419074483 4796416 833 1283457024 134512640 135539072 4294815824 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/9142/statm: 1171 833 400 251 0 429 0 [pid=9146] ppid=9142 vsize=2376 CPUtime=10.33 /proc/9146/stat : 9146 (sh) S 9142 9142 13759 34823 13904 4194304 443 175506 0 0 0 0 952 81 18 0 1 0 419075272 2433024 249 1283457024 134512640 135191968 4289338112 18446744073709551615 4159617678 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9146/statm: 594 249 212 166 0 26 0 [pid=9148] ppid=9146 vsize=137196 CPUtime=4.1 /proc/9148/stat : 9148 (clasp) R 9146 9142 13759 34823 13904 4202496 65613 0 0 0 385 25 0 0 25 0 1 0 419075272 140488704 15654 1283457024 134512640 136080129 4291720656 18446744073709551615 135703614 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/9148/statm: 34299 15654 184 383 0 33914 0 Current children cumulated CPU time (s) 22.26 Current children cumulated vsize (KiB) 144256 Child status: 0 Real time (s): 21.4563 CPU time (s): 22.3334 CPU user time (s): 20.3733 CPU system time (s): 1.96012 CPU usage (%): 104.088 Max. virtual memory (cumulated for all children) (KiB): 815540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20.3733 system time used= 1.96012 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271875 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= 5305 involuntary context switches= 250 runsolver used 0.008 second user time and 0.008 second system time The end