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-3500284-1307992966/watcher-3500284-1307992966 -o /var/tmp/evaluation-result-3500284-1307992966/solver-3500284-1307992966 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500284-1307992966.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.92 3.98 3.68 4/179 11772
/proc/meminfo: memFree=12337908/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=69704 CPUtime=0 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 539 0 0 0 0 0 0 0 25 0 3 0 643487912 71376896 478 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 17426 480 167 372 0 17051 0
[pid=11772/tid=11773] ppid=11770 vsize=69704 CPUtime=0 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 86 0 0 0 0 0 0 0 25 0 3 0 643487913 71376896 480 33554432000 4194304 5714118 140737434762944 18446744073709551615 4207665 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=69704 CPUtime=0 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 3 0 643487913 71376896 480 33554432000 4194304 5714118 140737434762944 18446744073709551615 5082345 0 0 4096 16387 0 0 0 -1 0 0 0 0
[startup+0.00998508 s]
/proc/loadavg: 3.92 3.98 3.68 4/179 11772
/proc/meminfo: memFree=12337908/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=138780 CPUtime=0.01 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 1411 0 0 0 1 0 0 0 25 0 3 0 643487912 142110720 1325 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 34534 1325 178 372 0 34159 0
[pid=11772/tid=11773] ppid=11770 vsize=138136 CPUtime=0 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 206 0 0 0 0 0 0 0 25 0 3 0 643487913 141451264 1325 33554432000 4194304 5714118 140737434762944 18446744073709551615 4972941 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=138136 CPUtime=0 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 750 0 0 0 0 0 0 0 18 0 3 0 643487913 141451264 1325 33554432000 4194304 5714118 140737434762944 18446744073709551615 5082442 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 138780
[startup+0.100956 s]
/proc/loadavg: 3.92 3.98 3.68 4/179 11772
/proc/meminfo: memFree=12337908/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=155672 CPUtime=0.19 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 9519 0 0 0 13 6 0 0 25 0 3 0 643487912 159408128 9330 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 38918 9330 178 372 0 38543 0
[pid=11772/tid=11773] ppid=11770 vsize=155672 CPUtime=0.09 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 331 0 0 0 9 0 0 0 25 0 3 0 643487913 159408128 9330 33554432000 4194304 5714118 140737434762944 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=155672 CPUtime=0.09 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 8733 0 0 0 3 6 0 0 18 0 3 0 643487913 159408128 9330 33554432000 4194304 5714118 140737434762944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 155672
[startup+0.300938 s]
/proc/loadavg: 3.92 3.98 3.68 4/179 11772
/proc/meminfo: memFree=12337908/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=155672 CPUtime=0.58 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 9817 0 0 0 52 6 0 0 25 0 3 0 643487912 159408128 9626 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 38918 9626 179 372 0 38543 0
[pid=11772/tid=11773] ppid=11770 vsize=155672 CPUtime=0.28 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 627 0 0 0 28 0 0 0 25 0 3 0 643487913 159408128 9626 33554432000 4194304 5714118 140737434762944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=155672 CPUtime=0.29 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 8735 0 0 0 23 6 0 0 18 0 3 0 643487913 159408128 9626 33554432000 4194304 5714118 140737434762944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 155672
[startup+0.700862 s]
/proc/loadavg: 3.92 3.98 3.68 4/179 11772
/proc/meminfo: memFree=12337908/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=155672 CPUtime=1.38 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 10599 0 0 0 130 8 0 0 25 0 3 0 643487912 159408128 10408 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 38918 10408 179 372 0 38543 0
[pid=11772/tid=11773] ppid=11770 vsize=155672 CPUtime=0.68 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 1045 0 0 0 67 1 0 0 25 0 3 0 643487913 159408128 10408 33554432000 4194304 5714118 140737434762944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=155672 CPUtime=0.69 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 9099 0 0 0 62 7 0 0 18 0 3 0 643487913 159408128 10408 33554432000 4194304 5714118 140737434762944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 155672
[startup+1.50069 s]
/proc/loadavg: 3.92 3.98 3.68 5/182 11775
/proc/meminfo: memFree=12289424/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=155804 CPUtime=2.99 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 12086 0 0 0 286 13 0 0 25 0 3 0 643487912 159543296 11868 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 38951 11868 179 372 0 38576 0
[pid=11772/tid=11773] ppid=11770 vsize=155804 CPUtime=1.49 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 1787 0 0 0 146 3 0 0 25 0 3 0 643487913 159543296 11868 33554432000 4194304 5714118 140737434762944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=155804 CPUtime=1.48 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 9844 0 0 0 139 9 0 0 18 0 3 0 643487913 159543296 11868 33554432000 4194304 5714118 140737434762944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 155804
[startup+3.10043 s]
/proc/loadavg: 3.93 3.98 3.68 5/182 11775
/proc/meminfo: memFree=12279428/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=156228 CPUtime=6.19 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 14175 0 0 0 599 20 0 0 25 0 3 0 643487912 159977472 13957 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 39057 13957 179 372 0 38682 0
[pid=11772/tid=11773] ppid=11770 vsize=156228 CPUtime=3.09 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 2599 0 0 0 303 6 0 0 25 0 3 0 643487913 159977472 13957 33554432000 4194304 5714118 140737434762944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=156228 CPUtime=3.08 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 11121 0 0 0 295 13 0 0 18 0 3 0 643487913 159977472 13957 33554432000 4194304 5714118 140737434762944 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 156228
[startup+6.30087 s]
/proc/loadavg: 3.93 3.98 3.68 5/182 11775
/proc/meminfo: memFree=12252040/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=156504 CPUtime=12.59 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 16586 0 0 0 1233 26 0 0 25 0 3 0 643487912 160260096 16368 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 39126 16368 180 372 0 38751 0
[pid=11772/tid=11773] ppid=11770 vsize=156504 CPUtime=6.29 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 4963 0 0 0 618 11 0 0 25 0 3 0 643487913 160260096 16368 33554432000 4194304 5714118 140737434762944 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=156504 CPUtime=6.29 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 11168 0 0 0 614 15 0 0 25 0 3 0 643487913 160260096 16368 33554432000 4194304 5714118 140737434762944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 156504
[startup+12.7007 s]
/proc/loadavg: 3.94 3.98 3.68 5/182 11775
/proc/meminfo: memFree=12230996/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=157520 CPUtime=25.38 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 20929 0 0 0 2493 45 0 0 25 0 3 0 643487912 161300480 20673 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 39380 20673 180 372 0 39005 0
[pid=11772/tid=11773] ppid=11770 vsize=157520 CPUtime=12.69 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 5806 0 0 0 1250 19 0 0 25 0 3 0 643487913 161300480 20673 33554432000 4194304 5714118 140737434762944 18446744073709551615 4319349 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=157520 CPUtime=12.68 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 14668 0 0 0 1242 26 0 0 25 0 3 0 643487913 161300480 20673 33554432000 4194304 5714118 140737434762944 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 157520
[startup+25.5005 s]
/proc/loadavg: 4.02 4.00 3.69 5/182 11775
/proc/meminfo: memFree=12201844/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=157792 CPUtime=50.98 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 25757 0 0 0 5031 67 0 0 25 0 3 0 643487912 161579008 25501 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 39448 25501 180 372 0 39073 0
[pid=11772/tid=11773] ppid=11770 vsize=157792 CPUtime=25.48 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 8346 0 0 0 2519 29 0 0 25 0 3 0 643487913 161579008 25501 33554432000 4194304 5714118 140737434762944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=157792 CPUtime=25.48 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 16956 0 0 0 2511 37 0 0 25 0 3 0 643487913 161579008 25501 33554432000 4194304 5714118 140737434762944 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 157792
[startup+51.101 s]
/proc/loadavg: 4.01 4.00 3.70 5/182 11776
/proc/meminfo: memFree=12158880/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=158932 CPUtime=102.19 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 32643 0 0 0 10129 90 0 0 25 0 3 0 643487912 162746368 32387 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 39733 32387 180 372 0 39358 0
[pid=11772/tid=11773] ppid=11770 vsize=158932 CPUtime=51.09 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 14957 0 0 0 5063 46 0 0 25 0 3 0 643487913 162746368 32387 33554432000 4194304 5714118 140737434762944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=158932 CPUtime=51.08 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 17231 0 0 0 5065 43 0 0 25 0 3 0 643487913 162746368 32387 33554432000 4194304 5714118 140737434762944 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 158932
[startup+102.307 s]
/proc/loadavg: 4.00 4.00 3.72 5/182 11777
/proc/meminfo: memFree=12062656/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=291604 CPUtime=204.6 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 49740 0 0 0 20314 146 0 0 25 0 3 0 643487912 298602496 49484 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 72901 49484 180 372 0 72526 0
[pid=11772/tid=11773] ppid=11770 vsize=291604 CPUtime=102.3 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 26309 0 0 0 10150 80 0 0 25 0 3 0 643487913 298602496 49484 33554432000 4194304 5714118 140737434762944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=291604 CPUtime=102.29 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 22976 0 0 0 10163 66 0 0 25 0 3 0 643487913 298602496 49484 33554432000 4194304 5714118 140737434762944 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 291604
[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.73 5/182 11779
/proc/meminfo: memFree=11974184/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=358812 CPUtime=324.6 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 67201 0 0 0 32254 206 0 0 25 0 3 0 643487912 367423488 66945 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 89703 66946 180 372 0 89328 0
[pid=11772/tid=11773] ppid=11770 vsize=358812 CPUtime=162.29 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 36018 0 0 0 16122 107 0 0 25 0 3 0 643487913 367423488 66946 33554432000 4194304 5714118 140737434762944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=358812 CPUtime=162.28 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 30729 0 0 0 16130 98 0 0 25 0 3 0 643487913 367423488 66946 33554432000 4194304 5714118 140737434762944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 324.6
Current children cumulated vsize (KiB) 358812
[startup+222.301 s]
/proc/loadavg: 4.00 4.00 3.74 5/182 11780
/proc/meminfo: memFree=11899372/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=360312 CPUtime=444.59 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 81297 0 0 0 44203 256 0 0 25 0 3 0 643487912 368959488 81040 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 90078 81040 180 372 0 89703 0
[pid=11772/tid=11773] ppid=11770 vsize=360312 CPUtime=222.29 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 44732 0 0 0 22099 130 0 0 25 0 3 0 643487913 368959488 81040 33554432000 4194304 5714118 140737434762944 18446744073709551615 4319816 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=360312 CPUtime=222.29 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 36110 0 0 0 22103 126 0 0 25 0 3 0 643487913 368959488 81040 33554432000 4194304 5714118 140737434762944 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 360312
[startup+282.301 s]
/proc/loadavg: 4.00 4.00 3.76 5/182 11782
/proc/meminfo: memFree=11876032/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=425804 CPUtime=564.59 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 86889 0 0 0 56161 298 0 0 25 0 3 0 643487912 436023296 86558 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 106451 86558 180 372 0 106076 0
[pid=11772/tid=11773] ppid=11770 vsize=425804 CPUtime=282.29 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 50253 0 0 0 28068 161 0 0 25 0 3 0 643487913 436023296 86558 33554432000 4194304 5714118 140737434762944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=425804 CPUtime=282.28 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 36181 0 0 0 28092 136 0 0 25 0 3 0 643487913 436023296 86558 33554432000 4194304 5714118 140737434762944 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 425804
[startup+342.301 s]
/proc/loadavg: 4.00 4.00 3.77 5/182 11784
/proc/meminfo: memFree=11874020/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=426528 CPUtime=684.59 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 87344 0 0 0 68129 330 0 0 25 0 3 0 643487912 436764672 87013 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 106632 87013 180 372 0 106257 0
[pid=11772/tid=11773] ppid=11770 vsize=426528 CPUtime=342.29 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 50534 0 0 0 34041 188 0 0 25 0 3 0 643487913 436764672 87013 33554432000 4194304 5714118 140737434762944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=426528 CPUtime=342.29 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 36355 0 0 0 34087 142 0 0 25 0 3 0 643487913 436764672 87013 33554432000 4194304 5714118 140737434762944 18446744073709551615 4310579 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 426528
[startup+402.301 s]
/proc/loadavg: 4.00 4.00 3.78 5/182 11785
/proc/meminfo: memFree=11842960/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=493536 CPUtime=804.59 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 91006 0 0 0 80095 364 0 0 25 0 3 0 643487912 505380864 90675 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 123384 90675 180 372 0 123009 0
[pid=11772/tid=11773] ppid=11770 vsize=493536 CPUtime=402.3 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 50785 0 0 0 40024 206 0 0 25 0 3 0 643487913 505380864 90675 33554432000 4194304 5714118 140737434762944 18446744073709551615 4319226 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=493536 CPUtime=402.28 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 39766 0 0 0 40070 158 0 0 25 0 3 0 643487913 505380864 90675 33554432000 4194304 5714118 140737434762944 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 804.59
Current children cumulated vsize (KiB) 493536
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.79 5/182 11787
/proc/meminfo: memFree=11794796/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=494308 CPUtime=924.6 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 96654 0 0 0 92059 401 0 0 25 0 3 0 643487912 506171392 96323 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 123577 96323 180 372 0 123202 0
[pid=11772/tid=11773] ppid=11770 vsize=494308 CPUtime=462.3 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 50872 0 0 0 46010 220 0 0 25 0 3 0 643487913 506171392 96323 33554432000 4194304 5714118 140737434762944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=494308 CPUtime=462.29 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 45327 0 0 0 46048 181 0 0 25 0 3 0 643487913 506171392 96323 33554432000 4194304 5714118 140737434762944 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 494308
[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.80 5/182 11788
/proc/meminfo: memFree=11749840/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=495480 CPUtime=1044.6 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 102182 0 0 0 104014 446 0 0 25 0 3 0 643487912 507371520 101851 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 123870 101851 180 372 0 123495 0
[pid=11772/tid=11773] ppid=11770 vsize=495480 CPUtime=522.3 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 50909 0 0 0 51990 240 0 0 25 0 3 0 643487913 507371520 101851 33554432000 4194304 5714118 140737434762944 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=495480 CPUtime=522.28 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 50818 0 0 0 52023 205 0 0 25 0 3 0 643487913 507371520 101851 33554432000 4194304 5714118 140737434762944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 495480
[startup+582.3 s]
/proc/loadavg: 4.07 4.02 3.82 5/182 11790
/proc/meminfo: memFree=11691996/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=496768 CPUtime=1164.6 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 110821 0 0 0 115974 486 0 0 25 0 3 0 643487912 508690432 110490 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 124192 110490 180 372 0 123817 0
[pid=11772/tid=11773] ppid=11770 vsize=496768 CPUtime=582.3 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 54713 0 0 0 57968 262 0 0 25 0 3 0 643487913 508690432 110490 33554432000 4194304 5714118 140737434762944 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=496768 CPUtime=582.29 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 55653 0 0 0 58005 224 0 0 25 0 3 0 643487913 508690432 110490 33554432000 4194304 5714118 140737434762944 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1164.6
Current children cumulated vsize (KiB) 496768
[startup+642.301 s]
/proc/loadavg: 4.02 4.01 3.83 5/182 11792
/proc/meminfo: memFree=11618276/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=562984 CPUtime=1284.61 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 123355 0 0 0 127931 530 0 0 25 0 3 0 643487912 576495616 123024 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 140746 123024 180 372 0 140371 0
[pid=11772/tid=11773] ppid=11770 vsize=562984 CPUtime=642.3 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 62801 0 0 0 63944 286 0 0 25 0 3 0 643487913 576495616 123024 33554432000 4194304 5714118 140737434762944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=562984 CPUtime=642.3 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 60099 0 0 0 63986 244 0 0 19 0 3 0 643487913 576495616 123024 33554432000 4194304 5714118 140737434762944 18446744073709551615 4319276 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1284.61
Current children cumulated vsize (KiB) 562984
[startup+702.301 s]
/proc/loadavg: 4.01 4.00 3.83 5/182 11793
/proc/meminfo: memFree=11541448/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=629676 CPUtime=1404.61 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 137455 0 0 0 139880 581 0 0 25 0 3 0 643487912 644788224 137124 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 157419 137124 180 372 0 157044 0
[pid=11772/tid=11773] ppid=11770 vsize=629676 CPUtime=702.3 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 72399 0 0 0 69914 316 0 0 25 0 3 0 643487913 644788224 137124 33554432000 4194304 5714118 140737434762944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=629676 CPUtime=702.29 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 64601 0 0 0 69964 265 0 0 25 0 3 0 643487913 644788224 137124 33554432000 4194304 5714118 140737434762944 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 629676
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.84 5/182 11795
/proc/meminfo: memFree=11478628/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=631100 CPUtime=1524.62 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 148229 0 0 0 151841 621 0 0 25 0 3 0 643487912 646246400 147894 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 157775 147894 180 372 0 157400 0
[pid=11772/tid=11773] ppid=11770 vsize=631100 CPUtime=762.31 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 78820 0 0 0 75894 337 0 0 25 0 3 0 643487913 646246400 147894 33554432000 4194304 5714118 140737434762944 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=631100 CPUtime=762.3 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 68954 0 0 0 75946 284 0 0 25 0 3 0 643487913 646246400 147894 33554432000 4194304 5714118 140737434762944 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1524.62
Current children cumulated vsize (KiB) 631100
[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.84 5/182 11796
/proc/meminfo: memFree=11420284/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=697192 CPUtime=1644.61 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 158144 0 0 0 163801 660 0 0 25 0 3 0 643487912 713924608 157809 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 174298 157810 180 372 0 173923 0
[pid=11772/tid=11773] ppid=11770 vsize=697192 CPUtime=822.3 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 84643 0 0 0 81873 357 0 0 25 0 3 0 643487913 713924608 157810 33554432000 4194304 5714118 140737434762944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=697192 CPUtime=822.3 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 73047 0 0 0 81927 303 0 0 25 0 3 0 643487913 713924608 157810 33554432000 4194304 5714118 140737434762944 18446744073709551615 4319327 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1644.61
Current children cumulated vsize (KiB) 697192
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.85 5/182 11798
/proc/meminfo: memFree=11364172/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=764440 CPUtime=1764.62 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 166837 0 0 0 175761 701 0 0 25 0 3 0 643487912 782786560 166502 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 191110 166502 180 372 0 190735 0
[pid=11772/tid=11773] ppid=11770 vsize=764440 CPUtime=882.3 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 89299 0 0 0 87851 379 0 0 25 0 3 0 643487913 782786560 166502 33554432000 4194304 5714118 140737434762944 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=764440 CPUtime=882.29 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 77083 0 0 0 87908 321 0 0 25 0 3 0 643487913 782786560 166502 33554432000 4194304 5714118 140737434762944 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1764.62
Current children cumulated vsize (KiB) 764440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 4.00 4.00 3.85 5/182 11840
/proc/meminfo: memFree=11600080/32951124 swapFree=67055716/67111528
[pid=11772] ppid=11770 vsize=764440 CPUtime=1800.03 cores=0,2,4,6
/proc/11772/stat : 11772 (pwbo1.1) S 11770 11772 11028 0 -1 4202496 171630 0 0 0 179285 718 0 0 25 0 3 0 643487912 782786560 171295 33554432000 4194304 5714118 140737434762944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11772/statm: 191110 171295 180 372 0 190735 0
[pid=11772/tid=11773] ppid=11770 vsize=764440 CPUtime=900.02 cores=0,2,4,6
/proc/11772/task/11773/stat : 11773 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 92978 0 0 0 89611 391 0 0 25 0 3 0 643487913 782786560 171295 33554432000 4194304 5714118 140737434762944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11772/tid=11774] ppid=11770 vsize=764440 CPUtime=900 cores=0,2,4,6
/proc/11772/task/11774/stat : 11774 (pwbo1.1) R 11770 11772 11028 0 -1 4202560 78197 0 0 0 89673 327 0 0 18 0 3 0 643487913 782786560 171295 33554432000 4194304 5714118 140737434762944 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 764440
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.042
CPU time (s): 1800.08
CPU user time (s): 1792.86
CPU system time (s): 7.2149
CPU usage (%): 199.999
Max. virtual memory (cumulated for all children) (KiB): 764440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.86
system time used= 7.2149
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171643
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= 207
involuntary context switches= 4748
runsolver used 1.42178 second user time and 2.81357 second system time
The end