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-3500305-1307993207/watcher-3500305-1307993207 -o /var/tmp/evaluation-result-3500305-1307993207/solver-3500305-1307993207 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500305-1307993207.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 3.99 3.84 4/179 23053
/proc/meminfo: memFree=16600312/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=136956 CPUtime=0 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 1030 0 0 0 0 0 0 0 25 0 3 0 910920408 140242944 978 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 34239 985 179 372 0 33864 0
[pid=23053/tid=23054] ppid=23051 vsize=136956 CPUtime=0 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 120 0 0 0 0 0 0 0 25 0 3 0 910920409 140242944 997 33554432000 4194304 5714118 140735034427504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=137172 CPUtime=0 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 520 0 0 0 0 0 0 0 25 0 3 0 910920409 140464128 997 33554432000 4194304 5714118 140735034427504 18446744073709551615 5082442 0 0 4096 16387 0 0 0 -1 1 0 0 0
[startup+0.0987529 s]
/proc/loadavg: 4.00 3.99 3.84 4/179 23053
/proc/meminfo: memFree=16600312/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=193336 CPUtime=0.18 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 15946 0 0 0 15 3 0 0 25 0 3 0 910920408 197976064 15677 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 48334 15681 181 372 0 47959 0
[pid=23053/tid=23054] ppid=23051 vsize=193336 CPUtime=0.09 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 509 0 0 0 9 0 0 0 25 0 3 0 910920409 197976064 15683 33554432000 4194304 5714118 140735034427504 18446744073709551615 4969505 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=193336 CPUtime=0.08 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 15037 0 0 0 5 3 0 0 25 0 3 0 910920409 197976064 15686 33554432000 4194304 5714118 140735034427504 18446744073709551615 4970378 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) 193336
[startup+0.10075 s]
/proc/loadavg: 4.00 3.99 3.84 4/179 23053
/proc/meminfo: memFree=16600312/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=193468 CPUtime=0.19 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 16153 0 0 0 16 3 0 0 25 0 3 0 910920408 198111232 15884 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 48367 15884 181 372 0 47992 0
[pid=23053/tid=23054] ppid=23051 vsize=193468 CPUtime=0.09 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 509 0 0 0 9 0 0 0 25 0 3 0 910920409 198111232 15885 33554432000 4194304 5714118 140735034427504 18446744073709551615 4322728 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=193468 CPUtime=0.09 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 15239 0 0 0 6 3 0 0 25 0 3 0 910920409 198111232 15888 33554432000 4194304 5714118 140735034427504 18446744073709551615 4970378 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) 193468
[startup+0.300719 s]
/proc/loadavg: 4.00 3.99 3.84 4/179 23053
/proc/meminfo: memFree=16600312/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=201152 CPUtime=0.58 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 27175 0 0 0 50 8 0 0 25 0 3 0 910920408 205979648 26875 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 50288 26875 181 372 0 49913 0
[pid=23053/tid=23054] ppid=23051 vsize=201152 CPUtime=0.29 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 858 0 0 0 27 2 0 0 25 0 3 0 910920409 205979648 26875 33554432000 4194304 5714118 140735034427504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=201152 CPUtime=0.28 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 25908 0 0 0 23 5 0 0 25 0 3 0 910920409 205979648 26875 33554432000 4194304 5714118 140735034427504 18446744073709551615 4305171 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 201152
[startup+0.700707 s]
/proc/loadavg: 4.00 3.99 3.84 4/179 23053
/proc/meminfo: memFree=16600312/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=201152 CPUtime=1.38 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 27662 0 0 0 127 11 0 0 25 0 3 0 910920408 205979648 27362 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 50288 27362 181 372 0 49913 0
[pid=23053/tid=23054] ppid=23051 vsize=201152 CPUtime=0.69 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 1344 0 0 0 64 5 0 0 25 0 3 0 910920409 205979648 27362 33554432000 4194304 5714118 140735034427504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=201152 CPUtime=0.69 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 25909 0 0 0 63 6 0 0 25 0 3 0 910920409 205979648 27362 33554432000 4194304 5714118 140735034427504 18446744073709551615 4319293 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) 201152
[startup+1.50056 s]
/proc/loadavg: 4.00 3.99 3.84 5/182 23056
/proc/meminfo: memFree=16456232/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=201296 CPUtime=2.98 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 28441 0 0 0 284 14 0 0 25 0 3 0 910920408 206127104 28141 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 50324 28141 181 372 0 49949 0
[pid=23053/tid=23054] ppid=23051 vsize=201296 CPUtime=1.49 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 2089 0 0 0 141 8 0 0 25 0 3 0 910920409 206127104 28141 33554432000 4194304 5714118 140735034427504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=201296 CPUtime=1.49 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 25943 0 0 0 143 6 0 0 25 0 3 0 910920409 206127104 28141 33554432000 4194304 5714118 140735034427504 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 201296
[startup+3.10022 s]
/proc/loadavg: 4.00 3.99 3.84 5/182 23056
/proc/meminfo: memFree=16421700/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=267364 CPUtime=6.19 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 32198 0 0 0 599 20 0 0 25 0 3 0 910920408 273780736 31898 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 66841 31899 181 372 0 66466 0
[pid=23053/tid=23054] ppid=23051 vsize=267364 CPUtime=3.09 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 3161 0 0 0 298 11 0 0 25 0 3 0 910920409 273780736 31899 33554432000 4194304 5714118 140735034427504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=267364 CPUtime=3.09 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 28629 0 0 0 301 8 0 0 25 0 3 0 910920409 273780736 31899 33554432000 4194304 5714118 140735034427504 18446744073709551615 4319195 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) 267364
[startup+6.30071 s]
/proc/loadavg: 4.00 3.99 3.84 5/182 23056
/proc/meminfo: memFree=16304360/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=267220 CPUtime=12.58 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 34306 0 0 0 1225 33 0 0 25 0 3 0 910920408 273633280 33972 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 66805 33972 182 372 0 66430 0
[pid=23053/tid=23054] ppid=23051 vsize=267220 CPUtime=6.28 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 4211 0 0 0 606 22 0 0 25 0 3 0 910920409 273633280 33972 33554432000 4194304 5714118 140735034427504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=267220 CPUtime=6.28 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 29686 0 0 0 618 10 0 0 25 0 3 0 910920409 273633280 33972 33554432000 4194304 5714118 140735034427504 18446744073709551615 4274849 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 267220
[startup+12.7006 s]
/proc/loadavg: 4.00 3.99 3.84 5/182 23056
/proc/meminfo: memFree=16236380/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=267352 CPUtime=25.39 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 36427 0 0 0 2484 55 0 0 25 0 3 0 910920408 273768448 36093 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 66838 36093 182 372 0 66463 0
[pid=23053/tid=23054] ppid=23051 vsize=267352 CPUtime=12.69 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 5038 0 0 0 1227 42 0 0 25 0 3 0 910920409 273768448 36093 33554432000 4194304 5714118 140735034427504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=267352 CPUtime=12.69 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 30980 0 0 0 1257 12 0 0 25 0 3 0 910920409 273768448 36093 33554432000 4194304 5714118 140735034427504 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 267352
[startup+25.5003 s]
/proc/loadavg: 4.07 4.00 3.85 5/182 23057
/proc/meminfo: memFree=16062652/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=267484 CPUtime=50.98 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 40669 0 0 0 5001 97 0 0 25 0 3 0 910920408 273903616 40260 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 66871 40260 182 372 0 66496 0
[pid=23053/tid=23054] ppid=23051 vsize=267484 CPUtime=25.49 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 6024 0 0 0 2473 76 0 0 25 0 3 0 910920409 273903616 40260 33554432000 4194304 5714118 140735034427504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=267484 CPUtime=25.49 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 34236 0 0 0 2528 21 0 0 25 0 3 0 910920409 273903616 40260 33554432000 4194304 5714118 140735034427504 18446744073709551615 4319915 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 267484
[startup+51.1007 s]
/proc/loadavg: 4.05 4.00 3.85 5/182 23057
/proc/meminfo: memFree=15846368/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=267920 CPUtime=102.19 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 50879 0 0 0 10072 147 0 0 25 0 3 0 910920408 274350080 50470 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 66980 50470 182 372 0 66605 0
[pid=23053/tid=23054] ppid=23051 vsize=267920 CPUtime=51.09 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 13820 0 0 0 4989 120 0 0 25 0 3 0 910920409 274350080 50470 33554432000 4194304 5714118 140735034427504 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=267920 CPUtime=51.09 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 36650 0 0 0 5082 27 0 0 25 0 3 0 910920409 274350080 50470 33554432000 4194304 5714118 140735034427504 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 267920
[startup+102.307 s]
/proc/loadavg: 4.02 4.00 3.85 5/182 23059
/proc/meminfo: memFree=15539556/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=335932 CPUtime=204.6 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 71847 0 0 0 20217 243 0 0 25 0 3 0 910920408 343994368 71438 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 83983 71438 182 372 0 83608 0
[pid=23053/tid=23054] ppid=23051 vsize=335932 CPUtime=102.3 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 26984 0 0 0 10027 203 0 0 25 0 3 0 910920409 343994368 71438 33554432000 4194304 5714118 140735034427504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=335932 CPUtime=102.3 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 44454 0 0 0 10190 40 0 0 25 0 3 0 910920409 343994368 71438 33554432000 4194304 5714118 140735034427504 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) 335932
[startup+162.301 s]
/proc/loadavg: 4.00 4.00 3.86 5/182 23060
/proc/meminfo: memFree=15432388/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=468372 CPUtime=324.6 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 86437 0 0 0 32134 326 0 0 25 0 3 0 910920408 479612928 86028 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 117093 86028 182 372 0 116718 0
[pid=23053/tid=23054] ppid=23051 vsize=468372 CPUtime=162.29 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 39843 0 0 0 15953 276 0 0 25 0 3 0 910920409 479612928 86028 33554432000 4194304 5714118 140735034427504 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=468372 CPUtime=162.29 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 46185 0 0 0 16180 49 0 0 25 0 3 0 910920409 479612928 86028 33554432000 4194304 5714118 140735034427504 18446744073709551615 4199408 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) 468372
[startup+222.3 s]
/proc/loadavg: 4.00 4.00 3.87 5/182 23062
/proc/meminfo: memFree=15275512/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=536480 CPUtime=444.6 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 108662 0 0 0 44032 428 0 0 25 0 3 0 910920408 549355520 108253 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 134120 108253 182 372 0 133745 0
[pid=23053/tid=23054] ppid=23051 vsize=536480 CPUtime=222.29 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 54232 0 0 0 21867 362 0 0 25 0 3 0 910920409 549355520 108253 33554432000 4194304 5714118 140735034427504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=536480 CPUtime=222.29 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 54021 0 0 0 22164 65 0 0 25 0 3 0 910920409 549355520 108253 33554432000 4194304 5714118 140735034427504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 536480
[startup+282.301 s]
/proc/loadavg: 4.00 4.00 3.87 5/182 23063
/proc/meminfo: memFree=15196368/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=603800 CPUtime=564.6 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 124217 0 0 0 55937 523 0 0 25 0 3 0 910920408 618291200 123622 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 150950 123622 182 372 0 150575 0
[pid=23053/tid=23054] ppid=23051 vsize=603800 CPUtime=282.3 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 59918 0 0 0 27792 438 0 0 25 0 3 0 910920409 618291200 123622 33554432000 4194304 5714118 140735034427504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=603800 CPUtime=282.29 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 63890 0 0 0 28145 84 0 0 25 0 3 0 910920409 618291200 123622 33554432000 4194304 5714118 140735034427504 18446744073709551615 4322663 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) 603800
[startup+342.301 s]
/proc/loadavg: 4.00 4.00 3.88 5/182 23065
/proc/meminfo: memFree=15138692/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=605056 CPUtime=684.61 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 131174 0 0 0 67858 603 0 0 25 0 3 0 910920408 619577344 129110 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 151264 129110 182 372 0 150889 0
[pid=23053/tid=23054] ppid=23051 vsize=605056 CPUtime=342.3 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 59953 0 0 0 33728 502 0 0 25 0 3 0 910920409 619577344 129110 33554432000 4194304 5714118 140735034427504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=605056 CPUtime=342.29 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 70812 0 0 0 34129 100 0 0 25 0 3 0 910920409 619577344 129110 33554432000 4194304 5714118 140735034427504 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.61
Current children cumulated vsize (KiB) 605056
[startup+402.301 s]
/proc/loadavg: 4.00 4.00 3.88 5/182 23067
/proc/meminfo: memFree=15085836/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=605368 CPUtime=804.61 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 131242 0 0 0 79764 697 0 0 25 0 3 0 910920408 619896832 129178 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 151342 129178 182 372 0 150967 0
[pid=23053/tid=23054] ppid=23051 vsize=605368 CPUtime=402.3 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 59970 0 0 0 39640 590 0 0 25 0 3 0 910920409 619896832 129178 33554432000 4194304 5714118 140735034427504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=605368 CPUtime=402.3 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 70863 0 0 0 40124 106 0 0 25 0 3 0 910920409 619896832 129178 33554432000 4194304 5714118 140735034427504 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.61
Current children cumulated vsize (KiB) 605368
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.89 5/182 23068
/proc/meminfo: memFree=15045376/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=606060 CPUtime=924.62 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 131657 0 0 0 91695 767 0 0 25 0 3 0 910920408 620605440 129593 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 151515 129593 182 372 0 151140 0
[pid=23053/tid=23054] ppid=23051 vsize=606060 CPUtime=462.3 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 60232 0 0 0 45577 653 0 0 25 0 3 0 910920409 620605440 129593 33554432000 4194304 5714118 140735034427504 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=606060 CPUtime=462.3 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 71016 0 0 0 46117 113 0 0 25 0 3 0 910920409 620605440 129593 33554432000 4194304 5714118 140735034427504 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.62
Current children cumulated vsize (KiB) 606060
[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.89 5/182 23070
/proc/meminfo: memFree=15041996/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=607628 CPUtime=1044.61 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 132188 0 0 0 103637 824 0 0 25 0 3 0 910920408 622211072 130124 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 151907 130124 182 372 0 151532 0
[pid=23053/tid=23054] ppid=23051 vsize=607628 CPUtime=522.3 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 60387 0 0 0 51526 704 0 0 25 0 3 0 910920409 622211072 130124 33554432000 4194304 5714118 140735034427504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=607628 CPUtime=522.3 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 71392 0 0 0 52110 120 0 0 25 0 3 0 910920409 622211072 130124 33554432000 4194304 5714118 140735034427504 18446744073709551615 4319200 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) 607628
[startup+582.301 s]
/proc/loadavg: 4.08 4.02 3.91 5/182 23071
/proc/meminfo: memFree=15050544/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=608080 CPUtime=1164.62 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 132256 0 0 0 115594 868 0 0 25 0 3 0 910920408 622673920 130192 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 152020 130192 182 372 0 151645 0
[pid=23053/tid=23054] ppid=23051 vsize=608080 CPUtime=582.31 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 60387 0 0 0 57487 744 0 0 25 0 3 0 910920409 622673920 130192 33554432000 4194304 5714118 140735034427504 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=608080 CPUtime=582.3 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 71460 0 0 0 58107 123 0 0 25 0 3 0 910920409 622673920 130192 33554432000 4194304 5714118 140735034427504 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.62
Current children cumulated vsize (KiB) 608080
[startup+642.3 s]
/proc/loadavg: 4.03 4.01 3.91 5/182 23073
/proc/meminfo: memFree=15012464/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=608432 CPUtime=1284.63 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 132367 0 0 0 127547 916 0 0 25 0 3 0 910920408 623034368 130303 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 152108 130303 182 372 0 151733 0
[pid=23053/tid=23054] ppid=23051 vsize=608432 CPUtime=642.31 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 60388 0 0 0 63443 788 0 0 25 0 3 0 910920409 623034368 130303 33554432000 4194304 5714118 140735034427504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=608432 CPUtime=642.31 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 71570 0 0 0 64104 127 0 0 25 0 3 0 910920409 623034368 130303 33554432000 4194304 5714118 140735034427504 18446744073709551615 4322666 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) 608432
[startup+702.301 s]
/proc/loadavg: 4.01 4.00 3.91 5/182 23075
/proc/meminfo: memFree=14911640/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=610140 CPUtime=1404.62 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 135306 0 0 0 139505 957 0 0 25 0 3 0 910920408 624783360 133242 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 152535 133242 182 372 0 152160 0
[pid=23053/tid=23054] ppid=23051 vsize=610140 CPUtime=702.31 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 60439 0 0 0 69408 823 0 0 25 0 3 0 910920409 624783360 133242 33554432000 4194304 5714118 140735034427504 18446744073709551615 4319192 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=610140 CPUtime=702.31 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 74458 0 0 0 70097 134 0 0 25 0 3 0 910920409 624783360 133242 33554432000 4194304 5714118 140735034427504 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) 610140
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 23076
/proc/meminfo: memFree=14864112/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=678968 CPUtime=1524.64 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 146533 0 0 0 151443 1021 0 0 25 0 3 0 910920408 695263232 144469 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 169742 144469 182 372 0 169367 0
[pid=23053/tid=23054] ppid=23051 vsize=678968 CPUtime=762.31 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 60523 0 0 0 75368 863 0 0 25 0 3 0 910920409 695263232 144469 33554432000 4194304 5714118 140735034427504 18446744073709551615 4319349 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=678968 CPUtime=762.32 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 85601 0 0 0 76075 157 0 0 25 0 3 0 910920409 695263232 144469 33554432000 4194304 5714118 140735034427504 18446744073709551615 4312224 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.64
Current children cumulated vsize (KiB) 678968
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 23078
/proc/meminfo: memFree=14806052/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=746828 CPUtime=1644.63 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 160775 0 0 0 163384 1079 0 0 25 0 3 0 910920408 764751872 158711 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 186707 158711 182 372 0 186332 0
[pid=23053/tid=23054] ppid=23051 vsize=746828 CPUtime=822.31 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 66939 0 0 0 81326 905 0 0 25 0 3 0 910920409 764751872 158711 33554432000 4194304 5714118 140735034427504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=746828 CPUtime=822.31 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 93427 0 0 0 82058 173 0 0 25 0 3 0 910920409 764751872 158711 33554432000 4194304 5714118 140735034427504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.63
Current children cumulated vsize (KiB) 746828
[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 23079
/proc/meminfo: memFree=14776016/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=748472 CPUtime=1764.63 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 170671 0 0 0 175343 1120 0 0 25 0 3 0 910920408 766435328 168607 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 187118 168607 182 372 0 186743 0
[pid=23053/tid=23054] ppid=23051 vsize=748472 CPUtime=882.31 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 74696 0 0 0 87292 939 0 0 25 0 3 0 910920409 766435328 168607 33554432000 4194304 5714118 140735034427504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=748472 CPUtime=882.31 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 95566 0 0 0 88050 181 0 0 25 0 3 0 910920409 766435328 168607 33554432000 4194304 5714118 140735034427504 18446744073709551615 4319195 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) 748472
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 3.84 3.97 3.90 5/182 23121
/proc/meminfo: memFree=15917568/32950904 swapFree=67055440/67111528
[pid=23053] ppid=23051 vsize=748472 CPUtime=1800.05 cores=1,3,5,7
/proc/23053/stat : 23053 (pwbo1.1) S 23051 23053 21970 0 -1 4202496 173293 0 0 0 178871 1134 0 0 25 0 3 0 910920408 766435328 171229 33554432000 4194304 5714118 140735034427504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23053/statm: 187118 171229 182 372 0 186743 0
[pid=23053/tid=23054] ppid=23051 vsize=748472 CPUtime=900.01 cores=1,3,5,7
/proc/23053/task/23054/stat : 23054 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 76636 0 0 0 89051 950 0 0 25 0 3 0 910920409 766435328 171229 33554432000 4194304 5714118 140735034427504 18446744073709551615 4319380 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=748472 CPUtime=900.02 cores=1,3,5,7
/proc/23053/task/23055/stat : 23055 (pwbo1.1) R 23051 23053 21970 0 -1 4202560 96248 0 0 0 89819 183 0 0 25 0 3 0 910920409 766435328 171229 33554432000 4194304 5714118 140735034427504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 748472
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.042
CPU time (s): 1800.1
CPU user time (s): 1788.72
CPU system time (s): 11.3743
CPU usage (%): 200.001
Max. virtual memory (cumulated for all children) (KiB): 748472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.72
system time used= 11.3743
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173303
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= 399
involuntary context switches= 11706
runsolver used 1.53477 second user time and 3.22551 second system time
The end