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-3500174-1307992165/watcher-3500174-1307992165 -o /tmp/evaluation-result-3500174-1307992165/solver-3500174-1307992165 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500174-1307992165.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: 3.82 3.93 3.82 3/179 25345
/proc/meminfo: memFree=15944772/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=2764 CPUtime=0 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) R 25343 25345 24477 0 -1 4202496 458 0 0 0 0 0 0 0 25 0 1 0 910814240 2830336 410 33554432000 4194304 5714118 140735852605312 18446744073709551615 4228608 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/25345/statm: 691 410 166 372 0 285 0
[startup+0.101118 s]
/proc/loadavg: 3.82 3.93 3.82 3/179 25345
/proc/meminfo: memFree=15944772/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=201508 CPUtime=0.18 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 17483 0 0 0 14 4 0 0 25 0 3 0 910814240 206344192 17178 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 50377 17185 178 372 0 50002 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 201508
[startup+0.201101 s]
/proc/loadavg: 3.82 3.93 3.82 3/179 25345
/proc/meminfo: memFree=15944772/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=207876 CPUtime=0.37 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 27824 0 0 0 30 7 0 0 25 0 3 0 910814240 212865024 27474 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 51969 27480 178 372 0 51594 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 207876
[startup+0.30108 s]
/proc/loadavg: 3.82 3.93 3.82 3/179 25345
/proc/meminfo: memFree=15944772/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=277860 CPUtime=0.58 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 36748 0 0 0 48 10 0 0 25 0 3 0 910814240 284528640 36349 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 69465 36349 178 372 0 69090 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 277860
[startup+0.701009 s]
/proc/loadavg: 3.82 3.93 3.82 3/179 25345
/proc/meminfo: memFree=15944772/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=280596 CPUtime=1.38 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 37895 0 0 0 128 10 0 0 25 0 3 0 910814240 287330304 37190 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 70149 37190 179 372 0 69774 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 280596
[startup+1.50087 s]
/proc/loadavg: 3.82 3.93 3.82 5/182 25348
/proc/meminfo: memFree=15793756/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=280596 CPUtime=2.97 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 38990 0 0 0 280 17 0 0 25 0 3 0 910814240 287330304 37878 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 70149 37878 179 372 0 69774 0
[pid=25345/tid=25347] ppid=25343 vsize=280596 CPUtime=1.48 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 2512 0 0 0 140 8 0 0 19 0 3 0 910814241 287330304 37878 33554432000 4194304 5714118 140735852605312 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=280596 CPUtime=1.48 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 35818 0 0 0 139 9 0 0 20 0 3 0 910814241 287330304 37878 33554432000 4194304 5714118 140735852605312 18446744073709551615 4319134 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) 280596
[startup+3.10058 s]
/proc/loadavg: 3.82 3.93 3.82 5/182 25348
/proc/meminfo: memFree=15789292/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=280596 CPUtime=6.18 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 39927 0 0 0 595 23 0 0 25 0 3 0 910814240 287330304 38815 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 70149 38815 179 372 0 69774 0
[pid=25345/tid=25347] ppid=25343 vsize=280596 CPUtime=3.08 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 3432 0 0 0 295 13 0 0 23 0 3 0 910814241 287330304 38815 33554432000 4194304 5714118 140735852605312 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=280596 CPUtime=3.08 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 35835 0 0 0 299 9 0 0 25 0 3 0 910814241 287330304 38815 33554432000 4194304 5714118 140735852605312 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 280596
[startup+6.301 s]
/proc/loadavg: 3.83 3.93 3.82 5/182 25348
/proc/meminfo: memFree=15780124/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=280996 CPUtime=12.58 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 42373 0 0 0 1227 31 0 0 25 0 3 0 910814240 287739904 41261 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 70249 41261 179 372 0 69874 0
[pid=25345/tid=25347] ppid=25343 vsize=280996 CPUtime=6.28 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 4633 0 0 0 608 20 0 0 25 0 3 0 910814241 287739904 41261 33554432000 4194304 5714118 140735852605312 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=280996 CPUtime=6.28 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 37080 0 0 0 618 10 0 0 25 0 3 0 910814241 287739904 41261 33554432000 4194304 5714118 140735852605312 18446744073709551615 4319195 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) 280996
[startup+12.7008 s]
/proc/loadavg: 3.85 3.93 3.82 5/182 25348
/proc/meminfo: memFree=15758224/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=281540 CPUtime=25.38 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 46055 0 0 0 2493 45 0 0 25 0 3 0 910814240 288296960 44943 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 70385 44943 180 372 0 70010 0
[pid=25345/tid=25347] ppid=25343 vsize=281540 CPUtime=12.68 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 5868 0 0 0 1236 32 0 0 25 0 3 0 910814241 288296960 44943 33554432000 4194304 5714118 140735852605312 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=281540 CPUtime=12.68 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 39527 0 0 0 1256 12 0 0 25 0 3 0 910814241 288296960 44943 33554432000 4194304 5714118 140735852605312 18446744073709551615 4319389 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 281540
[startup+25.5005 s]
/proc/loadavg: 3.88 3.94 3.82 5/182 25349
/proc/meminfo: memFree=15729112/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=282296 CPUtime=50.98 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 52029 0 0 0 5032 66 0 0 25 0 3 0 910814240 289071104 50805 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 70574 50805 180 372 0 70199 0
[pid=25345/tid=25347] ppid=25343 vsize=282296 CPUtime=25.48 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 8152 0 0 0 2499 49 0 0 25 0 3 0 910814241 289071104 50805 33554432000 4194304 5714118 140735852605312 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=282296 CPUtime=25.48 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 43217 0 0 0 2531 17 0 0 25 0 3 0 910814241 289071104 50805 33554432000 4194304 5714118 140735852605312 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 282296
[startup+51.1009 s]
/proc/loadavg: 3.92 3.94 3.82 5/182 25349
/proc/meminfo: memFree=15688936/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=283444 CPUtime=102.18 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 59343 0 0 0 10127 91 0 0 25 0 3 0 910814240 290246656 58119 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 70861 58119 180 372 0 70486 0
[pid=25345/tid=25347] ppid=25343 vsize=283444 CPUtime=51.08 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 12553 0 0 0 5039 69 0 0 25 0 3 0 910814241 290246656 58119 33554432000 4194304 5714118 140735852605312 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=283444 CPUtime=51.08 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 46130 0 0 0 5087 21 0 0 25 0 3 0 910814241 290246656 58119 33554432000 4194304 5714118 140735852605312 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 283444
[startup+102.301 s]
/proc/loadavg: 3.96 3.95 3.83 5/182 25351
/proc/meminfo: memFree=15564872/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=283492 CPUtime=204.6 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 62792 0 0 0 20289 171 0 0 25 0 3 0 910814240 290295808 61517 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 70873 61517 180 372 0 70498 0
[pid=25345/tid=25347] ppid=25343 vsize=283492 CPUtime=102.29 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 15940 0 0 0 10086 143 0 0 25 0 3 0 910814241 290295808 61517 33554432000 4194304 5714118 140735852605312 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=283492 CPUtime=102.29 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 46192 0 0 0 10202 27 0 0 25 0 3 0 910814241 290295808 61517 33554432000 4194304 5714118 140735852605312 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 283492
[startup+162.301 s]
/proc/loadavg: 3.98 3.95 3.83 5/182 25352
/proc/meminfo: memFree=15475796/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=349964 CPUtime=324.59 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 74095 0 0 0 32210 249 0 0 25 0 3 0 910814240 358363136 72764 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 87491 72764 180 372 0 87116 0
[pid=25345/tid=25347] ppid=25343 vsize=349964 CPUtime=162.29 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 23371 0 0 0 16021 208 0 0 25 0 3 0 910814241 358363136 72764 33554432000 4194304 5714118 140735852605312 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=349964 CPUtime=162.29 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 50064 0 0 0 16188 41 0 0 25 0 3 0 910814241 358363136 72764 33554432000 4194304 5714118 140735852605312 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 349964
[startup+222.307 s]
/proc/loadavg: 3.99 3.96 3.84 5/182 25354
/proc/meminfo: memFree=15419444/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=350096 CPUtime=444.6 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 74884 0 0 0 44154 306 0 0 25 0 3 0 910814240 358498304 73553 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 87524 73553 180 372 0 87149 0
[pid=25345/tid=25347] ppid=25343 vsize=350096 CPUtime=222.29 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 24098 0 0 0 21973 256 0 0 25 0 3 0 910814241 358498304 73553 33554432000 4194304 5714118 140735852605312 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=350096 CPUtime=222.29 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 50126 0 0 0 22180 49 0 0 25 0 3 0 910814241 358498304 73553 33554432000 4194304 5714118 140735852605312 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 350096
[startup+282.301 s]
/proc/loadavg: 3.99 3.96 3.84 5/182 25355
/proc/meminfo: memFree=15317708/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=481904 CPUtime=564.59 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 89015 0 0 0 56086 373 0 0 25 0 3 0 910814240 493469696 87684 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 120476 87684 180 372 0 120101 0
[pid=25345/tid=25347] ppid=25343 vsize=481904 CPUtime=282.29 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 36515 0 0 0 27911 318 0 0 25 0 3 0 910814241 493469696 87684 33554432000 4194304 5714118 140735852605312 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=481904 CPUtime=282.29 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 51840 0 0 0 28174 55 0 0 25 0 3 0 910814241 493469696 87684 33554432000 4194304 5714118 140735852605312 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 481904
[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.85 5/182 25357
/proc/meminfo: memFree=15230348/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=482340 CPUtime=684.59 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 102871 0 0 0 68036 423 0 0 25 0 3 0 910814240 493916160 101540 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 120585 101540 180 372 0 120210 0
[pid=25345/tid=25347] ppid=25343 vsize=482340 CPUtime=342.29 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 46348 0 0 0 33873 356 0 0 25 0 3 0 910814241 493916160 101540 33554432000 4194304 5714118 140735852605312 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=482340 CPUtime=342.29 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 55863 0 0 0 34162 67 0 0 25 0 3 0 910814241 493916160 101540 33554432000 4194304 5714118 140735852605312 18446744073709551615 4305171 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 482340
[startup+402.3 s]
/proc/loadavg: 3.99 3.97 3.86 5/182 25359
/proc/meminfo: memFree=15141884/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=548160 CPUtime=804.6 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 110160 0 0 0 79986 474 0 0 25 0 3 0 910814240 561315840 108828 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 137040 108828 180 372 0 136665 0
[pid=25345/tid=25347] ppid=25343 vsize=548160 CPUtime=402.29 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 53590 0 0 0 39826 403 0 0 25 0 3 0 910814241 561315840 108828 33554432000 4194304 5714118 140735852605312 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=548160 CPUtime=402.29 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 55910 0 0 0 40158 71 0 0 25 0 3 0 910814241 561315840 108828 33554432000 4194304 5714118 140735852605312 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 548160
[startup+462.301 s]
/proc/loadavg: 3.99 3.97 3.86 5/182 25360
/proc/meminfo: memFree=15069548/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=548572 CPUtime=924.6 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 118964 0 0 0 91937 523 0 0 25 0 3 0 910814240 561737728 117632 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 137143 117632 180 372 0 136768 0
[pid=25345/tid=25347] ppid=25343 vsize=548572 CPUtime=462.29 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 62284 0 0 0 45786 443 0 0 25 0 3 0 910814241 561737728 117632 33554432000 4194304 5714118 140735852605312 18446744073709551615 4299720 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=548572 CPUtime=462.29 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 56020 0 0 0 46150 79 0 0 25 0 3 0 910814241 561737728 117632 33554432000 4194304 5714118 140735852605312 18446744073709551615 4319266 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 548572
[startup+522.301 s]
/proc/loadavg: 3.99 3.97 3.87 5/182 25362
/proc/meminfo: memFree=15040844/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=615160 CPUtime=1044.61 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 126132 0 0 0 103895 566 0 0 25 0 3 0 910814240 629923840 124799 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 153790 124799 180 372 0 153415 0
[pid=25345/tid=25347] ppid=25343 vsize=615160 CPUtime=522.29 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 69310 0 0 0 51753 476 0 0 25 0 3 0 910814241 629923840 124799 33554432000 4194304 5714118 140735852605312 18446744073709551615 4319212 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=615160 CPUtime=522.29 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 56162 0 0 0 52140 89 0 0 25 0 3 0 910814241 629923840 124799 33554432000 4194304 5714118 140735852605312 18446744073709551615 4310935 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 615160
[startup+582.301 s]
/proc/loadavg: 3.99 3.97 3.87 5/182 25363
/proc/meminfo: memFree=15008660/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=615680 CPUtime=1164.61 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 133861 0 0 0 115845 616 0 0 25 0 3 0 910814240 630456320 132528 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 153920 132528 180 372 0 153545 0
[pid=25345/tid=25347] ppid=25343 vsize=615680 CPUtime=582.29 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 75725 0 0 0 57719 510 0 0 25 0 3 0 910814241 630456320 132528 33554432000 4194304 5714118 140735852605312 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=615680 CPUtime=582.3 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 57476 0 0 0 58124 106 0 0 25 0 3 0 910814241 630456320 132528 33554432000 4194304 5714118 140735852605312 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 615680
[startup+642.301 s]
/proc/loadavg: 3.99 3.97 3.88 5/182 25365
/proc/meminfo: memFree=14943864/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=681372 CPUtime=1284.61 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 141207 0 0 0 127798 663 0 0 25 0 3 0 910814240 697724928 139874 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 170343 139874 180 372 0 169968 0
[pid=25345/tid=25347] ppid=25343 vsize=681372 CPUtime=642.29 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 83031 0 0 0 63679 550 0 0 25 0 3 0 910814241 697724928 139874 33554432000 4194304 5714118 140735852605312 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=681372 CPUtime=642.29 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 57516 0 0 0 64117 112 0 0 25 0 3 0 910814241 697724928 139874 33554432000 4194304 5714118 140735852605312 18446744073709551615 4310591 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.61
Current children cumulated vsize (KiB) 681372
[startup+702.301 s]
/proc/loadavg: 3.99 3.97 3.89 5/182 25367
/proc/meminfo: memFree=14887904/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=681788 CPUtime=1404.62 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 147590 0 0 0 139765 697 0 0 25 0 3 0 910814240 698150912 146253 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 170447 146253 180 372 0 170072 0
[pid=25345/tid=25347] ppid=25343 vsize=681788 CPUtime=702.3 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 88809 0 0 0 69650 580 0 0 25 0 3 0 910814241 698150912 146253 33554432000 4194304 5714118 140735852605312 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=681788 CPUtime=702.3 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 58121 0 0 0 70113 117 0 0 25 0 3 0 910814241 698150912 146253 33554432000 4194304 5714118 140735852605312 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 681788
[startup+762.3 s]
/proc/loadavg: 3.85 3.94 3.88 5/182 25409
/proc/meminfo: memFree=15556592/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=681960 CPUtime=1524.63 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 160254 0 0 0 151716 747 0 0 25 0 3 0 910814240 698327040 158914 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 170490 158914 180 372 0 170115 0
[pid=25345/tid=25347] ppid=25343 vsize=681960 CPUtime=762.31 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 97326 0 0 0 75610 621 0 0 25 0 3 0 910814241 698327040 158914 33554432000 4194304 5714118 140735852605312 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=681960 CPUtime=762.3 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 62268 0 0 0 76105 125 0 0 25 0 3 0 910814241 698327040 158914 33554432000 4194304 5714118 140735852605312 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 681960
[startup+822.301 s]
/proc/loadavg: 3.94 3.95 3.89 6/182 25451
/proc/meminfo: memFree=15473176/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=748292 CPUtime=1644.63 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 172144 0 0 0 163664 799 0 0 25 0 3 0 910814240 766251008 170803 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 187073 170803 180 372 0 186698 0
[pid=25345/tid=25347] ppid=25343 vsize=748292 CPUtime=822.3 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 104346 0 0 0 81568 662 0 0 25 0 3 0 910814241 766251008 170803 33554432000 4194304 5714118 140735852605312 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=748292 CPUtime=822.3 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 67138 0 0 0 82094 136 0 0 25 0 3 0 910814241 766251008 170803 33554432000 4194304 5714118 140735852605312 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.63
Current children cumulated vsize (KiB) 748292
[startup+882.307 s]
/proc/loadavg: 3.98 3.95 3.89 6/182 25452
/proc/meminfo: memFree=15289388/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=814120 CPUtime=1764.64 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 184410 0 0 0 175617 847 0 0 25 0 3 0 910814240 833658880 183069 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 203530 183069 180 372 0 203155 0
[pid=25345/tid=25347] ppid=25343 vsize=814120 CPUtime=882.31 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 111404 0 0 0 87530 701 0 0 25 0 3 0 910814241 833658880 183069 33554432000 4194304 5714118 140735852605312 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=814120 CPUtime=882.31 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 72346 0 0 0 88085 146 0 0 25 0 3 0 910814241 833658880 183069 33554432000 4194304 5714118 140735852605312 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.64
Current children cumulated vsize (KiB) 814120
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 3.98 3.95 3.89 5/182 25453
/proc/meminfo: memFree=15211488/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=814260 CPUtime=1800.03 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 187609 0 0 0 179144 859 0 0 25 0 3 0 910814240 833802240 186267 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 203565 186267 180 372 0 203190 0
[pid=25345/tid=25347] ppid=25343 vsize=814260 CPUtime=900.01 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 113426 0 0 0 89291 710 0 0 25 0 3 0 910814241 833802240 186267 33554432000 4194304 5714118 140735852605312 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=814260 CPUtime=900.01 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 73523 0 0 0 89852 149 0 0 25 0 3 0 910814241 833802240 186267 33554432000 4194304 5714118 140735852605312 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 814260
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900 s]
/proc/loadavg: 3.98 3.95 3.89 5/182 25453
/proc/meminfo: memFree=15211488/32951124 swapFree=67053176/67111528
[pid=25345] ppid=25343 vsize=814260 CPUtime=1800.03 cores=1,3,5,7
/proc/25345/stat : 25345 (pwbo1.1) S 25343 25345 24477 0 -1 4202496 187609 0 0 0 179144 859 0 0 25 0 3 0 910814240 833802240 186267 33554432000 4194304 5714118 140735852605312 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/25345/statm: 203565 186267 180 372 0 203190 0
[pid=25345/tid=25347] ppid=25343 vsize=814260 CPUtime=900.01 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 113426 0 0 0 89291 710 0 0 25 0 3 0 910814241 833802240 186267 33554432000 4194304 5714118 140735852605312 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=814260 CPUtime=900.01 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (pwbo1.1) R 25343 25345 24477 0 -1 4202560 73523 0 0 0 89852 149 0 0 25 0 3 0 910814241 833802240 186267 33554432000 4194304 5714118 140735852605312 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 814260
Child status: 0
Real time (s): 900.046
CPU time (s): 1800.09
CPU user time (s): 1791.46
CPU system time (s): 8.63169
CPU usage (%): 200
Max. virtual memory (cumulated for all children) (KiB): 814260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.46
system time used= 8.63169
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187614
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= 348
involuntary context switches= 9018
runsolver used 1.47477 second user time and 3.45647 second system time
The end