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-3726306-1338658299/watcher-3726306-1338658299 -o /tmp/evaluation-result-3726306-1338658299/solver-3726306-1338658299 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726306-1338658299.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: 4.02 3.99 3.91 3/180 25499
/proc/meminfo: memFree=27996788/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=5832 CPUtime=0 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) R 25497 25499 21777 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 331955282 5971968 498 33554432000 4194304 5964478 140735164416832 140734724995384 5372744 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 1458 498 166 433 0 781 0

[startup+0.077466 s]
/proc/loadavg: 4.02 3.99 3.91 3/180 25499
/proc/meminfo: memFree=27996788/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=10312 CPUtime=0.06 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) R 25497 25499 21777 0 -1 4202496 2058 0 0 0 6 0 0 0 20 0 1 0 331955282 10559488 1770 33554432000 4194304 5964478 140735164416832 140734724995384 4297148 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 2578 1791 168 433 0 2142 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10312

[startup+0.100283 s]
/proc/loadavg: 4.02 3.99 3.91 3/180 25499
/proc/meminfo: memFree=27996788/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=168756 CPUtime=0.11 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) S 25497 25499 21777 0 -1 4202496 3901 0 0 0 11 0 0 0 20 0 3 0 331955282 172806144 3452 33554432000 4194304 5964478 140735164416832 140735164416352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 42189 3455 194 433 0 41753 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 168756

[startup+0.300254 s]
/proc/loadavg: 4.02 3.99 3.91 3/180 25499
/proc/meminfo: memFree=27996788/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=168432 CPUtime=0.51 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) S 25497 25499 21777 0 -1 4202496 5344 0 0 0 50 1 0 0 20 0 3 0 331955282 172474368 4556 33554432000 4194304 5964478 140735164416832 140735164416352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 42108 4556 198 433 0 41672 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 168432

[startup+0.700269 s]
/proc/loadavg: 4.02 3.99 3.91 3/180 25499
/proc/meminfo: memFree=27996788/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=168300 CPUtime=1.31 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) S 25497 25499 21777 0 -1 4202496 8195 0 0 0 130 1 0 0 20 0 3 0 331955282 172339200 6577 33554432000 4194304 5964478 140735164416832 140735164416352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 42075 6577 198 433 0 41639 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 168300

[startup+1.50033 s]
/proc/loadavg: 4.10 4.00 3.92 5/183 25502
/proc/meminfo: memFree=27965136/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=168300 CPUtime=2.91 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) S 25497 25499 21777 0 -1 4202496 13300 0 0 0 289 2 0 0 20 0 3 0 331955282 172339200 10239 33554432000 4194304 5964478 140735164416832 140735164416352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 42075 10239 198 433 0 41639 0
[pid=25499/tid=25501] ppid=25497 vsize=168300 CPUtime=1.4 cores=0,2,4,6
/proc/25499/task/25501/stat : 25501 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 7374 0 0 0 139 1 0 0 20 0 3 0 331955290 172339200 10240 33554432000 4194304 5964478 140735164416832 140425776335384 5139118 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=25499/tid=25502] ppid=25497 vsize=168300 CPUtime=1.4 cores=0,2,4,6
/proc/25499/task/25502/stat : 25502 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 3472 0 0 0 140 0 0 0 20 0 3 0 331955290 172339200 10240 33554432000 4194304 5964478 140735164416832 140425765845112 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 168300

[startup+3.10026 s]
/proc/loadavg: 4.10 4.00 3.92 5/183 25502
/proc/meminfo: memFree=27949884/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=168300 CPUtime=6.11 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) S 25497 25499 21777 0 -1 4202496 17332 0 0 0 608 3 0 0 20 0 3 0 331955282 172339200 12863 33554432000 4194304 5964478 140735164416832 140735164416352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 42075 12863 198 433 0 41639 0
[pid=25499/tid=25501] ppid=25497 vsize=168300 CPUtime=3.01 cores=0,2,4,6
/proc/25499/task/25501/stat : 25501 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 10000 0 0 0 299 2 0 0 20 0 3 0 331955290 172339200 12863 33554432000 4194304 5964478 140735164416832 140425776335384 4400542 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=25499/tid=25502] ppid=25497 vsize=168300 CPUtime=3 cores=0,2,4,6
/proc/25499/task/25502/stat : 25502 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 4877 0 0 0 299 1 0 0 20 0 3 0 331955290 172339200 12863 33554432000 4194304 5964478 140735164416832 140425765845304 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 168300

