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-3727158-1339019553/watcher-3727158-1339019553 -o /tmp/evaluation-result-3727158-1339019553/solver-3727158-1339019553 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727158-1339019553.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.93 2.00 1.72 3/174 20923
/proc/meminfo: memFree=31335188/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=52764 CPUtime=0 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) R 20921 20923 20784 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 368080863 54030336 283 33554432000 4194304 5964350 140735002691680 140735002690168 5180044 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 13191 283 177 433 0 349 0
[startup+0.030373 s]
/proc/loadavg: 1.93 2.00 1.72 3/174 20923
/proc/meminfo: memFree=31335188/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=53944 CPUtime=0.02 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) R 20921 20923 20784 0 -1 4202496 700 0 0 0 2 0 0 0 20 0 1 0 368080863 55238656 653 33554432000 4194304 5964350 140735002691680 140735002690024 4344688 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 13486 654 264 433 0 644 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 53944
[startup+0.100301 s]
/proc/loadavg: 1.93 2.00 1.72 3/174 20923
/proc/meminfo: memFree=31335188/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=57380 CPUtime=0.09 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) R 20921 20923 20784 0 -1 4202496 1831 0 0 0 9 0 0 0 20 0 1 0 368080863 58757120 1751 33554432000 4194304 5964350 140735002691680 140735002690088 5138978 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 14345 1752 537 433 0 1503 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 57380
[startup+0.300286 s]
/proc/loadavg: 1.93 2.00 1.72 3/174 20923
/proc/meminfo: memFree=31335188/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=66488 CPUtime=0.29 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) R 20921 20923 20784 0 -1 4202496 4870 0 0 0 29 0 0 0 20 0 1 0 368080863 68083712 4725 33554432000 4194304 5964350 140735002691680 140735002690088 5156134 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 16622 4727 1295 433 0 3780 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 66488
[startup+0.700256 s]
/proc/loadavg: 1.93 2.00 1.72 3/174 20923
/proc/meminfo: memFree=31335188/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=84060 CPUtime=0.68 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) R 20921 20923 20784 0 -1 4202496 10862 0 0 0 67 1 0 0 20 0 1 0 368080863 86077440 10588 33554432000 4194304 5964350 140735002691680 140735002690088 4344688 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 21015 10588 2811 433 0 8173 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 84060
[startup+1.50025 s]
/proc/loadavg: 1.93 2.00 1.72 3/175 20924
/proc/meminfo: memFree=31267468/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=121652 CPUtime=1.49 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) R 20921 20923 20784 0 -1 4202496 23329 0 0 0 146 3 0 0 20 0 1 0 368080863 124571648 22796 33554432000 4194304 5964350 140735002691680 140735002690056 4344327 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 30413 22797 5983 433 0 17571 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 121652
[startup+3.10025 s]
/proc/loadavg: 1.93 2.00 1.72 3/175 20924
/proc/meminfo: memFree=31218764/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=194928 CPUtime=3.09 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) R 20921 20923 20784 0 -1 4202496 45679 0 0 0 302 7 0 0 20 0 1 0 368080863 199606272 45143 33554432000 4194304 5964350 140735002691680 140735002690024 4419455 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 48732 45143 12018 433 0 35890 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 194928
[startup+6.30034 s]
/proc/loadavg: 1.94 2.00 1.72 3/177 20926
/proc/meminfo: memFree=30998064/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=359128 CPUtime=6.28 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 89828 0 0 0 613 15 0 0 20 0 2 0 368080863 367747072 76827 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 89782 76827 186 433 0 89346 0
[pid=20923/tid=20925] ppid=20921 vsize=359128 CPUtime=3.03 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 42553 0 0 0 295 8 0 0 20 0 2 0 368081188 367747072 76827 33554432000 4194304 5964350 140735002691680 139712518510584 4392925 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) 359128
[startup+12.7003 s]
/proc/loadavg: 1.94 2.00 1.72 3/177 20926
/proc/meminfo: memFree=30986812/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=359128 CPUtime=12.68 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 90923 0 0 0 1252 16 0 0 20 0 2 0 368080863 367747072 77922 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 89782 77922 186 433 0 89346 0
[pid=20923/tid=20925] ppid=20921 vsize=359128 CPUtime=9.41 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 43648 0 0 0 933 8 0 0 20 0 2 0 368081188 367747072 77922 33554432000 4194304 5964350 140735002691680 139712518510392 4392875 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 359128
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 1.73 3/177 20926
/proc/meminfo: memFree=30963740/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=359128 CPUtime=25.48 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 92492 0 0 0 2531 17 0 0 20 0 2 0 368080863 367747072 79491 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 89782 79491 186 433 0 89346 0
[pid=20923/tid=20925] ppid=20921 vsize=359128 CPUtime=22.18 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 45217 0 0 0 2209 9 0 0 20 0 2 0 368081188 367747072 79491 33554432000 4194304 5964350 140735002691680 139712518510392 4222308 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) 359128
[startup+51.1003 s]
/proc/loadavg: 2.08 2.03 1.74 3/178 20938
/proc/meminfo: memFree=30931220/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=359128 CPUtime=51.08 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 95090 0 0 0 5089 19 0 0 20 0 2 0 368080863 367747072 82089 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 89782 82089 186 433 0 89346 0
[pid=20923/tid=20925] ppid=20921 vsize=359128 CPUtime=47.71 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 47815 0 0 0 4760 11 0 0 20 0 2 0 368081188 367747072 82089 33554432000 4194304 5964350 140735002691680 139712518510520 4399840 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) 359128
[startup+102.307 s]
/proc/loadavg: 2.10 2.04 1.76 3/177 20938
/proc/meminfo: memFree=30864088/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=424664 CPUtime=102.27 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 102142 0 0 0 10203 24 0 0 20 0 2 0 368080863 434855936 89142 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 106166 89142 186 433 0 105730 0
[pid=20923/tid=20925] ppid=20921 vsize=424664 CPUtime=98.78 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 54867 0 0 0 9860 18 0 0 20 0 2 0 368081188 434855936 89142 33554432000 4194304 5964350 140735002691680 139712518510520 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 424664
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 1.77 3/177 20938
/proc/meminfo: memFree=30800628/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=424664 CPUtime=162.25 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 110116 0 0 0 16194 31 0 0 20 0 2 0 368080863 434855936 98386 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 106166 98386 186 433 0 105730 0
[pid=20923/tid=20925] ppid=20921 vsize=424664 CPUtime=158.61 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 62841 0 0 0 15836 25 0 0 20 0 2 0 368081188 434855936 98386 33554432000 4194304 5964350 140735002691680 139712518510584 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 424664
[startup+222.3 s]
/proc/loadavg: 2.05 2.03 1.79 3/177 20938
/proc/meminfo: memFree=30742192/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=490200 CPUtime=222.19 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 116797 0 0 0 22184 35 0 0 20 0 2 0 368080863 501964800 105312 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 122550 105312 186 433 0 122114 0
[pid=20923/tid=20925] ppid=20921 vsize=490200 CPUtime=218.42 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 69522 0 0 0 21812 30 0 0 20 0 2 0 368081188 501964800 105312 33554432000 4194304 5964350 140735002691680 139712518510584 4403296 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 490200
[startup+282.3 s]
/proc/loadavg: 2.09 2.05 1.81 3/177 20938
/proc/meminfo: memFree=30705640/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=490200 CPUtime=282.14 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 125607 0 0 0 28173 41 0 0 20 0 2 0 368080863 501964800 114129 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 122550 114129 186 433 0 122114 0
[pid=20923/tid=20925] ppid=20921 vsize=490200 CPUtime=278.23 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 78332 0 0 0 27785 38 0 0 20 0 2 0 368081188 501964800 114129 33554432000 4194304 5964350 140735002691680 139712518510584 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 490200
[startup+342.3 s]
/proc/loadavg: 2.03 2.04 1.82 3/176 20938
/proc/meminfo: memFree=30658896/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=555736 CPUtime=342.13 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 131976 0 0 0 34168 45 0 0 20 0 2 0 368080863 569073664 120889 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 138934 120889 186 433 0 138498 0
[pid=20923/tid=20925] ppid=20921 vsize=555736 CPUtime=338.06 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 84701 0 0 0 33763 43 0 0 20 0 2 0 368081188 569073664 120889 33554432000 4194304 5964350 140735002691680 139712518510392 4400011 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 555736
[startup+402.3 s]
/proc/loadavg: 1.60 1.94 1.80 2/170 20963
/proc/meminfo: memFree=30872588/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=555736 CPUtime=402.12 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 137693 0 0 0 40161 51 0 0 20 0 2 0 368080863 569073664 126606 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 138934 126606 186 433 0 138498 0
[pid=20923/tid=20925] ppid=20921 vsize=555736 CPUtime=397.91 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 90418 0 0 0 39742 49 0 0 20 0 2 0 368081188 569073664 126606 33554432000 4194304 5964350 140735002691680 139712518510584 4400003 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 555736
[startup+462.3 s]
/proc/loadavg: 1.22 1.76 1.74 2/171 20966
/proc/meminfo: memFree=30854272/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=555736 CPUtime=462.1 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 142394 0 0 0 46155 55 0 0 20 0 2 0 368080863 569073664 131624 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 138934 131624 186 433 0 138498 0
[pid=20923/tid=20925] ppid=20921 vsize=555736 CPUtime=457.75 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 95119 0 0 0 45722 53 0 0 20 0 2 0 368081188 569073664 131624 33554432000 4194304 5964350 140735002691680 139712518510584 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.24 2/170 20995
/proc/meminfo: memFree=30582180/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=883416 CPUtime=1421.88 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 206218 0 0 0 142077 111 0 0 20 0 2 0 368080863 904617984 199418 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 220854 199418 186 433 0 220418 0
[pid=20923/tid=20925] ppid=20921 vsize=883416 CPUtime=1415.19 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 158943 0 0 0 141395 124 0 0 20 0 2 0 368081188 904617984 199418 33554432000 4194304 5964350 140735002691680 139712518510392 4399976 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 883416
[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.22 2/170 20995
/proc/meminfo: memFree=30573624/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=883416 CPUtime=1481.86 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 208360 0 0 0 148075 111 0 0 20 0 2 0 368080863 904617984 201558 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 220854 201558 186 433 0 220418 0
[pid=20923/tid=20925] ppid=20921 vsize=883416 CPUtime=1475.03 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 161085 0 0 0 147377 126 0 0 20 0 2 0 368081188 904617984 201558 33554432000 4194304 5964350 140735002691680 139712518510392 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 883416
[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.20 2/170 20995
/proc/meminfo: memFree=30564944/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=883416 CPUtime=1541.85 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 210519 0 0 0 154073 112 0 0 20 0 2 0 368080863 904617984 203717 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 220854 203717 186 433 0 220418 0
[pid=20923/tid=20925] ppid=20921 vsize=883416 CPUtime=1534.88 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 163244 0 0 0 153360 128 0 0 20 0 2 0 368081188 904617984 203717 33554432000 4194304 5964350 140735002691680 139712518510392 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 883416
[startup+1602.3 s]
/proc/loadavg: 1.07 1.02 1.19 2/170 20996
/proc/meminfo: memFree=30556388/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=883416 CPUtime=1601.85 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 212711 0 0 0 160071 114 0 0 20 0 2 0 368080863 904617984 205909 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 220854 205909 186 433 0 220418 0
[pid=20923/tid=20925] ppid=20921 vsize=883416 CPUtime=1594.73 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 165436 0 0 0 159343 130 0 0 20 0 2 0 368081188 904617984 205909 33554432000 4194304 5964350 140735002691680 139712518510584 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 883416
[startup+1662.3 s]
/proc/loadavg: 1.02 1.01 1.17 2/171 20999
/proc/meminfo: memFree=30546736/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=883416 CPUtime=1661.83 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 215100 0 0 0 166067 116 0 0 20 0 2 0 368080863 904617984 208386 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 220854 208386 186 433 0 220418 0
[pid=20923/tid=20925] ppid=20921 vsize=883416 CPUtime=1654.56 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 167825 0 0 0 165323 133 0 0 20 0 2 0 368081188 904617984 208386 33554432000 4194304 5964350 140735002691680 139712518510632 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 883416
[startup+1722.3 s]
/proc/loadavg: 1.01 1.01 1.16 2/170 20999
/proc/meminfo: memFree=30532040/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=883416 CPUtime=1721.8 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 217259 0 0 0 172063 117 0 0 20 0 2 0 368080863 904617984 212079 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 220854 212079 186 433 0 220418 0
[pid=20923/tid=20925] ppid=20921 vsize=883416 CPUtime=1714.38 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 169984 0 0 0 171303 135 0 0 20 0 2 0 368081188 904617984 212079 33554432000 4194304 5964350 140735002691680 139712518510584 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 883416
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/170 20999
/proc/meminfo: memFree=30524104/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=883416 CPUtime=1781.79 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 219247 0 0 0 178061 118 0 0 20 0 2 0 368080863 904617984 214067 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 220854 214067 186 433 0 220418 0
[pid=20923/tid=20925] ppid=20921 vsize=883416 CPUtime=1774.23 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 171972 0 0 0 177287 136 0 0 20 0 2 0 368081188 904617984 214067 33554432000 4194304 5964350 140735002691680 139712518510584 4399989 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 883416
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.15 2/170 20999
/proc/meminfo: memFree=30522740/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=883416 CPUtime=1791.39 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 219558 0 0 0 179021 118 0 0 20 0 2 0 368080863 904617984 214378 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 220854 214378 186 433 0 220418 0
[pid=20923/tid=20925] ppid=20921 vsize=883416 CPUtime=1783.81 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 172283 0 0 0 178243 138 0 0 20 0 2 0 368081188 904617984 214378 33554432000 4194304 5964350 140735002691680 139712518510584 4399921 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (KiB) 883416
[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.15 2/170 20999
/proc/meminfo: memFree=30522368/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=883416 CPUtime=1794.6 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 219644 0 0 0 179341 119 0 0 20 0 2 0 368080863 904617984 214464 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 220854 214464 186 433 0 220418 0
[pid=20923/tid=20925] ppid=20921 vsize=883416 CPUtime=1787 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 172369 0 0 0 178562 138 0 0 20 0 2 0 368081188 904617984 214464 33554432000 4194304 5964350 140735002691680 139712518510584 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 883416
[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/170 20999
/proc/meminfo: memFree=30522120/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=883416 CPUtime=1797.79 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 219733 0 0 0 179660 119 0 0 20 0 2 0 368080863 904617984 214553 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 220854 214553 186 433 0 220418 0
[pid=20923/tid=20925] ppid=20921 vsize=883416 CPUtime=1790.18 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 172458 0 0 0 178880 138 0 0 20 0 2 0 368081188 904617984 214553 33554432000 4194304 5964350 140735002691680 139712518510584 4399996 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 883416
[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 1.15 2/170 20999
/proc/meminfo: memFree=30521996/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=883416 CPUtime=1798.59 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 219828 0 0 0 179740 119 0 0 20 0 2 0 368080863 904617984 214648 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 220854 214648 186 433 0 220418 0
[pid=20923/tid=20925] ppid=20921 vsize=883416 CPUtime=1790.98 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 172553 0 0 0 178960 138 0 0 20 0 2 0 368081188 904617984 214648 33554432000 4194304 5964350 140735002691680 139712518510392 4399846 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.59
Current children cumulated vsize (KiB) 883416
[startup+1799.5 s]
/proc/loadavg: 1.00 1.00 1.15 2/170 20999
/proc/meminfo: memFree=30521624/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=883416 CPUtime=1798.99 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 219828 0 0 0 179780 119 0 0 20 0 2 0 368080863 904617984 214648 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 220854 214648 186 433 0 220418 0
[pid=20923/tid=20925] ppid=20921 vsize=883416 CPUtime=1791.39 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 172553 0 0 0 179001 138 0 0 20 0 2 0 368081188 904617984 214648 33554432000 4194304 5964350 140735002691680 139712518510392 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.99
Current children cumulated vsize (KiB) 883416
[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.15 2/170 20999
/proc/meminfo: memFree=30521624/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=883416 CPUtime=1799.39 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 219829 0 0 0 179820 119 0 0 20 0 2 0 368080863 904617984 214649 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 220854 214649 186 433 0 220418 0
[pid=20923/tid=20925] ppid=20921 vsize=883416 CPUtime=1791.78 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 172554 0 0 0 179040 138 0 0 20 0 2 0 368081188 904617984 214649 33554432000 4194304 5964350 140735002691680 139712518510392 4399858 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.39
Current children cumulated vsize (KiB) 883416
[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.15 2/170 20999
/proc/meminfo: memFree=30521624/32873852 swapFree=7632/7632
[pid=20923] ppid=20921 vsize=883416 CPUtime=1799.49 cores=0,2,4,6
/proc/20923/stat : 20923 (wbo1.72) S 20921 20923 20784 0 -1 4202496 219830 0 0 0 179830 119 0 0 20 0 2 0 368080863 904617984 214650 33554432000 4194304 5964350 140735002691680 140735002691200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20923/statm: 220854 214650 186 433 0 220418 0
[pid=20923/tid=20925] ppid=20921 vsize=883416 CPUtime=1791.88 cores=0,2,4,6
/proc/20923/task/20925/stat : 20925 (wbo1.72) R 20921 20923 20784 0 -1 4202560 172555 0 0 0 179050 138 0 0 20 0 2 0 368081188 904617984 214650 33554432000 4194304 5964350 140735002691680 139712518510392 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 883416
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20923 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=687318
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=469776
# CPU time returned by wait4() is 1795.16
# while last known CPU time is 1799.49
#
# 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.49
CPU user time (s): 1798.3
CPU system time (s): 1.19
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 883416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.69
system time used= 1.46978
maximum resident set size= 858620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219835
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= 308
involuntary context switches= 1891
runsolver used 5.65414 second user time and 20.5379 second system time
The end