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-3726753-1338665561/watcher-3726753-1338665561 -o /tmp/evaluation-result-3726753-1338665561/solver-3726753-1338665561 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726753-1338665561.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.68 3.84 3.20 3/177 30381
/proc/meminfo: memFree=26814832/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=4992 CPUtime=0 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) R 30379 30381 30325 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 332680448 5111808 495 33554432000 4194304 5964478 140733668521888 140733282854488 4403116 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 1248 495 169 433 0 785 0

[startup+0.0454831 s]
/proc/loadavg: 3.68 3.84 3.20 3/177 30381
/proc/meminfo: memFree=26814832/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=164512 CPUtime=0.07 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 2077 0 0 0 7 0 0 0 20 0 3 0 332680448 168460288 2002 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 41128 2002 205 433 0 40692 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 164512

[startup+0.100154 s]
/proc/loadavg: 3.68 3.84 3.20 3/177 30381
/proc/meminfo: memFree=26814832/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=164512 CPUtime=0.18 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 2118 0 0 0 18 0 0 0 20 0 3 0 332680448 168460288 2043 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 41128 2043 205 433 0 40692 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 164512

[startup+0.300123 s]
/proc/loadavg: 3.68 3.84 3.20 3/177 30381
/proc/meminfo: memFree=26814832/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=164512 CPUtime=0.57 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 2742 0 0 0 57 0 0 0 20 0 3 0 332680448 168460288 2667 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 41128 2667 205 433 0 40692 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164512

[startup+0.700133 s]
/proc/loadavg: 3.68 3.84 3.20 3/177 30381
/proc/meminfo: memFree=26814832/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=164512 CPUtime=1.37 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 3378 0 0 0 137 0 0 0 20 0 3 0 332680448 168460288 3303 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 41128 3303 205 433 0 40692 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 164512

[startup+1.50026 s]
/proc/loadavg: 3.71 3.84 3.21 5/181 30392
/proc/meminfo: memFree=26775104/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=164512 CPUtime=2.96 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 5063 0 0 0 296 0 0 0 20 0 3 0 332680448 168460288 4988 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 41128 4988 205 433 0 40692 0
[pid=30381/tid=30383] ppid=30379 vsize=164512 CPUtime=1.47 cores=0,2,4,6
/proc/30381/task/30383/stat : 30383 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 2534 0 0 0 147 0 0 0 20 0 3 0 332680449 168460288 4988 33554432000 4194304 5964478 140733668521888 139796326077976 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30381/tid=30384] ppid=30379 vsize=164512 CPUtime=1.47 cores=0,2,4,6
/proc/30381/task/30384/stat : 30384 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 1322 0 0 0 147 0 0 0 20 0 3 0 332680449 168460288 4988 33554432000 4194304 5964478 140733668521888 139796315588440 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 164512

[startup+3.10027 s]
/proc/loadavg: 3.71 3.84 3.21 5/181 30392
/proc/meminfo: memFree=26762456/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=164800 CPUtime=6.17 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 6880 0 0 0 615 2 0 0 20 0 3 0 332680448 168755200 6805 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 41200 6805 205 433 0 40764 0
[pid=30381/tid=30383] ppid=30379 vsize=164800 CPUtime=3.06 cores=0,2,4,6
/proc/30381/task/30383/stat : 30383 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 3298 0 0 0 306 0 0 0 20 0 3 0 332680449 168755200 6805 33554432000 4194304 5964478 140733668521888 139796326078448 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30381/tid=30384] ppid=30379 vsize=164800 CPUtime=3.06 cores=0,2,4,6
/proc/30381/task/30384/stat : 30384 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 2375 0 0 0 305 1 0 0 20 0 3 0 332680449 168755200 6805 33554432000 4194304 5964478 140733668521888 139796315588832 4389199 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164800

