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 /tmp/evaluation-result-3500296-1307993089/watcher-3500296-1307993089 -o /tmp/evaluation-result-3500296-1307993089/solver-3500296-1307993089 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500296-1307993089.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.69 3.93 3.66 3/174 11548
/proc/meminfo: memFree=28756080/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=137168 CPUtime=0 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 1107 0 0 0 0 0 0 0 25 0 3 0 910908522 140460032 1046 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 34292 1048 177 372 0 33917 0
[pid=11548/tid=11549] ppid=11546 vsize=137168 CPUtime=0 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 69 0 0 0 0 0 0 0 25 0 3 0 910908522 140460032 1062 33554432000 4194304 5714118 140734094454224 18446744073709551615 4199360 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=137168 CPUtime=0 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 714 0 0 0 0 0 0 0 25 0 3 0 910908522 140460032 1065 33554432000 4194304 5714118 140734094454224 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 0 0 0 0
[startup+0.0260781 s]
/proc/loadavg: 3.69 3.93 3.66 3/174 11548
/proc/meminfo: memFree=28756080/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=137492 CPUtime=0.04 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 1827 0 0 0 4 0 0 0 25 0 3 0 910908522 140791808 1766 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 34373 1766 179 372 0 33998 0
[pid=11548/tid=11549] ppid=11546 vsize=137492 CPUtime=0.02 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 127 0 0 0 2 0 0 0 18 0 3 0 910908522 140791808 1766 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=137492 CPUtime=0.02 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 1357 0 0 0 2 0 0 0 25 0 3 0 910908522 140791808 1766 33554432000 4194304 5714118 140734094454224 18446744073709551615 4305171 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 137492
[startup+0.101065 s]
/proc/loadavg: 3.69 3.93 3.66 3/174 11548
/proc/meminfo: memFree=28756080/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=137492 CPUtime=0.19 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 2092 0 0 0 18 1 0 0 25 0 3 0 910908522 140791808 2031 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 34373 2031 179 372 0 33998 0
[pid=11548/tid=11549] ppid=11546 vsize=137492 CPUtime=0.09 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 369 0 0 0 8 1 0 0 18 0 3 0 910908522 140791808 2031 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=137492 CPUtime=0.09 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 1380 0 0 0 9 0 0 0 25 0 3 0 910908522 140791808 2031 33554432000 4194304 5714118 140734094454224 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) 137492
[startup+0.301059 s]
/proc/loadavg: 3.69 3.93 3.66 3/174 11548
/proc/meminfo: memFree=28756080/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=137492 CPUtime=0.59 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 2527 0 0 0 55 4 0 0 25 0 3 0 910908522 140791808 2466 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 34373 2466 179 372 0 33998 0
[pid=11548/tid=11549] ppid=11546 vsize=137492 CPUtime=0.29 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 756 0 0 0 26 3 0 0 18 0 3 0 910908522 140791808 2466 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=137492 CPUtime=0.29 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 1428 0 0 0 29 0 0 0 25 0 3 0 910908522 140791808 2466 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 137492
[startup+0.700988 s]
/proc/loadavg: 3.69 3.93 3.66 3/174 11548
/proc/meminfo: memFree=28756080/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=137636 CPUtime=1.39 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 3851 0 0 0 132 7 0 0 25 0 3 0 910908522 140939264 3790 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 34409 3790 179 372 0 34034 0
[pid=11548/tid=11549] ppid=11546 vsize=137636 CPUtime=0.69 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 1647 0 0 0 63 6 0 0 18 0 3 0 910908522 140939264 3790 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=137636 CPUtime=0.69 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 1861 0 0 0 68 1 0 0 25 0 3 0 910908522 140939264 3790 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 137636
[startup+1.50087 s]
/proc/loadavg: 3.69 3.93 3.66 5/177 11591
/proc/meminfo: memFree=28712904/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=137708 CPUtime=2.99 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 5371 0 0 0 287 12 0 0 25 0 3 0 910908522 141012992 5284 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 34427 5284 179 372 0 34052 0
[pid=11548/tid=11549] ppid=11546 vsize=137708 CPUtime=1.49 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 2326 0 0 0 140 9 0 0 18 0 3 0 910908522 141012992 5284 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=137708 CPUtime=1.49 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 2702 0 0 0 147 2 0 0 25 0 3 0 910908522 141012992 5284 33554432000 4194304 5714118 140734094454224 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) 137708
[startup+3.1006 s]
/proc/loadavg: 3.69 3.93 3.66 5/177 11591
/proc/meminfo: memFree=28682280/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=138088 CPUtime=6.19 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 6279 0 0 0 602 17 0 0 25 0 3 0 910908522 141402112 6192 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 34522 6192 179 372 0 34147 0
[pid=11548/tid=11549] ppid=11546 vsize=138088 CPUtime=3.09 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 2617 0 0 0 297 12 0 0 20 0 3 0 910908522 141402112 6192 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=138088 CPUtime=3.08 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 3319 0 0 0 304 4 0 0 25 0 3 0 910908522 141402112 6192 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 138088
[startup+6.30106 s]
/proc/loadavg: 3.80 3.95 3.67 5/177 11591
/proc/meminfo: memFree=28595632/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=138504 CPUtime=12.59 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 8910 0 0 0 1231 28 0 0 25 0 3 0 910908522 141828096 8823 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 34626 8823 180 372 0 34251 0
[pid=11548/tid=11549] ppid=11546 vsize=138504 CPUtime=6.29 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 4350 0 0 0 610 19 0 0 18 0 3 0 910908522 141828096 8823 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=138504 CPUtime=6.29 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 4217 0 0 0 621 8 0 0 25 0 3 0 910908522 141828096 8823 33554432000 4194304 5714118 140734094454224 18446744073709551615 4319374 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) 138504
[startup+12.7009 s]
/proc/loadavg: 3.81 3.95 3.67 5/177 11591
/proc/meminfo: memFree=28487480/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=139516 CPUtime=25.39 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 9896 0 0 0 2497 42 0 0 25 0 3 0 910908522 142864384 9809 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 34879 9809 180 372 0 34504 0
[pid=11548/tid=11549] ppid=11546 vsize=139516 CPUtime=12.69 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 5123 0 0 0 1242 27 0 0 25 0 3 0 910908522 142864384 9809 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=139516 CPUtime=12.69 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 4430 0 0 0 1255 14 0 0 25 0 3 0 910908522 142864384 9809 33554432000 4194304 5714118 140734094454224 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) 139516
[startup+25.5008 s]
/proc/loadavg: 3.85 3.95 3.68 5/177 11591
/proc/meminfo: memFree=28381228/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=140816 CPUtime=50.99 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 14762 0 0 0 5033 66 0 0 25 0 3 0 910908522 144195584 14675 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 35204 14675 180 372 0 34829 0
[pid=11548/tid=11549] ppid=11546 vsize=140816 CPUtime=25.49 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 8795 0 0 0 2506 43 0 0 25 0 3 0 910908522 144195584 14675 33554432000 4194304 5714118 140734094454224 18446744073709551615 4319720 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=140816 CPUtime=25.49 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 5624 0 0 0 2527 22 0 0 25 0 3 0 910908522 144195584 14675 33554432000 4194304 5714118 140734094454224 18446744073709551615 4319807 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) 140816
[startup+51.1005 s]
/proc/loadavg: 3.90 3.96 3.68 5/177 11591
/proc/meminfo: memFree=28235736/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=208368 CPUtime=102.19 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 27006 0 0 0 10101 118 0 0 25 0 3 0 910908522 213368832 26919 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 52092 26919 180 372 0 51717 0
[pid=11548/tid=11549] ppid=11546 vsize=208368 CPUtime=51.09 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 18827 0 0 0 5025 84 0 0 25 0 3 0 910908522 213368832 26919 33554432000 4194304 5714118 140734094454224 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=208368 CPUtime=51.09 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 7836 0 0 0 5075 34 0 0 25 0 3 0 910908522 213368832 26919 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 208368
[startup+102.307 s]
/proc/loadavg: 3.96 3.96 3.70 5/177 11593
/proc/meminfo: memFree=28085688/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=211132 CPUtime=204.6 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 42370 0 0 0 20264 196 0 0 25 0 3 0 910908522 216199168 42227 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 52783 42227 180 372 0 52408 0
[pid=11548/tid=11549] ppid=11546 vsize=211132 CPUtime=102.29 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 30552 0 0 0 10088 141 0 0 25 0 3 0 910908522 216199168 42227 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=211132 CPUtime=102.29 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 11475 0 0 0 10175 54 0 0 25 0 3 0 910908522 216199168 42227 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 211132
[startup+162.301 s]
/proc/loadavg: 3.98 3.97 3.72 5/177 11595
/proc/meminfo: memFree=28039560/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=213728 CPUtime=324.6 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 43141 0 0 0 32207 253 0 0 25 0 3 0 910908522 218857472 42975 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 53432 42975 180 372 0 53057 0
[pid=11548/tid=11549] ppid=11546 vsize=213728 CPUtime=162.29 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 30764 0 0 0 16052 177 0 0 25 0 3 0 910908522 218857472 42975 33554432000 4194304 5714118 140734094454224 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=213728 CPUtime=162.29 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 12034 0 0 0 16154 75 0 0 25 0 3 0 910908522 218857472 42975 33554432000 4194304 5714118 140734094454224 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) 213728
[startup+222.301 s]
/proc/loadavg: 3.99 3.97 3.73 5/177 11597
/proc/meminfo: memFree=27945068/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=280912 CPUtime=444.59 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 48111 0 0 0 44154 305 0 0 25 0 3 0 910908522 287653888 47945 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 70228 47945 180 372 0 69853 0
[pid=11548/tid=11549] ppid=11546 vsize=280912 CPUtime=222.29 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 33901 0 0 0 22023 206 0 0 25 0 3 0 910908522 287653888 47945 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=280912 CPUtime=222.29 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 13867 0 0 0 22130 99 0 0 25 0 3 0 910908522 287653888 47945 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 280912
[startup+282.301 s]
/proc/loadavg: 3.99 3.97 3.74 5/177 11597
/proc/meminfo: memFree=27876484/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=282128 CPUtime=564.59 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 56766 0 0 0 56082 377 0 0 25 0 3 0 910908522 288899072 56600 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 70532 56600 180 372 0 70157 0
[pid=11548/tid=11549] ppid=11546 vsize=282128 CPUtime=282.29 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 42222 0 0 0 27980 249 0 0 25 0 3 0 910908522 288899072 56600 33554432000 4194304 5714118 140734094454224 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=282128 CPUtime=282.3 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 14201 0 0 0 28102 128 0 0 25 0 3 0 910908522 288899072 56600 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 282128
[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.76 5/177 11599
/proc/meminfo: memFree=27827756/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=349124 CPUtime=684.6 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 66643 0 0 0 68008 452 0 0 25 0 3 0 910908522 357502976 66477 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 87281 66477 180 372 0 86906 0
[pid=11548/tid=11549] ppid=11546 vsize=349124 CPUtime=342.29 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 51781 0 0 0 33932 297 0 0 25 0 3 0 910908522 357502976 66477 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=349124 CPUtime=342.29 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 14519 0 0 0 34075 154 0 0 25 0 3 0 910908522 357502976 66477 33554432000 4194304 5714118 140734094454224 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 349124
[startup+402.3 s]
/proc/loadavg: 3.99 3.97 3.77 5/177 11601
/proc/meminfo: memFree=27781620/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=350788 CPUtime=804.6 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 74678 0 0 0 79948 512 0 0 25 0 3 0 910908522 359206912 74512 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 87697 74512 180 372 0 87322 0
[pid=11548/tid=11549] ppid=11546 vsize=350788 CPUtime=402.29 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 59450 0 0 0 39892 337 0 0 25 0 3 0 910908522 359206912 74512 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=350788 CPUtime=402.3 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 14885 0 0 0 40055 175 0 0 25 0 3 0 910908522 359206912 74512 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 350788
[startup+462.301 s]
/proc/loadavg: 3.99 3.97 3.78 5/177 11603
/proc/meminfo: memFree=27708820/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=416752 CPUtime=924.6 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 83465 0 0 0 91885 575 0 0 25 0 3 0 910908522 426754048 83299 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 104188 83299 180 372 0 103813 0
[pid=11548/tid=11549] ppid=11546 vsize=416752 CPUtime=462.3 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 67470 0 0 0 45848 382 0 0 25 0 3 0 910908522 426754048 83299 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=416752 CPUtime=462.3 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 15652 0 0 0 46037 193 0 0 25 0 3 0 910908522 426754048 83299 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 416752
[startup+522.301 s]
/proc/loadavg: 3.99 3.97 3.79 5/177 11603
/proc/meminfo: memFree=27667652/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=417888 CPUtime=1044.61 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 93296 0 0 0 103816 645 0 0 25 0 3 0 910908522 427917312 93130 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 104472 93130 180 372 0 104097 0
[pid=11548/tid=11549] ppid=11546 vsize=417888 CPUtime=522.3 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 76055 0 0 0 51800 430 0 0 25 0 3 0 910908522 427917312 93130 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=417888 CPUtime=522.29 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 16898 0 0 0 52015 214 0 0 25 0 3 0 910908522 427917312 93130 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 417888
[startup+582.301 s]
/proc/loadavg: 3.99 3.97 3.80 5/177 11605
/proc/meminfo: memFree=27626852/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=483996 CPUtime=1164.6 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 102997 0 0 0 115738 722 0 0 25 0 3 0 910908522 495611904 102831 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 120999 102831 180 372 0 120624 0
[pid=11548/tid=11549] ppid=11546 vsize=483996 CPUtime=582.29 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 85630 0 0 0 57750 479 0 0 25 0 3 0 910908522 495611904 102831 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=483996 CPUtime=582.29 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 17024 0 0 0 57987 242 0 0 25 0 3 0 910908522 495611904 102831 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.6
Current children cumulated vsize (KiB) 483996
[startup+642.301 s]
/proc/loadavg: 3.99 3.97 3.81 5/177 11607
/proc/meminfo: memFree=27600676/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=485476 CPUtime=1284.62 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 109391 0 0 0 127678 784 0 0 25 0 3 0 910908522 497127424 109225 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 121369 109225 180 372 0 120994 0
[pid=11548/tid=11549] ppid=11546 vsize=485476 CPUtime=642.31 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 91811 0 0 0 63713 518 0 0 25 0 3 0 910908522 497127424 109225 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=485476 CPUtime=642.31 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 17237 0 0 0 63965 266 0 0 25 0 3 0 910908522 497127424 109225 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 485476
[startup+702.301 s]
/proc/loadavg: 3.99 3.97 3.82 5/177 11609
/proc/meminfo: memFree=27544744/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=485688 CPUtime=1404.61 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 113775 0 0 0 139630 831 0 0 25 0 3 0 910908522 497344512 113609 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 121422 113609 180 372 0 121047 0
[pid=11548/tid=11549] ppid=11546 vsize=485688 CPUtime=702.3 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 96115 0 0 0 69685 545 0 0 25 0 3 0 910908522 497344512 113609 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=485688 CPUtime=702.3 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 17317 0 0 0 69945 285 0 0 25 0 3 0 910908522 497344512 113609 33554432000 4194304 5714118 140734094454224 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 485688
[startup+762.307 s]
/proc/loadavg: 3.99 3.97 3.83 5/177 11611
/proc/meminfo: memFree=27520812/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=551840 CPUtime=1524.62 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 119113 0 0 0 151583 879 0 0 25 0 3 0 910908522 565084160 118947 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 137960 118947 180 372 0 137585 0
[pid=11548/tid=11549] ppid=11546 vsize=551840 CPUtime=762.3 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 101281 0 0 0 75655 575 0 0 25 0 3 0 910908522 565084160 118947 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=551840 CPUtime=762.31 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 17489 0 0 0 75928 303 0 0 25 0 3 0 910908522 565084160 118947 33554432000 4194304 5714118 140734094454224 18446744073709551615 4319212 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.62
Current children cumulated vsize (KiB) 551840
[startup+822.3 s]
/proc/loadavg: 3.99 3.97 3.83 5/177 11613
/proc/meminfo: memFree=27493152/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=553216 CPUtime=1644.61 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 123358 0 0 0 163544 917 0 0 25 0 3 0 910908522 566493184 123189 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 138304 123189 180 372 0 137929 0
[pid=11548/tid=11549] ppid=11546 vsize=553216 CPUtime=822.3 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 104435 0 0 0 81636 594 0 0 25 0 3 0 910908522 566493184 123189 33554432000 4194304 5714118 140734094454224 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=553216 CPUtime=822.3 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 18580 0 0 0 81908 322 0 0 25 0 3 0 910908522 566493184 123189 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.61
Current children cumulated vsize (KiB) 553216
[startup+882.3 s]
/proc/loadavg: 3.99 3.97 3.84 5/177 11613
/proc/meminfo: memFree=27442920/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=554316 CPUtime=1764.61 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 130891 0 0 0 175490 971 0 0 25 0 3 0 910908522 567619584 130722 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 138579 130722 180 372 0 138204 0
[pid=11548/tid=11549] ppid=11546 vsize=554316 CPUtime=882.3 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 111662 0 0 0 87598 632 0 0 25 0 3 0 910908522 567619584 130722 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=554316 CPUtime=882.3 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 18886 0 0 0 87891 339 0 0 25 0 3 0 910908522 567619584 130722 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.61
Current children cumulated vsize (KiB) 554316
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 3.99 3.97 3.84 5/177 11615
/proc/meminfo: memFree=27441184/32951132 swapFree=67061148/67111528
[pid=11548] ppid=11546 vsize=554316 CPUtime=1800.02 cores=0,2,4,6
/proc/11548/stat : 11548 (pwbo1.1) S 11546 11548 10842 0 -1 4202496 131271 0 0 0 179020 982 0 0 25 0 3 0 910908522 567619584 131102 33554432000 4194304 5714118 140734094454224 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11548/statm: 138579 131102 180 372 0 138204 0
[pid=11548/tid=11549] ppid=11546 vsize=554316 CPUtime=900.01 cores=0,2,4,6
/proc/11548/task/11549/stat : 11549 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 112034 0 0 0 89364 637 0 0 25 0 3 0 910908522 567619584 131102 33554432000 4194304 5714118 140734094454224 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11548/tid=11550] ppid=11546 vsize=554316 CPUtime=900.01 cores=0,2,4,6
/proc/11548/task/11550/stat : 11550 (pwbo1.1) R 11546 11548 10842 0 -1 4202560 18894 0 0 0 89656 345 0 0 25 0 3 0 910908522 567619584 131102 33554432000 4194304 5714118 140734094454224 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 554316
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.033
CPU time (s): 1800.07
CPU user time (s): 1790.22
CPU system time (s): 9.8485
CPU usage (%): 200
Max. virtual memory (cumulated for all children) (KiB): 554316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.22
system time used= 9.8485
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131276
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= 70
involuntary context switches= 3627
runsolver used 1.52077 second user time and 3.01354 second system time
The end