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/randd8bf6a.cudf.difficult.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/difficult//randd8bf6a.cudf /home/misc2010/tmp/201007051419/aspcud-paranoid-1.0/randd8bf6a.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.19 1.10 1.06 1/95 3126 /proc/meminfo: memFree=1273320/2097152 swapFree=2055620/2097144 [pid=3126] ppid=3125 vsize=3724 CPUtime=0 /proc/3126/stat : 3126 (python) S 3125 3126 13759 34823 13904 4202496 749 0 0 0 0 0 0 0 17 0 1 0 418853502 3813376 527 1283457024 134512640 135539072 4287058160 18446744073709551615 4159154254 0 2147483391 16781312 2 18446744071697298955 0 0 17 0 0 0 0 /proc/3126/statm: 931 527 322 251 0 232 0 [startup+0.258785 s] /proc/loadavg: 1.19 1.10 1.06 1/95 3126 /proc/meminfo: memFree=1273320/2097152 swapFree=2055620/2097144 [pid=3126] ppid=3125 vsize=4688 CPUtime=0 /proc/3126/stat : 3126 (python) S 3125 3126 13759 34823 13904 4202496 1154 0 0 0 0 0 0 0 18 0 1 0 418853502 4800512 832 1283457024 134512640 135539072 4287058160 18446744073709551615 4159935406 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3126/statm: 1172 832 398 251 0 430 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4688 [startup+0.306751 s] /proc/loadavg: 1.19 1.10 1.06 1/95 3126 /proc/meminfo: memFree=1273320/2097152 swapFree=2055620/2097144 [pid=3126] ppid=3125 vsize=4688 CPUtime=0 /proc/3126/stat : 3126 (python) S 3125 3126 13759 34823 13904 4202496 1154 0 0 0 0 0 0 0 18 0 1 0 418853502 4800512 832 1283457024 134512640 135539072 4287058160 18446744073709551615 4159935406 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3126/statm: 1172 832 398 251 0 430 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4688 [startup+0.406762 s] /proc/loadavg: 1.19 1.10 1.06 1/95 3126 /proc/meminfo: memFree=1273320/2097152 swapFree=2055620/2097144 [pid=3126] ppid=3125 vsize=4688 CPUtime=0 /proc/3126/stat : 3126 (python) S 3125 3126 13759 34823 13904 4202496 1154 0 0 0 0 0 0 0 18 0 1 0 418853502 4800512 832 1283457024 134512640 135539072 4287058160 18446744073709551615 4159935406 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3126/statm: 1172 832 398 251 0 430 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4688 [startup+0.706834 s] /proc/loadavg: 1.19 1.10 1.06 1/95 3126 /proc/meminfo: memFree=1273320/2097152 swapFree=2055620/2097144 [pid=3126] ppid=3125 vsize=4688 CPUtime=0 /proc/3126/stat : 3126 (python) S 3125 3126 13759 34823 13904 4202496 1154 0 0 0 0 0 0 0 18 0 1 0 418853502 4800512 832 1283457024 134512640 135539072 4287058160 18446744073709551615 4159935406 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3126/statm: 1172 832 398 251 0 430 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4688 [startup+1.50681 s] /proc/loadavg: 1.19 1.10 1.06 2/97 3128 /proc/meminfo: memFree=1260904/2097152 swapFree=2055620/2097144 [pid=3126] ppid=3125 vsize=4688 CPUtime=0 /proc/3126/stat : 3126 (python) S 3125 3126 13759 34823 13904 4202496 1154 0 0 0 0 0 0 0 18 0 1 0 418853502 4800512 832 1283457024 134512640 135539072 4287058160 18446744073709551615 4159935406 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3126/statm: 1172 832 398 251 0 430 0 [pid=3128] ppid=3126 vsize=15148 CPUtime=1.46 /proc/3128/stat : 3128 (cudf2lp) R 3126 3126 13759 34823 13904 4202496 3905 0 0 0 144 2 0 0 19 0 1 0 418853506 15511552 3434 1283457024 134512640 135993029 4294641808 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/3128/statm: 3787 3434 110 362 0 3369 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 19836 [startup+3.10688 s] /proc/loadavg: 1.19 1.10 1.06 2/97 3128 /proc/meminfo: memFree=1251232/2097152 swapFree=2055620/2097144 [pid=3126] ppid=3125 vsize=4688 CPUtime=0 /proc/3126/stat : 3126 (python) S 3125 3126 13759 34823 13904 4202496 1154 0 0 0 0 0 0 0 18 0 1 0 418853502 4800512 832 1283457024 134512640 135539072 4287058160 18446744073709551615 4159935406 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3126/statm: 1172 832 398 251 0 430 0 [pid=3128] ppid=3126 vsize=29416 CPUtime=3.05 /proc/3128/stat : 3128 (cudf2lp) R 3126 3126 13759 34823 13904 4202496 7417 0 0 0 302 3 0 0 23 0 1 0 418853506 30121984 6946 1283457024 134512640 135993029 4294641808 18446744073709551615 134537802 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/3128/statm: 7354 6946 110 362 0 6936 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 34104 [startup+6.30703 s] /proc/loadavg: 1.18 1.10 1.06 2/97 3128 /proc/meminfo: memFree=1219372/2097152 swapFree=2055620/2097144 [pid=3126] ppid=3125 vsize=4688 CPUtime=0 /proc/3126/stat : 3126 (python) S 3125 3126 13759 34823 13904 4202496 1154 0 0 0 0 0 0 0 18 0 1 0 418853502 4800512 832 1283457024 134512640 135539072 4287058160 18446744073709551615 4159935406 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3126/statm: 1172 832 398 251 0 430 0 [pid=3128] ppid=3126 vsize=74120 CPUtime=6.25 /proc/3128/stat : 3128 (cudf2lp) R 3126 3126 13759 34823 13904 4202496 18480 0 0 0 599 26 0 0 25 0 1 0 418853506 75898880 18009 1283457024 134512640 135993029 4294641808 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/3128/statm: 18530 18010 134 362 0 18112 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 78808 [startup+12.7073 s] /proc/loadavg: 1.32 1.13 1.07 2/99 3132 /proc/meminfo: memFree=1032092/2097152 swapFree=2055620/2097144 [pid=3126] ppid=3125 vsize=4688 CPUtime=7.79 /proc/3126/stat : 3126 (python) S 3125 3126 13759 34823 13904 4202496 1241 27706 0 0 0 0 696 83 18 0 1 0 418853502 4800512 834 1283457024 134512640 135539072 4287058160 18446744073709551615 4159935406 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3126/statm: 1172 834 400 251 0 430 0 [pid=3130] ppid=3126 vsize=2372 CPUtime=0 /proc/3130/stat : 3130 (sh) S 3126 3126 13759 34823 13904 4194304 442 0 0 0 0 0 0 0 18 0 1 0 418854287 2428928 248 1283457024 134512640 135191968 4291300576 18446744073709551615 4159601294 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/3130/statm: 593 248 212 166 0 25 0 [pid=3131] ppid=3130 vsize=186912 CPUtime=4.8 /proc/3131/stat : 3131 (bingo) R 3130 3126 13759 34823 13904 4202496 55063 0 0 0 452 28 0 0 19 0 1 0 418854288 191397888 36939 1283457024 134512640 136195415 4290294944 18446744073709551615 134652930 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/3131/statm: 46728 36939 220 411 0 46315 0 [pid=3132] ppid=3130 vsize=111836 CPUtime=0.46 /proc/3132/stat : 3132 (clasp) S 3130 3126 13759 34823 13904 4202496 31460 0 0 0 40 6 0 0 18 0 1 0 418854288 114520064 27294 1283457024 134512640 136080129 4289041216 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 1 0 0 0 /proc/3132/statm: 27959 27294 147 383 0 27574 0 Current children cumulated CPU time (s) 13.05 Current children cumulated vsize (KiB) 305808 [startup+25.5079 s] /proc/loadavg: 1.25 1.12 1.06 2/97 3133 /proc/meminfo: memFree=1062776/2097152 swapFree=2055620/2097144 [pid=3126] ppid=3125 vsize=4688 CPUtime=7.79 /proc/3126/stat : 3126 (python) S 3125 3126 13759 34823 13904 4202496 1241 27706 0 0 0 0 696 83 18 0 1 0 418853502 4800512 834 1283457024 134512640 135539072 4287058160 18446744073709551615 4159935406 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3126/statm: 1172 834 400 251 0 430 0 [pid=3130] ppid=3126 vsize=2372 CPUtime=10.22 /proc/3130/stat : 3130 (sh) S 3126 3126 13759 34823 13904 4194304 442 175516 0 0 0 0 940 82 18 0 1 0 418854287 2428928 248 1283457024 134512640 135191968 4291300576 18446744073709551615 4159601294 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3130/statm: 593 248 212 166 0 25 0 [pid=3132] ppid=3130 vsize=200380 CPUtime=8.26 /proc/3132/stat : 3132 (clasp) R 3130 3126 13759 34823 13904 4202496 76589 0 0 0 804 22 0 0 25 0 1 0 418854288 205189120 49204 1283457024 134512640 136080129 4289041216 18446744073709551615 134779751 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/3132/statm: 50095 49204 189 383 0 49710 0 Current children cumulated CPU time (s) 26.27 Current children cumulated vsize (KiB) 207440 Solver just ended. Dumping a history of the last processes samples [startup+25.7079 s] /proc/loadavg: 1.25 1.12 1.06 2/97 3133 /proc/meminfo: memFree=1062776/2097152 swapFree=2055620/2097144 [pid=3126] ppid=3125 vsize=4688 CPUtime=7.79 /proc/3126/stat : 3126 (python) S 3125 3126 13759 34823 13904 4202496 1241 27706 0 0 0 0 696 83 18 0 1 0 418853502 4800512 834 1283457024 134512640 135539072 4287058160 18446744073709551615 4159935406 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3126/statm: 1172 834 400 251 0 430 0 [pid=3130] ppid=3126 vsize=2372 CPUtime=10.22 /proc/3130/stat : 3130 (sh) S 3126 3126 13759 34823 13904 4194304 442 175516 0 0 0 0 940 82 18 0 1 0 418854287 2428928 248 1283457024 134512640 135191968 4291300576 18446744073709551615 4159601294 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3130/statm: 593 248 212 166 0 25 0 [pid=3132] ppid=3130 vsize=200380 CPUtime=8.46 /proc/3132/stat : 3132 (clasp) R 3130 3126 13759 34823 13904 4202496 76589 0 0 0 824 22 0 0 25 0 1 0 418854288 205189120 49204 1283457024 134512640 136080129 4289041216 18446744073709551615 134779751 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/3132/statm: 50095 49204 189 383 0 49710 0 Current children cumulated CPU time (s) 26.47 Current children cumulated vsize (KiB) 207440 [startup+28.904 s] /proc/loadavg: 1.23 1.12 1.06 2/97 3133 /proc/meminfo: memFree=1062652/2097152 swapFree=2055620/2097144 [pid=3126] ppid=3125 vsize=4688 CPUtime=7.79 /proc/3126/stat : 3126 (python) S 3125 3126 13759 34823 13904 4202496 1241 27706 0 0 0 0 696 83 18 0 1 0 418853502 4800512 834 1283457024 134512640 135539072 4287058160 18446744073709551615 4159935406 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3126/statm: 1172 834 400 251 0 430 0 [pid=3130] ppid=3126 vsize=2372 CPUtime=10.22 /proc/3130/stat : 3130 (sh) S 3126 3126 13759 34823 13904 4194304 442 175516 0 0 0 0 940 82 18 0 1 0 418854287 2428928 248 1283457024 134512640 135191968 4291300576 18446744073709551615 4159601294 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3130/statm: 593 248 212 166 0 25 0 [pid=3132] ppid=3130 vsize=200380 CPUtime=11.65 /proc/3132/stat : 3132 (clasp) R 3130 3126 13759 34823 13904 4202496 76592 0 0 0 1143 22 0 0 25 0 1 0 418854288 205189120 49207 1283457024 134512640 136080129 4289041216 18446744073709551615 134842240 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/3132/statm: 50095 49207 191 383 0 49710 0 Current children cumulated CPU time (s) 29.66 Current children cumulated vsize (KiB) 207440 [startup+30.5041 s] /proc/loadavg: 1.23 1.12 1.06 2/97 3133 /proc/meminfo: memFree=1062528/2097152 swapFree=2055620/2097144 [pid=3126] ppid=3125 vsize=4688 CPUtime=7.79 /proc/3126/stat : 3126 (python) S 3125 3126 13759 34823 13904 4202496 1241 27706 0 0 0 0 696 83 18 0 1 0 418853502 4800512 834 1283457024 134512640 135539072 4287058160 18446744073709551615 4159935406 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3126/statm: 1172 834 400 251 0 430 0 [pid=3130] ppid=3126 vsize=2372 CPUtime=10.22 /proc/3130/stat : 3130 (sh) S 3126 3126 13759 34823 13904 4194304 442 175516 0 0 0 0 940 82 18 0 1 0 418854287 2428928 248 1283457024 134512640 135191968 4291300576 18446744073709551615 4159601294 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3130/statm: 593 248 212 166 0 25 0 [pid=3132] ppid=3130 vsize=200380 CPUtime=13.25 /proc/3132/stat : 3132 (clasp) R 3130 3126 13759 34823 13904 4202496 76592 0 0 0 1303 22 0 0 25 0 1 0 418854288 205189120 49207 1283457024 134512640 136080129 4289041216 18446744073709551615 134779813 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/3132/statm: 50095 49207 191 383 0 49710 0 Current children cumulated CPU time (s) 31.26 Current children cumulated vsize (KiB) 207440 [startup+31.3041 s] /proc/loadavg: 1.23 1.12 1.06 2/97 3133 /proc/meminfo: memFree=1062404/2097152 swapFree=2055620/2097144 [pid=3126] ppid=3125 vsize=4688 CPUtime=7.79 /proc/3126/stat : 3126 (python) S 3125 3126 13759 34823 13904 4202496 1241 27706 0 0 0 0 696 83 18 0 1 0 418853502 4800512 834 1283457024 134512640 135539072 4287058160 18446744073709551615 4159935406 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3126/statm: 1172 834 400 251 0 430 0 [pid=3130] ppid=3126 vsize=2372 CPUtime=10.22 /proc/3130/stat : 3130 (sh) S 3126 3126 13759 34823 13904 4194304 442 175516 0 0 0 0 940 82 18 0 1 0 418854287 2428928 248 1283457024 134512640 135191968 4291300576 18446744073709551615 4159601294 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3130/statm: 593 248 212 166 0 25 0 [pid=3132] ppid=3130 vsize=200380 CPUtime=14.05 /proc/3132/stat : 3132 (clasp) R 3130 3126 13759 34823 13904 4202496 76592 0 0 0 1383 22 0 0 25 0 1 0 418854288 205189120 49207 1283457024 134512640 136080129 4289041216 18446744073709551615 134779751 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/3132/statm: 50095 49207 191 383 0 49710 0 Current children cumulated CPU time (s) 32.06 Current children cumulated vsize (KiB) 207440 [startup+32.1042 s] /proc/loadavg: 1.23 1.12 1.06 2/97 3133 /proc/meminfo: memFree=1062280/2097152 swapFree=2055620/2097144 [pid=3126] ppid=3125 vsize=4688 CPUtime=7.79 /proc/3126/stat : 3126 (python) S 3125 3126 13759 34823 13904 4202496 1241 27706 0 0 0 0 696 83 18 0 1 0 418853502 4800512 834 1283457024 134512640 135539072 4287058160 18446744073709551615 4159935406 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3126/statm: 1172 834 400 251 0 430 0 [pid=3130] ppid=3126 vsize=2372 CPUtime=10.22 /proc/3130/stat : 3130 (sh) S 3126 3126 13759 34823 13904 4194304 442 175516 0 0 0 0 940 82 18 0 1 0 418854287 2428928 248 1283457024 134512640 135191968 4291300576 18446744073709551615 4159601294 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3130/statm: 593 248 212 166 0 25 0 [pid=3132] ppid=3130 vsize=147732 CPUtime=14.85 /proc/3132/stat : 3132 (clasp) R 3130 3126 13759 34823 13904 4202496 76602 0 0 0 1461 24 0 0 25 0 1 0 418854288 151277568 36605 1283457024 134512640 136080129 4289041216 18446744073709551615 134781413 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/3132/statm: 36933 36605 201 383 0 36548 0 Current children cumulated CPU time (s) 32.86 Current children cumulated vsize (KiB) 154792 [startup+32.3042 s] /proc/loadavg: 1.23 1.12 1.06 2/97 3133 /proc/meminfo: memFree=1062280/2097152 swapFree=2055620/2097144 [pid=3126] ppid=3125 vsize=4688 CPUtime=33.08 /proc/3126/stat : 3126 (python) R 3125 3126 13759 34823 13904 4202496 1270 280278 0 0 0 0 3114 194 18 0 1 0 418853502 4800512 834 1283457024 134512640 135539072 4287058160 18446744073709551615 4158997136 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/3126/statm: 1172 834 400 251 0 430 0 Current children cumulated CPU time (s) 33.08 Current children cumulated vsize (KiB) 4688 Child status: 0 Real time (s): 32.3384 CPU time (s): 33.1261 CPU user time (s): 31.1779 CPU system time (s): 1.94812 CPU usage (%): 102.436 Max. virtual memory (cumulated for all children) (KiB): 815136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 31.1779 system time used= 1.94812 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 282885 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= 5187 involuntary context switches= 378 runsolver used 0.008 second user time and 0.020001 second system time The end