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-3500379-1307994600/watcher-3500379-1307994600 -o /tmp/evaluation-result-3500379-1307994600/solver-3500379-1307994600 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500379-1307994600.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: 4.00 4.00 3.91 3/180 1619
/proc/meminfo: memFree=10558028/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=135872 CPUtime=0 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 641 0 0 0 0 0 0 0 25 0 3 0 911058118 139132928 590 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 33968 604 176 372 0 33593 0
[pid=1619/tid=1620] ppid=1617 vsize=136464 CPUtime=0 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 87 0 0 0 0 0 0 0 25 0 3 0 911058118 139739136 905 33554432000 4194304 5714118 140735443675968 18446744073709551615 4316235 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=136464 CPUtime=0 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 526 0 0 0 0 0 0 0 25 0 3 0 911058118 139739136 908 33554432000 4194304 5714118 140735443675968 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 1 0 0 0
[startup+0.0995121 s]
/proc/loadavg: 4.00 4.00 3.91 3/180 1619
/proc/meminfo: memFree=10558028/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=136680 CPUtime=0.18 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 1585 0 0 0 18 0 0 0 25 0 3 0 911058118 139960320 1534 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 34170 1534 179 372 0 33795 0
[pid=1619/tid=1620] ppid=1617 vsize=136680 CPUtime=0.09 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 332 0 0 0 9 0 0 0 25 0 3 0 911058118 139960320 1534 33554432000 4194304 5714118 140735443675968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=136680 CPUtime=0.09 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 907 0 0 0 9 0 0 0 25 0 3 0 911058118 139960320 1534 33554432000 4194304 5714118 140735443675968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 136680
[startup+0.100513 s]
/proc/loadavg: 4.00 4.00 3.91 3/180 1619
/proc/meminfo: memFree=10558028/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=136680 CPUtime=0.19 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 1588 0 0 0 19 0 0 0 25 0 3 0 911058118 139960320 1537 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 34170 1537 179 372 0 33795 0
[pid=1619/tid=1620] ppid=1617 vsize=136680 CPUtime=0.09 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 334 0 0 0 9 0 0 0 25 0 3 0 911058118 139960320 1537 33554432000 4194304 5714118 140735443675968 18446744073709551615 4312986 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=136680 CPUtime=0.09 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 908 0 0 0 9 0 0 0 25 0 3 0 911058118 139960320 1537 33554432000 4194304 5714118 140735443675968 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) 136680
[startup+0.300477 s]
/proc/loadavg: 4.00 4.00 3.91 3/180 1619
/proc/meminfo: memFree=10558028/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=136680 CPUtime=0.59 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 2193 0 0 0 58 1 0 0 25 0 3 0 911058118 139960320 2142 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 34170 2142 179 372 0 33795 0
[pid=1619/tid=1620] ppid=1617 vsize=136680 CPUtime=0.29 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 710 0 0 0 29 0 0 0 25 0 3 0 911058118 139960320 2143 33554432000 4194304 5714118 140735443675968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=136680 CPUtime=0.29 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 1138 0 0 0 29 0 0 0 25 0 3 0 911058118 139960320 2143 33554432000 4194304 5714118 140735443675968 18446744073709551615 4288551 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) 136680
[startup+0.700405 s]
/proc/loadavg: 4.00 4.00 3.91 3/180 1619
/proc/meminfo: memFree=10558028/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=136680 CPUtime=1.38 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 2994 0 0 0 136 2 0 0 25 0 3 0 911058118 139960320 2943 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 34170 2943 179 372 0 33795 0
[pid=1619/tid=1620] ppid=1617 vsize=136680 CPUtime=0.69 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 1384 0 0 0 68 1 0 0 25 0 3 0 911058118 139960320 2943 33554432000 4194304 5714118 140735443675968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=136680 CPUtime=0.69 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 1264 0 0 0 68 1 0 0 25 0 3 0 911058118 139960320 2943 33554432000 4194304 5714118 140735443675968 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) 136680
[startup+1.50026 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1622
/proc/meminfo: memFree=10543532/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=136824 CPUtime=2.99 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 4346 0 0 0 292 7 0 0 25 0 3 0 911058118 140107776 4295 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 34206 4295 179 372 0 33831 0
[pid=1619/tid=1620] ppid=1617 vsize=136824 CPUtime=1.49 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 2447 0 0 0 146 3 0 0 25 0 3 0 911058118 140107776 4295 33554432000 4194304 5714118 140735443675968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=136824 CPUtime=1.49 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 1553 0 0 0 146 3 0 0 25 0 3 0 911058118 140107776 4295 33554432000 4194304 5714118 140735443675968 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) 136824
[startup+3.10098 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1622
/proc/meminfo: memFree=10536092/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=136680 CPUtime=6.19 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 5364 0 0 0 604 15 0 0 25 0 3 0 911058118 139960320 5285 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 34170 5285 179 372 0 33795 0
[pid=1619/tid=1620] ppid=1617 vsize=136680 CPUtime=3.09 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 3103 0 0 0 302 7 0 0 25 0 3 0 911058118 139960320 5285 33554432000 4194304 5714118 140735443675968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=136680 CPUtime=3.09 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 1915 0 0 0 302 7 0 0 25 0 3 0 911058118 139960320 5285 33554432000 4194304 5714118 140735443675968 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) 136680
[startup+6.30041 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1622
/proc/meminfo: memFree=10515988/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=136824 CPUtime=12.59 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 7653 0 0 0 1236 23 0 0 25 0 3 0 911058118 140107776 7574 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 34206 7574 179 372 0 33831 0
[pid=1619/tid=1620] ppid=1617 vsize=136824 CPUtime=6.29 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 3817 0 0 0 617 12 0 0 25 0 3 0 911058118 140107776 7574 33554432000 4194304 5714118 140735443675968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=136824 CPUtime=6.29 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 3490 0 0 0 618 11 0 0 25 0 3 0 911058118 140107776 7574 33554432000 4194304 5714118 140735443675968 18446744073709551615 4199408 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) 136824
[startup+12.7003 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1622
/proc/meminfo: memFree=10481900/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=137180 CPUtime=25.38 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 11012 0 0 0 2502 36 0 0 25 0 3 0 911058118 140472320 10933 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 34295 10933 180 372 0 33920 0
[pid=1619/tid=1620] ppid=1617 vsize=137180 CPUtime=12.69 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 5834 0 0 0 1248 21 0 0 25 0 3 0 911058118 140472320 10933 33554432000 4194304 5714118 140735443675968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=137180 CPUtime=12.69 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 4832 0 0 0 1254 15 0 0 25 0 3 0 911058118 140472320 10933 33554432000 4194304 5714118 140735443675968 18446744073709551615 4319720 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) 137180
[startup+25.501 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1622
/proc/meminfo: memFree=10446800/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=138156 CPUtime=50.99 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 16071 0 0 0 5043 56 0 0 25 0 3 0 911058118 141471744 15992 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 34539 15992 180 372 0 34164 0
[pid=1619/tid=1620] ppid=1617 vsize=138156 CPUtime=25.49 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 10361 0 0 0 2516 33 0 0 25 0 3 0 911058118 141471744 15992 33554432000 4194304 5714118 140735443675968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=138156 CPUtime=25.48 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 5364 0 0 0 2526 22 0 0 25 0 3 0 911058118 141471744 15992 33554432000 4194304 5714118 140735443675968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 138156
[startup+51.1004 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 1623
/proc/meminfo: memFree=10413812/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=204592 CPUtime=102.18 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 24200 0 0 0 10121 97 0 0 25 0 3 0 911058118 209502208 24121 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 51148 24121 180 372 0 50773 0
[pid=1619/tid=1620] ppid=1617 vsize=204592 CPUtime=51.09 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 17571 0 0 0 5051 58 0 0 25 0 3 0 911058118 209502208 24121 33554432000 4194304 5714118 140735443675968 18446744073709551615 4322808 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=204592 CPUtime=51.09 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 6283 0 0 0 5070 39 0 0 25 0 3 0 911058118 209502208 24121 33554432000 4194304 5714118 140735443675968 18446744073709551615 4198960 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) 204592
[startup+102.306 s]
/proc/loadavg: 3.95 3.98 3.91 5/183 1665
/proc/meminfo: memFree=10911716/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=205604 CPUtime=204.6 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 39773 0 0 0 20283 177 0 0 25 0 3 0 911058118 210538496 39694 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 51401 39694 180 372 0 51026 0
[pid=1619/tid=1620] ppid=1617 vsize=205604 CPUtime=102.3 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 31011 0 0 0 10131 99 0 0 25 0 3 0 911058118 210538496 39694 33554432000 4194304 5714118 140735443675968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=205604 CPUtime=102.3 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 8416 0 0 0 10152 78 0 0 25 0 3 0 911058118 210538496 39694 33554432000 4194304 5714118 140735443675968 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) 205604
[startup+162.301 s]
/proc/loadavg: 3.98 3.98 3.91 5/183 1667
/proc/meminfo: memFree=10780096/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=271396 CPUtime=324.6 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 47276 0 0 0 32214 246 0 0 25 0 3 0 911058118 277909504 46993 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 67849 46993 180 372 0 67474 0
[pid=1619/tid=1620] ppid=1617 vsize=271396 CPUtime=162.29 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 36530 0 0 0 16086 143 0 0 25 0 3 0 911058118 277909504 46993 33554432000 4194304 5714118 140735443675968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=271396 CPUtime=162.29 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 10400 0 0 0 16127 102 0 0 25 0 3 0 911058118 277909504 46993 33554432000 4194304 5714118 140735443675968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.6
Current children cumulated vsize (KiB) 271396
[startup+222.301 s]
/proc/loadavg: 3.99 3.98 3.91 5/183 1669
/proc/meminfo: memFree=10779556/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=272012 CPUtime=444.6 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 47748 0 0 0 44155 305 0 0 25 0 3 0 911058118 278540288 47465 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 68003 47465 180 372 0 67628 0
[pid=1619/tid=1620] ppid=1617 vsize=272012 CPUtime=222.3 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 36737 0 0 0 22050 180 0 0 25 0 3 0 911058118 278540288 47465 33554432000 4194304 5714118 140735443675968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=272012 CPUtime=222.29 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 10665 0 0 0 22105 124 0 0 25 0 3 0 911058118 278540288 47465 33554432000 4194304 5714118 140735443675968 18446744073709551615 4319372 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) 272012
[startup+282.3 s]
/proc/loadavg: 4.05 4.00 3.91 5/183 1670
/proc/meminfo: memFree=10743540/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=272012 CPUtime=564.59 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 49213 0 0 0 56072 387 0 0 25 0 3 0 911058118 278540288 48666 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 68003 48666 180 372 0 67628 0
[pid=1619/tid=1620] ppid=1617 vsize=272012 CPUtime=282.3 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 36969 0 0 0 28005 225 0 0 25 0 3 0 911058118 278540288 48666 33554432000 4194304 5714118 140735443675968 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=272012 CPUtime=282.29 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 11898 0 0 0 28067 162 0 0 25 0 3 0 911058118 278540288 48666 33554432000 4194304 5714118 140735443675968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 272012
[startup+342.301 s]
/proc/loadavg: 4.15 4.03 3.93 5/183 1672
/proc/meminfo: memFree=10657200/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=272172 CPUtime=684.6 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 57316 0 0 0 68015 445 0 0 25 0 3 0 911058118 278704128 56769 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 68043 56769 180 372 0 67668 0
[pid=1619/tid=1620] ppid=1617 vsize=272172 CPUtime=342.29 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 45025 0 0 0 33975 254 0 0 25 0 3 0 911058118 278704128 56769 33554432000 4194304 5714118 140735443675968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=272172 CPUtime=342.29 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 11945 0 0 0 34039 190 0 0 25 0 3 0 911058118 278704128 56769 33554432000 4194304 5714118 140735443675968 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) 272172
[startup+402.301 s]
/proc/loadavg: 4.05 4.02 3.93 5/183 1673
/proc/meminfo: memFree=10584124/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=338244 CPUtime=804.6 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 67755 0 0 0 79955 505 0 0 25 0 3 0 911058118 346361856 67208 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 84561 67208 180 372 0 84186 0
[pid=1619/tid=1620] ppid=1617 vsize=338244 CPUtime=402.3 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 55355 0 0 0 39942 288 0 0 25 0 3 0 911058118 346361856 67208 33554432000 4194304 5714118 140735443675968 18446744073709551615 4300320 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=338244 CPUtime=402.29 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 12054 0 0 0 40012 217 0 0 25 0 3 0 911058118 346361856 67208 33554432000 4194304 5714118 140735443675968 18446744073709551615 4198960 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) 338244
[startup+462.3 s]
/proc/loadavg: 4.05 4.03 3.93 5/183 1675
/proc/meminfo: memFree=10499884/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=338672 CPUtime=924.61 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 75688 0 0 0 91897 564 0 0 25 0 3 0 911058118 346800128 75141 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 84668 75141 180 372 0 84293 0
[pid=1619/tid=1620] ppid=1617 vsize=338672 CPUtime=462.3 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 62573 0 0 0 45906 324 0 0 25 0 3 0 911058118 346800128 75141 33554432000 4194304 5714118 140735443675968 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=338672 CPUtime=462.3 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 12769 0 0 0 45990 240 0 0 25 0 3 0 911058118 346800128 75141 33554432000 4194304 5714118 140735443675968 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) 338672
[startup+522.301 s]
/proc/loadavg: 4.09 4.05 3.94 5/183 1677
/proc/meminfo: memFree=10462760/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=404348 CPUtime=1044.61 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 83918 0 0 0 103842 619 0 0 25 0 3 0 911058118 414052352 83370 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 101087 83370 180 372 0 100712 0
[pid=1619/tid=1620] ppid=1617 vsize=404348 CPUtime=522.3 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 70636 0 0 0 51873 357 0 0 25 0 3 0 911058118 414052352 83370 33554432000 4194304 5714118 140735443675968 18446744073709551615 4311776 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=404348 CPUtime=522.3 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 12936 0 0 0 51968 262 0 0 25 0 3 0 911058118 414052352 83370 33554432000 4194304 5714118 140735443675968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 404348
[startup+582.301 s]
/proc/loadavg: 4.03 4.04 3.94 5/183 1678
/proc/meminfo: memFree=10386700/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=404680 CPUtime=1164.61 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 95368 0 0 0 115779 682 0 0 25 0 3 0 911058118 414392320 94819 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 101170 94819 180 372 0 100795 0
[pid=1619/tid=1620] ppid=1617 vsize=404680 CPUtime=582.3 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 81014 0 0 0 57839 391 0 0 25 0 3 0 911058118 414392320 94819 33554432000 4194304 5714118 140735443675968 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=404680 CPUtime=582.3 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 14008 0 0 0 57939 291 0 0 25 0 3 0 911058118 414392320 94819 33554432000 4194304 5714118 140735443675968 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) 404680
[startup+642.3 s]
/proc/loadavg: 4.01 4.03 3.94 5/183 1680
/proc/meminfo: memFree=10303080/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=470692 CPUtime=1284.62 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 102723 0 0 0 127728 734 0 0 25 0 3 0 911058118 481988608 102174 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 117673 102174 180 372 0 117298 0
[pid=1619/tid=1620] ppid=1617 vsize=470692 CPUtime=642.31 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 88274 0 0 0 63815 416 0 0 25 0 3 0 911058118 481988608 102174 33554432000 4194304 5714118 140735443675968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=470692 CPUtime=642.3 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 14103 0 0 0 63912 318 0 0 25 0 3 0 911058118 481988608 102174 33554432000 4194304 5714118 140735443675968 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 470692
[startup+702.301 s]
/proc/loadavg: 4.00 4.02 3.94 5/183 1690
/proc/meminfo: memFree=10268888/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=471480 CPUtime=1404.62 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 110920 0 0 0 139668 794 0 0 25 0 3 0 911058118 482795520 110351 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 117870 110351 180 372 0 117495 0
[pid=1619/tid=1620] ppid=1617 vsize=471480 CPUtime=702.31 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 95680 0 0 0 69782 449 0 0 25 0 3 0 911058118 482795520 110351 33554432000 4194304 5714118 140735443675968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=471480 CPUtime=702.3 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 14894 0 0 0 69885 345 0 0 25 0 3 0 911058118 482795520 110351 33554432000 4194304 5714118 140735443675968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 471480
[startup+762.307 s]
/proc/loadavg: 4.00 4.02 3.94 5/183 1692
/proc/meminfo: memFree=10242556/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=537228 CPUtime=1524.64 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 117533 0 0 0 151609 855 0 0 25 0 3 0 911058118 550121472 116964 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 134307 116964 180 372 0 133932 0
[pid=1619/tid=1620] ppid=1617 vsize=537228 CPUtime=762.31 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 102256 0 0 0 75750 481 0 0 25 0 3 0 911058118 550121472 116964 33554432000 4194304 5714118 140735443675968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=537228 CPUtime=762.31 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 14931 0 0 0 75858 373 0 0 25 0 3 0 911058118 550121472 116964 33554432000 4194304 5714118 140735443675968 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.64
Current children cumulated vsize (KiB) 537228
[startup+822.3 s]
/proc/loadavg: 4.00 4.01 3.94 5/183 1694
/proc/meminfo: memFree=10213628/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=537228 CPUtime=1644.63 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 124769 0 0 0 163556 907 0 0 25 0 3 0 911058118 550121472 124200 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 134307 124200 180 372 0 133932 0
[pid=1619/tid=1620] ppid=1617 vsize=537228 CPUtime=822.31 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 109486 0 0 0 81724 507 0 0 25 0 3 0 911058118 550121472 124200 33554432000 4194304 5714118 140735443675968 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=537228 CPUtime=822.3 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 14937 0 0 0 81831 399 0 0 25 0 3 0 911058118 550121472 124200 33554432000 4194304 5714118 140735443675968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.63
Current children cumulated vsize (KiB) 537228
[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.94 5/183 1698
/proc/meminfo: memFree=10198416/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=537228 CPUtime=1764.62 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 128011 0 0 0 175513 949 0 0 25 0 3 0 911058118 550121472 127437 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 134307 127437 180 372 0 133932 0
[pid=1619/tid=1620] ppid=1617 vsize=537228 CPUtime=882.32 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 112708 0 0 0 87705 527 0 0 25 0 3 0 911058118 550121472 127437 33554432000 4194304 5714118 140735443675968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=537228 CPUtime=882.3 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 14957 0 0 0 87808 422 0 0 25 0 3 0 911058118 550121472 127437 33554432000 4194304 5714118 140735443675968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.62
Current children cumulated vsize (KiB) 537228
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 4.00 4.00 3.94 5/183 1699
/proc/meminfo: memFree=10195784/32951124 swapFree=67063272/67111528
[pid=1619] ppid=1617 vsize=537228 CPUtime=1800.03 cores=1,3,5,7
/proc/1619/stat : 1619 (pwbo1.1) S 1617 1619 768 0 -1 4202496 128692 0 0 0 179038 965 0 0 25 0 3 0 911058118 550121472 128117 33554432000 4194304 5714118 140735443675968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/1619/statm: 134307 128117 180 372 0 133932 0
[pid=1619/tid=1620] ppid=1617 vsize=537228 CPUtime=900.02 cores=1,3,5,7
/proc/1619/task/1620/stat : 1620 (pwbo1.1) R 1617 1619 768 0 -1 4202560 113389 0 0 0 89467 535 0 0 25 0 3 0 911058118 550121472 128117 33554432000 4194304 5714118 140735443675968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=1619/tid=1621] ppid=1617 vsize=537228 CPUtime=900.01 cores=1,3,5,7
/proc/1619/task/1621/stat : 1621 (pwbo1.1) R 1617 1619 768 0 -1 4202560 14957 0 0 0 89572 429 0 0 25 0 3 0 911058118 550121472 128117 33554432000 4194304 5714118 140735443675968 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) 537228
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.035
CPU time (s): 1800.08
CPU user time (s): 1790.41
CPU system time (s): 9.67553
CPU usage (%): 200.001
Max. virtual memory (cumulated for all children) (KiB): 537228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.41
system time used= 9.67553
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128697
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= 62
involuntary context switches= 3515
runsolver used 1.48577 second user time and 3.14652 second system time
The end