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-3500067-1307989937/watcher-3500067-1307989937 -o /var/tmp/evaluation-result-3500067-1307989937/solver-3500067-1307989937 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500067-1307989937.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: 2.33 1.33 1.11 3/176 5422
/proc/meminfo: memFree=12016024/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=2852 CPUtime=0 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) R 5420 5422 4694 0 -1 4202496 444 0 0 0 0 0 0 0 25 0 1 0 989224222 2920448 397 33554432000 4194304 5714118 140733857205936 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/5422/statm: 713 398 171 372 0 285 0
[startup+0.110811 s]
/proc/loadavg: 2.33 1.33 1.11 3/176 5422
/proc/meminfo: memFree=12016024/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=139420 CPUtime=0.19 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 2948 0 0 0 17 2 0 0 25 0 3 0 989224222 142766080 2848 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 34855 2848 181 372 0 34480 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 139420
[startup+0.20077 s]
/proc/loadavg: 2.33 1.33 1.11 3/176 5422
/proc/meminfo: memFree=12016024/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=139420 CPUtime=0.38 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 3222 0 0 0 35 3 0 0 25 0 3 0 989224222 142766080 3122 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 34855 3123 181 372 0 34480 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 139420
[startup+0.300765 s]
/proc/loadavg: 2.33 1.33 1.11 3/176 5422
/proc/meminfo: memFree=12016024/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=139420 CPUtime=0.58 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 3334 0 0 0 54 4 0 0 25 0 3 0 989224222 142766080 3234 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 34855 3234 181 372 0 34480 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 139420
[startup+0.700691 s]
/proc/loadavg: 2.33 1.33 1.11 3/176 5422
/proc/meminfo: memFree=12016024/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=139420 CPUtime=1.37 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 4443 0 0 0 130 7 0 0 25 0 3 0 989224222 142766080 4343 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 34855 4343 181 372 0 34480 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 139420
[startup+1.50054 s]
/proc/loadavg: 2.46 1.37 1.12 5/179 5425
/proc/meminfo: memFree=11976948/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=139564 CPUtime=2.97 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 5654 0 0 0 283 14 0 0 25 0 3 0 989224222 142913536 5554 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 34891 5554 181 372 0 34516 0
[pid=5422/tid=5424] ppid=5420 vsize=139564 CPUtime=1.47 cores=1,3,5,7
/proc/5422/task/5424/stat : 5424 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 1833 0 0 0 140 7 0 0 20 0 3 0 989224224 142913536 5554 33554432000 4194304 5714118 140733857205936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5422/tid=5425] ppid=5420 vsize=139564 CPUtime=1.47 cores=1,3,5,7
/proc/5422/task/5425/stat : 5425 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 2829 0 0 0 141 6 0 0 25 0 3 0 989224224 142913536 5554 33554432000 4194304 5714118 140733857205936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 139564
[startup+3.10023 s]
/proc/loadavg: 2.46 1.37 1.12 5/179 5425
/proc/meminfo: memFree=11947192/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=139780 CPUtime=6.17 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 7746 0 0 0 598 19 0 0 25 0 3 0 989224222 143134720 7646 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 34945 7646 181 372 0 34570 0
[pid=5422/tid=5424] ppid=5420 vsize=139780 CPUtime=3.08 cores=1,3,5,7
/proc/5422/task/5424/stat : 5424 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 2790 0 0 0 298 10 0 0 25 0 3 0 989224224 143134720 7646 33554432000 4194304 5714118 140733857205936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5422/tid=5425] ppid=5420 vsize=139780 CPUtime=3.07 cores=1,3,5,7
/proc/5422/task/5425/stat : 5425 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 3964 0 0 0 298 9 0 0 25 0 3 0 989224224 143134720 7646 33554432000 4194304 5714118 140733857205936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 139780
[startup+6.30065 s]
/proc/loadavg: 2.58 1.42 1.14 5/179 5425
/proc/meminfo: memFree=11877872/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=140008 CPUtime=12.58 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 8453 0 0 0 1229 29 0 0 25 0 3 0 989224222 143368192 8324 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 35002 8324 181 372 0 34627 0
[pid=5422/tid=5424] ppid=5420 vsize=140008 CPUtime=6.27 cores=1,3,5,7
/proc/5422/task/5424/stat : 5424 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 2981 0 0 0 612 15 0 0 25 0 3 0 989224224 143368192 8324 33554432000 4194304 5714118 140733857205936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5422/tid=5425] ppid=5420 vsize=140008 CPUtime=6.27 cores=1,3,5,7
/proc/5422/task/5425/stat : 5425 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 4480 0 0 0 614 13 0 0 25 0 3 0 989224224 143368192 8324 33554432000 4194304 5714118 140733857205936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 140008
[startup+12.7004 s]
/proc/loadavg: 2.70 1.46 1.15 5/179 5425
/proc/meminfo: memFree=11739376/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=140544 CPUtime=25.37 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 12552 0 0 0 2493 44 0 0 25 0 3 0 989224222 143917056 12423 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 35136 12423 182 372 0 34761 0
[pid=5422/tid=5424] ppid=5420 vsize=140544 CPUtime=12.67 cores=1,3,5,7
/proc/5422/task/5424/stat : 5424 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 4901 0 0 0 1243 24 0 0 25 0 3 0 989224224 143917056 12423 33554432000 4194304 5714118 140733857205936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5422/tid=5425] ppid=5420 vsize=140544 CPUtime=12.68 cores=1,3,5,7
/proc/5422/task/5425/stat : 5425 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 6659 0 0 0 1248 20 0 0 25 0 3 0 989224224 143917056 12423 33554432000 4194304 5714118 140733857205936 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 140544
[startup+25.5011 s]
/proc/loadavg: 2.90 1.54 1.18 5/179 5425
/proc/meminfo: memFree=11471536/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=142284 CPUtime=50.98 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 21073 0 0 0 5029 69 0 0 25 0 3 0 989224222 145698816 20944 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 35571 20944 182 372 0 35196 0
[pid=5422/tid=5424] ppid=5420 vsize=142284 CPUtime=25.47 cores=1,3,5,7
/proc/5422/task/5424/stat : 5424 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 7672 0 0 0 2509 38 0 0 25 0 3 0 989224224 145698816 20944 33554432000 4194304 5714118 140733857205936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5422/tid=5425] ppid=5420 vsize=142284 CPUtime=25.47 cores=1,3,5,7
/proc/5422/task/5425/stat : 5425 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 12409 0 0 0 2517 30 0 0 25 0 3 0 989224224 145698816 20944 33554432000 4194304 5714118 140733857205936 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 142284
[startup+51.1003 s]
/proc/loadavg: 3.33 1.78 1.27 5/179 5426
/proc/meminfo: memFree=11018796/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=143960 CPUtime=102.18 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 27366 0 0 0 10088 130 0 0 25 0 3 0 989224222 147415040 27237 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 35990 27237 182 372 0 35615 0
[pid=5422/tid=5424] ppid=5420 vsize=143960 CPUtime=51.08 cores=1,3,5,7
/proc/5422/task/5424/stat : 5424 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 12634 0 0 0 5039 69 0 0 25 0 3 0 989224224 147415040 27237 33554432000 4194304 5714118 140733857205936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5422/tid=5425] ppid=5420 vsize=143960 CPUtime=51.08 cores=1,3,5,7
/proc/5422/task/5425/stat : 5425 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 13740 0 0 0 5047 61 0 0 25 0 3 0 989224224 147415040 27237 33554432000 4194304 5714118 140733857205936 18446744073709551615 4322635 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 143960
[startup+102.301 s]
/proc/loadavg: 3.71 2.12 1.41 5/179 5427
/proc/meminfo: memFree=10215720/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=212048 CPUtime=204.59 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 36658 0 0 0 20246 213 0 0 25 0 3 0 989224222 217137152 36529 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 53012 36529 182 372 0 52637 0
[pid=5422/tid=5424] ppid=5420 vsize=212048 CPUtime=102.28 cores=1,3,5,7
/proc/5422/task/5424/stat : 5424 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 18568 0 0 0 10120 108 0 0 25 0 3 0 989224224 217137152 36529 33554432000 4194304 5714118 140733857205936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5422/tid=5425] ppid=5420 vsize=212048 CPUtime=102.28 cores=1,3,5,7
/proc/5422/task/5425/stat : 5425 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 17098 0 0 0 10124 104 0 0 25 0 3 0 989224224 217137152 36529 33554432000 4194304 5714118 140733857205936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 212048
[startup+162.301 s]
/proc/loadavg: 3.89 2.46 1.57 5/179 5429
/proc/meminfo: memFree=9427668/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=214000 CPUtime=324.58 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 44982 0 0 0 32130 328 0 0 25 0 3 0 989224222 219136000 44853 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 53500 44853 182 372 0 53125 0
[pid=5422/tid=5424] ppid=5420 vsize=214000 CPUtime=162.28 cores=1,3,5,7
/proc/5422/task/5424/stat : 5424 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 26318 0 0 0 16079 149 0 0 25 0 3 0 989224224 219136000 44853 33554432000 4194304 5714118 140733857205936 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5422/tid=5425] ppid=5420 vsize=214000 CPUtime=162.28 cores=1,3,5,7
/proc/5422/task/5425/stat : 5425 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 17672 0 0 0 16049 179 0 0 25 0 3 0 989224224 219136000 44853 33554432000 4194304 5714118 140733857205936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 324.58
Current children cumulated vsize (KiB) 214000
[startup+222.306 s]
/proc/loadavg: 3.96 2.73 1.72 5/179 5431
/proc/meminfo: memFree=8721932/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=282864 CPUtime=444.6 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 62034 0 0 0 44047 413 0 0 25 0 3 0 989224222 289652736 61905 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 70716 61905 182 372 0 70341 0
[pid=5422/tid=5424] ppid=5420 vsize=282864 CPUtime=222.29 cores=1,3,5,7
/proc/5422/task/5424/stat : 5424 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 31717 0 0 0 22042 187 0 0 25 0 3 0 989224224 289652736 61905 33554432000 4194304 5714118 140733857205936 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5422/tid=5425] ppid=5420 vsize=282864 CPUtime=222.28 cores=1,3,5,7
/proc/5422/task/5425/stat : 5425 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 29325 0 0 0 22002 226 0 0 25 0 3 0 989224224 289652736 61905 33554432000 4194304 5714118 140733857205936 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 282864
[startup+282.3 s]
/proc/loadavg: 3.98 2.96 1.86 5/179 5432
/proc/meminfo: memFree=8131152/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=349492 CPUtime=564.59 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 75210 0 0 0 55974 485 0 0 25 0 3 0 989224222 357879808 75081 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 87373 75081 182 372 0 86998 0
[pid=5422/tid=5424] ppid=5420 vsize=349492 CPUtime=282.28 cores=1,3,5,7
/proc/5422/task/5424/stat : 5424 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 38129 0 0 0 28001 227 0 0 25 0 3 0 989224224 357879808 75081 33554432000 4194304 5714118 140733857205936 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5422/tid=5425] ppid=5420 vsize=349492 CPUtime=282.28 cores=1,3,5,7
/proc/5422/task/5425/stat : 5425 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 36089 0 0 0 27970 258 0 0 25 0 3 0 989224224 357879808 75081 33554432000 4194304 5714118 140733857205936 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 349492
[startup+342.301 s]
/proc/loadavg: 3.99 3.15 1.99 5/179 5434
/proc/meminfo: memFree=7616880/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=349868 CPUtime=684.6 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 81489 0 0 0 67897 563 0 0 25 0 3 0 989224222 358264832 81248 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 87467 81248 182 372 0 87092 0
[pid=5422/tid=5424] ppid=5420 vsize=349868 CPUtime=342.28 cores=1,3,5,7
/proc/5422/task/5424/stat : 5424 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 44238 0 0 0 33957 271 0 0 25 0 3 0 989224224 358264832 81248 33554432000 4194304 5714118 140733857205936 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5422/tid=5425] ppid=5420 vsize=349868 CPUtime=342.29 cores=1,3,5,7
/proc/5422/task/5425/stat : 5425 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 36259 0 0 0 33938 291 0 0 25 0 3 0 989224224 358264832 81248 33554432000 4194304 5714118 140733857205936 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 349868
[startup+402.301 s]
/proc/loadavg: 3.99 3.30 2.12 5/179 5437
/proc/meminfo: memFree=7153328/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=350160 CPUtime=804.6 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 81639 0 0 0 79825 635 0 0 25 0 3 0 989224222 358563840 81398 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 87540 81398 182 372 0 87165 0
[pid=5422/tid=5424] ppid=5420 vsize=350160 CPUtime=402.29 cores=1,3,5,7
/proc/5422/task/5424/stat : 5424 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 44317 0 0 0 39914 315 0 0 25 0 3 0 989224224 358563840 81398 33554432000 4194304 5714118 140733857205936 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5422/tid=5425] ppid=5420 vsize=350160 CPUtime=402.29 cores=1,3,5,7
/proc/5422/task/5425/stat : 5425 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 36330 0 0 0 39909 320 0 0 25 0 3 0 989224224 358563840 81398 33554432000 4194304 5714118 140733857205936 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 350160
[startup+462.301 s]
/proc/loadavg: 3.99 3.43 2.23 6/179 5440
/proc/meminfo: memFree=6735188/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=350468 CPUtime=924.6 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 81818 0 0 0 91772 688 0 0 25 0 3 0 989224222 358879232 81577 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 87617 81577 182 372 0 87242 0
[pid=5422/tid=5424] ppid=5420 vsize=350468 CPUtime=462.29 cores=1,3,5,7
/proc/5422/task/5424/stat : 5424 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 44411 0 0 0 45876 353 0 0 25 0 3 0 989224224 358879232 81577 33554432000 4194304 5714118 140733857205936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5422/tid=5425] ppid=5420 vsize=350468 CPUtime=462.29 cores=1,3,5,7
/proc/5422/task/5425/stat : 5425 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 36415 0 0 0 45894 335 0 0 25 0 3 0 989224224 358879232 81577 33554432000 4194304 5714118 140733857205936 18446744073709551615 4319212 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 350468
[startup+522.301 s]
/proc/loadavg: 3.99 3.53 2.34 5/179 5442
/proc/meminfo: memFree=6333144/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=351804 CPUtime=1044.61 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 82203 0 0 0 103702 759 0 0 25 0 3 0 989224222 360247296 81962 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 87951 81962 182 372 0 87576 0
[pid=5422/tid=5424] ppid=5420 vsize=351804 CPUtime=522.29 cores=1,3,5,7
/proc/5422/task/5424/stat : 5424 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 44513 0 0 0 51839 390 0 0 25 0 3 0 989224224 360247296 81962 33554432000 4194304 5714118 140733857205936 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5422/tid=5425] ppid=5420 vsize=351804 CPUtime=522.29 cores=1,3,5,7
/proc/5422/task/5425/stat : 5425 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 36698 0 0 0 51861 368 0 0 25 0 3 0 989224224 360247296 81962 33554432000 4194304 5714118 140733857205936 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 351804
[startup+582.3 s]
/proc/loadavg: 3.99 3.61 2.44 5/179 5443
/proc/meminfo: memFree=6003016/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=352836 CPUtime=1164.61 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 82517 0 0 0 115654 807 0 0 25 0 3 0 989224222 361304064 82276 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 88209 82276 182 372 0 87834 0
[pid=5422/tid=5424] ppid=5420 vsize=352836 CPUtime=582.29 cores=1,3,5,7
/proc/5422/task/5424/stat : 5424 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 44564 0 0 0 57813 416 0 0 25 0 3 0 989224224 361304064 82276 33554432000 4194304 5714118 140733857205936 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5422/tid=5425] ppid=5420 vsize=352836 CPUtime=582.29 cores=1,3,5,7
/proc/5422/task/5425/stat : 5425 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 36961 0 0 0 57839 390 0 0 25 0 3 0 989224224 361304064 82276 33554432000 4194304 5714118 140733857205936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 352836
[startup+642.301 s]
/proc/loadavg: 4.07 3.70 2.54 5/179 5445
/proc/meminfo: memFree=5700696/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=353444 CPUtime=1284.61 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 84683 0 0 0 127590 871 0 0 25 0 3 0 989224222 361926656 84442 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 88361 84442 182 372 0 87986 0
[pid=5422/tid=5424] ppid=5420 vsize=353444 CPUtime=642.3 cores=1,3,5,7
/proc/5422/task/5424/stat : 5424 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 46583 0 0 0 63788 442 0 0 25 0 3 0 989224224 361926656 84442 33554432000 4194304 5714118 140733857205936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5422/tid=5425] ppid=5420 vsize=353444 CPUtime=642.29 cores=1,3,5,7
/proc/5422/task/5425/stat : 5425 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 37108 0 0 0 63800 429 0 0 25 0 3 0 989224224 361926656 84442 33554432000 4194304 5714118 140733857205936 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.61
Current children cumulated vsize (KiB) 353444
[startup+702.301 s]
/proc/loadavg: 4.03 3.75 2.63 5/179 5446
/proc/meminfo: memFree=5376040/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=419592 CPUtime=1404.62 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 91734 0 0 0 139534 928 0 0 25 0 3 0 989224222 429662208 91493 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 104898 91493 182 372 0 104523 0
[pid=5422/tid=5424] ppid=5420 vsize=419592 CPUtime=702.3 cores=1,3,5,7
/proc/5422/task/5424/stat : 5424 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 53489 0 0 0 69759 471 0 0 25 0 3 0 989224224 429662208 91493 33554432000 4194304 5714118 140733857205936 18446744073709551615 4197796 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5422/tid=5425] ppid=5420 vsize=419592 CPUtime=702.3 cores=1,3,5,7
/proc/5422/task/5425/stat : 5425 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 37253 0 0 0 69773 457 0 0 25 0 3 0 989224224 429662208 91493 33554432000 4194304 5714118 140733857205936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 419592
[startup+762.301 s]
/proc/loadavg: 4.01 3.79 2.71 5/179 5448
/proc/meminfo: memFree=5067308/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=419548 CPUtime=1524.63 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 93457 0 0 0 151464 999 0 0 25 0 3 0 989224222 429617152 93147 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 104887 93147 182 372 0 104512 0
[pid=5422/tid=5424] ppid=5420 vsize=419548 CPUtime=762.31 cores=1,3,5,7
/proc/5422/task/5424/stat : 5424 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 55126 0 0 0 75724 507 0 0 25 0 3 0 989224224 429617152 93147 33554432000 4194304 5714118 140733857205936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5422/tid=5425] ppid=5420 vsize=419548 CPUtime=762.3 cores=1,3,5,7
/proc/5422/task/5425/stat : 5425 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 37339 0 0 0 75738 492 0 0 25 0 3 0 989224224 429617152 93147 33554432000 4194304 5714118 140733857205936 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 419548
[startup+822.301 s]
/proc/loadavg: 4.00 3.83 2.79 5/179 5450
/proc/meminfo: memFree=4863732/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=420136 CPUtime=1644.63 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 93639 0 0 0 163387 1076 0 0 25 0 3 0 989224222 430219264 93329 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 105034 93329 182 372 0 104659 0
[pid=5422/tid=5424] ppid=5420 vsize=420136 CPUtime=822.3 cores=1,3,5,7
/proc/5422/task/5424/stat : 5424 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 55168 0 0 0 81694 536 0 0 25 0 3 0 989224224 430219264 93329 33554432000 4194304 5714118 140733857205936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5422/tid=5425] ppid=5420 vsize=420136 CPUtime=822.29 cores=1,3,5,7
/proc/5422/task/5425/stat : 5425 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 37479 0 0 0 81690 539 0 0 25 0 3 0 989224224 430219264 93329 33554432000 4194304 5714118 140733857205936 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.63
Current children cumulated vsize (KiB) 420136
[startup+882.306 s]
/proc/loadavg: 3.87 3.82 2.85 5/179 5492
/proc/meminfo: memFree=12475340/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=420272 CPUtime=1764.64 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 93681 0 0 0 175302 1162 0 0 25 0 3 0 989224222 430358528 93371 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 105068 93371 182 372 0 104693 0
[pid=5422/tid=5424] ppid=5420 vsize=420272 CPUtime=882.31 cores=1,3,5,7
/proc/5422/task/5424/stat : 5424 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 55169 0 0 0 87664 567 0 0 25 0 3 0 989224224 430358528 93371 33554432000 4194304 5714118 140733857205936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5422/tid=5425] ppid=5420 vsize=420272 CPUtime=882.31 cores=1,3,5,7
/proc/5422/task/5425/stat : 5425 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 37520 0 0 0 87636 595 0 0 25 0 3 0 989224224 430358528 93371 33554432000 4194304 5714118 140733857205936 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.64
Current children cumulated vsize (KiB) 420272
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 3.90 3.83 2.87 5/179 5493
/proc/meminfo: memFree=12422892/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=420556 CPUtime=1800.04 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 93769 0 0 0 178821 1183 0 0 25 0 3 0 989224222 430649344 93459 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 105139 93459 182 372 0 104764 0
[pid=5422/tid=5424] ppid=5420 vsize=420556 CPUtime=900.01 cores=1,3,5,7
/proc/5422/task/5424/stat : 5424 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 55169 0 0 0 89424 577 0 0 25 0 3 0 989224224 430649344 93459 33554432000 4194304 5714118 140733857205936 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5422/tid=5425] ppid=5420 vsize=420556 CPUtime=900.01 cores=1,3,5,7
/proc/5422/task/5425/stat : 5425 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 37608 0 0 0 89395 606 0 0 25 0 3 0 989224224 430649344 93459 33554432000 4194304 5714118 140733857205936 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 420556
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900 s]
/proc/loadavg: 3.90 3.83 2.87 5/179 5493
/proc/meminfo: memFree=12422892/32951124 swapFree=67062556/67111528
[pid=5422] ppid=5420 vsize=420556 CPUtime=1800.04 cores=1,3,5,7
/proc/5422/stat : 5422 (pwbo1.1) S 5420 5422 4694 0 -1 4202496 93769 0 0 0 178821 1183 0 0 25 0 3 0 989224222 430649344 93459 33554432000 4194304 5714118 140733857205936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/5422/statm: 105139 93459 182 372 0 104764 0
[pid=5422/tid=5424] ppid=5420 vsize=420556 CPUtime=900.01 cores=1,3,5,7
/proc/5422/task/5424/stat : 5424 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 55169 0 0 0 89424 577 0 0 25 0 3 0 989224224 430649344 93459 33554432000 4194304 5714118 140733857205936 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=5422/tid=5425] ppid=5420 vsize=420556 CPUtime=900.01 cores=1,3,5,7
/proc/5422/task/5425/stat : 5425 (pwbo1.1) R 5420 5422 4694 0 -1 4202560 37608 0 0 0 89395 606 0 0 25 0 3 0 989224224 430649344 93459 33554432000 4194304 5714118 140733857205936 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 420556
Child status: 0
Real time (s): 900.028
CPU time (s): 1800.08
CPU user time (s): 1788.22
CPU system time (s): 11.8542
CPU usage (%): 200.003
Max. virtual memory (cumulated for all children) (KiB): 420556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.22
system time used= 11.8542
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93774
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= 101
involuntary context switches= 2157
runsolver used 1.34979 second user time and 3.20351 second system time
The end