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-3728309-1338676446/watcher-3728309-1338676446 -o /tmp/evaluation-result-3728309-1338676446/solver-3728309-1338676446 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=wbo HOME/instance-3728309-1338676446.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.15 2.72 3/177 24566
/proc/meminfo: memFree=27467040/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=4392 CPUtime=0 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) R 24564 24566 23469 0 -1 4202496 503 0 0 0 0 0 0 0 20 0 1 0 333773167 4497408 455 33554432000 4194304 5964350 140736276806912 140736276804696 4395119 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 1098 455 169 433 0 539 0
[startup+0.040952 s]
/proc/loadavg: 2.00 2.15 2.72 3/177 24566
/proc/meminfo: memFree=27467040/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=89968 CPUtime=0.03 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 2147 0 0 0 3 0 0 0 20 0 2 0 333773167 92127232 1976 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 22492 1976 177 433 0 22056 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 89968
[startup+0.100171 s]
/proc/loadavg: 2.00 2.15 2.72 3/177 24566
/proc/meminfo: memFree=27467040/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=88068 CPUtime=0.08 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 6051 0 0 0 8 0 0 0 20 0 2 0 333773167 90181632 4939 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 22017 4939 192 433 0 21581 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 88068
[startup+0.300172 s]
/proc/loadavg: 2.00 2.15 2.72 3/177 24566
/proc/meminfo: memFree=27467040/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=88068 CPUtime=0.29 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 8191 0 0 0 28 1 0 0 20 0 2 0 333773167 90181632 5505 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 22017 5505 193 433 0 21581 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 88068
[startup+0.700174 s]
/proc/loadavg: 2.00 2.15 2.72 3/177 24566
/proc/meminfo: memFree=27467040/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=88068 CPUtime=0.69 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 10660 0 0 0 68 1 0 0 20 0 2 0 333773167 90181632 6152 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 22017 6152 193 433 0 21581 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88068
[startup+1.50026 s]
/proc/loadavg: 2.00 2.15 2.72 3/179 24568
/proc/meminfo: memFree=27441720/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=88068 CPUtime=1.49 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 16922 0 0 0 147 2 0 0 20 0 2 0 333773167 90181632 7702 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 22017 7730 194 433 0 21581 0
[pid=24566/tid=24568] ppid=24564 vsize=88068 CPUtime=1.44 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 15148 0 0 0 143 1 0 0 20 0 2 0 333773171 90181632 7740 33554432000 4194304 5964350 140736276806912 140283311639064 5179883 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 88068
[startup+3.10026 s]
/proc/loadavg: 2.00 2.15 2.72 3/179 24568
/proc/meminfo: memFree=27435264/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=88068 CPUtime=3.08 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 26344 0 0 0 305 3 0 0 20 0 2 0 333773167 90181632 9372 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 22017 9372 194 433 0 21581 0
[pid=24566/tid=24568] ppid=24564 vsize=88068 CPUtime=3.04 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 24532 0 0 0 301 3 0 0 20 0 2 0 333773171 90181632 9372 33554432000 4194304 5964350 140736276806912 140283311638872 5130821 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 88068
[startup+6.30026 s]
/proc/loadavg: 2.00 2.15 2.72 3/179 24568
/proc/meminfo: memFree=27418028/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=88068 CPUtime=6.28 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 44293 0 0 0 622 6 0 0 20 0 2 0 333773167 90181632 14088 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 22017 14088 194 433 0 21581 0
[pid=24566/tid=24568] ppid=24564 vsize=88068 CPUtime=6.24 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 42481 0 0 0 618 6 0 0 20 0 2 0 333773171 90181632 14088 33554432000 4194304 5964350 140736276806912 140283311639368 5133844 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) 88068
[startup+12.7002 s]
/proc/loadavg: 2.00 2.14 2.71 3/179 24568
/proc/meminfo: memFree=27405064/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=88068 CPUtime=12.69 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 47036 0 0 0 1262 7 0 0 20 0 2 0 333773167 90181632 15625 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 22017 15625 194 433 0 21581 0
[pid=24566/tid=24568] ppid=24564 vsize=88068 CPUtime=12.65 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 45224 0 0 0 1258 7 0 0 20 0 2 0 333773171 90181632 15625 33554432000 4194304 5964350 140736276806912 140283311638872 4400007 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 88068
[startup+25.5002 s]
/proc/loadavg: 2.00 2.14 2.70 3/179 24568
/proc/meminfo: memFree=27396352/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=92396 CPUtime=25.48 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 50008 0 0 0 2541 7 0 0 20 0 2 0 333773167 94613504 17720 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 23099 17720 194 433 0 22663 0
[pid=24566/tid=24568] ppid=24564 vsize=92396 CPUtime=25.44 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 48196 0 0 0 2536 8 0 0 20 0 2 0 333773171 94613504 17720 33554432000 4194304 5964350 140736276806912 140283311639480 4399840 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 92396
[startup+51.1002 s]
/proc/loadavg: 2.00 2.13 2.68 3/179 24568
/proc/meminfo: memFree=27388540/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=157932 CPUtime=51.07 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 52282 0 0 0 5099 8 0 0 20 0 2 0 333773167 161722368 19994 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 39483 19994 194 433 0 39047 0
[pid=24566/tid=24568] ppid=24564 vsize=157932 CPUtime=51.03 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 50470 0 0 0 5095 8 0 0 20 0 2 0 333773171 161722368 19994 33554432000 4194304 5964350 140736276806912 140283311638520 4222416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 157932
[startup+102.306 s]
/proc/loadavg: 2.00 2.10 2.64 3/179 24569
/proc/meminfo: memFree=27329080/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=157932 CPUtime=102.25 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 59256 0 0 0 10215 10 0 0 20 0 2 0 333773167 161722368 27244 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 39483 27244 194 433 0 39047 0
[pid=24566/tid=24568] ppid=24564 vsize=157932 CPUtime=102.21 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 57444 0 0 0 10210 11 0 0 20 0 2 0 333773171 161722368 27244 33554432000 4194304 5964350 140736276806912 140283311638328 4388992 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 157932
[startup+162.3 s]
/proc/loadavg: 2.00 2.08 2.60 3/179 24569
/proc/meminfo: memFree=27200324/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=157932 CPUtime=162.22 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 65710 0 0 0 16210 12 0 0 20 0 2 0 333773167 161722368 34075 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 39483 34075 194 433 0 39047 0
[pid=24566/tid=24568] ppid=24564 vsize=157932 CPUtime=162.2 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 63898 0 0 0 16206 14 0 0 20 0 2 0 333773171 161722368 34075 33554432000 4194304 5964350 140736276806912 140283311638328 4389067 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 157932
[startup+222.3 s]
/proc/loadavg: 2.00 2.06 2.56 3/179 24569
/proc/meminfo: memFree=27156316/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=223468 CPUtime=222.21 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 76621 0 0 0 22202 19 0 0 20 0 2 0 333773167 228831232 44986 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 55867 44986 194 433 0 55431 0
[pid=24566/tid=24568] ppid=24564 vsize=223468 CPUtime=222.2 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 74809 0 0 0 22198 22 0 0 20 0 2 0 333773171 228831232 44986 33554432000 4194304 5964350 140736276806912 140283311638328 4389080 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 223468
[startup+282.3 s]
/proc/loadavg: 2.00 2.05 2.52 3/179 24569
/proc/meminfo: memFree=27133296/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=223468 CPUtime=282.18 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 82646 0 0 0 28196 22 0 0 20 0 2 0 333773167 228831232 51011 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 55867 51011 194 433 0 55431 0
[pid=24566/tid=24568] ppid=24564 vsize=223468 CPUtime=282.18 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 80834 0 0 0 28192 26 0 0 20 0 2 0 333773171 228831232 51011 33554432000 4194304 5964350 140736276806912 140283311638520 4392925 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 223468
[startup+342.3 s]
/proc/loadavg: 2.07 2.06 2.49 3/179 24569
/proc/meminfo: memFree=27020604/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=291436 CPUtime=342.17 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 93267 0 0 0 34187 30 0 0 20 0 2 0 333773167 298430464 61632 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 72859 61632 194 433 0 72423 0
[pid=24566/tid=24568] ppid=24564 vsize=291436 CPUtime=342.18 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 91455 0 0 0 34183 35 0 0 20 0 2 0 333773171 298430464 61632 33554432000 4194304 5964350 140736276806912 140283311638568 4392616 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 291436
[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.45 3/180 24573
/proc/meminfo: memFree=26953324/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=291436 CPUtime=402.15 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 93324 0 0 0 40185 30 0 0 20 0 2 0 333773167 298430464 61689 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 72859 61689 194 433 0 72423 0
[pid=24566/tid=24568] ppid=24564 vsize=291436 CPUtime=402.17 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 91512 0 0 0 40181 36 0 0 20 0 2 0 333773171 298430464 61689 33554432000 4194304 5964350 140736276806912 140283311638328 4392732 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 291436
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.42 3/179 24573
/proc/meminfo: memFree=26904724/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=356972 CPUtime=462.14 cores=0,2,4,6
################
# More data... #
################
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 121869 0 0 0 130150 68 0 0 20 0 2 0 333773171 425725952 91316 33554432000 4194304 5964350 140736276806912 140283311639368 4392806 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 415748
[startup+1362.3 s]
/proc/loadavg: 1.02 1.39 1.88 2/172 24603
/proc/meminfo: memFree=27862764/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=415748 CPUtime=1361.97 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 123681 0 0 0 136149 48 0 0 20 0 2 0 333773167 425725952 91316 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 103937 91316 194 433 0 103501 0
[pid=24566/tid=24568] ppid=24564 vsize=415748 CPUtime=1362.18 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 121869 0 0 0 136149 69 0 0 20 0 2 0 333773171 425725952 91316 33554432000 4194304 5964350 140736276806912 140283311639368 4403495 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 415748
[startup+1422.31 s]
/proc/loadavg: 1.01 1.32 1.82 2/172 24603
/proc/meminfo: memFree=27862764/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=415748 CPUtime=1421.97 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 123681 0 0 0 142149 48 0 0 20 0 2 0 333773167 425725952 91316 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 103937 91316 194 433 0 103501 0
[pid=24566/tid=24568] ppid=24564 vsize=415748 CPUtime=1422.18 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 121869 0 0 0 142148 70 0 0 20 0 2 0 333773171 425725952 91316 33554432000 4194304 5964350 140736276806912 140283311639368 4389009 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 415748
[startup+1482.3 s]
/proc/loadavg: 1.00 1.26 1.77 2/172 24603
/proc/meminfo: memFree=27862516/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=415748 CPUtime=1481.95 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 123681 0 0 0 148147 48 0 0 20 0 2 0 333773167 425725952 91316 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 103937 91316 194 433 0 103501 0
[pid=24566/tid=24568] ppid=24564 vsize=415748 CPUtime=1482.18 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 121869 0 0 0 148147 71 0 0 20 0 2 0 333773171 425725952 91316 33554432000 4194304 5964350 140736276806912 140283311639368 4400068 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 415748
[startup+1542.3 s]
/proc/loadavg: 1.00 1.21 1.71 2/172 24603
/proc/meminfo: memFree=27862640/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=415748 CPUtime=1541.94 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 123681 0 0 0 154146 48 0 0 20 0 2 0 333773167 425725952 91316 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 103937 91316 194 433 0 103501 0
[pid=24566/tid=24568] ppid=24564 vsize=415748 CPUtime=1542.18 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 121869 0 0 0 154146 72 0 0 20 0 2 0 333773171 425725952 91316 33554432000 4194304 5964350 140736276806912 140283311639368 4389052 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 415748
[startup+1602.3 s]
/proc/loadavg: 1.00 1.17 1.67 2/173 24607
/proc/meminfo: memFree=27863004/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=415748 CPUtime=1601.93 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 123681 0 0 0 160145 48 0 0 20 0 2 0 333773167 425725952 91316 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 103937 91316 194 433 0 103501 0
[pid=24566/tid=24568] ppid=24564 vsize=415748 CPUtime=1602.19 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 121869 0 0 0 160146 73 0 0 20 0 2 0 333773171 425725952 91316 33554432000 4194304 5964350 140736276806912 140283311639368 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 415748
[startup+1662.3 s]
/proc/loadavg: 1.00 1.14 1.62 2/173 24630
/proc/meminfo: memFree=27863252/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=415748 CPUtime=1661.93 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 123681 0 0 0 166144 49 0 0 20 0 2 0 333773167 425725952 91316 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 103937 91316 194 433 0 103501 0
[pid=24566/tid=24568] ppid=24564 vsize=415748 CPUtime=1662.19 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 121869 0 0 0 166145 74 0 0 20 0 2 0 333773171 425725952 91316 33554432000 4194304 5964350 140736276806912 140283311639368 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 415748
[startup+1722.3 s]
/proc/loadavg: 1.00 1.11 1.58 2/172 24630
/proc/meminfo: memFree=27863384/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=415748 CPUtime=1721.92 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 123681 0 0 0 172143 49 0 0 20 0 2 0 333773167 425725952 91316 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 103937 91316 194 433 0 103501 0
[pid=24566/tid=24568] ppid=24564 vsize=415748 CPUtime=1722.19 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 121869 0 0 0 172144 75 0 0 20 0 2 0 333773171 425725952 91316 33554432000 4194304 5964350 140736276806912 140283311639368 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 415748
[startup+1782.3 s]
/proc/loadavg: 1.00 1.09 1.54 2/172 24630
/proc/meminfo: memFree=27863384/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=415748 CPUtime=1781.91 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 123681 0 0 0 178142 49 0 0 20 0 2 0 333773167 425725952 91316 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 103937 91316 194 433 0 103501 0
[pid=24566/tid=24568] ppid=24564 vsize=415748 CPUtime=1782.19 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 121869 0 0 0 178143 76 0 0 20 0 2 0 333773171 425725952 91316 33554432000 4194304 5964350 140736276806912 140283311639368 4399998 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 415748
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.00 1.08 1.54 2/172 24630
/proc/meminfo: memFree=27863384/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=415748 CPUtime=1791.52 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 123681 0 0 0 179103 49 0 0 20 0 2 0 333773167 425725952 91316 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 103937 91316 194 433 0 103501 0
[pid=24566/tid=24568] ppid=24564 vsize=415748 CPUtime=1791.8 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 121869 0 0 0 179104 76 0 0 20 0 2 0 333773171 425725952 91316 33554432000 4194304 5964350 140736276806912 140283311639368 4400514 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.52
Current children cumulated vsize (KiB) 415748
[startup+1795.1 s]
/proc/loadavg: 1.00 1.08 1.54 2/172 24630
/proc/meminfo: memFree=27863260/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=415748 CPUtime=1794.72 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 123681 0 0 0 179423 49 0 0 20 0 2 0 333773167 425725952 91316 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 103937 91316 194 433 0 103501 0
[pid=24566/tid=24568] ppid=24564 vsize=415748 CPUtime=1795 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 121869 0 0 0 179424 76 0 0 20 0 2 0 333773171 425725952 91316 33554432000 4194304 5964350 140736276806912 140283311639368 4400462 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.72
Current children cumulated vsize (KiB) 415748
[startup+1798.3 s]
/proc/loadavg: 1.00 1.08 1.53 2/172 24630
/proc/meminfo: memFree=27863260/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=415748 CPUtime=1797.91 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 123681 0 0 0 179742 49 0 0 20 0 2 0 333773167 425725952 91316 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 103937 91316 194 433 0 103501 0
[pid=24566/tid=24568] ppid=24564 vsize=415748 CPUtime=1798.19 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 121869 0 0 0 179743 76 0 0 20 0 2 0 333773171 425725952 91316 33554432000 4194304 5964350 140736276806912 140283311639368 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 415748
[startup+1799.1 s]
/proc/loadavg: 1.00 1.08 1.53 2/172 24630
/proc/meminfo: memFree=27863384/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=415748 CPUtime=1798.71 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 123681 0 0 0 179822 49 0 0 20 0 2 0 333773167 425725952 91316 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 103937 91316 194 433 0 103501 0
[pid=24566/tid=24568] ppid=24564 vsize=415748 CPUtime=1798.99 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 121869 0 0 0 179823 76 0 0 20 0 2 0 333773171 425725952 91316 33554432000 4194304 5964350 140736276806912 140283311639368 4390776 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.71
Current children cumulated vsize (KiB) 415748
[startup+1799.5 s]
/proc/loadavg: 1.00 1.08 1.53 2/172 24630
/proc/meminfo: memFree=27863384/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=415748 CPUtime=1799.12 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 123681 0 0 0 179863 49 0 0 20 0 2 0 333773167 425725952 91316 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 103937 91316 194 433 0 103501 0
[pid=24566/tid=24568] ppid=24564 vsize=415748 CPUtime=1799.4 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 121869 0 0 0 179864 76 0 0 20 0 2 0 333773171 425725952 91316 33554432000 4194304 5964350 140736276806912 140283311639368 4389020 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.12
Current children cumulated vsize (KiB) 415748
[startup+1799.9 s]
/proc/loadavg: 1.00 1.08 1.53 2/172 24630
/proc/meminfo: memFree=27863384/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=415748 CPUtime=1799.51 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 123681 0 0 0 179902 49 0 0 20 0 2 0 333773167 425725952 91316 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 103937 91316 194 433 0 103501 0
[pid=24566/tid=24568] ppid=24564 vsize=415748 CPUtime=1799.79 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 121869 0 0 0 179903 76 0 0 20 0 2 0 333773171 425725952 91316 33554432000 4194304 5964350 140736276806912 140283311639368 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 415748
[startup+1800 s]
/proc/loadavg: 1.00 1.08 1.53 2/172 24630
/proc/meminfo: memFree=27863384/32873844 swapFree=7116/7116
[pid=24566] ppid=24564 vsize=415748 CPUtime=1799.61 cores=0,2,4,6
/proc/24566/stat : 24566 (wbo1.72) S 24564 24566 23469 0 -1 4202496 123681 0 0 0 179912 49 0 0 20 0 2 0 333773167 425725952 91316 33554432000 4194304 5964350 140736276806912 140736276806432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24566/statm: 103937 91316 194 433 0 103501 0
[pid=24566/tid=24568] ppid=24564 vsize=415748 CPUtime=1799.89 cores=0,2,4,6
/proc/24566/task/24568/stat : 24568 (wbo1.72) R 24564 24566 23469 0 -1 4202560 121869 0 0 0 179913 76 0 0 20 0 2 0 333773171 425725952 91316 33554432000 4194304 5964350 140736276806912 140283311639368 4389020 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (KiB) 415748
Child status: 255
Real time (s): 1800
CPU time (s): 1799.95
CPU user time (s): 1799.18
CPU system time (s): 0.776881
CPU usage (%): 99.9973
Max. virtual memory (cumulated for all children) (KiB): 422508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 0.776881
maximum resident set size= 368064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123683
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= 54
involuntary context switches= 2419
runsolver used 2.6176 second user time and 7.2259 second system time
The end