0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2693961-1277898595.wbo>
0.00/0.00 c original problem has 297 variables (233 bin, 0 int, 0 impl, 64 cont) and 166 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 3) 1 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 4) 2 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 33 upgd conss, 66 impls, 23 clqs
0.00/0.02 c (0.0s) probing: 101/232 (43.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 2 deleted vars, 7 deleted constraints, 63 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 66 implications, 23 cliques
0.00/0.02 c presolved problem has 295 variables (232 bin, 0 int, 0 impl, 63 cont) and 159 constraints
0.00/0.02 c 63 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 23 constraints of type <setppc>
0.00/0.02 c 63 constraints of type <linear>
0.00/0.02 c 9 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.02
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - |1056k| 0 | - | 295 | 159 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.24 c 1.2s| 10000 | 7648 | 0 | 0.0 |6401k| 183 | - | 295 |2902 | 0 | 0 | 0 |6180 | 0 | 0.000000e+00 | -- | Inf
2.89/2.95 o 527
2.89/2.95 c * 2.8s| 17093 | 11204 | 0 | 0.0 | 10M| 183 | - | 295 |5796 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
2.89/2.95 o 521
2.89/2.95 c * 2.8s| 17094 | 11203 | 0 | 0.0 | 10M| 183 | - | 295 |5796 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 5.210000e+02 | Inf
2.89/2.98 o 432
2.89/2.98 c * 2.8s| 17522 | 11616 | 0 | 0.0 | 10M| 183 | - | 295 |5553 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 4.320000e+02 | Inf
2.99/3.00 o 416
2.99/3.00 c * 2.8s| 17861 | 11943 | 0 | 0.0 | 10M| 183 | - | 295 |5393 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 4.160000e+02 | Inf
3.09/3.20 c 3.0s| 20000 | 13930 | 0 | 0.0 | 10M| 183 | - | 295 |2908 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 4.160000e+02 | Inf
4.59/4.62 c 4.3s| 30000 | 21377 | 0 | 0.0 | 15M| 183 | - | 295 |4119 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 4.160000e+02 | Inf
6.79/6.86 c 6.5s| 40000 | 27315 | 0 | 0.0 | 20M| 183 | - | 295 |6047 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 4.160000e+02 | Inf
9.79/9.89 c 9.4s| 50000 | 31959 | 0 | 0.0 | 25M| 183 | - | 295 |8941 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 4.160000e+02 | Inf
13.69/13.77 c 13.2s| 60000 | 35739 | 0 | 0.0 | 30M| 183 | - | 295 | 10k| 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 4.160000e+02 | Inf
18.70/18.79 c 18.1s| 70000 | 37727 | 0 | 0.0 | 35M| 183 | - | 295 | 12k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 4.160000e+02 | Inf
23.00/23.10 c 22.3s| 80000 | 41249 | 0 | 0.0 | 35M| 183 | - | 295 |2393 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 4.160000e+02 | Inf
23.49/23.57 o 385
23.49/23.57 c *22.8s| 85121 | 45777 | 0 | 0.0 | 36M| 183 | - | 295 |1645 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 3.850000e+02 | Inf
23.79/23.89 o 306
23.79/23.89 c *23.1s| 88607 | 48870 | 0 | 0.0 | 38M| 183 | - | 295 |1812 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 3.060000e+02 | Inf
23.79/23.89 o 280
23.79/23.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.79/23.89 c *23.1s| 88608 | 48868 | 0 | 0.0 | 38M| 183 | - | 295 |1812 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 2.800000e+02 | Inf
23.99/24.02 c 23.2s| 90000 | 50095 | 0 | 0.0 | 38M| 183 | - | 295 |1871 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 2.800000e+02 | Inf
24.39/24.49 o 227
24.39/24.49 c *23.6s| 94860 | 54290 | 0 | 0.0 | 40M| 183 | - | 295 |2104 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
24.99/25.02 c 24.1s|100000 | 58700 | 0 | 0.0 | 41M| 183 | - | 295 |1963 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
26.09/26.11 c 25.1s|110000 | 67058 | 0 | 0.0 | 45M| 183 | - | 295 |1528 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
27.19/27.23 c 26.1s|120000 | 75282 | 0 | 0.0 | 49M| 183 | - | 295 |1765 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
28.49/28.52 c 27.3s|130000 | 83143 | 0 | 0.0 | 53M| 183 | - | 295 |2358 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
29.89/29.96 c 28.7s|140000 | 90748 | 0 | 0.0 | 57M| 183 | - | 295 |2975 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
31.59/31.66 c 30.3s|150000 | 97842 | 0 | 0.0 | 61M| 183 | - | 295 |3948 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
33.59/33.69 c 32.2s|160000 |104359 | 0 | 0.0 | 66M| 183 | - | 295 |5265 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
36.39/36.40 c 34.9s|170000 |109724 | 0 | 0.0 | 71M| 183 | - | 295 |7643 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
40.29/40.39 c 38.7s|180000 |113545 | 0 | 0.0 | 76M| 183 | - | 295 | 11k| 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
45.39/45.43 c 43.7s|190000 |116375 | 0 | 0.0 | 80M| 183 | - | 295 | 12k| 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
51.19/51.28 c 49.4s|200000 |118268 | 0 | 0.0 | 84M| 183 | - | 295 | 13k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
57.79/57.83 c 55.9s|210000 |119516 | 0 | 0.0 | 88M| 183 | - | 295 | 15k| 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
65.79/65.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.79/65.85 c 63.8s|220000 |119543 | 0 | 0.0 | 91M| 183 | - | 295 | 18k| 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
74.99/75.04 c 72.8s|230000 |118810 | 0 | 0.0 | 93M| 183 | - | 295 | 21k| 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
85.99/86.05 c 83.7s|240000 |117053 | 0 | 0.0 | 95M| 183 | - | 295 | 23k| 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
95.49/95.51 c 93.0s|250000 |117622 | 0 | 0.0 | 88M| 183 | - | 295 |2685 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
96.70/96.79 c 94.2s|260000 |125499 | 0 | 0.0 | 92M| 183 | - | 295 |1778 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
98.09/98.10 c 95.5s|270000 |133437 | 0 | 0.0 | 95M| 183 | - | 295 |2079 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
99.29/99.37 c 96.7s|280000 |141487 | 0 | 0.0 | 99M| 183 | - | 295 |2328 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
99.79/99.88 o 192
99.79/99.88 c *97.1s|283918 |144527 | 0 | 0.0 | 101M| 183 | - | 295 |2416 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
100.59/100.69 c 97.9s|290000 |149366 | 0 | 0.0 | 103M| 183 | - | 295 |2414 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
101.99/102.00 c 99.1s|300000 |157323 | 0 | 0.0 | 107M| 183 | - | 295 |2557 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
102.79/102.88 o 169
102.79/102.88 c * 100s|306545 |162234 | 0 | 0.0 | 109M| 183 | - | 295 |2730 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
103.30/103.34 c 100s|310000 |164999 | 0 | 0.0 | 110M| 183 | - | 295 |2711 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
104.59/104.67 c 102s|320000 |172914 | 0 | 0.0 | 114M| 183 | - | 295 |3121 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
106.10/106.12 c 103s|330000 |180638 | 0 | 0.0 | 118M| 183 | - | 295 |3225 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
107.59/107.60 c 104s|340000 |188332 | 0 | 0.0 | 122M| 183 | - | 295 |3469 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
109.09/109.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.09/109.11 c 106s|350000 |195964 | 0 | 0.0 | 126M| 183 | - | 295 |3622 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
110.59/110.63 c 107s|360000 |203542 | 0 | 0.0 | 130M| 183 | - | 295 |3705 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
112.20/112.21 c 109s|370000 |210999 | 0 | 0.0 | 134M| 183 | - | 295 |3664 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
113.39/113.42 o 147
113.39/113.42 c * 110s|377199 |215039 | 0 | 0.0 | 136M| 183 | - | 295 |3528 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
113.79/113.87 c 110s|380000 |217163 | 0 | 0.0 | 137M| 183 | - | 295 |3331 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
115.50/115.53 c 112s|390000 |224365 | 0 | 0.0 | 141M| 183 | - | 295 |3561 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
115.89/115.90 o 133
115.89/115.90 c * 112s|392059 |224900 | 0 | 0.0 | 141M| 183 | - | 295 |3601 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
117.29/117.34 c 114s|400000 |230460 | 0 | 0.0 | 144M| 183 | - | 295 |3686 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
119.09/119.19 c 115s|410000 |237350 | 0 | 0.0 | 149M| 183 | - | 295 |3808 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
120.10/120.11 o 113
120.10/120.11 c * 116s|414964 |238980 | 0 | 0.0 | 150M| 183 | - | 295 |3870 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 1.130000e+02 | Inf
121.09/121.13 c 117s|420000 |242293 | 0 | 0.0 | 152M| 183 | - | 295 |4277 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 1.130000e+02 | Inf
123.20/123.24 c 119s|430000 |248717 | 0 | 0.0 | 158M| 183 | - | 295 |4317 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 1.130000e+02 | Inf
125.19/125.30 c 121s|440000 |255256 | 0 | 0.0 | 163M| 183 | - | 295 |4101 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 1.130000e+02 | Inf
127.30/127.34 c 123s|450000 |261746 | 0 | 0.0 | 167M| 183 | - | 295 |4176 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 1.130000e+02 | Inf
128.40/128.47 o 76
128.40/128.47 c * 124s|455106 |247537 | 0 | 0.0 | 158M| 183 | - | 295 |3995 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
129.59/129.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.59/129.70 c 125s|460000 |250310 | 0 | 0.0 | 161M| 183 | - | 295 |4558 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
132.39/132.45 c 128s|470000 |255684 | 0 | 0.0 | 167M| 183 | - | 295 |5110 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
133.70/133.79 o 70
133.70/133.79 c * 129s|474881 |252509 | 0 | 0.0 | 166M| 183 | - | 295 |5373 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
135.20/135.21 c 131s|480000 |255219 | 0 | 0.0 | 169M| 183 | - | 295 |4455 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
137.89/137.93 c 133s|490000 |260315 | 0 | 0.0 | 173M| 183 | - | 295 |3390 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
140.70/140.78 c 136s|500000 |265056 | 0 | 0.0 | 178M| 183 | - | 295 |3689 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
143.39/143.47 c 139s|510000 |269882 | 0 | 0.0 | 183M| 183 | - | 295 |4185 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
146.50/146.50 c 142s|520000 |274350 | 0 | 0.0 | 188M| 183 | - | 295 |4982 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
149.50/149.59 c 145s|530000 |278633 | 0 | 0.0 | 192M| 183 | - | 295 |4802 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
152.70/152.78 c 148s|540000 |282750 | 0 | 0.0 | 197M| 183 | - | 295 |5022 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
155.99/156.05 c 151s|550000 |286694 | 0 | 0.0 | 201M| 183 | - | 295 |5320 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
159.40/159.42 c 154s|560000 |290455 | 0 | 0.0 | 205M| 183 | - | 295 |5558 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
162.90/162.93 c 157s|570000 |294182 | 0 | 0.0 | 210M| 183 | - | 295 |6529 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
166.49/166.54 c 161s|580000 |297968 | 0 | 0.0 | 214M| 183 | - | 295 |7365 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
170.30/170.31 c 165s|590000 |301585 | 0 | 0.0 | 218M| 183 | - | 295 |8310 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
170.50/170.55 o 69
170.50/170.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.50/170.55 c * 165s|590442 |301549 | 0 | 0.0 | 218M| 183 | - | 295 |8468 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
174.60/174.68 c 169s|600000 |304548 | 0 | 0.0 | 222M| 183 | - | 295 |8960 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
179.09/179.12 c 173s|610000 |307761 | 0 | 0.0 | 226M| 183 | - | 295 | 10k| 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
184.49/184.54 c 178s|620000 |310075 | 0 | 0.0 | 230M| 183 | - | 295 | 13k| 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
190.20/190.21 c 184s|630000 |311551 | 0 | 0.0 | 232M| 183 | - | 295 |9196 | 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
199.70/199.77 c 193s|640000 |309834 | 0 | 0.0 | 237M| 183 | - | 295 | 19k| 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
214.10/214.15 c 208s|650000 |306499 | 0 | 0.0 | 238M| 183 | - | 295 | 23k| 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
232.39/232.41 c 226s|660000 |301456 | 0 | 0.0 | 235M| 183 | - | 295 | 26k| 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
251.80/251.90 c 245s|670000 |295009 | 0 | 0.0 | 230M| 183 | - | 295 | 30k| 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
262.40/262.45 c 256s|680000 |296016 | 0 | 0.0 | 216M| 183 | - | 295 |2003 | 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
264.70/264.77 c 258s|690000 |301348 | 0 | 0.0 | 221M| 183 | - | 295 |2486 | 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
267.30/267.39 c 260s|700000 |306180 | 0 | 0.0 | 225M| 183 | - | 295 |2848 | 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
269.90/269.99 c 263s|710000 |311191 | 0 | 0.0 | 229M| 183 | - | 295 |2977 | 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
272.60/272.65 c 265s|720000 |316069 | 0 | 0.0 | 233M| 183 | - | 295 |3293 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
275.39/275.49 c 268s|730000 |320626 | 0 | 0.0 | 238M| 183 | - | 295 |3242 | 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
278.31/278.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
278.31/278.34 c 271s|740000 |325095 | 0 | 0.0 | 242M| 183 | - | 295 |3628 | 0 | 0 | 0 | 642k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
281.20/281.27 c 274s|750000 |329435 | 0 | 0.0 | 247M| 183 | - | 295 |3913 | 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
284.20/284.22 c 276s|760000 |333820 | 0 | 0.0 | 251M| 183 | - | 295 |3937 | 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
287.01/287.07 c 279s|770000 |338410 | 0 | 0.0 | 256M| 183 | - | 295 |4255 | 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
290.20/290.20 c 282s|780000 |342578 | 0 | 0.0 | 260M| 183 | - | 295 |4581 | 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
293.20/293.26 c 285s|790000 |346813 | 0 | 0.0 | 265M| 183 | - | 295 |4592 | 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
296.30/296.30 c 288s|800000 |351156 | 0 | 0.0 | 269M| 183 | - | 295 |4651 | 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
299.39/299.46 c 291s|810000 |355329 | 0 | 0.0 | 274M| 183 | - | 295 |4631 | 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
302.50/302.58 c 294s|820000 |359574 | 0 | 0.0 | 278M| 183 | - | 295 |4598 | 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
304.89/304.94 o 31
304.89/304.94 c * 296s|826868 |290858 | 0 | 0.0 | 214M| 183 | - | 295 |4387 | 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
306.70/306.71 c 298s|830000 |290765 | 0 | 0.0 | 218M| 183 | - | 295 |4592 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
312.30/312.37 c 304s|840000 |289643 | 0 | 0.0 | 221M| 183 | - | 295 |5602 | 0 | 0 | 0 | 703k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
318.30/318.31 c 309s|850000 |288007 | 0 | 0.0 | 222M| 183 | - | 295 |5403 | 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
321.40/321.41 o 23
321.40/321.41 c * 312s|854963 |278816 | 0 | 0.0 | 217M| 183 | - | 295 |4537 | 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
324.61/324.67 c 316s|860000 |277405 | 0 | 0.0 | 219M| 183 | - | 295 |5241 | 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
331.40/331.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
331.40/331.42 c 322s|870000 |274138 | 0 | 0.0 | 219M| 183 | - | 295 |5846 | 0 | 0 | 0 | 744k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
333.60/333.68 o 19
333.60/333.68 c * 324s|873531 |265761 | 0 | 0.0 | 215M| 183 | - | 295 |5662 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
337.90/337.98 c 329s|880000 |263573 | 0 | 0.0 | 216M| 183 | - | 295 |6241 | 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
344.70/344.73 c 335s|890000 |261014 | 0 | 0.0 | 217M| 183 | - | 295 |7300 | 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
351.91/351.91 c 342s|900000 |258242 | 0 | 0.0 | 218M| 183 | - | 295 |8053 | 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
358.91/358.97 c 349s|910000 |256360 | 0 | 0.0 | 219M| 183 | - | 295 |8468 | 0 | 0 | 0 | 807k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
366.31/366.33 c 356s|920000 |255002 | 0 | 0.0 | 220M| 183 | - | 295 |9443 | 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
374.01/374.07 c 364s|930000 |253795 | 0 | 0.0 | 221M| 183 | - | 295 | 11k| 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
381.81/381.87 c 372s|940000 |253189 | 0 | 0.0 | 222M| 183 | - | 295 |9544 | 0 | 0 | 0 | 854k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
389.50/389.50 c 379s|950000 |252440 | 0 | 0.0 | 223M| 183 | - | 295 | 11k| 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
397.11/397.11 c 387s|960000 |252456 | 0 | 0.0 | 225M| 183 | - | 295 | 12k| 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
405.40/405.45 c 395s|970000 |251510 | 0 | 0.0 | 225M| 183 | - | 295 | 11k| 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
413.21/413.29 c 402s|980000 |251317 | 0 | 0.0 | 226M| 183 | - | 295 | 12k| 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
421.31/421.37 c 410s|990000 |250497 | 0 | 0.0 | 225M| 183 | - | 295 | 11k| 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
428.91/428.98 c 418s| 1000k|250545 | 0 | 0.0 | 226M| 183 | - | 295 | 10k| 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
437.10/437.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
437.10/437.12 c 426s| 1010k|249560 | 0 | 0.0 | 226M| 183 | - | 295 | 13k| 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
445.30/445.40 c 434s| 1020k|249014 | 0 | 0.0 | 226M| 183 | - | 295 | 12k| 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
453.70/453.73 c 442s| 1030k|248687 | 0 | 0.0 | 227M| 183 | - | 295 | 13k| 0 | 0 | 0 |1000k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
462.51/462.58 c 451s| 1040k|248279 | 0 | 0.0 | 229M| 183 | - | 295 | 16k| 0 | 0 | 0 |1017k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
472.00/472.06 c 460s| 1050k|247826 | 0 | 0.0 | 231M| 183 | - | 295 | 18k| 0 | 0 | 0 |1034k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
481.91/481.97 c 470s| 1060k|247302 | 0 | 0.0 | 233M| 183 | - | 295 | 19k| 0 | 0 | 0 |1051k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
492.40/492.43 c 480s| 1070k|246790 | 0 | 0.0 | 235M| 183 | - | 295 | 21k| 0 | 0 | 0 |1068k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
503.82/503.84 c 492s| 1080k|245759 | 0 | 0.0 | 236M| 183 | - | 295 | 22k| 0 | 0 | 0 |1086k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
514.91/514.91 c 503s| 1090k|245146 | 0 | 0.0 | 238M| 183 | - | 295 | 24k| 0 | 0 | 0 |1103k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
527.21/527.24 c 515s| 1100k|244102 | 0 | 0.0 | 240M| 183 | - | 295 | 27k| 0 | 0 | 0 |1120k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
541.81/541.81 c 529s| 1110k|241689 | 0 | 0.0 | 235M| 183 | - | 295 | 15k| 0 | 0 | 0 |1137k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
545.01/545.05 c 532s| 1120k|246931 | 0 | 0.0 | 236M| 183 | - | 295 |6516 | 0 | 0 | 0 |1145k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
552.21/552.23 c 539s| 1130k|246354 | 0 | 0.0 | 240M| 183 | - | 295 |9505 | 0 | 0 | 0 |1160k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
563.81/563.88 c 551s| 1140k|241855 | 0 | 0.0 | 242M| 183 | - | 295 | 12k| 0 | 0 | 0 |1179k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
579.01/579.03 c 566s| 1150k|235986 | 0 | 0.0 | 244M| 183 | - | 295 | 16k| 0 | 0 | 0 |1200k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
595.91/595.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
595.91/595.91 c 582s| 1160k|229951 | 0 | 0.0 | 245M| 183 | - | 295 | 19k| 0 | 0 | 0 |1221k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
615.51/615.59 c 602s| 1170k|223391 | 0 | 0.0 | 245M| 183 | - | 295 | 22k| 0 | 0 | 0 |1242k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
635.91/635.99 c 622s| 1180k|216942 | 0 | 0.0 | 245M| 183 | - | 295 | 25k| 0 | 0 | 0 |1263k| 0 | 1.000000e+00 | 1.900000e+01 |1800.00%
637.51/637.56 o 11
637.51/637.56 c * 624s| 1180k|189973 | 0 | 0.0 | 223M| 183 | - | 295 | 26k| 0 | 0 | 0 |1265k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
656.22/656.28 c 642s| 1190k|181799 | 0 | 0.0 | 220M| 183 | - | 295 | 23k| 0 | 0 | 0 |1289k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
677.71/677.74 c 664s| 1200k|174084 | 0 | 0.0 | 218M| 183 | - | 295 | 27k| 0 | 0 | 0 |1314k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
685.51/685.54 o 8
685.51/685.54 c * 671s| 1203k|163220 | 0 | 0.0 | 209M| 183 | - | 295 | 27k| 0 | 0 | 0 |1323k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
698.02/698.06 c 684s| 1210k|157853 | 0 | 0.0 | 204M| 183 | - | 295 | 21k| 0 | 0 | 0 |1340k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
718.02/718.04 c 703s| 1220k|150783 | 0 | 0.0 | 201M| 183 | - | 295 | 24k| 0 | 0 | 0 |1365k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
741.02/741.05 c 726s| 1230k|144731 | 0 | 0.0 | 199M| 183 | - | 295 | 27k| 0 | 0 | 0 |1390k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
767.41/767.49 c 753s| 1240k|138999 | 0 | 0.0 | 198M| 183 | - | 295 | 32k| 0 | 0 | 0 |1416k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
802.62/802.69 c 787s| 1250k|133339 | 0 | 0.0 | 197M| 183 | - | 295 | 37k| 0 | 0 | 0 |1442k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
841.92/841.98 c 826s| 1260k|127449 | 0 | 0.0 | 196M| 183 | - | 295 | 43k| 0 | 0 | 0 |1468k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
887.42/887.43 c 871s| 1270k|120853 | 0 | 0.0 | 194M| 183 | - | 295 | 46k| 0 | 0 | 0 |1495k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
935.42/935.48 c 919s| 1280k|114290 | 0 | 0.0 | 191M| 183 | - | 295 | 48k| 0 | 0 | 0 |1522k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
984.53/984.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
984.53/984.60 c 967s| 1290k|107844 | 0 | 0.0 | 188M| 183 | - | 295 | 50k| 0 | 0 | 0 |1547k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
1039.82/1039.81 c 1022s| 1300k|100401 | 0 | 0.0 | 182M| 183 | - | 295 | 50k| 0 | 0 | 0 |1574k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
1090.93/1090.92 c 1072s| 1310k| 93097 | 0 | 0.0 | 176M| 183 | - | 295 | 49k| 0 | 0 | 0 |1601k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
1142.94/1142.94 c 1124s| 1320k| 85486 | 0 | 0.0 | 170M| 183 | - | 295 | 52k| 0 | 0 | 0 |1627k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
1194.23/1194.25 c 1175s| 1330k| 76311 | 0 | 0.0 | 152M| 183 | - | 295 | 38k| 0 | 0 | 0 |1651k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
1204.93/1204.91 c 1185s| 1340k| 82526 | 0 | 0.0 | 151M| 183 | - | 295 | 21k| 0 | 0 | 0 |1660k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
1214.12/1214.15 c 1194s| 1350k| 86600 | 0 | 0.0 | 155M| 183 | - | 295 | 20k| 0 | 0 | 0 |1672k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
1227.33/1227.32 c 1207s| 1360k| 88129 | 0 | 0.0 | 160M| 183 | - | 295 | 26k| 0 | 0 | 0 |1687k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
1236.44/1236.47 c 1215s| 1370k| 90478 | 0 | 0.0 | 158M| 183 | - | 295 | 15k| 0 | 0 | 0 |1698k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
1268.24/1268.29 o 4
1268.24/1268.29 c *1247s| 1378k| 61633 | 0 | 0.0 | 127M| 183 | - | 295 | 27k| 0 | 0 | 0 |1733k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
1273.83/1273.89 c 1252s| 1380k| 59186 | 0 | 0.0 | 123M| 183 | - | 295 | 27k| 0 | 0 | 0 |1736k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
1319.63/1319.66 c 1297s| 1390k| 44590 | 0 | 0.0 | 102M| 183 | - | 295 | 36k| 0 | 0 | 0 |1771k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
1383.84/1383.84 c 1361s| 1400k| 29489 | 0 | 0.0 | 76M| 183 | - | 295 | 50k| 0 | 0 | 0 |1805k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
1418.84/1418.81 c 1395s| 1410k| 26745 | 0 | 0.0 | 56M| 183 | - | 295 | 33k| 0 | 0 | 0 |1823k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
1439.04/1439.06 c 1415s| 1420k| 28283 | 0 | 0.0 | 56M| 183 | - | 295 | 30k| 0 | 0 | 0 |1839k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
1460.14/1460.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1460.14/1460.16 c 1436s| 1430k| 28438 | 0 | 0.0 | 56M| 183 | - | 295 | 30k| 0 | 0 | 0 |1856k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
1481.24/1481.23 c 1456s| 1440k| 28497 | 0 | 0.0 | 56M| 183 | - | 295 | 33k| 0 | 0 | 0 |1874k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
1506.24/1506.20 c 1481s| 1450k| 27168 | 0 | 0.0 | 53M| 183 | - | 295 | 36k| 0 | 0 | 0 |1895k| 0 | 2.000000e+00 | 4.000000e+00 | 100.00%
1535.44/1535.50 c 1510s| 1460k| 25270 | 0 | 0.0 | 52M| 183 | - | 295 | 44k| 0 | 0 | 0 |1914k| 0 | 3.000000e+00 | 4.000000e+00 | 33.33%
1573.74/1573.73 c 1548s| 1470k| 22299 | 0 | 0.0 | 53M| 183 | - | 295 | 45k| 0 | 0 | 0 |1937k| 0 | 3.000000e+00 | 4.000000e+00 | 33.33%
1615.55/1615.50 c 1589s| 1480k| 18327 | 0 | 0.0 | 53M| 183 | - | 295 | 50k| 0 | 0 | 0 |1962k| 0 | 3.000000e+00 | 4.000000e+00 | 33.33%
1660.45/1660.43 c 1633s| 1490k| 13664 | 0 | 0.0 | 51M| 183 | - | 295 | 54k| 0 | 0 | 0 |1986k| 0 | 3.000000e+00 | 4.000000e+00 | 33.33%
1723.24/1723.24 c 1696s| 1500k| 4854 | 0 | 0.0 | 40M| 183 | - | 295 | 60k| 0 | 0 | 0 |2014k| 0 | 3.000000e+00 | 4.000000e+00 | 33.33%
1748.65/1748.62 c
1748.65/1748.62 c SCIP Status : problem is solved [optimal solution found]
1748.65/1748.62 c Solving Time (sec) : 1720.73
1748.65/1748.62 c Solving Nodes : 1503281
1748.65/1748.62 c Primal Bound : +4.00000000000000e+00 (22 solutions)
1748.65/1748.62 c Dual Bound : +4.00000000000000e+00
1748.65/1748.62 c Gap : 0.00 %
1748.65/1748.62 s OPTIMUM FOUND
1748.65/1748.62 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148
1748.65/1748.62 v -x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1748.65/1748.62 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106
1748.65/1748.62 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82
1748.65/1748.62 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56
1748.65/1748.62 v -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31
1748.65/1748.62 v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5
1748.65/1748.62 v -x4 -x3 -x2 -x1
1748.65/1748.62 c SCIP Status : problem is solved [optimal solution found]
1748.65/1748.62 c Solving Time : 1720.73
1748.65/1748.62 c Original Problem :
1748.65/1748.62 c Problem name : HOME/instance-2693961-1277898595.wbo
1748.65/1748.62 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
1748.65/1748.62 c Constraints : 166 initial, 166 maximal
1748.65/1748.62 c Presolved Problem :
1748.65/1748.62 c Problem name : t_HOME/instance-2693961-1277898595.wbo
1748.65/1748.62 c Variables : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous)
1748.65/1748.62 c Constraints : 159 initial, 61700 maximal
1748.65/1748.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1748.65/1748.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1748.65/1748.62 c dualfix : 0.00 2 0 0 0 0 0 0 0
1748.65/1748.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1748.65/1748.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1748.65/1748.62 c implics : 0.00 0 0 0 0 0 0 0 0
1748.65/1748.62 c probing : 0.01 0 0 0 0 0 0 0 0
1748.65/1748.62 c indicator : 0.00 0 0 0 0 0 1 0 0
1748.65/1748.62 c knapsack : 0.00 0 0 0 0 0 0 0 0
1748.65/1748.62 c setppc : 0.00 0 0 0 0 0 0 0 0
1748.65/1748.62 c linear : 0.00 0 0 0 63 0 6 1 0
1748.65/1748.62 c logicor : 0.01 0 0 0 0 0 0 0 0
1748.65/1748.62 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1748.65/1748.62 c root node : - 18 - - 36 - - - -
1748.65/1748.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1748.65/1748.62 c integral : 0 0 0 0 0 0 0 0 0 0
1748.65/1748.62 c indicator : 63 0 4065077 0 905355 2968 972217 0 0 0
1748.65/1748.62 c knapsack : 1 0 4772929 0 1038294 112893 15048480 0 0 0
1748.65/1748.62 c setppc : 23 0 4659213 0 1038109 184632 3118124 0 0 0
1748.65/1748.62 c linear : 63 0 4475381 0 1038286 317742 5682353 0 0 0
1748.65/1748.62 c logicor : 9+ 0 2235756 0 1038177 72675 1222592 0 0 0
1748.65/1748.62 c bounddisjunction : 0+ 0 171096 0 0 0 7733 0 0 0
1748.65/1748.62 c countsols : 0 0 0 0 1038308 0 0 0 0 0
1748.65/1748.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1748.65/1748.62 c integral : 0.00 0.00 0.00 0.00 0.00
1748.65/1748.62 c indicator : 3.22 0.00 1.82 0.00 1.40
1748.65/1748.62 c knapsack : 156.92 0.00 154.36 0.00 2.56
1748.65/1748.62 c setppc : 17.25 0.00 14.74 0.00 2.51
1748.65/1748.62 c linear : 55.09 0.00 54.58 0.00 0.51
1748.65/1748.62 c logicor : 770.08 0.00 768.98 0.00 1.10
1748.65/1748.62 c bounddisjunction : 4.28 0.00 4.28 0.00 0.00
1748.65/1748.62 c countsols : 0.11 0.00 0.00 0.00 0.11
1748.65/1748.62 c Propagators : Time Calls Cutoffs DomReds
1748.65/1748.62 c vbounds : 0.73 2 0 0
1748.65/1748.62 c rootredcost : 0.89 0 0 0
1748.65/1748.62 c pseudoobj : 10.61 4778551 2768 846099
1748.65/1748.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1748.65/1748.62 c propagation : 25.86 690709 690684 3682521 23.6 161170 13.8 -
1748.65/1748.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1748.65/1748.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1748.65/1748.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1748.65/1748.62 c pseudo solution : 0.00 129 129 544 24.8 22 13.3 -
1748.65/1748.62 c applied globally : - - - 1979827 17.1 - - -
1748.65/1748.62 c applied locally : - - - 44918 37.4 - - -
1748.65/1748.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1748.65/1748.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1748.65/1748.62 c redcost : 0.00 0 0 0 0 0
1748.65/1748.62 c impliedbounds : 0.00 0 0 0 0 0
1748.65/1748.62 c intobj : 0.00 0 0 0 0 0
1748.65/1748.62 c cgmip : 0.00 0 0 0 0 0
1748.65/1748.62 c gomory : 0.00 0 0 0 0 0
1748.65/1748.62 c strongcg : 0.00 0 0 0 0 0
1748.65/1748.62 c cmir : 0.00 0 0 0 0 0
1748.65/1748.62 c flowcover : 0.00 0 0 0 0 0
1748.65/1748.62 c clique : 0.00 0 0 0 0 0
1748.65/1748.62 c zerohalf : 0.00 0 0 0 0 0
1748.65/1748.62 c mcf : 0.00 0 0 0 0 0
1748.65/1748.62 c rapidlearning : 0.00 0 0 0 0 0
1748.65/1748.62 c Pricers : Time Calls Vars
1748.65/1748.62 c problem variables: 0.00 0 0
1748.65/1748.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1748.65/1748.62 c relpscost : 0.00 0 0 0 0 0 0
1748.65/1748.62 c pscost : 0.00 0 0 0 0 0 0
1748.65/1748.62 c inference : 8.51 1038286 0 0 0 0 2076572
1748.65/1748.62 c mostinf : 0.00 0 0 0 0 0 0
1748.65/1748.62 c leastinf : 0.00 0 0 0 0 0 0
1748.65/1748.62 c fullstrong : 0.00 0 0 0 0 0 0
1748.65/1748.62 c allfullstrong : 0.00 0 0 0 0 0 0
1748.65/1748.62 c random : 0.00 0 0 0 0 0 0
1748.65/1748.62 c Primal Heuristics : Time Calls Found
1748.65/1748.62 c LP solutions : 0.00 - 0
1748.65/1748.62 c pseudo solutions : 0.32 - 22
1748.65/1748.62 c oneopt : 0.41 0 0
1748.65/1748.62 c trivial : 0.00 2 0
1748.65/1748.62 c simplerounding : 0.00 0 0
1748.65/1748.62 c zirounding : 0.00 0 0
1748.65/1748.62 c rounding : 0.00 0 0
1748.65/1748.62 c shifting : 0.00 0 0
1748.65/1748.62 c intshifting : 0.00 0 0
1748.65/1748.62 c twoopt : 0.00 0 0
1748.65/1748.62 c fixandinfer : 0.00 0 0
1748.65/1748.62 c feaspump : 0.00 0 0
1748.65/1748.62 c coefdiving : 0.00 0 0
1748.65/1748.62 c pscostdiving : 0.00 0 0
1748.65/1748.62 c fracdiving : 0.00 0 0
1748.65/1748.62 c veclendiving : 0.00 0 0
1748.65/1748.62 c intdiving : 0.00 0 0
1748.65/1748.62 c actconsdiving : 0.00 0 0
1748.65/1748.62 c objpscostdiving : 0.00 0 0
1748.65/1748.62 c rootsoldiving : 0.00 0 0
1748.65/1748.62 c linesearchdiving : 0.00 0 0
1748.65/1748.62 c guideddiving : 0.00 0 0
1748.65/1748.62 c octane : 0.00 0 0
1748.65/1748.62 c rens : 0.00 0 0
1748.65/1748.62 c rins : 0.00 0 0
1748.65/1748.62 c localbranching : 0.00 0 0
1748.65/1748.62 c mutation : 0.00 0 0
1748.65/1748.62 c crossover : 0.00 0 0
1748.65/1748.62 c dins : 0.00 0 0
1748.65/1748.62 c undercover : 0.00 0 0
1748.65/1748.62 c nlp : 0.26 0 0
1748.65/1748.62 c trysol : 0.26 1 0
1748.65/1748.62 c LP : Time Calls Iterations Iter/call Iter/sec
1748.65/1748.62 c primal LP : 0.00 0 0 0.00 -
1748.65/1748.62 c dual LP : 0.00 0 0 0.00 -
1748.65/1748.62 c lex dual LP : 0.00 0 0 0.00 -
1748.65/1748.62 c barrier LP : 0.00 0 0 0.00 -
1748.65/1748.62 c diving/probing LP: 0.00 0 0 0.00 -
1748.65/1748.62 c strong branching : 0.00 0 0 0.00 -
1748.65/1748.62 c (at root node) : - 0 0 0.00 -
1748.65/1748.62 c conflict analysis: 0.00 0 0 0.00 -
1748.65/1748.62 c B&B Tree :
1748.65/1748.62 c number of runs : 1
1748.65/1748.62 c nodes : 1503281
1748.65/1748.62 c nodes (total) : 1503281
1748.65/1748.62 c nodes left : 0
1748.65/1748.62 c max depth : 183
1748.65/1748.62 c max depth (total): 183
1748.65/1748.62 c backtracks : 554116 (36.9%)
1748.65/1748.62 c delayed cutoffs : 410669
1748.65/1748.62 c repropagations : 1796860 (7841115 domain reductions, 228834 cutoffs)
1748.65/1748.62 c avg switch length: 28.32
1748.65/1748.62 c switching time : 511.10
1748.65/1748.62 c Solution :
1748.65/1748.62 c Solutions found : 22 (22 improvements)
1748.65/1748.62 c First Solution : +5.27000000000000e+02 (in run 1, after 17093 nodes, 2.79 seconds, depth 134, found by <relaxation>)
1748.65/1748.62 c Primal Bound : +4.00000000000000e+00 (in run 1, after 1378878 nodes, 1246.50 seconds, depth 53, found by <relaxation>)
1748.65/1748.62 c Dual Bound : +4.00000000000000e+00
1748.65/1748.62 c Gap : 0.00 %
1748.65/1748.62 c Root Dual Bound : +0.00000000000000e+00
1748.65/1748.62 c Root Iterations : 0
1748.75/1748.73 c Time complete: 1748.78.