[startup+6.30028 s]
/proc/loadavg: 3.71 3.84 3.21 5/181 30392
/proc/meminfo: memFree=26738144/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=165076 CPUtime=12.57 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 9785 0 0 0 1254 3 0 0 20 0 3 0 332680448 169037824 9710 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 41269 9710 205 433 0 40833 0
[pid=30381/tid=30383] ppid=30379 vsize=165076 CPUtime=6.25 cores=0,2,4,6
/proc/30381/task/30383/stat : 30383 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 5543 0 0 0 624 1 0 0 20 0 3 0 332680449 169037824 9710 33554432000 4194304 5964478 140733668521888 139796326078264 4403370 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30381/tid=30384] ppid=30379 vsize=165076 CPUtime=6.25 cores=0,2,4,6
/proc/30381/task/30384/stat : 30384 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 3035 0 0 0 624 1 0 0 20 0 3 0 332680449 169037824 9710 33554432000 4194304 5964478 140733668521888 139796315588920 4400422 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 165076

[startup+12.7003 s]
/proc/loadavg: 3.75 3.85 3.22 5/181 30392
/proc/meminfo: memFree=26689400/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=165376 CPUtime=25.35 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 15556 0 0 0 2529 6 0 0 20 0 3 0 332680448 169345024 15624 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 41344 15624 205 433 0 40908 0
[pid=30381/tid=30383] ppid=30379 vsize=165376 CPUtime=12.64 cores=0,2,4,6
/proc/30381/task/30383/stat : 30383 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 8792 0 0 0 1261 3 0 0 20 0 3 0 332680449 169345024 15624 33554432000 4194304 5964478 140733668521888 139796326079416 4400542 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30381/tid=30384] ppid=30379 vsize=165376 CPUtime=12.63 cores=0,2,4,6
/proc/30381/task/30384/stat : 30384 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 5557 0 0 0 1260 3 0 0 20 0 3 0 332680449 169345024 15624 33554432000 4194304 5964478 140733668521888 139796315588920 4379008 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 165376

[startup+25.5003 s]
/proc/loadavg: 3.79 3.85 3.22 5/181 30392
/proc/meminfo: memFree=26627448/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=165836 CPUtime=50.94 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 18484 0 0 0 5086 8 0 0 20 0 3 0 332680448 169816064 18572 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 41459 18572 205 433 0 41023 0
[pid=30381/tid=30383] ppid=30379 vsize=165836 CPUtime=25.4 cores=0,2,4,6
/proc/30381/task/30383/stat : 30383 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 9480 0 0 0 2537 3 0 0 20 0 3 0 332680449 169816064 18572 33554432000 4194304 5964478 140733668521888 139796326078264 4403698 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30381/tid=30384] ppid=30379 vsize=165836 CPUtime=25.39 cores=0,2,4,6
/proc/30381/task/30384/stat : 30384 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 7797 0 0 0 2535 4 0 0 20 0 3 0 332680449 169816064 18572 33554432000 4194304 5964478 140733668521888 139796315588920 4403708 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 165836

[startup+51.1003 s]
/proc/loadavg: 3.86 3.86 3.24 5/181 30392
/proc/meminfo: memFree=26537004/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=233456 CPUtime=102.11 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 28516 0 0 0 10198 13 0 0 20 0 3 0 332680448 239058944 28600 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 58364 28600 205 433 0 57928 0
[pid=30381/tid=30383] ppid=30379 vsize=233456 CPUtime=50.92 cores=0,2,4,6
/proc/30381/task/30383/stat : 30383 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 17343 0 0 0 5085 7 0 0 20 0 3 0 332680449 239058944 28600 33554432000 4194304 5964478 140733668521888 139796326077976 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30381/tid=30384] ppid=30379 vsize=233456 CPUtime=50.92 cores=0,2,4,6
/proc/30381/task/30384/stat : 30384 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 9966 0 0 0 5087 5 0 0 20 0 3 0 332680449 239058944 28600 33554432000 4194304 5964478 140733668521888 139796315588680 4403698 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 233456

