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-3500386-1307994708/watcher-3500386-1307994708 -o /var/tmp/evaluation-result-3500386-1307994708/solver-3500386-1307994708 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500386-1307994708.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.87 3.99 3.92 3/179 19973
/proc/meminfo: memFree=10123828/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=136436 CPUtime=0 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 939 0 0 0 0 0 0 0 25 0 3 0 911070593 139710464 882 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 34109 884 178 372 0 33734 0
[pid=19973/tid=19974] ppid=19971 vsize=136436 CPUtime=0 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 94 0 0 0 0 0 0 0 25 0 3 0 911070593 139710464 888 33554432000 4194304 5714118 140737478164832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=136436 CPUtime=0 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 509 0 0 0 0 0 0 0 25 0 3 0 911070593 139710464 891 33554432000 4194304 5714118 140737478164832 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 3 0 0 0
[startup+0.093708 s]
/proc/loadavg: 3.87 3.99 3.92 3/179 19973
/proc/meminfo: memFree=10123828/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=136652 CPUtime=0.18 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 1614 0 0 0 18 0 0 0 25 0 3 0 911070593 139931648 1557 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 34163 1558 179 372 0 33788 0
[pid=19973/tid=19974] ppid=19971 vsize=136652 CPUtime=0.09 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 317 0 0 0 9 0 0 0 25 0 3 0 911070593 139931648 1558 33554432000 4194304 5714118 140737478164832 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=136652 CPUtime=0.08 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 953 0 0 0 8 0 0 0 25 0 3 0 911070593 139931648 1558 33554432000 4194304 5714118 140737478164832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 136652
[startup+0.100706 s]
/proc/loadavg: 3.87 3.99 3.92 3/179 19973
/proc/meminfo: memFree=10123828/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=136652 CPUtime=0.19 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 1637 0 0 0 19 0 0 0 25 0 3 0 911070593 139931648 1580 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 34163 1580 179 372 0 33788 0
[pid=19973/tid=19974] ppid=19971 vsize=136652 CPUtime=0.09 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 330 0 0 0 9 0 0 0 25 0 3 0 911070593 139931648 1580 33554432000 4194304 5714118 140737478164832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=136652 CPUtime=0.09 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 962 0 0 0 9 0 0 0 25 0 3 0 911070593 139931648 1580 33554432000 4194304 5714118 140737478164832 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 136652
[startup+0.300672 s]
/proc/loadavg: 3.87 3.99 3.92 3/179 19973
/proc/meminfo: memFree=10123828/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=136652 CPUtime=0.58 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 2227 0 0 0 57 1 0 0 25 0 3 0 911070593 139931648 2170 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 34163 2170 179 372 0 33788 0
[pid=19973/tid=19974] ppid=19971 vsize=136652 CPUtime=0.28 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 725 0 0 0 28 0 0 0 25 0 3 0 911070593 139931648 2170 33554432000 4194304 5714118 140737478164832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=136652 CPUtime=0.28 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 1157 0 0 0 28 0 0 0 25 0 3 0 911070593 139931648 2170 33554432000 4194304 5714118 140737478164832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 136652
[startup+0.700601 s]
/proc/loadavg: 3.87 3.99 3.92 3/179 19973
/proc/meminfo: memFree=10123828/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=136652 CPUtime=1.38 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 3162 0 0 0 134 4 0 0 25 0 3 0 911070593 139931648 3105 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 34163 3105 179 372 0 33788 0
[pid=19973/tid=19974] ppid=19971 vsize=136652 CPUtime=0.69 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 1394 0 0 0 67 2 0 0 25 0 3 0 911070593 139931648 3105 33554432000 4194304 5714118 140737478164832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=136652 CPUtime=0.69 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 1423 0 0 0 67 2 0 0 25 0 3 0 911070593 139931648 3106 33554432000 4194304 5714118 140737478164832 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 136652
[startup+1.50046 s]
/proc/loadavg: 3.87 3.99 3.92 5/182 19976
/proc/meminfo: memFree=10110988/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=136796 CPUtime=2.99 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 4050 0 0 0 290 9 0 0 25 0 3 0 911070593 140079104 3993 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 34199 3993 179 372 0 33824 0
[pid=19973/tid=19974] ppid=19971 vsize=136796 CPUtime=1.49 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 2206 0 0 0 145 4 0 0 25 0 3 0 911070593 140079104 3993 33554432000 4194304 5714118 140737478164832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=136796 CPUtime=1.48 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 1499 0 0 0 144 4 0 0 25 0 3 0 911070593 140079104 3993 33554432000 4194304 5714118 140737478164832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 136796
[startup+3.10018 s]
/proc/loadavg: 3.87 3.99 3.92 5/182 19976
/proc/meminfo: memFree=10104912/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=136652 CPUtime=6.19 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 5268 0 0 0 601 18 0 0 25 0 3 0 911070593 139931648 5183 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 34163 5183 179 372 0 33788 0
[pid=19973/tid=19974] ppid=19971 vsize=136652 CPUtime=3.09 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 2825 0 0 0 300 9 0 0 25 0 3 0 911070593 139931648 5183 33554432000 4194304 5714118 140737478164832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=136652 CPUtime=3.08 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 2098 0 0 0 300 8 0 0 25 0 3 0 911070593 139931648 5183 33554432000 4194304 5714118 140737478164832 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 136652
[startup+6.30061 s]
/proc/loadavg: 3.88 3.99 3.92 5/182 19976
/proc/meminfo: memFree=10095488/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=136800 CPUtime=12.59 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 7808 0 0 0 1233 26 0 0 25 0 3 0 911070593 140083200 7723 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 34200 7723 179 372 0 33825 0
[pid=19973/tid=19974] ppid=19971 vsize=136800 CPUtime=6.29 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 3702 0 0 0 616 13 0 0 25 0 3 0 911070593 140083200 7723 33554432000 4194304 5714118 140737478164832 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=136800 CPUtime=6.29 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 3761 0 0 0 617 12 0 0 25 0 3 0 911070593 140083200 7723 33554432000 4194304 5714118 140737478164832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 136800
[startup+12.7005 s]
/proc/loadavg: 3.89 3.99 3.92 5/182 19976
/proc/meminfo: memFree=10075900/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=137368 CPUtime=25.38 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 10814 0 0 0 2493 45 0 0 25 0 3 0 911070593 140664832 10729 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 34342 10730 180 372 0 33967 0
[pid=19973/tid=19974] ppid=19971 vsize=137368 CPUtime=12.69 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 6294 0 0 0 1244 25 0 0 25 0 3 0 911070593 140664832 10730 33554432000 4194304 5714118 140737478164832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=137368 CPUtime=12.68 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 4176 0 0 0 1248 20 0 0 25 0 3 0 911070593 140664832 10730 33554432000 4194304 5714118 140737478164832 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) 137368
[startup+25.5002 s]
/proc/loadavg: 3.91 3.99 3.92 5/182 19976
/proc/meminfo: memFree=10050736/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=137648 CPUtime=50.99 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 15936 0 0 0 5024 75 0 0 25 0 3 0 911070593 140951552 15851 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 34412 15851 180 372 0 34037 0
[pid=19973/tid=19974] ppid=19971 vsize=137648 CPUtime=25.49 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 10705 0 0 0 2507 42 0 0 25 0 3 0 911070593 140951552 15851 33554432000 4194304 5714118 140737478164832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=137648 CPUtime=25.48 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 4886 0 0 0 2516 32 0 0 25 0 3 0 911070593 140951552 15851 33554432000 4194304 5714118 140737478164832 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) 137648
[startup+51.1007 s]
/proc/loadavg: 3.81 3.96 3.91 5/182 20138
/proc/meminfo: memFree=10924204/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=203900 CPUtime=102.18 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 26083 0 0 0 10104 114 0 0 25 0 3 0 911070593 208793600 25998 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 50975 25998 180 372 0 50600 0
[pid=19973/tid=19974] ppid=19971 vsize=203900 CPUtime=51.09 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 19073 0 0 0 5043 66 0 0 25 0 3 0 911070593 208793600 25998 33554432000 4194304 5714118 140737478164832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=203900 CPUtime=51.09 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 6665 0 0 0 5061 48 0 0 25 0 3 0 911070593 208793600 25998 33554432000 4194304 5714118 140737478164832 18446744073709551615 4199408 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) 203900
[startup+102.307 s]
/proc/loadavg: 3.91 3.96 3.91 5/182 20139
/proc/meminfo: memFree=10803192/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=204532 CPUtime=204.6 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 36657 0 0 0 20269 191 0 0 25 0 3 0 911070593 209440768 36572 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 51133 36572 180 372 0 50758 0
[pid=19973/tid=19974] ppid=19971 vsize=204532 CPUtime=102.3 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 28879 0 0 0 10115 115 0 0 25 0 3 0 911070593 209440768 36572 33554432000 4194304 5714118 140737478164832 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=204532 CPUtime=102.29 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 7433 0 0 0 10154 75 0 0 25 0 3 0 911070593 209440768 36572 33554432000 4194304 5714118 140737478164832 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) 204532
[startup+162.301 s]
/proc/loadavg: 3.97 3.97 3.91 5/182 20141
/proc/meminfo: memFree=10714720/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=270756 CPUtime=324.59 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 46031 0 0 0 32166 293 0 0 25 0 3 0 911070593 277254144 45887 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 67689 45887 180 372 0 67314 0
[pid=19973/tid=19974] ppid=19971 vsize=270756 CPUtime=162.29 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 36190 0 0 0 16047 182 0 0 25 0 3 0 911070593 277254144 45887 33554432000 4194304 5714118 140737478164832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=270756 CPUtime=162.28 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 9496 0 0 0 16118 110 0 0 25 0 3 0 911070593 277254144 45887 33554432000 4194304 5714118 140737478164832 18446744073709551615 4319336 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) 270756
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20142
/proc/meminfo: memFree=10664432/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=271228 CPUtime=444.59 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 47263 0 0 0 44089 370 0 0 25 0 3 0 911070593 277737472 47118 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 67807 47118 180 372 0 67432 0
[pid=19973/tid=19974] ppid=19971 vsize=271228 CPUtime=222.29 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 36362 0 0 0 21996 233 0 0 25 0 3 0 911070593 277737472 47118 33554432000 4194304 5714118 140737478164832 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=271228 CPUtime=222.28 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 10556 0 0 0 22092 136 0 0 25 0 3 0 911070593 277737472 47118 33554432000 4194304 5714118 140737478164832 18446744073709551615 4319307 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 271228
[startup+282.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20144
/proc/meminfo: memFree=10593808/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=271912 CPUtime=564.6 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 52706 0 0 0 56029 431 0 0 25 0 3 0 911070593 278437888 52561 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 67978 52561 180 372 0 67603 0
[pid=19973/tid=19974] ppid=19971 vsize=271912 CPUtime=282.3 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 39468 0 0 0 27966 264 0 0 25 0 3 0 911070593 278437888 52561 33554432000 4194304 5714118 140737478164832 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=271912 CPUtime=282.29 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 12893 0 0 0 28062 167 0 0 25 0 3 0 911070593 278437888 52561 33554432000 4194304 5714118 140737478164832 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) 271912
[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20146
/proc/meminfo: memFree=10517112/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=271912 CPUtime=684.6 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 62127 0 0 0 67965 495 0 0 25 0 3 0 911070593 278437888 61886 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 67978 61886 180 372 0 67603 0
[pid=19973/tid=19974] ppid=19971 vsize=271912 CPUtime=342.3 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 47233 0 0 0 33928 302 0 0 25 0 3 0 911070593 278437888 61886 33554432000 4194304 5714118 140737478164832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=271912 CPUtime=342.29 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 14549 0 0 0 34036 193 0 0 25 0 3 0 911070593 278437888 61886 33554432000 4194304 5714118 140737478164832 18446744073709551615 4322707 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) 271912
[startup+402.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20147
/proc/meminfo: memFree=10445484/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=337684 CPUtime=804.6 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 67443 0 0 0 79907 553 0 0 25 0 3 0 911070593 345788416 67202 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 84421 67202 180 372 0 84046 0
[pid=19973/tid=19974] ppid=19971 vsize=337684 CPUtime=402.3 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 52520 0 0 0 39894 336 0 0 25 0 3 0 911070593 345788416 67202 33554432000 4194304 5714118 140737478164832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=337684 CPUtime=402.29 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 14578 0 0 0 40012 217 0 0 25 0 3 0 911070593 345788416 67202 33554432000 4194304 5714118 140737478164832 18446744073709551615 4319200 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) 337684
[startup+462.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20149
/proc/meminfo: memFree=10375384/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=337824 CPUtime=924.61 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 73383 0 0 0 91850 611 0 0 25 0 3 0 911070593 345931776 73142 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 84456 73142 180 372 0 84081 0
[pid=19973/tid=19974] ppid=19971 vsize=337824 CPUtime=462.3 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 58409 0 0 0 45859 371 0 0 25 0 3 0 911070593 345931776 73142 33554432000 4194304 5714118 140737478164832 18446744073709551615 4322619 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=337824 CPUtime=462.3 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 14629 0 0 0 45990 240 0 0 25 0 3 0 911070593 345931776 73142 33554432000 4194304 5714118 140737478164832 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) 337824
[startup+522.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20150
/proc/meminfo: memFree=10337136/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=403504 CPUtime=1044.61 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 83229 0 0 0 103769 692 0 0 25 0 3 0 911070593 413188096 82988 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 100876 82988 180 372 0 100501 0
[pid=19973/tid=19974] ppid=19971 vsize=403504 CPUtime=522.3 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 68218 0 0 0 51817 413 0 0 25 0 3 0 911070593 413188096 82988 33554432000 4194304 5714118 140737478164832 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=403504 CPUtime=522.29 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 14666 0 0 0 51951 278 0 0 25 0 3 0 911070593 413188096 82988 33554432000 4194304 5714118 140737478164832 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) 403504
[startup+582.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20161
/proc/meminfo: memFree=10303936/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=403648 CPUtime=1164.61 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 88806 0 0 0 115704 757 0 0 25 0 3 0 911070593 413335552 88565 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 100912 88565 180 372 0 100537 0
[pid=19973/tid=19974] ppid=19971 vsize=403648 CPUtime=582.3 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 73762 0 0 0 57789 441 0 0 25 0 3 0 911070593 413335552 88565 33554432000 4194304 5714118 140737478164832 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=403648 CPUtime=582.29 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 14699 0 0 0 57913 316 0 0 25 0 3 0 911070593 413335552 88565 33554432000 4194304 5714118 140737478164832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 403648
[startup+642.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20163
/proc/meminfo: memFree=10276976/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=403648 CPUtime=1284.62 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 95383 0 0 0 127651 811 0 0 25 0 3 0 911070593 413335552 95140 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 100912 95140 180 372 0 100537 0
[pid=19973/tid=19974] ppid=19971 vsize=403648 CPUtime=642.3 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 80328 0 0 0 63763 467 0 0 25 0 3 0 911070593 413335552 95141 33554432000 4194304 5714118 140737478164832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=403648 CPUtime=642.31 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 14711 0 0 0 63888 343 0 0 25 0 3 0 911070593 413335552 95141 33554432000 4194304 5714118 140737478164832 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 403648
[startup+702.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20164
/proc/meminfo: memFree=10251384/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=469532 CPUtime=1404.61 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 101727 0 0 0 139594 867 0 0 25 0 3 0 911070593 480800768 101484 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 117383 101484 180 372 0 117008 0
[pid=19973/tid=19974] ppid=19971 vsize=469532 CPUtime=702.3 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 86593 0 0 0 69739 491 0 0 25 0 3 0 911070593 480800768 101484 33554432000 4194304 5714118 140737478164832 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=469532 CPUtime=702.3 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 14789 0 0 0 69854 376 0 0 25 0 3 0 911070593 480800768 101484 33554432000 4194304 5714118 140737478164832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 469532
[startup+762.306 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20169
/proc/meminfo: memFree=10230228/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=469672 CPUtime=1524.62 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 105075 0 0 0 151541 921 0 0 25 0 3 0 911070593 480944128 104832 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 117418 104832 180 372 0 117043 0
[pid=19973/tid=19974] ppid=19971 vsize=469672 CPUtime=762.31 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 89894 0 0 0 75717 514 0 0 25 0 3 0 911070593 480944128 104832 33554432000 4194304 5714118 140737478164832 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=469672 CPUtime=762.31 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 14836 0 0 0 75824 407 0 0 25 0 3 0 911070593 480944128 104832 33554432000 4194304 5714118 140737478164832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.62
Current children cumulated vsize (KiB) 469672
[startup+822.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20170
/proc/meminfo: memFree=10198204/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=535884 CPUtime=1644.62 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 113014 0 0 0 163479 983 0 0 25 0 3 0 911070593 548745216 112771 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 133971 112771 180 372 0 133596 0
[pid=19973/tid=19974] ppid=19971 vsize=535884 CPUtime=822.3 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 97792 0 0 0 81684 546 0 0 25 0 3 0 911070593 548745216 112771 33554432000 4194304 5714118 140737478164832 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=535884 CPUtime=822.31 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 14877 0 0 0 81794 437 0 0 25 0 3 0 911070593 548745216 112771 33554432000 4194304 5714118 140737478164832 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) 535884
[startup+882.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20172
/proc/meminfo: memFree=10177808/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=536120 CPUtime=1764.61 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 118001 0 0 0 175426 1035 0 0 25 0 3 0 911070593 548986880 117758 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 134030 117758 180 372 0 133655 0
[pid=19973/tid=19974] ppid=19971 vsize=536120 CPUtime=882.3 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 102754 0 0 0 87660 570 0 0 25 0 3 0 911070593 548986880 117758 33554432000 4194304 5714118 140737478164832 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=536120 CPUtime=882.31 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 14902 0 0 0 87766 465 0 0 25 0 3 0 911070593 548986880 117758 33554432000 4194304 5714118 140737478164832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.61
Current children cumulated vsize (KiB) 536120
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20173
/proc/meminfo: memFree=10172952/32950928 swapFree=67055156/67111528
[pid=19973] ppid=19971 vsize=536120 CPUtime=1800.03 cores=1,3,5,7
/proc/19973/stat : 19973 (pwbo1.1) S 19971 19973 19040 0 -1 4202496 119089 0 0 0 178951 1052 0 0 25 0 3 0 911070593 548986880 118846 33554432000 4194304 5714118 140737478164832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19973/statm: 134030 118846 180 372 0 133655 0
[pid=19973/tid=19974] ppid=19971 vsize=536120 CPUtime=900.01 cores=1,3,5,7
/proc/19973/task/19974/stat : 19974 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 103842 0 0 0 89423 578 0 0 25 0 3 0 911070593 548986880 118846 33554432000 4194304 5714118 140737478164832 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=536120 CPUtime=900.01 cores=1,3,5,7
/proc/19973/task/19975/stat : 19975 (pwbo1.1) R 19971 19973 19040 0 -1 4202560 14902 0 0 0 89527 474 0 0 25 0 3 0 911070593 548986880 118846 33554432000 4194304 5714118 140737478164832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 536120
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.034
CPU time (s): 1800.07
CPU user time (s): 1789.52
CPU system time (s): 10.5444
CPU usage (%): 200
Max. virtual memory (cumulated for all children) (KiB): 536120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.52
system time used= 10.5444
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119095
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= 65
involuntary context switches= 2455
runsolver used 1.48677 second user time and 3.10853 second system time
The end