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-3727944-1338667482/watcher-3727944-1338667482 -o /tmp/evaluation-result-3727944-1338667482/solver-3727944-1338667482 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727944-1338667482.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: 2.00 2.03 2.00 3/176 28662
/proc/meminfo: memFree=31461040/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=7452 CPUtime=0 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) R 28660 28662 28198 0 -1 4202496 684 0 0 0 0 0 0 0 20 0 1 0 332875281 7630848 637 33554432000 4194304 5964350 140736535593136 140736159650456 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 1863 638 166 433 0 719 0
[startup+0.0458059 s]
/proc/loadavg: 2.00 2.03 2.00 3/176 28662
/proc/meminfo: memFree=31461040/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=15816 CPUtime=0.04 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) R 28660 28662 28198 0 -1 4202496 2825 0 0 0 4 0 0 0 20 0 1 0 332875281 16195584 2696 33554432000 4194304 5964350 140736535593136 140736159650456 4344195 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 3954 2703 261 433 0 2810 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15816
[startup+0.100332 s]
/proc/loadavg: 2.00 2.03 2.00 3/176 28662
/proc/meminfo: memFree=31461040/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=20776 CPUtime=0.09 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) R 28660 28662 28198 0 -1 4202496 4072 0 0 0 9 0 0 0 20 0 1 0 332875281 21274624 3878 33554432000 4194304 5964350 140736535593136 140736159650456 4419455 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 5194 3879 422 433 0 4050 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20776
[startup+0.300164 s]
/proc/loadavg: 2.00 2.03 2.00 3/176 28662
/proc/meminfo: memFree=31461040/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=114552 CPUtime=0.29 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 11171 0 0 0 28 1 0 0 20 0 2 0 332875281 117301248 10205 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 28638 10205 182 433 0 28202 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 114552
[startup+0.700109 s]
/proc/loadavg: 2.00 2.03 2.00 3/176 28662
/proc/meminfo: memFree=31461040/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=106128 CPUtime=0.69 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 17445 0 0 0 66 3 0 0 20 0 2 0 332875281 108675072 14768 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 26532 14768 192 433 0 26096 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 106128
[startup+1.50023 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 28664
/proc/meminfo: memFree=31402124/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=106128 CPUtime=1.49 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 17452 0 0 0 146 3 0 0 20 0 2 0 332875281 108675072 14775 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 26532 14775 193 433 0 26096 0
[pid=28662/tid=28664] ppid=28660 vsize=106128 CPUtime=1.24 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 10333 0 0 0 121 3 0 0 20 0 2 0 332875307 108675072 14775 33554432000 4194304 5964350 140736535593136 140348707613624 4389005 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) 106128
[startup+3.10021 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 28664
/proc/meminfo: memFree=31399148/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=106128 CPUtime=3.09 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 17642 0 0 0 306 3 0 0 20 0 2 0 332875281 108675072 14965 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 26532 14965 194 433 0 26096 0
[pid=28662/tid=28664] ppid=28660 vsize=106128 CPUtime=2.84 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 10523 0 0 0 281 3 0 0 20 0 2 0 332875307 108675072 14965 33554432000 4194304 5964350 140736535593136 140348707612184 4389005 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 106128
[startup+6.30021 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 28665
/proc/meminfo: memFree=31374960/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=106128 CPUtime=6.29 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 20946 0 0 0 625 4 0 0 20 0 2 0 332875281 108675072 18268 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 26532 18268 194 433 0 26096 0
[pid=28662/tid=28664] ppid=28660 vsize=106128 CPUtime=6.03 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 13827 0 0 0 599 4 0 0 20 0 2 0 332875307 108675072 18268 33554432000 4194304 5964350 140736535593136 140348707613032 4389080 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 106128
[startup+12.7002 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 28665
/proc/meminfo: memFree=31348900/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=106128 CPUtime=12.68 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 22225 0 0 0 1264 4 0 0 20 0 2 0 332875281 108675072 19547 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 26532 19547 194 433 0 26096 0
[pid=28662/tid=28664] ppid=28660 vsize=106128 CPUtime=12.43 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 15106 0 0 0 1239 4 0 0 20 0 2 0 332875307 108675072 19547 33554432000 4194304 5964350 140736535593136 140348707612184 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 106128
[startup+25.5002 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 28665
/proc/meminfo: memFree=31303348/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=171664 CPUtime=25.48 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 27202 0 0 0 2542 6 0 0 20 0 2 0 332875281 175783936 24524 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 42916 24524 194 433 0 42480 0
[pid=28662/tid=28664] ppid=28660 vsize=171664 CPUtime=25.23 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 20083 0 0 0 2517 6 0 0 20 0 2 0 332875307 175783936 24524 33554432000 4194304 5964350 140736535593136 140348707612184 4399835 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) 171664
[startup+51.1002 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 28665
/proc/meminfo: memFree=31207324/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=171664 CPUtime=51.07 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 37243 0 0 0 5097 10 0 0 20 0 2 0 332875281 175783936 34565 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 42916 34565 194 433 0 42480 0
[pid=28662/tid=28664] ppid=28660 vsize=171664 CPUtime=50.82 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 30124 0 0 0 5072 10 0 0 20 0 2 0 332875307 175783936 34565 33554432000 4194304 5964350 140736535593136 140348707612184 4389030 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) 171664
[startup+102.306 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 28665
/proc/meminfo: memFree=31069180/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=302736 CPUtime=102.25 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 59052 0 0 0 10208 17 0 0 20 0 2 0 332875281 310001664 56512 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 75684 56512 194 433 0 75248 0
[pid=28662/tid=28664] ppid=28660 vsize=302736 CPUtime=102.01 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 51933 0 0 0 10183 18 0 0 20 0 2 0 332875307 310001664 56512 33554432000 4194304 5964350 140736535593136 140348707612184 4389067 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) 302736
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 28665
/proc/meminfo: memFree=30917432/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=368272 CPUtime=162.2 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 87807 0 0 0 16196 24 0 0 20 0 2 0 332875281 377110528 85263 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 92068 85263 194 433 0 91632 0
[pid=28662/tid=28664] ppid=28660 vsize=368272 CPUtime=161.98 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 80688 0 0 0 16172 26 0 0 20 0 2 0 332875307 377110528 85263 33554432000 4194304 5964350 140736535593136 140348707612184 5143324 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 368272
[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 28665
/proc/meminfo: memFree=30705944/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=433808 CPUtime=222.18 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 106457 0 0 0 22188 30 0 0 20 0 2 0 332875281 444219392 104777 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 108452 104777 194 433 0 108016 0
[pid=28662/tid=28664] ppid=28660 vsize=433808 CPUtime=221.97 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 99338 0 0 0 22164 33 0 0 20 0 2 0 332875307 444219392 104777 33554432000 4194304 5964350 140736535593136 140348707613016 4389304 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 433808
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 28665
/proc/meminfo: memFree=30620536/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=433808 CPUtime=282.17 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 106471 0 0 0 28187 30 0 0 20 0 2 0 332875281 444219392 104791 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 108452 104791 194 433 0 108016 0
[pid=28662/tid=28664] ppid=28660 vsize=433808 CPUtime=281.98 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 99352 0 0 0 28164 34 0 0 20 0 2 0 332875307 444219392 104791 33554432000 4194304 5964350 140736535593136 140348707613016 4389080 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 433808
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/180 28669
/proc/meminfo: memFree=30534252/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=433808 CPUtime=342.16 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 106484 0 0 0 34186 30 0 0 20 0 2 0 332875281 444219392 104804 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 108452 104804 194 433 0 108016 0
[pid=28662/tid=28664] ppid=28660 vsize=433808 CPUtime=341.98 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 99365 0 0 0 34163 35 0 0 20 0 2 0 332875307 444219392 104804 33554432000 4194304 5964350 140736535593136 140348707613016 4403618 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 433808
[startup+402.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/179 28669
/proc/meminfo: memFree=30346544/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=499344 CPUtime=402.15 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 110071 0 0 0 40183 32 0 0 20 0 2 0 332875281 511328256 108391 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 124836 108391 194 433 0 124400 0
[pid=28662/tid=28664] ppid=28660 vsize=499344 CPUtime=401.98 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 102952 0 0 0 40160 38 0 0 20 0 2 0 332875307 511328256 108391 33554432000 4194304 5964350 140736535593136 140348707612184 4410659 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 499344
[startup+462.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/179 28669
/proc/meminfo: memFree=30141884/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=630416 CPUtime=462.13 cores=0,2,4,6
################
# More data... #
################
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 353472 0 0 0 130082 117 0 0 20 0 2 0 332875307 1517961216 358927 33554432000 4194304 5964350 140736535593136 140348707612664 4389020 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1482384
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28675
/proc/meminfo: memFree=27937252/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=1615080 CPUtime=1361.96 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 393518 0 0 0 136088 108 0 0 20 0 2 0 332875281 1653841920 391854 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 403770 391854 194 433 0 403334 0
[pid=28662/tid=28664] ppid=28660 vsize=1615080 CPUtime=1361.99 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 386399 0 0 0 136071 128 0 0 20 0 2 0 332875307 1653841920 391854 33554432000 4194304 5964350 140736535593136 140348707612664 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1615080
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28675
/proc/meminfo: memFree=27745356/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=1615080 CPUtime=1421.95 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 396671 0 0 0 142087 108 0 0 20 0 2 0 332875281 1653841920 395007 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 403770 395007 194 433 0 403334 0
[pid=28662/tid=28664] ppid=28660 vsize=1615080 CPUtime=1422 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 389552 0 0 0 142071 129 0 0 20 0 2 0 332875307 1653841920 395007 33554432000 4194304 5964350 140736535593136 140348707612184 4389020 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1615080
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28675
/proc/meminfo: memFree=27745136/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=1615080 CPUtime=1481.92 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 396695 0 0 0 148084 108 0 0 20 0 2 0 332875281 1653841920 395058 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 403770 395058 194 433 0 403334 0
[pid=28662/tid=28664] ppid=28660 vsize=1615080 CPUtime=1481.98 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 389576 0 0 0 148068 130 0 0 20 0 2 0 332875307 1653841920 395058 33554432000 4194304 5964350 140736535593136 140348707612184 4389049 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1615080
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28678
/proc/meminfo: memFree=27745412/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=1615080 CPUtime=1541.9 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 396717 0 0 0 154082 108 0 0 20 0 2 0 332875281 1653841920 395068 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 403770 395068 194 433 0 403334 0
[pid=28662/tid=28664] ppid=28660 vsize=1615080 CPUtime=1541.97 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 389598 0 0 0 154066 131 0 0 20 0 2 0 332875307 1653841920 395068 33554432000 4194304 5964350 140736535593136 140348707612184 4389005 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1615080
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28679
/proc/meminfo: memFree=27648596/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=1680616 CPUtime=1601.87 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 402486 0 0 0 160077 110 0 0 20 0 2 0 332875281 1720950784 400847 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 420154 400847 194 433 0 419718 0
[pid=28662/tid=28664] ppid=28660 vsize=1680616 CPUtime=1601.95 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 395367 0 0 0 160061 134 0 0 20 0 2 0 332875307 1720950784 400847 33554432000 4194304 5964350 140736535593136 140348707612184 4389090 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1680616
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28679
/proc/meminfo: memFree=27396408/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=1811688 CPUtime=1661.83 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 443112 0 0 0 166061 122 0 0 20 0 2 0 332875281 1855168512 441477 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 452922 441477 194 433 0 452486 0
[pid=28662/tid=28664] ppid=28660 vsize=1811688 CPUtime=1661.93 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 435993 0 0 0 166046 147 0 0 20 0 2 0 332875307 1855168512 441477 33554432000 4194304 5964350 140736535593136 140348707612664 4399774 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1811688
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28679
/proc/meminfo: memFree=27178940/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=2008296 CPUtime=1721.81 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 484964 0 0 0 172046 135 0 0 20 0 2 0 332875281 2056495104 483323 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 502074 483323 194 433 0 501638 0
[pid=28662/tid=28664] ppid=28660 vsize=2008296 CPUtime=1721.91 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 477845 0 0 0 172030 161 0 0 20 0 2 0 332875307 2056495104 483323 33554432000 4194304 5964350 140736535593136 140348707612664 4389090 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 2008296
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28679
/proc/meminfo: memFree=26858180/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=2074640 CPUtime=1781.78 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 516693 0 0 0 178033 145 0 0 20 0 2 0 332875281 2124431360 515044 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 518660 515044 194 433 0 518224 0
[pid=28662/tid=28664] ppid=28660 vsize=2074640 CPUtime=1781.9 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 509574 0 0 0 178018 172 0 0 20 0 2 0 332875307 2124431360 515044 33554432000 4194304 5964350 140736535593136 140348707612472 4400023 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 2074640
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28679
/proc/meminfo: memFree=26834480/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=2140176 CPUtime=1791.38 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 519755 0 0 0 178992 146 0 0 20 0 2 0 332875281 2191540224 518104 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 535044 518104 194 433 0 534608 0
[pid=28662/tid=28664] ppid=28660 vsize=2140176 CPUtime=1791.5 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 512636 0 0 0 178977 173 0 0 20 0 2 0 332875307 2191540224 518104 33554432000 4194304 5964350 140736535593136 140348707612184 4400003 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (KiB) 2140176
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28679
/proc/meminfo: memFree=26830388/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=2140176 CPUtime=1794.59 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 520784 0 0 0 179312 147 0 0 20 0 2 0 332875281 2191540224 519133 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 535044 519133 194 433 0 534608 0
[pid=28662/tid=28664] ppid=28660 vsize=2140176 CPUtime=1794.7 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 513665 0 0 0 179296 174 0 0 20 0 2 0 332875307 2191540224 519133 33554432000 4194304 5964350 140736535593136 140348707612664 4400023 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (KiB) 2140176
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28679
/proc/meminfo: memFree=26828156/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=2140176 CPUtime=1797.78 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 521648 0 0 0 179631 147 0 0 20 0 2 0 332875281 2191540224 519997 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 535044 519997 194 433 0 534608 0
[pid=28662/tid=28664] ppid=28660 vsize=2140176 CPUtime=1797.9 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 514529 0 0 0 179616 174 0 0 20 0 2 0 332875307 2191540224 519997 33554432000 4194304 5964350 140736535593136 140348707612664 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 2140176
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28679
/proc/meminfo: memFree=26826792/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=2140176 CPUtime=1798.58 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 521833 0 0 0 179711 147 0 0 20 0 2 0 332875281 2191540224 520182 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 535044 520182 194 433 0 534608 0
[pid=28662/tid=28664] ppid=28660 vsize=2140176 CPUtime=1798.7 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 514714 0 0 0 179696 174 0 0 20 0 2 0 332875307 2191540224 520182 33554432000 4194304 5964350 140736535593136 140348707612664 4400017 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.58
Current children cumulated vsize (KiB) 2140176
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 28687
/proc/meminfo: memFree=29393868/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=2140176 CPUtime=1798.98 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 521923 0 0 0 179751 147 0 0 20 0 2 0 332875281 2191540224 520272 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 535044 520272 194 433 0 534608 0
[pid=28662/tid=28664] ppid=28660 vsize=2140176 CPUtime=1799.1 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 514804 0 0 0 179736 174 0 0 20 0 2 0 332875307 2191540224 520272 33554432000 4194304 5964350 140736535593136 140348707612664 4399747 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.98
Current children cumulated vsize (KiB) 2140176
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 28687
/proc/meminfo: memFree=29393868/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=2140176 CPUtime=1799.37 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 522028 0 0 0 179790 147 0 0 20 0 2 0 332875281 2191540224 520377 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 535044 520377 194 433 0 534608 0
[pid=28662/tid=28664] ppid=28660 vsize=2140176 CPUtime=1799.5 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 514909 0 0 0 179776 174 0 0 20 0 2 0 332875307 2191540224 520377 33554432000 4194304 5964350 140736535593136 140348707612472 4400023 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.37
Current children cumulated vsize (KiB) 2140176
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 28687
/proc/meminfo: memFree=29393868/32873844 swapFree=7116/7116
[pid=28662] ppid=28660 vsize=2140176 CPUtime=1799.47 cores=0,2,4,6
/proc/28662/stat : 28662 (wbo1.72) S 28660 28662 28198 0 -1 4202496 522059 0 0 0 179800 147 0 0 20 0 2 0 332875281 2191540224 520408 33554432000 4194304 5964350 140736535593136 140736535592656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28662/statm: 535044 520408 194 433 0 534608 0
[pid=28662/tid=28664] ppid=28660 vsize=2140176 CPUtime=1799.6 cores=0,2,4,6
/proc/28662/task/28664/stat : 28664 (wbo1.72) R 28660 28662 28198 0 -1 4202560 514940 0 0 0 179786 174 0 0 20 0 2 0 332875307 2191540224 520408 33554432000 4194304 5964350 140736535593136 140348707612472 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 2140176
Child status: 255
Real time (s): 1800.08
CPU time (s): 1799.95
CPU user time (s): 1798.12
CPU system time (s): 1.82972
CPU usage (%): 99.9926
Max. virtual memory (cumulated for all children) (KiB): 2140176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.12
system time used= 1.82972
maximum resident set size= 2081640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 522061
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= 338
involuntary context switches= 2026
runsolver used 3.16752 second user time and 9.45756 second system time
The end