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-3727965-1338667482/watcher-3727965-1338667482 -o /tmp/evaluation-result-3727965-1338667482/solver-3727965-1338667482 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727965-1338667482.opb
running on 4 cores: 1,3,5,7
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 28655
/proc/meminfo: memFree=31480120/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=5088 CPUtime=0 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) R 28653 28655 28198 0 -1 4202496 637 0 0 0 0 0 0 0 20 0 1 0 332875219 5210112 590 33554432000 4194304 5964350 140733776408048 140737391747208 4395326 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 1272 590 166 433 0 698 0
[startup+0.018825 s]
/proc/loadavg: 2.00 2.03 2.00 3/176 28655
/proc/meminfo: memFree=31480120/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=6536 CPUtime=0.01 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) R 28653 28655 28198 0 -1 4202496 1023 0 0 0 1 0 0 0 20 0 1 0 332875219 6692864 976 33554432000 4194304 5964350 140733776408048 140737391747208 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 1634 976 208 433 0 1060 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 6536
[startup+0.100165 s]
/proc/loadavg: 2.00 2.03 2.00 3/176 28655
/proc/meminfo: memFree=31480120/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=87792 CPUtime=0.09 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 4226 0 0 0 9 0 0 0 20 0 2 0 332875219 89899008 3751 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 21948 3751 192 433 0 21512 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 87792
[startup+0.300112 s]
/proc/loadavg: 2.00 2.03 2.00 3/176 28655
/proc/meminfo: memFree=31480120/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=87792 CPUtime=0.29 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 4227 0 0 0 29 0 0 0 20 0 2 0 332875219 89899008 3752 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 21948 3752 193 433 0 21512 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 87792
[startup+0.700121 s]
/proc/loadavg: 2.00 2.03 2.00 3/176 28655
/proc/meminfo: memFree=31480120/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=87792 CPUtime=0.69 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 5139 0 0 0 68 1 0 0 20 0 2 0 332875219 89899008 4664 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 21948 4664 194 433 0 21512 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87792
[startup+1.50025 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 28664
/proc/meminfo: memFree=31411192/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=87792 CPUtime=1.49 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 5155 0 0 0 148 1 0 0 20 0 2 0 332875219 89899008 4680 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 21948 4680 194 433 0 21512 0
[pid=28655/tid=28657] ppid=28653 vsize=87792 CPUtime=1.44 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 3141 0 0 0 144 0 0 0 20 0 2 0 332875224 89899008 4680 33554432000 4194304 5964350 140733776408048 140350482254184 4389090 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87792
[startup+3.10021 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 28664
/proc/meminfo: memFree=31400636/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=87792 CPUtime=3.09 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 6224 0 0 0 308 1 0 0 20 0 2 0 332875219 89899008 5749 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 21948 5749 194 433 0 21512 0
[pid=28655/tid=28657] ppid=28653 vsize=87792 CPUtime=3.03 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 4210 0 0 0 303 0 0 0 20 0 2 0 332875224 89899008 5749 33554432000 4194304 5964350 140733776408048 140350482253336 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 87792
[startup+6.30021 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 28665
/proc/meminfo: memFree=31377192/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=87792 CPUtime=6.28 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 8629 0 0 0 627 1 0 0 20 0 2 0 332875219 89899008 8154 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 21948 8154 194 433 0 21512 0
[pid=28655/tid=28657] ppid=28653 vsize=87792 CPUtime=6.24 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 6615 0 0 0 622 2 0 0 20 0 2 0 332875224 89899008 8154 33554432000 4194304 5964350 140733776408048 140350482253336 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 87792
[startup+12.7002 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 28665
/proc/meminfo: memFree=31351752/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=87792 CPUtime=12.68 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 13928 0 0 0 1265 3 0 0 20 0 2 0 332875219 89899008 13453 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 21948 13453 194 433 0 21512 0
[pid=28655/tid=28657] ppid=28653 vsize=87792 CPUtime=12.64 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 11914 0 0 0 1261 3 0 0 20 0 2 0 332875224 89899008 13453 33554432000 4194304 5964350 140733776408048 140350482253336 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 87792
[startup+25.5002 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 28665
/proc/meminfo: memFree=31306820/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=153328 CPUtime=25.48 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 19869 0 0 0 2542 6 0 0 20 0 2 0 332875219 157007872 19409 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 38332 19409 194 433 0 37896 0
[pid=28655/tid=28657] ppid=28653 vsize=153328 CPUtime=25.43 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 17855 0 0 0 2537 6 0 0 20 0 2 0 332875224 157007872 19409 33554432000 4194304 5964350 140733776408048 140350482253336 4389090 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 153328
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 28665
/proc/meminfo: memFree=31211292/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=153328 CPUtime=51.04 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 34080 0 0 0 5093 11 0 0 20 0 2 0 332875219 157007872 33603 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 38332 33603 194 433 0 37896 0
[pid=28655/tid=28657] ppid=28653 vsize=153328 CPUtime=51.01 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 32066 0 0 0 5089 12 0 0 20 0 2 0 332875224 157007872 33603 33554432000 4194304 5964350 140733776408048 140350482253336 4399832 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 153328
[startup+102.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 28665
/proc/meminfo: memFree=31070668/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=218864 CPUtime=102.25 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 46573 0 0 0 10210 15 0 0 20 0 2 0 332875219 224116736 46020 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 54716 46020 194 433 0 54280 0
[pid=28655/tid=28657] ppid=28653 vsize=218864 CPUtime=102.21 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 44559 0 0 0 10205 16 0 0 20 0 2 0 332875224 224116736 46020 33554432000 4194304 5964350 140733776408048 140350482254776 4389080 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 218864
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 28665
/proc/meminfo: memFree=30918920/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=284400 CPUtime=162.23 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 55881 0 0 0 16205 18 0 0 20 0 2 0 332875219 291225600 55328 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 71100 55328 194 433 0 70664 0
[pid=28655/tid=28657] ppid=28653 vsize=284400 CPUtime=162.21 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 53867 0 0 0 16201 20 0 0 20 0 2 0 332875224 291225600 55328 33554432000 4194304 5964350 140733776408048 140350482253816 4389067 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 284400
[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 28665
/proc/meminfo: memFree=30707804/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=415956 CPUtime=222.2 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 88515 0 0 0 22192 28 0 0 20 0 2 0 332875219 425938944 87957 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 103989 87957 194 433 0 103553 0
[pid=28655/tid=28657] ppid=28653 vsize=415956 CPUtime=222.2 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 86501 0 0 0 22188 32 0 0 20 0 2 0 332875224 425938944 87957 33554432000 4194304 5964350 140733776408048 140350482253336 4389005 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 415956
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 28665
/proc/meminfo: memFree=30623140/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=481492 CPUtime=282.16 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 110321 0 0 0 28182 34 0 0 20 0 2 0 332875219 493047808 109744 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 120373 109744 194 433 0 119937 0
[pid=28655/tid=28657] ppid=28653 vsize=481492 CPUtime=282.17 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 108307 0 0 0 28178 39 0 0 20 0 2 0 332875224 493047808 109744 33554432000 4194304 5964350 140733776408048 140350482253816 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 481492
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/180 28669
/proc/meminfo: memFree=30534252/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=547268 CPUtime=342.13 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 131560 0 0 0 34170 43 0 0 20 0 2 0 332875219 560402432 130948 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 136817 130948 194 433 0 136381 0
[pid=28655/tid=28657] ppid=28653 vsize=547268 CPUtime=342.14 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 129546 0 0 0 34166 48 0 0 20 0 2 0 332875224 560402432 130948 33554432000 4194304 5964350 140733776408048 140350482253816 4389005 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 547268
[startup+402.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/179 28669
/proc/meminfo: memFree=30347908/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=743876 CPUtime=402.1 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 175306 0 0 0 40150 60 0 0 20 0 2 0 332875219 761729024 174683 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 185969 174683 194 433 0 185533 0
[pid=28655/tid=28657] ppid=28653 vsize=743876 CPUtime=402.13 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 173292 0 0 0 40147 66 0 0 20 0 2 0 332875224 761729024 174683 33554432000 4194304 5964350 140733776408048 140350482253816 4389030 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 743876
[startup+462.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/179 28669
/proc/meminfo: memFree=30146472/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=809412 CPUtime=462.09 cores=1,3,5,7
################
# More data... #
################
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 468369 0 0 0 130003 196 0 0 20 0 2 0 332875224 1970610176 470451 33554432000 4194304 5964350 140733776408048 140350482253624 4399998 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1924424
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28675
/proc/meminfo: memFree=27940600/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=1989960 CPUtime=1361.81 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 492251 0 0 0 135996 185 0 0 20 0 2 0 332875219 2037719040 492319 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 497490 492319 194 433 0 497054 0
[pid=28655/tid=28657] ppid=28653 vsize=1989960 CPUtime=1361.99 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 490237 0 0 0 135994 205 0 0 20 0 2 0 332875224 2037719040 492319 33554432000 4194304 5964350 140733776408048 140350482253816 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1989960
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28675
/proc/meminfo: memFree=27745356/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=2186568 CPUtime=1421.8 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 536549 0 0 0 141979 201 0 0 20 0 2 0 332875219 2239045632 536616 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 546642 536616 194 433 0 546206 0
[pid=28655/tid=28657] ppid=28653 vsize=2186568 CPUtime=1422 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 534535 0 0 0 141977 223 0 0 20 0 2 0 332875224 2239045632 536616 33554432000 4194304 5964350 140733776408048 140350482253336 4392783 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 2186568
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28675
/proc/meminfo: memFree=27745136/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=2186568 CPUtime=1481.79 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 536549 0 0 0 147978 201 0 0 20 0 2 0 332875219 2239045632 536616 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 546642 536616 194 433 0 546206 0
[pid=28655/tid=28657] ppid=28653 vsize=2186568 CPUtime=1481.99 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 534535 0 0 0 147975 224 0 0 20 0 2 0 332875224 2239045632 536616 33554432000 4194304 5964350 140733776408048 140350482253336 4389005 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 2186568
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28678
/proc/meminfo: memFree=27745412/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=2186568 CPUtime=1541.78 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 536549 0 0 0 153977 201 0 0 20 0 2 0 332875219 2239045632 536616 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 546642 536616 194 433 0 546206 0
[pid=28655/tid=28657] ppid=28653 vsize=2186568 CPUtime=1542 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 534535 0 0 0 153975 225 0 0 20 0 2 0 332875224 2239045632 536616 33554432000 4194304 5964350 140733776408048 140350482253336 4392925 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 2186568
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28679
/proc/meminfo: memFree=27652316/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=2252104 CPUtime=1601.77 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 555678 0 0 0 159968 209 0 0 20 0 2 0 332875219 2306154496 555745 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 563026 555745 194 433 0 562590 0
[pid=28655/tid=28657] ppid=28653 vsize=2252104 CPUtime=1602 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 553664 0 0 0 159966 234 0 0 20 0 2 0 332875224 2306154496 555745 33554432000 4194304 5964350 140733776408048 140350482253624 4389090 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 2252104
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28679
/proc/meminfo: memFree=27397400/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=2383176 CPUtime=1661.76 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 577442 0 0 0 165956 220 0 0 20 0 2 0 332875219 2440372224 577509 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 595794 577509 194 433 0 595358 0
[pid=28655/tid=28657] ppid=28653 vsize=2383176 CPUtime=1662 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 575428 0 0 0 165955 245 0 0 20 0 2 0 332875224 2440372224 577509 33554432000 4194304 5964350 140733776408048 140350482253816 4400439 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 2383176
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28679
/proc/meminfo: memFree=27183652/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=2383176 CPUtime=1721.75 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 590344 0 0 0 171950 225 0 0 20 0 2 0 332875219 2440372224 590411 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 595794 590411 194 433 0 595358 0
[pid=28655/tid=28657] ppid=28653 vsize=2383176 CPUtime=1722 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 588330 0 0 0 171948 252 0 0 20 0 2 0 332875224 2440372224 590411 33554432000 4194304 5964350 140733776408048 140350482253336 4389090 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 2383176
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28679
/proc/meminfo: memFree=26861776/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=2579784 CPUtime=1781.74 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 637825 0 0 0 177930 244 0 0 20 0 2 0 332875219 2641698816 637892 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 644946 637892 194 433 0 644510 0
[pid=28655/tid=28657] ppid=28653 vsize=2579784 CPUtime=1782.01 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 635811 0 0 0 177930 271 0 0 20 0 2 0 332875224 2641698816 637892 33554432000 4194304 5964350 140733776408048 140350482253336 5244231 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 2579784
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=26835596/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=2579784 CPUtime=1791.35 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 640732 0 0 0 178890 245 0 0 20 0 2 0 332875219 2641698816 640799 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 644946 640799 194 433 0 644510 0
[pid=28655/tid=28657] ppid=28653 vsize=2579784 CPUtime=1791.61 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 638718 0 0 0 178889 272 0 0 20 0 2 0 332875224 2641698816 640799 33554432000 4194304 5964350 140733776408048 140350482253816 18446744073699066235 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1791.35
Current children cumulated vsize (KiB) 2579784
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28679
/proc/meminfo: memFree=26831628/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=2579784 CPUtime=1794.55 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 640732 0 0 0 179210 245 0 0 20 0 2 0 332875219 2641698816 640799 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 644946 640799 194 433 0 644510 0
[pid=28655/tid=28657] ppid=28653 vsize=2579784 CPUtime=1794.81 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 638718 0 0 0 179209 272 0 0 20 0 2 0 332875224 2641698816 640799 33554432000 4194304 5964350 140733776408048 140350482253816 4400462 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (KiB) 2579784
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28679
/proc/meminfo: memFree=26828900/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=2579784 CPUtime=1797.74 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 640732 0 0 0 179529 245 0 0 20 0 2 0 332875219 2641698816 640799 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 644946 640799 194 433 0 644510 0
[pid=28655/tid=28657] ppid=28653 vsize=2579784 CPUtime=1798.01 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 638718 0 0 0 179529 272 0 0 20 0 2 0 332875224 2641698816 640799 33554432000 4194304 5964350 140733776408048 140350482253816 4389005 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1797.74
Current children cumulated vsize (KiB) 2579784
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28679
/proc/meminfo: memFree=26827412/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=2579784 CPUtime=1798.54 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 640732 0 0 0 179609 245 0 0 20 0 2 0 332875219 2641698816 640799 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 644946 640799 194 433 0 644510 0
[pid=28655/tid=28657] ppid=28653 vsize=2579784 CPUtime=1798.81 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 638718 0 0 0 179609 272 0 0 20 0 2 0 332875224 2641698816 640799 33554432000 4194304 5964350 140733776408048 140350482253816 4399996 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.54
Current children cumulated vsize (KiB) 2579784
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28679
/proc/meminfo: memFree=26826172/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=2579784 CPUtime=1798.95 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 640732 0 0 0 179650 245 0 0 20 0 2 0 332875219 2641698816 640799 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 644946 640799 194 433 0 644510 0
[pid=28655/tid=28657] ppid=28653 vsize=2579784 CPUtime=1799.21 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 638718 0 0 0 179649 272 0 0 20 0 2 0 332875224 2641698816 640799 33554432000 4194304 5964350 140733776408048 140350482253816 4399840 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.95
Current children cumulated vsize (KiB) 2579784
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28679
/proc/meminfo: memFree=26826172/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=2579784 CPUtime=1799.34 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 640732 0 0 0 179689 245 0 0 20 0 2 0 332875219 2641698816 640799 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 644946 640799 194 433 0 644510 0
[pid=28655/tid=28657] ppid=28653 vsize=2579784 CPUtime=1799.61 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 638718 0 0 0 179689 272 0 0 20 0 2 0 332875224 2641698816 640799 33554432000 4194304 5964350 140733776408048 140350482253816 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.34
Current children cumulated vsize (KiB) 2579784
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28679
/proc/meminfo: memFree=26826172/32873844 swapFree=7116/7116
[pid=28655] ppid=28653 vsize=2579784 CPUtime=1799.44 cores=1,3,5,7
/proc/28655/stat : 28655 (wbo1.72) S 28653 28655 28198 0 -1 4202496 640733 0 0 0 179699 245 0 0 20 0 2 0 332875219 2641698816 640800 33554432000 4194304 5964350 140733776408048 140733776407568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28655/statm: 644946 640800 195 433 0 644510 0
[pid=28655/tid=28657] ppid=28653 vsize=2579784 CPUtime=1799.71 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (wbo1.72) R 28653 28655 28198 0 -1 4202560 638719 0 0 0 179699 272 0 0 20 0 2 0 332875224 2641698816 640800 33554432000 4194304 5964350 140733776408048 140350482254480 4571521 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (KiB) 2579784
Child status: 255
Real time (s): 1800.09
CPU time (s): 1799.87
CPU user time (s): 1797.04
CPU system time (s): 2.82957
CPU usage (%): 99.9874
Max. virtual memory (cumulated for all children) (KiB): 2579784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.04
system time used= 2.82957
maximum resident set size= 2563204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 640734
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= 435
involuntary context switches= 3493
runsolver used 6.00309 second user time and 15.2047 second system time
The end