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-3500445-1307995548/watcher-3500445-1307995548 -o /var/tmp/evaluation-result-3500445-1307995548/solver-3500445-1307995548 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500445-1307995548.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.24 3.76 3.85 3/179 17239
/proc/meminfo: memFree=30084336/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=134856 CPUtime=0 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 422 0 0 0 0 0 0 0 25 0 3 0 911153585 138092544 372 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 33714 373 179 372 0 33339 0
[pid=17239/tid=17240] ppid=17237 vsize=134856 CPUtime=0 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 55 0 0 0 0 0 0 0 25 0 3 0 911153585 138092544 374 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=134856 CPUtime=0 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 22 0 0 0 0 0 0 0 25 0 3 0 911153585 138092544 375 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[startup+0.049642 s]
/proc/loadavg: 3.24 3.76 3.85 3/179 17239
/proc/meminfo: memFree=30084336/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=134856 CPUtime=0.09 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 634 0 0 0 9 0 0 0 25 0 3 0 911153585 138092544 584 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 33714 584 179 372 0 33339 0
[pid=17239/tid=17240] ppid=17237 vsize=134856 CPUtime=0.04 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 178 0 0 0 4 0 0 0 25 0 3 0 911153585 138092544 584 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=134856 CPUtime=0.04 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 108 0 0 0 4 0 0 0 25 0 3 0 911153585 138092544 584 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 134856
[startup+0.100633 s]
/proc/loadavg: 3.24 3.76 3.85 3/179 17239
/proc/meminfo: memFree=30084336/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=134856 CPUtime=0.19 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 837 0 0 0 19 0 0 0 25 0 3 0 911153585 138092544 787 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 33714 787 179 372 0 33339 0
[pid=17239/tid=17240] ppid=17237 vsize=134856 CPUtime=0.09 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 299 0 0 0 9 0 0 0 25 0 3 0 911153585 138092544 787 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=134856 CPUtime=0.09 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 190 0 0 0 9 0 0 0 25 0 3 0 911153585 138092544 787 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 134856
[startup+0.300597 s]
/proc/loadavg: 3.24 3.76 3.85 3/179 17239
/proc/meminfo: memFree=30084336/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=134856 CPUtime=0.59 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 1418 0 0 0 58 1 0 0 25 0 3 0 911153585 138092544 1368 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 33714 1368 179 372 0 33339 0
[pid=17239/tid=17240] ppid=17237 vsize=134856 CPUtime=0.29 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 703 0 0 0 29 0 0 0 25 0 3 0 911153585 138092544 1368 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=134856 CPUtime=0.28 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 367 0 0 0 28 0 0 0 25 0 3 0 911153585 138092544 1368 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 134856
[startup+0.700526 s]
/proc/loadavg: 3.24 3.76 3.85 3/179 17239
/proc/meminfo: memFree=30084336/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=134856 CPUtime=1.38 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 2475 0 0 0 136 2 0 0 25 0 3 0 911153585 138092544 2425 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 33714 2425 179 372 0 33339 0
[pid=17239/tid=17240] ppid=17237 vsize=134856 CPUtime=0.69 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 1364 0 0 0 68 1 0 0 25 0 3 0 911153585 138092544 2425 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=134856 CPUtime=0.69 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 763 0 0 0 68 1 0 0 25 0 3 0 911153585 138092544 2425 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 134856
[startup+1.50038 s]
/proc/loadavg: 3.24 3.76 3.85 5/182 17242
/proc/meminfo: memFree=30073796/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=135000 CPUtime=2.99 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 3039 0 0 0 294 5 0 0 25 0 3 0 911153585 138240000 2989 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 33750 2989 179 372 0 33375 0
[pid=17239/tid=17240] ppid=17237 vsize=135000 CPUtime=1.49 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 1850 0 0 0 147 2 0 0 25 0 3 0 911153585 138240000 2989 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=135000 CPUtime=1.49 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 841 0 0 0 146 3 0 0 25 0 3 0 911153585 138240000 2989 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135000
[startup+3.1011 s]
/proc/loadavg: 3.24 3.76 3.85 5/182 17242
/proc/meminfo: memFree=30069328/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=135144 CPUtime=6.19 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 3847 0 0 0 607 12 0 0 25 0 3 0 911153585 138387456 3797 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 33786 3797 180 372 0 33411 0
[pid=17239/tid=17240] ppid=17237 vsize=135144 CPUtime=3.09 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 2491 0 0 0 304 5 0 0 25 0 3 0 911153585 138387456 3797 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=135144 CPUtime=3.09 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 1008 0 0 0 302 7 0 0 25 0 3 0 911153585 138387456 3797 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 135144
[startup+6.30053 s]
/proc/loadavg: 3.30 3.77 3.85 5/182 17242
/proc/meminfo: memFree=30060212/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=135216 CPUtime=12.59 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 5292 0 0 0 1237 22 0 0 25 0 3 0 911153585 138461184 5213 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 33804 5213 180 372 0 33429 0
[pid=17239/tid=17240] ppid=17237 vsize=135216 CPUtime=6.29 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 3579 0 0 0 620 9 0 0 25 0 3 0 911153585 138461184 5213 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=135216 CPUtime=6.29 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 1365 0 0 0 617 12 0 0 25 0 3 0 911153585 138461184 5213 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 135216
[startup+12.7004 s]
/proc/loadavg: 3.36 3.77 3.85 5/182 17242
/proc/meminfo: memFree=30042928/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=135288 CPUtime=25.38 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 7636 0 0 0 2500 38 0 0 25 0 3 0 911153585 138534912 7557 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 33822 7557 180 372 0 33447 0
[pid=17239/tid=17240] ppid=17237 vsize=135288 CPUtime=12.69 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 5271 0 0 0 1251 18 0 0 25 0 3 0 911153585 138534912 7557 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=135288 CPUtime=12.69 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 2017 0 0 0 1249 20 0 0 25 0 3 0 911153585 138534912 7557 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 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) 135288
[startup+25.5011 s]
/proc/loadavg: 3.50 3.78 3.85 5/182 17242
/proc/meminfo: memFree=30013904/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=135288 CPUtime=50.98 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 11576 0 0 0 5032 66 0 0 25 0 3 0 911153585 138534912 11457 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 33822 11457 180 372 0 33447 0
[pid=17239/tid=17240] ppid=17237 vsize=135288 CPUtime=25.49 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 8788 0 0 0 2516 33 0 0 20 0 3 0 911153585 138534912 11457 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=135288 CPUtime=25.49 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 2440 0 0 0 2516 33 0 0 25 0 3 0 911153585 138534912 11457 33554432000 4194304 5714118 140736921665808 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) 135288
[startup+51.1005 s]
/proc/loadavg: 3.67 3.80 3.85 5/182 17243
/proc/meminfo: memFree=29968348/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=135396 CPUtime=102.18 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 17778 0 0 0 10071 147 0 0 25 0 3 0 911153585 138645504 17659 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 33849 17659 180 372 0 33474 0
[pid=17239/tid=17240] ppid=17237 vsize=135396 CPUtime=51.09 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 14413 0 0 0 5040 69 0 0 25 0 3 0 911153585 138645504 17659 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=135396 CPUtime=51.09 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 3017 0 0 0 5031 78 0 0 25 0 3 0 911153585 138645504 17659 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 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) 135396
[startup+102.306 s]
/proc/loadavg: 3.85 3.83 3.86 5/182 17244
/proc/meminfo: memFree=29883232/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=201184 CPUtime=204.6 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 28164 0 0 0 20197 263 0 0 25 0 3 0 911153585 206012416 28045 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 50296 28045 180 372 0 49921 0
[pid=17239/tid=17240] ppid=17237 vsize=201184 CPUtime=102.3 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 24323 0 0 0 10107 123 0 0 25 0 3 0 911153585 206012416 28045 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=201184 CPUtime=102.3 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 3493 0 0 0 10090 140 0 0 25 0 3 0 911153585 206012416 28045 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 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) 201184
[startup+162.301 s]
/proc/loadavg: 3.94 3.86 3.86 5/182 17246
/proc/meminfo: memFree=29795640/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=267296 CPUtime=324.59 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 39451 0 0 0 32054 405 0 0 25 0 3 0 911153585 273711104 39247 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 66824 39247 180 372 0 66449 0
[pid=17239/tid=17240] ppid=17237 vsize=267296 CPUtime=162.29 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 35001 0 0 0 16036 193 0 0 25 0 3 0 911153585 273711104 39247 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=267296 CPUtime=162.29 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 4102 0 0 0 16017 212 0 0 25 0 3 0 911153585 273711104 39247 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 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) 267296
[startup+222.301 s]
/proc/loadavg: 3.98 3.88 3.87 5/182 17248
/proc/meminfo: memFree=29713744/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=267872 CPUtime=444.6 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 50175 0 0 0 43900 560 0 0 25 0 3 0 911153585 274300928 49956 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 66968 49956 180 372 0 66593 0
[pid=17239/tid=17240] ppid=17237 vsize=267872 CPUtime=222.29 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 45334 0 0 0 21962 267 0 0 25 0 3 0 911153585 274300928 49956 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=267872 CPUtime=222.29 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 4493 0 0 0 21937 292 0 0 25 0 3 0 911153585 274300928 49956 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 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) 267872
[startup+282.3 s]
/proc/loadavg: 4.05 3.91 3.88 5/182 17249
/proc/meminfo: memFree=29635948/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=334416 CPUtime=564.6 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 60063 0 0 0 55736 724 0 0 25 0 3 0 911153585 342441984 59746 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 83604 59746 180 372 0 83229 0
[pid=17239/tid=17240] ppid=17237 vsize=334416 CPUtime=282.29 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 55156 0 0 0 27886 343 0 0 25 0 3 0 911153585 342441984 59746 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=334416 CPUtime=282.3 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 4559 0 0 0 27850 380 0 0 25 0 3 0 911153585 342441984 59746 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 334416
[startup+342.301 s]
/proc/loadavg: 4.02 3.93 3.89 6/182 17251
/proc/meminfo: memFree=29555676/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=335152 CPUtime=684.6 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 70460 0 0 0 67575 885 0 0 25 0 3 0 911153585 343195648 69973 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 83788 69974 180 372 0 83413 0
[pid=17239/tid=17240] ppid=17237 vsize=335152 CPUtime=342.29 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 65069 0 0 0 33812 417 0 0 25 0 3 0 911153585 343195648 69974 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=335152 CPUtime=342.3 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 5044 0 0 0 33762 468 0 0 25 0 3 0 911153585 343195648 69974 33554432000 4194304 5714118 140736921665808 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 335152
[startup+402.301 s]
/proc/loadavg: 4.08 3.95 3.90 5/182 17252
/proc/meminfo: memFree=29478880/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=401840 CPUtime=804.6 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 80458 0 0 0 79429 1031 0 0 25 0 3 0 911153585 411484160 79530 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 100460 79530 180 372 0 100085 0
[pid=17239/tid=17240] ppid=17237 vsize=401840 CPUtime=402.29 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 74204 0 0 0 39740 489 0 0 25 0 3 0 911153585 411484160 79530 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=401840 CPUtime=402.3 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 5906 0 0 0 39688 542 0 0 25 0 3 0 911153585 411484160 79530 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 401840
[startup+462.3 s]
/proc/loadavg: 4.03 3.96 3.90 5/182 17254
/proc/meminfo: memFree=29402928/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=469248 CPUtime=924.61 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 89949 0 0 0 91282 1179 0 0 25 0 3 0 911153585 480509952 88678 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 117312 88678 180 372 0 116937 0
[pid=17239/tid=17240] ppid=17237 vsize=469248 CPUtime=462.3 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 83237 0 0 0 45667 563 0 0 25 0 3 0 911153585 480509952 88678 33554432000 4194304 5714118 140736921665808 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=469248 CPUtime=462.29 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 6364 0 0 0 45614 615 0 0 25 0 3 0 911153585 480509952 88678 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 469248
[startup+522.301 s]
/proc/loadavg: 4.01 3.97 3.91 5/182 17256
/proc/meminfo: memFree=29330572/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=469696 CPUtime=1044.61 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 99570 0 0 0 103133 1328 0 0 25 0 3 0 911153585 480968704 98011 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 117424 98011 180 372 0 117049 0
[pid=17239/tid=17240] ppid=17237 vsize=469696 CPUtime=522.3 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 92153 0 0 0 51591 639 0 0 25 0 3 0 911153585 480968704 98011 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=469696 CPUtime=522.3 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 7069 0 0 0 51541 689 0 0 25 0 3 0 911153585 480968704 98011 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 469696
[startup+582.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 17257
/proc/meminfo: memFree=29259100/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=535232 CPUtime=1164.62 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 108579 0 0 0 114980 1482 0 0 25 0 3 0 911153585 548077568 106990 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 133808 106990 180 372 0 133433 0
[pid=17239/tid=17240] ppid=17237 vsize=535232 CPUtime=582.31 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 100968 0 0 0 57518 713 0 0 25 0 3 0 911153585 548077568 106990 33554432000 4194304 5714118 140736921665808 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=535232 CPUtime=582.3 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 7263 0 0 0 57462 768 0 0 25 0 3 0 911153585 548077568 106990 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.62
Current children cumulated vsize (KiB) 535232
[startup+642.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 17259
/proc/meminfo: memFree=29191580/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=535376 CPUtime=1284.63 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 116696 0 0 0 126839 1624 0 0 25 0 3 0 911153585 548225024 115107 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 133844 115107 180 372 0 133469 0
[pid=17239/tid=17240] ppid=17237 vsize=535376 CPUtime=642.31 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 108990 0 0 0 63447 784 0 0 25 0 3 0 911153585 548225024 115107 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=535376 CPUtime=642.31 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 7358 0 0 0 63391 840 0 0 25 0 3 0 911153585 548225024 115107 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.63
Current children cumulated vsize (KiB) 535376
[startup+702.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 17260
/proc/meminfo: memFree=29120848/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=601344 CPUtime=1404.63 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 125348 0 0 0 138699 1764 0 0 25 0 3 0 911153585 615776256 123681 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 150336 123681 180 372 0 149961 0
[pid=17239/tid=17240] ppid=17237 vsize=601344 CPUtime=702.31 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 117119 0 0 0 69378 853 0 0 25 0 3 0 911153585 615776256 123681 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=601344 CPUtime=702.3 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 7881 0 0 0 69320 910 0 0 25 0 3 0 911153585 615776256 123681 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.63
Current children cumulated vsize (KiB) 601344
[startup+762.307 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 17262
/proc/meminfo: memFree=29050484/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=601848 CPUtime=1524.64 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 134255 0 0 0 150548 1916 0 0 25 0 3 0 911153585 616292352 132304 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 150462 132304 180 372 0 150087 0
[pid=17239/tid=17240] ppid=17237 vsize=601848 CPUtime=762.31 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 125611 0 0 0 75302 929 0 0 25 0 3 0 911153585 616292352 132304 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=601848 CPUtime=762.32 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 8296 0 0 0 75246 986 0 0 25 0 3 0 911153585 616292352 132304 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.64
Current children cumulated vsize (KiB) 601848
[startup+822.301 s]
/proc/loadavg: 4.08 3.99 3.91 5/182 17264
/proc/meminfo: memFree=28985576/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=667744 CPUtime=1644.62 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 143639 0 0 0 162402 2060 0 0 25 0 3 0 911153585 683769856 141472 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 166936 141472 180 372 0 166561 0
[pid=17239/tid=17240] ppid=17237 vsize=667744 CPUtime=822.31 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 134645 0 0 0 81229 1002 0 0 25 0 3 0 911153585 683769856 141472 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=667744 CPUtime=822.31 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 8646 0 0 0 81173 1058 0 0 25 0 3 0 911153585 683769856 141472 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 667744
[startup+882.3 s]
/proc/loadavg: 3.89 3.95 3.90 5/182 17346
/proc/meminfo: memFree=29433408/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=668464 CPUtime=1764.63 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 151202 0 0 0 174280 2183 0 0 25 0 3 0 911153585 684507136 148895 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 167116 148895 180 372 0 166741 0
[pid=17239/tid=17240] ppid=17237 vsize=668464 CPUtime=882.31 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 141988 0 0 0 87168 1063 0 0 25 0 3 0 911153585 684507136 148895 33554432000 4194304 5714118 140736921665808 18446744073709551615 4319710 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=668464 CPUtime=882.31 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 8866 0 0 0 87112 1119 0 0 25 0 3 0 911153585 684507136 148895 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.63
Current children cumulated vsize (KiB) 668464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 3.92 3.96 3.91 5/182 17347
/proc/meminfo: memFree=29420396/32950928 swapFree=67048888/67111528
[pid=17239] ppid=17237 vsize=668464 CPUtime=1800.04 cores=1,3,5,7
/proc/17239/stat : 17239 (pwbo1.1) S 17237 17239 15608 0 -1 4202496 153501 0 0 0 177795 2209 0 0 25 0 3 0 911153585 684507136 151194 33554432000 4194304 5714118 140736921665808 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/17239/statm: 167116 151194 180 372 0 166741 0
[pid=17239/tid=17240] ppid=17237 vsize=668464 CPUtime=900.01 cores=1,3,5,7
/proc/17239/task/17240/stat : 17240 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 144262 0 0 0 88926 1075 0 0 25 0 3 0 911153585 684507136 151194 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17239/tid=17241] ppid=17237 vsize=668464 CPUtime=900.02 cores=1,3,5,7
/proc/17239/task/17241/stat : 17241 (pwbo1.1) R 17237 17239 15608 0 -1 4202560 8891 0 0 0 88868 1134 0 0 25 0 3 0 911153585 684507136 151194 33554432000 4194304 5714118 140736921665808 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 668464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.036
CPU time (s): 1800.09
CPU user time (s): 1777.97
CPU system time (s): 22.1216
CPU usage (%): 200.002
Max. virtual memory (cumulated for all children) (KiB): 668464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.97
system time used= 22.1216
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153507
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= 51
involuntary context switches= 5665
runsolver used 1.2828 second user time and 3.14252 second system time
The end