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-3500088-1307990563/watcher-3500088-1307990563 -o /var/tmp/evaluation-result-3500088-1307990563/solver-3500088-1307990563 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500088-1307990563.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.01 3.91 3.20 3/179 11702
/proc/meminfo: memFree=8279068/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=69852 CPUtime=0 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 559 0 0 0 0 0 0 0 25 0 3 0 989287037 71528448 500 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 17463 500 173 372 0 17088 0
[pid=11702/tid=11703] ppid=11700 vsize=69852 CPUtime=0 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 73 0 0 0 0 0 0 0 25 0 3 0 989287038 71528448 506 33554432000 4194304 5714118 140736618886064 18446744073709551615 4970378 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=69852 CPUtime=0 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 3 0 989287038 71528448 507 33554432000 4194304 5714118 140736618886064 18446744073709551615 5082345 0 0 4096 16387 0 0 0 -1 0 0 0 0
[startup+0.069645 s]
/proc/loadavg: 4.01 3.91 3.20 3/179 11702
/proc/meminfo: memFree=8279068/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=154392 CPUtime=0.12 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 9047 0 0 0 7 5 0 0 25 0 3 0 989287037 158097408 8885 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 38598 8885 177 372 0 38223 0
[pid=11702/tid=11703] ppid=11700 vsize=154392 CPUtime=0.06 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 675 0 0 0 6 0 0 0 25 0 3 0 989287038 158097408 8885 33554432000 4194304 5714118 140736618886064 18446744073709551615 4968007 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=154392 CPUtime=0.05 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 7880 0 0 0 0 5 0 0 18 0 3 0 989287038 158097408 8885 33554432000 4194304 5714118 140736618886064 18446744073709551615 4276784 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 154392
[startup+0.100636 s]
/proc/loadavg: 4.01 3.91 3.20 3/179 11702
/proc/meminfo: memFree=8279068/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=154936 CPUtime=0.18 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 9353 0 0 0 13 5 0 0 25 0 3 0 989287037 158654464 9182 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 38734 9182 178 372 0 38359 0
[pid=11702/tid=11703] ppid=11700 vsize=154936 CPUtime=0.09 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 838 0 0 0 9 0 0 0 25 0 3 0 989287038 158654464 9182 33554432000 4194304 5714118 140736618886064 18446744073709551615 4328075 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=154936 CPUtime=0.08 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 8023 0 0 0 3 5 0 0 18 0 3 0 989287038 158654464 9182 33554432000 4194304 5714118 140736618886064 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 154936
[startup+0.300615 s]
/proc/loadavg: 4.01 3.91 3.20 3/179 11702
/proc/meminfo: memFree=8279068/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=154936 CPUtime=0.58 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 9658 0 0 0 52 6 0 0 25 0 3 0 989287037 158654464 9487 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 38734 9487 179 372 0 38359 0
[pid=11702/tid=11703] ppid=11700 vsize=154936 CPUtime=0.28 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 1120 0 0 0 28 0 0 0 25 0 3 0 989287038 158654464 9487 33554432000 4194304 5714118 140736618886064 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=154936 CPUtime=0.28 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 8046 0 0 0 23 5 0 0 18 0 3 0 989287038 158654464 9487 33554432000 4194304 5714118 140736618886064 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) 154936
[startup+0.700543 s]
/proc/loadavg: 4.01 3.91 3.20 3/179 11702
/proc/meminfo: memFree=8279068/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=154936 CPUtime=1.38 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 10238 0 0 0 131 7 0 0 25 0 3 0 989287037 158654464 10067 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 38734 10067 179 372 0 38359 0
[pid=11702/tid=11703] ppid=11700 vsize=154936 CPUtime=0.69 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 1589 0 0 0 68 1 0 0 25 0 3 0 989287038 158654464 10067 33554432000 4194304 5714118 140736618886064 18446744073709551615 4325372 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=154936 CPUtime=0.69 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 8157 0 0 0 63 6 0 0 18 0 3 0 989287038 158654464 10067 33554432000 4194304 5714118 140736618886064 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) 154936
[startup+1.50034 s]
/proc/loadavg: 4.01 3.91 3.20 5/182 11705
/proc/meminfo: memFree=8232568/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=155072 CPUtime=2.98 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 11168 0 0 0 290 8 0 0 25 0 3 0 989287037 158793728 10997 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 38768 10997 179 372 0 38393 0
[pid=11702/tid=11703] ppid=11700 vsize=155072 CPUtime=1.49 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 2416 0 0 0 147 2 0 0 25 0 3 0 989287038 158793728 10997 33554432000 4194304 5714118 140736618886064 18446744073709551615 4324900 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=155072 CPUtime=1.48 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 8260 0 0 0 142 6 0 0 19 0 3 0 989287038 158793728 10997 33554432000 4194304 5714118 140736618886064 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 155072
[startup+3.10106 s]
/proc/loadavg: 4.01 3.91 3.21 5/182 11705
/proc/meminfo: memFree=8225500/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=155216 CPUtime=6.19 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 12385 0 0 0 605 14 0 0 25 0 3 0 989287037 158941184 12214 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 38804 12214 179 372 0 38429 0
[pid=11702/tid=11703] ppid=11700 vsize=155216 CPUtime=3.09 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 3044 0 0 0 304 5 0 0 25 0 3 0 989287038 158941184 12214 33554432000 4194304 5714118 140736618886064 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=155216 CPUtime=3.09 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 8849 0 0 0 300 9 0 0 18 0 3 0 989287038 158941184 12214 33554432000 4194304 5714118 140736618886064 18446744073709551615 4319195 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) 155216
[startup+6.30055 s]
/proc/loadavg: 4.01 3.91 3.21 5/182 11705
/proc/meminfo: memFree=8202736/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=155360 CPUtime=12.59 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 15200 0 0 0 1239 20 0 0 25 0 3 0 989287037 159088640 15029 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 38840 15029 180 372 0 38465 0
[pid=11702/tid=11703] ppid=11700 vsize=155360 CPUtime=6.29 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 4711 0 0 0 622 7 0 0 25 0 3 0 989287038 159088640 15029 33554432000 4194304 5714118 140736618886064 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=155360 CPUtime=6.28 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 9997 0 0 0 616 12 0 0 20 0 3 0 989287038 159088640 15029 33554432000 4194304 5714118 140736618886064 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) 155360
[startup+12.7004 s]
/proc/loadavg: 4.01 3.91 3.21 5/182 11705
/proc/meminfo: memFree=8136884/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=155612 CPUtime=25.38 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 23651 0 0 0 2503 35 0 0 25 0 3 0 989287037 159346688 23480 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 38903 23480 180 372 0 38528 0
[pid=11702/tid=11703] ppid=11700 vsize=155612 CPUtime=12.69 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 6717 0 0 0 1258 11 0 0 25 0 3 0 989287038 159346688 23480 33554432000 4194304 5714118 140736618886064 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=155612 CPUtime=12.68 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 16442 0 0 0 1244 24 0 0 25 0 3 0 989287038 159346688 23480 33554432000 4194304 5714118 140736618886064 18446744073709551615 4199408 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) 155612
[startup+25.5011 s]
/proc/loadavg: 4.01 3.92 3.22 5/182 11706
/proc/meminfo: memFree=8066836/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=221548 CPUtime=50.99 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 31824 0 0 0 5040 59 0 0 25 0 3 0 989287037 226865152 31653 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 55387 31653 180 372 0 55012 0
[pid=11702/tid=11703] ppid=11700 vsize=221548 CPUtime=25.48 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 10195 0 0 0 2530 18 0 0 25 0 3 0 989287038 226865152 31653 33554432000 4194304 5714118 140736618886064 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=221548 CPUtime=25.49 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 21137 0 0 0 2509 40 0 0 24 0 3 0 989287038 226865152 31653 33554432000 4194304 5714118 140736618886064 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 221548
[startup+51.1007 s]
/proc/loadavg: 4.00 3.92 3.24 5/182 11706
/proc/meminfo: memFree=7931168/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=289964 CPUtime=102.19 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 56154 0 0 0 10079 140 0 0 25 0 3 0 989287037 296923136 55983 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 72491 55983 180 372 0 72116 0
[pid=11702/tid=11703] ppid=11700 vsize=289964 CPUtime=51.09 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 15440 0 0 0 5078 31 0 0 25 0 3 0 989287038 296923136 55983 33554432000 4194304 5714118 140736618886064 18446744073709551615 4319325 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=289964 CPUtime=51.09 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 40222 0 0 0 5000 109 0 0 18 0 3 0 989287038 296923136 55983 33554432000 4194304 5714118 140736618886064 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) 289964
[startup+102.307 s]
/proc/loadavg: 4.00 3.93 3.28 5/182 11708
/proc/meminfo: memFree=7647780/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=424724 CPUtime=204.6 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 82997 0 0 0 20262 198 0 0 25 0 3 0 989287037 434917376 82826 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 106181 82826 180 372 0 105806 0
[pid=11702/tid=11703] ppid=11700 vsize=424724 CPUtime=102.3 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 25554 0 0 0 10175 55 0 0 25 0 3 0 989287038 434917376 82826 33554432000 4194304 5714118 140736618886064 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=424724 CPUtime=102.3 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 56951 0 0 0 10087 143 0 0 25 0 3 0 989287038 434917376 82826 33554432000 4194304 5714118 140736618886064 18446744073709551615 4322639 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) 424724
[startup+162.3 s]
/proc/loadavg: 4.00 3.94 3.32 5/182 11709
/proc/meminfo: memFree=7460380/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=491124 CPUtime=324.59 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 99588 0 0 0 32208 251 0 0 25 0 3 0 989287037 502910976 99417 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 122781 99417 180 372 0 122406 0
[pid=11702/tid=11703] ppid=11700 vsize=491124 CPUtime=162.28 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 35555 0 0 0 16141 87 0 0 25 0 3 0 989287038 502910976 99417 33554432000 4194304 5714118 140736618886064 18446744073709551615 4319349 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=491124 CPUtime=162.29 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 63541 0 0 0 16066 163 0 0 25 0 3 0 989287038 502910976 99417 33554432000 4194304 5714118 140736618886064 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 491124
[startup+222.301 s]
/proc/loadavg: 4.00 3.95 3.37 5/182 11711
/proc/meminfo: memFree=7335344/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=559244 CPUtime=444.59 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 116431 0 0 0 44154 305 0 0 25 0 3 0 989287037 572665856 116260 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 139811 116260 180 372 0 139436 0
[pid=11702/tid=11703] ppid=11700 vsize=559244 CPUtime=222.29 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 43165 0 0 0 22115 114 0 0 25 0 3 0 989287038 572665856 116260 33554432000 4194304 5714118 140736618886064 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=559244 CPUtime=222.29 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 72774 0 0 0 22038 191 0 0 25 0 3 0 989287038 572665856 116260 33554432000 4194304 5714118 140736618886064 18446744073709551615 4319200 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) 559244
[startup+282.3 s]
/proc/loadavg: 4.00 3.95 3.40 5/182 11712
/proc/meminfo: memFree=7200760/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=629316 CPUtime=564.59 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 136344 0 0 0 56089 370 0 0 25 0 3 0 989287037 644419584 136173 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 157329 136173 180 372 0 156954 0
[pid=11702/tid=11703] ppid=11700 vsize=629316 CPUtime=282.29 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 52447 0 0 0 28084 145 0 0 25 0 3 0 989287038 644419584 136173 33554432000 4194304 5714118 140736618886064 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=629316 CPUtime=282.29 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 83405 0 0 0 28004 225 0 0 25 0 3 0 989287038 644419584 136173 33554432000 4194304 5714118 140736618886064 18446744073709551615 4200720 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) 629316
[startup+342.301 s]
/proc/loadavg: 4.00 3.96 3.44 5/182 11714
/proc/meminfo: memFree=7080064/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=698596 CPUtime=684.6 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 152007 0 0 0 68043 417 0 0 25 0 3 0 989287037 715362304 151836 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 174649 151836 180 372 0 174274 0
[pid=11702/tid=11703] ppid=11700 vsize=698596 CPUtime=342.3 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 60412 0 0 0 34062 168 0 0 25 0 3 0 989287038 715362304 151836 33554432000 4194304 5714118 140736618886064 18446744073709551615 4319307 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=698596 CPUtime=342.29 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 91103 0 0 0 33980 249 0 0 25 0 3 0 989287038 715362304 151836 33554432000 4194304 5714118 140736618886064 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 698596
[startup+402.301 s]
/proc/loadavg: 4.00 3.97 3.47 5/182 11716
/proc/meminfo: memFree=6965068/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=768596 CPUtime=804.61 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 166812 0 0 0 79994 467 0 0 25 0 3 0 989287037 787042304 166641 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 192149 166641 180 372 0 191774 0
[pid=11702/tid=11703] ppid=11700 vsize=768596 CPUtime=402.3 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 68254 0 0 0 40040 190 0 0 25 0 3 0 989287038 787042304 166641 33554432000 4194304 5714118 140736618886064 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=768596 CPUtime=402.29 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 98066 0 0 0 39953 276 0 0 25 0 3 0 989287038 787042304 166641 33554432000 4194304 5714118 140736618886064 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 804.61
Current children cumulated vsize (KiB) 768596
[startup+462.301 s]
/proc/loadavg: 4.00 3.97 3.50 5/182 11717
/proc/meminfo: memFree=6873492/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=771348 CPUtime=924.6 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 177299 0 0 0 91951 509 0 0 25 0 3 0 989287037 789860352 177128 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 192837 177128 180 372 0 192462 0
[pid=11702/tid=11703] ppid=11700 vsize=771348 CPUtime=462.29 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 75279 0 0 0 46014 215 0 0 25 0 3 0 989287038 789860352 177128 33554432000 4194304 5714118 140736618886064 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=771348 CPUtime=462.29 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 101528 0 0 0 45936 293 0 0 25 0 3 0 989287038 789860352 177128 33554432000 4194304 5714118 140736618886064 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 771348
[startup+522.301 s]
/proc/loadavg: 4.03 3.99 3.53 5/182 11719
/proc/meminfo: memFree=6810700/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=820632 CPUtime=1044.61 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 187777 0 0 0 103903 558 0 0 25 0 3 0 989287037 840327168 184110 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 205158 184110 180 372 0 204783 0
[pid=11702/tid=11703] ppid=11700 vsize=820632 CPUtime=522.29 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 85715 0 0 0 51981 248 0 0 25 0 3 0 989287038 840327168 184110 33554432000 4194304 5714118 140736618886064 18446744073709551615 4319325 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=820632 CPUtime=522.3 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 101570 0 0 0 51921 309 0 0 25 0 3 0 989287038 840327168 184110 33554432000 4194304 5714118 140736618886064 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 820632
[startup+582.301 s]
/proc/loadavg: 4.01 3.99 3.56 5/182 11720
/proc/meminfo: memFree=6770492/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=820812 CPUtime=1164.61 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 187911 0 0 0 115867 594 0 0 25 0 3 0 989287037 840511488 184244 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 205203 184244 180 372 0 204828 0
[pid=11702/tid=11703] ppid=11700 vsize=820812 CPUtime=582.29 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 85807 0 0 0 57954 275 0 0 25 0 3 0 989287038 840511488 184244 33554432000 4194304 5714118 140736618886064 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=820812 CPUtime=582.3 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 101612 0 0 0 57912 318 0 0 25 0 3 0 989287038 840511488 184244 33554432000 4194304 5714118 140736618886064 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 820812
[startup+642.301 s]
/proc/loadavg: 4.00 3.99 3.58 5/182 11722
/proc/meminfo: memFree=6738332/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=820992 CPUtime=1284.63 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 188041 0 0 0 127834 629 0 0 25 0 3 0 989287037 840695808 184374 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 205248 184374 180 372 0 204873 0
[pid=11702/tid=11703] ppid=11700 vsize=820992 CPUtime=642.31 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 85903 0 0 0 63929 302 0 0 25 0 3 0 989287038 840695808 184374 33554432000 4194304 5714118 140736618886064 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=820992 CPUtime=642.3 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 101646 0 0 0 63904 326 0 0 25 0 3 0 989287038 840695808 184374 33554432000 4194304 5714118 140736618886064 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1284.63
Current children cumulated vsize (KiB) 820992
[startup+702.301 s]
/proc/loadavg: 4.00 3.99 3.61 5/182 11724
/proc/meminfo: memFree=6707156/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=820992 CPUtime=1404.62 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 188062 0 0 0 139800 662 0 0 25 0 3 0 989287037 840695808 184395 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 205248 184395 180 372 0 204873 0
[pid=11702/tid=11703] ppid=11700 vsize=820992 CPUtime=702.3 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 85914 0 0 0 69908 322 0 0 25 0 3 0 989287038 840695808 184395 33554432000 4194304 5714118 140736618886064 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=820992 CPUtime=702.3 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 101656 0 0 0 69891 339 0 0 25 0 3 0 989287038 840695808 184395 33554432000 4194304 5714118 140736618886064 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 820992
[startup+762.306 s]
/proc/loadavg: 4.00 3.99 3.63 5/182 11725
/proc/meminfo: memFree=6631096/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=886528 CPUtime=1524.63 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 199082 0 0 0 151746 717 0 0 25 0 3 0 989287037 907804672 195415 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 221632 195415 180 372 0 221257 0
[pid=11702/tid=11703] ppid=11700 vsize=886528 CPUtime=762.31 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 85950 0 0 0 75889 342 0 0 25 0 3 0 989287038 907804672 195415 33554432000 4194304 5714118 140736618886064 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=886528 CPUtime=762.31 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 112640 0 0 0 75856 375 0 0 25 0 3 0 989287038 907804672 195415 33554432000 4194304 5714118 140736618886064 18446744073709551615 4319689 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 886528
[startup+822.301 s]
/proc/loadavg: 4.00 3.99 3.65 5/182 11727
/proc/meminfo: memFree=6517836/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=956692 CPUtime=1644.62 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 215000 0 0 0 163687 775 0 0 25 0 3 0 989287037 979652608 211333 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 239173 211333 180 372 0 238798 0
[pid=11702/tid=11703] ppid=11700 vsize=956692 CPUtime=822.3 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 85997 0 0 0 81873 357 0 0 25 0 3 0 989287038 979652608 211333 33554432000 4194304 5714118 140736618886064 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=956692 CPUtime=822.3 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 128511 0 0 0 81813 417 0 0 25 0 3 0 989287038 979652608 211333 33554432000 4194304 5714118 140736618886064 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 956692
[startup+882.301 s]
/proc/loadavg: 4.00 3.99 3.67 5/182 11728
/proc/meminfo: memFree=6383000/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=1024884 CPUtime=1764.62 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 232972 0 0 0 175606 856 0 0 25 0 3 0 989287037 1049481216 229305 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 256221 229305 180 372 0 255846 0
[pid=11702/tid=11703] ppid=11700 vsize=1024884 CPUtime=882.31 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 86025 0 0 0 87858 373 0 0 25 0 3 0 989287038 1049481216 229305 33554432000 4194304 5714118 140736618886064 18446744073709551615 4319349 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=1024884 CPUtime=882.31 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 146455 0 0 0 87748 483 0 0 25 0 3 0 989287038 1049481216 229305 33554432000 4194304 5714118 140736618886064 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1764.62
Current children cumulated vsize (KiB) 1024884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.00 3.99 3.67 3/178 11730
/proc/meminfo: memFree=7391744/32950940 swapFree=67053420/67111528
[pid=11702] ppid=11700 vsize=1024884 CPUtime=1800.03 cores=0,2,4,6
/proc/11702/stat : 11702 (pwbo1.1) S 11700 11702 11319 0 -1 4202496 234150 0 0 0 179141 862 0 0 25 0 3 0 989287037 1049481216 230483 33554432000 4194304 5714118 140736618886064 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/11702/statm: 256221 230483 180 372 0 255846 0
[pid=11702/tid=11703] ppid=11700 vsize=1024884 CPUtime=900.01 cores=0,2,4,6
/proc/11702/task/11703/stat : 11703 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 86044 0 0 0 89624 377 0 0 25 0 3 0 989287038 1049481216 230483 33554432000 4194304 5714118 140736618886064 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=11702/tid=11704] ppid=11700 vsize=1024884 CPUtime=900.01 cores=0,2,4,6
/proc/11702/task/11704/stat : 11704 (pwbo1.1) R 11700 11702 11319 0 -1 4202560 147614 0 0 0 89516 485 0 0 25 0 3 0 989287038 1049481216 230483 33554432000 4194304 5714118 140736618886064 18446744073709551615 4300144 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1024884
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.052
CPU time (s): 1800.1
CPU user time (s): 1791.43
CPU system time (s): 8.66768
CPU usage (%): 199.999
Max. virtual memory (cumulated for all children) (KiB): 1024884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.43
system time used= 8.66768
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234155
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= 354
involuntary context switches= 2157
runsolver used 1.3048 second user time and 2.89156 second system time
The end