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-3500766-1307998066/watcher-3500766-1307998066 -o /var/tmp/evaluation-result-3500766-1307998066/solver-3500766-1307998066 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500766-1307998066.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: 1.84 2.27 2.99 2/174 14028
/proc/meminfo: memFree=12841532/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=2956 CPUtime=0 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) R 14026 14028 12151 0 -1 4202496 439 0 0 0 0 0 0 0 22 0 1 0 911407398 3026944 391 33554432000 4194304 5714118 140735052550176 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/14028/statm: 739 391 166 372 0 287 0
[startup+0.033352 s]
/proc/loadavg: 1.84 2.27 2.99 2/174 14028
/proc/meminfo: memFree=12841532/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=136288 CPUtime=0.03 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 1337 0 0 0 3 0 0 0 22 0 3 0 911407398 139558912 1212 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 34072 1213 178 372 0 33697 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 136288
[startup+0.100365 s]
/proc/loadavg: 1.84 2.27 2.99 2/174 14028
/proc/meminfo: memFree=12841532/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=136288 CPUtime=0.17 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 1764 0 0 0 15 2 0 0 22 0 3 0 911407398 139558912 1639 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 34072 1640 179 372 0 33697 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 136288
[startup+0.300314 s]
/proc/loadavg: 1.84 2.27 2.99 2/174 14028
/proc/meminfo: memFree=12841532/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=136288 CPUtime=0.57 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 2970 0 0 0 51 6 0 0 22 0 3 0 911407398 139558912 2828 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 34072 2829 179 372 0 33697 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 136288
[startup+0.700261 s]
/proc/loadavg: 1.84 2.27 2.99 2/174 14028
/proc/meminfo: memFree=12841532/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=136288 CPUtime=1.36 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 5715 0 0 0 122 14 0 0 22 0 3 0 911407398 139558912 5370 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 34072 5371 179 372 0 33697 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 136288
[startup+1.50108 s]
/proc/loadavg: 2.01 2.29 2.99 5/182 14043
/proc/meminfo: memFree=12697532/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=136432 CPUtime=2.97 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 10473 0 0 0 268 29 0 0 22 0 3 0 911407398 139706368 10016 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 34108 10016 179 372 0 33733 0
[pid=14028/tid=14030] ppid=14026 vsize=136432 CPUtime=1.46 cores=0,2,4,6
/proc/14028/task/14030/stat : 14030 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 2159 0 0 0 145 1 0 0 20 0 3 0 911407400 139706368 10016 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=14028/tid=14031] ppid=14026 vsize=136432 CPUtime=1.47 cores=0,2,4,6
/proc/14028/task/14031/stat : 14031 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 7541 0 0 0 120 27 0 0 18 0 3 0 911407400 139706368 10016 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 136432
[startup+3.10082 s]
/proc/loadavg: 2.01 2.29 2.99 5/182 14043
/proc/meminfo: memFree=12685008/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=136432 CPUtime=6.17 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 12356 0 0 0 581 36 0 0 22 0 3 0 911407398 139706368 11873 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 34108 11873 179 372 0 33733 0
[pid=14028/tid=14030] ppid=14026 vsize=136432 CPUtime=3.07 cores=0,2,4,6
/proc/14028/task/14030/stat : 14030 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 2915 0 0 0 303 4 0 0 25 0 3 0 911407400 139706368 11873 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=14028/tid=14031] ppid=14026 vsize=136432 CPUtime=3.06 cores=0,2,4,6
/proc/14028/task/14031/stat : 14031 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 8668 0 0 0 275 31 0 0 19 0 3 0 911407400 139706368 11873 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 136432
[startup+6.30124 s]
/proc/loadavg: 2.01 2.29 2.99 5/182 14043
/proc/meminfo: memFree=12667180/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=136636 CPUtime=12.56 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 15312 0 0 0 1209 47 0 0 22 0 3 0 911407398 139915264 14829 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 34159 14829 180 372 0 33784 0
[pid=14028/tid=14030] ppid=14026 vsize=136636 CPUtime=6.26 cores=0,2,4,6
/proc/14028/task/14030/stat : 14030 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 4350 0 0 0 619 7 0 0 25 0 3 0 911407400 139915264 14829 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=14028/tid=14031] ppid=14026 vsize=136636 CPUtime=6.26 cores=0,2,4,6
/proc/14028/task/14031/stat : 14031 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 10189 0 0 0 587 39 0 0 25 0 3 0 911407400 139915264 14829 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 136636
[startup+12.7011 s]
/proc/loadavg: 2.32 2.35 3.01 5/182 14044
/proc/meminfo: memFree=12618568/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=136984 CPUtime=25.36 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 20573 0 0 0 2471 65 0 0 22 0 3 0 911407398 140271616 20090 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 34246 20090 180 372 0 33871 0
[pid=14028/tid=14030] ppid=14026 vsize=136984 CPUtime=12.67 cores=0,2,4,6
/proc/14028/task/14030/stat : 14030 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 7335 0 0 0 1252 15 0 0 25 0 3 0 911407400 140271616 20090 33554432000 4194304 5714118 140735052550176 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=14028/tid=14031] ppid=14026 vsize=136984 CPUtime=12.66 cores=0,2,4,6
/proc/14028/task/14031/stat : 14031 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 12465 0 0 0 1216 50 0 0 25 0 3 0 911407400 140271616 20090 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 136984
[startup+25.5007 s]
/proc/loadavg: 2.58 2.40 3.02 5/182 14044
/proc/meminfo: memFree=12585320/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=137332 CPUtime=50.97 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 26970 0 0 0 5010 87 0 0 22 0 3 0 911407398 140627968 26431 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 34333 26431 180 372 0 33958 0
[pid=14028/tid=14030] ppid=14026 vsize=137332 CPUtime=25.47 cores=0,2,4,6
/proc/14028/task/14030/stat : 14030 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 12284 0 0 0 2521 26 0 0 25 0 3 0 911407400 140627968 26431 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=14028/tid=14031] ppid=14026 vsize=137332 CPUtime=25.46 cores=0,2,4,6
/proc/14028/task/14031/stat : 14031 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 13913 0 0 0 2486 60 0 0 25 0 3 0 911407400 140627968 26431 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 137332
[startup+51.101 s]
/proc/loadavg: 3.06 2.53 3.04 5/182 14045
/proc/meminfo: memFree=12563840/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=138040 CPUtime=102.17 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 30943 0 0 0 10094 123 0 0 22 0 3 0 911407398 141352960 30261 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 34510 30261 180 372 0 34135 0
[pid=14028/tid=14030] ppid=14026 vsize=138040 CPUtime=51.06 cores=0,2,4,6
/proc/14028/task/14030/stat : 14030 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 14375 0 0 0 5066 40 0 0 25 0 3 0 911407400 141352960 30261 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14028/tid=14031] ppid=14026 vsize=138040 CPUtime=51.06 cores=0,2,4,6
/proc/14028/task/14031/stat : 14031 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 15795 0 0 0 5024 82 0 0 25 0 3 0 911407400 141352960 30261 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 138040
[startup+102.307 s]
/proc/loadavg: 3.62 2.78 3.09 5/182 14046
/proc/meminfo: memFree=12492392/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=269668 CPUtime=204.58 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 45592 0 0 0 20242 216 0 0 22 0 3 0 911407398 276140032 44872 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 67417 44872 180 372 0 67042 0
[pid=14028/tid=14030] ppid=14026 vsize=269668 CPUtime=102.27 cores=0,2,4,6
/proc/14028/task/14030/stat : 14030 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 24411 0 0 0 10139 88 0 0 25 0 3 0 911407400 276140032 44872 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=14028/tid=14031] ppid=14026 vsize=269668 CPUtime=102.27 cores=0,2,4,6
/proc/14028/task/14031/stat : 14031 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 20408 0 0 0 10100 127 0 0 25 0 3 0 911407400 276140032 44872 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.58
Current children cumulated vsize (KiB) 269668
[startup+162.301 s]
/proc/loadavg: 3.86 3.00 3.15 5/182 14048
/proc/meminfo: memFree=12384728/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=335352 CPUtime=324.57 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 60328 0 0 0 32173 284 0 0 22 0 3 0 911407398 343400448 59608 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 83838 59608 180 372 0 83463 0
[pid=14028/tid=14030] ppid=14026 vsize=335352 CPUtime=162.27 cores=0,2,4,6
/proc/14028/task/14030/stat : 14030 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 36246 0 0 0 16112 115 0 0 25 0 3 0 911407400 343400448 59608 33554432000 4194304 5714118 140735052550176 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=14028/tid=14031] ppid=14026 vsize=335352 CPUtime=162.27 cores=0,2,4,6
/proc/14028/task/14031/stat : 14031 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 23309 0 0 0 16058 169 0 0 25 0 3 0 911407400 343400448 59608 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 324.57
Current children cumulated vsize (KiB) 335352
[startup+222.301 s]
/proc/loadavg: 3.95 3.18 3.20 5/182 14049
/proc/meminfo: memFree=12320944/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=335484 CPUtime=444.58 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 71258 0 0 0 44113 345 0 0 22 0 3 0 911407398 343535616 70501 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 83871 70501 180 372 0 83496 0
[pid=14028/tid=14030] ppid=14026 vsize=335484 CPUtime=222.27 cores=0,2,4,6
/proc/14028/task/14030/stat : 14030 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 44709 0 0 0 22087 140 0 0 25 0 3 0 911407400 343535616 70501 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=14028/tid=14031] ppid=14026 vsize=335484 CPUtime=222.27 cores=0,2,4,6
/proc/14028/task/14031/stat : 14031 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 25776 0 0 0 22023 204 0 0 25 0 3 0 911407400 343535616 70501 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 444.58
Current children cumulated vsize (KiB) 335484
[startup+282.301 s]
/proc/loadavg: 3.98 3.32 3.24 5/182 14051
/proc/meminfo: memFree=12240672/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=401336 CPUtime=564.58 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 82073 0 0 0 56046 412 0 0 22 0 3 0 911407398 410968064 81216 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 100334 81216 180 372 0 99959 0
[pid=14028/tid=14030] ppid=14026 vsize=401336 CPUtime=282.27 cores=0,2,4,6
/proc/14028/task/14030/stat : 14030 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 52558 0 0 0 28059 168 0 0 25 0 3 0 911407400 410968064 81216 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=14028/tid=14031] ppid=14026 vsize=401336 CPUtime=282.27 cores=0,2,4,6
/proc/14028/task/14031/stat : 14031 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 28742 0 0 0 27984 243 0 0 25 0 3 0 911407400 410968064 81216 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 564.58
Current children cumulated vsize (KiB) 401336
[startup+342.301 s]
/proc/loadavg: 4.05 3.46 3.29 5/182 14052
/proc/meminfo: memFree=12204924/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=401476 CPUtime=684.58 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 90540 0 0 0 67996 462 0 0 22 0 3 0 911407398 411111424 89300 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 100369 89300 180 372 0 99994 0
[pid=14028/tid=14030] ppid=14026 vsize=401476 CPUtime=342.27 cores=0,2,4,6
/proc/14028/task/14030/stat : 14030 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 60478 0 0 0 34039 188 0 0 25 0 3 0 911407400 411111424 89300 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=14028/tid=14031] ppid=14026 vsize=401476 CPUtime=342.27 cores=0,2,4,6
/proc/14028/task/14031/stat : 14031 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 29289 0 0 0 33954 273 0 0 25 0 3 0 911407400 411111424 89300 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 684.58
Current children cumulated vsize (KiB) 401476
[startup+402.301 s]
/proc/loadavg: 4.02 3.55 3.34 5/182 14054
/proc/meminfo: memFree=12179324/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=401388 CPUtime=804.59 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 97500 0 0 0 79921 538 0 0 22 0 3 0 911407398 411021312 95556 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 100347 95556 180 372 0 99972 0
[pid=14028/tid=14030] ppid=14026 vsize=401388 CPUtime=402.27 cores=0,2,4,6
/proc/14028/task/14030/stat : 14030 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 64282 0 0 0 40004 223 0 0 25 0 3 0 911407400 411021312 95556 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=14028/tid=14031] ppid=14026 vsize=401388 CPUtime=402.28 cores=0,2,4,6
/proc/14028/task/14031/stat : 14031 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 32445 0 0 0 39914 314 0 0 25 0 3 0 911407400 411021312 95556 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 804.59
Current children cumulated vsize (KiB) 401388
[startup+462.301 s]
/proc/loadavg: 4.00 3.63 3.37 5/182 14056
/proc/meminfo: memFree=12165032/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=401388 CPUtime=924.59 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 99155 0 0 0 91864 595 0 0 22 0 3 0 911407398 411021312 96781 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 100347 96781 180 372 0 99972 0
[pid=14028/tid=14030] ppid=14026 vsize=401388 CPUtime=462.27 cores=0,2,4,6
/proc/14028/task/14030/stat : 14030 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 64661 0 0 0 45981 246 0 0 25 0 3 0 911407400 411021312 96781 33554432000 4194304 5714118 140735052550176 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=14028/tid=14031] ppid=14026 vsize=401388 CPUtime=462.28 cores=0,2,4,6
/proc/14028/task/14031/stat : 14031 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 33721 0 0 0 45880 348 0 0 25 0 3 0 911407400 411021312 96781 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 924.59
Current children cumulated vsize (KiB) 401388
[startup+522.301 s]
/proc/loadavg: 4.00 3.70 3.41 5/182 14057
/proc/meminfo: memFree=12150004/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=401672 CPUtime=1044.59 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 99605 0 0 0 103809 650 0 0 22 0 3 0 911407398 411312128 96967 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 100418 96967 180 372 0 100043 0
[pid=14028/tid=14030] ppid=14026 vsize=401672 CPUtime=522.28 cores=0,2,4,6
/proc/14028/task/14030/stat : 14030 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 64684 0 0 0 51955 273 0 0 25 0 3 0 911407400 411312128 96967 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=14028/tid=14031] ppid=14026 vsize=401672 CPUtime=522.28 cores=0,2,4,6
/proc/14028/task/14031/stat : 14031 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 34148 0 0 0 51851 377 0 0 25 0 3 0 911407400 411312128 96967 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1044.59
Current children cumulated vsize (KiB) 401672
[startup+582.301 s]
/proc/loadavg: 4.00 3.75 3.45 5/182 14059
/proc/meminfo: memFree=12105216/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=467840 CPUtime=1164.59 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 103096 0 0 0 115747 712 0 0 22 0 3 0 911407398 479068160 100277 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 116960 100277 180 372 0 116585 0
[pid=14028/tid=14030] ppid=14026 vsize=467840 CPUtime=582.28 cores=0,2,4,6
/proc/14028/task/14030/stat : 14030 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 64905 0 0 0 57933 295 0 0 25 0 3 0 911407400 479068160 100277 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=14028/tid=14031] ppid=14026 vsize=467840 CPUtime=582.28 cores=0,2,4,6
/proc/14028/task/14031/stat : 14031 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 37418 0 0 0 57811 417 0 0 25 0 3 0 911407400 479068160 100277 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1164.59
Current children cumulated vsize (KiB) 467840
[startup+642.301 s]
/proc/loadavg: 4.00 3.79 3.48 5/182 14060
/proc/meminfo: memFree=12083380/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=467984 CPUtime=1284.61 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 104071 0 0 0 127698 763 0 0 22 0 3 0 911407398 479215616 100755 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 116996 100755 180 372 0 116621 0
[pid=14028/tid=14030] ppid=14026 vsize=467984 CPUtime=642.28 cores=0,2,4,6
/proc/14028/task/14030/stat : 14030 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 65033 0 0 0 63911 317 0 0 25 0 3 0 911407400 479215616 100755 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=14028/tid=14031] ppid=14026 vsize=467984 CPUtime=642.29 cores=0,2,4,6
/proc/14028/task/14031/stat : 14031 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 38265 0 0 0 63784 445 0 0 25 0 3 0 911407400 479215616 100755 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1284.61
Current children cumulated vsize (KiB) 467984
[startup+702.301 s]
/proc/loadavg: 4.00 3.83 3.51 5/182 14062
/proc/meminfo: memFree=12078772/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=467984 CPUtime=1404.6 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 104615 0 0 0 139649 811 0 0 22 0 3 0 911407398 479215616 101299 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 116996 101299 180 372 0 116621 0
[pid=14028/tid=14030] ppid=14026 vsize=467984 CPUtime=702.28 cores=0,2,4,6
/proc/14028/task/14030/stat : 14030 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 65111 0 0 0 69892 336 0 0 25 0 3 0 911407400 479215616 101299 33554432000 4194304 5714118 140735052550176 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=14028/tid=14031] ppid=14026 vsize=467984 CPUtime=702.29 cores=0,2,4,6
/proc/14028/task/14031/stat : 14031 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 38731 0 0 0 69754 475 0 0 25 0 3 0 911407400 479215616 101299 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1404.6
Current children cumulated vsize (KiB) 467984
[startup+762.307 s]
/proc/loadavg: 4.00 3.86 3.54 5/182 14064
/proc/meminfo: memFree=12068568/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=533520 CPUtime=1524.62 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 107688 0 0 0 151605 857 0 0 22 0 3 0 911407398 546324480 103700 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 133380 103700 180 372 0 133005 0
[pid=14028/tid=14030] ppid=14026 vsize=533520 CPUtime=762.3 cores=0,2,4,6
/proc/14028/task/14030/stat : 14030 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 67476 0 0 0 75876 354 0 0 25 0 3 0 911407400 546324480 103700 33554432000 4194304 5714118 140735052550176 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=14028/tid=14031] ppid=14026 vsize=533520 CPUtime=762.3 cores=0,2,4,6
/proc/14028/task/14031/stat : 14031 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 39439 0 0 0 75727 503 0 0 25 0 3 0 911407400 546324480 103700 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1524.62
Current children cumulated vsize (KiB) 533520
[startup+822.301 s]
/proc/loadavg: 4.00 3.88 3.56 5/182 14074
/proc/meminfo: memFree=12029360/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=533660 CPUtime=1644.61 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 117893 0 0 0 163538 923 0 0 22 0 3 0 911407398 546467840 113597 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 133415 113597 180 372 0 133040 0
[pid=14028/tid=14030] ppid=14026 vsize=533660 CPUtime=822.28 cores=0,2,4,6
/proc/14028/task/14030/stat : 14030 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 74624 0 0 0 81843 385 0 0 25 0 3 0 911407400 546467840 113597 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14028/tid=14031] ppid=14026 vsize=533660 CPUtime=822.29 cores=0,2,4,6
/proc/14028/task/14031/stat : 14031 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 42496 0 0 0 81692 537 0 0 25 0 3 0 911407400 546467840 113597 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1644.61
Current children cumulated vsize (KiB) 533660
[startup+882.301 s]
/proc/loadavg: 4.00 3.90 3.58 5/182 14076
/proc/meminfo: memFree=11992392/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=599384 CPUtime=1764.61 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 127221 0 0 0 175480 981 0 0 22 0 3 0 911407398 613769216 122924 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 149846 122924 180 372 0 149471 0
[pid=14028/tid=14030] ppid=14026 vsize=599384 CPUtime=882.28 cores=0,2,4,6
/proc/14028/task/14030/stat : 14030 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 83219 0 0 0 87816 412 0 0 25 0 3 0 911407400 613769216 122924 33554432000 4194304 5714118 140735052550176 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=14028/tid=14031] ppid=14026 vsize=599384 CPUtime=882.29 cores=0,2,4,6
/proc/14028/task/14031/stat : 14031 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 43229 0 0 0 87661 568 0 0 25 0 3 0 911407400 613769216 122924 33554432000 4194304 5714118 140735052550176 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1764.61
Current children cumulated vsize (KiB) 599384
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.07 3.92 3.60 5/182 14076
/proc/meminfo: memFree=11989776/32951124 swapFree=67056684/67111528
[pid=14028] ppid=14026 vsize=599384 CPUtime=1800.02 cores=0,2,4,6
/proc/14028/stat : 14028 (pwbo1.1) S 14026 14028 12151 0 -1 4202496 127902 0 0 0 179010 992 0 0 22 0 3 0 911407398 613769216 123518 33554432000 4194304 5714118 140735052550176 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/14028/statm: 149846 123518 180 372 0 149471 0
[pid=14028/tid=14030] ppid=14026 vsize=599384 CPUtime=899.99 cores=0,2,4,6
/proc/14028/task/14030/stat : 14030 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 83821 0 0 0 89583 416 0 0 25 0 3 0 911407400 613769216 123518 33554432000 4194304 5714118 140735052550176 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=14028/tid=14031] ppid=14026 vsize=599384 CPUtime=899.99 cores=0,2,4,6
/proc/14028/task/14031/stat : 14031 (pwbo1.1) R 14026 14028 12151 0 -1 4202560 43308 0 0 0 89424 575 0 0 25 0 3 0 911407400 613769216 123518 33554432000 4194304 5714118 140735052550176 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 599384
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.035
CPU time (s): 1800.07
CPU user time (s): 1790.12
CPU system time (s): 9.94749
CPU usage (%): 199.999
Max. virtual memory (cumulated for all children) (KiB): 599384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.12
system time used= 9.94749
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127907
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= 87
involuntary context switches= 11847
runsolver used 1.3378 second user time and 2.86756 second system time
The end