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-3726575-1338655768/watcher-3726575-1338655768 -o /tmp/evaluation-result-3726575-1338655768/solver-3726575-1338655768 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726575-1338655768.opb
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.00 1.99 3/177 16886
/proc/meminfo: memFree=28311908/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=4432 CPUtime=0 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) R 16884 16886 13572 0 -1 4202496 577 0 0 0 0 0 0 0 20 0 1 0 331702809 4538368 530 33554432000 4194304 5964478 140735992177440 140734387032648 4395406 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 1108 532 165 433 0 634 0
[startup+0.0137779 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 16886
/proc/meminfo: memFree=28311908/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=5648 CPUtime=0.01 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) R 16884 16886 13572 0 -1 4202496 884 0 0 0 1 0 0 0 20 0 1 0 331702809 5783552 837 33554432000 4194304 5964478 140735992177440 140734387032648 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 1412 837 188 433 0 938 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5648
[startup+0.100148 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 16886
/proc/meminfo: memFree=28311908/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=86748 CPUtime=0.09 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 2632 0 0 0 9 0 0 0 20 0 2 0 331702809 88829952 2381 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 21687 2381 185 433 0 21251 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 86748
[startup+0.300112 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 16886
/proc/meminfo: memFree=28311908/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=86748 CPUtime=0.29 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 3054 0 0 0 29 0 0 0 20 0 2 0 331702809 88829952 2803 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 21687 2803 186 433 0 21251 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86748
[startup+0.700111 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 16886
/proc/meminfo: memFree=28311908/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=86748 CPUtime=0.68 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 3723 0 0 0 68 0 0 0 20 0 2 0 331702809 88829952 3472 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 21687 3472 186 433 0 21251 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 86748
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 16888
/proc/meminfo: memFree=28294416/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=86748 CPUtime=1.48 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 5096 0 0 0 147 1 0 0 20 0 2 0 331702809 88829952 4845 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 21687 4845 186 433 0 21251 0
[pid=16886/tid=16888] ppid=16884 vsize=86748 CPUtime=1.46 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 3703 0 0 0 144 2 0 0 20 0 2 0 331702811 88829952 4845 33554432000 4194304 5964478 140735992177440 140252157208568 4381996 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 86748
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 16888
/proc/meminfo: memFree=28283364/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=86748 CPUtime=3.07 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 7346 0 0 0 306 1 0 0 20 0 2 0 331702809 88829952 7095 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 21687 7095 186 433 0 21251 0
[pid=16886/tid=16888] ppid=16884 vsize=86748 CPUtime=3.06 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 5953 0 0 0 304 2 0 0 20 0 2 0 331702811 88829952 7095 33554432000 4194304 5964478 140735992177440 140252157208568 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 86748
[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 16888
/proc/meminfo: memFree=28257204/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=86748 CPUtime=6.28 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 10240 0 0 0 625 3 0 0 20 0 2 0 331702809 88829952 9989 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 21687 9989 186 433 0 21251 0
[pid=16886/tid=16888] ppid=16884 vsize=86748 CPUtime=6.26 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 8847 0 0 0 623 3 0 0 20 0 2 0 331702811 88829952 9989 33554432000 4194304 5964478 140735992177440 140252157208616 4382021 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 86748
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 16888
/proc/meminfo: memFree=28233660/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=86748 CPUtime=12.67 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 12061 0 0 0 1264 3 0 0 20 0 2 0 331702809 88829952 11810 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 21687 11810 186 433 0 21251 0
[pid=16886/tid=16888] ppid=16884 vsize=86748 CPUtime=12.66 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 10668 0 0 0 1262 4 0 0 20 0 2 0 331702811 88829952 11810 33554432000 4194304 5964478 140735992177440 140252157208568 4382008 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 86748
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 16888
/proc/meminfo: memFree=28180580/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=152284 CPUtime=25.48 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 20686 0 0 0 2541 7 0 0 20 0 2 0 331702809 155938816 20435 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 38071 20435 186 433 0 37635 0
[pid=16886/tid=16888] ppid=16884 vsize=152284 CPUtime=25.46 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 19293 0 0 0 2538 8 0 0 20 0 2 0 331702811 155938816 20435 33554432000 4194304 5964478 140735992177440 140252157208568 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 152284
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 16891
/proc/meminfo: memFree=28122976/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=218144 CPUtime=51.07 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 34688 0 0 0 5095 12 0 0 20 0 2 0 331702809 223379456 34437 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 54536 34437 186 433 0 54100 0
[pid=16886/tid=16888] ppid=16884 vsize=218144 CPUtime=51.06 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 33295 0 0 0 5093 13 0 0 20 0 2 0 331702811 223379456 34437 33554432000 4194304 5964478 140735992177440 140252157208568 4400078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 218144
[startup+102.306 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 16891
/proc/meminfo: memFree=28018644/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=283840 CPUtime=102.25 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 59386 0 0 0 10205 20 0 0 20 0 2 0 331702809 290652160 59287 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 70960 59287 186 433 0 70524 0
[pid=16886/tid=16888] ppid=16884 vsize=283840 CPUtime=102.25 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 57993 0 0 0 10203 22 0 0 20 0 2 0 331702811 290652160 59287 33554432000 4194304 5964478 140735992177440 140252157208568 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 283840
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16891
/proc/meminfo: memFree=27857596/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=415152 CPUtime=162.19 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 99482 0 0 0 16186 33 0 0 20 0 2 0 331702809 425115648 99377 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 103788 99377 186 433 0 103352 0
[pid=16886/tid=16888] ppid=16884 vsize=415152 CPUtime=162.22 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 98089 0 0 0 16186 36 0 0 20 0 2 0 331702811 425115648 99377 33554432000 4194304 5964478 140735992177440 140252157208568 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 415152
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16892
/proc/meminfo: memFree=27784868/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=415152 CPUtime=222.16 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 99505 0 0 0 22183 33 0 0 20 0 2 0 331702809 425115648 99880 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 103788 99880 186 433 0 103352 0
[pid=16886/tid=16888] ppid=16884 vsize=415152 CPUtime=222.2 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 98112 0 0 0 22183 37 0 0 20 0 2 0 331702811 425115648 99880 33554432000 4194304 5964478 140735992177440 140252157208568 4400056 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 415152
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16892
/proc/meminfo: memFree=27596744/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=480688 CPUtime=282.16 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 114384 0 0 0 28178 38 0 0 20 0 2 0 331702809 492224512 114759 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 120172 114759 186 433 0 119736 0
[pid=16886/tid=16888] ppid=16884 vsize=480688 CPUtime=282.21 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 112991 0 0 0 28178 43 0 0 20 0 2 0 331702811 492224512 114759 33554432000 4194304 5964478 140735992177440 140252157208568 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 480688
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16892
/proc/meminfo: memFree=27596712/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=480688 CPUtime=342.15 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 114384 0 0 0 34177 38 0 0 20 0 2 0 331702809 492224512 114759 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 120172 114759 186 433 0 119736 0
[pid=16886/tid=16888] ppid=16884 vsize=480688 CPUtime=342.21 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 112991 0 0 0 34177 44 0 0 20 0 2 0 331702811 492224512 114759 33554432000 4194304 5964478 140735992177440 140252157208568 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 480688
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16892
/proc/meminfo: memFree=27451332/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=546224 CPUtime=402.14 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 122773 0 0 0 40174 40 0 0 20 0 2 0 331702809 559333376 123148 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 136556 123148 186 433 0 136120 0
[pid=16886/tid=16888] ppid=16884 vsize=546224 CPUtime=402.21 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 121380 0 0 0 40174 47 0 0 20 0 2 0 331702811 559333376 123148 33554432000 4194304 5964478 140735992177440 140252157208568 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 546224
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16892
/proc/meminfo: memFree=27350148/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=546224 CPUtime=462.13 cores=0,2,4,6
################
# More data... #
################
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 207283 0 0 0 130130 86 0 0 20 0 2 0 331702811 895246336 208637 33554432000 4194304 5964478 140735992177440 140252157208568 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 874264
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16925
/proc/meminfo: memFree=26813940/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=874264 CPUtime=1361.89 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 208682 0 0 0 136123 66 0 0 20 0 2 0 331702809 895246336 208643 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 218566 208643 186 433 0 218130 0
[pid=16886/tid=16888] ppid=16884 vsize=874264 CPUtime=1362.16 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 207289 0 0 0 136129 87 0 0 20 0 2 0 331702811 895246336 208643 33554432000 4194304 5964478 140735992177440 140252157208568 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 874264
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16925
/proc/meminfo: memFree=26814040/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=874264 CPUtime=1421.87 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 208723 0 0 0 142121 66 0 0 20 0 2 0 331702809 895246336 208687 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 218566 208687 186 433 0 218130 0
[pid=16886/tid=16888] ppid=16884 vsize=874264 CPUtime=1422.15 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 207330 0 0 0 142127 88 0 0 20 0 2 0 331702811 895246336 208687 33554432000 4194304 5964478 140735992177440 140252157208568 4391391 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 874264
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16926
/proc/meminfo: memFree=26813824/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=874264 CPUtime=1481.84 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 208756 0 0 0 148118 66 0 0 20 0 2 0 331702809 895246336 208702 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 218566 208702 186 433 0 218130 0
[pid=16886/tid=16888] ppid=16884 vsize=874264 CPUtime=1482.14 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 207363 0 0 0 148125 89 0 0 20 0 2 0 331702811 895246336 208702 33554432000 4194304 5964478 140735992177440 140252157208568 4400078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 874264
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16926
/proc/meminfo: memFree=26813536/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=874264 CPUtime=1541.82 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 208771 0 0 0 154116 66 0 0 20 0 2 0 331702809 895246336 208708 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 218566 208708 186 433 0 218130 0
[pid=16886/tid=16888] ppid=16884 vsize=874264 CPUtime=1542.13 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 207378 0 0 0 154123 90 0 0 20 0 2 0 331702811 895246336 208708 33554432000 4194304 5964478 140735992177440 140252157208568 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 874264
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 16926
/proc/meminfo: memFree=26813400/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=874264 CPUtime=1601.81 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 208774 0 0 0 160115 66 0 0 20 0 2 0 331702809 895246336 208710 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 218566 208710 186 433 0 218130 0
[pid=16886/tid=16888] ppid=16884 vsize=874264 CPUtime=1602.13 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 207381 0 0 0 160122 91 0 0 20 0 2 0 331702811 895246336 208710 33554432000 4194304 5964478 140735992177440 140252157208568 4400103 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 874264
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16926
/proc/meminfo: memFree=26813648/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=874264 CPUtime=1661.8 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 208774 0 0 0 166114 66 0 0 20 0 2 0 331702809 895246336 208710 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 218566 208710 186 433 0 218130 0
[pid=16886/tid=16888] ppid=16884 vsize=874264 CPUtime=1662.13 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 207381 0 0 0 166121 92 0 0 20 0 2 0 331702811 895246336 208710 33554432000 4194304 5964478 140735992177440 140252157208568 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 874264
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 16965
/proc/meminfo: memFree=27771520/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=874264 CPUtime=1721.79 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 208774 0 0 0 172113 66 0 0 20 0 2 0 331702809 895246336 208710 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 218566 208710 186 433 0 218130 0
[pid=16886/tid=16888] ppid=16884 vsize=874264 CPUtime=1722.14 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 207381 0 0 0 172121 93 0 0 20 0 2 0 331702811 895246336 208710 33554432000 4194304 5964478 140735992177440 140252157208568 4381960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 874264
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16966
/proc/meminfo: memFree=27756764/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=874264 CPUtime=1781.78 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 208774 0 0 0 178112 66 0 0 20 0 2 0 331702809 895246336 208710 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 218566 208710 186 433 0 218130 0
[pid=16886/tid=16888] ppid=16884 vsize=874264 CPUtime=1782.14 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 207381 0 0 0 178120 94 0 0 20 0 2 0 331702811 895246336 208710 33554432000 4194304 5964478 140735992177440 140252157208568 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 874264
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16966
/proc/meminfo: memFree=27751432/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=874264 CPUtime=1791.38 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 208774 0 0 0 179072 66 0 0 20 0 2 0 331702809 895246336 208710 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 218566 208710 186 433 0 218130 0
[pid=16886/tid=16888] ppid=16884 vsize=874264 CPUtime=1791.75 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 207381 0 0 0 179081 94 0 0 20 0 2 0 331702811 895246336 208710 33554432000 4194304 5964478 140735992177440 140252157208568 4400103 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (KiB) 874264
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16966
/proc/meminfo: memFree=27750192/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=874264 CPUtime=1794.58 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 208774 0 0 0 179392 66 0 0 20 0 2 0 331702809 895246336 208710 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 218566 208710 186 433 0 218130 0
[pid=16886/tid=16888] ppid=16884 vsize=874264 CPUtime=1794.95 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 207381 0 0 0 179401 94 0 0 20 0 2 0 331702811 895246336 208710 33554432000 4194304 5964478 140735992177440 140252157208568 4382029 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (KiB) 874264
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16966
/proc/meminfo: memFree=27748704/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=874264 CPUtime=1797.78 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 208774 0 0 0 179712 66 0 0 20 0 2 0 331702809 895246336 208710 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 218566 208710 186 433 0 218130 0
[pid=16886/tid=16888] ppid=16884 vsize=874264 CPUtime=1798.14 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 207381 0 0 0 179720 94 0 0 20 0 2 0 331702811 895246336 208710 33554432000 4194304 5964478 140735992177440 140252157208568 4400103 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 874264
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16966
/proc/meminfo: memFree=27747960/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=874264 CPUtime=1798.58 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 208774 0 0 0 179792 66 0 0 20 0 2 0 331702809 895246336 208710 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 218566 208710 186 433 0 218130 0
[pid=16886/tid=16888] ppid=16884 vsize=874264 CPUtime=1798.94 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 207381 0 0 0 179800 94 0 0 20 0 2 0 331702811 895246336 208710 33554432000 4194304 5964478 140735992177440 140252157208568 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.58
Current children cumulated vsize (KiB) 874264
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16966
/proc/meminfo: memFree=27747340/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=874264 CPUtime=1798.98 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 208774 0 0 0 179832 66 0 0 20 0 2 0 331702809 895246336 208710 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 218566 208710 186 433 0 218130 0
[pid=16886/tid=16888] ppid=16884 vsize=874264 CPUtime=1799.35 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 207381 0 0 0 179841 94 0 0 20 0 2 0 331702811 895246336 208710 33554432000 4194304 5964478 140735992177440 140252157208568 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.98
Current children cumulated vsize (KiB) 874264
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16966
/proc/meminfo: memFree=27747340/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=874264 CPUtime=1799.38 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 208774 0 0 0 179872 66 0 0 20 0 2 0 331702809 895246336 208710 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 218566 208710 186 433 0 218130 0
[pid=16886/tid=16888] ppid=16884 vsize=874264 CPUtime=1799.74 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 207381 0 0 0 179880 94 0 0 20 0 2 0 331702811 895246336 208710 33554432000 4194304 5964478 140735992177440 140252157208568 4381993 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.38
Current children cumulated vsize (KiB) 874264
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16966
/proc/meminfo: memFree=27747340/32873648 swapFree=6864/6864
[pid=16886] ppid=16884 vsize=874264 CPUtime=1799.48 cores=0,2,4,6
/proc/16886/stat : 16886 (pwbo2.02) S 16884 16886 13572 0 -1 4202496 208774 0 0 0 179882 66 0 0 20 0 2 0 331702809 895246336 208710 33554432000 4194304 5964478 140735992177440 140735992176960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16886/statm: 218566 208710 186 433 0 218130 0
[pid=16886/tid=16888] ppid=16884 vsize=874264 CPUtime=1799.84 cores=0,2,4,6
/proc/16886/task/16888/stat : 16888 (pwbo2.02) R 16884 16886 13572 0 -1 4202560 207381 0 0 0 179890 94 0 0 20 0 2 0 331702811 895246336 208710 33554432000 4194304 5964478 140735992177440 140252157208568 4382029 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 874264
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.88
CPU user time (s): 1798.93
CPU system time (s): 0.950855
CPU usage (%): 99.9931
Max. virtual memory (cumulated for all children) (KiB): 874264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.93
system time used= 0.950855
maximum resident set size= 834852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208777
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= 323
involuntary context switches= 2080
runsolver used 2.89856 second user time and 7.60084 second system time
The end