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-3500358-1307994179/watcher-3500358-1307994179 -o /var/tmp/evaluation-result-3500358-1307994179/solver-3500358-1307994179 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500358-1307994179.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.03 4.00 3.85 4/179 18476
/proc/meminfo: memFree=23591024/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=4132 CPUtime=0 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) R 18474 18476 17705 0 -1 4202496 435 0 0 0 0 0 0 0 25 0 1 0 989648613 4231168 387 33554432000 4194304 5714118 140734777115856 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18476/statm: 1033 389 166 372 0 284 0
[startup+0.0697989 s]
/proc/loadavg: 4.03 4.00 3.85 4/179 18476
/proc/meminfo: memFree=23591024/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=14780 CPUtime=0.06 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) R 18474 18476 17705 0 -1 4202496 3290 0 0 0 6 0 0 0 25 0 1 0 989648613 15134720 3242 33554432000 4194304 5714118 140734777115856 18446744073709551615 4223062 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18476/statm: 3695 3242 349 372 0 2946 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14780
[startup+0.100791 s]
/proc/loadavg: 4.03 4.00 3.85 4/179 18476
/proc/meminfo: memFree=23591024/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=19504 CPUtime=0.09 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) R 18474 18476 17705 0 -1 4202496 4545 0 0 0 9 0 0 0 25 0 1 0 989648613 19972096 4497 33554432000 4194304 5714118 140734777115856 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18476/statm: 4876 4499 441 372 0 4127 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19504
[startup+0.30075 s]
/proc/loadavg: 4.03 4.00 3.85 4/179 18476
/proc/meminfo: memFree=23591024/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=156252 CPUtime=0.45 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) S 18474 18476 17705 0 -1 4202496 11886 0 0 0 39 6 0 0 25 0 3 0 989648613 160002048 11464 33554432000 4194304 5714118 140734777115856 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/18476/statm: 39063 11464 178 372 0 38688 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 156252
[startup+0.700688 s]
/proc/loadavg: 4.03 4.00 3.85 4/179 18476
/proc/meminfo: memFree=23591024/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=156252 CPUtime=1.26 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) S 18474 18476 17705 0 -1 4202496 12988 0 0 0 118 8 0 0 25 0 3 0 989648613 160002048 12566 33554432000 4194304 5714118 140734777115856 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/18476/statm: 39063 12566 179 372 0 38688 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 156252
[startup+1.50053 s]
/proc/loadavg: 4.03 4.00 3.85 5/182 18479
/proc/meminfo: memFree=23540432/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=164316 CPUtime=2.85 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) S 18474 18476 17705 0 -1 4202496 17140 0 0 0 276 9 0 0 25 0 3 0 989648613 168259584 16718 33554432000 4194304 5714118 140734777115856 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/18476/statm: 41079 16718 179 372 0 40704 0
[pid=18476/tid=18478] ppid=18474 vsize=164316 CPUtime=1.36 cores=0,2,4,6
/proc/18476/task/18478/stat : 18478 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 7161 0 0 0 129 7 0 0 25 0 3 0 989648626 168259584 16718 33554432000 4194304 5714118 140734777115856 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=18476/tid=18479] ppid=18474 vsize=164316 CPUtime=1.36 cores=0,2,4,6
/proc/18476/task/18479/stat : 18479 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 3928 0 0 0 135 1 0 0 25 0 3 0 989648626 168259584 16718 33554432000 4194304 5714118 140734777115856 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 164316
[startup+3.10123 s]
/proc/loadavg: 4.02 4.00 3.85 5/182 18479
/proc/meminfo: memFree=23523444/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=164396 CPUtime=6.06 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) S 18474 18476 17705 0 -1 4202496 17677 0 0 0 596 10 0 0 25 0 3 0 989648613 168341504 17255 33554432000 4194304 5714118 140734777115856 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/18476/statm: 41099 17255 179 372 0 40724 0
[pid=18476/tid=18478] ppid=18474 vsize=164396 CPUtime=2.96 cores=0,2,4,6
/proc/18476/task/18478/stat : 18478 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 7625 0 0 0 288 8 0 0 25 0 3 0 989648626 168341504 17255 33554432000 4194304 5714118 140734777115856 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=18476/tid=18479] ppid=18474 vsize=164396 CPUtime=2.96 cores=0,2,4,6
/proc/18476/task/18479/stat : 18479 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 4001 0 0 0 295 1 0 0 25 0 3 0 989648626 168341504 17255 33554432000 4194304 5714118 140734777115856 18446744073709551615 4323028 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 164396
[startup+6.30062 s]
/proc/loadavg: 4.02 4.00 3.85 5/182 18479
/proc/meminfo: memFree=23511416/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=164396 CPUtime=12.46 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) S 18474 18476 17705 0 -1 4202496 18147 0 0 0 1235 11 0 0 25 0 3 0 989648613 168341504 17725 33554432000 4194304 5714118 140734777115856 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/18476/statm: 41099 17725 179 372 0 40724 0
[pid=18476/tid=18478] ppid=18474 vsize=164396 CPUtime=6.16 cores=0,2,4,6
/proc/18476/task/18478/stat : 18478 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 7947 0 0 0 608 8 0 0 25 0 3 0 989648626 168341504 17725 33554432000 4194304 5714118 140734777115856 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=18476/tid=18479] ppid=18474 vsize=164396 CPUtime=6.16 cores=0,2,4,6
/proc/18476/task/18479/stat : 18479 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 4149 0 0 0 614 2 0 0 25 0 3 0 989648626 168341504 17725 33554432000 4194304 5714118 140734777115856 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 164396
[startup+12.7004 s]
/proc/loadavg: 4.02 4.00 3.85 5/182 18560
/proc/meminfo: memFree=24266720/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=164396 CPUtime=25.26 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) S 18474 18476 17705 0 -1 4202496 18732 0 0 0 2514 12 0 0 25 0 3 0 989648613 168341504 18310 33554432000 4194304 5714118 140734777115856 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/18476/statm: 41099 18310 179 372 0 40724 0
[pid=18476/tid=18478] ppid=18474 vsize=164396 CPUtime=12.56 cores=0,2,4,6
/proc/18476/task/18478/stat : 18478 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 8228 0 0 0 1247 9 0 0 25 0 3 0 989648626 168341504 18310 33554432000 4194304 5714118 140734777115856 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=18476/tid=18479] ppid=18474 vsize=164396 CPUtime=12.56 cores=0,2,4,6
/proc/18476/task/18479/stat : 18479 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 4453 0 0 0 1254 2 0 0 25 0 3 0 989648626 168341504 18310 33554432000 4194304 5714118 140734777115856 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 164396
[startup+25.501 s]
/proc/loadavg: 4.02 4.00 3.85 5/182 18561
/proc/meminfo: memFree=24238580/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=164612 CPUtime=50.86 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) S 18474 18476 17705 0 -1 4202496 19817 0 0 0 5070 16 0 0 25 0 3 0 989648613 168562688 19395 33554432000 4194304 5714118 140734777115856 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/18476/statm: 41153 19395 179 372 0 40778 0
[pid=18476/tid=18478] ppid=18474 vsize=164612 CPUtime=25.37 cores=0,2,4,6
/proc/18476/task/18478/stat : 18478 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 8759 0 0 0 2526 11 0 0 25 0 3 0 989648626 168562688 19395 33554432000 4194304 5714118 140734777115856 18446744073709551615 4323036 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=18476/tid=18479] ppid=18474 vsize=164612 CPUtime=25.36 cores=0,2,4,6
/proc/18476/task/18479/stat : 18479 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 5007 0 0 0 2532 4 0 0 25 0 3 0 989648626 168562688 19395 33554432000 4194304 5714118 140734777115856 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 164612
[startup+51.1012 s]
/proc/loadavg: 4.01 4.00 3.85 5/182 18561
/proc/meminfo: memFree=24227612/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=164720 CPUtime=102.07 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) S 18474 18476 17705 0 -1 4202496 21131 0 0 0 10185 22 0 0 25 0 3 0 989648613 168673280 20709 33554432000 4194304 5714118 140734777115856 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/18476/statm: 41180 20709 179 372 0 40805 0
[pid=18476/tid=18478] ppid=18474 vsize=164720 CPUtime=50.96 cores=0,2,4,6
/proc/18476/task/18478/stat : 18478 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 9036 0 0 0 5083 13 0 0 25 0 3 0 989648626 168673280 20709 33554432000 4194304 5714118 140734777115856 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=18476/tid=18479] ppid=18474 vsize=164720 CPUtime=50.96 cores=0,2,4,6
/proc/18476/task/18479/stat : 18479 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 6044 0 0 0 5089 7 0 0 25 0 3 0 989648626 168673280 20709 33554432000 4194304 5714118 140734777115856 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.07
Current children cumulated vsize (KiB) 164720
[startup+102.307 s]
/proc/loadavg: 4.06 4.01 3.86 5/182 18563
/proc/meminfo: memFree=24207084/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=164880 CPUtime=204.48 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) S 18474 18476 17705 0 -1 4202496 23245 0 0 0 20414 34 0 0 25 0 3 0 989648613 168837120 22823 33554432000 4194304 5714118 140734777115856 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/18476/statm: 41220 22823 180 372 0 40845 0
[pid=18476/tid=18478] ppid=18474 vsize=164880 CPUtime=102.17 cores=0,2,4,6
/proc/18476/task/18478/stat : 18478 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 10351 0 0 0 10195 22 0 0 25 0 3 0 989648626 168837120 22823 33554432000 4194304 5714118 140734777115856 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=18476/tid=18479] ppid=18474 vsize=164880 CPUtime=102.17 cores=0,2,4,6
/proc/18476/task/18479/stat : 18479 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 6843 0 0 0 10206 11 0 0 25 0 3 0 989648626 168837120 22823 33554432000 4194304 5714118 140734777115856 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.48
Current children cumulated vsize (KiB) 164880
[startup+162.3 s]
/proc/loadavg: 4.02 4.00 3.87 5/182 18564
/proc/meminfo: memFree=24195872/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=165120 CPUtime=324.46 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) S 18474 18476 17705 0 -1 4202496 24842 0 0 0 32400 46 0 0 25 0 3 0 989648613 169082880 24420 33554432000 4194304 5714118 140734777115856 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/18476/statm: 41280 24420 180 372 0 40905 0
[pid=18476/tid=18478] ppid=18474 vsize=165120 CPUtime=162.17 cores=0,2,4,6
/proc/18476/task/18478/stat : 18478 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 10383 0 0 0 16189 28 0 0 25 0 3 0 989648626 169082880 24420 33554432000 4194304 5714118 140734777115856 18446744073709551615 4200634 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=18476/tid=18479] ppid=18474 vsize=165120 CPUtime=162.16 cores=0,2,4,6
/proc/18476/task/18479/stat : 18479 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 8408 0 0 0 16199 17 0 0 25 0 3 0 989648626 169082880 24420 33554432000 4194304 5714118 140734777115856 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.46
Current children cumulated vsize (KiB) 165120
[startup+222.301 s]
/proc/loadavg: 4.00 4.00 3.87 5/182 18566
/proc/meminfo: memFree=24180792/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=165120 CPUtime=444.47 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) S 18474 18476 17705 0 -1 4202496 26337 0 0 0 44382 65 0 0 25 0 3 0 989648613 169082880 25915 33554432000 4194304 5714118 140734777115856 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/18476/statm: 41280 25915 180 372 0 40905 0
[pid=18476/tid=18478] ppid=18474 vsize=165120 CPUtime=222.17 cores=0,2,4,6
/proc/18476/task/18478/stat : 18478 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 11878 0 0 0 22176 41 0 0 25 0 3 0 989648626 169082880 25915 33554432000 4194304 5714118 140734777115856 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=18476/tid=18479] ppid=18474 vsize=165120 CPUtime=222.17 cores=0,2,4,6
/proc/18476/task/18479/stat : 18479 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 8408 0 0 0 22194 23 0 0 25 0 3 0 989648626 169082880 25915 33554432000 4194304 5714118 140734777115856 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.47
Current children cumulated vsize (KiB) 165120
[startup+282.301 s]
/proc/loadavg: 4.00 4.00 3.88 5/182 18568
/proc/meminfo: memFree=24168472/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=165120 CPUtime=564.48 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) S 18474 18476 17705 0 -1 4202496 28583 0 0 0 56360 88 0 0 25 0 3 0 989648613 169082880 28161 33554432000 4194304 5714118 140734777115856 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/18476/statm: 41280 28161 180 372 0 40905 0
[pid=18476/tid=18478] ppid=18474 vsize=165120 CPUtime=282.17 cores=0,2,4,6
/proc/18476/task/18478/stat : 18478 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 13526 0 0 0 28160 57 0 0 25 0 3 0 989648626 169082880 28161 33554432000 4194304 5714118 140734777115856 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=18476/tid=18479] ppid=18474 vsize=165120 CPUtime=282.17 cores=0,2,4,6
/proc/18476/task/18479/stat : 18479 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 9006 0 0 0 28187 30 0 0 25 0 3 0 989648626 169082880 28161 33554432000 4194304 5714118 140734777115856 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.48
Current children cumulated vsize (KiB) 165120
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/182 18569
/proc/meminfo: memFree=24160636/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=165120 CPUtime=684.49 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) S 18474 18476 17705 0 -1 4202496 30439 0 0 0 68338 111 0 0 25 0 3 0 989648613 169082880 30017 33554432000 4194304 5714118 140734777115856 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/18476/statm: 41280 30017 180 372 0 40905 0
[pid=18476/tid=18478] ppid=18474 vsize=165120 CPUtime=342.18 cores=0,2,4,6
/proc/18476/task/18478/stat : 18478 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 15371 0 0 0 34143 75 0 0 25 0 3 0 989648626 169082880 30017 33554432000 4194304 5714118 140734777115856 18446744073709551615 4323034 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=18476/tid=18479] ppid=18474 vsize=165120 CPUtime=342.17 cores=0,2,4,6
/proc/18476/task/18479/stat : 18479 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 9017 0 0 0 34182 35 0 0 25 0 3 0 989648626 169082880 30017 33554432000 4194304 5714118 140734777115856 18446744073709551615 4323034 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.49
Current children cumulated vsize (KiB) 165120
[startup+402.301 s]
/proc/loadavg: 4.00 4.00 3.89 5/182 18571
/proc/meminfo: memFree=24151276/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=230980 CPUtime=804.48 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) S 18474 18476 17705 0 -1 4202496 31968 0 0 0 80319 129 0 0 25 0 3 0 989648613 236523520 31546 33554432000 4194304 5714118 140734777115856 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/18476/statm: 57745 31546 180 372 0 57370 0
[pid=18476/tid=18478] ppid=18474 vsize=230980 CPUtime=402.18 cores=0,2,4,6
/proc/18476/task/18478/stat : 18478 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 16819 0 0 0 40129 89 0 0 25 0 3 0 989648626 236523520 31546 33554432000 4194304 5714118 140734777115856 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=18476/tid=18479] ppid=18474 vsize=230980 CPUtime=402.18 cores=0,2,4,6
/proc/18476/task/18479/stat : 18479 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 9098 0 0 0 40178 40 0 0 25 0 3 0 989648626 236523520 31546 33554432000 4194304 5714118 140734777115856 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.48
Current children cumulated vsize (KiB) 230980
[startup+462.301 s]
/proc/loadavg: 4.00 4.00 3.90 5/182 18572
/proc/meminfo: memFree=24138684/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=231340 CPUtime=924.49 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) S 18474 18476 17705 0 -1 4202496 35025 0 0 0 92299 150 0 0 25 0 3 0 989648613 236892160 34603 33554432000 4194304 5714118 140734777115856 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/18476/statm: 57835 34603 180 372 0 57460 0
[pid=18476/tid=18478] ppid=18474 vsize=231340 CPUtime=462.17 cores=0,2,4,6
/proc/18476/task/18478/stat : 18478 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 18163 0 0 0 46114 103 0 0 25 0 3 0 989648626 236892160 34603 33554432000 4194304 5714118 140734777115856 18446744073709551615 4322689 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=18476/tid=18479] ppid=18474 vsize=231340 CPUtime=462.18 cores=0,2,4,6
/proc/18476/task/18479/stat : 18479 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 10811 0 0 0 46172 46 0 0 25 0 3 0 989648626 236892160 34603 33554432000 4194304 5714118 140734777115856 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.49
Current children cumulated vsize (KiB) 231340
[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.90 5/182 18574
/proc/meminfo: memFree=24123620/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=232024 CPUtime=1044.5 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) S 18474 18476 17705 0 -1 4202496 38242 0 0 0 104281 169 0 0 25 0 3 0 989648613 237592576 37820 33554432000 4194304 5714118 140734777115856 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/18476/statm: 58006 37820 180 372 0 57631 0
[pid=18476/tid=18478] ppid=18474 vsize=232024 CPUtime=522.17 cores=0,2,4,6
/proc/18476/task/18478/stat : 18478 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 19416 0 0 0 52102 115 0 0 25 0 3 0 989648626 237592576 37820 33554432000 4194304 5714118 140734777115856 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=18476/tid=18479] ppid=18474 vsize=232024 CPUtime=522.17 cores=0,2,4,6
/proc/18476/task/18479/stat : 18479 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 12775 0 0 0 52165 52 0 0 25 0 3 0 989648626 237592576 37820 33554432000 4194304 5714118 140734777115856 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.5
Current children cumulated vsize (KiB) 232024
[startup+582.3 s]
/proc/loadavg: 4.08 4.02 3.91 5/182 18576
/proc/meminfo: memFree=24113624/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=232168 CPUtime=1164.5 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) S 18474 18476 17705 0 -1 4202496 40715 0 0 0 116262 188 0 0 25 0 3 0 989648613 237740032 40293 33554432000 4194304 5714118 140734777115856 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/18476/statm: 58042 40293 180 372 0 57667 0
[pid=18476/tid=18478] ppid=18474 vsize=232168 CPUtime=582.18 cores=0,2,4,6
/proc/18476/task/18478/stat : 18478 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 20793 0 0 0 58089 129 0 0 25 0 3 0 989648626 237740032 40293 33554432000 4194304 5714118 140734777115856 18446744073709551615 4322981 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=18476/tid=18479] ppid=18474 vsize=232168 CPUtime=582.18 cores=0,2,4,6
/proc/18476/task/18479/stat : 18479 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 13871 0 0 0 58160 58 0 0 25 0 3 0 989648626 237740032 40293 33554432000 4194304 5714118 140734777115856 18446744073709551615 4323002 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.5
Current children cumulated vsize (KiB) 232168
[startup+642.301 s]
/proc/loadavg: 4.03 4.01 3.91 5/182 18577
/proc/meminfo: memFree=24107736/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=232168 CPUtime=1284.52 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) S 18474 18476 17705 0 -1 4202496 42182 0 0 0 128245 207 0 0 25 0 3 0 989648613 237740032 41760 33554432000 4194304 5714118 140734777115856 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/18476/statm: 58042 41760 180 372 0 57667 0
[pid=18476/tid=18478] ppid=18474 vsize=232168 CPUtime=642.19 cores=0,2,4,6
/proc/18476/task/18478/stat : 18478 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 22248 0 0 0 64077 142 0 0 25 0 3 0 989648626 237740032 41760 33554432000 4194304 5714118 140734777115856 18446744073709551615 4200634 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=18476/tid=18479] ppid=18474 vsize=232168 CPUtime=642.18 cores=0,2,4,6
/proc/18476/task/18479/stat : 18479 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 13883 0 0 0 64155 63 0 0 25 0 3 0 989648626 237740032 41760 33554432000 4194304 5714118 140734777115856 18446744073709551615 4322799 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.52
Current children cumulated vsize (KiB) 232168
[startup+702.301 s]
/proc/loadavg: 4.01 4.00 3.91 5/182 18579
/proc/meminfo: memFree=24085352/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=232168 CPUtime=1404.51 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) S 18474 18476 17705 0 -1 4202496 43610 0 0 0 140226 225 0 0 25 0 3 0 989648613 237740032 43188 33554432000 4194304 5714118 140734777115856 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/18476/statm: 58042 43188 180 372 0 57667 0
[pid=18476/tid=18478] ppid=18474 vsize=232168 CPUtime=702.19 cores=0,2,4,6
/proc/18476/task/18478/stat : 18478 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 23669 0 0 0 70062 157 0 0 25 0 3 0 989648626 237740032 43188 33554432000 4194304 5714118 140734777115856 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=18476/tid=18479] ppid=18474 vsize=232168 CPUtime=702.19 cores=0,2,4,6
/proc/18476/task/18479/stat : 18479 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 13890 0 0 0 70152 67 0 0 25 0 3 0 989648626 237740032 43188 33554432000 4194304 5714118 140734777115856 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.51
Current children cumulated vsize (KiB) 232168
[startup+762.307 s]
/proc/loadavg: 4.04 4.02 3.92 5/182 18580
/proc/meminfo: memFree=24080196/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=232168 CPUtime=1524.52 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) S 18474 18476 17705 0 -1 4202496 44931 0 0 0 152210 242 0 0 25 0 3 0 989648613 237740032 44509 33554432000 4194304 5714118 140734777115856 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/18476/statm: 58042 44509 180 372 0 57667 0
[pid=18476/tid=18478] ppid=18474 vsize=232168 CPUtime=762.19 cores=0,2,4,6
/proc/18476/task/18478/stat : 18478 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 24980 0 0 0 76048 171 0 0 25 0 3 0 989648626 237740032 44509 33554432000 4194304 5714118 140734777115856 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=18476/tid=18479] ppid=18474 vsize=232168 CPUtime=762.19 cores=0,2,4,6
/proc/18476/task/18479/stat : 18479 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 13900 0 0 0 76149 70 0 0 25 0 3 0 989648626 237740032 44509 33554432000 4194304 5714118 140734777115856 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.52
Current children cumulated vsize (KiB) 232168
[startup+822.301 s]
/proc/loadavg: 4.01 4.01 3.92 5/182 18582
/proc/meminfo: memFree=24068348/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=232672 CPUtime=1644.51 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) S 18474 18476 17705 0 -1 4202496 47654 0 0 0 164190 261 0 0 25 0 3 0 989648613 238256128 47232 33554432000 4194304 5714118 140734777115856 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/18476/statm: 58168 47232 180 372 0 57793 0
[pid=18476/tid=18478] ppid=18474 vsize=232672 CPUtime=822.19 cores=0,2,4,6
/proc/18476/task/18478/stat : 18478 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 26189 0 0 0 82034 185 0 0 19 0 3 0 989648626 238256128 47232 33554432000 4194304 5714118 140734777115856 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=18476/tid=18479] ppid=18474 vsize=232672 CPUtime=822.19 cores=0,2,4,6
/proc/18476/task/18479/stat : 18479 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 15414 0 0 0 82144 75 0 0 25 0 3 0 989648626 238256128 47232 33554432000 4194304 5714118 140734777115856 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.51
Current children cumulated vsize (KiB) 232672
[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 18584
/proc/meminfo: memFree=24060108/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=232960 CPUtime=1764.53 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) S 18474 18476 17705 0 -1 4202496 49612 0 0 0 176170 283 0 0 25 0 3 0 989648613 238551040 49190 33554432000 4194304 5714118 140734777115856 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/18476/statm: 58240 49190 180 372 0 57865 0
[pid=18476/tid=18478] ppid=18474 vsize=232960 CPUtime=882.19 cores=0,2,4,6
/proc/18476/task/18478/stat : 18478 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 27701 0 0 0 88019 200 0 0 25 0 3 0 989648626 238551040 49190 33554432000 4194304 5714118 140734777115856 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=18476/tid=18479] ppid=18474 vsize=232960 CPUtime=882.19 cores=0,2,4,6
/proc/18476/task/18479/stat : 18479 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 15860 0 0 0 88138 81 0 0 25 0 3 0 989648626 238551040 49190 33554432000 4194304 5714118 140734777115856 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.53
Current children cumulated vsize (KiB) 232960
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 18584
/proc/meminfo: memFree=24057980/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=232960 CPUtime=1800.14 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) S 18474 18476 17705 0 -1 4202496 50169 0 0 0 179725 289 0 0 25 0 3 0 989648613 238551040 49747 33554432000 4194304 5714118 140734777115856 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/18476/statm: 58240 49747 180 372 0 57865 0
[pid=18476/tid=18478] ppid=18474 vsize=232960 CPUtime=899.99 cores=0,2,4,6
/proc/18476/task/18478/stat : 18478 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 28249 0 0 0 89795 204 0 0 25 0 3 0 989648626 238551040 49747 33554432000 4194304 5714118 140734777115856 18446744073709551615 4311675 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=18476/tid=18479] ppid=18474 vsize=232960 CPUtime=900 cores=0,2,4,6
/proc/18476/task/18479/stat : 18479 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 15869 0 0 0 89917 83 0 0 25 0 3 0 989648626 238551040 49747 33554432000 4194304 5714118 140734777115856 18446744073709551615 4319284 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 232960
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.101 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 18584
/proc/meminfo: memFree=24057980/32950928 swapFree=67054844/67111528
[pid=18476] ppid=18474 vsize=232960 CPUtime=1800.14 cores=0,2,4,6
/proc/18476/stat : 18476 (pwbo1.1) S 18474 18476 17705 0 -1 4202496 50169 0 0 0 179725 289 0 0 25 0 3 0 989648613 238551040 49747 33554432000 4194304 5714118 140734777115856 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/18476/statm: 58240 49747 180 372 0 57865 0
[pid=18476/tid=18478] ppid=18474 vsize=232960 CPUtime=899.99 cores=0,2,4,6
/proc/18476/task/18478/stat : 18478 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 28249 0 0 0 89795 204 0 0 25 0 3 0 989648626 238551040 49747 33554432000 4194304 5714118 140734777115856 18446744073709551615 4311675 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=18476/tid=18479] ppid=18474 vsize=232960 CPUtime=900 cores=0,2,4,6
/proc/18476/task/18479/stat : 18479 (pwbo1.1) R 18474 18476 17705 0 -1 4202560 15869 0 0 0 89917 83 0 0 25 0 3 0 989648626 238551040 49747 33554432000 4194304 5714118 140734777115856 18446744073709551615 4319284 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 232960
Child status: 0
Real time (s): 900.123
CPU time (s): 1800.16
CPU user time (s): 1797.26
CPU system time (s): 2.90056
CPU usage (%): 199.991
Max. virtual memory (cumulated for all children) (KiB): 232960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.26
system time used= 2.90056
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50174
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= 17
involuntary context switches= 11532
runsolver used 1.78173 second user time and 3.13752 second system time
The end