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-3500450-1307995617/watcher-3500450-1307995617 -o /var/tmp/evaluation-result-3500450-1307995617/solver-3500450-1307995617 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500450-1307995617.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.69 3.91 3.89 3/179 20211
/proc/meminfo: memFree=10649092/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=134788 CPUtime=0 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 392 0 0 0 0 0 0 0 25 0 3 0 911161501 138022912 342 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 33697 342 181 372 0 33322 0
[pid=20211/tid=20212] ppid=20209 vsize=134788 CPUtime=0 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 44 0 0 0 0 0 0 0 25 0 3 0 911161501 138022912 342 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=134788 CPUtime=0 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 15 0 0 0 0 0 0 0 25 0 3 0 911161501 138022912 343 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[startup+0.07471 s]
/proc/loadavg: 3.69 3.91 3.89 3/179 20211
/proc/meminfo: memFree=10649092/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=134788 CPUtime=0.13 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 700 0 0 0 13 0 0 0 25 0 3 0 911161501 138022912 650 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 33697 650 181 372 0 33322 0
[pid=20211/tid=20212] ppid=20209 vsize=134788 CPUtime=0.06 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 228 0 0 0 6 0 0 0 25 0 3 0 911161501 138022912 650 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=134788 CPUtime=0.06 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 138 0 0 0 6 0 0 0 25 0 3 0 911161501 138022912 650 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 134788
[startup+0.100705 s]
/proc/loadavg: 3.69 3.91 3.89 3/179 20211
/proc/meminfo: memFree=10649092/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=134788 CPUtime=0.19 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 804 0 0 0 18 1 0 0 25 0 3 0 911161501 138022912 754 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 33697 754 181 372 0 33322 0
[pid=20211/tid=20212] ppid=20209 vsize=134788 CPUtime=0.09 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 290 0 0 0 9 0 0 0 25 0 3 0 911161501 138022912 754 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=134788 CPUtime=0.09 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 180 0 0 0 9 0 0 0 25 0 3 0 911161501 138022912 754 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 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) 134788
[startup+0.300669 s]
/proc/loadavg: 3.69 3.91 3.89 3/179 20211
/proc/meminfo: memFree=10649092/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=134788 CPUtime=0.59 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 1403 0 0 0 56 3 0 0 25 0 3 0 911161501 138022912 1353 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 33697 1353 181 372 0 33322 0
[pid=20211/tid=20212] ppid=20209 vsize=134788 CPUtime=0.29 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 651 0 0 0 28 1 0 0 25 0 3 0 911161501 138022912 1353 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=134788 CPUtime=0.28 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 418 0 0 0 27 1 0 0 25 0 3 0 911161501 138022912 1353 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 134788
[startup+0.700599 s]
/proc/loadavg: 3.69 3.91 3.89 3/179 20211
/proc/meminfo: memFree=10649092/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=135076 CPUtime=1.39 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 1888 0 0 0 134 5 0 0 25 0 3 0 911161501 138317824 1838 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 33769 1838 181 372 0 33394 0
[pid=20211/tid=20212] ppid=20209 vsize=135076 CPUtime=0.69 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 951 0 0 0 67 2 0 0 25 0 3 0 911161501 138317824 1838 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=135076 CPUtime=0.69 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 603 0 0 0 67 2 0 0 25 0 3 0 911161501 138317824 1838 33554432000 4194304 5714118 140736546475600 18446744073709551615 4200768 0 0 4096 16387 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 135076
[startup+1.50046 s]
/proc/loadavg: 3.69 3.91 3.89 5/182 20214
/proc/meminfo: memFree=10641652/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=135076 CPUtime=2.99 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 2610 0 0 0 290 9 0 0 25 0 3 0 911161501 138317824 2560 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 33769 2560 181 372 0 33394 0
[pid=20211/tid=20212] ppid=20209 vsize=135076 CPUtime=1.49 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 1501 0 0 0 144 5 0 0 25 0 3 0 911161501 138317824 2560 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=135076 CPUtime=1.49 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 775 0 0 0 145 4 0 0 25 0 3 0 911161501 138317824 2560 33554432000 4194304 5714118 140736546475600 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) 135076
[startup+3.10018 s]
/proc/loadavg: 3.69 3.91 3.89 5/182 20214
/proc/meminfo: memFree=10637552/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=135076 CPUtime=6.18 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 3531 0 0 0 601 17 0 0 25 0 3 0 911161501 138317824 3481 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 33769 3481 182 372 0 33394 0
[pid=20211/tid=20212] ppid=20209 vsize=135076 CPUtime=3.09 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 2279 0 0 0 300 9 0 0 25 0 3 0 911161501 138317824 3481 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=135076 CPUtime=3.09 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 918 0 0 0 301 8 0 0 25 0 3 0 911161501 138317824 3481 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 135076
[startup+6.30061 s]
/proc/loadavg: 3.71 3.91 3.89 5/182 20214
/proc/meminfo: memFree=10628628/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=135364 CPUtime=12.59 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 5304 0 0 0 1229 30 0 0 25 0 3 0 911161501 138612736 5254 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 33841 5254 182 372 0 33466 0
[pid=20211/tid=20212] ppid=20209 vsize=135364 CPUtime=6.29 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 3828 0 0 0 613 16 0 0 25 0 3 0 911161501 138612736 5254 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=135364 CPUtime=6.28 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 1142 0 0 0 615 13 0 0 25 0 3 0 911161501 138612736 5254 33554432000 4194304 5714118 140736546475600 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) 135364
[startup+12.7005 s]
/proc/loadavg: 3.73 3.91 3.89 5/182 20214
/proc/meminfo: memFree=10613348/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=136084 CPUtime=25.39 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 8200 0 0 0 2480 59 0 0 25 0 3 0 911161501 139350016 8150 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 34021 8150 182 372 0 33646 0
[pid=20211/tid=20212] ppid=20209 vsize=136084 CPUtime=12.69 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 6401 0 0 0 1239 30 0 0 25 0 3 0 911161501 139350016 8150 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=136084 CPUtime=12.69 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 1465 0 0 0 1240 29 0 0 25 0 3 0 911161501 139350016 8150 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 136084
[startup+25.5003 s]
/proc/loadavg: 3.79 3.91 3.89 5/182 20214
/proc/meminfo: memFree=10589036/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=136876 CPUtime=50.99 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 12861 0 0 0 4991 108 0 0 25 0 3 0 911161501 140161024 12811 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 34219 12811 182 372 0 33844 0
[pid=20211/tid=20212] ppid=20209 vsize=136876 CPUtime=25.49 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 10807 0 0 0 2494 55 0 0 25 0 3 0 911161501 140161024 12811 33554432000 4194304 5714118 140736546475600 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=136876 CPUtime=25.48 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 1720 0 0 0 2496 52 0 0 25 0 3 0 911161501 140161024 12811 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 136876
[startup+51.1007 s]
/proc/loadavg: 3.29 3.79 3.85 5/182 20256
/proc/meminfo: memFree=10973888/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=205220 CPUtime=102.19 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 21512 0 0 0 9989 230 0 0 25 0 3 0 911161501 210145280 21462 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 51305 21462 182 372 0 50930 0
[pid=20211/tid=20212] ppid=20209 vsize=205220 CPUtime=51.1 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 19012 0 0 0 4993 117 0 0 25 0 3 0 911161501 210145280 21462 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=205220 CPUtime=51.09 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 2166 0 0 0 4996 113 0 0 25 0 3 0 911161501 210145280 21462 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 205220
[startup+102.307 s]
/proc/loadavg: 3.69 3.82 3.85 5/182 20258
/proc/meminfo: memFree=10831128/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=208388 CPUtime=204.59 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 36138 0 0 0 20071 388 0 0 25 0 3 0 911161501 213389312 36080 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 52097 36080 182 372 0 51722 0
[pid=20211/tid=20212] ppid=20209 vsize=208388 CPUtime=102.3 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 33148 0 0 0 10032 198 0 0 25 0 3 0 911161501 213389312 36081 33554432000 4194304 5714118 140736546475600 18446744073709551615 4970378 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=208388 CPUtime=102.29 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 2657 0 0 0 10039 190 0 0 25 0 3 0 911161501 213389312 36081 33554432000 4194304 5714118 140736546475600 18446744073709551615 4299720 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 208388
[startup+162.301 s]
/proc/loadavg: 3.89 3.85 3.86 5/182 20259
/proc/meminfo: memFree=10698148/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=277452 CPUtime=324.59 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 51695 0 0 0 31894 565 0 0 25 0 3 0 911161501 284110848 51637 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 69363 51637 182 372 0 68988 0
[pid=20211/tid=20212] ppid=20209 vsize=277452 CPUtime=162.3 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 48265 0 0 0 15939 291 0 0 25 0 3 0 911161501 284110848 51637 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=277452 CPUtime=162.28 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 3096 0 0 0 15955 273 0 0 25 0 3 0 911161501 284110848 51637 33554432000 4194304 5714118 140736546475600 18446744073709551615 4300228 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) 277452
[startup+222.3 s]
/proc/loadavg: 3.96 3.87 3.87 5/182 20261
/proc/meminfo: memFree=10576436/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=346008 CPUtime=444.59 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 66560 0 0 0 43742 717 0 0 25 0 3 0 911161501 354312192 66502 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 86502 66502 182 372 0 86127 0
[pid=20211/tid=20212] ppid=20209 vsize=346008 CPUtime=222.3 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 62857 0 0 0 21861 369 0 0 25 0 3 0 911161501 354312192 66502 33554432000 4194304 5714118 140736546475600 18446744073709551615 4300224 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=346008 CPUtime=222.28 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 3369 0 0 0 21881 347 0 0 25 0 3 0 911161501 354312192 66502 33554432000 4194304 5714118 140736546475600 18446744073709551615 4199408 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) 346008
[startup+282.301 s]
/proc/loadavg: 3.98 3.89 3.87 5/182 20262
/proc/meminfo: memFree=10471592/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=413092 CPUtime=564.59 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 79105 0 0 0 55598 861 0 0 25 0 3 0 911161501 423006208 79047 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 103273 79047 182 372 0 102898 0
[pid=20211/tid=20212] ppid=20209 vsize=413092 CPUtime=282.3 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 75182 0 0 0 27784 446 0 0 25 0 3 0 911161501 423006208 79047 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=413092 CPUtime=282.29 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 3589 0 0 0 27814 415 0 0 25 0 3 0 911161501 423006208 79047 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 413092
[startup+342.3 s]
/proc/loadavg: 3.99 3.91 3.88 5/182 20264
/proc/meminfo: memFree=10360176/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=479420 CPUtime=684.59 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 92970 0 0 0 67439 1020 0 0 25 0 3 0 911161501 490926080 92912 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 119855 92912 182 372 0 119480 0
[pid=20211/tid=20212] ppid=20209 vsize=479420 CPUtime=342.3 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 88869 0 0 0 33702 528 0 0 25 0 3 0 911161501 490926080 92912 33554432000 4194304 5714118 140736546475600 18446744073709551615 4300032 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=479420 CPUtime=342.29 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 3767 0 0 0 33737 492 0 0 25 0 3 0 911161501 490926080 92912 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 479420
[startup+402.301 s]
/proc/loadavg: 3.99 3.92 3.88 5/182 20266
/proc/meminfo: memFree=10259920/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=546108 CPUtime=804.6 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 105121 0 0 0 79289 1171 0 0 25 0 3 0 911161501 559214592 105063 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 136527 105063 182 372 0 136152 0
[pid=20211/tid=20212] ppid=20209 vsize=546108 CPUtime=402.3 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 100860 0 0 0 39619 611 0 0 25 0 3 0 911161501 559214592 105063 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=546108 CPUtime=402.29 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 3927 0 0 0 39670 559 0 0 25 0 3 0 911161501 559214592 105063 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 546108
[startup+462.301 s]
/proc/loadavg: 3.99 3.94 3.89 5/182 20267
/proc/meminfo: memFree=10160648/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=547008 CPUtime=924.61 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 117189 0 0 0 91140 1321 0 0 25 0 3 0 911161501 560136192 117131 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 136752 117131 182 372 0 136377 0
[pid=20211/tid=20212] ppid=20209 vsize=547008 CPUtime=462.3 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 112846 0 0 0 45544 686 0 0 25 0 3 0 911161501 560136192 117131 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=547008 CPUtime=462.29 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 4009 0 0 0 45595 634 0 0 25 0 3 0 911161501 560136192 117131 33554432000 4194304 5714118 140736546475600 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) 547008
[startup+522.301 s]
/proc/loadavg: 3.99 3.94 3.90 5/182 20269
/proc/meminfo: memFree=10063116/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=613768 CPUtime=1044.61 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 129155 0 0 0 102999 1462 0 0 25 0 3 0 911161501 628498432 129097 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 153442 129097 182 372 0 153067 0
[pid=20211/tid=20212] ppid=20209 vsize=613768 CPUtime=522.31 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 124635 0 0 0 51470 761 0 0 25 0 3 0 911161501 628498432 129097 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=613768 CPUtime=522.3 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 4186 0 0 0 51529 701 0 0 25 0 3 0 911161501 628498432 129097 33554432000 4194304 5714118 140736546475600 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) 613768
[startup+582.301 s]
/proc/loadavg: 3.99 3.95 3.90 5/182 20270
/proc/meminfo: memFree=9965468/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=680528 CPUtime=1164.61 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 140787 0 0 0 114856 1605 0 0 25 0 3 0 911161501 696860672 140729 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 170132 140729 182 372 0 169757 0
[pid=20211/tid=20212] ppid=20209 vsize=680528 CPUtime=582.31 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 136141 0 0 0 57395 836 0 0 25 0 3 0 911161501 696860672 140729 33554432000 4194304 5714118 140736546475600 18446744073709551615 4319276 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=680528 CPUtime=582.29 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 4312 0 0 0 57460 769 0 0 25 0 3 0 911161501 696860672 140729 33554432000 4194304 5714118 140736546475600 18446744073709551615 4319200 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) 680528
[startup+642.3 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 20272
/proc/meminfo: memFree=9871284/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=681212 CPUtime=1284.63 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 152509 0 0 0 126698 1765 0 0 25 0 3 0 911161501 697561088 152451 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 170303 152451 182 372 0 169928 0
[pid=20211/tid=20212] ppid=20209 vsize=681212 CPUtime=642.31 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 147767 0 0 0 63315 916 0 0 25 0 3 0 911161501 697561088 152451 33554432000 4194304 5714118 140736546475600 18446744073709551615 4319232 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=681212 CPUtime=642.3 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 4408 0 0 0 63382 848 0 0 25 0 3 0 911161501 697561088 152451 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.63
Current children cumulated vsize (KiB) 681212
[startup+702.301 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 20274
/proc/meminfo: memFree=9775620/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=747628 CPUtime=1404.62 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 164849 0 0 0 138538 1924 0 0 25 0 3 0 911161501 765571072 164791 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 186907 164791 182 372 0 186532 0
[pid=20211/tid=20212] ppid=20209 vsize=747628 CPUtime=702.31 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 160019 0 0 0 69229 1002 0 0 25 0 3 0 911161501 765571072 164791 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=747628 CPUtime=702.3 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 4496 0 0 0 69308 922 0 0 25 0 3 0 911161501 765571072 164791 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 747628
[startup+762.307 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20275
/proc/meminfo: memFree=9684060/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=813756 CPUtime=1524.63 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 175893 0 0 0 150403 2060 0 0 25 0 3 0 911161501 833286144 175835 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 203439 175835 182 372 0 203064 0
[pid=20211/tid=20212] ppid=20209 vsize=813756 CPUtime=762.31 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 171014 0 0 0 75154 1077 0 0 25 0 3 0 911161501 833286144 175835 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=813756 CPUtime=762.3 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 4545 0 0 0 75248 982 0 0 25 0 3 0 911161501 833286144 175835 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 813756
[startup+822.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20277
/proc/meminfo: memFree=9590376/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=814580 CPUtime=1644.62 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 187580 0 0 0 162263 2199 0 0 25 0 3 0 911161501 834129920 187522 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 203645 187522 182 372 0 203270 0
[pid=20211/tid=20212] ppid=20209 vsize=814580 CPUtime=822.31 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 182459 0 0 0 81081 1150 0 0 25 0 3 0 911161501 834129920 187522 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=814580 CPUtime=822.3 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 4787 0 0 0 81181 1049 0 0 25 0 3 0 911161501 834129920 187522 33554432000 4194304 5714118 140736546475600 18446744073709551615 4299904 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) 814580
[startup+882.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20278
/proc/meminfo: memFree=9494092/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=880760 CPUtime=1764.63 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 199197 0 0 0 174112 2351 0 0 25 0 3 0 911161501 901898240 199139 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 220190 199139 182 372 0 219815 0
[pid=20211/tid=20212] ppid=20209 vsize=880760 CPUtime=882.31 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 194024 0 0 0 87002 1229 0 0 25 0 3 0 911161501 901898240 199139 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=880760 CPUtime=882.3 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 4839 0 0 0 87109 1121 0 0 25 0 3 0 911161501 901898240 199139 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.63
Current children cumulated vsize (KiB) 880760
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 20279
/proc/meminfo: memFree=9466184/32950928 swapFree=67055156/67111528
[pid=20211] ppid=20209 vsize=881084 CPUtime=1800.04 cores=1,3,5,7
/proc/20211/stat : 20211 (pwbo1.1) S 20209 20211 19040 0 -1 4202496 202617 0 0 0 177602 2402 0 0 25 0 3 0 911161501 902230016 202559 33554432000 4194304 5714118 140736546475600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/20211/statm: 220271 202559 182 372 0 219896 0
[pid=20211/tid=20212] ppid=20209 vsize=881084 CPUtime=900.02 cores=1,3,5,7
/proc/20211/task/20212/stat : 20212 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 197369 0 0 0 88746 1256 0 0 25 0 3 0 911161501 902230016 202559 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=20211/tid=20213] ppid=20209 vsize=881084 CPUtime=900.01 cores=1,3,5,7
/proc/20211/task/20213/stat : 20213 (pwbo1.1) R 20209 20211 19040 0 -1 4202560 4914 0 0 0 88856 1145 0 0 25 0 3 0 911161501 902230016 202559 33554432000 4194304 5714118 140736546475600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 881084
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.049
CPU time (s): 1800.09
CPU user time (s): 1776.04
CPU system time (s): 24.0563
CPU usage (%): 199.999
Max. virtual memory (cumulated for all children) (KiB): 881084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.04
system time used= 24.0563
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202623
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= 18
involuntary context switches= 2317
runsolver used 1.47978 second user time and 3.17352 second system time
The end