[startup+6.3003 s]
/proc/loadavg: 4.10 4.00 3.92 5/183 25502
/proc/meminfo: memFree=27919628/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=168432 CPUtime=12.51 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) S 25497 25499 21777 0 -1 4202496 23566 0 0 0 1237 14 0 0 20 0 3 0 331955282 172474368 19097 33554432000 4194304 5964478 140735164416832 140735164416352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 42108 19097 198 433 0 41672 0
[pid=25499/tid=25501] ppid=25497 vsize=168432 CPUtime=6.2 cores=0,2,4,6
/proc/25499/task/25501/stat : 25501 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 11168 0 0 0 618 2 0 0 20 0 3 0 331955290 172474368 19097 33554432000 4194304 5964478 140735164416832 140425776335192 4389110 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=25499/tid=25502] ppid=25497 vsize=168432 CPUtime=6.19 cores=0,2,4,6
/proc/25499/task/25502/stat : 25502 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 9943 0 0 0 608 11 0 0 20 0 3 0 331955290 172474368 19097 33554432000 4194304 5964478 140735164416832 140425765845304 4400024 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 168432

[startup+12.7003 s]
/proc/loadavg: 4.08 4.00 3.92 5/183 25502
/proc/meminfo: memFree=27870100/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=234368 CPUtime=25.3 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) S 25497 25499 21777 0 -1 4202496 36787 0 0 0 2509 21 0 0 20 0 3 0 331955282 239992832 31267 33554432000 4194304 5964478 140735164416832 140735164416352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 58592 31267 198 433 0 58156 0
[pid=25499/tid=25501] ppid=25497 vsize=234368 CPUtime=12.57 cores=0,2,4,6
/proc/25499/task/25501/stat : 25501 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 16581 0 0 0 1254 3 0 0 20 0 3 0 331955290 239992832 31267 33554432000 4194304 5964478 140735164416832 140425776335688 4391782 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=25499/tid=25502] ppid=25497 vsize=234368 CPUtime=12.57 cores=0,2,4,6
/proc/25499/task/25502/stat : 25502 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 17751 0 0 0 1240 17 0 0 20 0 3 0 331955290 239992832 31267 33554432000 4194304 5964478 140735164416832 140425765845064 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 234368

[startup+25.5003 s]
/proc/loadavg: 4.07 4.00 3.92 5/183 25502
/proc/meminfo: memFree=27820236/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=300696 CPUtime=50.9 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) S 25497 25499 21777 0 -1 4202496 49132 0 0 0 5065 25 0 0 20 0 3 0 331955282 307912704 43612 33554432000 4194304 5964478 140735164416832 140735164416352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 75174 43612 198 433 0 74738 0
[pid=25499/tid=25501] ppid=25497 vsize=300696 CPUtime=25.34 cores=0,2,4,6
/proc/25499/task/25501/stat : 25501 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 22902 0 0 0 2529 5 0 0 20 0 3 0 331955290 307912704 43612 33554432000 4194304 5964478 140735164416832 140425776334840 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=25499/tid=25502] ppid=25497 vsize=300696 CPUtime=25.34 cores=0,2,4,6
/proc/25499/task/25502/stat : 25502 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 23775 0 0 0 2516 18 0 0 20 0 3 0 331955290 307912704 43612 33554432000 4194304 5964478 140735164416832 140425765845304 4400825 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 300696

[startup+51.1003 s]
/proc/loadavg: 4.05 4.00 3.92 5/183 25503
/proc/meminfo: memFree=27697552/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=367860 CPUtime=102.08 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) S 25497 25499 21777 0 -1 4202496 72038 0 0 0 10163 45 0 0 20 0 3 0 331955282 376688640 66517 33554432000 4194304 5964478 140735164416832 140735164416352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 91965 66517 198 433 0 91529 0
[pid=25499/tid=25501] ppid=25497 vsize=367860 CPUtime=50.87 cores=0,2,4,6
/proc/25499/task/25501/stat : 25501 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 34678 0 0 0 5077 10 0 0 20 0 3 0 331955290 376688640 66517 33554432000 4194304 5964478 140735164416832 140425776335176 4392707 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25499/tid=25502] ppid=25497 vsize=367860 CPUtime=50.87 cores=0,2,4,6
/proc/25499/task/25502/stat : 25502 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 34905 0 0 0 5053 34 0 0 20 0 3 0 331955290 376688640 66517 33554432000 4194304 5964478 140735164416832 140425765845064 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 367860

