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-3500180-1307992187/watcher-3500180-1307992187 -o /tmp/evaluation-result-3500180-1307992187/solver-3500180-1307992187 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500180-1307992187.opb
running on 4 cores: 1,3,5,7
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: 4.00 3.89 3.22 3/174 11402
/proc/meminfo: memFree=28738972/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=3196 CPUtime=0 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) R 11400 11402 10842 0 -1 4202496 508 0 0 0 0 0 0 0 25 0 1 0 910818294 3272704 461 33554432000 4194304 5714118 140735794439472 18446744073709551615 4970308 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/11402/statm: 799 462 164 372 0 380 0
[startup+0.049768 s]
/proc/loadavg: 4.00 3.89 3.22 3/174 11402
/proc/meminfo: memFree=28738972/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=136532 CPUtime=0.08 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 1509 0 0 0 8 0 0 0 25 0 3 0 910818294 139808768 1418 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 34133 1418 179 372 0 33758 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 136532
[startup+0.100761 s]
/proc/loadavg: 4.00 3.89 3.22 3/174 11402
/proc/meminfo: memFree=28738972/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=136532 CPUtime=0.18 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 1597 0 0 0 18 0 0 0 25 0 3 0 910818294 139808768 1506 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 34133 1506 179 372 0 33758 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 136532
[startup+0.300723 s]
/proc/loadavg: 4.00 3.89 3.22 3/174 11402
/proc/meminfo: memFree=28738972/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=136532 CPUtime=0.57 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 1957 0 0 0 57 0 0 0 25 0 3 0 910818294 139808768 1793 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 34133 1793 179 372 0 33758 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 136532
[startup+0.700658 s]
/proc/loadavg: 4.00 3.89 3.22 3/174 11402
/proc/meminfo: memFree=28738972/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=136532 CPUtime=1.37 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 3233 0 0 0 135 2 0 0 25 0 3 0 910818294 139808768 2501 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 34133 2501 179 372 0 33758 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 136532
[startup+1.50052 s]
/proc/loadavg: 4.00 3.89 3.22 5/177 11405
/proc/meminfo: memFree=28705504/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=137072 CPUtime=2.97 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 5981 0 0 0 294 3 0 0 25 0 3 0 910818294 140361728 3632 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 34268 3632 179 372 0 33893 0
[pid=11402/tid=11404] ppid=11400 vsize=137072 CPUtime=1.47 cores=1,3,5,7
/proc/11402/task/11404/stat : 11404 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 4206 0 0 0 147 0 0 0 20 0 3 0 910818296 140361728 3632 33554432000 4194304 5714118 140735794439472 18446744073709551615 4336648 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=137072 CPUtime=1.47 cores=1,3,5,7
/proc/11402/task/11405/stat : 11405 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 983 0 0 0 145 2 0 0 25 0 3 0 910818296 140361728 3632 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 137072
[startup+3.10028 s]
/proc/loadavg: 4.00 3.89 3.22 5/177 11405
/proc/meminfo: memFree=28678964/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=138188 CPUtime=6.17 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 7873 0 0 0 609 8 0 0 25 0 3 0 910818294 141504512 5121 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 34547 5121 179 372 0 34172 0
[pid=11402/tid=11404] ppid=11400 vsize=138188 CPUtime=3.07 cores=1,3,5,7
/proc/11402/task/11404/stat : 11404 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 5799 0 0 0 304 3 0 0 25 0 3 0 910818296 141504512 5121 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=138188 CPUtime=3.07 cores=1,3,5,7
/proc/11402/task/11405/stat : 11405 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 1282 0 0 0 303 4 0 0 25 0 3 0 910818296 141504512 5121 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 138188
[startup+6.30073 s]
/proc/loadavg: 4.00 3.89 3.23 5/177 11405
/proc/meminfo: memFree=28643916/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=138720 CPUtime=12.58 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 9797 0 0 0 1242 16 0 0 25 0 3 0 910818294 142049280 6880 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 34680 6880 180 372 0 34305 0
[pid=11402/tid=11404] ppid=11400 vsize=138720 CPUtime=6.28 cores=1,3,5,7
/proc/11402/task/11404/stat : 11404 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 7484 0 0 0 620 8 0 0 25 0 3 0 910818296 142049280 6880 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=138720 CPUtime=6.27 cores=1,3,5,7
/proc/11402/task/11405/stat : 11405 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 1521 0 0 0 620 7 0 0 25 0 3 0 910818296 142049280 6880 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 138720
[startup+12.7006 s]
/proc/loadavg: 4.00 3.90 3.23 5/177 11405
/proc/meminfo: memFree=28615796/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=139852 CPUtime=25.37 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 10945 0 0 0 2507 30 0 0 25 0 3 0 910818294 143208448 8028 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 34963 8028 180 372 0 34588 0
[pid=11402/tid=11404] ppid=11400 vsize=139852 CPUtime=12.68 cores=1,3,5,7
/proc/11402/task/11404/stat : 11404 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 8170 0 0 0 1252 16 0 0 25 0 3 0 910818296 143208448 8028 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=139852 CPUtime=12.67 cores=1,3,5,7
/proc/11402/task/11405/stat : 11405 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 1983 0 0 0 1253 14 0 0 25 0 3 0 910818296 143208448 8028 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 139852
[startup+25.5005 s]
/proc/loadavg: 4.00 3.90 3.24 5/177 11405
/proc/meminfo: memFree=28583456/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=141436 CPUtime=50.97 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 15568 0 0 0 5047 50 0 0 25 0 3 0 910818294 144830464 12651 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 35359 12651 180 372 0 34984 0
[pid=11402/tid=11404] ppid=11400 vsize=141436 CPUtime=25.48 cores=1,3,5,7
/proc/11402/task/11404/stat : 11404 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 12238 0 0 0 2523 25 0 0 25 0 3 0 910818296 144830464 12651 33554432000 4194304 5714118 140735794439472 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=141436 CPUtime=25.47 cores=1,3,5,7
/proc/11402/task/11405/stat : 11405 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 2538 0 0 0 2522 25 0 0 25 0 3 0 910818296 144830464 12651 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 141436
[startup+51.1012 s]
/proc/loadavg: 4.00 3.91 3.26 5/177 11405
/proc/meminfo: memFree=28552632/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=143768 CPUtime=102.17 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 20867 0 0 0 10128 89 0 0 25 0 3 0 910818294 147218432 17950 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 35942 17951 180 372 0 35567 0
[pid=11402/tid=11404] ppid=11400 vsize=143768 CPUtime=51.08 cores=1,3,5,7
/proc/11402/task/11404/stat : 11404 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 16636 0 0 0 5064 44 0 0 25 0 3 0 910818296 147218432 17951 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=143768 CPUtime=51.07 cores=1,3,5,7
/proc/11402/task/11405/stat : 11405 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 3440 0 0 0 5062 45 0 0 25 0 3 0 910818296 147218432 17951 33554432000 4194304 5714118 140735794439472 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 143768
[startup+102.307 s]
/proc/loadavg: 4.00 3.92 3.30 5/177 11407
/proc/meminfo: memFree=28468928/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=212404 CPUtime=204.58 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 29862 0 0 0 20304 154 0 0 25 0 3 0 910818294 217501696 26945 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 53101 26945 180 372 0 52726 0
[pid=11402/tid=11404] ppid=11400 vsize=212404 CPUtime=102.29 cores=1,3,5,7
/proc/11402/task/11404/stat : 11404 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 24718 0 0 0 10158 71 0 0 25 0 3 0 910818296 217501696 26945 33554432000 4194304 5714118 140735794439472 18446744073709551615 4311859 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=212404 CPUtime=102.27 cores=1,3,5,7
/proc/11402/task/11405/stat : 11405 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 4352 0 0 0 10144 83 0 0 25 0 3 0 910818296 217501696 26945 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.58
Current children cumulated vsize (KiB) 212404
[startup+162.3 s]
/proc/loadavg: 4.00 3.93 3.34 5/177 11409
/proc/meminfo: memFree=28413120/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=215444 CPUtime=324.57 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 38560 0 0 0 32224 233 0 0 25 0 3 0 910818294 220614656 35643 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 53861 35643 180 372 0 53486 0
[pid=11402/tid=11404] ppid=11400 vsize=215444 CPUtime=162.28 cores=1,3,5,7
/proc/11402/task/11404/stat : 11404 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 32574 0 0 0 16126 102 0 0 25 0 3 0 910818296 220614656 35643 33554432000 4194304 5714118 140735794439472 18446744073709551615 4311869 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=215444 CPUtime=162.27 cores=1,3,5,7
/proc/11402/task/11405/stat : 11405 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 5194 0 0 0 16096 131 0 0 25 0 3 0 910818296 220614656 35643 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.57
Current children cumulated vsize (KiB) 215444
[startup+222.3 s]
/proc/loadavg: 4.04 3.96 3.38 5/177 11409
/proc/meminfo: memFree=28340456/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=283040 CPUtime=444.57 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 45743 0 0 0 44145 312 0 0 25 0 3 0 910818294 289832960 42648 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 70760 42648 180 372 0 70385 0
[pid=11402/tid=11404] ppid=11400 vsize=283040 CPUtime=222.28 cores=1,3,5,7
/proc/11402/task/11404/stat : 11404 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 38998 0 0 0 22089 139 0 0 25 0 3 0 910818296 289832960 42648 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=283040 CPUtime=222.27 cores=1,3,5,7
/proc/11402/task/11405/stat : 11405 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 5953 0 0 0 22054 173 0 0 25 0 3 0 910818296 289832960 42648 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.57
Current children cumulated vsize (KiB) 283040
[startup+282.301 s]
/proc/loadavg: 4.01 3.96 3.42 5/177 11411
/proc/meminfo: memFree=28313176/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=285184 CPUtime=564.58 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 46457 0 0 0 56075 383 0 0 25 0 3 0 910818294 292028416 43362 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 71296 43362 180 372 0 70921 0
[pid=11402/tid=11404] ppid=11400 vsize=285184 CPUtime=282.28 cores=1,3,5,7
/proc/11402/task/11404/stat : 11404 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 39186 0 0 0 28057 171 0 0 25 0 3 0 910818296 292028416 43362 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=285184 CPUtime=282.27 cores=1,3,5,7
/proc/11402/task/11405/stat : 11405 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 6479 0 0 0 28016 211 0 0 25 0 3 0 910818296 292028416 43362 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.58
Current children cumulated vsize (KiB) 285184
[startup+342.301 s]
/proc/loadavg: 4.00 3.97 3.45 5/177 11413
/proc/meminfo: memFree=28313184/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=287232 CPUtime=684.58 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 47168 0 0 0 68011 447 0 0 25 0 3 0 910818294 294125568 44058 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 71808 44058 180 372 0 71433 0
[pid=11402/tid=11404] ppid=11400 vsize=287232 CPUtime=342.29 cores=1,3,5,7
/proc/11402/task/11404/stat : 11404 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 39395 0 0 0 34034 195 0 0 25 0 3 0 910818296 294125568 44058 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=287232 CPUtime=342.28 cores=1,3,5,7
/proc/11402/task/11405/stat : 11405 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 6981 0 0 0 33976 252 0 0 25 0 3 0 910818296 294125568 44058 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.58
Current children cumulated vsize (KiB) 287232
[startup+402.301 s]
/proc/loadavg: 4.00 3.97 3.48 5/177 11415
/proc/meminfo: memFree=28306604/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=288788 CPUtime=804.58 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 47803 0 0 0 79943 515 0 0 25 0 3 0 910818294 295718912 44693 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 72197 44693 180 372 0 71822 0
[pid=11402/tid=11404] ppid=11400 vsize=288788 CPUtime=402.29 cores=1,3,5,7
/proc/11402/task/11404/stat : 11404 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 39658 0 0 0 40008 221 0 0 25 0 3 0 910818296 295718912 44693 33554432000 4194304 5714118 140735794439472 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=288788 CPUtime=402.28 cores=1,3,5,7
/proc/11402/task/11405/stat : 11405 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 7353 0 0 0 39934 294 0 0 25 0 3 0 910818296 295718912 44693 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.58
Current children cumulated vsize (KiB) 288788
[startup+462.301 s]
/proc/loadavg: 4.00 3.97 3.51 5/177 11417
/proc/meminfo: memFree=28262456/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=290228 CPUtime=924.59 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 50719 0 0 0 91878 581 0 0 25 0 3 0 910818294 297193472 47609 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 72557 47609 180 372 0 72182 0
[pid=11402/tid=11404] ppid=11400 vsize=290228 CPUtime=462.28 cores=1,3,5,7
/proc/11402/task/11404/stat : 11404 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 42046 0 0 0 45981 247 0 0 25 0 3 0 910818296 297193472 47609 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=290228 CPUtime=462.27 cores=1,3,5,7
/proc/11402/task/11405/stat : 11405 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 7881 0 0 0 45894 333 0 0 25 0 3 0 910818296 297193472 47609 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.59
Current children cumulated vsize (KiB) 290228
[startup+522.301 s]
/proc/loadavg: 4.07 3.99 3.55 5/177 11417
/proc/meminfo: memFree=28231576/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=291140 CPUtime=1044.59 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 55728 0 0 0 103816 643 0 0 25 0 3 0 910818294 298127360 52616 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 72785 52616 180 372 0 72410 0
[pid=11402/tid=11404] ppid=11400 vsize=291140 CPUtime=522.29 cores=1,3,5,7
/proc/11402/task/11404/stat : 11404 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 46792 0 0 0 51959 270 0 0 25 0 3 0 910818296 298127360 52616 33554432000 4194304 5714118 140735794439472 18446744073709551615 4319366 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=291140 CPUtime=522.27 cores=1,3,5,7
/proc/11402/task/11405/stat : 11405 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 8144 0 0 0 51855 372 0 0 25 0 3 0 910818296 298127360 52616 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.59
Current children cumulated vsize (KiB) 291140
[startup+582.301 s]
/proc/loadavg: 4.02 3.99 3.57 5/177 11419
/proc/meminfo: memFree=28209504/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=292084 CPUtime=1164.59 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 58579 0 0 0 115759 700 0 0 25 0 3 0 910818294 299094016 55465 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 73021 55465 180 372 0 72646 0
[pid=11402/tid=11404] ppid=11400 vsize=292084 CPUtime=582.28 cores=1,3,5,7
/proc/11402/task/11404/stat : 11404 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 49388 0 0 0 57940 288 0 0 25 0 3 0 910818296 299094016 55465 33554432000 4194304 5714118 140735794439472 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=292084 CPUtime=582.28 cores=1,3,5,7
/proc/11402/task/11405/stat : 11405 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 8399 0 0 0 57816 412 0 0 25 0 3 0 910818296 299094016 55465 33554432000 4194304 5714118 140735794439472 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.59
Current children cumulated vsize (KiB) 292084
[startup+642.3 s]
/proc/loadavg: 4.01 3.99 3.59 5/177 11421
/proc/meminfo: memFree=28175636/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=358536 CPUtime=1284.6 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 64160 0 0 0 127697 763 0 0 25 0 3 0 910818294 367140864 61043 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 89634 61043 180 372 0 89259 0
[pid=11402/tid=11404] ppid=11400 vsize=358536 CPUtime=642.29 cores=1,3,5,7
/proc/11402/task/11404/stat : 11404 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 54545 0 0 0 63917 312 0 0 25 0 3 0 910818296 367140864 61043 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=358536 CPUtime=642.28 cores=1,3,5,7
/proc/11402/task/11405/stat : 11405 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 8823 0 0 0 63778 450 0 0 25 0 3 0 910818296 367140864 61043 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.6
Current children cumulated vsize (KiB) 358536
[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.62 5/177 11423
/proc/meminfo: memFree=28100240/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=360372 CPUtime=1404.59 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 69323 0 0 0 139636 823 0 0 25 0 3 0 910818294 369020928 66206 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 90093 66206 180 372 0 89718 0
[pid=11402/tid=11404] ppid=11400 vsize=360372 CPUtime=702.28 cores=1,3,5,7
/proc/11402/task/11404/stat : 11404 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 59200 0 0 0 69893 335 0 0 25 0 3 0 910818296 369020928 66206 33554432000 4194304 5714118 140735794439472 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=360372 CPUtime=702.28 cores=1,3,5,7
/proc/11402/task/11405/stat : 11405 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 9331 0 0 0 69740 488 0 0 25 0 3 0 910818296 369020928 66206 33554432000 4194304 5714118 140735794439472 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.59
Current children cumulated vsize (KiB) 360372
[startup+762.306 s]
/proc/loadavg: 4.00 3.99 3.64 5/177 11425
/proc/meminfo: memFree=28063408/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=361216 CPUtime=1524.61 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 76673 0 0 0 151573 888 0 0 25 0 3 0 910818294 369885184 73551 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 90304 73551 180 372 0 89929 0
[pid=11402/tid=11404] ppid=11400 vsize=361216 CPUtime=762.3 cores=1,3,5,7
/proc/11402/task/11404/stat : 11404 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 66342 0 0 0 75870 360 0 0 25 0 3 0 910818296 369885184 73551 33554432000 4194304 5714118 140735794439472 18446744073709551615 4319232 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=361216 CPUtime=762.29 cores=1,3,5,7
/proc/11402/task/11405/stat : 11405 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 9539 0 0 0 75701 528 0 0 25 0 3 0 910818296 369885184 73551 33554432000 4194304 5714118 140735794439472 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.61
Current children cumulated vsize (KiB) 361216
[startup+822.301 s]
/proc/loadavg: 4.06 4.00 3.66 5/177 11425
/proc/meminfo: memFree=27990364/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=427652 CPUtime=1644.6 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 82055 0 0 0 163515 945 0 0 25 0 3 0 910818294 437915648 78920 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 106913 78920 180 372 0 106538 0
[pid=11402/tid=11404] ppid=11400 vsize=427652 CPUtime=822.29 cores=1,3,5,7
/proc/11402/task/11404/stat : 11404 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 71432 0 0 0 81850 379 0 0 25 0 3 0 910818296 437915648 78920 33554432000 4194304 5714118 140735794439472 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=427652 CPUtime=822.28 cores=1,3,5,7
/proc/11402/task/11405/stat : 11405 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 9831 0 0 0 81663 565 0 0 25 0 3 0 910818296 437915648 78920 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.6
Current children cumulated vsize (KiB) 427652
[startup+882.301 s]
/proc/loadavg: 4.02 4.00 3.68 5/177 11427
/proc/meminfo: memFree=27960352/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=428560 CPUtime=1764.6 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 83582 0 0 0 175463 997 0 0 25 0 3 0 910818294 438845440 80447 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 107140 80447 180 372 0 106765 0
[pid=11402/tid=11404] ppid=11400 vsize=428560 CPUtime=882.29 cores=1,3,5,7
/proc/11402/task/11404/stat : 11404 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 72751 0 0 0 87831 398 0 0 25 0 3 0 910818296 438845440 80447 33554432000 4194304 5714118 140735794439472 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=428560 CPUtime=882.28 cores=1,3,5,7
/proc/11402/task/11405/stat : 11405 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 10039 0 0 0 87630 598 0 0 25 0 3 0 910818296 438845440 80447 33554432000 4194304 5714118 140735794439472 18446744073709551615 4319206 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.6
Current children cumulated vsize (KiB) 428560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.01 4.00 3.68 3/173 11430
/proc/meminfo: memFree=28425128/32951132 swapFree=67061148/67111528
[pid=11402] ppid=11400 vsize=428560 CPUtime=1800.01 cores=1,3,5,7
/proc/11402/stat : 11402 (pwbo1.1) S 11400 11402 10842 0 -1 4202496 85495 0 0 0 178985 1016 0 0 25 0 3 0 910818294 438845440 82358 33554432000 4194304 5714118 140735794439472 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/11402/statm: 107140 82358 180 372 0 106765 0
[pid=11402/tid=11404] ppid=11400 vsize=428560 CPUtime=900 cores=1,3,5,7
/proc/11402/task/11404/stat : 11404 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 74635 0 0 0 89594 406 0 0 25 0 3 0 910818296 438845440 82358 33554432000 4194304 5714118 140735794439472 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=428560 CPUtime=899.99 cores=1,3,5,7
/proc/11402/task/11405/stat : 11405 (pwbo1.1) R 11400 11402 10842 0 -1 4202560 10068 0 0 0 89390 609 0 0 25 0 3 0 910818296 438845440 82358 33554432000 4194304 5714118 140735794439472 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 428560
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.025
CPU time (s): 1800.05
CPU user time (s): 1789.87
CPU system time (s): 10.1775
CPU usage (%): 199.999
Max. virtual memory (cumulated for all children) (KiB): 428560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.87
system time used= 10.1775
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85499
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= 36
involuntary context switches= 3721
runsolver used 1.16882 second user time and 2.94455 second system time
The end