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/randf61f65.cudf.difficult.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/difficult//randf61f65.cudf /home/misc2010/tmp/201007051419/aspcud-paranoid-1.0/randf61f65.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.89 1.02 1.05 1/95 11021 /proc/meminfo: memFree=1220116/2097152 swapFree=2055620/2097144 [pid=11021] ppid=11020 vsize=2876 CPUtime=0 /proc/11021/stat : 11021 (runsolver) S 11020 11021 13759 34823 13904 4202560 74 0 0 0 0 0 0 0 18 0 1 0 419171538 2945024 92 1283457024 134512640 134586868 4289471088 18446744073709551615 4157687066 0 2147483391 0 24578 18446744071697298955 0 0 17 1 0 0 0 /proc/11021/statm: 719 92 62 19 0 51 0 [startup+0.16988 s] /proc/loadavg: 0.89 1.02 1.05 1/95 11021 /proc/meminfo: memFree=1220116/2097152 swapFree=2055620/2097144 [pid=11021] ppid=11020 vsize=4684 CPUtime=0.01 /proc/11021/stat : 11021 (python) S 11020 11021 13759 34823 13904 4202496 1152 0 0 0 0 1 0 0 18 0 1 0 419171538 4796416 831 1283457024 134512640 135539072 4292435472 18446744073709551615 4160119726 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11021/statm: 1171 831 398 251 0 429 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4684 [startup+0.20989 s] /proc/loadavg: 0.89 1.02 1.05 1/95 11021 /proc/meminfo: memFree=1220116/2097152 swapFree=2055620/2097144 [pid=11021] ppid=11020 vsize=4684 CPUtime=0.01 /proc/11021/stat : 11021 (python) S 11020 11021 13759 34823 13904 4202496 1152 0 0 0 0 1 0 0 18 0 1 0 419171538 4796416 831 1283457024 134512640 135539072 4292435472 18446744073709551615 4160119726 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11021/statm: 1171 831 398 251 0 429 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4684 [startup+0.309906 s] /proc/loadavg: 0.89 1.02 1.05 1/95 11021 /proc/meminfo: memFree=1220116/2097152 swapFree=2055620/2097144 [pid=11021] ppid=11020 vsize=4684 CPUtime=0.01 /proc/11021/stat : 11021 (python) S 11020 11021 13759 34823 13904 4202496 1152 0 0 0 0 1 0 0 18 0 1 0 419171538 4796416 831 1283457024 134512640 135539072 4292435472 18446744073709551615 4160119726 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11021/statm: 1171 831 398 251 0 429 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4684 [startup+0.71001 s] /proc/loadavg: 0.89 1.02 1.05 1/95 11021 /proc/meminfo: memFree=1220116/2097152 swapFree=2055620/2097144 [pid=11021] ppid=11020 vsize=4684 CPUtime=0.01 /proc/11021/stat : 11021 (python) S 11020 11021 13759 34823 13904 4202496 1152 0 0 0 0 1 0 0 18 0 1 0 419171538 4796416 831 1283457024 134512640 135539072 4292435472 18446744073709551615 4160119726 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11021/statm: 1171 831 398 251 0 429 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4684 [startup+1.50466 s] /proc/loadavg: 0.89 1.02 1.05 2/97 11023 /proc/meminfo: memFree=1208904/2097152 swapFree=2055620/2097144 [pid=11021] ppid=11020 vsize=4684 CPUtime=0.01 /proc/11021/stat : 11021 (python) S 11020 11021 13759 34823 13904 4202496 1152 0 0 0 0 1 0 0 18 0 1 0 419171538 4796416 831 1283457024 134512640 135539072 4292435472 18446744073709551615 4160119726 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11021/statm: 1171 831 398 251 0 429 0 [pid=11023] ppid=11021 vsize=14904 CPUtime=1.4 /proc/11023/stat : 11023 (cudf2lp) R 11021 11021 13759 34823 13904 4202496 3872 0 0 0 139 1 0 0 19 0 1 0 419171545 15261696 3400 1283457024 134512640 135993029 4289553776 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/11023/statm: 3726 3400 110 362 0 3308 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 19588 [startup+3.1047 s] /proc/loadavg: 0.89 1.02 1.05 2/97 11023 /proc/meminfo: memFree=1199356/2097152 swapFree=2055620/2097144 [pid=11021] ppid=11020 vsize=4684 CPUtime=0.01 /proc/11021/stat : 11021 (python) S 11020 11021 13759 34823 13904 4202496 1152 0 0 0 0 1 0 0 18 0 1 0 419171538 4796416 831 1283457024 134512640 135539072 4292435472 18446744073709551615 4160119726 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11021/statm: 1171 831 398 251 0 429 0 [pid=11023] ppid=11021 vsize=29172 CPUtime=3 /proc/11023/stat : 11023 (cudf2lp) R 11021 11021 13759 34823 13904 4202496 7360 0 0 0 298 2 0 0 23 0 1 0 419171545 29872128 6888 1283457024 134512640 135993029 4289553776 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/11023/statm: 7293 6888 110 362 0 6875 0 Current children cumulated CPU time (s) 3.01 Current children cumulated vsize (KiB) 33856 [startup+6.30485 s] /proc/loadavg: 0.90 1.02 1.05 2/97 11023 /proc/meminfo: memFree=1169968/2097152 swapFree=2055620/2097144 [pid=11021] ppid=11020 vsize=4684 CPUtime=0.01 /proc/11021/stat : 11021 (python) S 11020 11021 13759 34823 13904 4202496 1152 0 0 0 0 1 0 0 18 0 1 0 419171538 4796416 831 1283457024 134512640 135539072 4292435472 18446744073709551615 4160119726 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11021/statm: 1171 831 398 251 0 429 0 [pid=11023] ppid=11021 vsize=74124 CPUtime=6.2 /proc/11023/stat : 11023 (cudf2lp) R 11021 11021 13759 34823 13904 4202496 18461 0 0 0 590 30 0 0 25 0 1 0 419171545 75902976 17989 1283457024 134512640 135993029 4289553776 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/11023/statm: 18531 17990 134 362 0 18113 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 78808 [startup+12.7051 s] /proc/loadavg: 0.91 1.02 1.05 2/99 11027 /proc/meminfo: memFree=978612/2097152 swapFree=2055620/2097144 [pid=11021] ppid=11020 vsize=4684 CPUtime=7.75 /proc/11021/stat : 11021 (python) S 11020 11021 13759 34823 13904 4202496 1240 27710 0 0 0 1 684 90 20 0 1 0 419171538 4796416 833 1283457024 134512640 135539072 4292435472 18446744073709551615 4160119726 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/11021/statm: 1171 833 400 251 0 429 0 [pid=11024] ppid=11021 vsize=2372 CPUtime=0 /proc/11024/stat : 11024 (sh) S 11021 11021 13759 34823 13904 4194304 442 0 0 0 0 0 0 0 21 0 1 0 419172324 2428928 248 1283457024 134512640 135191968 4290817136 18446744073709551615 4159617678 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11024/statm: 593 248 212 166 0 25 0 [pid=11025] ppid=11024 vsize=193460 CPUtime=4.83 /proc/11025/stat : 11025 (bingo) R 11024 11021 13759 34823 13904 4202496 56629 0 0 0 462 21 0 0 19 0 1 0 419172324 198103040 38376 1283457024 134512640 136195415 4292220528 18446744073709551615 134655772 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/11025/statm: 48365 38384 220 411 0 47952 0 [pid=11026] ppid=11024 vsize=111840 CPUtime=0.43 /proc/11026/stat : 11026 (clasp) S 11024 11021 13759 34823 13904 4202496 31461 0 0 0 35 8 0 0 18 0 1 0 419172324 114524160 27295 1283457024 134512640 136080129 4290948368 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/11026/statm: 27960 27295 147 383 0 27575 0 Current children cumulated CPU time (s) 13.01 Current children cumulated vsize (KiB) 312356 [startup+25.5101 s] /proc/loadavg: 0.93 1.02 1.05 2/97 11028 /proc/meminfo: memFree=1009032/2097152 swapFree=2055620/2097144 [pid=11021] ppid=11020 vsize=4684 CPUtime=7.75 /proc/11021/stat : 11021 (python) S 11020 11021 13759 34823 13904 4202496 1240 27710 0 0 0 1 684 90 20 0 1 0 419171538 4796416 833 1283457024 134512640 135539072 4292435472 18446744073709551615 4160119726 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/11021/statm: 1171 833 400 251 0 429 0 [pid=11024] ppid=11021 vsize=2372 CPUtime=10.21 /proc/11024/stat : 11024 (sh) S 11021 11021 13759 34823 13904 4194304 442 175514 0 0 0 0 937 84 18 0 1 0 419172324 2428928 248 1283457024 134512640 135191968 4290817136 18446744073709551615 4159617678 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/11024/statm: 593 248 212 166 0 25 0 [pid=11026] ppid=11024 vsize=200212 CPUtime=8.34 /proc/11026/stat : 11026 (clasp) R 11024 11021 13759 34823 13904 4202496 76526 0 0 0 811 23 0 0 25 0 1 0 419172324 205017088 49150 1283457024 134512640 136080129 4290948368 18446744073709551615 134588592 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/11026/statm: 50053 49150 191 383 0 49668 0 Current children cumulated CPU time (s) 26.3 Current children cumulated vsize (KiB) 207268 Solver just ended. Dumping a history of the last processes samples [startup+25.6101 s] /proc/loadavg: 0.93 1.02 1.05 2/97 11028 /proc/meminfo: memFree=1009032/2097152 swapFree=2055620/2097144 [pid=11021] ppid=11020 vsize=4684 CPUtime=7.75 /proc/11021/stat : 11021 (python) S 11020 11021 13759 34823 13904 4202496 1240 27710 0 0 0 1 684 90 20 0 1 0 419171538 4796416 833 1283457024 134512640 135539072 4292435472 18446744073709551615 4160119726 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/11021/statm: 1171 833 400 251 0 429 0 [pid=11024] ppid=11021 vsize=2372 CPUtime=10.21 /proc/11024/stat : 11024 (sh) S 11021 11021 13759 34823 13904 4194304 442 175514 0 0 0 0 937 84 18 0 1 0 419172324 2428928 248 1283457024 134512640 135191968 4290817136 18446744073709551615 4159617678 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/11024/statm: 593 248 212 166 0 25 0 [pid=11026] ppid=11024 vsize=200212 CPUtime=8.44 /proc/11026/stat : 11026 (clasp) R 11024 11021 13759 34823 13904 4202496 76526 0 0 0 821 23 0 0 25 0 1 0 419172324 205017088 49150 1283457024 134512640 136080129 4290948368 18446744073709551615 134779799 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/11026/statm: 50053 49150 191 383 0 49668 0 Current children cumulated CPU time (s) 26.4 Current children cumulated vsize (KiB) 207268 [startup+32.0118 s] /proc/loadavg: 0.93 1.02 1.05 2/97 11028 /proc/meminfo: memFree=1009032/2097152 swapFree=2055620/2097144 [pid=11021] ppid=11020 vsize=4684 CPUtime=7.75 /proc/11021/stat : 11021 (python) S 11020 11021 13759 34823 13904 4202496 1240 27710 0 0 0 1 684 90 20 0 1 0 419171538 4796416 833 1283457024 134512640 135539072 4292435472 18446744073709551615 4160119726 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/11021/statm: 1171 833 400 251 0 429 0 [pid=11024] ppid=11021 vsize=2372 CPUtime=10.21 /proc/11024/stat : 11024 (sh) S 11021 11021 13759 34823 13904 4194304 442 175514 0 0 0 0 937 84 18 0 1 0 419172324 2428928 248 1283457024 134512640 135191968 4290817136 18446744073709551615 4159617678 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/11024/statm: 593 248 212 166 0 25 0 [pid=11026] ppid=11024 vsize=200212 CPUtime=14.84 /proc/11026/stat : 11026 (clasp) R 11024 11021 13759 34823 13904 4202496 76526 0 0 0 1461 23 0 0 25 0 1 0 419172324 205017088 49150 1283457024 134512640 136080129 4290948368 18446744073709551615 134779730 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/11026/statm: 50053 49150 191 383 0 49668 0 Current children cumulated CPU time (s) 32.8 Current children cumulated vsize (KiB) 207268 [startup+35.2124 s] /proc/loadavg: 1.02 1.04 1.06 2/97 11028 /proc/meminfo: memFree=1009032/2097152 swapFree=2055620/2097144 [pid=11021] ppid=11020 vsize=4684 CPUtime=7.75 /proc/11021/stat : 11021 (python) S 11020 11021 13759 34823 13904 4202496 1240 27710 0 0 0 1 684 90 20 0 1 0 419171538 4796416 833 1283457024 134512640 135539072 4292435472 18446744073709551615 4160119726 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/11021/statm: 1171 833 400 251 0 429 0 [pid=11024] ppid=11021 vsize=2372 CPUtime=10.21 /proc/11024/stat : 11024 (sh) S 11021 11021 13759 34823 13904 4194304 442 175514 0 0 0 0 937 84 18 0 1 0 419172324 2428928 248 1283457024 134512640 135191968 4290817136 18446744073709551615 4159617678 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/11024/statm: 593 248 212 166 0 25 0 [pid=11026] ppid=11024 vsize=200212 CPUtime=18.04 /proc/11026/stat : 11026 (clasp) R 11024 11021 13759 34823 13904 4202496 76526 0 0 0 1781 23 0 0 25 0 1 0 419172324 205017088 49150 1283457024 134512640 136080129 4290948368 18446744073709551615 134809196 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/11026/statm: 50053 49150 191 383 0 49668 0 Current children cumulated CPU time (s) 36 Current children cumulated vsize (KiB) 207268 [startup+36.8129 s] /proc/loadavg: 1.02 1.04 1.06 2/97 11028 /proc/meminfo: memFree=1009032/2097152 swapFree=2055620/2097144 [pid=11021] ppid=11020 vsize=4684 CPUtime=7.75 /proc/11021/stat : 11021 (python) S 11020 11021 13759 34823 13904 4202496 1240 27710 0 0 0 1 684 90 20 0 1 0 419171538 4796416 833 1283457024 134512640 135539072 4292435472 18446744073709551615 4160119726 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/11021/statm: 1171 833 400 251 0 429 0 [pid=11024] ppid=11021 vsize=2372 CPUtime=10.21 /proc/11024/stat : 11024 (sh) S 11021 11021 13759 34823 13904 4194304 442 175514 0 0 0 0 937 84 18 0 1 0 419172324 2428928 248 1283457024 134512640 135191968 4290817136 18446744073709551615 4159617678 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/11024/statm: 593 248 212 166 0 25 0 [pid=11026] ppid=11024 vsize=200212 CPUtime=19.64 /proc/11026/stat : 11026 (clasp) R 11024 11021 13759 34823 13904 4202496 76526 0 0 0 1941 23 0 0 25 0 1 0 419172324 205017088 49150 1283457024 134512640 136080129 4290948368 18446744073709551615 134849233 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/11026/statm: 50053 49150 191 383 0 49668 0 Current children cumulated CPU time (s) 37.6 Current children cumulated vsize (KiB) 207268 [startup+37.213 s] /proc/loadavg: 1.02 1.04 1.06 2/97 11028 /proc/meminfo: memFree=1009032/2097152 swapFree=2055620/2097144 [pid=11021] ppid=11020 vsize=4684 CPUtime=7.75 /proc/11021/stat : 11021 (python) S 11020 11021 13759 34823 13904 4202496 1240 27710 0 0 0 1 684 90 20 0 1 0 419171538 4796416 833 1283457024 134512640 135539072 4292435472 18446744073709551615 4160119726 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/11021/statm: 1171 833 400 251 0 429 0 [pid=11024] ppid=11021 vsize=2372 CPUtime=10.21 /proc/11024/stat : 11024 (sh) S 11021 11021 13759 34823 13904 4194304 442 175514 0 0 0 0 937 84 18 0 1 0 419172324 2428928 248 1283457024 134512640 135191968 4290817136 18446744073709551615 4159617678 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/11024/statm: 593 248 212 166 0 25 0 [pid=11026] ppid=11024 vsize=200212 CPUtime=20.04 /proc/11026/stat : 11026 (clasp) R 11024 11021 13759 34823 13904 4202496 76526 0 0 0 1981 23 0 0 25 0 1 0 419172324 205017088 49150 1283457024 134512640 136080129 4290948368 18446744073709551615 134849040 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/11026/statm: 50053 49150 191 383 0 49668 0 Current children cumulated CPU time (s) 38 Current children cumulated vsize (KiB) 207268 [startup+37.6137 s] /proc/loadavg: 1.02 1.04 1.06 2/97 11029 /proc/meminfo: memFree=1058880/2097152 swapFree=2055620/2097144 [pid=11021] ppid=11020 vsize=4684 CPUtime=7.75 /proc/11021/stat : 11021 (python) S 11020 11021 13759 34823 13904 4202496 1240 27710 0 0 0 1 684 90 20 0 1 0 419171538 4796416 833 1283457024 134512640 135539072 4292435472 18446744073709551615 4160119726 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/11021/statm: 1171 833 400 251 0 429 0 [pid=11024] ppid=11021 vsize=2372 CPUtime=10.21 /proc/11024/stat : 11024 (sh) S 11021 11021 13759 34823 13904 4194304 442 175514 0 0 0 0 937 84 18 0 1 0 419172324 2428928 248 1283457024 134512640 135191968 4290817136 18446744073709551615 4159617678 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/11024/statm: 593 248 212 166 0 25 0 [pid=11026] ppid=11024 vsize=1752 CPUtime=20.43 /proc/11026/stat : 11026 (clasp) R 11024 11021 13759 34823 13904 4202496 76536 0 0 0 2014 29 0 0 25 0 1 0 419172324 1794048 252 1283457024 134512640 136080129 4290948368 18446744073709551615 135703614 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/11026/statm: 438 252 201 383 0 53 0 Current children cumulated CPU time (s) 38.39 Current children cumulated vsize (KiB) 8808 Child status: 0 Real time (s): 37.652 CPU time (s): 38.4584 CPU user time (s): 36.3983 CPU system time (s): 2.06013 CPU usage (%): 102.142 Max. virtual memory (cumulated for all children) (KiB): 816628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 36.3983 system time used= 2.06013 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 282822 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= 5291 involuntary context switches= 733 runsolver used 0 second user time and 0.008 second system time The end