[startup+102.306 s]
/proc/loadavg: 4.02 4.00 3.92 5/183 25503
/proc/meminfo: memFree=27565848/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=501028 CPUtime=204.48 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) S 25497 25499 21777 0 -1 4202496 101219 0 0 0 20384 64 0 0 20 0 3 0 331955282 513052672 95653 33554432000 4194304 5964478 140735164416832 140735164416352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 125257 95653 198 433 0 124821 0
[pid=25499/tid=25501] ppid=25497 vsize=501028 CPUtime=101.94 cores=0,2,4,6
/proc/25499/task/25501/stat : 25501 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 43216 0 0 0 10177 17 0 0 20 0 3 0 331955290 513052672 95653 33554432000 4194304 5964478 140735164416832 140425776334840 4400091 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25499/tid=25502] ppid=25497 vsize=501028 CPUtime=101.95 cores=0,2,4,6
/proc/25499/task/25502/stat : 25502 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 55548 0 0 0 10147 48 0 0 20 0 3 0 331955290 513052672 95653 33554432000 4194304 5964478 140735164416832 140425765845064 4408977 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.48
Current children cumulated vsize (KiB) 501028

[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/183 25503
/proc/meminfo: memFree=27519140/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=568724 CPUtime=324.45 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) S 25497 25499 21777 0 -1 4202496 112680 0 0 0 32373 72 0 0 20 0 3 0 331955282 582373376 107114 33554432000 4194304 5964478 140735164416832 140735164416352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 142181 107114 198 433 0 141745 0
[pid=25499/tid=25501] ppid=25497 vsize=568724 CPUtime=161.78 cores=0,2,4,6
/proc/25499/task/25501/stat : 25501 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 54147 0 0 0 16152 26 0 0 20 0 3 0 331955290 582373376 107114 33554432000 4194304 5964478 140735164416832 140425776334840 4400087 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25499/tid=25502] ppid=25497 vsize=568724 CPUtime=161.79 cores=0,2,4,6
/proc/25499/task/25502/stat : 25502 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 56078 0 0 0 16130 49 0 0 20 0 3 0 331955290 582373376 107114 33554432000 4194304 5964478 140735164416832 140425765845064 4389160 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.45
Current children cumulated vsize (KiB) 568724

[startup+222.3 s]
/proc/loadavg: 4.08 4.02 3.93 5/183 25503
/proc/meminfo: memFree=27405600/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=638516 CPUtime=444.42 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) S 25497 25499 21777 0 -1 4202496 139505 0 0 0 44342 100 0 0 20 0 3 0 331955282 653840384 134335 33554432000 4194304 5964478 140735164416832 140735164416352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 159629 134335 198 433 0 159193 0
[pid=25499/tid=25501] ppid=25497 vsize=638516 CPUtime=221.62 cores=0,2,4,6
/proc/25499/task/25501/stat : 25501 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 59782 0 0 0 22130 32 0 0 20 0 3 0 331955290 653840384 134335 33554432000 4194304 5964478 140735164416832 140425776334840 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25499/tid=25502] ppid=25497 vsize=638516 CPUtime=221.63 cores=0,2,4,6
/proc/25499/task/25502/stat : 25502 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 77268 0 0 0 22091 72 0 0 20 0 3 0 331955290 653840384 134335 33554432000 4194304 5964478 140735164416832 140425765845064 4389085 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.42
Current children cumulated vsize (KiB) 638516

[startup+282.3 s]
/proc/loadavg: 4.03 4.01 3.93 5/183 25503
/proc/meminfo: memFree=27254780/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=772036 CPUtime=564.34 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) S 25497 25499 21777 0 -1 4202496 170203 0 0 0 56316 118 0 0 20 0 3 0 331955282 790564864 165085 33554432000 4194304 5964478 140735164416832 140735164416352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 193009 165085 198 433 0 192573 0
[pid=25499/tid=25501] ppid=25497 vsize=772036 CPUtime=281.44 cores=0,2,4,6
/proc/25499/task/25501/stat : 25501 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 71467 0 0 0 28103 41 0 0 20 0 3 0 331955290 790564864 165085 33554432000 4194304 5964478 140735164416832 140425776334840 4400103 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25499/tid=25502] ppid=25497 vsize=772036 CPUtime=281.44 cores=0,2,4,6
/proc/25499/task/25502/stat : 25502 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 96281 0 0 0 28060 84 0 0 20 0 3 0 331955290 790564864 165085 33554432000 4194304 5964478 140735164416832 140425765845064 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 564.34
Current children cumulated vsize (KiB) 772036

