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-3727999-1338651953/watcher-3727999-1338651953 -o /tmp/evaluation-result-3727999-1338651953/solver-3727999-1338651953 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727999-1338651953.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.53 1.26 1.55 4/177 11666
/proc/meminfo: memFree=27219612/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=7620 CPUtime=0 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) R 11664 11666 9917 0 -1 4202496 662 0 0 0 0 0 0 0 20 0 1 0 331321114 7802880 615 33554432000 4194304 5964350 140734294302960 140736018416168 4350455 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 1905 615 167 433 0 760 0
[startup+0.103358 s]
/proc/loadavg: 1.53 1.26 1.55 4/177 11666
/proc/meminfo: memFree=27219612/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=19688 CPUtime=0.09 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) R 11664 11666 9917 0 -1 4202496 3943 0 0 0 9 0 0 0 20 0 1 0 331321114 20160512 3782 33554432000 4194304 5964350 140734294302960 140736018416168 5136410 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 4955 3782 460 433 0 3810 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19688
[startup+0.200232 s]
/proc/loadavg: 1.53 1.26 1.55 4/177 11666
/proc/meminfo: memFree=27219612/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=26360 CPUtime=0.19 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) R 11664 11666 9917 0 -1 4202496 5867 0 0 0 18 1 0 0 20 0 1 0 331321114 26992640 5706 33554432000 4194304 5964350 140734294302960 140736018416168 5136410 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 6590 5706 771 433 0 5445 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26360
[startup+0.300206 s]
/proc/loadavg: 1.53 1.26 1.55 4/177 11666
/proc/meminfo: memFree=27219612/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=113912 CPUtime=0.28 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 12078 0 0 0 27 1 0 0 20 0 2 0 331321114 116645888 10915 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 28478 10915 182 433 0 28042 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 113912
[startup+0.700232 s]
/proc/loadavg: 1.53 1.26 1.55 4/177 11666
/proc/meminfo: memFree=27219612/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=105392 CPUtime=0.69 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 20077 0 0 0 66 3 0 0 20 0 2 0 331321114 107921408 17127 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 26348 17127 193 433 0 25912 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 105392
[startup+1.50027 s]
/proc/loadavg: 1.53 1.26 1.55 3/179 11719
/proc/meminfo: memFree=27216164/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=105392 CPUtime=1.49 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 20078 0 0 0 146 3 0 0 20 0 2 0 331321114 107921408 17128 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 26348 17128 194 433 0 25912 0
[pid=11666/tid=11668] ppid=11664 vsize=105392 CPUtime=1.26 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 13135 0 0 0 124 2 0 0 20 0 2 0 331321137 107921408 17128 33554432000 4194304 5964350 140734294302960 140019842668904 4392888 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 105392
[startup+3.10027 s]
/proc/loadavg: 1.56 1.28 1.56 3/179 11719
/proc/meminfo: memFree=27211088/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=105392 CPUtime=3.09 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 20109 0 0 0 306 3 0 0 20 0 2 0 331321114 107921408 17159 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 26348 17159 194 433 0 25912 0
[pid=11666/tid=11668] ppid=11664 vsize=105392 CPUtime=2.85 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 13166 0 0 0 283 2 0 0 20 0 2 0 331321137 107921408 17159 33554432000 4194304 5964350 140734294302960 140019842668888 4403290 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 105392
[startup+6.30021 s]
/proc/loadavg: 1.56 1.28 1.56 3/179 11719
/proc/meminfo: memFree=27204784/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=105392 CPUtime=6.29 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 20532 0 0 0 626 3 0 0 20 0 2 0 331321114 107921408 17596 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 26348 17596 194 433 0 25912 0
[pid=11666/tid=11668] ppid=11664 vsize=105392 CPUtime=6.04 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 13589 0 0 0 602 2 0 0 20 0 2 0 331321137 107921408 17596 33554432000 4194304 5964350 140734294302960 140019842668536 4403296 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 105392
[startup+12.7002 s]
/proc/loadavg: 1.63 1.30 1.56 3/179 11719
/proc/meminfo: memFree=27188752/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=105392 CPUtime=12.69 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 22784 0 0 0 1265 4 0 0 20 0 2 0 331321114 107921408 19848 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 26348 19848 194 433 0 25912 0
[pid=11666/tid=11668] ppid=11664 vsize=105392 CPUtime=12.42 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 15841 0 0 0 1239 3 0 0 20 0 2 0 331321137 107921408 19848 33554432000 4194304 5964350 140734294302960 140019842668536 4403628 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 105392
[startup+25.5004 s]
/proc/loadavg: 1.69 1.32 1.56 3/179 11719
/proc/meminfo: memFree=27148732/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=170928 CPUtime=25.47 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 28218 0 0 0 2541 6 0 0 20 0 2 0 331321114 175030272 25282 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 42732 25282 194 433 0 42296 0
[pid=11666/tid=11668] ppid=11664 vsize=170928 CPUtime=25.17 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 21275 0 0 0 2512 5 0 0 20 0 2 0 331321137 175030272 25282 33554432000 4194304 5964350 140734294302960 140019842668536 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 170928
[startup+51.1003 s]
/proc/loadavg: 1.79 1.37 1.57 3/179 11719
/proc/meminfo: memFree=27091912/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=170928 CPUtime=51.05 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 36092 0 0 0 5095 10 0 0 20 0 2 0 331321114 175030272 33260 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 42732 33260 194 433 0 42296 0
[pid=11666/tid=11668] ppid=11664 vsize=170928 CPUtime=50.7 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 29149 0 0 0 5061 9 0 0 20 0 2 0 331321137 175030272 33260 33554432000 4194304 5964350 140734294302960 140019842668536 4399835 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 170928
[startup+102.3 s]
/proc/loadavg: 1.92 1.48 1.59 3/179 11720
/proc/meminfo: memFree=26988000/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=236464 CPUtime=102.25 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 53276 0 0 0 10209 16 0 0 20 0 2 0 331321114 242139136 51079 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 59116 51079 194 433 0 58680 0
[pid=11666/tid=11668] ppid=11664 vsize=236464 CPUtime=101.77 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 46333 0 0 0 10161 16 0 0 20 0 2 0 331321137 242139136 51079 33554432000 4194304 5964350 140734294302960 140019842668536 4403296 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 236464
[startup+162.3 s]
/proc/loadavg: 2.02 1.59 1.62 3/179 11720
/proc/meminfo: memFree=26856608/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=367536 CPUtime=162.21 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 77286 0 0 0 16196 25 0 0 20 0 2 0 331321114 376356864 75083 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 91884 75083 194 433 0 91448 0
[pid=11666/tid=11668] ppid=11664 vsize=367536 CPUtime=161.59 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 70343 0 0 0 16133 26 0 0 20 0 2 0 331321137 376356864 75083 33554432000 4194304 5964350 140734294302960 140019842668536 4400011 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 367536
[startup+222.307 s]
/proc/loadavg: 2.01 1.66 1.64 3/179 11720
/proc/meminfo: memFree=26723700/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=433072 CPUtime=222.2 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 102916 0 0 0 22183 37 0 0 20 0 2 0 331321114 443465728 100715 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 108268 100715 194 433 0 107832 0
[pid=11666/tid=11668] ppid=11664 vsize=433072 CPUtime=221.43 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 95973 0 0 0 22104 39 0 0 20 0 2 0 331321137 443465728 100715 33554432000 4194304 5964350 140734294302960 140019842668536 4403383 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 433072
[startup+282.3 s]
/proc/loadavg: 2.00 1.72 1.66 3/180 11723
/proc/meminfo: memFree=26671504/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=498608 CPUtime=282.18 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 113608 0 0 0 28178 40 0 0 20 0 2 0 331321114 510574592 111405 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 124652 111405 194 433 0 124216 0
[pid=11666/tid=11668] ppid=11664 vsize=498608 CPUtime=281.27 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 106665 0 0 0 28084 43 0 0 20 0 2 0 331321137 510574592 111405 33554432000 4194304 5964350 140734294302960 140019842668872 4403432 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 498608
[startup+342.3 s]
/proc/loadavg: 2.00 1.77 1.68 3/179 11723
/proc/meminfo: memFree=26631880/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=498608 CPUtime=342.17 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 113633 0 0 0 34177 40 0 0 20 0 2 0 331321114 510574592 111430 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 124652 111430 194 433 0 124216 0
[pid=11666/tid=11668] ppid=11664 vsize=498608 CPUtime=341.12 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 106690 0 0 0 34068 44 0 0 20 0 2 0 331321137 510574592 111430 33554432000 4194304 5964350 140734294302960 140019842668872 4403296 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 498608
[startup+402.3 s]
/proc/loadavg: 2.00 1.81 1.70 3/179 11724
/proc/meminfo: memFree=26617972/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=498608 CPUtime=402.14 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 113675 0 0 0 40174 40 0 0 20 0 2 0 331321114 510574592 111601 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 124652 111601 194 433 0 124216 0
[pid=11666/tid=11668] ppid=11664 vsize=498608 CPUtime=400.94 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 106732 0 0 0 40049 45 0 0 20 0 2 0 331321137 510574592 111601 33554432000 4194304 5964350 140734294302960 140019842668872 4399835 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 498608
[startup+462.3 s]
/proc/loadavg: 2.00 1.84 1.71 3/179 11724
/proc/meminfo: memFree=26595312/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=498608 CPUtime=462.12 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.86 3/179 11753
/proc/meminfo: memFree=25361768/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=1548808 CPUtime=1361.94 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 375640 0 0 0 136069 125 0 0 20 0 2 0 331321114 1585979392 373819 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 387202 373819 194 433 0 386766 0
[pid=11666/tid=11668] ppid=11664 vsize=1548808 CPUtime=1358.41 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 368697 0 0 0 135697 144 0 0 20 0 2 0 331321137 1585979392 373819 33554432000 4194304 5964350 140734294302960 140019842668536 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1548808
[startup+1422.3 s]
/proc/loadavg: 2.03 1.99 1.87 3/179 11753
/proc/meminfo: memFree=25353880/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=1548808 CPUtime=1421.93 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 375664 0 0 0 142068 125 0 0 20 0 2 0 331321114 1585979392 373914 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 387202 373914 194 433 0 386766 0
[pid=11666/tid=11668] ppid=11664 vsize=1548808 CPUtime=1418.25 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 368721 0 0 0 141680 145 0 0 20 0 2 0 331321137 1585979392 373914 33554432000 4194304 5964350 140734294302960 140019842668536 4400023 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1548808
[startup+1482.3 s]
/proc/loadavg: 2.01 1.99 1.87 3/180 11756
/proc/meminfo: memFree=25351624/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=1548808 CPUtime=1481.9 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 375697 0 0 0 148065 125 0 0 20 0 2 0 331321114 1585979392 374029 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 387202 374029 194 433 0 386766 0
[pid=11666/tid=11668] ppid=11664 vsize=1548808 CPUtime=1478.07 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 368754 0 0 0 147661 146 0 0 20 0 2 0 331321137 1585979392 374029 33554432000 4194304 5964350 140734294302960 140019842668536 4222304 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1548808
[startup+1542.31 s]
/proc/loadavg: 2.00 1.99 1.88 3/179 11756
/proc/meminfo: memFree=25346452/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=1548808 CPUtime=1541.87 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 375727 0 0 0 154062 125 0 0 20 0 2 0 331321114 1585979392 374127 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 387202 374127 194 433 0 386766 0
[pid=11666/tid=11668] ppid=11664 vsize=1548808 CPUtime=1537.9 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 368784 0 0 0 153643 147 0 0 20 0 2 0 331321137 1585979392 374127 33554432000 4194304 5964350 140734294302960 140019842668536 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1548808
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/179 11757
/proc/meminfo: memFree=25326144/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=1548808 CPUtime=1601.83 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 375768 0 0 0 160058 125 0 0 20 0 2 0 331321114 1585979392 374241 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 387202 374241 194 433 0 386766 0
[pid=11666/tid=11668] ppid=11664 vsize=1548808 CPUtime=1597.72 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 368825 0 0 0 159624 148 0 0 20 0 2 0 331321137 1585979392 374241 33554432000 4194304 5964350 140734294302960 140019842668536 4399962 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1548808
[startup+1662.3 s]
/proc/loadavg: 2.06 2.00 1.90 3/179 11757
/proc/meminfo: memFree=25317412/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=1548808 CPUtime=1661.81 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 375793 0 0 0 166056 125 0 0 20 0 2 0 331321114 1585979392 374351 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 387202 374351 194 433 0 386766 0
[pid=11666/tid=11668] ppid=11664 vsize=1548808 CPUtime=1657.55 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 368850 0 0 0 165606 149 0 0 20 0 2 0 331321137 1585979392 374351 33554432000 4194304 5964350 140734294302960 140019842668536 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1548808
[startup+1722.3 s]
/proc/loadavg: 2.02 2.00 1.90 3/179 11757
/proc/meminfo: memFree=25260340/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=1614344 CPUtime=1721.78 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 390036 0 0 0 172049 129 0 0 20 0 2 0 331321114 1653088256 388636 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 403586 388636 194 433 0 403150 0
[pid=11666/tid=11668] ppid=11664 vsize=1614344 CPUtime=1717.37 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 383093 0 0 0 171584 153 0 0 20 0 2 0 331321137 1653088256 388636 33554432000 4194304 5964350 140734294302960 140019842668536 4399998 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1614344
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 11757
/proc/meminfo: memFree=25120696/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=1679880 CPUtime=1781.75 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 416946 0 0 0 178039 136 0 0 20 0 2 0 331321114 1720197120 415564 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 419970 415564 194 433 0 419534 0
[pid=11666/tid=11668] ppid=11664 vsize=1679880 CPUtime=1777.19 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 410003 0 0 0 177558 161 0 0 20 0 2 0 331321137 1720197120 415564 33554432000 4194304 5964350 140734294302960 140019842668536 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1679880
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11757
/proc/meminfo: memFree=25096004/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=1745416 CPUtime=1791.45 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 421159 0 0 0 179008 137 0 0 20 0 2 0 331321114 1787305984 419775 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 436354 419775 194 433 0 435918 0
[pid=11666/tid=11668] ppid=11664 vsize=1745416 CPUtime=1786.87 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 414216 0 0 0 178524 163 0 0 20 0 2 0 331321137 1787305984 419775 33554432000 4194304 5964350 140734294302960 140019842668536 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 1745416
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11757
/proc/meminfo: memFree=25086936/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=1745416 CPUtime=1794.65 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 423246 0 0 0 179327 138 0 0 20 0 2 0 331321114 1787305984 421862 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 436354 421862 194 433 0 435918 0
[pid=11666/tid=11668] ppid=11664 vsize=1745416 CPUtime=1790.06 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 416303 0 0 0 178843 163 0 0 20 0 2 0 331321137 1787305984 421862 33554432000 4194304 5964350 140734294302960 140019842668536 4399987 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (KiB) 1745416
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11757
/proc/meminfo: memFree=25081852/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=1745416 CPUtime=1797.84 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 425053 0 0 0 179646 138 0 0 20 0 2 0 331321114 1787305984 423669 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 436354 423669 194 433 0 435918 0
[pid=11666/tid=11668] ppid=11664 vsize=1745416 CPUtime=1793.25 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 418110 0 0 0 179161 164 0 0 20 0 2 0 331321137 1787305984 423669 33554432000 4194304 5964350 140734294302960 140019842668536 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 1745416
[startup+1799.2 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11757
/proc/meminfo: memFree=25079620/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=1745416 CPUtime=1798.64 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 425344 0 0 0 179726 138 0 0 20 0 2 0 331321114 1787305984 423960 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 436354 423960 194 433 0 435918 0
[pid=11666/tid=11668] ppid=11664 vsize=1745416 CPUtime=1794.05 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 418401 0 0 0 179241 164 0 0 20 0 2 0 331321137 1787305984 423960 33554432000 4194304 5964350 140734294302960 140019842668536 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (KiB) 1745416
[startup+1799.6 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11757
/proc/meminfo: memFree=25078256/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=1745416 CPUtime=1799.04 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 425520 0 0 0 179766 138 0 0 20 0 2 0 331321114 1787305984 424136 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 436354 424136 194 433 0 435918 0
[pid=11666/tid=11668] ppid=11664 vsize=1745416 CPUtime=1794.45 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 418577 0 0 0 179281 164 0 0 20 0 2 0 331321137 1787305984 424136 33554432000 4194304 5964350 140734294302960 140019842668536 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.04
Current children cumulated vsize (KiB) 1745416
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11757
/proc/meminfo: memFree=25078256/32873660 swapFree=7120/7120
[pid=11666] ppid=11664 vsize=1745416 CPUtime=1799.44 cores=0,2,4,6
/proc/11666/stat : 11666 (wbo1.72) S 11664 11666 9917 0 -1 4202496 425691 0 0 0 179806 138 0 0 20 0 2 0 331321114 1787305984 424307 33554432000 4194304 5964350 140734294302960 140734294302480 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11666/statm: 436354 424307 194 433 0 435918 0
[pid=11666/tid=11668] ppid=11664 vsize=1745416 CPUtime=1794.85 cores=0,2,4,6
/proc/11666/task/11668/stat : 11668 (wbo1.72) R 11664 11666 9917 0 -1 4202560 418748 0 0 0 179321 164 0 0 20 0 2 0 331321137 1787305984 424307 33554432000 4194304 5964350 140734294302960 140019842668536 4403290 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (KiB) 1745416
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11666 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=435356
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=696742
# CPU time returned by wait4() is 1795.13
# while last known CPU time is 1799.44
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.04
CPU time (s): 1799.44
CPU user time (s): 1798.06
CPU system time (s): 1.38
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 1745416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.44
system time used= 1.69674
maximum resident set size= 1697252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 425697
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= 442
involuntary context switches= 1833
runsolver used 3.54546 second user time and 9.01663 second system time
The end