0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693437-1277904108.wbo>
0.00/0.03 c original problem has 3835 variables (2033 bin, 0 int, 0 impl, 1802 cont) and 4510 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.05 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs
0.00/0.09 c (round 2) 0 del vars, 71 del conss, 1802 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs
0.08/0.09 c (round 3) 53 del vars, 138 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs
0.09/0.11 c (round 4) 114 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 1950 impls, 9 clqs
0.09/0.12 c (round 5) 122 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 1950 impls, 9 clqs
0.09/0.17 c (0.1s) probing: 101/1972 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 122 deleted vars, 146 deleted constraints, 1810 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.17 c 1950 implications, 9 cliques
0.09/0.17 c presolved problem has 3713 variables (1972 bin, 0 int, 0 impl, 1741 cont) and 4364 constraints
0.09/0.17 c 1741 constraints of type <indicator>
0.09/0.17 c 9 constraints of type <setppc>
0.09/0.17 c 1741 constraints of type <linear>
0.09/0.17 c 873 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.11
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 0 | 15 | - | 13M| 0 | 7 |3713 |4364 |3713 | 882 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 87754
0.09/0.19 c y 0.1s| 1 | 0 | 15 | - | 13M| 0 | 7 |3713 |4364 |3713 | 882 | 0 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 72 | - | 13M| 0 | 27 |3713 |4364 |3713 | 897 | 15 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf
0.19/0.25 c 0.2s| 1 | 0 | 120 | - | 14M| 0 | 36 |3713 |4364 |3713 | 914 | 32 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf
0.29/0.30 c 0.2s| 1 | 0 | 150 | - | 14M| 0 | 27 |3713 |4364 |3713 | 922 | 40 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf
0.29/0.35 c 0.3s| 1 | 0 | 232 | - | 14M| 0 | 43 |3713 |4364 |3713 | 932 | 50 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf
0.39/0.42 c 0.4s| 1 | 0 | 363 | - | 15M| 0 | 33 |3713 |4364 |3713 | 941 | 59 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf
0.39/0.48 c 0.4s| 1 | 0 | 429 | - | 15M| 0 | 29 |3713 |4364 |3713 | 951 | 69 | 0 | 0 | 0.000000e+00 | 8.775400e+04 | Inf
1.10/1.15 c 1.1s| 1 | 2 | 429 | - | 15M| 0 | 29 |3713 |4364 |3713 | 951 | 69 | 0 | 29 | 0.000000e+00 | 8.775400e+04 | Inf
15.89/15.91 o 1271
15.89/15.91 c *15.4s| 5781 | 5697 | 21314 | 3.6 | 32M| 177 | - |3713 |4438 |3713 |1006 |3426 | 74 |1508 | 0.000000e+00 | 1.271000e+03 | Inf
23.19/23.21 c 22.4s| 10000 | 9896 | 31926 | 3.2 | 40M| 177 | 0 |3713 |4429 |3713 |1007 |5470 | 115 |1564 | 0.000000e+00 | 1.271000e+03 | Inf
37.69/37.74 c 36.4s| 20000 | 19840 | 44483 | 2.2 | 57M| 177 | 0 |3713 |4459 |3713 | 994 |7652 | 181 |1669 | 0.000000e+00 | 1.271000e+03 | Inf
50.99/51.00 c 49.2s| 30000 | 29840 | 52189 | 1.7 | 74M| 177 | 0 |3713 |4432 |3713 | 968 |9477 | 181 |1697 | 0.000000e+00 | 1.271000e+03 | Inf
61.70/61.74 c 59.6s| 40000 | 39840 | 53436 | 1.3 | 91M|1163 | 0 |3713 |4424 |3713 | 998 |9750 | 181 |1710 | 0.000000e+00 | 1.271000e+03 | Inf
72.60/72.61 c 70.1s| 50000 | 49840 | 55164 | 1.1 | 107M|1163 | 0 |3713 |4413 |3713 |1003 | 10k| 181 |1722 | 0.000000e+00 | 1.271000e+03 | Inf
83.60/83.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.60/83.63 c 80.7s| 60000 | 59838 | 57590 | 1.0 | 123M|1163 | 0 |3713 |4412 |3713 | 997 | 10k| 189 |1727 | 0.000000e+00 | 1.271000e+03 | Inf
94.20/94.29 c 91.0s| 70000 | 69836 | 58559 | 0.8 | 140M|1163 | 0 |3713 |4412 |3713 |1003 | 10k| 196 |1728 | 0.000000e+00 | 1.271000e+03 | Inf
105.30/105.37 c 102s| 80000 | 79832 | 61381 | 0.8 | 156M|1163 | 0 |3713 |4410 |3713 |1010 | 11k| 203 |1729 | 0.000000e+00 | 1.271000e+03 | Inf
116.10/116.17 c 112s| 90000 | 89830 | 62825 | 0.7 | 173M|1163 | 0 |3713 |4415 |3713 |1002 | 11k| 210 |1729 | 0.000000e+00 | 1.271000e+03 | Inf
126.89/126.91 c 122s|100000 | 99830 | 63914 | 0.6 | 189M|1163 | 0 |3713 |4413 |3713 | 997 | 12k| 210 |1730 | 0.000000e+00 | 1.271000e+03 | Inf
138.00/138.01 c 133s|110000 |109830 | 65570 | 0.6 | 206M|1163 | 0 |3713 |4411 |3713 | 995 | 12k| 210 |1730 | 0.000000e+00 | 1.271000e+03 | Inf
142.20/142.26 o 422
142.20/142.26 c * 137s|113707 |101875 | 67966 | 0.6 | 193M|1163 | - |3713 |4405 |3713 | 982 | 12k| 211 |1737 | 0.000000e+00 | 4.220000e+02 | Inf
142.90/142.95 o 417
142.90/142.95 c * 138s|114242 |102097 | 68262 | 0.6 | 194M|1163 | - |3713 |4413 |3713 | 989 | 12k| 220 |1737 | 0.000000e+00 | 4.170000e+02 | Inf
143.30/143.39 o 405
143.30/143.39 c * 138s|114571 |101548 | 68434 | 0.6 | 193M|1163 | - |3713 |4420 |3713 | 995 | 12k| 227 |1737 | 0.000000e+00 | 4.050000e+02 | Inf
143.80/143.80 o 370
143.80/143.80 c * 139s|114784 | 95499 | 69029 | 0.6 | 184M|1163 | - |3713 |4541 |3713 |1003 | 13k| 349 |1737 | 0.000000e+00 | 3.700000e+02 | Inf
143.80/143.86 o 351
143.80/143.86 c * 139s|114802 | 89677 | 69103 | 0.6 | 176M|1163 | - |3713 |4562 |3713 | 990 | 13k| 370 |1737 | 0.000000e+00 | 3.510000e+02 | Inf
143.90/143.91 o 330
143.90/143.91 c * 139s|114821 | 81742 | 69206 | 0.6 | 165M|1163 | - |3713 |4576 |3713 | 997 | 13k| 384 |1737 | 0.000000e+00 | 3.300000e+02 | Inf
143.90/143.99 o 312
143.90/143.99 c * 139s|114864 | 74265 | 69328 | 0.6 | 154M|1163 | - |3713 |4610 |3713 | 994 | 13k| 418 |1737 | 0.000000e+00 | 3.120000e+02 | Inf
144.50/144.59 o 283
144.50/144.59 c * 139s|115233 | 63338 | 69780 | 0.6 | 136M|1163 | - |3713 |4704 |3713 | 993 | 13k| 512 |1737 | 0.000000e+00 | 2.830000e+02 | Inf
144.60/144.61 o 255
144.60/144.61 c * 140s|115234 | 53482 | 69780 | 0.6 | 119M|1163 | - |3713 |4704 |3713 | 993 | 13k| 512 |1737 | 0.000000e+00 | 2.550000e+02 | Inf
144.60/144.69 o 233
144.60/144.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.60/144.69 c * 140s|115268 | 45989 | 69815 | 0.6 | 106M|1163 | - |3713 |4705 |3713 | 992 | 13k| 513 |1737 | 0.000000e+00 | 2.330000e+02 | Inf
144.69/144.70 o 221
144.69/144.70 c * 140s|115269 | 41876 | 69815 | 0.6 | 99M|1163 | - |3713 |4705 |3713 | 992 | 13k| 513 |1737 | 0.000000e+00 | 2.210000e+02 | Inf
145.00/145.03 o 183
145.00/145.03 c * 140s|115513 | 29289 | 69891 | 0.6 | 78M|1163 | - |3713 |4735 |3713 |1003 | 13k| 543 |1737 | 0.000000e+00 | 1.830000e+02 | Inf
145.10/145.14 o 181
145.10/145.14 c * 140s|115597 | 28741 | 69910 | 0.6 | 77M|1163 | - |3713 |4741 |3713 |1003 | 13k| 549 |1737 | 0.000000e+00 | 1.810000e+02 | Inf
145.10/145.17 o 162
145.10/145.17 c * 140s|115613 | 23197 | 69923 | 0.6 | 68M|1163 | - |3713 |4741 |3713 |1003 | 13k| 549 |1737 | 0.000000e+00 | 1.620000e+02 | Inf
145.20/145.21 o 153
145.20/145.21 c * 140s|115629 | 20680 | 69936 | 0.6 | 64M|1163 | - |3713 |4741 |3713 |1005 | 13k| 550 |1737 | 0.000000e+00 | 1.530000e+02 | Inf
145.30/145.31 o 151
145.30/145.31 c * 140s|115683 | 20183 | 70046 | 0.6 | 62M|1163 | - |3713 |4745 |3713 | 989 | 13k| 557 |1737 | 0.000000e+00 | 1.510000e+02 | Inf
145.30/145.32 o 143
145.30/145.32 c * 140s|115684 | 18363 | 70046 | 0.6 | 59M|1163 | - |3713 |4745 |3713 | 989 | 13k| 557 |1737 | 0.000000e+00 | 1.430000e+02 | Inf
145.70/145.72 o 107
145.70/145.72 c * 141s|115894 | 11880 | 70438 | 0.6 | 47M|1163 | - |3713 |4776 |3713 |1012 | 13k| 594 |1737 | 0.000000e+00 | 1.070000e+02 | Inf
145.90/145.96 o 102
145.90/145.96 c * 141s|115958 | 11082 | 71130 | 0.6 | 46M|1163 | - |3713 |4817 |3713 |1007 | 13k| 645 |1739 | 0.000000e+00 | 1.020000e+02 | Inf
145.90/145.97 o 77
145.90/145.97 c * 141s|115959 | 7646 | 71130 | 0.6 | 38M|1163 | - |3713 |4817 |3713 |1007 | 13k| 645 |1739 | 0.000000e+00 | 7.700000e+01 | Inf
146.10/146.13 o 68
146.10/146.13 c * 141s|116088 | 6384 | 71300 | 0.6 | 36M|1163 | - |3713 |4381 |3713 | 995 | 13k| 650 |1739 | 0.000000e+00 | 6.800000e+01 | Inf
146.20/146.26 o 62
146.20/146.26 c * 141s|116115 | 6051 | 71787 | 0.6 | 35M|1163 | - |3713 |4242 |3713 |1017 | 13k| 679 |1740 | 0.000000e+00 | 6.200000e+01 | Inf
146.70/146.75 o 60
146.70/146.75 c * 142s|116234 | 5947 | 73252 | 0.6 | 35M|1163 | - |3713 |4267 |3713 | 984 | 13k| 837 |1747 | 0.000000e+00 | 6.000000e+01 | Inf
147.31/147.32 o 59
147.31/147.32 c * 142s|116383 | 5913 | 75099 | 0.6 | 36M|1163 | - |3713 |4313 |3713 | 961 | 13k|1027 |1755 | 0.000000e+00 | 5.900000e+01 | Inf
147.31/147.33 o 50
147.31/147.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
147.31/147.33 c * 142s|116384 | 4233 | 75099 | 0.6 | 32M|1163 | - |3713 |4313 |3713 | 961 | 13k|1027 |1755 | 0.000000e+00 | 5.000000e+01 | Inf
154.50/154.51 o 38
154.50/154.51 c * 149s|119694 | 3511 | 93571 | 0.8 | 34M|1163 | - |3713 |6362 |3713 | 950 | 15k|5441 |1777 | 0.000000e+00 | 3.800000e+01 | Inf
155.10/155.11 c 149s|120000 | 3520 | 94832 | 0.8 | 34M|1163 | - |3713 |6330 | 0 | 0 | 15k|5930 |1777 | 0.000000e+00 | 3.800000e+01 | Inf
156.60/156.66 o 29
156.60/156.66 c * 151s|120741 | 3236 | 99096 | 0.8 | 33M|1163 | - |3713 |6643 |3713 | 963 | 15k|7056 |1782 | 0.000000e+00 | 2.900000e+01 | Inf
159.90/159.94 o 25
159.90/159.94 c * 154s|122611 | 3181 |106312 | 0.9 | 34M|1163 | - |3713 |7491 |3713 | 962 | 15k|9639 |1789 | 0.000000e+00 | 2.500000e+01 | Inf
160.20/160.26 o 20
160.20/160.26 c * 154s|122781 | 3154 |107043 | 0.9 | 34M|1163 | - |3713 |7318 |3713 | 979 | 15k|9858 |1790 | 0.000000e+00 | 2.000000e+01 | Inf
173.20/173.27 c 167s|130000 | 3033 |151342 | 1.2 | 36M|1163 | 1 |3713 |6402 |3713 | 962 | 17k| 19k|1791 | 0.000000e+00 | 2.000000e+01 | Inf
177.60/177.68 o 17
177.60/177.68 c * 171s|132697 | 3013 |162031 | 1.2 | 36M|1163 | - |3713 |8226 |3713 | 971 | 18k| 22k|1792 | 0.000000e+00 | 1.700000e+01 | Inf
190.40/190.43 c 183s|140000 | 3088 |201700 | 1.4 | 39M|1163 | 1 |3713 |9088 |3713 | 968 | 20k| 33k|1793 | 0.000000e+00 | 1.700000e+01 | Inf
208.20/208.23 c 200s|150000 | 3189 |262642 | 1.7 | 43M|1163 | 15 |3713 |9786 |3713 | 942 | 23k| 46k|1793 | 0.000000e+00 | 1.700000e+01 | Inf
227.00/227.08 c 217s|160000 | 3282 |318775 | 2.0 | 47M|1163 | - |3713 | 14k| 0 | 0 | 25k| 59k|1837 | 0.000000e+00 | 1.700000e+01 | Inf
242.01/242.01 o 14
242.01/242.01 c * 232s|167247 | 3447 |363713 | 2.2 | 48M|1163 | - |3713 | 18k|3713 | 976 | 28k| 68k|1911 | 0.000000e+00 | 1.400000e+01 | Inf
247.90/247.94 c 237s|170000 | 3525 |382826 | 2.2 | 49M|1163 | 21 |3713 | 17k|3713 | 971 | 29k| 72k|1949 | 0.000000e+00 | 1.400000e+01 | Inf
269.20/269.24 c 257s|180000 | 3441 |450079 | 2.5 | 49M|1163 | 1 |3713 | 13k|3713 | 975 | 32k| 86k|2055 | 0.000000e+00 | 1.400000e+01 | Inf
288.40/288.47 c 276s|190000 | 3167 |515615 | 2.7 | 47M|1163 | 1 |3713 |8870 |3713 | 950 | 35k| 100k|2246 | 0.000000e+00 | 1.400000e+01 | Inf
307.20/307.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.20/307.20 c 293s|200000 | 3186 |581732 | 2.9 | 50M|1163 | 21 |3713 | 12k|3713 | 958 | 37k| 113k|2417 | 0.000000e+00 | 1.400000e+01 | Inf
307.30/307.34 o 10
307.30/307.34 c * 294s|200075 | 2961 |582337 | 2.9 | 46M|1163 | - |3713 | 12k|3713 | 977 | 37k| 113k|2419 | 0.000000e+00 | 1.000000e+01 | Inf
313.90/313.95 o 7
313.90/313.95 c * 300s|203429 | 2347 |603227 | 3.0 | 36M|1163 | - |3713 |8129 |3713 | 963 | 38k| 118k|2487 | 0.000000e+00 | 7.000000e+00 | Inf
325.10/325.10 c 310s|210000 | 2317 |639791 | 3.0 | 37M|1163 | 19 |3713 |9836 |3713 | 949 | 39k| 127k|2586 | 0.000000e+00 | 7.000000e+00 | Inf
343.01/343.09 c 327s|220000 | 2420 |695015 | 3.2 | 40M|1163 | 15 |3713 | 14k|3713 | 982 | 41k| 141k|2689 | 0.000000e+00 | 7.000000e+00 | Inf
361.20/361.25 c 344s|230000 | 2356 |746033 | 3.2 | 40M|1163 | 11 |3713 | 13k|3713 | 959 | 42k| 155k|2766 | 0.000000e+00 | 7.000000e+00 | Inf
365.71/365.79 o 6
365.71/365.79 c * 349s|232369 | 2191 |758620 | 3.3 | 38M|1163 | - |3713 | 11k|3713 | 960 | 43k| 158k|2832 | 0.000000e+00 | 6.000000e+00 | Inf
372.91/372.95 o 4
372.91/372.95 c * 355s|236496 | 2200 |779329 | 3.3 | 38M|1163 | - |3713 | 12k|3713 | 954 | 44k| 163k|2903 | 0.000000e+00 | 4.000000e+00 | Inf
379.21/379.23 c 361s|240000 | 2202 |800451 | 3.3 | 39M|1163 | - |3713 | 13k| 0 | 0 | 45k| 168k|2917 | 0.000000e+00 | 4.000000e+00 | Inf
396.61/396.61 o 2
396.61/396.61 c * 378s|249253 | 2151 |859206 | 3.4 | 39M|1163 | - |3713 | 18k|3713 | 982 | 47k| 180k|3031 | 0.000000e+00 | 2.000000e+00 | Inf
398.01/398.04 c 379s|250000 | 2147 |863641 | 3.5 | 39M|1163 | 9 |3713 | 16k|3713 | 969 | 47k| 181k|3042 | 0.000000e+00 | 2.000000e+00 | Inf
409.61/409.61 o 1
409.61/409.61 c * 390s|255946 | 2090 |898886 | 3.5 | 38M|1163 | - |3713 | 15k|3713 | 967 | 48k| 189k|3124 | 0.000000e+00 | 1.000000e-00 | Inf
416.92/416.92 c 397s|260000 | 2069 |922089 | 3.5 | 38M|1163 | 11 |3713 | 14k|3713 | 972 | 48k| 195k|3127 | 0.000000e+00 | 1.000000e-00 | Inf
435.62/435.63 c 415s|270000 | 2087 |983222 | 3.6 | 40M|1163 | 1 |3713 | 19k|3713 | 995 | 50k| 208k|3249 | 0.000000e+00 | 1.000000e-00 | Inf
457.71/457.79 c 436s|280000 | 2161 | 1053k| 3.8 | 42M|1163 | - |3713 | 23k| 0 | 0 | 52k| 222k|3373 | 0.000000e+00 | 1.000000e-00 | Inf
481.02/481.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
481.02/481.06 c 458s|290000 | 2101 | 1128k| 3.9 | 41M|1163 | - |3713 | 22k| 0 | 0 | 53k| 237k|3460 | 0.000000e+00 | 1.000000e-00 | Inf
501.62/501.65 c 478s|300000 | 2154 | 1186k| 4.0 | 41M|1163 | 17 |3713 | 18k|3713 | 967 | 55k| 250k|3578 | 0.000000e+00 | 1.000000e-00 | Inf
521.42/521.47 c 497s|310000 | 2233 | 1237k| 4.0 | 43M|1163 | - |3713 | 23k| 0 | 0 | 57k| 264k|3670 | 0.000000e+00 | 1.000000e-00 | Inf
541.62/541.69 c 516s|320000 | 2285 | 1290k| 4.0 | 44M|1163 | 1 |3713 | 24k|3713 | 978 | 58k| 278k|3751 | 0.000000e+00 | 1.000000e-00 | Inf
563.02/563.07 c 537s|330000 | 2372 | 1344k| 4.1 | 46M|1163 | 20 |3713 | 28k|3713 | 977 | 60k| 293k|3805 | 0.000000e+00 | 1.000000e-00 | Inf
584.72/584.75 c 558s|340000 | 2327 | 1399k| 4.1 | 45M|1163 | - |3713 | 26k| 0 | 0 | 61k| 308k|3867 | 0.000000e+00 | 1.000000e-00 | Inf
605.32/605.31 c 577s|350000 | 2260 | 1452k| 4.1 | 44M|1163 | - |3713 | 24k| 0 | 0 | 63k| 322k|3986 | 0.000000e+00 | 1.000000e-00 | Inf
626.63/626.68 c 598s|360000 | 2257 | 1505k| 4.2 | 45M|1163 | 23 |3713 | 26k|3713 | 992 | 64k| 336k|4064 | 0.000000e+00 | 1.000000e-00 | Inf
649.72/649.72 c 620s|370000 | 2257 | 1567k| 4.2 | 45M|1163 | - |3713 | 24k| 0 | 0 | 66k| 350k|4153 | 0.000000e+00 | 1.000000e-00 | Inf
671.83/671.87 c 641s|380000 | 2342 | 1632k| 4.3 | 47M|1163 | 4 |3713 | 28k|3713 | 972 | 68k| 364k|4276 | 0.000000e+00 | 1.000000e-00 | Inf
694.82/694.82 c 663s|390000 | 2482 | 1689k| 4.3 | 49M|1163 | - |3713 | 31k| 0 | 0 | 69k| 378k|4356 | 0.000000e+00 | 1.000000e-00 | Inf
718.23/718.29 c 686s|400000 | 2499 | 1745k| 4.4 | 50M|1163 | - |3713 | 32k| 0 | 0 | 71k| 393k|4428 | 0.000000e+00 | 1.000000e-00 | Inf
742.23/742.25 c 709s|410000 | 2531 | 1803k| 4.4 | 51M|1163 | - |3713 | 33k| 0 | 0 | 72k| 408k|4495 | 0.000000e+00 | 1.000000e-00 | Inf
768.53/768.59 c 734s|420000 | 2587 | 1863k| 4.4 | 52M|1163 | - |3713 | 35k| 0 | 0 | 73k| 423k|4556 | 0.000000e+00 | 1.000000e-00 | Inf
794.63/794.66 c 759s|430000 | 2552 | 1925k| 4.5 | 52M|1163 | - |3713 | 35k| 0 | 0 | 75k| 438k|4620 | 0.000000e+00 | 1.000000e-00 | Inf
819.73/819.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
819.73/819.76 c 783s|440000 | 2553 | 1986k| 4.5 | 52M|1163 | - |3713 | 34k| 0 | 0 | 76k| 453k|4689 | 0.000000e+00 | 1.000000e-00 | Inf
844.33/844.31 c 807s|450000 | 2547 | 2043k| 4.5 | 52M|1163 | - |3713 | 33k| 0 | 0 | 78k| 467k|4762 | 0.000000e+00 | 1.000000e-00 | Inf
868.73/868.74 c 830s|460000 | 2525 | 2098k| 4.6 | 51M|1163 | - |3713 | 32k| 0 | 0 | 79k| 482k|4822 | 0.000000e+00 | 1.000000e-00 | Inf
894.24/894.29 c 855s|470000 | 2610 | 2160k| 4.6 | 53M|1163 | 1 |3713 | 34k|3713 | 985 | 81k| 496k|4889 | 0.000000e+00 | 1.000000e-00 | Inf
919.54/919.60 c 879s|480000 | 2545 | 2220k| 4.6 | 52M|1163 | - |3713 | 32k| 0 | 0 | 82k| 511k|4955 | 0.000000e+00 | 1.000000e-00 | Inf
943.74/943.73 c 903s|490000 | 2514 | 2279k| 4.7 | 52M|1163 | 1 |3713 | 33k|3713 | 981 | 83k| 526k|5019 | 0.000000e+00 | 1.000000e-00 | Inf
968.43/968.45 c 926s|500000 | 2483 | 2341k| 4.7 | 51M|1163 | - |3713 | 32k| 0 | 0 | 85k| 540k|5086 | 0.000000e+00 | 1.000000e-00 | Inf
994.24/994.29 c 951s|510000 | 2493 | 2403k| 4.7 | 52M|1163 | - |3713 | 33k| 0 | 0 | 87k| 555k|5162 | 0.000000e+00 | 1.000000e-00 | Inf
1019.44/1019.47 c 976s|520000 | 2439 | 2460k| 4.7 | 52M|1163 | 24 |3713 | 34k|3713 | 982 | 88k| 570k|5226 | 0.000000e+00 | 1.000000e-00 | Inf
1043.74/1043.70 c 999s|530000 | 2510 | 2517k| 4.7 | 52M|1163 | - |3713 | 33k| 0 | 0 | 90k| 584k|5279 | 0.000000e+00 | 1.000000e-00 | Inf
1067.34/1067.37 c 1022s|540000 | 2569 | 2574k| 4.8 | 55M|1163 | 1 |3713 | 38k|3713 | 999 | 91k| 599k|5332 | 0.000000e+00 | 1.000000e-00 | Inf
1092.64/1092.61 c 1046s|550000 | 2570 | 2628k| 4.8 | 55M|1163 | - |3713 | 36k| 0 | 0 | 93k| 613k|5392 | 0.000000e+00 | 1.000000e-00 | Inf
1118.05/1118.04 c 1070s|560000 | 2511 | 2683k| 4.8 | 53M|1163 | - |3713 | 32k|3713 | 962 | 94k| 627k|5480 | 0.000000e+00 | 1.000000e-00 | Inf
1142.54/1142.55 c 1094s|570000 | 2478 | 2740k| 4.8 | 52M|1163 | 1 |3713 | 31k|3713 | 961 | 96k| 640k|5531 | 0.000000e+00 | 1.000000e-00 | Inf
1167.84/1167.80 c 1118s|580000 | 2545 | 2799k| 4.8 | 53M|1163 | 13 |3713 | 33k|3713 | 976 | 97k| 654k|5594 | 0.000000e+00 | 1.000000e-00 | Inf
1193.65/1193.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1193.65/1193.69 c 1143s|590000 | 2533 | 2865k| 4.9 | 53M|1163 | - |3713 | 31k| 0 | 0 | 99k| 669k|5665 | 0.000000e+00 | 1.000000e-00 | Inf
1218.15/1218.17 c 1167s|600000 | 2600 | 2920k| 4.9 | 55M|1163 | - |3713 | 35k| 0 | 0 | 100k| 682k|5738 | 0.000000e+00 | 1.000000e-00 | Inf
1243.55/1243.57 c 1191s|610000 | 2546 | 2977k| 4.9 | 55M|1163 | - |3713 | 37k| 0 | 0 | 102k| 696k|5811 | 0.000000e+00 | 1.000000e-00 | Inf
1269.55/1269.54 c 1216s|620000 | 2655 | 3036k| 4.9 | 55M|1163 | - |3713 | 36k| 0 | 0 | 103k| 711k|5882 | 0.000000e+00 | 1.000000e-00 | Inf
1295.35/1295.33 c 1241s|630000 | 2651 | 3096k| 4.9 | 56M|1163 | 1 |3713 | 36k|3713 | 969 | 105k| 725k|5920 | 0.000000e+00 | 1.000000e-00 | Inf
1323.16/1323.15 c 1268s|640000 | 2640 | 3154k| 4.9 | 55M|1163 | 32 |3713 | 34k|3713 | 959 | 107k| 738k|5993 | 0.000000e+00 | 1.000000e-00 | Inf
1351.15/1351.10 c 1295s|650000 | 2656 | 3224k| 5.0 | 58M|1163 | - |3713 | 40k| 0 | 0 | 108k| 753k|6049 | 0.000000e+00 | 1.000000e-00 | Inf
1378.16/1378.18 c 1321s|660000 | 2494 | 3287k| 5.0 | 54M|1163 | - |3713 | 32k| 0 | 0 | 110k| 768k|6129 | 0.000000e+00 | 1.000000e-00 | Inf
1399.76/1399.73 c 1342s|670000 | 2333 | 3349k| 5.0 | 48M|1163 | 17 |3713 | 17k|3713 | 967 | 112k| 781k|6814 | 0.000000e+00 | 1.000000e-00 | Inf
1419.46/1419.47 c 1361s|680000 | 2335 | 3409k| 5.0 | 49M|1163 | - |3713 | 19k|3713 | 965 | 114k| 793k|6817 | 0.000000e+00 | 1.000000e-00 | Inf
1441.36/1441.31 c 1381s|690000 | 2392 | 3472k| 5.0 | 51M|1163 | 19 |3713 | 22k|3713 | 960 | 115k| 807k|6821 | 0.000000e+00 | 1.000000e-00 | Inf
1463.56/1463.53 c 1403s|700000 | 2438 | 3533k| 5.0 | 52M|1163 | 18 |3713 | 23k|3713 | 965 | 117k| 820k|6825 | 0.000000e+00 | 1.000000e-00 | Inf
1485.86/1485.80 c 1424s|710000 | 2459 | 3595k| 5.1 | 52M|1163 | 16 |3713 | 22k|3713 | 954 | 119k| 834k|6854 | 0.000000e+00 | 1.000000e-00 | Inf
1509.76/1509.79 c 1447s|720000 | 2461 | 3651k| 5.1 | 53M|1163 | - |3713 | 27k| 0 | 0 | 121k| 846k|6885 | 0.000000e+00 | 1.000000e-00 | Inf
1535.47/1535.42 c 1472s|730000 | 2453 | 3714k| 5.1 | 54M|1163 | - |3713 | 29k| 0 | 0 | 123k| 860k|6887 | 0.000000e+00 | 1.000000e-00 | Inf
1561.98/1561.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1561.98/1561.96 c 1497s|740000 | 2495 | 3772k| 5.1 | 54M|1163 | - |3713 | 28k| 0 | 0 | 125k| 873k|6954 | 0.000000e+00 | 1.000000e-00 | Inf
1587.67/1587.61 c 1522s|750000 | 2509 | 3826k| 5.1 | 56M|1163 | 7 |3713 | 33k|3713 | 960 | 126k| 887k|7018 | 0.000000e+00 | 1.000000e-00 | Inf
1615.07/1615.00 c 1548s|760000 | 2537 | 3880k| 5.1 | 57M|1163 | 15 |3713 | 34k|3713 | 957 | 128k| 900k|7055 | 0.000000e+00 | 1.000000e-00 | Inf
1642.38/1642.38 c 1575s|770000 | 2579 | 3935k| 5.1 | 58M|1163 | - |3713 | 37k| 0 | 0 | 130k| 914k|7087 | 0.000000e+00 | 1.000000e-00 | Inf
1671.77/1671.77 c 1603s|780000 | 2554 | 3995k| 5.1 | 58M|1163 | - |3713 | 35k| 0 | 0 | 132k| 928k|7141 | 0.000000e+00 | 1.000000e-00 | Inf
1702.37/1702.32 c 1633s|790000 | 2593 | 4057k| 5.1 | 59M|1163 | 1 |3713 | 38k|3713 | 953 | 133k| 942k|7199 | 0.000000e+00 | 1.000000e-00 | Inf
1731.08/1731.08 c 1661s|800000 | 2630 | 4110k| 5.1 | 61M|1163 | - |3713 | 41k| 0 | 0 | 135k| 956k|7237 | 0.000000e+00 | 1.000000e-00 | Inf
1759.58/1759.58 c 1689s|810000 | 2598 | 4164k| 5.1 | 61M|1163 | - |3713 | 42k| 0 | 0 | 137k| 970k|7254 | 0.000000e+00 | 1.000000e-00 | Inf
1790.98/1790.92 c 1719s|820000 | 2679 | 4219k| 5.1 | 62M|1163 | 1 |3713 | 43k|3713 | 978 | 139k| 984k|7321 | 0.000000e+00 | 1.000000e-00 | Inf
1800.09/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.00 c
1800.09/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.00 c Solving Time (sec) : 1727.86
1800.09/1800.00 c Solving Nodes : 822835
1800.09/1800.00 c Primal Bound : +1.00000000000000e-00 (154 solutions)
1800.09/1800.00 c Dual Bound : +0.00000000000000e+00
1800.09/1800.00 c Gap : infinite
1800.09/1800.03 s SATISFIABLE
1800.09/1800.03 v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210
1800.09/1800.03 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189
1800.09/1800.03 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 x170 -x169 -x168
1800.09/1800.03 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.09/1800.03 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125
1800.09/1800.03 v -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104
1800.09/1800.03 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80
1800.09/1800.03 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.09/1800.03 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.09/1800.03 v -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.09/1800.03 v -x1
1800.09/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.03 c Solving Time : 1727.86
1800.09/1800.03 c Original Problem :
1800.09/1800.03 c Problem name : HOME/instance-2693437-1277904108.wbo
1800.09/1800.03 c Variables : 3835 (2033 binary, 0 integer, 0 implicit integer, 1802 continuous)
1800.09/1800.03 c Constraints : 4510 initial, 4510 maximal
1800.09/1800.03 c Presolved Problem :
1800.09/1800.03 c Problem name : t_HOME/instance-2693437-1277904108.wbo
1800.09/1800.03 c Variables : 3713 (1972 binary, 0 integer, 0 implicit integer, 1741 continuous)
1800.09/1800.03 c Constraints : 4364 initial, 43550 maximal
1800.09/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.03 c trivial : 0.00 61 0 0 0 0 0 0 0
1800.09/1800.03 c dualfix : 0.01 61 0 0 0 0 0 0 0
1800.09/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.09/1800.03 c indicator : 0.00 0 0 0 0 0 61 0 0
1800.09/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.03 c linear : 0.04 0 0 0 1810 0 85 67 0
1800.09/1800.03 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.03 c root node : - 1741 - - 3482 - - - -
1800.09/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.03 c integral : 0 0 0 520418 0 36 411 0 0 773862
1800.09/1800.03 c indicator : 1741 0 955524 121420 0 112 1119849 0 0 0
1800.09/1800.03 c setppc : 9 6 3924547 114352 0 12975 992782 0 0 0
1800.09/1800.03 c linear : 1741 6 3934092 132440 0 187127 14945363 139464 0 0
1800.09/1800.03 c logicor : 873+ 6 1378908 113371 0 163704 3517494 0 0 0
1800.09/1800.03 c countsols : 0 0 0 113371 0 0 0 0 0 0
1800.09/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.03 c integral : 20.10 0.00 0.00 20.10 0.00
1800.09/1800.03 c indicator : 18.22 0.00 5.07 13.15 0.00
1800.09/1800.03 c setppc : 6.92 0.00 6.92 0.00 0.00
1800.09/1800.03 c linear : 137.74 0.00 133.72 4.02 0.00
1800.09/1800.03 c logicor : 348.13 0.00 347.28 0.85 0.00
1800.09/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.03 c vbounds : 0.01 2 0 0
1800.09/1800.03 c rootredcost : 0.01 39 0 1741
1800.09/1800.03 c pseudoobj : 123.71 3950641 2666 871296
1800.09/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.03 c propagation : 20.24 366472 366291 2347629 30.4 12911 23.5 -
1800.09/1800.03 c infeasible LP : 3.94 14494 14494 119643 45.6 178 16.9 0
1800.09/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.03 c pseudo solution : 0.00 19 19 94 14.3 20 6.2 -
1800.09/1800.03 c applied globally : - - - 988344 24.1 - - -
1800.09/1800.03 c applied locally : - - - 0 0.0 - - -
1800.09/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.03 c cut pool : 0.00 5 - - 30 - (maximal pool size: 324)
1800.09/1800.03 c redcost : 27.43 521358 0 125275 0 0
1800.09/1800.03 c impliedbounds : 0.00 6 0 0 0 0
1800.09/1800.03 c intobj : 0.00 0 0 0 0 0
1800.09/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.03 c gomory : 0.11 6 0 0 1518 0
1800.09/1800.03 c strongcg : 0.03 6 0 0 130 0
1800.09/1800.03 c cmir : 0.04 6 0 0 0 0
1800.09/1800.03 c flowcover : 0.04 6 0 0 0 0
1800.09/1800.03 c clique : 0.00 6 0 0 0 0
1800.09/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.03 c mcf : 0.00 1 0 0 0 0
1800.09/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.03 c Pricers : Time Calls Vars
1800.09/1800.03 c problem variables: 0.00 0 0
1800.09/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.03 c relpscost : 20.00 387282 36 411 0 0 773862
1800.09/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.03 c inference : 15.35 113333 0 0 0 0 226666
1800.09/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.03 c random : 0.00 0 0 0 0 0 0
1800.09/1800.03 c Primal Heuristics : Time Calls Found
1800.09/1800.03 c LP solutions : 0.15 - 38
1800.09/1800.03 c pseudo solutions : 0.00 - 0
1800.09/1800.03 c feaspump : 0.01 1 0
1800.09/1800.03 c oneopt : 0.14 34 0
1800.09/1800.03 c intshifting : 0.00 8 0
1800.09/1800.03 c crossover : 0.97 39 0
1800.09/1800.03 c coefdiving : 0.76 817 0
1800.09/1800.03 c linesearchdiving : 0.89 817 0
1800.09/1800.03 c guideddiving : 0.69 818 0
1800.09/1800.03 c pscostdiving : 0.53 818 0
1800.09/1800.03 c fracdiving : 0.67 818 0
1800.09/1800.03 c veclendiving : 0.83 818 0
1800.09/1800.03 c objpscostdiving : 0.70 800 0
1800.09/1800.03 c rootsoldiving : 0.93 800 0
1800.09/1800.03 c trivial : 0.01 2 0
1800.09/1800.03 c simplerounding : 0.51 387615 0
1800.09/1800.03 c zirounding : 0.15 1000 0
1800.09/1800.03 c rounding : 1.00 8734 0
1800.09/1800.03 c shifting : 1.15 2713 0
1800.09/1800.03 c twoopt : 0.00 0 0
1800.09/1800.03 c fixandinfer : 0.00 0 0
1800.09/1800.03 c intdiving : 0.00 0 0
1800.09/1800.03 c actconsdiving : 0.00 0 0
1800.09/1800.03 c octane : 0.00 0 0
1800.09/1800.03 c rens : 0.02 1 0
1800.09/1800.03 c rins : 0.00 0 0
1800.09/1800.03 c localbranching : 0.00 0 0
1800.09/1800.03 c mutation : 0.00 0 0
1800.09/1800.03 c dins : 0.00 0 0
1800.09/1800.03 c undercover : 0.00 0 0
1800.09/1800.03 c nlp : 0.00 0 0
1800.09/1800.03 c trysol : 0.93 3386 116
1800.09/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.03 c dual LP : 522.17 424278 4235450 9.98 8111.25
1800.09/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.03 c diving/probing LP: 0.21 167 1208 7.23 5752.38
1800.09/1800.03 c strong branching : 16.38 7321 179109 24.47 10934.62
1800.09/1800.03 c (at root node) : - 29 7990 275.52 -
1800.09/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.03 c B&B Tree :
1800.09/1800.03 c number of runs : 1
1800.09/1800.03 c nodes : 822835
1800.09/1800.03 c nodes (total) : 822835
1800.09/1800.03 c nodes left : 2654
1800.09/1800.03 c max depth : 1163
1800.09/1800.03 c max depth (total): 1163
1800.09/1800.03 c backtracks : 68508 (8.3%)
1800.09/1800.03 c delayed cutoffs : 61553
1800.09/1800.03 c repropagations : 1938495 (3911914 domain reductions, 58489 cutoffs)
1800.09/1800.03 c avg switch length: 6.08
1800.09/1800.03 c switching time : 275.15
1800.09/1800.03 c Solution :
1800.09/1800.03 c Solutions found : 154 (39 improvements)
1800.09/1800.03 c First Solution : +8.77540000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.09/1800.03 c Primal Bound : +1.00000000000000e-00 (in run 1, after 255946 nodes, 390.21 seconds, depth 35, found by <relaxation>)
1800.09/1800.03 c Dual Bound : +0.00000000000000e+00
1800.09/1800.03 c Gap : infinite
1800.09/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.03 c Root Iterations : 429
1800.19/1800.12 c Time complete: 1800.2.