[startup+342.3 s]
/proc/loadavg: 4.01 4.00 3.93 5/182 25503
/proc/meminfo: memFree=27157972/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=838628 CPUtime=684.28 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) S 25497 25499 21777 0 -1 4202496 191884 0 0 0 68296 132 0 0 20 0 3 0 331955282 858755072 186732 33554432000 4194304 5964478 140735164416832 140735164416352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 209657 186732 198 433 0 209221 0
[pid=25499/tid=25501] ppid=25497 vsize=838628 CPUtime=341.25 cores=0,2,4,6
/proc/25499/task/25501/stat : 25501 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 85772 0 0 0 34073 52 0 0 20 0 3 0 331955290 858755072 186732 33554432000 4194304 5964478 140735164416832 140425776334840 4400067 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25499/tid=25502] ppid=25497 vsize=838628 CPUtime=341.27 cores=0,2,4,6
/proc/25499/task/25502/stat : 25502 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 103657 0 0 0 34039 88 0 0 20 0 3 0 331955290 858755072 186732 33554432000 4194304 5964478 140735164416832 140425765845064 4403727 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 684.28
Current children cumulated vsize (KiB) 838628

[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 25504
/proc/meminfo: memFree=27072368/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=904848 CPUtime=804.2 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) S 25497 25499 21777 0 -1 4202496 208925 0 0 0 80277 143 0 0 20 0 3 0 331955282 926564352 203864 33554432000 4194304 5964478 140735164416832 140735164416352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 226212 203864 198 433 0 225776 0
[pid=25499/tid=25501] ppid=25497 vsize=904848 CPUtime=401.07 cores=0,2,4,6
/proc/25499/task/25501/stat : 25501 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 102627 0 0 0 40042 65 0 0 20 0 3 0 331955290 926564352 203864 33554432000 4194304 5964478 140735164416832 140425776334840 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25499/tid=25502] ppid=25497 vsize=904848 CPUtime=401.11 cores=0,2,4,6
/proc/25499/task/25502/stat : 25502 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 103843 0 0 0 40022 89 0 0 20 0 3 0 331955290 926564352 203864 33554432000 4194304 5964478 140735164416832 140425765845064 4400078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 804.2
Current children cumulated vsize (KiB) 904848

[startup+462.3 s]
/proc/loadavg: 4.03 4.01 3.93 5/183 25504
/proc/meminfo: memFree=27004568/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=971716 CPUtime=924.15 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) S 25497 25499 21777 0 -1 4202496 223269 0 0 0 92263 152 0 0 20 0 3 0 331955282 995037184 218193 33554432000 4194304 5964478 140735164416832 140735164416352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 242929 218193 198 433 0 242493 0
[pid=25499/tid=25501] ppid=25497 vsize=971716 CPUtime=460.91 cores=0,2,4,6
/proc/25499/task/25501/stat : 25501 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 116612 0 0 0 46018 73 0 0 20 0 3 0 331955290 995037184 218193 33554432000 4194304 5964478 140735164416832 140425776334840 4399938 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25499/tid=25502] ppid=25497 vsize=971716 CPUtime=460.92 cores=0,2,4,6
/proc/25499/task/25502/stat : 25502 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 104202 0 0 0 46002 90 0 0 20 0 3 0 331955290 995037184 218193 33554432000 4194304 5964478 140735164416832 140425765845064 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 924.15
Current children cumulated vsize (KiB) 971716

[startup+522.3 s]
/proc/loadavg: 4.01 4.01 3.93 5/184 25507
/proc/meminfo: memFree=26988468/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=973296 CPUtime=1044.09 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) S 25497 25499 21777 0 -1 4202496 224244 0 0 0 104256 153 0 0 20 0 3 0 331955282 996655104 219124 33554432000 4194304 5964478 140735164416832 140735164416352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 243324 219124 198 433 0 242888 0
[pid=25499/tid=25501] ppid=25497 vsize=973296 CPUtime=520.75 cores=0,2,4,6
/proc/25499/task/25501/stat : 25501 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 117157 0 0 0 52000 75 0 0 20 0 3 0 331955290 996655104 219124 33554432000 4194304 5964478 140735164416832 140425776334840 4400078 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25499/tid=25502] ppid=25497 vsize=973296 CPUtime=520.73 cores=0,2,4,6
/proc/25499/task/25502/stat : 25502 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 104632 0 0 0 51982 91 0 0 20 0 3 0 331955290 996655104 219124 33554432000 4194304 5964478 140735164416832 140425765845064 4389170 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1044.09
Current children cumulated vsize (KiB) 973296

