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-3728168-1338673313/watcher-3728168-1338673313 -o /tmp/evaluation-result-3728168-1338673313/solver-3728168-1338673313 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=wbo HOME/instance-3728168-1338673313.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.04 2.01 1.94 3/177 20384
/proc/meminfo: memFree=30833940/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=83720 CPUtime=0 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 793 0 0 0 0 0 0 0 20 0 2 0 333457256 85729280 742 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 20930 742 192 433 0 20494 0
[pid=20384/tid=20385] ppid=20382 vsize=83720 CPUtime=0 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 2 0 333457257 85729280 742 33554432000 4194304 5964350 140733692622784 140736297810616 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.013265 s]
/proc/loadavg: 2.04 2.01 1.94 3/177 20384
/proc/meminfo: memFree=30833940/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=83720 CPUtime=0.01 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 826 0 0 0 1 0 0 0 20 0 2 0 333457256 85729280 775 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 20930 775 193 433 0 20494 0
[pid=20384/tid=20385] ppid=20382 vsize=83720 CPUtime=0 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 105 0 0 0 0 0 0 0 20 0 2 0 333457257 85729280 775 33554432000 4194304 5964350 140733692622784 140736297810616 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 83720
[startup+0.100163 s]
/proc/loadavg: 2.04 2.01 1.94 3/177 20384
/proc/meminfo: memFree=30833940/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=83720 CPUtime=0.1 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 1073 0 0 0 10 0 0 0 20 0 2 0 333457256 85729280 1022 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 20930 1022 193 433 0 20494 0
[pid=20384/tid=20385] ppid=20382 vsize=83720 CPUtime=0.08 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 352 0 0 0 8 0 0 0 20 0 2 0 333457257 85729280 1022 33554432000 4194304 5964350 140733692622784 140736297810616 4389049 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 83720
[startup+0.300127 s]
/proc/loadavg: 2.04 2.01 1.94 3/177 20384
/proc/meminfo: memFree=30833940/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=83720 CPUtime=0.29 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 1417 0 0 0 29 0 0 0 20 0 2 0 333457256 85729280 1366 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 20930 1366 193 433 0 20494 0
[pid=20384/tid=20385] ppid=20382 vsize=83720 CPUtime=0.28 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 696 0 0 0 28 0 0 0 20 0 2 0 333457257 85729280 1366 33554432000 4194304 5964350 140733692622784 139761198774264 4400436 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83720
[startup+0.700123 s]
/proc/loadavg: 2.04 2.01 1.94 3/177 20384
/proc/meminfo: memFree=30833940/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=83720 CPUtime=0.69 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 1889 0 0 0 69 0 0 0 20 0 2 0 333457256 85729280 1838 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 20930 1838 193 433 0 20494 0
[pid=20384/tid=20385] ppid=20382 vsize=83720 CPUtime=0.68 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 1168 0 0 0 68 0 0 0 20 0 2 0 333457257 85729280 1838 33554432000 4194304 5964350 140733692622784 139761198774264 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83720
[startup+1.50022 s]
/proc/loadavg: 2.04 2.01 1.94 3/179 20386
/proc/meminfo: memFree=30826840/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=83864 CPUtime=1.49 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 2263 0 0 0 149 0 0 0 20 0 2 0 333457256 85876736 2212 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 20966 2212 193 433 0 20530 0
[pid=20384/tid=20385] ppid=20382 vsize=83864 CPUtime=1.48 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 1542 0 0 0 148 0 0 0 20 0 2 0 333457257 85876736 2212 33554432000 4194304 5964350 140733692622784 139761198774072 4400552 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) 83864
[startup+3.10025 s]
/proc/loadavg: 2.04 2.01 1.94 3/179 20386
/proc/meminfo: memFree=30824988/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=83936 CPUtime=3.09 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 3038 0 0 0 309 0 0 0 20 0 2 0 333457256 85950464 2987 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 20984 2987 193 433 0 20548 0
[pid=20384/tid=20385] ppid=20382 vsize=83936 CPUtime=3.08 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 2317 0 0 0 308 0 0 0 20 0 2 0 333457257 85950464 2987 33554432000 4194304 5964350 140733692622784 139761198774312 4400026 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) 83936
[startup+6.30025 s]
/proc/loadavg: 2.12 2.03 1.94 3/179 20386
/proc/meminfo: memFree=30815812/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=83720 CPUtime=6.29 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 4077 0 0 0 629 0 0 0 20 0 2 0 333457256 85729280 3953 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 20930 3953 197 433 0 20494 0
[pid=20384/tid=20385] ppid=20382 vsize=83720 CPUtime=6.28 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 3356 0 0 0 628 0 0 0 20 0 2 0 333457257 85729280 3953 33554432000 4194304 5964350 140733692622784 139761198775224 4221120 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) 83720
[startup+12.7002 s]
/proc/loadavg: 2.11 2.03 1.94 3/179 20386
/proc/meminfo: memFree=30814804/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=83720 CPUtime=12.68 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 4476 0 0 0 1268 0 0 0 20 0 2 0 333457256 85729280 4352 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 20930 4352 197 433 0 20494 0
[pid=20384/tid=20385] ppid=20382 vsize=83720 CPUtime=12.68 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 3755 0 0 0 1268 0 0 0 20 0 2 0 333457257 85729280 4352 33554432000 4194304 5964350 140733692622784 139761198774616 4400011 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 83720
[startup+25.5002 s]
/proc/loadavg: 2.16 2.04 1.95 3/179 20386
/proc/meminfo: memFree=30808424/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=83720 CPUtime=25.48 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 4486 0 0 0 2548 0 0 0 20 0 2 0 333457256 85729280 4358 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 20930 4358 197 433 0 20494 0
[pid=20384/tid=20385] ppid=20382 vsize=83720 CPUtime=25.48 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 3765 0 0 0 2548 0 0 0 20 0 2 0 333457257 85729280 4358 33554432000 4194304 5964350 140733692622784 139761198774808 4399889 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83720
[startup+51.1002 s]
/proc/loadavg: 2.11 2.04 1.95 3/179 20386
/proc/meminfo: memFree=30796616/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=83720 CPUtime=51.07 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 6700 0 0 0 5106 1 0 0 20 0 2 0 333457256 85729280 6450 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 20930 6450 197 433 0 20494 0
[pid=20384/tid=20385] ppid=20382 vsize=83720 CPUtime=51.08 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 5979 0 0 0 5106 2 0 0 20 0 2 0 333457257 85729280 6450 33554432000 4194304 5964350 140733692622784 139761198774808 4400552 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 83720
[startup+102.306 s]
/proc/loadavg: 2.05 2.03 1.95 3/179 20386
/proc/meminfo: memFree=30786304/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=83720 CPUtime=102.27 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 9495 0 0 0 10225 2 0 0 20 0 2 0 333457256 85729280 8956 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 20930 8956 197 433 0 20494 0
[pid=20384/tid=20385] ppid=20382 vsize=83720 CPUtime=102.29 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 8774 0 0 0 10225 4 0 0 20 0 2 0 333457257 85729280 8956 33554432000 4194304 5964350 140733692622784 139761198775224 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 83720
[startup+162.3 s]
/proc/loadavg: 2.05 2.04 1.95 3/179 20387
/proc/meminfo: memFree=30780840/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=83720 CPUtime=162.25 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 10641 0 0 0 16223 2 0 0 20 0 2 0 333457256 85729280 10097 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 20930 10097 197 433 0 20494 0
[pid=20384/tid=20385] ppid=20382 vsize=83720 CPUtime=162.28 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 9920 0 0 0 16223 5 0 0 20 0 2 0 333457257 85729280 10097 33554432000 4194304 5964350 140733692622784 139761198774808 4399976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 83720
[startup+222.3 s]
/proc/loadavg: 2.02 2.03 1.95 3/179 20387
/proc/meminfo: memFree=30777120/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=83720 CPUtime=222.24 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 10641 0 0 0 22222 2 0 0 20 0 2 0 333457256 85729280 10097 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 20930 10097 197 433 0 20494 0
[pid=20384/tid=20385] ppid=20382 vsize=83720 CPUtime=222.28 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 9920 0 0 0 22222 6 0 0 20 0 2 0 333457257 85729280 10097 33554432000 4194304 5964350 140733692622784 139761198774808 4867261 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 83720
[startup+282.3 s]
/proc/loadavg: 2.05 2.03 1.96 3/179 20387
/proc/meminfo: memFree=30772672/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=83720 CPUtime=282.23 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 11041 0 0 0 28221 2 0 0 20 0 2 0 333457256 85729280 10497 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 20930 10497 197 433 0 20494 0
[pid=20384/tid=20385] ppid=20382 vsize=83720 CPUtime=282.29 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 10320 0 0 0 28222 7 0 0 20 0 2 0 333457257 85729280 10497 33554432000 4194304 5964350 140733692622784 139761198774632 4391307 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 83720
[startup+342.3 s]
/proc/loadavg: 2.02 2.03 1.96 3/179 20426
/proc/meminfo: memFree=30766216/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=84444 CPUtime=342.22 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 17129 0 0 0 34217 5 0 0 20 0 2 0 333457256 86470656 16581 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 21111 16581 197 433 0 20675 0
[pid=20384/tid=20385] ppid=20382 vsize=84444 CPUtime=342.29 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 16408 0 0 0 34218 11 0 0 20 0 2 0 333457257 86470656 16581 33554432000 4194304 5964350 140733692622784 139761198774312 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 84444
[startup+402.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/179 20426
/proc/meminfo: memFree=30731888/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=149256 CPUtime=402.21 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 23062 0 0 0 40214 7 0 0 20 0 2 0 333457256 152838144 22524 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
################
# More data... #
################
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 68264 0 0 0 130174 52 0 0 20 0 2 0 333457257 354164736 70191 33554432000 4194304 5964350 140733692622784 139761198775224 4400029 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 345864
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 20469
/proc/meminfo: memFree=30279440/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=345864 CPUtime=1361.98 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 68985 0 0 0 136166 32 0 0 20 0 2 0 333457256 354164736 70191 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 86466 70191 197 433 0 86030 0
[pid=20384/tid=20385] ppid=20382 vsize=345864 CPUtime=1362.25 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 68264 0 0 0 136172 53 0 0 20 0 2 0 333457257 354164736 70191 33554432000 4194304 5964350 140733692622784 139761198775224 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 345864
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 1.99 3/178 20470
/proc/meminfo: memFree=30272436/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=345864 CPUtime=1421.98 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 68985 0 0 0 142166 32 0 0 20 0 2 0 333457256 354164736 70191 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 86466 70191 197 433 0 86030 0
[pid=20384/tid=20385] ppid=20382 vsize=345864 CPUtime=1422.26 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 68264 0 0 0 142172 54 0 0 20 0 2 0 333457257 354164736 70191 33554432000 4194304 5964350 140733692622784 139761198775224 4400352 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 345864
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/179 20471
/proc/meminfo: memFree=30266884/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=345864 CPUtime=1481.96 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 69194 0 0 0 148164 32 0 0 20 0 2 0 333457256 354164736 70399 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 86466 70399 197 433 0 86030 0
[pid=20384/tid=20385] ppid=20382 vsize=345864 CPUtime=1482.26 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 68473 0 0 0 148171 55 0 0 20 0 2 0 333457257 354164736 70399 33554432000 4194304 5964350 140733692622784 139761198774072 4400439 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 345864
[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 1.99 3/179 20471
/proc/meminfo: memFree=30226832/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=345864 CPUtime=1541.95 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 76303 0 0 0 154160 35 0 0 20 0 2 0 333457256 354164736 77506 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 86466 77506 197 433 0 86030 0
[pid=20384/tid=20385] ppid=20382 vsize=345864 CPUtime=1542.26 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 75582 0 0 0 154167 59 0 0 20 0 2 0 333457257 354164736 77506 33554432000 4194304 5964350 140733692622784 139761198774072 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 345864
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/179 20471
/proc/meminfo: memFree=30187044/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=345864 CPUtime=1601.92 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 80295 0 0 0 160153 39 0 0 20 0 2 0 333457256 354164736 82026 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 86466 82026 197 433 0 86030 0
[pid=20384/tid=20385] ppid=20382 vsize=345864 CPUtime=1602.25 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 79574 0 0 0 160161 64 0 0 20 0 2 0 333457257 354164736 82026 33554432000 4194304 5964350 140733692622784 139761198774072 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 345864
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/179 20471
/proc/meminfo: memFree=30168944/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=411400 CPUtime=1661.91 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 84118 0 0 0 166148 43 0 0 20 0 2 0 333457256 421273600 85843 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 102850 85843 197 433 0 102414 0
[pid=20384/tid=20385] ppid=20382 vsize=411400 CPUtime=1662.25 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 83397 0 0 0 166156 69 0 0 20 0 2 0 333457257 421273600 85843 33554432000 4194304 5964350 140733692622784 139761198774072 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 411400
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 20475
/proc/meminfo: memFree=30139796/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=411400 CPUtime=1721.91 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 84978 0 0 0 172147 44 0 0 20 0 2 0 333457256 421273600 86702 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 102850 86702 197 433 0 102414 0
[pid=20384/tid=20385] ppid=20382 vsize=411400 CPUtime=1722.26 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 84257 0 0 0 172155 71 0 0 20 0 2 0 333457257 421273600 86702 33554432000 4194304 5964350 140733692622784 139761198774072 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 411400
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 20475
/proc/meminfo: memFree=30113236/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=411400 CPUtime=1781.9 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 87831 0 0 0 178144 46 0 0 20 0 2 0 333457256 421273600 89550 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 102850 89550 197 433 0 102414 0
[pid=20384/tid=20385] ppid=20382 vsize=411400 CPUtime=1782.26 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 87110 0 0 0 178152 74 0 0 20 0 2 0 333457257 421273600 89550 33554432000 4194304 5964350 140733692622784 139761198774264 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 411400
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 20475
/proc/meminfo: memFree=30107772/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=411400 CPUtime=1791.5 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 88932 0 0 0 179104 46 0 0 20 0 2 0 333457256 421273600 90650 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 102850 90650 197 433 0 102414 0
[pid=20384/tid=20385] ppid=20382 vsize=411400 CPUtime=1791.86 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 88211 0 0 0 179112 74 0 0 20 0 2 0 333457257 421273600 90650 33554432000 4194304 5964350 140733692622784 139761198774136 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (KiB) 411400
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 20475
/proc/meminfo: memFree=30106532/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=411400 CPUtime=1794.7 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 89115 0 0 0 179424 46 0 0 20 0 2 0 333457256 421273600 90833 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 102850 90833 197 433 0 102414 0
[pid=20384/tid=20385] ppid=20382 vsize=411400 CPUtime=1795.06 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 88394 0 0 0 179432 74 0 0 20 0 2 0 333457257 421273600 90833 33554432000 4194304 5964350 140733692622784 139761198774264 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.7
Current children cumulated vsize (KiB) 411400
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 20475
/proc/meminfo: memFree=30105788/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=411400 CPUtime=1797.89 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 89363 0 0 0 179742 47 0 0 20 0 2 0 333457256 421273600 91081 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 102850 91081 197 433 0 102414 0
[pid=20384/tid=20385] ppid=20382 vsize=411400 CPUtime=1798.26 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 88642 0 0 0 179751 75 0 0 20 0 2 0 333457257 421273600 91081 33554432000 4194304 5964350 140733692622784 139761198774264 4400011 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 411400
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 20475
/proc/meminfo: memFree=30105416/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=411400 CPUtime=1798.69 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 89432 0 0 0 179822 47 0 0 20 0 2 0 333457256 421273600 91150 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 102850 91150 197 433 0 102414 0
[pid=20384/tid=20385] ppid=20382 vsize=411400 CPUtime=1799.06 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 88711 0 0 0 179831 75 0 0 20 0 2 0 333457257 421273600 91150 33554432000 4194304 5964350 140733692622784 139761198774264 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.69
Current children cumulated vsize (KiB) 411400
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 20475
/proc/meminfo: memFree=30104484/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=411400 CPUtime=1799.1 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 89469 0 0 0 179863 47 0 0 20 0 2 0 333457256 421273600 91187 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 102850 91187 197 433 0 102414 0
[pid=20384/tid=20385] ppid=20382 vsize=411400 CPUtime=1799.46 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 88748 0 0 0 179871 75 0 0 20 0 2 0 333457257 421273600 91187 33554432000 4194304 5964350 140733692622784 139761198774264 4400011 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.1
Current children cumulated vsize (KiB) 411400
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 20475
/proc/meminfo: memFree=30104484/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=411400 CPUtime=1799.49 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 89502 0 0 0 179902 47 0 0 20 0 2 0 333457256 421273600 91220 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 102850 91220 197 433 0 102414 0
[pid=20384/tid=20385] ppid=20382 vsize=411400 CPUtime=1799.86 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 88781 0 0 0 179911 75 0 0 20 0 2 0 333457257 421273600 91220 33554432000 4194304 5964350 140733692622784 139761198774264 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 411400
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 20475
/proc/meminfo: memFree=30104484/32873648 swapFree=7628/7628
[pid=20384] ppid=20382 vsize=411400 CPUtime=1799.59 cores=0,2,4,6
/proc/20384/stat : 20384 (wbo1.72) S 20382 20384 19762 0 -1 4202496 89511 0 0 0 179912 47 0 0 20 0 2 0 333457256 421273600 91229 33554432000 4194304 5964350 140733692622784 140733692622304 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20384/statm: 102850 91229 197 433 0 102414 0
[pid=20384/tid=20385] ppid=20382 vsize=411400 CPUtime=1799.96 cores=0,2,4,6
/proc/20384/task/20385/stat : 20385 (wbo1.72) R 20382 20384 19762 0 -1 4202560 88790 0 0 0 179921 75 0 0 20 0 2 0 333457257 421273600 91229 33554432000 4194304 5964350 140733692622784 139761198774264 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (KiB) 411400
Child status: 255
Real time (s): 1800
CPU time (s): 1799.98
CPU user time (s): 1799.22
CPU system time (s): 0.763883
CPU usage (%): 99.9988
Max. virtual memory (cumulated for all children) (KiB): 411400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.22
system time used= 0.763883
maximum resident set size= 364924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89513
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= 154
involuntary context switches= 1892
runsolver used 2.69859 second user time and 7.16591 second system time
The end