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-3500437-1307995382/watcher-3500437-1307995382 -o /var/tmp/evaluation-result-3500437-1307995382/solver-3500437-1307995382 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500437-1307995382.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: 4.02 4.00 3.92 3/179 23819
/proc/meminfo: memFree=15096468/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=134856 CPUtime=0 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 426 0 0 0 0 0 0 0 25 0 3 0 891953811 138092544 376 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 33714 376 178 372 0 33339 0
[pid=23819/tid=23820] ppid=23817 vsize=134856 CPUtime=0 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 52 0 0 0 0 0 0 0 25 0 3 0 891953811 138092544 376 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=134856 CPUtime=0 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 24 0 0 0 0 0 0 0 25 0 3 0 891953811 138092544 376 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[startup+0.0841399 s]
/proc/loadavg: 4.02 4.00 3.92 3/179 23819
/proc/meminfo: memFree=15096468/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=134856 CPUtime=0.15 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 777 0 0 0 14 1 0 0 25 0 3 0 891953811 138092544 727 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 33714 727 179 372 0 33339 0
[pid=23819/tid=23820] ppid=23817 vsize=134856 CPUtime=0.07 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 270 0 0 0 6 1 0 0 25 0 3 0 891953811 138092544 727 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=134856 CPUtime=0.07 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 157 0 0 0 7 0 0 0 25 0 3 0 891953811 138092544 727 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 134856
[startup+0.101137 s]
/proc/loadavg: 4.02 4.00 3.92 3/179 23819
/proc/meminfo: memFree=15096468/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=134856 CPUtime=0.19 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 844 0 0 0 18 1 0 0 25 0 3 0 891953811 138092544 794 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 33714 794 179 372 0 33339 0
[pid=23819/tid=23820] ppid=23817 vsize=134856 CPUtime=0.09 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 312 0 0 0 8 1 0 0 18 0 3 0 891953811 138092544 794 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=134856 CPUtime=0.09 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 182 0 0 0 9 0 0 0 25 0 3 0 891953811 138092544 794 33554432000 4194304 5714118 140734663389824 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.301097 s]
/proc/loadavg: 4.02 4.00 3.92 3/179 23819
/proc/meminfo: memFree=15096468/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=134856 CPUtime=0.58 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 1509 0 0 0 55 3 0 0 25 0 3 0 891953811 138092544 1459 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 33714 1459 179 372 0 33339 0
[pid=23819/tid=23820] ppid=23817 vsize=134856 CPUtime=0.29 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 730 0 0 0 26 3 0 0 18 0 3 0 891953811 138092544 1459 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=134856 CPUtime=0.29 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 429 0 0 0 29 0 0 0 25 0 3 0 891953811 138092544 1459 33554432000 4194304 5714118 140734663389824 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.70102 s]
/proc/loadavg: 4.02 4.00 3.92 3/179 23819
/proc/meminfo: memFree=15096468/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=134856 CPUtime=1.38 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 2259 0 0 0 132 6 0 0 25 0 3 0 891953811 138092544 2209 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 33714 2209 179 372 0 33339 0
[pid=23819/tid=23820] ppid=23817 vsize=134856 CPUtime=0.68 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 1377 0 0 0 63 5 0 0 18 0 3 0 891953811 138092544 2209 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=134856 CPUtime=0.68 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 532 0 0 0 68 0 0 0 25 0 3 0 891953811 138092544 2209 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 134856
[startup+1.50086 s]
/proc/loadavg: 4.02 4.00 3.92 5/182 23822
/proc/meminfo: memFree=15087168/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=135000 CPUtime=2.99 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 3030 0 0 0 289 10 0 0 25 0 3 0 891953811 138240000 2980 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 33750 2980 179 372 0 33375 0
[pid=23819/tid=23820] ppid=23817 vsize=135000 CPUtime=1.49 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 1951 0 0 0 141 8 0 0 19 0 3 0 891953811 138240000 2980 33554432000 4194304 5714118 140734663389824 18446744073709551615 4346824 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=135000 CPUtime=1.48 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 729 0 0 0 147 1 0 0 25 0 3 0 891953811 138240000 2980 33554432000 4194304 5714118 140734663389824 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.10056 s]
/proc/loadavg: 4.02 4.00 3.92 5/182 23822
/proc/meminfo: memFree=15083448/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=135144 CPUtime=6.18 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 3980 0 0 0 603 15 0 0 25 0 3 0 891953811 138387456 3930 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 33786 3930 180 372 0 33411 0
[pid=23819/tid=23820] ppid=23817 vsize=135144 CPUtime=3.09 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 2547 0 0 0 297 12 0 0 19 0 3 0 891953811 138387456 3930 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=135144 CPUtime=3.08 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 1083 0 0 0 305 3 0 0 25 0 3 0 891953811 138387456 3930 33554432000 4194304 5714118 140734663389824 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.30092 s]
/proc/loadavg: 4.02 4.00 3.92 3/178 23823
/proc/meminfo: memFree=15243128/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=135216 CPUtime=12.59 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 5437 0 0 0 1234 25 0 0 25 0 3 0 891953811 138461184 5387 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 33804 5387 180 372 0 33429 0
[pid=23819/tid=23820] ppid=23817 vsize=135216 CPUtime=6.29 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 3566 0 0 0 610 19 0 0 20 0 3 0 891953811 138461184 5387 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=135216 CPUtime=6.29 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 1521 0 0 0 623 6 0 0 25 0 3 0 891953811 138461184 5387 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 135216
[startup+12.7007 s]
/proc/loadavg: 3.87 3.97 3.91 5/182 23863
/proc/meminfo: memFree=15211224/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=135288 CPUtime=25.39 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 7623 0 0 0 2500 39 0 0 25 0 3 0 891953811 138534912 7573 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 33822 7573 180 372 0 33447 0
[pid=23819/tid=23820] ppid=23817 vsize=135288 CPUtime=12.69 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 5332 0 0 0 1241 28 0 0 22 0 3 0 891953811 138534912 7573 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=135288 CPUtime=12.68 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 1941 0 0 0 1258 10 0 0 25 0 3 0 891953811 138534912 7573 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 135288
[startup+25.5011 s]
/proc/loadavg: 3.89 3.97 3.91 5/182 23864
/proc/meminfo: memFree=15180480/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=135288 CPUtime=50.99 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 11125 0 0 0 5038 61 0 0 25 0 3 0 891953811 138534912 11075 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 33822 11075 180 372 0 33447 0
[pid=23819/tid=23820] ppid=23817 vsize=135288 CPUtime=25.49 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 8424 0 0 0 2506 43 0 0 25 0 3 0 891953811 138534912 11075 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=135288 CPUtime=25.49 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 2351 0 0 0 2531 18 0 0 25 0 3 0 891953811 138534912 11075 33554432000 4194304 5714118 140734663389824 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.101 s]
/proc/loadavg: 3.93 3.97 3.91 5/182 23864
/proc/meminfo: memFree=15130832/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=135504 CPUtime=102.2 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 17487 0 0 0 10109 111 0 0 25 0 3 0 891953811 138756096 17430 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 33876 17430 180 372 0 33501 0
[pid=23819/tid=23820] ppid=23817 vsize=135504 CPUtime=51.09 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 14348 0 0 0 5034 75 0 0 25 0 3 0 891953811 138756096 17430 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=135504 CPUtime=51.09 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 2789 0 0 0 5074 35 0 0 25 0 3 0 891953811 138756096 17430 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 135504
[startup+102.307 s]
/proc/loadavg: 3.97 3.97 3.91 5/182 23866
/proc/meminfo: memFree=15045848/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=201040 CPUtime=204.61 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 28036 0 0 0 20262 199 0 0 25 0 3 0 891953811 205864960 27979 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 50260 27979 180 372 0 49885 0
[pid=23819/tid=23820] ppid=23817 vsize=201040 CPUtime=102.29 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 24317 0 0 0 10095 134 0 0 25 0 3 0 891953811 205864960 27979 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=201040 CPUtime=102.3 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 3369 0 0 0 10166 64 0 0 25 0 3 0 891953811 205864960 27979 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.61
Current children cumulated vsize (KiB) 201040
[startup+162.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 23867
/proc/meminfo: memFree=14962004/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=266864 CPUtime=324.6 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 38402 0 0 0 32154 306 0 0 25 0 3 0 891953811 273268736 38345 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 66716 38345 180 372 0 66341 0
[pid=23819/tid=23820] ppid=23817 vsize=266864 CPUtime=162.29 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 34611 0 0 0 16028 201 0 0 25 0 3 0 891953811 273268736 38345 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=266864 CPUtime=162.3 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 3441 0 0 0 16125 105 0 0 25 0 3 0 891953811 273268736 38345 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.6
Current children cumulated vsize (KiB) 266864
[startup+222.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 23869
/proc/meminfo: memFree=14877024/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=267728 CPUtime=444.61 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 49818 0 0 0 44054 407 0 0 25 0 3 0 891953811 274153472 49761 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 66932 49761 180 372 0 66557 0
[pid=23819/tid=23820] ppid=23817 vsize=267728 CPUtime=222.3 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 45184 0 0 0 21962 268 0 0 25 0 3 0 891953811 274153472 49761 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=267728 CPUtime=222.3 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 4284 0 0 0 22091 139 0 0 25 0 3 0 891953811 274153472 49761 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.61
Current children cumulated vsize (KiB) 267728
[startup+282.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 23870
/proc/meminfo: memFree=14803092/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=333696 CPUtime=564.61 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 59245 0 0 0 55955 506 0 0 25 0 3 0 891953811 341704704 59091 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 83424 59091 180 372 0 83049 0
[pid=23819/tid=23820] ppid=23817 vsize=333696 CPUtime=282.3 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 54167 0 0 0 27900 330 0 0 25 0 3 0 891953811 341704704 59091 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=333696 CPUtime=282.31 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 4728 0 0 0 28055 176 0 0 25 0 3 0 891953811 341704704 59091 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.61
Current children cumulated vsize (KiB) 333696
[startup+342.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 23872
/proc/meminfo: memFree=14728648/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=333856 CPUtime=684.62 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 69213 0 0 0 67846 616 0 0 25 0 3 0 891953811 341868544 68846 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 83464 68846 180 372 0 83089 0
[pid=23819/tid=23820] ppid=23817 vsize=333856 CPUtime=342.3 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 63948 0 0 0 33830 400 0 0 25 0 3 0 891953811 341868544 68846 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=333856 CPUtime=342.3 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 4915 0 0 0 34015 215 0 0 25 0 3 0 891953811 341868544 68846 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.62
Current children cumulated vsize (KiB) 333856
[startup+402.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 23874
/proc/meminfo: memFree=14657296/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=400112 CPUtime=804.62 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 78547 0 0 0 79744 718 0 0 25 0 3 0 891953811 409714688 78180 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 100028 78180 180 372 0 99653 0
[pid=23819/tid=23820] ppid=23817 vsize=400112 CPUtime=402.31 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 73282 0 0 0 39769 462 0 0 25 0 3 0 891953811 409714688 78180 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=400112 CPUtime=402.3 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 4915 0 0 0 39975 255 0 0 25 0 3 0 891953811 409714688 78180 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.62
Current children cumulated vsize (KiB) 400112
[startup+462.3 s]
/proc/loadavg: 4.07 3.99 3.91 5/182 23875
/proc/meminfo: memFree=14586216/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=466296 CPUtime=924.63 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 88140 0 0 0 91647 816 0 0 25 0 3 0 891953811 477487104 87673 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 116574 87673 180 372 0 116199 0
[pid=23819/tid=23820] ppid=23817 vsize=466296 CPUtime=462.31 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 82711 0 0 0 45703 528 0 0 25 0 3 0 891953811 477487104 87673 33554432000 4194304 5714118 140734663389824 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=466296 CPUtime=462.31 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 5079 0 0 0 45943 288 0 0 25 0 3 0 891953811 477487104 87673 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.63
Current children cumulated vsize (KiB) 466296
[startup+522.3 s]
/proc/loadavg: 4.02 3.99 3.91 5/182 23877
/proc/meminfo: memFree=14516612/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=466872 CPUtime=1044.63 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 97965 0 0 0 103554 909 0 0 25 0 3 0 891953811 478076928 97439 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 116718 97439 180 372 0 116343 0
[pid=23819/tid=23820] ppid=23817 vsize=466872 CPUtime=522.31 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 92211 0 0 0 51643 588 0 0 25 0 3 0 891953811 478076928 97439 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=466872 CPUtime=522.31 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 5404 0 0 0 51910 321 0 0 25 0 3 0 891953811 478076928 97439 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.63
Current children cumulated vsize (KiB) 466872
[startup+582.301 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 23878
/proc/meminfo: memFree=14447016/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=532552 CPUtime=1164.64 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 106337 0 0 0 115472 992 0 0 25 0 3 0 891953811 545333248 105800 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 133138 105800 180 372 0 132763 0
[pid=23819/tid=23820] ppid=23817 vsize=532552 CPUtime=582.31 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 100244 0 0 0 57590 641 0 0 25 0 3 0 891953811 545333248 105800 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=532552 CPUtime=582.31 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 5743 0 0 0 57881 350 0 0 25 0 3 0 891953811 545333248 105800 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.64
Current children cumulated vsize (KiB) 532552
[startup+642.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 23880
/proc/meminfo: memFree=14379660/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=533200 CPUtime=1284.66 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 115050 0 0 0 127391 1075 0 0 25 0 3 0 891953811 545996800 114386 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 133300 114386 180 372 0 132925 0
[pid=23819/tid=23820] ppid=23817 vsize=533200 CPUtime=642.32 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 108702 0 0 0 63538 694 0 0 25 0 3 0 891953811 545996800 114386 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=533200 CPUtime=642.33 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 5998 0 0 0 63853 380 0 0 25 0 3 0 891953811 545996800 114386 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.66
Current children cumulated vsize (KiB) 533200
[startup+702.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 23882
/proc/meminfo: memFree=14313668/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=599544 CPUtime=1404.66 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 124209 0 0 0 139298 1168 0 0 25 0 3 0 891953811 613933056 123189 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 149886 123189 180 372 0 149511 0
[pid=23819/tid=23820] ppid=23817 vsize=599544 CPUtime=702.32 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 117370 0 0 0 69475 757 0 0 25 0 3 0 891953811 613933056 123189 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=599544 CPUtime=702.32 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 6489 0 0 0 69822 410 0 0 25 0 3 0 891953811 613933056 123189 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.66
Current children cumulated vsize (KiB) 599544
[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 23883
/proc/meminfo: memFree=14245328/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=600696 CPUtime=1524.68 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 133133 0 0 0 151210 1258 0 0 25 0 3 0 891953811 615112704 131645 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 150174 131645 180 372 0 149799 0
[pid=23819/tid=23820] ppid=23817 vsize=600696 CPUtime=762.33 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 125912 0 0 0 75414 819 0 0 25 0 3 0 891953811 615112704 131645 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=600696 CPUtime=762.32 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 6871 0 0 0 75794 438 0 0 25 0 3 0 891953811 615112704 131645 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.68
Current children cumulated vsize (KiB) 600696
[startup+822.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 23885
/proc/meminfo: memFree=14176344/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=666232 CPUtime=1644.66 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 142431 0 0 0 163112 1354 0 0 25 0 3 0 891953811 682221568 140943 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 166558 140943 180 372 0 166183 0
[pid=23819/tid=23820] ppid=23817 vsize=666232 CPUtime=822.33 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 135210 0 0 0 81354 879 0 0 25 0 3 0 891953811 682221568 140943 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=666232 CPUtime=822.33 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 6871 0 0 0 81758 475 0 0 25 0 3 0 891953811 682221568 140943 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.66
Current children cumulated vsize (KiB) 666232
[startup+882.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 23886
/proc/meminfo: memFree=14112700/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=666880 CPUtime=1764.67 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 150582 0 0 0 175023 1444 0 0 25 0 3 0 891953811 682885120 149094 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 166720 149094 180 372 0 166345 0
[pid=23819/tid=23820] ppid=23817 vsize=666880 CPUtime=882.32 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 143360 0 0 0 87298 934 0 0 25 0 3 0 891953811 682885120 149094 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=666880 CPUtime=882.33 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 6872 0 0 0 87724 509 0 0 25 0 3 0 891953811 682885120 149094 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.67
Current children cumulated vsize (KiB) 666880
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 23887
/proc/meminfo: memFree=14094708/32951124 swapFree=67054448/67111528
[pid=23819] ppid=23817 vsize=666880 CPUtime=1800.08 cores=0,2,4,6
/proc/23819/stat : 23819 (pwbo1.1) S 23817 23819 22391 0 -1 4202496 153124 0 0 0 178537 1471 0 0 25 0 3 0 891953811 682885120 151636 33554432000 4194304 5714118 140734663389824 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23819/statm: 166720 151636 180 372 0 166345 0
[pid=23819/tid=23820] ppid=23817 vsize=666880 CPUtime=900.04 cores=0,2,4,6
/proc/23819/task/23820/stat : 23820 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 145902 0 0 0 89052 952 0 0 25 0 3 0 891953811 682885120 151636 33554432000 4194304 5714118 140734663389824 18446744073709551615 4319710 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23819/tid=23821] ppid=23817 vsize=666880 CPUtime=900.03 cores=0,2,4,6
/proc/23819/task/23821/stat : 23821 (pwbo1.1) R 23817 23819 22391 0 -1 4202560 6872 0 0 0 89484 519 0 0 25 0 3 0 891953811 682885120 151636 33554432000 4194304 5714118 140734663389824 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 666880
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.039
CPU time (s): 1800.13
CPU user time (s): 1785.39
CPU system time (s): 14.7428
CPU usage (%): 200.006
Max. virtual memory (cumulated for all children) (KiB): 666880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.39
system time used= 14.7428
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153131
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= 27
involuntary context switches= 3643
runsolver used 1.36779 second user time and 2.84757 second system time
The end