[startup+102.307 s]
/proc/loadavg: 3.94 3.88 3.28 5/181 30392
/proc/meminfo: memFree=26432224/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=235284 CPUtime=204.5 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 45028 0 0 0 20426 24 0 0 20 0 3 0 332680448 240930816 46857 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 58821 46857 205 433 0 58385 0
[pid=30381/tid=30383] ppid=30379 vsize=235284 CPUtime=101.98 cores=0,2,4,6
/proc/30381/task/30383/stat : 30383 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 27619 0 0 0 10183 15 0 0 20 0 3 0 332680449 240930816 46857 33554432000 4194304 5964478 140733668521888 139796326078264 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30381/tid=30384] ppid=30379 vsize=235284 CPUtime=101.99 cores=0,2,4,6
/proc/30381/task/30384/stat : 30384 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 16202 0 0 0 10189 10 0 0 20 0 3 0 332680449 240930816 46857 33554432000 4194304 5964478 140733668521888 139796315588680 4403698 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.5
Current children cumulated vsize (KiB) 235284

[startup+162.3 s]
/proc/loadavg: 3.98 3.90 3.33 5/181 30392
/proc/meminfo: memFree=26312716/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=369096 CPUtime=324.47 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 57401 0 0 0 32413 34 0 0 20 0 3 0 332680448 377954304 59226 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 92274 59226 205 433 0 91838 0
[pid=30381/tid=30383] ppid=30379 vsize=369096 CPUtime=161.82 cores=0,2,4,6
/proc/30381/task/30383/stat : 30383 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 37488 0 0 0 16158 24 0 0 20 0 3 0 332680449 377954304 59226 33554432000 4194304 5964478 140733668521888 139796326078264 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30381/tid=30384] ppid=30379 vsize=369096 CPUtime=161.83 cores=0,2,4,6
/proc/30381/task/30384/stat : 30384 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 18706 0 0 0 16170 13 0 0 20 0 3 0 332680449 377954304 59226 33554432000 4194304 5964478 140733668521888 139796315588920 4400006 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.47
Current children cumulated vsize (KiB) 369096

[startup+222.3 s]
/proc/loadavg: 3.99 3.92 3.37 5/182 30394
/proc/meminfo: memFree=26204212/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=370180 CPUtime=444.45 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 70150 0 0 0 44400 45 0 0 20 0 3 0 332680448 379064320 72165 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 92545 72165 205 433 0 92109 0
[pid=30381/tid=30383] ppid=30379 vsize=370180 CPUtime=221.67 cores=0,2,4,6
/proc/30381/task/30383/stat : 30383 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 45057 0 0 0 22136 31 0 0 20 0 3 0 332680449 379064320 72165 33554432000 4194304 5964478 140733668521888 139796326078456 4399938 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30381/tid=30384] ppid=30379 vsize=370180 CPUtime=221.67 cores=0,2,4,6
/proc/30381/task/30384/stat : 30384 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 23886 0 0 0 22148 19 0 0 20 0 3 0 332680449 379064320 72165 33554432000 4194304 5964478 140733668521888 139796315588680 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.45
Current children cumulated vsize (KiB) 370180

[startup+282.3 s]
/proc/loadavg: 4.04 3.94 3.41 5/181 30394
/proc/meminfo: memFree=26118316/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=436700 CPUtime=564.39 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 80246 0 0 0 56366 73 0 0 20 0 3 0 332680448 447180800 82430 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 109175 82430 205 433 0 108739 0
[pid=30381/tid=30383] ppid=30379 vsize=436700 CPUtime=281.48 cores=0,2,4,6
/proc/30381/task/30383/stat : 30383 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 52208 0 0 0 28097 51 0 0 20 0 3 0 332680449 447180800 82430 33554432000 4194304 5964478 140733668521888 139796326078504 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30381/tid=30384] ppid=30379 vsize=436700 CPUtime=281.5 cores=0,2,4,6
/proc/30381/task/30384/stat : 30384 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 26831 0 0 0 28121 29 0 0 20 0 3 0 332680449 447180800 82430 33554432000 4194304 5964478 140733668521888 139796315588920 4389395 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.39
Current children cumulated vsize (KiB) 436700

[startup+342.3 s]
/proc/loadavg: 4.01 3.95 3.44 5/181 30394
/proc/meminfo: memFree=26014584/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=438084 CPUtime=684.34 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 85979 0 0 0 68351 83 0 0 20 0 3 0 332680448 448598016 88358 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 109521 88358 205 433 0 109085 0

################
# More data... #
################

