0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665573-1276396449.opb>
0.04/0.08 c original problem has 1968 variables (1968 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.04/0.08 c problem read
0.04/0.08 c presolving settings loaded
0.09/0.10 o 1968
0.09/0.10 c feasible solution found by trivial heuristic, objective value 1.968000e+03
0.09/0.10 c presolving:
0.09/0.13 c (round 1) 183 del vars, 183 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.14 c (round 2) 364 del vars, 829 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.15 c (round 3) 429 del vars, 960 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.15 c (round 4) 480 del vars, 1093 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.16 c (round 5) 501 del vars, 1160 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.16 c (round 6) 516 del vars, 1200 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.17 c (round 7) 527 del vars, 1224 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.17 c (round 8) 534 del vars, 1242 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.18 c (round 9) 538 del vars, 1255 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.18 c (round 10) 539 del vars, 1257 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.19/0.23 c (round 11) 539 del vars, 1258 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2742 upgd conss, 7998 impls, 0 clqs
0.19/0.27 c (0.1s) probing: 101/1429 (7.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.27 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.27 c presolving (12 rounds):
0.19/0.27 c 539 deleted vars, 1258 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.27 c 7998 implications, 0 cliques
0.19/0.27 c presolved problem has 1429 variables (1429 bin, 0 int, 0 impl, 0 cont) and 2742 constraints
0.19/0.27 c 2742 constraints of type <logicor>
0.19/0.27 c transformed objective value is always integral (scale: 1)
0.19/0.27 c Presolving Time: 0.14
0.19/0.27 c - non default parameters ----------------------------------------------------------------------
0.19/0.27 c # SCIP version 1.2.1.2
0.19/0.27 c
0.19/0.27 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.27 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.27 c conflict/interconss = 0
0.19/0.27 c
0.19/0.27 c # should binary conflicts be preferred?
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c conflict/preferbinary = TRUE
0.19/0.27 c
0.19/0.27 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.27 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.27 c constraints/agelimit = 1
0.19/0.27 c
0.19/0.27 c # should enforcement of pseudo solution be disabled?
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c constraints/disableenfops = TRUE
0.19/0.27 c
0.19/0.27 c # frequency for displaying node information lines
0.19/0.27 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.27 c display/freq = 10000
0.19/0.27 c
0.19/0.27 c # maximal time in seconds to run
0.19/0.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.27 c limits/time = 1799.93
0.19/0.27 c
0.19/0.27 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.27 c limits/memory = 1620
0.19/0.27 c
0.19/0.27 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.27 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.27 c lp/solvefreq = 0
0.19/0.27 c
0.19/0.27 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.19/0.27 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.27 c lp/pricing = a
0.19/0.27 c
0.19/0.27 c # should presolving try to simplify inequalities
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c constraints/linear/simplifyinequalities = TRUE
0.19/0.27 c
0.19/0.27 c # should presolving try to simplify knapsacks
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.27 c
0.19/0.27 c # priority of node selection rule <dfs> in standard mode
0.19/0.27 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.27 c nodeselection/dfs/stdpriority = 1000000
0.19/0.27 c
0.19/0.27 c -----------------------------------------------------------------------------------------------
0.19/0.27 c start solving
0.19/0.27 c
0.19/0.27 o 1692
0.19/0.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.27 c t 0.1s| 1 | 0 | 0 | - |5745k| 0 | - |1429 |2742 | 0 | 0 | 0 | 0 | 0 | -- | 1.692000e+03 | Inf
0.19/0.28 o 1160
0.19/0.28 c b 0.2s| 1 | 0 | 0 | - |7236k| 0 | - |1429 |2742 |1429 |2742 | 0 | 0 | 0 | -- | 1.160000e+03 | Inf
0.39/0.40 c 0.3s| 1 | 0 | 1830 | - |7211k| 0 |1429 |1429 |2742 |1429 |2742 | 0 | 0 | 0 | 9.775000e+02 | 1.160000e+03 | 18.67%
0.79/0.82 c 0.7s| 1 | 0 | 1924 | - |7297k| 0 |1415 |1429 |2742 |1429 |2754 | 12 | 0 | 0 | 9.825000e+02 | 1.160000e+03 | 18.07%
1.10/1.19 c 1.1s| 1 | 0 | 1927 | - |7323k| 0 |1414 |1429 |2742 |1429 |2755 | 13 | 0 | 0 | 9.830000e+02 | 1.160000e+03 | 18.01%
1.49/1.58 c 1.4s| 1 | 0 | 1949 | - |7325k| 0 |1413 |1429 |2742 |1429 |2756 | 14 | 0 | 0 | 9.835000e+02 | 1.160000e+03 | 17.95%
1.89/1.95 c 1.8s| 1 | 0 | 1951 | - |7326k| 0 |1412 |1429 |2742 |1429 |2757 | 15 | 0 | 0 | 9.840000e+02 | 1.160000e+03 | 17.89%
2.29/2.37 c 2.2s| 1 | 0 | 2032 | - |7328k| 0 |1410 |1429 |2742 |1429 |2758 | 16 | 0 | 0 | 9.840000e+02 | 1.160000e+03 | 17.89%
2.79/2.82 c 2.7s| 1 | 0 | 2091 | - |7361k| 0 |1405 |1429 |2742 |1429 |2760 | 18 | 0 | 0 | 9.845000e+02 | 1.160000e+03 | 17.83%
3.20/3.24 c 3.1s| 1 | 0 | 2218 | - |7393k| 0 |1403 |1429 |2742 |1429 |2764 | 22 | 0 | 0 | 9.855000e+02 | 1.160000e+03 | 17.71%
3.59/3.61 c 3.5s| 1 | 0 | 2221 | - |7409k| 0 |1402 |1429 |2742 |1429 |2766 | 24 | 0 | 0 | 9.860000e+02 | 1.160000e+03 | 17.65%
4.09/4.11 c 4.0s| 1 | 0 | 2347 | - |7411k| 0 |1400 |1429 |2742 |1429 |2767 | 25 | 0 | 0 | 9.860000e+02 | 1.160000e+03 | 17.65%
5.19/5.23 c 5.0s| 1 | 0 | 3150 | - |7666k| 0 |1405 |1429 |2742 |1429 |2772 | 30 | 0 | 0 | 9.870000e+02 | 1.160000e+03 | 17.53%
5.79/5.84 c 5.7s| 1 | 0 | 3628 | - |7728k| 0 |1403 |1429 |2742 |1429 |2776 | 34 | 0 | 0 | 9.875000e+02 | 1.160000e+03 | 17.47%
7.29/7.32 c 7.1s| 1 | 0 | 4594 | - |8692k| 0 |1402 |1429 |2742 |1429 |2783 | 41 | 0 | 0 | 9.890000e+02 | 1.160000e+03 | 17.29%
8.38/8.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.38/8.40 c 8.2s| 1 | 0 | 5477 | - |9157k| 0 |1420 |1429 |2742 |1429 |2785 | 43 | 0 | 0 | 9.895000e+02 | 1.160000e+03 | 17.23%
9.89/9.91 c 9.7s| 1 | 0 | 6797 | - |9270k| 0 |1399 |1429 |2742 |1429 |2791 | 49 | 0 | 0 | 9.910000e+02 | 1.160000e+03 | 17.05%
12.28/12.30 c 12.1s| 1 | 0 | 7836 | - | 10M| 0 |1401 |1429 |2742 |1429 |2795 | 53 | 0 | 0 | 9.910000e+02 | 1.160000e+03 | 17.05%
13.98/14.01 c 13.7s| 1 | 0 | 9089 | - | 11M| 0 |1405 |1429 |2742 |1429 |2798 | 56 | 0 | 0 | 9.910000e+02 | 1.160000e+03 | 17.05%
15.79/15.80 c 15.5s| 1 | 0 | 10423 | - | 11M| 0 |1403 |1429 |2742 |1429 |2800 | 59 | 0 | 0 | 9.910000e+02 | 1.160000e+03 | 17.05%
17.49/17.54 c 17.2s| 1 | 0 | 12008 | - | 11M| 0 |1382 |1429 |2742 |1429 |2804 | 63 | 0 | 0 | 9.915000e+02 | 1.160000e+03 | 16.99%
19.18/19.27 c 18.9s| 1 | 0 | 13388 | - | 12M| 0 |1400 |1429 |2742 |1429 |2809 | 68 | 0 | 0 | 9.920000e+02 | 1.160000e+03 | 16.94%
20.68/20.77 c 20.4s| 1 | 0 | 14767 | - | 12M| 0 |1394 |1429 |2742 |1429 |2812 | 71 | 0 | 0 | 9.921667e+02 | 1.160000e+03 | 16.92%
21.68/21.79 c 21.4s| 1 | 0 | 15746 | - | 12M| 0 |1377 |1429 |2742 |1429 |2816 | 75 | 0 | 0 | 9.925000e+02 | 1.160000e+03 | 16.88%
23.48/23.54 c 23.1s| 1 | 0 | 17529 | - | 13M| 0 |1380 |1429 |2742 |1429 |2820 | 79 | 0 | 0 | 9.935000e+02 | 1.160000e+03 | 16.76%
25.68/25.72 c 25.3s| 1 | 0 | 19429 | - | 13M| 0 |1407 |1429 |2742 |1429 |2815 | 83 | 0 | 0 | 9.945000e+02 | 1.160000e+03 | 16.64%
27.38/27.46 c 27.0s| 1 | 0 | 20988 | - | 13M| 0 |1381 |1429 |2742 |1429 |2817 | 85 | 0 | 0 | 9.945000e+02 | 1.160000e+03 | 16.64%
28.78/28.83 c 28.4s| 1 | 0 | 22204 | - | 13M| 0 |1387 |1429 |2742 |1429 |2820 | 88 | 0 | 0 | 9.945000e+02 | 1.160000e+03 | 16.64%
30.88/30.93 c 30.4s| 1 | 0 | 24043 | - | 14M| 0 |1406 |1429 |2742 |1429 |2823 | 91 | 0 | 0 | 9.945000e+02 | 1.160000e+03 | 16.64%
32.98/33.03 c 32.5s| 1 | 0 | 25782 | - | 14M| 0 |1412 |1429 |2742 |1429 |2826 | 94 | 0 | 0 | 9.946250e+02 | 1.160000e+03 | 16.63%
34.76/34.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.76/34.83 c 34.3s| 1 | 0 | 27398 | - | 15M| 0 |1408 |1429 |2742 |1429 |2829 | 97 | 0 | 0 | 9.948750e+02 | 1.160000e+03 | 16.60%
36.66/36.77 c 36.2s| 1 | 0 | 29036 | - | 15M| 0 |1387 |1429 |2742 |1429 |2815 | 100 | 0 | 0 | 9.951250e+02 | 1.160000e+03 | 16.57%
37.97/38.09 c 37.5s| 1 | 0 | 30337 | - | 16M| 0 |1416 |1429 |2742 |1429 |2820 | 105 | 0 | 0 | 9.952500e+02 | 1.160000e+03 | 16.55%
39.86/39.92 c 39.3s| 1 | 0 | 32202 | - | 17M| 0 |1388 |1429 |2742 |1429 |2823 | 108 | 0 | 0 | 9.953387e+02 | 1.160000e+03 | 16.54%
41.26/41.39 c 40.8s| 1 | 0 | 33860 | - | 17M| 0 |1386 |1429 |2742 |1429 |2829 | 114 | 0 | 0 | 9.965000e+02 | 1.160000e+03 | 16.41%
42.56/42.65 c 42.0s| 1 | 0 | 34960 | - | 18M| 0 |1420 |1429 |2742 |1429 |2833 | 118 | 0 | 0 | 9.970000e+02 | 1.160000e+03 | 16.35%
44.76/44.80 c 44.1s| 1 | 0 | 36804 | - | 18M| 0 |1406 |1429 |2742 |1429 |2837 | 122 | 0 | 0 | 9.970000e+02 | 1.160000e+03 | 16.35%
47.46/47.52 c 46.8s| 1 | 0 | 39246 | - | 18M| 0 |1415 |1429 |2742 |1429 |2829 | 126 | 0 | 0 | 9.970000e+02 | 1.160000e+03 | 16.35%
49.76/49.86 c 49.1s| 1 | 0 | 41414 | - | 19M| 0 |1425 |1429 |2742 |1429 |2833 | 130 | 0 | 0 | 9.972453e+02 | 1.160000e+03 | 16.32%
50.56/50.65 c 49.9s| 1 | 0 | 42023 | - | 20M| 0 |1425 |1429 |2742 |1429 |2836 | 133 | 0 | 0 | 9.974342e+02 | 1.160000e+03 | 16.30%
51.67/51.75 c 51.0s| 1 | 0 | 43015 | - | 20M| 0 |1419 |1429 |2742 |1429 |2840 | 137 | 0 | 0 | 9.977857e+02 | 1.160000e+03 | 16.26%
53.77/53.83 c 53.0s| 1 | 0 | 44839 | - | 21M| 0 |1427 |1429 |2742 |1429 |2842 | 139 | 0 | 0 | 9.979603e+02 | 1.160000e+03 | 16.24%
55.97/56.00 c 55.2s| 1 | 0 | 46820 | - | 23M| 0 |1428 |1429 |2742 |1429 |2845 | 142 | 0 | 0 | 9.982052e+02 | 1.160000e+03 | 16.21%
56.76/56.87 c 56.0s| 1 | 0 | 47281 | - | 24M| 0 |1427 |1429 |2742 |1429 |2836 | 145 | 0 | 0 | 9.984625e+02 | 1.160000e+03 | 16.18%
57.66/57.79 c 57.0s| 1 | 0 | 48029 | - | 26M| 0 |1423 |1429 |2742 |1429 |2839 | 148 | 0 | 0 | 9.986812e+02 | 1.160000e+03 | 16.15%
58.76/58.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.76/58.88 c 58.0s| 1 | 0 | 49032 | - | 26M| 0 |1429 |1429 |2742 |1429 |2841 | 150 | 0 | 0 | 9.990000e+02 | 1.160000e+03 | 16.12%
59.76/59.85 c 59.0s| 1 | 0 | 49430 | - | 29M| 0 |1425 |1429 |2742 |1429 |2842 | 151 | 0 | 0 | 9.990706e+02 | 1.160000e+03 | 16.11%
60.86/60.91 c 60.0s| 1 | 0 | 49893 | - | 29M| 0 |1426 |1429 |2742 |1429 |2844 | 153 | 0 | 0 | 9.991258e+02 | 1.160000e+03 | 16.10%
62.06/62.19 c 61.3s| 1 | 0 | 50755 | - | 29M| 0 |1425 |1429 |2742 |1429 |2846 | 155 | 0 | 0 | 9.992184e+02 | 1.160000e+03 | 16.09%
63.55/63.61 c 62.7s| 1 | 0 | 51590 | - | 29M| 0 |1429 |1429 |2742 |1429 |2836 | 157 | 0 | 0 | 9.993031e+02 | 1.160000e+03 | 16.08%
65.06/65.18 c 64.3s| 1 | 0 | 52127 | - | 29M| 0 |1426 |1429 |2742 |1429 |2837 | 158 | 0 | 0 | 9.994060e+02 | 1.160000e+03 | 16.07%
66.96/67.09 c 66.2s| 1 | 0 | 53642 | - | 29M| 0 |1422 |1429 |2742 |1429 |2840 | 161 | 0 | 0 | 9.996667e+02 | 1.160000e+03 | 16.04%
69.06/69.17 c 68.2s| 1 | 0 | 55402 | - | 29M| 0 |1429 |1429 |2742 |1429 |2845 | 166 | 0 | 0 | 1.000000e+03 | 1.160000e+03 | 16.00%
100.85/100.93 c 99.6s| 1 | 2 | 55402 | - | 29M| 0 |1429 |1429 |2742 |1429 |2845 | 166 | 0 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
106.55/106.67 c 105s| 10000 | 282 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 |1654 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
111.14/111.22 c 110s| 20000 | 284 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 |2549 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
115.34/115.40 c 114s| 30000 | 283 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 |3177 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
119.34/119.45 c 118s| 40000 | 282 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 |3708 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
123.23/123.35 c 121s| 50000 | 280 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 |4131 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
127.04/127.13 c 125s| 60000 | 280 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 |4486 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
130.74/130.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.74/130.83 c 129s| 70000 | 277 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 |4780 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
134.43/134.59 c 132s| 80000 | 280 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 |5072 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
138.13/138.27 c 136s| 90000 | 280 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 |5314 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
141.74/141.88 c 139s|100000 | 277 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 |5540 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
145.33/145.40 c 143s|110000 | 279 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 |5719 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
148.92/149.01 c 146s|120000 | 280 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 |5968 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
152.63/152.71 c 150s|130000 | 277 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 |6254 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
156.33/156.44 c 153s|140000 | 280 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 |6540 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
160.13/160.28 c 157s|150000 | 279 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 |6904 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
163.93/164.09 c 160s|160000 | 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 |7251 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
167.62/167.74 c 164s|170000 | 282 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 |7491 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
171.53/171.61 c 168s|180000 | 278 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 |7873 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
175.32/175.40 c 171s|190000 | 279 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 |8187 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
179.02/179.12 c 175s|200000 | 278 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 |8483 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
182.92/183.08 c 179s|210000 | 280 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 |8913 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
186.62/186.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
186.62/186.77 c 182s|220000 | 278 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 |9148 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
190.41/190.50 c 186s|230000 | 277 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 |9405 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
194.22/194.37 c 190s|240000 | 280 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 |9741 | 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
198.01/198.13 c 193s|250000 | 280 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 10k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
201.71/201.83 c 197s|260000 | 277 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 10k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
205.41/205.57 c 200s|270000 | 278 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 10k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
209.10/209.24 c 204s|280000 | 279 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 10k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
212.90/213.08 c 208s|290000 | 277 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 11k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
216.70/216.81 c 211s|300000 | 277 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 11k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
220.40/220.54 c 215s|310000 | 277 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 11k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
224.00/224.15 c 218s|320000 | 278 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 11k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
227.69/227.84 c 222s|330000 | 277 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 12k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
231.50/231.61 c 225s|340000 | 280 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 12k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
235.50/235.61 c 229s|350000 | 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 12k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
239.30/239.41 c 233s|360000 | 280 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 13k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
243.09/243.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
243.09/243.29 c 237s|370000 | 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 13k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
246.99/247.12 c 240s|380000 | 279 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 14k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
250.70/250.88 c 244s|390000 | 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 14k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
254.49/254.65 c 248s|400000 | 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 14k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
258.19/258.35 c 251s|410000 | 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 14k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
261.89/262.05 c 255s|420000 | 277 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 15k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
265.69/265.88 c 258s|430000 | 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 15k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
269.39/269.54 c 262s|440000 | 277 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 15k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
273.08/273.25 c 266s|450000 | 278 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 16k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
276.88/277.00 c 269s|460000 | 277 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 16k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
280.78/280.94 c 273s|470000 | 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 16k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
284.47/284.60 c 276s|480000 | 279 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 16k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
287.87/288.10 c 280s|490000 | 278 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 17k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
291.47/291.60 c 283s|500000 | 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 17k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
294.98/295.16 c 287s|510000 | 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 17k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
298.57/298.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
298.57/298.73 c 290s|520000 | 277 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 17k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
302.17/302.35 c 294s|530000 | 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 17k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
305.77/305.96 c 297s|540000 | 278 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 18k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
309.26/309.47 c 300s|550000 | 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 18k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
312.87/313.06 c 304s|560000 | 279 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 18k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
316.36/316.59 c 307s|570000 | 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 18k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
319.87/320.09 c 311s|580000 | 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 18k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
323.56/323.75 c 314s|590000 | 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 18k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
327.15/327.34 c 318s|600000 | 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 19k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
330.74/330.97 c 321s|610000 | 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 19k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
334.34/334.56 c 324s|620000 | 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 19k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
337.95/338.19 c 328s|630000 | 277 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 19k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
341.55/341.79 c 331s|640000 | 278 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 19k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
345.35/345.54 c 335s|650000 | 277 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 20k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
349.14/349.32 c 339s|660000 | 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 20k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
352.84/353.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
352.84/353.06 c 342s|670000 | 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 20k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
356.54/356.74 c 346s|680000 | 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 21k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
360.24/360.40 c 349s|690000 | 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 21k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
363.85/364.01 c 353s|700000 | 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 21k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
367.53/367.76 c 356s|710000 | 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 21k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
371.54/371.79 c 360s|720000 | 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 22k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
375.43/375.60 c 364s|730000 | 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 22k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
379.13/379.37 c 368s|740000 | 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 22k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
382.83/383.06 c 371s|750000 | 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 23k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
386.52/386.71 c 375s|760000 | 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 23k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
390.12/390.31 c 378s|770000 | 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 23k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
393.83/394.00 c 382s|780000 | 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 23k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
397.42/397.62 c 385s|790000 | 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 23k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
401.12/401.32 c 389s|800000 | 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 24k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
404.93/405.10 c 392s|810000 | 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 24k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
408.42/408.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
408.42/408.67 c 396s|820000 | 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 24k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
411.92/412.20 c 399s|830000 | 279 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 24k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
415.82/416.01 c 403s|840000 | 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 25k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
419.52/419.75 c 406s|850000 | 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 25k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
423.22/423.44 c 410s|860000 | 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 25k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
426.71/426.93 c 413s|870000 | 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 25k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
430.32/430.51 c 417s|880000 | 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 25k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
433.71/433.99 c 420s|890000 | 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 26k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
437.41/437.62 c 424s|900000 | 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 26k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
441.10/441.31 c 427s|910000 | 278 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 26k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
444.61/444.86 c 431s|920000 | 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 26k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
448.41/448.62 c 434s|930000 | 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 26k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
452.00/452.25 c 438s|940000 | 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 27k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
455.60/455.86 c 441s|950000 | 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 27k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
459.20/459.43 c 445s|960000 | 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 27k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
462.70/462.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
462.70/462.97 c 448s|970000 | 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 27k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
466.29/466.53 c 451s|980000 | 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 27k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
469.80/470.07 c 455s|990000 | 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 27k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
473.40/473.69 c 458s| 1000k| 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 28k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
477.20/477.49 c 462s| 1010k| 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 28k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
480.80/481.09 c 465s| 1020k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 28k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
484.59/484.86 c 469s| 1030k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 28k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
488.29/488.58 c 473s| 1040k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 29k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
491.89/492.18 c 476s| 1050k| 277 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 29k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
495.59/495.80 c 480s| 1060k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 29k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
499.29/499.53 c 483s| 1070k| 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 29k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
503.18/503.44 c 487s| 1080k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 30k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
507.08/507.39 c 491s| 1090k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 30k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
511.19/511.41 c 495s| 1100k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 31k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
514.88/515.15 c 498s| 1110k| 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 31k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
518.68/518.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
518.68/518.94 c 502s| 1120k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 31k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
522.38/522.67 c 505s| 1130k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 31k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
525.98/526.25 c 509s| 1140k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 32k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
529.68/529.96 c 512s| 1150k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 32k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
533.37/533.66 c 516s| 1160k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 32k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
536.97/537.23 c 519s| 1170k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 32k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
540.77/541.02 c 523s| 1180k| 277 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 33k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
544.37/544.64 c 527s| 1190k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 33k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
548.07/548.39 c 530s| 1200k| 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 33k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
551.87/552.13 c 534s| 1210k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 33k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
555.46/555.73 c 537s| 1220k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 34k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
559.17/559.41 c 541s| 1230k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 34k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
562.88/563.14 c 544s| 1240k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 34k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
566.56/566.81 c 548s| 1250k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 34k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
570.16/570.41 c 551s| 1260k| 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 34k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
573.66/573.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.66/573.99 c 555s| 1270k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 35k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
577.46/577.71 c 558s| 1280k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 35k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
581.06/581.35 c 562s| 1290k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 35k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
584.75/585.01 c 565s| 1300k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 35k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
588.35/588.60 c 569s| 1310k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 36k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
591.86/592.11 c 572s| 1320k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 36k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
595.35/595.64 c 576s| 1330k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 36k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
598.85/599.11 c 579s| 1340k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 36k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
602.45/602.76 c 583s| 1350k| 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 36k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
605.95/606.29 c 586s| 1360k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 36k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
609.65/609.91 c 589s| 1370k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 36k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
613.15/613.46 c 593s| 1380k| 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 37k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
616.85/617.13 c 596s| 1390k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 37k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
620.54/620.87 c 600s| 1400k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 37k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
624.34/624.66 c 604s| 1410k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 37k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
627.94/628.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
627.94/628.27 c 607s| 1420k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 38k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
631.54/631.81 c 610s| 1430k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 38k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
635.04/635.39 c 614s| 1440k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 38k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
638.63/638.91 c 617s| 1450k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 38k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
642.44/642.74 c 621s| 1460k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 38k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
646.04/646.32 c 624s| 1470k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 39k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
649.74/650.07 c 628s| 1480k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 39k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
653.33/653.68 c 631s| 1490k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 39k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
657.03/657.32 c 635s| 1500k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 39k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
660.52/660.81 c 638s| 1510k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 39k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
664.14/664.48 c 642s| 1520k| 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 40k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
667.83/668.12 c 645s| 1530k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 40k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
671.42/671.74 c 649s| 1540k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 40k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
675.03/675.33 c 652s| 1550k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 40k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
678.72/679.00 c 656s| 1560k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 40k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
682.12/682.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
682.12/682.44 c 659s| 1570k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 41k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
685.62/685.90 c 662s| 1580k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 41k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
689.22/689.51 c 666s| 1590k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 41k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
692.73/693.06 c 669s| 1600k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 41k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
696.32/696.63 c 673s| 1610k| 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 41k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
699.91/700.25 c 676s| 1620k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 41k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
703.41/703.73 c 680s| 1630k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 42k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
706.92/707.23 c 683s| 1640k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 42k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
710.41/710.70 c 686s| 1650k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 42k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
713.81/714.15 c 690s| 1660k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 42k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
717.41/717.73 c 693s| 1670k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 42k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
720.91/721.27 c 696s| 1680k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 42k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
724.51/724.81 c 700s| 1690k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 42k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
728.10/728.49 c 703s| 1700k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 43k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
731.60/731.97 c 707s| 1710k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 43k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
735.10/735.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
735.10/735.49 c 710s| 1720k| 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 43k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
738.70/739.06 c 714s| 1730k| 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 43k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
742.21/742.51 c 717s| 1740k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 43k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
745.51/745.87 c 720s| 1750k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 43k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
749.20/749.55 c 724s| 1760k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 43k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
752.70/753.09 c 727s| 1770k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 44k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
756.29/756.66 c 730s| 1780k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 44k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
759.81/760.18 c 734s| 1790k| 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 44k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
763.20/763.57 c 737s| 1800k| 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 44k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
766.78/767.17 c 741s| 1810k| 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 44k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
770.38/770.73 c 744s| 1820k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 44k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
774.09/774.41 c 747s| 1830k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 44k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
777.68/778.03 c 751s| 1840k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 45k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
781.28/781.64 c 754s| 1850k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 45k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
784.88/785.28 c 758s| 1860k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 45k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
788.48/788.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
788.48/788.86 c 761s| 1870k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 45k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
791.98/792.37 c 765s| 1880k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 45k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
795.48/795.86 c 768s| 1890k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 45k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
798.88/799.27 c 771s| 1900k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 46k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
802.37/802.79 c 775s| 1910k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 46k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
805.98/806.35 c 778s| 1920k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 46k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
809.47/809.87 c 782s| 1930k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 46k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
813.16/813.50 c 785s| 1940k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 46k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
816.67/817.03 c 788s| 1950k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 46k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
820.27/820.62 c 792s| 1960k| 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 47k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
823.76/824.18 c 795s| 1970k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 47k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
827.36/827.74 c 799s| 1980k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 47k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
830.96/831.35 c 802s| 1990k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 47k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
834.57/834.94 c 806s| 2000k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 47k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
838.16/838.53 c 809s| 2010k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 48k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
841.65/842.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
841.65/842.03 c 812s| 2020k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 48k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
845.25/845.67 c 816s| 2030k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 48k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
848.95/849.33 c 819s| 2040k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 48k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
852.55/852.95 c 823s| 2050k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 48k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
856.05/856.42 c 826s| 2060k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 48k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
859.55/859.90 c 830s| 2070k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 49k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
862.95/863.32 c 833s| 2080k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 49k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
866.36/866.75 c 836s| 2090k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 49k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
869.95/870.32 c 840s| 2100k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 49k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
873.55/873.91 c 843s| 2110k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 49k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
877.05/877.42 c 846s| 2120k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 49k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
880.45/880.85 c 850s| 2130k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 49k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
883.95/884.34 c 853s| 2140k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 49k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
887.54/887.97 c 856s| 2150k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 50k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
891.04/891.47 c 860s| 2160k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 50k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
894.74/895.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
894.74/895.12 c 863s| 2170k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 50k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
898.35/898.73 c 867s| 2180k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 50k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
901.83/902.22 c 870s| 2190k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 50k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
905.34/905.71 c 874s| 2200k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 50k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
908.83/909.23 c 877s| 2210k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 51k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
912.33/912.74 c 880s| 2220k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 51k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
915.84/916.24 c 884s| 2230k| 266 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 51k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
919.43/919.81 c 887s| 2240k| 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 51k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
922.92/923.39 c 891s| 2250k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 51k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
926.53/926.95 c 894s| 2260k| 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 51k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
930.02/930.48 c 897s| 2270k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 52k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
933.53/933.97 c 901s| 2280k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 52k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
937.02/937.45 c 904s| 2290k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 52k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
940.42/940.88 c 907s| 2300k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 52k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
943.92/944.34 c 911s| 2310k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 52k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
947.32/947.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
947.32/947.76 c 914s| 2320k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 52k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
950.92/951.33 c 917s| 2330k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 52k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
954.32/954.79 c 921s| 2340k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 52k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
957.82/958.26 c 924s| 2350k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 53k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
961.41/961.84 c 927s| 2360k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 53k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
965.01/965.41 c 931s| 2370k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 53k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
968.51/968.91 c 934s| 2380k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 53k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
971.92/972.38 c 938s| 2390k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 53k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
975.31/975.77 c 941s| 2400k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 53k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
978.81/979.21 c 944s| 2410k| 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 53k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
982.20/982.65 c 947s| 2420k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 54k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
985.60/986.07 c 951s| 2430k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 54k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
989.00/989.49 c 954s| 2440k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 54k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
992.50/992.98 c 957s| 2450k| 268 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 54k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
996.10/996.51 c 961s| 2460k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 54k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
999.50/999.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
999.50/1000.00 c 964s| 2470k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 54k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1003.20/1003.62 c 968s| 2480k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 54k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1007.10/1007.53 c 971s| 2490k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 55k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1010.79/1011.27 c 975s| 2500k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 55k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1014.39/1014.84 c 978s| 2510k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 55k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1018.10/1018.55 c 982s| 2520k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 56k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1021.79/1022.21 c 985s| 2530k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 56k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1025.59/1026.08 c 989s| 2540k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 56k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1029.39/1029.89 c 993s| 2550k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 56k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1033.09/1033.55 c 996s| 2560k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 57k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1036.79/1037.21 c 1000s| 2570k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 57k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1040.48/1040.96 c 1003s| 2580k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 57k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1044.29/1044.78 c 1007s| 2590k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 57k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1047.89/1048.35 c 1011s| 2600k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 58k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1051.48/1051.94 c 1014s| 2610k| 268 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 58k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1055.08/1055.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1055.08/1055.52 c 1017s| 2620k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 58k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1058.58/1059.06 c 1021s| 2630k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 58k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1062.18/1062.68 c 1024s| 2640k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 58k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1065.78/1066.21 c 1028s| 2650k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 58k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1069.18/1069.66 c 1031s| 2660k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 58k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1072.67/1073.17 c 1034s| 2670k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 59k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1076.38/1076.80 c 1038s| 2680k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 59k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1079.97/1080.43 c 1041s| 2690k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 59k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1083.57/1084.08 c 1045s| 2700k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 59k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1087.26/1087.70 c 1048s| 2710k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 59k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1090.77/1091.22 c 1052s| 2720k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 59k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1094.37/1094.83 c 1055s| 2730k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 60k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1097.86/1098.35 c 1058s| 2740k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 60k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1101.26/1101.78 c 1062s| 2750k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 60k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1104.66/1105.17 c 1065s| 2760k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 60k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1108.16/1108.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1108.16/1108.68 c 1068s| 2770k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 60k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1111.67/1112.16 c 1072s| 2780k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 60k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1115.16/1115.64 c 1075s| 2790k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 60k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1118.75/1119.25 c 1079s| 2800k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 61k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1122.26/1122.77 c 1082s| 2810k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 61k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1125.86/1126.39 c 1085s| 2820k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 61k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1129.46/1129.91 c 1089s| 2830k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 61k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1133.05/1133.51 c 1092s| 2840k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 61k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1136.65/1137.10 c 1096s| 2850k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 61k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1140.15/1140.68 c 1099s| 2860k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 62k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1143.64/1144.17 c 1102s| 2870k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 62k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1147.14/1147.65 c 1106s| 2880k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 62k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1150.64/1151.16 c 1109s| 2890k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 62k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1154.04/1154.52 c 1112s| 2900k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 62k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1157.45/1157.93 c 1116s| 2910k| 268 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 62k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1160.85/1161.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.85/1161.35 c 1119s| 2920k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 62k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1164.24/1164.78 c 1122s| 2930k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 62k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1167.74/1168.24 c 1126s| 2940k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 63k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1171.14/1171.68 c 1129s| 2950k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 63k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1174.73/1175.20 c 1132s| 2960k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 63k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1178.33/1178.85 c 1136s| 2970k| 278 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 63k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1181.94/1182.42 c 1139s| 2980k| 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 63k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1185.63/1186.14 c 1143s| 2990k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 63k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1189.13/1189.64 c 1146s| 3000k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 64k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1192.63/1193.12 c 1149s| 3010k| 268 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 64k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1196.43/1196.92 c 1153s| 3020k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 64k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1199.93/1200.46 c 1157s| 3030k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 64k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1203.53/1204.05 c 1160s| 3040k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 64k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1207.12/1207.68 c 1163s| 3050k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 64k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1210.82/1211.30 c 1167s| 3060k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 65k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1214.42/1214.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1214.42/1214.92 c 1170s| 3070k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 65k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1217.92/1218.49 c 1174s| 3080k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 65k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1221.63/1222.13 c 1177s| 3090k| 267 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 65k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1225.22/1225.78 c 1181s| 3100k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 65k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1228.82/1229.30 c 1184s| 3110k| 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 66k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1232.31/1232.83 c 1188s| 3120k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 66k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1235.82/1236.34 c 1191s| 3130k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 66k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1239.41/1239.97 c 1194s| 3140k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 66k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1243.01/1243.50 c 1198s| 3150k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 66k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1246.51/1247.07 c 1201s| 3160k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 66k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1250.22/1250.75 c 1205s| 3170k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 67k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1253.81/1254.33 c 1208s| 3180k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 67k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1257.50/1258.04 c 1212s| 3190k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 67k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1261.11/1261.61 c 1215s| 3200k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 67k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1264.71/1265.29 c 1219s| 3210k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 67k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1268.50/1269.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1268.50/1269.01 c 1222s| 3220k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 68k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1272.11/1272.62 c 1226s| 3230k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 68k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1275.60/1276.19 c 1229s| 3240k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 68k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1279.20/1279.75 c 1233s| 3250k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 68k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1282.90/1283.43 c 1236s| 3260k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 68k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1286.51/1287.07 c 1240s| 3270k| 268 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 68k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1290.09/1290.63 c 1243s| 3280k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 69k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1293.70/1294.22 c 1247s| 3290k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 69k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1297.29/1297.81 c 1250s| 3300k| 268 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 69k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1300.80/1301.31 c 1253s| 3310k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 69k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1304.49/1305.03 c 1257s| 3320k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 69k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1308.08/1308.66 c 1260s| 3330k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 69k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1311.69/1312.23 c 1264s| 3340k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 70k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1315.29/1315.89 c 1267s| 3350k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 70k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1318.98/1319.57 c 1271s| 3360k| 268 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 70k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1322.58/1323.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1322.58/1323.15 c 1274s| 3370k| 267 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 70k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1326.18/1326.79 c 1278s| 3380k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 70k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1329.98/1330.51 c 1281s| 3390k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 71k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1333.37/1333.93 c 1285s| 3400k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 71k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1336.98/1337.51 c 1288s| 3410k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 71k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1340.58/1341.16 c 1292s| 3420k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 71k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1344.27/1344.84 c 1295s| 3430k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 72k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1347.87/1348.45 c 1299s| 3440k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 72k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1351.39/1352.00 c 1302s| 3450k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 72k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1354.97/1355.57 c 1305s| 3460k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 72k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1358.58/1359.15 c 1309s| 3470k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 72k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1362.28/1362.82 c 1312s| 3480k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 73k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1365.87/1366.47 c 1316s| 3490k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 73k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1369.57/1370.10 c 1319s| 3500k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 73k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1373.16/1373.73 c 1323s| 3510k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 73k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1376.76/1377.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1376.76/1377.39 c 1326s| 3520k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 73k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1380.46/1381.01 c 1330s| 3530k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 74k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1384.16/1384.79 c 1334s| 3540k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 74k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1387.86/1388.45 c 1337s| 3550k| 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 74k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1391.36/1391.96 c 1340s| 3560k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 74k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1394.96/1395.54 c 1344s| 3570k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 74k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1398.67/1399.21 c 1347s| 3580k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 75k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1402.25/1402.80 c 1351s| 3590k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 75k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1405.85/1406.41 c 1354s| 3600k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 75k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1409.35/1409.95 c 1358s| 3610k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 75k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1412.86/1413.48 c 1361s| 3620k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 75k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1416.54/1417.14 c 1365s| 3630k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 76k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1420.05/1420.69 c 1368s| 3640k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 76k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1423.65/1424.24 c 1371s| 3650k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 76k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1427.34/1427.92 c 1375s| 3660k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 76k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1431.04/1431.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1431.04/1431.64 c 1379s| 3670k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 76k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1434.75/1435.32 c 1382s| 3680k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 77k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1438.24/1438.82 c 1386s| 3690k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 77k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1441.74/1442.32 c 1389s| 3700k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 77k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1445.73/1446.38 c 1393s| 3710k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 77k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1449.73/1450.36 c 1397s| 3720k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 78k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1453.55/1454.16 c 1400s| 3730k| 266 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 78k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1457.24/1457.81 c 1404s| 3740k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 78k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1461.03/1461.64 c 1407s| 3750k| 266 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 79k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1464.73/1465.33 c 1411s| 3760k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 79k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1468.43/1469.01 c 1415s| 3770k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 79k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1472.13/1472.77 c 1418s| 3780k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 79k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1475.93/1476.52 c 1422s| 3790k| 268 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 80k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1479.53/1480.19 c 1425s| 3800k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 80k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1483.12/1483.78 c 1429s| 3810k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 80k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1486.82/1487.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1486.82/1487.49 c 1432s| 3820k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 80k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1490.62/1491.27 c 1436s| 3830k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 81k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1494.22/1494.89 c 1439s| 3840k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 81k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1498.01/1498.62 c 1443s| 3850k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 81k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1501.72/1502.30 c 1447s| 3860k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 81k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1505.51/1506.16 c 1450s| 3870k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 82k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1509.21/1509.80 c 1454s| 3880k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 82k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1512.92/1513.50 c 1457s| 3890k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 82k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1516.62/1517.24 c 1461s| 3900k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 82k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1520.21/1520.87 c 1464s| 3910k| 268 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 83k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1523.91/1524.53 c 1468s| 3920k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 83k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1527.51/1528.13 c 1471s| 3930k| 268 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 83k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1531.10/1531.78 c 1475s| 3940k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 83k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1535.11/1535.77 c 1479s| 3950k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 84k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1538.90/1539.51 c 1482s| 3960k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 84k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1542.61/1543.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1542.61/1543.28 c 1486s| 3970k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 84k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1546.40/1547.10 c 1490s| 3980k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 84k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1550.20/1550.81 c 1493s| 3990k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 85k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1553.71/1554.39 c 1497s| 4000k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 85k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1557.60/1558.25 c 1500s| 4010k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 85k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1561.20/1561.87 c 1504s| 4020k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 85k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1564.89/1565.54 c 1507s| 4030k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 85k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1568.69/1569.34 c 1511s| 4040k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 86k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1572.40/1573.02 c 1515s| 4050k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 86k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1575.99/1576.60 c 1518s| 4060k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 86k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1579.59/1580.25 c 1522s| 4070k| 268 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 86k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1583.29/1583.96 c 1525s| 4080k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 86k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1587.08/1587.74 c 1529s| 4090k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 87k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1590.88/1591.55 c 1532s| 4100k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 87k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1594.79/1595.40 c 1536s| 4110k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 87k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1598.69/1599.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1598.69/1599.38 c 1540s| 4120k| 268 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 88k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1602.58/1603.29 c 1544s| 4130k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 88k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1606.39/1607.06 c 1547s| 4140k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 88k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1610.28/1610.94 c 1551s| 4150k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 89k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1614.07/1614.75 c 1555s| 4160k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 89k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1617.97/1618.67 c 1559s| 4170k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 90k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1621.67/1622.37 c 1562s| 4180k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 90k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1625.36/1626.02 c 1566s| 4190k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 90k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1629.06/1629.72 c 1569s| 4200k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 90k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1632.66/1633.36 c 1573s| 4210k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 90k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1636.36/1637.09 c 1576s| 4220k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 91k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1640.15/1640.86 c 1580s| 4230k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 91k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1643.76/1644.41 c 1583s| 4240k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 91k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1647.45/1648.16 c 1587s| 4250k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 91k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1651.16/1651.89 c 1590s| 4260k| 267 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 92k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1654.76/1655.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1654.76/1655.49 c 1594s| 4270k| 268 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 92k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1658.66/1659.31 c 1598s| 4280k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 92k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1662.15/1662.86 c 1601s| 4290k| 268 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 92k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1665.76/1666.45 c 1604s| 4300k| 265 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 92k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1669.35/1670.00 c 1608s| 4310k| 268 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 92k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1672.95/1673.65 c 1611s| 4320k| 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 93k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1676.55/1677.22 c 1615s| 4330k| 276 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 93k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1680.25/1680.90 c 1618s| 4340k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 93k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1683.85/1684.55 c 1622s| 4350k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 93k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1687.54/1688.23 c 1625s| 4360k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 94k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1691.14/1691.89 c 1629s| 4370k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 94k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1694.83/1695.56 c 1632s| 4380k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 94k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1698.54/1699.24 c 1636s| 4390k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 94k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1702.05/1702.74 c 1639s| 4400k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 95k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1705.53/1706.28 c 1643s| 4410k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 95k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1709.23/1709.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1709.23/1709.92 c 1646s| 4420k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 95k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1712.93/1713.60 c 1650s| 4430k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 95k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1716.53/1717.22 c 1653s| 4440k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 96k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1720.03/1720.78 c 1657s| 4450k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 96k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1723.63/1724.38 c 1660s| 4460k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 96k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1727.23/1727.93 c 1664s| 4470k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 96k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1730.92/1731.60 c 1667s| 4480k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 96k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1734.43/1735.16 c 1670s| 4490k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 97k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1738.02/1738.73 c 1674s| 4500k| 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 97k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1741.63/1742.31 c 1677s| 4510k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 97k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1745.22/1745.93 c 1681s| 4520k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 97k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1748.82/1749.54 c 1684s| 4530k| 275 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 98k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1752.32/1753.02 c 1688s| 4540k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 98k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1756.02/1756.74 c 1691s| 4550k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 98k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1759.82/1760.51 c 1695s| 4560k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 98k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1763.51/1764.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1763.51/1764.26 c 1698s| 4570k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 99k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1767.22/1767.93 c 1702s| 4580k| 271 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 99k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1770.81/1771.50 c 1705s| 4590k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 99k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1774.51/1775.20 c 1709s| 4600k| 270 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 99k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1778.02/1778.75 c 1712s| 4610k| 272 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 100k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1781.61/1782.30 c 1716s| 4620k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 100k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1785.21/1785.97 c 1719s| 4630k| 274 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 100k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1789.11/1789.85 c 1723s| 4640k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 100k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1792.91/1793.63 c 1727s| 4650k| 269 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 101k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1796.61/1797.35 c 1730s| 4660k| 273 | 55402 | 0.0 | 30M| 304 | - |1429 |2742 | 0 | 0 | 166 | 101k| 33 | 1.000000e+03 | 1.160000e+03 | 16.00%
1800.01/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.71 c
1800.01/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.71 c Solving Time (sec) : 1733.50
1800.01/1800.71 c Solving Nodes : 4668954
1800.01/1800.71 c Primal Bound : +1.16000000000000e+03 (33 solutions)
1800.01/1800.71 c Dual Bound : +1.00000000000000e+03
1800.01/1800.71 c Gap : 16.00 %
1800.01/1800.72 s SATISFIABLE
1800.01/1800.72 v -x1968 -x1967 x1966 -x1965 -x1964 -x1963 x1962 x1961 x1960 x1959 -x1958 x1957 x1956 x1955 x1954 x1953 x1952 x1951 -x1950 -x1949
1800.01/1800.72 v x1948 -x1947 x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 x1939 -x1938 -x1937 x1936 -x1935 -x1934 -x1933 x1932 -x1931 -x1930
1800.01/1800.72 v x1929 -x1928 x1927 -x1926 x1925 x1924 -x1923 -x1922 x1921 -x1920 -x1919 x1918 x1917 -x1916 -x1915 -x1914 x1913 x1912 x1911
1800.01/1800.72 v x1910 -x1909 -x1908 -x1907 x1906 x1905 -x1904 -x1903 x1902 x1901 x1900 -x1899 x1898 x1897 -x1896 x1895 x1894 -x1893 -x1892
1800.01/1800.72 v -x1891 x1890 x1889 -x1888 -x1887 x1886 -x1885 x1884 -x1883 -x1882 x1881 x1880 x1879 x1878 -x1877 x1876 x1875 x1874 -x1873 -x1872
1800.01/1800.72 v x1871 -x1870 x1869 -x1868 x1867 -x1866 x1865 x1864 x1863 x1862 x1861 x1860 x1859 x1858 -x1857 -x1856 -x1855 x1854 -x1853
1800.01/1800.72 v x1852 x1851 -x1850 x1849 -x1848 x1847 x1846 x1845 x1844 -x1843 x1842 x1841 x1840 x1839 x1838 -x1837 -x1836 x1835 x1834 x1833
1800.01/1800.72 v -x1832 x1831 x1830 -x1829 x1828 -x1827 -x1826 -x1825 -x1824 x1823 x1822 -x1821 -x1820 -x1819 x1818 x1817 x1816 -x1815 -x1814
1800.01/1800.72 v x1813 x1812 -x1811 -x1810 x1809 -x1808 x1807 -x1806 x1805 -x1804 x1803 -x1802 x1801 x1800 -x1799 x1798 x1797 -x1796 -x1795 x1794
1800.01/1800.72 v -x1793 -x1792 x1791 -x1790 -x1789 x1788 -x1787 x1786 x1785 -x1784 x1783 x1782 x1781 x1780 x1779 x1778 -x1777 -x1776 -x1775
1800.01/1800.72 v -x1774 -x1773 x1772 x1771 -x1770 -x1769 -x1768 x1767 x1766 x1765 x1764 x1763 x1762 -x1761 -x1760 x1759 x1758 -x1757 x1756 x1755
1800.01/1800.72 v x1754 -x1753 x1752 x1751 x1750 x1749 x1748 -x1747 x1746 x1745 x1744 x1743 -x1742 x1741 x1740 x1739 x1738 x1737 x1736 x1735
1800.01/1800.72 v x1734 x1733 -x1732 x1731 x1730 x1729 -x1728 x1727 x1726 x1725 x1724 x1723 x1722 x1721 x1720 x1719 -x1718 x1717 x1716 x1715
1800.01/1800.72 v -x1714 x1713 x1712 -x1711 -x1710 x1709 x1708 -x1707 x1706 x1705 x1704 x1703 x1702 x1701 x1700 x1699 -x1698 -x1697 x1696 -x1695
1800.01/1800.72 v x1694 x1693 x1692 x1691 -x1690 x1689 x1688 -x1687 -x1686 -x1685 x1684 x1683 x1682 x1681 x1680 -x1679 x1678 x1677 -x1676 -x1675
1800.01/1800.72 v -x1674 x1673 x1672 -x1671 x1670 x1669 -x1668 x1667 x1666 -x1665 -x1664 x1663 x1662 -x1661 -x1660 -x1659 x1658 x1657 -x1656
1800.01/1800.72 v x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 x1648 -x1647 -x1646 -x1645 -x1644 x1643 x1642 -x1641 x1640 -x1639 -x1638 x1637
1800.01/1800.72 v -x1636 -x1635 -x1634 x1633 x1632 -x1631 x1630 -x1629 -x1628 x1627 x1626 x1625 x1624 -x1623 x1622 x1621 x1620 x1619 x1618
1800.01/1800.72 v -x1617 x1616 x1615 x1614 x1613 x1612 -x1611 -x1610 -x1609 x1608 x1607 -x1606 x1605 x1604 -x1603 x1602 x1601 x1600 x1599 x1598
1800.01/1800.72 v x1597 x1596 x1595 x1594 x1593 x1592 x1591 x1590 x1589 x1588 x1587 x1586 -x1585 x1584 -x1583 x1582 x1581 -x1580 -x1579 -x1578
1800.01/1800.72 v -x1577 x1576 -x1575 -x1574 x1573 x1572 x1571 -x1570 -x1569 x1568 -x1567 -x1566 x1565 -x1564 x1563 x1562 -x1561 x1560 x1559
1800.01/1800.72 v x1558 -x1557 x1556 x1555 x1554 x1553 x1552 x1551 -x1550 x1549 -x1548 x1547 x1546 -x1545 x1544 -x1543 x1542 x1541 x1540 x1539
1800.01/1800.72 v x1538 x1537 x1536 -x1535 x1534 x1533 x1532 x1531 x1530 -x1529 x1528 -x1527 x1526 x1525 -x1524 x1523 x1522 x1521 -x1520 x1519
1800.01/1800.72 v -x1518 x1517 x1516 -x1515 -x1514 x1513 x1512 x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 x1503 x1502 x1501 -x1500
1800.01/1800.72 v -x1499 x1498 x1497 -x1496 x1495 -x1494 -x1493 x1492 x1491 -x1490 x1489 -x1488 -x1487 -x1486 x1485 x1484 x1483 x1482 x1481 -x1480
1800.01/1800.72 v -x1479 -x1478 x1477 -x1476 -x1475 x1474 x1473 x1472 x1471 -x1470 -x1469 x1468 x1467 x1466 -x1465 x1464 -x1463 -x1462 -x1461
1800.01/1800.72 v -x1460 -x1459 x1458 -x1457 x1456 x1455 -x1454 x1453 -x1452 x1451 x1450 -x1449 x1448 -x1447 x1446 -x1445 -x1444 x1443 x1442
1800.01/1800.72 v -x1441 x1440 x1439 -x1438 x1437 -x1436 x1435 x1434 -x1433 -x1432 -x1431 x1430 -x1429 x1428 x1427 x1426 x1425 x1424 x1423 x1422
1800.01/1800.72 v x1421 x1420 x1419 x1418 x1417 x1416 -x1415 x1414 x1413 -x1412 x1411 x1410 x1409 -x1408 x1407 x1406 x1405 x1404 x1403 -x1402
1800.01/1800.72 v x1401 -x1400 x1399 x1398 x1397 x1396 x1395 x1394 x1393 x1392 -x1391 -x1390 x1389 -x1388 x1387 x1386 x1385 -x1384 -x1383 x1382
1800.01/1800.72 v x1381 -x1380 x1379 x1378 x1377 -x1376 x1375 -x1374 x1373 x1372 -x1371 x1370 -x1369 x1368 x1367 x1366 x1365 -x1364 -x1363 -x1362
1800.01/1800.72 v x1361 -x1360 x1359 x1358 -x1357 x1356 x1355 x1354 x1353 x1352 x1351 x1350 -x1349 x1348 -x1347 -x1346 -x1345 x1344 x1343
1800.01/1800.72 v x1342 x1341 x1340 x1339 -x1338 x1337 -x1336 x1335 -x1334 x1333 x1332 x1331 x1330 -x1329 -x1328 x1327 -x1326 x1325 x1324 x1323
1800.01/1800.72 v x1322 x1321 x1320 -x1319 x1318 x1317 -x1316 x1315 x1314 x1313 -x1312 x1311 x1310 -x1309 x1308 x1307 x1306 x1305 x1304 -x1303
1800.01/1800.72 v x1302 x1301 x1300 x1299 x1298 x1297 x1296 -x1295 x1294 x1293 -x1292 -x1291 x1290 x1289 x1288 x1287 x1286 x1285 x1284 x1283
1800.01/1800.72 v x1282 x1281 -x1280 x1279 x1278 -x1277 x1276 -x1275 x1274 -x1273 x1272 x1271 x1270 x1269 -x1268 x1267 -x1266 -x1265 -x1264 x1263
1800.01/1800.72 v -x1262 -x1261 -x1260 x1259 x1258 x1257 x1256 x1255 x1254 x1253 -x1252 x1251 -x1250 x1249 x1248 x1247 -x1246 -x1245 -x1244
1800.01/1800.72 v x1243 x1242 -x1241 x1240 -x1239 x1238 x1237 x1236 x1235 x1234 x1233 x1232 x1231 x1230 x1229 x1228 x1227 x1226 x1225 x1224 x1223
1800.01/1800.72 v x1222 x1221 -x1220 -x1219 -x1218 -x1217 x1216 x1215 -x1214 x1213 -x1212 x1211 x1210 x1209 x1208 x1207 x1206 x1205 -x1204 -x1203
1800.01/1800.72 v x1202 x1201 x1200 -x1199 x1198 x1197 x1196 x1195 x1194 -x1193 x1192 x1191 x1190 x1189 x1188 -x1187 x1186 -x1185 x1184 x1183
1800.01/1800.72 v x1182 x1181 x1180 x1179 x1178 -x1177 x1176 -x1175 x1174 x1173 x1172 x1171 x1170 x1169 x1168 x1167 -x1166 x1165 x1164 -x1163
1800.01/1800.72 v x1162 x1161 x1160 x1159 x1158 x1157 x1156 -x1155 x1154 x1153 -x1152 -x1151 x1150 x1149 x1148 x1147 x1146 x1145 x1144 -x1143
1800.01/1800.72 v -x1142 x1141 x1140 x1139 x1138 x1137 x1136 -x1135 x1134 x1133 x1132 x1131 x1130 x1129 x1128 x1127 x1126 x1125 x1124 x1123
1800.01/1800.72 v x1122 x1121 x1120 x1119 -x1118 -x1117 -x1116 -x1115 x1114 -x1113 x1112 x1111 -x1110 x1109 x1108 x1107 x1106 x1105 x1104 x1103
1800.01/1800.72 v x1102 x1101 x1100 x1099 x1098 -x1097 x1096 x1095 x1094 x1093 x1092 -x1091 x1090 x1089 -x1088 x1087 x1086 -x1085 -x1084 x1083
1800.01/1800.72 v x1082 x1081 x1080 -x1079 -x1078 x1077 x1076 x1075 -x1074 -x1073 x1072 x1071 x1070 x1069 x1068 -x1067 x1066 x1065 x1064 x1063
1800.01/1800.72 v x1062 x1061 x1060 -x1059 -x1058 x1057 x1056 -x1055 x1054 x1053 x1052 x1051 -x1050 -x1049 x1048 -x1047 x1046 -x1045 -x1044 x1043
1800.01/1800.72 v x1042 x1041 x1040 x1039 x1038 x1037 -x1036 x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 x1026 x1025 x1024
1800.01/1800.72 v x1023 -x1022 x1021 -x1020 x1019 x1018 x1017 -x1016 x1015 x1014 x1013 -x1012 -x1011 -x1010 x1009 x1008 x1007 x1006 -x1005 -x1004
1800.01/1800.72 v -x1003 x1002 -x1001 -x1000 -x999 x998 -x997 x996 -x995 x994 x993 x992 x991 x990 x989 x988 -x987 -x986 x985 x984 x983 -x982
1800.01/1800.72 v x981 -x980 x979 x978 x977 x976 x975 x974 -x973 x972 x971 x970 x969 x968 -x967 -x966 x965 x964 x963 x962 -x961 -x960 x959 -x958
1800.01/1800.72 v -x957 x956 -x955 x954 -x953 x952 x951 -x950 x949 x948 x947 x946 x945 -x944 -x943 x942 x941 -x940 -x939 x938 x937 x936 -x935
1800.01/1800.72 v -x934 -x933 x932 -x931 -x930 x929 -x928 -x927 x926 x925 x924 x923 x922 x921 x920 x919 x918 x917 x916 -x915 -x914 x913 x912
1800.01/1800.72 v x911 x910 x909 x908 x907 x906 -x905 -x904 x903 x902 x901 x900 -x899 -x898 x897 -x896 x895 x894 x893 -x892 -x891 x890 x889 -x888
1800.01/1800.72 v x887 x886 -x885 x884 x883 x882 x881 x880 -x879 x878 x877 -x876 x875 x874 x873 x872 x871 x870 x869 x868 -x867 x866 -x865
1800.01/1800.72 v x864 x863 x862 x861 x860 x859 x858 -x857 -x856 x855 x854 x853 x852 x851 -x850 x849 -x848 -x847 x846 x845 x844 -x843 x842 -x841
1800.01/1800.72 v x840 x839 x838 -x837 x836 x835 x834 x833 x832 x831 x830 x829 x828 x827 x826 x825 -x824 x823 -x822 -x821 x820 -x819 -x818 x817
1800.01/1800.72 v -x816 -x815 x814 x813 x812 x811 -x810 -x809 x808 -x807 x806 x805 x804 -x803 x802 -x801 -x800 x799 -x798 -x797 -x796 -x795
1800.01/1800.72 v x794 x793 -x792 x791 x790 x789 x788 x787 x786 x785 -x784 x783 x782 -x781 -x780 x779 x778 x777 x776 x775 x774 x773 x772 x771 -x770
1800.01/1800.72 v -x769 x768 x767 x766 x765 x764 x763 x762 -x761 -x760 x759 x758 x757 -x756 x755 x754 -x753 -x752 x751 x750 x749 -x748 -x747
1800.01/1800.72 v -x746 -x745 x744 -x743 -x742 -x741 x740 x739 x738 -x737 -x736 -x735 x734 -x733 x732 -x731 x730 -x729 x728 -x727 x726 x725
1800.01/1800.72 v -x724 x723 -x722 -x721 -x720 x719 x718 -x717 x716 x715 x714 x713 -x712 x711 x710 x709 x708 x707 x706 x705 x704 x703 -x702 -x701
1800.01/1800.72 v -x700 x699 -x698 x697 x696 x695 x694 -x693 x692 -x691 x690 -x689 x688 -x687 x686 x685 x684 -x683 x682 -x681 -x680 x679 x678
1800.01/1800.72 v x677 -x676 -x675 -x674 x673 x672 -x671 x670 x669 x668 x667 x666 -x665 x664 x663 x662 x661 x660 -x659 -x658 x657 x656 x655 x654
1800.01/1800.72 v x653 -x652 x651 x650 x649 x648 -x647 -x646 -x645 x644 -x643 -x642 -x641 x640 x639 x638 x637 -x636 -x635 x634 x633 -x632 x631
1800.01/1800.72 v -x630 -x629 x628 -x627 x626 x625 x624 -x623 x622 x621 -x620 x619 x618 x617 x616 x615 -x614 -x613 -x612 x611 x610 x609 x608
1800.01/1800.72 v x607 -x606 -x605 x604 x603 x602 x601 -x600 x599 x598 x597 x596 x595 -x594 x593 x592 -x591 x590 x589 -x588 x587 -x586 -x585
1800.01/1800.72 v x584 x583 x582 -x581 x580 -x579 -x578 x577 x576 x575 -x574 -x573 -x572 x571 x570 -x569 x568 -x567 -x566 -x565 x564 x563 x562
1800.01/1800.72 v x561 -x560 x559 x558 -x557 x556 x555 x554 -x553 x552 -x551 x550 -x549 x548 x547 x546 x545 -x544 x543 x542 x541 x540 -x539 -x538
1800.01/1800.72 v x537 x536 x535 x534 -x533 -x532 -x531 x530 x529 -x528 x527 -x526 x525 x524 -x523 -x522 -x521 x520 x519 x518 x517 x516 -x515
1800.01/1800.72 v x514 x513 -x512 x511 x510 -x509 x508 -x507 -x506 x505 x504 x503 x502 x501 -x500 x499 -x498 -x497 x496 x495 -x494 x493 x492
1800.01/1800.72 v x491 x490 -x489 x488 -x487 x486 x485 x484 x483 x482 x481 x480 -x479 -x478 x477 -x476 x475 x474 x473 -x472 -x471 -x470 x469 -x468
1800.01/1800.72 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.01/1800.72 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.01/1800.72 v x421 x420 -x419 -x418 x417 -x416 x415 x414 -x413 -x412 -x411 -x410 x409 x408 -x407 x406 x405 -x404 x403 x402 x401 -x400 x399
1800.01/1800.72 v -x398 -x397 -x396 x395 -x394 -x393 x392 -x391 -x390 -x389 x388 x387 -x386 -x385 x384 x383 x382 -x381 x380 -x379 -x378 -x377
1800.01/1800.72 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.01/1800.72 v x353 -x352 -x351 -x350 x349 x348 -x347 x346 x345 x344 x343 -x342 -x341 -x340 x339 -x338 x337 -x336 x335 x334 x333 -x332
1800.01/1800.72 v x331 x330 x329 -x328 x327 x326 -x325 x324 x323 x322 x321 x320 -x319 -x318 x317 -x316 -x315 x314 x313 -x312 -x311 x310 -x309 x308
1800.01/1800.72 v x307 x306 -x305 -x304 x303 -x302 -x301 -x300 x299 x298 x297 -x296 -x295 -x294 x293 -x292 -x291 x290 -x289 -x288 x287 -x286
1800.01/1800.72 v -x285 -x284 -x283 x282 -x281 -x280 x279 x278 x277 x276 -x275 x274 x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264
1800.01/1800.72 v x263 -x262 x261 -x260 x259 -x258 -x257 x256 x255 -x254 -x253 x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 x243 x242 -x241
1800.01/1800.72 v x240 x239 x238 -x237 x236 x235 x234 x233 -x232 -x231 x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219
1800.01/1800.72 v x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 x210 -x209 x208 -x207 -x206 -x205 x204 -x203 -x202 x201 -x200 -x199 -x198 x197
1800.01/1800.72 v x196 x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 x178 x177 -x176 x175
1800.01/1800.72 v -x174 x173 x172 x171 -x170 x169 -x168 -x167 -x166 -x165 x164 -x163 -x162 x161 -x160 x159 x158 -x157 x156 -x155 x154 -x153 -x152
1800.01/1800.72 v x151 -x150 x149 -x148 -x147 x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 x137 -x136 -x135 -x134 -x133 -x132 x131
1800.01/1800.72 v -x130 -x129 x128 x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 x119 x118 -x117 x116 x115 -x114 x113 -x112 -x111 x110 -x109 -x108
1800.01/1800.72 v 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.01/1800.72 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
1800.01/1800.72 v -x56 -x55 -x54 x53 x52 x51 -x50 -x49 x48 x47 -x46 -x45 x44 -x43 x42 -x41 x40 -x39 -x38 -x37 x36 x35 -x34 -x33 -x32 -x31 -x30
1800.01/1800.72 v -x29 -x28 -x27 x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 x5 -x4 x3
1800.01/1800.72 v x2 -x1
1800.01/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.72 c Solving Time : 1733.50
1800.01/1800.72 c Original Problem :
1800.01/1800.72 c Problem name : HOME/instance-2665573-1276396449.opb
1800.01/1800.72 c Variables : 1968 (1968 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.72 c Constraints : 4000 initial, 4000 maximal
1800.01/1800.72 c Presolved Problem :
1800.01/1800.72 c Problem name : t_HOME/instance-2665573-1276396449.opb
1800.01/1800.72 c Variables : 1429 (1429 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.72 c Constraints : 2742 initial, 2742 maximal
1800.01/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.72 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.72 c dualfix : 0.01 251 0 0 0 0 0 0 0
1800.01/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c probing : 0.02 0 0 0 0 0 0 0 0
1800.01/1800.72 c linear : 0.04 0 288 0 0 0 1258 0 0
1800.01/1800.72 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.01/1800.72 c root node : - 0 - - 0 - - - -
1800.01/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.72 c integral : 0 0 0 1 0 0 0 0 0 2
1800.01/1800.72 c logicor : 2742+ 51 5057858 0 0 101588 19391770 0 0 0
1800.01/1800.72 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.72 c integral : 29.20 0.00 0.00 29.20 0.00
1800.01/1800.72 c logicor : 199.96 0.01 199.95 0.00 0.00
1800.01/1800.72 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.72 c vbounds : 5.29 2 0 0
1800.01/1800.72 c rootredcost : 4.23 0 0 0
1800.01/1800.72 c pseudoobj : 1041.66 8560112 2246331 34954803
1800.01/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.72 c propagation : 142.06 101588 101588 101588 264.4 0 0.0 -
1800.01/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.72 c applied globally : - - - 0 0.0 - - -
1800.01/1800.72 c applied locally : - - - 101588 264.4 - - -
1800.01/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.72 c cut pool : 0.15 50 - - 58 - (maximal pool size: 1219)
1800.01/1800.72 c redcost : 0.00 51 0 0 0 0
1800.01/1800.72 c impliedbounds : 0.01 51 0 0 0 0
1800.01/1800.72 c intobj : 0.00 0 0 0 0 0
1800.01/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.72 c gomory : 11.83 51 0 0 24913 0
1800.01/1800.72 c strongcg : 2.04 20 0 0 10000 0
1800.01/1800.72 c cmir : 0.19 10 0 0 0 0
1800.01/1800.72 c flowcover : 0.15 10 0 0 0 0
1800.01/1800.72 c clique : 0.01 51 0 0 1 0
1800.01/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.72 c mcf : 0.02 1 0 0 0 0
1800.01/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.72 c Pricers : Time Calls Vars
1800.01/1800.72 c problem variables: 0.00 0 0
1800.01/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.72 c relpscost : 29.20 1 0 0 0 0 2
1800.01/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.72 c inference : 169.91 2352819 0 0 0 0 4705638
1800.01/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.72 c random : 0.00 0 0 0 0 0 0
1800.01/1800.72 c Primal Heuristics : Time Calls Found
1800.01/1800.72 c LP solutions : 0.00 - 0
1800.01/1800.72 c pseudo solutions : 0.00 - 0
1800.01/1800.72 c crossover : 0.00 0 0
1800.01/1800.72 c oneopt : 2.99 2 1
1800.01/1800.72 c trivial : 0.00 2 3
1800.01/1800.72 c simplerounding : 0.04 51 28
1800.01/1800.72 c zirounding : 0.00 1 1
1800.01/1800.72 c rounding : 6.19 51 0
1800.01/1800.72 c shifting : 6.23 51 0
1800.01/1800.72 c intshifting : 0.00 0 0
1800.01/1800.72 c twoopt : 0.00 0 0
1800.01/1800.72 c fixandinfer : 0.00 0 0
1800.01/1800.72 c feaspump : 0.00 0 0
1800.01/1800.72 c coefdiving : 0.00 0 0
1800.01/1800.72 c pscostdiving : 0.00 0 0
1800.01/1800.72 c fracdiving : 0.00 0 0
1800.01/1800.72 c veclendiving : 0.00 0 0
1800.01/1800.72 c intdiving : 0.00 0 0
1800.01/1800.72 c actconsdiving : 0.00 0 0
1800.01/1800.72 c objpscostdiving : 0.00 0 0
1800.01/1800.72 c rootsoldiving : 0.00 0 0
1800.01/1800.72 c linesearchdiving : 0.00 0 0
1800.01/1800.72 c guideddiving : 0.00 0 0
1800.01/1800.72 c octane : 0.00 0 0
1800.01/1800.72 c rens : 0.01 0 0
1800.01/1800.72 c rins : 0.00 0 0
1800.01/1800.72 c localbranching : 0.00 0 0
1800.01/1800.72 c mutation : 0.00 0 0
1800.01/1800.72 c dins : 0.00 0 0
1800.01/1800.72 c undercover : 0.00 0 0
1800.01/1800.72 c nlp : 2.43 0 0
1800.01/1800.72 c trysol : 1.70 0 0
1800.01/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.72 c primal LP : 0.03 0 0 0.00 0.00
1800.01/1800.72 c dual LP : 43.09 51 55402 1086.31 1285.73
1800.01/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.72 c strong branching : 29.20 33 32810 994.24 1123.63
1800.01/1800.72 c (at root node) : - 33 32810 994.24 -
1800.01/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.72 c B&B Tree :
1800.01/1800.72 c number of runs : 1
1800.01/1800.72 c nodes : 4668954
1800.01/1800.72 c nodes (total) : 4668954
1800.01/1800.72 c nodes left : 275
1800.01/1800.72 c max depth : 304
1800.01/1800.72 c max depth (total): 304
1800.01/1800.72 c backtracks : 1219787 (26.1%)
1800.01/1800.72 c delayed cutoffs : 36412
1800.01/1800.72 c repropagations : 50390 (861373 domain reductions, 31785 cutoffs)
1800.01/1800.72 c avg switch length: 2.00
1800.01/1800.72 c switching time : 86.31
1800.01/1800.72 c Solution :
1800.01/1800.72 c Solutions found : 33 (3 improvements)
1800.01/1800.72 c First Solution : +1.96800000000000e+03 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.01/1800.72 c Primal Bound : +1.16000000000000e+03 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <oneopt>)
1800.01/1800.72 c Dual Bound : +1.00000000000000e+03
1800.01/1800.72 c Gap : 16.00 %
1800.01/1800.72 c Root Dual Bound : +9.99999999999998e+02
1800.01/1800.72 c Root Iterations : 55402
1800.01/1800.76 c Time complete: 1800.07.