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-3500770-1307998078/watcher-3500770-1307998078 -o /var/tmp/evaluation-result-3500770-1307998078/solver-3500770-1307998078 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500770-1307998078.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: 1.93 2.59 3.25 2/174 32246
/proc/meminfo: memFree=3827132/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=135600 CPUtime=0 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 802 0 0 0 0 0 0 0 23 0 3 0 911406326 138854400 741 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 33900 741 177 372 0 33525 0
[pid=32246/tid=32247] ppid=32244 vsize=135600 CPUtime=0 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 59 0 0 0 0 0 0 0 18 0 3 0 911406326 138854400 741 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=135600 CPUtime=0 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 401 0 0 0 0 0 0 0 25 0 3 0 911406326 138854400 741 33554432000 4194304 5714118 140734060151072 18446744073709551615 5078183 0 0 4096 16387 0 0 0 -1 3 0 0 0
[startup+0.079513 s]
/proc/loadavg: 1.93 2.59 3.25 2/174 32246
/proc/meminfo: memFree=3827132/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=135600 CPUtime=0.15 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 1091 0 0 0 13 2 0 0 23 0 3 0 911406326 138854400 1030 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 33900 1030 179 372 0 33525 0
[pid=32246/tid=32247] ppid=32244 vsize=135600 CPUtime=0.06 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 307 0 0 0 5 1 0 0 18 0 3 0 911406326 138854400 1030 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=135600 CPUtime=0.07 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 442 0 0 0 7 0 0 0 25 0 3 0 911406326 138854400 1030 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 135600
[startup+0.100508 s]
/proc/loadavg: 1.93 2.59 3.25 2/174 32246
/proc/meminfo: memFree=3827132/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=135600 CPUtime=0.19 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 1117 0 0 0 17 2 0 0 23 0 3 0 911406326 138854400 1056 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 33900 1056 179 372 0 33525 0
[pid=32246/tid=32247] ppid=32244 vsize=135600 CPUtime=0.09 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 307 0 0 0 7 2 0 0 18 0 3 0 911406326 138854400 1056 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=135600 CPUtime=0.09 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 468 0 0 0 9 0 0 0 25 0 3 0 911406326 138854400 1056 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 135600
[startup+0.300475 s]
/proc/loadavg: 1.93 2.59 3.25 2/174 32246
/proc/meminfo: memFree=3827132/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=135600 CPUtime=0.58 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 1689 0 0 0 53 5 0 0 23 0 3 0 911406326 138854400 1628 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 33900 1629 179 372 0 33525 0
[pid=32246/tid=32247] ppid=32244 vsize=135600 CPUtime=0.29 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 648 0 0 0 25 4 0 0 18 0 3 0 911406326 138854400 1629 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=135600 CPUtime=0.28 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 700 0 0 0 27 1 0 0 25 0 3 0 911406326 138854400 1629 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 135600
[startup+0.70041 s]
/proc/loadavg: 1.93 2.59 3.25 2/174 32246
/proc/meminfo: memFree=3827132/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=135600 CPUtime=1.39 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 2773 0 0 0 131 8 0 0 23 0 3 0 911406326 138854400 2712 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 33900 2712 179 372 0 33525 0
[pid=32246/tid=32247] ppid=32244 vsize=135600 CPUtime=0.69 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 1387 0 0 0 64 5 0 0 18 0 3 0 911406326 138854400 2712 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=135600 CPUtime=0.68 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 1044 0 0 0 66 2 0 0 25 0 3 0 911406326 138854400 2712 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 135600
[startup+1.50028 s]
/proc/loadavg: 1.93 2.59 3.25 4/177 32249
/proc/meminfo: memFree=3774516/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=135888 CPUtime=2.99 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 4217 0 0 0 287 12 0 0 23 0 3 0 911406326 139149312 4156 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 33972 4156 179 372 0 33597 0
[pid=32246/tid=32247] ppid=32244 vsize=135888 CPUtime=1.48 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 2404 0 0 0 141 7 0 0 18 0 3 0 911406326 139149312 4156 33554432000 4194304 5714118 140734060151072 18446744073709551615 4197716 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=135888 CPUtime=1.49 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 1471 0 0 0 145 4 0 0 25 0 3 0 911406326 139149312 4156 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135888
[startup+3.10101 s]
/proc/loadavg: 1.93 2.59 3.25 4/177 32249
/proc/meminfo: memFree=3727120/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=135880 CPUtime=6.19 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 4536 0 0 0 598 21 0 0 23 0 3 0 911406326 139141120 4448 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 33970 4448 179 372 0 33595 0
[pid=32246/tid=32247] ppid=32244 vsize=135880 CPUtime=3.08 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 2681 0 0 0 296 12 0 0 21 0 3 0 911406326 139141120 4448 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=135880 CPUtime=3.09 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 1513 0 0 0 301 8 0 0 25 0 3 0 911406326 139141120 4448 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 135880
[startup+6.30047 s]
/proc/loadavg: 2.01 2.60 3.25 4/177 32249
/proc/meminfo: memFree=3588396/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=136044 CPUtime=12.58 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 6593 0 0 0 1223 35 0 0 23 0 3 0 911406326 139309056 6505 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 34011 6505 180 372 0 33636 0
[pid=32246/tid=32247] ppid=32244 vsize=136044 CPUtime=6.29 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 4508 0 0 0 608 21 0 0 25 0 3 0 911406326 139309056 6505 33554432000 4194304 5714118 140734060151072 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=136044 CPUtime=6.29 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 1743 0 0 0 615 14 0 0 25 0 3 0 911406326 139309056 6505 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 136044
[startup+12.7004 s]
/proc/loadavg: 2.09 2.61 3.25 3/177 32249
/proc/meminfo: memFree=3355060/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=136600 CPUtime=25.39 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 9504 0 0 0 2482 57 0 0 23 0 3 0 911406326 139878400 9416 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 34150 9416 180 372 0 33775 0
[pid=32246/tid=32247] ppid=32244 vsize=136600 CPUtime=12.68 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 7091 0 0 0 1235 33 0 0 25 0 3 0 911406326 139878400 9416 33554432000 4194304 5714118 140734060151072 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=136600 CPUtime=12.68 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 2071 0 0 0 1246 22 0 0 25 0 3 0 911406326 139878400 9416 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 136600
[startup+25.5003 s]
/proc/loadavg: 2.29 2.62 3.24 4/180 32260
/proc/meminfo: memFree=3029096/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=137012 CPUtime=50.99 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 14477 0 0 0 5002 97 0 0 23 0 3 0 911406326 140300288 14389 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 34253 14389 180 372 0 33878 0
[pid=32246/tid=32247] ppid=32244 vsize=137012 CPUtime=25.49 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 11729 0 0 0 2492 57 0 0 25 0 3 0 911406326 140300288 14389 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=137012 CPUtime=25.48 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 2406 0 0 0 2509 39 0 0 25 0 3 0 911406326 140300288 14389 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 137012
[startup+51.101 s]
/proc/loadavg: 2.53 2.65 3.24 4/180 32260
/proc/meminfo: memFree=2779128/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=203256 CPUtime=102.19 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 23053 0 0 0 10063 156 0 0 23 0 3 0 911406326 208134144 22965 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 50814 22965 180 372 0 50439 0
[pid=32246/tid=32247] ppid=32244 vsize=203256 CPUtime=51.09 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 18942 0 0 0 5023 86 0 0 25 0 3 0 911406326 208134144 22965 33554432000 4194304 5714118 140734060151072 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=203256 CPUtime=51.09 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 3769 0 0 0 5040 69 0 0 25 0 3 0 911406326 208134144 22965 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 203256
[startup+102.306 s]
/proc/loadavg: 3.14 2.79 3.25 5/182 32264
/proc/meminfo: memFree=1735700/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=204040 CPUtime=204.6 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 32860 0 0 0 20221 239 0 0 23 0 3 0 911406326 208936960 32772 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 51010 32772 180 372 0 50635 0
[pid=32246/tid=32247] ppid=32244 vsize=204040 CPUtime=102.3 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 28496 0 0 0 10106 124 0 0 25 0 3 0 911406326 208936960 32772 33554432000 4194304 5714118 140734060151072 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=204040 CPUtime=102.29 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 4022 0 0 0 10115 114 0 0 25 0 3 0 911406326 208936960 32772 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 204040
[startup+162.3 s]
/proc/loadavg: 3.72 3.02 3.30 5/182 32265
/proc/meminfo: memFree=1488344/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=269492 CPUtime=324.59 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 45925 0 0 0 32115 344 0 0 23 0 3 0 911406326 275959808 45618 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 67373 45618 180 372 0 66998 0
[pid=32246/tid=32247] ppid=32244 vsize=269492 CPUtime=162.3 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 40844 0 0 0 16043 187 0 0 25 0 3 0 911406326 275959808 45618 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=269492 CPUtime=162.29 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 4739 0 0 0 16072 157 0 0 25 0 3 0 911406326 275959808 45618 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 269492
[startup+222.3 s]
/proc/loadavg: 3.89 3.19 3.34 5/182 32267
/proc/meminfo: memFree=1286356/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=269636 CPUtime=444.6 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 46588 0 0 0 44019 441 0 0 23 0 3 0 911406326 276107264 46281 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 67409 46281 180 372 0 67034 0
[pid=32246/tid=32247] ppid=32244 vsize=269636 CPUtime=222.3 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 41108 0 0 0 21992 238 0 0 25 0 3 0 911406326 276107264 46281 33554432000 4194304 5714118 140734060151072 18446744073709551615 4319748 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=269636 CPUtime=222.28 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 5138 0 0 0 22026 202 0 0 25 0 3 0 911406326 276107264 46281 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 269636
################
# More data... #
################
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 41228 0 0 0 27943 287 0 0 25 0 3 0 911406326 276656128 47025 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=270172 CPUtime=282.29 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 5767 0 0 0 27987 242 0 0 25 0 3 0 911406326 276656128 47025 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 270172
[startup+342.301 s]
/proc/loadavg: 3.98 3.46 3.41 5/182 32270
/proc/meminfo: memFree=824212/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=270332 CPUtime=684.6 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 54691 0 0 0 67846 614 0 0 23 0 3 0 911406326 276819968 54379 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 67583 54379 180 372 0 67208 0
[pid=32246/tid=32247] ppid=32244 vsize=270332 CPUtime=342.29 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 48380 0 0 0 33897 332 0 0 25 0 3 0 911406326 276819968 54379 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=270332 CPUtime=342.29 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 5969 0 0 0 33948 281 0 0 25 0 3 0 911406326 276819968 54379 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 270332
[startup+402.301 s]
/proc/loadavg: 3.99 3.55 3.45 5/182 32272
/proc/meminfo: memFree=526020/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=336248 CPUtime=804.6 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 65207 0 0 0 79763 697 0 0 23 0 3 0 911406326 344317952 64895 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 84062 64895 180 372 0 83687 0
[pid=32246/tid=32247] ppid=32244 vsize=336248 CPUtime=402.29 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 58803 0 0 0 39850 379 0 0 25 0 3 0 911406326 344317952 64895 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=336248 CPUtime=402.29 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 6062 0 0 0 39912 317 0 0 25 0 3 0 911406326 344317952 64895 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 336248
[startup+462.301 s]
/proc/loadavg: 3.99 3.63 3.48 5/182 32273
/proc/meminfo: memFree=228216/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=402020 CPUtime=924.6 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 75106 0 0 0 91694 766 0 0 23 0 3 0 911406326 411668480 74794 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 100505 74794 180 372 0 100130 0
[pid=32246/tid=32247] ppid=32244 vsize=402020 CPUtime=462.3 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 68585 0 0 0 45820 410 0 0 25 0 3 0 911406326 411668480 74794 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=402020 CPUtime=462.29 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 6179 0 0 0 45874 355 0 0 25 0 3 0 911406326 411668480 74794 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 402020
[startup+522.301 s]
/proc/loadavg: 3.99 3.69 3.51 5/182 32275
/proc/meminfo: memFree=93964/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=402164 CPUtime=1044.58 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 81252 0 0 0 103624 834 0 0 23 0 3 0 911406326 411815936 80940 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 100541 80940 180 372 0 100166 0
[pid=32246/tid=32247] ppid=32244 vsize=402164 CPUtime=522.28 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 74328 0 0 0 51791 437 0 0 25 0 3 0 911406326 411815936 80940 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=402164 CPUtime=522.29 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 6582 0 0 0 51833 396 0 0 25 0 3 0 911406326 411815936 80940 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1044.58
Current children cumulated vsize (KiB) 402164
[startup+582.301 s]
/proc/loadavg: 3.99 3.75 3.54 5/182 32277
/proc/meminfo: memFree=99448/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=402648 CPUtime=1164.58 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 87166 0 0 0 115549 909 0 0 23 0 3 0 911406326 412311552 86854 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 100662 86854 180 372 0 100287 0
[pid=32246/tid=32247] ppid=32244 vsize=402648 CPUtime=582.28 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 80221 0 0 0 57757 471 0 0 25 0 3 0 911406326 412311552 86854 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=402648 CPUtime=582.29 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 6603 0 0 0 57791 438 0 0 25 0 3 0 911406326 412311552 86854 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1164.58
Current children cumulated vsize (KiB) 402648
[startup+642.301 s]
/proc/loadavg: 3.99 3.79 3.56 5/182 32278
/proc/meminfo: memFree=94160/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=468324 CPUtime=1284.6 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 96806 0 0 0 127469 991 0 0 23 0 3 0 911406326 479563776 96494 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 117081 96494 180 372 0 116706 0
[pid=32246/tid=32247] ppid=32244 vsize=468324 CPUtime=642.28 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 89665 0 0 0 63715 513 0 0 25 0 3 0 911406326 479563776 96494 33554432000 4194304 5714118 140734060151072 18446744073709551615 4319284 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=468324 CPUtime=642.3 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 6799 0 0 0 63753 477 0 0 25 0 3 0 911406326 479563776 96494 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1284.6
Current children cumulated vsize (KiB) 468324
[startup+702.301 s]
/proc/loadavg: 3.99 3.83 3.59 5/182 32280
/proc/meminfo: memFree=98228/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=468324 CPUtime=1404.58 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 103704 0 0 0 139399 1059 0 0 23 0 3 0 911406326 479563776 103390 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 117081 103390 180 372 0 116706 0
[pid=32246/tid=32247] ppid=32244 vsize=468324 CPUtime=702.27 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 96334 0 0 0 69680 547 0 0 25 0 3 0 911406326 479563776 103390 33554432000 4194304 5714118 140734060151072 18446744073709551615 4319266 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=468324 CPUtime=702.29 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 7028 0 0 0 69718 511 0 0 25 0 3 0 911406326 479563776 103390 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1404.58
Current children cumulated vsize (KiB) 468324
[startup+762.307 s]
/proc/loadavg: 3.99 3.85 3.61 5/182 32281
/proc/meminfo: memFree=99760/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=534144 CPUtime=1524.59 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 112969 0 0 0 151327 1132 0 0 23 0 3 0 911406326 546963456 112651 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 133536 112651 180 372 0 133161 0
[pid=32246/tid=32247] ppid=32244 vsize=534144 CPUtime=762.28 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 105023 0 0 0 75640 588 0 0 25 0 3 0 911406326 546963456 112651 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=534144 CPUtime=762.3 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 7604 0 0 0 75687 543 0 0 25 0 3 0 911406326 546963456 112651 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1524.59
Current children cumulated vsize (KiB) 534144
[startup+822.301 s]
/proc/loadavg: 3.99 3.88 3.63 5/182 32292
/proc/meminfo: memFree=99564/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=599680 CPUtime=1644.58 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 122878 0 0 0 163261 1197 0 0 23 0 3 0 911406326 614072320 122560 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 149920 122560 180 372 0 149545 0
[pid=32246/tid=32247] ppid=32244 vsize=599680 CPUtime=822.28 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 114847 0 0 0 81606 622 0 0 25 0 3 0 911406326 614072320 122560 33554432000 4194304 5714118 140734060151072 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=599680 CPUtime=822.29 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 7689 0 0 0 81654 575 0 0 25 0 3 0 911406326 614072320 122560 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1644.58
Current children cumulated vsize (KiB) 599680
[startup+882.301 s]
/proc/loadavg: 3.99 3.90 3.65 5/182 32294
/proc/meminfo: memFree=99320/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=599680 CPUtime=1764.58 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 128626 0 0 0 175199 1259 0 0 23 0 3 0 911406326 614072320 128308 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 149920 128308 180 372 0 149545 0
[pid=32246/tid=32247] ppid=32244 vsize=599680 CPUtime=882.27 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 120484 0 0 0 87580 647 0 0 25 0 3 0 911406326 614072320 128308 33554432000 4194304 5714118 140734060151072 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=599680 CPUtime=882.3 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 7800 0 0 0 87618 612 0 0 25 0 3 0 911406326 614072320 128308 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1764.58
Current children cumulated vsize (KiB) 599680
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 3.99 3.90 3.66 5/182 32294
/proc/meminfo: memFree=98248/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=599680 CPUtime=1800.2 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 131032 0 0 0 178743 1277 0 0 23 0 3 0 911406326 614072320 130714 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 149920 130714 180 372 0 149545 0
[pid=32246/tid=32247] ppid=32244 vsize=599680 CPUtime=900.07 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 122890 0 0 0 89355 652 0 0 25 0 3 0 911406326 614072320 130714 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=599680 CPUtime=900.11 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 7800 0 0 0 89387 624 0 0 25 0 3 0 911406326 614072320 130714 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 599680
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.101 s]
/proc/loadavg: 3.99 3.90 3.66 5/182 32294
/proc/meminfo: memFree=98248/32951124 swapFree=67054520/67111528
[pid=32246] ppid=32244 vsize=599680 CPUtime=1800.2 cores=1,3,5,7
/proc/32246/stat : 32246 (pwbo1.1) S 32244 32246 30373 0 -1 4202496 131032 0 0 0 178743 1277 0 0 23 0 3 0 911406326 614072320 130714 33554432000 4194304 5714118 140734060151072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/32246/statm: 149920 130714 180 372 0 149545 0
[pid=32246/tid=32247] ppid=32244 vsize=599680 CPUtime=900.07 cores=1,3,5,7
/proc/32246/task/32247/stat : 32247 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 122890 0 0 0 89355 652 0 0 25 0 3 0 911406326 614072320 130714 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=32246/tid=32248] ppid=32244 vsize=599680 CPUtime=900.11 cores=1,3,5,7
/proc/32246/task/32248/stat : 32248 (pwbo1.1) R 32244 32246 30373 0 -1 4202560 7800 0 0 0 89387 624 0 0 25 0 3 0 911406326 614072320 130714 33554432000 4194304 5714118 140734060151072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 599680
Child status: 0
Real time (s): 900.134
CPU time (s): 1800.23
CPU user time (s): 1787.44
CPU system time (s): 12.7901
CPU usage (%): 199.996
Max. virtual memory (cumulated for all children) (KiB): 599680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.44
system time used= 12.7901
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131037
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= 61
involuntary context switches= 12603
runsolver used 1.56276 second user time and 3.35149 second system time
The end