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-3500080-1307990383/watcher-3500080-1307990383 -o /tmp/evaluation-result-3500080-1307990383/solver-3500080-1307990383 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500080-1307990383.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.01 1.00 1.03 3/179 14529
/proc/meminfo: memFree=32025732/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=135396 CPUtime=0 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 597 0 0 0 0 0 0 0 23 0 3 0 910641037 138645504 538 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 33849 539 176 372 0 33474 0
[pid=14529/tid=14530] ppid=14527 vsize=135396 CPUtime=0 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 78 0 0 0 0 0 0 0 18 0 3 0 910641037 138645504 545 33554432000 4194304 5714118 140735074096768 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=135396 CPUtime=0 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 32 0 0 0 0 0 0 0 25 0 3 0 910641037 138645504 545 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[startup+0.0660551 s]
/proc/loadavg: 1.01 1.00 1.03 3/179 14529
/proc/meminfo: memFree=32025732/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=153436 CPUtime=0.11 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 8789 0 0 0 9 2 0 0 23 0 3 0 910641037 157118464 8606 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 38359 8609 177 372 0 37984 0
[pid=14529/tid=14530] ppid=14527 vsize=153436 CPUtime=0.05 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 685 0 0 0 5 0 0 0 18 0 3 0 910641037 157118464 8611 33554432000 4194304 5714118 140735074096768 18446744073709551615 4964670 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=153436 CPUtime=0.05 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 7617 0 0 0 3 2 0 0 18 0 3 0 910641037 157118464 8612 33554432000 4194304 5714118 140735074096768 18446744073709551615 4973006 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 153436
[startup+0.101051 s]
/proc/loadavg: 1.01 1.00 1.03 3/179 14529
/proc/meminfo: memFree=32025732/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=154788 CPUtime=0.18 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 9770 0 0 0 16 2 0 0 23 0 3 0 910641037 158502912 9577 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 38697 9577 178 372 0 38322 0
[pid=14529/tid=14530] ppid=14527 vsize=154788 CPUtime=0.09 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 889 0 0 0 9 0 0 0 18 0 3 0 910641037 158502912 9577 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=154788 CPUtime=0.08 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 8387 0 0 0 6 2 0 0 18 0 3 0 910641037 158502912 9577 33554432000 4194304 5714118 140735074096768 18446744073709551615 4305171 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 154788
[startup+0.301016 s]
/proc/loadavg: 1.01 1.00 1.03 3/179 14529
/proc/meminfo: memFree=32025732/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=154924 CPUtime=0.58 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 10160 0 0 0 55 3 0 0 23 0 3 0 910641037 158642176 9967 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 38731 9967 179 372 0 38356 0
[pid=14529/tid=14530] ppid=14527 vsize=154924 CPUtime=0.29 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 1251 0 0 0 28 1 0 0 18 0 3 0 910641037 158642176 9967 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=154924 CPUtime=0.28 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 8415 0 0 0 26 2 0 0 18 0 3 0 910641037 158642176 9967 33554432000 4194304 5714118 140735074096768 18446744073709551615 4973034 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 154924
[startup+0.700948 s]
/proc/loadavg: 1.01 1.00 1.03 3/179 14529
/proc/meminfo: memFree=32025732/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=154924 CPUtime=1.39 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 10895 0 0 0 134 5 0 0 23 0 3 0 910641037 158642176 10702 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 38731 10702 179 372 0 38356 0
[pid=14529/tid=14530] ppid=14527 vsize=154924 CPUtime=0.69 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 1975 0 0 0 67 2 0 0 18 0 3 0 910641037 158642176 10702 33554432000 4194304 5714118 140735074096768 18446744073709551615 4324812 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=154924 CPUtime=0.68 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 8426 0 0 0 66 2 0 0 18 0 3 0 910641037 158642176 10702 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 154924
[startup+1.5008 s]
/proc/loadavg: 1.25 1.05 1.05 5/182 14532
/proc/meminfo: memFree=31945308/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=154924 CPUtime=2.98 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 11393 0 0 0 289 9 0 0 23 0 3 0 910641037 158642176 11174 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 38731 11174 179 372 0 38356 0
[pid=14529/tid=14530] ppid=14527 vsize=154924 CPUtime=1.48 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 2318 0 0 0 142 6 0 0 20 0 3 0 910641037 158642176 11174 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=154924 CPUtime=1.49 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 8581 0 0 0 146 3 0 0 20 0 3 0 910641037 158642176 11174 33554432000 4194304 5714118 140735074096768 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 154924
[startup+3.10053 s]
/proc/loadavg: 1.25 1.05 1.05 6/182 14532
/proc/meminfo: memFree=31938116/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=154924 CPUtime=6.18 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 13367 0 0 0 599 19 0 0 23 0 3 0 910641037 158642176 13148 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 38731 13148 179 372 0 38356 0
[pid=14529/tid=14530] ppid=14527 vsize=154924 CPUtime=3.09 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 3165 0 0 0 294 15 0 0 25 0 3 0 910641037 158642176 13148 33554432000 4194304 5714118 140735074096768 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=154924 CPUtime=3.08 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 9708 0 0 0 304 4 0 0 25 0 3 0 910641037 158642176 13148 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 154924
[startup+6.30095 s]
/proc/loadavg: 1.25 1.05 1.05 5/182 14532
/proc/meminfo: memFree=31908292/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=154924 CPUtime=12.59 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 16190 0 0 0 1229 30 0 0 23 0 3 0 910641037 158642176 15971 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 38731 15971 180 372 0 38356 0
[pid=14529/tid=14530] ppid=14527 vsize=154924 CPUtime=6.29 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 5307 0 0 0 606 23 0 0 25 0 3 0 910641037 158642176 15971 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=154924 CPUtime=6.28 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 10389 0 0 0 622 6 0 0 25 0 3 0 910641037 158642176 15971 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 154924
[startup+12.7008 s]
/proc/loadavg: 1.67 1.15 1.08 5/182 14532
/proc/meminfo: memFree=31874728/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=155464 CPUtime=25.38 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 22686 0 0 0 2495 43 0 0 23 0 3 0 910641037 159195136 22467 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 38866 22467 180 372 0 38491 0
[pid=14529/tid=14530] ppid=14527 vsize=155464 CPUtime=12.69 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 7979 0 0 0 1236 33 0 0 25 0 3 0 910641037 159195136 22467 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=155464 CPUtime=12.68 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 14213 0 0 0 1258 10 0 0 25 0 3 0 910641037 159195136 22467 33554432000 4194304 5714118 140735074096768 18446744073709551615 4311658 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 155464
[startup+25.5006 s]
/proc/loadavg: 2.03 1.24 1.11 5/182 14532
/proc/meminfo: memFree=31769096/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=221400 CPUtime=50.99 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 33872 0 0 0 5022 77 0 0 23 0 3 0 910641037 226713600 33653 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 55350 33654 180 372 0 54975 0
[pid=14529/tid=14530] ppid=14527 vsize=221400 CPUtime=25.49 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 13060 0 0 0 2490 59 0 0 25 0 3 0 910641037 226713600 33654 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=221400 CPUtime=25.48 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 20319 0 0 0 2531 17 0 0 25 0 3 0 910641037 226713600 33654 33554432000 4194304 5714118 140735074096768 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 221400
[startup+51.101 s]
/proc/loadavg: 2.70 1.46 1.19 5/182 14533
/proc/meminfo: memFree=31624668/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=287080 CPUtime=102.19 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 47917 0 0 0 10080 139 0 0 23 0 3 0 910641037 293969920 47647 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 71770 47647 180 372 0 71395 0
[pid=14529/tid=14530] ppid=14527 vsize=287080 CPUtime=51.09 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 16521 0 0 0 5002 107 0 0 25 0 3 0 910641037 293969920 47647 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=287080 CPUtime=51.09 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 30902 0 0 0 5077 32 0 0 25 0 3 0 910641037 293969920 47647 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 287080
[startup+102.307 s]
/proc/loadavg: 3.48 1.89 1.34 5/182 14534
/proc/meminfo: memFree=31420904/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=420148 CPUtime=204.6 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 83469 0 0 0 20198 262 0 0 23 0 3 0 910641037 430231552 83199 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 105037 83199 180 372 0 104662 0
[pid=14529/tid=14530] ppid=14527 vsize=420148 CPUtime=102.3 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 25120 0 0 0 10034 196 0 0 25 0 3 0 910641037 430231552 83199 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=420148 CPUtime=102.29 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 57855 0 0 0 10163 66 0 0 25 0 3 0 910641037 430231552 83199 33554432000 4194304 5714118 140735074096768 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 420148
[startup+162.3 s]
/proc/loadavg: 3.81 2.27 1.51 5/182 14536
/proc/meminfo: memFree=31202116/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=553244 CPUtime=324.59 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 122078 0 0 0 32088 371 0 0 23 0 3 0 910641037 566521856 121808 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 138311 121808 180 372 0 137936 0
[pid=14529/tid=14530] ppid=14527 vsize=553244 CPUtime=162.29 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 40498 0 0 0 15955 274 0 0 25 0 3 0 910641037 566521856 121808 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=553244 CPUtime=162.28 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 81086 0 0 0 16132 96 0 0 25 0 3 0 910641037 566521856 121808 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 553244
[startup+222.301 s]
/proc/loadavg: 3.93 2.58 1.66 5/182 14538
/proc/meminfo: memFree=31033288/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=686260 CPUtime=444.6 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 153178 0 0 0 43999 461 0 0 23 0 3 0 910641037 702730240 152908 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 171565 152908 180 372 0 171190 0
[pid=14529/tid=14530] ppid=14527 vsize=686260 CPUtime=222.29 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 52931 0 0 0 21891 338 0 0 25 0 3 0 910641037 702730240 152908 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=686260 CPUtime=222.29 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 99753 0 0 0 22107 122 0 0 25 0 3 0 910641037 702730240 152908 33554432000 4194304 5714118 140735074096768 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 686260
[startup+282.301 s]
/proc/loadavg: 3.97 2.84 1.80 5/182 14539
/proc/meminfo: memFree=30936768/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=686744 CPUtime=564.59 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 168174 0 0 0 55926 533 0 0 23 0 3 0 910641037 703225856 167904 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 171686 167904 180 372 0 171311 0
[pid=14529/tid=14530] ppid=14527 vsize=686744 CPUtime=282.3 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 65061 0 0 0 27832 398 0 0 25 0 3 0 910641037 703225856 167904 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=686744 CPUtime=282.29 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 102619 0 0 0 28094 135 0 0 25 0 3 0 910641037 703225856 167904 33554432000 4194304 5714118 140735074096768 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 686744
[startup+342.3 s]
/proc/loadavg: 3.99 3.05 1.94 5/182 14541
/proc/meminfo: memFree=30862072/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=752440 CPUtime=684.6 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 180221 0 0 0 67851 609 0 0 23 0 3 0 910641037 770498560 179951 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 188110 179951 180 372 0 187735 0
[pid=14529/tid=14530] ppid=14527 vsize=752440 CPUtime=342.3 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 77090 0 0 0 33775 455 0 0 25 0 3 0 910641037 770498560 179951 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=752440 CPUtime=342.29 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 102637 0 0 0 34075 154 0 0 25 0 3 0 910641037 770498560 179951 33554432000 4194304 5714118 140735074096768 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 752440
[startup+402.301 s]
/proc/loadavg: 4.05 3.23 2.07 5/182 14542
/proc/meminfo: memFree=30833760/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=817976 CPUtime=804.6 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 187178 0 0 0 79801 659 0 0 23 0 3 0 910641037 837607424 186908 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 204494 186908 180 372 0 204119 0
[pid=14529/tid=14530] ppid=14527 vsize=817976 CPUtime=402.29 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 84011 0 0 0 39740 489 0 0 25 0 3 0 910641037 837607424 186908 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=817976 CPUtime=402.29 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 102673 0 0 0 40060 169 0 0 25 0 3 0 910641037 837607424 186908 33554432000 4194304 5714118 140735074096768 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 817976
[startup+462.301 s]
/proc/loadavg: 4.02 3.37 2.19 5/182 14544
/proc/meminfo: memFree=30794644/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=817976 CPUtime=924.6 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 196687 0 0 0 91725 735 0 0 23 0 3 0 910641037 837607424 196417 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 204494 196417 180 372 0 204119 0
[pid=14529/tid=14530] ppid=14527 vsize=817976 CPUtime=462.3 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 93488 0 0 0 45670 560 0 0 25 0 3 0 910641037 837607424 196417 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=817976 CPUtime=462.29 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 102705 0 0 0 46054 175 0 0 25 0 3 0 910641037 837607424 196417 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 817976
[startup+522.3 s]
/proc/loadavg: 4.00 3.48 2.30 5/182 14546
/proc/meminfo: memFree=30733468/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=883512 CPUtime=1044.6 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 209614 0 0 0 103639 821 0 0 23 0 3 0 910641037 904716288 209344 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 220878 209344 180 372 0 220503 0
[pid=14529/tid=14530] ppid=14527 vsize=883512 CPUtime=522.3 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 106413 0 0 0 51590 640 0 0 25 0 3 0 910641037 904716288 209344 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=883512 CPUtime=522.3 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 102707 0 0 0 52049 181 0 0 25 0 3 0 910641037 904716288 209344 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 883512
[startup+582.301 s]
/proc/loadavg: 4.00 3.57 2.40 5/182 14547
/proc/meminfo: memFree=30631992/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=949048 CPUtime=1164.61 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 218780 0 0 0 115570 891 0 0 23 0 3 0 910641037 971825152 218510 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 237262 218510 180 372 0 236887 0
[pid=14529/tid=14530] ppid=14527 vsize=949048 CPUtime=582.3 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 115545 0 0 0 57527 703 0 0 25 0 3 0 910641037 971825152 218510 33554432000 4194304 5714118 140735074096768 18446744073709551615 4319720 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=949048 CPUtime=582.29 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 102741 0 0 0 58042 187 0 0 25 0 3 0 910641037 971825152 218510 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 949048
[startup+642.301 s]
/proc/loadavg: 4.00 3.65 2.50 5/182 14549
/proc/meminfo: memFree=30509420/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=1014908 CPUtime=1284.63 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 231545 0 0 0 127506 957 0 0 23 0 3 0 910641037 1039265792 231275 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 253727 231275 180 372 0 253352 0
[pid=14529/tid=14530] ppid=14527 vsize=1014908 CPUtime=642.31 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 125691 0 0 0 63469 762 0 0 25 0 3 0 910641037 1039265792 231275 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=1014908 CPUtime=642.3 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 105360 0 0 0 64036 194 0 0 25 0 3 0 910641037 1039265792 231275 33554432000 4194304 5714118 140735074096768 18446744073709551615 4299920 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.63
Current children cumulated vsize (KiB) 1014908
[startup+702.301 s]
/proc/loadavg: 4.00 3.71 2.59 5/182 14550
/proc/meminfo: memFree=30447508/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=1080444 CPUtime=1404.62 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 243157 0 0 0 139445 1017 0 0 23 0 3 0 910641037 1106374656 242887 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 270111 242887 180 372 0 269736 0
[pid=14529/tid=14530] ppid=14527 vsize=1080444 CPUtime=702.3 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 137285 0 0 0 69421 809 0 0 25 0 3 0 910641037 1106374656 242887 33554432000 4194304 5714118 140735074096768 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=1080444 CPUtime=702.3 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 105378 0 0 0 70023 207 0 0 25 0 3 0 910641037 1106374656 242887 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 1080444
[startup+762.307 s]
/proc/loadavg: 4.00 3.76 2.68 5/182 14552
/proc/meminfo: memFree=30412852/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=1080444 CPUtime=1524.63 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 249524 0 0 0 151390 1073 0 0 23 0 3 0 910641037 1106374656 249106 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 270111 249106 180 372 0 269736 0
[pid=14529/tid=14530] ppid=14527 vsize=1080444 CPUtime=762.31 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 143634 0 0 0 75374 857 0 0 25 0 3 0 910641037 1106374656 249106 33554432000 4194304 5714118 140735074096768 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=1080444 CPUtime=762.31 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 105396 0 0 0 76016 215 0 0 25 0 3 0 910641037 1106374656 249106 33554432000 4194304 5714118 140735074096768 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 1080444
[startup+822.3 s]
/proc/loadavg: 4.00 3.80 2.76 5/182 14554
/proc/meminfo: memFree=30356752/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=1145980 CPUtime=1644.63 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 258618 0 0 0 163325 1138 0 0 23 0 3 0 910641037 1173483520 258200 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 286495 258200 180 372 0 286120 0
[pid=14529/tid=14530] ppid=14527 vsize=1145980 CPUtime=822.3 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 152717 0 0 0 81317 913 0 0 25 0 3 0 910641037 1173483520 258200 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=1145980 CPUtime=822.3 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 105407 0 0 0 82006 224 0 0 25 0 3 0 910641037 1173483520 258200 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.63
Current children cumulated vsize (KiB) 1145980
[startup+882.301 s]
/proc/loadavg: 4.00 3.83 2.83 5/182 14555
/proc/meminfo: memFree=30282420/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=1211516 CPUtime=1764.62 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 270512 0 0 0 175232 1230 0 0 23 0 3 0 910641037 1240592384 270094 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 302879 270094 180 372 0 302504 0
[pid=14529/tid=14530] ppid=14527 vsize=1211516 CPUtime=882.3 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 164608 0 0 0 87243 987 0 0 25 0 3 0 910641037 1240592384 270094 33554432000 4194304 5714118 140735074096768 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=1211516 CPUtime=882.3 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 105410 0 0 0 87988 242 0 0 25 0 3 0 910641037 1240592384 270094 33554432000 4194304 5714118 140735074096768 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.62
Current children cumulated vsize (KiB) 1211516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 4.00 3.84 2.85 4/182 14557
/proc/meminfo: memFree=30279920/32951124 swapFree=67050044/67111528
[pid=14529] ppid=14527 vsize=1211516 CPUtime=1800.04 cores=1,3,5,7
/proc/14529/stat : 14529 (pwbo1.1) S 14527 14529 14247 0 -1 4202496 273055 0 0 0 178746 1258 0 0 23 0 3 0 910641037 1240592384 272637 33554432000 4194304 5714118 140735074096768 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/14529/statm: 302879 272637 180 372 0 302504 0
[pid=14529/tid=14530] ppid=14527 vsize=1211516 CPUtime=900.01 cores=1,3,5,7
/proc/14529/task/14530/stat : 14530 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 167149 0 0 0 88992 1009 0 0 25 0 3 0 910641037 1240592384 272637 33554432000 4194304 5714118 140735074096768 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=14529/tid=14531] ppid=14527 vsize=1211516 CPUtime=900.01 cores=1,3,5,7
/proc/14529/task/14531/stat : 14531 (pwbo1.1) R 14527 14529 14247 0 -1 4202560 105412 0 0 0 89753 248 0 0 25 0 3 0 910641037 1240592384 272637 33554432000 4194304 5714118 140735074096768 18446744073709551615 4319321 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1211516
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.051
CPU time (s): 1800.1
CPU user time (s): 1787.48
CPU system time (s): 12.6211
CPU usage (%): 200
Max. virtual memory (cumulated for all children) (KiB): 1211516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.48
system time used= 12.6211
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273061
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= 595
involuntary context switches= 2278
runsolver used 1.52277 second user time and 3.2775 second system time
The end