0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2667023-1276429061.opb>
0.09/0.11 c original problem has 808 variables (808 bin, 0 int, 0 impl, 0 cont) and 5557 constraints
0.09/0.11 c problem read
0.09/0.11 c presolving settings loaded
0.09/0.14 c presolving:
0.19/0.25 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5409 upgd conss, 39720 impls, 0 clqs
0.19/0.27 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5557 upgd conss, 39720 impls, 0 clqs
0.29/0.35 c (0.2s) probing: 101/808 (12.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.35 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.29/0.35 c presolving (3 rounds):
0.29/0.35 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.35 c 39720 implications, 0 cliques
0.29/0.35 c presolved problem has 808 variables (808 bin, 0 int, 0 impl, 0 cont) and 5557 constraints
0.29/0.35 c 5557 constraints of type <logicor>
0.29/0.35 c transformed objective value is always integral (scale: 1)
0.29/0.35 c Presolving Time: 0.19
0.29/0.35 c - non default parameters ----------------------------------------------------------------------
0.29/0.35 c # SCIP version 1.2.1.2
0.29/0.35 c
0.29/0.35 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.35 c conflict/interconss = 0
0.29/0.35 c
0.29/0.35 c # should binary conflicts be preferred?
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c conflict/preferbinary = TRUE
0.29/0.35 c
0.29/0.35 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.35 c constraints/agelimit = 1
0.29/0.35 c
0.29/0.35 c # should enforcement of pseudo solution be disabled?
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c constraints/disableenfops = TRUE
0.29/0.35 c
0.29/0.35 c # frequency for displaying node information lines
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.35 c display/freq = 10000
0.29/0.35 c
0.29/0.35 c # maximal time in seconds to run
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.35 c limits/time = 1799.9
0.29/0.35 c
0.29/0.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.35 c limits/memory = 1620
0.29/0.35 c
0.29/0.35 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.35 c lp/solvefreq = 0
0.29/0.35 c
0.29/0.35 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)
0.29/0.35 c # [type: char, range: {lafpsqd}, default: l]
0.29/0.35 c lp/pricing = a
0.29/0.35 c
0.29/0.35 c # should presolving try to simplify inequalities
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c constraints/linear/simplifyinequalities = TRUE
0.29/0.35 c
0.29/0.35 c # should presolving try to simplify knapsacks
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.35 c
0.29/0.35 c # priority of node selection rule <dfs> in standard mode
0.29/0.35 c # [type: int, range: [-536870912,536870911], default: 0]
0.29/0.35 c nodeselection/dfs/stdpriority = 1000000
0.29/0.35 c
0.29/0.39 c -----------------------------------------------------------------------------------------------
0.29/0.39 c start solving
0.29/0.39 c
0.69/0.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.75 c 0.6s| 1 | 0 | 1437 | - |9720k| 0 | 602 | 808 |5557 | 808 |5557 | 0 | 0 | 0 | 2.469383e+02 | -- | Inf
4.40/4.49 c 4.2s| 1 | 0 | 6769 | - | 10M| 0 | 572 | 808 |5557 | 808 |5571 | 14 | 0 | 0 | 2.519921e+02 | -- | Inf
4.79/4.82 c 4.5s| 1 | 0 | 6869 | - | 10M| 0 | 480 | 808 |5557 | 808 |5579 | 22 | 0 | 0 | 2.540000e+02 | -- | Inf
5.09/5.12 c 4.8s| 1 | 0 | 6913 | - | 10M| 0 | 478 | 808 |5557 | 808 |5586 | 29 | 0 | 0 | 2.550000e+02 | -- | Inf
5.40/5.45 c 5.2s| 1 | 0 | 6982 | - | 10M| 0 | 476 | 808 |5557 | 808 |5592 | 35 | 0 | 0 | 2.560000e+02 | -- | Inf
5.99/6.00 c 5.7s| 1 | 0 | 7092 | - | 10M| 0 | 474 | 808 |5557 | 808 |5597 | 40 | 0 | 0 | 2.570000e+02 | -- | Inf
6.39/6.41 c 6.1s| 1 | 0 | 7235 | - | 10M| 0 | 473 | 808 |5557 | 808 |5608 | 51 | 0 | 0 | 2.585000e+02 | -- | Inf
6.78/6.81 c 6.5s| 1 | 0 | 7358 | - | 11M| 0 | 469 | 808 |5557 | 808 |5615 | 58 | 0 | 0 | 2.600000e+02 | -- | Inf
7.29/7.36 c 7.0s| 1 | 0 | 7480 | - | 11M| 0 | 475 | 808 |5557 | 808 |5619 | 62 | 0 | 0 | 2.602500e+02 | -- | Inf
7.70/7.74 c 7.4s| 1 | 0 | 7605 | - | 11M| 0 | 466 | 808 |5557 | 808 |5626 | 69 | 0 | 0 | 2.610000e+02 | -- | Inf
8.39/8.45 c 8.1s| 1 | 0 | 7819 | - | 11M| 0 | 514 | 808 |5557 | 808 |5632 | 75 | 0 | 0 | 2.614286e+02 | -- | Inf
8.80/8.89 c 8.5s| 1 | 0 | 7998 | - | 11M| 0 | 468 | 808 |5557 | 808 |5639 | 82 | 0 | 0 | 2.620000e+02 | -- | Inf
9.79/9.82 c 9.4s| 1 | 0 | 8310 | - | 11M| 0 | 500 | 808 |5557 | 808 |5645 | 88 | 0 | 0 | 2.625169e+02 | -- | Inf
10.78/10.89 c 10.5s| 1 | 0 | 8688 | - | 11M| 0 | 497 | 808 |5557 | 808 |5650 | 93 | 0 | 0 | 2.631363e+02 | -- | Inf
12.10/12.20 c 11.8s| 1 | 0 | 8936 | - | 11M| 0 | 496 | 808 |5557 | 808 |5655 | 98 | 0 | 0 | 2.633329e+02 | -- | Inf
13.19/13.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.19/13.28 c 12.8s| 1 | 0 | 9354 | - | 11M| 0 | 466 | 808 |5557 | 808 |5656 | 104 | 0 | 0 | 2.640000e+02 | -- | Inf
14.08/14.15 c 13.7s| 1 | 0 | 9633 | - | 11M| 0 | 475 | 808 |5557 | 808 |5661 | 109 | 0 | 0 | 2.650000e+02 | -- | Inf
15.09/15.15 c 14.7s| 1 | 0 | 9906 | - | 11M| 0 | 474 | 808 |5557 | 808 |5668 | 116 | 0 | 0 | 2.665000e+02 | -- | Inf
15.79/15.87 c 15.4s| 1 | 0 | 10142 | - | 11M| 0 | 466 | 808 |5557 | 808 |5675 | 123 | 0 | 0 | 2.670000e+02 | -- | Inf
16.89/16.98 c 16.5s| 1 | 0 | 10377 | - | 11M| 0 | 463 | 808 |5557 | 808 |5679 | 127 | 0 | 0 | 2.670000e+02 | -- | Inf
17.79/17.85 c 17.3s| 1 | 0 | 10628 | - | 11M| 0 | 463 | 808 |5557 | 808 |5686 | 134 | 0 | 0 | 2.670000e+02 | -- | Inf
18.59/18.63 c 18.1s| 1 | 0 | 10917 | - | 11M| 0 | 468 | 808 |5557 | 808 |5677 | 137 | 0 | 0 | 2.673333e+02 | -- | Inf
19.88/19.94 c 19.4s| 1 | 0 | 11597 | - | 11M| 0 | 518 | 808 |5557 | 808 |5683 | 143 | 0 | 0 | 2.681333e+02 | -- | Inf
20.49/20.55 c 20.0s| 1 | 0 | 11942 | - | 11M| 0 | 483 | 808 |5557 | 808 |5690 | 150 | 0 | 0 | 2.688889e+02 | -- | Inf
21.39/21.47 c 20.9s| 1 | 0 | 12331 | - | 11M| 0 | 457 | 808 |5557 | 808 |5696 | 156 | 0 | 0 | 2.700000e+02 | -- | Inf
22.08/22.15 c 21.6s| 1 | 0 | 12611 | - | 11M| 0 | 455 | 808 |5557 | 808 |5701 | 161 | 0 | 0 | 2.700000e+02 | -- | Inf
22.99/23.03 c 22.5s| 1 | 0 | 12923 | - | 11M| 0 | 500 | 808 |5557 | 808 |5704 | 164 | 0 | 0 | 2.702000e+02 | -- | Inf
23.58/23.63 c 23.1s| 1 | 0 | 13193 | - | 11M| 0 | 466 | 808 |5557 | 808 |5690 | 167 | 0 | 0 | 2.705000e+02 | -- | Inf
24.29/24.30 c 23.7s| 1 | 0 | 13499 | - | 11M| 0 | 468 | 808 |5557 | 808 |5695 | 172 | 0 | 0 | 2.710000e+02 | -- | Inf
25.08/25.18 c 24.6s| 1 | 0 | 13714 | - | 11M| 0 | 459 | 808 |5557 | 808 |5698 | 175 | 0 | 0 | 2.710000e+02 | -- | Inf
26.29/26.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.29/26.31 c 25.7s| 1 | 0 | 14178 | - | 11M| 0 | 484 | 808 |5557 | 808 |5705 | 182 | 0 | 0 | 2.710192e+02 | -- | Inf
27.18/27.21 c 26.6s| 1 | 0 | 14717 | - | 11M| 0 | 476 | 808 |5557 | 808 |5713 | 190 | 0 | 0 | 2.712917e+02 | -- | Inf
28.28/28.33 c 27.7s| 1 | 0 | 15114 | - | 11M| 0 | 464 | 808 |5557 | 808 |5718 | 195 | 0 | 0 | 2.720000e+02 | -- | Inf
28.98/29.02 c 28.4s| 1 | 0 | 15429 | - | 11M| 0 | 448 | 808 |5557 | 808 |5705 | 200 | 0 | 0 | 2.720000e+02 | -- | Inf
29.98/30.01 c 29.3s| 1 | 0 | 15880 | - | 11M| 0 | 479 | 808 |5557 | 808 |5712 | 207 | 0 | 0 | 2.720000e+02 | -- | Inf
31.08/31.10 c 30.4s| 1 | 0 | 16355 | - | 11M| 0 | 489 | 808 |5557 | 808 |5717 | 212 | 0 | 0 | 2.720000e+02 | -- | Inf
31.98/32.07 c 31.4s| 1 | 0 | 16868 | - | 11M| 0 | 483 | 808 |5557 | 808 |5722 | 217 | 0 | 0 | 2.720000e+02 | -- | Inf
33.18/33.21 c 32.5s| 1 | 0 | 17297 | - | 12M| 0 | 520 | 808 |5557 | 808 |5726 | 221 | 0 | 0 | 2.720263e+02 | -- | Inf
53.28/53.31 c 52.4s| 1 | 2 | 17297 | - | 12M| 0 | 520 | 808 |5557 | 808 |5726 | 221 | 0 | 27 | 2.720263e+02 | -- | Inf
55.07/55.13 o 392
55.07/55.13 c *54.1s| 1560 | 37 | 17297 | 0.0 | 12M| 60 | - | 808 |5582 | 0 | 0 | 221 |1130 | 27 | 2.720263e+02 | 3.920000e+02 | 44.10%
55.07/55.13 o 391
55.07/55.13 c *54.1s| 1578 | 36 | 17297 | 0.0 | 12M| 60 | - | 808 |5582 | 0 | 0 | 221 |1130 | 27 | 2.720263e+02 | 3.910000e+02 | 43.74%
55.28/55.30 o 390
55.28/55.30 c *54.3s| 2282 | 35 | 17297 | 0.0 | 12M| 60 | - | 808 |5582 | 0 | 0 | 221 |1152 | 27 | 2.720263e+02 | 3.900000e+02 | 43.37%
58.98/59.02 c 57.8s| 10000 | 25 | 17297 | 0.0 | 12M| 60 | - | 808 |5568 | 0 | 0 | 221 |2966 | 27 | 2.720263e+02 | 3.900000e+02 | 43.37%
59.58/59.65 o 389
59.58/59.65 c *58.4s| 10765 | 44 | 17297 | 0.0 | 12M| 60 | - | 808 |5599 | 0 | 0 | 221 |3389 | 27 | 2.720263e+02 | 3.890000e+02 | 43.00%
59.78/59.86 o 388
59.78/59.86 c *58.6s| 11490 | 39 | 17297 | 0.0 | 12M| 60 | - | 808 |5599 | 0 | 0 | 221 |3468 | 27 | 2.720263e+02 | 3.880000e+02 | 42.63%
60.17/60.23 o 387
60.17/60.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.17/60.23 c *59.0s| 12861 | 33 | 17297 | 0.0 | 12M| 60 | - | 808 |5599 | 0 | 0 | 221 |3592 | 27 | 2.720263e+02 | 3.870000e+02 | 42.27%
60.57/60.67 o 385
60.57/60.67 c *59.4s| 14306 | 38 | 17297 | 0.0 | 12M| 69 | - | 808 |5598 | 0 | 0 | 221 |3771 | 27 | 2.720263e+02 | 3.850000e+02 | 41.53%
62.18/62.24 c 60.9s| 20000 | 34 | 17297 | 0.0 | 12M| 69 | - | 808 |5599 | 0 | 0 | 221 |4303 | 27 | 2.720263e+02 | 3.850000e+02 | 41.53%
63.47/63.50 o 384
63.47/63.50 c *62.0s| 24634 | 31 | 17297 | 0.0 | 12M| 69 | - | 808 |5600 | 0 | 0 | 221 |4674 | 27 | 2.720263e+02 | 3.840000e+02 | 41.16%
65.07/65.14 c 63.6s| 30000 | 31 | 17297 | 0.0 | 12M| 69 | - | 808 |5601 | 0 | 0 | 221 |5248 | 27 | 2.720263e+02 | 3.840000e+02 | 41.16%
68.37/68.48 c 66.7s| 40000 | 31 | 17297 | 0.0 | 12M| 69 | - | 808 |5623 | 0 | 0 | 221 |6828 | 27 | 2.720263e+02 | 3.840000e+02 | 41.16%
72.18/72.25 c 70.3s| 50000 | 31 | 17297 | 0.0 | 12M| 69 | - | 808 |5622 | 0 | 0 | 221 |8679 | 27 | 2.720263e+02 | 3.840000e+02 | 41.16%
79.08/79.13 c 76.9s| 60000 | 30 | 17297 | 0.0 | 12M| 69 | - | 808 |5592 | 0 | 0 | 221 | 12k| 27 | 2.720263e+02 | 3.840000e+02 | 41.16%
83.07/83.13 c 80.6s| 70000 | 24 | 17297 | 0.0 | 12M| 69 | - | 808 |5635 | 0 | 0 | 221 | 14k| 27 | 2.720263e+02 | 3.840000e+02 | 41.16%
88.17/88.25 c 85.5s| 80000 | 38 | 17297 | 0.0 | 12M| 69 | - | 808 |5621 | 0 | 0 | 221 | 17k| 27 | 2.720263e+02 | 3.840000e+02 | 41.16%
91.46/91.52 c 88.6s| 90000 | 29 | 17297 | 0.0 | 12M| 69 | - | 808 |5626 | 0 | 0 | 221 | 18k| 27 | 2.720263e+02 | 3.840000e+02 | 41.16%
94.87/94.91 c 91.8s|100000 | 36 | 17297 | 0.0 | 12M| 69 | - | 808 |5617 | 0 | 0 | 221 | 20k| 27 | 2.720263e+02 | 3.840000e+02 | 41.16%
98.46/98.50 c 95.2s|110000 | 25 | 17297 | 0.0 | 12M| 69 | - | 808 |5620 | 0 | 0 | 221 | 22k| 27 | 2.720263e+02 | 3.840000e+02 | 41.16%
102.27/102.33 c 98.8s|120000 | 21 | 17297 | 0.0 | 12M| 69 | - | 808 |5572 | 0 | 0 | 221 | 23k| 27 | 2.720263e+02 | 3.840000e+02 | 41.16%
103.96/104.01 o 374
103.96/104.01 c * 100s|122118 | 75 | 17297 | 0.0 | 12M| 88 | - | 808 |5591 | 0 | 0 | 221 | 24k| 27 | 2.720263e+02 | 3.740000e+02 | 37.49%
103.96/104.03 o 373
103.96/104.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.96/104.03 c * 100s|122163 | 62 | 17297 | 0.0 | 12M| 88 | - | 808 |5592 | 0 | 0 | 221 | 24k| 27 | 2.720263e+02 | 3.730000e+02 | 37.12%
105.16/105.26 o 372
105.16/105.26 c * 102s|125914 | 46 | 17297 | 0.0 | 12M| 88 | - | 808 |5594 | 0 | 0 | 221 | 25k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
106.76/106.85 c 103s|130000 | 27 | 17297 | 0.0 | 12M| 88 | - | 808 |5592 | 0 | 0 | 221 | 26k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
110.97/111.06 c 107s|140000 | 24 | 17297 | 0.0 | 12M| 88 | - | 808 |5596 | 0 | 0 | 221 | 27k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
114.66/114.79 c 111s|150000 | 21 | 17297 | 0.0 | 12M| 91 | - | 808 |5644 | 0 | 0 | 221 | 29k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
119.66/119.77 c 115s|160000 | 21 | 17297 | 0.0 | 12M| 91 | - | 808 |5624 | 0 | 0 | 221 | 31k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
123.65/123.73 c 119s|170000 | 29 | 17297 | 0.0 | 12M| 92 | - | 808 |5641 | 0 | 0 | 221 | 33k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
127.75/127.88 c 123s|180000 | 22 | 17297 | 0.0 | 12M| 93 | - | 808 |5647 | 0 | 0 | 221 | 34k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
131.76/131.88 c 127s|190000 | 23 | 17297 | 0.0 | 12M| 93 | - | 808 |5735 | 0 | 0 | 221 | 36k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
136.05/136.14 c 131s|200000 | 19 | 17297 | 0.0 | 12M| 93 | - | 808 |5950 | 0 | 0 | 221 | 38k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
146.94/147.08 c 141s|210000 | 18 | 17297 | 0.0 | 12M| 93 | - | 808 |5570 | 0 | 0 | 221 | 45k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
155.44/155.55 c 149s|220000 | 21 | 17297 | 0.0 | 12M| 93 | - | 808 |5623 | 0 | 0 | 221 | 49k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
159.04/159.15 c 153s|230000 | 35 | 17297 | 0.0 | 12M| 93 | - | 808 |5615 | 0 | 0 | 221 | 51k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
163.94/164.08 c 158s|240000 | 65 | 17297 | 0.0 | 12M| 93 | - | 808 |5642 | 0 | 0 | 221 | 53k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
168.04/168.19 c 161s|250000 | 21 | 17297 | 0.0 | 12M| 93 | - | 808 |5659 | 0 | 0 | 221 | 55k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
172.94/173.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.94/173.07 c 166s|260000 | 17 | 17297 | 0.0 | 12M| 93 | - | 808 |5608 | 0 | 0 | 221 | 57k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
181.04/181.11 c 174s|270000 | 45 | 17297 | 0.0 | 12M| 93 | - | 808 |5620 | 0 | 0 | 221 | 61k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
184.93/185.03 c 178s|280000 | 21 | 17297 | 0.0 | 12M| 93 | - | 808 |5624 | 0 | 0 | 221 | 63k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
188.84/188.93 c 181s|290000 | 21 | 17297 | 0.0 | 12M| 93 | - | 808 |5643 | 0 | 0 | 221 | 64k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
193.14/193.25 c 185s|300000 | 21 | 17297 | 0.0 | 12M| 93 | - | 808 |5636 | 0 | 0 | 221 | 66k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
196.93/197.06 c 189s|310000 | 16 | 17297 | 0.0 | 12M| 93 | - | 808 |5630 | 0 | 0 | 221 | 67k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
201.24/201.37 c 193s|320000 | 24 | 17297 | 0.0 | 12M| 93 | - | 808 |5618 | 0 | 0 | 221 | 69k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
205.23/205.31 c 197s|330000 | 32 | 17297 | 0.0 | 12M| 93 | - | 808 |5609 | 0 | 0 | 221 | 71k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
209.23/209.30 c 200s|340000 | 22 | 17297 | 0.0 | 12M| 93 | - | 808 |5640 | 0 | 0 | 221 | 73k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
212.73/212.89 c 204s|350000 | 34 | 17297 | 0.0 | 12M| 93 | - | 808 |5618 | 0 | 0 | 221 | 74k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
216.43/216.54 c 207s|360000 | 20 | 17297 | 0.0 | 12M| 93 | - | 808 |5635 | 0 | 0 | 221 | 76k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
220.03/220.18 c 211s|370000 | 35 | 17297 | 0.0 | 12M| 93 | - | 808 |5613 | 0 | 0 | 221 | 77k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
223.52/223.70 c 214s|380000 | 56 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 78k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
226.62/226.73 c 217s|390000 | 58 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 80k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
229.73/229.88 c 220s|400000 | 53 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 81k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
232.72/232.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.72/232.89 c 223s|410000 | 61 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 83k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
235.83/235.95 c 226s|420000 | 60 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 84k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
239.22/239.31 c 229s|430000 | 59 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 86k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
242.22/242.39 c 232s|440000 | 55 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 87k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
245.32/245.48 c 235s|450000 | 57 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 89k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
248.52/248.62 c 238s|460000 | 66 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 90k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
251.51/251.60 c 241s|470000 | 62 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 91k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
254.52/254.68 c 244s|480000 | 57 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 93k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
257.61/257.77 c 247s|490000 | 60 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 94k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
260.71/260.88 c 250s|500000 | 75 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 96k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
263.72/263.88 c 252s|510000 | 59 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 97k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
267.12/267.20 c 256s|520000 | 63 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 99k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
270.11/270.21 c 259s|530000 | 58 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 100k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
273.21/273.34 c 261s|540000 | 64 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 102k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
276.11/276.28 c 264s|550000 | 60 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 103k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
279.01/279.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.01/279.16 c 267s|560000 | 51 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 104k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
282.01/282.18 c 270s|570000 | 57 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 106k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
285.11/285.23 c 273s|580000 | 49 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 107k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
288.21/288.37 c 276s|590000 | 58 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 109k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
291.21/291.34 c 279s|600000 | 52 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 110k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
294.41/294.58 c 282s|610000 | 59 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 112k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
297.61/297.78 c 285s|620000 | 58 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 113k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
300.81/300.91 c 288s|630000 | 62 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 115k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
304.00/304.13 c 291s|640000 | 53 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 116k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
307.10/307.23 c 294s|650000 | 63 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 118k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
310.20/310.35 c 297s|660000 | 56 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 119k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
313.31/313.50 c 300s|670000 | 57 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 121k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
316.49/316.63 c 303s|680000 | 56 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 122k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
319.50/319.68 c 306s|690000 | 51 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 124k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
322.50/322.66 c 309s|700000 | 64 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 125k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
325.59/325.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
325.59/325.72 c 311s|710000 | 58 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 127k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
329.20/329.34 c 315s|720000 | 57 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 128k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
332.49/332.61 c 318s|730000 | 56 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 130k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
335.99/336.15 c 321s|740000 | 66 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 131k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
339.09/339.27 c 324s|750000 | 57 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 133k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
342.19/342.33 c 327s|760000 | 53 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 134k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
345.39/345.56 c 330s|770000 | 54 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 136k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
348.49/348.62 c 333s|780000 | 62 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 137k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
351.49/351.64 c 336s|790000 | 52 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 139k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
354.49/354.63 c 339s|800000 | 55 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 140k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
357.59/357.72 c 342s|810000 | 58 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 142k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
360.69/360.82 c 345s|820000 | 56 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 143k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
363.78/363.94 c 348s|830000 | 53 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 145k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
366.89/367.06 c 351s|840000 | 52 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 146k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
370.18/370.30 c 354s|850000 | 60 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 148k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
373.19/373.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
373.19/373.32 c 357s|860000 | 65 | 17297 | 0.0 | 12M| 93 | - | 808 |5614 | 0 | 0 | 221 | 149k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
376.38/376.53 c 360s|870000 | 62 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 151k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
379.18/379.35 c 363s|880000 | 53 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 152k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
382.08/382.29 c 365s|890000 | 57 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 153k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
385.18/385.36 c 368s|900000 | 59 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 155k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
388.19/388.33 c 371s|910000 | 58 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 156k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
391.57/391.72 c 374s|920000 | 56 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 158k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
395.08/395.25 c 378s|930000 | 60 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 159k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
398.08/398.28 c 381s|940000 | 55 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 161k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
401.07/401.20 c 383s|950000 | 54 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 162k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
404.07/404.26 c 386s|960000 | 66 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 163k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
407.07/407.24 c 389s|970000 | 61 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 165k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
410.08/410.22 c 392s|980000 | 56 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 166k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
413.17/413.33 c 395s|990000 | 56 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 168k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
416.27/416.43 c 398s| 1000k| 55 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 169k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
419.98/420.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
419.98/420.12 c 401s| 1010k| 53 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 171k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
423.57/423.76 c 405s| 1020k| 53 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 172k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
426.57/426.73 c 408s| 1030k| 61 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 174k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
429.47/429.64 c 411s| 1040k| 64 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 175k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
432.36/432.53 c 413s| 1050k| 63 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 176k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
435.37/435.55 c 416s| 1060k| 55 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 178k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
438.26/438.47 c 419s| 1070k| 52 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 179k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
441.36/441.56 c 422s| 1080k| 55 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 181k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
444.36/444.59 c 425s| 1090k| 56 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 182k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
447.36/447.51 c 428s| 1100k| 55 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 183k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
450.36/450.56 c 430s| 1110k| 53 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 185k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
453.46/453.60 c 433s| 1120k| 54 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 186k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
456.26/456.48 c 436s| 1130k| 61 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 188k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
459.15/459.33 c 439s| 1140k| 58 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 189k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
462.26/462.46 c 442s| 1150k| 54 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 190k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
465.25/465.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
465.25/465.41 c 445s| 1160k| 56 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 192k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
468.06/468.29 c 447s| 1170k| 59 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 193k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
471.05/471.20 c 450s| 1180k| 57 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 194k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
474.25/474.42 c 453s| 1190k| 52 | 17297 | 0.0 | 12M| 93 | - | 808 |5613 | 0 | 0 | 221 | 196k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
477.95/478.11 c 457s| 1200k| 53 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 198k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
480.85/481.02 c 459s| 1210k| 54 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 199k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
483.75/483.90 c 462s| 1220k| 54 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 200k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
486.75/486.93 c 465s| 1230k| 57 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 202k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
489.94/490.11 c 468s| 1240k| 59 | 17297 | 0.0 | 12M| 93 | - | 808 |5613 | 0 | 0 | 221 | 203k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
493.05/493.29 c 471s| 1250k| 62 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 205k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
496.25/496.45 c 474s| 1260k| 57 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 206k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
499.34/499.58 c 477s| 1270k| 52 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 208k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
502.45/502.69 c 480s| 1280k| 57 | 17297 | 0.0 | 12M| 93 | - | 808 |5614 | 0 | 0 | 221 | 209k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
505.64/505.89 c 483s| 1290k| 52 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 211k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
508.65/508.84 c 486s| 1300k| 56 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 212k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
511.64/511.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.64/511.86 c 489s| 1310k| 55 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 214k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
514.94/515.16 c 492s| 1320k| 48 | 17297 | 0.0 | 12M| 93 | - | 808 |5613 | 0 | 0 | 221 | 215k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
517.95/518.11 c 495s| 1330k| 51 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 217k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
520.94/521.17 c 498s| 1340k| 55 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 218k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
524.04/524.21 c 501s| 1350k| 51 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 220k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
526.94/527.12 c 504s| 1360k| 68 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 221k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
529.95/530.20 c 506s| 1370k| 59 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 222k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
533.24/533.42 c 510s| 1380k| 53 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 224k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
536.74/536.93 c 513s| 1390k| 57 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 226k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
539.84/540.08 c 516s| 1400k| 61 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 227k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
542.93/543.12 c 519s| 1410k| 56 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 229k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
545.93/546.16 c 522s| 1420k| 53 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 230k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
548.94/549.16 c 525s| 1430k| 55 | 17297 | 0.0 | 12M| 93 | - | 808 |5614 | 0 | 0 | 221 | 232k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
552.13/552.30 c 528s| 1440k| 64 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 233k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
555.13/555.40 c 531s| 1450k| 60 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 234k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
558.32/558.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
558.32/558.57 c 534s| 1460k| 55 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 236k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
561.43/561.64 c 536s| 1470k| 55 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 237k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
564.53/564.72 c 539s| 1480k| 55 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 239k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
567.44/567.68 c 542s| 1490k| 58 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 240k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
570.53/570.72 c 545s| 1500k| 55 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 242k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
573.62/573.80 c 548s| 1510k| 52 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 243k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
577.02/577.29 c 551s| 1520k| 56 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 245k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
580.02/580.27 c 554s| 1530k| 57 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 246k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
583.12/583.33 c 557s| 1540k| 61 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 247k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
586.12/586.38 c 560s| 1550k| 54 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 249k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
589.43/589.63 c 563s| 1560k| 55 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 250k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
592.41/592.60 c 566s| 1570k| 55 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 252k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
595.51/595.75 c 569s| 1580k| 53 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 253k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
598.71/598.93 c 572s| 1590k| 54 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 255k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
602.01/602.25 c 575s| 1600k| 51 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 256k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
605.22/605.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
605.22/605.48 c 578s| 1610k| 64 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 258k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
608.52/608.71 c 581s| 1620k| 52 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 259k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
611.71/611.98 c 585s| 1630k| 53 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 261k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
614.91/615.14 c 588s| 1640k| 59 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 262k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
618.41/618.62 c 591s| 1650k| 53 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 264k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
622.31/622.59 c 595s| 1660k| 52 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 265k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
626.50/626.70 c 599s| 1670k| 52 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 267k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
630.71/630.91 c 603s| 1680k| 52 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 269k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
634.70/634.91 c 607s| 1690k| 51 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 271k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
638.60/638.85 c 610s| 1700k| 51 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 273k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
642.69/642.99 c 614s| 1710k| 53 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 275k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
646.90/647.11 c 618s| 1720k| 68 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 277k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
651.01/651.26 c 622s| 1730k| 65 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 279k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
655.19/655.47 c 626s| 1740k| 53 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 281k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
659.49/659.79 c 630s| 1750k| 51 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 283k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
663.80/664.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
663.80/664.01 c 634s| 1760k| 54 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 285k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
667.99/668.23 c 638s| 1770k| 49 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 287k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
672.19/672.43 c 642s| 1780k| 47 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 289k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
676.39/676.60 c 646s| 1790k| 49 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 291k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
679.99/680.25 c 650s| 1800k| 61 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 293k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
683.09/683.36 c 653s| 1810k| 55 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 294k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
686.19/686.49 c 656s| 1820k| 55 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 296k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
689.58/689.83 c 659s| 1830k| 49 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 297k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
692.70/692.92 c 662s| 1840k| 56 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 299k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
695.78/696.02 c 665s| 1850k| 57 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 300k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
698.69/698.95 c 668s| 1860k| 55 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 301k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
701.68/701.95 c 671s| 1870k| 73 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 303k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
704.79/705.04 c 674s| 1880k| 59 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 304k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
707.98/708.23 c 677s| 1890k| 56 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 306k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
711.08/711.32 c 680s| 1900k| 55 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 307k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
714.08/714.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
714.08/714.38 c 682s| 1910k| 65 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 309k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
717.28/717.50 c 685s| 1920k| 54 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 310k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
720.58/720.80 c 689s| 1930k| 50 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 312k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
724.68/724.96 c 693s| 1940k| 49 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 314k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
727.67/727.99 c 696s| 1950k| 60 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 315k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
730.67/730.98 c 698s| 1960k| 57 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 317k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
733.67/733.98 c 701s| 1970k| 54 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 318k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
736.78/737.09 c 704s| 1980k| 58 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 319k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
739.98/740.23 c 707s| 1990k| 66 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 321k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
743.17/743.40 c 710s| 2000k| 58 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 322k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
746.27/746.56 c 713s| 2010k| 59 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 324k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
749.37/749.64 c 716s| 2020k| 52 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 325k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
752.37/752.60 c 719s| 2030k| 50 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 327k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
755.38/755.66 c 722s| 2040k| 58 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 328k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
758.36/758.70 c 725s| 2050k| 54 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 330k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
761.77/762.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
761.77/762.03 c 728s| 2060k| 60 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 331k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
764.86/765.12 c 731s| 2070k| 55 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 332k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
767.87/768.19 c 734s| 2080k| 60 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 334k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
771.06/771.33 c 737s| 2090k| 56 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 335k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
774.16/774.42 c 740s| 2100k| 52 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 337k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
777.26/777.50 c 743s| 2110k| 50 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 338k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
780.26/780.56 c 746s| 2120k| 67 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 340k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
783.56/783.87 c 749s| 2130k| 54 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 341k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
786.55/786.84 c 752s| 2140k| 53 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 343k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
789.66/789.91 c 755s| 2150k| 64 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 344k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
792.76/793.04 c 758s| 2160k| 58 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 346k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
795.85/796.18 c 761s| 2170k| 59 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 347k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
799.05/799.33 c 764s| 2180k| 58 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 349k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
802.25/802.50 c 767s| 2190k| 53 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 350k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
805.35/805.67 c 770s| 2200k| 61 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 352k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
808.35/808.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
808.35/808.65 c 773s| 2210k| 64 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 353k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
811.65/811.92 c 776s| 2220k| 52 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 355k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
814.95/815.21 c 779s| 2230k| 54 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 356k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
818.16/818.41 c 782s| 2240k| 53 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 358k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
821.25/821.54 c 785s| 2250k| 55 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 359k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
824.55/824.85 c 788s| 2260k| 51 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 361k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
827.84/828.13 c 791s| 2270k| 50 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 363k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
831.14/831.41 c 794s| 2280k| 51 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 364k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
834.14/834.47 c 797s| 2290k| 63 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 365k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
837.54/837.86 c 800s| 2300k| 56 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 367k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
840.74/841.09 c 803s| 2310k| 58 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 369k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
843.94/844.28 c 807s| 2320k| 52 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 370k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
847.04/847.30 c 809s| 2330k| 54 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 371k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
850.24/850.55 c 812s| 2340k| 52 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 373k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
853.34/853.68 c 815s| 2350k| 51 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 374k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
856.73/857.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
856.73/857.04 c 819s| 2360k| 53 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 376k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
859.85/860.19 c 822s| 2370k| 57 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 377k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
863.14/863.42 c 825s| 2380k| 64 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 379k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
866.24/866.59 c 828s| 2390k| 63 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 380k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
869.43/869.71 c 831s| 2400k| 48 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 382k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
872.53/872.81 c 834s| 2410k| 48 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 383k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
875.73/876.06 c 837s| 2420k| 52 | 17297 | 0.0 | 12M| 93 | - | 808 |5613 | 0 | 0 | 221 | 385k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
878.93/879.28 c 840s| 2430k| 49 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 386k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
882.13/882.49 c 843s| 2440k| 50 | 17297 | 0.0 | 12M| 93 | - | 808 |5612 | 0 | 0 | 221 | 388k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
885.33/885.70 c 846s| 2450k| 53 | 17297 | 0.0 | 12M| 93 | - | 808 |5611 | 0 | 0 | 221 | 389k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
888.63/888.99 c 849s| 2460k| 50 | 17297 | 0.0 | 12M| 93 | - | 808 |5610 | 0 | 0 | 221 | 391k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
891.63/891.99 c 852s| 2470k| 68 | 17297 | 0.0 | 12M| 94 | - | 808 |5614 | 0 | 0 | 221 | 392k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
894.52/894.89 c 855s| 2480k| 67 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 394k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
897.72/898.04 c 858s| 2490k| 62 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 395k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
900.53/900.85 c 860s| 2500k| 65 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 396k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
903.72/904.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
903.72/904.00 c 863s| 2510k| 58 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 398k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
907.12/907.48 c 867s| 2520k| 54 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 399k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
911.12/911.46 c 871s| 2530k| 58 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 401k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
914.02/914.39 c 873s| 2540k| 56 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 403k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
917.12/917.44 c 876s| 2550k| 55 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 404k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
920.11/920.42 c 879s| 2560k| 50 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 405k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
923.21/923.50 c 882s| 2570k| 53 | 17297 | 0.0 | 12M| 94 | - | 808 |5613 | 0 | 0 | 221 | 407k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
926.62/926.96 c 885s| 2580k| 60 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 408k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
929.71/930.05 c 888s| 2590k| 54 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 410k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
932.82/933.19 c 891s| 2600k| 55 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 411k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
936.02/936.37 c 894s| 2610k| 50 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 413k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
939.21/939.53 c 897s| 2620k| 52 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 414k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
942.20/942.55 c 900s| 2630k| 50 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 415k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
945.31/945.68 c 903s| 2640k| 53 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 417k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
948.51/948.88 c 906s| 2650k| 52 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 418k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
951.61/951.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
951.61/951.94 c 909s| 2660k| 65 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 420k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
955.01/955.37 c 912s| 2670k| 52 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 421k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
958.10/958.46 c 915s| 2680k| 54 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 423k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
961.30/961.64 c 918s| 2690k| 47 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 424k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
964.61/964.95 c 922s| 2700k| 52 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 426k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
967.81/968.11 c 925s| 2710k| 53 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 427k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
971.10/971.43 c 928s| 2720k| 54 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 429k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
974.31/974.67 c 931s| 2730k| 58 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 430k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
977.50/977.88 c 934s| 2740k| 52 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 432k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
980.60/980.95 c 937s| 2750k| 57 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 433k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
983.69/984.00 c 940s| 2760k| 50 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 435k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
986.89/987.23 c 943s| 2770k| 53 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 436k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
990.10/990.41 c 946s| 2780k| 53 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 438k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
993.29/993.61 c 949s| 2790k| 55 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 439k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
996.39/996.74 c 952s| 2800k| 52 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 441k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
999.60/999.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
999.60/999.94 c 955s| 2810k| 72 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 442k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1002.39/1002.79 c 958s| 2820k| 59 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 443k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1005.79/1006.14 c 961s| 2830k| 53 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 445k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1009.49/1009.82 c 964s| 2840k| 62 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 447k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1012.69/1013.05 c 967s| 2850k| 52 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 448k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1015.79/1016.17 c 970s| 2860k| 55 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 450k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1018.89/1019.26 c 973s| 2870k| 48 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 451k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1021.99/1022.34 c 976s| 2880k| 50 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 453k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1025.19/1025.50 c 979s| 2890k| 55 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 454k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1028.28/1028.61 c 982s| 2900k| 49 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 455k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1031.28/1031.69 c 985s| 2910k| 62 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 457k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1034.78/1035.16 c 989s| 2920k| 50 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 458k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1037.78/1038.14 c 991s| 2930k| 55 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 460k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1040.78/1041.14 c 994s| 2940k| 57 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 461k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1043.87/1044.25 c 997s| 2950k| 55 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 463k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1047.08/1047.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1047.08/1047.43 c 1000s| 2960k| 54 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 464k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1050.27/1050.64 c 1003s| 2970k| 56 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 466k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1053.28/1053.60 c 1006s| 2980k| 52 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 467k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1056.28/1056.64 c 1009s| 2990k| 47 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 468k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1059.47/1059.82 c 1012s| 3000k| 57 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 470k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1062.47/1062.82 c 1015s| 3010k| 60 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 471k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1065.87/1066.21 c 1018s| 3020k| 53 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 473k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1069.07/1069.43 c 1021s| 3030k| 58 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 474k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1072.18/1072.57 c 1024s| 3040k| 57 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 476k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1075.56/1075.92 c 1028s| 3050k| 48 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 477k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1078.67/1079.09 c 1031s| 3060k| 51 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 479k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1081.86/1082.22 c 1034s| 3070k| 55 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 480k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1085.06/1085.43 c 1037s| 3080k| 49 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 482k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1088.17/1088.59 c 1040s| 3090k| 56 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 483k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1091.27/1091.63 c 1043s| 3100k| 48 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 485k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1094.36/1094.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1094.36/1094.78 c 1046s| 3110k| 60 | 17297 | 0.0 | 12M| 94 | - | 808 |5613 | 0 | 0 | 221 | 486k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1097.67/1098.05 c 1049s| 3120k| 47 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 488k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1100.86/1101.26 c 1052s| 3130k| 56 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 490k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1104.07/1104.43 c 1055s| 3140k| 50 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 491k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1107.16/1107.58 c 1058s| 3150k| 51 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 493k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1110.26/1110.69 c 1061s| 3160k| 62 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 494k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1113.46/1113.81 c 1064s| 3170k| 50 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 496k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1116.56/1116.98 c 1067s| 3180k| 51 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 497k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1119.76/1120.16 c 1070s| 3190k| 53 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 498k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1122.95/1123.33 c 1073s| 3200k| 51 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 500k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1126.15/1126.50 c 1076s| 3210k| 68 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 502k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1129.95/1130.36 c 1080s| 3220k| 63 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 504k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1133.66/1134.01 c 1083s| 3230k| 59 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 506k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1137.25/1137.67 c 1086s| 3240k| 56 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 508k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1140.85/1141.29 c 1090s| 3250k| 53 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 509k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1144.25/1144.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1144.25/1144.66 c 1093s| 3260k| 51 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 511k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1148.45/1148.84 c 1097s| 3270k| 49 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 513k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1152.55/1152.94 c 1101s| 3280k| 51 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 514k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1156.75/1157.12 c 1105s| 3290k| 48 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 516k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1160.84/1161.24 c 1109s| 3300k| 48 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 518k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1164.94/1165.30 c 1113s| 3310k| 53 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 520k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1169.14/1169.50 c 1117s| 3320k| 57 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 522k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1173.14/1173.54 c 1121s| 3330k| 51 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 524k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1177.33/1177.75 c 1125s| 3340k| 54 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 526k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1181.73/1182.15 c 1129s| 3350k| 46 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 528k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1185.74/1186.13 c 1133s| 3360k| 64 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 529k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1189.84/1190.28 c 1137s| 3370k| 51 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 531k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1194.14/1194.57 c 1141s| 3380k| 52 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 533k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1198.43/1198.84 c 1145s| 3390k| 50 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 535k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1202.43/1202.88 c 1149s| 3400k| 53 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 537k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1206.73/1207.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1206.73/1207.14 c 1153s| 3410k| 50 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 539k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1210.92/1211.30 c 1157s| 3420k| 49 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 541k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1214.93/1215.30 c 1161s| 3430k| 50 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 543k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1218.92/1219.37 c 1165s| 3440k| 52 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 545k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1223.23/1223.61 c 1169s| 3450k| 51 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 547k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1227.53/1227.90 c 1173s| 3460k| 49 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 549k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1231.72/1232.14 c 1177s| 3470k| 46 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 551k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1235.71/1236.15 c 1181s| 3480k| 51 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 552k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1239.82/1240.26 c 1185s| 3490k| 46 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 554k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1244.02/1244.45 c 1189s| 3500k| 50 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 556k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1247.92/1248.35 c 1193s| 3510k| 44 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 558k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1252.01/1252.49 c 1197s| 3520k| 50 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 560k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1256.21/1256.63 c 1201s| 3530k| 50 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 562k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1260.41/1260.89 c 1205s| 3540k| 46 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 564k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1264.41/1264.90 c 1209s| 3550k| 60 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 566k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1268.61/1269.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1268.61/1269.02 c 1213s| 3560k| 51 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 567k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1273.11/1273.53 c 1217s| 3570k| 53 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 569k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1277.50/1277.99 c 1221s| 3580k| 51 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 571k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1281.90/1282.39 c 1225s| 3590k| 51 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 573k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1286.61/1287.05 c 1230s| 3600k| 51 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 576k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1291.20/1291.62 c 1234s| 3610k| 47 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 578k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1295.90/1296.30 c 1239s| 3620k| 48 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 580k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1300.29/1300.74 c 1243s| 3630k| 50 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 582k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1304.80/1305.23 c 1247s| 3640k| 54 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 584k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1309.20/1309.64 c 1252s| 3650k| 49 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 586k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1313.70/1314.17 c 1256s| 3660k| 48 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 588k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1318.29/1318.70 c 1260s| 3670k| 51 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 590k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1322.80/1323.26 c 1265s| 3680k| 50 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 592k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1327.30/1327.73 c 1269s| 3690k| 47 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 594k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1331.48/1331.93 c 1273s| 3700k| 49 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 596k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1335.78/1336.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1335.78/1336.27 c 1277s| 3710k| 49 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 598k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1340.18/1340.61 c 1281s| 3720k| 47 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 600k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1344.48/1344.97 c 1285s| 3730k| 56 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 602k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1348.88/1349.37 c 1290s| 3740k| 49 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 604k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1353.27/1353.71 c 1294s| 3750k| 49 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 606k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1357.57/1358.09 c 1298s| 3760k| 47 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 608k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1362.07/1362.56 c 1302s| 3770k| 46 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 610k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1366.46/1366.91 c 1306s| 3780k| 48 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 612k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1370.96/1371.40 c 1311s| 3790k| 50 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 614k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1375.46/1375.92 c 1315s| 3800k| 46 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 616k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1379.86/1380.35 c 1319s| 3810k| 49 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 618k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1384.26/1384.77 c 1324s| 3820k| 49 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 620k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1388.77/1389.28 c 1328s| 3830k| 46 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 622k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1392.75/1393.29 c 1332s| 3840k| 56 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 624k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1397.05/1397.50 c 1336s| 3850k| 50 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 626k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1401.44/1401.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1401.44/1401.92 c 1340s| 3860k| 47 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 628k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1405.94/1406.44 c 1344s| 3870k| 52 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 630k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1410.34/1410.84 c 1349s| 3880k| 50 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 632k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1414.74/1415.29 c 1353s| 3890k| 50 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 634k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1419.23/1419.71 c 1357s| 3900k| 50 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 636k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1423.64/1424.13 c 1361s| 3910k| 46 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 638k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1427.83/1428.37 c 1365s| 3920k| 51 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 640k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1432.24/1432.75 c 1370s| 3930k| 49 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 642k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1436.53/1437.07 c 1374s| 3940k| 49 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 644k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1440.92/1441.44 c 1378s| 3950k| 56 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 646k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1445.23/1445.79 c 1382s| 3960k| 47 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 648k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1449.73/1450.24 c 1386s| 3970k| 48 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 650k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1454.22/1454.71 c 1391s| 3980k| 46 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 652k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1458.42/1458.94 c 1395s| 3990k| 51 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 654k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1462.82/1463.39 c 1399s| 4000k| 46 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 656k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1467.22/1467.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1467.22/1467.78 c 1403s| 4010k| 49 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 658k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1471.62/1472.16 c 1407s| 4020k| 45 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 660k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1476.02/1476.51 c 1412s| 4030k| 45 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 661k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1480.21/1480.76 c 1416s| 4040k| 46 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 663k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1484.42/1484.99 c 1420s| 4050k| 48 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 665k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1488.61/1489.14 c 1424s| 4060k| 53 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 667k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1493.01/1493.53 c 1428s| 4070k| 45 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 669k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1497.41/1497.99 c 1432s| 4080k| 51 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 671k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1502.11/1502.62 c 1437s| 4090k| 47 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 673k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1506.52/1507.01 c 1441s| 4100k| 47 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 675k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1510.82/1511.39 c 1445s| 4110k| 44 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 677k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1515.40/1515.96 c 1450s| 4120k| 45 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 679k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1519.90/1520.43 c 1454s| 4130k| 71 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 681k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1523.30/1523.81 c 1457s| 4140k| 66 | 17297 | 0.0 | 12M| 94 | - | 808 |5614 | 0 | 0 | 221 | 683k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1526.70/1527.25 c 1460s| 4150k| 56 | 17297 | 0.0 | 12M| 94 | - | 808 |5613 | 0 | 0 | 221 | 685k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1529.89/1530.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1529.89/1530.45 c 1463s| 4160k| 66 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 687k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1533.60/1534.10 c 1467s| 4170k| 53 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 689k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1536.89/1537.46 c 1470s| 4180k| 58 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 691k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1540.29/1540.82 c 1473s| 4190k| 57 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 692k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1543.90/1544.41 c 1477s| 4200k| 51 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 694k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1547.49/1548.00 c 1480s| 4210k| 57 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 695k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1551.10/1551.64 c 1484s| 4220k| 53 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 697k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1554.69/1555.20 c 1487s| 4230k| 53 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 699k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1558.29/1558.80 c 1490s| 4240k| 55 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 700k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1561.89/1562.47 c 1494s| 4250k| 60 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 702k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1565.89/1566.41 c 1498s| 4260k| 55 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 704k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1569.39/1569.90 c 1501s| 4270k| 55 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 706k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1572.99/1573.51 c 1505s| 4280k| 51 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 708k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1576.49/1577.07 c 1508s| 4290k| 49 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 709k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1579.99/1580.52 c 1511s| 4300k| 49 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 711k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1583.49/1584.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1583.49/1584.06 c 1515s| 4310k| 58 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 712k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1586.98/1587.54 c 1518s| 4320k| 56 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 714k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1590.48/1591.02 c 1521s| 4330k| 49 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 716k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1593.87/1594.48 c 1525s| 4340k| 58 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 717k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1597.38/1597.91 c 1528s| 4350k| 54 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 719k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1601.08/1601.64 c 1532s| 4360k| 55 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 720k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1604.57/1605.12 c 1535s| 4370k| 55 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 722k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1608.17/1608.78 c 1538s| 4380k| 50 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 724k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1611.86/1612.44 c 1542s| 4390k| 47 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 725k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1615.47/1616.04 c 1545s| 4400k| 49 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 727k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1618.96/1619.53 c 1549s| 4410k| 46 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 729k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1622.57/1623.18 c 1552s| 4420k| 54 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 730k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1626.17/1626.79 c 1556s| 4430k| 47 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 732k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1629.67/1630.28 c 1559s| 4440k| 66 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 734k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1633.37/1633.98 c 1562s| 4450k| 55 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 735k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1636.96/1637.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1636.96/1637.57 c 1566s| 4460k| 52 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 737k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1640.57/1641.14 c 1569s| 4470k| 51 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 739k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1644.16/1644.71 c 1573s| 4480k| 53 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 740k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1647.66/1648.27 c 1576s| 4490k| 53 | 17297 | 0.0 | 12M| 94 | - | 808 |5612 | 0 | 0 | 221 | 742k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1651.25/1651.84 c 1580s| 4500k| 51 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 744k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1654.86/1655.43 c 1583s| 4510k| 56 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 745k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1658.45/1659.04 c 1586s| 4520k| 61 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 747k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1662.06/1662.61 c 1590s| 4530k| 52 | 17297 | 0.0 | 12M| 94 | - | 808 |5610 | 0 | 0 | 221 | 749k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1665.46/1666.03 c 1593s| 4540k| 48 | 17297 | 0.0 | 12M| 94 | - | 808 |5611 | 0 | 0 | 221 | 750k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1668.55/1669.13 c 1596s| 4550k| 65 | 17297 | 0.0 | 12M| 95 | - | 808 |5611 | 0 | 0 | 221 | 752k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1672.05/1672.68 c 1600s| 4560k| 61 | 17297 | 0.0 | 12M| 95 | - | 808 |5610 | 0 | 0 | 221 | 753k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1675.95/1676.52 c 1603s| 4570k| 52 | 17297 | 0.0 | 12M| 95 | - | 808 |5610 | 0 | 0 | 221 | 755k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1680.16/1680.80 c 1607s| 4580k| 53 | 17297 | 0.0 | 12M| 95 | - | 808 |5611 | 0 | 0 | 221 | 757k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1683.65/1684.20 c 1611s| 4590k| 48 | 17297 | 0.0 | 12M| 95 | - | 808 |5610 | 0 | 0 | 221 | 759k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1687.04/1687.66 c 1614s| 4600k| 55 | 17297 | 0.0 | 12M| 95 | - | 808 |5612 | 0 | 0 | 221 | 760k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1690.55/1691.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1690.55/1691.18 c 1617s| 4610k| 51 | 17297 | 0.0 | 12M| 95 | - | 808 |5610 | 0 | 0 | 221 | 762k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1693.94/1694.57 c 1620s| 4620k| 52 | 17297 | 0.0 | 12M| 95 | - | 808 |5611 | 0 | 0 | 221 | 763k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1697.34/1697.95 c 1624s| 4630k| 52 | 17297 | 0.0 | 12M| 95 | - | 808 |5610 | 0 | 0 | 221 | 765k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1700.84/1701.45 c 1627s| 4640k| 52 | 17297 | 0.0 | 12M| 95 | - | 808 |5612 | 0 | 0 | 221 | 767k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1704.24/1704.88 c 1630s| 4650k| 49 | 17297 | 0.0 | 12M| 95 | - | 808 |5610 | 0 | 0 | 221 | 768k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1707.65/1708.25 c 1634s| 4660k| 52 | 17297 | 0.0 | 12M| 95 | - | 808 |5611 | 0 | 0 | 221 | 770k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1711.14/1711.75 c 1637s| 4670k| 54 | 17297 | 0.0 | 12M| 95 | - | 808 |5610 | 0 | 0 | 221 | 771k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1714.53/1715.17 c 1640s| 4680k| 46 | 17297 | 0.0 | 12M| 95 | - | 808 |5613 | 0 | 0 | 221 | 773k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1718.03/1718.63 c 1643s| 4690k| 51 | 17297 | 0.0 | 12M| 95 | - | 808 |5610 | 0 | 0 | 221 | 774k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1721.53/1722.19 c 1647s| 4700k| 48 | 17297 | 0.0 | 12M| 95 | - | 808 |5611 | 0 | 0 | 221 | 776k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1725.03/1725.69 c 1650s| 4710k| 50 | 17297 | 0.0 | 12M| 95 | - | 808 |5611 | 0 | 0 | 221 | 778k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1728.63/1729.28 c 1654s| 4720k| 51 | 17297 | 0.0 | 12M| 95 | - | 808 |5610 | 0 | 0 | 221 | 779k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1732.13/1732.75 c 1657s| 4730k| 52 | 17297 | 0.0 | 12M| 95 | - | 808 |5611 | 0 | 0 | 221 | 781k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1735.53/1736.18 c 1660s| 4740k| 54 | 17297 | 0.0 | 12M| 95 | - | 808 |5611 | 0 | 0 | 221 | 782k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1739.12/1739.72 c 1664s| 4750k| 52 | 17297 | 0.0 | 12M| 95 | - | 808 |5611 | 0 | 0 | 221 | 784k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1742.62/1743.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1742.62/1743.21 c 1667s| 4760k| 45 | 17297 | 0.0 | 12M| 95 | - | 808 |5610 | 0 | 0 | 221 | 786k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1746.24/1746.88 c 1670s| 4770k| 54 | 17297 | 0.0 | 12M| 95 | - | 808 |5610 | 0 | 0 | 221 | 787k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1750.02/1750.68 c 1674s| 4780k| 55 | 17297 | 0.0 | 12M| 95 | - | 808 |5611 | 0 | 0 | 221 | 789k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1753.62/1754.24 c 1678s| 4790k| 58 | 17297 | 0.0 | 12M| 95 | - | 808 |5610 | 0 | 0 | 221 | 791k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1757.23/1757.82 c 1681s| 4800k| 49 | 17297 | 0.0 | 12M| 95 | - | 808 |5610 | 0 | 0 | 221 | 793k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1760.72/1761.33 c 1684s| 4810k| 55 | 17297 | 0.0 | 12M| 95 | - | 808 |5611 | 0 | 0 | 221 | 794k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1764.22/1764.88 c 1688s| 4820k| 56 | 17297 | 0.0 | 12M| 95 | - | 808 |5611 | 0 | 0 | 221 | 796k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1767.92/1768.50 c 1691s| 4830k| 51 | 17297 | 0.0 | 12M| 95 | - | 808 |5611 | 0 | 0 | 221 | 797k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1771.43/1772.02 c 1695s| 4840k| 58 | 17297 | 0.0 | 12M| 95 | - | 808 |5611 | 0 | 0 | 221 | 799k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1774.91/1775.57 c 1698s| 4850k| 54 | 17297 | 0.0 | 12M| 95 | - | 808 |5611 | 0 | 0 | 221 | 801k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1778.41/1779.05 c 1701s| 4860k| 49 | 17297 | 0.0 | 12M| 95 | - | 808 |5612 | 0 | 0 | 221 | 802k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1781.82/1782.44 c 1705s| 4870k| 58 | 17297 | 0.0 | 12M| 95 | - | 808 |5612 | 0 | 0 | 221 | 804k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1785.42/1786.09 c 1708s| 4880k| 56 | 17297 | 0.0 | 12M| 95 | - | 808 |5610 | 0 | 0 | 221 | 806k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1789.02/1789.69 c 1711s| 4890k| 55 | 17297 | 0.0 | 12M| 95 | - | 808 |5611 | 0 | 0 | 221 | 808k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1792.61/1793.28 c 1715s| 4900k| 53 | 17297 | 0.0 | 12M| 95 | - | 808 |5610 | 0 | 0 | 221 | 809k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1796.11/1796.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1796.11/1796.72 c 1718s| 4910k| 54 | 17297 | 0.0 | 12M| 95 | - | 808 |5611 | 0 | 0 | 221 | 811k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1799.50/1800.17 c 1721s| 4920k| 50 | 17297 | 0.0 | 12M| 95 | - | 808 |5612 | 0 | 0 | 221 | 812k| 27 | 2.720263e+02 | 3.720000e+02 | 36.75%
1800.02/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.61 c
1800.02/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.61 c Solving Time (sec) : 1721.91
1800.02/1800.61 c Solving Nodes : 4921269
1800.02/1800.61 c Primal Bound : +3.72000000000000e+02 (11 solutions)
1800.02/1800.61 c Dual Bound : +2.72026315789474e+02
1800.02/1800.61 c Gap : 36.75 %
1800.02/1800.62 s SATISFIABLE
1800.02/1800.62 v -x808 x807 x806 -x805 x804 -x803 x802 -x801 -x800 x799 x798 -x797 x796 -x795 x794 -x793 -x792 x791 x790 -x789 x788 -x787 -x786
1800.02/1800.62 v -x785 x784 -x783 -x782 x781 x780 -x779 x778 -x777 x776 -x775 x774 -x773 x772 -x771 -x770 x769 -x768 x767 x766 -x765 x764 -x763
1800.02/1800.62 v x762 -x761 x760 -x759 -x758 x757 x756 -x755 x754 -x753 x752 -x751 x750 -x749 x748 -x747 -x746 x745 x744 -x743 -x742 -x741 x740
1800.02/1800.62 v -x739 -x738 x737 x736 -x735 x734 -x733 x732 -x731 -x730 x729 -x728 x727 x726 -x725 x724 -x723 x722 -x721 x720 -x719 -x718
1800.02/1800.62 v x717 x716 -x715 x714 -x713 -x712 x711 x710 -x709 x708 -x707 x706 -x705 x704 -x703 -x702 x701 x700 -x699 x698 -x697 x696 -x695
1800.02/1800.62 v -x694 x693 x692 -x691 x690 -x689 x688 -x687 -x686 x685 x684 -x683 x682 -x681 -x680 x679 x678 -x677 x676 -x675 x674 -x673 -x672
1800.02/1800.62 v x671 x670 -x669 x668 -x667 x666 -x665 x664 -x663 -x662 x661 x660 -x659 x658 -x657 x656 -x655 -x654 x653 x652 -x651 x650 -x649
1800.02/1800.62 v -x648 x647 x646 -x645 x644 -x643 x642 -x641 x640 -x639 -x638 x637 x636 -x635 x634 -x633 -x632 x631 x630 -x629 x628 -x627
1800.02/1800.62 v x626 -x625 -x624 x623 x622 -x621 x620 -x619 x618 -x617 x616 -x615 x614 -x613 x612 -x611 -x610 x609 x608 -x607 -x606 -x605 -x604
1800.02/1800.62 v x603 x602 -x601 x600 -x599 -x598 x597 x596 -x595 x594 -x593 x592 -x591 x590 -x589 x588 -x587 -x586 x585 -x584 x583 x582 -x581
1800.02/1800.62 v x580 -x579 x578 -x577 x576 -x575 -x574 x573 x572 -x571 x570 -x569 x568 -x567 -x566 x565 x564 -x563 x562 -x561 x560 -x559
1800.02/1800.62 v -x558 x557 x556 -x555 x554 -x553 -x552 x551 x550 -x549 x548 -x547 x546 -x545 x544 -x543 -x542 x541 x540 -x539 x538 -x537 -x536
1800.02/1800.62 v x535 x534 -x533 x532 -x531 x530 -x529 x528 -x527 x526 -x525 x524 -x523 -x522 x521 x520 -x519 -x518 x517 x516 -x515 x514 -x513
1800.02/1800.62 v -x512 x511 -x510 x509 -x508 x507 -x506 x505 -x504 x503 -x502 x501 -x500 x499 -x498 x497 -x496 x495 -x494 x493 -x492 x491
1800.02/1800.62 v -x490 x489 -x488 x487 -x486 x485 -x484 x483 -x482 x481 -x480 x479 -x478 x477 -x476 x475 -x474 x473 x472 -x471 -x470 x469 -x468
1800.02/1800.62 v x467 -x466 x465 -x464 x463 -x462 x461 -x460 x459 -x458 x457 -x456 x455 -x454 x453 -x452 x451 -x450 x449 -x448 x447 -x446 x445
1800.02/1800.62 v -x444 x443 -x442 x441 -x440 x439 -x438 x437 -x436 x435 -x434 x433 -x432 x431 -x430 x429 -x428 x427 x426 -x425 -x424 x423 -x422
1800.02/1800.62 v x421 -x420 x419 -x418 x417 -x416 x415 -x414 x413 -x412 x411 -x410 x409 -x408 x407 -x406 x405 -x404 x403 -x402 x401 -x400
1800.02/1800.62 v x399 x398 -x397 -x396 x395 -x394 x393 -x392 x391 -x390 x389 -x388 x387 -x386 x385 -x384 x383 -x382 x381 -x380 x379 -x378 x377
1800.02/1800.62 v -x376 x375 -x374 x373 -x372 x371 -x370 x369 -x368 x367 -x366 x365 -x364 x363 -x362 x361 -x360 x359 -x358 x357 -x356 x355 -x354
1800.02/1800.62 v x353 -x352 x351 -x350 x349 -x348 x347 -x346 x345 -x344 x343 -x342 x341 -x340 x339 -x338 x337 -x336 x335 x334 -x333 -x332
1800.02/1800.62 v x331 -x330 x329 -x328 x327 -x326 x325 -x324 x323 -x322 x321 -x320 x319 -x318 x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309
1800.02/1800.62 v -x308 x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 -x298 x297 -x296 x295 -x294 x293 -x292 x291 x290 -x289 -x288 x287 -x286
1800.02/1800.62 v x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275 -x274 x273 -x272 x271 -x270 x269 x268 -x267 -x266 x265 -x264 x263
1800.02/1800.62 v -x262 x261 -x260 x259 -x258 x257 -x256 -x255 -x254 x253 -x252 -x251 -x250 x249 -x248 x247 -x246 -x245 -x244 -x243 -x242 x241
1800.02/1800.62 v -x240 x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 x221 -x220
1800.02/1800.62 v -x219 -x218 x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 x201 x200 -x199 -x198
1800.02/1800.62 v x197 x196 -x195 -x194 x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 x185 x184 -x183 -x182 x181 -x180 -x179 -x178 x177 -x176
1800.02/1800.62 v -x175 -x174 x173 -x172 -x171 -x170 x169 -x168 x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154
1800.02/1800.62 v x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 x133 -x132
1800.02/1800.62 v x131 -x130 -x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 -x120 x119 -x118 x117 x116 -x115 -x114 x113 -x112 x111 -x110
1800.02/1800.62 v x109 -x108 x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 -x98 x97 -x96 x95 -x94 x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 -x84
1800.02/1800.62 v x83 -x82 x81 -x80 x79 -x78 x77 -x76 x75 -x74 x73 -x72 x71 -x70 x69 -x68 x67 -x66 x65 x64 -x63 -x62 x61 x60 -x59 -x58 x57 -x56
1800.02/1800.62 v x55 -x54 x53 -x52 x51 -x50 x49 -x48 x47 x46 -x45 -x44 x43 -x42 x41 -x40 x39 -x38 x37 -x36 x35 -x34 x33 -x32 x31 -x30 x29 -x28
1800.02/1800.62 v x27 -x26 x25 -x24 x23 -x22 x21 -x20 x19 -x18 x17 -x16 x15 -x14 x13 -x12 x11 -x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
1800.02/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.62 c Solving Time : 1721.91
1800.02/1800.62 c Original Problem :
1800.02/1800.62 c Problem name : HOME/instance-2667023-1276429061.opb
1800.02/1800.62 c Variables : 808 (808 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.62 c Constraints : 5557 initial, 5557 maximal
1800.02/1800.62 c Presolved Problem :
1800.02/1800.62 c Problem name : t_HOME/instance-2667023-1276429061.opb
1800.02/1800.62 c Variables : 808 (808 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.62 c Constraints : 5557 initial, 5975 maximal
1800.02/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c probing : 0.06 0 0 0 0 0 0 0 0
1800.02/1800.62 c logicor : 0.06 0 0 0 0 0 0 0 0
1800.02/1800.62 c root node : - 0 - - 0 - - - -
1800.02/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.62 c integral : 0 0 0 1 0 0 0 0 0 2
1800.02/1800.62 c logicor : 5557+ 37 6081653 0 11 805491 7019166 0 0 0
1800.02/1800.62 c countsols : 0 0 0 0 11 0 0 0 0 0
1800.02/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.62 c integral : 19.84 0.00 0.00 19.84 0.00
1800.02/1800.62 c logicor : 871.92 0.03 871.89 0.00 0.00
1800.02/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.62 c vbounds : 4.40 2 0 0
1800.02/1800.62 c rootredcost : 4.85 11 0 0
1800.02/1800.62 c pseudoobj : 423.09 10059025 949467 21663322
1800.02/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.62 c propagation : 787.96 805491 805491 805491 59.1 8098 34.5 -
1800.02/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.62 c pseudo solution : 85.15 268332 0 0 0.0 0 0.0 -
1800.02/1800.62 c applied globally : - - - 812933 58.8 - - -
1800.02/1800.62 c applied locally : - - - 126 81.6 - - -
1800.02/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.62 c cut pool : 0.01 36 - - 26 - (maximal pool size: 991)
1800.02/1800.62 c redcost : 0.00 37 0 0 0 0
1800.02/1800.62 c impliedbounds : 0.08 37 0 0 0 0
1800.02/1800.62 c intobj : 0.00 0 0 0 0 0
1800.02/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.62 c gomory : 9.75 37 0 0 17801 0
1800.02/1800.62 c strongcg : 4.13 20 0 0 9723 0
1800.02/1800.62 c cmir : 0.31 10 0 0 0 0
1800.02/1800.62 c flowcover : 0.21 10 0 0 0 0
1800.02/1800.62 c clique : 0.03 1 0 0 0 0
1800.02/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.62 c mcf : 0.00 1 0 0 0 0
1800.02/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.62 c Pricers : Time Calls Vars
1800.02/1800.62 c problem variables: 0.00 0 0
1800.02/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.62 c relpscost : 19.84 1 0 0 0 0 2
1800.02/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.62 c inference : 34.67 3486510 0 0 0 0 6973020
1800.02/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.62 c random : 0.00 0 0 0 0 0 0
1800.02/1800.62 c Primal Heuristics : Time Calls Found
1800.02/1800.62 c LP solutions : 0.00 - 0
1800.02/1800.62 c pseudo solutions : 0.01 - 11
1800.02/1800.62 c oneopt : 3.40 0 0
1800.02/1800.62 c crossover : 0.00 0 0
1800.02/1800.62 c trivial : 0.00 2 0
1800.02/1800.62 c simplerounding : 0.00 0 0
1800.02/1800.62 c zirounding : 0.00 1 0
1800.02/1800.62 c rounding : 0.08 38 0
1800.02/1800.62 c shifting : 0.21 38 0
1800.02/1800.62 c intshifting : 0.00 0 0
1800.02/1800.62 c twoopt : 0.00 0 0
1800.02/1800.62 c fixandinfer : 0.00 0 0
1800.02/1800.62 c feaspump : 3.26 1 0
1800.02/1800.62 c coefdiving : 0.00 0 0
1800.02/1800.62 c pscostdiving : 0.00 0 0
1800.02/1800.62 c fracdiving : 0.00 0 0
1800.02/1800.62 c veclendiving : 0.00 0 0
1800.02/1800.62 c intdiving : 0.00 0 0
1800.02/1800.62 c actconsdiving : 0.00 0 0
1800.02/1800.62 c objpscostdiving : 0.00 0 0
1800.02/1800.62 c rootsoldiving : 0.00 0 0
1800.02/1800.62 c linesearchdiving : 0.00 0 0
1800.02/1800.62 c guideddiving : 0.00 0 0
1800.02/1800.62 c octane : 0.00 0 0
1800.02/1800.62 c rens : 0.01 0 0
1800.02/1800.62 c rins : 0.00 0 0
1800.02/1800.62 c localbranching : 0.00 0 0
1800.02/1800.62 c mutation : 0.00 0 0
1800.02/1800.62 c dins : 0.00 0 0
1800.02/1800.62 c undercover : 0.00 0 0
1800.02/1800.62 c nlp : 1.99 0 0
1800.02/1800.62 c trysol : 2.29 0 0
1800.02/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.62 c primal LP : 0.03 0 0 0.00 0.00
1800.02/1800.62 c dual LP : 14.02 38 12174 320.37 868.33
1800.02/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.62 c diving/probing LP: 3.23 14 5123 365.93 1586.07
1800.02/1800.62 c strong branching : 19.84 27 15645 579.44 788.56
1800.02/1800.62 c (at root node) : - 27 15645 579.44 -
1800.02/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.62 c B&B Tree :
1800.02/1800.62 c number of runs : 1
1800.02/1800.62 c nodes : 4921269
1800.02/1800.62 c nodes (total) : 4921269
1800.02/1800.62 c nodes left : 47
1800.02/1800.62 c max depth : 95
1800.02/1800.62 c max depth (total): 95
1800.02/1800.62 c backtracks : 1015374 (20.6%)
1800.02/1800.62 c delayed cutoffs : 594875
1800.02/1800.62 c repropagations : 779475 (3022209 domain reductions, 588543 cutoffs)
1800.02/1800.62 c avg switch length: 2.03
1800.02/1800.62 c switching time : 83.07
1800.02/1800.62 c Solution :
1800.02/1800.62 c Solutions found : 11 (11 improvements)
1800.02/1800.62 c First Solution : +3.92000000000000e+02 (in run 1, after 1560 nodes, 54.11 seconds, depth 60, found by <relaxation>)
1800.02/1800.62 c Primal Bound : +3.72000000000000e+02 (in run 1, after 125914 nodes, 101.58 seconds, depth 61, found by <relaxation>)
1800.02/1800.62 c Dual Bound : +2.72026315789474e+02
1800.02/1800.62 c Gap : 36.75 %
1800.02/1800.62 c Root Dual Bound : +2.72026315789474e+02
1800.02/1800.62 c Root Iterations : 17297
1800.02/1800.66 c Time complete: 1800.07.