[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 25507
/proc/meminfo: memFree=26931060/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=975456 CPUtime=1164.05 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) S 25497 25499 21777 0 -1 4202496 228551 0 0 0 116250 155 0 0 20 0 3 0 331955282 998866944 224657 33554432000 4194304 5964478 140735164416832 140735164416352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 243864 224657 198 433 0 243428 0
[pid=25499/tid=25501] ppid=25497 vsize=975456 CPUtime=580.57 cores=0,2,4,6
/proc/25499/task/25501/stat : 25501 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 117200 0 0 0 57981 76 0 0 20 0 3 0 331955290 998866944 224657 33554432000 4194304 5964478 140735164416832 140425776334840 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25499/tid=25502] ppid=25497 vsize=975456 CPUtime=580.57 cores=0,2,4,6
/proc/25499/task/25502/stat : 25502 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 108896 0 0 0 57963 94 0 0 20 0 3 0 331955290 998866944 224657 33554432000 4194304 5964478 140735164416832 140425765845656 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1164.05
Current children cumulated vsize (KiB) 975456

[startup+642.3 s]
/proc/loadavg: 3.82 3.95 3.91 5/183 25548
/proc/meminfo: memFree=27094592/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=976476 CPUtime=1284.04 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) S 25497 25499 21777 0 -1 4202496 228813 0 0 0 128249 155 0 0 20 0 3 0 331955282 999911424 225052 33554432000 4194304 5964478 140735164416832 140735164416352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 244119 225052 198 433 0 243683 0
[pid=25499/tid=25501] ppid=25497 vsize=976476 CPUtime=640.42 cores=0,2,4,6
/proc/25499/task/25501/stat : 25501 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 117232 0 0 0 63965 77 0 0 20 0 3 0 331955290 999911424 225052 33554432000 4194304 5964478 140735164416832 140425776334752 4400067 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25499/tid=25502] ppid=25497 vsize=976476 CPUtime=640.42 cores=0,2,4,6
/proc/25499/task/25502/stat : 25502 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 109126 0 0 0 63947 95 0 0 20 0 3 0 331955290 999911424 225052 33554432000 4194304 5964478 140735164416832 140425765845064 4389164 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1284.04
Current children cumulated vsize (KiB) 976476

[startup+702.3 s]
/proc/loadavg: 3.93 3.96 3.91 5/183 25549
/proc/meminfo: memFree=26917860/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=982772 CPUtime=1403.98 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) S 25497 25499 21777 0 -1 4202496 230441 0 0 0 140243 155 0 0 20 0 3 0 331955282 1006358528 226650 33554432000 4194304 5964478 140735164416832 140735164416352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 245693 226650 198 433 0 245257 0
[pid=25499/tid=25501] ppid=25497 vsize=982772 CPUtime=700.23 cores=0,2,4,6
/proc/25499/task/25501/stat : 25501 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 118389 0 0 0 69945 78 0 0 20 0 3 0 331955290 1006358528 226650 33554432000 4194304 5964478 140735164416832 140425776335688 4222416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25499/tid=25502] ppid=25497 vsize=982772 CPUtime=700.26 cores=0,2,4,6
/proc/25499/task/25502/stat : 25502 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 109597 0 0 0 69929 97 0 0 20 0 3 0 331955290 1006358528 226650 33554432000 4194304 5964478 140735164416832 140425765845064 4400115 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1403.98
Current children cumulated vsize (KiB) 982772

[startup+762.307 s]
/proc/loadavg: 4.05 3.98 3.92 5/183 25549
/proc/meminfo: memFree=26864260/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=979248 CPUtime=1523.95 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) S 25497 25499 21777 0 -1 4202496 238716 0 0 0 152236 159 0 0 20 0 3 0 331955282 1002749952 234246 33554432000 4194304 5964478 140735164416832 140735164416352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 244812 234246 198 433 0 244376 0
[pid=25499/tid=25501] ppid=25497 vsize=979248 CPUtime=760.08 cores=0,2,4,6
/proc/25499/task/25501/stat : 25501 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 118395 0 0 0 75929 79 0 0 20 0 3 0 331955290 1002749952 234246 33554432000 4194304 5964478 140735164416832 140425776335800 4399890 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25499/tid=25502] ppid=25497 vsize=979248 CPUtime=760.09 cores=0,2,4,6
/proc/25499/task/25502/stat : 25502 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 117867 0 0 0 75908 101 0 0 20 0 3 0 331955290 1002749952 234247 33554432000 4194304 5964478 140735164416832 140425765845304 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1523.95
Current children cumulated vsize (KiB) 979248

