0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665577-1276490224.opb>
0.59/0.67 c original problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41619 constraints
0.59/0.67 c problem read
0.59/0.67 c presolving settings loaded
0.69/0.78 o 0
0.69/0.78 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.69/0.78 c presolving:
1.29/1.32 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 41619 upgd conss, 83238 impls, 0 clqs
2.39/2.40 c (1.6s) probing: 101/760 (13.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.39/2.40 c (1.6s) probing aborted: 100/100 successive totally useless probings
2.39/2.40 c presolving (2 rounds):
2.39/2.40 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.39/2.40 c 83238 implications, 0 cliques
2.39/2.40 c presolved problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41619 constraints
2.39/2.40 c 41619 constraints of type <logicor>
2.39/2.40 c transformed objective value is always integral (scale: 1)
2.39/2.40 c Presolving Time: 1.49
2.39/2.40 c - non default parameters ----------------------------------------------------------------------
2.39/2.40 c # SCIP version 1.2.1.2
2.39/2.40 c
2.39/2.40 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.40 c conflict/interconss = 0
2.39/2.40 c
2.39/2.40 c # should binary conflicts be preferred?
2.39/2.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.40 c conflict/preferbinary = TRUE
2.39/2.40 c
2.39/2.40 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.40 c constraints/agelimit = 1
2.39/2.40 c
2.39/2.40 c # should enforcement of pseudo solution be disabled?
2.39/2.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.40 c constraints/disableenfops = TRUE
2.39/2.40 c
2.39/2.40 c # frequency for displaying node information lines
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.40 c display/freq = 10000
2.39/2.40 c
2.39/2.40 c # maximal time in seconds to run
2.39/2.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.40 c limits/time = 1799.33
2.39/2.40 c
2.39/2.40 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.40 c limits/memory = 1620
2.39/2.40 c
2.39/2.40 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.40 c lp/solvefreq = 0
2.39/2.40 c
2.39/2.40 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
2.39/2.40 c # [type: char, range: {lafpsqd}, default: l]
2.39/2.40 c lp/pricing = a
2.39/2.40 c
2.39/2.40 c # should presolving try to simplify inequalities
2.39/2.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.40 c constraints/linear/simplifyinequalities = TRUE
2.39/2.40 c
2.39/2.40 c # should presolving try to simplify knapsacks
2.39/2.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.40 c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.40 c
2.39/2.40 c # priority of node selection rule <dfs> in standard mode
2.39/2.40 c # [type: int, range: [-536870912,536870911], default: 0]
2.39/2.40 c nodeselection/dfs/stdpriority = 1000000
2.39/2.40 c
2.39/2.40 c -----------------------------------------------------------------------------------------------
2.39/2.40 c start solving
2.39/2.41 c
2.89/2.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.89/2.98 c t 2.1s| 1 | 0 | 809 | - | 47M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 | 0.000000e+00 | 100.00%
2.99/3.05 o -1
2.99/3.05 c R 2.1s| 1 | 0 | 809 | - | 47M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 |-1.000000e+00 | 99.74%
3.09/3.14 o -2
3.09/3.14 c s 2.2s| 1 | 0 | 809 | - | 47M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 |-2.000000e+00 | 99.47%
5.89/5.92 c 4.9s| 1 | 0 | 1126 | - | 47M| 0 | 705 | 760 | 41k| 760 | 41k| 11 | 0 | 0 |-3.525000e+02 |-2.000000e+00 | 99.43%
5.89/5.95 o -31
5.89/5.95 c b 5.0s| 1 | 0 | 1126 | - | 47M| 0 | 705 | 760 | 41k| 760 | 41k| 11 | 0 | 0 |-3.525000e+02 |-3.100000e+01 | 91.21%
8.68/8.78 c 7.8s| 1 | 0 | 1326 | - | 47M| 0 | 670 | 760 | 41k| 760 | 41k| 15 | 0 | 0 |-3.350000e+02 |-3.100000e+01 | 90.75%
12.38/12.43 c 11.4s| 1 | 0 | 1613 | - | 47M| 0 | 635 | 760 | 41k| 760 | 41k| 20 | 0 | 0 |-3.175000e+02 |-3.100000e+01 | 90.24%
16.68/16.71 c 15.6s| 1 | 0 | 1924 | - | 47M| 0 | 600 | 760 | 41k| 760 | 41k| 27 | 0 | 0 |-3.000000e+02 |-3.100000e+01 | 89.67%
21.78/21.82 c 20.7s| 1 | 0 | 2277 | - | 47M| 0 | 562 | 760 | 41k| 760 | 41k| 36 | 0 | 0 |-2.810000e+02 |-3.100000e+01 | 88.97%
28.18/28.22 c 27.1s| 1 | 0 | 2704 | - | 47M| 0 | 528 | 760 | 41k| 760 | 41k| 43 | 0 | 0 |-2.640000e+02 |-3.100000e+01 | 88.26%
33.88/33.94 c 32.7s| 1 | 0 | 3083 | - | 47M| 0 | 495 | 760 | 41k| 760 | 41k| 48 | 0 | 0 |-2.475000e+02 |-3.100000e+01 | 87.47%
40.08/40.16 c 38.9s| 1 | 0 | 3518 | - | 47M| 0 | 462 | 760 | 41k| 760 | 41k| 54 | 0 | 0 |-2.310000e+02 |-3.100000e+01 | 86.58%
46.18/46.29 c 45.0s| 1 | 0 | 4007 | - | 47M| 0 | 426 | 760 | 41k| 760 | 41k| 67 | 0 | 0 |-2.130000e+02 |-3.100000e+01 | 85.45%
52.27/52.34 c 51.0s| 1 | 0 | 4509 | - | 47M| 0 | 378 | 760 | 41k| 760 | 41k| 76 | 0 | 0 |-1.890000e+02 |-3.100000e+01 | 83.60%
56.67/56.71 c 55.3s| 1 | 0 | 5114 | - | 47M| 0 | 345 | 760 | 41k| 760 | 41k| 83 | 0 | 0 |-1.725000e+02 |-3.100000e+01 | 82.03%
59.27/59.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.27/59.38 c 58.0s| 1 | 0 | 5503 | - | 47M| 0 | 312 | 760 | 41k| 760 | 41k| 87 | 0 | 0 |-1.560000e+02 |-3.100000e+01 | 80.13%
60.37/60.40 c 59.0s| 1 | 0 | 5660 | - | 47M| 0 | 279 | 760 | 41k| 760 | 41k| 91 | 0 | 0 |-1.395000e+02 |-3.100000e+01 | 77.78%
62.06/62.20 c 60.7s| 1 | 0 | 5973 | - | 47M| 0 | 245 | 760 | 41k| 760 | 41k| 97 | 0 | 0 |-1.225000e+02 |-3.100000e+01 | 74.69%
64.88/64.96 c 63.4s| 1 | 0 | 6462 | - | 47M| 0 | 208 | 760 | 41k| 760 | 41k| 109 | 0 | 0 |-1.040000e+02 |-3.100000e+01 | 70.19%
67.27/67.37 c 65.8s| 1 | 0 | 6933 | - | 47M| 0 | 173 | 760 | 41k| 760 | 41k| 115 | 0 | 0 |-8.650000e+01 |-3.100000e+01 | 64.16%
69.87/69.92 c 68.3s| 1 | 0 | 7577 | - | 47M| 0 | 142 | 760 | 41k| 760 | 41k| 119 | 0 | 0 |-7.100000e+01 |-3.100000e+01 | 56.34%
70.67/70.77 c 69.1s| 1 | 0 | 7761 | - | 47M| 0 | 132 | 760 | 41k| 760 | 41k| 122 | 0 | 0 |-6.300000e+01 |-3.100000e+01 | 50.79%
71.86/71.92 c 70.2s| 1 | 0 | 8073 | - | 47M| 0 | 131 | 760 | 41k| 760 | 41k| 130 | 0 | 0 |-5.550000e+01 |-3.100000e+01 | 44.14%
72.87/72.97 c 71.3s| 1 | 0 | 8350 | - | 47M| 0 | 125 | 760 | 41k| 760 | 41k| 139 | 0 | 0 |-4.800000e+01 |-3.100000e+01 | 35.42%
73.67/73.73 c 72.0s| 1 | 0 | 8553 | - | 47M| 0 | 132 | 760 | 41k| 760 | 41k| 150 | 0 | 0 |-4.000000e+01 |-3.100000e+01 | 22.50%
74.16/74.25 c 72.5s| 1 | 0 | 8674 | - | 47M| 0 | 149 | 760 | 41k| 760 | 41k| 162 | 0 | 0 |-4.000000e+01 |-3.100000e+01 | 22.50%
75.16/75.23 c 73.4s| 1 | 0 | 8858 | - | 47M| 0 | 167 | 760 | 41k| 760 | 41k| 171 | 0 | 0 |-4.000000e+01 |-3.100000e+01 | 22.50%
82.06/82.18 c 80.3s| 1 | 0 | 9100 | - | 47M| 0 | 173 | 760 | 41k| 760 | 41k| 179 | 0 | 0 |-4.000000e+01 |-3.100000e+01 | 22.50%
90.36/90.41 c 88.5s| 1 | 0 | 9366 | - | 47M| 0 | 149 | 760 | 41k| 760 | 41k| 188 | 0 | 0 |-4.000000e+01 |-3.100000e+01 | 22.50%
91.96/92.07 c 90.1s| 1 | 0 | 9690 | - | 47M| 0 | 230 | 760 | 41k| 760 | 41k| 198 | 0 | 0 |-4.000000e+01 |-3.100000e+01 | 22.50%
202.02/202.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
202.02/202.13 c 199s| 1 | 2 | 9690 | - | 47M| 0 | 230 | 760 | 41k| 760 | 41k| 198 | 0 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
205.83/205.93 c 202s| 10000 | 20 | 9690 | 0.0 | 47M| 43 | - | 760 | 41k| 0 | 0 | 198 | 51 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
209.52/209.67 c 206s| 20000 | 20 | 9690 | 0.0 | 47M| 43 | - | 760 | 41k| 0 | 0 | 198 | 94 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
213.21/213.31 c 209s| 30000 | 20 | 9690 | 0.0 | 47M| 43 | - | 760 | 41k| 0 | 0 | 198 | 120 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
216.91/217.04 c 213s| 40000 | 17 | 9690 | 0.0 | 47M| 43 | - | 760 | 41k| 0 | 0 | 198 | 175 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
220.61/220.74 c 217s| 50000 | 20 | 9690 | 0.0 | 47M| 46 | - | 760 | 41k| 0 | 0 | 198 | 209 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
224.22/224.31 c 220s| 60000 | 20 | 9690 | 0.0 | 47M| 51 | - | 760 | 41k| 0 | 0 | 198 | 266 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
227.81/227.93 c 224s| 70000 | 21 | 9690 | 0.0 | 47M| 51 | - | 760 | 41k| 0 | 0 | 198 | 297 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
231.52/231.69 c 227s| 80000 | 21 | 9690 | 0.0 | 47M| 51 | - | 760 | 41k| 0 | 0 | 198 | 329 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
235.21/235.37 c 231s| 90000 | 21 | 9690 | 0.0 | 47M| 51 | - | 760 | 41k| 0 | 0 | 198 | 387 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
238.91/239.07 c 234s|100000 | 21 | 9690 | 0.0 | 47M| 51 | - | 760 | 41k| 0 | 0 | 198 | 415 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
242.60/242.75 c 238s|110000 | 19 | 9690 | 0.0 | 47M| 51 | - | 760 | 41k| 0 | 0 | 198 | 469 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
246.21/246.35 c 241s|120000 | 20 | 9690 | 0.0 | 47M| 53 | - | 760 | 41k| 0 | 0 | 198 | 493 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
249.81/249.93 c 245s|130000 | 18 | 9690 | 0.0 | 47M| 53 | - | 760 | 41k| 0 | 0 | 198 | 525 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
253.41/253.50 c 248s|140000 | 17 | 9690 | 0.0 | 47M| 53 | - | 760 | 41k| 0 | 0 | 198 | 543 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
257.10/257.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
257.10/257.22 c 252s|150000 | 17 | 9690 | 0.0 | 47M| 53 | - | 760 | 41k| 0 | 0 | 198 | 561 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
260.80/260.95 c 255s|160000 | 21 | 9690 | 0.0 | 47M| 55 | - | 760 | 41k| 0 | 0 | 198 | 604 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
264.50/264.63 c 259s|170000 | 18 | 9690 | 0.0 | 47M| 55 | - | 760 | 41k| 0 | 0 | 198 | 651 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
268.31/268.41 c 263s|180000 | 21 | 9690 | 0.0 | 47M| 55 | - | 760 | 41k| 0 | 0 | 198 | 696 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
271.99/272.12 c 266s|190000 | 19 | 9690 | 0.0 | 47M| 55 | - | 760 | 41k| 0 | 0 | 198 | 735 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
275.70/275.89 c 270s|200000 | 18 | 9690 | 0.0 | 47M| 55 | - | 760 | 41k| 0 | 0 | 198 | 785 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
279.50/279.61 c 273s|210000 | 20 | 9690 | 0.0 | 47M| 55 | - | 760 | 41k| 0 | 0 | 198 | 844 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
283.19/283.38 c 277s|220000 | 20 | 9690 | 0.0 | 47M| 55 | - | 760 | 41k| 0 | 0 | 198 | 891 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
287.00/287.19 c 281s|230000 | 20 | 9690 | 0.0 | 47M| 55 | - | 760 | 41k| 0 | 0 | 198 | 929 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
290.80/290.93 c 284s|240000 | 20 | 9690 | 0.0 | 47M| 56 | - | 760 | 41k| 0 | 0 | 198 | 979 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
294.59/294.77 c 288s|250000 | 19 | 9690 | 0.0 | 47M| 56 | - | 760 | 41k| 0 | 0 | 198 |1012 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
298.49/298.61 c 292s|260000 | 19 | 9690 | 0.0 | 47M| 56 | - | 760 | 41k| 0 | 0 | 198 |1054 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
302.19/302.32 c 295s|270000 | 22 | 9690 | 0.0 | 47M| 56 | - | 760 | 41k| 0 | 0 | 198 |1117 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
305.89/306.09 c 299s|280000 | 17 | 9690 | 0.0 | 47M| 56 | - | 760 | 41k| 0 | 0 | 198 |1154 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
309.79/309.92 c 303s|290000 | 19 | 9690 | 0.0 | 47M| 56 | - | 760 | 41k| 0 | 0 | 198 |1193 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
313.59/313.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
313.59/313.77 c 306s|300000 | 17 | 9690 | 0.0 | 47M| 56 | - | 760 | 41k| 0 | 0 | 198 |1213 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
317.48/317.69 c 310s|310000 | 17 | 9690 | 0.0 | 47M| 56 | - | 760 | 41k| 0 | 0 | 198 |1244 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
321.38/321.53 c 314s|320000 | 19 | 9690 | 0.0 | 47M| 56 | - | 760 | 41k| 0 | 0 | 198 |1275 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
325.08/325.27 c 317s|330000 | 16 | 9690 | 0.0 | 47M| 56 | - | 760 | 41k| 0 | 0 | 198 |1316 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
328.89/329.07 c 321s|340000 | 18 | 9690 | 0.0 | 47M| 56 | - | 760 | 41k| 0 | 0 | 198 |1353 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
332.67/332.85 c 325s|350000 | 19 | 9690 | 0.0 | 47M| 58 | - | 760 | 41k| 0 | 0 | 198 |1398 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
336.38/336.59 c 328s|360000 | 20 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |1448 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
340.17/340.31 c 332s|370000 | 19 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |1484 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
343.68/343.89 c 335s|380000 | 22 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |1520 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
347.48/347.60 c 339s|390000 | 18 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |1552 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
351.07/351.25 c 342s|400000 | 19 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |1580 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
354.77/354.95 c 346s|410000 | 21 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |1634 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
358.47/358.61 c 350s|420000 | 16 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |1663 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
362.17/362.34 c 353s|430000 | 20 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |1695 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
365.76/365.97 c 357s|440000 | 19 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |1746 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
369.47/369.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
369.47/369.68 c 360s|450000 | 18 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |1790 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
373.36/373.51 c 364s|460000 | 19 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |1810 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
377.06/377.25 c 367s|470000 | 18 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |1852 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
380.66/380.87 c 371s|480000 | 20 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |1911 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
384.46/384.61 c 374s|490000 | 17 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |1936 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
388.17/388.40 c 378s|500000 | 22 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |2007 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
392.05/392.21 c 382s|510000 | 19 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |2056 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
395.65/395.89 c 385s|520000 | 20 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |2114 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
399.55/399.72 c 389s|530000 | 21 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |2137 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
403.36/403.53 c 393s|540000 | 19 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |2167 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
407.15/407.35 c 396s|550000 | 18 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |2281 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
410.95/411.14 c 400s|560000 | 17 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |2334 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
414.75/414.96 c 404s|570000 | 18 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |2409 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
418.65/418.84 c 408s|580000 | 20 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |2466 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
422.36/422.56 c 411s|590000 | 19 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |2537 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
426.05/426.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
426.05/426.24 c 415s|600000 | 18 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |2609 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
429.74/429.98 c 418s|610000 | 19 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |2698 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
433.55/433.79 c 422s|620000 | 17 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |2819 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
437.44/437.62 c 426s|630000 | 18 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |2900 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
441.14/441.31 c 429s|640000 | 20 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |2928 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
444.54/444.70 c 432s|650000 | 17 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |2964 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
448.14/448.33 c 436s|660000 | 23 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |3003 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
451.64/451.88 c 439s|670000 | 19 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |3037 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
455.34/455.51 c 443s|680000 | 21 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |3075 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
459.23/459.40 c 447s|690000 | 20 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |3154 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
462.94/463.20 c 450s|700000 | 18 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |3247 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
466.73/466.94 c 454s|710000 | 18 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |3312 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
470.54/470.73 c 458s|720000 | 20 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |3341 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
474.13/474.39 c 461s|730000 | 21 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |3383 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
478.13/478.32 c 465s|740000 | 19 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |3425 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
481.83/482.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
481.83/482.01 c 468s|750000 | 19 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |3461 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
485.52/485.71 c 472s|760000 | 17 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |3536 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
489.13/489.31 c 475s|770000 | 18 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |3561 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
492.73/492.99 c 479s|780000 | 18 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |3593 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
496.42/496.66 c 482s|790000 | 18 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |3646 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
500.22/500.47 c 486s|800000 | 17 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |3683 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
503.92/504.19 c 490s|810000 | 16 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |3711 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
507.72/507.96 c 493s|820000 | 19 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |3734 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
511.43/511.67 c 497s|830000 | 19 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |3766 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
515.21/515.41 c 501s|840000 | 19 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |3810 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
518.91/519.18 c 504s|850000 | 17 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |3873 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
522.51/522.74 c 508s|860000 | 19 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |3917 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
526.31/526.51 c 511s|870000 | 18 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |3970 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
529.81/530.05 c 515s|880000 | 19 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |4026 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
533.41/533.69 c 518s|890000 | 18 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |4084 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
537.11/537.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
537.11/537.35 c 522s|900000 | 20 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |4122 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
540.91/541.14 c 525s|910000 | 20 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |4170 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
544.60/544.80 c 529s|920000 | 19 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |4212 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
548.11/548.37 c 532s|930000 | 19 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |4270 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
551.60/551.86 c 536s|940000 | 19 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |4319 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
555.41/555.66 c 539s|950000 | 19 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |4366 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
559.30/559.55 c 543s|960000 | 21 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |4386 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
563.01/563.27 c 547s|970000 | 23 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |4432 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
566.80/567.01 c 550s|980000 | 20 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |4460 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
570.50/570.77 c 554s|990000 | 17 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |4496 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
574.30/574.51 c 558s| 1000k| 20 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |4533 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
577.99/578.25 c 561s| 1010k| 18 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |4573 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
581.70/581.94 c 565s| 1020k| 16 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |4614 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
585.40/585.66 c 568s| 1030k| 18 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |4650 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
589.19/589.42 c 572s| 1040k| 16 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |4704 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
592.98/593.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
592.98/593.28 c 576s| 1050k| 18 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |4758 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
596.79/597.09 c 579s| 1060k| 17 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |4788 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
600.59/600.86 c 583s| 1070k| 19 | 9690 | 0.0 | 47M| 60 | - | 760 | 41k| 0 | 0 | 198 |4841 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
604.29/604.58 c 587s| 1080k| 18 | 9690 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 198 |4891 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
607.98/608.27 c 590s| 1090k| 16 | 9690 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 198 |4932 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
611.88/612.11 c 594s| 1100k| 18 | 9690 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 198 |4980 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
615.59/615.80 c 597s| 1110k| 19 | 9690 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 198 |5007 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
619.19/619.49 c 601s| 1120k| 18 | 9690 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 198 |5030 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
622.98/623.21 c 604s| 1130k| 19 | 9690 | 0.0 | 47M| 62 | - | 760 | 41k| 0 | 0 | 198 |5068 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
626.68/626.97 c 608s| 1140k| 20 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |5116 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
630.48/630.70 c 612s| 1150k| 18 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |5177 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
634.07/634.33 c 615s| 1160k| 17 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |5242 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
637.78/638.04 c 619s| 1170k| 16 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |5294 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
641.47/641.78 c 622s| 1180k| 19 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |5374 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
645.17/645.49 c 626s| 1190k| 20 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |5444 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
649.07/649.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
649.07/649.33 c 630s| 1200k| 19 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |5504 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
652.86/653.17 c 633s| 1210k| 19 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |5532 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
656.77/657.03 c 637s| 1220k| 19 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |5580 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
660.56/660.83 c 641s| 1230k| 19 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |5612 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
664.17/664.48 c 644s| 1240k| 20 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |5639 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
667.76/668.09 c 648s| 1250k| 20 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |5675 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
671.46/671.71 c 651s| 1260k| 21 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |5700 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
675.06/675.30 c 655s| 1270k| 19 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |5736 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
678.66/678.94 c 658s| 1280k| 17 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |5767 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
682.46/682.77 c 662s| 1290k| 18 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |5786 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
686.16/686.48 c 666s| 1300k| 20 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |5831 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
689.86/690.12 c 669s| 1310k| 22 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |5862 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
693.35/693.65 c 672s| 1320k| 17 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |5884 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
696.96/697.20 c 676s| 1330k| 20 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |5915 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
700.56/700.89 c 679s| 1340k| 19 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |5937 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
704.15/704.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
704.15/704.44 c 683s| 1350k| 19 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |5965 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
707.75/708.06 c 686s| 1360k| 16 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |5996 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
711.34/711.68 c 690s| 1370k| 16 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |6038 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
715.15/715.42 c 693s| 1380k| 18 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |6076 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
718.84/719.16 c 697s| 1390k| 18 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |6114 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
722.74/723.01 c 701s| 1400k| 17 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |6145 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
726.45/726.79 c 704s| 1410k| 16 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |6176 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
730.25/730.57 c 708s| 1420k| 18 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |6226 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
733.94/734.22 c 712s| 1430k| 18 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |6246 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
737.74/738.02 c 715s| 1440k| 17 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |6261 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
741.44/741.74 c 719s| 1450k| 17 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |6306 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
744.94/745.27 c 722s| 1460k| 19 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |6344 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
748.84/749.17 c 726s| 1470k| 18 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |6380 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
752.63/752.98 c 730s| 1480k| 20 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |6410 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
756.33/756.66 c 733s| 1490k| 20 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |6440 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
760.03/760.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
760.03/760.36 c 737s| 1500k| 20 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |6494 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
763.73/764.06 c 740s| 1510k| 17 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |6575 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
767.43/767.77 c 744s| 1520k| 17 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |6634 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
771.13/771.49 c 748s| 1530k| 18 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |6680 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
774.83/775.19 c 751s| 1540k| 17 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |6721 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
778.53/778.88 c 755s| 1550k| 17 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |6796 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
782.22/782.54 c 758s| 1560k| 15 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |6869 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
785.92/786.26 c 762s| 1570k| 18 | 9690 | 0.0 | 47M| 66 | - | 760 | 41k| 0 | 0 | 198 |6946 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
789.63/789.93 c 765s| 1580k| 18 | 9690 | 0.0 | 47M| 68 | - | 760 | 41k| 0 | 0 | 198 |6998 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
793.32/793.67 c 769s| 1590k| 17 | 9690 | 0.0 | 47M| 69 | - | 760 | 41k| 0 | 0 | 198 |7037 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
797.23/797.57 c 773s| 1600k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |7066 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
801.01/801.32 c 776s| 1610k| 20 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |7092 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
804.81/805.12 c 780s| 1620k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |7136 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
808.52/808.88 c 784s| 1630k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |7171 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
812.32/812.69 c 787s| 1640k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |7230 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
816.21/816.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
816.21/816.55 c 791s| 1650k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |7259 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
819.91/820.21 c 795s| 1660k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |7303 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
823.62/823.95 c 798s| 1670k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |7347 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
827.50/827.87 c 802s| 1680k| 20 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |7415 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
831.32/831.65 c 806s| 1690k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |7474 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
835.10/835.42 c 809s| 1700k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |7538 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
838.90/839.30 c 813s| 1710k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |7574 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
842.80/843.13 c 817s| 1720k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |7610 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
846.60/846.93 c 820s| 1730k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |7662 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
850.40/850.78 c 824s| 1740k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |7734 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
854.30/854.69 c 828s| 1750k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |7772 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
858.30/858.67 c 832s| 1760k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |7792 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
862.20/862.56 c 835s| 1770k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |7826 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
866.19/866.53 c 839s| 1780k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |7852 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
869.99/870.34 c 843s| 1790k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |7884 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
873.79/874.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
873.79/874.18 c 847s| 1800k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |7919 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
877.69/878.00 c 850s| 1810k| 15 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |7959 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
881.49/881.89 c 854s| 1820k| 14 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8023 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
885.29/885.69 c 858s| 1830k| 21 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8053 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
889.09/889.45 c 861s| 1840k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8083 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
892.78/893.19 c 865s| 1850k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8105 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
896.69/897.05 c 869s| 1860k| 16 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8132 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
900.39/900.72 c 872s| 1870k| 20 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8162 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
904.08/904.49 c 876s| 1880k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8201 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
907.88/908.26 c 880s| 1890k| 15 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8269 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
911.69/912.03 c 883s| 1900k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8307 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
915.48/915.81 c 887s| 1910k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8329 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
919.17/919.52 c 890s| 1920k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8357 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
922.97/923.39 c 894s| 1930k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8403 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
926.98/927.34 c 898s| 1940k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8421 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
930.87/931.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
930.87/931.29 c 902s| 1950k| 16 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8441 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
934.77/935.16 c 906s| 1960k| 16 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8471 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
938.57/938.95 c 909s| 1970k| 20 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8517 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
942.37/942.79 c 913s| 1980k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8542 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
946.27/946.68 c 917s| 1990k| 20 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8557 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
950.17/950.55 c 920s| 2000k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8580 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
953.96/954.37 c 924s| 2010k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8629 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
957.77/958.11 c 928s| 2020k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8670 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
961.36/961.79 c 931s| 2030k| 20 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8725 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
965.36/965.76 c 935s| 2040k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8765 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
969.16/969.53 c 939s| 2050k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8796 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
972.95/973.36 c 942s| 2060k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8814 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
976.76/977.11 c 946s| 2070k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8839 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
980.56/980.90 c 950s| 2080k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8872 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
984.26/984.68 c 953s| 2090k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8903 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
988.05/988.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
988.05/988.42 c 957s| 2100k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8916 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
991.86/992.21 c 961s| 2110k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8958 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
995.74/996.17 c 964s| 2120k| 21 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8969 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
999.55/1000.00 c 968s| 2130k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |8985 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1003.54/1003.91 c 972s| 2140k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9004 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1007.44/1007.83 c 976s| 2150k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9030 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1011.24/1011.60 c 979s| 2160k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9049 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1015.05/1015.43 c 983s| 2170k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9066 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1018.94/1019.35 c 987s| 2180k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9099 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1022.64/1023.07 c 990s| 2190k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9114 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1026.43/1026.89 c 994s| 2200k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9157 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1030.34/1030.73 c 998s| 2210k| 20 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9180 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1034.13/1034.55 c 1001s| 2220k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9216 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1038.04/1038.41 c 1005s| 2230k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9243 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1041.93/1042.39 c 1009s| 2240k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9290 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1045.93/1046.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1045.93/1046.31 c 1013s| 2250k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9365 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1049.83/1050.24 c 1017s| 2260k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9404 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1053.72/1054.10 c 1020s| 2270k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9422 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1057.52/1057.94 c 1024s| 2280k| 16 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9439 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1061.32/1061.80 c 1028s| 2290k| 16 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9449 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1065.02/1065.40 c 1031s| 2300k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9502 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1068.72/1069.17 c 1035s| 2310k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9543 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1072.52/1072.95 c 1038s| 2320k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9576 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1076.22/1076.67 c 1042s| 2330k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9602 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1079.92/1080.37 c 1046s| 2340k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9637 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1083.82/1084.22 c 1049s| 2350k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9658 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1087.71/1088.12 c 1053s| 2360k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9673 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1091.52/1091.90 c 1057s| 2370k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9688 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1095.32/1095.76 c 1061s| 2380k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9704 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1099.21/1099.61 c 1064s| 2390k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9730 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1102.92/1103.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1102.92/1103.39 c 1068s| 2400k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9752 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1106.91/1107.36 c 1072s| 2410k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9786 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1110.91/1111.35 c 1076s| 2420k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9809 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1114.91/1115.33 c 1079s| 2430k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9827 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1118.90/1119.35 c 1083s| 2440k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9876 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1122.90/1123.38 c 1087s| 2450k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9916 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1126.90/1127.31 c 1091s| 2460k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9936 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1130.80/1131.23 c 1095s| 2470k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9954 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1134.69/1135.19 c 1099s| 2480k| 16 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 |9965 | 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1138.70/1139.16 c 1102s| 2490k| 16 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1142.70/1143.11 c 1106s| 2500k| 16 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1146.49/1146.99 c 1110s| 2510k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1150.30/1150.75 c 1114s| 2520k| 20 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1154.10/1154.53 c 1117s| 2530k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1157.90/1158.37 c 1121s| 2540k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1161.79/1162.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1161.79/1162.22 c 1125s| 2550k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1165.60/1166.02 c 1128s| 2560k| 20 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1169.29/1169.72 c 1132s| 2570k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1173.08/1173.52 c 1136s| 2580k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1176.78/1177.26 c 1139s| 2590k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1180.59/1181.04 c 1143s| 2600k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1184.29/1184.77 c 1146s| 2610k| 20 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1188.08/1188.54 c 1150s| 2620k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1191.98/1192.44 c 1154s| 2630k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1195.88/1196.33 c 1158s| 2640k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1199.69/1200.16 c 1161s| 2650k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1203.47/1203.96 c 1165s| 2660k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1207.27/1207.78 c 1169s| 2670k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1210.97/1211.42 c 1172s| 2680k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1214.57/1215.08 c 1176s| 2690k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1218.37/1218.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1218.37/1218.82 c 1179s| 2700k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1222.07/1222.52 c 1183s| 2710k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1225.76/1226.26 c 1187s| 2720k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1229.56/1230.03 c 1190s| 2730k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 10k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1233.16/1233.67 c 1194s| 2740k| 21 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1236.86/1237.38 c 1197s| 2750k| 21 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1240.66/1241.14 c 1201s| 2760k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1244.56/1245.09 c 1205s| 2770k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1248.45/1248.95 c 1208s| 2780k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1252.16/1252.65 c 1212s| 2790k| 21 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1255.96/1256.45 c 1216s| 2800k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1259.85/1260.32 c 1219s| 2810k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1263.56/1264.09 c 1223s| 2820k| 16 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1267.25/1267.77 c 1227s| 2830k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1270.95/1271.43 c 1230s| 2840k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1274.56/1275.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1274.56/1275.08 c 1234s| 2850k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1278.24/1278.78 c 1237s| 2860k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1282.04/1282.59 c 1241s| 2870k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1285.84/1286.32 c 1244s| 2880k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1289.54/1290.07 c 1248s| 2890k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1293.34/1293.81 c 1252s| 2900k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1297.04/1297.57 c 1255s| 2910k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1300.84/1301.35 c 1259s| 2920k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1304.74/1305.23 c 1263s| 2930k| 20 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1308.54/1309.06 c 1266s| 2940k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1312.33/1312.85 c 1270s| 2950k| 20 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1316.13/1316.64 c 1274s| 2960k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1319.83/1320.33 c 1277s| 2970k| 21 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1323.63/1324.18 c 1281s| 2980k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1327.52/1328.03 c 1285s| 2990k| 20 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 11k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1331.33/1331.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1331.33/1331.85 c 1288s| 3000k| 21 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 12k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1335.12/1335.66 c 1292s| 3010k| 20 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 12k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1339.02/1339.56 c 1296s| 3020k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 12k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1342.82/1343.39 c 1300s| 3030k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 12k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1346.72/1347.24 c 1303s| 3040k| 20 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 12k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1350.52/1351.06 c 1307s| 3050k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 12k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1354.42/1354.94 c 1311s| 3060k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 12k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1358.12/1358.67 c 1314s| 3070k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 12k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1361.82/1362.32 c 1318s| 3080k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 12k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1365.52/1366.03 c 1321s| 3090k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 12k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1369.21/1369.75 c 1325s| 3100k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 12k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1372.91/1373.49 c 1329s| 3110k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 12k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1376.71/1377.23 c 1332s| 3120k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 12k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1380.51/1381.04 c 1336s| 3130k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 12k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1384.20/1384.79 c 1340s| 3140k| 21 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 12k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1388.11/1388.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1388.11/1388.65 c 1343s| 3150k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 12k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1392.01/1392.57 c 1347s| 3160k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 12k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1395.90/1396.45 c 1351s| 3170k| 22 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 12k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1399.80/1400.38 c 1355s| 3180k| 20 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 12k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1403.70/1404.26 c 1358s| 3190k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 12k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1407.51/1408.06 c 1362s| 3200k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 12k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1411.19/1411.74 c 1366s| 3210k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 12k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1415.00/1415.55 c 1369s| 3220k| 20 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 12k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1418.69/1419.27 c 1373s| 3230k| 20 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1422.59/1423.13 c 1377s| 3240k| 20 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1426.49/1427.02 c 1380s| 3250k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1430.29/1430.83 c 1384s| 3260k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1434.09/1434.67 c 1388s| 3270k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1437.97/1438.54 c 1391s| 3280k| 20 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1441.77/1442.32 c 1395s| 3290k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1445.67/1446.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1445.67/1446.21 c 1399s| 3300k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1449.47/1450.08 c 1402s| 3310k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1453.36/1453.92 c 1406s| 3320k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1457.16/1457.74 c 1410s| 3330k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1460.96/1461.56 c 1414s| 3340k| 20 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1464.85/1465.42 c 1417s| 3350k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1468.66/1469.26 c 1421s| 3360k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1472.47/1473.02 c 1425s| 3370k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1476.15/1476.78 c 1428s| 3380k| 21 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1479.85/1480.47 c 1432s| 3390k| 16 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1483.65/1484.26 c 1435s| 3400k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1487.45/1488.00 c 1439s| 3410k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1491.16/1491.71 c 1443s| 3420k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1494.94/1495.54 c 1446s| 3430k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1498.75/1499.39 c 1450s| 3440k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1502.64/1503.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1502.64/1503.27 c 1454s| 3450k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1506.45/1507.08 c 1458s| 3460k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1510.24/1510.86 c 1461s| 3470k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1514.14/1514.71 c 1465s| 3480k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1518.04/1518.64 c 1469s| 3490k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1521.95/1522.58 c 1472s| 3500k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 13k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1525.93/1526.50 c 1476s| 3510k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1529.74/1530.36 c 1480s| 3520k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1533.43/1534.10 c 1484s| 3530k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1537.13/1537.78 c 1487s| 3540k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1540.93/1541.59 c 1491s| 3550k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1544.93/1545.53 c 1495s| 3560k| 19 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1548.72/1549.32 c 1498s| 3570k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1552.64/1553.24 c 1502s| 3580k| 16 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1556.43/1557.09 c 1506s| 3590k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1560.22/1560.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1560.22/1560.80 c 1509s| 3600k| 20 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1563.92/1564.56 c 1513s| 3610k| 17 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1567.82/1568.43 c 1517s| 3620k| 16 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1571.62/1572.22 c 1520s| 3630k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1575.32/1575.98 c 1524s| 3640k| 18 | 9690 | 0.0 | 47M| 71 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1579.22/1579.82 c 1528s| 3650k| 18 | 9690 | 0.0 | 47M| 72 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1583.01/1583.65 c 1531s| 3660k| 18 | 9690 | 0.0 | 47M| 72 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1586.91/1587.52 c 1535s| 3670k| 18 | 9690 | 0.0 | 47M| 72 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1590.71/1591.36 c 1539s| 3680k| 19 | 9690 | 0.0 | 47M| 72 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1594.52/1595.13 c 1543s| 3690k| 17 | 9690 | 0.0 | 47M| 72 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1598.31/1598.99 c 1546s| 3700k| 17 | 9690 | 0.0 | 47M| 72 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1602.22/1602.84 c 1550s| 3710k| 19 | 9690 | 0.0 | 47M| 72 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1606.01/1606.64 c 1554s| 3720k| 18 | 9690 | 0.0 | 47M| 72 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1609.92/1610.51 c 1557s| 3730k| 18 | 9690 | 0.0 | 47M| 72 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1613.80/1614.43 c 1561s| 3740k| 19 | 9690 | 0.0 | 47M| 72 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1617.70/1618.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1617.70/1618.32 c 1565s| 3750k| 19 | 9690 | 0.0 | 47M| 72 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1621.50/1622.13 c 1569s| 3760k| 18 | 9690 | 0.0 | 47M| 72 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1625.40/1626.01 c 1572s| 3770k| 16 | 9690 | 0.0 | 47M| 72 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1629.30/1629.94 c 1576s| 3780k| 18 | 9690 | 0.0 | 47M| 72 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1633.09/1633.78 c 1580s| 3790k| 19 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1637.10/1637.79 c 1584s| 3800k| 18 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 14k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1640.89/1641.56 c 1587s| 3810k| 17 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 15k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1644.69/1645.36 c 1591s| 3820k| 17 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 15k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1648.59/1649.21 c 1595s| 3830k| 19 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 15k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1652.39/1653.08 c 1598s| 3840k| 18 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 15k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1656.19/1656.84 c 1602s| 3850k| 19 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 15k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1659.98/1660.64 c 1606s| 3860k| 17 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 15k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1663.79/1664.49 c 1609s| 3870k| 19 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 15k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1667.68/1668.38 c 1613s| 3880k| 19 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 15k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1671.49/1672.18 c 1617s| 3890k| 18 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 15k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1675.38/1676.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1675.38/1676.02 c 1621s| 3900k| 19 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 15k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1679.19/1679.85 c 1624s| 3910k| 20 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 15k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1683.17/1683.81 c 1628s| 3920k| 19 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 15k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1686.97/1687.61 c 1632s| 3930k| 20 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 15k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1690.87/1691.52 c 1636s| 3940k| 20 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 15k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1694.67/1695.38 c 1639s| 3950k| 19 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 15k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1698.67/1699.31 c 1643s| 3960k| 18 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 15k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1702.57/1703.20 c 1647s| 3970k| 18 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 15k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1706.27/1706.99 c 1651s| 3980k| 19 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 15k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1709.98/1710.70 c 1654s| 3990k| 18 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 15k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1713.86/1714.53 c 1658s| 4000k| 17 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 15k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1717.67/1718.32 c 1661s| 4010k| 19 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 15k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1721.37/1722.06 c 1665s| 4020k| 19 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 15k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1725.06/1725.76 c 1669s| 4030k| 20 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 15k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1728.76/1729.44 c 1672s| 4040k| 18 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 15k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1732.36/1733.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1732.36/1733.06 c 1676s| 4050k| 18 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 16k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1736.06/1736.77 c 1679s| 4060k| 19 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 16k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1739.96/1740.64 c 1683s| 4070k| 16 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 16k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1743.86/1744.50 c 1687s| 4080k| 18 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 16k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1747.66/1748.30 c 1690s| 4090k| 21 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 16k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1751.26/1751.98 c 1694s| 4100k| 19 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 16k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1754.85/1755.56 c 1697s| 4110k| 19 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 16k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1758.55/1759.22 c 1701s| 4120k| 19 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 16k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1762.15/1762.85 c 1704s| 4130k| 18 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 16k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1765.85/1766.54 c 1708s| 4140k| 18 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 16k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1769.45/1770.14 c 1711s| 4150k| 17 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 16k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1773.15/1773.89 c 1715s| 4160k| 20 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 16k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1777.05/1777.73 c 1719s| 4170k| 19 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 16k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1780.94/1781.66 c 1723s| 4180k| 16 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 16k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1784.84/1785.54 c 1726s| 4190k| 18 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 16k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1788.64/1789.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1788.64/1789.31 c 1730s| 4200k| 20 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 16k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1792.45/1793.13 c 1734s| 4210k| 21 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 16k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1796.24/1796.99 c 1737s| 4220k| 20 | 9690 | 0.0 | 47M| 76 | - | 760 | 41k| 0 | 0 | 198 | 16k| 33 |-4.000000e+01 |-3.100000e+01 | 22.50%
1800.05/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.71 c
1800.05/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.71 c Solving Time (sec) : 1740.93
1800.05/1800.71 c Solving Nodes : 4229734
1800.05/1800.71 c Primal Bound : -3.10000000000000e+01 (9 solutions)
1800.05/1800.71 c Dual Bound : -3.99999999999999e+01
1800.05/1800.71 c Gap : 22.50 %
1800.05/1800.73 s SATISFIABLE
1800.05/1800.73 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.05/1800.73 v -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
1800.05/1800.73 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
1800.05/1800.73 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
1800.05/1800.73 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1800.05/1800.73 v -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145
1800.05/1800.73 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1800.05/1800.73 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187
1800.05/1800.73 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
1800.05/1800.73 v -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
1800.05/1800.73 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250
1800.05/1800.73 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1800.05/1800.73 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
1800.05/1800.73 v x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312
1800.05/1800.73 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
1800.05/1800.73 v -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
1800.05/1800.73 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
1800.05/1800.73 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
1800.05/1800.73 v -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1800.05/1800.73 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438
1800.05/1800.73 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
1800.05/1800.73 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1800.05/1800.73 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
1800.05/1800.73 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1800.05/1800.73 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
1800.05/1800.73 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1800.05/1800.73 v -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
1800.05/1800.73 v x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606
1800.05/1800.73 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627
1800.05/1800.73 v -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
1800.05/1800.73 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669
1800.05/1800.73 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690
1800.05/1800.73 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711
1800.05/1800.73 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732
1800.05/1800.73 v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753
1800.05/1800.73 v -x754 -x755 -x756 -x757 -x758 -x759 x760
1800.05/1800.73 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.73 c Solving Time : 1740.93
1800.05/1800.73 c Original Problem :
1800.05/1800.73 c Problem name : HOME/instance-2665577-1276490224.opb
1800.05/1800.73 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.73 c Constraints : 41619 initial, 41619 maximal
1800.05/1800.73 c Presolved Problem :
1800.05/1800.73 c Problem name : t_HOME/instance-2665577-1276490224.opb
1800.05/1800.73 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.73 c Constraints : 41619 initial, 41632 maximal
1800.05/1800.73 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.73 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.73 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.73 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.73 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.73 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.74 c probing : 0.99 0 0 0 0 0 0 0 0
1800.05/1800.74 c logicor : 0.13 0 0 0 0 0 0 0 0
1800.05/1800.74 c root node : - 0 - - 0 - - - -
1800.05/1800.74 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.74 c integral : 0 0 0 1 0 0 0 0 0 2
1800.05/1800.74 c logicor : 41619+ 26 4314712 0 0 349065 8928254 0 0 0
1800.05/1800.74 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.74 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.74 c integral : 105.58 0.00 0.00 105.58 0.00
1800.05/1800.74 c logicor : 537.41 0.18 537.23 0.00 0.00
1800.05/1800.74 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.74 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.74 c vbounds : 3.33 2 0 0
1800.05/1800.74 c rootredcost : 2.91 0 0 0
1800.05/1800.74 c pseudoobj : 438.38 6609366 1593221 2155348
1800.05/1800.74 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.74 c propagation : 281.23 349065 16644 16644 41.3 0 0.0 -
1800.05/1800.74 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.74 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.74 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.74 c pseudo solution : 157.57 175979 0 0 0.0 0 0.0 -
1800.05/1800.74 c applied globally : - - - 16644 41.3 - - -
1800.05/1800.74 c applied locally : - - - 0 0.0 - - -
1800.05/1800.74 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.74 c cut pool : 0.01 25 - - 62 - (maximal pool size: 446)
1800.05/1800.74 c redcost : 0.00 26 0 0 0 0
1800.05/1800.74 c impliedbounds : 0.05 26 0 0 0 0
1800.05/1800.74 c intobj : 0.00 0 0 0 0 0
1800.05/1800.74 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.74 c gomory : 16.11 26 0 0 12000 0
1800.05/1800.74 c strongcg : 2.56 20 0 0 10000 0
1800.05/1800.74 c cmir : 8.33 10 0 0 0 0
1800.05/1800.74 c flowcover : 9.02 10 0 0 0 0
1800.05/1800.74 c clique : 0.97 26 0 0 235 0
1800.05/1800.74 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.74 c mcf : 0.07 1 0 0 0 0
1800.05/1800.74 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.74 c Pricers : Time Calls Vars
1800.05/1800.74 c problem variables: 0.00 0 0
1800.05/1800.74 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.74 c relpscost : 105.58 1 0 0 0 0 2
1800.05/1800.74 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.74 c inference : 19.83 2121744 0 0 0 0 4243488
1800.05/1800.74 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.74 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.74 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.74 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.74 c random : 0.00 0 0 0 0 0 0
1800.05/1800.74 c Primal Heuristics : Time Calls Found
1800.05/1800.74 c LP solutions : 0.00 - 0
1800.05/1800.74 c pseudo solutions : 0.00 - 0
1800.05/1800.74 c crossover : 0.00 0 0
1800.05/1800.74 c oneopt : 2.53 2 1
1800.05/1800.74 c trivial : 0.03 2 3
1800.05/1800.74 c simplerounding : 0.01 27 1
1800.05/1800.74 c zirounding : 0.02 1 1
1800.05/1800.74 c rounding : 0.67 27 1
1800.05/1800.74 c shifting : 0.87 27 1
1800.05/1800.74 c intshifting : 0.00 0 0
1800.05/1800.74 c twoopt : 0.00 0 0
1800.05/1800.74 c fixandinfer : 0.00 0 0
1800.05/1800.74 c feaspump : 0.00 0 0
1800.05/1800.74 c coefdiving : 0.00 0 0
1800.05/1800.74 c pscostdiving : 0.00 0 0
1800.05/1800.74 c fracdiving : 0.00 0 0
1800.05/1800.74 c veclendiving : 0.00 0 0
1800.05/1800.74 c intdiving : 0.00 0 0
1800.05/1800.74 c actconsdiving : 0.00 0 0
1800.05/1800.74 c objpscostdiving : 0.00 0 0
1800.05/1800.74 c rootsoldiving : 0.00 0 0
1800.05/1800.74 c linesearchdiving : 0.00 0 0
1800.05/1800.74 c guideddiving : 0.00 0 0
1800.05/1800.74 c octane : 0.00 0 0
1800.05/1800.74 c rens : 2.93 1 1
1800.05/1800.74 c rins : 0.00 0 0
1800.05/1800.74 c localbranching : 0.00 0 0
1800.05/1800.74 c mutation : 0.00 0 0
1800.05/1800.74 c dins : 0.00 0 0
1800.05/1800.74 c undercover : 0.00 0 0
1800.05/1800.74 c nlp : 2.18 0 0
1800.05/1800.74 c trysol : 1.94 0 0
1800.05/1800.74 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.74 c primal LP : 0.15 0 0 0.00 0.00
1800.05/1800.74 c dual LP : 49.04 27 9690 358.89 197.59
1800.05/1800.74 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.74 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.74 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.74 c strong branching : 105.57 33 22758 689.64 215.57
1800.05/1800.74 c (at root node) : - 33 22758 689.64 -
1800.05/1800.74 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.74 c B&B Tree :
1800.05/1800.74 c number of runs : 1
1800.05/1800.74 c nodes : 4229734
1800.05/1800.74 c nodes (total) : 4229734
1800.05/1800.74 c nodes left : 21
1800.05/1800.74 c max depth : 76
1800.05/1800.74 c max depth (total): 76
1800.05/1800.74 c backtracks : 669757 (15.8%)
1800.05/1800.74 c delayed cutoffs : 11196
1800.05/1800.74 c repropagations : 12823 (47219 domain reductions, 10276 cutoffs)
1800.05/1800.74 c avg switch length: 2.00
1800.05/1800.74 c switching time : 187.87
1800.05/1800.74 c Solution :
1800.05/1800.74 c Solutions found : 9 (4 improvements)
1800.05/1800.74 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.06 seconds, depth 0, found by <trivial>)
1800.05/1800.74 c Primal Bound : -3.10000000000000e+01 (in run 1, after 1 nodes, 4.93 seconds, depth 0, found by <oneopt>)
1800.05/1800.74 c Dual Bound : -3.99999999999999e+01
1800.05/1800.74 c Gap : 22.50 %
1800.05/1800.74 c Root Dual Bound : -4.00000000000000e+01
1800.05/1800.74 c Root Iterations : 9690
1800.23/1800.91 c Time complete: 1800.24.