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-3704601-1338084166/watcher-3704601-1338084166 -o /tmp/evaluation-result-3704601-1338084166/solver-3704601-1338084166 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704601-1338084166.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.00 2.00 2.00 3/177 29766
/proc/meminfo: memFree=29004320/32873648 swapFree=6844/6844
[pid=29766] ppid=29764 vsize=83672 CPUtime=0 cores=1,3,5,7
/proc/29766/stat : 29766 (wbo1.7) S 29764 29766 27916 0 -1 4202496 807 0 0 0 0 0 0 0 20 0 2 0 274542425 85680128 758 33554432000 4194304 5963574 140734393890448 140734393889968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29766/statm: 20918 758 184 432 0 20483 0
[pid=29766/tid=29767] ppid=29764 vsize=83672 CPUtime=0 cores=1,3,5,7
/proc/29766/task/29767/stat : 29767 (wbo1.7) R 29764 29766 27916 0 -1 4202560 81 0 0 0 0 0 0 0 20 0 2 0 274542425 85680128 758 33554432000 4194304 5963574 140734393890448 140734093295736 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.100902 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29766
/proc/meminfo: memFree=29004320/32873648 swapFree=6844/6844
[pid=29766] ppid=29764 vsize=83672 CPUtime=0.09 cores=1,3,5,7
/proc/29766/stat : 29766 (wbo1.7) S 29764 29766 27916 0 -1 4202496 1013 0 0 0 9 0 0 0 20 0 2 0 274542425 85680128 964 33554432000 4194304 5963574 140734393890448 140734393889968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29766/statm: 20918 964 185 432 0 20483 0
[pid=29766/tid=29767] ppid=29764 vsize=83672 CPUtime=0.08 cores=1,3,5,7
/proc/29766/task/29767/stat : 29767 (wbo1.7) R 29764 29766 27916 0 -1 4202560 287 0 0 0 8 0 0 0 20 0 2 0 274542425 85680128 964 33554432000 4194304 5963574 140734393890448 140734093295736 4399968 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83672
[startup+0.200242 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29766
/proc/meminfo: memFree=29004320/32873648 swapFree=6844/6844
[pid=29766] ppid=29764 vsize=83672 CPUtime=0.19 cores=1,3,5,7
/proc/29766/stat : 29766 (wbo1.7) S 29764 29766 27916 0 -1 4202496 1145 0 0 0 19 0 0 0 20 0 2 0 274542425 85680128 1096 33554432000 4194304 5963574 140734393890448 140734393889968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29766/statm: 20918 1096 185 432 0 20483 0
[pid=29766/tid=29767] ppid=29764 vsize=83672 CPUtime=0.18 cores=1,3,5,7
/proc/29766/task/29767/stat : 29767 (wbo1.7) R 29764 29766 27916 0 -1 4202560 419 0 0 0 18 0 0 0 20 0 2 0 274542425 85680128 1096 33554432000 4194304 5963574 140734393890448 140734093295736 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 83672
[startup+0.300237 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29766
/proc/meminfo: memFree=29004320/32873648 swapFree=6844/6844
[pid=29766] ppid=29764 vsize=83672 CPUtime=0.29 cores=1,3,5,7
/proc/29766/stat : 29766 (wbo1.7) S 29764 29766 27916 0 -1 4202496 1223 0 0 0 29 0 0 0 20 0 2 0 274542425 85680128 1174 33554432000 4194304 5963574 140734393890448 140734393889968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29766/statm: 20918 1174 185 432 0 20483 0
[pid=29766/tid=29767] ppid=29764 vsize=83672 CPUtime=0.28 cores=1,3,5,7
/proc/29766/task/29767/stat : 29767 (wbo1.7) R 29764 29766 27916 0 -1 4202560 497 0 0 0 28 0 0 0 20 0 2 0 274542425 85680128 1174 33554432000 4194304 5963574 140734393890448 140734093295736 4400093 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83672
[startup+0.700211 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29766
/proc/meminfo: memFree=29004320/32873648 swapFree=6844/6844
[pid=29766] ppid=29764 vsize=83672 CPUtime=0.69 cores=1,3,5,7
/proc/29766/stat : 29766 (wbo1.7) S 29764 29766 27916 0 -1 4202496 1499 0 0 0 69 0 0 0 20 0 2 0 274542425 85680128 1450 33554432000 4194304 5963574 140734393890448 140734393889968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29766/statm: 20918 1450 185 432 0 20483 0
[pid=29766/tid=29767] ppid=29764 vsize=83672 CPUtime=0.68 cores=1,3,5,7
/proc/29766/task/29767/stat : 29767 (wbo1.7) R 29764 29766 27916 0 -1 4202560 773 0 0 0 68 0 0 0 20 0 2 0 274542425 85680128 1450 33554432000 4194304 5963574 140734393890448 140613135656760 4399592 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83672
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29768
/proc/meminfo: memFree=28997368/32873648 swapFree=6844/6844
[pid=29766] ppid=29764 vsize=83672 CPUtime=1.49 cores=1,3,5,7
/proc/29766/stat : 29766 (wbo1.7) S 29764 29766 27916 0 -1 4202496 1880 0 0 0 149 0 0 0 20 0 2 0 274542425 85680128 1831 33554432000 4194304 5963574 140734393890448 140734393889968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29766/statm: 20918 1831 185 432 0 20483 0
[pid=29766/tid=29767] ppid=29764 vsize=83672 CPUtime=1.48 cores=1,3,5,7
/proc/29766/task/29767/stat : 29767 (wbo1.7) R 29764 29766 27916 0 -1 4202560 1154 0 0 0 148 0 0 0 20 0 2 0 274542425 85680128 1831 33554432000 4194304 5963574 140734393890448 140613135656760 4399592 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83672
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29768
/proc/meminfo: memFree=28993896/32873648 swapFree=6844/6844
[pid=29766] ppid=29764 vsize=83816 CPUtime=3.09 cores=1,3,5,7
/proc/29766/stat : 29766 (wbo1.7) S 29764 29766 27916 0 -1 4202496 2212 0 0 0 309 0 0 0 20 0 2 0 274542425 85827584 2163 33554432000 4194304 5963574 140734393890448 140734393889968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29766/statm: 20954 2163 185 432 0 20519 0
[pid=29766/tid=29767] ppid=29764 vsize=83816 CPUtime=3.07 cores=1,3,5,7
/proc/29766/task/29767/stat : 29767 (wbo1.7) R 29764 29766 27916 0 -1 4202560 1486 0 0 0 307 0 0 0 20 0 2 0 274542425 85827584 2163 33554432000 4194304 5963574 140734393890448 140613135656760 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83816
[startup+6.30021 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 29768
/proc/meminfo: memFree=28987716/32873648 swapFree=6844/6844
[pid=29766] ppid=29764 vsize=83816 CPUtime=6.29 cores=1,3,5,7
/proc/29766/stat : 29766 (wbo1.7) S 29764 29766 27916 0 -1 4202496 3048 0 0 0 629 0 0 0 20 0 2 0 274542425 85827584 2999 33554432000 4194304 5963574 140734393890448 140734393889968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29766/statm: 20954 2999 185 432 0 20519 0
[pid=29766/tid=29767] ppid=29764 vsize=83816 CPUtime=6.27 cores=1,3,5,7
/proc/29766/task/29767/stat : 29767 (wbo1.7) R 29764 29766 27916 0 -1 4202560 2322 0 0 0 627 0 0 0 20 0 2 0 274542425 85827584 2999 33554432000 4194304 5963574 140734393890448 140613135656952 4400040 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83816
[startup+12.7011 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 29768
/proc/meminfo: memFree=28981416/32873648 swapFree=6844/6844
[pid=29766] ppid=29764 vsize=83888 CPUtime=12.69 cores=1,3,5,7
/proc/29766/stat : 29766 (wbo1.7) S 29764 29766 27916 0 -1 4202496 3989 0 0 0 1268 1 0 0 20 0 2 0 274542425 85901312 3940 33554432000 4194304 5963574 140734393890448 140734393889968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29766/statm: 20972 3940 185 432 0 20537 0
[pid=29766/tid=29767] ppid=29764 vsize=83888 CPUtime=12.65 cores=1,3,5,7
/proc/29766/task/29767/stat : 29767 (wbo1.7) R 29764 29766 27916 0 -1 4202560 3263 0 0 0 1265 0 0 0 20 0 2 0 274542425 85901312 3940 33554432000 4194304 5963574 140734393890448 140613135656952 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83888
[startup+25.5009 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 29768
/proc/meminfo: memFree=28973800/32873648 swapFree=6844/6844
[pid=29766] ppid=29764 vsize=84644 CPUtime=25.48 cores=1,3,5,7
/proc/29766/stat : 29766 (wbo1.7) S 29764 29766 27916 0 -1 4202496 5457 0 0 0 2547 1 0 0 20 0 2 0 274542425 86675456 5408 33554432000 4194304 5963574 140734393890448 140734393889968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29766/statm: 21161 5408 185 432 0 20726 0
[pid=29766/tid=29767] ppid=29764 vsize=84644 CPUtime=25.42 cores=1,3,5,7
/proc/29766/task/29767/stat : 29767 (wbo1.7) R 29764 29766 27916 0 -1 4202560 4731 0 0 0 2541 1 0 0 20 0 2 0 274542425 86675456 5408 33554432000 4194304 5963574 140734393890448 140613135656952 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84644
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 29768
/proc/meminfo: memFree=28959832/32873648 swapFree=6844/6844
[pid=29766] ppid=29764 vsize=86676 CPUtime=51.08 cores=1,3,5,7
/proc/29766/stat : 29766 (wbo1.7) S 29764 29766 27916 0 -1 4202496 7569 0 0 0 5105 3 0 0 20 0 2 0 274542425 88756224 7520 33554432000 4194304 5963574 140734393890448 140734393889968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29766/statm: 21669 7520 185 432 0 21234 0
[pid=29766/tid=29767] ppid=29764 vsize=86676 CPUtime=50.95 cores=1,3,5,7
/proc/29766/task/29767/stat : 29767 (wbo1.7) R 29764 29766 27916 0 -1 4202560 6843 0 0 0 5093 2 0 0 20 0 2 0 274542425 88756224 7520 33554432000 4194304 5963574 140734393890448 140613135656952 5135642 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86676
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 29886
/proc/meminfo: memFree=28770828/32873648 swapFree=6844/6844
[pid=29766] ppid=29764 vsize=91500 CPUtime=102.27 cores=1,3,5,7
/proc/29766/stat : 29766 (wbo1.7) S 29764 29766 27916 0 -1 4202496 10368 0 0 0 10223 4 0 0 20 0 2 0 274542425 93696000 11104 33554432000 4194304 5963574 140734393890448 140734393889968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29766/statm: 22875 11104 185 432 0 22440 0
[pid=29766/tid=29767] ppid=29764 vsize=91500 CPUtime=102.01 cores=1,3,5,7
/proc/29766/task/29767/stat : 29767 (wbo1.7) R 29764 29766 27916 0 -1 4202560 9642 0 0 0 10196 5 0 0 20 0 2 0 274542425 93696000 11104 33554432000 4194304 5963574 140734393890448 140613135657000 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 91500
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29886
/proc/meminfo: memFree=28738972/32873648 swapFree=6844/6844
[pid=29766] ppid=29764 vsize=97284 CPUtime=162.25 cores=1,3,5,7
/proc/29766/stat : 29766 (wbo1.7) S 29764 29766 27916 0 -1 4202496 14633 0 0 0 16218 7 0 0 20 0 2 0 274542425 99618816 15403 33554432000 4194304 5963574 140734393890448 140734393889968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29766/statm: 24321 15403 185 432 0 23886 0
[pid=29766/tid=29767] ppid=29764 vsize=97284 CPUtime=161.84 cores=1,3,5,7
/proc/29766/task/29767/stat : 29767 (wbo1.7) R 29764 29766 27916 0 -1 4202560 13907 0 0 0 16176 8 0 0 20 0 2 0 274542425 99618816 15403 33554432000 4194304 5963574 140734393890448 140613135656952 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 97284
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29886
/proc/meminfo: memFree=28704556/32873648 swapFree=6844/6844
[pid=29766] ppid=29764 vsize=101884 CPUtime=222.25 cores=1,3,5,7
/proc/29766/stat : 29766 (wbo1.7) S 29764 29766 27916 0 -1 4202496 18449 0 0 0 22215 10 0 0 20 0 2 0 274542425 104329216 19215 33554432000 4194304 5963574 140734393890448 140734393889968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29766/statm: 25471 19215 185 432 0 25036 0
[pid=29766/tid=29767] ppid=29764 vsize=101884 CPUtime=221.69 cores=1,3,5,7
/proc/29766/task/29767/stat : 29767 (wbo1.7) R 29764 29766 27916 0 -1 4202560 17723 0 0 0 22157 12 0 0 20 0 2 0 274542425 104329216 19215 33554432000 4194304 5963574 140734393890448 140613135657000 4399639 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 101884
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29886
/proc/meminfo: memFree=28682824/32873648 swapFree=6844/6844
[pid=29766] ppid=29764 vsize=103576 CPUtime=282.23 cores=1,3,5,7
/proc/29766/stat : 29766 (wbo1.7) S 29764 29766 27916 0 -1 4202496 19555 0 0 0 28212 11 0 0 20 0 2 0 274542425 106061824 20321 33554432000 4194304 5963574 140734393890448 140734393889968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29766/statm: 25894 20321 185 432 0 25459 0
[pid=29766/tid=29767] ppid=29764 vsize=103576 CPUtime=281.53 cores=1,3,5,7
/proc/29766/task/29767/stat : 29767 (wbo1.7) R 29764 29766 27916 0 -1 4202560 18829 0 0 0 28138 15 0 0 20 0 2 0 274542425 106061824 20321 33554432000 4194304 5963574 140734393890448 140613135656952 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 103576
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29886
/proc/meminfo: memFree=28655208/32873648 swapFree=6844/6844
[pid=29766] ppid=29764 vsize=171500 CPUtime=342.22 cores=1,3,5,7
/proc/29766/stat : 29766 (wbo1.7) S 29764 29766 27916 0 -1 4202496 22354 0 0 0 34209 13 0 0 20 0 2 0 274542425 175616000 23120 33554432000 4194304 5963574 140734393890448 140734393889968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29766/statm: 42875 23120 185 432 0 42440 0
[pid=29766/tid=29767] ppid=29764 vsize=171500 CPUtime=341.38 cores=1,3,5,7
/proc/29766/task/29767/stat : 29767 (wbo1.7) R 29764 29766 27916 0 -1 4202560 21628 0 0 0 34120 18 0 0 20 0 2 0 274542425 175616000 23120 33554432000 4194304 5963574 140734393890448 140613135656760 4399474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 171500
[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 29886
/proc/meminfo: memFree=28634904/32873648 swapFree=6844/6844
[pid=29766] ppid=29764 vsize=174260 CPUtime=402.2 cores=1,3,5,7
/proc/29766/stat : 29766 (wbo1.7) S 29764 29766 27916 0 -1 4202496 24729 0 0 0 40203 17 0 0 20 0 2 0 274542425 178442240 25498 33554432000 4194304 5963574 140734393890448 140734393889968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29766/statm: 43565 25498 185 432 0 43130 0
[pid=29766/tid=29767] ppid=29764 vsize=174260 CPUtime=401.21 cores=1,3,5,7
/proc/29766/task/29767/stat : 29767 (wbo1.7) R 29764 29766 27916 0 -1 4202560 24003 0 0 0 40099 22 0 0 20 0 2 0 274542425 178442240 25498 33554432000 4194304 5963574 140734393890448 140613135657000 4399560 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 174260
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 29890
/proc/meminfo: memFree=28614212/32873648 swapFree=6844/6844
[pid=29766] ppid=29764 vsize=178316 CPUtime=462.19 cores=1,3,5,7
/proc/29766/stat : 29766 (wbo1.7) S 29764 29766 27916 0 -1 4202496 27628 0 0 0 46200 19 0 0 20 0 2 0 274542425 182595584 28358 33554432000 4194304 5963574 140734393890448 140734393889968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29766/statm: 44579 28358 185 432 0 44144 0
[pid=29766/tid=29767] ppid=29764 vsize=178316 CPUtime=461.05 cores=1,3,5,7
/proc/29766/task/29767/stat : 29767 (wbo1.7) R 29764 29766 27916 0 -1 4202560 26902 0 0 0 46079 26 0 0 20 0 2 0 274542425 182595584 28358 33554432000 4194304 5963574 140734393890448 140613135657000 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 178316
Solver just ended. Dumping a history of the last processes samples
[startup+467.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 29890
/proc/meminfo: memFree=28612972/32873648 swapFree=6844/6844
[pid=29766] ppid=29764 vsize=178316 CPUtime=467.09 cores=1,3,5,7
/proc/29766/stat : 29766 (wbo1.7) S 29764 29766 27916 0 -1 4202496 27822 0 0 0 46690 19 0 0 20 0 2 0 274542425 182595584 28552 33554432000 4194304 5963574 140734393890448 140734393889968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29766/statm: 44579 28552 185 432 0 44144 0
[pid=29766/tid=29767] ppid=29764 vsize=178316 CPUtime=465.94 cores=1,3,5,7
/proc/29766/task/29767/stat : 29767 (wbo1.7) R 29764 29766 27916 0 -1 4202560 27096 0 0 0 46568 26 0 0 20 0 2 0 274542425 182595584 28552 33554432000 4194304 5963574 140734393890448 140613135657000 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 467.09
Current children cumulated vsize (KiB) 178316
[startup+473.601 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 29890
/proc/meminfo: memFree=28611732/32873648 swapFree=6844/6844
[pid=29766] ppid=29764 vsize=178620 CPUtime=473.49 cores=1,3,5,7
/proc/29766/stat : 29766 (wbo1.7) S 29764 29766 27916 0 -1 4202496 27923 0 0 0 47329 20 0 0 20 0 2 0 274542425 182906880 28653 33554432000 4194304 5963574 140734393890448 140734393889968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29766/statm: 44655 28653 185 432 0 44220 0
[pid=29766/tid=29767] ppid=29764 vsize=178620 CPUtime=472.32 cores=1,3,5,7
/proc/29766/task/29767/stat : 29767 (wbo1.7) R 29764 29766 27916 0 -1 4202560 27197 0 0 0 47206 26 0 0 20 0 2 0 274542425 182906880 28653 33554432000 4194304 5963574 140734393890448 140613135656760 4399482 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 473.49
Current children cumulated vsize (KiB) 178620
[startup+475.201 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 29890
/proc/meminfo: memFree=28611488/32873648 swapFree=6844/6844
[pid=29766] ppid=29764 vsize=178620 CPUtime=475.1 cores=1,3,5,7
/proc/29766/stat : 29766 (wbo1.7) S 29764 29766 27916 0 -1 4202496 27925 0 0 0 47490 20 0 0 20 0 2 0 274542425 182906880 28655 33554432000 4194304 5963574 140734393890448 140734393889968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29766/statm: 44655 28655 185 432 0 44220 0
[pid=29766/tid=29767] ppid=29764 vsize=178620 CPUtime=473.93 cores=1,3,5,7
/proc/29766/task/29767/stat : 29767 (wbo1.7) R 29764 29766 27916 0 -1 4202560 27199 0 0 0 47367 26 0 0 20 0 2 0 274542425 182906880 28655 33554432000 4194304 5963574 140734393890448 140613135656760 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 475.1
Current children cumulated vsize (KiB) 178620
[startup+476.8 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 29890
/proc/meminfo: memFree=28611488/32873648 swapFree=6844/6844
[pid=29766] ppid=29764 vsize=178620 CPUtime=476.69 cores=1,3,5,7
/proc/29766/stat : 29766 (wbo1.7) S 29764 29766 27916 0 -1 4202496 27926 0 0 0 47649 20 0 0 20 0 2 0 274542425 182906880 28656 33554432000 4194304 5963574 140734393890448 140734393889968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29766/statm: 44655 28656 185 432 0 44220 0
[pid=29766/tid=29767] ppid=29764 vsize=178620 CPUtime=475.52 cores=1,3,5,7
/proc/29766/task/29767/stat : 29767 (wbo1.7) R 29764 29766 27916 0 -1 4202560 27200 0 0 0 47526 26 0 0 20 0 2 0 274542425 182906880 28656 33554432000 4194304 5963574 140734393890448 140613135656760 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 476.69
Current children cumulated vsize (KiB) 178620
[startup+477.601 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 29890
/proc/meminfo: memFree=28611364/32873648 swapFree=6844/6844
[pid=29766] ppid=29764 vsize=178620 CPUtime=477.49 cores=1,3,5,7
/proc/29766/stat : 29766 (wbo1.7) S 29764 29766 27916 0 -1 4202496 27926 0 0 0 47729 20 0 0 20 0 2 0 274542425 182906880 28656 33554432000 4194304 5963574 140734393890448 140734393889968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29766/statm: 44655 28656 185 432 0 44220 0
[pid=29766/tid=29767] ppid=29764 vsize=178620 CPUtime=476.31 cores=1,3,5,7
/proc/29766/task/29767/stat : 29767 (wbo1.7) R 29764 29766 27916 0 -1 4202560 27200 0 0 0 47605 26 0 0 20 0 2 0 274542425 182906880 28656 33554432000 4194304 5963574 140734393890448 140613135656760 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 477.49
Current children cumulated vsize (KiB) 178620
[startup+478.001 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 29890
/proc/meminfo: memFree=28611364/32873648 swapFree=6844/6844
[pid=29766] ppid=29764 vsize=178620 CPUtime=477.89 cores=1,3,5,7
/proc/29766/stat : 29766 (wbo1.7) S 29764 29766 27916 0 -1 4202496 27926 0 0 0 47769 20 0 0 20 0 2 0 274542425 182906880 28656 33554432000 4194304 5963574 140734393890448 140734393889968 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29766/statm: 44655 28656 185 432 0 44220 0
[pid=29766/tid=29767] ppid=29764 vsize=178620 CPUtime=476.71 cores=1,3,5,7
/proc/29766/task/29767/stat : 29767 (wbo1.7) R 29764 29766 27916 0 -1 4202560 27200 0 0 0 47645 26 0 0 20 0 2 0 274542425 182906880 28656 33554432000 4194304 5963574 140734393890448 140613135656760 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 477.89
Current children cumulated vsize (KiB) 178620
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29766 and gives
# childrusage.ru_utime.tv_sec=476
# childrusage.ru_utime.tv_usec=487562
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=275958
# CPU time returned by wait4() is 476.764
# while last known CPU time is 477.89
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 478.031
CPU time (s): 477.89
CPU user time (s): 477.69
CPU system time (s): 0.2
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 178620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 476.488
system time used= 0.275958
maximum resident set size= 114628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27927
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= 37
involuntary context switches= 580
runsolver used 0.886865 second user time and 2.21266 second system time
The end