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 /var/tmp/evaluation-result-3500087-1307990562/watcher-3500087-1307990562 -o /var/tmp/evaluation-result-3500087-1307990562/solver-3500087-1307990562 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500087-1307990562.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: 4.01 3.91 3.20 2/172 11684
/proc/meminfo: memFree=8316456/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=69856 CPUtime=0 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 562 0 0 0 0 0 0 0 25 0 3 0 989287025 71532544 503 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 17464 506 173 372 0 17089 0
[pid=11684/tid=11685] ppid=11682 vsize=69856 CPUtime=0 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 78 0 0 0 0 0 0 0 25 0 3 0 989287025 71532544 512 33554432000 4194304 5714118 140733722772320 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=69856 CPUtime=0 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 3 0 989287025 71532544 512 33554432000 4194304 5714118 140733722772320 18446744073709551615 5082345 0 0 4096 16387 0 0 0 -1 5 0 0 0
[startup+0.0474481 s]
/proc/loadavg: 4.01 3.91 3.20 2/172 11684
/proc/meminfo: memFree=8316456/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=153012 CPUtime=0.08 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 7043 0 0 0 6 2 0 0 25 0 3 0 989287025 156684288 6892 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 38253 6904 177 372 0 37878 0
[pid=11684/tid=11685] ppid=11682 vsize=153012 CPUtime=0.03 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 553 0 0 0 3 0 0 0 18 0 3 0 989287025 156684288 6911 33554432000 4194304 5714118 140733722772320 18446744073709551615 4315683 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=153012 CPUtime=0.03 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 6019 0 0 0 2 1 0 0 25 0 3 0 989287025 156684288 6913 33554432000 4194304 5714118 140733722772320 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 153012
[startup+0.100438 s]
/proc/loadavg: 4.01 3.91 3.20 2/172 11684
/proc/meminfo: memFree=8316456/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=154904 CPUtime=0.18 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 9484 0 0 0 16 2 0 0 25 0 3 0 989287025 158621696 9323 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 38726 9323 178 372 0 38351 0
[pid=11684/tid=11685] ppid=11682 vsize=154904 CPUtime=0.08 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 882 0 0 0 8 0 0 0 18 0 3 0 989287025 158621696 9323 33554432000 4194304 5714118 140733722772320 18446744073709551615 4964730 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=154904 CPUtime=0.08 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 8109 0 0 0 7 1 0 0 25 0 3 0 989287025 158621696 9323 33554432000 4194304 5714118 140733722772320 18446744073709551615 5070743 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) 154904
[startup+0.300405 s]
/proc/loadavg: 4.01 3.91 3.20 2/172 11684
/proc/meminfo: memFree=8316456/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=154904 CPUtime=0.59 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 9858 0 0 0 54 5 0 0 25 0 3 0 989287025 158621696 9697 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 38726 9697 179 372 0 38351 0
[pid=11684/tid=11685] ppid=11682 vsize=154904 CPUtime=0.29 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 1255 0 0 0 26 3 0 0 18 0 3 0 989287025 158621696 9697 33554432000 4194304 5714118 140733722772320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=154904 CPUtime=0.29 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 8110 0 0 0 27 2 0 0 25 0 3 0 989287025 158621696 9697 33554432000 4194304 5714118 140733722772320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 154904
[startup+0.700389 s]
/proc/loadavg: 4.01 3.91 3.20 2/172 11684
/proc/meminfo: memFree=8316456/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=155040 CPUtime=1.38 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 10616 0 0 0 131 7 0 0 25 0 3 0 989287025 158760960 10455 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 38760 10455 179 372 0 38385 0
[pid=11684/tid=11685] ppid=11682 vsize=155040 CPUtime=0.69 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 1908 0 0 0 64 5 0 0 18 0 3 0 989287025 158760960 10455 33554432000 4194304 5714118 140733722772320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=155040 CPUtime=0.69 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 8215 0 0 0 67 2 0 0 25 0 3 0 989287025 158760960 10455 33554432000 4194304 5714118 140733722772320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 155040
[startup+1.5002 s]
/proc/loadavg: 4.01 3.91 3.20 5/182 11705
/proc/meminfo: memFree=8233436/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=155184 CPUtime=2.99 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 11590 0 0 0 289 10 0 0 25 0 3 0 989287025 158908416 11429 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 38796 11429 179 372 0 38421 0
[pid=11684/tid=11685] ppid=11682 vsize=155184 CPUtime=1.49 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 2647 0 0 0 142 7 0 0 20 0 3 0 989287025 158908416 11429 33554432000 4194304 5714118 140733722772320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=155184 CPUtime=1.49 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 8450 0 0 0 146 3 0 0 25 0 3 0 989287025 158908416 11429 33554432000 4194304 5714118 140733722772320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 155184
[startup+3.10092 s]
/proc/loadavg: 4.01 3.91 3.21 5/182 11705
/proc/meminfo: memFree=8225872/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=155040 CPUtime=6.18 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 12521 0 0 0 602 16 0 0 25 0 3 0 989287025 158760960 12331 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 38760 12331 179 372 0 38385 0
[pid=11684/tid=11685] ppid=11682 vsize=155040 CPUtime=3.09 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 2990 0 0 0 297 12 0 0 25 0 3 0 989287025 158760960 12331 33554432000 4194304 5714118 140733722772320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=155040 CPUtime=3.09 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 9038 0 0 0 305 4 0 0 25 0 3 0 989287025 158760960 12331 33554432000 4194304 5714118 140733722772320 18446744073709551615 4311646 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) 155040
[startup+6.30036 s]
/proc/loadavg: 4.01 3.91 3.21 5/182 11705
/proc/meminfo: memFree=8203108/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=155040 CPUtime=12.58 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 14484 0 0 0 1231 27 0 0 25 0 3 0 989287025 158760960 14294 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 38760 14294 179 372 0 38385 0
[pid=11684/tid=11685] ppid=11682 vsize=155040 CPUtime=6.29 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 3828 0 0 0 607 22 0 0 25 0 3 0 989287025 158760960 14294 33554432000 4194304 5714118 140733722772320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=155040 CPUtime=6.29 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 10163 0 0 0 624 5 0 0 25 0 3 0 989287025 158760960 14294 33554432000 4194304 5714118 140733722772320 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 155040
[startup+12.7002 s]
/proc/loadavg: 4.01 3.91 3.21 5/182 11705
/proc/meminfo: memFree=8138496/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=155364 CPUtime=25.39 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 22174 0 0 0 2484 55 0 0 25 0 3 0 989287025 159092736 21984 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 38841 21984 180 372 0 38466 0
[pid=11684/tid=11685] ppid=11682 vsize=155364 CPUtime=12.68 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 5744 0 0 0 1225 43 0 0 25 0 3 0 989287025 159092736 21984 33554432000 4194304 5714118 140733722772320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=155364 CPUtime=12.69 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 15937 0 0 0 1258 11 0 0 25 0 3 0 989287025 159092736 21984 33554432000 4194304 5714118 140733722772320 18446744073709551615 4320064 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 155364
[startup+25.501 s]
/proc/loadavg: 4.01 3.92 3.22 5/182 11706
/proc/meminfo: memFree=8067828/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=155740 CPUtime=50.99 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 31385 0 0 0 5016 83 0 0 25 0 3 0 989287025 159477760 31195 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 38935 31195 180 372 0 38560 0
[pid=11684/tid=11685] ppid=11682 vsize=155740 CPUtime=25.49 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 12083 0 0 0 2484 65 0 0 25 0 3 0 989287025 159477760 31195 33554432000 4194304 5714118 140733722772320 18446744073709551615 4347147 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=155740 CPUtime=25.48 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 18809 0 0 0 2531 17 0 0 25 0 3 0 989287025 159477760 31195 33554432000 4194304 5714118 140733722772320 18446744073709551615 4319195 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) 155740
[startup+51.1005 s]
/proc/loadavg: 4.00 3.92 3.24 5/182 11706
/proc/meminfo: memFree=7931788/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=287052 CPUtime=102.18 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 41258 0 0 0 10098 120 0 0 25 0 3 0 989287025 293941248 41068 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 71763 41068 180 372 0 71388 0
[pid=11684/tid=11685] ppid=11682 vsize=287052 CPUtime=51.09 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 17793 0 0 0 5015 94 0 0 25 0 3 0 989287025 293941248 41068 33554432000 4194304 5714118 140733722772320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=287052 CPUtime=51.09 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 22972 0 0 0 5083 26 0 0 25 0 3 0 989287025 293941248 41068 33554432000 4194304 5714118 140733722772320 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 287052
[startup+102.307 s]
/proc/loadavg: 4.00 3.93 3.28 5/182 11708
/proc/meminfo: memFree=7648648/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=421020 CPUtime=204.6 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 84195 0 0 0 20249 211 0 0 25 0 3 0 989287025 431124480 84005 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 105255 84005 180 372 0 104880 0
[pid=11684/tid=11685] ppid=11682 vsize=421020 CPUtime=102.29 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 28512 0 0 0 10080 149 0 0 25 0 3 0 989287025 431124480 84005 33554432000 4194304 5714118 140733722772320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=421020 CPUtime=102.29 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 55190 0 0 0 10168 61 0 0 25 0 3 0 989287025 431124480 84005 33554432000 4194304 5714118 140733722772320 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) 421020
[startup+162.301 s]
/proc/loadavg: 4.00 3.94 3.32 5/182 11709
/proc/meminfo: memFree=7460380/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=556512 CPUtime=324.59 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 114445 0 0 0 32152 307 0 0 25 0 3 0 989287025 569868288 114255 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 139128 114255 180 372 0 138753 0
[pid=11684/tid=11685] ppid=11682 vsize=556512 CPUtime=162.29 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 38072 0 0 0 16015 214 0 0 25 0 3 0 989287025 569868288 114255 33554432000 4194304 5714118 140733722772320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=556512 CPUtime=162.28 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 75880 0 0 0 16135 93 0 0 25 0 3 0 989287025 569868288 114255 33554432000 4194304 5714118 140733722772320 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) 556512
[startup+222.301 s]
/proc/loadavg: 4.00 3.95 3.37 5/182 11711
/proc/meminfo: memFree=7335344/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=558804 CPUtime=444.59 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 128858 0 0 0 44087 372 0 0 25 0 3 0 989287025 572215296 128668 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 139701 128668 180 372 0 139326 0
[pid=11684/tid=11685] ppid=11682 vsize=558804 CPUtime=222.29 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 48119 0 0 0 21962 267 0 0 25 0 3 0 989287025 572215296 128668 33554432000 4194304 5714118 140733722772320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=558804 CPUtime=222.28 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 80246 0 0 0 22124 104 0 0 25 0 3 0 989287025 572215296 128668 33554432000 4194304 5714118 140733722772320 18446744073709551615 4319321 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 558804
[startup+282.301 s]
/proc/loadavg: 4.00 3.95 3.40 5/182 11712
/proc/meminfo: memFree=7200760/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=624448 CPUtime=564.59 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 142920 0 0 0 56012 447 0 0 25 0 3 0 989287025 639434752 142730 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 156112 142730 180 372 0 155737 0
[pid=11684/tid=11685] ppid=11682 vsize=624448 CPUtime=282.29 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 58262 0 0 0 27898 331 0 0 25 0 3 0 989287025 639434752 142730 33554432000 4194304 5714118 140733722772320 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=624448 CPUtime=282.28 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 84165 0 0 0 28113 115 0 0 25 0 3 0 989287025 639434752 142730 33554432000 4194304 5714118 140733722772320 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 624448
[startup+342.301 s]
/proc/loadavg: 4.00 3.96 3.44 5/182 11714
/proc/meminfo: memFree=7080436/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=756060 CPUtime=684.59 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 157126 0 0 0 67941 518 0 0 25 0 3 0 989287025 774205440 156933 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 189015 156933 180 372 0 188640 0
[pid=11684/tid=11685] ppid=11682 vsize=756060 CPUtime=342.3 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 68321 0 0 0 33838 392 0 0 25 0 3 0 989287025 774205440 156933 33554432000 4194304 5714118 140733722772320 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=756060 CPUtime=342.28 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 88312 0 0 0 34102 126 0 0 25 0 3 0 989287025 774205440 156933 33554432000 4194304 5714118 140733722772320 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 756060
[startup+402.301 s]
/proc/loadavg: 4.00 3.97 3.47 5/182 11716
/proc/meminfo: memFree=6965440/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=757516 CPUtime=804.6 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 171060 0 0 0 79880 580 0 0 25 0 3 0 989287025 775696384 170860 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 189379 170860 180 372 0 189004 0
[pid=11684/tid=11685] ppid=11682 vsize=757516 CPUtime=402.3 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 78337 0 0 0 39787 443 0 0 25 0 3 0 989287025 775696384 170860 33554432000 4194304 5714118 140733722772320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=757516 CPUtime=402.28 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 92230 0 0 0 40092 136 0 0 25 0 3 0 989287025 775696384 170860 33554432000 4194304 5714118 140733722772320 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 757516
[startup+462.301 s]
/proc/loadavg: 4.00 3.97 3.50 5/182 11717
/proc/meminfo: memFree=6873492/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=823700 CPUtime=924.6 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 183246 0 0 0 91824 636 0 0 25 0 3 0 989287025 843468800 183046 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 205925 183046 180 372 0 205550 0
[pid=11684/tid=11685] ppid=11682 vsize=823700 CPUtime=462.29 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 87249 0 0 0 45738 491 0 0 25 0 3 0 989287025 843468800 183046 33554432000 4194304 5714118 140733722772320 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=823700 CPUtime=462.29 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 95504 0 0 0 46085 144 0 0 25 0 3 0 989287025 843468800 183046 33554432000 4194304 5714118 140733722772320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 823700
[startup+522.301 s]
/proc/loadavg: 4.03 3.99 3.53 5/182 11719
/proc/meminfo: memFree=6810700/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=824132 CPUtime=1044.6 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 192001 0 0 0 103760 700 0 0 25 0 3 0 989287025 843911168 191801 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 206033 191801 180 372 0 205658 0
[pid=11684/tid=11685] ppid=11682 vsize=824132 CPUtime=522.3 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 95983 0 0 0 51691 539 0 0 25 0 3 0 989287025 843911168 191801 33554432000 4194304 5714118 140733722772320 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=824132 CPUtime=522.29 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 95525 0 0 0 52069 160 0 0 25 0 3 0 989287025 843911168 191801 33554432000 4194304 5714118 140733722772320 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 824132
[startup+582.3 s]
/proc/loadavg: 4.01 3.99 3.56 5/182 11720
/proc/meminfo: memFree=6770740/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=889668 CPUtime=1164.61 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 201818 0 0 0 115698 763 0 0 25 0 3 0 989287025 911020032 201618 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 222417 201618 180 372 0 222042 0
[pid=11684/tid=11685] ppid=11682 vsize=889668 CPUtime=582.3 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 105794 0 0 0 57634 596 0 0 25 0 3 0 989287025 911020032 201618 33554432000 4194304 5714118 140733722772320 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=889668 CPUtime=582.29 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 95531 0 0 0 58062 167 0 0 25 0 3 0 989287025 911020032 201618 33554432000 4194304 5714118 140733722772320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 889668
[startup+642.301 s]
/proc/loadavg: 4.00 3.99 3.58 5/182 11722
/proc/meminfo: memFree=6738332/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=890100 CPUtime=1284.61 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 209655 0 0 0 127648 813 0 0 25 0 3 0 989287025 911462400 209455 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 222525 209455 180 372 0 222150 0
[pid=11684/tid=11685] ppid=11682 vsize=890100 CPUtime=642.31 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 113627 0 0 0 63592 639 0 0 25 0 3 0 989287025 911462400 209455 33554432000 4194304 5714118 140733722772320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=890100 CPUtime=642.3 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 95535 0 0 0 64056 174 0 0 25 0 3 0 989287025 911462400 209455 33554432000 4194304 5714118 140733722772320 18446744073709551615 4311646 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1284.61
Current children cumulated vsize (KiB) 890100
[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.61 5/182 11724
/proc/meminfo: memFree=6707528/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=956068 CPUtime=1404.61 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 217409 0 0 0 139598 863 0 0 25 0 3 0 989287025 979013632 217209 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 239017 217209 180 372 0 238642 0
[pid=11684/tid=11685] ppid=11682 vsize=956068 CPUtime=702.3 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 121375 0 0 0 69546 684 0 0 25 0 3 0 989287025 979013632 217209 33554432000 4194304 5714118 140733722772320 18446744073709551615 4300320 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=956068 CPUtime=702.29 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 95541 0 0 0 70051 178 0 0 25 0 3 0 989287025 979013632 217209 33554432000 4194304 5714118 140733722772320 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 956068
[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.63 5/182 11725
/proc/meminfo: memFree=6631220/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=957148 CPUtime=1524.62 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 225331 0 0 0 151543 919 0 0 25 0 3 0 989287025 980119552 225131 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 239287 225131 180 372 0 238912 0
[pid=11684/tid=11685] ppid=11682 vsize=957148 CPUtime=762.31 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 129294 0 0 0 75501 730 0 0 25 0 3 0 989287025 980119552 225131 33554432000 4194304 5714118 140733722772320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=957148 CPUtime=762.3 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 95544 0 0 0 76041 189 0 0 25 0 3 0 989287025 980119552 225131 33554432000 4194304 5714118 140733722772320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1524.62
Current children cumulated vsize (KiB) 957148
[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.65 5/182 11727
/proc/meminfo: memFree=6518084/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=1023872 CPUtime=1644.61 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 238194 0 0 0 163489 972 0 0 25 0 3 0 989287025 1048444928 237994 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 255968 237994 180 372 0 255593 0
[pid=11684/tid=11685] ppid=11682 vsize=1023872 CPUtime=822.31 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 136864 0 0 0 81460 771 0 0 25 0 3 0 989287025 1048444928 237994 33554432000 4194304 5714118 140733722772320 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=1023872 CPUtime=822.3 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 100837 0 0 0 82029 201 0 0 25 0 3 0 989287025 1048444928 237994 33554432000 4194304 5714118 140733722772320 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1644.61
Current children cumulated vsize (KiB) 1023872
[startup+882.301 s]
/proc/loadavg: 4.00 3.99 3.67 5/182 11728
/proc/meminfo: memFree=6383248/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=1092400 CPUtime=1764.62 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 253423 0 0 0 175438 1024 0 0 25 0 3 0 989287025 1118617600 253216 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 273100 253216 180 372 0 272725 0
[pid=11684/tid=11685] ppid=11682 vsize=1092400 CPUtime=882.31 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 144512 0 0 0 87422 809 0 0 25 0 3 0 989287025 1118617600 253216 33554432000 4194304 5714118 140733722772320 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=1092400 CPUtime=882.3 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 108418 0 0 0 88016 214 0 0 25 0 3 0 989287025 1118617600 253216 33554432000 4194304 5714118 140733722772320 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1764.62
Current children cumulated vsize (KiB) 1092400
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.00 3.99 3.67 5/182 11729
/proc/meminfo: memFree=6366232/32950940 swapFree=67053420/67111528
[pid=11684] ppid=11682 vsize=1093048 CPUtime=1800.03 cores=1,3,5,7
/proc/11684/stat : 11684 (pwbo1.1) S 11682 11684 11319 0 -1 4202496 256415 0 0 0 178968 1035 0 0 25 0 3 0 989287025 1119281152 256208 33554432000 4194304 5714118 140733722772320 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 273262 256208 180 372 0 272887 0
[pid=11684/tid=11685] ppid=11682 vsize=1093048 CPUtime=900.01 cores=1,3,5,7
/proc/11684/task/11685/stat : 11685 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 145796 0 0 0 89183 818 0 0 25 0 3 0 989287025 1119281152 256208 33554432000 4194304 5714118 140733722772320 18446744073709551615 4319389 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=1093048 CPUtime=900.01 cores=1,3,5,7
/proc/11684/task/11686/stat : 11686 (pwbo1.1) R 11682 11684 11319 0 -1 4202560 110126 0 0 0 89784 217 0 0 25 0 3 0 989287025 1119281152 256208 33554432000 4194304 5714118 140733722772320 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1093048
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.053
CPU time (s): 1800.09
CPU user time (s): 1789.69
CPU system time (s): 10.3944
CPU usage (%): 199.998
Max. virtual memory (cumulated for all children) (KiB): 1093048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.69
system time used= 10.3944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 256421
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= 503
involuntary context switches= 4917
runsolver used 1.55276 second user time and 3.34749 second system time
The end