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-3703640-1338091530/watcher-3703640-1338091530 -o /tmp/evaluation-result-3703640-1338091530/solver-3703640-1338091530 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703640-1338091530.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.84 3.95 3.90 4/178 21128
/proc/meminfo: memFree=31321976/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=7088 CPUtime=0 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) R 21126 21128 19605 0 -1 4202496 449 0 0 0 0 0 0 0 20 0 1 0 275278708 7258112 401 33554432000 4194304 5965102 140734151093008 140734050307272 5160864 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 1772 401 165 433 0 682 0

[startup+0.0537021 s]
/proc/loadavg: 3.84 3.95 3.90 4/178 21128
/proc/meminfo: memFree=31321976/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=11124 CPUtime=0.05 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) R 21126 21128 19605 0 -1 4202496 1590 0 0 0 5 0 0 0 20 0 1 0 275278708 11390976 1542 33554432000 4194304 5965102 140734151093008 140734050307272 5137146 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 2781 1543 310 433 0 1691 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11124

[startup+0.10027 s]
/proc/loadavg: 3.84 3.95 3.90 4/178 21128
/proc/meminfo: memFree=31321976/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=15216 CPUtime=0.09 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) R 21126 21128 19605 0 -1 4202496 2775 0 0 0 9 0 0 0 20 0 1 0 275278708 15581184 2661 33554432000 4194304 5965102 140734151093008 140734050307272 4344307 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 3804 2662 456 433 0 2714 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15216

[startup+0.300165 s]
/proc/loadavg: 3.84 3.95 3.90 4/178 21128
/proc/meminfo: memFree=31321976/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=190364 CPUtime=0.34 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) S 21126 21128 19605 0 -1 4202496 18110 0 0 0 28 6 0 0 20 0 3 0 275278708 194932736 17212 33554432000 4194304 5965102 140734151093008 140734151092528 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 47591 17212 197 433 0 47155 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 190364

[startup+0.700172 s]
/proc/loadavg: 3.84 3.95 3.90 4/178 21128
/proc/meminfo: memFree=31321976/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=193184 CPUtime=1.13 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) S 21126 21128 19605 0 -1 4202496 22010 0 0 0 106 7 0 0 20 0 3 0 275278708 197820416 20680 33554432000 4194304 5965102 140734151093008 140734151092528 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 48296 20680 204 433 0 47860 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 193184

[startup+1.50031 s]
/proc/loadavg: 3.84 3.95 3.90 5/181 21131
/proc/meminfo: memFree=31240872/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=193184 CPUtime=2.73 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) S 21126 21128 19605 0 -1 4202496 22046 0 0 0 266 7 0 0 20 0 3 0 275278708 197820416 20716 33554432000 4194304 5965102 140734151093008 140734151092528 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 48296 20716 205 433 0 47860 0
[pid=21128/tid=21130] ppid=21126 vsize=193184 CPUtime=1.26 cores=0,2,4,6
/proc/21128/task/21130/stat : 21130 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 7006 0 0 0 121 5 0 0 20 0 3 0 275278729 197820416 20716 33554432000 4194304 5965102 140734151093008 140033277864472 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21128/tid=21131] ppid=21126 vsize=193184 CPUtime=1.27 cores=0,2,4,6
/proc/21128/task/21131/stat : 21131 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 9013 0 0 0 125 2 0 0 20 0 3 0 275278729 197820416 20716 33554432000 4194304 5965102 140734151093008 140033267374440 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 193184

