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-2694014-1277899935.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.33 c 1.2s| 10000 | 7466 | 0 | 0.0 |6634k| 183 | - | 295 |3529 | 0 | 0 | 0 |7493 | 0 | 0.000000e+00 | -- | Inf
3.09/3.19 o 555
3.09/3.19 c * 3.0s| 18109 | 11830 | 0 | 0.0 | 10M| 183 | - | 295 |4896 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 5.550000e+02 | Inf
3.09/3.20 o 501
3.09/3.20 c * 3.0s| 18183 | 11893 | 0 | 0.0 | 10M| 183 | - | 295 |4819 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 5.010000e+02 | Inf
3.29/3.37 c 3.2s| 20000 | 13543 | 0 | 0.0 | 10M| 183 | - | 295 |2864 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 5.010000e+02 | Inf
5.19/5.21 c 4.9s| 30000 | 19904 | 0 | 0.0 | 15M| 183 | - | 295 |5658 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 5.010000e+02 | Inf
8.09/8.13 c 7.7s| 40000 | 24992 | 0 | 0.0 | 21M| 183 | - | 295 |9325 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 5.010000e+02 | Inf
11.79/11.85 c 11.4s| 50000 | 29053 | 0 | 0.0 | 26M| 183 | - | 295 | 12k| 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 5.010000e+02 | Inf
16.29/16.37 c 15.8s| 60000 | 32261 | 0 | 0.0 | 31M| 183 | - | 295 | 14k| 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 5.010000e+02 | Inf
22.39/22.49 c 21.8s| 70000 | 32611 | 0 | 0.0 | 35M| 183 | - | 295 | 16k| 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 5.010000e+02 | Inf
22.69/22.77 o 477
22.69/22.77 c *22.0s| 71458 | 33860 | 0 | 0.0 | 34M| 183 | - | 295 | 12k| 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 4.770000e+02 | Inf
22.69/22.77 o 322
22.69/22.77 c *22.0s| 71461 | 33857 | 0 | 0.0 | 34M| 183 | - | 295 | 12k| 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 3.220000e+02 | Inf
23.69/23.71 o 302
23.69/23.71 c *22.9s| 79928 | 41376 | 0 | 0.0 | 34M| 183 | - | 295 |1581 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 3.020000e+02 | Inf
23.69/23.72 c 22.9s| 80000 | 41435 | 0 | 0.0 | 34M| 183 | - | 295 |1591 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 3.020000e+02 | Inf
24.69/24.77 c 23.9s| 90000 | 49988 | 0 | 0.0 | 37M| 183 | - | 295 |1877 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 3.020000e+02 | Inf
24.89/24.94 o 299
24.89/24.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.89/24.94 c *24.1s| 91656 | 51416 | 0 | 0.0 | 38M| 183 | - | 295 |1859 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 2.990000e+02 | Inf
25.39/25.41 o 267
25.39/25.41 c *24.5s| 95874 | 54958 | 0 | 0.0 | 40M| 183 | - | 295 |1853 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 2.670000e+02 | Inf
25.79/25.88 c 24.9s|100000 | 58395 | 0 | 0.0 | 41M| 183 | - | 295 |1653 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 2.670000e+02 | Inf
26.99/27.04 c 26.0s|110000 | 66562 | 0 | 0.0 | 45M| 183 | - | 295 |1676 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 2.670000e+02 | Inf
28.29/28.30 c 27.2s|120000 | 74443 | 0 | 0.0 | 49M| 183 | - | 295 |2051 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 2.670000e+02 | Inf
28.89/28.91 o 233
28.89/28.91 c *27.8s|124321 | 77694 | 0 | 0.0 | 51M| 183 | - | 295 |2494 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
29.69/29.75 c 28.5s|130000 | 81937 | 0 | 0.0 | 53M| 183 | - | 295 |2882 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
31.39/31.49 c 30.2s|140000 | 88961 | 0 | 0.0 | 58M| 183 | - | 295 |3987 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
34.10/34.17 c 32.8s|150000 | 93957 | 0 | 0.0 | 63M| 183 | - | 295 |6151 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
39.09/39.14 c 37.6s|160000 | 95434 | 0 | 0.0 | 68M| 183 | - | 295 | 11k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
45.49/45.59 c 44.0s|170000 | 96119 | 0 | 0.0 | 72M| 183 | - | 295 | 15k| 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
53.09/53.16 c 51.4s|180000 | 96601 | 0 | 0.0 | 76M| 183 | - | 295 | 19k| 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
61.10/61.15 c 59.3s|190000 | 97397 | 0 | 0.0 | 80M| 183 | - | 295 | 22k| 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
70.59/70.66 c 68.7s|200000 | 96948 | 0 | 0.0 | 83M| 183 | - | 295 | 25k| 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
82.80/82.86 c 80.7s|210000 | 94487 | 0 | 0.0 | 84M| 183 | - | 295 | 27k| 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
87.29/87.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.29/87.39 c 85.2s|220000 |100376 | 0 | 0.0 | 78M| 183 | - | 295 |1407 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
88.60/88.60 c 86.3s|230000 |108547 | 0 | 0.0 | 82M| 183 | - | 295 |1726 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
89.79/89.87 c 87.5s|240000 |116506 | 0 | 0.0 | 86M| 183 | - | 295 |1903 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
91.09/91.17 c 88.7s|250000 |124425 | 0 | 0.0 | 90M| 183 | - | 295 |2203 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
92.50/92.54 c 90.0s|260000 |132205 | 0 | 0.0 | 94M| 183 | - | 295 |2407 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
92.90/92.98 o 166
92.90/92.98 c *90.4s|263276 |134281 | 0 | 0.0 | 94M| 183 | - | 295 |2399 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 1.660000e+02 | Inf
93.90/93.92 c 91.3s|270000 |139477 | 0 | 0.0 | 97M| 183 | - | 295 |2755 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 1.660000e+02 | Inf
95.20/95.26 c 92.5s|280000 |147404 | 0 | 0.0 | 101M| 183 | - | 295 |2900 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 1.660000e+02 | Inf
96.59/96.65 c 93.8s|290000 |155212 | 0 | 0.0 | 105M| 183 | - | 295 |3165 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 1.660000e+02 | Inf
98.00/98.09 c 95.2s|300000 |162994 | 0 | 0.0 | 110M| 183 | - | 295 |3467 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 1.660000e+02 | Inf
99.49/99.56 c 96.5s|310000 |170729 | 0 | 0.0 | 114M| 183 | - | 295 |3585 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 1.660000e+02 | Inf
100.99/101.04 c 97.9s|320000 |178460 | 0 | 0.0 | 118M| 183 | - | 295 |3839 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 1.660000e+02 | Inf
101.50/101.51 o 143
101.50/101.51 c *98.4s|323161 |179812 | 0 | 0.0 | 118M| 183 | - | 295 |3804 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
102.49/102.56 c 99.4s|330000 |185042 | 0 | 0.0 | 122M| 183 | - | 295 |3969 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
104.09/104.15 c 101s|340000 |192603 | 0 | 0.0 | 126M| 183 | - | 295 |4064 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
105.69/105.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.69/105.74 c 102s|350000 |200104 | 0 | 0.0 | 131M| 183 | - | 295 |4251 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
107.30/107.31 c 104s|360000 |207723 | 0 | 0.0 | 135M| 183 | - | 295 |4027 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
108.90/108.94 c 105s|370000 |215186 | 0 | 0.0 | 139M| 183 | - | 295 |3835 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
110.49/110.55 c 107s|380000 |222645 | 0 | 0.0 | 144M| 183 | - | 295 |3650 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
112.20/112.24 c 109s|390000 |229900 | 0 | 0.0 | 148M| 183 | - | 295 |3791 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
113.80/113.85 c 110s|400000 |237356 | 0 | 0.0 | 153M| 183 | - | 295 |3900 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
115.40/115.47 c 112s|410000 |244813 | 0 | 0.0 | 158M| 183 | - | 295 |3952 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
117.10/117.12 c 113s|420000 |252266 | 0 | 0.0 | 162M| 183 | - | 295 |3822 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
118.70/118.78 c 115s|430000 |259661 | 0 | 0.0 | 167M| 183 | - | 295 |3880 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
120.40/120.44 c 116s|440000 |267059 | 0 | 0.0 | 171M| 183 | - | 295 |3699 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
122.10/122.17 c 118s|450000 |274296 | 0 | 0.0 | 176M| 183 | - | 295 |3911 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
122.99/123.07 o 125
122.99/123.07 c * 119s|455345 |276507 | 0 | 0.0 | 176M| 183 | - | 295 |3936 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
123.89/123.96 c 120s|460000 |279691 | 0 | 0.0 | 179M| 183 | - | 295 |3990 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
125.00/125.08 o 120
125.00/125.08 c * 121s|466007 |283301 | 0 | 0.0 | 181M| 183 | - | 295 |4303 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
125.80/125.83 c 121s|470000 |286111 | 0 | 0.0 | 183M| 183 | - | 295 |4131 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
126.60/126.61 o 117
126.60/126.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.60/126.61 c * 122s|474546 |289136 | 0 | 0.0 | 185M| 183 | - | 295 |4292 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
127.60/127.67 c 123s|480000 |292882 | 0 | 0.0 | 188M| 183 | - | 295 |4334 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
129.59/129.62 c 125s|490000 |299740 | 0 | 0.0 | 193M| 183 | - | 295 |4541 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
130.40/130.47 o 115
130.40/130.47 c * 126s|494166 |302129 | 0 | 0.0 | 195M| 183 | - | 295 |4783 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
130.40/130.48 o 108
130.40/130.48 c * 126s|494167 |301025 | 0 | 0.0 | 194M| 183 | - | 295 |4783 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 1.080000e+02 | Inf
131.59/131.64 c 127s|500000 |305034 | 0 | 0.0 | 197M| 183 | - | 295 |4814 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 1.080000e+02 | Inf
133.70/133.76 c 129s|510000 |311621 | 0 | 0.0 | 202M| 183 | - | 295 |5186 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 1.080000e+02 | Inf
135.49/135.58 o 103
135.49/135.58 c * 131s|518601 |316347 | 0 | 0.0 | 206M| 183 | - | 295 |5616 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
135.90/135.93 c 131s|520000 |317144 | 0 | 0.0 | 207M| 183 | - | 295 |5795 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
138.09/138.15 c 133s|530000 |323632 | 0 | 0.0 | 212M| 183 | - | 295 |5946 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
140.30/140.39 c 135s|540000 |330065 | 0 | 0.0 | 217M| 183 | - | 295 |6095 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
142.80/142.82 c 138s|550000 |336203 | 0 | 0.0 | 222M| 183 | - | 295 |6856 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
145.40/145.46 c 140s|560000 |342103 | 0 | 0.0 | 227M| 183 | - | 295 |7365 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
148.20/148.22 c 143s|570000 |347861 | 0 | 0.0 | 232M| 183 | - | 295 |7574 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
151.19/151.24 c 146s|580000 |353192 | 0 | 0.0 | 237M| 183 | - | 295 |8081 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
154.29/154.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.29/154.31 c 149s|590000 |358556 | 0 | 0.0 | 242M| 183 | - | 295 |8427 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
157.60/157.69 c 152s|600000 |363451 | 0 | 0.0 | 246M| 183 | - | 295 |8820 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
161.20/161.27 c 156s|610000 |368056 | 0 | 0.0 | 251M| 183 | - | 295 |9711 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
165.09/165.13 c 159s|620000 |372423 | 0 | 0.0 | 256M| 183 | - | 295 | 10k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
169.50/169.51 c 164s|630000 |375961 | 0 | 0.0 | 260M| 183 | - | 295 | 10k| 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
174.40/174.43 c 168s|640000 |378895 | 0 | 0.0 | 264M| 183 | - | 295 | 12k| 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
179.90/179.99 c 174s|650000 |381020 | 0 | 0.0 | 268M| 183 | - | 295 | 15k| 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
185.90/185.99 c 180s|660000 |382420 | 0 | 0.0 | 269M| 183 | - | 295 | 13k| 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
198.59/198.68 c 192s|670000 |377000 | 0 | 0.0 | 267M| 183 | - | 295 | 21k| 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
216.80/216.81 c 210s|680000 |368784 | 0 | 0.0 | 258M| 183 | - | 295 | 28k| 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
219.59/219.63 c 213s|690000 |376579 | 0 | 0.0 | 254M| 183 | - | 295 |2274 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
221.30/221.30 c 214s|700000 |383830 | 0 | 0.0 | 258M| 183 | - | 295 |2302 | 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
222.90/222.97 c 216s|710000 |391070 | 0 | 0.0 | 263M| 183 | - | 295 |2482 | 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
224.59/224.67 c 218s|720000 |398210 | 0 | 0.0 | 268M| 183 | - | 295 |2571 | 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
226.30/226.40 c 219s|730000 |405288 | 0 | 0.0 | 273M| 183 | - | 295 |2742 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
228.00/228.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
228.00/228.10 c 221s|740000 |412491 | 0 | 0.0 | 278M| 183 | - | 295 |2784 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
229.80/229.89 c 223s|750000 |419490 | 0 | 0.0 | 283M| 183 | - | 295 |3055 | 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
231.10/231.20 o 93
231.10/231.20 c * 224s|757150 |413246 | 0 | 0.0 | 276M| 183 | - | 295 |3308 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
231.70/231.73 c 224s|760000 |415179 | 0 | 0.0 | 277M| 183 | - | 295 |2772 | 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
233.50/233.59 c 226s|770000 |421878 | 0 | 0.0 | 282M| 183 | - | 295 |2125 | 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
235.30/235.35 c 228s|780000 |428700 | 0 | 0.0 | 287M| 183 | - | 295 |2184 | 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
237.10/237.14 c 230s|790000 |435363 | 0 | 0.0 | 291M| 183 | - | 295 |2183 | 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
238.90/238.98 c 231s|800000 |441948 | 0 | 0.0 | 296M| 183 | - | 295 |2599 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
240.80/240.82 c 233s|810000 |448594 | 0 | 0.0 | 301M| 183 | - | 295 |2501 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
242.69/242.72 c 235s|820000 |455127 | 0 | 0.0 | 306M| 183 | - | 295 |2736 | 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
244.70/244.72 c 237s|830000 |461501 | 0 | 0.0 | 311M| 183 | - | 295 |2949 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
246.79/246.80 c 239s|840000 |467800 | 0 | 0.0 | 315M| 183 | - | 295 |1688 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
248.70/248.79 c 241s|850000 |474059 | 0 | 0.0 | 320M| 183 | - | 295 |2491 | 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
249.50/249.57 o 84
249.50/249.57 c * 241s|853510 |461252 | 0 | 0.0 | 307M| 183 | - | 295 |2662 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
250.90/250.99 c 243s|860000 |465204 | 0 | 0.0 | 310M| 183 | - | 295 |1129 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
253.10/253.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
253.10/253.18 c 245s|870000 |471067 | 0 | 0.0 | 314M| 183 | - | 295 |1084 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
255.30/255.38 c 247s|880000 |476851 | 0 | 0.0 | 319M| 183 | - | 295 |1818 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
257.50/257.56 c 249s|890000 |482859 | 0 | 0.0 | 323M| 183 | - | 295 |1157 | 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
259.69/259.79 c 251s|900000 |488589 | 0 | 0.0 | 328M| 183 | - | 295 |2004 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
261.90/261.99 c 253s|910000 |494313 | 0 | 0.0 | 332M| 183 | - | 295 |2699 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
264.20/264.27 c 255s|920000 |499910 | 0 | 0.0 | 337M| 183 | - | 295 |3048 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
266.50/266.54 c 257s|930000 |505709 | 0 | 0.0 | 341M| 183 | - | 295 |2755 | 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
268.80/268.82 c 260s|940000 |511211 | 0 | 0.0 | 345M| 183 | - | 295 |3157 | 0 | 0 | 0 | 585k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
271.10/271.18 c 262s|950000 |516834 | 0 | 0.0 | 350M| 183 | - | 295 |3178 | 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
271.30/271.34 o 78
271.30/271.34 c * 262s|950677 |513267 | 0 | 0.0 | 346M| 183 | - | 295 |3267 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
273.70/273.71 c 264s|960000 |518267 | 0 | 0.0 | 350M| 183 | - | 295 |1495 | 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
276.00/276.01 c 266s|970000 |523924 | 0 | 0.0 | 354M| 183 | - | 295 |1540 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
278.50/278.55 c 269s|980000 |529070 | 0 | 0.0 | 358M| 183 | - | 295 |1894 | 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
281.00/281.08 c 271s|990000 |534266 | 0 | 0.0 | 363M| 183 | - | 295 |1510 | 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
283.30/283.36 c 273s| 1000k|539633 | 0 | 0.0 | 367M| 183 | - | 295 |2870 | 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
285.80/285.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.80/285.83 c 276s| 1010k|544981 | 0 | 0.0 | 371M| 183 | - | 295 |3046 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
288.30/288.32 c 278s| 1020k|550175 | 0 | 0.0 | 375M| 183 | - | 295 |3514 | 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
290.90/290.95 c 281s| 1030k|555326 | 0 | 0.0 | 379M| 183 | - | 295 |3624 | 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
293.50/293.55 c 283s| 1040k|560382 | 0 | 0.0 | 383M| 183 | - | 295 |3580 | 0 | 0 | 0 | 629k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
296.00/296.07 c 286s| 1050k|565674 | 0 | 0.0 | 388M| 183 | - | 295 |4180 | 0 | 0 | 0 | 633k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
298.70/298.70 c 288s| 1060k|570738 | 0 | 0.0 | 393M| 183 | - | 295 |4078 | 0 | 0 | 0 | 637k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
301.41/301.42 c 291s| 1070k|575735 | 0 | 0.0 | 399M| 183 | - | 295 |4547 | 0 | 0 | 0 | 642k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
304.30/304.32 c 294s| 1080k|580238 | 0 | 0.0 | 404M| 183 | - | 295 |4228 | 0 | 0 | 0 | 647k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
306.90/306.97 c 296s| 1090k|585245 | 0 | 0.0 | 409M| 183 | - | 295 |4052 | 0 | 0 | 0 | 652k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
309.70/309.75 c 299s| 1100k|589869 | 0 | 0.0 | 414M| 183 | - | 295 |4056 | 0 | 0 | 0 | 656k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
312.20/312.26 o 76
312.20/312.26 c * 301s| 1109k|593711 | 0 | 0.0 | 419M| 183 | - | 295 |4402 | 0 | 0 | 0 | 661k| 0 | 1.000000e+00 | 7.600000e+01 |7500.00%
312.50/312.50 c 301s| 1110k|594155 | 0 | 0.0 | 419M| 183 | - | 295 |4402 | 0 | 0 | 0 | 661k| 0 | 1.000000e+00 | 7.600000e+01 |7500.00%
315.40/315.41 c 304s| 1120k|598544 | 0 | 0.0 | 424M| 183 | - | 295 |4291 | 0 | 0 | 0 | 666k| 0 | 1.000000e+00 | 7.600000e+01 |7500.00%
318.20/318.29 c 307s| 1130k|603286 | 0 | 0.0 | 430M| 183 | - | 295 |4365 | 0 | 0 | 0 | 671k| 0 | 1.000000e+00 | 7.600000e+01 |7500.00%
321.20/321.25 c 310s| 1140k|607466 | 0 | 0.0 | 435M| 183 | - | 295 |4497 | 0 | 0 | 0 | 677k| 0 | 1.000000e+00 | 7.600000e+01 |7500.00%
324.10/324.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
324.10/324.19 c 313s| 1150k|611989 | 0 | 0.0 | 440M| 183 | - | 295 |3964 | 0 | 0 | 0 | 682k| 0 | 1.000000e+00 | 7.600000e+01 |7500.00%
327.10/327.13 c 316s| 1160k|616279 | 0 | 0.0 | 445M| 183 | - | 295 |4829 | 0 | 0 | 0 | 687k| 0 | 1.000000e+00 | 7.600000e+01 |7500.00%
330.10/330.14 c 318s| 1170k|620662 | 0 | 0.0 | 450M| 183 | - | 295 |4466 | 0 | 0 | 0 | 693k| 0 | 1.000000e+00 | 7.600000e+01 |7500.00%
333.10/333.14 c 321s| 1180k|624965 | 0 | 0.0 | 456M| 183 | - | 295 |5064 | 0 | 0 | 0 | 698k| 0 | 1.000000e+00 | 7.600000e+01 |7500.00%
336.20/336.27 c 324s| 1190k|629047 | 0 | 0.0 | 461M| 183 | - | 295 |4634 | 0 | 0 | 0 | 704k| 0 | 1.000000e+00 | 7.600000e+01 |7500.00%
339.10/339.15 c 327s| 1200k|633715 | 0 | 0.0 | 466M| 183 | - | 295 |4941 | 0 | 0 | 0 | 709k| 0 | 1.000000e+00 | 7.600000e+01 |7500.00%
342.20/342.29 c 330s| 1210k|637777 | 0 | 0.0 | 471M| 183 | - | 295 |4629 | 0 | 0 | 0 | 715k| 0 | 1.000000e+00 | 7.600000e+01 |7500.00%
345.20/345.21 o 54
345.20/345.21 c * 333s| 1219k|551487 | 0 | 0.0 | 376M| 183 | - | 295 |5020 | 0 | 0 | 0 | 721k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
345.40/345.48 c 333s| 1220k|551563 | 0 | 0.0 | 376M| 183 | - | 295 |2837 | 0 | 0 | 0 | 721k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
349.30/349.31 c 337s| 1230k|553829 | 0 | 0.0 | 382M| 183 | - | 295 |3344 | 0 | 0 | 0 | 731k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
353.11/353.14 c 341s| 1240k|556194 | 0 | 0.0 | 386M| 183 | - | 295 |3813 | 0 | 0 | 0 | 741k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
356.70/356.79 c 344s| 1250k|558881 | 0 | 0.0 | 390M| 183 | - | 295 |1811 | 0 | 0 | 0 | 748k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
360.51/360.52 c 348s| 1260k|561051 | 0 | 0.0 | 394M| 183 | - | 295 |3736 | 0 | 0 | 0 | 755k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
363.80/363.88 o 51
363.80/363.88 c * 351s| 1268k|559734 | 0 | 0.0 | 394M| 183 | - | 295 |4264 | 0 | 0 | 0 | 761k| 0 | 1.000000e+00 | 5.100000e+01 |5000.00%
364.30/364.30 c 351s| 1270k|559959 | 0 | 0.0 | 395M| 183 | - | 295 |4443 | 0 | 0 | 0 | 762k| 0 | 1.000000e+00 | 5.100000e+01 |5000.00%
368.30/368.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.30/368.40 c 355s| 1280k|562110 | 0 | 0.0 | 399M| 183 | - | 295 |4800 | 0 | 0 | 0 | 769k| 0 | 1.000000e+00 | 5.100000e+01 |5000.00%
371.71/371.75 o 20
371.71/371.75 c * 358s| 1288k|472638 | 0 | 0.0 | 333M| 183 | - | 295 |4346 | 0 | 0 | 0 | 775k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
372.60/372.69 c 359s| 1290k|472598 | 0 | 0.0 | 334M| 183 | - | 295 |4523 | 0 | 0 | 0 | 777k| 0 | 1.000000e+00 | 2.000000e+01 |1900.00%
373.60/373.63 o 17
373.60/373.63 c * 360s| 1291k|470127 | 0 | 0.0 | 333M| 183 | - | 295 |5109 | 0 | 0 | 0 | 779k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
377.80/377.87 c 364s| 1300k|470984 | 0 | 0.0 | 337M| 183 | - | 295 |6390 | 0 | 0 | 0 | 787k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
383.20/383.25 c 370s| 1310k|471774 | 0 | 0.0 | 340M| 183 | - | 295 |7458 | 0 | 0 | 0 | 798k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
386.90/386.95 o 15
386.90/386.95 c * 373s| 1316k|460252 | 0 | 0.0 | 333M| 183 | - | 295 |7537 | 0 | 0 | 0 | 805k| 0 | 1.000000e+00 | 1.500000e+01 |1400.00%
389.00/389.04 c 375s| 1320k|460470 | 0 | 0.0 | 335M| 183 | - | 295 |8227 | 0 | 0 | 0 | 809k| 0 | 1.000000e+00 | 1.500000e+01 |1400.00%
395.21/395.23 c 381s| 1330k|461182 | 0 | 0.0 | 338M| 183 | - | 295 |7774 | 0 | 0 | 0 | 821k| 0 | 1.000000e+00 | 1.500000e+01 |1400.00%
402.01/402.05 c 388s| 1340k|460672 | 0 | 0.0 | 340M| 183 | - | 295 |9715 | 0 | 0 | 0 | 834k| 0 | 1.000000e+00 | 1.500000e+01 |1400.00%
408.91/408.92 c 395s| 1350k|460928 | 0 | 0.0 | 344M| 183 | - | 295 | 10k| 0 | 0 | 0 | 847k| 0 | 1.000000e+00 | 1.500000e+01 |1400.00%
416.31/416.35 c 402s| 1360k|460775 | 0 | 0.0 | 346M| 183 | - | 295 | 10k| 0 | 0 | 0 | 861k| 0 | 1.000000e+00 | 1.500000e+01 |1400.00%
423.80/423.88 c 409s| 1370k|460521 | 0 | 0.0 | 349M| 183 | - | 295 | 12k| 0 | 0 | 0 | 875k| 0 | 1.000000e+00 | 1.500000e+01 |1400.00%
425.21/425.22 o 9
425.21/425.22 c * 411s| 1371k|430084 | 0 | 0.0 | 329M| 183 | - | 295 | 12k| 0 | 0 | 0 | 877k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
432.70/432.70 c 418s| 1380k|428587 | 0 | 0.0 | 331M| 183 | - | 295 | 10k| 0 | 0 | 0 | 891k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
440.91/440.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
440.91/440.98 c 426s| 1390k|427520 | 0 | 0.0 | 334M| 183 | - | 295 | 10k| 0 | 0 | 0 | 907k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
449.81/449.86 c 435s| 1400k|425301 | 0 | 0.0 | 336M| 183 | - | 295 | 10k| 0 | 0 | 0 | 924k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
458.81/458.87 c 444s| 1410k|422868 | 0 | 0.0 | 337M| 183 | - | 295 | 11k| 0 | 0 | 0 | 942k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
467.91/467.96 c 453s| 1420k|420648 | 0 | 0.0 | 338M| 183 | - | 295 | 12k| 0 | 0 | 0 | 960k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
476.90/476.98 c 462s| 1430k|418712 | 0 | 0.0 | 339M| 183 | - | 295 | 13k| 0 | 0 | 0 | 977k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
487.50/487.57 c 472s| 1440k|414978 | 0 | 0.0 | 340M| 183 | - | 295 | 14k| 0 | 0 | 0 | 997k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
498.21/498.22 c 482s| 1450k|410907 | 0 | 0.0 | 339M| 183 | - | 295 | 16k| 0 | 0 | 0 |1016k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
508.11/508.19 c 492s| 1460k|408664 | 0 | 0.0 | 336M| 183 | - | 295 |6287 | 0 | 0 | 0 |1031k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
512.20/512.26 c 496s| 1470k|411069 | 0 | 0.0 | 338M| 183 | - | 295 |3974 | 0 | 0 | 0 |1041k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
523.21/523.30 c 507s| 1480k|403432 | 0 | 0.0 | 342M| 183 | - | 295 | 10k| 0 | 0 | 0 |1060k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
536.01/536.04 c 520s| 1490k|397228 | 0 | 0.0 | 344M| 183 | - | 295 | 13k| 0 | 0 | 0 |1079k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
549.81/549.86 c 533s| 1500k|391099 | 0 | 0.0 | 347M| 183 | - | 295 | 14k| 0 | 0 | 0 |1098k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
565.51/565.59 c 549s| 1510k|383711 | 0 | 0.0 | 348M| 183 | - | 295 | 15k| 0 | 0 | 0 |1117k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
581.10/581.15 o 8
581.10/581.15 c * 564s| 1519k|349093 | 0 | 0.0 | 330M| 183 | - | 295 | 18k| 0 | 0 | 0 |1135k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
583.51/583.55 c 566s| 1520k|348134 | 0 | 0.0 | 329M| 183 | - | 295 | 13k| 0 | 0 | 0 |1137k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
603.51/603.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
603.51/603.54 c 586s| 1530k|335693 | 0 | 0.0 | 329M| 183 | - | 295 | 17k| 0 | 0 | 0 |1161k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
628.51/628.58 c 611s| 1540k|321544 | 0 | 0.0 | 328M| 183 | - | 295 | 20k| 0 | 0 | 0 |1186k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
654.91/654.90 c 637s| 1550k|306714 | 0 | 0.0 | 326M| 183 | - | 295 | 21k| 0 | 0 | 0 |1210k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
682.61/682.60 c 665s| 1560k|291439 | 0 | 0.0 | 323M| 183 | - | 295 | 23k| 0 | 0 | 0 |1234k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
711.21/711.27 c 693s| 1570k|275175 | 0 | 0.0 | 319M| 183 | - | 295 | 24k| 0 | 0 | 0 |1258k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
739.41/739.48 c 721s| 1580k|259503 | 0 | 0.0 | 313M| 183 | - | 295 | 24k| 0 | 0 | 0 |1281k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
768.21/768.28 c 750s| 1590k|244237 | 0 | 0.0 | 307M| 183 | - | 295 | 23k| 0 | 0 | 0 |1304k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
794.62/794.62 c 776s| 1600k|230301 | 0 | 0.0 | 300M| 183 | - | 295 | 22k| 0 | 0 | 0 |1326k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
819.42/819.43 c 800s| 1610k|219222 | 0 | 0.0 | 294M| 183 | - | 295 | 23k| 0 | 0 | 0 |1347k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
845.72/845.72 c 826s| 1620k|209766 | 0 | 0.0 | 290M| 183 | - | 295 | 24k| 0 | 0 | 0 |1368k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
857.31/857.30 o 6
857.31/857.30 c * 838s| 1624k|200663 | 0 | 0.0 | 283M| 183 | - | 295 | 26k| 0 | 0 | 0 |1378k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
872.11/872.18 c 853s| 1630k|196274 | 0 | 0.0 | 281M| 183 | - | 295 | 27k| 0 | 0 | 0 |1390k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
900.22/900.27 c 881s| 1640k|188876 | 0 | 0.0 | 279M| 183 | - | 295 | 31k| 0 | 0 | 0 |1412k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
929.32/929.36 c 909s| 1650k|182403 | 0 | 0.0 | 278M| 183 | - | 295 | 35k| 0 | 0 | 0 |1434k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
960.62/960.64 c 941s| 1660k|175889 | 0 | 0.0 | 276M| 183 | - | 295 | 39k| 0 | 0 | 0 |1456k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
992.92/992.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
992.92/992.93 c 973s| 1670k|169637 | 0 | 0.0 | 273M| 183 | - | 295 | 42k| 0 | 0 | 0 |1478k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
1025.62/1025.66 c 1005s| 1680k|163920 | 0 | 0.0 | 270M| 183 | - | 295 | 46k| 0 | 0 | 0 |1501k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
1042.52/1042.59 o 1
1042.52/1042.59 c *1022s| 1684k| 0 | 0 | 0.0 | 21M| 183 | - | 295 | 47k| 0 | 0 | 0 |1512k| 0 | 1.000000e+00 | 1.000000e+00 | 0.00%
1042.62/1042.60 c
1042.62/1042.60 c SCIP Status : problem is solved [optimal solution found]
1042.62/1042.60 c Solving Time (sec) : 1022.04
1042.62/1042.60 c Solving Nodes : 1684747
1042.62/1042.60 c Primal Bound : +1.00000000000000e+00 (29 solutions)
1042.62/1042.60 c Dual Bound : +1.00000000000000e+00
1042.62/1042.60 c Gap : 0.00 %
1042.62/1042.60 s OPTIMUM FOUND
1042.62/1042.60 v -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148
1042.62/1042.60 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1042.62/1042.60 v -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106
1042.62/1042.60 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
1042.62/1042.60 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
1042.62/1042.60 v -x56 -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
1042.62/1042.60 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
1042.62/1042.60 v -x4 -x3 x2 -x1
1042.62/1042.60 c SCIP Status : problem is solved [optimal solution found]
1042.62/1042.60 c Solving Time : 1022.04
1042.62/1042.60 c Original Problem :
1042.62/1042.60 c Problem name : HOME/instance-2694014-1277899935.wbo
1042.62/1042.60 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
1042.62/1042.60 c Constraints : 166 initial, 166 maximal
1042.62/1042.60 c Presolved Problem :
1042.62/1042.60 c Problem name : t_HOME/instance-2694014-1277899935.wbo
1042.62/1042.60 c Variables : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous)
1042.62/1042.60 c Constraints : 159 initial, 47545 maximal
1042.62/1042.60 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1042.62/1042.60 c trivial : 0.00 0 0 0 0 0 0 0 0
1042.62/1042.60 c dualfix : 0.00 2 0 0 0 0 0 0 0
1042.62/1042.60 c boundshift : 0.00 0 0 0 0 0 0 0 0
1042.62/1042.60 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1042.62/1042.60 c implics : 0.00 0 0 0 0 0 0 0 0
1042.62/1042.60 c probing : 0.00 0 0 0 0 0 0 0 0
1042.62/1042.60 c indicator : 0.00 0 0 0 0 0 1 0 0
1042.62/1042.60 c knapsack : 0.00 0 0 0 0 0 0 0 0
1042.62/1042.60 c setppc : 0.00 0 0 0 0 0 0 0 0
1042.62/1042.60 c linear : 0.00 0 0 0 63 0 6 1 0
1042.62/1042.60 c logicor : 0.00 0 0 0 0 0 0 0 0
1042.62/1042.60 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1042.62/1042.60 c root node : - 26 - - 52 - - - -
1042.62/1042.60 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1042.62/1042.60 c integral : 0 0 0 0 0 0 0 0 0 0
1042.62/1042.60 c indicator : 63 0 4494097 0 1194693 9029 1971352 0 0 0
1042.62/1042.60 c knapsack : 1 0 5041804 0 1296123 100273 15105434 0 0 0
1042.62/1042.60 c setppc : 23 0 4941142 0 1296060 186110 3105135 0 0 0
1042.62/1042.60 c linear : 63 0 4755371 0 1296111 244824 5069764 0 0 0
1042.62/1042.60 c logicor : 9+ 0 2368008 0 1296057 56286 1340886 0 0 0
1042.62/1042.60 c bounddisjunction : 0+ 0 170504 0 0 3 18902 0 0 0
1042.62/1042.60 c countsols : 0 0 0 0 1296139 0 0 0 0 0
1042.62/1042.60 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1042.62/1042.60 c integral : 0.00 0.00 0.00 0.00 0.00
1042.62/1042.60 c indicator : 5.66 0.00 3.58 0.00 2.08
1042.62/1042.60 c knapsack : 145.94 0.00 142.59 0.00 3.35
1042.62/1042.60 c setppc : 15.90 0.00 12.56 0.00 3.34
1042.62/1042.60 c linear : 49.59 0.00 48.93 0.00 0.66
1042.62/1042.60 c logicor : 358.80 0.00 357.19 0.00 1.61
1042.62/1042.60 c bounddisjunction : 2.74 0.00 2.74 0.00 0.00
1042.62/1042.60 c countsols : 0.19 0.00 0.00 0.00 0.19
1042.62/1042.60 c Propagators : Time Calls Cutoffs DomReds
1042.62/1042.60 c vbounds : 1.13 2 0 0
1042.62/1042.60 c rootredcost : 1.05 0 0 0
1042.62/1042.60 c pseudoobj : 12.64 5058193 7509 1736545
1042.62/1042.60 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1042.62/1042.60 c propagation : 20.94 595003 594951 3098386 23.1 153032 14.0 -
1042.62/1042.60 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1042.62/1042.60 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1042.62/1042.60 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1042.62/1042.60 c pseudo solution : 0.00 182 182 709 20.0 32 13.9 -
1042.62/1042.60 c applied globally : - - - 1476585 16.7 - - -
1042.62/1042.60 c applied locally : - - - 35469 37.7 - - -
1042.62/1042.60 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1042.62/1042.60 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1042.62/1042.60 c redcost : 0.00 0 0 0 0 0
1042.62/1042.60 c impliedbounds : 0.00 0 0 0 0 0
1042.62/1042.60 c intobj : 0.00 0 0 0 0 0
1042.62/1042.60 c cgmip : 0.00 0 0 0 0 0
1042.62/1042.60 c gomory : 0.00 0 0 0 0 0
1042.62/1042.60 c strongcg : 0.00 0 0 0 0 0
1042.62/1042.60 c cmir : 0.00 0 0 0 0 0
1042.62/1042.60 c flowcover : 0.00 0 0 0 0 0
1042.62/1042.60 c clique : 0.00 0 0 0 0 0
1042.62/1042.60 c zerohalf : 0.00 0 0 0 0 0
1042.62/1042.60 c mcf : 0.00 0 0 0 0 0
1042.62/1042.60 c rapidlearning : 0.00 0 0 0 0 0
1042.62/1042.60 c Pricers : Time Calls Vars
1042.62/1042.60 c problem variables: 0.00 0 0
1042.62/1042.60 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1042.62/1042.60 c relpscost : 0.00 0 0 0 0 0 0
1042.62/1042.60 c pscost : 0.00 0 0 0 0 0 0
1042.62/1042.60 c inference : 11.42 1296110 0 0 0 0 2592220
1042.62/1042.60 c mostinf : 0.00 0 0 0 0 0 0
1042.62/1042.60 c leastinf : 0.00 0 0 0 0 0 0
1042.62/1042.60 c fullstrong : 0.00 0 0 0 0 0 0
1042.62/1042.60 c allfullstrong : 0.00 0 0 0 0 0 0
1042.62/1042.60 c random : 0.00 0 0 0 0 0 0
1042.62/1042.60 c Primal Heuristics : Time Calls Found
1042.62/1042.60 c LP solutions : 0.00 - 0
1042.62/1042.60 c pseudo solutions : 1.14 - 29
1042.62/1042.60 c oneopt : 0.56 0 0
1042.62/1042.60 c trivial : 0.00 2 0
1042.62/1042.60 c simplerounding : 0.00 0 0
1042.62/1042.60 c zirounding : 0.00 0 0
1042.62/1042.60 c rounding : 0.00 0 0
1042.62/1042.60 c shifting : 0.00 0 0
1042.62/1042.60 c intshifting : 0.00 0 0
1042.62/1042.60 c twoopt : 0.00 0 0
1042.62/1042.60 c fixandinfer : 0.00 0 0
1042.62/1042.60 c feaspump : 0.00 0 0
1042.62/1042.60 c coefdiving : 0.00 0 0
1042.62/1042.60 c pscostdiving : 0.00 0 0
1042.62/1042.60 c fracdiving : 0.00 0 0
1042.62/1042.60 c veclendiving : 0.00 0 0
1042.62/1042.60 c intdiving : 0.00 0 0
1042.62/1042.60 c actconsdiving : 0.00 0 0
1042.62/1042.60 c objpscostdiving : 0.00 0 0
1042.62/1042.60 c rootsoldiving : 0.00 0 0
1042.62/1042.60 c linesearchdiving : 0.00 0 0
1042.62/1042.60 c guideddiving : 0.00 0 0
1042.62/1042.60 c octane : 0.00 0 0
1042.62/1042.60 c rens : 0.00 0 0
1042.62/1042.60 c rins : 0.00 0 0
1042.62/1042.60 c localbranching : 0.00 0 0
1042.62/1042.60 c mutation : 0.00 0 0
1042.62/1042.60 c crossover : 0.00 0 0
1042.62/1042.60 c dins : 0.00 0 0
1042.62/1042.60 c undercover : 0.00 0 0
1042.62/1042.60 c nlp : 0.39 0 0
1042.62/1042.60 c trysol : 0.23 1 0
1042.62/1042.60 c LP : Time Calls Iterations Iter/call Iter/sec
1042.62/1042.60 c primal LP : 0.00 0 0 0.00 -
1042.62/1042.60 c dual LP : 0.00 0 0 0.00 -
1042.62/1042.60 c lex dual LP : 0.00 0 0 0.00 -
1042.62/1042.60 c barrier LP : 0.00 0 0 0.00 -
1042.62/1042.60 c diving/probing LP: 0.00 0 0 0.00 -
1042.62/1042.60 c strong branching : 0.00 0 0 0.00 -
1042.62/1042.60 c (at root node) : - 0 0 0.00 -
1042.62/1042.60 c conflict analysis: 0.00 0 0 0.00 -
1042.62/1042.60 c B&B Tree :
1042.62/1042.60 c number of runs : 1
1042.62/1042.60 c nodes : 1684747
1042.62/1042.60 c nodes (total) : 1684747
1042.62/1042.60 c nodes left : 0
1042.62/1042.60 c max depth : 183
1042.62/1042.60 c max depth (total): 183
1042.62/1042.60 c backtracks : 505582 (30.0%)
1042.62/1042.60 c delayed cutoffs : 444433
1042.62/1042.60 c repropagations : 1882928 (8366151 domain reductions, 215608 cutoffs)
1042.62/1042.60 c avg switch length: 23.75
1042.62/1042.60 c switching time : 297.24
1042.62/1042.60 c Solution :
1042.62/1042.60 c Solutions found : 29 (29 improvements)
1042.62/1042.60 c First Solution : +5.55000000000000e+02 (in run 1, after 18109 nodes, 3.00 seconds, depth 79, found by <relaxation>)
1042.62/1042.60 c Primal Bound : +1.00000000000000e+00 (in run 1, after 1684747 nodes, 1021.48 seconds, depth 85, found by <relaxation>)
1042.62/1042.60 c Dual Bound : +1.00000000000000e+00
1042.62/1042.60 c Gap : 0.00 %
1042.62/1042.60 c Root Dual Bound : +0.00000000000000e+00
1042.62/1042.60 c Root Iterations : 0
1042.62/1042.68 c Time complete: 1042.7.