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-2693836-1277895207.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.01
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.29/1.38 c 1.2s| 10000 | 7181 | 0 | 0.0 |6666k| 183 | - | 295 |3543 | 0 | 0 | 0 |7764 | 0 | 0.000000e+00 | -- | Inf
2.60/2.68 o 608
2.60/2.68 c * 2.3s| 15789 | 10353 | 0 | 0.0 |9296k| 183 | - | 295 |3974 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 6.080000e+02 | Inf
2.69/2.71 o 598
2.69/2.71 c * 2.3s| 16070 | 10606 | 0 | 0.0 |9293k| 183 | - | 295 |3533 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 5.980000e+02 | Inf
2.79/2.84 o 397
2.79/2.84 c * 2.4s| 17361 | 11748 | 0 | 0.0 |9323k| 183 | - | 295 |1878 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 3.970000e+02 | Inf
2.99/3.09 c 2.6s| 20000 | 14041 | 0 | 0.0 | 10M| 183 | - | 295 |1277 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 3.970000e+02 | Inf
5.09/5.12 c 4.3s| 30000 | 19899 | 0 | 0.0 | 15M| 183 | - | 295 |5861 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 3.970000e+02 | Inf
8.29/8.38 c 7.3s| 40000 | 24022 | 0 | 0.0 | 21M| 183 | - | 295 |8896 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 3.970000e+02 | Inf
12.59/12.61 c 11.2s| 50000 | 26638 | 0 | 0.0 | 26M| 183 | - | 295 | 11k| 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 3.970000e+02 | Inf
16.79/16.80 c 15.0s| 60000 | 30159 | 0 | 0.0 | 26M| 183 | - | 295 |1354 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 3.970000e+02 | Inf
17.79/17.81 c 15.8s| 70000 | 38704 | 0 | 0.0 | 30M| 183 | - | 295 |1516 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 3.970000e+02 | Inf
18.39/18.40 o 391
18.39/18.40 c *16.2s| 75173 | 42965 | 0 | 0.0 | 32M| 183 | - | 295 |1676 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 3.910000e+02 | Inf
18.89/18.95 c 16.6s| 80000 | 46954 | 0 | 0.0 | 33M| 183 | - | 295 |1602 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 3.910000e+02 | Inf
19.70/19.72 o 389
19.70/19.72 c *17.2s| 86547 | 52255 | 0 | 0.0 | 36M| 183 | - | 295 |1559 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 3.890000e+02 | Inf
20.09/20.14 c 17.6s| 90000 | 55036 | 0 | 0.0 | 37M| 183 | - | 295 |1639 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 3.890000e+02 | Inf
20.90/20.94 o 380
20.90/20.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.90/20.94 c *18.2s| 96349 | 60055 | 0 | 0.0 | 40M| 183 | - | 295 |1926 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 3.800000e+02 | Inf
20.90/20.96 o 332
20.90/20.96 c *18.2s| 96476 | 60141 | 0 | 0.0 | 40M| 183 | - | 295 |1951 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
21.30/21.34 o 302
21.30/21.34 c *18.6s| 99392 | 62424 | 0 | 0.0 | 41M| 183 | - | 295 |2102 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 3.020000e+02 | Inf
21.39/21.42 c 18.6s|100000 | 62889 | 0 | 0.0 | 41M| 183 | - | 295 |2158 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 3.020000e+02 | Inf
21.69/21.79 o 251
21.69/21.79 c *18.9s|102682 | 64940 | 0 | 0.0 | 43M| 183 | - | 295 |2362 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 2.510000e+02 | Inf
22.79/22.83 c 19.7s|110000 | 70510 | 0 | 0.0 | 46M| 183 | - | 295 |2816 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 2.510000e+02 | Inf
23.19/23.27 o 201
23.19/23.27 c *20.1s|112956 | 72676 | 0 | 0.0 | 47M| 183 | - | 295 |3021 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
24.29/24.30 c 20.9s|120000 | 78064 | 0 | 0.0 | 50M| 183 | - | 295 |3217 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
25.80/25.89 c 22.2s|130000 | 85412 | 0 | 0.0 | 54M| 183 | - | 295 |3943 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
27.89/27.96 c 24.0s|140000 | 91774 | 0 | 0.0 | 59M| 183 | - | 295 |5521 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
31.69/31.77 c 27.5s|150000 | 94842 | 0 | 0.0 | 64M| 183 | - | 295 |8094 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
38.10/38.10 c 33.4s|160000 | 94597 | 0 | 0.0 | 68M| 183 | - | 295 | 14k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
46.59/46.61 c 41.5s|170000 | 93235 | 0 | 0.0 | 71M| 183 | - | 295 | 19k| 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
56.69/56.77 c 51.3s|180000 | 91095 | 0 | 0.0 | 73M| 183 | - | 295 | 23k| 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
63.40/63.46 c 57.6s|190000 | 93927 | 0 | 0.0 | 67M| 183 | - | 295 |1276 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
64.70/64.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.70/64.72 c 58.6s|200000 |101915 | 0 | 0.0 | 71M| 183 | - | 295 |1836 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
65.90/66.00 c 59.6s|210000 |109889 | 0 | 0.0 | 75M| 183 | - | 295 |2183 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
67.29/67.36 c 60.7s|220000 |117671 | 0 | 0.0 | 79M| 183 | - | 295 |2640 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
68.80/68.81 c 61.9s|230000 |125305 | 0 | 0.0 | 83M| 183 | - | 295 |3037 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
70.19/70.24 c 63.0s|240000 |133057 | 0 | 0.0 | 87M| 183 | - | 295 |3288 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
71.69/71.71 c 64.2s|250000 |140737 | 0 | 0.0 | 91M| 183 | - | 295 |3466 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
73.19/73.28 c 65.5s|260000 |148194 | 0 | 0.0 | 95M| 183 | - | 295 |3782 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
74.80/74.89 c 66.9s|270000 |155700 | 0 | 0.0 | 99M| 183 | - | 295 |3827 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
76.49/76.59 c 68.3s|280000 |162975 | 0 | 0.0 | 103M| 183 | - | 295 |4084 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
78.20/78.25 c 69.6s|290000 |170353 | 0 | 0.0 | 108M| 183 | - | 295 |3925 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
79.89/79.93 c 71.1s|300000 |177648 | 0 | 0.0 | 111M| 183 | - | 295 |3738 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
81.49/81.58 c 72.4s|310000 |184951 | 0 | 0.0 | 115M| 183 | - | 295 |3566 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
83.19/83.22 c 73.8s|320000 |192270 | 0 | 0.0 | 119M| 183 | - | 295 |3446 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
84.80/84.82 c 75.1s|330000 |199673 | 0 | 0.0 | 123M| 183 | - | 295 |3285 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
86.39/86.47 c 76.4s|340000 |206885 | 0 | 0.0 | 127M| 183 | - | 295 |3246 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
86.49/86.54 o 196
86.49/86.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.49/86.54 c *76.5s|340415 |207181 | 0 | 0.0 | 127M| 183 | - | 295 |3283 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 1.960000e+02 | Inf
88.09/88.17 c 77.9s|350000 |214065 | 0 | 0.0 | 131M| 183 | - | 295 |3634 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 1.960000e+02 | Inf
89.89/89.92 c 79.3s|360000 |221188 | 0 | 0.0 | 135M| 183 | - | 295 |3623 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 1.960000e+02 | Inf
91.59/91.62 c 80.7s|370000 |228386 | 0 | 0.0 | 140M| 183 | - | 295 |3810 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 1.960000e+02 | Inf
93.30/93.37 c 82.2s|380000 |235535 | 0 | 0.0 | 144M| 183 | - | 295 |3800 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 1.960000e+02 | Inf
95.09/95.17 c 83.7s|390000 |242519 | 0 | 0.0 | 148M| 183 | - | 295 |3840 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 1.960000e+02 | Inf
96.89/96.99 c 85.2s|400000 |249418 | 0 | 0.0 | 152M| 183 | - | 295 |4080 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 1.960000e+02 | Inf
98.79/98.87 c 86.8s|410000 |256315 | 0 | 0.0 | 156M| 183 | - | 295 |4160 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 1.960000e+02 | Inf
100.79/100.87 c 88.5s|420000 |262977 | 0 | 0.0 | 160M| 183 | - | 295 |4304 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 1.960000e+02 | Inf
102.79/102.85 c 90.2s|430000 |269712 | 0 | 0.0 | 165M| 183 | - | 295 |4456 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 1.960000e+02 | Inf
104.79/104.89 c 91.9s|440000 |276265 | 0 | 0.0 | 169M| 183 | - | 295 |4585 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.960000e+02 | Inf
106.89/106.98 c 93.8s|450000 |282711 | 0 | 0.0 | 173M| 183 | - | 295 |4657 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 1.960000e+02 | Inf
108.00/108.02 o 157
108.00/108.02 c *94.6s|454939 |285511 | 0 | 0.0 | 174M| 183 | - | 295 |4906 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 1.570000e+02 | Inf
109.09/109.14 c 95.6s|460000 |288667 | 0 | 0.0 | 177M| 183 | - | 295 |5101 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 1.570000e+02 | Inf
109.19/109.20 o 135
109.19/109.20 c *95.7s|460273 |287520 | 0 | 0.0 | 175M| 183 | - | 295 |5066 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
111.40/111.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.40/111.47 c 97.6s|470000 |293419 | 0 | 0.0 | 180M| 183 | - | 295 |5276 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
113.69/113.74 c 99.6s|480000 |299627 | 0 | 0.0 | 184M| 183 | - | 295 |5357 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
115.99/116.07 c 102s|490000 |305732 | 0 | 0.0 | 188M| 183 | - | 295 |5597 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
118.39/118.44 c 104s|500000 |311853 | 0 | 0.0 | 193M| 183 | - | 295 |6198 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
120.90/120.96 c 106s|510000 |317726 | 0 | 0.0 | 197M| 183 | - | 295 |6495 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
123.50/123.53 c 108s|520000 |323500 | 0 | 0.0 | 202M| 183 | - | 295 |6717 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
126.09/126.14 c 110s|530000 |329302 | 0 | 0.0 | 206M| 183 | - | 295 |6971 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
128.79/128.81 c 113s|540000 |335053 | 0 | 0.0 | 211M| 183 | - | 295 |7155 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
131.60/131.61 c 115s|550000 |340488 | 0 | 0.0 | 215M| 183 | - | 295 |7613 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
134.39/134.44 c 118s|560000 |346080 | 0 | 0.0 | 219M| 183 | - | 295 |7454 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
137.50/137.55 c 121s|570000 |351103 | 0 | 0.0 | 224M| 183 | - | 295 |8170 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
140.39/140.49 c 123s|580000 |356547 | 0 | 0.0 | 228M| 183 | - | 295 |8497 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
143.59/143.67 c 126s|590000 |361688 | 0 | 0.0 | 232M| 183 | - | 295 |8962 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
147.10/147.11 c 129s|600000 |366445 | 0 | 0.0 | 237M| 183 | - | 295 |9373 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
150.70/150.72 c 132s|610000 |371057 | 0 | 0.0 | 241M| 183 | - | 295 | 10k| 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
154.80/154.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.80/154.83 c 136s|620000 |375072 | 0 | 0.0 | 246M| 183 | - | 295 | 10k| 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
159.20/159.21 c 140s|630000 |378644 | 0 | 0.0 | 250M| 183 | - | 295 | 11k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
164.09/164.16 c 145s|640000 |381360 | 0 | 0.0 | 253M| 183 | - | 295 | 12k| 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
170.40/170.46 c 151s|650000 |382173 | 0 | 0.0 | 256M| 183 | - | 295 | 14k| 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
175.90/175.98 c 156s|660000 |383416 | 0 | 0.0 | 256M| 183 | - | 295 | 10k| 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
185.00/185.00 c 164s|670000 |380415 | 0 | 0.0 | 246M| 183 | - | 295 |2050 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
186.69/186.76 c 166s|680000 |387428 | 0 | 0.0 | 251M| 183 | - | 295 |2129 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
188.70/188.74 c 168s|690000 |393958 | 0 | 0.0 | 256M| 183 | - | 295 |2541 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
190.60/190.64 c 169s|700000 |400603 | 0 | 0.0 | 261M| 183 | - | 295 |2817 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
192.70/192.73 c 171s|710000 |406853 | 0 | 0.0 | 266M| 183 | - | 295 |3310 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
194.90/194.94 c 173s|720000 |412851 | 0 | 0.0 | 270M| 183 | - | 295 |3815 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
197.10/197.16 c 175s|730000 |418982 | 0 | 0.0 | 275M| 183 | - | 295 |4013 | 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
199.39/199.41 c 177s|740000 |425134 | 0 | 0.0 | 279M| 183 | - | 295 |4235 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
201.69/201.74 c 179s|750000 |431113 | 0 | 0.0 | 284M| 183 | - | 295 |4563 | 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
204.00/204.02 c 181s|760000 |437221 | 0 | 0.0 | 288M| 183 | - | 295 |4979 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
206.39/206.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
206.39/206.48 c 183s|770000 |443149 | 0 | 0.0 | 293M| 183 | - | 295 |5237 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
208.79/208.85 c 185s|780000 |449217 | 0 | 0.0 | 297M| 183 | - | 295 |5670 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
211.10/211.18 c 187s|790000 |455458 | 0 | 0.0 | 301M| 183 | - | 295 |5679 | 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
213.59/213.66 c 189s|800000 |461479 | 0 | 0.0 | 305M| 183 | - | 295 |5762 | 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
215.80/215.82 c 191s|810000 |468060 | 0 | 0.0 | 309M| 183 | - | 295 |6317 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
218.10/218.15 c 193s|820000 |474481 | 0 | 0.0 | 314M| 183 | - | 295 |6415 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
220.49/220.56 c 195s|830000 |480797 | 0 | 0.0 | 318M| 183 | - | 295 |6443 | 0 | 0 | 0 | 500k| 0 | 1.000000e+00 | 1.350000e+02 | Large
222.80/222.84 c 197s|840000 |487231 | 0 | 0.0 | 323M| 183 | - | 295 |6630 | 0 | 0 | 0 | 503k| 0 | 1.000000e+00 | 1.350000e+02 | Large
225.20/225.27 c 199s|850000 |493408 | 0 | 0.0 | 328M| 183 | - | 295 |6688 | 0 | 0 | 0 | 506k| 0 | 1.000000e+00 | 1.350000e+02 | Large
227.60/227.65 c 201s|860000 |499625 | 0 | 0.0 | 333M| 183 | - | 295 |7086 | 0 | 0 | 0 | 510k| 0 | 1.000000e+00 | 1.350000e+02 | Large
230.10/230.15 c 203s|870000 |505670 | 0 | 0.0 | 338M| 183 | - | 295 |7076 | 0 | 0 | 0 | 513k| 0 | 1.000000e+00 | 1.350000e+02 | Large
232.50/232.56 c 206s|880000 |511813 | 0 | 0.0 | 342M| 183 | - | 295 |7261 | 0 | 0 | 0 | 517k| 0 | 1.000000e+00 | 1.350000e+02 | Large
235.00/235.01 c 208s|890000 |517913 | 0 | 0.0 | 347M| 183 | - | 295 |7269 | 0 | 0 | 0 | 520k| 0 | 1.000000e+00 | 1.350000e+02 | Large
237.40/237.47 c 210s|900000 |524005 | 0 | 0.0 | 352M| 183 | - | 295 |7505 | 0 | 0 | 0 | 523k| 0 | 1.000000e+00 | 1.350000e+02 | Large
239.89/239.97 c 212s|910000 |530057 | 0 | 0.0 | 357M| 183 | - | 295 |7537 | 0 | 0 | 0 | 527k| 0 | 1.000000e+00 | 1.350000e+02 | Large
242.39/242.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
242.39/242.43 c 214s|920000 |536224 | 0 | 0.0 | 361M| 183 | - | 295 |7644 | 0 | 0 | 0 | 530k| 0 | 1.000000e+00 | 1.350000e+02 | Large
244.90/244.97 c 216s|930000 |542229 | 0 | 0.0 | 366M| 183 | - | 295 |7703 | 0 | 0 | 0 | 533k| 0 | 1.000000e+00 | 1.350000e+02 | Large
247.59/247.65 c 219s|940000 |548097 | 0 | 0.0 | 371M| 183 | - | 295 |7643 | 0 | 0 | 0 | 537k| 0 | 1.000000e+00 | 1.350000e+02 | Large
250.09/250.11 c 221s|950000 |554257 | 0 | 0.0 | 376M| 183 | - | 295 |7857 | 0 | 0 | 0 | 540k| 0 | 1.000000e+00 | 1.350000e+02 | Large
252.60/252.65 c 223s|960000 |560358 | 0 | 0.0 | 381M| 183 | - | 295 |7755 | 0 | 0 | 0 | 543k| 0 | 1.000000e+00 | 1.350000e+02 | Large
255.11/255.16 c 225s|970000 |566413 | 0 | 0.0 | 386M| 183 | - | 295 |7854 | 0 | 0 | 0 | 547k| 0 | 1.000000e+00 | 1.350000e+02 | Large
257.69/257.76 c 228s|980000 |572355 | 0 | 0.0 | 390M| 183 | - | 295 |7695 | 0 | 0 | 0 | 550k| 0 | 1.000000e+00 | 1.350000e+02 | Large
260.20/260.27 c 230s|990000 |578437 | 0 | 0.0 | 395M| 183 | - | 295 |7670 | 0 | 0 | 0 | 554k| 0 | 1.000000e+00 | 1.350000e+02 | Large
262.91/262.91 c 232s| 1000k|584289 | 0 | 0.0 | 400M| 183 | - | 295 |7502 | 0 | 0 | 0 | 558k| 0 | 1.000000e+00 | 1.350000e+02 | Large
265.30/265.38 c 234s| 1010k|590389 | 0 | 0.0 | 405M| 183 | - | 295 |7768 | 0 | 0 | 0 | 561k| 0 | 1.000000e+00 | 1.350000e+02 | Large
267.90/267.99 c 237s| 1020k|596348 | 0 | 0.0 | 410M| 183 | - | 295 |7574 | 0 | 0 | 0 | 565k| 0 | 1.000000e+00 | 1.350000e+02 | Large
270.61/270.66 c 239s| 1030k|602081 | 0 | 0.0 | 414M| 183 | - | 295 |7596 | 0 | 0 | 0 | 569k| 0 | 1.000000e+00 | 1.350000e+02 | Large
273.10/273.16 c 241s| 1040k|608234 | 0 | 0.0 | 419M| 183 | - | 295 |7144 | 0 | 0 | 0 | 572k| 0 | 1.000000e+00 | 1.350000e+02 | Large
275.80/275.81 c 244s| 1050k|613832 | 0 | 0.0 | 424M| 183 | - | 295 |7561 | 0 | 0 | 0 | 576k| 0 | 1.000000e+00 | 1.350000e+02 | Large
278.31/278.34 c 246s| 1060k|619975 | 0 | 0.0 | 428M| 183 | - | 295 |6860 | 0 | 0 | 0 | 580k| 0 | 1.000000e+00 | 1.350000e+02 | Large
280.90/280.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
280.90/280.95 c 248s| 1070k|625545 | 0 | 0.0 | 433M| 183 | - | 295 |7463 | 0 | 0 | 0 | 584k| 0 | 1.000000e+00 | 1.350000e+02 | Large
283.40/283.47 c 250s| 1080k|631693 | 0 | 0.0 | 438M| 183 | - | 295 |6774 | 0 | 0 | 0 | 588k| 0 | 1.000000e+00 | 1.350000e+02 | Large
285.90/285.98 c 252s| 1090k|637527 | 0 | 0.0 | 442M| 183 | - | 295 |7347 | 0 | 0 | 0 | 592k| 0 | 1.000000e+00 | 1.350000e+02 | Large
288.49/288.55 c 255s| 1100k|643493 | 0 | 0.0 | 447M| 183 | - | 295 |7232 | 0 | 0 | 0 | 595k| 0 | 1.000000e+00 | 1.350000e+02 | Large
291.10/291.14 c 257s| 1110k|649364 | 0 | 0.0 | 452M| 183 | - | 295 |7504 | 0 | 0 | 0 | 599k| 0 | 1.000000e+00 | 1.350000e+02 | Large
291.60/291.66 o 128
291.60/291.66 c * 257s| 1111k|649314 | 0 | 0.0 | 452M| 183 | - | 295 |7594 | 0 | 0 | 0 | 600k| 0 | 1.000000e+00 | 1.280000e+02 | Large
293.90/293.93 c 259s| 1120k|653918 | 0 | 0.0 | 456M| 183 | - | 295 |7375 | 0 | 0 | 0 | 604k| 0 | 1.000000e+00 | 1.280000e+02 | Large
296.40/296.43 c 262s| 1130k|660077 | 0 | 0.0 | 461M| 183 | - | 295 |7353 | 0 | 0 | 0 | 608k| 0 | 1.000000e+00 | 1.280000e+02 | Large
299.21/299.24 c 264s| 1140k|665460 | 0 | 0.0 | 465M| 183 | - | 295 |7640 | 0 | 0 | 0 | 612k| 0 | 1.000000e+00 | 1.280000e+02 | Large
301.70/301.77 c 266s| 1150k|671497 | 0 | 0.0 | 470M| 183 | - | 295 |7471 | 0 | 0 | 0 | 616k| 0 | 1.000000e+00 | 1.280000e+02 | Large
303.50/303.56 o 125
303.50/303.56 c * 268s| 1157k|675330 | 0 | 0.0 | 473M| 183 | - | 295 |7670 | 0 | 0 | 0 | 619k| 0 | 1.000000e+00 | 1.250000e+02 | Large
304.40/304.45 c 269s| 1160k|676779 | 0 | 0.0 | 475M| 183 | - | 295 |8013 | 0 | 0 | 0 | 621k| 0 | 1.000000e+00 | 1.250000e+02 | Large
307.10/307.19 c 271s| 1170k|682467 | 0 | 0.0 | 479M| 183 | - | 295 |7757 | 0 | 0 | 0 | 625k| 0 | 1.000000e+00 | 1.250000e+02 | Large
309.80/309.81 c 273s| 1180k|688505 | 0 | 0.0 | 484M| 183 | - | 295 |8013 | 0 | 0 | 0 | 629k| 0 | 1.000000e+00 | 1.250000e+02 | Large
312.70/312.76 c 276s| 1190k|693765 | 0 | 0.0 | 489M| 183 | - | 295 |7971 | 0 | 0 | 0 | 634k| 0 | 1.000000e+00 | 1.250000e+02 | Large
315.30/315.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
315.30/315.37 c 278s| 1200k|699815 | 0 | 0.0 | 494M| 183 | - | 295 |7850 | 0 | 0 | 0 | 638k| 0 | 1.000000e+00 | 1.250000e+02 | Large
318.20/318.23 c 281s| 1210k|705340 | 0 | 0.0 | 499M| 183 | - | 295 |8558 | 0 | 0 | 0 | 643k| 0 | 1.000000e+00 | 1.250000e+02 | Large
320.90/320.96 c 283s| 1220k|711161 | 0 | 0.0 | 504M| 183 | - | 295 |8271 | 0 | 0 | 0 | 647k| 0 | 1.000000e+00 | 1.250000e+02 | Large
323.79/323.87 c 286s| 1230k|716780 | 0 | 0.0 | 509M| 183 | - | 295 |8504 | 0 | 0 | 0 | 652k| 0 | 1.000000e+00 | 1.250000e+02 | Large
326.71/326.78 c 289s| 1240k|722215 | 0 | 0.0 | 513M| 183 | - | 295 |8302 | 0 | 0 | 0 | 657k| 0 | 1.000000e+00 | 1.250000e+02 | Large
329.60/329.62 c 291s| 1250k|727954 | 0 | 0.0 | 518M| 183 | - | 295 |8615 | 0 | 0 | 0 | 662k| 0 | 1.000000e+00 | 1.250000e+02 | Large
332.80/332.80 c 294s| 1260k|733121 | 0 | 0.0 | 523M| 183 | - | 295 |8923 | 0 | 0 | 0 | 667k| 0 | 1.000000e+00 | 1.250000e+02 | Large
333.70/333.71 o 124
333.70/333.71 c * 295s| 1263k|734409 | 0 | 0.0 | 524M| 183 | - | 295 |8586 | 0 | 0 | 0 | 668k| 0 | 1.000000e+00 | 1.240000e+02 | Large
335.60/335.61 c 296s| 1270k|738527 | 0 | 0.0 | 527M| 183 | - | 295 |8769 | 0 | 0 | 0 | 672k| 0 | 1.000000e+00 | 1.240000e+02 | Large
338.50/338.52 c 299s| 1280k|744294 | 0 | 0.0 | 532M| 183 | - | 295 |9314 | 0 | 0 | 0 | 677k| 0 | 1.000000e+00 | 1.240000e+02 | Large
341.50/341.55 c 302s| 1290k|749655 | 0 | 0.0 | 537M| 183 | - | 295 |9159 | 0 | 0 | 0 | 682k| 0 | 1.000000e+00 | 1.240000e+02 | Large
344.50/344.54 c 304s| 1300k|755306 | 0 | 0.0 | 542M| 183 | - | 295 |9582 | 0 | 0 | 0 | 687k| 0 | 1.000000e+00 | 1.240000e+02 | Large
347.70/347.75 c 307s| 1310k|760680 | 0 | 0.0 | 547M| 183 | - | 295 | 10k| 0 | 0 | 0 | 693k| 0 | 1.000000e+00 | 1.240000e+02 | Large
348.50/348.53 o 120
348.50/348.53 c * 308s| 1312k|760435 | 0 | 0.0 | 546M| 183 | - | 295 |9914 | 0 | 0 | 0 | 694k| 0 | 1.000000e+00 | 1.200000e+02 | Large
350.91/350.94 c 310s| 1320k|764557 | 0 | 0.0 | 549M| 183 | - | 295 |9699 | 0 | 0 | 0 | 698k| 0 | 1.000000e+00 | 1.200000e+02 | Large
354.00/354.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
354.00/354.09 c 313s| 1330k|770145 | 0 | 0.0 | 554M| 183 | - | 295 |9988 | 0 | 0 | 0 | 704k| 0 | 1.000000e+00 | 1.200000e+02 | Large
357.20/357.26 c 316s| 1340k|775617 | 0 | 0.0 | 559M| 183 | - | 295 |9982 | 0 | 0 | 0 | 709k| 0 | 1.000000e+00 | 1.200000e+02 | Large
360.40/360.42 c 319s| 1350k|781170 | 0 | 0.0 | 564M| 183 | - | 295 | 10k| 0 | 0 | 0 | 715k| 0 | 1.000000e+00 | 1.200000e+02 | Large
363.50/363.51 c 321s| 1360k|786957 | 0 | 0.0 | 568M| 183 | - | 295 | 10k| 0 | 0 | 0 | 721k| 0 | 1.000000e+00 | 1.200000e+02 | Large
366.80/366.83 c 324s| 1370k|792124 | 0 | 0.0 | 573M| 183 | - | 295 | 10k| 0 | 0 | 0 | 726k| 0 | 1.000000e+00 | 1.200000e+02 | Large
369.80/369.86 c 327s| 1380k|797881 | 0 | 0.0 | 578M| 183 | - | 295 | 10k| 0 | 0 | 0 | 731k| 0 | 1.000000e+00 | 1.200000e+02 | Large
373.30/373.34 c 330s| 1390k|802960 | 0 | 0.0 | 582M| 183 | - | 295 | 10k| 0 | 0 | 0 | 737k| 0 | 1.000000e+00 | 1.200000e+02 | Large
376.60/376.68 c 333s| 1400k|808270 | 0 | 0.0 | 587M| 183 | - | 295 | 10k| 0 | 0 | 0 | 743k| 0 | 1.000000e+00 | 1.200000e+02 | Large
379.90/379.97 c 336s| 1410k|813746 | 0 | 0.0 | 592M| 183 | - | 295 | 11k| 0 | 0 | 0 | 749k| 0 | 1.000000e+00 | 1.200000e+02 | Large
383.50/383.56 c 340s| 1420k|818726 | 0 | 0.0 | 596M| 183 | - | 295 | 10k| 0 | 0 | 0 | 755k| 0 | 1.000000e+00 | 1.200000e+02 | Large
386.80/386.89 c 343s| 1430k|824116 | 0 | 0.0 | 601M| 183 | - | 295 | 10k| 0 | 0 | 0 | 761k| 0 | 1.000000e+00 | 1.200000e+02 | Large
390.41/390.50 c 346s| 1440k|829157 | 0 | 0.0 | 606M| 183 | - | 295 | 11k| 0 | 0 | 0 | 767k| 0 | 1.000000e+00 | 1.200000e+02 | Large
391.70/391.70 o 104
391.70/391.70 c * 347s| 1443k|823468 | 0 | 0.0 | 599M| 183 | - | 295 | 11k| 0 | 0 | 0 | 769k| 0 | 1.000000e+00 | 1.040000e+02 | Large
394.30/394.30 c 349s| 1450k|827119 | 0 | 0.0 | 602M| 183 | - | 295 | 11k| 0 | 0 | 0 | 774k| 0 | 1.000000e+00 | 1.040000e+02 | Large
398.11/398.10 c 353s| 1460k|832327 | 0 | 0.0 | 607M| 183 | - | 295 | 12k| 0 | 0 | 0 | 781k| 0 | 1.000000e+00 | 1.040000e+02 | Large
400.10/400.13 o 94
400.10/400.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
400.10/400.13 c * 355s| 1464k|820492 | 0 | 0.0 | 595M| 183 | - | 295 | 11k| 0 | 0 | 0 | 784k| 0 | 1.000000e+00 | 9.400000e+01 |9300.00%
402.30/402.34 c 357s| 1470k|823163 | 0 | 0.0 | 597M| 183 | - | 295 | 10k| 0 | 0 | 0 | 787k| 0 | 1.000000e+00 | 9.400000e+01 |9300.00%
406.00/406.03 c 360s| 1480k|828333 | 0 | 0.0 | 601M| 183 | - | 295 |7290 | 0 | 0 | 0 | 794k| 0 | 1.000000e+00 | 9.400000e+01 |9300.00%
409.00/409.07 o 59
409.00/409.07 c * 363s| 1488k|717409 | 0 | 0.0 | 501M| 183 | - | 295 |1980 | 0 | 0 | 0 | 801k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
409.50/409.59 c 363s| 1490k|718002 | 0 | 0.0 | 501M| 183 | - | 295 |1061 | 0 | 0 | 0 | 802k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
413.10/413.16 c 366s| 1500k|721226 | 0 | 0.0 | 506M| 183 | - | 295 |1875 | 0 | 0 | 0 | 810k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
416.60/416.69 c 369s| 1510k|724546 | 0 | 0.0 | 511M| 183 | - | 295 |5383 | 0 | 0 | 0 | 817k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
420.70/420.77 c 373s| 1520k|727582 | 0 | 0.0 | 515M| 183 | - | 295 |6429 | 0 | 0 | 0 | 825k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
425.10/425.10 c 377s| 1530k|730750 | 0 | 0.0 | 519M| 183 | - | 295 |6065 | 0 | 0 | 0 | 833k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
429.20/429.23 c 381s| 1540k|734283 | 0 | 0.0 | 523M| 183 | - | 295 |7995 | 0 | 0 | 0 | 841k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
433.70/433.78 c 385s| 1550k|737023 | 0 | 0.0 | 527M| 183 | - | 295 |8087 | 0 | 0 | 0 | 849k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
436.30/436.34 o 58
436.30/436.34 c * 387s| 1554k|731888 | 0 | 0.0 | 523M| 183 | - | 295 |6229 | 0 | 0 | 0 | 854k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
438.60/438.68 c 389s| 1560k|733053 | 0 | 0.0 | 525M| 183 | - | 295 |7968 | 0 | 0 | 0 | 859k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
444.20/444.20 c 394s| 1570k|734655 | 0 | 0.0 | 529M| 183 | - | 295 |7731 | 0 | 0 | 0 | 869k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
449.60/449.62 c 399s| 1580k|736474 | 0 | 0.0 | 532M| 183 | - | 295 |7769 | 0 | 0 | 0 | 880k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
455.20/455.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
455.20/455.23 c 405s| 1590k|738195 | 0 | 0.0 | 536M| 183 | - | 295 |8008 | 0 | 0 | 0 | 890k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
461.21/461.25 c 410s| 1600k|739435 | 0 | 0.0 | 539M| 183 | - | 295 |7974 | 0 | 0 | 0 | 901k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
467.00/467.03 c 416s| 1610k|740834 | 0 | 0.0 | 542M| 183 | - | 295 |8472 | 0 | 0 | 0 | 913k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
472.50/472.57 c 421s| 1620k|742438 | 0 | 0.0 | 546M| 183 | - | 295 |8110 | 0 | 0 | 0 | 923k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
478.20/478.26 c 426s| 1630k|743481 | 0 | 0.0 | 549M| 183 | - | 295 |8833 | 0 | 0 | 0 | 935k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
484.21/484.21 c 432s| 1640k|744211 | 0 | 0.0 | 553M| 183 | - | 295 |9405 | 0 | 0 | 0 | 948k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
490.11/490.13 c 437s| 1650k|745144 | 0 | 0.0 | 556M| 183 | - | 295 |9711 | 0 | 0 | 0 | 960k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
496.30/496.34 c 443s| 1660k|745264 | 0 | 0.0 | 558M| 183 | - | 295 |9703 | 0 | 0 | 0 | 973k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
502.50/502.57 c 449s| 1670k|745894 | 0 | 0.0 | 561M| 183 | - | 295 | 11k| 0 | 0 | 0 | 986k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
509.30/509.35 c 455s| 1680k|745705 | 0 | 0.0 | 564M| 183 | - | 295 | 11k| 0 | 0 | 0 | 999k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
516.31/516.33 c 461s| 1690k|745571 | 0 | 0.0 | 566M| 183 | - | 295 | 12k| 0 | 0 | 0 |1013k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
523.70/523.78 c 468s| 1700k|745432 | 0 | 0.0 | 568M| 183 | - | 295 | 13k| 0 | 0 | 0 |1027k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
532.30/532.36 c 477s| 1710k|743928 | 0 | 0.0 | 570M| 183 | - | 295 | 15k| 0 | 0 | 0 |1042k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
541.90/541.90 c 486s| 1720k|741348 | 0 | 0.0 | 570M| 183 | - | 295 | 15k| 0 | 0 | 0 |1059k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
547.90/547.93 c 491s| 1730k|742128 | 0 | 0.0 | 569M| 183 | - | 295 |5797 | 0 | 0 | 0 |1068k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
554.61/554.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
554.61/554.61 c 497s| 1740k|739477 | 0 | 0.0 | 570M| 183 | - | 295 |8295 | 0 | 0 | 0 |1078k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
564.41/564.47 c 507s| 1750k|733198 | 0 | 0.0 | 570M| 183 | - | 295 | 12k| 0 | 0 | 0 |1091k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
570.10/570.18 o 56
570.10/570.18 c * 512s| 1758k|712310 | 0 | 0.0 | 547M| 183 | - | 295 |4548 | 0 | 0 | 0 |1099k| 0 | 1.000000e+00 | 5.600000e+01 |5500.00%
570.41/570.49 c 512s| 1760k|712895 | 0 | 0.0 | 548M| 183 | - | 295 |4518 | 0 | 0 | 0 |1100k| 0 | 1.000000e+00 | 5.600000e+01 |5500.00%
574.21/574.20 c 515s| 1770k|715341 | 0 | 0.0 | 550M| 183 | - | 295 |1458 | 0 | 0 | 0 |1107k| 0 | 1.000000e+00 | 5.600000e+01 |5500.00%
578.51/578.53 o 8
578.51/578.53 c * 519s| 1778k|471581 | 0 | 0.0 | 381M| 183 | - | 295 |3061 | 0 | 0 | 0 |1114k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
579.80/579.82 c 520s| 1780k|470325 | 0 | 0.0 | 383M| 183 | - | 295 |3275 | 0 | 0 | 0 |1117k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
586.01/586.00 o 2
586.01/586.00 c * 526s| 1785k|349013 | 0 | 0.0 | 282M| 183 | - | 295 |7932 | 0 | 0 | 0 |1130k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
597.91/597.90 c 537s| 1790k|334072 | 0 | 0.0 | 282M| 183 | - | 295 | 10k| 0 | 0 | 0 |1152k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
637.10/637.14 c 575s| 1800k|283338 | 0 | 0.0 | 271M| 183 | - | 295 | 17k| 0 | 0 | 0 |1200k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
677.62/677.66 c 615s| 1810k|228150 | 0 | 0.0 | 248M| 183 | - | 295 | 17k| 0 | 0 | 0 |1241k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
711.01/711.06 c 647s| 1820k|189295 | 0 | 0.0 | 230M| 183 | - | 295 | 21k| 0 | 0 | 0 |1272k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
742.71/742.71 c 678s| 1830k|160198 | 0 | 0.0 | 215M| 183 | - | 295 | 23k| 0 | 0 | 0 |1300k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
771.81/771.89 c 706s| 1840k|137642 | 0 | 0.0 | 202M| 183 | - | 295 | 27k| 0 | 0 | 0 |1326k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
800.71/800.78 c 735s| 1850k|118761 | 0 | 0.0 | 190M| 183 | - | 295 | 29k| 0 | 0 | 0 |1352k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
831.52/831.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
831.52/831.57 c 765s| 1860k| 99226 | 0 | 0.0 | 174M| 183 | - | 295 | 30k| 0 | 0 | 0 |1379k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
861.41/861.49 c 794s| 1870k| 81460 | 0 | 0.0 | 157M| 183 | - | 295 | 30k| 0 | 0 | 0 |1407k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
891.82/891.84 c 824s| 1880k| 65014 | 0 | 0.0 | 137M| 183 | - | 295 | 31k| 0 | 0 | 0 |1436k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
931.51/931.60 c 863s| 1890k| 34475 | 0 | 0.0 | 90M| 183 | - | 295 | 31k| 0 | 0 | 0 |1468k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
974.91/974.94 c 906s| 1900k| 12434 | 0 | 0.0 | 58M| 183 | - | 295 | 47k| 0 | 0 | 0 |1499k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
1001.62/1001.65 c
1001.62/1001.65 c SCIP Status : problem is solved [optimal solution found]
1001.62/1001.65 c Solving Time (sec) : 932.05
1001.62/1001.65 c Solving Nodes : 1904351
1001.62/1001.65 c Primal Bound : +2.00000000000000e+00 (24 solutions)
1001.62/1001.65 c Dual Bound : +2.00000000000000e+00
1001.62/1001.65 c Gap : 0.00 %
1001.62/1001.65 s OPTIMUM FOUND
1001.62/1001.65 v x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148
1001.62/1001.65 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1001.62/1001.65 v x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106
1001.62/1001.65 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
1001.62/1001.65 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
1001.62/1001.65 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
1001.62/1001.65 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
1001.62/1001.65 v -x4 -x3 -x2 -x1
1001.62/1001.65 c SCIP Status : problem is solved [optimal solution found]
1001.62/1001.65 c Solving Time : 932.05
1001.62/1001.65 c Original Problem :
1001.62/1001.65 c Problem name : HOME/instance-2693836-1277895207.wbo
1001.62/1001.65 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
1001.62/1001.65 c Constraints : 166 initial, 166 maximal
1001.62/1001.65 c Presolved Problem :
1001.62/1001.65 c Problem name : t_HOME/instance-2693836-1277895207.wbo
1001.62/1001.65 c Variables : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous)
1001.62/1001.65 c Constraints : 159 initial, 52816 maximal
1001.62/1001.65 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1001.62/1001.65 c trivial : 0.00 0 0 0 0 0 0 0 0
1001.62/1001.65 c dualfix : 0.00 2 0 0 0 0 0 0 0
1001.62/1001.65 c boundshift : 0.00 0 0 0 0 0 0 0 0
1001.62/1001.65 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1001.62/1001.65 c implics : 0.00 0 0 0 0 0 0 0 0
1001.62/1001.65 c probing : 0.01 0 0 0 0 0 0 0 0
1001.62/1001.65 c indicator : 0.00 0 0 0 0 0 1 0 0
1001.62/1001.65 c knapsack : 0.00 0 0 0 0 0 0 0 0
1001.62/1001.65 c setppc : 0.00 0 0 0 0 0 0 0 0
1001.62/1001.65 c linear : 0.00 0 0 0 63 0 6 1 0
1001.62/1001.65 c logicor : 0.00 0 0 0 0 0 0 0 0
1001.62/1001.65 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1001.62/1001.65 c root node : - 24 - - 48 - - - -
1001.62/1001.65 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1001.62/1001.65 c integral : 0 0 0 0 0 0 0 0 0 0
1001.62/1001.65 c indicator : 63 0 4994052 0 1410089 7997 1624993 0 0 0
1001.62/1001.65 c knapsack : 1 0 5425793 0 1484297 96525 20004225 0 0 0
1001.62/1001.65 c setppc : 23 0 5328643 0 1484225 222819 3114911 0 0 0
1001.62/1001.65 c linear : 63 0 5106434 0 1484292 197129 4004644 0 0 0
1001.62/1001.65 c logicor : 9+ 0 2505373 0 1483635 109845 1354536 0 0 0
1001.62/1001.65 c bounddisjunction : 0+ 0 244049 0 0 0 27744 0 0 0
1001.62/1001.65 c countsols : 0 0 0 0 1484316 0 0 0 0 0
1001.62/1001.65 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1001.62/1001.65 c integral : 0.00 0.00 0.00 0.00 0.00
1001.62/1001.65 c indicator : 3.55 0.00 1.70 0.00 1.85
1001.62/1001.65 c knapsack : 143.71 0.00 140.79 0.00 2.92
1001.62/1001.65 c setppc : 13.73 0.00 10.82 0.00 2.91
1001.62/1001.65 c linear : 43.97 0.00 43.94 0.00 0.03
1001.62/1001.65 c logicor : 326.58 0.00 325.70 0.00 0.88
1001.62/1001.65 c bounddisjunction : 0.22 0.00 0.22 0.00 0.00
1001.62/1001.65 c countsols : 0.00 0.00 0.00 0.00 0.00
1001.62/1001.65 c Propagators : Time Calls Cutoffs DomReds
1001.62/1001.65 c vbounds : 0.01 2 0 0
1001.62/1001.65 c rootredcost : 0.00 0 0 0
1001.62/1001.65 c pseudoobj : 10.68 5440297 6577 1487704
1001.62/1001.65 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1001.62/1001.65 c propagation : 19.59 632895 632807 2973386 21.9 122974 13.9 -
1001.62/1001.65 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1001.62/1001.65 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1001.62/1001.65 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1001.62/1001.65 c pseudo solution : 0.00 243 243 1000 21.5 51 13.8 -
1001.62/1001.65 c applied globally : - - - 1482233 16.7 - - -
1001.62/1001.65 c applied locally : - - - 31342 36.8 - - -
1001.62/1001.65 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1001.62/1001.65 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1001.62/1001.65 c redcost : 0.00 0 0 0 0 0
1001.62/1001.65 c impliedbounds : 0.00 0 0 0 0 0
1001.62/1001.65 c intobj : 0.00 0 0 0 0 0
1001.62/1001.65 c cgmip : 0.00 0 0 0 0 0
1001.62/1001.65 c gomory : 0.00 0 0 0 0 0
1001.62/1001.65 c strongcg : 0.00 0 0 0 0 0
1001.62/1001.65 c cmir : 0.00 0 0 0 0 0
1001.62/1001.65 c flowcover : 0.00 0 0 0 0 0
1001.62/1001.65 c clique : 0.00 0 0 0 0 0
1001.62/1001.65 c zerohalf : 0.00 0 0 0 0 0
1001.62/1001.65 c mcf : 0.00 0 0 0 0 0
1001.62/1001.65 c rapidlearning : 0.00 0 0 0 0 0
1001.62/1001.65 c Pricers : Time Calls Vars
1001.62/1001.65 c problem variables: 0.00 0 0
1001.62/1001.65 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1001.62/1001.65 c relpscost : 0.00 0 0 0 0 0 0
1001.62/1001.65 c pscost : 0.00 0 0 0 0 0 0
1001.62/1001.65 c inference : 13.46 1484292 0 0 0 0 2968584
1001.62/1001.65 c mostinf : 0.00 0 0 0 0 0 0
1001.62/1001.65 c leastinf : 0.00 0 0 0 0 0 0
1001.62/1001.65 c fullstrong : 0.00 0 0 0 0 0 0
1001.62/1001.65 c allfullstrong : 0.00 0 0 0 0 0 0
1001.62/1001.65 c random : 0.00 0 0 0 0 0 0
1001.62/1001.65 c Primal Heuristics : Time Calls Found
1001.62/1001.65 c LP solutions : 0.00 - 0
1001.62/1001.65 c pseudo solutions : 1.13 - 24
1001.62/1001.65 c oneopt : 0.03 0 0
1001.62/1001.65 c trivial : 0.00 2 0
1001.62/1001.65 c simplerounding : 0.00 0 0
1001.62/1001.65 c zirounding : 0.00 0 0
1001.62/1001.65 c rounding : 0.00 0 0
1001.62/1001.65 c shifting : 0.00 0 0
1001.62/1001.65 c intshifting : 0.00 0 0
1001.62/1001.65 c twoopt : 0.00 0 0
1001.62/1001.65 c fixandinfer : 0.00 0 0
1001.62/1001.65 c feaspump : 0.00 0 0
1001.62/1001.65 c coefdiving : 0.00 0 0
1001.62/1001.65 c pscostdiving : 0.00 0 0
1001.62/1001.65 c fracdiving : 0.00 0 0
1001.62/1001.65 c veclendiving : 0.00 0 0
1001.62/1001.65 c intdiving : 0.00 0 0
1001.62/1001.65 c actconsdiving : 0.00 0 0
1001.62/1001.65 c objpscostdiving : 0.00 0 0
1001.62/1001.65 c rootsoldiving : 0.00 0 0
1001.62/1001.65 c linesearchdiving : 0.00 0 0
1001.62/1001.65 c guideddiving : 0.00 0 0
1001.62/1001.65 c octane : 0.00 0 0
1001.62/1001.65 c rens : 0.00 0 0
1001.62/1001.65 c rins : 0.00 0 0
1001.62/1001.65 c localbranching : 0.00 0 0
1001.62/1001.65 c mutation : 0.00 0 0
1001.62/1001.65 c crossover : 0.00 0 0
1001.62/1001.65 c dins : 0.00 0 0
1001.62/1001.65 c undercover : 0.00 0 0
1001.62/1001.65 c nlp : 0.01 0 0
1001.62/1001.65 c trysol : 0.00 1 0
1001.62/1001.65 c LP : Time Calls Iterations Iter/call Iter/sec
1001.62/1001.65 c primal LP : 0.00 0 0 0.00 -
1001.62/1001.65 c dual LP : 0.00 0 0 0.00 -
1001.62/1001.65 c lex dual LP : 0.00 0 0 0.00 -
1001.62/1001.65 c barrier LP : 0.00 0 0 0.00 -
1001.62/1001.65 c diving/probing LP: 0.00 0 0 0.00 -
1001.62/1001.65 c strong branching : 0.00 0 0 0.00 -
1001.62/1001.65 c (at root node) : - 0 0 0.00 -
1001.62/1001.65 c conflict analysis: 0.00 0 0 0.00 -
1001.62/1001.65 c B&B Tree :
1001.62/1001.65 c number of runs : 1
1001.62/1001.65 c nodes : 1904351
1001.62/1001.65 c nodes (total) : 1904351
1001.62/1001.65 c nodes left : 0
1001.62/1001.65 c max depth : 183
1001.62/1001.65 c max depth (total): 183
1001.62/1001.65 c backtracks : 502432 (26.4%)
1001.62/1001.65 c delayed cutoffs : 535468
1001.62/1001.65 c repropagations : 2041861 (8998050 domain reductions, 221100 cutoffs)
1001.62/1001.65 c avg switch length: 23.12
1001.62/1001.65 c switching time : 282.10
1001.62/1001.65 c Solution :
1001.62/1001.65 c Solutions found : 24 (24 improvements)
1001.62/1001.65 c First Solution : +6.08000000000000e+02 (in run 1, after 15789 nodes, 2.31 seconds, depth 92, found by <relaxation>)
1001.62/1001.65 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1785212 nodes, 525.96 seconds, depth 36, found by <relaxation>)
1001.62/1001.65 c Dual Bound : +2.00000000000000e+00
1001.62/1001.65 c Gap : 0.00 %
1001.62/1001.65 c Root Dual Bound : +0.00000000000000e+00
1001.62/1001.65 c Root Iterations : 0
1001.72/1001.75 c Time complete: 1001.77.