[startup+3.10031 s]
/proc/loadavg: 3.84 3.95 3.90 5/181 21131
/proc/meminfo: memFree=31240112/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=193184 CPUtime=5.92 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) S 21126 21128 19605 0 -1 4202496 22200 0 0 0 585 7 0 0 20 0 3 0 275278708 197820416 20870 33554432000 4194304 5965102 140734151093008 140734151092528 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 48296 20870 205 433 0 47860 0
[pid=21128/tid=21130] ppid=21126 vsize=193184 CPUtime=2.86 cores=0,2,4,6
/proc/21128/task/21130/stat : 21130 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 7104 0 0 0 281 5 0 0 20 0 3 0 275278729 197820416 20870 33554432000 4194304 5965102 140734151093008 140033277864472 5139774 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21128/tid=21131] ppid=21126 vsize=193184 CPUtime=2.87 cores=0,2,4,6
/proc/21128/task/21131/stat : 21131 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 9069 0 0 0 285 2 0 0 20 0 3 0 275278729 197820416 20870 33554432000 4194304 5965102 140734151093008 140033267374440 4393958 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 193184

[startup+6.30034 s]
/proc/loadavg: 3.85 3.95 3.90 5/181 21131
/proc/meminfo: memFree=31236384/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=193184 CPUtime=12.32 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) S 21126 21128 19605 0 -1 4202496 22925 0 0 0 1225 7 0 0 20 0 3 0 275278708 197820416 21223 33554432000 4194304 5965102 140734151093008 140734151092528 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 48296 21223 205 433 0 47860 0
[pid=21128/tid=21130] ppid=21126 vsize=193184 CPUtime=6.05 cores=0,2,4,6
/proc/21128/task/21130/stat : 21130 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 7748 0 0 0 600 5 0 0 20 0 3 0 275278729 197820416 21223 33554432000 4194304 5965102 140734151093008 140033277864472 5139774 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21128/tid=21131] ppid=21126 vsize=193184 CPUtime=6.06 cores=0,2,4,6
/proc/21128/task/21131/stat : 21131 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 9150 0 0 0 604 2 0 0 20 0 3 0 275278729 197820416 21223 33554432000 4194304 5965102 140734151093008 140033267374392 4404383 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 193184

[startup+12.7003 s]
/proc/loadavg: 3.86 3.95 3.90 5/181 21131
/proc/meminfo: memFree=31218900/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=193184 CPUtime=25.12 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) S 21126 21128 19605 0 -1 4202496 24018 0 0 0 2504 8 0 0 20 0 3 0 275278708 197820416 22316 33554432000 4194304 5965102 140734151093008 140734151092528 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 48296 22316 205 433 0 47860 0
[pid=21128/tid=21130] ppid=21126 vsize=193184 CPUtime=12.44 cores=0,2,4,6
/proc/21128/task/21130/stat : 21130 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 8446 0 0 0 1238 6 0 0 20 0 3 0 275278729 197820416 22316 33554432000 4194304 5965102 140734151093008 140033277864472 5139822 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21128/tid=21131] ppid=21126 vsize=193184 CPUtime=12.43 cores=0,2,4,6
/proc/21128/task/21131/stat : 21131 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 9545 0 0 0 1241 2 0 0 20 0 3 0 275278729 197820416 22316 33554432000 4194304 5965102 140734151093008 140033267374328 4400963 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 193184

[startup+25.5004 s]
/proc/loadavg: 3.89 3.96 3.91 5/181 21131
/proc/meminfo: memFree=31157744/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=193184 CPUtime=50.72 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) S 21126 21128 19605 0 -1 4202496 41452 0 0 0 5057 15 0 0 20 0 3 0 275278708 197820416 30405 33554432000 4194304 5965102 140734151093008 140734151092528 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 48296 30405 205 433 0 47860 0
[pid=21128/tid=21130] ppid=21126 vsize=193184 CPUtime=25.2 cores=0,2,4,6
/proc/21128/task/21130/stat : 21130 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 19700 0 0 0 2512 8 0 0 20 0 3 0 275278729 197820416 30405 33554432000 4194304 5965102 140734151093008 140033277864344 5134981 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21128/tid=21131] ppid=21126 vsize=193184 CPUtime=25.19 cores=0,2,4,6
/proc/21128/task/21131/stat : 21131 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 15725 0 0 0 2513 6 0 0 20 0 3 0 275278729 197820416 30405 33554432000 4194304 5965102 140734151093008 140033267374392 4401794 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 193184