[pid=30381/tid=30384] ppid=30379 vsize=438084 CPUtime=341.33 cores=0,2,4,6
/proc/30381/task/30384/stat : 30384 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 29703 0 0 0 34098 35 0 0 20 0 3 0 332680449 448598016 88358 33554432000 4194304 5964478 140733668521888 139796315588728 4388541 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.34
Current children cumulated vsize (KiB) 438084

[startup+402.3 s]
/proc/loadavg: 4.00 3.95 3.47 5/181 30394
/proc/meminfo: memFree=25981524/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=439408 CPUtime=804.32 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 93545 0 0 0 80323 109 0 0 20 0 3 0 332680448 449953792 95927 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 109852 95927 205 433 0 109416 0
[pid=30381/tid=30383] ppid=30379 vsize=439408 CPUtime=401.15 cores=0,2,4,6
/proc/30381/task/30383/stat : 30383 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 62542 0 0 0 40030 85 0 0 20 0 3 0 332680449 449953792 95927 33554432000 4194304 5964478 140733668521888 139796326078264 4389160 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30381/tid=30384] ppid=30379 vsize=439408 CPUtime=401.17 cores=0,2,4,6
/proc/30381/task/30384/stat : 30384 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 29796 0 0 0 40081 36 0 0 20 0 3 0 332680449 449953792 95927 33554432000 4194304 5964478 140733668521888 139796315588680 4222304 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.32
Current children cumulated vsize (KiB) 439408

[startup+462.3 s]
/proc/loadavg: 4.00 3.96 3.50 5/182 30397
/proc/meminfo: memFree=25885456/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=506800 CPUtime=924.3 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 103365 0 0 0 92289 141 0 0 20 0 3 0 332680448 518963200 105745 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 126700 105745 205 433 0 126264 0
[pid=30381/tid=30383] ppid=30379 vsize=506800 CPUtime=461 cores=0,2,4,6
/proc/30381/task/30383/stat : 30383 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 70681 0 0 0 45988 112 0 0 20 0 3 0 332680449 518963200 105745 33554432000 4194304 5964478 140733668521888 139796326078504 4400078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30381/tid=30384] ppid=30379 vsize=506800 CPUtime=461.01 cores=0,2,4,6
/proc/30381/task/30384/stat : 30384 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 31477 0 0 0 46059 42 0 0 20 0 3 0 332680449 518963200 105745 33554432000 4194304 5964478 140733668521888 139796315588968 4399975 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.3
Current children cumulated vsize (KiB) 506800

[startup+522.3 s]
/proc/loadavg: 4.00 3.97 3.53 5/181 30398
/proc/meminfo: memFree=25859144/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=507920 CPUtime=1044.28 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 104614 0 0 0 104284 144 0 0 20 0 3 0 332680448 520110080 106899 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 126980 106899 205 433 0 126544 0
[pid=30381/tid=30383] ppid=30379 vsize=507920 CPUtime=520.85 cores=0,2,4,6
/proc/30381/task/30383/stat : 30383 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 71652 0 0 0 51969 116 0 0 20 0 3 0 332680449 520110080 106899 33554432000 4194304 5964478 140733668521888 139796326078456 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30381/tid=30384] ppid=30379 vsize=507920 CPUtime=520.86 cores=0,2,4,6
/proc/30381/task/30384/stat : 30384 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 31755 0 0 0 52044 42 0 0 20 0 3 0 332680449 520110080 106899 33554432000 4194304 5964478 140733668521888 139796315588680 4399952 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.28
Current children cumulated vsize (KiB) 507920

[startup+582.3 s]
/proc/loadavg: 4.00 3.97 3.56 5/181 30398
/proc/meminfo: memFree=25810052/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=573456 CPUtime=1164.26 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 114035 0 0 0 116256 170 0 0 20 0 3 0 332680448 587218944 116320 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 143364 116320 205 433 0 142928 0
[pid=30381/tid=30383] ppid=30379 vsize=573456 CPUtime=580.69 cores=0,2,4,6
/proc/30381/task/30383/stat : 30383 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 76590 0 0 0 57941 128 0 0 20 0 3 0 332680449 587218944 116320 33554432000 4194304 5964478 140733668521888 139796326078456 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30381/tid=30384] ppid=30379 vsize=573456 CPUtime=580.7 cores=0,2,4,6
/proc/30381/task/30384/stat : 30384 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 36238 0 0 0 58014 56 0 0 20 0 3 0 332680449 587218944 116320 33554432000 4194304 5964478 140733668521888 139796315588920 4403692 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.26
Current children cumulated vsize (KiB) 573456

