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-3732295-1338705338/watcher-3732295-1338705338 -o /tmp/evaluation-result-3732295-1338705338/solver-3732295-1338705338 -C 1800 -W 1900 -M 15500 pbclasp instance-3732295-1338705338.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.00 2.02 2.00 3/176 31684
/proc/meminfo: memFree=29028336/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) R 31682 31684 22814 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 336662222 26071040 447 33554432000 4194304 4198148 140733197734400 140733197731848 226329333652 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6365 448 345 1 0 160 0
[startup+0.0388729 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 31684
/proc/meminfo: memFree=29028336/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=26000 CPUtime=0.02 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) S 31682 31684 22814 0 -1 4202496 686 0 0 0 2 0 0 0 20 0 1 0 336662222 26624000 601 33554432000 4194304 4198148 140733197734400 140733197733288 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6500 601 368 1 0 295 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26000
[startup+0.100266 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 31684
/proc/meminfo: memFree=29028336/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=26000 CPUtime=0.02 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) S 31682 31684 22814 0 -1 4202496 686 0 0 0 2 0 0 0 20 0 1 0 336662222 26624000 601 33554432000 4194304 4198148 140733197734400 140733197733288 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6500 601 368 1 0 295 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26000
[startup+0.300178 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 31684
/proc/meminfo: memFree=29028336/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=26132 CPUtime=0.25 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) S 31682 31684 22814 0 -1 4202496 979 4839 0 0 2 0 22 1 20 0 1 0 336662222 26759168 656 33554432000 4194304 4198148 140733197734400 140733197733328 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6533 656 387 1 0 328 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 26132
[startup+0.700179 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 31684
/proc/meminfo: memFree=29028336/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=26132 CPUtime=0.47 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) S 31682 31684 22814 0 -1 4202496 1120 7640 0 0 2 0 44 1 20 0 1 0 336662222 26759168 656 33554432000 4194304 4198148 140733197734400 140733197733328 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6533 656 387 1 0 328 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 26132
[startup+1.50025 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 31718
/proc/meminfo: memFree=29024916/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=26132 CPUtime=0.84 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) S 31682 31684 22814 0 -1 4202496 1252 10570 0 0 2 0 80 2 20 0 1 0 336662222 26759168 656 33554432000 4194304 4198148 140733197734400 140733197733328 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6533 656 387 1 0 328 0
[pid=31716] ppid=31684 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31716/stat : 31716 (sh) S 31684 31684 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336662310 9367552 264 33554432000 4194304 5064252 140734576471648 140734576469904 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31716/statm: 2287 264 223 213 0 72 0
[pid=31718] ppid=31716 vsize=5252 CPUtime=0.61 cores=0,2,4,6
/proc/31718/stat : 31718 (clasp-1.0) R 31716 31684 22814 0 -1 4202496 915 0 0 0 61 0 0 0 20 0 1 0 336662310 5378048 813 33554432000 134512640 134847168 4288883920 4288882544 134784657 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31718/statm: 1313 813 272 82 0 554 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 40532
[startup+3.10025 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 31718
/proc/meminfo: memFree=29023800/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=26132 CPUtime=0.84 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) S 31682 31684 22814 0 -1 4202496 1252 10570 0 0 2 0 80 2 20 0 1 0 336662222 26759168 656 33554432000 4194304 4198148 140733197734400 140733197733328 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6533 656 387 1 0 328 0
[pid=31716] ppid=31684 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31716/stat : 31716 (sh) S 31684 31684 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336662310 9367552 264 33554432000 4194304 5064252 140734576471648 140734576469904 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31716/statm: 2287 264 223 213 0 72 0
[pid=31718] ppid=31716 vsize=6136 CPUtime=2.21 cores=0,2,4,6
/proc/31718/stat : 31718 (clasp-1.0) R 31716 31684 22814 0 -1 4202496 1111 0 0 0 221 0 0 0 20 0 1 0 336662310 6283264 1009 33554432000 134512640 134847168 4288883920 4288882560 134783017 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31718/statm: 1534 1009 272 82 0 775 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 41416
[startup+6.30025 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 31718
/proc/meminfo: memFree=29020848/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=26132 CPUtime=0.84 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) S 31682 31684 22814 0 -1 4202496 1252 10570 0 0 2 0 80 2 20 0 1 0 336662222 26759168 656 33554432000 4194304 4198148 140733197734400 140733197733328 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6533 656 387 1 0 328 0
[pid=31716] ppid=31684 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31716/stat : 31716 (sh) S 31684 31684 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336662310 9367552 264 33554432000 4194304 5064252 140734576471648 140734576469904 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31716/statm: 2287 264 223 213 0 72 0
[pid=31718] ppid=31716 vsize=7432 CPUtime=5.41 cores=0,2,4,6
/proc/31718/stat : 31718 (clasp-1.0) R 31716 31684 22814 0 -1 4202496 1448 0 0 0 541 0 0 0 20 0 1 0 336662310 7610368 1346 33554432000 134512640 134847168 4288883920 4288882604 134789696 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31718/statm: 1858 1346 272 82 0 1099 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 42712
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 31718
/proc/meminfo: memFree=29019532/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=26132 CPUtime=0.84 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) S 31682 31684 22814 0 -1 4202496 1252 10570 0 0 2 0 80 2 20 0 1 0 336662222 26759168 656 33554432000 4194304 4198148 140733197734400 140733197733328 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6533 656 387 1 0 328 0
[pid=31716] ppid=31684 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31716/stat : 31716 (sh) S 31684 31684 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336662310 9367552 264 33554432000 4194304 5064252 140734576471648 140734576469904 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31716/statm: 2287 264 223 213 0 72 0
[pid=31718] ppid=31716 vsize=8216 CPUtime=11.81 cores=0,2,4,6
/proc/31718/stat : 31718 (clasp-1.0) R 31716 31684 22814 0 -1 4202496 1629 0 0 0 1181 0 0 0 20 0 1 0 336662310 8413184 1527 33554432000 134512640 134847168 4288883920 4288882604 134789696 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2054 1527 272 82 0 1295 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 43496
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 31742
/proc/meminfo: memFree=29020280/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=26132 CPUtime=23 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) S 31682 31684 22814 0 -1 4202496 1632 20614 0 0 3 0 2292 5 20 0 1 0 336662222 26759168 656 33554432000 4194304 4198148 140733197734400 140733197733328 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6533 656 387 1 0 328 0
[pid=31740] ppid=31684 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31740/stat : 31740 (sh) S 31684 31684 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336664526 9367552 263 33554432000 4194304 5064252 140734762176240 140734762174496 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31740/statm: 2287 263 223 213 0 72 0
[pid=31742] ppid=31740 vsize=6016 CPUtime=2.45 cores=0,2,4,6
/proc/31742/stat : 31742 (clasp-1.0) R 31740 31684 22814 0 -1 4202496 1097 0 0 0 245 0 0 0 20 0 1 0 336664526 6160384 995 33554432000 134512640 134847168 4287535664 4287534304 134715364 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31742/statm: 1504 995 270 82 0 745 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 41296
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 31742
/proc/meminfo: memFree=29013832/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=26132 CPUtime=23 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) S 31682 31684 22814 0 -1 4202496 1632 20614 0 0 3 0 2292 5 20 0 1 0 336662222 26759168 656 33554432000 4194304 4198148 140733197734400 140733197733328 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6533 656 387 1 0 328 0
[pid=31740] ppid=31684 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31740/stat : 31740 (sh) S 31684 31684 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336664526 9367552 263 33554432000 4194304 5064252 140734762176240 140734762174496 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31740/statm: 2287 263 223 213 0 72 0
[pid=31742] ppid=31740 vsize=10532 CPUtime=28.04 cores=0,2,4,6
/proc/31742/stat : 31742 (clasp-1.0) R 31740 31684 22814 0 -1 4202496 2230 0 0 0 2804 0 0 0 20 0 1 0 336664526 10784768 2128 33554432000 134512640 134847168 4287535664 4287534304 134715280 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31742/statm: 2633 2128 270 82 0 1874 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 45812
[startup+102.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 31742
/proc/meminfo: memFree=29009916/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=26132 CPUtime=23 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) S 31682 31684 22814 0 -1 4202496 1632 20614 0 0 3 0 2292 5 20 0 1 0 336662222 26759168 656 33554432000 4194304 4198148 140733197734400 140733197733328 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6533 656 387 1 0 328 0
[pid=31740] ppid=31684 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31740/stat : 31740 (sh) S 31684 31684 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336664526 9367552 263 33554432000 4194304 5064252 140734762176240 140734762174496 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31740/statm: 2287 263 223 213 0 72 0
[pid=31742] ppid=31740 vsize=13148 CPUtime=79.23 cores=0,2,4,6
/proc/31742/stat : 31742 (clasp-1.0) R 31740 31684 22814 0 -1 4202496 2959 0 0 0 7923 0 0 0 20 0 1 0 336664526 13463552 2787 33554432000 134512640 134847168 4287535664 4287534304 134715302 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31742/statm: 3287 2787 270 82 0 2528 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 48428
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 31743
/proc/meminfo: memFree=29005260/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=26132 CPUtime=23 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) S 31682 31684 22814 0 -1 4202496 1632 20614 0 0 3 0 2292 5 20 0 1 0 336662222 26759168 656 33554432000 4194304 4198148 140733197734400 140733197733328 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6533 656 387 1 0 328 0
[pid=31740] ppid=31684 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31740/stat : 31740 (sh) S 31684 31684 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336664526 9367552 263 33554432000 4194304 5064252 140734762176240 140734762174496 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31740/statm: 2287 263 223 213 0 72 0
[pid=31742] ppid=31740 vsize=16296 CPUtime=139.2 cores=0,2,4,6
/proc/31742/stat : 31742 (clasp-1.0) R 31740 31684 22814 0 -1 4202496 3740 0 0 0 13920 0 0 0 20 0 1 0 336664526 16687104 3566 33554432000 134512640 134847168 4287535664 4287534304 134715268 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31742/statm: 4074 3566 270 82 0 3315 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 51576
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31743
/proc/meminfo: memFree=29004328/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=26132 CPUtime=23 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) S 31682 31684 22814 0 -1 4202496 1632 20614 0 0 3 0 2292 5 20 0 1 0 336662222 26759168 656 33554432000 4194304 4198148 140733197734400 140733197733328 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6533 656 387 1 0 328 0
[pid=31740] ppid=31684 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31740/stat : 31740 (sh) S 31684 31684 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336664526 9367552 263 33554432000 4194304 5064252 140734762176240 140734762174496 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31740/statm: 2287 263 223 213 0 72 0
[pid=31742] ppid=31740 vsize=16296 CPUtime=199.18 cores=0,2,4,6
/proc/31742/stat : 31742 (clasp-1.0) R 31740 31684 22814 0 -1 4202496 3741 0 0 0 19918 0 0 0 20 0 1 0 336664526 16687104 3566 33554432000 134512640 134847168 4287535664 4287534304 134715300 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31742/statm: 4074 3566 270 82 0 3315 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 51576
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/179 31877
/proc/meminfo: memFree=29006184/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=26132 CPUtime=1132.89 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) S 31682 31684 22814 0 -1 4202496 1862 36848 0 0 3 0 113276 10 20 0 1 0 336662222 26759168 656 33554432000 4194304 4198148 140733197734400 140733197733328 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6533 656 387 1 0 328 0
[pid=31777] ppid=31684 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31777/stat : 31777 (sh) S 31684 31684 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336775546 9367552 263 33554432000 4194304 5064252 140735615270560 140735615268816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31777/statm: 2287 263 223 213 0 72 0
[pid=31779] ppid=31777 vsize=16608 CPUtime=288.98 cores=0,2,4,6
/proc/31779/stat : 31779 (clasp-1.0) R 31777 31684 22814 0 -1 4202496 4152 0 0 0 28898 0 0 0 20 0 1 0 336775546 17006592 3654 33554432000 134512640 134847168 4291202896 4291201536 134715264 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31779/statm: 4152 3654 272 82 0 3393 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 51888
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31880
/proc/meminfo: memFree=29001716/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=26132 CPUtime=1132.89 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) S 31682 31684 22814 0 -1 4202496 1862 36848 0 0 3 0 113276 10 20 0 1 0 336662222 26759168 656 33554432000 4194304 4198148 140733197734400 140733197733328 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6533 656 387 1 0 328 0
[pid=31777] ppid=31684 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31777/stat : 31777 (sh) S 31684 31684 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336775546 9367552 263 33554432000 4194304 5064252 140735615270560 140735615268816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31777/statm: 2287 263 223 213 0 72 0
[pid=31779] ppid=31777 vsize=21376 CPUtime=348.96 cores=0,2,4,6
/proc/31779/stat : 31779 (clasp-1.0) R 31777 31684 22814 0 -1 4202496 5454 0 0 0 34896 0 0 0 20 0 1 0 336775546 21889024 4829 33554432000 134512640 134847168 4291202896 4291201520 134784711 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31779/statm: 5344 4829 272 82 0 4585 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 56656
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31903
/proc/meminfo: memFree=28999980/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=26132 CPUtime=1132.89 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) S 31682 31684 22814 0 -1 4202496 1862 36848 0 0 3 0 113276 10 20 0 1 0 336662222 26759168 656 33554432000 4194304 4198148 140733197734400 140733197733328 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6533 656 387 1 0 328 0
[pid=31777] ppid=31684 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31777/stat : 31777 (sh) S 31684 31684 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336775546 9367552 263 33554432000 4194304 5064252 140735615270560 140735615268816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31777/statm: 2287 263 223 213 0 72 0
[pid=31779] ppid=31777 vsize=21684 CPUtime=408.94 cores=0,2,4,6
/proc/31779/stat : 31779 (clasp-1.0) R 31777 31684 22814 0 -1 4202496 5971 0 0 0 40894 0 0 0 20 0 1 0 336775546 22204416 4921 33554432000 134512640 134847168 4291202896 4291201536 134715257 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31779/statm: 5421 4921 272 82 0 4662 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 56964
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31903
/proc/meminfo: memFree=28998932/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=26132 CPUtime=1132.89 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) S 31682 31684 22814 0 -1 4202496 1862 36848 0 0 3 0 113276 10 20 0 1 0 336662222 26759168 656 33554432000 4194304 4198148 140733197734400 140733197733328 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6533 656 387 1 0 328 0
[pid=31777] ppid=31684 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31777/stat : 31777 (sh) S 31684 31684 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336775546 9367552 263 33554432000 4194304 5064252 140735615270560 140735615268816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31777/statm: 2287 263 223 213 0 72 0
[pid=31779] ppid=31777 vsize=23104 CPUtime=468.92 cores=0,2,4,6
/proc/31779/stat : 31779 (clasp-1.0) R 31777 31684 22814 0 -1 4202496 6318 0 0 0 46892 0 0 0 20 0 1 0 336775546 23658496 5266 33554432000 134512640 134847168 4291202896 4291201360 134714064 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31779/statm: 5776 5266 272 82 0 5017 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 58384
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31904
/proc/meminfo: memFree=28998560/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=26132 CPUtime=1132.89 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) S 31682 31684 22814 0 -1 4202496 1862 36848 0 0 3 0 113276 10 20 0 1 0 336662222 26759168 656 33554432000 4194304 4198148 140733197734400 140733197733328 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6533 656 387 1 0 328 0
[pid=31777] ppid=31684 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31777/stat : 31777 (sh) S 31684 31684 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336775546 9367552 263 33554432000 4194304 5064252 140735615270560 140735615268816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31777/statm: 2287 263 223 213 0 72 0
[pid=31779] ppid=31777 vsize=23364 CPUtime=528.91 cores=0,2,4,6
/proc/31779/stat : 31779 (clasp-1.0) R 31777 31684 22814 0 -1 4202496 6391 0 0 0 52891 0 0 0 20 0 1 0 336775546 23924736 5339 33554432000 134512640 134847168 4291202896 4291201536 134715276 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31779/statm: 5841 5339 272 82 0 5082 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 58644
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31904
/proc/meminfo: memFree=28998372/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=26132 CPUtime=1132.89 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) S 31682 31684 22814 0 -1 4202496 1862 36848 0 0 3 0 113276 10 20 0 1 0 336662222 26759168 656 33554432000 4194304 4198148 140733197734400 140733197733328 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6533 656 387 1 0 328 0
[pid=31777] ppid=31684 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31777/stat : 31777 (sh) S 31684 31684 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336775546 9367552 263 33554432000 4194304 5064252 140735615270560 140735615268816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31777/statm: 2287 263 223 213 0 72 0
[pid=31779] ppid=31777 vsize=23364 CPUtime=588.89 cores=0,2,4,6
/proc/31779/stat : 31779 (clasp-1.0) R 31777 31684 22814 0 -1 4202496 6392 0 0 0 58889 0 0 0 20 0 1 0 336775546 23924736 5341 33554432000 134512640 134847168 4291202896 4291201360 134714064 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31779/statm: 5841 5341 272 82 0 5082 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 58644
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31904
/proc/meminfo: memFree=28996884/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=26132 CPUtime=1132.89 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) S 31682 31684 22814 0 -1 4202496 1862 36848 0 0 3 0 113276 10 20 0 1 0 336662222 26759168 656 33554432000 4194304 4198148 140733197734400 140733197733328 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6533 656 387 1 0 328 0
[pid=31777] ppid=31684 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31777/stat : 31777 (sh) S 31684 31684 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336775546 9367552 263 33554432000 4194304 5064252 140735615270560 140735615268816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31777/statm: 2287 263 223 213 0 72 0
[pid=31779] ppid=31777 vsize=24100 CPUtime=648.88 cores=0,2,4,6
/proc/31779/stat : 31779 (clasp-1.0) R 31777 31684 22814 0 -1 4202496 6769 0 0 0 64887 1 0 0 20 0 1 0 336775546 24678400 5525 33554432000 134512640 134847168 4291202896 4291201520 134784711 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31779/statm: 6025 5525 272 82 0 5266 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 59380
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31904
/proc/meminfo: memFree=28996636/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=26132 CPUtime=1132.89 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) S 31682 31684 22814 0 -1 4202496 1862 36848 0 0 3 0 113276 10 20 0 1 0 336662222 26759168 656 33554432000 4194304 4198148 140733197734400 140733197733328 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6533 656 387 1 0 328 0
[pid=31777] ppid=31684 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31777/stat : 31777 (sh) S 31684 31684 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336775546 9367552 263 33554432000 4194304 5064252 140735615270560 140735615268816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31777/statm: 2287 263 223 213 0 72 0
[pid=31779] ppid=31777 vsize=24100 CPUtime=667.19 cores=0,2,4,6
/proc/31779/stat : 31779 (clasp-1.0) R 31777 31684 22814 0 -1 4202496 6769 0 0 0 66718 1 0 0 20 0 1 0 336775546 24678400 5525 33554432000 134512640 134847168 4291202896 4291201664 134617539 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31779/statm: 6025 5525 272 82 0 5266 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 59380
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -31684
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31904
/proc/meminfo: memFree=28996636/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=26132 CPUtime=1800.11 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) S 31682 31684 22814 0 -1 4202496 2016 46381 0 0 3 1 179995 12 20 0 1 0 336662222 26759168 656 33554432000 4194304 4198148 140733197734400 140733197733328 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6533 656 387 1 0 328 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 26132
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31923
/proc/meminfo: memFree=29023768/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=26132 CPUtime=1800.11 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) S 31682 31684 22814 0 -1 4202496 2016 46381 0 0 3 1 179995 12 20 0 1 0 336662222 26759168 656 33554432000 4194304 4198148 140733197734400 140733197733328 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6533 656 387 1 0 328 0
[pid=31918] ppid=31684 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31918/stat : 31918 (sh) S 31684 31684 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336842286 9367552 264 33554432000 4194304 5064252 140735540892448 140735540890704 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31918/statm: 2287 264 223 213 0 72 0
[pid=31921] ppid=31918 vsize=5724 CPUtime=1.55 cores=0,2,4,6
/proc/31921/stat : 31921 (clasp-1.0) R 31918 31684 22814 0 -1 4202496 1011 0 0 0 155 0 0 0 20 0 1 0 336842286 5861376 909 33554432000 134512640 134847168 4289698960 4289697536 134742342 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31921/statm: 1431 909 272 82 0 672 0
Current children cumulated CPU time (s) 1801.66
Current children cumulated vsize (KiB) 41004
[startup+1802.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31923
/proc/meminfo: memFree=29023768/32873844 swapFree=6088/6088
[pid=31684] ppid=31682 vsize=26132 CPUtime=1800.11 cores=0,2,4,6
/proc/31684/stat : 31684 (pbclasp) S 31682 31684 22814 0 -1 4202496 2016 46381 0 0 3 1 179995 12 20 0 1 0 336662222 26759168 656 33554432000 4194304 4198148 140733197734400 140733197733328 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31684/statm: 6533 656 387 1 0 328 0
[pid=31918] ppid=31684 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31918/stat : 31918 (sh) S 31684 31684 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336842286 9367552 264 33554432000 4194304 5064252 140735540892448 140735540890704 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31918/statm: 2287 264 223 213 0 72 0
[pid=31921] ppid=31918 vsize=5724 CPUtime=1.95 cores=0,2,4,6
/proc/31921/stat : 31921 (clasp-1.0) R 31918 31684 22814 0 -1 4202496 1011 0 0 0 195 0 0 0 20 0 1 0 336842286 5861376 909 33554432000 134512640 134847168 4289698960 4289697584 134784677 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31921/statm: 1431 909 272 82 0 672 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 41004
Child status: 0
Real time (s): 1802.62
CPU time (s): 1802.11
CPU user time (s): 1801.97
CPU system time (s): 0.144977
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 62552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.97
system time used= 0.144977
maximum resident set size= 25184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50223
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 707
involuntary context switches= 2970
runsolver used 2.80657 second user time and 7.03193 second system time
The end