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-3704908-1338117349/watcher-3704908-1338117349 -o /tmp/evaluation-result-3704908-1338117349/solver-3704908-1338117349 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704908-1338117349.opb
running on 4 cores: 1,3,5,7
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.01 2.01 2.00 3/177 5743
/proc/meminfo: memFree=29427616/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=5644 CPUtime=0 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) R 5741 5743 2698 0 -1 4202496 601 0 0 0 0 0 0 0 20 0 1 0 277859317 5779456 553 33554432000 4194304 5963574 140733851770912 140733421992536 5178775 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 1411 553 164 432 0 673 0
[startup+0.0396329 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5743
/proc/meminfo: memFree=29427616/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=9564 CPUtime=0.03 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) R 5741 5743 2698 0 -1 4202496 1644 0 0 0 3 0 0 0 20 0 1 0 277859317 9793536 1596 33554432000 4194304 5963574 140733851770912 140733421992536 4343959 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 2391 1596 276 432 0 1653 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9564
[startup+0.1002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5743
/proc/meminfo: memFree=29427616/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=93248 CPUtime=0.09 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 3951 0 0 0 9 0 0 0 20 0 2 0 277859317 95485952 3600 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 23312 3600 177 432 0 22877 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 93248
[startup+0.300197 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5743
/proc/meminfo: memFree=29427616/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=93084 CPUtime=0.29 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 5659 0 0 0 29 0 0 0 20 0 2 0 277859317 95318016 4841 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 23271 4841 187 432 0 22836 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 93084
[startup+0.700133 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5743
/proc/meminfo: memFree=29427616/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=93084 CPUtime=0.69 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 5936 0 0 0 69 0 0 0 20 0 2 0 277859317 95318016 5118 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 23271 5118 187 432 0 22836 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 93084
[startup+1.50032 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 5745
/proc/meminfo: memFree=29407668/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=93084 CPUtime=1.48 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 6342 0 0 0 148 0 0 0 20 0 2 0 277859317 95318016 5524 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 23271 5524 187 432 0 22836 0
[pid=5743/tid=5745] ppid=5741 vsize=93084 CPUtime=1.39 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 3467 0 0 0 139 0 0 0 20 0 2 0 277859326 95318016 5524 33554432000 4194304 5963574 140733851770912 140355161217064 4388646 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 93084
[startup+3.10035 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 5745
/proc/meminfo: memFree=29404668/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=93084 CPUtime=3.09 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 7285 0 0 0 308 1 0 0 20 0 2 0 277859317 95318016 6467 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 23271 6467 187 432 0 22836 0
[pid=5743/tid=5745] ppid=5741 vsize=93084 CPUtime=2.98 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 4410 0 0 0 297 1 0 0 20 0 2 0 277859326 95318016 6467 33554432000 4194304 5963574 140733851770912 140355161217016 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 93084
[startup+6.30035 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 5745
/proc/meminfo: memFree=29396360/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=93084 CPUtime=6.29 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 9403 0 0 0 627 2 0 0 20 0 2 0 277859317 95318016 8585 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 23271 8585 187 432 0 22836 0
[pid=5743/tid=5745] ppid=5741 vsize=93084 CPUtime=6.17 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 6528 0 0 0 616 1 0 0 20 0 2 0 277859326 95318016 8585 33554432000 4194304 5963574 140733851770912 140355161217016 4381529 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 93084
[startup+12.7004 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 5745
/proc/meminfo: memFree=29385084/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=93084 CPUtime=12.68 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 11680 0 0 0 1266 2 0 0 20 0 2 0 277859317 95318016 10862 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 23271 10862 187 432 0 22836 0
[pid=5743/tid=5745] ppid=5741 vsize=93084 CPUtime=12.56 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 8805 0 0 0 1254 2 0 0 20 0 2 0 277859326 95318016 10862 33554432000 4194304 5963574 140733851770912 140355161216824 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 93084
[startup+25.5004 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 5745
/proc/meminfo: memFree=29377032/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=93084 CPUtime=25.48 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 13612 0 0 0 2545 3 0 0 20 0 2 0 277859317 95318016 12794 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 23271 12794 187 432 0 22836 0
[pid=5743/tid=5745] ppid=5741 vsize=93084 CPUtime=25.32 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 10737 0 0 0 2529 3 0 0 20 0 2 0 277859326 95318016 12794 33554432000 4194304 5963574 140733851770912 140355161217016 4392418 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 93084
[startup+51.1004 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 5745
/proc/meminfo: memFree=29332640/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=158620 CPUtime=51.07 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 24972 0 0 0 5101 6 0 0 20 0 2 0 277859317 162426880 24154 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 39655 24154 187 432 0 39220 0
[pid=5743/tid=5745] ppid=5741 vsize=158620 CPUtime=50.86 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 22097 0 0 0 5080 6 0 0 20 0 2 0 277859326 162426880 24154 33554432000 4194304 5963574 140733851770912 140355161216824 4399952 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 158620
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 5784
/proc/meminfo: memFree=29839712/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=159344 CPUtime=102.26 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 33567 0 0 0 10215 11 0 0 20 0 2 0 277859317 163168256 32978 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 39836 32978 187 432 0 39401 0
[pid=5743/tid=5745] ppid=5741 vsize=159344 CPUtime=101.91 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 30692 0 0 0 10179 12 0 0 20 0 2 0 277859326 163168256 32978 33554432000 4194304 5963574 140733851770912 140355161217016 4399623 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 159344
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 5785
/proc/meminfo: memFree=29753880/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=224880 CPUtime=162.23 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 41484 0 0 0 16209 14 0 0 20 0 2 0 277859317 230277120 40863 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 56220 40863 187 432 0 55785 0
[pid=5743/tid=5745] ppid=5741 vsize=224880 CPUtime=161.72 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 38609 0 0 0 16157 15 0 0 20 0 2 0 277859326 230277120 40863 33554432000 4194304 5963574 140733851770912 140355161216824 4381510 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 224880
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5785
/proc/meminfo: memFree=29661776/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=290776 CPUtime=222.21 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 53160 0 0 0 22203 18 0 0 20 0 2 0 277859317 297754624 52539 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 72694 52539 187 432 0 72259 0
[pid=5743/tid=5745] ppid=5741 vsize=290776 CPUtime=221.56 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 50285 0 0 0 22135 21 0 0 20 0 2 0 277859326 297754624 52539 33554432000 4194304 5963574 140733851770912 140355161217160 4381793 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 290776
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5788
/proc/meminfo: memFree=29624196/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=290776 CPUtime=282.2 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 55864 0 0 0 28201 19 0 0 20 0 2 0 277859317 297754624 55237 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 72694 55237 187 432 0 72259 0
[pid=5743/tid=5745] ppid=5741 vsize=290776 CPUtime=281.39 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 52989 0 0 0 28116 23 0 0 20 0 2 0 277859326 297754624 55237 33554432000 4194304 5963574 140733851770912 140355161216824 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 290776
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5788
/proc/meminfo: memFree=29520380/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=290776 CPUtime=342.19 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 67004 0 0 0 34195 24 0 0 20 0 2 0 277859317 297754624 66361 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 72694 66361 187 432 0 72259 0
[pid=5743/tid=5745] ppid=5741 vsize=290776 CPUtime=341.22 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 64129 0 0 0 34094 28 0 0 20 0 2 0 277859326 297754624 66361 33554432000 4194304 5963574 140733851770912 140355161216824 4381565 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 290776
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5788
/proc/meminfo: memFree=29435472/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=356312 CPUtime=402.18 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 76902 0 0 0 40191 27 0 0 20 0 2 0 277859317 364863488 76758 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 89078 76758 187 432 0 88643 0
[pid=5743/tid=5745] ppid=5741 vsize=356312 CPUtime=401.06 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 74027 0 0 0 40073 33 0 0 20 0 2 0 277859326 364863488 76758 33554432000 4194304 5963574 140733851770912 140355161217016 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 356312
[startup+462.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 5789
/proc/meminfo: memFree=29435416/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=356312 CPUtime=462.17 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 5796
/proc/meminfo: memFree=29054604/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=553460 CPUtime=1421.94 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 125384 0 0 0 142145 49 0 0 20 0 2 0 277859317 566743040 125359 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 138365 125359 187 432 0 137930 0
[pid=5743/tid=5745] ppid=5741 vsize=553460 CPUtime=1418.37 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 122509 0 0 0 141767 70 0 0 20 0 2 0 277859326 566743040 125359 33554432000 4194304 5963574 140733851770912 140355161217016 4431430 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 553460
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 5799
/proc/meminfo: memFree=29054524/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=553460 CPUtime=1481.93 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 125384 0 0 0 148144 49 0 0 20 0 2 0 277859317 566743040 125359 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 138365 125359 187 432 0 137930 0
[pid=5743/tid=5745] ppid=5741 vsize=553460 CPUtime=1478.21 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 122509 0 0 0 147750 71 0 0 20 0 2 0 277859326 566743040 125359 33554432000 4194304 5963574 140733851770912 140355161217016 4399451 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 553460
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 5799
/proc/meminfo: memFree=29054656/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=553460 CPUtime=1541.92 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 125384 0 0 0 154143 49 0 0 20 0 2 0 277859317 566743040 125359 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 138365 125359 187 432 0 137930 0
[pid=5743/tid=5745] ppid=5741 vsize=553460 CPUtime=1538.06 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 122509 0 0 0 153734 72 0 0 20 0 2 0 277859326 566743040 125359 33554432000 4194304 5963574 140733851770912 140355161217016 4399605 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 553460
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 5799
/proc/meminfo: memFree=29028120/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=553460 CPUtime=1601.91 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 125384 0 0 0 160142 49 0 0 20 0 2 0 277859317 566743040 125359 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 138365 125359 187 432 0 137930 0
[pid=5743/tid=5745] ppid=5741 vsize=553460 CPUtime=1597.9 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 122509 0 0 0 159717 73 0 0 20 0 2 0 277859326 566743040 125359 33554432000 4194304 5963574 140733851770912 140355161217016 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 553460
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5799
/proc/meminfo: memFree=28947404/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=553460 CPUtime=1661.9 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 125384 0 0 0 166141 49 0 0 20 0 2 0 277859317 566743040 125359 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 138365 125359 187 432 0 137930 0
[pid=5743/tid=5745] ppid=5741 vsize=553460 CPUtime=1657.75 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 122509 0 0 0 165701 74 0 0 20 0 2 0 277859326 566743040 125359 33554432000 4194304 5963574 140733851770912 140355161217016 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 553460
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5800
/proc/meminfo: memFree=28910692/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=553460 CPUtime=1721.89 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 134471 0 0 0 172137 52 0 0 20 0 2 0 277859317 566743040 134446 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 138365 134446 187 432 0 137930 0
[pid=5743/tid=5745] ppid=5741 vsize=553460 CPUtime=1717.6 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 131596 0 0 0 171682 78 0 0 20 0 2 0 277859326 566743040 134446 33554432000 4194304 5963574 140733851770912 140355161217016 4403156 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 553460
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5800
/proc/meminfo: memFree=28910444/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=553460 CPUtime=1781.88 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 134471 0 0 0 178136 52 0 0 20 0 2 0 277859317 566743040 134446 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 138365 134446 187 432 0 137930 0
[pid=5743/tid=5745] ppid=5741 vsize=553460 CPUtime=1777.44 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 131596 0 0 0 177665 79 0 0 20 0 2 0 277859326 566743040 134446 33554432000 4194304 5963574 140733851770912 140355161217016 4381213 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 553460
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 5800
/proc/meminfo: memFree=28910692/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=553460 CPUtime=1791.48 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 134472 0 0 0 179096 52 0 0 20 0 2 0 277859317 566743040 134447 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 138365 134447 187 432 0 137930 0
[pid=5743/tid=5745] ppid=5741 vsize=553460 CPUtime=1787.02 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 131597 0 0 0 178623 79 0 0 20 0 2 0 277859326 566743040 134447 33554432000 4194304 5963574 140733851770912 140355161217016 4381238 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (KiB) 553460
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5800
/proc/meminfo: memFree=28910692/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=553460 CPUtime=1794.68 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 134472 0 0 0 179416 52 0 0 20 0 2 0 277859317 566743040 134447 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 138365 134447 187 432 0 137930 0
[pid=5743/tid=5745] ppid=5741 vsize=553460 CPUtime=1790.22 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 131597 0 0 0 178943 79 0 0 20 0 2 0 277859326 566743040 134447 33554432000 4194304 5963574 140733851770912 140355161217016 4399592 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.68
Current children cumulated vsize (KiB) 553460
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5800
/proc/meminfo: memFree=28910692/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=553460 CPUtime=1797.87 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 134472 0 0 0 179735 52 0 0 20 0 2 0 277859317 566743040 134447 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 138365 134447 187 432 0 137930 0
[pid=5743/tid=5745] ppid=5741 vsize=553460 CPUtime=1793.4 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 131597 0 0 0 179261 79 0 0 20 0 2 0 277859326 566743040 134447 33554432000 4194304 5963574 140733851770912 140355161217016 4381112 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 553460
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5800
/proc/meminfo: memFree=28910692/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=553460 CPUtime=1798.67 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 134472 0 0 0 179815 52 0 0 20 0 2 0 277859317 566743040 134447 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 138365 134447 187 432 0 137930 0
[pid=5743/tid=5745] ppid=5741 vsize=553460 CPUtime=1794.2 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 131597 0 0 0 179341 79 0 0 20 0 2 0 277859326 566743040 134447 33554432000 4194304 5963574 140733851770912 140355161217016 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (KiB) 553460
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5800
/proc/meminfo: memFree=28910692/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=553460 CPUtime=1799.08 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 134472 0 0 0 179856 52 0 0 20 0 2 0 277859317 566743040 134447 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 138365 134447 187 432 0 137930 0
[pid=5743/tid=5745] ppid=5741 vsize=553460 CPUtime=1794.61 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 131597 0 0 0 179382 79 0 0 20 0 2 0 277859326 566743040 134447 33554432000 4194304 5963574 140733851770912 140355161217016 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.08
Current children cumulated vsize (KiB) 553460
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5800
/proc/meminfo: memFree=28910692/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=553460 CPUtime=1799.47 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 134472 0 0 0 179895 52 0 0 20 0 2 0 277859317 566743040 134447 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 138365 134447 187 432 0 137930 0
[pid=5743/tid=5745] ppid=5741 vsize=553460 CPUtime=1795 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 131597 0 0 0 179421 79 0 0 20 0 2 0 277859326 566743040 134447 33554432000 4194304 5963574 140733851770912 140355161217016 4381238 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 553460
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5800
/proc/meminfo: memFree=28910692/32873844 swapFree=7628/7628
[pid=5743] ppid=5741 vsize=553460 CPUtime=1799.57 cores=1,3,5,7
/proc/5743/stat : 5743 (wbo1.7) S 5741 5743 2698 0 -1 4202496 134472 0 0 0 179905 52 0 0 20 0 2 0 277859317 566743040 134447 33554432000 4194304 5963574 140733851770912 140733851770432 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5743/statm: 138365 134447 187 432 0 137930 0
[pid=5743/tid=5745] ppid=5741 vsize=553460 CPUtime=1795.1 cores=1,3,5,7
/proc/5743/task/5745/stat : 5745 (wbo1.7) R 5741 5743 2698 0 -1 4202560 131597 0 0 0 179431 79 0 0 20 0 2 0 277859326 566743040 134447 33554432000 4194304 5963574 140733851770912 140355161217016 4399605 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (KiB) 553460
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5743 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=407208
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=811876
# CPU time returned by wait4() is 1795.22
# while last known CPU time is 1799.57
#
# 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.57
CPU user time (s): 1799.05
CPU system time (s): 0.52
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 553460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.41
system time used= 0.811876
maximum resident set size= 537792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134473
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= 224
involuntary context switches= 2419
runsolver used 6.30504 second user time and 11.2713 second system time
The end