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-3500316-1307993390/watcher-3500316-1307993390 -o /tmp/evaluation-result-3500316-1307993390/solver-3500316-1307993390 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500316-1307993390.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.06 3.99 3.91 3/179 25539
/proc/meminfo: memFree=15908212/32951124 swapFree=67053176/67111528
[pid=25539] ppid=25537 vsize=2932 CPUtime=0 cores=0,2,4,6
/proc/25539/stat : 25539 (pwbo1.1) R 25537 25539 24477 0 -1 4202496 403 0 0 0 0 0 0 0 25 0 1 0 910936709 3002368 355 33554432000 4194304 5714118 140735473066912 18446744073709551615 4228496 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/25539/statm: 733 355 166 372 0 254 0
[startup+0.0965839 s]
/proc/loadavg: 4.06 3.99 3.91 3/179 25539
/proc/meminfo: memFree=15908212/32951124 swapFree=67053176/67111528
[pid=25539] ppid=25537 vsize=163964 CPUtime=0.15 cores=0,2,4,6
/proc/25539/stat : 25539 (pwbo1.1) S 25537 25539 24477 0 -1 4202496 11860 0 0 0 10 5 0 0 25 0 3 0 910936709 167899136 11560 33554432000 4194304 5714118 140735473066912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25539/statm: 40991 11564 177 372 0 40616 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 163964
[startup+0.100559 s]
/proc/loadavg: 4.06 3.99 3.91 3/179 25539
/proc/meminfo: memFree=15908212/32951124 swapFree=67053176/67111528
[pid=25539] ppid=25537 vsize=163964 CPUtime=0.15 cores=0,2,4,6
/proc/25539/stat : 25539 (pwbo1.1) S 25537 25539 24477 0 -1 4202496 12262 0 0 0 10 5 0 0 25 0 3 0 910936709 167899136 11961 33554432000 4194304 5714118 140735473066912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25539/statm: 40991 11964 177 372 0 40616 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 163964
[startup+0.300557 s]
/proc/loadavg: 4.06 3.99 3.91 3/179 25539
/proc/meminfo: memFree=15908212/32951124 swapFree=67053176/67111528
[pid=25539] ppid=25537 vsize=166800 CPUtime=0.55 cores=0,2,4,6
/proc/25539/stat : 25539 (pwbo1.1) S 25537 25539 24477 0 -1 4202496 18177 0 0 0 44 11 0 0 25 0 3 0 910936709 170803200 17746 33554432000 4194304 5714118 140735473066912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25539/statm: 41700 17746 178 372 0 41325 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 166800
[startup+0.700477 s]
/proc/loadavg: 4.06 3.99 3.91 3/179 25539
/proc/meminfo: memFree=15908212/32951124 swapFree=67053176/67111528
[pid=25539] ppid=25537 vsize=166800 CPUtime=1.35 cores=0,2,4,6
/proc/25539/stat : 25539 (pwbo1.1) S 25537 25539 24477 0 -1 4202496 18362 0 0 0 124 11 0 0 25 0 3 0 910936709 170803200 17794 33554432000 4194304 5714118 140735473066912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25539/statm: 41700 17794 178 372 0 41325 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 166800
[startup+1.50032 s]
/proc/loadavg: 4.06 3.99 3.91 5/182 25543
/proc/meminfo: memFree=15837780/32951124 swapFree=67053176/67111528
[pid=25539] ppid=25537 vsize=166800 CPUtime=2.95 cores=0,2,4,6
/proc/25539/stat : 25539 (pwbo1.1) S 25537 25539 24477 0 -1 4202496 19093 0 0 0 283 12 0 0 25 0 3 0 910936709 170803200 18208 33554432000 4194304 5714118 140735473066912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25539/statm: 41700 18208 179 372 0 41325 0
[pid=25539/tid=25541] ppid=25537 vsize=166800 CPUtime=1.45 cores=0,2,4,6
/proc/25539/task/25541/stat : 25541 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 2375 0 0 0 145 0 0 0 20 0 3 0 910936712 170803200 18208 33554432000 4194304 5714118 140735473066912 18446744073709551615 4973054 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25539/tid=25542] ppid=25537 vsize=166800 CPUtime=1.45 cores=0,2,4,6
/proc/25539/task/25542/stat : 25542 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 15557 0 0 0 135 10 0 0 18 0 3 0 910936712 170803200 18208 33554432000 4194304 5714118 140735473066912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 166800
[startup+3.10101 s]
/proc/loadavg: 4.06 3.99 3.91 5/182 25543
/proc/meminfo: memFree=15834928/32951124 swapFree=67053176/67111528
[pid=25539] ppid=25537 vsize=166800 CPUtime=6.16 cores=0,2,4,6
/proc/25539/stat : 25539 (pwbo1.1) S 25537 25539 24477 0 -1 4202496 20584 0 0 0 600 16 0 0 25 0 3 0 910936709 170803200 19039 33554432000 4194304 5714118 140735473066912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25539/statm: 41700 19039 179 372 0 41325 0
[pid=25539/tid=25541] ppid=25537 vsize=166800 CPUtime=3.06 cores=0,2,4,6
/proc/25539/task/25541/stat : 25541 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 3846 0 0 0 302 4 0 0 25 0 3 0 910936712 170803200 19039 33554432000 4194304 5714118 140735473066912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25539/tid=25542] ppid=25537 vsize=166800 CPUtime=3.05 cores=0,2,4,6
/proc/25539/task/25542/stat : 25542 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 15577 0 0 0 294 11 0 0 18 0 3 0 910936712 170803200 19039 33554432000 4194304 5714118 140735473066912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 166800
[startup+6.30047 s]
/proc/loadavg: 4.06 3.99 3.91 5/182 25543
/proc/meminfo: memFree=15826372/32951124 swapFree=67053176/67111528
[pid=25539] ppid=25537 vsize=166800 CPUtime=12.55 cores=0,2,4,6
/proc/25539/stat : 25539 (pwbo1.1) S 25537 25539 24477 0 -1 4202496 22555 0 0 0 1235 20 0 0 25 0 3 0 910936709 170803200 20996 33554432000 4194304 5714118 140735473066912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25539/statm: 41700 20996 179 372 0 41325 0
[pid=25539/tid=25541] ppid=25537 vsize=166800 CPUtime=6.25 cores=0,2,4,6
/proc/25539/task/25541/stat : 25541 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 5645 0 0 0 619 6 0 0 25 0 3 0 910936712 170803200 20996 33554432000 4194304 5714118 140735473066912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25539/tid=25542] ppid=25537 vsize=166800 CPUtime=6.26 cores=0,2,4,6
/proc/25539/task/25542/stat : 25542 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 15749 0 0 0 613 13 0 0 25 0 3 0 910936712 170803200 20996 33554432000 4194304 5714118 140735473066912 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 166800
[startup+12.7003 s]
/proc/loadavg: 4.05 3.99 3.91 5/182 25543
/proc/meminfo: memFree=15814436/32951124 swapFree=67053176/67111528
[pid=25539] ppid=25537 vsize=166800 CPUtime=25.35 cores=0,2,4,6
/proc/25539/stat : 25539 (pwbo1.1) S 25537 25539 24477 0 -1 4202496 23900 0 0 0 2508 27 0 0 25 0 3 0 910936709 170803200 22341 33554432000 4194304 5714118 140735473066912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25539/statm: 41700 22341 180 372 0 41325 0
[pid=25539/tid=25541] ppid=25537 vsize=166800 CPUtime=12.66 cores=0,2,4,6
/proc/25539/task/25541/stat : 25541 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 6621 0 0 0 1254 12 0 0 25 0 3 0 910936712 170803200 22341 33554432000 4194304 5714118 140735473066912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25539/tid=25542] ppid=25537 vsize=166800 CPUtime=12.66 cores=0,2,4,6
/proc/25539/task/25542/stat : 25542 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 16118 0 0 0 1251 15 0 0 25 0 3 0 910936712 170803200 22341 33554432000 4194304 5714118 140735473066912 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 166800
[startup+25.501 s]
/proc/loadavg: 4.04 3.99 3.91 5/182 25543
/proc/meminfo: memFree=15789104/32951124 swapFree=67053176/67111528
[pid=25539] ppid=25537 vsize=167092 CPUtime=50.96 cores=0,2,4,6
/proc/25539/stat : 25539 (pwbo1.1) S 25537 25539 24477 0 -1 4202496 27406 0 0 0 5053 43 0 0 25 0 3 0 910936709 171102208 25847 33554432000 4194304 5714118 140735473066912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25539/statm: 41773 25847 180 372 0 41398 0
[pid=25539/tid=25541] ppid=25537 vsize=167092 CPUtime=25.46 cores=0,2,4,6
/proc/25539/task/25541/stat : 25541 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 9034 0 0 0 2524 22 0 0 25 0 3 0 910936712 171102208 25847 33554432000 4194304 5714118 140735473066912 18446744073709551615 4319792 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25539/tid=25542] ppid=25537 vsize=167092 CPUtime=25.46 cores=0,2,4,6
/proc/25539/task/25542/stat : 25542 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 17211 0 0 0 2526 20 0 0 25 0 3 0 910936712 171102208 25847 33554432000 4194304 5714118 140735473066912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 167092
[startup+51.1004 s]
/proc/loadavg: 4.03 3.99 3.91 5/182 25544
/proc/meminfo: memFree=15730712/32951124 swapFree=67053176/67111528
[pid=25539] ppid=25537 vsize=167092 CPUtime=102.15 cores=0,2,4,6
/proc/25539/stat : 25539 (pwbo1.1) S 25537 25539 24477 0 -1 4202496 35274 0 0 0 10145 70 0 0 25 0 3 0 910936709 171102208 33658 33554432000 4194304 5714118 140735473066912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25539/statm: 41773 33658 180 372 0 41398 0
[pid=25539/tid=25541] ppid=25537 vsize=167092 CPUtime=51.05 cores=0,2,4,6
/proc/25539/task/25541/stat : 25541 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 12659 0 0 0 5068 37 0 0 25 0 3 0 910936712 171102208 33658 33554432000 4194304 5714118 140735473066912 18446744073709551615 4319723 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25539/tid=25542] ppid=25537 vsize=167092 CPUtime=51.05 cores=0,2,4,6
/proc/25539/task/25542/stat : 25542 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 21454 0 0 0 5073 32 0 0 25 0 3 0 910936712 171102208 33658 33554432000 4194304 5714118 140735473066912 18446744073709551615 4305171 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 167092
[startup+102.307 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 25545
/proc/meminfo: memFree=15572704/32951124 swapFree=67053176/67111528
[pid=25539] ppid=25537 vsize=298164 CPUtime=204.57 cores=0,2,4,6
/proc/25539/stat : 25539 (pwbo1.1) S 25537 25539 24477 0 -1 4202496 69022 0 0 0 20301 156 0 0 25 0 3 0 910936709 305319936 67406 33554432000 4194304 5714118 140735473066912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25539/statm: 74541 67406 180 372 0 74166 0
[pid=25539/tid=25541] ppid=25537 vsize=298164 CPUtime=102.27 cores=0,2,4,6
/proc/25539/task/25541/stat : 25541 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 17134 0 0 0 10165 62 0 0 25 0 3 0 910936712 305319936 67406 33554432000 4194304 5714118 140735473066912 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25539/tid=25542] ppid=25537 vsize=298164 CPUtime=102.26 cores=0,2,4,6
/proc/25539/task/25542/stat : 25542 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 50727 0 0 0 10133 93 0 0 19 0 3 0 910936712 305319936 67406 33554432000 4194304 5714118 140735473066912 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.57
Current children cumulated vsize (KiB) 298164
[startup+162.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25547
/proc/meminfo: memFree=15469460/32951124 swapFree=67053176/67111528
[pid=25539] ppid=25537 vsize=429720 CPUtime=324.56 cores=0,2,4,6
/proc/25539/stat : 25539 (pwbo1.1) S 25537 25539 24477 0 -1 4202496 80608 0 0 0 32253 203 0 0 25 0 3 0 910936709 440033280 78992 33554432000 4194304 5714118 140735473066912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25539/statm: 107430 78992 180 372 0 107055 0
[pid=25539/tid=25541] ppid=25537 vsize=429720 CPUtime=162.25 cores=0,2,4,6
/proc/25539/task/25541/stat : 25541 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 23246 0 0 0 16138 87 0 0 25 0 3 0 910936712 440033280 78992 33554432000 4194304 5714118 140735473066912 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25539/tid=25542] ppid=25537 vsize=429720 CPUtime=162.26 cores=0,2,4,6
/proc/25539/task/25542/stat : 25542 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 56201 0 0 0 16111 115 0 0 25 0 3 0 910936712 440033280 78992 33554432000 4194304 5714118 140735473066912 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 324.56
Current children cumulated vsize (KiB) 429720
[startup+222.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25548
/proc/meminfo: memFree=15434700/32951124 swapFree=67053176/67111528
[pid=25539] ppid=25537 vsize=429720 CPUtime=444.56 cores=0,2,4,6
/proc/25539/stat : 25539 (pwbo1.1) S 25537 25539 24477 0 -1 4202496 81156 0 0 0 44219 237 0 0 25 0 3 0 910936709 440033280 79540 33554432000 4194304 5714118 140735473066912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25539/statm: 107430 79540 180 372 0 107055 0
[pid=25539/tid=25541] ppid=25537 vsize=429720 CPUtime=222.26 cores=0,2,4,6
/proc/25539/task/25541/stat : 25541 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 23432 0 0 0 22112 114 0 0 25 0 3 0 910936712 440033280 79540 33554432000 4194304 5714118 140735473066912 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25539/tid=25542] ppid=25537 vsize=429720 CPUtime=222.26 cores=0,2,4,6
/proc/25539/task/25542/stat : 25542 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 56563 0 0 0 22104 122 0 0 25 0 3 0 910936712 440033280 79540 33554432000 4194304 5714118 140735473066912 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 444.56
Current children cumulated vsize (KiB) 429720
[startup+282.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25550
/proc/meminfo: memFree=15376236/32951124 swapFree=67053176/67111528
[pid=25539] ppid=25537 vsize=429984 CPUtime=564.56 cores=0,2,4,6
/proc/25539/stat : 25539 (pwbo1.1) S 25537 25539 24477 0 -1 4202496 87958 0 0 0 56183 273 0 0 25 0 3 0 910936709 440303616 86342 33554432000 4194304 5714118 140735473066912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25539/statm: 107496 86342 180 372 0 107121 0
[pid=25539/tid=25541] ppid=25537 vsize=429984 CPUtime=282.26 cores=0,2,4,6
/proc/25539/task/25541/stat : 25541 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 27484 0 0 0 28087 139 0 0 25 0 3 0 910936712 440303616 86342 33554432000 4194304 5714118 140735473066912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25539/tid=25542] ppid=25537 vsize=429984 CPUtime=282.26 cores=0,2,4,6
/proc/25539/task/25542/stat : 25542 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 59313 0 0 0 28093 133 0 0 25 0 3 0 910936712 440303616 86342 33554432000 4194304 5714118 140735473066912 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 564.56
Current children cumulated vsize (KiB) 429984
[startup+342.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25552
/proc/meminfo: memFree=15332176/32951124 swapFree=67053176/67111528
[pid=25539] ppid=25537 vsize=430356 CPUtime=684.57 cores=0,2,4,6
/proc/25539/stat : 25539 (pwbo1.1) S 25537 25539 24477 0 -1 4202496 91609 0 0 0 68150 307 0 0 25 0 3 0 910936709 440684544 89993 33554432000 4194304 5714118 140735473066912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25539/statm: 107589 89993 180 372 0 107214 0
[pid=25539/tid=25541] ppid=25537 vsize=430356 CPUtime=342.27 cores=0,2,4,6
/proc/25539/task/25541/stat : 25541 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 27493 0 0 0 34066 161 0 0 25 0 3 0 910936712 440684544 89993 33554432000 4194304 5714118 140735473066912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25539/tid=25542] ppid=25537 vsize=430356 CPUtime=342.27 cores=0,2,4,6
/proc/25539/task/25542/stat : 25542 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 62955 0 0 0 34081 146 0 0 25 0 3 0 910936712 440684544 89993 33554432000 4194304 5714118 140735473066912 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 684.57
Current children cumulated vsize (KiB) 430356
[startup+402.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25553
/proc/meminfo: memFree=15284380/32951124 swapFree=67053176/67111528
[pid=25539] ppid=25537 vsize=430636 CPUtime=804.57 cores=0,2,4,6
/proc/25539/stat : 25539 (pwbo1.1) S 25537 25539 24477 0 -1 4202496 95371 0 0 0 80123 334 0 0 25 0 3 0 910936709 440971264 93755 33554432000 4194304 5714118 140735473066912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25539/statm: 107659 93755 180 372 0 107284 0
[pid=25539/tid=25541] ppid=25537 vsize=430636 CPUtime=402.27 cores=0,2,4,6
/proc/25539/task/25541/stat : 25541 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 27939 0 0 0 40051 176 0 0 25 0 3 0 910936712 440971264 93755 33554432000 4194304 5714118 140735473066912 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25539/tid=25542] ppid=25537 vsize=430636 CPUtime=402.26 cores=0,2,4,6
/proc/25539/task/25542/stat : 25542 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 66271 0 0 0 40069 157 0 0 25 0 3 0 910936712 440971264 93755 33554432000 4194304 5714118 140735473066912 18446744073709551615 4319734 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 804.57
Current children cumulated vsize (KiB) 430636
[startup+462.301 s]
/proc/loadavg: 4.03 4.00 3.92 5/182 25555
/proc/meminfo: memFree=15190804/32951124 swapFree=67053176/67111528
[pid=25539] ppid=25537 vsize=496680 CPUtime=924.58 cores=0,2,4,6
/proc/25539/stat : 25539 (pwbo1.1) S 25537 25539 24477 0 -1 4202496 106353 0 0 0 92090 368 0 0 25 0 3 0 910936709 508600320 104735 33554432000 4194304 5714118 140735473066912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25539/statm: 124170 104735 180 372 0 123795 0
[pid=25539/tid=25541] ppid=25537 vsize=496680 CPUtime=462.27 cores=0,2,4,6
/proc/25539/task/25541/stat : 25541 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 35106 0 0 0 46029 198 0 0 25 0 3 0 910936712 508600320 104735 33554432000 4194304 5714118 140735473066912 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25539/tid=25542] ppid=25537 vsize=496680 CPUtime=462.27 cores=0,2,4,6
/proc/25539/task/25542/stat : 25542 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 70086 0 0 0 46058 169 0 0 25 0 3 0 910936712 508600320 104735 33554432000 4194304 5714118 140735473066912 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 924.58
Current children cumulated vsize (KiB) 496680
Solver just ended. Dumping a history of the last processes samples
[startup+467.101 s]
/proc/loadavg: 4.03 4.00 3.92 5/182 25555
/proc/meminfo: memFree=15187320/32951124 swapFree=67053176/67111528
[pid=25539] ppid=25537 vsize=496680 CPUtime=934.18 cores=0,2,4,6
/proc/25539/stat : 25539 (pwbo1.1) S 25537 25539 24477 0 -1 4202496 106980 0 0 0 93047 371 0 0 25 0 3 0 910936709 508600320 105362 33554432000 4194304 5714118 140735473066912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25539/statm: 124170 105362 180 372 0 123795 0
[pid=25539/tid=25541] ppid=25537 vsize=496680 CPUtime=467.07 cores=0,2,4,6
/proc/25539/task/25541/stat : 25541 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 35425 0 0 0 46507 200 0 0 25 0 3 0 910936712 508600320 105362 33554432000 4194304 5714118 140735473066912 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25539/tid=25542] ppid=25537 vsize=496680 CPUtime=467.06 cores=0,2,4,6
/proc/25539/task/25542/stat : 25542 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 70394 0 0 0 46536 170 0 0 25 0 3 0 910936712 508600320 105362 33554432000 4194304 5714118 140735473066912 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 934.18
Current children cumulated vsize (KiB) 496680
[startup+470.301 s]
/proc/loadavg: 4.02 4.00 3.92 5/182 25555
/proc/meminfo: memFree=15184712/32951124 swapFree=67053176/67111528
[pid=25539] ppid=25537 vsize=496680 CPUtime=940.57 cores=0,2,4,6
/proc/25539/stat : 25539 (pwbo1.1) S 25537 25539 24477 0 -1 4202496 107226 0 0 0 93684 373 0 0 25 0 3 0 910936709 508600320 105608 33554432000 4194304 5714118 140735473066912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25539/statm: 124170 105608 180 372 0 123795 0
[pid=25539/tid=25541] ppid=25537 vsize=496680 CPUtime=470.27 cores=0,2,4,6
/proc/25539/task/25541/stat : 25541 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 35440 0 0 0 46826 201 0 0 25 0 3 0 910936712 508600320 105608 33554432000 4194304 5714118 140735473066912 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=25539/tid=25542] ppid=25537 vsize=496680 CPUtime=470.27 cores=0,2,4,6
/proc/25539/task/25542/stat : 25542 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 70625 0 0 0 46855 172 0 0 25 0 3 0 910936712 508600320 105608 33554432000 4194304 5714118 140735473066912 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 940.57
Current children cumulated vsize (KiB) 496680
[startup+473.501 s]
/proc/loadavg: 4.02 4.00 3.92 4/181 25555
/proc/meminfo: memFree=15173932/32951124 swapFree=67053176/67111528
[pid=25539] ppid=25537 vsize=496680 CPUtime=945.83 cores=0,2,4,6
/proc/25539/stat : 25539 (pwbo1.1) S 25537 25539 24477 0 -1 4202496 110030 0 0 0 94208 375 0 0 25 0 2 0 910936709 508600320 108412 33554432000 4194304 5714118 140735473066912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25539/statm: 124170 108412 181 372 0 123795 0
[pid=25539/tid=25541] ppid=25537 vsize=496680 CPUtime=473.47 cores=0,2,4,6
/proc/25539/task/25541/stat : 25541 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 38198 0 0 0 47145 202 0 0 25 0 2 0 910936712 508600320 108412 33554432000 4194304 5714118 140735473066912 18446744073709551615 4197696 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 945.83
Current children cumulated vsize (KiB) 496680
[startup+474.301 s]
/proc/loadavg: 3.94 3.98 3.91 4/181 25555
/proc/meminfo: memFree=15167236/32951124 swapFree=67053176/67111528
[pid=25539] ppid=25537 vsize=496680 CPUtime=946.63 cores=0,2,4,6
/proc/25539/stat : 25539 (pwbo1.1) S 25537 25539 24477 0 -1 4202496 110640 0 0 0 94288 375 0 0 25 0 2 0 910936709 508600320 109022 33554432000 4194304 5714118 140735473066912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25539/statm: 124170 109022 181 372 0 123795 0
[pid=25539/tid=25541] ppid=25537 vsize=496680 CPUtime=474.27 cores=0,2,4,6
/proc/25539/task/25541/stat : 25541 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 38808 0 0 0 47225 202 0 0 25 0 2 0 910936712 508600320 109022 33554432000 4194304 5714118 140735473066912 18446744073709551615 4324808 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 946.63
Current children cumulated vsize (KiB) 496680
[startup+474.701 s]
/proc/loadavg: 3.94 3.98 3.91 4/181 25555
/proc/meminfo: memFree=15167236/32951124 swapFree=67053176/67111528
[pid=25539] ppid=25537 vsize=496680 CPUtime=947.03 cores=0,2,4,6
/proc/25539/stat : 25539 (pwbo1.1) S 25537 25539 24477 0 -1 4202496 110645 0 0 0 94328 375 0 0 25 0 2 0 910936709 508600320 109027 33554432000 4194304 5714118 140735473066912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25539/statm: 124170 109027 181 372 0 123795 0
[pid=25539/tid=25541] ppid=25537 vsize=496680 CPUtime=474.67 cores=0,2,4,6
/proc/25539/task/25541/stat : 25541 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 38813 0 0 0 47265 202 0 0 25 0 2 0 910936712 508600320 109027 33554432000 4194304 5714118 140735473066912 18446744073709551615 4324904 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 947.03
Current children cumulated vsize (KiB) 496680
[startup+475.101 s]
/proc/loadavg: 3.94 3.98 3.91 4/181 25555
/proc/meminfo: memFree=15165996/32951124 swapFree=67053176/67111528
[pid=25539] ppid=25537 vsize=496680 CPUtime=947.44 cores=0,2,4,6
/proc/25539/stat : 25539 (pwbo1.1) S 25537 25539 24477 0 -1 4202496 110645 0 0 0 94369 375 0 0 25 0 2 0 910936709 508600320 109027 33554432000 4194304 5714118 140735473066912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25539/statm: 124170 109027 181 372 0 123795 0
[pid=25539/tid=25541] ppid=25537 vsize=496680 CPUtime=475.07 cores=0,2,4,6
/proc/25539/task/25541/stat : 25541 (pwbo1.1) R 25537 25539 24477 0 -1 4202560 38813 0 0 0 47305 202 0 0 25 0 2 0 910936712 508600320 109027 33554432000 4194304 5714118 140735473066912 18446744073709551615 4324808 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 947.44
Current children cumulated vsize (KiB) 496680
Child status: 0
Real time (s): 475.185
CPU time (s): 947.527
CPU user time (s): 943.753
CPU system time (s): 3.77443
CPU usage (%): 199.402
Max. virtual memory (cumulated for all children) (KiB): 496680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 943.753
system time used= 3.77443
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110649
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= 339
involuntary context switches= 1818
runsolver used 0.91586 second user time and 1.68974 second system time
The end