0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2692926-1277910905.wbo>
0.00/0.03 c original problem has 3967 variables (2099 bin, 0 int, 0 impl, 1868 cont) and 4576 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.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.00/0.09 c (round 2) 0 del vars, 67 del conss, 1868 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.09/0.10 c (round 3) 49 del vars, 134 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.09/0.11 c (round 4) 106 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 2006 impls, 5 clqs
0.09/0.12 c (round 5) 114 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 2006 impls, 5 clqs
0.09/0.16 c (0.1s) probing: 101/2042 (4.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (6 rounds):
0.09/0.16 c 114 deleted vars, 142 deleted constraints, 1876 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.16 c 2006 implications, 5 cliques
0.09/0.16 c presolved problem has 3853 variables (2042 bin, 0 int, 0 impl, 1811 cont) and 4434 constraints
0.09/0.16 c 1811 constraints of type <indicator>
0.09/0.16 c 5 constraints of type <setppc>
0.09/0.16 c 1811 constraints of type <linear>
0.09/0.16 c 807 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.11
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.97
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.17 c
0.09/0.17 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.17 c 0.1s| 1 | 0 | 8 | - | 14M| 0 | 6 |3853 |4434 |3853 | 812 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 o 92548
0.09/0.18 c y 0.1s| 1 | 0 | 18 | - | 14M| 0 | 6 |3853 |4434 |3853 | 812 | 0 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.19/0.20 c 0.1s| 1 | 0 | 63 | - | 14M| 0 | 27 |3853 |4434 |3853 | 829 | 17 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 152 | - | 14M| 0 | 43 |3853 |4434 |3853 | 864 | 52 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.29/0.30 c 0.2s| 1 | 0 | 184 | - | 14M| 0 | 46 |3853 |4434 |3853 | 877 | 65 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.29/0.36 c 0.3s| 1 | 0 | 193 | - | 14M| 0 | 48 |3853 |4434 |3853 | 882 | 70 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.39/0.43 c 0.4s| 1 | 0 | 215 | - | 14M| 0 | 51 |3853 |4434 |3853 | 889 | 77 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.49/0.50 c 0.4s| 1 | 0 | 230 | - | 14M| 0 | 51 |3853 |4434 |3853 | 894 | 82 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.89/0.91 c 0.8s| 1 | 2 | 230 | - | 14M| 0 | 51 |3853 |4434 |3853 | 894 | 82 | 0 | 33 | 0.000000e+00 | 9.254800e+04 | Inf
19.19/19.28 c 19.0s| 10000 | 10001 | 15460 | 1.5 | 37M| 365 | 0 |3853 |4434 |3853 | 956 |1715 | 0 |1000 | 0.000000e+00 | 9.254800e+04 | Inf
32.79/32.81 c 32.3s| 20000 | 20001 | 22309 | 1.1 | 54M| 365 | 0 |3853 |4434 |3853 | 950 |3123 | 0 |1137 | 0.000000e+00 | 9.254800e+04 | Inf
47.79/47.87 c 47.2s| 30000 | 29997 | 37631 | 1.2 | 71M| 365 | 0 |3853 |4444 |3853 | 990 |5389 | 10 |1418 | 0.000000e+00 | 9.254800e+04 | Inf
61.49/61.57 c 60.7s| 40000 | 39987 | 46723 | 1.2 | 89M| 365 | 0 |3853 |4453 |3853 | 932 |6962 | 28 |1462 | 0.000000e+00 | 9.254800e+04 | Inf
74.39/74.42 c 73.4s| 50000 | 49987 | 49905 | 1.0 | 106M| 365 | 0 |3853 |4452 |3853 | 945 |7950 | 28 |1469 | 0.000000e+00 | 9.254800e+04 | Inf
88.59/88.67 c 87.4s| 60000 | 59975 | 62847 | 1.0 | 123M| 365 | 0 |3853 |4485 |3853 | 936 |9853 | 64 |1498 | 0.000000e+00 | 9.254800e+04 | Inf
102.09/102.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.09/102.17 c 101s| 70000 | 69973 | 71038 | 1.0 | 140M| 365 | 0 |3853 |4480 |3853 | 938 | 11k| 74 |1515 | 0.000000e+00 | 9.254800e+04 | Inf
115.99/116.01 c 114s| 80000 | 79973 | 81182 | 1.0 | 156M| 365 | 0 |3853 |4465 |3853 | 945 | 12k| 74 |1549 | 0.000000e+00 | 9.254800e+04 | Inf
129.49/129.55 c 128s| 90000 | 89971 | 89326 | 1.0 | 173M| 365 | 0 |3853 |4469 |3853 | 925 | 13k| 80 |1562 | 0.000000e+00 | 9.254800e+04 | Inf
130.89/131.00 o 847
130.89/131.00 c * 129s| 91016 | 58933 | 90577 | 1.0 | 124M| 365 | - |3853 |4469 |3853 | 945 | 13k| 80 |1562 | 0.000000e+00 | 8.470000e+02 | Inf
131.69/131.78 o 842
131.69/131.78 c * 130s| 91394 | 58673 | 91874 | 1.0 | 124M| 365 | - |3853 |4730 |3853 | 928 | 13k| 341 |1562 | 0.000000e+00 | 8.420000e+02 | Inf
132.39/132.42 o 800
132.39/132.42 c * 131s| 91713 | 54457 | 92259 | 1.0 | 118M| 365 | - |3853 |4817 |3853 | 951 | 14k| 435 |1564 | 0.000000e+00 | 8.000000e+02 | Inf
132.59/132.61 o 792
132.59/132.61 c * 131s| 91793 | 53583 | 92841 | 1.0 | 117M| 365 | - |3853 |4848 |3853 | 948 | 14k| 471 |1564 | 0.000000e+00 | 7.920000e+02 | Inf
133.49/133.58 o 764
133.49/133.58 c * 132s| 92214 | 50766 | 95530 | 1.0 | 112M| 365 | - |3853 |5070 |3853 | 937 | 14k| 710 |1567 | 0.000000e+00 | 7.640000e+02 | Inf
133.89/133.92 o 762
133.89/133.92 c * 132s| 92373 | 50677 | 96278 | 1.0 | 112M| 365 | - |3853 |5121 |3853 | 940 | 14k| 768 |1567 | 0.000000e+00 | 7.620000e+02 | Inf
133.99/134.03 o 753
133.99/134.03 c * 132s| 92423 | 49639 | 96401 | 1.0 | 110M| 365 | - |3853 |5125 |3853 | 932 | 14k| 777 |1567 | 0.000000e+00 | 7.530000e+02 | Inf
134.60/134.62 o 745
134.60/134.62 c * 133s| 92697 | 48949 | 97419 | 1.0 | 110M| 365 | - |3853 |5159 |3853 | 932 | 14k| 838 |1571 | 0.000000e+00 | 7.450000e+02 | Inf
134.69/134.75 o 704
134.69/134.75 c * 133s| 92757 | 43890 | 97608 | 1.0 | 101M| 365 | - |3853 |5222 |3853 | 938 | 14k| 917 |1571 | 0.000000e+00 | 7.040000e+02 | Inf
134.99/135.06 o 701
134.99/135.06 c * 133s| 92899 | 43629 | 97937 | 1.1 | 101M| 365 | - |3853 |5241 |3853 | 933 | 14k| 966 |1572 | 0.000000e+00 | 7.010000e+02 | Inf
135.40/135.46 o 665
135.40/135.46 c * 134s| 93078 | 39287 | 98728 | 1.1 | 93M| 365 | - |3853 |5234 |3853 | 939 | 14k| 983 |1577 | 0.000000e+00 | 6.650000e+02 | Inf
136.40/136.50 o 627
136.40/136.50 c * 135s| 93599 | 35481 |100228 | 1.1 | 87M| 365 | - |3853 |5351 |3853 | 948 | 15k|1211 |1580 | 0.000000e+00 | 6.270000e+02 | Inf
136.90/136.91 o 626
136.90/136.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
136.90/136.91 c * 135s| 93785 | 35531 |101074 | 1.1 | 88M| 365 | - |3853 |5383 |3853 | 935 | 15k|1273 |1580 | 0.000000e+00 | 6.260000e+02 | Inf
137.99/138.05 o 625
137.99/138.05 c * 136s| 94162 | 35764 |104149 | 1.1 | 89M| 365 | - |3853 |5370 |3853 | 952 | 15k|1347 |1650 | 0.000000e+00 | 6.250000e+02 | Inf
139.10/139.18 o 623
139.10/139.18 c * 137s| 94538 | 35906 |109309 | 1.2 | 89M| 365 | - |3853 |5318 |3853 | 924 | 15k|1408 |1660 | 0.000000e+00 | 6.230000e+02 | Inf
139.80/139.83 o 620
139.80/139.83 c * 138s| 94788 | 35813 |111335 | 1.2 | 89M| 365 | - |3853 |5375 |3853 | 965 | 16k|1503 |1662 | 0.000000e+00 | 6.200000e+02 | Inf
141.79/141.87 o 613
141.79/141.87 c * 140s| 95567 | 35919 |118663 | 1.2 | 89M| 365 | - |3853 |5281 |3853 | 941 | 16k|1641 |1662 | 0.000000e+00 | 6.130000e+02 | Inf
147.50/147.59 o 606
147.50/147.59 c * 146s| 97845 | 37365 |135860 | 1.4 | 94M| 365 | - |3853 |5216 |3853 | 949 | 18k|2057 |1722 | 0.000000e+00 | 6.060000e+02 | Inf
152.79/152.81 c 151s|100000 | 39409 |151854 | 1.5 | 99M| 365 | 1 |3853 |5158 |3853 | 908 | 20k|2426 |1725 | 0.000000e+00 | 6.060000e+02 | Inf
153.49/153.58 o 597
153.49/153.58 c * 151s|100307 | 38848 |154410 | 1.5 | 98M| 365 | - |3853 |5125 |3853 | 942 | 20k|2469 |1725 | 0.000000e+00 | 5.970000e+02 | Inf
153.69/153.75 o 577
153.69/153.75 c * 152s|100372 | 37035 |154859 | 1.5 | 94M| 365 | - |3853 |5119 |3853 | 933 | 20k|2474 |1725 | 0.000000e+00 | 5.770000e+02 | Inf
154.69/154.70 o 575
154.69/154.70 c * 153s|100748 | 37202 |157806 | 1.6 | 94M| 365 | - |3853 |5132 |3853 | 960 | 21k|2580 |1728 | 0.000000e+00 | 5.750000e+02 | Inf
155.29/155.34 o 558
155.29/155.34 c * 153s|101008 | 35924 |159265 | 1.6 | 91M| 365 | - |3853 |5135 |3853 | 943 | 21k|2622 |1728 | 0.000000e+00 | 5.580000e+02 | Inf
155.39/155.42 o 549
155.39/155.42 c * 153s|101046 | 35183 |159407 | 1.6 | 90M| 365 | - |3853 |5148 |3853 | 934 | 21k|2639 |1728 | 0.000000e+00 | 5.490000e+02 | Inf
155.49/155.51 o 543
155.49/155.51 c * 153s|101080 | 34707 |159558 | 1.6 | 89M| 365 | - |3853 |5173 |3853 | 942 | 21k|2674 |1728 | 0.000000e+00 | 5.430000e+02 | Inf
157.69/157.70 o 534
157.69/157.70 c * 156s|101999 | 34700 |165669 | 1.6 | 89M| 365 | - |3853 |5347 |3853 | 925 | 22k|3066 |1728 | 0.000000e+00 | 5.340000e+02 | Inf
160.60/160.65 o 531
160.60/160.65 c * 158s|103202 | 35436 |174028 | 1.7 | 91M| 365 | - |3853 |5398 |3853 | 950 | 23k|3479 |1728 | 0.000000e+00 | 5.310000e+02 | Inf
160.89/160.92 o 530
160.89/160.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.89/160.92 c * 159s|103304 | 35435 |174794 | 1.7 | 92M| 365 | - |3853 |5379 |3853 | 930 | 23k|3483 |1729 | 0.000000e+00 | 5.300000e+02 | Inf
161.09/161.18 o 528
161.09/161.18 c * 159s|103380 | 35310 |175419 | 1.7 | 92M| 365 | - |3853 |5408 |3853 | 946 | 23k|3548 |1729 | 0.000000e+00 | 5.280000e+02 | Inf
162.79/162.87 o 524
162.79/162.87 c * 161s|103982 | 35323 |181219 | 1.7 | 93M| 365 | - |3853 |5599 |3853 | 943 | 23k|3908 |1729 | 0.000000e+00 | 5.240000e+02 | Inf
166.49/166.57 o 521
166.49/166.57 c * 164s|105260 | 35975 |193500 | 1.8 | 96M| 365 | - |3853 |5873 |3853 | 957 | 25k|4583 |1765 | 0.000000e+00 | 5.210000e+02 | Inf
166.49/166.58 o 519
166.49/166.58 c * 164s|105264 | 35729 |193510 | 1.8 | 95M| 365 | - |3853 |5873 |3853 | 959 | 25k|4583 |1765 | 0.000000e+00 | 5.190000e+02 | Inf
172.09/172.19 o 518
172.09/172.19 c * 170s|107330 | 37412 |210992 | 2.0 | 100M| 365 | - |3853 |5761 |3853 | 936 | 27k|5345 |1828 | 0.000000e+00 | 5.180000e+02 | Inf
172.09/172.20 o 516
172.09/172.20 c * 170s|107331 | 37188 |210992 | 2.0 | 100M| 365 | - |3853 |5761 |3853 | 936 | 27k|5345 |1828 | 0.000000e+00 | 5.160000e+02 | Inf
172.50/172.54 o 514
172.50/172.54 c * 170s|107471 | 37093 |212107 | 2.0 | 100M| 365 | - |3853 |5747 |3853 | 931 | 27k|5367 |1828 | 0.000000e+00 | 5.140000e+02 | Inf
179.89/179.92 c 177s|110000 | 39170 |237504 | 2.2 | 106M| 365 | 0 |3853 |5946 |3853 | 940 | 30k|6695 |1969 | 0.000000e+00 | 5.140000e+02 | Inf
180.09/180.17 o 507
180.09/180.17 c * 178s|110084 | 38448 |238260 | 2.2 | 105M| 365 | - |3853 |5990 |3853 | 947 | 30k|6764 |1969 | 0.000000e+00 | 5.070000e+02 | Inf
180.09/180.17 o 503
180.09/180.17 c * 178s|110085 | 38015 |238260 | 2.2 | 103M| 365 | - |3853 |5989 |3853 | 947 | 30k|6764 |1969 | 0.000000e+00 | 5.030000e+02 | Inf
181.29/181.34 o 500
181.29/181.34 c * 179s|110544 | 38114 |241316 | 2.2 | 104M| 365 | - |3853 |6036 |3853 | 925 | 30k|6938 |1979 | 0.000000e+00 | 5.000000e+02 | Inf
181.29/181.35 o 490
181.29/181.35 c * 179s|110545 | 37074 |241316 | 2.2 | 102M| 365 | - |3853 |6034 |3853 | 925 | 30k|6938 |1979 | 0.000000e+00 | 4.900000e+02 | Inf
181.39/181.44 o 486
181.39/181.44 c * 179s|110573 | 36669 |241562 | 2.2 | 101M| 365 | - |3853 |6042 |3853 | 925 | 30k|6950 |1980 | 0.000000e+00 | 4.860000e+02 | Inf
181.79/181.87 o 483
181.79/181.87 c * 179s|110735 | 36452 |242945 | 2.2 | 100M| 365 | - |3853 |6052 |3853 | 921 | 30k|6987 |1980 | 0.000000e+00 | 4.830000e+02 | Inf
182.90/182.97 o 480
182.90/182.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.90/182.97 c * 180s|111184 | 36517 |245405 | 2.2 | 101M| 365 | - |3853 |5959 |3853 | 924 | 31k|7022 |1984 | 0.000000e+00 | 4.800000e+02 | Inf
189.20/189.24 o 478
189.20/189.24 c * 187s|113332 | 38163 |266648 | 2.4 | 105M| 365 | - |3853 |5853 |3853 | 943 | 32k|7749 |2120 | 0.000000e+00 | 4.780000e+02 | Inf
189.20/189.26 o 470
189.20/189.26 c * 187s|113345 | 37263 |266658 | 2.4 | 103M| 365 | - |3853 |5853 |3853 | 943 | 32k|7749 |2120 | 0.000000e+00 | 4.700000e+02 | Inf
192.59/192.62 o 468
192.59/192.62 c * 190s|114469 | 37963 |278204 | 2.4 | 105M| 365 | - |3853 |5724 |3853 | 944 | 34k|8164 |2168 | 0.000000e+00 | 4.680000e+02 | Inf
192.59/192.62 o 467
192.59/192.62 c * 190s|114470 | 37861 |278210 | 2.4 | 105M| 365 | - |3853 |5724 |3853 | 944 | 34k|8164 |2168 | 0.000000e+00 | 4.670000e+02 | Inf
193.59/193.67 o 454
193.59/193.67 c * 191s|114918 | 36865 |280771 | 2.4 | 103M| 365 | - |3853 |5880 |3853 | 930 | 34k|8514 |2170 | 0.000000e+00 | 4.540000e+02 | Inf
196.90/196.95 o 452
196.90/196.95 c * 194s|116225 | 37750 |289691 | 2.5 | 105M| 365 | - |3853 |5680 |3853 | 946 | 35k|8926 |2234 | 0.000000e+00 | 4.520000e+02 | Inf
201.50/201.59 o 451
201.50/201.59 c * 199s|117811 | 38891 |305359 | 2.6 | 109M| 365 | - |3853 |5786 |3853 | 956 | 37k|9679 |2267 | 0.000000e+00 | 4.510000e+02 | Inf
201.59/201.60 o 450
201.59/201.60 c * 199s|117812 | 38786 |305359 | 2.6 | 109M| 365 | - |3853 |5786 |3853 | 956 | 37k|9679 |2267 | 0.000000e+00 | 4.500000e+02 | Inf
203.60/203.60 o 442
203.60/203.60 c * 201s|118425 | 38361 |312094 | 2.6 | 108M| 365 | - |3853 |5767 |3853 | 954 | 38k|9931 |2353 | 0.000000e+00 | 4.420000e+02 | Inf
204.99/205.07 o 440
204.99/205.07 c * 202s|118859 | 38453 |317597 | 2.7 | 109M| 365 | - |3853 |5697 |3853 | 940 | 38k| 10k|2369 | 0.000000e+00 | 4.400000e+02 | Inf
205.90/205.94 o 438
205.90/205.94 c * 203s|119226 | 38526 |319493 | 2.7 | 109M| 365 | - |3853 |5687 |3853 | 945 | 39k| 10k|2377 | 0.000000e+00 | 4.380000e+02 | Inf
208.39/208.47 c 205s|120000 | 39098 |329933 | 2.7 | 111M| 365 | 0 |3853 |5778 |3853 | 946 | 40k| 10k|2394 | 0.000000e+00 | 4.380000e+02 | Inf
210.20/210.23 o 437
210.20/210.23 c * 207s|120520 | 39369 |336396 | 2.8 | 112M| 365 | - |3853 |5842 |3853 | 952 | 40k| 11k|2433 | 0.000000e+00 | 4.370000e+02 | Inf
210.20/210.23 o 435
210.20/210.23 c * 207s|120521 | 39113 |336396 | 2.8 | 111M| 365 | - |3853 |5842 |3853 | 952 | 40k| 11k|2433 | 0.000000e+00 | 4.350000e+02 | Inf
210.99/211.09 o 415
210.99/211.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.99/211.09 c * 208s|120811 | 36868 |339162 | 2.8 | 103M| 365 | - |3853 |5850 |3853 | 940 | 41k| 11k|2444 | 0.000000e+00 | 4.150000e+02 | Inf
213.59/213.69 o 410
213.59/213.69 c * 211s|121757 | 37007 |345887 | 2.8 | 104M| 365 | - |3853 |6015 |3853 | 938 | 41k| 11k|2508 | 0.000000e+00 | 4.100000e+02 | Inf
220.29/220.39 o 407
220.29/220.39 c * 217s|123997 | 38186 |368366 | 3.0 | 109M| 365 | - |3853 |6346 |3853 | 933 | 44k| 13k|2595 | 0.000000e+00 | 4.070000e+02 | Inf
220.39/220.40 o 405
220.39/220.40 c * 217s|123998 | 37919 |368366 | 3.0 | 108M| 365 | - |3853 |6346 |3853 | 933 | 44k| 13k|2595 | 0.000000e+00 | 4.050000e+02 | Inf
223.20/223.20 o 396
223.20/223.20 c * 220s|125001 | 37678 |377715 | 3.0 | 108M| 365 | - |3853 |6204 |3853 | 934 | 45k| 13k|2610 | 0.000000e+00 | 3.960000e+02 | Inf
223.20/223.20 o 385
223.20/223.20 c * 220s|125002 | 36280 |377715 | 3.0 | 104M| 365 | - |3853 |6204 |3853 | 934 | 45k| 13k|2610 | 0.000000e+00 | 3.850000e+02 | Inf
223.20/223.30 o 379
223.20/223.30 c * 220s|125024 | 35545 |378154 | 3.0 | 102M| 365 | - |3853 |6190 |3853 | 933 | 45k| 13k|2610 | 0.000000e+00 | 3.790000e+02 | Inf
224.69/224.78 o 371
224.69/224.78 c * 222s|125530 | 34874 |383091 | 3.0 | 101M| 365 | - |3853 |6261 |3853 | 961 | 45k| 14k|2619 | 0.000000e+00 | 3.710000e+02 | Inf
225.90/225.91 o 370
225.90/225.91 c * 223s|125932 | 35024 |386934 | 3.1 | 101M| 365 | - |3853 |6273 |3853 | 936 | 46k| 14k|2633 | 0.000000e+00 | 3.700000e+02 | Inf
226.50/226.60 o 367
226.50/226.60 c * 223s|126095 | 34730 |389257 | 3.1 | 101M| 365 | - |3853 |6276 |3853 | 931 | 46k| 14k|2661 | 0.000000e+00 | 3.670000e+02 | Inf
226.90/226.99 o 365
226.90/226.99 c * 224s|126230 | 34561 |390258 | 3.1 | 101M| 365 | - |3853 |6284 |3853 | 917 | 46k| 14k|2667 | 0.000000e+00 | 3.650000e+02 | Inf
228.69/228.76 o 357
228.69/228.76 c * 225s|126839 | 34018 |395549 | 3.1 | 101M| 365 | - |3853 |6254 |3853 | 943 | 47k| 14k|2682 | 0.000000e+00 | 3.570000e+02 | Inf
228.79/228.86 o 352
228.79/228.86 c * 226s|126867 | 33390 |395876 | 3.1 | 99M| 365 | - |3853 |6242 |3853 | 949 | 47k| 14k|2682 | 0.000000e+00 | 3.520000e+02 | Inf
229.20/229.21 o 349
229.20/229.21 c * 226s|126980 | 33065 |396973 | 3.1 | 98M| 365 | - |3853 |6249 |3853 | 946 | 47k| 14k|2682 | 0.000000e+00 | 3.490000e+02 | Inf
229.20/229.25 o 336
229.20/229.25 c * 226s|127002 | 31605 |396977 | 3.1 | 94M| 365 | - |3853 |6249 |3853 | 946 | 47k| 14k|2682 | 0.000000e+00 | 3.360000e+02 | Inf
229.30/229.38 o 333
229.30/229.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.30/229.38 c * 226s|127046 | 31269 |397435 | 3.1 | 93M| 365 | - |3853 |6262 |3853 | 935 | 47k| 14k|2682 | 0.000000e+00 | 3.330000e+02 | Inf
230.09/230.11 o 322
230.09/230.11 c * 227s|127311 | 30211 |399480 | 3.1 | 90M| 365 | - |3853 |6335 |3853 | 925 | 47k| 15k|2682 | 0.000000e+00 | 3.220000e+02 | Inf
230.29/230.30 o 311
230.29/230.30 c * 227s|127371 | 29153 |400212 | 3.1 | 87M| 365 | - |3853 |6365 |3853 | 937 | 47k| 15k|2682 | 0.000000e+00 | 3.110000e+02 | Inf
230.50/230.54 o 301
230.50/230.54 c * 227s|127455 | 28155 |401024 | 3.1 | 85M| 365 | - |3853 |6387 |3853 | 946 | 47k| 15k|2682 | 0.000000e+00 | 3.010000e+02 | Inf
230.60/230.62 o 287
230.60/230.62 c * 227s|127491 | 26548 |401254 | 3.1 | 81M| 365 | - |3853 |6396 |3853 | 935 | 47k| 15k|2682 | 0.000000e+00 | 2.870000e+02 | Inf
230.69/230.70 o 278
230.69/230.70 c * 227s|127516 | 25614 |401502 | 3.1 | 78M| 365 | - |3853 |6389 |3853 | 948 | 47k| 15k|2682 | 0.000000e+00 | 2.780000e+02 | Inf
231.39/231.45 o 272
231.39/231.45 c * 228s|127749 | 25051 |403682 | 3.2 | 78M| 365 | - |3853 |6421 |3853 | 942 | 48k| 15k|2682 | 0.000000e+00 | 2.720000e+02 | Inf
231.80/231.85 o 269
231.80/231.85 c * 229s|127900 | 24850 |404934 | 3.2 | 78M| 365 | - |3853 |6424 |3853 | 960 | 48k| 15k|2683 | 0.000000e+00 | 2.690000e+02 | Inf
232.10/232.14 o 268
232.10/232.14 c * 229s|128007 | 24849 |405749 | 3.2 | 78M| 365 | - |3853 |6405 |3853 | 936 | 48k| 15k|2684 | 0.000000e+00 | 2.680000e+02 | Inf
232.20/232.28 o 266
232.20/232.28 c * 229s|128065 | 24679 |406017 | 3.2 | 78M| 365 | - |3853 |6414 |3853 | 933 | 48k| 15k|2684 | 0.000000e+00 | 2.660000e+02 | Inf
232.69/232.72 o 257
232.69/232.72 c * 229s|128234 | 23603 |407242 | 3.2 | 76M| 365 | - |3853 |6454 |3853 | 920 | 48k| 15k|2686 | 0.000000e+00 | 2.570000e+02 | Inf
232.89/232.95 o 245
232.89/232.95 c * 230s|128288 | 22143 |408062 | 3.2 | 73M| 365 | - |3853 |6463 |3853 | 920 | 48k| 15k|2695 | 0.000000e+00 | 2.450000e+02 | Inf
233.10/233.12 o 237
233.10/233.12 c * 230s|128338 | 21371 |408680 | 3.2 | 71M| 365 | - |3853 |6476 |3853 | 937 | 48k| 15k|2698 | 0.000000e+00 | 2.370000e+02 | Inf
234.19/234.25 o 235
234.19/234.25 c * 231s|128694 | 21448 |411664 | 3.2 | 72M| 365 | - |3853 |6519 |3853 | 943 | 49k| 15k|2741 | 0.000000e+00 | 2.350000e+02 | Inf
235.50/235.51 o 224
235.50/235.51 c * 232s|129116 | 20646 |415286 | 3.2 | 71M| 365 | - |3853 |6416 |3853 | 948 | 49k| 16k|2763 | 0.000000e+00 | 2.240000e+02 | Inf
235.60/235.65 o 219
235.60/235.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.60/235.65 c * 232s|129162 | 20139 |415804 | 3.2 | 69M| 365 | - |3853 |6407 |3853 | 952 | 49k| 16k|2763 | 0.000000e+00 | 2.190000e+02 | Inf
238.19/238.27 c 235s|130000 | 20859 |423991 | 3.3 | 73M| 365 | 11 |3853 |6231 |3853 | 935 | 50k| 16k|2778 | 0.000000e+00 | 2.190000e+02 | Inf
238.99/239.00 o 218
238.99/239.00 c * 236s|130194 | 20867 |427095 | 3.3 | 73M| 365 | - |3853 |6232 |3853 | 958 | 50k| 16k|2779 | 0.000000e+00 | 2.180000e+02 | Inf
240.69/240.71 o 217
240.69/240.71 c * 237s|130693 | 21031 |433194 | 3.3 | 74M| 365 | - |3853 |6342 |3853 | 937 | 51k| 17k|2803 | 0.000000e+00 | 2.170000e+02 | Inf
244.20/244.21 o 216
244.20/244.21 c * 241s|131782 | 21722 |445807 | 3.4 | 77M| 365 | - |3853 |6262 |3853 | 919 | 52k| 17k|2856 | 0.000000e+00 | 2.160000e+02 | Inf
244.30/244.37 o 215
244.30/244.37 c * 241s|131832 | 21642 |446290 | 3.4 | 77M| 365 | - |3853 |6262 |3853 | 930 | 52k| 17k|2856 | 0.000000e+00 | 2.150000e+02 | Inf
244.30/244.37 o 212
244.30/244.37 c * 241s|131833 | 21297 |446290 | 3.4 | 76M| 365 | - |3853 |6262 |3853 | 930 | 52k| 17k|2856 | 0.000000e+00 | 2.120000e+02 | Inf
244.49/244.59 o 210
244.49/244.59 c * 241s|131899 | 21102 |446878 | 3.4 | 75M| 365 | - |3853 |6287 |3853 | 951 | 52k| 17k|2857 | 0.000000e+00 | 2.100000e+02 | Inf
246.09/246.14 o 206
246.09/246.14 c * 243s|132442 | 21022 |450919 | 3.4 | 76M| 365 | - |3853 |6481 |3853 | 943 | 52k| 17k|2857 | 0.000000e+00 | 2.060000e+02 | Inf
248.00/248.08 o 193
248.00/248.08 c * 244s|133217 | 20362 |455706 | 3.4 | 74M| 365 | - |3853 |6509 |3853 | 961 | 53k| 18k|2874 | 0.000000e+00 | 1.930000e+02 | Inf
248.00/248.09 o 174
248.00/248.09 c * 244s|133218 | 18513 |455706 | 3.4 | 69M| 365 | - |3853 |6509 |3853 | 961 | 53k| 18k|2874 | 0.000000e+00 | 1.740000e+02 | Inf
248.89/248.94 o 162
248.89/248.94 c * 245s|133479 | 17544 |457863 | 3.4 | 68M| 365 | - |3853 |6616 |3853 | 947 | 53k| 18k|2887 | 0.000000e+00 | 1.620000e+02 | Inf
249.49/249.50 o 158
249.49/249.50 c * 246s|133667 | 17315 |459293 | 3.4 | 67M| 365 | - |3853 |6700 |3853 | 948 | 54k| 18k|2889 | 0.000000e+00 | 1.580000e+02 | Inf
250.80/250.81 o 157
250.80/250.81 c * 247s|134100 | 17398 |463060 | 3.5 | 68M| 365 | - |3853 |6468 |3853 | 940 | 54k| 18k|2912 | 0.000000e+00 | 1.570000e+02 | Inf
251.29/251.34 o 156
251.29/251.34 c * 248s|134275 | 17470 |464341 | 3.5 | 69M| 365 | - |3853 |6471 |3853 | 953 | 54k| 18k|2916 | 0.000000e+00 | 1.560000e+02 | Inf
251.80/251.81 o 146
251.80/251.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
251.80/251.81 c * 248s|134416 | 16687 |466084 | 3.5 | 67M| 365 | - |3853 |6507 |3853 | 929 | 54k| 19k|2919 | 0.000000e+00 | 1.460000e+02 | Inf
252.19/252.25 o 144
252.19/252.25 c * 249s|134539 | 16573 |467679 | 3.5 | 67M| 365 | - |3853 |6521 |3853 | 955 | 54k| 19k|2938 | 0.000000e+00 | 1.440000e+02 | Inf
252.70/252.71 o 142
252.70/252.71 c * 249s|134721 | 16529 |468684 | 3.5 | 67M| 365 | - |3853 |6561 |3853 | 945 | 55k| 19k|2943 | 0.000000e+00 | 1.420000e+02 | Inf
252.90/252.92 o 141
252.90/252.92 c * 249s|134769 | 16430 |469301 | 3.5 | 67M| 365 | - |3853 |6589 |3853 | 948 | 55k| 19k|2943 | 0.000000e+00 | 1.410000e+02 | Inf
253.20/253.24 o 138
253.20/253.24 c * 250s|134922 | 16142 |470040 | 3.5 | 66M| 365 | - |3853 |6449 |3853 | 953 | 55k| 19k|2947 | 0.000000e+00 | 1.380000e+02 | Inf
253.60/253.61 o 131
253.60/253.61 c * 250s|135058 | 15606 |471024 | 3.5 | 64M| 365 | - |3853 |6380 |3853 | 931 | 55k| 19k|2949 | 0.000000e+00 | 1.310000e+02 | Inf
253.89/253.91 o 130
253.89/253.91 c * 250s|135158 | 15593 |471715 | 3.5 | 65M| 365 | - |3853 |6333 |3853 | 935 | 55k| 19k|2951 | 0.000000e+00 | 1.300000e+02 | Inf
254.69/254.71 o 124
254.69/254.71 c * 251s|135375 | 14992 |473996 | 3.5 | 63M| 365 | - |3853 |6278 |3853 | 941 | 55k| 19k|2952 | 0.000000e+00 | 1.240000e+02 | Inf
255.00/255.06 o 116
255.00/255.06 c * 251s|135468 | 13840 |475118 | 3.5 | 59M| 365 | - |3853 |6285 |3853 | 930 | 55k| 19k|2953 | 0.000000e+00 | 1.160000e+02 | Inf
255.10/255.11 o 100
255.10/255.11 c * 251s|135497 | 12162 |475150 | 3.5 | 54M| 365 | - |3853 |6294 |3853 | 936 | 55k| 19k|2953 | 0.000000e+00 | 1.000000e+02 | Inf
256.00/256.06 o 98
256.00/256.06 c * 252s|135771 | 11869 |477952 | 3.5 | 54M| 365 | - |3853 |6261 |3853 | 935 | 55k| 20k|2955 | 0.000000e+00 | 9.800000e+01 | Inf
257.10/257.15 o 95
257.10/257.15 c * 253s|136216 | 11672 |480167 | 3.5 | 54M| 365 | - |3853 |5809 |3853 | 935 | 56k| 20k|2967 | 0.000000e+00 | 9.500000e+01 | Inf
257.10/257.18 o 91
257.10/257.18 c * 253s|136224 | 11267 |480177 | 3.5 | 52M| 365 | - |3853 |5721 |3853 | 935 | 56k| 20k|2967 | 0.000000e+00 | 9.100000e+01 | Inf
257.10/257.19 o 84
257.10/257.19 c * 253s|136225 | 9717 |480178 | 3.5 | 47M| 365 | - |3853 |5721 |3853 | 935 | 56k| 20k|2967 | 0.000000e+00 | 8.400000e+01 | Inf
257.40/257.48 o 79
257.40/257.48 c * 254s|136297 | 9039 |480924 | 3.5 | 46M| 365 | - |3853 |5448 |3853 | 931 | 56k| 20k|2972 | 0.000000e+00 | 7.900000e+01 | Inf
257.79/257.87 o 71
257.79/257.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
257.79/257.87 c * 254s|136385 | 8642 |482031 | 3.5 | 45M| 365 | - |3853 |5226 |3853 | 923 | 56k| 20k|2981 | 0.000000e+00 | 7.100000e+01 | Inf
258.00/258.02 o 69
258.00/258.02 c * 254s|136415 | 8533 |482543 | 3.5 | 45M| 365 | - |3853 |5028 |3853 | 931 | 56k| 20k|2983 | 0.000000e+00 | 6.900000e+01 | Inf
258.10/258.15 o 64
258.10/258.15 c * 254s|136459 | 8173 |482757 | 3.5 | 44M| 365 | - |3853 |4910 |3853 | 936 | 56k| 20k|2987 | 0.000000e+00 | 6.400000e+01 | Inf
258.99/259.03 o 63
258.99/259.03 c * 255s|136648 | 8215 |485421 | 3.6 | 44M| 365 | - |3853 |4619 |3853 | 937 | 56k| 20k|3022 | 0.000000e+00 | 6.300000e+01 | Inf
259.20/259.23 o 60
259.20/259.23 c * 255s|136685 | 8109 |486058 | 3.6 | 44M| 365 | - |3853 |4568 |3853 | 959 | 56k| 20k|3022 | 0.000000e+00 | 6.000000e+01 | Inf
259.30/259.36 o 57
259.30/259.36 c * 256s|136715 | 7860 |486415 | 3.6 | 43M| 365 | - |3853 |4492 |3853 | 944 | 56k| 20k|3022 | 0.000000e+00 | 5.700000e+01 | Inf
259.40/259.41 o 54
259.40/259.41 c * 256s|136721 | 7514 |486644 | 3.6 | 42M| 365 | - |3853 |4425 |3853 | 908 | 56k| 20k|3022 | 0.000000e+00 | 5.400000e+01 | Inf
259.40/259.47 o 49
259.40/259.47 c * 256s|136727 | 7273 |486881 | 3.6 | 42M| 365 | - |3853 |4334 |3853 | 944 | 56k| 20k|3022 | 0.000000e+00 | 4.900000e+01 | Inf
259.50/259.60 o 37
259.50/259.60 c * 256s|136742 | 6490 |487395 | 3.6 | 39M| 365 | - |3853 |4208 |3853 | 918 | 56k| 20k|3027 | 0.000000e+00 | 3.700000e+01 | Inf
259.60/259.64 o 26
259.60/259.64 c * 256s|136758 | 5633 |487422 | 3.6 | 37M| 365 | - |3853 |3984 |3853 | 925 | 56k| 20k|3027 | 0.000000e+00 | 2.600000e+01 | Inf
259.89/259.90 o 18
259.89/259.90 c * 256s|136809 | 4603 |488186 | 3.6 | 35M| 365 | - |3853 |3730 |3853 | 911 | 56k| 20k|3060 | 0.000000e+00 | 1.800000e+01 | Inf
259.89/259.97 o 14
259.89/259.97 c * 256s|136824 | 4456 |488367 | 3.6 | 34M| 365 | - |3853 |3589 |3853 | 908 | 56k| 20k|3067 | 0.000000e+00 | 1.400000e+01 | Inf
259.99/260.03 o 10
259.99/260.03 c * 256s|136846 | 4265 |488618 | 3.6 | 33M| 365 | - |3853 |3496 |3853 | 921 | 56k| 20k|3067 | 0.000000e+00 | 1.000000e+01 | Inf
259.99/260.05 o 9
259.99/260.05 c * 256s|136848 | 1115 |488643 | 3.6 | 26M| 365 | - |3853 |3421 |3853 | 912 | 56k| 20k|3067 | 0.000000e+00 | 9.000000e+00 | Inf
266.39/266.42 c 262s|140000 | 769 |509578 | 3.6 | 26M| 365 | 11 |3853 |5499 |3853 | 906 | 58k| 24k|3199 | 0.000000e+00 | 9.000000e+00 | Inf
284.59/284.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
284.59/284.61 c 280s|150000 | 1374 |560106 | 3.7 | 32M| 365 | 18 |3853 | 12k|3853 | 899 | 64k| 37k|3338 | 0.000000e+00 | 9.000000e+00 | Inf
304.29/304.33 c 300s|160000 | 1669 |607937 | 3.8 | 36M| 365 | 10 |3853 | 14k|3853 | 891 | 70k| 51k|3446 | 0.000000e+00 | 9.000000e+00 | Inf
325.20/325.26 c 320s|170000 | 1767 |658366 | 3.9 | 38M| 365 | 9 |3853 | 14k|3853 | 904 | 76k| 65k|3576 | 0.000000e+00 | 9.000000e+00 | Inf
345.90/345.96 c 341s|180000 | 1775 |708420 | 3.9 | 39M| 365 | - |3853 | 12k| 0 | 0 | 82k| 80k|3734 | 0.000000e+00 | 9.000000e+00 | Inf
368.30/368.36 c 363s|190000 | 2060 |770491 | 4.1 | 43M| 365 | 14 |3853 | 16k|3853 | 912 | 91k| 94k|3857 | 0.000000e+00 | 9.000000e+00 | Inf
390.40/390.47 c 385s|200000 | 2043 |825273 | 4.1 | 44M| 365 | 18 |3853 | 13k|3853 | 891 | 98k| 108k|4006 | 0.000000e+00 | 9.000000e+00 | Inf
409.70/409.73 c 403s|210000 | 2115 |871264 | 4.1 | 45M| 365 | - |3853 | 13k| 0 | 0 | 101k| 122k|4091 | 0.000000e+00 | 9.000000e+00 | Inf
430.11/430.15 c 424s|220000 | 2229 |921011 | 4.2 | 47M| 365 | 10 |3853 | 15k|3853 | 911 | 105k| 136k|4218 | 0.000000e+00 | 9.000000e+00 | Inf
450.70/450.79 c 444s|230000 | 2249 |968049 | 4.2 | 49M| 365 | 19 |3853 | 17k|3853 | 901 | 108k| 150k|4305 | 0.000000e+00 | 9.000000e+00 | Inf
472.70/472.78 c 465s|240000 | 2307 | 1020k| 4.2 | 51M| 365 | 22 |3853 | 20k|3853 | 906 | 113k| 165k|4439 | 0.000000e+00 | 9.000000e+00 | Inf
484.60/484.61 o 8
484.60/484.61 c * 477s|245142 | 2227 | 1049k| 4.3 | 49M| 365 | - |3853 | 14k|3853 | 897 | 116k| 172k|4506 | 0.000000e+00 | 8.000000e+00 | Inf
494.90/495.00 c 487s|250000 | 2169 | 1075k| 4.3 | 47M| 365 | - |3853 | 11k| 0 | 0 | 120k| 179k|4556 | 0.000000e+00 | 8.000000e+00 | Inf
515.00/515.05 c 507s|260000 | 2240 | 1128k| 4.3 | 49M| 365 | - |3853 | 11k| 0 | 0 | 125k| 192k|4708 | 0.000000e+00 | 8.000000e+00 | Inf
535.30/535.39 c 527s|270000 | 2332 | 1181k| 4.4 | 51M| 365 | 17 |3853 | 13k|3853 | 897 | 131k| 206k|4817 | 0.000000e+00 | 8.000000e+00 | Inf
556.50/556.55 c 548s|280000 | 2368 | 1236k| 4.4 | 53M| 365 | - |3853 | 14k| 0 | 0 | 137k| 221k|4897 | 0.000000e+00 | 8.000000e+00 | Inf
575.91/575.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
575.91/575.96 c 567s|290000 | 2205 | 1278k| 4.4 | 51M| 365 | - |3853 | 14k| 0 | 0 | 140k| 235k|4982 | 0.000000e+00 | 8.000000e+00 | Inf
595.40/595.42 c 586s|300000 | 2138 | 1317k| 4.4 | 53M| 365 | - |3853 | 16k| 0 | 0 | 143k| 249k|5067 | 0.000000e+00 | 8.000000e+00 | Inf
616.01/616.09 c 606s|310000 | 2025 | 1365k| 4.4 | 52M| 365 | - |3853 | 15k| 0 | 0 | 146k| 263k|5131 | 0.000000e+00 | 8.000000e+00 | Inf
637.30/637.37 c 627s|320000 | 2011 | 1414k| 4.4 | 53M| 365 | - |3853 | 17k| 0 | 0 | 151k| 277k|5193 | 0.000000e+00 | 8.000000e+00 | Inf
659.30/659.34 c 649s|330000 | 1883 | 1465k| 4.4 | 53M| 365 | 18 |3853 | 19k|3853 | 905 | 156k| 291k|5298 | 0.000000e+00 | 8.000000e+00 | Inf
681.40/681.44 c 671s|340000 | 1896 | 1511k| 4.4 | 55M| 365 | - |3853 | 22k|3853 | 913 | 157k| 304k|5369 | 0.000000e+00 | 8.000000e+00 | Inf
704.50/704.58 c 693s|350000 | 1933 | 1556k| 4.4 | 57M| 365 | 18 |3853 | 23k|3853 | 903 | 159k| 317k|5438 | 0.000000e+00 | 8.000000e+00 | Inf
728.51/728.50 c 717s|360000 | 2126 | 1603k| 4.5 | 60M| 365 | - |3853 | 26k| 0 | 0 | 161k| 331k|5504 | 0.000000e+00 | 8.000000e+00 | Inf
753.31/753.34 c 742s|370000 | 2068 | 1650k| 4.5 | 60M| 365 | - |3853 | 23k| 0 | 0 | 164k| 346k|5573 | 0.000000e+00 | 8.000000e+00 | Inf
774.52/774.52 c 762s|380000 | 2141 | 1689k| 4.4 | 61M| 365 | - |3853 | 21k| 0 | 0 | 166k| 359k|5620 | 0.000000e+00 | 8.000000e+00 | Inf
795.71/795.72 c 783s|390000 | 2176 | 1726k| 4.4 | 62M| 365 | - |3853 | 22k| 0 | 0 | 167k| 373k|5656 | 0.000000e+00 | 8.000000e+00 | Inf
818.11/818.10 c 805s|400000 | 2296 | 1765k| 4.4 | 64M| 365 | 13 |3853 | 22k|3853 | 901 | 169k| 386k|5696 | 0.000000e+00 | 8.000000e+00 | Inf
840.21/840.20 c 827s|410000 | 2357 | 1803k| 4.4 | 66M| 365 | - |3853 | 25k| 0 | 0 | 170k| 400k|5736 | 0.000000e+00 | 8.000000e+00 | Inf
863.41/863.42 c 850s|420000 | 2360 | 1842k| 4.4 | 67M| 365 | - |3853 | 26k| 0 | 0 | 172k| 414k|5789 | 0.000000e+00 | 8.000000e+00 | Inf
886.71/886.73 c 873s|430000 | 2383 | 1878k| 4.4 | 69M| 365 | 29 |3853 | 28k|3853 | 901 | 173k| 428k|5826 | 0.000000e+00 | 8.000000e+00 | Inf
910.61/910.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
910.61/910.61 c 897s|440000 | 2436 | 1913k| 4.3 | 71M| 365 | 5 |3853 | 28k|3853 | 891 | 175k| 442k|5965 | 0.000000e+00 | 8.000000e+00 | Inf
935.41/935.40 c 921s|450000 | 2599 | 1961k| 4.4 | 73M| 365 | 16 |3853 | 30k|3853 | 907 | 180k| 455k|6011 | 0.000000e+00 | 8.000000e+00 | Inf
959.11/959.10 c 944s|460000 | 2676 | 2001k| 4.4 | 75M| 365 | - |3853 | 32k| 0 | 0 | 184k| 468k|6057 | 0.000000e+00 | 8.000000e+00 | Inf
984.81/984.81 c 970s|470000 | 2704 | 2046k| 4.4 | 76M| 365 | - |3853 | 32k| 0 | 0 | 188k| 482k|6115 | 0.000000e+00 | 8.000000e+00 | Inf
1007.91/1007.93 c 993s|480000 | 2808 | 2085k| 4.3 | 78M| 365 | 6 |3853 | 34k|3853 | 910 | 190k| 497k|6161 | 0.000000e+00 | 8.000000e+00 | Inf
1032.92/1032.98 c 1017s|490000 | 2685 | 2124k| 4.3 | 76M| 365 | - |3853 | 26k| 0 | 0 | 193k| 511k|6269 | 0.000000e+00 | 8.000000e+00 | Inf
1056.22/1056.20 c 1040s|500000 | 2763 | 2167k| 4.3 | 76M| 365 | 4 |3853 | 23k|3853 | 891 | 197k| 525k|6319 | 0.000000e+00 | 8.000000e+00 | Inf
1081.51/1081.59 c 1065s|510000 | 2866 | 2217k| 4.3 | 79M| 365 | 11 |3853 | 25k|3853 | 902 | 202k| 538k|6385 | 0.000000e+00 | 8.000000e+00 | Inf
1108.72/1108.70 c 1092s|520000 | 2917 | 2274k| 4.4 | 81M| 365 | - |3853 | 27k| 0 | 0 | 208k| 551k|6479 | 0.000000e+00 | 8.000000e+00 | Inf
1136.72/1136.74 c 1120s|530000 | 2991 | 2335k| 4.4 | 83M| 365 | - |3853 | 31k| 0 | 0 | 215k| 565k|6531 | 0.000000e+00 | 8.000000e+00 | Inf
1166.42/1166.47 c 1149s|540000 | 3054 | 2398k| 4.4 | 85M| 365 | - |3853 | 34k| 0 | 0 | 222k| 579k|6607 | 0.000000e+00 | 8.000000e+00 | Inf
1196.41/1196.47 c 1179s|550000 | 2905 | 2456k| 4.5 | 81M| 365 | - |3853 | 27k| 0 | 0 | 228k| 593k|6703 | 0.000000e+00 | 8.000000e+00 | Inf
1220.32/1220.36 c 1202s|560000 | 3047 | 2506k| 4.5 | 81M| 365 | 1 |3853 | 21k|3853 | 920 | 234k| 606k|6779 | 0.000000e+00 | 8.000000e+00 | Inf
1243.62/1243.68 c 1225s|570000 | 3134 | 2554k| 4.5 | 83M| 365 | - |3853 | 22k| 0 | 0 | 239k| 619k|6835 | 0.000000e+00 | 8.000000e+00 | Inf
1267.12/1267.19 c 1248s|580000 | 3241 | 2602k| 4.5 | 85M| 365 | - |3853 | 25k| 0 | 0 | 244k| 633k|6893 | 0.000000e+00 | 8.000000e+00 | Inf
1291.52/1291.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1291.52/1291.51 c 1272s|590000 | 3346 | 2651k| 4.5 | 87M| 365 | - |3853 | 25k| 0 | 0 | 250k| 646k|6958 | 0.000000e+00 | 8.000000e+00 | Inf
1315.82/1315.82 c 1296s|600000 | 3472 | 2702k| 4.5 | 89M| 365 | - |3853 | 23k| 0 | 0 | 256k| 660k|7019 | 0.000000e+00 | 8.000000e+00 | Inf
1337.92/1337.99 c 1318s|610000 | 3601 | 2752k| 4.5 | 91M| 365 | 1 |3853 | 25k|3853 | 912 | 261k| 673k|7085 | 0.000000e+00 | 8.000000e+00 | Inf
1361.22/1361.23 c 1341s|620000 | 3668 | 2801k| 4.5 | 92M| 365 | - |3853 | 26k| 0 | 0 | 267k| 687k|7144 | 0.000000e+00 | 8.000000e+00 | Inf
1384.92/1384.91 c 1364s|630000 | 3778 | 2849k| 4.5 | 94M| 365 | 8 |3853 | 26k|3853 | 919 | 271k| 700k|7201 | 0.000000e+00 | 8.000000e+00 | Inf
1408.13/1408.17 c 1387s|640000 | 3886 | 2898k| 4.5 | 95M| 365 | - |3853 | 24k| 0 | 0 | 277k| 714k|7247 | 0.000000e+00 | 8.000000e+00 | Inf
1432.02/1432.09 c 1411s|650000 | 3978 | 2947k| 4.5 | 97M| 365 | 14 |3853 | 25k|3853 | 891 | 285k| 728k|7310 | 0.000000e+00 | 8.000000e+00 | Inf
1456.33/1456.39 c 1435s|660000 | 4127 | 3002k| 4.5 | 99M| 365 | 16 |3853 | 23k|3853 | 920 | 293k| 742k|7390 | 0.000000e+00 | 8.000000e+00 | Inf
1480.52/1480.59 c 1458s|670000 | 4246 | 3054k| 4.6 | 101M| 365 | 7 |3853 | 25k|3853 | 915 | 298k| 756k|7452 | 0.000000e+00 | 8.000000e+00 | Inf
1505.63/1505.68 c 1483s|680000 | 4294 | 3109k| 4.6 | 103M| 365 | 12 |3853 | 25k|3853 | 911 | 306k| 769k|7524 | 0.000000e+00 | 8.000000e+00 | Inf
1529.73/1529.74 c 1507s|690000 | 4371 | 3164k| 4.6 | 103M| 365 | 9 |3853 | 21k|3853 | 904 | 311k| 783k|7594 | 0.000000e+00 | 8.000000e+00 | Inf
1553.02/1553.04 c 1530s|700000 | 4534 | 3213k| 4.6 | 105M| 365 | - |3853 | 22k| 0 | 0 | 315k| 797k|7648 | 0.000000e+00 | 8.000000e+00 | Inf
1576.72/1576.76 c 1553s|710000 | 4664 | 3263k| 4.6 | 108M| 365 | 8 |3853 | 22k|3853 | 916 | 319k| 811k|7691 | 0.000000e+00 | 8.000000e+00 | Inf
1598.83/1598.81 c 1575s|720000 | 4750 | 3307k| 4.6 | 109M| 365 | 27 |3853 | 22k|3853 | 899 | 321k| 825k|7720 | 0.000000e+00 | 8.000000e+00 | Inf
1622.03/1622.07 c 1598s|730000 | 4861 | 3349k| 4.6 | 111M| 365 | 1 |3853 | 24k|3853 | 899 | 323k| 840k|7783 | 0.000000e+00 | 8.000000e+00 | Inf
1645.13/1645.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1645.13/1645.11 c 1621s|740000 | 4856 | 3391k| 4.6 | 112M| 365 | - |3853 | 23k|3853 | 906 | 325k| 855k|7844 | 0.000000e+00 | 8.000000e+00 | Inf
1667.23/1667.29 c 1643s|750000 | 4974 | 3434k| 4.6 | 114M| 365 | 20 |3853 | 25k|3853 | 899 | 327k| 870k|7874 | 0.000000e+00 | 8.000000e+00 | Inf
1689.74/1689.71 c 1665s|760000 | 5032 | 3475k| 4.6 | 115M| 365 | - |3853 | 25k| 0 | 0 | 328k| 884k|7904 | 0.000000e+00 | 8.000000e+00 | Inf
1712.53/1712.56 c 1687s|770000 | 5092 | 3519k| 4.6 | 116M| 365 | - |3853 | 24k| 0 | 0 | 330k| 899k|7965 | 0.000000e+00 | 8.000000e+00 | Inf
1735.03/1735.09 c 1709s|780000 | 5165 | 3559k| 4.6 | 118M| 365 | - |3853 | 24k|3853 | 920 | 331k| 913k|8020 | 0.000000e+00 | 8.000000e+00 | Inf
1757.33/1757.33 c 1731s|790000 | 5227 | 3599k| 4.6 | 120M| 365 | - |3853 | 25k| 0 | 0 | 332k| 928k|8047 | 0.000000e+00 | 8.000000e+00 | Inf
1778.54/1778.57 c 1752s|800000 | 5293 | 3638k| 4.5 | 121M| 365 | - |3853 | 25k| 0 | 0 | 334k| 942k|8079 | 0.000000e+00 | 8.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1773.40
1800.04/1800.00 c Solving Nodes : 809761
1800.04/1800.00 c Primal Bound : +8.00000000000000e+00 (228 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.04 s SATISFIABLE
1800.04/1800.04 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.04 v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.04 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168
1800.04/1800.04 v -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.04 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126
1800.04/1800.04 v -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105
1800.04/1800.04 v -x104 -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.04/1800.04 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
1800.04/1800.04 v -x54 -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.04/1800.04 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.04/1800.04 v -x1
1800.04/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.04 c Solving Time : 1773.40
1800.04/1800.04 c Original Problem :
1800.04/1800.04 c Problem name : HOME/instance-2692926-1277910905.wbo
1800.04/1800.04 c Variables : 3967 (2099 binary, 0 integer, 0 implicit integer, 1868 continuous)
1800.04/1800.04 c Constraints : 4576 initial, 4576 maximal
1800.04/1800.04 c Presolved Problem :
1800.04/1800.04 c Problem name : t_HOME/instance-2692926-1277910905.wbo
1800.04/1800.04 c Variables : 3853 (2042 binary, 0 integer, 0 implicit integer, 1811 continuous)
1800.04/1800.04 c Constraints : 4434 initial, 36387 maximal
1800.04/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.04 c trivial : 0.00 57 0 0 0 0 0 0 0
1800.04/1800.04 c dualfix : 0.00 57 0 0 0 0 0 0 0
1800.04/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.04 c indicator : 0.00 0 0 0 0 0 57 0 0
1800.04/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c linear : 0.06 0 0 0 1876 0 85 67 0
1800.04/1800.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c root node : - 1677 - - 3354 - - - -
1800.04/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c integral : 0 0 0 549527 0 8 486 0 0 767678
1800.04/1800.04 c indicator : 1811 0 3754595 164568 0 360 4516534 0 0 0
1800.04/1800.04 c setppc : 5 6 3682337 78600 0 6586 805517 0 0 0
1800.04/1800.04 c linear : 1811 6 3774701 141637 0 193275 18335295 334994 0 0
1800.04/1800.04 c logicor : 807+ 6 1486542 119938 0 139083 3381389 0 0 0
1800.04/1800.04 c bounddisjunction : 0+ 0 8938 0 0 0 62 0 0 0
1800.04/1800.04 c countsols : 0 0 0 119938 0 0 0 0 0 0
1800.04/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.04 c integral : 23.54 0.00 0.00 23.54 0.00
1800.04/1800.04 c indicator : 34.34 0.02 17.02 17.30 0.00
1800.04/1800.04 c setppc : 5.77 0.00 5.75 0.02 0.00
1800.04/1800.04 c linear : 149.52 0.00 144.50 5.02 0.00
1800.04/1800.04 c logicor : 254.83 0.00 253.91 0.92 0.00
1800.04/1800.04 c bounddisjunction : 0.01 0.00 0.01 0.00 0.00
1800.04/1800.04 c countsols : 0.03 0.00 0.00 0.03 0.00
1800.04/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.04 c vbounds : 0.80 2 0 0
1800.04/1800.04 c rootredcost : 0.77 129 0 1677
1800.04/1800.04 c pseudoobj : 133.67 3815865 7181 3102889
1800.04/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.04 c propagation : 17.75 346125 345950 2175239 26.0 18789 17.5 -
1800.04/1800.04 c infeasible LP : 6.22 21415 21415 180343 39.1 354 14.1 0
1800.04/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c pseudo solution : 0.04 224 224 1372 17.3 243 4.8 -
1800.04/1800.04 c applied globally : - - - 957012 21.1 - - -
1800.04/1800.04 c applied locally : - - - 0 0.0 - - -
1800.04/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.04 c cut pool : 0.00 5 - - 23 - (maximal pool size: 58)
1800.04/1800.04 c redcost : 32.13 561836 0 1227258 0 0
1800.04/1800.04 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.04 c intobj : 0.00 0 0 0 0 0
1800.04/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.04 c gomory : 0.11 6 0 0 368 0
1800.04/1800.04 c strongcg : 0.08 6 0 0 78 0
1800.04/1800.04 c cmir : 0.01 6 0 0 0 0
1800.04/1800.04 c flowcover : 0.07 6 0 0 0 0
1800.04/1800.04 c clique : 0.00 6 0 0 0 0
1800.04/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.04 c mcf : 0.00 1 0 0 0 0
1800.04/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.04 c Pricers : Time Calls Vars
1800.04/1800.04 c problem variables: 0.00 0 0
1800.04/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c relpscost : 23.15 384245 8 486 0 0 767678
1800.04/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.04 c inference : 16.79 119810 0 0 0 0 239620
1800.04/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c random : 0.00 0 0 0 0 0 0
1800.04/1800.04 c Primal Heuristics : Time Calls Found
1800.04/1800.04 c LP solutions : 0.31 - 128
1800.04/1800.04 c pseudo solutions : 0.00 - 0
1800.04/1800.04 c feaspump : 0.00 1 0
1800.04/1800.04 c intshifting : 0.02 5 0
1800.04/1800.04 c oneopt : 0.91 118 0
1800.04/1800.04 c crossover : 1.91 73 0
1800.04/1800.04 c linesearchdiving : 1.10 1116 0
1800.04/1800.04 c guideddiving : 1.09 1116 0
1800.04/1800.04 c coefdiving : 1.09 1116 0
1800.04/1800.04 c pscostdiving : 1.08 1116 0
1800.04/1800.04 c fracdiving : 1.17 1116 0
1800.04/1800.04 c veclendiving : 1.18 1117 0
1800.04/1800.04 c rootsoldiving : 1.39 1100 0
1800.04/1800.04 c objpscostdiving : 1.23 1101 0
1800.04/1800.04 c trivial : 0.00 2 0
1800.04/1800.04 c simplerounding : 0.63 387136 0
1800.04/1800.04 c zirounding : 0.43 1000 0
1800.04/1800.04 c rounding : 1.65 8760 0
1800.04/1800.04 c shifting : 1.20 2736 0
1800.04/1800.04 c twoopt : 0.00 0 0
1800.04/1800.04 c fixandinfer : 0.00 0 0
1800.04/1800.04 c intdiving : 0.00 0 0
1800.04/1800.04 c actconsdiving : 0.00 0 0
1800.04/1800.04 c octane : 0.00 0 0
1800.04/1800.04 c rens : 0.02 1 0
1800.04/1800.04 c rins : 0.00 0 0
1800.04/1800.04 c localbranching : 0.00 0 0
1800.04/1800.04 c mutation : 0.00 0 0
1800.04/1800.04 c dins : 0.00 0 0
1800.04/1800.04 c undercover : 0.00 0 0
1800.04/1800.04 c nlp : 0.20 0 0
1800.04/1800.04 c trysol : 0.59 6855 100
1800.04/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.04 c dual LP : 571.74 459569 3671272 7.99 6421.23
1800.04/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.04 c diving/probing LP: 0.51 136 5089 37.42 9978.43
1800.04/1800.04 c strong branching : 19.72 8132 125724 15.46 6375.46
1800.04/1800.04 c (at root node) : - 33 3577 108.39 -
1800.04/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.04 c B&B Tree :
1800.04/1800.04 c number of runs : 1
1800.04/1800.04 c nodes : 809761
1800.04/1800.04 c nodes (total) : 809761
1800.04/1800.04 c nodes left : 5341
1800.04/1800.04 c max depth : 365
1800.04/1800.04 c max depth (total): 365
1800.04/1800.04 c backtracks : 76303 (9.4%)
1800.04/1800.04 c delayed cutoffs : 65865
1800.04/1800.04 c repropagations : 1473619 (5740224 domain reductions, 62114 cutoffs)
1800.04/1800.04 c avg switch length: 5.38
1800.04/1800.04 c switching time : 256.78
1800.04/1800.04 c Solution :
1800.04/1800.04 c Solutions found : 228 (129 improvements)
1800.04/1800.04 c First Solution : +9.25480000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.04/1800.04 c Primal Bound : +8.00000000000000e+00 (in run 1, after 245142 nodes, 477.11 seconds, depth 28, found by <relaxation>)
1800.04/1800.04 c Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Gap : infinite
1800.04/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Root Iterations : 230
1800.13/1800.18 c Time complete: 1800.22.