runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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 /tmp/evaluation-result-3461249-1307069160/watcher-3461249-1307069160 -o /tmp/evaluation-result-3461249-1307069160/solver-3461249-1307069160 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461249-1307069160.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.00 1.83 1.42 2/473 22884
/proc/meminfo: memFree=20341048/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=4620 CPUtime=0.01 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 956 0 0 0 1 0 0 0 25 0 1 0 818515644 4730880 893 33554432000 4194304 5714214 140737158718992 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 1155 893 179 372 0 780 0
[startup+0.0684891 s]
/proc/loadavg: 2.00 1.83 1.42 2/473 22884
/proc/meminfo: memFree=20341048/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=4752 CPUtime=0.05 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 1004 0 0 0 5 0 0 0 25 0 1 0 818515644 4866048 941 33554432000 4194304 5714214 140737158718992 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 1188 941 180 372 0 813 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4752
[startup+0.100486 s]
/proc/loadavg: 2.00 1.83 1.42 2/473 22884
/proc/meminfo: memFree=20341048/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=5148 CPUtime=0.09 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 1085 0 0 0 9 0 0 0 25 0 1 0 818515644 5271552 1022 33554432000 4194304 5714214 140737158718992 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 1287 1022 180 372 0 912 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5148
[startup+0.300449 s]
/proc/loadavg: 2.00 1.83 1.42 2/473 22884
/proc/meminfo: memFree=20341048/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=6996 CPUtime=0.29 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 1563 0 0 0 28 1 0 0 25 0 1 0 818515644 7163904 1500 33554432000 4194304 5714214 140737158718992 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 1749 1500 180 372 0 1374 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6996
[startup+0.700378 s]
/proc/loadavg: 2.00 1.83 1.42 2/473 22884
/proc/meminfo: memFree=20341048/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=9768 CPUtime=0.69 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 2259 0 0 0 67 2 0 0 25 0 1 0 818515644 10002432 2196 33554432000 4194304 5714214 140737158718992 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 2442 2196 180 372 0 2067 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9768
[startup+1.50025 s]
/proc/loadavg: 2.00 1.83 1.42 3/474 22885
/proc/meminfo: memFree=20329880/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=15224 CPUtime=1.49 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 3615 0 0 0 146 3 0 0 25 0 1 0 818515644 15589376 3552 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 3806 3552 180 372 0 3431 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15224
[startup+3.1009 s]
/proc/loadavg: 2.00 1.83 1.42 3/474 22885
/proc/meminfo: memFree=20322444/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=23340 CPUtime=3.09 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 5627 0 0 0 305 4 0 0 25 0 1 0 818515644 23900160 5564 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 5835 5564 180 372 0 5460 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23340
[startup+6.30033 s]
/proc/loadavg: 2.00 1.83 1.43 3/474 22885
/proc/meminfo: memFree=20314040/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=28112 CPUtime=6.29 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 6843 0 0 0 624 5 0 0 25 0 1 0 818515644 28786688 6780 33554432000 4194304 5714214 140737158718992 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 7028 6780 180 372 0 6653 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28112
[startup+12.7002 s]
/proc/loadavg: 2.00 1.84 1.43 3/474 22885
/proc/meminfo: memFree=20305460/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=33404 CPUtime=12.69 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 8161 0 0 0 1261 8 0 0 25 0 1 0 818515644 34205696 8098 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 8351 8098 180 372 0 7976 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33404
[startup+25.501 s]
/proc/loadavg: 2.00 1.84 1.44 3/474 22886
/proc/meminfo: memFree=20261700/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=47712 CPUtime=25.49 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 11691 0 0 0 2537 12 0 0 25 0 1 0 818515644 48857088 11628 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 11928 11628 180 372 0 11553 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47712
[startup+51.1004 s]
/proc/loadavg: 2.00 1.85 1.45 3/474 22886
/proc/meminfo: memFree=20151712/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=85996 CPUtime=51.09 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 21231 0 0 0 5088 21 0 0 25 0 1 0 818515644 88059904 21168 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 21499 21168 180 372 0 21124 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 85996
[startup+102.317 s]
/proc/loadavg: 2.00 1.87 1.48 3/474 22888
/proc/meminfo: memFree=20093152/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=121856 CPUtime=102.31 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 30190 0 0 0 10190 41 0 0 25 0 1 0 818515644 124780544 30127 33554432000 4194304 5714214 140737158718992 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 30464 30127 180 372 0 30089 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 121856
[startup+162.301 s]
/proc/loadavg: 2.00 1.89 1.51 3/474 22889
/proc/meminfo: memFree=20037068/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=178436 CPUtime=162.3 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 44326 0 0 0 16169 61 0 0 25 0 1 0 818515644 182718464 44263 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319793 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 44609 44263 180 372 0 44234 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 178436
[startup+222.3 s]
/proc/loadavg: 2.00 1.91 1.54 3/474 22891
/proc/meminfo: memFree=20018436/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=197084 CPUtime=222.29 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 48972 0 0 0 22160 69 0 0 25 0 1 0 818515644 201814016 48909 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 49271 48909 180 372 0 48896 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 197084
[startup+282.301 s]
/proc/loadavg: 2.00 1.92 1.56 3/474 22893
/proc/meminfo: memFree=20018164/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=197084 CPUtime=282.29 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 48977 0 0 0 28154 75 0 0 25 0 1 0 818515644 201814016 48914 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 49271 48914 180 372 0 48896 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 197084
[startup+342.3 s]
/proc/loadavg: 2.11 1.97 1.60 3/474 22894
/proc/meminfo: memFree=20018256/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=197192 CPUtime=342.29 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 48990 0 0 0 34143 86 0 0 25 0 1 0 818515644 201924608 48927 33554432000 4194304 5714214 140737158718992 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 49298 48927 180 372 0 48923 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 197192
[startup+402.301 s]
/proc/loadavg: 2.04 1.97 1.62 3/474 22896
/proc/meminfo: memFree=20018352/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=197192 CPUtime=402.29 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 48990 0 0 0 40125 104 0 0 25 0 1 0 818515644 201924608 48927 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 49298 48927 180 372 0 48923 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 197192
[startup+462.301 s]
/proc/loadavg: 2.01 1.97 1.64 3/474 22897
/proc/meminfo: memFree=20018332/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=197192 CPUtime=462.3 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 48998 0 0 0 46109 121 0 0 25 0 1 0 818515644 201924608 48935 33554432000 4194304 5714214 140737158718992 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 49298 48935 180 372 0 48923 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 197192
[startup+522.3 s]
/proc/loadavg: 2.00 1.97 1.66 3/474 22899
/proc/meminfo: memFree=20018204/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=197192 CPUtime=522.3 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 48998 0 0 0 52098 132 0 0 25 0 1 0 818515644 201924608 48935 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 49298 48935 180 372 0 48923 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 197192
[startup+582.301 s]
/proc/loadavg: 2.04 1.99 1.68 3/474 22901
/proc/meminfo: memFree=20018064/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=197192 CPUtime=582.3 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 49007 0 0 0 58081 149 0 0 25 0 1 0 818515644 201924608 48944 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 49298 48944 180 372 0 48923 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 197192
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.99 1.74 3/474 22907
/proc/meminfo: memFree=19892444/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=281800 CPUtime=822.31 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 71251 0 0 0 82030 201 0 0 25 0 1 0 818515644 288563200 70031 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 70450 70031 180 372 0 70075 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 281800
[startup+882.3 s]
/proc/loadavg: 2.16 2.02 1.77 3/474 22909
/proc/meminfo: memFree=19737164/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=281800 CPUtime=882.31 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 71263 0 0 0 88014 217 0 0 25 0 1 0 818515644 288563200 70043 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 70450 70043 180 372 0 70075 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 281800
[startup+942.301 s]
/proc/loadavg: 2.06 2.01 1.78 3/474 22919
/proc/meminfo: memFree=19706708/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=281800 CPUtime=942.32 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 71263 0 0 0 94006 226 0 0 25 0 1 0 818515644 288563200 70043 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 70450 70043 180 372 0 70075 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 281800
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 1.79 3/474 22921
/proc/meminfo: memFree=19695260/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=281800 CPUtime=1002.31 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 71263 0 0 0 99998 233 0 0 25 0 1 0 818515644 288563200 70043 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 70450 70043 180 372 0 70075 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 281800
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/474 22922
/proc/meminfo: memFree=19695732/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=281800 CPUtime=1062.32 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 71263 0 0 0 105988 244 0 0 25 0 1 0 818515644 288563200 70043 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 70450 70043 180 372 0 70075 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 281800
[startup+1122.3 s]
/proc/loadavg: 2.11 2.03 1.82 3/474 22927
/proc/meminfo: memFree=19695596/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=282592 CPUtime=1122.32 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 71421 0 0 0 111974 258 0 0 25 0 1 0 818515644 289374208 70201 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319369 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 70648 70201 180 372 0 70273 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 282592
[startup+1182.3 s]
/proc/loadavg: 2.08 2.04 1.83 3/474 22929
/proc/meminfo: memFree=19692108/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=283672 CPUtime=1182.32 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 71612 0 0 0 117961 271 0 0 25 0 1 0 818515644 290480128 70392 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 70918 70392 180 372 0 70543 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 283672
[startup+1242.3 s]
/proc/loadavg: 2.03 2.03 1.84 3/474 22930
/proc/meminfo: memFree=19688968/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=285544 CPUtime=1242.32 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 71989 0 0 0 123949 283 0 0 25 0 1 0 818515644 292397056 70769 33554432000 4194304 5714214 140737158718992 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 71386 70769 180 372 0 71011 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 285544
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 1.85 3/474 22932
/proc/meminfo: memFree=19685332/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=286264 CPUtime=1302.33 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 72130 0 0 0 129939 294 0 0 25 0 1 0 818515644 293134336 70910 33554432000 4194304 5714214 140737158718992 18446744073709551615 4309552 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 71566 70910 180 372 0 71191 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 286264
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.85 3/474 22933
/proc/meminfo: memFree=19605184/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=372064 CPUtime=1362.32 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 93516 0 0 0 135923 309 0 0 25 0 1 0 818515644 380993536 92296 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 93016 92296 180 372 0 92641 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 372064
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 1.86 3/474 22935
/proc/meminfo: memFree=19550348/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=419388 CPUtime=1422.34 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 105290 0 0 0 141916 318 0 0 25 0 1 0 818515644 429453312 104070 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 104847 104070 180 372 0 104472 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 419388
[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 1.87 3/474 22937
/proc/meminfo: memFree=19517304/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=440828 CPUtime=1482.33 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 110648 0 0 0 147908 325 0 0 25 0 1 0 818515644 451407872 109428 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 110207 109428 180 372 0 109832 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 440828
[startup+1542.3 s]
/proc/loadavg: 2.05 2.03 1.88 3/474 22938
/proc/meminfo: memFree=19518264/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=440732 CPUtime=1542.33 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 110655 0 0 0 153901 332 0 0 25 0 1 0 818515644 451309568 109424 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319414 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 110183 109424 180 372 0 109808 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 440732
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 1.88 3/474 22940
/proc/meminfo: memFree=19517736/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=440728 CPUtime=1602.32 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 110880 0 0 0 159892 340 0 0 25 0 1 0 818515644 451305472 109431 33554432000 4194304 5714214 140737158718992 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 110182 109431 180 372 0 109807 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 440728
[startup+1662.3 s]
/proc/loadavg: 2.15 2.05 1.90 3/474 22941
/proc/meminfo: memFree=19492280/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=467348 CPUtime=1662.33 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 117470 0 0 0 165884 349 0 0 25 0 1 0 818515644 478564352 116021 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 116837 116021 180 372 0 116462 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 467348
[startup+1722.3 s]
/proc/loadavg: 2.12 2.05 1.91 3/474 22943
/proc/meminfo: memFree=19465952/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=492036 CPUtime=1722.34 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 123663 0 0 0 171876 358 0 0 25 0 1 0 818515644 503844864 122214 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 123009 122214 180 372 0 122634 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 492036
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 1.91 3/474 23000
/proc/meminfo: memFree=19905936/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=489740 CPUtime=1782.33 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 123663 0 0 0 177862 371 0 0 25 0 1 0 818515644 501493760 121650 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 122435 121650 180 372 0 122060 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 489740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.04 1.91 3/474 23000
/proc/meminfo: memFree=19898244/32950928 swapFree=61858088/67111528
[pid=22884] ppid=22882 vsize=489740 CPUtime=1800.05 cores=1,3,5,7
/proc/22884/stat : 22884 (wbo1.6) R 22882 22884 21173 0 -1 4202496 123664 0 0 0 179630 375 0 0 25 0 1 0 818515644 501493760 121651 33554432000 4194304 5714214 140737158718992 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22884/statm: 122435 121651 180 372 0 122060 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 489740
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.08
CPU user time (s): 1796.31
CPU system time (s): 3.77743
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 492036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.31
system time used= 3.77743
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123664
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= 5
involuntary context switches= 25122
runsolver used 7.97579 second user time and 19.868 second system time
The end