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/rand2fb7ab.cudf.easy.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/easy//rand2fb7ab.cudf /home/misc2010/tmp/201007050905/aspcud-paranoid-1.0/rand2fb7ab.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.28 1.08 0.58 4/34 25680 /proc/meminfo: memFree=480772/1048576 swapFree=2095456/2097144 [pid=25679] ppid=25678 vsize=4708 CPUtime=0.02 /proc/25679/stat : 25679 (python) S 25678 25679 24102 769 24102 4202496 1130 0 0 0 2 0 0 0 25 0 1 0 524983150 4820992 835 1283457024 134512640 135539072 4291512256 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25679/statm: 1177 835 400 251 0 435 0 [pid=25680] ppid=25679 vsize=2252 CPUtime=0.02 /proc/25680/stat : 25680 (cudf2lp) R 25679 25679 24102 769 24102 4202496 728 0 0 0 2 0 0 0 25 0 1 0 524983152 2306048 260 1283457024 134512640 135993029 4294173344 18446744073709551615 134568042 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25680/statm: 563 260 110 362 0 145 0 [startup+0.210295 s] /proc/loadavg: 1.28 1.08 0.58 4/34 25680 /proc/meminfo: memFree=480772/1048576 swapFree=2095456/2097144 [pid=25679] ppid=25678 vsize=4708 CPUtime=0.02 /proc/25679/stat : 25679 (python) S 25678 25679 24102 769 24102 4202496 1130 0 0 0 2 0 0 0 25 0 1 0 524983150 4820992 835 1283457024 134512640 135539072 4291512256 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25679/statm: 1177 835 400 251 0 435 0 [pid=25680] ppid=25679 vsize=3740 CPUtime=0.19 /proc/25680/stat : 25680 (cudf2lp) R 25679 25679 24102 769 24102 4202496 1090 0 0 0 19 0 0 0 25 0 1 0 524983152 3829760 622 1283457024 134512640 135993029 4294173344 18446744073709551615 134567831 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25680/statm: 935 622 110 362 0 517 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 8448 [startup+0.310335 s] /proc/loadavg: 1.28 1.08 0.58 4/34 25680 /proc/meminfo: memFree=480772/1048576 swapFree=2095456/2097144 [pid=25679] ppid=25678 vsize=4708 CPUtime=0.02 /proc/25679/stat : 25679 (python) S 25678 25679 24102 769 24102 4202496 1130 0 0 0 2 0 0 0 25 0 1 0 524983150 4820992 835 1283457024 134512640 135539072 4291512256 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25679/statm: 1177 835 400 251 0 435 0 [pid=25680] ppid=25679 vsize=4484 CPUtime=0.29 /proc/25680/stat : 25680 (cudf2lp) R 25679 25679 24102 769 24102 4202496 1294 0 0 0 28 1 0 0 25 0 1 0 524983152 4591616 826 1283457024 134512640 135993029 4294173344 18446744073709551615 134566722 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25680/statm: 1121 826 110 362 0 703 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 9192 [startup+0.410344 s] /proc/loadavg: 1.28 1.08 0.58 4/34 25680 /proc/meminfo: memFree=480772/1048576 swapFree=2095456/2097144 [pid=25679] ppid=25678 vsize=4708 CPUtime=0.02 /proc/25679/stat : 25679 (python) S 25678 25679 24102 769 24102 4202496 1130 0 0 0 2 0 0 0 25 0 1 0 524983150 4820992 835 1283457024 134512640 135539072 4291512256 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25679/statm: 1177 835 400 251 0 435 0 [pid=25680] ppid=25679 vsize=5476 CPUtime=0.39 /proc/25680/stat : 25680 (cudf2lp) R 25679 25679 24102 769 24102 4202496 1515 0 0 0 38 1 0 0 25 0 1 0 524983152 5607424 1047 1283457024 134512640 135993029 4294173344 18446744073709551615 134571980 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25680/statm: 1369 1047 110 362 0 951 0 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 10184 [startup+0.710434 s] /proc/loadavg: 1.28 1.08 0.58 4/34 25680 /proc/meminfo: memFree=480772/1048576 swapFree=2095456/2097144 [pid=25679] ppid=25678 vsize=4708 CPUtime=0.02 /proc/25679/stat : 25679 (python) S 25678 25679 24102 769 24102 4202496 1130 0 0 0 2 0 0 0 25 0 1 0 524983150 4820992 835 1283457024 134512640 135539072 4291512256 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25679/statm: 1177 835 400 251 0 435 0 [pid=25680] ppid=25679 vsize=8204 CPUtime=0.69 /proc/25680/stat : 25680 (cudf2lp) R 25679 25679 24102 769 24102 4202496 2164 0 0 0 68 1 0 0 25 0 1 0 524983152 8400896 1696 1283457024 134512640 135993029 4294173344 18446744073709551615 134571051 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25680/statm: 2051 1696 110 362 0 1633 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 12912 [startup+1.51067 s] /proc/loadavg: 1.28 1.08 0.58 2/35 25681 /proc/meminfo: memFree=470596/1048576 swapFree=2095456/2097144 [pid=25679] ppid=25678 vsize=4708 CPUtime=0.02 /proc/25679/stat : 25679 (python) S 25678 25679 24102 769 24102 4202496 1130 0 0 0 2 0 0 0 25 0 1 0 524983150 4820992 835 1283457024 134512640 135539072 4291512256 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25679/statm: 1177 835 400 251 0 435 0 [pid=25680] ppid=25679 vsize=15148 CPUtime=1.49 /proc/25680/stat : 25680 (cudf2lp) R 25679 25679 24102 769 24102 4202496 3906 0 0 0 148 1 0 0 25 0 1 0 524983152 15511552 3438 1283457024 134512640 135993029 4294173344 18446744073709551615 134585763 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25680/statm: 3787 3438 110 362 0 3369 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 19856 [startup+3.11113 s] /proc/loadavg: 1.25 1.08 0.58 2/35 25681 /proc/meminfo: memFree=461428/1048576 swapFree=2095456/2097144 [pid=25679] ppid=25678 vsize=4708 CPUtime=0.02 /proc/25679/stat : 25679 (python) S 25678 25679 24102 769 24102 4202496 1130 0 0 0 2 0 0 0 25 0 1 0 524983150 4820992 835 1283457024 134512640 135539072 4291512256 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25679/statm: 1177 835 400 251 0 435 0 [pid=25680] ppid=25679 vsize=28424 CPUtime=3.08 /proc/25680/stat : 25680 (cudf2lp) R 25679 25679 24102 769 24102 4202496 7164 0 0 0 306 2 0 0 25 0 1 0 524983152 29106176 6696 1283457024 134512640 135993029 4294173344 18446744073709551615 134571466 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25680/statm: 7106 6696 110 362 0 6688 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 33132 [startup+6.31194 s] /proc/loadavg: 1.25 1.08 0.58 3/37 25684 /proc/meminfo: memFree=470076/1048576 swapFree=2095456/2097144 [pid=25679] ppid=25678 vsize=4708 CPUtime=5.54 /proc/25679/stat : 25679 (python) S 25678 25679 24102 769 24102 4202496 1218 18245 0 0 2 0 470 82 18 0 1 0 524983150 4820992 837 1283457024 134512640 135539072 4291512256 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25679/statm: 1177 837 402 251 0 435 0 [pid=25682] ppid=25679 vsize=2388 CPUtime=0 /proc/25682/stat : 25682 (sh) S 25679 25679 24102 769 24102 4194304 447 0 0 0 0 0 0 0 21 0 1 0 524983704 2445312 253 1283457024 134512640 135191968 4290451088 18446744073709551615 4159420830 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25682/statm: 597 253 214 166 0 29 0 [pid=25683] ppid=25682 vsize=23248 CPUtime=0.74 /proc/25683/stat : 25683 (bingo) R 25682 25679 24102 769 24102 4202496 7330 0 0 0 70 4 0 0 25 0 1 0 524983705 23805952 4417 1283457024 134512640 136195415 4286661536 18446744073709551615 135582622 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25683/statm: 5812 4417 205 411 0 5399 0 [pid=25684] ppid=25682 vsize=16724 CPUtime=0.01 /proc/25684/stat : 25684 (clasp) S 25682 25679 24102 769 24102 4202496 4584 0 0 0 1 0 0 0 21 0 1 0 524983705 17125376 3832 1283457024 134512640 136080129 4294072976 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/25684/statm: 4181 3832 147 383 0 3796 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47068 [startup+12.7139 s] /proc/loadavg: 1.21 1.08 0.58 2/37 25684 /proc/meminfo: memFree=79600/1048576 swapFree=2095456/2097144 [pid=25679] ppid=25678 vsize=4708 CPUtime=5.54 /proc/25679/stat : 25679 (python) S 25678 25679 24102 769 24102 4202496 1218 18245 0 0 2 0 470 82 18 0 1 0 524983150 4820992 837 1283457024 134512640 135539072 4291512256 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25679/statm: 1177 837 402 251 0 435 0 [pid=25682] ppid=25679 vsize=2388 CPUtime=0 /proc/25682/stat : 25682 (sh) S 25679 25679 24102 769 24102 4194304 447 0 0 0 0 0 0 0 21 0 1 0 524983704 2445312 253 1283457024 134512640 135191968 4290451088 18446744073709551615 4159420830 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25682/statm: 597 253 214 166 0 29 0 [pid=25683] ppid=25682 vsize=467960 CPUtime=6.13 /proc/25683/stat : 25683 (bingo) R 25682 25679 24102 769 24102 4202496 109640 0 0 0 565 48 0 0 25 0 1 0 524983705 479191040 88567 1283457024 134512640 136195415 4286661536 18446744073709551615 134658802 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25683/statm: 116990 88567 220 411 0 116577 0 [pid=25684] ppid=25682 vsize=98388 CPUtime=1.02 /proc/25684/stat : 25684 (clasp) S 25682 25679 24102 769 24102 4202496 27211 0 0 0 89 13 0 0 18 0 1 0 524983705 100749312 23965 1283457024 134512640 136080129 4294072976 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/25684/statm: 24597 23965 147 383 0 24212 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 573444 Solver just ended. Dumping a history of the last processes samples [startup+12.9139 s] /proc/loadavg: 1.21 1.08 0.58 2/37 25684 /proc/meminfo: memFree=79600/1048576 swapFree=2095456/2097144 [pid=25679] ppid=25678 vsize=4708 CPUtime=5.54 /proc/25679/stat : 25679 (python) S 25678 25679 24102 769 24102 4202496 1218 18245 0 0 2 0 470 82 18 0 1 0 524983150 4820992 837 1283457024 134512640 135539072 4291512256 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25679/statm: 1177 837 402 251 0 435 0 [pid=25682] ppid=25679 vsize=2388 CPUtime=0 /proc/25682/stat : 25682 (sh) S 25679 25679 24102 769 24102 4194304 447 0 0 0 0 0 0 0 21 0 1 0 524983704 2445312 253 1283457024 134512640 135191968 4290451088 18446744073709551615 4159420830 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25682/statm: 597 253 214 166 0 29 0 [pid=25683] ppid=25682 vsize=448224 CPUtime=6.3 /proc/25683/stat : 25683 (bingo) R 25682 25679 24102 769 24102 4202496 112341 0 0 0 581 49 0 0 25 0 1 0 524983705 458981376 86280 1283457024 134512640 136195415 4286661536 18446744073709551615 134657130 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25683/statm: 112056 86280 221 411 0 111643 0 [pid=25684] ppid=25682 vsize=100580 CPUtime=1.05 /proc/25684/stat : 25684 (clasp) S 25682 25679 24102 769 24102 4202496 27724 0 0 0 91 14 0 0 18 0 1 0 524983705 102993920 24478 1283457024 134512640 136080129 4294072976 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/25684/statm: 25145 24478 147 383 0 24760 0 Current children cumulated CPU time (s) 12.89 Current children cumulated vsize (KiB) 555900 [startup+16.107 s] /proc/loadavg: 1.21 1.08 0.58 2/36 25684 /proc/meminfo: memFree=346588/1048576 swapFree=2095456/2097144 [pid=25679] ppid=25678 vsize=4708 CPUtime=5.54 /proc/25679/stat : 25679 (python) S 25678 25679 24102 769 24102 4202496 1218 18245 0 0 2 0 470 82 18 0 1 0 524983150 4820992 837 1283457024 134512640 135539072 4291512256 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25679/statm: 1177 837 402 251 0 435 0 [pid=25682] ppid=25679 vsize=2388 CPUtime=6.96 /proc/25682/stat : 25682 (sh) S 25679 25679 24102 769 24102 4194304 447 112343 0 0 0 0 634 62 18 0 1 0 524983704 2445312 253 1283457024 134512640 135191968 4290451088 18446744073709551615 4159420830 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25682/statm: 597 253 214 166 0 29 0 [pid=25684] ppid=25682 vsize=134304 CPUtime=3.59 /proc/25684/stat : 25684 (clasp) R 25682 25679 24102 769 24102 4202496 46133 0 0 0 334 25 0 0 22 0 1 0 524983705 137527296 32902 1283457024 134512640 136080129 4294072976 18446744073709551615 135504577 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/25684/statm: 33576 32902 181 383 0 33191 0 Current children cumulated CPU time (s) 16.09 Current children cumulated vsize (KiB) 141400 [startup+17.7075 s] /proc/loadavg: 1.20 1.08 0.58 2/36 25684 /proc/meminfo: memFree=350060/1048576 swapFree=2095456/2097144 [pid=25679] ppid=25678 vsize=4708 CPUtime=5.54 /proc/25679/stat : 25679 (python) S 25678 25679 24102 769 24102 4202496 1218 18245 0 0 2 0 470 82 18 0 1 0 524983150 4820992 837 1283457024 134512640 135539072 4291512256 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25679/statm: 1177 837 402 251 0 435 0 [pid=25682] ppid=25679 vsize=2388 CPUtime=6.96 /proc/25682/stat : 25682 (sh) S 25679 25679 24102 769 24102 4194304 447 112343 0 0 0 0 634 62 18 0 1 0 524983704 2445312 253 1283457024 134512640 135191968 4290451088 18446744073709551615 4159420830 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25682/statm: 597 253 214 166 0 29 0 [pid=25684] ppid=25682 vsize=125268 CPUtime=5.19 /proc/25684/stat : 25684 (clasp) R 25682 25679 24102 769 24102 4202496 46196 0 0 0 494 25 0 0 25 0 1 0 524983705 128274432 30757 1283457024 134512640 136080129 4294072976 18446744073709551615 134779751 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/25684/statm: 31317 30757 189 383 0 30932 0 Current children cumulated CPU time (s) 17.69 Current children cumulated vsize (KiB) 132364 [startup+18.1076 s] /proc/loadavg: 1.20 1.08 0.58 2/36 25684 /proc/meminfo: memFree=350060/1048576 swapFree=2095456/2097144 [pid=25679] ppid=25678 vsize=4708 CPUtime=5.54 /proc/25679/stat : 25679 (python) S 25678 25679 24102 769 24102 4202496 1218 18245 0 0 2 0 470 82 18 0 1 0 524983150 4820992 837 1283457024 134512640 135539072 4291512256 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25679/statm: 1177 837 402 251 0 435 0 [pid=25682] ppid=25679 vsize=2388 CPUtime=6.96 /proc/25682/stat : 25682 (sh) S 25679 25679 24102 769 24102 4194304 447 112343 0 0 0 0 634 62 18 0 1 0 524983704 2445312 253 1283457024 134512640 135191968 4290451088 18446744073709551615 4159420830 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25682/statm: 597 253 214 166 0 29 0 [pid=25684] ppid=25682 vsize=125268 CPUtime=5.6 /proc/25684/stat : 25684 (clasp) R 25682 25679 24102 769 24102 4202496 46196 0 0 0 534 26 0 0 25 0 1 0 524983705 128274432 30757 1283457024 134512640 136080129 4294072976 18446744073709551615 134849233 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/25684/statm: 31317 30757 189 383 0 30932 0 Current children cumulated CPU time (s) 18.1 Current children cumulated vsize (KiB) 132364 [startup+18.3077 s] /proc/loadavg: 1.20 1.08 0.58 2/36 25684 /proc/meminfo: memFree=350060/1048576 swapFree=2095456/2097144 [pid=25679] ppid=25678 vsize=4708 CPUtime=5.54 /proc/25679/stat : 25679 (python) S 25678 25679 24102 769 24102 4202496 1218 18245 0 0 2 0 470 82 18 0 1 0 524983150 4820992 837 1283457024 134512640 135539072 4291512256 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25679/statm: 1177 837 402 251 0 435 0 [pid=25682] ppid=25679 vsize=2388 CPUtime=6.96 /proc/25682/stat : 25682 (sh) S 25679 25679 24102 769 24102 4194304 447 112343 0 0 0 0 634 62 18 0 1 0 524983704 2445312 253 1283457024 134512640 135191968 4290451088 18446744073709551615 4159420830 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25682/statm: 597 253 214 166 0 29 0 [pid=25684] ppid=25682 vsize=96680 CPUtime=5.79 /proc/25684/stat : 25684 (clasp) R 25682 25679 24102 769 24102 4202496 46207 0 0 0 552 27 0 0 25 0 1 0 524983705 99000320 23865 1283457024 134512640 136080129 4294072976 18446744073709551615 135495513 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/25684/statm: 24170 23865 200 383 0 23785 0 Current children cumulated CPU time (s) 18.29 Current children cumulated vsize (KiB) 103776 Child status: 0 Real time (s): 18.3927 CPU time (s): 18.3931 CPU user time (s): 16.605 CPU system time (s): 1.78811 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 585740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.605 system time used= 1.78811 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 179802 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= 3926 runsolver used 0 second user time and 0 second system time The end