runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500402-1307994783/watcher-3500402-1307994783 -o /var/tmp/evaluation-result-3500402-1307994783/solver-3500402-1307994783 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500402-1307994783.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.71 3.93 3.89 3/179 12184
/proc/meminfo: memFree=12315172/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=136700 CPUtime=0 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 934 0 0 0 0 0 0 0 18 0 3 0 643669546 139980800 870 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 34175 875 177 372 0 33800 0
[pid=12184/tid=12185] ppid=12182 vsize=136916 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 89 0 0 0 0 0 0 0 18 0 3 0 643669546 140201984 875 33554432000 4194304 5714118 140734151215904 18446744073709551615 4355703 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=136916 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 485 0 0 0 0 0 0 0 20 0 3 0 643669546 140201984 875 33554432000 4194304 5714118 140734151215904 18446744073709551615 5082442 0 0 4096 16387 0 0 0 -1 0 0 0 0
[startup+0.045586 s]
/proc/loadavg: 3.71 3.93 3.89 3/179 12184
/proc/meminfo: memFree=12315172/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=138788 CPUtime=0.07 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 2359 0 0 0 7 0 0 0 18 0 3 0 643669546 142118912 2295 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 34697 2296 179 372 0 34322 0
[pid=12184/tid=12185] ppid=12182 vsize=138788 CPUtime=0.03 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 177 0 0 0 3 0 0 0 18 0 3 0 643669546 142118912 2296 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=138788 CPUtime=0.03 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 1818 0 0 0 3 0 0 0 20 0 3 0 643669546 142118912 2296 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 138788
[startup+0.10058 s]
/proc/loadavg: 3.71 3.93 3.89 3/179 12184
/proc/meminfo: memFree=12315172/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=138788 CPUtime=0.19 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 2520 0 0 0 18 1 0 0 18 0 3 0 643669546 142118912 2456 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 34697 2456 179 372 0 34322 0
[pid=12184/tid=12185] ppid=12182 vsize=138788 CPUtime=0.08 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 304 0 0 0 8 0 0 0 18 0 3 0 643669546 142118912 2456 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=138788 CPUtime=0.08 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 1852 0 0 0 8 0 0 0 20 0 3 0 643669546 142118912 2457 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 138788
[startup+0.300547 s]
/proc/loadavg: 3.71 3.93 3.89 3/179 12184
/proc/meminfo: memFree=12315172/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=138788 CPUtime=0.58 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 2897 0 0 0 56 2 0 0 18 0 3 0 643669546 142118912 2833 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 34697 2833 179 372 0 34322 0
[pid=12184/tid=12185] ppid=12182 vsize=138788 CPUtime=0.29 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 578 0 0 0 28 1 0 0 18 0 3 0 643669546 142118912 2833 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=138788 CPUtime=0.29 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 1954 0 0 0 28 1 0 0 20 0 3 0 643669546 142118912 2833 33554432000 4194304 5714118 140734151215904 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) 138788
[startup+0.70048 s]
/proc/loadavg: 3.71 3.93 3.89 3/179 12184
/proc/meminfo: memFree=12315172/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=138788 CPUtime=1.39 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 3857 0 0 0 133 6 0 0 18 0 3 0 643669546 142118912 3793 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 34697 3793 179 372 0 34322 0
[pid=12184/tid=12185] ppid=12182 vsize=138788 CPUtime=0.69 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 1343 0 0 0 65 4 0 0 18 0 3 0 643669546 142118912 3793 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=138788 CPUtime=0.68 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 2149 0 0 0 67 1 0 0 21 0 3 0 643669546 142118912 3793 33554432000 4194304 5714118 140734151215904 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) 138788
[startup+1.50033 s]
/proc/loadavg: 3.71 3.93 3.89 5/182 12187
/proc/meminfo: memFree=12297580/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=138788 CPUtime=2.99 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 5037 0 0 0 288 11 0 0 18 0 3 0 643669546 142118912 4973 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 34697 4973 179 372 0 34322 0
[pid=12184/tid=12185] ppid=12182 vsize=138788 CPUtime=1.48 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 2461 0 0 0 141 7 0 0 19 0 3 0 643669546 142118912 4973 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=138788 CPUtime=1.49 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 2211 0 0 0 146 3 0 0 23 0 3 0 643669546 142118912 4973 33554432000 4194304 5714118 140734151215904 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) 138788
[startup+3.10103 s]
/proc/loadavg: 3.71 3.93 3.89 5/182 12187
/proc/meminfo: memFree=12289024/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=138932 CPUtime=6.19 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 6503 0 0 0 603 16 0 0 18 0 3 0 643669546 142266368 6439 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 34733 6439 179 372 0 34358 0
[pid=12184/tid=12185] ppid=12182 vsize=138932 CPUtime=3.09 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 3591 0 0 0 298 11 0 0 19 0 3 0 643669546 142266368 6439 33554432000 4194304 5714118 140734151215904 18446744073709551615 4299920 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=138932 CPUtime=3.08 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 2547 0 0 0 304 4 0 0 25 0 3 0 643669546 142266368 6439 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 138932
[startup+6.30049 s]
/proc/loadavg: 3.73 3.94 3.89 5/182 12187
/proc/meminfo: memFree=12272156/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=138788 CPUtime=12.58 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 8552 0 0 0 1233 25 0 0 18 0 3 0 643669546 142118912 8457 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 34697 8457 180 372 0 34322 0
[pid=12184/tid=12185] ppid=12182 vsize=138788 CPUtime=6.28 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 4790 0 0 0 612 16 0 0 19 0 3 0 643669546 142118912 8457 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=138788 CPUtime=6.29 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 3397 0 0 0 621 8 0 0 25 0 3 0 643669546 142118912 8457 33554432000 4194304 5714118 140734151215904 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) 138788
[startup+12.7004 s]
/proc/loadavg: 3.75 3.94 3.89 5/182 12187
/proc/meminfo: memFree=12255172/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=139268 CPUtime=25.38 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 10953 0 0 0 2500 38 0 0 18 0 3 0 643669546 142610432 10858 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 34817 10858 180 372 0 34442 0
[pid=12184/tid=12185] ppid=12182 vsize=139268 CPUtime=12.69 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 5539 0 0 0 1245 24 0 0 25 0 3 0 643669546 142610432 10858 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=139268 CPUtime=12.69 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 5049 0 0 0 1255 14 0 0 25 0 3 0 643669546 142610432 10858 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 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) 139268
[startup+25.5011 s]
/proc/loadavg: 3.81 3.94 3.90 5/182 12188
/proc/meminfo: memFree=12219792/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=140324 CPUtime=50.99 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 19440 0 0 0 5034 65 0 0 18 0 3 0 643669546 143691776 19345 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 35081 19345 180 372 0 34706 0
[pid=12184/tid=12185] ppid=12182 vsize=140324 CPUtime=25.48 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 10067 0 0 0 2505 43 0 0 25 0 3 0 643669546 143691776 19345 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=140324 CPUtime=25.49 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 9008 0 0 0 2528 21 0 0 25 0 3 0 643669546 143691776 19345 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 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) 140324
[startup+51.1006 s]
/proc/loadavg: 3.87 3.94 3.90 5/182 12188
/proc/meminfo: memFree=12167916/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=206856 CPUtime=102.19 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 28775 0 0 0 10115 104 0 0 18 0 3 0 643669546 211820544 28661 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 51714 28661 180 372 0 51339 0
[pid=12184/tid=12185] ppid=12182 vsize=206856 CPUtime=51.09 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 16644 0 0 0 5036 73 0 0 25 0 3 0 643669546 211820544 28661 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=206856 CPUtime=51.08 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 11766 0 0 0 5078 30 0 0 25 0 3 0 643669546 211820544 28661 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 206856
[startup+102.307 s]
/proc/loadavg: 3.94 3.95 3.90 5/182 12190
/proc/meminfo: memFree=12070676/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=208172 CPUtime=204.6 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 43082 0 0 0 20287 173 0 0 18 0 3 0 643669546 213168128 42968 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 52043 42968 180 372 0 51668 0
[pid=12184/tid=12185] ppid=12182 vsize=208172 CPUtime=102.29 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 26161 0 0 0 10105 124 0 0 24 0 3 0 643669546 213168128 42968 33554432000 4194304 5714118 140734151215904 18446744073709551615 4319301 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=208172 CPUtime=102.3 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 16556 0 0 0 10181 49 0 0 25 0 3 0 643669546 213168128 42968 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 208172
[startup+162.301 s]
/proc/loadavg: 3.98 3.95 3.91 5/182 12193
/proc/meminfo: memFree=11988780/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=274624 CPUtime=324.59 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 53232 0 0 0 32220 239 0 0 18 0 3 0 643669546 281214976 53100 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 68656 53100 180 372 0 68281 0
[pid=12184/tid=12185] ppid=12182 vsize=274624 CPUtime=162.28 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 35499 0 0 0 16054 174 0 0 25 0 3 0 643669546 281214976 53100 33554432000 4194304 5714118 140734151215904 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=274624 CPUtime=162.29 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 17368 0 0 0 16165 64 0 0 25 0 3 0 643669546 281214976 53100 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 274624
[startup+222.3 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 12196
/proc/meminfo: memFree=11925304/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=275604 CPUtime=444.59 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 59733 0 0 0 44164 295 0 0 18 0 3 0 643669546 282218496 59526 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 68901 59526 180 372 0 68526 0
[pid=12184/tid=12185] ppid=12182 vsize=275604 CPUtime=222.29 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 41732 0 0 0 22013 216 0 0 25 0 3 0 643669546 282218496 59526 33554432000 4194304 5714118 140734151215904 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=275604 CPUtime=222.29 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 17636 0 0 0 22151 78 0 0 25 0 3 0 643669546 282218496 59526 33554432000 4194304 5714118 140734151215904 18446744073709551615 4319723 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 275604
[startup+282.301 s]
/proc/loadavg: 4.03 3.98 3.91 5/182 12198
/proc/meminfo: memFree=11897368/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=276032 CPUtime=564.59 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 60325 0 0 0 56125 334 0 0 18 0 3 0 643669546 282656768 60118 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 69008 60118 180 372 0 68633 0
[pid=12184/tid=12185] ppid=12182 vsize=276032 CPUtime=282.29 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 41954 0 0 0 27986 243 0 0 25 0 3 0 643669546 282656768 60118 33554432000 4194304 5714118 140734151215904 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=276032 CPUtime=282.3 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 18006 0 0 0 28139 91 0 0 25 0 3 0 643669546 282656768 60118 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 276032
[startup+342.301 s]
/proc/loadavg: 4.01 3.98 3.91 5/182 12199
/proc/meminfo: memFree=11861100/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=276220 CPUtime=684.6 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 60478 0 0 0 68085 375 0 0 18 0 3 0 643669546 282849280 60221 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 69055 60221 180 372 0 68680 0
[pid=12184/tid=12185] ppid=12182 vsize=276220 CPUtime=342.29 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 42063 0 0 0 33965 264 0 0 25 0 3 0 643669546 282849280 60221 33554432000 4194304 5714118 140734151215904 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=276220 CPUtime=342.29 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 18050 0 0 0 34119 110 0 0 25 0 3 0 643669546 282849280 60221 33554432000 4194304 5714118 140734151215904 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 276220
[startup+402.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 12201
/proc/meminfo: memFree=11820376/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=276696 CPUtime=804.6 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 60610 0 0 0 80041 419 0 0 18 0 3 0 643669546 283336704 60353 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 69174 60353 180 372 0 68799 0
[pid=12184/tid=12185] ppid=12182 vsize=276696 CPUtime=402.29 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 42092 0 0 0 39940 289 0 0 25 0 3 0 643669546 283336704 60353 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=276696 CPUtime=402.3 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 18153 0 0 0 40101 129 0 0 25 0 3 0 643669546 283336704 60353 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 276696
[startup+462.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 12202
/proc/meminfo: memFree=11748532/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=342944 CPUtime=924.61 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 68984 0 0 0 91985 476 0 0 18 0 3 0 643669546 351174656 68640 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 85736 68640 180 372 0 85361 0
[pid=12184/tid=12185] ppid=12182 vsize=342944 CPUtime=462.29 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 48826 0 0 0 45897 332 0 0 25 0 3 0 643669546 351174656 68640 33554432000 4194304 5714118 140734151215904 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=342944 CPUtime=462.3 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 19793 0 0 0 46087 143 0 0 25 0 3 0 643669546 351174656 68640 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 342944
[startup+522.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 12213
/proc/meminfo: memFree=11684620/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=408836 CPUtime=1044.6 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 75302 0 0 0 103931 529 0 0 18 0 3 0 643669546 418648064 74958 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 102209 74958 180 372 0 101834 0
[pid=12184/tid=12185] ppid=12182 vsize=408836 CPUtime=522.3 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 55028 0 0 0 51860 370 0 0 25 0 3 0 643669546 418648064 74958 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=408836 CPUtime=522.3 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 19909 0 0 0 52071 159 0 0 25 0 3 0 643669546 418648064 74958 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 408836
[startup+582.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 12215
/proc/meminfo: memFree=11620096/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=409332 CPUtime=1164.6 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 83880 0 0 0 115873 587 0 0 18 0 3 0 643669546 419155968 83536 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 102333 83536 180 372 0 101958 0
[pid=12184/tid=12185] ppid=12182 vsize=409332 CPUtime=582.29 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 63494 0 0 0 57817 412 0 0 25 0 3 0 643669546 419155968 83536 33554432000 4194304 5714118 140734151215904 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=409332 CPUtime=582.3 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 20021 0 0 0 58055 175 0 0 25 0 3 0 643669546 419155968 83536 33554432000 4194304 5714118 140734151215904 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.6
Current children cumulated vsize (KiB) 409332
[startup+642.3 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 12216
/proc/meminfo: memFree=11557424/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=475284 CPUtime=1284.62 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 88605 0 0 0 127829 633 0 0 18 0 3 0 643669546 486690816 88252 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 118821 88252 180 372 0 118446 0
[pid=12184/tid=12185] ppid=12182 vsize=475284 CPUtime=642.3 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 67517 0 0 0 63787 443 0 0 25 0 3 0 643669546 486690816 88252 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=475284 CPUtime=642.31 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 20723 0 0 0 64041 190 0 0 25 0 3 0 643669546 486690816 88252 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 475284
[startup+702.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 12218
/proc/meminfo: memFree=11507400/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=476068 CPUtime=1404.61 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 94055 0 0 0 139778 683 0 0 18 0 3 0 643669546 487493632 93701 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 119017 93701 180 372 0 118642 0
[pid=12184/tid=12185] ppid=12182 vsize=476068 CPUtime=702.3 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 71992 0 0 0 69753 477 0 0 25 0 3 0 643669546 487493632 93701 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=476068 CPUtime=702.3 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 21698 0 0 0 70024 206 0 0 25 0 3 0 643669546 487493632 93701 33554432000 4194304 5714118 140734151215904 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 476068
[startup+762.306 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 12219
/proc/meminfo: memFree=11441992/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=477172 CPUtime=1524.62 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 100515 0 0 0 151730 732 0 0 18 0 3 0 643669546 488624128 100160 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 119293 100160 180 372 0 118918 0
[pid=12184/tid=12185] ppid=12182 vsize=477172 CPUtime=762.31 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 76491 0 0 0 75718 513 0 0 25 0 3 0 643669546 488624128 100160 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=477172 CPUtime=762.31 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 23659 0 0 0 76012 219 0 0 25 0 3 0 643669546 488624128 100160 33554432000 4194304 5714118 140734151215904 18446744073709551615 4319212 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.62
Current children cumulated vsize (KiB) 477172
[startup+822.301 s]
/proc/loadavg: 4.05 3.99 3.92 5/182 12221
/proc/meminfo: memFree=11356628/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=543620 CPUtime=1644.62 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 113306 0 0 0 163649 813 0 0 18 0 3 0 643669546 556666880 112741 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 135905 112741 180 372 0 135530 0
[pid=12184/tid=12185] ppid=12182 vsize=543620 CPUtime=822.3 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 89178 0 0 0 81650 580 0 0 25 0 3 0 643669546 556666880 112741 33554432000 4194304 5714118 140734151215904 18446744073709551615 4319723 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=543620 CPUtime=822.3 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 23763 0 0 0 81998 232 0 0 25 0 3 0 643669546 556666880 112741 33554432000 4194304 5714118 140734151215904 18446744073709551615 4311658 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 543620
[startup+882.301 s]
/proc/loadavg: 4.02 3.99 3.92 5/182 12223
/proc/meminfo: memFree=11293700/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=609688 CPUtime=1764.62 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 122438 0 0 0 175587 875 0 0 18 0 3 0 643669546 624320512 121873 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 152422 121873 180 372 0 152047 0
[pid=12184/tid=12185] ppid=12182 vsize=609688 CPUtime=882.3 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 98205 0 0 0 87600 630 0 0 25 0 3 0 643669546 624320512 121873 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=609688 CPUtime=882.31 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 23868 0 0 0 87986 245 0 0 25 0 3 0 643669546 624320512 121873 33554432000 4194304 5714118 140734151215904 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.62
Current children cumulated vsize (KiB) 609688
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 3.73 3.93 3.90 5/182 12264
/proc/meminfo: memFree=11854176/32951124 swapFree=67055716/67111528
[pid=12184] ppid=12182 vsize=609688 CPUtime=1800.03 cores=0,2,4,6
/proc/12184/stat : 12184 (pwbo1.1) S 12182 12184 11028 0 -1 4202496 122546 0 0 0 179118 885 0 0 18 0 3 0 643669546 624320512 121981 33554432000 4194304 5714118 140734151215904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12184/statm: 152422 121981 180 372 0 152047 0
[pid=12184/tid=12185] ppid=12182 vsize=609688 CPUtime=900.01 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 98313 0 0 0 89366 635 0 0 25 0 3 0 643669546 624320512 121981 33554432000 4194304 5714118 140734151215904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12184/tid=12186] ppid=12182 vsize=609688 CPUtime=900.02 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (pwbo1.1) R 12182 12184 11028 0 -1 4202560 23868 0 0 0 89752 250 0 0 25 0 3 0 643669546 624320512 121981 33554432000 4194304 5714118 140734151215904 18446744073709551615 4319232 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 609688
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.032
CPU time (s): 1800.07
CPU user time (s): 1791.2
CPU system time (s): 8.87865
CPU usage (%): 200.001
Max. virtual memory (cumulated for all children) (KiB): 609688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.2
system time used= 8.87865
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122551
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= 69
involuntary context switches= 4617
runsolver used 1.46278 second user time and 2.85857 second system time
The end