[startup+822.3 s]
/proc/loadavg: 4.02 3.98 3.92 5/183 25549
/proc/meminfo: memFree=26784036/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=1046564 CPUtime=1643.9 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) S 25497 25499 21777 0 -1 4202496 248112 0 0 0 164227 163 0 0 20 0 3 0 331955282 1071681536 239613 33554432000 4194304 5964478 140735164416832 140735164416352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 261641 239613 198 433 0 261205 0
[pid=25499/tid=25501] ppid=25497 vsize=1046564 CPUtime=819.91 cores=0,2,4,6
/proc/25499/task/25501/stat : 25501 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 118413 0 0 0 81911 80 0 0 20 0 3 0 331955290 1071681536 239613 33554432000 4194304 5964478 140735164416832 140425776335688 4389170 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25499/tid=25502] ppid=25497 vsize=1046564 CPUtime=819.93 cores=0,2,4,6
/proc/25499/task/25502/stat : 25502 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 127244 0 0 0 81887 106 0 0 20 0 3 0 331955290 1071681536 239613 33554432000 4194304 5964478 140735164416832 140425765845064 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1643.9
Current children cumulated vsize (KiB) 1046564

[startup+882.3 s]
/proc/loadavg: 4.00 3.98 3.92 5/183 25549
/proc/meminfo: memFree=26622188/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=1113960 CPUtime=1763.88 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) S 25497 25499 21777 0 -1 4202496 267779 0 0 0 176212 176 0 0 20 0 3 0 331955282 1140695040 259293 33554432000 4194304 5964478 140735164416832 140735164416352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 278490 259293 198 433 0 278054 0
[pid=25499/tid=25501] ppid=25497 vsize=1113960 CPUtime=879.75 cores=0,2,4,6
/proc/25499/task/25501/stat : 25501 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 118420 0 0 0 87894 81 0 0 20 0 3 0 331955290 1140695040 259293 33554432000 4194304 5964478 140735164416832 140425776335688 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25499/tid=25502] ppid=25497 vsize=1113960 CPUtime=879.78 cores=0,2,4,6
/proc/25499/task/25502/stat : 25502 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 146904 0 0 0 87858 120 0 0 20 0 3 0 331955290 1140695040 259293 33554432000 4194304 5964478 140735164416832 140425765845352 4400078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1763.88
Current children cumulated vsize (KiB) 1113960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 4.00 3.98 3.92 5/183 25549
/proc/meminfo: memFree=26570852/32873844 swapFree=7112/7112
[pid=25499] ppid=25497 vsize=1113960 CPUtime=1800.09 cores=0,2,4,6
/proc/25499/stat : 25499 (pwbo2.02) S 25497 25499 21777 0 -1 4202496 268594 0 0 0 179832 177 0 0 20 0 3 0 331955282 1140695040 260108 33554432000 4194304 5964478 140735164416832 140735164416352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25499/statm: 278490 260108 198 433 0 278054 0
[pid=25499/tid=25501] ppid=25497 vsize=1113960 CPUtime=897.81 cores=0,2,4,6
/proc/25499/task/25501/stat : 25501 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 118420 0 0 0 89700 81 0 0 20 0 3 0 331955290 1140695040 260108 33554432000 4194304 5964478 140735164416832 140425776335688 4399881 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25499/tid=25502] ppid=25497 vsize=1113960 CPUtime=897.84 cores=0,2,4,6
/proc/25499/task/25502/stat : 25502 (pwbo2.02) R 25497 25499 21777 0 -1 4202560 147719 0 0 0 89663 121 0 0 20 0 3 0 331955290 1140695040 260108 33554432000 4194304 5964478 140735164416832 140425765845304 4400401 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1113960

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25499 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=718313
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=57687
# CPU time returned by wait4() is 1795.78
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.425
CPU time (s): 1800.09
CPU user time (s): 1798.32
CPU system time (s): 1.77
CPU usage (%): 199.916
Max. virtual memory (cumulated for all children) (KiB): 1113960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.72
system time used= 2.05769
maximum resident set size= 1040436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268595
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= 810
involuntary context switches= 2319

runsolver used 1.86372 second user time and 4.83326 second system time

The end