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-3728029-1338661962/watcher-3728029-1338661962 -o /tmp/evaluation-result-3728029-1338661962/solver-3728029-1338661962 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3728029-1338661962.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: 1.92 1.98 1.99 3/177 12639
/proc/meminfo: memFree=26886660/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=5456 CPUtime=0 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) R 12637 12639 9917 0 -1 4202496 490 0 0 0 0 0 0 0 20 0 1 0 332322014 5586944 442 33554432000 4194304 5964350 140735143053776 140734374993752 4395259 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 1364 443 163 433 0 533 0
[startup+0.100393 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 12639
/proc/meminfo: memFree=26886660/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=14352 CPUtime=0.09 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) R 12637 12639 9917 0 -1 4202496 2914 0 0 0 9 0 0 0 20 0 1 0 332322014 14696448 2833 33554432000 4194304 5964350 140735143053776 140734374993752 5136410 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 3588 2834 474 433 0 2757 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14352
[startup+0.200277 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 12639
/proc/meminfo: memFree=26886660/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=94028 CPUtime=0.18 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 8343 0 0 0 18 0 0 0 20 0 2 0 332322014 96284672 6882 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 23507 6882 190 433 0 23071 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 94028
[startup+0.30033 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 12639
/proc/meminfo: memFree=26886660/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=94028 CPUtime=0.28 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 8359 0 0 0 28 0 0 0 20 0 2 0 332322014 96284672 6898 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 23507 6898 190 433 0 23071 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 94028
[startup+0.70033 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 12639
/proc/meminfo: memFree=26886660/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=94028 CPUtime=0.69 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 10570 0 0 0 68 1 0 0 20 0 2 0 332322014 96284672 7036 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 23507 7036 190 433 0 23071 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 94028
[startup+1.5002 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 12641
/proc/meminfo: memFree=26859248/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=94028 CPUtime=1.48 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 16564 0 0 0 147 1 0 0 20 0 2 0 332322014 96284672 7267 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 23507 7267 190 433 0 23071 0
[pid=12639/tid=12641] ppid=12637 vsize=94028 CPUtime=1.36 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 12874 0 0 0 134 2 0 0 20 0 2 0 332322026 96284672 7267 33554432000 4194304 5964350 140735143053776 140515182787096 5133812 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) 94028
[startup+3.10021 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 12641
/proc/meminfo: memFree=26859064/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=94028 CPUtime=3.09 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 30510 0 0 0 306 3 0 0 20 0 2 0 332322014 96284672 7607 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 23507 7607 190 433 0 23071 0
[pid=12639/tid=12641] ppid=12637 vsize=94028 CPUtime=2.95 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 26820 0 0 0 292 3 0 0 20 0 2 0 332322026 96284672 7607 33554432000 4194304 5964350 140735143053776 140515182786904 5139055 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 94028
[startup+6.30033 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 12641
/proc/meminfo: memFree=26852492/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=94028 CPUtime=6.28 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 48399 0 0 0 622 6 0 0 20 0 2 0 332322014 96284672 9138 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 23507 9138 194 433 0 23071 0
[pid=12639/tid=12641] ppid=12637 vsize=94028 CPUtime=6.15 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 44709 0 0 0 609 6 0 0 20 0 2 0 332322026 96284672 9138 33554432000 4194304 5964350 140735143053776 140515182786904 4220672 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) 94028
[startup+12.7001 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 12641
/proc/meminfo: memFree=26839656/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=94028 CPUtime=12.68 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 51262 0 0 0 1261 7 0 0 20 0 2 0 332322014 96284672 11698 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 23507 11698 194 433 0 23071 0
[pid=12639/tid=12641] ppid=12637 vsize=94028 CPUtime=12.53 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 47572 0 0 0 1246 7 0 0 20 0 2 0 332322026 96284672 11698 33554432000 4194304 5964350 140735143053776 140515182786552 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 94028
[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 12641
/proc/meminfo: memFree=26815888/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=94028 CPUtime=25.48 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 56271 0 0 0 2539 9 0 0 20 0 2 0 332322014 96284672 16707 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 23507 16707 194 433 0 23071 0
[pid=12639/tid=12641] ppid=12637 vsize=94028 CPUtime=25.3 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 52581 0 0 0 2521 9 0 0 20 0 2 0 332322026 96284672 16707 33554432000 4194304 5964350 140735143053776 140515182786552 4399938 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) 94028
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 12641
/proc/meminfo: memFree=26806128/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=94028 CPUtime=51.08 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 58448 0 0 0 5098 10 0 0 20 0 2 0 332322014 96284672 18884 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 23507 18884 194 433 0 23071 0
[pid=12639/tid=12641] ppid=12637 vsize=94028 CPUtime=50.83 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 54758 0 0 0 5073 10 0 0 20 0 2 0 332322026 96284672 18884 33554432000 4194304 5964350 140735143053776 140515182786552 4399976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 94028
[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 12641
/proc/meminfo: memFree=26778536/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=160648 CPUtime=102.28 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 64727 0 0 0 10215 13 0 0 20 0 2 0 332322014 164503552 25163 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 40162 25163 194 433 0 39726 0
[pid=12639/tid=12641] ppid=12637 vsize=160648 CPUtime=101.91 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 61037 0 0 0 10177 14 0 0 20 0 2 0 332322026 164503552 25163 33554432000 4194304 5964350 140735143053776 140515182786360 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 160648
[startup+162.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 12642
/proc/meminfo: memFree=26722596/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=159564 CPUtime=162.27 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 72242 0 0 0 16210 17 0 0 20 0 2 0 332322014 163393536 32459 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 39891 32459 194 433 0 39455 0
[pid=12639/tid=12641] ppid=12637 vsize=159564 CPUtime=161.75 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 68552 0 0 0 16157 18 0 0 20 0 2 0 332322026 163393536 32459 33554432000 4194304 5964350 140735143053776 140515182787096 4400439 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 159564
[startup+222.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12642
/proc/meminfo: memFree=26709856/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=159564 CPUtime=222.26 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 72408 0 0 0 22209 17 0 0 20 0 2 0 332322014 163393536 32625 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 39891 32625 194 433 0 39455 0
[pid=12639/tid=12641] ppid=12637 vsize=159564 CPUtime=221.6 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 68718 0 0 0 22141 19 0 0 20 0 2 0 332322026 163393536 32625 33554432000 4194304 5964350 140735143053776 140515182787096 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 159564
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12642
/proc/meminfo: memFree=26708740/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=159564 CPUtime=282.25 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 72530 0 0 0 28208 17 0 0 20 0 2 0 332322014 163393536 32747 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 39891 32747 194 433 0 39455 0
[pid=12639/tid=12641] ppid=12637 vsize=159564 CPUtime=281.44 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 68840 0 0 0 28124 20 0 0 20 0 2 0 332322026 163393536 32747 33554432000 4194304 5964350 140735143053776 140515182787096 4399858 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 159564
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12642
/proc/meminfo: memFree=26704620/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=159564 CPUtime=342.2 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 72692 0 0 0 34203 17 0 0 20 0 2 0 332322014 163393536 32925 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 39891 32925 194 433 0 39455 0
[pid=12639/tid=12641] ppid=12637 vsize=159564 CPUtime=341.25 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 69002 0 0 0 34103 22 0 0 20 0 2 0 332322026 163393536 32925 33554432000 4194304 5964350 140735143053776 140515182787096 4400035 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 159564
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12642
/proc/meminfo: memFree=26699160/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=159564 CPUtime=402.19 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 72698 0 0 0 40202 17 0 0 20 0 2 0 332322014 163393536 33120 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 39891 33120 194 433 0 39455 0
[pid=12639/tid=12641] ppid=12637 vsize=159564 CPUtime=401.09 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 69008 0 0 0 40086 23 0 0 20 0 2 0 332322026 163393536 33120 33554432000 4194304 5964350 140735143053776 140515182787096 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 159564
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 12646
/proc/meminfo: memFree=26671660/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=159564 CPUtime=462.18 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 12755
/proc/meminfo: memFree=26689268/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=425356 CPUtime=1361.96 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 127091 0 0 0 136138 58 0 0 20 0 2 0 332322014 435564544 90044 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 106339 90044 194 433 0 105903 0
[pid=12639/tid=12641] ppid=12637 vsize=425356 CPUtime=1358.55 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 123401 0 0 0 135777 78 0 0 20 0 2 0 332322026 435564544 90044 33554432000 4194304 5964350 140735143053776 140515182786360 4400011 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 425356
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12755
/proc/meminfo: memFree=26655988/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=425356 CPUtime=1421.96 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 127698 0 0 0 142138 58 0 0 20 0 2 0 332322014 435564544 90650 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 106339 90650 194 433 0 105903 0
[pid=12639/tid=12641] ppid=12637 vsize=425356 CPUtime=1418.41 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 124008 0 0 0 141762 79 0 0 20 0 2 0 332322026 435564544 90650 33554432000 4194304 5964350 140735143053776 140515182786360 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 425356
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12755
/proc/meminfo: memFree=26654136/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=421708 CPUtime=1481.94 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 128477 0 0 0 148136 58 0 0 20 0 2 0 332322014 431828992 90762 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 105427 90762 194 433 0 104991 0
[pid=12639/tid=12641] ppid=12637 vsize=421708 CPUtime=1478.25 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 124787 0 0 0 147745 80 0 0 20 0 2 0 332322026 431828992 90762 33554432000 4194304 5964350 140735143053776 140515182787512 4400023 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 421708
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12755
/proc/meminfo: memFree=26654072/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=421708 CPUtime=1541.94 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 128477 0 0 0 154136 58 0 0 20 0 2 0 332322014 431828992 90762 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 105427 90762 194 433 0 104991 0
[pid=12639/tid=12641] ppid=12637 vsize=421708 CPUtime=1538.1 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 124787 0 0 0 153729 81 0 0 20 0 2 0 332322026 431828992 90762 33554432000 4194304 5964350 140735143053776 140515182787512 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 421708
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12755
/proc/meminfo: memFree=26652312/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=421708 CPUtime=1601.91 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 128498 0 0 0 160133 58 0 0 20 0 2 0 332322014 431828992 91137 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 105427 91137 194 433 0 104991 0
[pid=12639/tid=12641] ppid=12637 vsize=421708 CPUtime=1597.93 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 124808 0 0 0 159711 82 0 0 20 0 2 0 332322026 431828992 91137 33554432000 4194304 5964350 140735143053776 140515182787512 4400023 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 421708
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 12759
/proc/meminfo: memFree=26652596/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=421708 CPUtime=1661.9 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 128498 0 0 0 166132 58 0 0 20 0 2 0 332322014 431828992 91137 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 105427 91137 194 433 0 104991 0
[pid=12639/tid=12641] ppid=12637 vsize=421708 CPUtime=1657.77 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 124808 0 0 0 165694 83 0 0 20 0 2 0 332322026 431828992 91137 33554432000 4194304 5964350 140735143053776 140515182787512 4388148 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 421708
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 12782
/proc/meminfo: memFree=26652568/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=421708 CPUtime=1721.89 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 128499 0 0 0 172131 58 0 0 20 0 2 0 332322014 431828992 91138 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 105427 91138 194 433 0 104991 0
[pid=12639/tid=12641] ppid=12637 vsize=421708 CPUtime=1717.62 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 124809 0 0 0 171678 84 0 0 20 0 2 0 332322026 431828992 91138 33554432000 4194304 5964350 140735143053776 140515182787512 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 421708
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12782
/proc/meminfo: memFree=26626152/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=421708 CPUtime=1781.88 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 128503 0 0 0 178130 58 0 0 20 0 2 0 332322014 431828992 91142 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 105427 91142 194 433 0 104991 0
[pid=12639/tid=12641] ppid=12637 vsize=421708 CPUtime=1777.47 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 124813 0 0 0 177662 85 0 0 20 0 2 0 332322026 431828992 91142 33554432000 4194304 5964350 140735143053776 140515182787512 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 421708
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 12782
/proc/meminfo: memFree=26624220/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=421708 CPUtime=1791.59 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 128503 0 0 0 179101 58 0 0 20 0 2 0 332322014 431828992 91142 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 105427 91142 194 433 0 104991 0
[pid=12639/tid=12641] ppid=12637 vsize=421708 CPUtime=1787.15 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 124813 0 0 0 178630 85 0 0 20 0 2 0 332322026 431828992 91142 33554432000 4194304 5964350 140735143053776 140515182787512 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 421708
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12782
/proc/meminfo: memFree=26624096/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=421708 CPUtime=1794.79 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 128503 0 0 0 179421 58 0 0 20 0 2 0 332322014 431828992 91142 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 105427 91142 194 433 0 104991 0
[pid=12639/tid=12641] ppid=12637 vsize=421708 CPUtime=1790.34 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 124813 0 0 0 178949 85 0 0 20 0 2 0 332322026 431828992 91142 33554432000 4194304 5964350 140735143053776 140515182787512 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 421708
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12782
/proc/meminfo: memFree=26623972/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=421708 CPUtime=1797.98 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 128503 0 0 0 179740 58 0 0 20 0 2 0 332322014 431828992 91142 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 105427 91142 194 433 0 104991 0
[pid=12639/tid=12641] ppid=12637 vsize=421708 CPUtime=1793.52 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 124813 0 0 0 179267 85 0 0 20 0 2 0 332322026 431828992 91142 33554432000 4194304 5964350 140735143053776 140515182787512 4400011 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 421708
[startup+1799.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12782
/proc/meminfo: memFree=26623972/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=421708 CPUtime=1798.78 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 128503 0 0 0 179820 58 0 0 20 0 2 0 332322014 431828992 91142 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 105427 91142 194 433 0 104991 0
[pid=12639/tid=12641] ppid=12637 vsize=421708 CPUtime=1794.32 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 124813 0 0 0 179347 85 0 0 20 0 2 0 332322026 431828992 91142 33554432000 4194304 5964350 140735143053776 140515182787512 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.78
Current children cumulated vsize (KiB) 421708
[startup+1799.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12782
/proc/meminfo: memFree=26623972/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=421708 CPUtime=1799.18 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 128503 0 0 0 179860 58 0 0 20 0 2 0 332322014 431828992 91142 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 105427 91142 194 433 0 104991 0
[pid=12639/tid=12641] ppid=12637 vsize=421708 CPUtime=1794.73 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 124813 0 0 0 179388 85 0 0 20 0 2 0 332322026 431828992 91142 33554432000 4194304 5964350 140735143053776 140515182787512 4399998 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.18
Current children cumulated vsize (KiB) 421708
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12782
/proc/meminfo: memFree=26623972/32873660 swapFree=7120/7120
[pid=12639] ppid=12637 vsize=421708 CPUtime=1799.58 cores=0,2,4,6
/proc/12639/stat : 12639 (wbo1.72) S 12637 12639 9917 0 -1 4202496 128504 0 0 0 179900 58 0 0 20 0 2 0 332322014 431828992 91143 33554432000 4194304 5964350 140735143053776 140735143053296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12639/statm: 105427 91143 194 433 0 104991 0
[pid=12639/tid=12641] ppid=12637 vsize=421708 CPUtime=1795.12 cores=0,2,4,6
/proc/12639/task/12641/stat : 12641 (wbo1.72) R 12637 12639 9917 0 -1 4202560 124814 0 0 0 179427 85 0 0 20 0 2 0 332322026 431828992 91143 33554432000 4194304 5964350 140735143053776 140515182787512 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.58
Current children cumulated vsize (KiB) 421708
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12639 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=404209
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=863868
# CPU time returned by wait4() is 1795.27
# while last known CPU time is 1799.58
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.58
CPU user time (s): 1799
CPU system time (s): 0.58
CPU usage (%): 99.9762
Max. virtual memory (cumulated for all children) (KiB): 425356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.4
system time used= 0.863868
maximum resident set size= 365700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128506
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= 154
involuntary context switches= 1849
runsolver used 7.44587 second user time and 16.6405 second system time
The end