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-3500583-1307996814/watcher-3500583-1307996814 -o /var/tmp/evaluation-result-3500583-1307996814/solver-3500583-1307996814 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500583-1307996814.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: 3.84 3.97 3.91 4/179 23488
/proc/meminfo: memFree=16511892/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=5224 CPUtime=0 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) R 23486 23488 21970 0 -1 4202496 551 0 0 0 0 0 0 0 23 0 1 0 911281141 5349376 503 33554432000 4194304 5714118 140733299372976 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/23488/statm: 1306 503 166 372 0 414 0
[startup+0.0241559 s]
/proc/loadavg: 3.84 3.97 3.91 4/179 23488
/proc/meminfo: memFree=16511892/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=6472 CPUtime=0.02 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) R 23486 23488 21970 0 -1 4202496 923 0 0 0 2 0 0 0 23 0 1 0 911281141 6627328 875 33554432000 4194304 5714118 140733299372976 18446744073709551615 4973014 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/23488/statm: 1618 875 228 372 0 726 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6472
[startup+0.100224 s]
/proc/loadavg: 3.84 3.97 3.91 4/179 23488
/proc/meminfo: memFree=16511892/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=11336 CPUtime=0.09 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) R 23486 23488 21970 0 -1 4202496 2409 0 0 0 9 0 0 0 23 0 1 0 911281141 11608064 2295 33554432000 4194304 5714118 140733299372976 18446744073709551615 4228496 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/23488/statm: 2834 2295 472 372 0 1942 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11336
[startup+0.301111 s]
/proc/loadavg: 3.84 3.97 3.91 4/179 23488
/proc/meminfo: memFree=16511892/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=160516 CPUtime=0.42 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) S 23486 23488 21970 0 -1 4202496 14035 0 0 0 36 6 0 0 24 0 3 0 911281141 164368384 12826 33554432000 4194304 5714118 140733299372976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23488/statm: 40129 12826 179 372 0 39754 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 160516
[startup+0.701043 s]
/proc/loadavg: 3.84 3.97 3.91 4/179 23488
/proc/meminfo: memFree=16511892/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=160516 CPUtime=1.22 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) S 23486 23488 21970 0 -1 4202496 15260 0 0 0 114 8 0 0 24 0 3 0 911281141 164368384 13056 33554432000 4194304 5714118 140733299372976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23488/statm: 40129 13056 179 372 0 39754 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 160516
[startup+1.5009 s]
/proc/loadavg: 3.84 3.97 3.91 5/182 23491
/proc/meminfo: memFree=16459564/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=160516 CPUtime=2.82 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) S 23486 23488 21970 0 -1 4202496 17057 0 0 0 269 13 0 0 24 0 3 0 911281141 164368384 13631 33554432000 4194304 5714118 140733299372976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23488/statm: 40129 13631 179 372 0 39754 0
[pid=23488/tid=23490] ppid=23486 vsize=160516 CPUtime=1.33 cores=0,2,4,6
/proc/23488/task/23490/stat : 23490 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 5232 0 0 0 132 1 0 0 25 0 3 0 911281157 164368384 13631 33554432000 4194304 5714118 140733299372976 18446744073709551615 4967679 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=23488/tid=23491] ppid=23486 vsize=160516 CPUtime=1.32 cores=0,2,4,6
/proc/23488/task/23491/stat : 23491 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 8187 0 0 0 121 11 0 0 19 0 3 0 911281157 164368384 13631 33554432000 4194304 5714118 140733299372976 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 160516
[startup+3.10068 s]
/proc/loadavg: 3.84 3.97 3.91 5/182 23491
/proc/meminfo: memFree=16454232/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=160516 CPUtime=6.02 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) S 23486 23488 21970 0 -1 4202496 20773 0 0 0 577 25 0 0 24 0 3 0 911281141 164368384 15277 33554432000 4194304 5714118 140733299372976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23488/statm: 40129 15277 180 372 0 39754 0
[pid=23488/tid=23490] ppid=23486 vsize=160516 CPUtime=2.93 cores=0,2,4,6
/proc/23488/task/23490/stat : 23490 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 7673 0 0 0 291 2 0 0 25 0 3 0 911281157 164368384 15277 33554432000 4194304 5714118 140733299372976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=23488/tid=23491] ppid=23486 vsize=160516 CPUtime=2.92 cores=0,2,4,6
/proc/23488/task/23491/stat : 23491 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 9462 0 0 0 270 22 0 0 18 0 3 0 911281157 164368384 15277 33554432000 4194304 5714118 140733299372976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 160516
[startup+6.3011 s]
/proc/loadavg: 3.85 3.97 3.91 5/182 23491
/proc/meminfo: memFree=16443336/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=160800 CPUtime=12.42 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) S 23486 23488 21970 0 -1 4202496 23254 0 0 0 1209 33 0 0 24 0 3 0 911281141 164659200 17755 33554432000 4194304 5714118 140733299372976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23488/statm: 40200 17755 180 372 0 39825 0
[pid=23488/tid=23490] ppid=23486 vsize=160800 CPUtime=6.13 cores=0,2,4,6
/proc/23488/task/23490/stat : 23490 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 9055 0 0 0 608 5 0 0 25 0 3 0 911281157 164659200 17755 33554432000 4194304 5714118 140733299372976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=23488/tid=23491] ppid=23486 vsize=160800 CPUtime=6.13 cores=0,2,4,6
/proc/23488/task/23491/stat : 23491 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 10561 0 0 0 585 28 0 0 25 0 3 0 911281157 164659200 17755 33554432000 4194304 5714118 140733299372976 18446744073709551615 4288575 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 160800
[startup+12.7009 s]
/proc/loadavg: 3.70 3.93 3.90 5/182 23532
/proc/meminfo: memFree=16606184/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=161112 CPUtime=25.22 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) S 23486 23488 21970 0 -1 4202496 26411 0 0 0 2473 49 0 0 24 0 3 0 911281141 164978688 20647 33554432000 4194304 5714118 140733299372976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23488/statm: 40278 20647 180 372 0 39903 0
[pid=23488/tid=23490] ppid=23486 vsize=161112 CPUtime=12.53 cores=0,2,4,6
/proc/23488/task/23490/stat : 23490 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 11229 0 0 0 1243 10 0 0 25 0 3 0 911281157 164978688 20647 33554432000 4194304 5714118 140733299372976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=23488/tid=23491] ppid=23486 vsize=161112 CPUtime=12.52 cores=0,2,4,6
/proc/23488/task/23491/stat : 23491 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 11544 0 0 0 1214 38 0 0 25 0 3 0 911281157 164978688 20647 33554432000 4194304 5714118 140733299372976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 161112
[startup+25.5006 s]
/proc/loadavg: 3.77 3.94 3.91 5/182 23533
/proc/meminfo: memFree=16499884/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=161708 CPUtime=50.82 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) S 23486 23488 21970 0 -1 4202496 31896 0 0 0 5014 68 0 0 24 0 3 0 911281141 165588992 26130 33554432000 4194304 5714118 140733299372976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23488/statm: 40427 26130 181 372 0 40052 0
[pid=23488/tid=23490] ppid=23486 vsize=161708 CPUtime=25.33 cores=0,2,4,6
/proc/23488/task/23490/stat : 23490 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 14938 0 0 0 2518 15 0 0 25 0 3 0 911281157 165588992 26130 33554432000 4194304 5714118 140733299372976 18446744073709551615 4319851 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=23488/tid=23491] ppid=23486 vsize=161708 CPUtime=25.32 cores=0,2,4,6
/proc/23488/task/23491/stat : 23491 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 13320 0 0 0 2480 52 0 0 25 0 3 0 911281157 165588992 26130 33554432000 4194304 5714118 140733299372976 18446744073709551615 4319392 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 161708
[startup+51.101 s]
/proc/loadavg: 3.85 3.94 3.91 5/182 23533
/proc/meminfo: memFree=16440924/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=163080 CPUtime=102.02 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) S 23486 23488 21970 0 -1 4202496 42154 0 0 0 10086 116 0 0 24 0 3 0 911281141 166993920 35914 33554432000 4194304 5714118 140733299372976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23488/statm: 40770 35914 181 372 0 40395 0
[pid=23488/tid=23490] ppid=23486 vsize=163080 CPUtime=50.93 cores=0,2,4,6
/proc/23488/task/23490/stat : 23490 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 19400 0 0 0 5070 23 0 0 25 0 3 0 911281157 166993920 35914 33554432000 4194304 5714118 140733299372976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=23488/tid=23491] ppid=23486 vsize=163080 CPUtime=50.92 cores=0,2,4,6
/proc/23488/task/23491/stat : 23491 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 19116 0 0 0 5000 92 0 0 25 0 3 0 911281157 166993920 35914 33554432000 4194304 5714118 140733299372976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.02
Current children cumulated vsize (KiB) 163080
[startup+102.307 s]
/proc/loadavg: 3.93 3.95 3.91 5/182 23535
/proc/meminfo: memFree=16332384/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=299560 CPUtime=204.43 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) S 23486 23488 21970 0 -1 4202496 53087 0 0 0 20294 149 0 0 24 0 3 0 911281141 306749440 46847 33554432000 4194304 5714118 140733299372976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23488/statm: 74890 46847 181 372 0 74515 0
[pid=23488/tid=23490] ppid=23486 vsize=299560 CPUtime=102.13 cores=0,2,4,6
/proc/23488/task/23490/stat : 23490 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 23296 0 0 0 10179 34 0 0 25 0 3 0 911281157 306749440 46847 33554432000 4194304 5714118 140733299372976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=23488/tid=23491] ppid=23486 vsize=299560 CPUtime=102.12 cores=0,2,4,6
/proc/23488/task/23491/stat : 23491 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 26153 0 0 0 10099 113 0 0 25 0 3 0 911281157 306749440 46847 33554432000 4194304 5714118 140733299372976 18446744073709551615 4319284 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.43
Current children cumulated vsize (KiB) 299560
[startup+162.3 s]
/proc/loadavg: 3.97 3.95 3.91 5/182 23536
/proc/meminfo: memFree=16229068/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=306048 CPUtime=324.42 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) S 23486 23488 21970 0 -1 4202496 65818 0 0 0 32263 179 0 0 24 0 3 0 911281141 313393152 59573 33554432000 4194304 5714118 140733299372976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23488/statm: 76512 59573 181 372 0 76137 0
[pid=23488/tid=23490] ppid=23486 vsize=306048 CPUtime=162.13 cores=0,2,4,6
/proc/23488/task/23490/stat : 23490 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 30178 0 0 0 16163 50 0 0 25 0 3 0 911281157 313393152 59573 33554432000 4194304 5714118 140733299372976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=23488/tid=23491] ppid=23486 vsize=306048 CPUtime=162.12 cores=0,2,4,6
/proc/23488/task/23491/stat : 23491 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 32002 0 0 0 16084 128 0 0 25 0 3 0 911281157 313393152 59573 33554432000 4194304 5714118 140733299372976 18446744073709551615 4319212 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 324.42
Current children cumulated vsize (KiB) 306048
[startup+222.301 s]
/proc/loadavg: 3.63 3.88 3.88 3/175 23682
/proc/meminfo: memFree=16460024/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=308252 CPUtime=444.42 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) S 23486 23488 21970 0 -1 4202496 72382 0 0 0 44224 218 0 0 24 0 3 0 911281141 315650048 66046 33554432000 4194304 5714118 140733299372976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23488/statm: 77063 66046 181 372 0 76688 0
[pid=23488/tid=23490] ppid=23486 vsize=308252 CPUtime=222.14 cores=0,2,4,6
/proc/23488/task/23490/stat : 23490 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 35400 0 0 0 22149 65 0 0 25 0 3 0 911281157 315650048 66046 33554432000 4194304 5714118 140733299372976 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=23488/tid=23491] ppid=23486 vsize=308252 CPUtime=222.12 cores=0,2,4,6
/proc/23488/task/23491/stat : 23491 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 33344 0 0 0 22059 153 0 0 25 0 3 0 911281157 315650048 66046 33554432000 4194304 5714118 140733299372976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 444.42
Current children cumulated vsize (KiB) 308252
[startup+282.301 s]
/proc/loadavg: 2.86 3.61 3.79 3/175 23844
/proc/meminfo: memFree=16431952/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=374896 CPUtime=564.42 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) S 23486 23488 21970 0 -1 4202496 79440 0 0 0 56195 247 0 0 24 0 3 0 911281141 383893504 73102 33554432000 4194304 5714118 140733299372976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23488/statm: 93724 73102 181 372 0 93349 0
[pid=23488/tid=23490] ppid=23486 vsize=374896 CPUtime=282.14 cores=0,2,4,6
/proc/23488/task/23490/stat : 23490 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 42178 0 0 0 28131 83 0 0 25 0 3 0 911281157 383893504 73102 33554432000 4194304 5714118 140733299372976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=23488/tid=23491] ppid=23486 vsize=374896 CPUtime=282.12 cores=0,2,4,6
/proc/23488/task/23491/stat : 23491 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 33624 0 0 0 28049 163 0 0 25 0 3 0 911281157 383893504 73102 33554432000 4194304 5714118 140733299372976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 564.42
Current children cumulated vsize (KiB) 374896
[startup+342.301 s]
/proc/loadavg: 2.39 3.34 3.68 3/175 24085
/proc/meminfo: memFree=16411464/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=376712 CPUtime=684.42 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) S 23486 23488 21970 0 -1 4202496 84410 0 0 0 68171 271 0 0 24 0 3 0 911281141 385753088 78066 33554432000 4194304 5714118 140733299372976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23488/statm: 94178 78066 181 372 0 93803 0
[pid=23488/tid=23490] ppid=23486 vsize=376712 CPUtime=342.14 cores=0,2,4,6
/proc/23488/task/23490/stat : 23490 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 46518 0 0 0 34117 97 0 0 25 0 3 0 911281157 385753088 78066 33554432000 4194304 5714118 140733299372976 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=23488/tid=23491] ppid=23486 vsize=376712 CPUtime=342.11 cores=0,2,4,6
/proc/23488/task/23491/stat : 23491 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 34254 0 0 0 34039 172 0 0 25 0 3 0 911281157 385753088 78066 33554432000 4194304 5714118 140733299372976 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 684.42
Current children cumulated vsize (KiB) 376712
[startup+402.301 s]
/proc/loadavg: 3.29 3.42 3.69 5/182 24143
/proc/meminfo: memFree=16130612/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=377244 CPUtime=804.42 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) S 23486 23488 21970 0 -1 4202496 90386 0 0 0 80131 311 0 0 24 0 3 0 911281141 386297856 84036 33554432000 4194304 5714118 140733299372976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23488/statm: 94311 84036 181 372 0 93936 0
[pid=23488/tid=23490] ppid=23486 vsize=377244 CPUtime=402.13 cores=0,2,4,6
/proc/23488/task/23490/stat : 23490 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 51402 0 0 0 40100 113 0 0 25 0 3 0 911281157 386297856 84036 33554432000 4194304 5714118 140733299372976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=23488/tid=23491] ppid=23486 vsize=377244 CPUtime=402.11 cores=0,2,4,6
/proc/23488/task/23491/stat : 23491 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 35346 0 0 0 40015 196 0 0 25 0 3 0 911281157 386297856 84036 33554432000 4194304 5714118 140733299372976 18446744073709551615 4305115 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 804.42
Current children cumulated vsize (KiB) 377244
[startup+462.301 s]
/proc/loadavg: 3.74 3.52 3.70 5/182 24144
/proc/meminfo: memFree=16069444/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=444172 CPUtime=924.43 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) S 23486 23488 21970 0 -1 4202496 95588 0 0 0 92107 336 0 0 24 0 3 0 911281141 454832128 89236 33554432000 4194304 5714118 140733299372976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23488/statm: 111043 89236 181 372 0 110668 0
[pid=23488/tid=23490] ppid=23486 vsize=444172 CPUtime=462.14 cores=0,2,4,6
/proc/23488/task/23490/stat : 23490 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 56392 0 0 0 46089 125 0 0 25 0 3 0 911281157 454832128 89236 33554432000 4194304 5714118 140733299372976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=23488/tid=23491] ppid=23486 vsize=444172 CPUtime=462.12 cores=0,2,4,6
/proc/23488/task/23491/stat : 23491 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 35558 0 0 0 46002 210 0 0 25 0 3 0 911281157 454832128 89236 33554432000 4194304 5714118 140733299372976 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 924.43
Current children cumulated vsize (KiB) 444172
[startup+522.301 s]
/proc/loadavg: 3.96 3.62 3.73 5/182 24146
/proc/meminfo: memFree=16060484/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=444652 CPUtime=1044.43 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) S 23486 23488 21970 0 -1 4202496 97601 0 0 0 104089 354 0 0 24 0 3 0 911281141 455323648 91246 33554432000 4194304 5714118 140733299372976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23488/statm: 111163 91246 181 372 0 110788 0
[pid=23488/tid=23490] ppid=23486 vsize=444652 CPUtime=522.14 cores=0,2,4,6
/proc/23488/task/23490/stat : 23490 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 58316 0 0 0 52079 135 0 0 25 0 3 0 911281157 455323648 91246 33554432000 4194304 5714118 140733299372976 18446744073709551615 4319349 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=23488/tid=23491] ppid=23486 vsize=444652 CPUtime=522.11 cores=0,2,4,6
/proc/23488/task/23491/stat : 23491 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 35647 0 0 0 51994 217 0 0 25 0 3 0 911281157 455323648 91246 33554432000 4194304 5714118 140733299372976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1044.43
Current children cumulated vsize (KiB) 444652
[startup+582.3 s]
/proc/loadavg: 3.98 3.69 3.74 5/182 24148
/proc/meminfo: memFree=15997836/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=447172 CPUtime=1164.43 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) S 23486 23488 21970 0 -1 4202496 105434 0 0 0 116057 386 0 0 24 0 3 0 911281141 457904128 99078 33554432000 4194304 5714118 140733299372976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23488/statm: 111793 99078 181 372 0 111418 0
[pid=23488/tid=23490] ppid=23486 vsize=447172 CPUtime=582.14 cores=0,2,4,6
/proc/23488/task/23490/stat : 23490 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 63256 0 0 0 58063 151 0 0 25 0 3 0 911281157 457904128 99078 33554432000 4194304 5714118 140733299372976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=23488/tid=23491] ppid=23486 vsize=447172 CPUtime=582.11 cores=0,2,4,6
/proc/23488/task/23491/stat : 23491 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 38540 0 0 0 57978 233 0 0 25 0 3 0 911281157 457904128 99078 33554432000 4194304 5714118 140733299372976 18446744073709551615 4305171 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1164.43
Current children cumulated vsize (KiB) 447172
[startup+642.301 s]
/proc/loadavg: 3.99 3.74 3.75 5/182 24149
/proc/meminfo: memFree=15959492/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=515800 CPUtime=1284.44 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) S 23486 23488 21970 0 -1 4202496 114505 0 0 0 128030 414 0 0 24 0 3 0 911281141 528179200 108147 33554432000 4194304 5714118 140733299372976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23488/statm: 128950 108147 181 372 0 128575 0
[pid=23488/tid=23490] ppid=23486 vsize=515800 CPUtime=642.15 cores=0,2,4,6
/proc/23488/task/23490/stat : 23490 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 69066 0 0 0 64050 165 0 0 25 0 3 0 911281157 528179200 108147 33554432000 4194304 5714118 140733299372976 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=23488/tid=23491] ppid=23486 vsize=515800 CPUtime=642.12 cores=0,2,4,6
/proc/23488/task/23491/stat : 23491 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 41801 0 0 0 63965 247 0 0 25 0 3 0 911281157 528179200 108147 33554432000 4194304 5714118 140733299372976 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1284.44
Current children cumulated vsize (KiB) 515800
[startup+702.301 s]
/proc/loadavg: 3.99 3.79 3.76 5/182 24151
/proc/meminfo: memFree=15927840/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=584684 CPUtime=1404.43 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) S 23486 23488 21970 0 -1 4202496 121992 0 0 0 140006 437 0 0 24 0 3 0 911281141 598716416 115485 33554432000 4194304 5714118 140733299372976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23488/statm: 146171 115485 181 372 0 145796 0
[pid=23488/tid=23490] ppid=23486 vsize=584684 CPUtime=702.15 cores=0,2,4,6
/proc/23488/task/23490/stat : 23490 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 73020 0 0 0 70039 176 0 0 25 0 3 0 911281157 598716416 115485 33554432000 4194304 5714118 140733299372976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=23488/tid=23491] ppid=23486 vsize=584684 CPUtime=702.11 cores=0,2,4,6
/proc/23488/task/23491/stat : 23491 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 45334 0 0 0 69951 260 0 0 25 0 3 0 911281157 598716416 115485 33554432000 4194304 5714118 140733299372976 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1404.43
Current children cumulated vsize (KiB) 584684
[startup+762.307 s]
/proc/loadavg: 3.99 3.82 3.77 5/182 24152
/proc/meminfo: memFree=15869284/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=585940 CPUtime=1524.44 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) S 23486 23488 21970 0 -1 4202496 126037 0 0 0 151983 461 0 0 24 0 3 0 911281141 600002560 119252 33554432000 4194304 5714118 140733299372976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23488/statm: 146485 119252 181 372 0 146110 0
[pid=23488/tid=23490] ppid=23486 vsize=585940 CPUtime=762.15 cores=0,2,4,6
/proc/23488/task/23490/stat : 23490 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 75152 0 0 0 76026 189 0 0 25 0 3 0 911281157 600002560 119252 33554432000 4194304 5714118 140733299372976 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=23488/tid=23491] ppid=23486 vsize=585940 CPUtime=762.12 cores=0,2,4,6
/proc/23488/task/23491/stat : 23491 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 47247 0 0 0 75942 270 0 0 25 0 3 0 911281157 600002560 119252 33554432000 4194304 5714118 140733299372976 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1524.44
Current children cumulated vsize (KiB) 585940
[startup+822.301 s]
/proc/loadavg: 4.03 3.87 3.79 5/182 24154
/proc/meminfo: memFree=15844468/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=586260 CPUtime=1644.43 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) S 23486 23488 21970 0 -1 4202496 127972 0 0 0 163959 484 0 0 24 0 3 0 911281141 600330240 121187 33554432000 4194304 5714118 140733299372976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23488/statm: 146565 121187 181 372 0 146190 0
[pid=23488/tid=23490] ppid=23486 vsize=586260 CPUtime=822.15 cores=0,2,4,6
/proc/23488/task/23490/stat : 23490 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 77022 0 0 0 82014 201 0 0 25 0 3 0 911281157 600330240 121187 33554432000 4194304 5714118 140733299372976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=23488/tid=23491] ppid=23486 vsize=586260 CPUtime=822.11 cores=0,2,4,6
/proc/23488/task/23491/stat : 23491 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 47312 0 0 0 81929 282 0 0 25 0 3 0 911281157 600330240 121187 33554432000 4194304 5714118 140733299372976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1644.43
Current children cumulated vsize (KiB) 586260
[startup+882.301 s]
/proc/loadavg: 4.01 3.89 3.80 5/182 24156
/proc/meminfo: memFree=15811076/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=586260 CPUtime=1764.43 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) S 23486 23488 21970 0 -1 4202496 131646 0 0 0 175945 498 0 0 24 0 3 0 911281141 600330240 124859 33554432000 4194304 5714118 140733299372976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23488/statm: 146565 124859 181 372 0 146190 0
[pid=23488/tid=23490] ppid=23486 vsize=586260 CPUtime=882.15 cores=0,2,4,6
/proc/23488/task/23490/stat : 23490 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 80680 0 0 0 88008 207 0 0 25 0 3 0 911281157 600330240 124859 33554432000 4194304 5714118 140733299372976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=23488/tid=23491] ppid=23486 vsize=586260 CPUtime=882.12 cores=0,2,4,6
/proc/23488/task/23491/stat : 23491 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 47328 0 0 0 87922 290 0 0 25 0 3 0 911281157 600330240 124859 33554432000 4194304 5714118 140733299372976 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1764.43
Current children cumulated vsize (KiB) 586260
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 4.00 3.89 3.81 5/182 24156
/proc/meminfo: memFree=15795448/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=587060 CPUtime=1800.04 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) S 23486 23488 21970 0 -1 4202496 134177 0 0 0 179501 503 0 0 24 0 3 0 911281141 601149440 127389 33554432000 4194304 5714118 140733299372976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23488/statm: 146765 127389 181 372 0 146390 0
[pid=23488/tid=23490] ppid=23486 vsize=587060 CPUtime=899.96 cores=0,2,4,6
/proc/23488/task/23490/stat : 23490 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 83050 0 0 0 89785 211 0 0 25 0 3 0 911281157 601149440 127389 33554432000 4194304 5714118 140733299372976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=23488/tid=23491] ppid=23486 vsize=587060 CPUtime=899.92 cores=0,2,4,6
/proc/23488/task/23491/stat : 23491 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 47489 0 0 0 89701 291 0 0 25 0 3 0 911281157 601149440 127389 33554432000 4194304 5714118 140733299372976 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 587060
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.101 s]
/proc/loadavg: 4.00 3.89 3.81 5/182 24156
/proc/meminfo: memFree=15795448/32950904 swapFree=67055440/67111528
[pid=23488] ppid=23486 vsize=587060 CPUtime=1800.04 cores=0,2,4,6
/proc/23488/stat : 23488 (pwbo1.1) S 23486 23488 21970 0 -1 4202496 134177 0 0 0 179501 503 0 0 24 0 3 0 911281141 601149440 127389 33554432000 4194304 5714118 140733299372976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/23488/statm: 146765 127389 181 372 0 146390 0
[pid=23488/tid=23490] ppid=23486 vsize=587060 CPUtime=899.96 cores=0,2,4,6
/proc/23488/task/23490/stat : 23490 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 83050 0 0 0 89785 211 0 0 25 0 3 0 911281157 601149440 127389 33554432000 4194304 5714118 140733299372976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=23488/tid=23491] ppid=23486 vsize=587060 CPUtime=899.92 cores=0,2,4,6
/proc/23488/task/23491/stat : 23491 (pwbo1.1) R 23486 23488 21970 0 -1 4202560 47489 0 0 0 89701 291 0 0 25 0 3 0 911281157 601149440 127389 33554432000 4194304 5714118 140733299372976 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 587060
Child status: 0
Real time (s): 900.135
CPU time (s): 1800.09
CPU user time (s): 1795.03
CPU system time (s): 5.06023
CPU usage (%): 199.98
Max. virtual memory (cumulated for all children) (KiB): 587060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.03
system time used= 5.06023
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134183
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= 835
involuntary context switches= 2751
runsolver used 1.45578 second user time and 2.98555 second system time
The end