[startup+642.3 s]
/proc/loadavg: 4.00 3.97 3.58 5/181 30398
/proc/meminfo: memFree=25715136/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=574852 CPUtime=1284.26 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 117678 0 0 0 128243 183 0 0 20 0 3 0 332680448 588648448 119963 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 143713 119963 205 433 0 143277 0
[pid=30381/tid=30383] ppid=30379 vsize=574852 CPUtime=640.54 cores=0,2,4,6
/proc/30381/task/30383/stat : 30383 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 79943 0 0 0 63912 142 0 0 20 0 3 0 332680449 588648448 119963 33554432000 4194304 5964478 140733668521888 139796326078504 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30381/tid=30384] ppid=30379 vsize=574852 CPUtime=640.55 cores=0,2,4,6
/proc/30381/task/30384/stat : 30384 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 36528 0 0 0 63998 57 0 0 20 0 3 0 332680449 588648448 119963 33554432000 4194304 5964478 140733668521888 139796315588728 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.26
Current children cumulated vsize (KiB) 574852

[startup+702.3 s]
/proc/loadavg: 4.00 3.97 3.61 5/181 30398
/proc/meminfo: memFree=25688848/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=640992 CPUtime=1404.23 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 123488 0 0 0 140217 206 0 0 20 0 3 0 332680448 656375808 125773 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 160248 125773 205 433 0 159812 0
[pid=30381/tid=30383] ppid=30379 vsize=640992 CPUtime=700.39 cores=0,2,4,6
/proc/30381/task/30383/stat : 30383 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 85636 0 0 0 69873 166 0 0 20 0 3 0 332680449 656375808 125773 33554432000 4194304 5964478 140733668521888 139796326078264 4400496 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30381/tid=30384] ppid=30379 vsize=640992 CPUtime=700.38 cores=0,2,4,6
/proc/30381/task/30384/stat : 30384 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 36645 0 0 0 69980 58 0 0 20 0 3 0 332680449 656375808 125773 33554432000 4194304 5964478 140733668521888 139796315588680 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.23
Current children cumulated vsize (KiB) 640992

[startup+762.307 s]
/proc/loadavg: 4.00 3.97 3.63 5/181 30398
/proc/meminfo: memFree=25641480/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=641700 CPUtime=1524.2 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 129364 0 0 0 152195 225 0 0 20 0 3 0 332680448 657100800 132094 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 160425 132094 205 433 0 159989 0
[pid=30381/tid=30383] ppid=30379 vsize=641700 CPUtime=760.21 cores=0,2,4,6
/proc/30381/task/30383/stat : 30383 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 90851 0 0 0 75836 185 0 0 20 0 3 0 332680449 657100800 132094 33554432000 4194304 5964478 140733668521888 139796326078456 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30381/tid=30384] ppid=30379 vsize=641700 CPUtime=760.23 cores=0,2,4,6
/proc/30381/task/30384/stat : 30384 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 37306 0 0 0 75962 61 0 0 20 0 3 0 332680449 657100800 132094 33554432000 4194304 5964478 140733668521888 139796315588920 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.2
Current children cumulated vsize (KiB) 641700

[startup+822.3 s]
/proc/loadavg: 4.00 3.97 3.65 5/181 30399
/proc/meminfo: memFree=25584552/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=644308 CPUtime=1644.14 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 134873 0 0 0 164182 232 0 0 20 0 3 0 332680448 659771392 137761 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 161077 137761 205 433 0 160641 0
[pid=30381/tid=30383] ppid=30379 vsize=644308 CPUtime=820.04 cores=0,2,4,6
/proc/30381/task/30383/stat : 30383 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 92889 0 0 0 81816 188 0 0 20 0 3 0 332680449 659771392 137761 33554432000 4194304 5964478 140733668521888 139796326078456 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30381/tid=30384] ppid=30379 vsize=644308 CPUtime=820.05 cores=0,2,4,6
/proc/30381/task/30384/stat : 30384 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 40777 0 0 0 81938 67 0 0 20 0 3 0 332680449 659771392 137761 33554432000 4194304 5964478 140733668521888 139796315588680 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.14
Current children cumulated vsize (KiB) 644308