[startup+51.1004 s]
/proc/loadavg: 3.93 3.96 3.91 5/181 21131
/proc/meminfo: memFree=31043012/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=258720 CPUtime=101.9 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) S 21126 21128 19605 0 -1 4202496 84996 0 0 0 10156 34 0 0 20 0 3 0 275278708 264929280 48940 33554432000 4194304 5965102 140734151093008 140734151092528 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 64680 48940 206 433 0 64244 0
[pid=21128/tid=21130] ppid=21126 vsize=258720 CPUtime=50.74 cores=0,2,4,6
/proc/21128/task/21130/stat : 21130 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 47835 0 0 0 5059 15 0 0 20 0 3 0 275278729 264929280 48940 33554432000 4194304 5965102 140734151093008 140033277864344 5136313 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21128/tid=21131] ppid=21126 vsize=258720 CPUtime=50.73 cores=0,2,4,6
/proc/21128/task/21131/stat : 21131 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 31134 0 0 0 5054 19 0 0 20 0 3 0 275278729 264929280 48940 33554432000 4194304 5965102 140734151093008 140033267374392 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 258720

[startup+102.3 s]
/proc/loadavg: 3.97 3.96 3.91 5/181 21131
/proc/meminfo: memFree=30801628/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=456952 CPUtime=204.3 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) S 21126 21128 19605 0 -1 4202496 129322 0 0 0 20367 63 0 0 20 0 3 0 275278708 467918848 85650 33554432000 4194304 5965102 140734151093008 140734151092528 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 114238 85650 206 433 0 113802 0
[pid=21128/tid=21130] ppid=21126 vsize=456952 CPUtime=101.81 cores=0,2,4,6
/proc/21128/task/21130/stat : 21130 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 67269 0 0 0 10157 24 0 0 20 0 3 0 275278729 467918848 85650 33554432000 4194304 5965102 140734151093008 140033277863736 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21128/tid=21131] ppid=21126 vsize=456952 CPUtime=101.79 cores=0,2,4,6
/proc/21128/task/21131/stat : 21131 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 56026 0 0 0 10140 39 0 0 20 0 3 0 275278729 467918848 85650 33554432000 4194304 5965102 140734151093008 140033267374392 5137076 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 204.3
Current children cumulated vsize (KiB) 456952

[startup+162.3 s]
/proc/loadavg: 4.07 3.99 3.91 5/181 21132
/proc/meminfo: memFree=30596436/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=588024 CPUtime=324.26 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) S 21126 21128 19605 0 -1 4202496 163414 0 0 0 32339 87 0 0 20 0 3 0 275278708 602136576 119741 33554432000 4194304 5965102 140734151093008 140734151092528 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 147006 119741 206 433 0 146570 0
[pid=21128/tid=21130] ppid=21126 vsize=588024 CPUtime=161.65 cores=0,2,4,6
/proc/21128/task/21130/stat : 21130 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 77140 0 0 0 16131 34 0 0 20 0 3 0 275278729 602136576 119741 33554432000 4194304 5965102 140734151093008 140033277863928 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21128/tid=21131] ppid=21126 vsize=588024 CPUtime=161.63 cores=0,2,4,6
/proc/21128/task/21131/stat : 21131 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 80247 0 0 0 16106 57 0 0 20 0 3 0 275278729 602136576 119741 33554432000 4194304 5965102 140734151093008 140033267374392 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.26
Current children cumulated vsize (KiB) 588024

