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-3726723-1338662978/watcher-3726723-1338662978 -o /tmp/evaluation-result-3726723-1338662978/solver-3726723-1338662978 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726723-1338662978.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.06 2.02 2.00 3/177 17930
/proc/meminfo: memFree=28468568/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=4696 CPUtime=0 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) R 17928 17930 13572 0 -1 4202496 574 0 0 0 0 0 0 0 20 0 1 0 332423758 4808704 527 33554432000 4194304 5964478 140734496965392 140734496963272 4395406 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 1174 527 165 433 0 625 0
[startup+0.100041 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 17930
/proc/meminfo: memFree=28468568/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=86724 CPUtime=0.09 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 2764 0 0 0 9 0 0 0 20 0 2 0 332423758 88805376 2458 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 21681 2458 186 433 0 21245 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 86724
[startup+0.200184 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 17930
/proc/meminfo: memFree=28468568/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=86724 CPUtime=0.19 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 2915 0 0 0 19 0 0 0 20 0 2 0 332423758 88805376 2609 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 21681 2609 186 433 0 21245 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 86724
[startup+0.30014 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 17930
/proc/meminfo: memFree=28468568/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=86724 CPUtime=0.29 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 3035 0 0 0 29 0 0 0 20 0 2 0 332423758 88805376 2729 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 21681 2729 186 433 0 21245 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86724
[startup+0.700113 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 17930
/proc/meminfo: memFree=28468568/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=86724 CPUtime=0.69 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 3616 0 0 0 69 0 0 0 20 0 2 0 332423758 88805376 3310 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 21681 3310 186 433 0 21245 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86724
[startup+1.50013 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 17932
/proc/meminfo: memFree=28453912/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=86724 CPUtime=1.49 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 4684 0 0 0 149 0 0 0 20 0 2 0 332423758 88805376 4378 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 21681 4378 186 433 0 21245 0
[pid=17930/tid=17932] ppid=17928 vsize=86724 CPUtime=1.44 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 3118 0 0 0 144 0 0 0 20 0 2 0 332423762 88805376 4378 33554432000 4194304 5964478 140734496965392 140017296963576 4400519 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86724
[startup+3.10013 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 17932
/proc/meminfo: memFree=28448812/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=86724 CPUtime=3.09 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 5702 0 0 0 309 0 0 0 20 0 2 0 332423758 88805376 5396 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 21681 5396 186 433 0 21245 0
[pid=17930/tid=17932] ppid=17928 vsize=86724 CPUtime=3.04 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 4136 0 0 0 304 0 0 0 20 0 2 0 332423762 88805376 5396 33554432000 4194304 5964478 140734496965392 140017296963384 4400557 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86724
[startup+6.30024 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 17932
/proc/meminfo: memFree=28445104/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=86724 CPUtime=6.28 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 7113 0 0 0 628 0 0 0 20 0 2 0 332423758 88805376 6807 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 21681 6807 186 433 0 21245 0
[pid=17930/tid=17932] ppid=17928 vsize=86724 CPUtime=6.24 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 5547 0 0 0 624 0 0 0 20 0 2 0 332423762 88805376 6807 33554432000 4194304 5964478 140734496965392 140017296963512 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 86724
[startup+12.7002 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 17932
/proc/meminfo: memFree=28432048/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=86724 CPUtime=12.69 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 9469 0 0 0 1268 1 0 0 20 0 2 0 332423758 88805376 9163 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 21681 9163 186 433 0 21245 0
[pid=17930/tid=17932] ppid=17928 vsize=86724 CPUtime=12.65 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 7903 0 0 0 1263 2 0 0 20 0 2 0 332423762 88805376 9163 33554432000 4194304 5964478 140734496965392 140017296963576 4381843 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86724
[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 17936
/proc/meminfo: memFree=28408008/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=87048 CPUtime=25.48 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 15431 0 0 0 2546 2 0 0 20 0 2 0 332423758 89137152 15125 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 21762 15125 186 433 0 21326 0
[pid=17930/tid=17932] ppid=17928 vsize=87048 CPUtime=25.45 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 13865 0 0 0 2542 3 0 0 20 0 2 0 332423762 89137152 15125 33554432000 4194304 5964478 140734496965392 140017296963576 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 87048
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 17936
/proc/meminfo: memFree=28377652/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=152744 CPUtime=51.08 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 21908 0 0 0 5104 4 0 0 20 0 2 0 332423758 156409856 21602 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 38186 21602 186 433 0 37750 0
[pid=17930/tid=17932] ppid=17928 vsize=152744 CPUtime=51.05 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 20342 0 0 0 5100 5 0 0 20 0 2 0 332423762 156409856 21602 33554432000 4194304 5964478 140734496965392 140017296963576 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 152744
[startup+102.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 17936
/proc/meminfo: memFree=28334308/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=152984 CPUtime=102.26 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 29433 0 0 0 10219 7 0 0 20 0 2 0 332423758 156655616 29109 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 38246 29109 186 433 0 37810 0
[pid=17930/tid=17932] ppid=17928 vsize=152984 CPUtime=102.23 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 27867 0 0 0 10214 9 0 0 20 0 2 0 332423762 156655616 29109 33554432000 4194304 5964478 140734496965392 140017296963576 4400010 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 152984
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17936
/proc/meminfo: memFree=28249804/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=218520 CPUtime=162.22 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 40379 0 0 0 16211 11 0 0 20 0 2 0 332423758 223764480 41043 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 54630 41043 186 433 0 54194 0
[pid=17930/tid=17932] ppid=17928 vsize=218520 CPUtime=162.21 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 38813 0 0 0 16207 14 0 0 20 0 2 0 332423762 223764480 41043 33554432000 4194304 5964478 140734496965392 140017296963624 4373442 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 218520
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17936
/proc/meminfo: memFree=28215608/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=218520 CPUtime=222.21 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 42245 0 0 0 22210 11 0 0 20 0 2 0 332423758 223764480 42909 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 54630 42909 186 433 0 54194 0
[pid=17930/tid=17932] ppid=17928 vsize=218520 CPUtime=222.22 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 40679 0 0 0 22207 15 0 0 20 0 2 0 332423762 223764480 42909 33554432000 4194304 5964478 140734496965392 140017296963576 4400059 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 218520
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17936
/proc/meminfo: memFree=28153820/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=284416 CPUtime=282.21 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 53055 0 0 0 28205 16 0 0 20 0 2 0 332423758 291241984 53719 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 71104 53719 186 433 0 70668 0
[pid=17930/tid=17932] ppid=17928 vsize=284416 CPUtime=282.22 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 51489 0 0 0 28201 21 0 0 20 0 2 0 332423762 291241984 53719 33554432000 4194304 5964478 140734496965392 140017296963576 4381692 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 284416
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17937
/proc/meminfo: memFree=28120124/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=284416 CPUtime=342.18 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 59408 0 0 0 34200 18 0 0 20 0 2 0 332423758 291241984 60076 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 71104 60076 186 433 0 70668 0
[pid=17930/tid=17932] ppid=17928 vsize=284416 CPUtime=342.21 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 57842 0 0 0 34197 24 0 0 20 0 2 0 332423762 291241984 60076 33554432000 4194304 5964478 140734496965392 140017296963576 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 284416
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17937
/proc/meminfo: memFree=28112740/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=284416 CPUtime=402.14 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 61176 0 0 0 40195 19 0 0 20 0 2 0 332423758 291241984 61841 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 71104 61841 186 433 0 70668 0
[pid=17930/tid=17932] ppid=17928 vsize=284416 CPUtime=402.19 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 59610 0 0 0 40193 26 0 0 20 0 2 0 332423762 291241984 61841 33554432000 4194304 5964478 140734496965392 140017296963576 4400516 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 284416
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17937
/proc/meminfo: memFree=28094744/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=284416 CPUtime=462.13 cores=0,2,4,6
################
# More data... #
################
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 101693 0 0 0 124159 59 0 0 20 0 2 0 332423762 493121536 104029 33554432000 4194304 5964478 140734496965392 140017296963752 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 481564
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17968
/proc/meminfo: memFree=27833340/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=481564 CPUtime=1301.95 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 103259 0 0 0 130155 40 0 0 20 0 2 0 332423758 493121536 104029 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 120391 104029 186 433 0 119955 0
[pid=17930/tid=17932] ppid=17928 vsize=481564 CPUtime=1302.18 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 101693 0 0 0 130158 60 0 0 20 0 2 0 332423762 493121536 104029 33554432000 4194304 5964478 140734496965392 140017296963752 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 481564
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 17968
/proc/meminfo: memFree=27833216/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=481564 CPUtime=1361.94 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 103259 0 0 0 136154 40 0 0 20 0 2 0 332423758 493121536 104029 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 120391 104029 186 433 0 119955 0
[pid=17930/tid=17932] ppid=17928 vsize=481564 CPUtime=1362.19 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 101693 0 0 0 136158 61 0 0 20 0 2 0 332423762 493121536 104029 33554432000 4194304 5964478 140734496965392 140017296963752 4392812 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 481564
[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 17968
/proc/meminfo: memFree=27798376/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=481564 CPUtime=1421.94 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 111611 0 0 0 142150 44 0 0 20 0 2 0 332423758 493121536 112381 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 120391 112381 186 433 0 119955 0
[pid=17930/tid=17932] ppid=17928 vsize=481564 CPUtime=1422.2 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 110045 0 0 0 142154 66 0 0 20 0 2 0 332423762 493121536 112381 33554432000 4194304 5964478 140734496965392 140017296963576 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 481564
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17968
/proc/meminfo: memFree=27789056/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=481564 CPUtime=1481.92 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 113912 0 0 0 148147 45 0 0 20 0 2 0 332423758 493121536 114682 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 120391 114682 186 433 0 119955 0
[pid=17930/tid=17932] ppid=17928 vsize=481564 CPUtime=1482.19 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 112346 0 0 0 148151 68 0 0 20 0 2 0 332423762 493121536 114682 33554432000 4194304 5964478 140734496965392 140017296963576 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 481564
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17969
/proc/meminfo: memFree=27788932/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=481564 CPUtime=1541.92 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 113913 0 0 0 154147 45 0 0 20 0 2 0 332423758 493121536 114683 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 120391 114683 186 433 0 119955 0
[pid=17930/tid=17932] ppid=17928 vsize=481564 CPUtime=1542.2 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 112347 0 0 0 154151 69 0 0 20 0 2 0 332423762 493121536 114683 33554432000 4194304 5964478 140734496965392 140017296963576 4381519 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 481564
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18008
/proc/meminfo: memFree=28107016/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=481564 CPUtime=1601.9 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 113914 0 0 0 160145 45 0 0 20 0 2 0 332423758 493121536 114686 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 120391 114686 186 433 0 119955 0
[pid=17930/tid=17932] ppid=17928 vsize=481564 CPUtime=1602.2 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 112348 0 0 0 160150 70 0 0 20 0 2 0 332423762 493121536 114686 33554432000 4194304 5964478 140734496965392 140017296963576 4400119 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 481564
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18008
/proc/meminfo: memFree=28061348/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=481564 CPUtime=1661.88 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 113930 0 0 0 166143 45 0 0 20 0 2 0 332423758 493121536 114819 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 120391 114819 186 433 0 119955 0
[pid=17930/tid=17932] ppid=17928 vsize=481564 CPUtime=1662.19 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 112364 0 0 0 166148 71 0 0 20 0 2 0 332423762 493121536 114819 33554432000 4194304 5964478 140734496965392 140017296963576 4381601 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 481564
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18008
/proc/meminfo: memFree=28043988/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=481564 CPUtime=1721.87 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 113935 0 0 0 172142 45 0 0 20 0 2 0 332423758 493121536 114824 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 120391 114824 186 433 0 119955 0
[pid=17930/tid=17932] ppid=17928 vsize=481564 CPUtime=1722.19 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 112369 0 0 0 172147 72 0 0 20 0 2 0 332423762 493121536 114824 33554432000 4194304 5964478 140734496965392 140017296963576 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 481564
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18008
/proc/meminfo: memFree=28027620/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=481564 CPUtime=1781.86 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 113936 0 0 0 178141 45 0 0 20 0 2 0 332423758 493121536 114825 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 120391 114825 186 433 0 119955 0
[pid=17930/tid=17932] ppid=17928 vsize=481564 CPUtime=1782.19 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 112370 0 0 0 178146 73 0 0 20 0 2 0 332423762 493121536 114825 33554432000 4194304 5964478 140734496965392 140017296963576 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 481564
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18008
/proc/meminfo: memFree=28023900/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=481564 CPUtime=1791.56 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 113936 0 0 0 179111 45 0 0 20 0 2 0 332423758 493121536 114825 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 120391 114825 186 433 0 119955 0
[pid=17930/tid=17932] ppid=17928 vsize=481564 CPUtime=1791.9 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 112370 0 0 0 179117 73 0 0 20 0 2 0 332423762 493121536 114825 33554432000 4194304 5964478 140734496965392 140017296963576 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (KiB) 481564
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18008
/proc/meminfo: memFree=28018816/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=481564 CPUtime=1794.76 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 113936 0 0 0 179431 45 0 0 20 0 2 0 332423758 493121536 114825 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 120391 114825 186 433 0 119955 0
[pid=17930/tid=17932] ppid=17928 vsize=481564 CPUtime=1795.1 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 112370 0 0 0 179437 73 0 0 20 0 2 0 332423762 493121536 114825 33554432000 4194304 5964478 140734496965392 140017296963576 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.76
Current children cumulated vsize (KiB) 481564
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18008
/proc/meminfo: memFree=28018940/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=481564 CPUtime=1797.96 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 113936 0 0 0 179751 45 0 0 20 0 2 0 332423758 493121536 114825 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 120391 114825 186 433 0 119955 0
[pid=17930/tid=17932] ppid=17928 vsize=481564 CPUtime=1798.3 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 112370 0 0 0 179757 73 0 0 20 0 2 0 332423762 493121536 114825 33554432000 4194304 5964478 140734496965392 140017296963576 4403376 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 481564
[startup+1799.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18008
/proc/meminfo: memFree=28018940/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=481564 CPUtime=1798.76 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 113936 0 0 0 179831 45 0 0 20 0 2 0 332423758 493121536 114825 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 120391 114825 186 433 0 119955 0
[pid=17930/tid=17932] ppid=17928 vsize=481564 CPUtime=1799.1 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 112370 0 0 0 179837 73 0 0 20 0 2 0 332423762 493121536 114825 33554432000 4194304 5964478 140734496965392 140017296963576 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.76
Current children cumulated vsize (KiB) 481564
[startup+1799.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18008
/proc/meminfo: memFree=28019188/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=481564 CPUtime=1799.16 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 113936 0 0 0 179871 45 0 0 20 0 2 0 332423758 493121536 114825 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 120391 114825 186 433 0 119955 0
[pid=17930/tid=17932] ppid=17928 vsize=481564 CPUtime=1799.5 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 112370 0 0 0 179877 73 0 0 20 0 2 0 332423762 493121536 114825 33554432000 4194304 5964478 140734496965392 140017296963576 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.16
Current children cumulated vsize (KiB) 481564
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18008
/proc/meminfo: memFree=28019188/32873648 swapFree=6864/6864
[pid=17930] ppid=17928 vsize=481564 CPUtime=1799.56 cores=0,2,4,6
/proc/17930/stat : 17930 (pwbo2.02) S 17928 17930 13572 0 -1 4202496 113936 0 0 0 179911 45 0 0 20 0 2 0 332423758 493121536 114825 33554432000 4194304 5964478 140734496965392 140734496964912 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17930/statm: 120391 114825 186 433 0 119955 0
[pid=17930/tid=17932] ppid=17928 vsize=481564 CPUtime=1799.9 cores=0,2,4,6
/proc/17930/task/17932/stat : 17932 (pwbo2.02) R 17928 17930 13572 0 -1 4202560 112370 0 0 0 179917 73 0 0 20 0 2 0 332423762 493121536 114825 33554432000 4194304 5964478 140734496965392 140017296963576 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 481564
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.95
CPU user time (s): 1799.21
CPU system time (s): 0.742887
CPU usage (%): 99.9972
Max. virtual memory (cumulated for all children) (KiB): 481564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 0.742887
maximum resident set size= 459312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113939
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= 191
involuntary context switches= 1973
runsolver used 2.6556 second user time and 7.16791 second system time
The end