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-3500443-1307995515/watcher-3500443-1307995515 -o /var/tmp/evaluation-result-3500443-1307995515/solver-3500443-1307995515 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500443-1307995515.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.44 3.85 3.88 3/179 17198
/proc/meminfo: memFree=30072460/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=134856 CPUtime=0 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 429 0 0 0 0 0 0 0 25 0 3 0 911150313 138092544 379 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 33714 379 179 372 0 33339 0
[pid=17198/tid=17199] ppid=17196 vsize=134856 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 54 0 0 0 0 0 0 0 25 0 3 0 911150313 138092544 379 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=134856 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 29 0 0 0 0 0 0 0 18 0 3 0 911150313 138092544 381 33554432000 4194304 5714118 140735339976848 18446744073709551615 4311939 0 0 4096 16387 0 0 0 -1 0 0 0 0
[startup+0.0272309 s]
/proc/loadavg: 3.44 3.85 3.88 3/179 17198
/proc/meminfo: memFree=30072460/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=134856 CPUtime=0.04 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 541 0 0 0 4 0 0 0 25 0 3 0 911150313 138092544 491 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 33714 491 179 372 0 33339 0
[pid=17198/tid=17199] ppid=17196 vsize=134856 CPUtime=0.02 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 117 0 0 0 2 0 0 0 25 0 3 0 911150313 138092544 491 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=134856 CPUtime=0.02 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 77 0 0 0 2 0 0 0 18 0 3 0 911150313 138092544 491 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 134856
[startup+0.100219 s]
/proc/loadavg: 3.44 3.85 3.88 3/179 17198
/proc/meminfo: memFree=30072460/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=134856 CPUtime=0.19 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 859 0 0 0 19 0 0 0 25 0 3 0 911150313 138092544 809 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 33714 809 179 372 0 33339 0
[pid=17198/tid=17199] ppid=17196 vsize=134856 CPUtime=0.09 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 311 0 0 0 9 0 0 0 25 0 3 0 911150313 138092544 809 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=134856 CPUtime=0.09 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 201 0 0 0 9 0 0 0 18 0 3 0 911150313 138092544 809 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 134856
[startup+0.300242 s]
/proc/loadavg: 3.44 3.85 3.88 3/179 17198
/proc/meminfo: memFree=30072460/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=134856 CPUtime=0.58 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 1523 0 0 0 57 1 0 0 25 0 3 0 911150313 138092544 1473 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 33714 1473 179 372 0 33339 0
[pid=17198/tid=17199] ppid=17196 vsize=134856 CPUtime=0.29 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 717 0 0 0 28 1 0 0 18 0 3 0 911150313 138092544 1473 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=134856 CPUtime=0.29 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 459 0 0 0 29 0 0 0 18 0 3 0 911150313 138092544 1473 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 134856
[startup+0.701173 s]
/proc/loadavg: 3.44 3.85 3.88 3/179 17198
/proc/meminfo: memFree=30072460/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=134856 CPUtime=1.39 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 2296 0 0 0 136 3 0 0 25 0 3 0 911150313 138092544 2246 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 33714 2246 179 372 0 33339 0
[pid=17198/tid=17199] ppid=17196 vsize=134856 CPUtime=0.69 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 1311 0 0 0 67 2 0 0 18 0 3 0 911150313 138092544 2246 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=134856 CPUtime=0.68 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 638 0 0 0 68 0 0 0 18 0 3 0 911150313 138092544 2246 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 134856
[startup+1.50103 s]
/proc/loadavg: 3.44 3.85 3.88 5/182 17201
/proc/meminfo: memFree=30060556/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=135000 CPUtime=2.99 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 3112 0 0 0 293 6 0 0 25 0 3 0 911150313 138240000 3062 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 33750 3062 179 372 0 33375 0
[pid=17198/tid=17199] ppid=17196 vsize=135000 CPUtime=1.49 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 1862 0 0 0 145 4 0 0 19 0 3 0 911150313 138240000 3062 33554432000 4194304 5714118 140735339976848 18446744073709551615 4300160 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=135000 CPUtime=1.49 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 903 0 0 0 148 1 0 0 20 0 3 0 911150313 138240000 3062 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135000
[startup+3.10079 s]
/proc/loadavg: 3.48 3.85 3.88 5/182 17201
/proc/meminfo: memFree=30056092/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=135144 CPUtime=6.18 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 4003 0 0 0 608 10 0 0 25 0 3 0 911150313 138387456 3953 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 33786 3953 180 372 0 33411 0
[pid=17198/tid=17199] ppid=17196 vsize=135144 CPUtime=3.09 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 2462 0 0 0 302 7 0 0 22 0 3 0 911150313 138387456 3953 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=135144 CPUtime=3.09 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 1194 0 0 0 306 3 0 0 25 0 3 0 911150313 138387456 3953 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 135144
[startup+6.30012 s]
/proc/loadavg: 3.48 3.85 3.88 5/182 17201
/proc/meminfo: memFree=30046048/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=135216 CPUtime=12.58 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 5447 0 0 0 1236 22 0 0 25 0 3 0 911150313 138461184 5397 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 33804 5397 180 372 0 33429 0
[pid=17198/tid=17199] ppid=17196 vsize=135216 CPUtime=6.29 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 3697 0 0 0 614 15 0 0 25 0 3 0 911150313 138461184 5397 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=135216 CPUtime=6.28 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 1403 0 0 0 622 6 0 0 25 0 3 0 911150313 138461184 5397 33554432000 4194304 5714118 140735339976848 18446744073709551615 4300228 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 135216
[startup+12.701 s]
/proc/loadavg: 3.56 3.85 3.88 5/182 17201
/proc/meminfo: memFree=30028652/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=135288 CPUtime=25.38 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 7385 0 0 0 2502 36 0 0 25 0 3 0 911150313 138534912 7335 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 33822 7335 180 372 0 33447 0
[pid=17198/tid=17199] ppid=17196 vsize=135288 CPUtime=12.69 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 5354 0 0 0 1244 25 0 0 25 0 3 0 911150313 138534912 7335 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=135288 CPUtime=12.69 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 1684 0 0 0 1258 11 0 0 25 0 3 0 911150313 138534912 7335 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 135288
[startup+25.5007 s]
/proc/loadavg: 3.47 3.83 3.87 3/175 17225
/proc/meminfo: memFree=30096528/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=135288 CPUtime=50.99 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 11066 0 0 0 5029 70 0 0 25 0 3 0 911150313 138534912 11016 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 33822 11016 180 372 0 33447 0
[pid=17198/tid=17199] ppid=17196 vsize=135288 CPUtime=25.49 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 8706 0 0 0 2500 49 0 0 25 0 3 0 911150313 138534912 11016 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=135288 CPUtime=25.49 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 2013 0 0 0 2529 20 0 0 25 0 3 0 911150313 138534912 11016 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 135288
[startup+51.1011 s]
/proc/loadavg: 3.41 3.78 3.85 5/182 17242
/proc/meminfo: memFree=30029292/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=135396 CPUtime=102.18 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 17620 0 0 0 10092 126 0 0 25 0 3 0 911150313 138645504 17502 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 33849 17502 180 372 0 33474 0
[pid=17198/tid=17199] ppid=17196 vsize=135396 CPUtime=51.09 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 14531 0 0 0 5024 85 0 0 25 0 3 0 911150313 138645504 17502 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=135396 CPUtime=51.08 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 2742 0 0 0 5068 40 0 0 25 0 3 0 911150313 138645504 17502 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 135396
[startup+102.306 s]
/proc/loadavg: 3.76 3.81 3.85 5/182 17243
/proc/meminfo: memFree=29934228/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=201040 CPUtime=204.6 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 28985 0 0 0 20211 249 0 0 25 0 3 0 911150313 205864960 28707 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 50260 28707 180 372 0 49885 0
[pid=17198/tid=17199] ppid=17196 vsize=201040 CPUtime=102.29 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 24780 0 0 0 10080 149 0 0 25 0 3 0 911150313 205864960 28707 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=201040 CPUtime=102.29 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 3858 0 0 0 10130 99 0 0 25 0 3 0 911150313 205864960 28707 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 201040
[startup+162.3 s]
/proc/loadavg: 3.91 3.84 3.86 5/182 17245
/proc/meminfo: memFree=29842664/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=266864 CPUtime=324.59 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 40333 0 0 0 32114 345 0 0 25 0 3 0 911150313 273268736 39886 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 66716 39886 180 372 0 66341 0
[pid=17198/tid=17199] ppid=17196 vsize=266864 CPUtime=162.29 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 35627 0 0 0 16020 209 0 0 25 0 3 0 911150313 273268736 39886 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=266864 CPUtime=162.28 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 4359 0 0 0 16093 135 0 0 25 0 3 0 911150313 273268736 39886 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 266864
[startup+222.301 s]
/proc/loadavg: 3.97 3.87 3.87 5/182 17247
/proc/meminfo: memFree=29756668/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=269168 CPUtime=444.59 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 50920 0 0 0 43970 489 0 0 25 0 3 0 911150313 275628032 50087 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 67292 50087 180 372 0 66917 0
[pid=17198/tid=17199] ppid=17196 vsize=269168 CPUtime=222.3 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 45474 0 0 0 21952 278 0 0 25 0 3 0 911150313 275628032 50087 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=269168 CPUtime=222.29 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 5099 0 0 0 22018 211 0 0 25 0 3 0 911150313 275628032 50087 33554432000 4194304 5714118 140735339976848 18446744073709551615 4299735 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) 269168
[startup+282.301 s]
/proc/loadavg: 3.98 3.89 3.87 5/182 17248
/proc/meminfo: memFree=29678504/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=335136 CPUtime=564.59 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 60679 0 0 0 55825 634 0 0 25 0 3 0 911150313 343179264 59846 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 83784 59846 180 372 0 83409 0
[pid=17198/tid=17199] ppid=17196 vsize=335136 CPUtime=282.3 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 55233 0 0 0 27892 338 0 0 25 0 3 0 911150313 343179264 59846 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=335136 CPUtime=282.29 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 5099 0 0 0 27933 296 0 0 25 0 3 0 911150313 343179264 59846 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 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) 335136
[startup+342.3 s]
/proc/loadavg: 4.03 3.92 3.88 5/182 17250
/proc/meminfo: memFree=29597740/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=337024 CPUtime=684.6 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 70767 0 0 0 67675 785 0 0 25 0 3 0 911150313 345112576 69725 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 84256 69725 180 372 0 83881 0
[pid=17198/tid=17199] ppid=17196 vsize=337024 CPUtime=342.3 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 64840 0 0 0 33825 405 0 0 25 0 3 0 911150313 345112576 69725 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=337024 CPUtime=342.28 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 5580 0 0 0 33849 379 0 0 25 0 3 0 911150313 345112576 69725 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 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) 337024
[startup+402.301 s]
/proc/loadavg: 4.01 3.93 3.89 5/182 17251
/proc/meminfo: memFree=29519820/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=403208 CPUtime=804.6 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 80633 0 0 0 79546 914 0 0 25 0 3 0 911150313 412884992 79562 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 100802 79562 180 372 0 100427 0
[pid=17198/tid=17199] ppid=17196 vsize=403208 CPUtime=402.3 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 74226 0 0 0 39764 466 0 0 25 0 3 0 911150313 412884992 79562 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=403208 CPUtime=402.29 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 6060 0 0 0 39782 447 0 0 25 0 3 0 911150313 412884992 79562 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 403208
[startup+462.301 s]
/proc/loadavg: 4.05 3.96 3.90 5/182 17253
/proc/meminfo: memFree=29443140/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=468960 CPUtime=924.61 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 90150 0 0 0 91415 1046 0 0 25 0 3 0 911150313 480215040 88950 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 117240 88950 180 372 0 116865 0
[pid=17198/tid=17199] ppid=17196 vsize=468960 CPUtime=462.3 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 83419 0 0 0 45697 533 0 0 25 0 3 0 911150313 480215040 88950 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=468960 CPUtime=462.29 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 6384 0 0 0 45717 512 0 0 25 0 3 0 911150313 480215040 88950 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 468960
[startup+522.3 s]
/proc/loadavg: 4.02 3.96 3.91 5/182 17255
/proc/meminfo: memFree=29370168/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=469624 CPUtime=1044.6 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 99754 0 0 0 103280 1180 0 0 25 0 3 0 911150313 480894976 98216 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 117406 98216 180 372 0 117031 0
[pid=17198/tid=17199] ppid=17196 vsize=469624 CPUtime=522.3 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 92582 0 0 0 51628 602 0 0 25 0 3 0 911150313 480894976 98216 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=469624 CPUtime=522.29 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 6825 0 0 0 51651 578 0 0 25 0 3 0 911150313 480894976 98216 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 469624
[startup+582.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 17256
/proc/meminfo: memFree=29296568/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=535304 CPUtime=1164.61 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 108752 0 0 0 115142 1319 0 0 25 0 3 0 911150313 548151296 107074 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 133826 107074 180 372 0 133451 0
[pid=17198/tid=17199] ppid=17196 vsize=535304 CPUtime=582.31 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 101094 0 0 0 57556 675 0 0 25 0 3 0 911150313 548151296 107074 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=535304 CPUtime=582.29 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 7311 0 0 0 57586 643 0 0 25 0 3 0 911150313 548151296 107074 33554432000 4194304 5714118 140735339976848 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) 535304
[startup+642.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 17258
/proc/meminfo: memFree=29230180/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=536312 CPUtime=1284.62 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 117402 0 0 0 127000 1462 0 0 25 0 3 0 911150313 549183488 115538 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 134078 115538 180 372 0 133703 0
[pid=17198/tid=17199] ppid=17196 vsize=536312 CPUtime=642.31 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 109293 0 0 0 63485 746 0 0 25 0 3 0 911150313 549183488 115538 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=536312 CPUtime=642.3 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 7762 0 0 0 63514 716 0 0 25 0 3 0 911150313 549183488 115538 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 536312
[startup+702.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 17259
/proc/meminfo: memFree=29161792/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=602136 CPUtime=1404.61 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 126332 0 0 0 138865 1596 0 0 25 0 3 0 911150313 616587264 124261 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 150534 124261 180 372 0 150159 0
[pid=17198/tid=17199] ppid=17196 vsize=602136 CPUtime=702.31 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 117737 0 0 0 69414 817 0 0 25 0 3 0 911150313 616587264 124261 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=602136 CPUtime=702.3 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 8248 0 0 0 69451 779 0 0 25 0 3 0 911150313 616587264 124261 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 602136
[startup+762.306 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 17261
/proc/meminfo: memFree=29091556/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=602496 CPUtime=1524.63 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 135325 0 0 0 150734 1729 0 0 25 0 3 0 911150313 616955904 133006 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 150624 133006 180 372 0 150249 0
[pid=17198/tid=17199] ppid=17196 vsize=602496 CPUtime=762.32 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 126410 0 0 0 75344 888 0 0 25 0 3 0 911150313 616955904 133006 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=602496 CPUtime=762.31 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 8568 0 0 0 75390 841 0 0 25 0 3 0 911150313 616955904 133006 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 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) 602496
[startup+822.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 17263
/proc/meminfo: memFree=29021196/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=668320 CPUtime=1644.62 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 144079 0 0 0 162600 1862 0 0 25 0 3 0 911150313 684359680 141551 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 167080 141551 180 372 0 166705 0
[pid=17198/tid=17199] ppid=17196 vsize=668320 CPUtime=822.31 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 134983 0 0 0 81273 958 0 0 25 0 3 0 911150313 684359680 141551 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=668320 CPUtime=822.29 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 8749 0 0 0 81326 903 0 0 25 0 3 0 911150313 684359680 141551 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 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) 668320
[startup+882.301 s]
/proc/loadavg: 4.05 3.99 3.91 5/182 17264
/proc/meminfo: memFree=28955908/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=668752 CPUtime=1764.62 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 151972 0 0 0 174475 1987 0 0 25 0 3 0 911150313 684802048 149422 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 167188 149422 180 372 0 166813 0
[pid=17198/tid=17199] ppid=17196 vsize=668752 CPUtime=882.31 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 142742 0 0 0 87216 1015 0 0 25 0 3 0 911150313 684802048 149422 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=668752 CPUtime=882.3 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 8883 0 0 0 87258 972 0 0 25 0 3 0 911150313 684802048 149422 33554432000 4194304 5714118 140735339976848 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) 668752
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.04 3.99 3.91 5/182 17265
/proc/meminfo: memFree=28934692/32950928 swapFree=67048888/67111528
[pid=17198] ppid=17196 vsize=668824 CPUtime=1800.03 cores=0,2,4,6
/proc/17198/stat : 17198 (pwbo1.1) S 17196 17198 15608 0 -1 4202496 154807 0 0 0 177980 2023 0 0 25 0 3 0 911150313 684875776 152257 33554432000 4194304 5714118 140735339976848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 167206 152257 180 372 0 166831 0
[pid=17198/tid=17199] ppid=17196 vsize=668824 CPUtime=900.02 cores=0,2,4,6
/proc/17198/task/17199/stat : 17199 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 145578 0 0 0 88971 1031 0 0 25 0 3 0 911150313 684875776 152258 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=17198/tid=17200] ppid=17196 vsize=668824 CPUtime=900.01 cores=0,2,4,6
/proc/17198/task/17200/stat : 17200 (pwbo1.1) R 17196 17198 15608 0 -1 4202560 8883 0 0 0 89009 992 0 0 25 0 3 0 911150313 684875776 152258 33554432000 4194304 5714118 140735339976848 18446744073709551615 5070743 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) 668824
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.038
CPU time (s): 1800.08
CPU user time (s): 1779.82
CPU system time (s): 20.2639
CPU usage (%): 200
Max. virtual memory (cumulated for all children) (KiB): 668824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.82
system time used= 20.2639
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154815
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= 50
involuntary context switches= 2504
runsolver used 1.35579 second user time and 3.00854 second system time
The end