[startup+222.307 s]
/proc/loadavg: 4.02 3.99 3.91 5/181 21132
/proc/meminfo: memFree=30415380/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=721528 CPUtime=444.24 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) S 21126 21128 19605 0 -1 4202496 195926 0 0 0 44314 110 0 0 20 0 3 0 275278708 738844672 153248 33554432000 4194304 5965102 140734151093008 140734151092528 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 180382 153248 206 433 0 179946 0
[pid=21128/tid=21130] ppid=21126 vsize=721528 CPUtime=221.49 cores=0,2,4,6
/proc/21128/task/21130/stat : 21130 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 84289 0 0 0 22109 40 0 0 20 0 3 0 275278729 738844672 153248 33554432000 4194304 5965102 140734151093008 140033277863976 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21128/tid=21131] ppid=21126 vsize=721528 CPUtime=221.47 cores=0,2,4,6
/proc/21128/task/21131/stat : 21131 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 105610 0 0 0 22072 75 0 0 20 0 3 0 275278729 738844672 153248 33554432000 4194304 5965102 140734151093008 140033267374392 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.24
Current children cumulated vsize (KiB) 721528

[startup+282.3 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 21135
/proc/meminfo: memFree=30287308/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=787476 CPUtime=564.18 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) S 21126 21128 19605 0 -1 4202496 218960 0 0 0 56290 128 0 0 20 0 3 0 275278708 806375424 176242 33554432000 4194304 5965102 140734151093008 140734151092528 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 196869 176242 206 433 0 196433 0
[pid=21128/tid=21130] ppid=21126 vsize=787476 CPUtime=281.33 cores=0,2,4,6
/proc/21128/task/21130/stat : 21130 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 86774 0 0 0 28090 43 0 0 20 0 3 0 275278729 806375424 176242 33554432000 4194304 5965102 140734151093008 140033277863736 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21128/tid=21131] ppid=21126 vsize=787476 CPUtime=281.27 cores=0,2,4,6
/proc/21128/task/21131/stat : 21131 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 126159 0 0 0 28035 92 0 0 20 0 3 0 275278729 806375424 176242 33554432000 4194304 5965102 140734151093008 140033267374392 4401441 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 564.18
Current children cumulated vsize (KiB) 787476

[startup+342.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 21135
/proc/meminfo: memFree=30252500/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=787608 CPUtime=684.12 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) S 21126 21128 19605 0 -1 4202496 221948 0 0 0 68282 130 0 0 20 0 3 0 275278708 806510592 179187 33554432000 4194304 5965102 140734151093008 140734151092528 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 196902 179187 206 433 0 196466 0

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

[pid=21128/tid=21131] ppid=21126 vsize=787608 CPUtime=341.08 cores=0,2,4,6
/proc/21128/task/21131/stat : 21131 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 128189 0 0 0 34013 95 0 0 20 0 3 0 275278729 806510592 179187 33554432000 4194304 5965102 140734151093008 140033267374392 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 684.12
Current children cumulated vsize (KiB) 787608

[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 21135
/proc/meminfo: memFree=30201812/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=853416 CPUtime=804.08 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) S 21126 21128 19605 0 -1 4202496 225723 0 0 0 80271 137 0 0 20 0 3 0 275278708 873897984 183009 33554432000 4194304 5965102 140734151093008 140734151092528 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 213354 183009 206 433 0 212918 0
[pid=21128/tid=21130] ppid=21126 vsize=853416 CPUtime=401 cores=0,2,4,6
/proc/21128/task/21130/stat : 21130 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 91424 0 0 0 40048 52 0 0 20 0 3 0 275278729 873897984 183009 33554432000 4194304 5965102 140734151093008 140033277863976 4400978 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21128/tid=21131] ppid=21126 vsize=853416 CPUtime=400.91 cores=0,2,4,6
/proc/21128/task/21131/stat : 21131 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 128272 0 0 0 39995 96 0 0 20 0 3 0 275278729 873897984 183009 33554432000 4194304 5965102 140734151093008 140033267374152 4401009 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 804.08
Current children cumulated vsize (KiB) 853416

