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-3500077-1307990359/watcher-3500077-1307990359 -o /tmp/evaluation-result-3500077-1307990359/solver-3500077-1307990359 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500077-1307990359.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: 1.44 1.86 1.95 2/174 13346
/proc/meminfo: memFree=32203532/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=135392 CPUtime=0 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 583 0 0 0 0 0 0 0 23 0 3 0 910638228 138641408 525 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 33848 536 176 372 0 33473 0
[pid=13346/tid=13349] ppid=13343 vsize=135392 CPUtime=0 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 109 0 0 0 0 0 0 0 25 0 3 0 910638229 138641408 571 33554432000 4194304 5714118 140736511933616 18446744073709551615 5013131 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=135392 CPUtime=0 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 28 0 0 0 0 0 0 0 25 0 3 0 910638229 138641408 573 33554432000 4194304 5714118 140736511933616 18446744073709551615 4964789 0 0 4096 16387 0 0 0 -1 3 0 0 0
[startup+0.0918559 s]
/proc/loadavg: 1.44 1.86 1.95 2/174 13346
/proc/meminfo: memFree=32203532/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=154724 CPUtime=0.17 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 9311 0 0 0 16 1 0 0 23 0 3 0 910638228 158437376 9161 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 38726 9162 178 372 0 38351 0
[pid=13346/tid=13349] ppid=13343 vsize=154904 CPUtime=0.08 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 834 0 0 0 8 0 0 0 18 0 3 0 910638229 158621696 9162 33554432000 4194304 5714118 140736511933616 18446744073709551615 4968653 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=154904 CPUtime=0.08 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 7986 0 0 0 7 1 0 0 25 0 3 0 910638229 158621696 9162 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 154724
[startup+0.100857 s]
/proc/loadavg: 1.44 1.86 1.95 2/174 13346
/proc/meminfo: memFree=32203532/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=154904 CPUtime=0.18 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 9365 0 0 0 17 1 0 0 23 0 3 0 910638228 158621696 9215 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 38726 9215 178 372 0 38351 0
[pid=13346/tid=13349] ppid=13343 vsize=154904 CPUtime=0.09 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 876 0 0 0 9 0 0 0 18 0 3 0 910638229 158621696 9215 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=154904 CPUtime=0.09 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 7997 0 0 0 8 1 0 0 25 0 3 0 910638229 158621696 9215 33554432000 4194304 5714118 140736511933616 18446744073709551615 4319218 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 154904
[startup+0.300823 s]
/proc/loadavg: 1.44 1.86 1.95 2/174 13346
/proc/meminfo: memFree=32203532/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=154904 CPUtime=0.58 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 9706 0 0 0 56 2 0 0 23 0 3 0 910638228 158621696 9556 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 38726 9556 179 372 0 38351 0
[pid=13346/tid=13349] ppid=13343 vsize=154904 CPUtime=0.28 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 1215 0 0 0 27 1 0 0 18 0 3 0 910638229 158621696 9556 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=154904 CPUtime=0.28 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 7999 0 0 0 27 1 0 0 25 0 3 0 910638229 158621696 9556 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 154904
[startup+0.700746 s]
/proc/loadavg: 1.44 1.86 1.95 2/174 13346
/proc/meminfo: memFree=32203532/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=154904 CPUtime=1.38 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 10152 0 0 0 134 4 0 0 23 0 3 0 910638228 158621696 10002 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 38726 10002 179 372 0 38351 0
[pid=13346/tid=13349] ppid=13343 vsize=154904 CPUtime=0.69 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 1623 0 0 0 66 3 0 0 18 0 3 0 910638229 158621696 10002 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=154904 CPUtime=0.68 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 8037 0 0 0 67 1 0 0 25 0 3 0 910638229 158621696 10002 33554432000 4194304 5714118 140736511933616 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 154904
[startup+1.5006 s]
/proc/loadavg: 1.44 1.86 1.95 6/182 13354
/proc/meminfo: memFree=32115508/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=155040 CPUtime=2.98 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 11262 0 0 0 291 7 0 0 23 0 3 0 910638228 158760960 11086 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 38760 11086 179 372 0 38385 0
[pid=13346/tid=13349] ppid=13343 vsize=155040 CPUtime=1.48 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 2498 0 0 0 143 5 0 0 20 0 3 0 910638229 158760960 11086 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=155040 CPUtime=1.48 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 8272 0 0 0 147 1 0 0 25 0 3 0 910638229 158760960 11086 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 155040
[startup+3.10029 s]
/proc/loadavg: 1.44 1.86 1.95 5/182 13354
/proc/meminfo: memFree=32087736/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=155040 CPUtime=6.18 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 12396 0 0 0 604 14 0 0 23 0 3 0 910638228 158760960 12220 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 38760 12220 179 372 0 38385 0
[pid=13346/tid=13349] ppid=13343 vsize=155040 CPUtime=3.09 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 3120 0 0 0 298 11 0 0 25 0 3 0 910638229 158760960 12220 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=155040 CPUtime=3.08 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 8784 0 0 0 306 2 0 0 25 0 3 0 910638229 158760960 12220 33554432000 4194304 5714118 140736511933616 18446744073709551615 4319389 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 155040
[startup+6.30069 s]
/proc/loadavg: 1.64 1.89 1.96 6/182 13354
/proc/meminfo: memFree=32013964/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=155040 CPUtime=12.58 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 16251 0 0 0 1235 23 0 0 23 0 3 0 910638228 158760960 16075 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 38760 16075 180 372 0 38385 0
[pid=13346/tid=13349] ppid=13343 vsize=155040 CPUtime=6.28 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 4827 0 0 0 611 17 0 0 25 0 3 0 910638229 158760960 16075 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=155040 CPUtime=6.28 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 10932 0 0 0 623 5 0 0 25 0 3 0 910638229 158760960 16075 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 155040
[startup+12.7005 s]
/proc/loadavg: 1.83 1.93 1.97 6/182 13354
/proc/meminfo: memFree=31863676/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=155364 CPUtime=25.38 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 22210 0 0 0 2502 36 0 0 23 0 3 0 910638228 159092736 21996 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 38841 21996 180 372 0 38466 0
[pid=13346/tid=13349] ppid=13343 vsize=155364 CPUtime=12.68 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 7829 0 0 0 1242 26 0 0 25 0 3 0 910638229 159092736 21996 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=155364 CPUtime=12.68 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 13889 0 0 0 1259 9 0 0 25 0 3 0 910638229 159092736 21996 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 155364
[startup+25.5011 s]
/proc/loadavg: 2.31 2.03 2.00 6/182 13355
/proc/meminfo: memFree=31565560/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=155764 CPUtime=50.98 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 28440 0 0 0 5025 73 0 0 23 0 3 0 910638228 159502336 28226 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 38941 28226 180 372 0 38566 0
[pid=13346/tid=13349] ppid=13343 vsize=155764 CPUtime=25.49 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 7876 0 0 0 2495 54 0 0 25 0 3 0 910638229 159502336 28226 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=155764 CPUtime=25.48 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 20072 0 0 0 2530 18 0 0 25 0 3 0 910638229 159502336 28226 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 155764
[startup+51.1002 s]
/proc/loadavg: 2.89 2.19 2.05 5/182 13355
/proc/meminfo: memFree=31125316/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=221300 CPUtime=102.19 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 35866 0 0 0 10083 136 0 0 23 0 3 0 910638228 226611200 35646 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 55325 35646 180 372 0 54950 0
[pid=13346/tid=13349] ppid=13343 vsize=221300 CPUtime=51.09 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 13325 0 0 0 5003 106 0 0 25 0 3 0 910638229 226611200 35646 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=221300 CPUtime=51.08 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 22049 0 0 0 5079 29 0 0 25 0 3 0 910638229 226611200 35646 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 221300
[startup+102.307 s]
/proc/loadavg: 3.55 2.49 2.16 5/182 13357
/proc/meminfo: memFree=30364260/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=287160 CPUtime=204.6 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 54496 0 0 0 20247 213 0 0 23 0 3 0 910638228 294051840 54276 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 71790 54276 180 372 0 71415 0
[pid=13346/tid=13349] ppid=13343 vsize=287160 CPUtime=102.3 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 26444 0 0 0 10068 162 0 0 25 0 3 0 910638229 294051840 54276 33554432000 4194304 5714118 140736511933616 18446744073709551615 4347217 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=287160 CPUtime=102.29 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 27560 0 0 0 10179 50 0 0 25 0 3 0 910638229 294051840 54276 33554432000 4194304 5714118 140736511933616 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 287160
[startup+162.301 s]
/proc/loadavg: 3.82 2.74 2.26 5/182 13358
/proc/meminfo: memFree=29859748/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=419456 CPUtime=324.59 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 87116 0 0 0 32153 306 0 0 23 0 3 0 910638228 429522944 86896 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 104864 86896 180 372 0 104489 0
[pid=13346/tid=13349] ppid=13343 vsize=419456 CPUtime=162.29 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 35876 0 0 0 16010 219 0 0 25 0 3 0 910638229 429522944 86896 33554432000 4194304 5714118 140736511933616 18446744073709551615 4300157 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=419456 CPUtime=162.29 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 50748 0 0 0 16143 86 0 0 25 0 3 0 910638229 429522944 86896 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 419456
[startup+222.301 s]
/proc/loadavg: 3.93 2.97 2.37 6/182 13360
/proc/meminfo: memFree=29385484/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=486448 CPUtime=444.6 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 113816 0 0 0 44070 390 0 0 23 0 3 0 910638228 498122752 113596 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 121612 113596 180 372 0 121237 0
[pid=13346/tid=13349] ppid=13343 vsize=486448 CPUtime=222.3 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 47671 0 0 0 21949 281 0 0 25 0 3 0 910638229 498122752 113596 33554432000 4194304 5714118 140736511933616 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=486448 CPUtime=222.29 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 65653 0 0 0 22120 109 0 0 25 0 3 0 910638229 498122752 113596 33554432000 4194304 5714118 140736511933616 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 486448
[startup+282.3 s]
/proc/loadavg: 3.97 3.15 2.47 6/182 13362
/proc/meminfo: memFree=28972720/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=617520 CPUtime=564.6 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 133118 0 0 0 55996 464 0 0 23 0 3 0 910638228 632340480 132897 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 154380 132897 180 372 0 154005 0
[pid=13346/tid=13349] ppid=13343 vsize=617520 CPUtime=282.29 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 58759 0 0 0 27886 343 0 0 25 0 3 0 910638229 632340480 132897 33554432000 4194304 5714118 140736511933616 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=617520 CPUtime=282.29 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 73867 0 0 0 28109 120 0 0 25 0 3 0 910638229 632340480 132897 33554432000 4194304 5714118 140736511933616 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 617520
[startup+342.301 s]
/proc/loadavg: 3.99 3.30 2.56 6/182 13363
/proc/meminfo: memFree=28619244/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=684272 CPUtime=684.61 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 154452 0 0 0 67927 534 0 0 23 0 3 0 910638228 700694528 154231 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 171068 154231 180 372 0 170693 0
[pid=13346/tid=13349] ppid=13343 vsize=684272 CPUtime=342.3 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 68645 0 0 0 33836 394 0 0 25 0 3 0 910638229 700694528 154231 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=684272 CPUtime=342.3 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 85315 0 0 0 34090 140 0 0 25 0 3 0 910638229 700694528 154231 33554432000 4194304 5714118 140736511933616 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 684.61
Current children cumulated vsize (KiB) 684272
[startup+402.301 s]
/proc/loadavg: 3.99 3.43 2.65 6/182 13365
/proc/meminfo: memFree=28215416/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=749808 CPUtime=804.61 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 175969 0 0 0 79854 607 0 0 23 0 3 0 910638228 767803392 175748 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 187452 175748 180 372 0 187077 0
[pid=13346/tid=13349] ppid=13343 vsize=749808 CPUtime=402.3 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 77841 0 0 0 39785 445 0 0 25 0 3 0 910638229 767803392 175748 33554432000 4194304 5714118 140736511933616 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=749808 CPUtime=402.29 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 97636 0 0 0 40068 161 0 0 25 0 3 0 910638229 767803392 175748 33554432000 4194304 5714118 140736511933616 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 804.61
Current children cumulated vsize (KiB) 749808
[startup+462.3 s]
/proc/loadavg: 4.11 3.56 2.74 5/182 13366
/proc/meminfo: memFree=27882140/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=881040 CPUtime=924.62 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 194160 0 0 0 91793 669 0 0 23 0 3 0 910638228 902184960 193938 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 220260 193938 180 372 0 219885 0
[pid=13346/tid=13349] ppid=13343 vsize=881040 CPUtime=462.3 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 87656 0 0 0 45741 489 0 0 25 0 3 0 910638229 902184960 193938 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=881040 CPUtime=462.3 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 106012 0 0 0 46051 179 0 0 25 0 3 0 910638229 902184960 193938 33554432000 4194304 5714118 140736511933616 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 924.62
Current children cumulated vsize (KiB) 881040
[startup+522.301 s]
/proc/loadavg: 4.04 3.64 2.82 5/182 13368
/proc/meminfo: memFree=27590772/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=881688 CPUtime=1044.62 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 208359 0 0 0 103737 725 0 0 23 0 3 0 910638228 902848512 208137 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 220422 208137 180 372 0 220047 0
[pid=13346/tid=13349] ppid=13343 vsize=881688 CPUtime=522.3 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 96317 0 0 0 51697 533 0 0 25 0 3 0 910638229 902848512 208137 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=881688 CPUtime=522.3 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 111550 0 0 0 52039 191 0 0 25 0 3 0 910638229 902848512 208137 33554432000 4194304 5714118 140736511933616 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1044.62
Current children cumulated vsize (KiB) 881688
[startup+582.301 s]
/proc/loadavg: 4.01 3.70 2.89 6/182 13370
/proc/meminfo: memFree=27241380/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=947224 CPUtime=1164.62 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 214149 0 0 0 115683 779 0 0 23 0 3 0 910638228 969957376 213927 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 236806 213927 180 372 0 236431 0
[pid=13346/tid=13349] ppid=13343 vsize=947224 CPUtime=582.3 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 102091 0 0 0 57657 573 0 0 25 0 3 0 910638229 969957376 213927 33554432000 4194304 5714118 140736511933616 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=947224 CPUtime=582.3 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 111566 0 0 0 58025 205 0 0 25 0 3 0 910638229 969957376 213927 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1164.62
Current children cumulated vsize (KiB) 947224
[startup+642.3 s]
/proc/loadavg: 4.00 3.76 2.96 5/182 13371
/proc/meminfo: memFree=27010268/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=947224 CPUtime=1284.64 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 221294 0 0 0 127628 836 0 0 23 0 3 0 910638228 969957376 221072 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 236806 221072 180 372 0 236431 0
[pid=13346/tid=13349] ppid=13343 vsize=947224 CPUtime=642.31 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 109184 0 0 0 63612 619 0 0 25 0 3 0 910638229 969957376 221072 33554432000 4194304 5714118 140736511933616 18446744073709551615 4319748 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=947224 CPUtime=642.31 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 111618 0 0 0 64015 216 0 0 25 0 3 0 910638229 969957376 221072 33554432000 4194304 5714118 140736511933616 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1284.64
Current children cumulated vsize (KiB) 947224
[startup+702.301 s]
/proc/loadavg: 4.00 3.80 3.02 6/182 13373
/proc/meminfo: memFree=26848240/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=1013160 CPUtime=1404.63 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 228657 0 0 0 139567 896 0 0 23 0 3 0 910638228 1037475840 228435 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 253290 228435 180 372 0 252915 0
[pid=13346/tid=13349] ppid=13343 vsize=1013160 CPUtime=702.31 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 116430 0 0 0 69561 670 0 0 25 0 3 0 910638229 1037475840 228435 33554432000 4194304 5714118 140736511933616 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=1013160 CPUtime=702.3 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 111735 0 0 0 70005 225 0 0 25 0 3 0 910638229 1037475840 228435 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1404.63
Current children cumulated vsize (KiB) 1013160
[startup+762.307 s]
/proc/loadavg: 4.00 3.83 3.08 6/182 13374
/proc/meminfo: memFree=26709408/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=1013160 CPUtime=1524.65 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 234784 0 0 0 151521 944 0 0 23 0 3 0 910638228 1037475840 234561 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 253290 234561 180 372 0 252915 0
[pid=13346/tid=13349] ppid=13343 vsize=1013160 CPUtime=762.32 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 122554 0 0 0 75521 711 0 0 25 0 3 0 910638229 1037475840 234561 33554432000 4194304 5714118 140736511933616 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=1013160 CPUtime=762.31 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 111738 0 0 0 75999 232 0 0 25 0 3 0 910638229 1037475840 234561 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1524.65
Current children cumulated vsize (KiB) 1013160
[startup+822.3 s]
/proc/loadavg: 4.00 3.86 3.13 5/182 13376
/proc/meminfo: memFree=26553712/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=1013160 CPUtime=1644.64 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 240964 0 0 0 163467 997 0 0 23 0 3 0 910638228 1037475840 240741 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 253290 240741 180 372 0 252915 0
[pid=13346/tid=13349] ppid=13343 vsize=1013160 CPUtime=822.32 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 128725 0 0 0 81474 758 0 0 25 0 3 0 910638229 1037475840 240741 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=1013160 CPUtime=822.31 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 111747 0 0 0 81993 238 0 0 25 0 3 0 910638229 1037475840 240741 33554432000 4194304 5714118 140736511933616 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1644.64
Current children cumulated vsize (KiB) 1013160
[startup+882.301 s]
/proc/loadavg: 4.00 3.88 3.19 6/182 13378
/proc/meminfo: memFree=26319384/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=1078696 CPUtime=1764.65 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 250008 0 0 0 175417 1048 0 0 23 0 3 0 910638228 1104584704 249784 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 269674 249784 180 372 0 269299 0
[pid=13346/tid=13349] ppid=13343 vsize=1078696 CPUtime=882.31 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 137754 0 0 0 87427 804 0 0 25 0 3 0 910638229 1104584704 249784 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=1078696 CPUtime=882.32 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 111762 0 0 0 87989 243 0 0 25 0 3 0 910638229 1104584704 249784 33554432000 4194304 5714118 140736511933616 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1764.65
Current children cumulated vsize (KiB) 1078696
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.00 3.89 3.20 5/182 13378
/proc/meminfo: memFree=26256868/32951124 swapFree=67050540/67111528
[pid=13346] ppid=13343 vsize=1078696 CPUtime=1800.06 cores=1,3,5,7
/proc/13346/stat : 13346 (pwbo1.1) S 13343 13346 13000 0 -1 4202496 252559 0 0 0 178946 1060 0 0 23 0 3 0 910638228 1104584704 252335 33554432000 4194304 5714118 140736511933616 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13346/statm: 269674 252335 180 372 0 269299 0
[pid=13346/tid=13349] ppid=13343 vsize=1078696 CPUtime=900.03 cores=1,3,5,7
/proc/13346/task/13349/stat : 13349 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 140305 0 0 0 89187 816 0 0 25 0 3 0 910638229 1104584704 252335 33554432000 4194304 5714118 140736511933616 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13346/tid=13350] ppid=13343 vsize=1078696 CPUtime=900.02 cores=1,3,5,7
/proc/13346/task/13350/stat : 13350 (pwbo1.1) R 13343 13346 13000 0 -1 4202560 111762 0 0 0 89758 244 0 0 25 0 3 0 910638229 1104584704 252335 33554432000 4194304 5714118 140736511933616 18446744073709551615 4200608 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1078696
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.049
CPU time (s): 1800.12
CPU user time (s): 1789.47
CPU system time (s): 10.6424
CPU usage (%): 200.002
Max. virtual memory (cumulated for all children) (KiB): 1078696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.47
system time used= 10.6424
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252564
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= 477
involuntary context switches= 11946
runsolver used 1.54676 second user time and 3.35949 second system time
The end