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-3500428-1307995063/watcher-3500428-1307995063 -o /var/tmp/evaluation-result-3500428-1307995063/solver-3500428-1307995063 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500428-1307995063.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.75 3.94 3.90 3/179 31438
/proc/meminfo: memFree=3695700/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=134852 CPUtime=0.01 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 408 0 0 0 1 0 0 0 25 0 3 0 911104792 138088448 358 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 33713 358 181 372 0 33338 0
[pid=31438/tid=31439] ppid=31436 vsize=134852 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 40 0 0 0 0 0 0 0 25 0 3 0 911104792 138088448 358 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=134852 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 3 0 911104792 138088448 358 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[startup+0.042917 s]
/proc/loadavg: 3.75 3.94 3.90 3/179 31438
/proc/meminfo: memFree=3695700/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=134852 CPUtime=0.08 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 541 0 0 0 8 0 0 0 25 0 3 0 911104792 138088448 491 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 33713 491 181 372 0 33338 0
[pid=31438/tid=31439] ppid=31436 vsize=134852 CPUtime=0.03 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 116 0 0 0 3 0 0 0 25 0 3 0 911104792 138088448 491 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=134852 CPUtime=0.04 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 75 0 0 0 4 0 0 0 18 0 3 0 911104792 138088448 491 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 134852
[startup+0.100909 s]
/proc/loadavg: 3.75 3.94 3.90 3/179 31438
/proc/meminfo: memFree=3695700/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=134852 CPUtime=0.19 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 749 0 0 0 19 0 0 0 25 0 3 0 911104792 138088448 699 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 33713 699 181 372 0 33338 0
[pid=31438/tid=31439] ppid=31436 vsize=134852 CPUtime=0.09 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 236 0 0 0 9 0 0 0 25 0 3 0 911104792 138088448 699 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=134852 CPUtime=0.09 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 163 0 0 0 9 0 0 0 18 0 3 0 911104792 138088448 699 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 134852
[startup+0.300872 s]
/proc/loadavg: 3.75 3.94 3.90 3/179 31438
/proc/meminfo: memFree=3695700/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=134852 CPUtime=0.59 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 1332 0 0 0 58 1 0 0 25 0 3 0 911104792 138088448 1282 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 33713 1282 181 372 0 33338 0
[pid=31438/tid=31439] ppid=31436 vsize=134852 CPUtime=0.29 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 575 0 0 0 28 1 0 0 25 0 3 0 911104792 138088448 1282 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=134852 CPUtime=0.29 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 407 0 0 0 29 0 0 0 18 0 3 0 911104792 138088448 1282 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 134852
[startup+0.700819 s]
/proc/loadavg: 3.75 3.94 3.90 3/179 31438
/proc/meminfo: memFree=3695700/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=135140 CPUtime=1.39 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 2231 0 0 0 136 3 0 0 25 0 3 0 911104792 138383360 2181 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 33785 2181 181 372 0 33410 0
[pid=31438/tid=31439] ppid=31436 vsize=135140 CPUtime=0.69 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 1103 0 0 0 68 1 0 0 25 0 3 0 911104792 138383360 2181 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=135140 CPUtime=0.69 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 778 0 0 0 68 1 0 0 18 0 3 0 911104792 138383360 2181 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 135140
[startup+1.50067 s]
/proc/loadavg: 3.75 3.94 3.90 5/182 31441
/proc/meminfo: memFree=3687144/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=135140 CPUtime=2.99 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 2702 0 0 0 293 6 0 0 25 0 3 0 911104792 138383360 2652 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 33785 2652 181 372 0 33410 0
[pid=31438/tid=31439] ppid=31436 vsize=135140 CPUtime=1.49 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 1485 0 0 0 146 3 0 0 25 0 3 0 911104792 138383360 2652 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=135140 CPUtime=1.49 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 867 0 0 0 147 2 0 0 20 0 3 0 911104792 138383360 2652 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135140
[startup+3.10042 s]
/proc/loadavg: 3.75 3.94 3.90 5/182 31441
/proc/meminfo: memFree=3680696/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=135140 CPUtime=6.18 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 3708 0 0 0 608 10 0 0 25 0 3 0 911104792 138383360 3658 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 33785 3658 182 372 0 33410 0
[pid=31438/tid=31439] ppid=31436 vsize=135140 CPUtime=3.08 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 2251 0 0 0 303 5 0 0 25 0 3 0 911104792 138383360 3658 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=135140 CPUtime=3.08 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 1107 0 0 0 304 4 0 0 25 0 3 0 911104792 138383360 3658 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 135140
[startup+6.30087 s]
/proc/loadavg: 3.77 3.94 3.90 5/182 31441
/proc/meminfo: memFree=3658524/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=135284 CPUtime=12.59 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 5581 0 0 0 1238 21 0 0 25 0 3 0 911104792 138530816 5531 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 33821 5531 182 372 0 33446 0
[pid=31438/tid=31439] ppid=31436 vsize=135284 CPUtime=6.29 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 3774 0 0 0 618 11 0 0 25 0 3 0 911104792 138530816 5531 33554432000 4194304 5714118 140735072037280 18446744073709551615 4300144 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=135284 CPUtime=6.28 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 1457 0 0 0 619 9 0 0 25 0 3 0 911104792 138530816 5531 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 135284
[startup+12.7008 s]
/proc/loadavg: 3.79 3.94 3.90 5/182 31441
/proc/meminfo: memFree=3609824/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=135572 CPUtime=25.39 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 8040 0 0 0 2498 41 0 0 25 0 3 0 911104792 138825728 7990 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 33893 7990 182 372 0 33518 0
[pid=31438/tid=31439] ppid=31436 vsize=135572 CPUtime=12.69 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 5996 0 0 0 1249 20 0 0 25 0 3 0 911104792 138825728 7990 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=135572 CPUtime=12.69 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 1694 0 0 0 1249 20 0 0 25 0 3 0 911104792 138825728 7990 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 135572
[startup+25.5006 s]
/proc/loadavg: 3.83 3.94 3.90 5/182 31441
/proc/meminfo: memFree=3548288/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=136364 CPUtime=50.99 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 13224 0 0 0 5016 83 0 0 25 0 3 0 911104792 139636736 13112 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 34091 13112 182 372 0 33716 0
[pid=31438/tid=31439] ppid=31436 vsize=136364 CPUtime=25.49 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 10692 0 0 0 2507 42 0 0 25 0 3 0 911104792 139636736 13112 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=136364 CPUtime=25.48 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 2182 0 0 0 2508 40 0 0 25 0 3 0 911104792 139636736 13112 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 136364
[startup+51.1004 s]
/proc/loadavg: 3.89 3.94 3.90 5/182 31442
/proc/meminfo: memFree=3441816/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=203196 CPUtime=102.19 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 22092 0 0 0 10060 159 0 0 25 0 3 0 911104792 208072704 21864 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 50799 21864 182 372 0 50424 0
[pid=31438/tid=31439] ppid=31436 vsize=203196 CPUtime=51.09 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 18971 0 0 0 5030 79 0 0 25 0 3 0 911104792 208072704 21864 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=203196 CPUtime=51.08 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 2771 0 0 0 5029 79 0 0 25 0 3 0 911104792 208072704 21864 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 203196
[startup+102.307 s]
/proc/loadavg: 3.95 3.95 3.91 5/182 31443
/proc/meminfo: memFree=3324244/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=270676 CPUtime=204.6 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 37672 0 0 0 20154 306 0 0 25 0 3 0 911104792 277172224 37363 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 67669 37363 182 372 0 67294 0
[pid=31438/tid=31439] ppid=31436 vsize=270676 CPUtime=102.3 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 33996 0 0 0 10076 154 0 0 25 0 3 0 911104792 277172224 37363 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=270676 CPUtime=102.3 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 3326 0 0 0 10078 152 0 0 25 0 3 0 911104792 277172224 37363 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 270676
[startup+162.301 s]
/proc/loadavg: 3.98 3.95 3.91 5/182 31445
/proc/meminfo: memFree=3184320/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=337940 CPUtime=324.59 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 54646 0 0 0 31995 464 0 0 25 0 3 0 911104792 346050560 54063 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 84485 54063 182 372 0 84110 0
[pid=31438/tid=31439] ppid=31436 vsize=337940 CPUtime=162.29 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 50261 0 0 0 15995 234 0 0 25 0 3 0 911104792 346050560 54063 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=337940 CPUtime=162.29 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 4035 0 0 0 16000 229 0 0 25 0 3 0 911104792 346050560 54063 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 337940
[startup+222.301 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 31456
/proc/meminfo: memFree=2976852/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=340708 CPUtime=444.59 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 70569 0 0 0 43839 620 0 0 25 0 3 0 911104792 348884992 69659 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 85177 69659 182 372 0 84802 0
[pid=31438/tid=31439] ppid=31436 vsize=340708 CPUtime=222.3 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 65423 0 0 0 21915 315 0 0 25 0 3 0 911104792 348884992 69659 33554432000 4194304 5714118 140735072037280 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=340708 CPUtime=222.29 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 4796 0 0 0 21924 305 0 0 25 0 3 0 911104792 348884992 69659 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 340708
[startup+282.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 31457
/proc/meminfo: memFree=2873260/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=408152 CPUtime=564.6 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 86575 0 0 0 55684 776 0 0 25 0 3 0 911104792 417947648 85474 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 102038 85474 182 372 0 101663 0
[pid=31438/tid=31439] ppid=31436 vsize=408152 CPUtime=282.3 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 80759 0 0 0 27835 395 0 0 25 0 3 0 911104792 417947648 85474 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=408152 CPUtime=282.3 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 5466 0 0 0 27849 381 0 0 25 0 3 0 911104792 417947648 85474 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 408152
[startup+342.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 31459
/proc/meminfo: memFree=2743136/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=475056 CPUtime=684.6 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 101469 0 0 0 67536 924 0 0 25 0 3 0 911104792 486457344 100145 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 118764 100145 182 372 0 118389 0
[pid=31438/tid=31439] ppid=31436 vsize=475056 CPUtime=342.3 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 95285 0 0 0 33756 474 0 0 25 0 3 0 911104792 486457344 100145 33554432000 4194304 5714118 140735072037280 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=475056 CPUtime=342.29 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 5834 0 0 0 33779 450 0 0 25 0 3 0 911104792 486457344 100145 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 475056
[startup+402.3 s]
/proc/loadavg: 4.07 3.99 3.91 5/182 31463
/proc/meminfo: memFree=2640400/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=541168 CPUtime=804.6 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 115551 0 0 0 79392 1068 0 0 25 0 3 0 911104792 554156032 113854 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 135292 113854 182 372 0 134917 0
[pid=31438/tid=31439] ppid=31436 vsize=541168 CPUtime=402.3 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 108988 0 0 0 39682 548 0 0 25 0 3 0 911104792 554156032 113854 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=541168 CPUtime=402.3 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 6213 0 0 0 39710 520 0 0 25 0 3 0 911104792 554156032 113854 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 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) 541168
[startup+462.3 s]
/proc/loadavg: 4.03 3.99 3.91 5/182 31465
/proc/meminfo: memFree=2504004/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=608108 CPUtime=924.61 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 130161 0 0 0 91255 1206 0 0 25 0 3 0 911104792 622702592 128178 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 152027 128178 182 372 0 151652 0
[pid=31438/tid=31439] ppid=31436 vsize=608108 CPUtime=462.29 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 122748 0 0 0 45612 617 0 0 25 0 3 0 911104792 622702592 128178 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=608108 CPUtime=462.3 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 7063 0 0 0 45642 588 0 0 25 0 3 0 911104792 622702592 128178 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 608108
[startup+522.3 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 31467
/proc/meminfo: memFree=2451008/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=674904 CPUtime=1044.6 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 144133 0 0 0 103118 1342 0 0 25 0 3 0 911104792 691101696 141663 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 168726 141663 182 372 0 168351 0
[pid=31438/tid=31439] ppid=31436 vsize=674904 CPUtime=522.3 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 136144 0 0 0 51540 690 0 0 25 0 3 0 911104792 691101696 141663 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=674904 CPUtime=522.3 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 7639 0 0 0 51578 652 0 0 25 0 3 0 911104792 691101696 141663 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 674904
[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 31468
/proc/meminfo: memFree=2398864/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=675892 CPUtime=1164.61 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 157180 0 0 0 114986 1475 0 0 25 0 3 0 911104792 692113408 154347 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 168973 154347 182 372 0 168598 0
[pid=31438/tid=31439] ppid=31436 vsize=675892 CPUtime=582.29 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 148648 0 0 0 57471 758 0 0 25 0 3 0 911104792 692113408 154347 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=675892 CPUtime=582.3 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 8182 0 0 0 57514 716 0 0 25 0 3 0 911104792 692113408 154347 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 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) 675892
[startup+642.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 31470
/proc/meminfo: memFree=2349832/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=742236 CPUtime=1284.63 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 169880 0 0 0 126855 1608 0 0 25 0 3 0 911104792 760049664 166647 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 185559 166647 182 372 0 185184 0
[pid=31438/tid=31439] ppid=31436 vsize=742236 CPUtime=642.31 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 161054 0 0 0 63403 828 0 0 25 0 3 0 911104792 760049664 166647 33554432000 4194304 5714118 140735072037280 18446744073709551615 4300160 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=742236 CPUtime=642.3 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 8476 0 0 0 63451 779 0 0 25 0 3 0 911104792 760049664 166647 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.63
Current children cumulated vsize (KiB) 742236
[startup+702.301 s]
/proc/loadavg: 4.04 4.00 3.92 5/182 31471
/proc/meminfo: memFree=2300808/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=808456 CPUtime=1404.61 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 182550 0 0 0 138721 1740 0 0 25 0 3 0 911104792 827858944 178740 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 202114 178740 182 372 0 201739 0
[pid=31438/tid=31439] ppid=31436 vsize=808456 CPUtime=702.3 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 172930 0 0 0 69334 896 0 0 25 0 3 0 911104792 827858944 178740 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=808456 CPUtime=702.3 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 9270 0 0 0 69387 843 0 0 25 0 3 0 911104792 827858944 178740 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 808456
[startup+762.307 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 31473
/proc/meminfo: memFree=2150716/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=875180 CPUtime=1524.63 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 195579 0 0 0 150601 1862 0 0 25 0 3 0 911104792 896184320 191307 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 218795 191307 182 372 0 218420 0
[pid=31438/tid=31439] ppid=31436 vsize=875180 CPUtime=762.3 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 184914 0 0 0 75268 962 0 0 25 0 3 0 911104792 896184320 191307 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=875180 CPUtime=762.31 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 10315 0 0 0 75332 899 0 0 25 0 3 0 911104792 896184320 191307 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 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) 875180
[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 31475
/proc/meminfo: memFree=2191712/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=876584 CPUtime=1644.61 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 207611 0 0 0 162482 1979 0 0 25 0 3 0 911104792 897622016 203172 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 219146 203172 182 372 0 218771 0
[pid=31438/tid=31439] ppid=31436 vsize=876584 CPUtime=822.3 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 196769 0 0 0 81210 1020 0 0 25 0 3 0 911104792 897622016 203172 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=876584 CPUtime=822.3 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 10492 0 0 0 81271 959 0 0 25 0 3 0 911104792 897622016 203172 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.61
Current children cumulated vsize (KiB) 876584
[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 31517
/proc/meminfo: memFree=2942752/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=943056 CPUtime=1764.61 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 219727 0 0 0 174353 2108 0 0 25 0 3 0 911104792 965689344 214966 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 235764 214966 182 372 0 235389 0
[pid=31438/tid=31439] ppid=31436 vsize=943056 CPUtime=882.31 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 208485 0 0 0 87146 1085 0 0 25 0 3 0 911104792 965689344 214966 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=943056 CPUtime=882.3 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 10892 0 0 0 87207 1023 0 0 25 0 3 0 911104792 965689344 214966 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.61
Current children cumulated vsize (KiB) 943056
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 31518
/proc/meminfo: memFree=2919324/32951124 swapFree=67054520/67111528
[pid=31438] ppid=31436 vsize=943380 CPUtime=1800.03 cores=1,3,5,7
/proc/31438/stat : 31438 (pwbo1.1) S 31436 31438 30373 0 -1 4202496 223295 0 0 0 177852 2151 0 0 25 0 3 0 911104792 966021120 218408 33554432000 4194304 5714118 140735072037280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31438/statm: 235845 218408 182 372 0 235470 0
[pid=31438/tid=31439] ppid=31436 vsize=943380 CPUtime=900.01 cores=1,3,5,7
/proc/31438/task/31439/stat : 31439 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 211906 0 0 0 88895 1106 0 0 25 0 3 0 911104792 966021120 218408 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31438/tid=31440] ppid=31436 vsize=943380 CPUtime=900 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (pwbo1.1) R 31436 31438 30373 0 -1 4202560 11039 0 0 0 88956 1044 0 0 25 0 3 0 911104792 966021120 218408 33554432000 4194304 5714118 140735072037280 18446744073709551615 5070743 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) 943380
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.045
CPU time (s): 1800.08
CPU user time (s): 1778.54
CPU system time (s): 21.5467
CPU usage (%): 199.999
Max. virtual memory (cumulated for all children) (KiB): 943380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.54
system time used= 21.5467
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223302
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= 64
involuntary context switches= 12209
runsolver used 1.49077 second user time and 3.42848 second system time
The end