[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 21136
/proc/meminfo: memFree=30158812/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=853548 CPUtime=924.02 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) S 21126 21128 19605 0 -1 4202496 235651 0 0 0 92252 150 0 0 20 0 3 0 275278708 874033152 192935 33554432000 4194304 5965102 140734151093008 140734151092528 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 213387 192935 206 433 0 212951 0
[pid=21128/tid=21130] ppid=21126 vsize=853548 CPUtime=460.84 cores=0,2,4,6
/proc/21128/task/21130/stat : 21130 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 95339 0 0 0 46025 59 0 0 20 0 3 0 275278729 874033152 192935 33554432000 4194304 5965102 140734151093008 140033277863976 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21128/tid=21131] ppid=21126 vsize=853548 CPUtime=460.72 cores=0,2,4,6
/proc/21128/task/21131/stat : 21131 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 134285 0 0 0 45971 101 0 0 20 0 3 0 275278729 874033152 192935 33554432000 4194304 5965102 140734151093008 140033267374392 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 924.02
Current children cumulated vsize (KiB) 853548

[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 21136
/proc/meminfo: memFree=29994416/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=984888 CPUtime=1043.98 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) S 21126 21128 19605 0 -1 4202496 269225 0 0 0 104221 177 0 0 20 0 3 0 275278708 1008525312 226470 33554432000 4194304 5965102 140734151093008 140734151092528 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 246222 226470 206 433 0 245786 0
[pid=21128/tid=21130] ppid=21126 vsize=984888 CPUtime=520.67 cores=0,2,4,6
/proc/21128/task/21130/stat : 21130 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 99460 0 0 0 52002 65 0 0 20 0 3 0 275278729 1008525312 226470 33554432000 4194304 5965102 140734151093008 140033277863928 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21128/tid=21131] ppid=21126 vsize=984888 CPUtime=520.54 cores=0,2,4,6
/proc/21128/task/21131/stat : 21131 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 163738 0 0 0 51929 125 0 0 20 0 3 0 275278729 1008525312 226470 33554432000 4194304 5965102 140734151093008 140033267374392 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1043.98
Current children cumulated vsize (KiB) 984888

[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 21136
/proc/meminfo: memFree=29843336/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=1117196 CPUtime=1163.94 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) S 21126 21128 19605 0 -1 4202496 298854 0 0 0 116194 200 0 0 20 0 3 0 275278708 1144008704 256805 33554432000 4194304 5965102 140734151093008 140734151092528 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 279299 256805 206 433 0 278863 0
[pid=21128/tid=21130] ppid=21126 vsize=1117196 CPUtime=580.51 cores=0,2,4,6
/proc/21128/task/21130/stat : 21130 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 103409 0 0 0 57982 69 0 0 20 0 3 0 275278729 1144008704 256805 33554432000 4194304 5965102 140734151093008 140033277863976 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21128/tid=21131] ppid=21126 vsize=1117196 CPUtime=580.38 cores=0,2,4,6
/proc/21128/task/21131/stat : 21131 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 189418 0 0 0 57892 146 0 0 20 0 3 0 275278729 1144008704 256805 33554432000 4194304 5965102 140734151093008 140033267374392 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1163.94
Current children cumulated vsize (KiB) 1117196

[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 21136
/proc/meminfo: memFree=29711180/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=1183004 CPUtime=1283.92 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) S 21126 21128 19605 0 -1 4202496 325548 0 0 0 128169 223 0 0 20 0 3 0 275278708 1211396096 283498 33554432000 4194304 5965102 140734151093008 140734151092528 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 295751 283498 206 433 0 295315 0
[pid=21128/tid=21130] ppid=21126 vsize=1183004 CPUtime=640.36 cores=0,2,4,6
/proc/21128/task/21130/stat : 21130 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 106784 0 0 0 63962 74 0 0 20 0 3 0 275278729 1211396096 283498 33554432000 4194304 5965102 140734151093008 140033277863928 4401582 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21128/tid=21131] ppid=21126 vsize=1183004 CPUtime=640.23 cores=0,2,4,6
/proc/21128/task/21131/stat : 21131 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 212737 0 0 0 63857 166 0 0 20 0 3 0 275278729 1211396096 283498 33554432000 4194304 5965102 140734151093008 140033267374392 4401143 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1283.92
Current children cumulated vsize (KiB) 1183004

