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/201007051233/aspcud-paranoid-1.0/huge1.cudf.cudf_set.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/cudf_set/huge1.cudf /home/misc2010/tmp/201007051233/aspcud-paranoid-1.0/huge1.cudf.cudf_set.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.84 0.94 0.90 2/37 3997 /proc/meminfo: memFree=943712/1048576 swapFree=2091896/2097144 [pid=3997] ppid=3996 vsize=2880 CPUtime=0 /proc/3997/stat : 3997 (runsolver) D 3996 3997 3447 769 3447 4202560 73 0 0 0 0 0 0 0 25 0 1 0 526280545 2949120 93 1283457024 134512640 134586868 4292603904 18446744073709551615 4158047274 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/3997/statm: 720 93 62 19 0 52 0 [startup+0.159494 s] /proc/loadavg: 0.84 0.94 0.90 2/37 3997 /proc/meminfo: memFree=943712/1048576 swapFree=2091896/2097144 [pid=3997] ppid=3996 vsize=4708 CPUtime=0.02 /proc/3997/stat : 3997 (python) S 3996 3997 3447 769 3447 4202496 1130 0 1 0 1 1 0 0 25 0 1 0 526280545 4820992 835 1283457024 134512640 135539072 4290739984 18446744073709551615 4159792046 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3997/statm: 1177 835 400 251 0 435 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4708 [startup+0.215367 s] /proc/loadavg: 0.84 0.94 0.90 2/37 3997 /proc/meminfo: memFree=943712/1048576 swapFree=2091896/2097144 [pid=3997] ppid=3996 vsize=4708 CPUtime=0.02 /proc/3997/stat : 3997 (python) S 3996 3997 3447 769 3447 4202496 1130 0 1 0 1 1 0 0 25 0 1 0 526280545 4820992 835 1283457024 134512640 135539072 4290739984 18446744073709551615 4159792046 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3997/statm: 1177 835 400 251 0 435 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4708 [startup+0.3035 s] /proc/loadavg: 0.84 0.94 0.90 2/37 3997 /proc/meminfo: memFree=943712/1048576 swapFree=2091896/2097144 [pid=3997] ppid=3996 vsize=4708 CPUtime=0.02 /proc/3997/stat : 3997 (python) S 3996 3997 3447 769 3447 4202496 1130 0 1 0 1 1 0 0 25 0 1 0 526280545 4820992 835 1283457024 134512640 135539072 4290739984 18446744073709551615 4159792046 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3997/statm: 1177 835 400 251 0 435 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4708 [startup+0.709024 s] /proc/loadavg: 0.84 0.94 0.90 2/37 3997 /proc/meminfo: memFree=943712/1048576 swapFree=2091896/2097144 [pid=3997] ppid=3996 vsize=4708 CPUtime=0.25 /proc/3997/stat : 3997 (python) S 3996 3997 3447 769 3447 4202496 1217 1274 1 19 1 1 21 2 22 0 1 0 526280545 4820992 837 1283457024 134512640 135539072 4290739984 18446744073709551615 4159792046 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3997/statm: 1177 837 402 251 0 435 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 4708 [startup+1.50919 s] /proc/loadavg: 0.84 0.94 0.90 2/41 4002 /proc/meminfo: memFree=932256/1048576 swapFree=2091896/2097144 [pid=3997] ppid=3996 vsize=4708 CPUtime=0.25 /proc/3997/stat : 3997 (python) S 3996 3997 3447 769 3447 4202496 1217 1274 1 19 1 1 21 2 22 0 1 0 526280545 4820992 837 1283457024 134512640 135539072 4290739984 18446744073709551615 4159792046 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3997/statm: 1177 837 402 251 0 435 0 [pid=4000] ppid=3997 vsize=2380 CPUtime=0 /proc/4000/stat : 4000 (sh) S 3997 3997 3447 769 3447 4194304 443 0 0 0 0 0 0 0 22 0 1 0 526280583 2437120 251 1283457024 134512640 135191968 4293312848 18446744073709551615 4158695838 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4000/statm: 595 251 214 166 0 27 0 [pid=4001] ppid=4000 vsize=5120 CPUtime=0.95 /proc/4001/stat : 4001 (bingo) R 4000 3997 3447 769 3447 4202496 1270 0 20 0 95 0 0 0 25 0 1 0 526280584 5242880 850 1283457024 134512640 136195415 4293526512 18446744073709551615 135604611 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/4001/statm: 1280 850 220 411 0 867 0 [pid=4002] ppid=4000 vsize=3428 CPUtime=0 /proc/4002/stat : 4002 (clasp) S 4000 3997 3447 769 3447 4202496 673 0 16 0 0 0 0 0 24 0 1 0 526280584 3510272 596 1283457024 134512640 136080129 4288845472 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/4002/statm: 857 596 147 383 0 472 0 Current children cumulated CPU time (s) 1.2 Current children cumulated vsize (KiB) 15636 [startup+3.10964 s] /proc/loadavg: 0.84 0.94 0.90 2/41 4002 /proc/meminfo: memFree=930768/1048576 swapFree=2091896/2097144 [pid=3997] ppid=3996 vsize=4708 CPUtime=0.25 /proc/3997/stat : 3997 (python) S 3996 3997 3447 769 3447 4202496 1217 1274 1 19 1 1 21 2 22 0 1 0 526280545 4820992 837 1283457024 134512640 135539072 4290739984 18446744073709551615 4159792046 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3997/statm: 1177 837 402 251 0 435 0 [pid=4000] ppid=3997 vsize=2380 CPUtime=0 /proc/4000/stat : 4000 (sh) S 3997 3997 3447 769 3447 4194304 443 0 0 0 0 0 0 0 22 0 1 0 526280583 2437120 251 1283457024 134512640 135191968 4293312848 18446744073709551615 4158695838 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4000/statm: 595 251 214 166 0 27 0 [pid=4001] ppid=4000 vsize=6708 CPUtime=2.55 /proc/4001/stat : 4001 (bingo) R 4000 3997 3447 769 3447 4202496 1599 0 20 0 255 0 0 0 25 0 1 0 526280584 6868992 1179 1283457024 134512640 136195415 4293526512 18446744073709551615 134652734 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/4001/statm: 1677 1179 220 411 0 1264 0 [pid=4002] ppid=4000 vsize=3560 CPUtime=0 /proc/4002/stat : 4002 (clasp) S 4000 3997 3447 769 3447 4202496 691 0 16 0 0 0 0 0 18 0 1 0 526280584 3645440 614 1283457024 134512640 136080129 4288845472 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/4002/statm: 890 614 147 383 0 505 0 Current children cumulated CPU time (s) 2.8 Current children cumulated vsize (KiB) 17356 [startup+6.31035 s] /proc/loadavg: 0.85 0.94 0.90 2/41 4002 /proc/meminfo: memFree=930768/1048576 swapFree=2091896/2097144 [pid=3997] ppid=3996 vsize=4708 CPUtime=0.25 /proc/3997/stat : 3997 (python) S 3996 3997 3447 769 3447 4202496 1217 1274 1 19 1 1 21 2 22 0 1 0 526280545 4820992 837 1283457024 134512640 135539072 4290739984 18446744073709551615 4159792046 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3997/statm: 1177 837 402 251 0 435 0 [pid=4000] ppid=3997 vsize=2380 CPUtime=0 /proc/4000/stat : 4000 (sh) S 3997 3997 3447 769 3447 4194304 443 0 0 0 0 0 0 0 22 0 1 0 526280583 2437120 251 1283457024 134512640 135191968 4293312848 18446744073709551615 4158695838 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4000/statm: 595 251 214 166 0 27 0 [pid=4001] ppid=4000 vsize=6708 CPUtime=5.75 /proc/4001/stat : 4001 (bingo) R 4000 3997 3447 769 3447 4202496 1599 0 20 0 575 0 0 0 25 0 1 0 526280584 6868992 1179 1283457024 134512640 136195415 4293526512 18446744073709551615 134787360 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/4001/statm: 1677 1179 220 411 0 1264 0 [pid=4002] ppid=4000 vsize=3560 CPUtime=0 /proc/4002/stat : 4002 (clasp) S 4000 3997 3447 769 3447 4202496 691 0 16 0 0 0 0 0 18 0 1 0 526280584 3645440 614 1283457024 134512640 136080129 4288845472 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/4002/statm: 890 614 147 383 0 505 0 Current children cumulated CPU time (s) 6 Current children cumulated vsize (KiB) 17356 [startup+12.7119 s] /proc/loadavg: 0.87 0.94 0.90 2/41 4002 /proc/meminfo: memFree=930644/1048576 swapFree=2091896/2097144 [pid=3997] ppid=3996 vsize=4708 CPUtime=0.25 /proc/3997/stat : 3997 (python) S 3996 3997 3447 769 3447 4202496 1217 1274 1 19 1 1 21 2 22 0 1 0 526280545 4820992 837 1283457024 134512640 135539072 4290739984 18446744073709551615 4159792046 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3997/statm: 1177 837 402 251 0 435 0 [pid=4000] ppid=3997 vsize=2380 CPUtime=0 /proc/4000/stat : 4000 (sh) S 3997 3997 3447 769 3447 4194304 443 0 0 0 0 0 0 0 22 0 1 0 526280583 2437120 251 1283457024 134512640 135191968 4293312848 18446744073709551615 4158695838 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4000/statm: 595 251 214 166 0 27 0 [pid=4001] ppid=4000 vsize=6708 CPUtime=12.09 /proc/4001/stat : 4001 (bingo) R 4000 3997 3447 769 3447 4202496 1599 0 20 0 1209 0 0 0 25 0 1 0 526280584 6868992 1179 1283457024 134512640 136195415 4293526512 18446744073709551615 134804999 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/4001/statm: 1677 1179 220 411 0 1264 0 [pid=4002] ppid=4000 vsize=3560 CPUtime=0 /proc/4002/stat : 4002 (clasp) S 4000 3997 3447 769 3447 4202496 691 0 16 0 0 0 0 0 18 0 1 0 526280584 3645440 614 1283457024 134512640 136080129 4288845472 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/4002/statm: 890 614 147 383 0 505 0 Current children cumulated CPU time (s) 12.34 Current children cumulated vsize (KiB) 17356 [startup+25.5053 s] /proc/loadavg: 0.89 0.94 0.91 2/41 4002 /proc/meminfo: memFree=930644/1048576 swapFree=2091896/2097144 [pid=3997] ppid=3996 vsize=4708 CPUtime=0.25 /proc/3997/stat : 3997 (python) S 3996 3997 3447 769 3447 4202496 1217 1274 1 19 1 1 21 2 22 0 1 0 526280545 4820992 837 1283457024 134512640 135539072 4290739984 18446744073709551615 4159792046 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3997/statm: 1177 837 402 251 0 435 0 [pid=4000] ppid=3997 vsize=2380 CPUtime=0 /proc/4000/stat : 4000 (sh) S 3997 3997 3447 769 3447 4194304 443 0 0 0 0 0 0 0 22 0 1 0 526280583 2437120 251 1283457024 134512640 135191968 4293312848 18446744073709551615 4158695838 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4000/statm: 595 251 214 166 0 27 0 [pid=4001] ppid=4000 vsize=6708 CPUtime=24.84 /proc/4001/stat : 4001 (bingo) R 4000 3997 3447 769 3447 4202496 1599 0 20 0 2484 0 0 0 25 0 1 0 526280584 6868992 1179 1283457024 134512640 136195415 4293526512 18446744073709551615 134780470 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/4001/statm: 1677 1179 220 411 0 1264 0 [pid=4002] ppid=4000 vsize=3560 CPUtime=0 /proc/4002/stat : 4002 (clasp) S 4000 3997 3447 769 3447 4202496 691 0 16 0 0 0 0 0 18 0 1 0 526280584 3645440 614 1283457024 134512640 136080129 4288845472 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/4002/statm: 890 614 147 383 0 505 0 Current children cumulated CPU time (s) 25.09 Current children cumulated vsize (KiB) 17356 [startup+51.1103 s] /proc/loadavg: 0.93 0.94 0.91 2/41 4002 /proc/meminfo: memFree=930644/1048576 swapFree=2091896/2097144 [pid=3997] ppid=3996 vsize=4708 CPUtime=0.25 /proc/3997/stat : 3997 (python) S 3996 3997 3447 769 3447 4202496 1217 1274 1 19 1 1 21 2 22 0 1 0 526280545 4820992 837 1283457024 134512640 135539072 4290739984 18446744073709551615 4159792046 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3997/statm: 1177 837 402 251 0 435 0 [pid=4000] ppid=3997 vsize=2380 CPUtime=0 /proc/4000/stat : 4000 (sh) S 3997 3997 3447 769 3447 4194304 443 0 0 0 0 0 0 0 22 0 1 0 526280583 2437120 251 1283457024 134512640 135191968 4293312848 18446744073709551615 4158695838 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4000/statm: 595 251 214 166 0 27 0 [pid=4001] ppid=4000 vsize=6708 CPUtime=50.45 /proc/4001/stat : 4001 (bingo) R 4000 3997 3447 769 3447 4202496 1599 0 20 0 5045 0 0 0 25 0 1 0 526280584 6868992 1179 1283457024 134512640 136195415 4293526512 18446744073709551615 134830288 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/4001/statm: 1677 1179 220 411 0 1264 0 [pid=4002] ppid=4000 vsize=3560 CPUtime=0 /proc/4002/stat : 4002 (clasp) S 4000 3997 3447 769 3447 4202496 691 0 16 0 0 0 0 0 18 0 1 0 526280584 3645440 614 1283457024 134512640 136080129 4288845472 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/4002/statm: 890 614 147 383 0 505 0 Current children cumulated CPU time (s) 50.7 Current children cumulated vsize (KiB) 17356 [startup+102.303 s] /proc/loadavg: 0.97 0.95 0.91 2/41 4002 /proc/meminfo: memFree=930520/1048576 swapFree=2091896/2097144 [pid=3997] ppid=3996 vsize=4708 CPUtime=0.25 /proc/3997/stat : 3997 (python) S 3996 3997 3447 769 3447 4202496 1217 1274 1 19 1 1 21 2 22 0 1 0 526280545 4820992 837 1283457024 134512640 135539072 4290739984 18446744073709551615 4159792046 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3997/statm: 1177 837 402 251 0 435 0 [pid=4000] ppid=3997 vsize=2380 CPUtime=0 /proc/4000/stat : 4000 (sh) S 3997 3997 3447 769 3447 4194304 443 0 0 0 0 0 0 0 22 0 1 0 526280583 2437120 251 1283457024 134512640 135191968 4293312848 18446744073709551615 4158695838 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4000/statm: 595 251 214 166 0 27 0 [pid=4001] ppid=4000 vsize=6708 CPUtime=101.64 /proc/4001/stat : 4001 (bingo) R 4000 3997 3447 769 3447 4202496 1599 0 20 0 10164 0 0 0 25 0 1 0 526280584 6868992 1179 1283457024 134512640 136195415 4293526512 18446744073709551615 135604580 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/4001/statm: 1677 1179 220 411 0 1264 0 [pid=4002] ppid=4000 vsize=3560 CPUtime=0 /proc/4002/stat : 4002 (clasp) S 4000 3997 3447 769 3447 4202496 691 0 16 0 0 0 0 0 18 0 1 0 526280584 3645440 614 1283457024 134512640 136080129 4288845472 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/4002/statm: 890 614 147 383 0 505 0 Current children cumulated CPU time (s) 101.89 Current children cumulated vsize (KiB) 17356 [startup+162.308 s] /proc/loadavg: 0.99 0.96 0.91 2/41 4002 /proc/meminfo: memFree=930520/1048576 swapFree=2091896/2097144 [pid=3997] ppid=3996 vsize=4708 CPUtime=0.25 /proc/3997/stat : 3997 (python) S 3996 3997 3447 769 3447 4202496 1217 1274 1 19 1 1 21 2 22 0 1 0 526280545 4820992 837 1283457024 134512640 135539072 4290739984 18446744073709551615 4159792046 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3997/statm: 1177 837 402 251 0 435 0 [pid=4000] ppid=3997 vsize=2380 CPUtime=0 /proc/4000/stat : 4000 (sh) S 3997 3997 3447 769 3447 4194304 443 0 0 0 0 0 0 0 22 0 1 0 526280583 2437120 251 1283457024 134512640 135191968 4293312848 18446744073709551615 4158695838 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4000/statm: 595 251 214 166 0 27 0 [pid=4001] ppid=4000 vsize=6708 CPUtime=161.65 /proc/4001/stat : 4001 (bingo) R 4000 3997 3447 769 3447 4202496 1599 0 20 0 16165 0 0 0 25 0 1 0 526280584 6868992 1179 1283457024 134512640 136195415 4293526512 18446744073709551615 135604601 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/4001/statm: 1677 1179 220 411 0 1264 0 [pid=4002] ppid=4000 vsize=3560 CPUtime=0 /proc/4002/stat : 4002 (clasp) S 4000 3997 3447 769 3447 4202496 691 0 16 0 0 0 0 0 18 0 1 0 526280584 3645440 614 1283457024 134512640 136080129 4288845472 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/4002/statm: 890 614 147 383 0 505 0 Current children cumulated CPU time (s) 161.9 Current children cumulated vsize (KiB) 17356 [startup+222.306 s] /proc/loadavg: 0.99 0.96 0.91 2/41 4002 /proc/meminfo: memFree=930520/1048576 swapFree=2091896/2097144 [pid=3997] ppid=3996 vsize=4708 CPUtime=0.25 /proc/3997/stat : 3997 (python) S 3996 3997 3447 769 3447 4202496 1217 1274 1 19 1 1 21 2 22 0 1 0 526280545 4820992 837 1283457024 134512640 135539072 4290739984 18446744073709551615 4159792046 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3997/statm: 1177 837 402 251 0 435 0 [pid=4000] ppid=3997 vsize=2380 CPUtime=0 /proc/4000/stat : 4000 (sh) S 3997 3997 3447 769 3447 4194304 443 0 0 0 0 0 0 0 22 0 1 0 526280583 2437120 251 1283457024 134512640 135191968 4293312848 18446744073709551615 4158695838 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4000/statm: 595 251 214 166 0 27 0 [pid=4001] ppid=4000 vsize=6708 CPUtime=221.6 /proc/4001/stat : 4001 (bingo) R 4000 3997 3447 769 3447 4202496 1600 0 20 0 22158 2 0 0 25 0 1 0 526280584 6868992 1180 1283457024 134512640 136195415 4293526512 18446744073709551615 135604611 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/4001/statm: 1677 1180 220 411 0 1264 0 [pid=4002] ppid=4000 vsize=3560 CPUtime=0 /proc/4002/stat : 4002 (clasp) S 4000 3997 3447 769 3447 4202496 691 0 16 0 0 0 0 0 18 0 1 0 526280584 3645440 614 1283457024 134512640 136080129 4288845472 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/4002/statm: 890 614 147 383 0 505 0 Current children cumulated CPU time (s) 221.85 Current children cumulated vsize (KiB) 17356 [startup+282.311 s] /proc/loadavg: 0.99 0.97 0.91 2/40 4002 /proc/meminfo: memFree=931776/1048576 swapFree=2091896/2097144 [pid=3997] ppid=3996 vsize=4708 CPUtime=0.25 /proc/3997/stat : 3997 (python) S 3996 3997 3447 769 3447 4202496 1217 1274 1 19 1 1 21 2 22 0 1 0 526280545 4820992 837 1283457024 134512640 135539072 4290739984 18446744073709551615 4159792046 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3997/statm: 1177 837 402 251 0 435 0 [pid=4000] ppid=3997 vsize=2380 CPUtime=0 /proc/4000/stat : 4000 (sh) S 3997 3997 3447 769 3447 4194304 443 701 0 16 0 0 0 0 18 0 1 0 526280583 2437120 251 1283457024 134512640 135191968 4293312848 18446744073709551615 4158695838 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4000/statm: 595 251 214 166 0 27 0 [pid=4001] ppid=4000 vsize=6708 CPUtime=281.6 /proc/4001/stat : 4001 (bingo) R 4000 3997 3447 769 3447 4202496 1600 0 20 0 28158 2 0 0 25 0 1 0 526280584 6868992 1180 1283457024 134512640 136195415 4293526512 18446744073709551615 135604611 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/4001/statm: 1677 1180 220 411 0 1264 0 Current children cumulated CPU time (s) 281.85 Current children cumulated vsize (KiB) 13796 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+290.513 s] /proc/loadavg: 0.99 0.97 0.91 2/40 4002 /proc/meminfo: memFree=931776/1048576 swapFree=2091896/2097144 [pid=3997] ppid=3996 vsize=4708 CPUtime=0.25 /proc/3997/stat : 3997 (python) S 3996 3997 3447 769 3447 4202496 1217 1274 1 19 1 1 21 2 22 0 1 0 526280545 4820992 837 1283457024 134512640 135539072 4290739984 18446744073709551615 4159792046 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3997/statm: 1177 837 402 251 0 435 0 [pid=4000] ppid=3997 vsize=2380 CPUtime=0 /proc/4000/stat : 4000 (sh) S 3997 3997 3447 769 3447 4194304 443 701 0 16 0 0 0 0 18 0 1 0 526280583 2437120 251 1283457024 134512640 135191968 4293312848 18446744073709551615 4158695838 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4000/statm: 595 251 214 166 0 27 0 [pid=4001] ppid=4000 vsize=6708 CPUtime=289.81 /proc/4001/stat : 4001 (bingo) R 4000 3997 3447 769 3447 4202496 1600 0 20 0 28979 2 0 0 25 0 1 0 526280584 6868992 1180 1283457024 134512640 136195415 4293526512 18446744073709551615 135604636 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/4001/statm: 1677 1180 220 411 0 1264 0 Current children cumulated CPU time (s) 290.06 Current children cumulated vsize (KiB) 13796 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 10 (SIGUSR1) Real time (s): 290.534 CPU time (s): 290.078 CPU user time (s): 290.018 CPU system time (s): 0.060003 CPU usage (%): 99.843 Max. virtual memory (cumulated for all children) (KiB): 17356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 290.018 system time used= 0.060003 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5324 page faults= 56 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 95 involuntary context switches= 3535 runsolver used 0 second user time and 0.004 second system time The end