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-3500353-1307994160/watcher-3500353-1307994160 -o /var/tmp/evaluation-result-3500353-1307994160/solver-3500353-1307994160 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500353-1307994160.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: 4.00 4.00 3.91 4/179 31332
/proc/meminfo: memFree=3687428/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=3280 CPUtime=0 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) R 31330 31332 30373 0 -1 4202496 428 0 0 0 0 0 0 0 25 0 1 0 911014552 3358720 380 33554432000 4194304 5714118 140736254644096 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/31332/statm: 820 380 167 372 0 283 0
[startup+0.0393689 s]
/proc/loadavg: 4.00 4.00 3.91 4/179 31332
/proc/meminfo: memFree=3687428/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=6588 CPUtime=0.03 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) R 31330 31332 30373 0 -1 4202496 1361 0 0 0 3 0 0 0 25 0 1 0 911014552 6746112 1313 33554432000 4194304 5714118 140736254644096 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/31332/statm: 1647 1314 286 372 0 1110 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6588
[startup+0.100357 s]
/proc/loadavg: 4.00 4.00 3.91 4/179 31332
/proc/meminfo: memFree=3687428/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=182628 CPUtime=0.14 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 13649 0 0 0 11 3 0 0 25 0 3 0 911014552 187011072 13314 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 45657 13328 177 372 0 45282 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 182628
[startup+0.300337 s]
/proc/loadavg: 4.00 4.00 3.91 4/179 31332
/proc/meminfo: memFree=3687428/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=203356 CPUtime=0.54 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 30925 0 0 0 47 7 0 0 25 0 3 0 911014552 208236544 30187 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 50839 30187 177 372 0 50464 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 203356
[startup+0.700256 s]
/proc/loadavg: 4.00 4.00 3.91 4/179 31332
/proc/meminfo: memFree=3687428/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=204636 CPUtime=1.33 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 31830 0 0 0 126 7 0 0 25 0 3 0 911014552 209547264 30412 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 51159 30412 178 372 0 50784 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 204636
[startup+1.50113 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31335
/proc/meminfo: memFree=3565784/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=204636 CPUtime=2.94 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 32246 0 0 0 286 8 0 0 25 0 3 0 911014552 209547264 30592 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 51159 30592 178 372 0 50784 0
[pid=31332/tid=31334] ppid=31330 vsize=204636 CPUtime=1.45 cores=1,3,5,7
/proc/31332/task/31334/stat : 31334 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 3383 0 0 0 144 1 0 0 20 0 3 0 911014556 209547264 30592 33554432000 4194304 5714118 140736254644096 18446744073709551615 4972928 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31332/tid=31335] ppid=31330 vsize=204636 CPUtime=1.44 cores=1,3,5,7
/proc/31332/task/31335/stat : 31335 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 27221 0 0 0 138 6 0 0 25 0 3 0 911014556 209547264 30592 33554432000 4194304 5714118 140736254644096 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 204636
[startup+3.10085 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31335
/proc/meminfo: memFree=3563428/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=204636 CPUtime=6.14 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 34044 0 0 0 604 10 0 0 25 0 3 0 911014552 209547264 31225 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 51159 31225 178 372 0 50784 0
[pid=31332/tid=31334] ppid=31330 vsize=204636 CPUtime=3.05 cores=1,3,5,7
/proc/31332/task/31334/stat : 31334 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 5181 0 0 0 303 2 0 0 25 0 3 0 911014556 209547264 31225 33554432000 4194304 5714118 140736254644096 18446744073709551615 4969545 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31332/tid=31335] ppid=31330 vsize=204636 CPUtime=3.04 cores=1,3,5,7
/proc/31332/task/31335/stat : 31335 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 27221 0 0 0 297 7 0 0 25 0 3 0 911014556 209547264 31225 33554432000 4194304 5714118 140736254644096 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 204636
[startup+6.30032 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31335
/proc/meminfo: memFree=3553736/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=204636 CPUtime=12.54 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 37210 0 0 0 1232 22 0 0 25 0 3 0 911014552 209547264 32867 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 51159 32867 179 372 0 50784 0
[pid=31332/tid=31334] ppid=31330 vsize=204636 CPUtime=6.24 cores=1,3,5,7
/proc/31332/task/31334/stat : 31334 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 8346 0 0 0 612 12 0 0 25 0 3 0 911014556 209547264 32867 33554432000 4194304 5714118 140736254644096 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31332/tid=31335] ppid=31330 vsize=204636 CPUtime=6.24 cores=1,3,5,7
/proc/31332/task/31335/stat : 31335 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 27222 0 0 0 615 9 0 0 25 0 3 0 911014556 209547264 32867 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 204636
[startup+12.7003 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31335
/proc/meminfo: memFree=3535292/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=204636 CPUtime=25.33 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 39539 0 0 0 2491 42 0 0 25 0 3 0 911014552 209547264 35196 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 51159 35196 179 372 0 50784 0
[pid=31332/tid=31334] ppid=31330 vsize=204636 CPUtime=12.64 cores=1,3,5,7
/proc/31332/task/31334/stat : 31334 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 10579 0 0 0 1234 30 0 0 25 0 3 0 911014556 209547264 35196 33554432000 4194304 5714118 140736254644096 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31332/tid=31335] ppid=31330 vsize=204636 CPUtime=12.64 cores=1,3,5,7
/proc/31332/task/31335/stat : 31335 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 27318 0 0 0 1253 11 0 0 25 0 3 0 911014556 209547264 35196 33554432000 4194304 5714118 140736254644096 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 204636
[startup+25.5011 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31335
/proc/meminfo: memFree=3512844/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=270556 CPUtime=50.94 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 42319 0 0 0 5028 66 0 0 25 0 3 0 911014552 277049344 37975 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 67639 37975 180 372 0 67264 0
[pid=31332/tid=31334] ppid=31330 vsize=270556 CPUtime=25.44 cores=1,3,5,7
/proc/31332/task/31334/stat : 31334 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 11974 0 0 0 2495 49 0 0 25 0 3 0 911014556 277049344 37975 33554432000 4194304 5714118 140736254644096 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31332/tid=31335] ppid=31330 vsize=270556 CPUtime=25.44 cores=1,3,5,7
/proc/31332/task/31335/stat : 31335 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 28703 0 0 0 2528 16 0 0 25 0 3 0 911014556 277049344 37975 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319969 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 270556
[startup+51.1008 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31336
/proc/meminfo: memFree=3378212/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=270556 CPUtime=102.14 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 53313 0 0 0 10096 118 0 0 25 0 3 0 911014552 277049344 48969 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 67639 48969 180 372 0 67264 0
[pid=31332/tid=31334] ppid=31330 vsize=270556 CPUtime=51.04 cores=1,3,5,7
/proc/31332/task/31334/stat : 31334 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 17485 0 0 0 5012 92 0 0 25 0 3 0 911014556 277049344 48969 33554432000 4194304 5714118 140736254644096 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31332/tid=31335] ppid=31330 vsize=270556 CPUtime=51.04 cores=1,3,5,7
/proc/31332/task/31335/stat : 31335 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 34186 0 0 0 5079 25 0 0 25 0 3 0 911014556 277049344 48969 33554432000 4194304 5714118 140736254644096 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 270556
[startup+102.306 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31337
/proc/meminfo: memFree=3195892/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=401628 CPUtime=204.55 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 74937 0 0 0 20278 177 0 0 25 0 3 0 911014552 411267072 70593 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 100407 70593 180 372 0 100032 0
[pid=31332/tid=31334] ppid=31330 vsize=401628 CPUtime=102.25 cores=1,3,5,7
/proc/31332/task/31334/stat : 31334 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 21744 0 0 0 10093 132 0 0 25 0 3 0 911014556 411267072 70593 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31332/tid=31335] ppid=31330 vsize=401628 CPUtime=102.25 cores=1,3,5,7
/proc/31332/task/31335/stat : 31335 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 51551 0 0 0 10181 44 0 0 25 0 3 0 911014556 411267072 70593 33554432000 4194304 5714118 140736254644096 18446744073709551615 4305171 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 401628
[startup+162.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31339
/proc/meminfo: memFree=2915868/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=467648 CPUtime=324.55 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 108821 0 0 0 32211 244 0 0 25 0 3 0 911014552 478871552 104477 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 116912 104477 180 372 0 116537 0
[pid=31332/tid=31334] ppid=31330 vsize=467648 CPUtime=162.25 cores=1,3,5,7
/proc/31332/task/31334/stat : 31334 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 31231 0 0 0 16056 169 0 0 25 0 3 0 911014556 478871552 104477 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31332/tid=31335] ppid=31330 vsize=467648 CPUtime=162.24 cores=1,3,5,7
/proc/31332/task/31335/stat : 31335 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 75948 0 0 0 16150 74 0 0 25 0 3 0 911014556 478871552 104477 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 324.55
Current children cumulated vsize (KiB) 467648
[startup+222.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31340
/proc/meminfo: memFree=2849620/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=533184 CPUtime=444.54 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 116918 0 0 0 44166 288 0 0 25 0 3 0 911014552 545980416 112574 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 133296 112574 180 372 0 132921 0
[pid=31332/tid=31334] ppid=31330 vsize=533184 CPUtime=222.25 cores=1,3,5,7
/proc/31332/task/31334/stat : 31334 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 34708 0 0 0 22029 196 0 0 25 0 3 0 911014556 545980416 112574 33554432000 4194304 5714118 140736254644096 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31332/tid=31335] ppid=31330 vsize=533184 CPUtime=222.24 cores=1,3,5,7
/proc/31332/task/31335/stat : 31335 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 80568 0 0 0 22132 92 0 0 25 0 3 0 911014556 545980416 112574 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 444.54
Current children cumulated vsize (KiB) 533184
[startup+282.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31342
/proc/meminfo: memFree=2786948/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=598720 CPUtime=564.54 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 128586 0 0 0 56119 335 0 0 25 0 3 0 911014552 613089280 124242 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 149680 124242 180 372 0 149305 0
[pid=31332/tid=31334] ppid=31330 vsize=598720 CPUtime=282.25 cores=1,3,5,7
/proc/31332/task/31334/stat : 31334 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 40947 0 0 0 27995 230 0 0 25 0 3 0 911014556 613089280 124242 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31332/tid=31335] ppid=31330 vsize=598720 CPUtime=282.24 cores=1,3,5,7
/proc/31332/task/31335/stat : 31335 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 85997 0 0 0 28120 104 0 0 25 0 3 0 911014556 613089280 124242 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 564.54
Current children cumulated vsize (KiB) 598720
[startup+342.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31344
/proc/meminfo: memFree=2736456/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=599204 CPUtime=684.55 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 135029 0 0 0 68057 398 0 0 25 0 3 0 911014552 613584896 130685 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 149801 130685 180 372 0 149426 0
[pid=31332/tid=31334] ppid=31330 vsize=599204 CPUtime=342.25 cores=1,3,5,7
/proc/31332/task/31334/stat : 31334 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 42308 0 0 0 33946 279 0 0 25 0 3 0 911014556 613584896 130685 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31332/tid=31335] ppid=31330 vsize=599204 CPUtime=342.24 cores=1,3,5,7
/proc/31332/task/31335/stat : 31335 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 91079 0 0 0 34107 117 0 0 25 0 3 0 911014556 613584896 130685 33554432000 4194304 5714118 140736254644096 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 684.55
Current children cumulated vsize (KiB) 599204
[startup+402.301 s]
/proc/loadavg: 4.07 4.02 3.91 5/182 31345
/proc/meminfo: memFree=2678512/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=664632 CPUtime=804.55 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 140281 0 0 0 79977 478 0 0 25 0 3 0 911014552 680583168 135656 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 166158 135656 180 372 0 165783 0
[pid=31332/tid=31334] ppid=31330 vsize=664632 CPUtime=402.25 cores=1,3,5,7
/proc/31332/task/31334/stat : 31334 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 43927 0 0 0 39879 346 0 0 25 0 3 0 911014556 680583168 135656 33554432000 4194304 5714118 140736254644096 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31332/tid=31335] ppid=31330 vsize=664632 CPUtime=402.25 cores=1,3,5,7
/proc/31332/task/31335/stat : 31335 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 94712 0 0 0 40094 131 0 0 25 0 3 0 911014556 680583168 135656 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 804.55
Current children cumulated vsize (KiB) 664632
[startup+462.301 s]
/proc/loadavg: 4.02 4.01 3.91 5/182 31347
/proc/meminfo: memFree=2635576/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=664632 CPUtime=924.56 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 140395 0 0 0 91924 532 0 0 25 0 3 0 911014552 680583168 135770 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 166158 135770 180 372 0 165783 0
[pid=31332/tid=31334] ppid=31330 vsize=664632 CPUtime=462.25 cores=1,3,5,7
/proc/31332/task/31334/stat : 31334 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 44015 0 0 0 45832 393 0 0 25 0 3 0 911014556 680583168 135770 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31332/tid=31335] ppid=31330 vsize=664632 CPUtime=462.25 cores=1,3,5,7
/proc/31332/task/31335/stat : 31335 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 94738 0 0 0 46087 138 0 0 25 0 3 0 911014556 680583168 135770 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 924.56
Current children cumulated vsize (KiB) 664632
[startup+522.301 s]
/proc/loadavg: 4.01 4.00 3.91 5/182 31348
/proc/meminfo: memFree=2589396/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=664768 CPUtime=1044.56 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 140434 0 0 0 103862 594 0 0 25 0 3 0 911014552 680722432 135809 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 166192 135809 180 372 0 165817 0
[pid=31332/tid=31334] ppid=31330 vsize=664768 CPUtime=522.25 cores=1,3,5,7
/proc/31332/task/31334/stat : 31334 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 44020 0 0 0 51776 449 0 0 25 0 3 0 911014556 680722432 135809 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31332/tid=31335] ppid=31330 vsize=664768 CPUtime=522.25 cores=1,3,5,7
/proc/31332/task/31335/stat : 31335 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 94772 0 0 0 52081 144 0 0 25 0 3 0 911014556 680722432 135809 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1044.56
Current children cumulated vsize (KiB) 664768
[startup+582.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31350
/proc/meminfo: memFree=2537412/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=665092 CPUtime=1164.56 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 144121 0 0 0 115808 648 0 0 25 0 3 0 911014552 681054208 139496 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 166273 139496 180 372 0 165898 0
[pid=31332/tid=31334] ppid=31330 vsize=665092 CPUtime=582.25 cores=1,3,5,7
/proc/31332/task/31334/stat : 31334 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 44062 0 0 0 57733 492 0 0 25 0 3 0 911014556 681054208 139496 33554432000 4194304 5714118 140736254644096 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31332/tid=31335] ppid=31330 vsize=665092 CPUtime=582.25 cores=1,3,5,7
/proc/31332/task/31335/stat : 31335 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 98417 0 0 0 58070 155 0 0 25 0 3 0 911014556 681054208 139496 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1164.56
Current children cumulated vsize (KiB) 665092
[startup+642.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31352
/proc/meminfo: memFree=2483676/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=665092 CPUtime=1284.57 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 148946 0 0 0 127766 691 0 0 25 0 3 0 911014552 681054208 144321 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 166273 144321 180 372 0 165898 0
[pid=31332/tid=31334] ppid=31330 vsize=665092 CPUtime=642.26 cores=1,3,5,7
/proc/31332/task/31334/stat : 31334 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 44204 0 0 0 63702 524 0 0 25 0 3 0 911014556 681054208 144321 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319778 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31332/tid=31335] ppid=31330 vsize=665092 CPUtime=642.25 cores=1,3,5,7
/proc/31332/task/31335/stat : 31335 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 103100 0 0 0 64059 166 0 0 25 0 3 0 911014556 681054208 144321 33554432000 4194304 5714118 140736254644096 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1284.57
Current children cumulated vsize (KiB) 665092
[startup+702.3 s]
/proc/loadavg: 4.04 4.01 3.92 5/182 31353
/proc/meminfo: memFree=2437996/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=665596 CPUtime=1404.56 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 155382 0 0 0 139718 738 0 0 25 0 3 0 911014552 681570304 150757 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 166399 150757 180 372 0 166024 0
[pid=31332/tid=31334] ppid=31330 vsize=665596 CPUtime=702.26 cores=1,3,5,7
/proc/31332/task/31334/stat : 31334 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 45359 0 0 0 69666 560 0 0 25 0 3 0 911014556 681570304 150757 33554432000 4194304 5714118 140736254644096 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31332/tid=31335] ppid=31330 vsize=665596 CPUtime=702.25 cores=1,3,5,7
/proc/31332/task/31335/stat : 31335 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 108381 0 0 0 70048 177 0 0 25 0 3 0 911014556 681570304 150757 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1404.56
Current children cumulated vsize (KiB) 665596
[startup+762.306 s]
/proc/loadavg: 4.01 4.01 3.92 5/182 31355
/proc/meminfo: memFree=2365292/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=732340 CPUtime=1524.57 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 166168 0 0 0 151673 784 0 0 25 0 3 0 911014552 749916160 161543 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 183085 161543 180 372 0 182710 0
[pid=31332/tid=31334] ppid=31330 vsize=732340 CPUtime=762.26 cores=1,3,5,7
/proc/31332/task/31334/stat : 31334 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 51538 0 0 0 75630 596 0 0 25 0 3 0 911014556 749916160 161543 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31332/tid=31335] ppid=31330 vsize=732340 CPUtime=762.26 cores=1,3,5,7
/proc/31332/task/31335/stat : 31335 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 112988 0 0 0 76039 187 0 0 25 0 3 0 911014556 749916160 161543 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1524.57
Current children cumulated vsize (KiB) 732340
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 31356
/proc/meminfo: memFree=2307956/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=798012 CPUtime=1644.56 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 173261 0 0 0 163630 826 0 0 25 0 3 0 911014552 817164288 168635 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 199503 168635 180 372 0 199128 0
[pid=31332/tid=31334] ppid=31330 vsize=798012 CPUtime=822.26 cores=1,3,5,7
/proc/31332/task/31334/stat : 31334 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 55200 0 0 0 81595 631 0 0 25 0 3 0 911014556 817164288 168635 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31332/tid=31335] ppid=31330 vsize=798012 CPUtime=822.26 cores=1,3,5,7
/proc/31332/task/31335/stat : 31335 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 116419 0 0 0 82031 195 0 0 25 0 3 0 911014556 817164288 168635 33554432000 4194304 5714118 140736254644096 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1644.56
Current children cumulated vsize (KiB) 798012
[startup+882.3 s]
/proc/loadavg: 3.87 3.97 3.91 5/182 31399
/proc/meminfo: memFree=2995252/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=798712 CPUtime=1764.57 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 182006 0 0 0 175591 866 0 0 25 0 3 0 911014552 817881088 177380 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 199678 177380 180 372 0 199303 0
[pid=31332/tid=31334] ppid=31330 vsize=798712 CPUtime=882.25 cores=1,3,5,7
/proc/31332/task/31334/stat : 31334 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 60678 0 0 0 87565 660 0 0 25 0 3 0 911014556 817881088 177380 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31332/tid=31335] ppid=31330 vsize=798712 CPUtime=882.25 cores=1,3,5,7
/proc/31332/task/31335/stat : 31335 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 119686 0 0 0 88021 204 0 0 25 0 3 0 911014556 817881088 177380 33554432000 4194304 5714118 140736254644096 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1764.57
Current children cumulated vsize (KiB) 798712
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.1 s]
/proc/loadavg: 3.90 3.97 3.91 5/182 31400
/proc/meminfo: memFree=2976788/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=798712 CPUtime=1800.17 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 183753 0 0 0 179143 874 0 0 25 0 3 0 911014552 817881088 179127 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 199678 179127 180 372 0 199303 0
[pid=31332/tid=31334] ppid=31330 vsize=798712 CPUtime=900.06 cores=1,3,5,7
/proc/31332/task/31334/stat : 31334 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 61570 0 0 0 89339 667 0 0 25 0 3 0 911014556 817881088 179127 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31332/tid=31335] ppid=31330 vsize=798712 CPUtime=900.06 cores=1,3,5,7
/proc/31332/task/31335/stat : 31335 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 120541 0 0 0 89800 206 0 0 25 0 3 0 911014556 817881088 179127 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 798712
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.1 s]
/proc/loadavg: 3.90 3.97 3.91 5/182 31400
/proc/meminfo: memFree=2976788/32951124 swapFree=67054520/67111528
[pid=31332] ppid=31330 vsize=798712 CPUtime=1800.17 cores=1,3,5,7
/proc/31332/stat : 31332 (pwbo1.1) S 31330 31332 30373 0 -1 4202496 183753 0 0 0 179143 874 0 0 25 0 3 0 911014552 817881088 179127 33554432000 4194304 5714118 140736254644096 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/31332/statm: 199678 179127 180 372 0 199303 0
[pid=31332/tid=31334] ppid=31330 vsize=798712 CPUtime=900.06 cores=1,3,5,7
/proc/31332/task/31334/stat : 31334 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 61570 0 0 0 89339 667 0 0 25 0 3 0 911014556 817881088 179127 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=31332/tid=31335] ppid=31330 vsize=798712 CPUtime=900.06 cores=1,3,5,7
/proc/31332/task/31335/stat : 31335 (pwbo1.1) R 31330 31332 30373 0 -1 4202560 120541 0 0 0 89800 206 0 0 25 0 3 0 911014556 817881088 179127 33554432000 4194304 5714118 140736254644096 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 798712
Child status: 0
Real time (s): 900.139
CPU time (s): 1800.22
CPU user time (s): 1791.45
CPU system time (s): 8.77467
CPU usage (%): 199.994
Max. virtual memory (cumulated for all children) (KiB): 798712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.45
system time used= 8.77467
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183759
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= 642
involuntary context switches= 12063
runsolver used 1.39579 second user time and 3.54546 second system time
The end