[startup+702.3 s]
/proc/loadavg: 4.03 4.00 3.92 5/181 21136
/proc/meminfo: memFree=29581636/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=1312120 CPUtime=1403.91 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) S 21126 21128 19605 0 -1 4202496 348643 0 0 0 140152 239 0 0 20 0 3 0 275278708 1343610880 303310 33554432000 4194304 5965102 140734151093008 140734151092528 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 328030 303310 206 433 0 327594 0
[pid=21128/tid=21130] ppid=21126 vsize=1312120 CPUtime=700.2 cores=0,2,4,6
/proc/21128/task/21130/stat : 21130 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 107510 0 0 0 69945 75 0 0 20 0 3 0 275278729 1343610880 303310 33554432000 4194304 5965102 140734151093008 140033277864776 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21128/tid=21131] ppid=21126 vsize=1312120 CPUtime=700.07 cores=0,2,4,6
/proc/21128/task/21131/stat : 21131 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 235106 0 0 0 69824 183 0 0 20 0 3 0 275278729 1343610880 303310 33554432000 4194304 5965102 140734151093008 140033267374392 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1403.91
Current children cumulated vsize (KiB) 1312120

[startup+762.3 s]
/proc/loadavg: 4.01 4.00 3.92 5/181 21137
/proc/meminfo: memFree=29407568/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=1379148 CPUtime=1523.9 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) S 21126 21128 19605 0 -1 4202496 371304 0 0 0 152134 256 0 0 20 0 3 0 275278708 1412247552 325971 33554432000 4194304 5965102 140734151093008 140734151092528 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 344787 325971 206 433 0 344351 0
[pid=21128/tid=21130] ppid=21126 vsize=1379148 CPUtime=760.06 cores=0,2,4,6
/proc/21128/task/21130/stat : 21130 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 107740 0 0 0 75930 76 0 0 20 0 3 0 275278729 1412247552 325971 33554432000 4194304 5965102 140734151093008 140033277864776 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21128/tid=21131] ppid=21126 vsize=1379148 CPUtime=759.92 cores=0,2,4,6
/proc/21128/task/21131/stat : 21131 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 257537 0 0 0 75791 201 0 0 20 0 3 0 275278729 1412247552 325971 33554432000 4194304 5965102 140734151093008 140033267374392 4401129 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1523.9
Current children cumulated vsize (KiB) 1379148

[startup+822.3 s]
/proc/loadavg: 3.94 3.98 3.91 5/181 21178
/proc/meminfo: memFree=30049788/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=1444936 CPUtime=1643.87 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) S 21126 21128 19605 0 -1 4202496 393509 0 0 0 164114 273 0 0 20 0 3 0 275278708 1479614464 348180 33554432000 4194304 5965102 140734151093008 140734151092528 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 361234 348180 206 433 0 360798 0
[pid=21128/tid=21130] ppid=21126 vsize=1444936 CPUtime=819.9 cores=0,2,4,6
/proc/21128/task/21130/stat : 21130 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 107768 0 0 0 81913 77 0 0 20 0 3 0 275278729 1479614464 348180 33554432000 4194304 5965102 140734151093008 140033277864776 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21128/tid=21131] ppid=21126 vsize=1444936 CPUtime=819.76 cores=0,2,4,6
/proc/21128/task/21131/stat : 21131 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 279714 0 0 0 81757 219 0 0 20 0 3 0 275278729 1479614464 348180 33554432000 4194304 5965102 140734151093008 140033267374392 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1643.87
Current children cumulated vsize (KiB) 1444936

