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-3500377-1307994564/watcher-3500377-1307994564 -o /var/tmp/evaluation-result-3500377-1307994564/solver-3500377-1307994564 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500377-1307994564.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.89 3.97 3.91 3/179 17038
/proc/meminfo: memFree=30052232/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=69808 CPUtime=0 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 540 0 0 0 0 0 0 0 25 0 3 0 911055192 71483392 478 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 17452 481 167 372 0 17077 0
[pid=17038/tid=17039] ppid=17036 vsize=69808 CPUtime=0 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 68 0 0 0 0 0 0 0 25 0 3 0 911055193 71483392 488 33554432000 4194304 5714118 140734379955696 18446744073709551615 4207531 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=69808 CPUtime=0 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 3 0 911055193 71483392 488 33554432000 4194304 5714118 140734379955696 18446744073709551615 5082345 0 0 4096 16387 0 0 0 -1 5 0 0 0
[startup+0.021712 s]
/proc/loadavg: 3.89 3.97 3.91 3/179 17038
/proc/meminfo: memFree=30052232/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=151892 CPUtime=0.03 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 4040 0 0 0 2 1 0 0 25 0 3 0 911055192 155537408 3922 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 37973 3933 177 372 0 37598 0
[pid=17038/tid=17039] ppid=17036 vsize=151892 CPUtime=0.01 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 227 0 0 0 1 0 0 0 25 0 3 0 911055193 155537408 3943 33554432000 4194304 5714118 140734379955696 18446744073709551615 4964789 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=151892 CPUtime=0 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 3358 0 0 0 0 0 0 0 25 0 3 0 911055193 155537408 3949 33554432000 4194304 5714118 140734379955696 18446744073709551615 4315361 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 151892
[startup+0.100697 s]
/proc/loadavg: 3.89 3.97 3.91 3/179 17038
/proc/meminfo: memFree=30052232/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=166404 CPUtime=0.18 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 13891 0 0 0 16 2 0 0 25 0 3 0 911055192 170397696 13724 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 41601 13727 177 372 0 41226 0
[pid=17038/tid=17039] ppid=17036 vsize=166404 CPUtime=0.09 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 381 0 0 0 9 0 0 0 25 0 3 0 911055193 170397696 13729 33554432000 4194304 5714118 140734379955696 18446744073709551615 4964882 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=166404 CPUtime=0.08 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 13035 0 0 0 6 2 0 0 25 0 3 0 911055193 170397696 13731 33554432000 4194304 5714118 140734379955696 18446744073709551615 4970378 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) 166404
[startup+0.300723 s]
/proc/loadavg: 3.89 3.97 3.91 3/179 17038
/proc/meminfo: memFree=30052232/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=168836 CPUtime=0.58 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 17309 0 0 0 54 4 0 0 25 0 3 0 911055192 172888064 17129 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 42209 17129 179 372 0 41834 0
[pid=17038/tid=17039] ppid=17036 vsize=168836 CPUtime=0.29 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 670 0 0 0 28 1 0 0 25 0 3 0 911055193 172888064 17129 33554432000 4194304 5714118 140734379955696 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=168836 CPUtime=0.29 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 16157 0 0 0 26 3 0 0 25 0 3 0 911055193 172888064 17129 33554432000 4194304 5714118 140734379955696 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 168836
[startup+0.700592 s]
/proc/loadavg: 3.89 3.97 3.91 3/179 17038
/proc/meminfo: memFree=30052232/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=168836 CPUtime=1.38 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 17983 0 0 0 132 6 0 0 25 0 3 0 911055192 172888064 17803 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 42209 17803 179 372 0 41834 0
[pid=17038/tid=17039] ppid=17036 vsize=168836 CPUtime=0.68 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 1342 0 0 0 66 2 0 0 25 0 3 0 911055193 172888064 17803 33554432000 4194304 5714118 140734379955696 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=168836 CPUtime=0.68 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 16159 0 0 0 65 3 0 0 25 0 3 0 911055193 172888064 17803 33554432000 4194304 5714118 140734379955696 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 168836
[startup+1.50045 s]
/proc/loadavg: 3.89 3.97 3.91 5/182 17041
/proc/meminfo: memFree=29980188/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=168980 CPUtime=2.98 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 18909 0 0 0 290 8 0 0 25 0 3 0 911055192 173035520 18729 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 42245 18729 179 372 0 41870 0
[pid=17038/tid=17039] ppid=17036 vsize=168980 CPUtime=1.48 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 2234 0 0 0 144 4 0 0 25 0 3 0 911055193 173035520 18729 33554432000 4194304 5714118 140734379955696 18446744073709551615 4299735 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=168980 CPUtime=1.48 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 16193 0 0 0 145 3 0 0 25 0 3 0 911055193 173035520 18729 33554432000 4194304 5714118 140734379955696 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 168980
[startup+3.10017 s]
/proc/loadavg: 3.89 3.97 3.91 5/182 17041
/proc/meminfo: memFree=29976900/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=168836 CPUtime=6.18 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 19399 0 0 0 605 13 0 0 25 0 3 0 911055192 172888064 19192 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 42209 19192 179 372 0 41834 0
[pid=17038/tid=17039] ppid=17036 vsize=168836 CPUtime=3.09 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 2623 0 0 0 300 9 0 0 25 0 3 0 911055193 172888064 19192 33554432000 4194304 5714118 140734379955696 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=168836 CPUtime=3.08 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 16294 0 0 0 304 4 0 0 25 0 3 0 911055193 172888064 19192 33554432000 4194304 5714118 140734379955696 18446744073709551615 4319200 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) 168836
[startup+6.30059 s]
/proc/loadavg: 3.90 3.97 3.91 5/182 17042
/proc/meminfo: memFree=29961880/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=169144 CPUtime=12.58 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 20614 0 0 0 1234 24 0 0 25 0 3 0 911055192 173203456 20407 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 42286 20407 179 372 0 41911 0
[pid=17038/tid=17039] ppid=17036 vsize=169144 CPUtime=6.28 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 3535 0 0 0 610 18 0 0 25 0 3 0 911055193 173203456 20407 33554432000 4194304 5714118 140734379955696 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=169144 CPUtime=6.28 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 16597 0 0 0 623 5 0 0 25 0 3 0 911055193 173203456 20407 33554432000 4194304 5714118 140734379955696 18446744073709551615 4319218 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 169144
[startup+12.7005 s]
/proc/loadavg: 3.91 3.97 3.91 5/182 17042
/proc/meminfo: memFree=29939800/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=169144 CPUtime=25.39 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 23249 0 0 0 2502 37 0 0 25 0 3 0 911055192 173203456 23042 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 42286 23042 180 372 0 41911 0
[pid=17038/tid=17039] ppid=17036 vsize=169144 CPUtime=12.69 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 5380 0 0 0 1241 28 0 0 25 0 3 0 911055193 173203456 23042 33554432000 4194304 5714118 140734379955696 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=169144 CPUtime=12.68 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 17387 0 0 0 1260 8 0 0 25 0 3 0 911055193 173203456 23042 33554432000 4194304 5714118 140734379955696 18446744073709551615 4311632 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) 169144
[startup+25.5002 s]
/proc/loadavg: 3.93 3.97 3.91 5/182 17042
/proc/meminfo: memFree=29915636/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=169360 CPUtime=50.99 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 28448 0 0 0 5042 57 0 0 25 0 3 0 911055192 173424640 28241 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 42340 28241 180 372 0 41965 0
[pid=17038/tid=17039] ppid=17036 vsize=169360 CPUtime=25.48 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 9715 0 0 0 2502 46 0 0 25 0 3 0 911055193 173424640 28241 33554432000 4194304 5714118 140734379955696 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=169360 CPUtime=25.48 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 18251 0 0 0 2538 10 0 0 25 0 3 0 911055193 173424640 28241 33554432000 4194304 5714118 140734379955696 18446744073709551615 4319200 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) 169360
[startup+51.1006 s]
/proc/loadavg: 3.95 3.97 3.91 5/182 17043
/proc/meminfo: memFree=29855548/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=169576 CPUtime=102.18 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 35705 0 0 0 10115 103 0 0 25 0 3 0 911055192 173645824 35498 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 42394 35498 180 372 0 42019 0
[pid=17038/tid=17039] ppid=17036 vsize=169576 CPUtime=51.09 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 16295 0 0 0 5029 80 0 0 25 0 3 0 911055193 173645824 35498 33554432000 4194304 5714118 140734379955696 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=169576 CPUtime=51.09 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 18928 0 0 0 5086 23 0 0 25 0 3 0 911055193 173645824 35498 33554432000 4194304 5714118 140734379955696 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 169576
[startup+102.307 s]
/proc/loadavg: 3.98 3.97 3.91 5/182 17044
/proc/meminfo: memFree=29738928/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=301932 CPUtime=204.6 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 56214 0 0 0 20284 176 0 0 25 0 3 0 911055192 309178368 56007 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 75483 56007 180 372 0 75108 0
[pid=17038/tid=17039] ppid=17036 vsize=301932 CPUtime=102.29 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 26304 0 0 0 10099 130 0 0 25 0 3 0 911055193 309178368 56007 33554432000 4194304 5714118 140734379955696 18446744073709551615 4300228 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=301932 CPUtime=102.29 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 29428 0 0 0 10184 45 0 0 25 0 3 0 911055193 309178368 56007 33554432000 4194304 5714118 140734379955696 18446744073709551615 4319134 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) 301932
[startup+162.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 17046
/proc/meminfo: memFree=29708008/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=302604 CPUtime=324.59 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 59226 0 0 0 32191 268 0 0 25 0 3 0 911055192 309866496 58927 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 75651 58927 180 372 0 75276 0
[pid=17038/tid=17039] ppid=17036 vsize=302604 CPUtime=162.29 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 28295 0 0 0 16022 207 0 0 25 0 3 0 911055193 309866496 58927 33554432000 4194304 5714118 140734379955696 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=302604 CPUtime=162.29 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 30449 0 0 0 16168 61 0 0 25 0 3 0 911055193 309866496 58927 33554432000 4194304 5714118 140734379955696 18446744073709551615 4319200 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) 302604
[startup+222.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 17047
/proc/meminfo: memFree=29680320/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=303816 CPUtime=444.6 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 64639 0 0 0 44116 344 0 0 25 0 3 0 911055192 311107584 64340 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 75954 64340 180 372 0 75579 0
[pid=17038/tid=17039] ppid=17036 vsize=303816 CPUtime=222.29 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 28346 0 0 0 21960 269 0 0 25 0 3 0 911055193 311107584 64340 33554432000 4194304 5714118 140734379955696 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=303816 CPUtime=222.29 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 35811 0 0 0 22155 74 0 0 25 0 3 0 911055193 311107584 64340 33554432000 4194304 5714118 140734379955696 18446744073709551615 5070743 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) 303816
[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 17049
/proc/meminfo: memFree=29629800/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=370072 CPUtime=564.6 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 72830 0 0 0 56020 440 0 0 25 0 3 0 911055192 378953728 72531 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 92518 72531 180 372 0 92143 0
[pid=17038/tid=17039] ppid=17036 vsize=370072 CPUtime=282.29 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 29771 0 0 0 27883 346 0 0 25 0 3 0 911055193 378953728 72531 33554432000 4194304 5714118 140734379955696 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=370072 CPUtime=282.3 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 42578 0 0 0 28136 94 0 0 25 0 3 0 911055193 378953728 72532 33554432000 4194304 5714118 140734379955696 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) 370072
[startup+342.301 s]
/proc/loadavg: 4.03 3.99 3.91 5/182 17050
/proc/meminfo: memFree=29498320/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=503252 CPUtime=684.59 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 101339 0 0 0 67901 558 0 0 25 0 3 0 911055192 515330048 101040 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 125813 101040 180 372 0 125438 0
[pid=17038/tid=17039] ppid=17036 vsize=503252 CPUtime=342.28 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 41522 0 0 0 33801 427 0 0 25 0 3 0 911055193 515330048 101040 33554432000 4194304 5714118 140734379955696 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=503252 CPUtime=342.29 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 59335 0 0 0 34099 130 0 0 25 0 3 0 911055193 515330048 101040 33554432000 4194304 5714118 140734379955696 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 503252
[startup+402.301 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 17052
/proc/meminfo: memFree=29379864/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=504956 CPUtime=804.6 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 113906 0 0 0 79809 651 0 0 25 0 3 0 911055192 517074944 113600 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 126239 113600 180 372 0 125864 0
[pid=17038/tid=17039] ppid=17036 vsize=504956 CPUtime=402.29 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 45442 0 0 0 39735 494 0 0 25 0 3 0 911055193 517074944 113600 33554432000 4194304 5714118 140734379955696 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=504956 CPUtime=402.29 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 67982 0 0 0 40074 155 0 0 25 0 3 0 911055193 517074944 113600 33554432000 4194304 5714118 140734379955696 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 504956
[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 17054
/proc/meminfo: memFree=29328744/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=571168 CPUtime=924.6 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 130676 0 0 0 91725 735 0 0 25 0 3 0 911055192 584876032 130370 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 142792 130370 180 372 0 142417 0
[pid=17038/tid=17039] ppid=17036 vsize=571168 CPUtime=462.29 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 57322 0 0 0 45662 567 0 0 25 0 3 0 911055193 584876032 130370 33554432000 4194304 5714118 140734379955696 18446744073709551615 4319845 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=571168 CPUtime=462.29 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 72872 0 0 0 46062 167 0 0 25 0 3 0 911055193 584876032 130370 33554432000 4194304 5714118 140734379955696 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 571168
[startup+522.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 17055
/proc/meminfo: memFree=29274132/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=702464 CPUtime=1044.61 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 143891 0 0 0 103665 796 0 0 25 0 3 0 911055192 719323136 143584 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 175616 143584 180 372 0 175241 0
[pid=17038/tid=17039] ppid=17036 vsize=702464 CPUtime=522.29 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 66222 0 0 0 51615 614 0 0 25 0 3 0 911055193 719323136 143584 33554432000 4194304 5714118 140734379955696 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=702464 CPUtime=522.29 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 77187 0 0 0 52048 181 0 0 25 0 3 0 911055193 719323136 143584 33554432000 4194304 5714118 140734379955696 18446744073709551615 4319370 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) 702464
[startup+582.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 17057
/proc/meminfo: memFree=29226352/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=703140 CPUtime=1164.61 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 155710 0 0 0 115582 879 0 0 25 0 3 0 911055192 720015360 155403 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 175785 155403 180 372 0 175410 0
[pid=17038/tid=17039] ppid=17036 vsize=703140 CPUtime=582.29 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 74243 0 0 0 57547 682 0 0 25 0 3 0 911055193 720015360 155403 33554432000 4194304 5714118 140734379955696 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=703140 CPUtime=582.3 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 80985 0 0 0 58034 196 0 0 25 0 3 0 911055193 720015360 155403 33554432000 4194304 5714118 140734379955696 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 703140
[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 17058
/proc/meminfo: memFree=29187124/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=704392 CPUtime=1284.61 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 164881 0 0 0 127519 942 0 0 25 0 3 0 911055192 721297408 164574 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 176098 164574 180 372 0 175723 0
[pid=17038/tid=17039] ppid=17036 vsize=704392 CPUtime=642.29 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 79875 0 0 0 63498 731 0 0 25 0 3 0 911055193 721297408 164574 33554432000 4194304 5714118 140734379955696 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=704392 CPUtime=642.3 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 84524 0 0 0 64020 210 0 0 25 0 3 0 911055193 721297408 164574 33554432000 4194304 5714118 140734379955696 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1284.61
Current children cumulated vsize (KiB) 704392
[startup+702.301 s]
/proc/loadavg: 4.16 4.02 3.93 5/182 17069
/proc/meminfo: memFree=29075124/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=770320 CPUtime=1404.61 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 174674 0 0 0 139459 1002 0 0 25 0 3 0 911055192 788807680 174367 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 192580 174367 180 372 0 192205 0
[pid=17038/tid=17039] ppid=17036 vsize=770320 CPUtime=702.29 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 85597 0 0 0 69452 777 0 0 25 0 3 0 911055193 788807680 174367 33554432000 4194304 5714118 140734379955696 18446744073709551615 4319266 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=770320 CPUtime=702.3 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 88595 0 0 0 70006 224 0 0 25 0 3 0 911055193 788807680 174367 33554432000 4194304 5714118 140734379955696 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 770320
[startup+762.307 s]
/proc/loadavg: 4.06 4.01 3.93 5/182 17071
/proc/meminfo: memFree=28984028/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=838012 CPUtime=1524.63 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 192013 0 0 0 151371 1092 0 0 25 0 3 0 911055192 858124288 191705 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 209503 191705 180 372 0 209128 0
[pid=17038/tid=17039] ppid=17036 vsize=838012 CPUtime=762.3 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 88934 0 0 0 75407 823 0 0 25 0 3 0 911055193 858124288 191705 33554432000 4194304 5714118 140734379955696 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=838012 CPUtime=762.31 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 102597 0 0 0 75963 268 0 0 25 0 3 0 911055193 858124288 191705 33554432000 4194304 5714118 140734379955696 18446744073709551615 4319998 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 838012
[startup+822.301 s]
/proc/loadavg: 4.02 4.01 3.93 5/182 17072
/proc/meminfo: memFree=28898648/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=969868 CPUtime=1644.61 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 212249 0 0 0 163264 1197 0 0 25 0 3 0 911055192 993144832 211931 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 242467 211931 180 372 0 242092 0
[pid=17038/tid=17039] ppid=17036 vsize=969868 CPUtime=822.29 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 98959 0 0 0 81324 905 0 0 25 0 3 0 911055193 993144832 211931 33554432000 4194304 5714118 140734379955696 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=969868 CPUtime=822.3 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 112808 0 0 0 81939 291 0 0 25 0 3 0 911055193 993144832 211931 33554432000 4194304 5714118 140734379955696 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1644.61
Current children cumulated vsize (KiB) 969868
[startup+882.3 s]
/proc/loadavg: 3.92 3.99 3.92 5/182 17117
/proc/meminfo: memFree=29205612/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=970352 CPUtime=1764.61 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 225514 0 0 0 175142 1319 0 0 25 0 3 0 911055192 993640448 224889 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 242588 224889 180 372 0 242213 0
[pid=17038/tid=17039] ppid=17036 vsize=970352 CPUtime=882.3 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 104073 0 0 0 87230 1000 0 0 25 0 3 0 911055193 993640448 224889 33554432000 4194304 5714118 140734379955696 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=970352 CPUtime=882.3 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 120959 0 0 0 87911 319 0 0 25 0 3 0 911055193 993640448 224889 33554432000 4194304 5714118 140734379955696 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1764.61
Current children cumulated vsize (KiB) 970352
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 3.94 3.99 3.92 5/182 17118
/proc/meminfo: memFree=29172008/32950928 swapFree=67048888/67111528
[pid=17038] ppid=17036 vsize=970768 CPUtime=1800.02 cores=1,3,5,7
/proc/17038/stat : 17038 (pwbo1.1) S 17036 17038 15608 0 -1 4202496 227803 0 0 0 178653 1349 0 0 25 0 3 0 911055192 994066432 227178 33554432000 4194304 5714118 140734379955696 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17038/statm: 242692 227178 180 372 0 242317 0
[pid=17038/tid=17039] ppid=17036 vsize=970768 CPUtime=900.01 cores=1,3,5,7
/proc/17038/task/17039/stat : 17039 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 104084 0 0 0 88979 1022 0 0 25 0 3 0 911055193 994066432 227178 33554432000 4194304 5714118 140734379955696 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=17038/tid=17040] ppid=17036 vsize=970768 CPUtime=900.01 cores=1,3,5,7
/proc/17038/task/17040/stat : 17040 (pwbo1.1) R 17036 17038 15608 0 -1 4202560 123237 0 0 0 89674 327 0 0 25 0 3 0 911055193 994066432 227178 33554432000 4194304 5714118 140734379955696 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 970768
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.08
CPU user time (s): 1786.55
CPU system time (s): 13.5349
CPU usage (%): 199.998
Max. virtual memory (cumulated for all children) (KiB): 970836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.55
system time used= 13.5349
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227811
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= 338
involuntary context switches= 11857
runsolver used 1.44878 second user time and 3.16552 second system time
The end