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-3500081-1307990484/watcher-3500081-1307990484 -o /tmp/evaluation-result-3500081-1307990484/solver-3500081-1307990484 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500081-1307990484.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.75 3.84 3.20 3/173 30098
/proc/meminfo: memFree=11980744/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=135420 CPUtime=0 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 633 0 0 0 0 0 0 0 25 0 3 0 910648065 138670080 574 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 33855 576 176 372 0 33480 0
[pid=30098/tid=30099] ppid=30095 vsize=135420 CPUtime=0 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 112 0 0 0 0 0 0 0 25 0 3 0 910648065 138670080 579 33554432000 4194304 5714118 140733353245104 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=135420 CPUtime=0 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 28 0 0 0 0 0 0 0 25 0 3 0 910648065 138670080 580 33554432000 4194304 5714118 140733353245104 18446744073709551615 4964877 0 0 4096 16387 0 0 0 -1 0 0 0 0
[startup+0.0986601 s]
/proc/loadavg: 3.75 3.84 3.20 3/173 30098
/proc/meminfo: memFree=11980744/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=154944 CPUtime=0.18 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 9461 0 0 0 16 2 0 0 25 0 3 0 910648065 158662656 9303 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 38736 9303 178 372 0 38361 0
[pid=30098/tid=30099] ppid=30095 vsize=154944 CPUtime=0.09 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 871 0 0 0 9 0 0 0 18 0 3 0 910648065 158662656 9303 33554432000 4194304 5714118 140733353245104 18446744073709551615 4973006 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=154944 CPUtime=0.08 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 8092 0 0 0 6 2 0 0 25 0 3 0 910648065 158662656 9303 33554432000 4194304 5714118 140733353245104 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 154944
[startup+0.100659 s]
/proc/loadavg: 3.75 3.84 3.20 3/173 30098
/proc/meminfo: memFree=11980744/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=154944 CPUtime=0.18 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 9473 0 0 0 16 2 0 0 25 0 3 0 910648065 158662656 9315 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 38736 9315 178 372 0 38361 0
[pid=30098/tid=30099] ppid=30095 vsize=154944 CPUtime=0.09 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 880 0 0 0 9 0 0 0 18 0 3 0 910648065 158662656 9315 33554432000 4194304 5714118 140733353245104 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=154944 CPUtime=0.09 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 8095 0 0 0 7 2 0 0 25 0 3 0 910648065 158662656 9315 33554432000 4194304 5714118 140733353245104 18446744073709551615 4305167 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 154944
[startup+0.300629 s]
/proc/loadavg: 3.75 3.84 3.20 3/173 30098
/proc/meminfo: memFree=11980744/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=154944 CPUtime=0.58 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 9826 0 0 0 56 2 0 0 25 0 3 0 910648065 158662656 9668 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 38736 9668 179 372 0 38361 0
[pid=30098/tid=30099] ppid=30095 vsize=154944 CPUtime=0.28 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 1228 0 0 0 28 0 0 0 18 0 3 0 910648065 158662656 9668 33554432000 4194304 5714118 140733353245104 18446744073709551615 4311165 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=154944 CPUtime=0.29 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 8100 0 0 0 27 2 0 0 25 0 3 0 910648065 158662656 9668 33554432000 4194304 5714118 140733353245104 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) 154944
[startup+0.700556 s]
/proc/loadavg: 3.75 3.84 3.20 3/173 30098
/proc/meminfo: memFree=11980744/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=154944 CPUtime=1.39 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 10735 0 0 0 133 6 0 0 25 0 3 0 910648065 158662656 10577 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 38736 10577 179 372 0 38361 0
[pid=30098/tid=30099] ppid=30095 vsize=154944 CPUtime=0.68 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 1880 0 0 0 65 3 0 0 18 0 3 0 910648065 158662656 10577 33554432000 4194304 5714118 140733353245104 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=154944 CPUtime=0.69 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 8357 0 0 0 67 2 0 0 25 0 3 0 910648065 158662656 10577 33554432000 4194304 5714118 140733353245104 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) 154944
[startup+1.50045 s]
/proc/loadavg: 3.75 3.84 3.20 5/180 30137
/proc/meminfo: memFree=11895176/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=155088 CPUtime=2.99 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 11900 0 0 0 290 9 0 0 25 0 3 0 910648065 158810112 11742 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 38772 11742 179 372 0 38397 0
[pid=30098/tid=30099] ppid=30095 vsize=155088 CPUtime=1.49 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 2617 0 0 0 143 6 0 0 19 0 3 0 910648065 158810112 11742 33554432000 4194304 5714118 140733353245104 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=155088 CPUtime=1.48 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 8785 0 0 0 146 2 0 0 25 0 3 0 910648065 158810112 11742 33554432000 4194304 5714118 140733353245104 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) 155088
[startup+3.72003 s]
/proc/loadavg: 3.75 3.84 3.20 5/180 30137
/proc/meminfo: memFree=11884760/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=154944 CPUtime=7.48 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 14358 0 0 0 734 14 0 0 25 0 3 0 910648065 158662656 14171 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 38736 14242 179 372 0 38361 0
[pid=30098/tid=30099] ppid=30095 vsize=154944 CPUtime=3.9 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 3273 0 0 0 381 9 0 0 20 0 3 0 910648065 158662656 14362 33554432000 4194304 5714118 140733353245104 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=154944 CPUtime=3.98 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 10873 0 0 0 393 5 0 0 25 0 3 0 910648065 158662656 14461 33554432000 4194304 5714118 140733353245104 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.48
Current children cumulated vsize (KiB) 154944
[startup+6.30061 s]
/proc/loadavg: 4.09 3.91 3.23 5/180 30137
/proc/meminfo: memFree=11859756/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=155160 CPUtime=12.58 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 16411 0 0 0 1237 21 0 0 25 0 3 0 910648065 158883840 16224 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 38790 16224 179 372 0 38415 0
[pid=30098/tid=30099] ppid=30095 vsize=155160 CPUtime=6.28 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 3914 0 0 0 614 14 0 0 25 0 3 0 910648065 158883840 16224 33554432000 4194304 5714118 140733353245104 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=155160 CPUtime=6.29 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 11999 0 0 0 623 6 0 0 25 0 3 0 910648065 158883840 16224 33554432000 4194304 5714118 140733353245104 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 155160
[startup+12.7005 s]
/proc/loadavg: 4.09 3.91 3.23 5/180 30137
/proc/meminfo: memFree=11818644/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=155484 CPUtime=25.38 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 23073 0 0 0 2502 36 0 0 25 0 3 0 910648065 159215616 22886 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 38871 22886 180 372 0 38496 0
[pid=30098/tid=30099] ppid=30095 vsize=155484 CPUtime=12.69 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 6606 0 0 0 1242 27 0 0 20 0 3 0 910648065 159215616 22886 33554432000 4194304 5714118 140733353245104 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=155484 CPUtime=12.69 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 15969 0 0 0 1260 9 0 0 25 0 3 0 910648065 159215616 22886 33554432000 4194304 5714118 140733353245104 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 155484
[startup+25.5013 s]
/proc/loadavg: 4.07 3.91 3.24 5/180 30137
/proc/meminfo: memFree=11733860/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=221420 CPUtime=50.99 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 34289 0 0 0 5033 66 0 0 25 0 3 0 910648065 226734080 34102 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 55355 34102 180 372 0 54980 0
[pid=30098/tid=30099] ppid=30095 vsize=221420 CPUtime=25.49 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 11489 0 0 0 2500 49 0 0 18 0 3 0 910648065 226734080 34102 33554432000 4194304 5714118 140733353245104 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=221420 CPUtime=25.48 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 22302 0 0 0 2532 16 0 0 25 0 3 0 910648065 226734080 34102 33554432000 4194304 5714118 140733353245104 18446744073709551615 4319374 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) 221420
[startup+51.1009 s]
/proc/loadavg: 4.04 3.92 3.26 5/180 30139
/proc/meminfo: memFree=11619996/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=287316 CPUtime=102.19 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 52095 0 0 0 10112 107 0 0 25 0 3 0 910648065 294211584 51908 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 71829 51908 180 372 0 71454 0
[pid=30098/tid=30099] ppid=30095 vsize=287316 CPUtime=51.08 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 17913 0 0 0 5030 78 0 0 22 0 3 0 910648065 294211584 51908 33554432000 4194304 5714118 140733353245104 18446744073709551615 4300228 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=287316 CPUtime=51.09 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 33684 0 0 0 5081 28 0 0 25 0 3 0 910648065 294211584 51908 33554432000 4194304 5714118 140733353245104 18446744073709551615 4319896 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) 287316
[startup+102.301 s]
/proc/loadavg: 4.02 3.93 3.30 5/180 30139
/proc/meminfo: memFree=11392568/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=420436 CPUtime=204.59 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 86367 0 0 0 20258 201 0 0 25 0 3 0 910648065 430526464 86122 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 105109 86122 180 372 0 104734 0
[pid=30098/tid=30099] ppid=30095 vsize=420436 CPUtime=102.29 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 24361 0 0 0 10104 125 0 0 25 0 3 0 910648065 430526464 86122 33554432000 4194304 5714118 140733353245104 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=420436 CPUtime=102.28 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 61508 0 0 0 10153 75 0 0 25 0 3 0 910648065 430526464 86122 33554432000 4194304 5714118 140733353245104 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 420436
[startup+162.301 s]
/proc/loadavg: 4.04 3.95 3.35 5/180 30141
/proc/meminfo: memFree=11122228/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=552724 CPUtime=324.59 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 120364 0 0 0 32114 345 0 0 25 0 3 0 910648065 565989376 120116 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 138181 120116 180 372 0 137806 0
[pid=30098/tid=30099] ppid=30095 vsize=552724 CPUtime=162.28 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 24642 0 0 0 16077 151 0 0 25 0 3 0 910648065 565989376 120116 33554432000 4194304 5714118 140733353245104 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=552724 CPUtime=162.28 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 95224 0 0 0 16036 192 0 0 25 0 3 0 910648065 565989376 120116 33554432000 4194304 5714118 140733353245104 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 552724
[startup+222.306 s]
/proc/loadavg: 4.01 3.96 3.38 5/180 30143
/proc/meminfo: memFree=10932004/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=683904 CPUtime=444.59 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 138116 0 0 0 44026 433 0 0 25 0 3 0 910648065 700317696 137868 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 170976 137868 180 372 0 170601 0
[pid=30098/tid=30099] ppid=30095 vsize=683904 CPUtime=222.28 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 34375 0 0 0 22017 211 0 0 25 0 3 0 910648065 700317696 137868 33554432000 4194304 5714118 140733353245104 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=683904 CPUtime=222.28 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 103243 0 0 0 22008 220 0 0 25 0 3 0 910648065 700317696 137868 33554432000 4194304 5714118 140733353245104 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 683904
################
# More data... #
################
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 44996 0 0 0 27961 268 0 0 25 0 3 0 910648065 701308928 155938 33554432000 4194304 5714118 140733353245104 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=684872 CPUtime=282.27 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 110692 0 0 0 27978 249 0 0 25 0 3 0 910648065 701308928 155938 33554432000 4194304 5714118 140733353245104 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 564.58
Current children cumulated vsize (KiB) 684872
[startup+342.3 s]
/proc/loadavg: 4.00 3.97 3.45 5/180 30146
/proc/meminfo: memFree=10667488/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=751776 CPUtime=684.58 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 170326 0 0 0 67878 580 0 0 25 0 3 0 910648065 769818624 170078 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 187944 170078 180 372 0 187569 0
[pid=30098/tid=30099] ppid=30095 vsize=751776 CPUtime=342.29 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 54036 0 0 0 33917 312 0 0 25 0 3 0 910648065 769818624 170078 33554432000 4194304 5714118 140733353245104 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=751776 CPUtime=342.28 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 115792 0 0 0 33960 268 0 0 25 0 3 0 910648065 769818624 170078 33554432000 4194304 5714118 140733353245104 18446744073709551615 4319325 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 684.58
Current children cumulated vsize (KiB) 751776
[startup+402.301 s]
/proc/loadavg: 4.00 3.97 3.48 5/180 30147
/proc/meminfo: memFree=10602868/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=751776 CPUtime=804.58 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 180229 0 0 0 79817 641 0 0 25 0 3 0 910648065 769818624 179981 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 187944 179981 180 372 0 187569 0
[pid=30098/tid=30099] ppid=30095 vsize=751776 CPUtime=402.28 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 63922 0 0 0 39862 366 0 0 25 0 3 0 910648065 769818624 179981 33554432000 4194304 5714118 140733353245104 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=751776 CPUtime=402.28 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 115809 0 0 0 39954 274 0 0 25 0 3 0 910648065 769818624 179981 33554432000 4194304 5714118 140733353245104 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 804.58
Current children cumulated vsize (KiB) 751776
[startup+462.301 s]
/proc/loadavg: 4.00 3.97 3.51 5/180 30149
/proc/meminfo: memFree=10552016/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=817312 CPUtime=924.58 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 186123 0 0 0 91774 684 0 0 25 0 3 0 910648065 836927488 185875 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 204328 185875 180 372 0 203953 0
[pid=30098/tid=30099] ppid=30095 vsize=817312 CPUtime=462.29 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 69796 0 0 0 45825 404 0 0 25 0 3 0 910648065 836927488 185875 33554432000 4194304 5714118 140733353245104 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=817312 CPUtime=462.28 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 115829 0 0 0 45948 280 0 0 25 0 3 0 910648065 836927488 185875 33554432000 4194304 5714118 140733353245104 18446744073709551615 4319380 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 924.58
Current children cumulated vsize (KiB) 817312
[startup+522.3 s]
/proc/loadavg: 4.00 3.97 3.54 5/180 30151
/proc/meminfo: memFree=10492736/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=817796 CPUtime=1044.59 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 194147 0 0 0 103722 737 0 0 25 0 3 0 910648065 837423104 193899 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 204449 193899 180 372 0 204074 0
[pid=30098/tid=30099] ppid=30095 vsize=817796 CPUtime=522.29 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 77798 0 0 0 51777 452 0 0 25 0 3 0 910648065 837423104 193899 33554432000 4194304 5714118 140733353245104 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=817796 CPUtime=522.28 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 115851 0 0 0 51944 284 0 0 25 0 3 0 910648065 837423104 193899 33554432000 4194304 5714118 140733353245104 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1044.59
Current children cumulated vsize (KiB) 817796
[startup+582.301 s]
/proc/loadavg: 4.00 3.97 3.57 5/180 30153
/proc/meminfo: memFree=10423524/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=883332 CPUtime=1164.58 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 203889 0 0 0 115664 794 0 0 25 0 3 0 910648065 904531968 203641 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 220833 203641 180 372 0 220458 0
[pid=30098/tid=30099] ppid=30095 vsize=883332 CPUtime=582.29 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 87533 0 0 0 57725 504 0 0 25 0 3 0 910648065 904531968 203641 33554432000 4194304 5714118 140733353245104 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=883332 CPUtime=582.29 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 115858 0 0 0 57939 290 0 0 25 0 3 0 910648065 904531968 203641 33554432000 4194304 5714118 140733353245104 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1164.58
Current children cumulated vsize (KiB) 883332
[startup+642.301 s]
/proc/loadavg: 4.00 3.97 3.59 5/180 30154
/proc/meminfo: memFree=10378624/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=883332 CPUtime=1284.59 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 209214 0 0 0 127629 830 0 0 25 0 3 0 910648065 904531968 208966 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 220833 208966 180 372 0 220458 0
[pid=30098/tid=30099] ppid=30095 vsize=883332 CPUtime=642.29 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 92839 0 0 0 63692 537 0 0 25 0 3 0 910648065 904531968 208966 33554432000 4194304 5714118 140733353245104 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=883332 CPUtime=642.28 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 115877 0 0 0 63936 292 0 0 25 0 3 0 910648065 904531968 208966 33554432000 4194304 5714118 140733353245104 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1284.59
Current children cumulated vsize (KiB) 883332
[startup+702.301 s]
/proc/loadavg: 4.07 3.99 3.62 5/180 30155
/proc/meminfo: memFree=10323316/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=948868 CPUtime=1404.59 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 216488 0 0 0 139579 880 0 0 25 0 3 0 910648065 971640832 216240 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 237217 216240 180 372 0 236842 0
[pid=30098/tid=30099] ppid=30095 vsize=948868 CPUtime=702.29 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 100108 0 0 0 69646 583 0 0 25 0 3 0 910648065 971640832 216240 33554432000 4194304 5714118 140733353245104 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=948868 CPUtime=702.29 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 115882 0 0 0 69933 296 0 0 25 0 3 0 910648065 971640832 216240 33554432000 4194304 5714118 140733353245104 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1404.59
Current children cumulated vsize (KiB) 948868
[startup+762.301 s]
/proc/loadavg: 4.02 3.99 3.64 5/180 30157
/proc/meminfo: memFree=10262420/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=948976 CPUtime=1524.6 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 225647 0 0 0 151523 937 0 0 25 0 3 0 910648065 971751424 225399 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 237244 225399 180 372 0 236869 0
[pid=30098/tid=30099] ppid=30095 vsize=948976 CPUtime=762.3 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 109219 0 0 0 75598 632 0 0 25 0 3 0 910648065 971751424 225399 33554432000 4194304 5714118 140733353245104 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=948976 CPUtime=762.29 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 115930 0 0 0 75925 304 0 0 25 0 3 0 910648065 971751424 225399 33554432000 4194304 5714118 140733353245104 18446744073709551615 4288531 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1524.6
Current children cumulated vsize (KiB) 948976
[startup+822.3 s]
/proc/loadavg: 4.01 3.99 3.66 5/180 30159
/proc/meminfo: memFree=10139280/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=1014512 CPUtime=1644.59 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 233579 0 0 0 163463 996 0 0 25 0 3 0 910648065 1038860288 233306 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 253628 233306 180 372 0 253253 0
[pid=30098/tid=30099] ppid=30095 vsize=1014512 CPUtime=822.29 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 117151 0 0 0 81547 682 0 0 25 0 3 0 910648065 1038860288 233306 33554432000 4194304 5714118 140733353245104 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=1014512 CPUtime=822.28 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 115930 0 0 0 81915 313 0 0 25 0 3 0 910648065 1038860288 233306 33554432000 4194304 5714118 140733353245104 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1644.59
Current children cumulated vsize (KiB) 1014512
[startup+882.307 s]
/proc/loadavg: 4.00 3.99 3.68 5/180 30161
/proc/meminfo: memFree=10106032/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=1014512 CPUtime=1764.61 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 241551 0 0 0 175414 1047 0 0 25 0 3 0 910648065 1038860288 241278 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 253628 241278 180 372 0 253253 0
[pid=30098/tid=30099] ppid=30095 vsize=1014512 CPUtime=882.3 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 125118 0 0 0 87503 727 0 0 25 0 3 0 910648065 1038860288 241278 33554432000 4194304 5714118 140733353245104 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=1014512 CPUtime=882.29 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 115935 0 0 0 87910 319 0 0 25 0 3 0 910648065 1038860288 241278 33554432000 4194304 5714118 140733353245104 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1764.61
Current children cumulated vsize (KiB) 1014512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.00 3.99 3.68 5/180 30161
/proc/meminfo: memFree=10096848/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=1014512 CPUtime=1800.01 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 243827 0 0 0 178939 1062 0 0 25 0 3 0 910648065 1038860288 243554 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 253628 243554 180 372 0 253253 0
[pid=30098/tid=30099] ppid=30095 vsize=1014512 CPUtime=900.01 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 127392 0 0 0 89261 740 0 0 25 0 3 0 910648065 1038860288 243554 33554432000 4194304 5714118 140733353245104 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=1014512 CPUtime=900 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 115937 0 0 0 89678 322 0 0 25 0 3 0 910648065 1038860288 243554 33554432000 4194304 5714118 140733353245104 18446744073709551615 4319249 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1014512
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.001 s]
/proc/loadavg: 4.00 3.99 3.68 5/180 30161
/proc/meminfo: memFree=10096848/32951132 swapFree=67054624/67111528
[pid=30098] ppid=30095 vsize=1014512 CPUtime=1800.01 cores=0,2,4,6
/proc/30098/stat : 30098 (pwbo1.1) S 30095 30098 29599 0 -1 4202496 243827 0 0 0 178939 1062 0 0 25 0 3 0 910648065 1038860288 243554 33554432000 4194304 5714118 140733353245104 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/30098/statm: 253628 243554 180 372 0 253253 0
[pid=30098/tid=30099] ppid=30095 vsize=1014512 CPUtime=900.01 cores=0,2,4,6
/proc/30098/task/30099/stat : 30099 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 127392 0 0 0 89261 740 0 0 25 0 3 0 910648065 1038860288 243554 33554432000 4194304 5714118 140733353245104 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30098/tid=30100] ppid=30095 vsize=1014512 CPUtime=900 cores=0,2,4,6
/proc/30098/task/30100/stat : 30100 (pwbo1.1) R 30095 30098 29599 0 -1 4202560 115937 0 0 0 89678 322 0 0 25 0 3 0 910648065 1038860288 243554 33554432000 4194304 5714118 140733353245104 18446744073709551615 4319249 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1014512
Child status: 0
Real time (s): 900.047
CPU time (s): 1800.07
CPU user time (s): 1789.41
CPU system time (s): 10.6574
CPU usage (%): 199.997
Max. virtual memory (cumulated for all children) (KiB): 1014512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.41
system time used= 10.6574
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243833
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= 376
involuntary context switches= 10072
runsolver used 1.93271 second user time and 3.74543 second system time
The end