[startup+882.307 s]
/proc/loadavg: 3.98 3.98 3.91 5/182 21181
/proc/meminfo: memFree=29801436/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=1576148 CPUtime=1763.83 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) S 21126 21128 19605 0 -1 4202496 418578 0 0 0 176083 300 0 0 20 0 3 0 275278708 1613975552 373217 33554432000 4194304 5965102 140734151093008 140734151092528 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 394037 373217 206 433 0 393601 0
[pid=21128/tid=21130] ppid=21126 vsize=1576148 CPUtime=879.75 cores=0,2,4,6
/proc/21128/task/21130/stat : 21130 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 107831 0 0 0 87897 78 0 0 20 0 3 0 275278729 1613975552 373217 33554432000 4194304 5965102 140734151093008 140033277864776 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21128/tid=21131] ppid=21126 vsize=1576148 CPUtime=879.56 cores=0,2,4,6
/proc/21128/task/21131/stat : 21131 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 304720 0 0 0 87709 247 0 0 20 0 3 0 275278729 1613975552 373217 33554432000 4194304 5965102 140734151093008 140033267374392 4401137 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.83
Current children cumulated vsize (KiB) 1576148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 3.98 3.98 3.91 5/182 21181
/proc/meminfo: memFree=29737296/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=1576148 CPUtime=1800.01 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) S 21126 21128 19605 0 -1 4202496 425366 0 0 0 179691 310 0 0 20 0 3 0 275278708 1613975552 380006 33554432000 4194304 5965102 140734151093008 140734151092528 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 394037 380006 206 433 0 393601 0
[pid=21128/tid=21130] ppid=21126 vsize=1576148 CPUtime=897.8 cores=0,2,4,6
/proc/21128/task/21130/stat : 21130 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 107923 0 0 0 89702 78 0 0 20 0 3 0 275278729 1613975552 380006 33554432000 4194304 5965102 140734151093008 140033277864776 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21128/tid=21131] ppid=21126 vsize=1576148 CPUtime=897.6 cores=0,2,4,6
/proc/21128/task/21131/stat : 21131 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 311416 0 0 0 89503 257 0 0 20 0 3 0 275278729 1613975552 380006 33554432000 4194304 5965102 140734151093008 140033267374392 4401078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1576148

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

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

[startup+900.4 s]
/proc/loadavg: 3.98 3.98 3.91 5/182 21181
/proc/meminfo: memFree=29737296/32873844 swapFree=7112/7112
[pid=21128] ppid=21126 vsize=1576148 CPUtime=1800.01 cores=0,2,4,6
/proc/21128/stat : 21128 (pwbo2.0) S 21126 21128 19605 0 -1 4202496 425366 0 0 0 179691 310 0 0 20 0 3 0 275278708 1613975552 380006 33554432000 4194304 5965102 140734151093008 140734151092528 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21128/statm: 394037 380006 206 433 0 393601 0
[pid=21128/tid=21130] ppid=21126 vsize=1576148 CPUtime=897.8 cores=0,2,4,6
/proc/21128/task/21130/stat : 21130 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 107923 0 0 0 89702 78 0 0 20 0 3 0 275278729 1613975552 380006 33554432000 4194304 5965102 140734151093008 140033277864776 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21128/tid=21131] ppid=21126 vsize=1576148 CPUtime=897.6 cores=0,2,4,6
/proc/21128/task/21131/stat : 21131 (pwbo2.0) R 21126 21128 19605 0 -1 4202560 311416 0 0 0 89503 257 0 0 20 0 3 0 275278729 1613975552 380006 33554432000 4194304 5965102 140734151093008 140033267374392 4401078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1576148

Child status: 0

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

Real time (s): 900.484
CPU time (s): 1800.01
CPU user time (s): 1796.91
CPU system time (s): 3.1
CPU usage (%): 199.894
Max. virtual memory (cumulated for all children) (KiB): 1576148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.28
system time used= 3.44648
maximum resident set size= 1520044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 425371
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= 2143
involuntary context switches= 2317

runsolver used 3.70044 second user time and 3.24551 second system time

The end