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-3500421-1307995008/watcher-3500421-1307995008 -o /var/tmp/evaluation-result-3500421-1307995008/solver-3500421-1307995008 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500421-1307995008.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.00 4.00 3.93 3/179 23224
/proc/meminfo: memFree=15813520/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=4036 CPUtime=0 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) R 23222 23224 21970 0 -1 4202496 543 0 0 0 0 0 0 0 25 0 1 0 911100573 4132864 481 33554432000 4194304 5714118 140735207759968 18446744073709551615 4293688 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/23224/statm: 1127 490 162 372 0 752 0
[pid=23224/tid=23225] ppid=23222 vsize=84096 CPUtime=0 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 3 0 911100573 86114304 502 33554432000 4194304 5714118 140735207759968 18446744073709551615 5078151 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=70180 CPUtime=0 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 3 0 911100573 71864320 514 33554432000 4194304 5714118 140735207759968 18446744073709551615 5082345 0 0 4096 16387 0 0 0 -1 4 0 0 0
[startup+0.0407349 s]
/proc/loadavg: 4.00 4.00 3.93 3/179 23224
/proc/meminfo: memFree=15813520/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=172496 CPUtime=0.06 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 8731 0 0 0 4 2 0 0 25 0 3 0 911100573 176635904 8484 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 43124 8498 177 372 0 42749 0
[pid=23224/tid=23225] ppid=23222 vsize=172496 CPUtime=0.03 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 467 0 0 0 3 0 0 0 25 0 3 0 911100573 176635904 8505 33554432000 4194304 5714118 140735207759968 18446744073709551615 4336622 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=172496 CPUtime=0.03 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 7726 0 0 0 1 2 0 0 25 0 3 0 911100573 176635904 8511 33554432000 4194304 5714118 140735207759968 18446744073709551615 4315361 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 172496
[startup+0.100723 s]
/proc/loadavg: 4.00 4.00 3.93 3/179 23224
/proc/meminfo: memFree=15813520/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=181008 CPUtime=0.18 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 16243 0 0 0 15 3 0 0 25 0 3 0 911100573 185352192 15666 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 45252 15670 177 372 0 44877 0
[pid=23224/tid=23225] ppid=23222 vsize=181008 CPUtime=0.09 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) D 23222 23224 21970 0 -1 4202560 904 0 0 0 9 0 0 0 25 0 3 0 911100573 185352192 15673 33554432000 4194304 5714118 140735207759968 18446744073709551615 5013131 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=181008 CPUtime=0.08 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 14783 0 0 0 5 3 0 0 25 0 3 0 911100573 185352192 15678 33554432000 4194304 5714118 140735207759968 18446744073709551615 5078183 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 181008
[startup+0.300736 s]
/proc/loadavg: 4.00 4.00 3.93 3/179 23224
/proc/meminfo: memFree=15813520/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=185264 CPUtime=0.58 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 25373 0 0 0 51 7 0 0 25 0 3 0 911100573 189710336 24634 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 46316 24634 179 372 0 45941 0
[pid=23224/tid=23225] ppid=23222 vsize=185264 CPUtime=0.28 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 1359 0 0 0 27 1 0 0 25 0 3 0 911100573 189710336 24634 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=185264 CPUtime=0.28 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 23450 0 0 0 23 5 0 0 25 0 3 0 911100573 189710336 24634 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 185264
[startup+0.70073 s]
/proc/loadavg: 4.00 4.00 3.93 3/179 23224
/proc/meminfo: memFree=15813520/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=185456 CPUtime=1.38 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 26083 0 0 0 127 11 0 0 25 0 3 0 911100573 189906944 25280 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 46364 25280 179 372 0 45989 0
[pid=23224/tid=23225] ppid=23222 vsize=185456 CPUtime=0.69 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 2069 0 0 0 64 5 0 0 25 0 3 0 911100573 189906944 25280 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=185456 CPUtime=0.69 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 23450 0 0 0 63 6 0 0 25 0 3 0 911100573 189906944 25280 33554432000 4194304 5714118 140735207759968 18446744073709551615 4305133 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 185456
[startup+1.50053 s]
/proc/loadavg: 4.00 4.00 3.93 3/178 23228
/proc/meminfo: memFree=16620544/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=185456 CPUtime=2.98 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 27517 0 0 0 278 20 0 0 25 0 3 0 911100573 189906944 26714 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 46364 26714 179 372 0 45989 0
[pid=23224/tid=23225] ppid=23222 vsize=185456 CPUtime=1.49 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 3503 0 0 0 135 14 0 0 25 0 3 0 911100573 189906944 26714 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=185456 CPUtime=1.48 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 23450 0 0 0 142 6 0 0 25 0 3 0 911100573 189906944 26714 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 185456
[startup+3.10024 s]
/proc/loadavg: 4.00 4.00 3.93 3/178 23228
/proc/meminfo: memFree=16616200/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=185456 CPUtime=6.18 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 28509 0 0 0 592 26 0 0 25 0 3 0 911100573 189906944 27706 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 46364 27706 179 372 0 45989 0
[pid=23224/tid=23225] ppid=23222 vsize=185456 CPUtime=3.08 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 4472 0 0 0 289 19 0 0 25 0 3 0 911100573 189906944 27706 33554432000 4194304 5714118 140735207759968 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=185456 CPUtime=3.08 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 23473 0 0 0 302 6 0 0 25 0 3 0 911100573 189906944 27706 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319232 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 185456
[startup+6.30062 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23268
/proc/meminfo: memFree=16438164/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=185264 CPUtime=12.59 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 29565 0 0 0 1219 40 0 0 25 0 3 0 911100573 189710336 28729 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 46316 28729 179 372 0 45941 0
[pid=23224/tid=23225] ppid=23222 vsize=185264 CPUtime=6.28 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 5418 0 0 0 597 31 0 0 25 0 3 0 911100573 189710336 28729 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=185264 CPUtime=6.28 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 23583 0 0 0 620 8 0 0 25 0 3 0 911100573 189710336 28729 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 185264
[startup+12.7005 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23268
/proc/meminfo: memFree=16404924/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=185480 CPUtime=25.39 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 32206 0 0 0 2474 65 0 0 25 0 3 0 911100573 189931520 31370 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 46370 31370 180 372 0 45995 0
[pid=23224/tid=23225] ppid=23222 vsize=185480 CPUtime=12.68 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 7857 0 0 0 1214 54 0 0 25 0 3 0 911100573 189931520 31370 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=185480 CPUtime=12.68 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 23785 0 0 0 1258 10 0 0 25 0 3 0 911100573 189931520 31370 33554432000 4194304 5714118 140735207759968 18446744073709551615 4305171 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 185480
[startup+25.5002 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23269
/proc/meminfo: memFree=16313792/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=185872 CPUtime=50.99 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 35177 0 0 0 5004 95 0 0 25 0 3 0 911100573 190332928 34297 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 46468 34297 180 372 0 46093 0
[pid=23224/tid=23225] ppid=23222 vsize=185872 CPUtime=25.48 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 10186 0 0 0 2468 80 0 0 25 0 3 0 911100573 190332928 34297 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=185872 CPUtime=25.49 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 24427 0 0 0 2535 14 0 0 25 0 3 0 911100573 190332928 34297 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 185872
[startup+51.1008 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23269
/proc/meminfo: memFree=16222908/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=252132 CPUtime=102.18 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 43274 0 0 0 10066 152 0 0 25 0 3 0 911100573 258183168 42394 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 63033 42394 180 372 0 62658 0
[pid=23224/tid=23225] ppid=23222 vsize=252132 CPUtime=51.09 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 15434 0 0 0 4979 130 0 0 25 0 3 0 911100573 258183168 42394 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=252132 CPUtime=51.09 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 27276 0 0 0 5087 22 0 0 25 0 3 0 911100573 258183168 42394 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 252132
[startup+102.307 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23271
/proc/meminfo: memFree=16064476/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=317828 CPUtime=204.59 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 58209 0 0 0 20233 226 0 0 25 0 3 0 911100573 325455872 57329 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 79457 57329 180 372 0 79082 0
[pid=23224/tid=23225] ppid=23222 vsize=317828 CPUtime=102.28 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 25556 0 0 0 10033 195 0 0 25 0 3 0 911100573 325455872 57329 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=317828 CPUtime=102.29 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 32089 0 0 0 10199 30 0 0 25 0 3 0 911100573 325455872 57329 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 317828
[startup+162.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23272
/proc/meminfo: memFree=15829832/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=318624 CPUtime=324.59 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 65700 0 0 0 32143 316 0 0 25 0 3 0 911100573 326270976 63059 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 79656 63059 180 372 0 79281 0
[pid=23224/tid=23225] ppid=23222 vsize=318624 CPUtime=162.28 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 28404 0 0 0 15957 271 0 0 25 0 3 0 911100573 326270976 63059 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=318624 CPUtime=162.29 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 36732 0 0 0 16185 44 0 0 25 0 3 0 911100573 326270976 63059 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 318624
[startup+222.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23274
/proc/meminfo: memFree=15595816/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=384160 CPUtime=444.59 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 72780 0 0 0 44075 384 0 0 25 0 3 0 911100573 393379840 70139 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 96040 70139 180 372 0 95665 0
[pid=23224/tid=23225] ppid=23222 vsize=384160 CPUtime=222.28 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 35460 0 0 0 21898 330 0 0 25 0 3 0 911100573 393379840 70139 33554432000 4194304 5714118 140735207759968 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=384160 CPUtime=222.29 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 36756 0 0 0 22176 53 0 0 25 0 3 0 911100573 393379840 70139 33554432000 4194304 5714118 140735207759968 18446744073709551615 4322702 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 384160
[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23284
/proc/meminfo: memFree=15477712/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=384300 CPUtime=564.59 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 72906 0 0 0 55991 468 0 0 25 0 3 0 911100573 393523200 70265 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 96075 70265 180 372 0 95700 0
[pid=23224/tid=23225] ppid=23222 vsize=384300 CPUtime=282.28 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 35579 0 0 0 27825 403 0 0 25 0 3 0 911100573 393523200 70265 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=384300 CPUtime=282.29 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 36763 0 0 0 28165 64 0 0 25 0 3 0 911100573 393523200 70265 33554432000 4194304 5714118 140735207759968 18446744073709551615 4305171 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 384300
[startup+342.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23286
/proc/meminfo: memFree=15468984/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=384448 CPUtime=684.6 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 72991 0 0 0 67925 535 0 0 25 0 3 0 911100573 393674752 70350 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 96112 70350 180 372 0 95737 0
[pid=23224/tid=23225] ppid=23222 vsize=384448 CPUtime=342.29 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 35617 0 0 0 33772 457 0 0 25 0 3 0 911100573 393674752 70350 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=384448 CPUtime=342.29 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 36810 0 0 0 34152 77 0 0 25 0 3 0 911100573 393674752 70350 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 384448
[startup+402.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23288
/proc/meminfo: memFree=15363444/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=384448 CPUtime=804.6 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 89463 0 0 0 79826 634 0 0 25 0 3 0 911100573 393674752 86822 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 96112 86822 180 372 0 95737 0
[pid=23224/tid=23225] ppid=23222 vsize=384448 CPUtime=402.29 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 49498 0 0 0 39685 544 0 0 25 0 3 0 911100573 393674752 86822 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=384448 CPUtime=402.29 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 39401 0 0 0 40140 89 0 0 25 0 3 0 911100573 393674752 86822 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 384448
[startup+462.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23292
/proc/meminfo: memFree=15334628/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=449984 CPUtime=924.6 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 95003 0 0 0 91746 714 0 0 25 0 3 0 911100573 460783616 92362 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 112496 92362 180 372 0 112121 0
[pid=23224/tid=23225] ppid=23222 vsize=449984 CPUtime=462.29 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 55038 0 0 0 45620 609 0 0 25 0 3 0 911100573 460783616 92362 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=449984 CPUtime=462.3 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 39401 0 0 0 46125 105 0 0 25 0 3 0 911100573 460783616 92362 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 449984
[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23294
/proc/meminfo: memFree=15250244/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=515788 CPUtime=1044.6 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 108930 0 0 0 103668 792 0 0 25 0 3 0 911100573 528166912 105920 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 128947 105920 180 372 0 128572 0
[pid=23224/tid=23225] ppid=23222 vsize=515788 CPUtime=522.3 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 63785 0 0 0 51554 676 0 0 25 0 3 0 911100573 528166912 105920 33554432000 4194304 5714118 140735207759968 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=515788 CPUtime=522.3 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 44581 0 0 0 52114 116 0 0 25 0 3 0 911100573 528166912 105920 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 515788
[startup+582.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23295
/proc/meminfo: memFree=15135760/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=581780 CPUtime=1164.61 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 126241 0 0 0 115577 884 0 0 25 0 3 0 911100573 595742720 123231 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 145445 123231 180 372 0 145070 0
[pid=23224/tid=23225] ppid=23222 vsize=581780 CPUtime=582.3 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 72852 0 0 0 57475 755 0 0 18 0 3 0 911100573 595742720 123231 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=581780 CPUtime=582.29 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 52825 0 0 0 58101 128 0 0 25 0 3 0 911100573 595742720 123231 33554432000 4194304 5714118 140735207759968 18446744073709551615 4322605 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 581780
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23297
/proc/meminfo: memFree=15080180/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=581972 CPUtime=1284.62 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 135230 0 0 0 127508 954 0 0 25 0 3 0 911100573 595939328 132126 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 145493 132126 180 372 0 145118 0
[pid=23224/tid=23225] ppid=23222 vsize=581972 CPUtime=642.3 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 80897 0 0 0 63412 818 0 0 25 0 3 0 911100573 595939328 132126 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=581972 CPUtime=642.3 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 53769 0 0 0 64094 136 0 0 25 0 3 0 911100573 595939328 132126 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 581972
[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23299
/proc/meminfo: memFree=15053256/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=647508 CPUtime=1404.62 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 141840 0 0 0 139424 1038 0 0 25 0 3 0 911100573 663048192 138736 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 161877 138736 180 372 0 161502 0
[pid=23224/tid=23225] ppid=23222 vsize=647508 CPUtime=702.29 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 87476 0 0 0 69334 895 0 0 25 0 3 0 911100573 663048192 138736 33554432000 4194304 5714118 140735207759968 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=647508 CPUtime=702.3 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 53800 0 0 0 70088 142 0 0 25 0 3 0 911100573 663048192 138736 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 647508
[startup+762.306 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23300
/proc/meminfo: memFree=15030764/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=647660 CPUtime=1524.63 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 147422 0 0 0 151370 1093 0 0 25 0 3 0 911100573 663203840 144318 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 161915 144318 180 372 0 161540 0
[pid=23224/tid=23225] ppid=23222 vsize=647660 CPUtime=762.31 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 93038 0 0 0 75291 940 0 0 25 0 3 0 911100573 663203840 144318 33554432000 4194304 5714118 140735207759968 18446744073709551615 4200768 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=647660 CPUtime=762.31 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 53820 0 0 0 76078 153 0 0 25 0 3 0 911100573 663203840 144318 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 647660
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23302
/proc/meminfo: memFree=14986848/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=713196 CPUtime=1644.62 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 158806 0 0 0 163298 1164 0 0 25 0 3 0 911100573 730312704 155702 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 178299 155702 180 372 0 177924 0
[pid=23224/tid=23225] ppid=23222 vsize=713196 CPUtime=822.3 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 104417 0 0 0 81228 1002 0 0 25 0 3 0 911100573 730312704 155702 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=713196 CPUtime=822.3 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 53825 0 0 0 82069 161 0 0 25 0 3 0 911100573 730312704 155702 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 713196
[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23303
/proc/meminfo: memFree=14882412/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=713196 CPUtime=1764.63 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 160920 0 0 0 175242 1221 0 0 25 0 3 0 911100573 730312704 157745 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 178299 157745 180 372 0 177924 0
[pid=23224/tid=23225] ppid=23222 vsize=713196 CPUtime=882.31 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 106522 0 0 0 87181 1050 0 0 25 0 3 0 911100573 730312704 157745 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=713196 CPUtime=882.31 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 53834 0 0 0 88060 171 0 0 25 0 3 0 911100573 730312704 157745 33554432000 4194304 5714118 140735207759968 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.63
Current children cumulated vsize (KiB) 713196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23304
/proc/meminfo: memFree=14841608/32950904 swapFree=67055440/67111528
[pid=23224] ppid=23222 vsize=713196 CPUtime=1800.04 cores=0,2,4,6
/proc/23224/stat : 23224 (pwbo1.1) S 23222 23224 21970 0 -1 4202496 161918 0 0 0 178770 1234 0 0 25 0 3 0 911100573 730312704 158743 33554432000 4194304 5714118 140735207759968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/23224/statm: 178299 158743 180 372 0 177924 0
[pid=23224/tid=23225] ppid=23222 vsize=713196 CPUtime=900.01 cores=0,2,4,6
/proc/23224/task/23225/stat : 23225 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 107517 0 0 0 88941 1060 0 0 25 0 3 0 911100573 730312704 158743 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23224/tid=23226] ppid=23222 vsize=713196 CPUtime=900.01 cores=0,2,4,6
/proc/23224/task/23226/stat : 23226 (pwbo1.1) R 23222 23224 21970 0 -1 4202560 53837 0 0 0 89828 173 0 0 25 0 3 0 911100573 730312704 158743 33554432000 4194304 5714118 140735207759968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 713196
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.041
CPU time (s): 1800.08
CPU user time (s): 1787.71
CPU system time (s): 12.3691
CPU usage (%): 200
Max. virtual memory (cumulated for all children) (KiB): 713196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.71
system time used= 12.3691
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161926
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= 309
involuntary context switches= 3038
runsolver used 1.44578 second user time and 2.96855 second system time
The end