[startup+882.3 s]
/proc/loadavg: 4.00 3.97 3.67 5/181 30399
/proc/meminfo: memFree=25537040/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=646728 CPUtime=1764.09 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 146226 0 0 0 176140 269 0 0 20 0 3 0 332680448 662249472 149278 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 161682 149278 205 433 0 161246 0
[pid=30381/tid=30383] ppid=30379 vsize=646728 CPUtime=879.86 cores=0,2,4,6
/proc/30381/task/30383/stat : 30383 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 97494 0 0 0 87780 206 0 0 20 0 3 0 332680449 662249472 149278 33554432000 4194304 5964478 140733668521888 139796326078456 4403695 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30381/tid=30384] ppid=30379 vsize=646728 CPUtime=879.88 cores=0,2,4,6
/proc/30381/task/30384/stat : 30384 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 47525 0 0 0 87900 88 0 0 20 0 3 0 332680449 662249472 149278 33554432000 4194304 5964478 140733668521888 139796315588440 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.09
Current children cumulated vsize (KiB) 646728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 3.97 3.67 5/181 30399
/proc/meminfo: memFree=25531584/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=712264 CPUtime=1800.1 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 147496 0 0 0 179736 274 0 0 20 0 3 0 332680448 729358336 150548 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 178066 150548 205 433 0 177630 0
[pid=30381/tid=30383] ppid=30379 vsize=712264 CPUtime=897.82 cores=0,2,4,6
/proc/30381/task/30383/stat : 30383 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 98761 0 0 0 89571 211 0 0 20 0 3 0 332680449 729358336 150548 33554432000 4194304 5964478 140733668521888 139796326078456 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30381/tid=30384] ppid=30379 vsize=712264 CPUtime=897.84 cores=0,2,4,6
/proc/30381/task/30384/stat : 30384 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 47528 0 0 0 89696 88 0 0 20 0 3 0 332680449 729358336 150548 33554432000 4194304 5964478 140733668521888 139796315588440 4389132 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 712264

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+900.3 s]
/proc/loadavg: 4.00 3.97 3.67 5/181 30399
/proc/meminfo: memFree=25531584/32873844 swapFree=7628/7628
[pid=30381] ppid=30379 vsize=712264 CPUtime=1800.1 cores=0,2,4,6
/proc/30381/stat : 30381 (pwbo2.02) S 30379 30381 30325 0 -1 4202496 147496 0 0 0 179736 274 0 0 20 0 3 0 332680448 729358336 150548 33554432000 4194304 5964478 140733668521888 140733668521408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30381/statm: 178066 150548 205 433 0 177630 0
[pid=30381/tid=30383] ppid=30379 vsize=712264 CPUtime=897.82 cores=0,2,4,6
/proc/30381/task/30383/stat : 30383 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 98761 0 0 0 89571 211 0 0 20 0 3 0 332680449 729358336 150548 33554432000 4194304 5964478 140733668521888 139796326078456 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30381/tid=30384] ppid=30379 vsize=712264 CPUtime=897.84 cores=0,2,4,6
/proc/30381/task/30384/stat : 30384 (pwbo2.02) R 30379 30381 30325 0 -1 4202560 47528 0 0 0 89696 88 0 0 20 0 3 0 332680449 729358336 150548 33554432000 4194304 5964478 140733668521888 139796315588440 4389132 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 712264

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30381 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=709466
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=11542
# CPU time returned by wait4() is 1795.72
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.319
CPU time (s): 1800.1
CPU user time (s): 1797.36
CPU system time (s): 2.74
CPU usage (%): 199.94
Max. virtual memory (cumulated for all children) (KiB): 712264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.71
system time used= 3.01154
maximum resident set size= 602208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147500
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= 513
involuntary context switches= 1984

runsolver used 1.9827 second user time and 4.90425 second system time

The end