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-3727849-1338669309/watcher-3727849-1338669309 -o /tmp/evaluation-result-3727849-1338669309/solver-3727849-1338669309 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727849-1338669309.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: 0.93 1.41 1.75 2/175 5878
/proc/meminfo: memFree=29182596/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=24996 CPUtime=0 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) R 5876 5878 5748 0 -1 4202496 574 0 0 0 0 0 0 0 20 0 1 0 333055731 25595904 526 33554432000 4194304 5964350 140734968624496 140734651399496 4344195 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 6249 526 166 433 0 634 0
[startup+0.03022 s]
/proc/loadavg: 0.93 1.41 1.75 2/175 5878
/proc/meminfo: memFree=29182596/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=25128 CPUtime=0.02 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) R 5876 5878 5748 0 -1 4202496 701 0 0 0 2 0 0 0 20 0 1 0 333055731 25731072 653 33554432000 4194304 5964350 140734968624496 140734651399496 4344563 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 6282 653 251 433 0 667 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 25128
[startup+0.100251 s]
/proc/loadavg: 0.93 1.41 1.75 2/175 5878
/proc/meminfo: memFree=29182596/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=25916 CPUtime=0.09 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) R 5876 5878 5748 0 -1 4202496 1140 0 0 0 9 0 0 0 20 0 1 0 333055731 26537984 1092 33554432000 4194304 5964350 140734968624496 140734651399496 4344749 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 6479 1092 498 433 0 864 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25916
[startup+0.300222 s]
/proc/loadavg: 0.93 1.41 1.75 2/175 5878
/proc/meminfo: memFree=29182596/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=28180 CPUtime=0.29 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) R 5876 5878 5748 0 -1 4202496 2395 0 0 0 29 0 0 0 20 0 1 0 333055731 28856320 2347 33554432000 4194304 5964350 140734968624496 140734651399496 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 7045 2348 1203 433 0 1430 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28180
[startup+0.700218 s]
/proc/loadavg: 0.93 1.41 1.75 2/175 5878
/proc/meminfo: memFree=29182596/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=32740 CPUtime=0.69 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) R 5876 5878 5748 0 -1 4202496 4908 0 0 0 69 0 0 0 20 0 1 0 333055731 33525760 4860 33554432000 4194304 5964350 140734968624496 140734968623016 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 8185 4860 2616 433 0 2570 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32740
[startup+1.50013 s]
/proc/loadavg: 0.93 1.41 1.75 3/179 5889
/proc/meminfo: memFree=29133700/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=101444 CPUtime=1.49 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 10962 0 0 0 148 1 0 0 20 0 2 0 333055731 103878656 5701 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 25361 5701 179 433 0 24925 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 101444
[startup+3.10027 s]
/proc/loadavg: 0.93 1.41 1.75 3/180 5890
/proc/meminfo: memFree=29088812/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=100208 CPUtime=3.09 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 18532 0 0 0 306 3 0 0 20 0 2 0 333055731 102612992 12673 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 25052 12673 187 433 0 24616 0
[pid=5878/tid=5890] ppid=5876 vsize=100208 CPUtime=1.61 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 8382 0 0 0 160 1 0 0 20 0 2 0 333055878 102612992 12673 33554432000 4194304 5964350 140734968624496 139811215626560 4445246 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 100208
[startup+6.30021 s]
/proc/loadavg: 1.18 1.46 1.77 3/181 5891
/proc/meminfo: memFree=29009412/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=100208 CPUtime=6.28 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 20012 0 0 0 625 3 0 0 20 0 2 0 333055731 102612992 13694 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 25052 13694 192 433 0 24616 0
[pid=5878/tid=5890] ppid=5876 vsize=100208 CPUtime=4.8 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 9862 0 0 0 478 2 0 0 20 0 2 0 333055878 102612992 13694 33554432000 4194304 5964350 140734968624496 139811215636888 4394799 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 100208
[startup+12.7002 s]
/proc/loadavg: 1.32 1.48 1.77 3/181 5891
/proc/meminfo: memFree=28995828/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=100208 CPUtime=12.68 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 21715 0 0 0 1264 4 0 0 20 0 2 0 333055731 102612992 15461 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 25052 15461 192 433 0 24616 0
[pid=5878/tid=5890] ppid=5876 vsize=100208 CPUtime=11.18 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 11565 0 0 0 1116 2 0 0 20 0 2 0 333055878 102612992 15461 33554432000 4194304 5964350 140734968624496 139811215636856 4389090 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 100208
[startup+25.5002 s]
/proc/loadavg: 1.47 1.51 1.77 3/181 5891
/proc/meminfo: memFree=28939400/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=165744 CPUtime=25.47 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 30079 0 0 0 2540 7 0 0 20 0 2 0 333055731 169721856 23818 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 41436 23818 192 433 0 41000 0
[pid=5878/tid=5890] ppid=5876 vsize=165744 CPUtime=23.94 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 19929 0 0 0 2388 6 0 0 20 0 2 0 333055878 169721856 23818 33554432000 4194304 5964350 140734968624496 139811215636472 4389090 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 165744
[startup+51.1003 s]
/proc/loadavg: 1.65 1.55 1.78 3/181 5891
/proc/meminfo: memFree=28817276/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=231280 CPUtime=51.06 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 55988 0 0 0 5092 14 0 0 20 0 2 0 333055731 236830720 49826 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 57820 49826 192 433 0 57384 0
[pid=5878/tid=5890] ppid=5876 vsize=231280 CPUtime=49.46 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 45838 0 0 0 4934 12 0 0 20 0 2 0 333055878 236830720 49826 33554432000 4194304 5964350 140734968624496 139811215636472 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 231280
[startup+102.306 s]
/proc/loadavg: 1.85 1.61 1.79 3/181 5892
/proc/meminfo: memFree=28605860/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=363436 CPUtime=102.25 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 88877 0 0 0 10199 26 0 0 20 0 2 0 333055731 372158464 83641 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 90859 83641 192 433 0 90423 0
[pid=5878/tid=5890] ppid=5876 vsize=363436 CPUtime=100.53 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 78727 0 0 0 10028 25 0 0 20 0 2 0 333055878 372158464 83641 33554432000 4194304 5964350 140734968624496 139811215636472 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 363436
[startup+162.3 s]
/proc/loadavg: 1.94 1.68 1.80 3/181 5892
/proc/meminfo: memFree=28447044/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=428972 CPUtime=162.23 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 108040 0 0 0 16189 34 0 0 20 0 2 0 333055731 439267328 102804 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 107243 102804 192 433 0 106807 0
[pid=5878/tid=5890] ppid=5876 vsize=428972 CPUtime=160.37 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 97890 0 0 0 16002 35 0 0 20 0 2 0 333055878 439267328 102804 33554432000 4194304 5964350 140734968624496 139811215636472 4389020 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 428972
[startup+222.3 s]
/proc/loadavg: 1.98 1.74 1.81 3/181 5892
/proc/meminfo: memFree=28394084/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=494508 CPUtime=222.23 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 109146 0 0 0 22188 35 0 0 20 0 2 0 333055731 506376192 103910 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 123627 103910 192 433 0 123191 0
[pid=5878/tid=5890] ppid=5876 vsize=494508 CPUtime=220.21 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 98996 0 0 0 21985 36 0 0 20 0 2 0 333055878 506376192 103910 33554432000 4194304 5964350 140734968624496 139811215636472 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 494508
[startup+282.3 s]
/proc/loadavg: 1.99 1.78 1.82 3/181 5892
/proc/meminfo: memFree=28227856/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=560044 CPUtime=282.2 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 140544 0 0 0 28173 47 0 0 20 0 2 0 333055731 573485056 135497 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 140011 135497 192 433 0 139575 0
[pid=5878/tid=5890] ppid=5876 vsize=560044 CPUtime=280.03 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 130394 0 0 0 27954 49 0 0 20 0 2 0 333055878 573485056 135497 33554432000 4194304 5964350 140734968624496 139811215636472 4399976 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 560044
[startup+342.3 s]
/proc/loadavg: 1.99 1.82 1.83 3/182 5895
/proc/meminfo: memFree=28043240/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=624496 CPUtime=342.19 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 148924 0 0 0 34170 49 0 0 20 0 2 0 333055731 639483904 143745 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 156124 143745 192 433 0 155688 0
[pid=5878/tid=5890] ppid=5876 vsize=624496 CPUtime=339.87 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 138774 0 0 0 33935 52 0 0 20 0 2 0 333055878 639483904 143745 33554432000 4194304 5964350 140734968624496 139811215637432 4400035 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 624496
[startup+402.3 s]
/proc/loadavg: 2.04 1.86 1.84 3/181 5896
/proc/meminfo: memFree=27896524/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=624496 CPUtime=402.16 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 149052 0 0 0 40167 49 0 0 20 0 2 0 333055731 639483904 143879 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 156124 143879 192 433 0 155688 0
[pid=5878/tid=5890] ppid=5876 vsize=624496 CPUtime=399.7 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 138902 0 0 0 39916 54 0 0 20 0 2 0 333055878 639483904 143879 33554432000 4194304 5964350 140734968624496 139811215637432 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 624496
[startup+462.3 s]
/proc/loadavg: 2.01 1.89 1.84 3/181 5896
/proc/meminfo: memFree=27808884/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=624496 CPUtime=462.14 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 149080 0 0 0 46165 49 0 0 20 0 2 0 333055731 639483904 143898 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 156124 143898 192 433 0 155688 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 5902
/proc/meminfo: memFree=27411524/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=954608 CPUtime=1421.93 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 229902 0 0 0 142109 84 0 0 20 0 2 0 333055731 977518592 225670 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 238652 225670 192 433 0 238216 0
[pid=5878/tid=5890] ppid=5876 vsize=954608 CPUtime=1416.97 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 219752 0 0 0 141594 103 0 0 20 0 2 0 333055878 977518592 225670 33554432000 4194304 5964350 140734968624496 139811215636472 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 954608
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 5902
/proc/meminfo: memFree=27305256/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=1085680 CPUtime=1481.91 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 256785 0 0 0 148098 93 0 0 20 0 2 0 333055731 1111736320 252541 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 271420 252541 192 433 0 270984 0
[pid=5878/tid=5890] ppid=5876 vsize=1085680 CPUtime=1476.81 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 246635 0 0 0 147568 113 0 0 20 0 2 0 333055878 1111736320 252541 33554432000 4194304 5964350 140734968624496 139811215636472 4389030 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1085680
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 5905
/proc/meminfo: memFree=27223028/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=1151216 CPUtime=1541.9 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 276876 0 0 0 154090 100 0 0 20 0 2 0 333055731 1178845184 272628 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 287804 272628 192 433 0 287368 0
[pid=5878/tid=5890] ppid=5876 vsize=1151216 CPUtime=1536.65 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 266726 0 0 0 153543 122 0 0 20 0 2 0 333055878 1178845184 272628 33554432000 4194304 5964350 140734968624496 139811215636472 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1151216
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 5929
/proc/meminfo: memFree=27104540/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=1282288 CPUtime=1601.9 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 306500 0 0 0 160078 112 0 0 20 0 2 0 333055731 1313062912 302251 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 320572 302251 192 433 0 320136 0
[pid=5878/tid=5890] ppid=5876 vsize=1282288 CPUtime=1596.49 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 296350 0 0 0 159515 134 0 0 20 0 2 0 333055878 1313062912 302251 33554432000 4194304 5964350 140734968624496 139811215636472 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1282288
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 5929
/proc/meminfo: memFree=27016288/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=1347824 CPUtime=1661.89 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 328469 0 0 0 166071 118 0 0 20 0 2 0 333055731 1380171776 324220 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 336956 324220 192 433 0 336520 0
[pid=5878/tid=5890] ppid=5876 vsize=1347824 CPUtime=1656.34 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 318319 0 0 0 165493 141 0 0 20 0 2 0 333055878 1380171776 324220 33554432000 4194304 5964350 140734968624496 139811215636472 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1347824
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 5929
/proc/meminfo: memFree=26908532/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=1478896 CPUtime=1721.87 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 355401 0 0 0 172062 125 0 0 20 0 2 0 333055731 1514389504 351152 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 369724 351152 192 433 0 369288 0
[pid=5878/tid=5890] ppid=5876 vsize=1478896 CPUtime=1716.18 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 345251 0 0 0 171469 149 0 0 20 0 2 0 333055878 1514389504 351152 33554432000 4194304 5964350 140734968624496 139811215636472 5136340 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1478896
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 5929
/proc/meminfo: memFree=26831588/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=1544432 CPUtime=1781.86 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 374731 0 0 0 178053 133 0 0 20 0 2 0 333055731 1581498368 370481 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 386108 370481 192 433 0 385672 0
[pid=5878/tid=5890] ppid=5876 vsize=1544432 CPUtime=1776.02 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 364581 0 0 0 177444 158 0 0 20 0 2 0 333055878 1581498368 370481 33554432000 4194304 5964350 140734968624496 139811215636472 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1544432
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 5929
/proc/meminfo: memFree=26811128/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=1544432 CPUtime=1791.47 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 379539 0 0 0 179013 134 0 0 20 0 2 0 333055731 1581498368 375289 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 386108 375289 192 433 0 385672 0
[pid=5878/tid=5890] ppid=5876 vsize=1544432 CPUtime=1785.6 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 369389 0 0 0 178400 160 0 0 20 0 2 0 333055878 1581498368 375289 33554432000 4194304 5964350 140734968624496 139811215636472 5136340 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (KiB) 1544432
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 5929
/proc/meminfo: memFree=26803936/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=1544432 CPUtime=1794.67 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 381264 0 0 0 179332 135 0 0 20 0 2 0 333055731 1581498368 377014 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 386108 377014 192 433 0 385672 0
[pid=5878/tid=5890] ppid=5876 vsize=1544432 CPUtime=1788.79 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 371114 0 0 0 178719 160 0 0 20 0 2 0 333055878 1581498368 377014 33554432000 4194304 5964350 140734968624496 139811215636472 4399976 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (KiB) 1544432
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 5929
/proc/meminfo: memFree=26800712/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=1544432 CPUtime=1797.86 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 382462 0 0 0 179650 136 0 0 20 0 2 0 333055731 1581498368 378212 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 386108 378212 192 433 0 385672 0
[pid=5878/tid=5890] ppid=5876 vsize=1544432 CPUtime=1791.98 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 372312 0 0 0 179037 161 0 0 20 0 2 0 333055878 1581498368 378212 33554432000 4194304 5964350 140734968624496 139811215636472 4400462 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 1544432
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 5929
/proc/meminfo: memFree=26798728/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=1544432 CPUtime=1798.66 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 382903 0 0 0 179730 136 0 0 20 0 2 0 333055731 1581498368 378653 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 386108 378653 192 433 0 385672 0
[pid=5878/tid=5890] ppid=5876 vsize=1544432 CPUtime=1792.78 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 372753 0 0 0 179117 161 0 0 20 0 2 0 333055878 1581498368 378653 33554432000 4194304 5964350 140734968624496 139811215636472 4400424 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (KiB) 1544432
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 5929
/proc/meminfo: memFree=26796868/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=1544432 CPUtime=1799.07 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 383041 0 0 0 179771 136 0 0 20 0 2 0 333055731 1581498368 378791 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 386108 378791 192 433 0 385672 0
[pid=5878/tid=5890] ppid=5876 vsize=1544432 CPUtime=1793.18 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 372891 0 0 0 179157 161 0 0 20 0 2 0 333055878 1581498368 378791 33554432000 4194304 5964350 140734968624496 139811215636472 4389080 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.07
Current children cumulated vsize (KiB) 1544432
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 5929
/proc/meminfo: memFree=26796868/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=1544432 CPUtime=1799.46 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 383107 0 0 0 179810 136 0 0 20 0 2 0 333055731 1581498368 378857 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 386108 378857 192 433 0 385672 0
[pid=5878/tid=5890] ppid=5876 vsize=1544432 CPUtime=1793.58 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 372957 0 0 0 179197 161 0 0 20 0 2 0 333055878 1581498368 378857 33554432000 4194304 5964350 140734968624496 139811215636472 4399987 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 1544432
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 5929
/proc/meminfo: memFree=26796868/32873844 swapFree=7620/7620
[pid=5878] ppid=5876 vsize=1544432 CPUtime=1799.56 cores=0,2,4,6
/proc/5878/stat : 5878 (wbo1.72) S 5876 5878 5748 0 -1 4202496 383114 0 0 0 179820 136 0 0 20 0 2 0 333055731 1581498368 378864 33554432000 4194304 5964350 140734968624496 140734968624016 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5878/statm: 386108 378864 192 433 0 385672 0
[pid=5878/tid=5890] ppid=5876 vsize=1544432 CPUtime=1793.68 cores=0,2,4,6
/proc/5878/task/5890/stat : 5890 (wbo1.72) R 5876 5878 5748 0 -1 4202560 372964 0 0 0 179207 161 0 0 20 0 2 0 333055878 1581498368 378864 33554432000 4194304 5964350 140734968624496 139811215636472 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 1544432
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5878 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=548339
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=691742
# CPU time returned by wait4() is 1795.24
# while last known CPU time is 1799.56
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.08
CPU time (s): 1799.56
CPU user time (s): 1798.2
CPU system time (s): 1.36
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 1544432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.55
system time used= 1.69174
maximum resident set size= 1515472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 383118
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= 215
involuntary context switches= 2057
runsolver used 2.73858 second user time and 7.08392 second system time
The end