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-3500433-1307995241/watcher-3500433-1307995241 -o /var/tmp/evaluation-result-3500433-1307995241/solver-3500433-1307995241 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500433-1307995241.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: 3.98 3.95 3.91 4/179 13305
/proc/meminfo: memFree=12511612/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=134852 CPUtime=0 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 407 0 0 0 0 0 0 0 18 0 3 0 911124831 138088448 356 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 33713 356 181 372 0 33338 0
[pid=13305/tid=13306] ppid=13303 vsize=134852 CPUtime=0 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 3 0 911124831 138088448 358 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=134852 CPUtime=0 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 3 0 911124831 138088448 358 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[startup+0.0553051 s]
/proc/loadavg: 3.98 3.95 3.91 4/179 13305
/proc/meminfo: memFree=12511612/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=134852 CPUtime=0.1 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 608 0 0 0 10 0 0 0 18 0 3 0 911124831 138088448 557 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 33713 557 181 372 0 33338 0
[pid=13305/tid=13306] ppid=13303 vsize=134852 CPUtime=0.05 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 162 0 0 0 5 0 0 0 19 0 3 0 911124831 138088448 557 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=134852 CPUtime=0.05 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 94 0 0 0 5 0 0 0 19 0 3 0 911124831 138088448 557 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 134852
[startup+0.100296 s]
/proc/loadavg: 3.98 3.95 3.91 4/179 13305
/proc/meminfo: memFree=12511612/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=134852 CPUtime=0.18 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 771 0 0 0 18 0 0 0 18 0 3 0 911124831 138088448 720 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 33713 720 181 372 0 33338 0
[pid=13305/tid=13306] ppid=13303 vsize=134852 CPUtime=0.09 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 254 0 0 0 9 0 0 0 19 0 3 0 911124831 138088448 720 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=134852 CPUtime=0.09 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 165 0 0 0 9 0 0 0 20 0 3 0 911124831 138088448 720 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 134852
[startup+0.30026 s]
/proc/loadavg: 3.98 3.95 3.91 4/179 13305
/proc/meminfo: memFree=12511612/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=134852 CPUtime=0.59 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 1387 0 0 0 57 2 0 0 18 0 3 0 911124831 138088448 1336 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 33713 1336 181 372 0 33338 0
[pid=13305/tid=13306] ppid=13303 vsize=134852 CPUtime=0.29 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 613 0 0 0 28 1 0 0 20 0 3 0 911124831 138088448 1336 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=134852 CPUtime=0.29 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 422 0 0 0 28 1 0 0 20 0 3 0 911124831 138088448 1336 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 134852
[startup+0.700189 s]
/proc/loadavg: 3.98 3.95 3.91 4/179 13305
/proc/meminfo: memFree=12511612/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=135140 CPUtime=1.39 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 2210 0 0 0 134 5 0 0 18 0 3 0 911124831 138383360 2159 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 33785 2159 181 372 0 33410 0
[pid=13305/tid=13306] ppid=13303 vsize=135140 CPUtime=0.69 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 1095 0 0 0 67 2 0 0 21 0 3 0 911124831 138383360 2159 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=135140 CPUtime=0.68 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 763 0 0 0 66 2 0 0 21 0 3 0 911124831 138383360 2159 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 135140
[startup+1.50105 s]
/proc/loadavg: 3.98 3.95 3.91 5/182 13308
/proc/meminfo: memFree=12502436/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=135140 CPUtime=2.99 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 2852 0 0 0 290 9 0 0 18 0 3 0 911124831 138383360 2801 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 33785 2801 181 372 0 33410 0
[pid=13305/tid=13306] ppid=13303 vsize=135140 CPUtime=1.49 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 1586 0 0 0 145 4 0 0 24 0 3 0 911124831 138383360 2801 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=135140 CPUtime=1.49 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 914 0 0 0 145 4 0 0 24 0 3 0 911124831 138383360 2801 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135140
[startup+3.10075 s]
/proc/loadavg: 3.98 3.95 3.91 5/182 13308
/proc/meminfo: memFree=12499088/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=135140 CPUtime=6.18 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 3806 0 0 0 603 15 0 0 18 0 3 0 911124831 138383360 3755 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 33785 3755 182 372 0 33410 0
[pid=13305/tid=13306] ppid=13303 vsize=135140 CPUtime=3.09 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 2369 0 0 0 301 8 0 0 25 0 3 0 911124831 138383360 3755 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=135140 CPUtime=3.09 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 1085 0 0 0 302 7 0 0 25 0 3 0 911124831 138383360 3755 33554432000 4194304 5714118 140735588540176 18446744073709551615 4299917 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 135140
[startup+6.30116 s]
/proc/loadavg: 3.98 3.95 3.91 5/182 13308
/proc/meminfo: memFree=12491776/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=135284 CPUtime=12.59 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 5514 0 0 0 1231 28 0 0 18 0 3 0 911124831 138530816 5463 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 33821 5463 182 372 0 33446 0
[pid=13305/tid=13306] ppid=13303 vsize=135284 CPUtime=6.29 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 3741 0 0 0 615 14 0 0 25 0 3 0 911124831 138530816 5463 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=135284 CPUtime=6.28 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 1421 0 0 0 615 13 0 0 25 0 3 0 911124831 138530816 5463 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 135284
[startup+12.701 s]
/proc/loadavg: 3.99 3.95 3.91 5/182 13308
/proc/meminfo: memFree=12479760/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=135572 CPUtime=25.39 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 7963 0 0 0 2487 52 0 0 18 0 3 0 911124831 138825728 7912 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 33893 7912 182 372 0 33518 0
[pid=13305/tid=13306] ppid=13303 vsize=135572 CPUtime=12.69 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 5967 0 0 0 1244 25 0 0 25 0 3 0 911124831 138825728 7912 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=135572 CPUtime=12.69 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 1644 0 0 0 1243 26 0 0 25 0 3 0 911124831 138825728 7912 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 135572
[startup+25.5007 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 13318
/proc/meminfo: memFree=12447156/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=136220 CPUtime=50.99 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 13151 0 0 0 4997 102 0 0 18 0 3 0 911124831 139489280 13100 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 34055 13100 182 372 0 33680 0
[pid=13305/tid=13306] ppid=13303 vsize=136220 CPUtime=25.49 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 10701 0 0 0 2498 51 0 0 25 0 3 0 911124831 139489280 13100 33554432000 4194304 5714118 140735588540176 18446744073709551615 4300224 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=136220 CPUtime=25.49 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 2098 0 0 0 2499 50 0 0 25 0 3 0 911124831 139489280 13100 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 136220
[startup+51.101 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 13318
/proc/meminfo: memFree=12403592/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=203124 CPUtime=102.19 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 21891 0 0 0 10030 189 0 0 18 0 3 0 911124831 207998976 21721 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 50781 21721 182 372 0 50406 0
[pid=13305/tid=13306] ppid=13303 vsize=203124 CPUtime=51.09 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 18725 0 0 0 5012 97 0 0 25 0 3 0 911124831 207998976 21721 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=203124 CPUtime=51.09 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 2814 0 0 0 5018 91 0 0 25 0 3 0 911124831 207998976 21721 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 203124
[startup+102.307 s]
/proc/loadavg: 4.05 3.98 3.91 5/182 13320
/proc/meminfo: memFree=12311812/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=205284 CPUtime=204.6 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 36905 0 0 0 20110 350 0 0 18 0 3 0 911124831 210210816 36644 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 51321 36644 182 372 0 50946 0
[pid=13305/tid=13306] ppid=13303 vsize=205284 CPUtime=102.29 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 33222 0 0 0 10048 181 0 0 25 0 3 0 911124831 210210816 36644 33554432000 4194304 5714118 140735588540176 18446744073709551615 4300224 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=205284 CPUtime=102.29 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 3331 0 0 0 10061 168 0 0 25 0 3 0 911124831 210210816 36644 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 205284
[startup+162.301 s]
/proc/loadavg: 4.06 3.99 3.92 5/182 13321
/proc/meminfo: memFree=12226088/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=273988 CPUtime=324.59 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 53701 0 0 0 31933 526 0 0 18 0 3 0 911124831 280563712 53105 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 68497 53105 182 372 0 68122 0
[pid=13305/tid=13306] ppid=13303 vsize=273988 CPUtime=162.29 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 49187 0 0 0 15957 272 0 0 25 0 3 0 911124831 280563712 53105 33554432000 4194304 5714118 140735588540176 18446744073709551615 4300160 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=273988 CPUtime=162.29 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 4162 0 0 0 15976 253 0 0 25 0 3 0 911124831 280563712 53105 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 273988
[startup+222.301 s]
/proc/loadavg: 4.02 3.99 3.92 5/182 13326
/proc/meminfo: memFree=12137136/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=341572 CPUtime=444.6 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 69703 0 0 0 43759 701 0 0 18 0 3 0 911124831 349769728 68887 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 85393 68887 182 372 0 85018 0
[pid=13305/tid=13306] ppid=13303 vsize=341572 CPUtime=222.29 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 64590 0 0 0 21868 361 0 0 25 0 3 0 911124831 349769728 68887 33554432000 4194304 5714118 140735588540176 18446744073709551615 4347217 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=341572 CPUtime=222.29 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 4761 0 0 0 21890 339 0 0 25 0 3 0 911124831 349769728 68887 33554432000 4194304 5714118 140735588540176 18446744073709551615 4319232 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 341572
[startup+282.301 s]
/proc/loadavg: 4.01 3.99 3.92 5/182 13327
/proc/meminfo: memFree=12026944/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=408548 CPUtime=564.6 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 85602 0 0 0 55580 880 0 0 18 0 3 0 911124831 418353152 84753 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 102137 84753 182 372 0 101762 0
[pid=13305/tid=13306] ppid=13303 vsize=408548 CPUtime=282.29 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 79930 0 0 0 27779 450 0 0 25 0 3 0 911124831 418353152 84753 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=408548 CPUtime=282.29 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 5320 0 0 0 27800 429 0 0 25 0 3 0 911124831 418353152 84753 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 408548
[startup+342.301 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 13329
/proc/meminfo: memFree=11925212/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=476028 CPUtime=684.6 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 100059 0 0 0 67423 1037 0 0 18 0 3 0 911124831 487452672 98949 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 119007 98949 182 372 0 118632 0
[pid=13305/tid=13306] ppid=13303 vsize=476028 CPUtime=342.3 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 94041 0 0 0 33695 535 0 0 25 0 3 0 911124831 487452672 98949 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=476028 CPUtime=342.29 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 5666 0 0 0 33727 502 0 0 25 0 3 0 911124831 487452672 98950 33554432000 4194304 5714118 140735588540176 18446744073709551615 4319916 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 476028
[startup+402.301 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 13331
/proc/meminfo: memFree=11860552/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=542320 CPUtime=804.61 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 113013 0 0 0 79264 1197 0 0 18 0 3 0 911124831 555335680 111666 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 135580 111666 182 372 0 135205 0
[pid=13305/tid=13306] ppid=13303 vsize=542320 CPUtime=402.3 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 106593 0 0 0 39613 617 0 0 25 0 3 0 911124831 555335680 111666 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=542320 CPUtime=402.3 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 6068 0 0 0 39650 580 0 0 25 0 3 0 911124831 555335680 111666 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 804.61
Current children cumulated vsize (KiB) 542320
[startup+462.301 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 13332
/proc/meminfo: memFree=11787860/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=608720 CPUtime=924.61 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 127138 0 0 0 91110 1351 0 0 18 0 3 0 911124831 623329280 125654 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 152180 125654 182 372 0 151805 0
[pid=13305/tid=13306] ppid=13303 vsize=608720 CPUtime=462.3 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 119998 0 0 0 45531 699 0 0 25 0 3 0 911124831 623329280 125654 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=608720 CPUtime=462.31 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 6788 0 0 0 45579 652 0 0 25 0 3 0 911124831 623329280 125654 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 608720
[startup+522.301 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 13375
/proc/meminfo: memFree=12239660/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=609908 CPUtime=1044.61 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 140332 0 0 0 102961 1500 0 0 18 0 3 0 911124831 624545792 138737 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 152477 138737 182 372 0 152102 0
[pid=13305/tid=13306] ppid=13303 vsize=609908 CPUtime=522.31 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 133086 0 0 0 51454 777 0 0 25 0 3 0 911124831 624545792 138737 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=609908 CPUtime=522.3 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 6894 0 0 0 51507 723 0 0 25 0 3 0 911124831 624545792 138737 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 609908
[startup+582.301 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 13376
/proc/meminfo: memFree=12132500/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=675804 CPUtime=1164.63 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 153862 0 0 0 114818 1645 0 0 18 0 3 0 911124831 692023296 152236 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 168951 152236 182 372 0 168576 0
[pid=13305/tid=13306] ppid=13303 vsize=675804 CPUtime=582.31 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 146527 0 0 0 57380 851 0 0 25 0 3 0 911124831 692023296 152236 33554432000 4194304 5714118 140735588540176 18446744073709551615 4299920 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=675804 CPUtime=582.31 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 6983 0 0 0 57437 794 0 0 25 0 3 0 911124831 692023296 152236 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1164.63
Current children cumulated vsize (KiB) 675804
[startup+642.301 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 13378
/proc/meminfo: memFree=12032388/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=741736 CPUtime=1284.64 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 166811 0 0 0 126684 1780 0 0 18 0 3 0 911124831 759537664 165114 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 185434 165114 182 372 0 185059 0
[pid=13305/tid=13306] ppid=13303 vsize=741736 CPUtime=642.32 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 159329 0 0 0 63310 922 0 0 25 0 3 0 911124831 759537664 165114 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=741736 CPUtime=642.31 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 7130 0 0 0 63374 857 0 0 25 0 3 0 911124831 759537664 165114 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1284.64
Current children cumulated vsize (KiB) 741736
[startup+702.301 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 13380
/proc/meminfo: memFree=11934632/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=807704 CPUtime=1404.63 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 180052 0 0 0 138532 1931 0 0 18 0 3 0 911124831 827088896 178055 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 201926 178055 182 372 0 201551 0
[pid=13305/tid=13306] ppid=13303 vsize=807704 CPUtime=702.31 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 172232 0 0 0 69235 996 0 0 25 0 3 0 911124831 827088896 178055 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=807704 CPUtime=702.3 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 7468 0 0 0 69296 934 0 0 25 0 3 0 911124831 827088896 178055 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1404.63
Current children cumulated vsize (KiB) 807704
[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 13381
/proc/meminfo: memFree=11839120/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=873960 CPUtime=1524.65 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 194177 0 0 0 150390 2075 0 0 18 0 3 0 911124831 894935040 191951 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 218490 191951 182 372 0 218115 0
[pid=13305/tid=13306] ppid=13303 vsize=873960 CPUtime=762.32 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 185626 0 0 0 75156 1076 0 0 25 0 3 0 911124831 894935040 191951 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=873960 CPUtime=762.32 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 8199 0 0 0 75233 999 0 0 25 0 3 0 911124831 894935040 191951 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1524.65
Current children cumulated vsize (KiB) 873960
[startup+822.301 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 13383
/proc/meminfo: memFree=11747684/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=875364 CPUtime=1644.64 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 206760 0 0 0 162253 2211 0 0 18 0 3 0 911124831 896372736 204414 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 218841 204414 182 372 0 218466 0
[pid=13305/tid=13306] ppid=13303 vsize=875364 CPUtime=822.32 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 197934 0 0 0 81082 1150 0 0 25 0 3 0 911124831 896372736 204414 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=875364 CPUtime=822.31 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 8474 0 0 0 81170 1061 0 0 25 0 3 0 911124831 896372736 204415 33554432000 4194304 5714118 140735588540176 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1644.64
Current children cumulated vsize (KiB) 875364
[startup+882.301 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 13384
/proc/meminfo: memFree=11656380/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=941728 CPUtime=1764.64 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 219126 0 0 0 174121 2343 0 0 18 0 3 0 911124831 964329472 216747 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 235432 216747 182 372 0 235057 0
[pid=13305/tid=13306] ppid=13303 vsize=941728 CPUtime=882.32 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 210229 0 0 0 87010 1222 0 0 25 0 3 0 911124831 964329472 216747 33554432000 4194304 5714118 140735588540176 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=941728 CPUtime=882.32 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 8545 0 0 0 87111 1121 0 0 25 0 3 0 911124831 964329472 216747 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1764.64
Current children cumulated vsize (KiB) 941728
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 13385
/proc/meminfo: memFree=11631804/32951124 swapFree=67056684/67111528
[pid=13305] ppid=13303 vsize=941908 CPUtime=1800.05 cores=1,3,5,7
/proc/13305/stat : 13305 (pwbo1.1) S 13303 13305 12151 0 -1 4202496 222676 0 0 0 177624 2381 0 0 18 0 3 0 911124831 964513792 220254 33554432000 4194304 5714118 140735588540176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/13305/statm: 235477 220254 182 372 0 235102 0
[pid=13305/tid=13306] ppid=13303 vsize=941908 CPUtime=900.02 cores=1,3,5,7
/proc/13305/task/13306/stat : 13306 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 213654 0 0 0 88759 1243 0 0 25 0 3 0 911124831 964513792 220254 33554432000 4194304 5714118 140735588540176 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=13305/tid=13307] ppid=13303 vsize=941908 CPUtime=900.02 cores=1,3,5,7
/proc/13305/task/13307/stat : 13307 (pwbo1.1) R 13303 13305 12151 0 -1 4202560 8670 0 0 0 88864 1138 0 0 25 0 3 0 911124831 964513792 220254 33554432000 4194304 5714118 140735588540176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 941908
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.049
CPU time (s): 1800.11
CPU user time (s): 1776.26
CPU system time (s): 23.8544
CPU usage (%): 200.001
Max. virtual memory (cumulated for all children) (KiB): 941908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.26
system time used= 23.8544
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222682
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= 61
involuntary context switches= 2921
runsolver used 1.45478 second user time and 3.14052 second system time
The end