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-3713132-1338209281/watcher-3713132-1338209281 -o /tmp/evaluation-result-3713132-1338209281/solver-3713132-1338209281 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3713132-1338209281.wbo
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: 2.00 2.00 2.00 3/177 13765
/proc/meminfo: memFree=28777644/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=4332 CPUtime=0 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) R 13763 13765 12215 0 -1 4202496 579 0 0 0 0 0 0 0 20 0 1 0 287053154 4435968 531 33554432000 4194304 5964318 140734249481584 140733914954248 4395310 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 1083 531 166 433 0 624 0
[startup+0.101101 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13765
/proc/meminfo: memFree=28777644/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=84984 CPUtime=0.09 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 2002 0 0 0 9 0 0 0 20 0 2 0 287053154 87023616 1835 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 21246 1835 194 433 0 20810 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84984
[startup+0.200162 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13765
/proc/meminfo: memFree=28777644/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=84984 CPUtime=0.19 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 2232 0 0 0 19 0 0 0 20 0 2 0 287053154 87023616 2065 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 21246 2065 194 433 0 20810 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 84984
[startup+0.3001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13765
/proc/meminfo: memFree=28777644/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=84984 CPUtime=0.29 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 2476 0 0 0 29 0 0 0 20 0 2 0 287053154 87023616 2309 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 21246 2309 194 433 0 20810 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84984
[startup+0.7001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13765
/proc/meminfo: memFree=28777644/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=84984 CPUtime=0.69 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 3341 0 0 0 69 0 0 0 20 0 2 0 287053154 87023616 3174 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 21246 3174 194 433 0 20810 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84984
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13767
/proc/meminfo: memFree=28763236/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=84984 CPUtime=1.49 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 4840 0 0 0 148 1 0 0 20 0 2 0 287053154 87023616 4673 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 21246 4673 194 433 0 20810 0
[pid=13765/tid=13767] ppid=13763 vsize=84984 CPUtime=1.47 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 3725 0 0 0 146 1 0 0 20 0 2 0 287053155 87023616 4673 33554432000 4194304 5964318 140734249481584 140726647515128 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84984
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13767
/proc/meminfo: memFree=28754532/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=84984 CPUtime=3.09 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 6315 0 0 0 308 1 0 0 20 0 2 0 287053154 87023616 6148 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 21246 6148 194 433 0 20810 0
[pid=13765/tid=13767] ppid=13763 vsize=84984 CPUtime=3.06 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 5200 0 0 0 305 1 0 0 20 0 2 0 287053155 87023616 6148 33554432000 4194304 5964318 140734249481584 140726647514936 4399960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84984
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13767
/proc/meminfo: memFree=28749952/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=84984 CPUtime=6.28 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 7961 0 0 0 627 1 0 0 20 0 2 0 287053154 87023616 7794 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 21246 7794 194 433 0 20810 0
[pid=13765/tid=13767] ppid=13763 vsize=84984 CPUtime=6.26 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 6846 0 0 0 625 1 0 0 20 0 2 0 287053155 87023616 7794 33554432000 4194304 5964318 140734249481584 140726647514936 5136324 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) 84984
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13767
/proc/meminfo: memFree=28733956/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=85200 CPUtime=12.68 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 11692 0 0 0 1265 3 0 0 20 0 2 0 287053154 87244800 11525 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 21300 11525 194 433 0 20864 0
[pid=13765/tid=13767] ppid=13763 vsize=85200 CPUtime=12.64 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 10577 0 0 0 1261 3 0 0 20 0 2 0 287053155 87244800 11525 33554432000 4194304 5964318 140734249481584 140726647515128 4221120 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) 85200
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13767
/proc/meminfo: memFree=28707904/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=85308 CPUtime=25.48 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 17599 0 0 0 2543 5 0 0 20 0 2 0 287053154 87355392 17432 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 21327 17432 194 433 0 20891 0
[pid=13765/tid=13767] ppid=13763 vsize=85308 CPUtime=25.4 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 16484 0 0 0 2535 5 0 0 20 0 2 0 287053155 87355392 17432 33554432000 4194304 5964318 140734249481584 140726647515128 4400007 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) 85308
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13768
/proc/meminfo: memFree=28653132/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=151004 CPUtime=51.08 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 30488 0 0 0 5098 10 0 0 20 0 2 0 287053154 154628096 30321 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 37751 30321 194 433 0 37315 0
[pid=13765/tid=13767] ppid=13763 vsize=151004 CPUtime=50.94 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 29373 0 0 0 5084 10 0 0 20 0 2 0 287053155 154628096 30321 33554432000 4194304 5964318 140734249481584 140726647515128 4399842 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) 151004
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13768
/proc/meminfo: memFree=28631712/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=216540 CPUtime=102.26 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 35237 0 0 0 10214 12 0 0 20 0 2 0 287053154 221736960 35371 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 54135 35371 194 433 0 53699 0
[pid=13765/tid=13767] ppid=13763 vsize=216540 CPUtime=101.99 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 34122 0 0 0 10187 12 0 0 20 0 2 0 287053155 221736960 35371 33554432000 4194304 5964318 140734249481584 140726647514936 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 216540
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13771
/proc/meminfo: memFree=28599544/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=216780 CPUtime=162.23 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 41317 0 0 0 16208 15 0 0 20 0 2 0 287053154 221982720 42344 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 54195 42344 194 433 0 53759 0
[pid=13765/tid=13767] ppid=13763 vsize=216780 CPUtime=161.81 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 40202 0 0 0 16165 16 0 0 20 0 2 0 287053155 221982720 42344 33554432000 4194304 5964318 140734249481584 140726647515128 5136324 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) 216780
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13771
/proc/meminfo: memFree=28364996/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=413388 CPUtime=222.22 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 96742 0 0 0 22192 30 0 0 20 0 2 0 287053154 423309312 97769 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 103347 97769 194 433 0 102911 0
[pid=13765/tid=13767] ppid=13763 vsize=413388 CPUtime=221.66 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 95627 0 0 0 22133 33 0 0 20 0 2 0 287053155 423309312 97769 33554432000 4194304 5964318 140734249481584 140726647515128 5136394 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 413388
[startup+282.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 13771
/proc/meminfo: memFree=28296296/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=478924 CPUtime=282.2 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 113761 0 0 0 28185 35 0 0 20 0 2 0 287053154 490418176 114697 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 119731 114697 194 433 0 119295 0
[pid=13765/tid=13767] ppid=13763 vsize=478924 CPUtime=281.47 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 112646 0 0 0 28109 38 0 0 20 0 2 0 287053155 490418176 114697 33554432000 4194304 5964318 140734249481584 140726647515160 4399991 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) 478924
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 13772
/proc/meminfo: memFree=28296100/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=478924 CPUtime=342.19 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 113761 0 0 0 34184 35 0 0 20 0 2 0 287053154 490418176 114697 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 119731 114697 194 433 0 119295 0
[pid=13765/tid=13767] ppid=13763 vsize=478924 CPUtime=341.31 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 112646 0 0 0 34092 39 0 0 20 0 2 0 287053155 490418176 114697 33554432000 4194304 5964318 140734249481584 140726647515160 4381864 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) 478924
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13772
/proc/meminfo: memFree=28235496/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=544820 CPUtime=402.17 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 125960 0 0 0 40176 41 0 0 20 0 2 0 287053154 557895680 126952 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 136205 126952 194 433 0 135769 0
[pid=13765/tid=13767] ppid=13763 vsize=544820 CPUtime=401.14 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 124845 0 0 0 40068 46 0 0 20 0 2 0 287053155 557895680 126952 33554432000 4194304 5964318 140734249481584 140726647515128 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 544820
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13772
/proc/meminfo: memFree=28231060/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=544820 CPUtime=462.15 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13804
/proc/meminfo: memFree=27482556/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=1201908 CPUtime=1361.94 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 293986 0 0 0 136089 105 0 0 20 0 2 0 287053154 1230753792 293802 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 300477 293802 194 433 0 300041 0
[pid=13765/tid=13767] ppid=13763 vsize=1201908 CPUtime=1358.53 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 292871 0 0 0 135729 124 0 0 20 0 2 0 287053155 1230753792 293802 33554432000 4194304 5964318 140734249481584 140726647515128 4399993 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1201908
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13804
/proc/meminfo: memFree=27480360/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=1201908 CPUtime=1421.93 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 293994 0 0 0 142088 105 0 0 20 0 2 0 287053154 1230753792 293850 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 300477 293850 194 433 0 300041 0
[pid=13765/tid=13767] ppid=13763 vsize=1201908 CPUtime=1418.38 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 292879 0 0 0 141713 125 0 0 20 0 2 0 287053155 1230753792 293850 33554432000 4194304 5964318 140734249481584 140726647515128 4399982 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) 1201908
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13804
/proc/meminfo: memFree=27474460/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=1201908 CPUtime=1481.91 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 294000 0 0 0 148086 105 0 0 20 0 2 0 287053154 1230753792 293873 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 300477 293873 194 433 0 300041 0
[pid=13765/tid=13767] ppid=13763 vsize=1201908 CPUtime=1478.21 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 292885 0 0 0 147695 126 0 0 20 0 2 0 287053155 1230753792 293873 33554432000 4194304 5964318 140734249481584 140726647515128 4220672 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) 1201908
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13804
/proc/meminfo: memFree=27463412/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=1201908 CPUtime=1541.91 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 294003 0 0 0 154086 105 0 0 20 0 2 0 287053154 1230753792 293862 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 300477 293862 194 433 0 300041 0
[pid=13765/tid=13767] ppid=13763 vsize=1201908 CPUtime=1538.06 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 292888 0 0 0 153679 127 0 0 20 0 2 0 287053155 1230753792 293862 33554432000 4194304 5964318 140734249481584 140726647515160 4403404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1201908
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13805
/proc/meminfo: memFree=27463660/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=1201908 CPUtime=1601.89 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 294003 0 0 0 160084 105 0 0 20 0 2 0 287053154 1230753792 293689 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 300477 293689 194 433 0 300041 0
[pid=13765/tid=13767] ppid=13763 vsize=1201908 CPUtime=1597.9 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 292888 0 0 0 159662 128 0 0 20 0 2 0 287053155 1230753792 293689 33554432000 4194304 5964318 140734249481584 140726647515160 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1201908
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13805
/proc/meminfo: memFree=27463536/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=1201908 CPUtime=1661.88 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 294003 0 0 0 166083 105 0 0 20 0 2 0 287053154 1230753792 293689 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 300477 293689 194 433 0 300041 0
[pid=13765/tid=13767] ppid=13763 vsize=1201908 CPUtime=1657.74 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 292888 0 0 0 165644 130 0 0 20 0 2 0 287053155 1230753792 293689 33554432000 4194304 5964318 140734249481584 140726647515160 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1201908
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13844
/proc/meminfo: memFree=27608716/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=1201908 CPUtime=1721.87 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 294003 0 0 0 172082 105 0 0 20 0 2 0 287053154 1230753792 293689 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 300477 293689 194 433 0 300041 0
[pid=13765/tid=13767] ppid=13763 vsize=1201908 CPUtime=1717.58 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 292888 0 0 0 171627 131 0 0 20 0 2 0 287053155 1230753792 293689 33554432000 4194304 5964318 140734249481584 140726647515160 4400019 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) 1201908
[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 13844
/proc/meminfo: memFree=27472936/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=1201908 CPUtime=1781.86 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 294003 0 0 0 178081 105 0 0 20 0 2 0 287053154 1230753792 293689 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 300477 293689 194 433 0 300041 0
[pid=13765/tid=13767] ppid=13763 vsize=1201908 CPUtime=1777.43 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 292888 0 0 0 177611 132 0 0 20 0 2 0 287053155 1230753792 293689 33554432000 4194304 5964318 140734249481584 140726647515160 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) 1201908
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 13844
/proc/meminfo: memFree=27456320/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=1201908 CPUtime=1791.57 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 294003 0 0 0 179052 105 0 0 20 0 2 0 287053154 1230753792 293689 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 300477 293689 194 433 0 300041 0
[pid=13765/tid=13767] ppid=13763 vsize=1201908 CPUtime=1787.11 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 292888 0 0 0 178579 132 0 0 20 0 2 0 287053155 1230753792 293689 33554432000 4194304 5964318 140734249481584 140726647515160 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (KiB) 1201908
[startup+1795.2 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13844
/proc/meminfo: memFree=27456320/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=1201908 CPUtime=1794.77 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 294003 0 0 0 179372 105 0 0 20 0 2 0 287053154 1230753792 293689 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 300477 293689 194 433 0 300041 0
[pid=13765/tid=13767] ppid=13763 vsize=1201908 CPUtime=1790.3 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 292888 0 0 0 178898 132 0 0 20 0 2 0 287053155 1230753792 293689 33554432000 4194304 5964318 140734249481584 140726647515160 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.77
Current children cumulated vsize (KiB) 1201908
[startup+1798.4 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13844
/proc/meminfo: memFree=27456320/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=1201908 CPUtime=1797.96 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 294003 0 0 0 179691 105 0 0 20 0 2 0 287053154 1230753792 293689 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 300477 293689 194 433 0 300041 0
[pid=13765/tid=13767] ppid=13763 vsize=1201908 CPUtime=1793.48 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 292888 0 0 0 179216 132 0 0 20 0 2 0 287053155 1230753792 293689 33554432000 4194304 5964318 140734249481584 140726647515160 4400339 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 1201908
[startup+1799.2 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13844
/proc/meminfo: memFree=27456320/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=1201908 CPUtime=1798.76 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 294003 0 0 0 179771 105 0 0 20 0 2 0 287053154 1230753792 293689 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 300477 293689 194 433 0 300041 0
[pid=13765/tid=13767] ppid=13763 vsize=1201908 CPUtime=1794.28 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 292888 0 0 0 179296 132 0 0 20 0 2 0 287053155 1230753792 293689 33554432000 4194304 5964318 140734249481584 140726647515160 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.76
Current children cumulated vsize (KiB) 1201908
[startup+1799.6 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13844
/proc/meminfo: memFree=27456320/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=1201908 CPUtime=1799.17 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 294003 0 0 0 179812 105 0 0 20 0 2 0 287053154 1230753792 293689 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 300477 293689 194 433 0 300041 0
[pid=13765/tid=13767] ppid=13763 vsize=1201908 CPUtime=1794.69 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 292888 0 0 0 179337 132 0 0 20 0 2 0 287053155 1230753792 293689 33554432000 4194304 5964318 140734249481584 140726647515160 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.17
Current children cumulated vsize (KiB) 1201908
[startup+1800 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13844
/proc/meminfo: memFree=27456320/32873844 swapFree=7116/7116
[pid=13765] ppid=13763 vsize=1201908 CPUtime=1799.56 cores=0,2,4,6
/proc/13765/stat : 13765 (wbo1.71) S 13763 13765 12215 0 -1 4202496 294003 0 0 0 179851 105 0 0 20 0 2 0 287053154 1230753792 293689 33554432000 4194304 5964318 140734249481584 140734249481104 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13765/statm: 300477 293689 194 433 0 300041 0
[pid=13765/tid=13767] ppid=13763 vsize=1201908 CPUtime=1795.08 cores=0,2,4,6
/proc/13765/task/13767/stat : 13767 (wbo1.71) R 13763 13765 12215 0 -1 4202560 292888 0 0 0 179376 132 0 0 20 0 2 0 287053155 1230753792 293689 33554432000 4194304 5964318 140734249481584 140726647515160 4399991 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) 1201908
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13765 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=773305
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=349794
# CPU time returned by wait4() is 1795.12
# 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.02
CPU time (s): 1799.56
CPU user time (s): 1798.51
CPU system time (s): 1.05
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 1201908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.77
system time used= 1.34979
maximum resident set size= 1175500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294006
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= 272
involuntary context switches= 2082
runsolver used 3.34249 second user time and 9.01263 second system time
The end