runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736006-1338728864/watcher-3736006-1338728864 -o /tmp/evaluation-result-3736006-1338728864/solver-3736006-1338728864 -C 1800 -W 1900 -M 15500 pbclasp instance-3736006-1338728864.opb HOME/temp
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 30056
/proc/meminfo: memFree=28147288/32873648 swapFree=7116/7116
[pid=30056] ppid=30054 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/30056/stat : 30056 (pbclasp) R 30054 30056 8320 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 339011854 26206208 478 33554432000 4194304 4198148 140734713587984 140734713585432 260189949844 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/30056/statm: 6398 479 355 1 0 193 0
[startup+0.0088571 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 30056
/proc/meminfo: memFree=28147288/32873648 swapFree=7116/7116
[pid=30056] ppid=30054 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/30056/stat : 30056 (pbclasp) R 30054 30056 8320 0 -1 4202496 615 0 0 0 0 0 0 0 20 0 1 0 339011854 26492928 546 33554432000 4194304 4198148 140734713587984 140734713585432 260189949844 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/30056/statm: 6468 547 361 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.100212 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 30056
/proc/meminfo: memFree=28147288/32873648 swapFree=7116/7116
[pid=30056] ppid=30054 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/30056/stat : 30056 (pbclasp) S 30054 30056 8320 0 -1 4202496 667 0 0 0 0 0 0 0 20 0 1 0 339011854 26628096 580 33554432000 4194304 4198148 140734713587984 140734713586872 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30056/statm: 6501 580 368 1 0 296 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26004
[startup+0.300222 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 30056
/proc/meminfo: memFree=28147288/32873648 swapFree=7116/7116
[pid=30056] ppid=30054 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/30056/stat : 30056 (pbclasp) S 30054 30056 8320 0 -1 4202496 667 0 0 0 0 0 0 0 20 0 1 0 339011854 26628096 580 33554432000 4194304 4198148 140734713587984 140734713586872 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30056/statm: 6501 580 368 1 0 296 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26004
[startup+0.700179 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 30056
/proc/meminfo: memFree=28147288/32873648 swapFree=7116/7116
[pid=30056] ppid=30054 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/30056/stat : 30056 (pbclasp) S 30054 30056 8320 0 -1 4202496 667 0 0 0 0 0 0 0 20 0 1 0 339011854 26628096 580 33554432000 4194304 4198148 140734713587984 140734713586872 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30056/statm: 6501 580 368 1 0 296 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26004
[startup+1.5002 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 30066
/proc/meminfo: memFree=28134460/32873648 swapFree=7116/7116
[pid=30056] ppid=30054 vsize=26004 CPUtime=0.71 cores=0,2,4,6
/proc/30056/stat : 30056 (pbclasp) S 30054 30056 8320 0 -1 4202496 775 2135 0 0 0 0 71 0 20 0 1 0 339011854 26628096 613 33554432000 4194304 4198148 140734713587984 140734713586912 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30056/statm: 6501 613 387 1 0 296 0
[pid=30064] ppid=30056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30064/stat : 30064 (sh) S 30056 30056 8320 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339011928 9367552 264 33554432000 4194304 5064252 140736530892320 140736530890576 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30064/statm: 2287 264 223 213 0 72 0
[pid=30066] ppid=30064 vsize=13928 CPUtime=0.75 cores=0,2,4,6
/proc/30066/stat : 30066 (clasp-1.0) R 30064 30056 8320 0 -1 4202496 3160 0 0 0 75 0 0 0 20 0 1 0 339011928 14262272 2937 33554432000 134512640 134847168 4288628256 4288627024 134617539 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30066/statm: 3482 2937 272 82 0 2723 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 49080
[startup+3.10025 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 30066
/proc/meminfo: memFree=28133688/32873648 swapFree=7116/7116
[pid=30056] ppid=30054 vsize=26004 CPUtime=0.71 cores=0,2,4,6
/proc/30056/stat : 30056 (pbclasp) S 30054 30056 8320 0 -1 4202496 775 2135 0 0 0 0 71 0 20 0 1 0 339011854 26628096 613 33554432000 4194304 4198148 140734713587984 140734713586912 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30056/statm: 6501 613 387 1 0 296 0
[pid=30064] ppid=30056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30064/stat : 30064 (sh) S 30056 30056 8320 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339011928 9367552 264 33554432000 4194304 5064252 140736530892320 140736530890576 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30064/statm: 2287 264 223 213 0 72 0
[pid=30066] ppid=30064 vsize=13928 CPUtime=2.35 cores=0,2,4,6
/proc/30066/stat : 30066 (clasp-1.0) R 30064 30056 8320 0 -1 4202496 3161 0 0 0 235 0 0 0 20 0 1 0 339011928 14262272 2938 33554432000 134512640 134847168 4288628256 4288626832 134714864 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30066/statm: 3482 2938 272 82 0 2723 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 49080
[startup+6.30026 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 30066
/proc/meminfo: memFree=28133720/32873648 swapFree=7116/7116
[pid=30056] ppid=30054 vsize=26004 CPUtime=0.71 cores=0,2,4,6
/proc/30056/stat : 30056 (pbclasp) S 30054 30056 8320 0 -1 4202496 775 2135 0 0 0 0 71 0 20 0 1 0 339011854 26628096 613 33554432000 4194304 4198148 140734713587984 140734713586912 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30056/statm: 6501 613 387 1 0 296 0
[pid=30064] ppid=30056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30064/stat : 30064 (sh) S 30056 30056 8320 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339011928 9367552 264 33554432000 4194304 5064252 140736530892320 140736530890576 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30064/statm: 2287 264 223 213 0 72 0
[pid=30066] ppid=30064 vsize=13928 CPUtime=5.55 cores=0,2,4,6
/proc/30066/stat : 30066 (clasp-1.0) R 30064 30056 8320 0 -1 4202496 3171 0 0 0 555 0 0 0 20 0 1 0 339011928 14262272 2948 33554432000 134512640 134847168 4288628256 4288626880 134784714 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30066/statm: 3482 2948 272 82 0 2723 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 49080
[startup+12.7003 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 30066
/proc/meminfo: memFree=28130780/32873648 swapFree=7116/7116
[pid=30056] ppid=30054 vsize=26004 CPUtime=0.71 cores=0,2,4,6
/proc/30056/stat : 30056 (pbclasp) S 30054 30056 8320 0 -1 4202496 775 2135 0 0 0 0 71 0 20 0 1 0 339011854 26628096 613 33554432000 4194304 4198148 140734713587984 140734713586912 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30056/statm: 6501 613 387 1 0 296 0
[pid=30064] ppid=30056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30064/stat : 30064 (sh) S 30056 30056 8320 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339011928 9367552 264 33554432000 4194304 5064252 140736530892320 140736530890576 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30064/statm: 2287 264 223 213 0 72 0
[pid=30066] ppid=30064 vsize=16500 CPUtime=11.95 cores=0,2,4,6
/proc/30066/stat : 30066 (clasp-1.0) R 30064 30056 8320 0 -1 4202496 3808 0 0 0 1195 0 0 0 20 0 1 0 339011928 16896000 3585 33554432000 134512640 134847168 4288628256 4288626832 134714694 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30066/statm: 4125 3585 272 82 0 3366 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 51652
[startup+25.5003 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 30066
/proc/meminfo: memFree=28126624/32873648 swapFree=7116/7116
[pid=30056] ppid=30054 vsize=26004 CPUtime=0.71 cores=0,2,4,6
/proc/30056/stat : 30056 (pbclasp) S 30054 30056 8320 0 -1 4202496 775 2135 0 0 0 0 71 0 20 0 1 0 339011854 26628096 613 33554432000 4194304 4198148 140734713587984 140734713586912 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30056/statm: 6501 613 387 1 0 296 0
[pid=30064] ppid=30056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30064/stat : 30064 (sh) S 30056 30056 8320 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339011928 9367552 264 33554432000 4194304 5064252 140736530892320 140736530890576 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30064/statm: 2287 264 223 213 0 72 0
[pid=30066] ppid=30064 vsize=19000 CPUtime=24.74 cores=0,2,4,6
/proc/30066/stat : 30066 (clasp-1.0) R 30064 30056 8320 0 -1 4202496 4441 0 0 0 2474 0 0 0 20 0 1 0 339011928 19456000 4218 33554432000 134512640 134847168 4288628256 4288626960 134616608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30066/statm: 4750 4218 272 82 0 3991 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 54152
[startup+51.1003 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 30066
/proc/meminfo: memFree=28115316/32873648 swapFree=7116/7116
[pid=30056] ppid=30054 vsize=26004 CPUtime=0.71 cores=0,2,4,6
/proc/30056/stat : 30056 (pbclasp) S 30054 30056 8320 0 -1 4202496 775 2135 0 0 0 0 71 0 20 0 1 0 339011854 26628096 613 33554432000 4194304 4198148 140734713587984 140734713586912 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30056/statm: 6501 613 387 1 0 296 0
[pid=30064] ppid=30056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30064/stat : 30064 (sh) S 30056 30056 8320 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339011928 9367552 264 33554432000 4194304 5064252 140736530892320 140736530890576 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30064/statm: 2287 264 223 213 0 72 0
[pid=30066] ppid=30064 vsize=23784 CPUtime=50.33 cores=0,2,4,6
/proc/30066/stat : 30066 (clasp-1.0) R 30064 30056 8320 0 -1 4202496 5608 0 0 0 5032 1 0 0 20 0 1 0 339011928 24354816 5387 33554432000 134512640 134847168 4288628256 4288626880 134784657 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30066/statm: 5946 5387 272 82 0 5187 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 58936
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 30067
/proc/meminfo: memFree=28097808/32873648 swapFree=7116/7116
[pid=30056] ppid=30054 vsize=26004 CPUtime=0.71 cores=0,2,4,6
/proc/30056/stat : 30056 (pbclasp) S 30054 30056 8320 0 -1 4202496 775 2135 0 0 0 0 71 0 20 0 1 0 339011854 26628096 613 33554432000 4194304 4198148 140734713587984 140734713586912 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30056/statm: 6501 613 387 1 0 296 0
[pid=30064] ppid=30056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30064/stat : 30064 (sh) S 30056 30056 8320 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339011928 9367552 264 33554432000 4194304 5064252 140736530892320 140736530890576 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30064/statm: 2287 264 223 213 0 72 0
[pid=30066] ppid=30064 vsize=32676 CPUtime=101.53 cores=0,2,4,6
/proc/30066/stat : 30066 (clasp-1.0) R 30064 30056 8320 0 -1 4202496 7686 0 0 0 10151 2 0 0 20 0 1 0 339011928 33460224 7548 33554432000 134512640 134847168 4288628256 4288626880 134784608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30066/statm: 8169 7548 272 82 0 7410 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 67828
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 30070
/proc/meminfo: memFree=28084968/32873648 swapFree=7116/7116
[pid=30056] ppid=30054 vsize=26004 CPUtime=0.71 cores=0,2,4,6
/proc/30056/stat : 30056 (pbclasp) S 30054 30056 8320 0 -1 4202496 775 2135 0 0 0 0 71 0 20 0 1 0 339011854 26628096 613 33554432000 4194304 4198148 140734713587984 140734713586912 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30056/statm: 6501 613 387 1 0 296 0
[pid=30064] ppid=30056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30064/stat : 30064 (sh) S 30056 30056 8320 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339011928 9367552 264 33554432000 4194304 5064252 140736530892320 140736530890576 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30064/statm: 2287 264 223 213 0 72 0
[pid=30066] ppid=30064 vsize=40100 CPUtime=161.51 cores=0,2,4,6
/proc/30066/stat : 30066 (clasp-1.0) R 30064 30056 8320 0 -1 4202496 9526 0 0 0 16149 2 0 0 20 0 1 0 339011928 41062400 9388 33554432000 134512640 134847168 4288628256 4288626960 134616639 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30066/statm: 10025 9388 272 82 0 9266 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 75252
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30070
/proc/meminfo: memFree=28083384/32873648 swapFree=7116/7116
[pid=30056] ppid=30054 vsize=26004 CPUtime=0.71 cores=0,2,4,6
/proc/30056/stat : 30056 (pbclasp) S 30054 30056 8320 0 -1 4202496 775 2135 0 0 0 0 71 0 20 0 1 0 339011854 26628096 613 33554432000 4194304 4198148 140734713587984 140734713586912 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30056/statm: 6501 613 387 1 0 296 0
[pid=30064] ppid=30056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30064/stat : 30064 (sh) S 30056 30056 8320 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339011928 9367552 264 33554432000 4194304 5064252 140736530892320 140736530890576 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30064/statm: 2287 264 223 213 0 72 0
[pid=30066] ppid=30064 vsize=41236 CPUtime=221.5 cores=0,2,4,6
/proc/30066/stat : 30066 (clasp-1.0) R 30064 30056 8320 0 -1 4202496 9742 0 0 0 22148 2 0 0 20 0 1 0 339011928 42225664 9687 33554432000 134512640 134847168 4288628256 4288626880 134784711 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30066/statm: 10309 9687 272 82 0 9550 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 76388
[startup+282.3 s]
################
# More data... #
################
/proc/30064/stat : 30064 (sh) S 30056 30056 8320 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339011928 9367552 264 33554432000 4194304 5064252 140736530892320 140736530890576 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30064/statm: 2287 264 223 213 0 72 0
[pid=30066] ppid=30064 vsize=67892 CPUtime=1481.29 cores=0,2,4,6
/proc/30066/stat : 30066 (clasp-1.0) R 30064 30056 8320 0 -1 4202496 16079 0 0 0 148125 4 0 0 20 0 1 0 339011928 69521408 16181 33554432000 134512640 134847168 4288628256 4288626880 134784617 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30066/statm: 16973 16181 272 82 0 16214 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 103044
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30081
/proc/meminfo: memFree=27985960/32873648 swapFree=7116/7116
[pid=30056] ppid=30054 vsize=26004 CPUtime=0.71 cores=0,2,4,6
/proc/30056/stat : 30056 (pbclasp) S 30054 30056 8320 0 -1 4202496 775 2135 0 0 0 0 71 0 20 0 1 0 339011854 26628096 613 33554432000 4194304 4198148 140734713587984 140734713586912 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30056/statm: 6501 613 387 1 0 296 0
[pid=30064] ppid=30056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30064/stat : 30064 (sh) S 30056 30056 8320 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339011928 9367552 264 33554432000 4194304 5064252 140736530892320 140736530890576 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30064/statm: 2287 264 223 213 0 72 0
[pid=30066] ppid=30064 vsize=71276 CPUtime=1541.29 cores=0,2,4,6
/proc/30066/stat : 30066 (clasp-1.0) R 30064 30056 8320 0 -1 4202496 16932 0 0 0 154124 5 0 0 20 0 1 0 339011928 72986624 17034 33554432000 134512640 134847168 4288628256 4288627012 134737608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30066/statm: 17819 17034 272 82 0 17060 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 106428
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30082
/proc/meminfo: memFree=27978276/32873648 swapFree=7116/7116
[pid=30056] ppid=30054 vsize=26004 CPUtime=0.71 cores=0,2,4,6
/proc/30056/stat : 30056 (pbclasp) S 30054 30056 8320 0 -1 4202496 775 2135 0 0 0 0 71 0 20 0 1 0 339011854 26628096 613 33554432000 4194304 4198148 140734713587984 140734713586912 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30056/statm: 6501 613 387 1 0 296 0
[pid=30064] ppid=30056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30064/stat : 30064 (sh) S 30056 30056 8320 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339011928 9367552 264 33554432000 4194304 5064252 140736530892320 140736530890576 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30064/statm: 2287 264 223 213 0 72 0
[pid=30066] ppid=30064 vsize=77748 CPUtime=1601.27 cores=0,2,4,6
/proc/30066/stat : 30066 (clasp-1.0) R 30064 30056 8320 0 -1 4202496 18524 0 0 0 160122 5 0 0 20 0 1 0 339011928 79613952 18626 33554432000 134512640 134847168 4288628256 4288626948 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30066/statm: 19437 18626 272 82 0 18678 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 112900
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30082
/proc/meminfo: memFree=27975228/32873648 swapFree=7116/7116
[pid=30056] ppid=30054 vsize=26004 CPUtime=0.71 cores=0,2,4,6
/proc/30056/stat : 30056 (pbclasp) S 30054 30056 8320 0 -1 4202496 775 2135 0 0 0 0 71 0 20 0 1 0 339011854 26628096 613 33554432000 4194304 4198148 140734713587984 140734713586912 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30056/statm: 6501 613 387 1 0 296 0
[pid=30064] ppid=30056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30064/stat : 30064 (sh) S 30056 30056 8320 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339011928 9367552 264 33554432000 4194304 5064252 140736530892320 140736530890576 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30064/statm: 2287 264 223 213 0 72 0
[pid=30066] ppid=30064 vsize=79664 CPUtime=1661.26 cores=0,2,4,6
/proc/30066/stat : 30066 (clasp-1.0) R 30064 30056 8320 0 -1 4202496 18973 0 0 0 166121 5 0 0 20 0 1 0 339011928 81575936 19150 33554432000 134512640 134847168 4288628256 4288627024 134737260 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30066/statm: 19916 19150 272 82 0 19157 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 114816
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30082
/proc/meminfo: memFree=27975480/32873648 swapFree=7116/7116
[pid=30056] ppid=30054 vsize=26004 CPUtime=0.71 cores=0,2,4,6
/proc/30056/stat : 30056 (pbclasp) S 30054 30056 8320 0 -1 4202496 775 2135 0 0 0 0 71 0 20 0 1 0 339011854 26628096 613 33554432000 4194304 4198148 140734713587984 140734713586912 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30056/statm: 6501 613 387 1 0 296 0
[pid=30064] ppid=30056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30064/stat : 30064 (sh) S 30056 30056 8320 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339011928 9367552 264 33554432000 4194304 5064252 140736530892320 140736530890576 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30064/statm: 2287 264 223 213 0 72 0
[pid=30066] ppid=30064 vsize=79664 CPUtime=1721.25 cores=0,2,4,6
/proc/30066/stat : 30066 (clasp-1.0) R 30064 30056 8320 0 -1 4202496 18973 0 0 0 172120 5 0 0 20 0 1 0 339011928 81575936 19150 33554432000 134512640 134847168 4288628256 4288626948 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30066/statm: 19916 19150 272 82 0 19157 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 114816
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 30166
/proc/meminfo: memFree=28113272/32873648 swapFree=7116/7116
[pid=30056] ppid=30054 vsize=26004 CPUtime=1729.22 cores=0,2,4,6
/proc/30056/stat : 30056 (pbclasp) S 30054 30056 8320 0 -1 4202496 880 23041 0 0 0 0 172915 7 20 0 1 0 339011854 26628096 613 33554432000 4194304 4198148 140734713587984 140734713586912 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30056/statm: 6501 613 387 1 0 296 0
[pid=30099] ppid=30056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30099/stat : 30099 (sh) S 30056 30056 8320 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339184808 9367552 264 33554432000 4194304 5064252 140736405181552 140736405179808 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30099/statm: 2287 264 223 213 0 72 0
[pid=30101] ppid=30099 vsize=24116 CPUtime=52.73 cores=0,2,4,6
/proc/30101/stat : 30101 (clasp-1.0) R 30099 30056 8320 0 -1 4202496 5674 0 0 0 5272 1 0 0 20 0 1 0 339184808 24694784 5454 33554432000 134512640 134847168 4294241456 4294240148 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30101/statm: 6029 5454 270 82 0 5270 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 59268
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 30166
/proc/meminfo: memFree=28110792/32873648 swapFree=7116/7116
[pid=30056] ppid=30054 vsize=26004 CPUtime=1729.22 cores=0,2,4,6
/proc/30056/stat : 30056 (pbclasp) S 30054 30056 8320 0 -1 4202496 880 23041 0 0 0 0 172915 7 20 0 1 0 339011854 26628096 613 33554432000 4194304 4198148 140734713587984 140734713586912 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30056/statm: 6501 613 387 1 0 296 0
[pid=30099] ppid=30056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30099/stat : 30099 (sh) S 30056 30056 8320 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339184808 9367552 264 33554432000 4194304 5064252 140736405181552 140736405179808 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30099/statm: 2287 264 223 213 0 72 0
[pid=30101] ppid=30099 vsize=26648 CPUtime=70.83 cores=0,2,4,6
/proc/30101/stat : 30101 (clasp-1.0) R 30099 30056 8320 0 -1 4202496 6296 0 0 0 7082 1 0 0 20 0 1 0 339184808 27287552 6076 33554432000 134512640 134847168 4294241456 4294240224 134737644 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30101/statm: 6662 6076 270 82 0 5903 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 61800
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -30056
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 30185
/proc/meminfo: memFree=28138036/32873648 swapFree=7116/7116
[pid=30056] ppid=30054 vsize=26004 CPUtime=1800.08 cores=0,2,4,6
/proc/30056/stat : 30056 (pbclasp) S 30054 30056 8320 0 -1 4202496 1054 32107 0 0 0 0 179998 10 20 0 1 0 339011854 26628096 615 33554432000 4194304 4198148 140734713587984 140734713586912 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30056/statm: 6501 615 387 1 0 296 0
[pid=30175] ppid=30056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30175/stat : 30175 (sh) S 30056 30056 8320 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339191896 9367552 264 33554432000 4194304 5064252 140735844788672 140735844786928 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30175/statm: 2287 264 223 213 0 72 0
[pid=30177] ppid=30175 vsize=13928 CPUtime=1.06 cores=0,2,4,6
/proc/30177/stat : 30177 (clasp-1.0) R 30175 30056 8320 0 -1 4202496 3157 0 0 0 106 0 0 0 20 0 1 0 339191896 14262272 2935 33554432000 134512640 134847168 4289530768 4289529536 134617496 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30177/statm: 3482 2935 270 82 0 2723 0
Current children cumulated CPU time (s) 1801.14
Current children cumulated vsize (KiB) 49080
[startup+1801.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 30185
/proc/meminfo: memFree=28122560/32873648 swapFree=7116/7116
[pid=30056] ppid=30054 vsize=26004 CPUtime=1800.08 cores=0,2,4,6
/proc/30056/stat : 30056 (pbclasp) S 30054 30056 8320 0 -1 4202496 1054 32107 0 0 0 0 179998 10 20 0 1 0 339011854 26628096 615 33554432000 4194304 4198148 140734713587984 140734713586912 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30056/statm: 6501 615 387 1 0 296 0
[pid=30175] ppid=30056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30175/stat : 30175 (sh) S 30056 30056 8320 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339191896 9367552 264 33554432000 4194304 5064252 140735844788672 140735844786928 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30175/statm: 2287 264 223 213 0 72 0
[pid=30177] ppid=30175 vsize=13928 CPUtime=1.47 cores=0,2,4,6
/proc/30177/stat : 30177 (clasp-1.0) R 30175 30056 8320 0 -1 4202496 3158 0 0 0 147 0 0 0 20 0 1 0 339191896 14262272 2936 33554432000 134512640 134847168 4289530768 4289529392 134784667 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30177/statm: 3482 2936 270 82 0 2723 0
Current children cumulated CPU time (s) 1801.55
Current children cumulated vsize (KiB) 49080
[startup+1802.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 30185
/proc/meminfo: memFree=28122560/32873648 swapFree=7116/7116
[pid=30056] ppid=30054 vsize=26004 CPUtime=1800.08 cores=0,2,4,6
/proc/30056/stat : 30056 (pbclasp) S 30054 30056 8320 0 -1 4202496 1054 32107 0 0 0 0 179998 10 20 0 1 0 339011854 26628096 615 33554432000 4194304 4198148 140734713587984 140734713586912 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30056/statm: 6501 615 387 1 0 296 0
[pid=30175] ppid=30056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30175/stat : 30175 (sh) S 30056 30056 8320 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339191896 9367552 264 33554432000 4194304 5064252 140735844788672 140735844786928 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30175/statm: 2287 264 223 213 0 72 0
[pid=30177] ppid=30175 vsize=13928 CPUtime=1.86 cores=0,2,4,6
/proc/30177/stat : 30177 (clasp-1.0) R 30175 30056 8320 0 -1 4202496 3158 0 0 0 186 0 0 0 20 0 1 0 339191896 14262272 2936 33554432000 134512640 134847168 4289530768 4289529392 134784663 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30177/statm: 3482 2936 270 82 0 2723 0
Current children cumulated CPU time (s) 1801.94
Current children cumulated vsize (KiB) 49080
[startup+1802.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 30185
/proc/meminfo: memFree=28122560/32873648 swapFree=7116/7116
[pid=30056] ppid=30054 vsize=26004 CPUtime=1800.08 cores=0,2,4,6
/proc/30056/stat : 30056 (pbclasp) S 30054 30056 8320 0 -1 4202496 1054 32107 0 0 0 0 179998 10 20 0 1 0 339011854 26628096 615 33554432000 4194304 4198148 140734713587984 140734713586912 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30056/statm: 6501 615 387 1 0 296 0
[pid=30175] ppid=30056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30175/stat : 30175 (sh) S 30056 30056 8320 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339191896 9367552 264 33554432000 4194304 5064252 140735844788672 140735844786928 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30175/statm: 2287 264 223 213 0 72 0
[pid=30177] ppid=30175 vsize=13928 CPUtime=1.96 cores=0,2,4,6
/proc/30177/stat : 30177 (clasp-1.0) R 30175 30056 8320 0 -1 4202496 3158 0 0 0 196 0 0 0 20 0 1 0 339191896 14262272 2936 33554432000 134512640 134847168 4289530768 4289529524 134737606 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30177/statm: 3482 2936 270 82 0 2723 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 49080
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.1
CPU user time (s): 1801.98
CPU system time (s): 0.119981
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 114816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.98
system time used= 0.119981
maximum resident set size= 76600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37102
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 642
involuntary context switches= 2134
runsolver used 2.75658 second user time and 7.08492 second system time
The end