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-3726384-1338667536/watcher-3726384-1338667536 -o /tmp/evaluation-result-3726384-1338667536/solver-3726384-1338667536 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726384-1338667536.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.86 1.97 1.99 2/174 23508
/proc/meminfo: memFree=28188052/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=32812 CPUtime=0 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) R 23506 23508 23469 0 -1 4202496 618 0 0 0 0 0 0 0 20 0 1 0 332882268 33599488 570 33554432000 4194304 5964478 140733561231472 140733561230840 4395199 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 8203 570 168 433 0 874 0
[startup+0.05614 s]
/proc/loadavg: 1.86 1.97 1.99 2/174 23508
/proc/meminfo: memFree=28188052/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=43920 CPUtime=0.04 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) R 23506 23508 23469 0 -1 4202496 3196 0 0 0 4 0 0 0 20 0 1 0 332882268 44974080 3115 33554432000 4194304 5964478 140733561231472 140733561230840 4344643 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 10980 3116 310 433 0 3651 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 43920
[startup+0.100291 s]
/proc/loadavg: 1.86 1.97 1.99 2/174 23508
/proc/meminfo: memFree=28188052/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=50528 CPUtime=0.08 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) R 23506 23508 23469 0 -1 4202496 4698 0 0 0 8 0 0 0 20 0 1 0 332882268 51740672 4568 33554432000 4194304 5964478 140733561231472 140733561230840 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 12632 4569 431 433 0 5303 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 50528
[startup+0.300246 s]
/proc/loadavg: 1.86 1.97 1.99 2/174 23508
/proc/meminfo: memFree=28188052/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=69456 CPUtime=0.29 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) R 23506 23508 23469 0 -1 4202496 10536 0 0 0 27 2 0 0 20 0 1 0 332882268 71122944 10139 33554432000 4194304 5964478 140733561231472 140733561230840 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 17364 10139 959 433 0 10035 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 69456
[startup+0.700245 s]
/proc/loadavg: 1.86 1.97 1.99 2/174 23508
/proc/meminfo: memFree=28188052/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=114816 CPUtime=0.69 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) R 23506 23508 23469 0 -1 4202496 22377 0 0 0 65 4 0 0 20 0 1 0 332882268 117571584 21450 33554432000 4194304 5964478 140733561231472 140733561230840 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 28704 21452 1937 433 0 21375 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 114816
[startup+1.50025 s]
/proc/loadavg: 1.86 1.97 1.99 3/177 23514
/proc/meminfo: memFree=27967668/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=208148 CPUtime=1.49 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) R 23506 23508 23469 0 -1 4202496 43622 0 0 0 141 8 0 0 20 0 1 0 332882268 213143552 43679 33554432000 4194304 5964478 140733561231472 140733561230072 4395406 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 52037 43679 3584 433 0 44708 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 208148
[startup+3.10024 s]
/proc/loadavg: 1.86 1.97 1.99 3/177 23514
/proc/meminfo: memFree=27771220/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=323940 CPUtime=3.09 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) R 23506 23508 23469 0 -1 4202496 72369 0 0 0 295 14 0 0 20 0 1 0 332882268 331714560 73388 33554432000 4194304 5964478 140733561231472 140733561229944 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 80985 73390 6438 433 0 73656 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 323940
[startup+6.30035 s]
/proc/loadavg: 1.87 1.97 1.99 5/181 23518
/proc/meminfo: memFree=26798856/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=843704 CPUtime=9.04 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 163265 0 0 0 857 47 0 0 20 0 3 0 332882268 863952896 177182 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 210926 177182 195 433 0 210490 0
[pid=23508/tid=23517] ppid=23506 vsize=843704 CPUtime=2.79 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 61152 0 0 0 259 20 0 0 20 0 3 0 332882615 863952896 177182 33554432000 4194304 5964478 140733561231472 139790661847368 5142509 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=843704 CPUtime=2.8 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 24280 0 0 0 268 12 0 0 20 0 3 0 332882615 863952896 177182 33554432000 4194304 5964478 140733561231472 139790651357496 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 9.04
Current children cumulated vsize (KiB) 843704
[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 2.00 5/181 23518
/proc/meminfo: memFree=26629576/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=892836 CPUtime=21.84 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 168840 0 0 0 2133 51 0 0 20 0 3 0 332882268 914264064 189023 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 223209 189023 196 433 0 222773 0
[pid=23508/tid=23517] ppid=23506 vsize=892836 CPUtime=9.19 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 66641 0 0 0 895 24 0 0 20 0 3 0 332882615 914264064 189023 33554432000 4194304 5964478 140733561231472 139790661847576 4419480 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=892836 CPUtime=9.2 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 24366 0 0 0 907 13 0 0 20 0 3 0 332882615 914264064 189023 33554432000 4194304 5964478 140733561231472 139790651357496 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 21.84
Current children cumulated vsize (KiB) 892836
[startup+25.5004 s]
/proc/loadavg: 2.47 2.10 2.03 5/181 23518
/proc/meminfo: memFree=26547160/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=958372 CPUtime=47.42 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 181425 0 0 0 4686 56 0 0 20 0 3 0 332882268 981372928 195874 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 239593 195874 196 433 0 239157 0
[pid=23508/tid=23517] ppid=23506 vsize=958372 CPUtime=21.98 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 79057 0 0 0 2170 28 0 0 20 0 3 0 332882615 981372928 195874 33554432000 4194304 5964478 140733561231472 139790661847576 5122424 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=958372 CPUtime=21.99 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 24535 0 0 0 2186 13 0 0 20 0 3 0 332882615 981372928 195874 33554432000 4194304 5964478 140733561231472 139790651357016 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 47.42
Current children cumulated vsize (KiB) 958372
[startup+51.1004 s]
/proc/loadavg: 2.99 2.26 2.08 5/181 23518
/proc/meminfo: memFree=26239760/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=1089444 CPUtime=98.62 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 198911 0 0 0 9792 70 0 0 20 0 3 0 332882268 1115590656 235879 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 272361 235879 196 433 0 271925 0
[pid=23508/tid=23517] ppid=23506 vsize=1089444 CPUtime=47.58 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 96092 0 0 0 4717 41 0 0 20 0 3 0 332882615 1115590656 235879 33554432000 4194304 5964478 140733561231472 139790661847384 4445521 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=1089444 CPUtime=47.59 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 24986 0 0 0 4745 14 0 0 20 0 3 0 332882615 1115590656 235879 33554432000 4194304 5964478 140733561231472 139790651357496 4399854 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 98.62
Current children cumulated vsize (KiB) 1089444
[startup+102.307 s]
/proc/loadavg: 3.56 2.52 2.18 5/181 23518
/proc/meminfo: memFree=25707724/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=1441732 CPUtime=201 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 223027 0 0 0 20006 94 0 0 20 0 3 0 332882268 1476333568 303592 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 360433 303592 196 433 0 359997 0
[pid=23508/tid=23517] ppid=23506 vsize=1441732 CPUtime=98.79 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 119629 0 0 0 9813 66 0 0 20 0 3 0 332882615 1476333568 303592 33554432000 4194304 5964478 140733561231472 139790661847576 4447069 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=1441732 CPUtime=98.79 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 25565 0 0 0 9863 16 0 0 20 0 3 0 332882615 1476333568 303592 33554432000 4194304 5964478 140733561231472 139790651357496 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 201
Current children cumulated vsize (KiB) 1441732
[startup+162.3 s]
/proc/loadavg: 3.84 2.79 2.29 5/181 23519
/proc/meminfo: memFree=25091080/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=1769412 CPUtime=320.97 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 242057 0 0 0 31976 121 0 0 20 0 3 0 332882268 1811877888 371286 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 442353 371286 196 433 0 441917 0
[pid=23508/tid=23517] ppid=23506 vsize=1769412 CPUtime=158.78 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 137757 0 0 0 15786 92 0 0 20 0 3 0 332882615 1811877888 371286 33554432000 4194304 5964478 140733561231472 139790661847576 4429801 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=1769412 CPUtime=158.78 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 26467 0 0 0 15859 19 0 0 20 0 3 0 332882615 1811877888 371286 33554432000 4194304 5964478 140733561231472 139790651357496 4403343 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 320.97
Current children cumulated vsize (KiB) 1769412
[startup+222.3 s]
/proc/loadavg: 3.94 3.01 2.40 5/181 23519
/proc/meminfo: memFree=24515860/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=2097092 CPUtime=440.94 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 270349 0 0 0 43949 145 0 0 20 0 3 0 332882268 2147422208 434689 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 524273 434689 196 433 0 523837 0
[pid=23508/tid=23517] ppid=23506 vsize=2097092 CPUtime=218.78 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 165482 0 0 0 21762 116 0 0 20 0 3 0 332882615 2147422208 434689 33554432000 4194304 5964478 140733561231472 139790661847576 5135657 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=2097092 CPUtime=218.77 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 27034 0 0 0 21856 21 0 0 20 0 3 0 332882615 2147422208 434689 33554432000 4194304 5964478 140733561231472 139790651357496 4403624 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 440.94
Current children cumulated vsize (KiB) 2097092
[startup+282.3 s]
/proc/loadavg: 4.01 3.20 2.50 5/182 23522
/proc/meminfo: memFree=23991852/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=2314292 CPUtime=560.92 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 311287 0 0 0 55879 213 0 0 20 0 3 0 332882268 2369835008 486296 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 578573 486296 196 433 0 578137 0
[pid=23508/tid=23517] ppid=23506 vsize=2314292 CPUtime=278.78 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 205923 0 0 0 27694 184 0 0 20 0 3 0 332882615 2369835008 486296 33554432000 4194304 5964478 140733561231472 139790661847448 4445112 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=2314292 CPUtime=278.77 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 27531 0 0 0 27854 23 0 0 20 0 3 0 332882615 2369835008 486296 33554432000 4194304 5964478 140733561231472 139790651357496 4387936 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 560.92
Current children cumulated vsize (KiB) 2314292
[startup+342.3 s]
/proc/loadavg: 4.04 3.36 2.59 5/181 23522
/proc/meminfo: memFree=23399432/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=2666580 CPUtime=680.83 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 454049 0 0 0 67732 351 0 0 20 0 3 0 332882268 2730577920 558851 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 666645 558851 196 433 0 666209 0
[pid=23508/tid=23517] ppid=23506 vsize=2666580 CPUtime=338.77 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 348213 0 0 0 33555 322 0 0 20 0 3 0 332882615 2730577920 558851 33554432000 4194304 5964478 140733561231472 139790661847992 4445315 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=2666580 CPUtime=338.71 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 28003 0 0 0 33846 25 0 0 20 0 3 0 332882615 2730577920 558851 33554432000 4194304 5964478 140733561231472 139790651357304 4400024 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 680.83
Current children cumulated vsize (KiB) 2666580
[startup+402.3 s]
/proc/loadavg: 4.12 3.50 2.69 5/181 23522
/proc/meminfo: memFree=22849188/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=2838580 CPUtime=800.76 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 571330 0 0 0 79586 490 0 0 20 0 3 0 332882268 2906705920 609922 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 709645 609922 196 433 0 709209 0
[pid=23508/tid=23517] ppid=23506 vsize=2838580 CPUtime=398.77 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 465068 0 0 0 39417 460 0 0 20 0 3 0 332882615 2906705920 609922 33554432000 4194304 5964478 140733561231472 139790661847448 5179822 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=2838580 CPUtime=398.66 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 28429 0 0 0 39839 27 0 0 20 0 3 0 332882615 2906705920 609922 33554432000 4194304 5964478 140733561231472 139790651357496 4389129 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 800.76
Current children cumulated vsize (KiB) 2838580
[startup+462.3 s]
/proc/loadavg: 4.08 3.60 2.77 5/181 23523
/proc/meminfo: memFree=22369372/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=3063812 CPUtime=920.7 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 658121 0 0 0 91456 614 0 0 20 0 3 0 332882268 3137343488 652246 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 765953 652246 196 433 0 765517 0
[pid=23508/tid=23517] ppid=23506 vsize=3063812 CPUtime=458.77 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 551442 0 0 0 45293 584 0 0 20 0 3 0 332882615 3137343488 652246 33554432000 4194304 5964478 140733561231472 139790661847464 4395339 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=3063812 CPUtime=458.62 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 28846 0 0 0 45834 28 0 0 20 0 3 0 332882615 3137343488 652246 33554432000 4194304 5964478 140733561231472 139790651357496 4389110 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 920.7
Current children cumulated vsize (KiB) 3063812
[startup+522.3 s]
/proc/loadavg: 4.06 3.69 2.85 5/181 23523
/proc/meminfo: memFree=21765468/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=3334244 CPUtime=1040.67 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 805472 0 0 0 103320 747 0 0 20 0 3 0 332882268 3414265856 725796 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 833561 725796 197 433 0 833125 0
[pid=23508/tid=23517] ppid=23506 vsize=3334244 CPUtime=518.77 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 698356 0 0 0 51160 717 0 0 20 0 3 0 332882615 3414265856 725796 33554432000 4194304 5964478 140733561231472 139790661847880 5135050 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=3334244 CPUtime=518.61 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 29283 0 0 0 51831 30 0 0 20 0 3 0 332882615 3414265856 725796 33554432000 4194304 5964478 140733561231472 139790651357016 4222474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1040.67
Current children cumulated vsize (KiB) 3334244
[startup+582.3 s]
/proc/loadavg: 4.06 3.75 2.93 5/181 23523
/proc/meminfo: memFree=21355580/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=3551188 CPUtime=1160.62 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 947720 0 0 0 115191 871 0 0 20 0 3 0 332882268 3636416512 774545 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 887797 774545 197 433 0 887361 0
[pid=23508/tid=23517] ppid=23506 vsize=3551188 CPUtime=578.76 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 840152 0 0 0 57035 841 0 0 20 0 3 0 332882615 3636416512 774545 33554432000 4194304 5964478 140733561231472 139790661847448 5179587 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=3551188 CPUtime=578.59 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 29735 0 0 0 57827 32 0 0 20 0 3 0 332882615 3636416512 774545 33554432000 4194304 5964478 140733561231472 139790651357496 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1160.62
Current children cumulated vsize (KiB) 3551188
[startup+642.3 s]
/proc/loadavg: 4.02 3.80 2.99 5/181 23523
/proc/meminfo: memFree=20850476/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=3858532 CPUtime=1280.61 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 1060029 0 0 0 127078 983 0 0 20 0 3 0 332882268 3951136768 846006 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 964633 846006 197 433 0 964197 0
[pid=23508/tid=23517] ppid=23506 vsize=3858532 CPUtime=638.76 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 952026 0 0 0 62923 953 0 0 20 0 3 0 332882615 3951136768 846006 33554432000 4194304 5964478 140733561231472 139790661847448 5142509 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=3858532 CPUtime=638.59 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 30170 0 0 0 63825 34 0 0 20 0 3 0 332882615 3951136768 846006 33554432000 4194304 5964478 140733561231472 139790651357016 4403590 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1280.61
Current children cumulated vsize (KiB) 3858532
[startup+702.3 s]
/proc/loadavg: 4.00 3.83 3.05 5/181 23523
/proc/meminfo: memFree=20553276/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=3981316 CPUtime=1400.56 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 1139436 0 0 0 139025 1031 0 0 20 0 3 0 332882268 4076867584 871968 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 995329 871968 197 433 0 994893 0
[pid=23508/tid=23517] ppid=23506 vsize=3981316 CPUtime=698.74 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 1030965 0 0 0 68873 1001 0 0 20 0 3 0 332882615 4076867584 871968 33554432000 4194304 5964478 140733561231472 139790661847880 4222464 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=3981316 CPUtime=698.58 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 30638 0 0 0 69822 36 0 0 20 0 3 0 332882615 4076867584 871968 33554432000 4194304 5964478 140733561231472 139790651357544 4392707 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1400.56
Current children cumulated vsize (KiB) 3981316
[startup+762.307 s]
/proc/loadavg: 4.00 3.86 3.11 5/181 23524
/proc/meminfo: memFree=20287648/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=4071460 CPUtime=1520.54 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 1179038 0 0 0 150995 1059 0 0 20 0 3 0 332882268 4169175040 894647 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 1017865 894647 197 433 0 1017429 0
[pid=23508/tid=23517] ppid=23506 vsize=4071460 CPUtime=758.75 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 1070018 0 0 0 74845 1030 0 0 20 0 3 0 332882615 4169175040 894647 33554432000 4194304 5964478 140733561231472 139790661847880 4392703 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=4071460 CPUtime=758.58 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 31187 0 0 0 75820 38 0 0 20 0 3 0 332882615 4169175040 894647 33554432000 4194304 5964478 140733561231472 139790651357496 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1520.54
Current children cumulated vsize (KiB) 4071460
[startup+822.3 s]
/proc/loadavg: 4.00 3.88 3.16 5/181 23524
/proc/meminfo: memFree=20016268/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=4075476 CPUtime=1640.51 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 1225609 0 0 0 162965 1086 0 0 20 0 3 0 332882268 4173287424 898982 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 1018869 898982 197 433 0 1018433 0
[pid=23508/tid=23517] ppid=23506 vsize=4075476 CPUtime=818.74 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 1116073 0 0 0 80819 1055 0 0 20 0 3 0 332882615 4173287424 898982 33554432000 4194304 5964478 140733561231472 139790661847992 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=4075476 CPUtime=818.57 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 31703 0 0 0 81817 40 0 0 20 0 3 0 332882615 4173287424 898982 33554432000 4194304 5964478 140733561231472 139790651357016 4403537 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1640.51
Current children cumulated vsize (KiB) 4075476
[startup+882.3 s]
/proc/loadavg: 4.00 3.90 3.21 5/182 23527
/proc/meminfo: memFree=19786880/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=4136996 CPUtime=1760.49 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 1247153 0 0 0 174939 1110 0 0 20 0 3 0 332882268 4236283904 911294 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 1034249 911294 197 433 0 1033813 0
[pid=23508/tid=23517] ppid=23506 vsize=4136996 CPUtime=878.74 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 1137263 0 0 0 86794 1080 0 0 20 0 3 0 332882615 4236283904 911294 33554432000 4194304 5964478 140733561231472 139790661847880 4392812 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=4136996 CPUtime=878.58 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 32057 0 0 0 87815 43 0 0 20 0 3 0 332882615 4236283904 911294 33554432000 4194304 5964478 140733561231472 139790651357496 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1760.49
Current children cumulated vsize (KiB) 4136996
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+902.1 s]
/proc/loadavg: 4.07 3.92 3.23 5/182 23527
/proc/meminfo: memFree=19763452/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=4206548 CPUtime=1800.1 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 1258128 0 0 0 178891 1119 0 0 20 0 3 0 332882268 4307505152 929374 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 1051637 929374 197 433 0 1051201 0
[pid=23508/tid=23517] ppid=23506 vsize=4206548 CPUtime=898.54 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 1148133 0 0 0 88766 1088 0 0 20 0 3 0 332882615 4307505152 929374 33554432000 4194304 5964478 140733561231472 139790661847992 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=4206548 CPUtime=898.39 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 32162 0 0 0 89796 43 0 0 20 0 3 0 332882615 4307505152 929374 33554432000 4194304 5964478 140733561231472 139790651357496 4403603 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 4206548
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+902.1 s]
/proc/loadavg: 4.07 3.92 3.23 5/182 23527
/proc/meminfo: memFree=19763452/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=4206548 CPUtime=1800.1 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 1258128 0 0 0 178891 1119 0 0 20 0 3 0 332882268 4307505152 929374 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 1051637 929374 197 433 0 1051201 0
[pid=23508/tid=23517] ppid=23506 vsize=4206548 CPUtime=898.54 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 1148133 0 0 0 88766 1088 0 0 20 0 3 0 332882615 4307505152 929374 33554432000 4194304 5964478 140733561231472 139790661847992 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=4206548 CPUtime=898.39 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 32162 0 0 0 89796 43 0 0 20 0 3 0 332882615 4307505152 929374 33554432000 4194304 5964478 140733561231472 139790651357496 4403603 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 4206548
Child status: 0
Real time (s): 902.176
CPU time (s): 1800.49
CPU user time (s): 1788.95
CPU system time (s): 11.5412
CPU usage (%): 199.572
Max. virtual memory (cumulated for all children) (KiB): 4259948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.95
system time used= 11.5412
maximum resident set size= 3813564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1258130
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= 7784
involuntary context switches= 2535
runsolver used 1.9617 second user time and 5.61415 second system time
The end