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-2665606-1276392923.opb>
0.02/0.08 c original problem has 1964 variables (1964 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.02/0.08 c problem read
0.02/0.08 c presolving settings loaded
0.09/0.11 o 1964
0.09/0.11 c feasible solution found by trivial heuristic, objective value 1.964000e+03
0.09/0.11 c presolving:
0.09/0.13 c (round 1) 149 del vars, 149 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.14 c (round 2) 307 del vars, 707 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.15 c (round 3) 354 del vars, 822 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.15 c (round 4) 389 del vars, 944 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.16 c (round 5) 408 del vars, 991 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.16 c (round 6) 416 del vars, 1016 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.17 c (round 7) 419 del vars, 1022 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.19/0.22 c (round 8) 419 del vars, 1024 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2975 upgd conss, 7996 impls, 0 clqs
0.19/0.24 c (round 9) 420 del vars, 1025 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2975 upgd conss, 7996 impls, 0 clqs
0.19/0.24 c (round 10) 421 del vars, 1028 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2975 upgd conss, 7996 impls, 0 clqs
0.19/0.28 c (0.1s) probing: 101/1543 (6.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.28 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.28 c presolving (11 rounds):
0.19/0.28 c 421 deleted vars, 1028 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.28 c 7996 implications, 0 cliques
0.19/0.28 c presolved problem has 1543 variables (1543 bin, 0 int, 0 impl, 0 cont) and 2972 constraints
0.19/0.28 c 2972 constraints of type <logicor>
0.19/0.28 c transformed objective value is always integral (scale: 1)
0.19/0.28 c Presolving Time: 0.14
0.19/0.28 c - non default parameters ----------------------------------------------------------------------
0.19/0.28 c # SCIP version 1.2.1.2
0.19/0.28 c
0.19/0.28 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.28 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.28 c conflict/interconss = 0
0.19/0.28 c
0.19/0.28 c # should binary conflicts be preferred?
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c conflict/preferbinary = TRUE
0.19/0.28 c
0.19/0.28 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.28 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.28 c constraints/agelimit = 1
0.19/0.28 c
0.19/0.28 c # should enforcement of pseudo solution be disabled?
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c constraints/disableenfops = TRUE
0.19/0.28 c
0.19/0.28 c # frequency for displaying node information lines
0.19/0.28 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.28 c display/freq = 10000
0.19/0.28 c
0.19/0.28 c # maximal time in seconds to run
0.19/0.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28 c limits/time = 1799.93
0.19/0.28 c
0.19/0.28 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28 c limits/memory = 1620
0.19/0.28 c
0.19/0.28 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.28 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.28 c lp/solvefreq = 0
0.19/0.28 c
0.19/0.28 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.28 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.28 c lp/pricing = a
0.19/0.28 c
0.19/0.28 c # should presolving try to simplify inequalities
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c constraints/linear/simplifyinequalities = TRUE
0.19/0.28 c
0.19/0.28 c # should presolving try to simplify knapsacks
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.28 c
0.19/0.28 c # priority of node selection rule <dfs> in standard mode
0.19/0.28 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.28 c nodeselection/dfs/stdpriority = 1000000
0.19/0.28 c
0.19/0.28 c -----------------------------------------------------------------------------------------------
0.19/0.28 c start solving
0.19/0.28 c
0.19/0.28 o 1750
0.19/0.28 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.28 c t 0.2s| 1 | 0 | 0 | - |5812k| 0 | - |1543 |2972 | 0 | 0 | 0 | 0 | 0 | -- | 1.750000e+03 | Inf
0.29/0.30 o 1168
0.29/0.30 c b 0.2s| 1 | 0 | 0 | - |7426k| 0 | - |1543 |2972 |1543 |2972 | 0 | 0 | 0 | -- | 1.168000e+03 | Inf
0.39/0.41 c 0.3s| 1 | 0 | 1910 | - |7402k| 0 |1539 |1543 |2972 |1543 |2972 | 0 | 0 | 0 | 9.785000e+02 | 1.168000e+03 | 19.37%
0.89/0.96 c 0.8s| 1 | 0 | 2219 | - |7525k| 0 |1521 |1543 |2972 |1543 |2985 | 13 | 0 | 0 | 9.845000e+02 | 1.168000e+03 | 18.64%
1.39/1.42 c 1.3s| 1 | 0 | 2226 | - |7554k| 0 |1520 |1543 |2972 |1543 |2987 | 15 | 0 | 0 | 9.850000e+02 | 1.168000e+03 | 18.58%
2.10/2.11 c 1.9s| 1 | 0 | 2560 | - |7562k| 0 |1520 |1543 |2972 |1543 |2988 | 16 | 0 | 0 | 9.851250e+02 | 1.168000e+03 | 18.56%
2.59/2.62 c 2.5s| 1 | 0 | 2681 | - |7567k| 0 |1519 |1543 |2972 |1543 |2990 | 18 | 0 | 0 | 9.855000e+02 | 1.168000e+03 | 18.52%
3.19/3.24 c 3.1s| 1 | 0 | 3066 | - |7577k| 0 |1519 |1543 |2972 |1543 |2993 | 21 | 0 | 0 | 9.865000e+02 | 1.168000e+03 | 18.40%
4.19/4.20 c 4.0s| 1 | 0 | 3671 | - |7838k| 0 |1514 |1543 |2972 |1543 |2999 | 27 | 0 | 0 | 9.885000e+02 | 1.168000e+03 | 18.16%
4.79/4.89 c 4.7s| 1 | 0 | 4142 | - |8032k| 0 |1505 |1543 |2972 |1543 |3005 | 33 | 0 | 0 | 9.905000e+02 | 1.168000e+03 | 17.92%
6.69/6.72 c 6.5s| 1 | 0 | 5010 | - |8307k| 0 |1496 |1543 |2972 |1543 |3008 | 36 | 0 | 0 | 9.910000e+02 | 1.168000e+03 | 17.86%
8.19/8.29 c 8.1s| 1 | 0 | 5819 | - |8682k| 0 |1506 |1543 |2972 |1543 |3011 | 39 | 0 | 0 | 9.920000e+02 | 1.168000e+03 | 17.74%
9.49/9.59 c 9.3s| 1 | 0 | 7082 | - |8828k| 0 |1515 |1543 |2972 |1543 |3016 | 44 | 0 | 0 | 9.925000e+02 | 1.168000e+03 | 17.68%
10.79/10.81 c 10.6s| 1 | 0 | 8318 | - |9447k| 0 |1514 |1543 |2972 |1543 |3021 | 49 | 0 | 0 | 9.938333e+02 | 1.168000e+03 | 17.52%
11.39/11.49 c 11.2s| 1 | 0 | 8753 | - |9509k| 0 |1491 |1543 |2972 |1543 |3025 | 53 | 0 | 0 | 9.945000e+02 | 1.168000e+03 | 17.45%
12.39/12.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.39/12.40 c 12.1s| 1 | 0 | 9271 | - |9634k| 0 |1483 |1543 |2972 |1543 |3026 | 54 | 0 | 0 | 9.945000e+02 | 1.168000e+03 | 17.45%
14.39/14.40 c 14.1s| 1 | 0 | 10564 | - | 10M| 0 |1487 |1543 |2972 |1543 |3028 | 56 | 0 | 0 | 9.945000e+02 | 1.168000e+03 | 17.45%
15.29/15.35 c 15.1s| 1 | 0 | 11362 | - | 10M| 0 |1478 |1543 |2972 |1543 |3031 | 59 | 0 | 0 | 9.950000e+02 | 1.168000e+03 | 17.39%
16.79/16.89 c 16.6s| 1 | 0 | 12627 | - | 11M| 0 |1469 |1543 |2972 |1543 |3036 | 64 | 0 | 0 | 9.955000e+02 | 1.168000e+03 | 17.33%
18.69/18.73 c 18.4s| 1 | 0 | 13947 | - | 12M| 0 |1474 |1543 |2972 |1543 |3035 | 68 | 0 | 0 | 9.960000e+02 | 1.168000e+03 | 17.27%
19.98/20.04 c 19.7s| 1 | 0 | 14899 | - | 12M| 0 |1514 |1543 |2972 |1543 |3036 | 69 | 0 | 0 | 9.964167e+02 | 1.168000e+03 | 17.22%
21.08/21.15 c 20.8s| 1 | 0 | 15596 | - | 13M| 0 |1499 |1543 |2972 |1543 |3039 | 72 | 0 | 0 | 9.966667e+02 | 1.168000e+03 | 17.19%
22.79/22.87 c 22.5s| 1 | 0 | 17004 | - | 13M| 0 |1452 |1543 |2972 |1543 |3041 | 74 | 0 | 0 | 9.970000e+02 | 1.168000e+03 | 17.15%
24.09/24.13 c 23.7s| 1 | 0 | 17994 | - | 14M| 0 |1482 |1543 |2972 |1543 |3043 | 76 | 0 | 0 | 9.970000e+02 | 1.168000e+03 | 17.15%
26.18/26.26 c 25.8s| 1 | 0 | 19846 | - | 15M| 0 |1520 |1543 |2972 |1543 |3047 | 80 | 0 | 0 | 9.975000e+02 | 1.168000e+03 | 17.09%
27.78/27.84 c 27.4s| 1 | 0 | 21109 | - | 15M| 0 |1532 |1543 |2972 |1543 |3042 | 82 | 0 | 0 | 9.980000e+02 | 1.168000e+03 | 17.03%
29.98/30.08 c 29.6s| 1 | 0 | 22887 | - | 15M| 0 |1463 |1543 |2972 |1543 |3046 | 86 | 0 | 0 | 9.980000e+02 | 1.168000e+03 | 17.03%
32.08/32.12 c 31.6s| 1 | 0 | 24677 | - | 15M| 0 |1493 |1543 |2972 |1543 |3048 | 88 | 0 | 0 | 9.980000e+02 | 1.168000e+03 | 17.03%
34.58/34.66 c 34.1s| 1 | 0 | 26775 | - | 15M| 0 |1459 |1543 |2972 |1543 |3052 | 92 | 0 | 0 | 9.980000e+02 | 1.168000e+03 | 17.03%
37.39/37.42 c 36.9s| 1 | 0 | 29162 | - | 15M| 0 |1491 |1543 |2972 |1543 |3056 | 96 | 0 | 0 | 9.990000e+02 | 1.168000e+03 | 16.92%
39.97/40.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.97/40.01 c 39.4s| 1 | 0 | 31522 | - | 16M| 0 |1510 |1543 |2972 |1543 |3059 | 99 | 0 | 0 | 9.998333e+02 | 1.168000e+03 | 16.82%
42.98/43.00 c 42.4s| 1 | 0 | 34252 | - | 16M| 0 |1515 |1543 |2972 |1543 |3054 | 103 | 0 | 0 | 1.000333e+03 | 1.168000e+03 | 16.76%
45.87/45.99 c 45.3s| 1 | 0 | 37160 | - | 16M| 0 |1541 |1543 |2972 |1543 |3057 | 106 | 0 | 0 | 1.000729e+03 | 1.168000e+03 | 16.71%
49.67/49.78 c 49.1s| 1 | 0 | 40517 | - | 17M| 0 |1480 |1543 |2972 |1543 |3059 | 108 | 0 | 0 | 1.001020e+03 | 1.168000e+03 | 16.68%
52.87/52.98 c 52.2s| 1 | 0 | 43530 | - | 17M| 0 |1529 |1543 |2972 |1543 |3062 | 111 | 0 | 0 | 1.001210e+03 | 1.168000e+03 | 16.66%
53.78/53.80 c 53.0s| 1 | 0 | 44006 | - | 17M| 0 |1476 |1543 |2972 |1543 |3066 | 115 | 0 | 0 | 1.001500e+03 | 1.168000e+03 | 16.63%
54.77/54.85 c 54.1s| 1 | 0 | 45005 | - | 18M| 0 |1536 |1543 |2972 |1543 |3069 | 118 | 0 | 0 | 1.001749e+03 | 1.168000e+03 | 16.60%
55.78/55.88 c 55.1s| 1 | 0 | 45654 | - | 18M| 0 |1536 |1543 |2972 |1543 |3061 | 120 | 0 | 0 | 1.001897e+03 | 1.168000e+03 | 16.58%
57.67/57.72 c 56.9s| 1 | 0 | 47553 | - | 18M| 0 |1540 |1543 |2972 |1543 |3065 | 124 | 0 | 0 | 1.002200e+03 | 1.168000e+03 | 16.54%
59.07/59.11 c 58.3s| 1 | 0 | 48366 | - | 19M| 0 |1530 |1543 |2972 |1543 |3068 | 127 | 0 | 0 | 1.002329e+03 | 1.168000e+03 | 16.53%
60.07/60.11 c 59.3s| 1 | 0 | 49275 | - | 19M| 0 |1539 |1543 |2972 |1543 |3071 | 130 | 0 | 0 | 1.002408e+03 | 1.168000e+03 | 16.52%
61.17/61.28 c 60.5s| 1 | 0 | 49935 | - | 19M| 0 |1531 |1543 |2972 |1543 |3074 | 133 | 0 | 0 | 1.002478e+03 | 1.168000e+03 | 16.51%
61.96/62.05 c 61.2s| 1 | 0 | 50504 | - | 19M| 0 |1529 |1543 |2972 |1543 |3076 | 135 | 0 | 0 | 1.002543e+03 | 1.168000e+03 | 16.50%
62.76/62.86 c 62.0s| 1 | 0 | 51034 | - | 20M| 0 |1536 |1543 |2972 |1543 |3068 | 137 | 0 | 0 | 1.002651e+03 | 1.168000e+03 | 16.49%
64.07/64.12 c 63.3s| 1 | 0 | 52002 | - | 20M| 0 |1523 |1543 |2972 |1543 |3070 | 139 | 0 | 0 | 1.002854e+03 | 1.168000e+03 | 16.47%
65.06/65.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.06/65.10 c 64.2s| 1 | 0 | 52896 | - | 20M| 0 |1533 |1543 |2972 |1543 |3073 | 142 | 0 | 0 | 1.002959e+03 | 1.168000e+03 | 16.46%
66.07/66.12 c 65.2s| 1 | 0 | 53667 | - | 20M| 0 |1536 |1543 |2972 |1543 |3074 | 143 | 0 | 0 | 1.002997e+03 | 1.168000e+03 | 16.45%
67.87/67.97 c 67.1s| 1 | 0 | 54216 | - | 20M| 0 |1533 |1543 |2972 |1543 |3076 | 145 | 0 | 0 | 1.003040e+03 | 1.168000e+03 | 16.45%
68.97/69.07 c 68.2s| 1 | 0 | 55187 | - | 20M| 0 |1533 |1543 |2972 |1543 |3077 | 146 | 0 | 0 | 1.003198e+03 | 1.168000e+03 | 16.43%
70.07/70.17 c 69.3s| 1 | 0 | 56144 | - | 20M| 0 |1538 |1543 |2972 |1543 |3067 | 149 | 0 | 0 | 1.003560e+03 | 1.168000e+03 | 16.39%
72.07/72.13 c 71.2s| 1 | 0 | 56348 | - | 20M| 0 |1524 |1543 |2972 |1543 |3068 | 150 | 0 | 0 | 1.003607e+03 | 1.168000e+03 | 16.38%
72.87/72.92 c 72.0s| 1 | 0 | 56657 | - | 21M| 0 |1519 |1543 |2972 |1543 |3070 | 152 | 0 | 0 | 1.003657e+03 | 1.168000e+03 | 16.37%
73.68/73.78 c 72.8s| 1 | 0 | 57131 | - | 21M| 0 |1540 |1543 |2972 |1543 |3073 | 155 | 0 | 0 | 1.003692e+03 | 1.168000e+03 | 16.37%
83.07/83.19 c 82.1s| 1 | 2 | 57131 | - | 21M| 0 |1540 |1543 |2972 |1543 |3073 | 155 | 0 | 17 | 1.003692e+03 | 1.168000e+03 | 16.37%
87.16/87.28 c 86.1s| 10000 | 272 | 57131 | 0.0 | 21M| 285 | - |1543 |2972 | 0 | 0 | 155 | 193 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
91.06/91.15 c 89.8s| 20000 | 276 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 279 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
95.06/95.10 c 93.6s| 30000 | 273 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 363 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
98.87/98.99 c 97.3s| 40000 | 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 429 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
102.86/102.93 c 101s| 50000 | 271 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 502 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
106.76/106.89 c 105s| 60000 | 270 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 566 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
110.65/110.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.65/110.75 c 109s| 70000 | 273 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 629 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
114.65/114.75 c 113s| 80000 | 270 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 713 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
118.66/118.70 c 116s| 90000 | 272 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 794 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
122.55/122.68 c 120s|100000 | 272 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 892 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
126.55/126.64 c 124s|110000 | 270 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 947 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
130.55/130.61 c 128s|120000 | 275 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |1006 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
134.45/134.56 c 132s|130000 | 271 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |1069 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
138.45/138.54 c 135s|140000 | 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |1121 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
142.45/142.52 c 139s|150000 | 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |1183 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
146.35/146.47 c 143s|160000 | 273 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |1237 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
150.24/150.38 c 147s|170000 | 270 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |1282 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
154.25/154.34 c 151s|180000 | 273 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |1356 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
158.25/158.31 c 154s|190000 | 272 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |1410 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
162.14/162.22 c 158s|200000 | 272 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |1465 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
166.05/166.16 c 162s|210000 | 270 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |1527 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
169.94/170.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.94/170.02 c 166s|220000 | 273 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |1593 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
173.75/173.86 c 169s|230000 | 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |1642 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
177.74/177.80 c 173s|240000 | 271 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |1729 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
181.63/181.72 c 177s|250000 | 272 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |1798 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
185.53/185.64 c 181s|260000 | 270 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |1856 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
189.43/189.51 c 185s|270000 | 271 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |1923 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
193.33/193.43 c 188s|280000 | 270 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |1996 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
197.23/197.30 c 192s|290000 | 271 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |2071 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
201.14/201.27 c 196s|300000 | 273 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |2162 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
205.03/205.12 c 200s|310000 | 270 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |2205 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
208.84/208.99 c 203s|320000 | 271 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |2261 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
212.73/212.88 c 207s|330000 | 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |2333 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
216.73/216.82 c 211s|340000 | 273 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |2404 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
220.72/220.80 c 215s|350000 | 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |2482 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
224.53/224.69 c 218s|360000 | 272 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |2552 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
228.42/228.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
228.42/228.57 c 222s|370000 | 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |2615 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
232.32/232.47 c 226s|380000 | 271 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |2708 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
236.23/236.39 c 230s|390000 | 270 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |2791 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
240.22/240.35 c 234s|400000 | 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |2863 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
244.13/244.26 c 237s|410000 | 271 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |2921 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
248.02/248.18 c 241s|420000 | 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |2983 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
252.02/252.10 c 245s|430000 | 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |3048 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
255.82/255.97 c 249s|440000 | 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |3109 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
259.81/259.95 c 252s|450000 | 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |3165 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
263.72/263.84 c 256s|460000 | 270 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |3244 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
267.71/267.84 c 260s|470000 | 273 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |3345 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
271.62/271.76 c 264s|480000 | 271 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |3424 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
275.61/275.72 c 268s|490000 | 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |3496 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
279.51/279.66 c 271s|500000 | 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |3554 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
283.50/283.63 c 275s|510000 | 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |3628 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
287.41/287.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.41/287.59 c 279s|520000 | 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |3707 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
291.41/291.51 c 283s|530000 | 270 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |3784 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
295.31/295.43 c 287s|540000 | 271 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |3871 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
299.21/299.36 c 290s|550000 | 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |3941 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
303.10/303.24 c 294s|560000 | 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |3999 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
307.00/307.11 c 298s|570000 | 271 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |4072 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
310.80/310.99 c 302s|580000 | 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |4154 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
314.80/314.95 c 305s|590000 | 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |4249 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
318.70/318.85 c 309s|600000 | 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |4327 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
322.59/322.74 c 313s|610000 | 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |4400 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
326.50/326.65 c 317s|620000 | 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |4466 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
330.49/330.60 c 321s|630000 | 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |4528 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
334.30/334.49 c 324s|640000 | 271 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |4593 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
338.19/338.39 c 328s|650000 | 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |4653 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
342.20/342.31 c 332s|660000 | 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |4707 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
346.09/346.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
346.09/346.24 c 336s|670000 | 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |4752 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
349.99/350.16 c 339s|680000 | 270 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |4835 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
353.99/354.11 c 343s|690000 | 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |4940 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
357.79/357.96 c 347s|700000 | 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |5011 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
361.70/361.90 c 351s|710000 | 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |5083 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
365.69/365.86 c 355s|720000 | 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |5175 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
369.58/369.78 c 358s|730000 | 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |5265 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
373.49/373.66 c 362s|740000 | 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |5328 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
377.39/377.51 c 366s|750000 | 272 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |5378 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
381.18/381.35 c 369s|760000 | 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |5438 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
385.18/385.30 c 373s|770000 | 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |5513 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
389.18/389.37 c 377s|780000 | 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |5618 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
393.18/393.36 c 381s|790000 | 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |5677 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
397.18/397.37 c 385s|800000 | 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |5764 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
401.18/401.30 c 389s|810000 | 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |5826 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
405.07/405.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
405.07/405.21 c 392s|820000 | 270 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |5889 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
408.88/409.09 c 396s|830000 | 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |5957 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
412.87/413.05 c 400s|840000 | 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |6019 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
416.78/416.92 c 404s|850000 | 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |6081 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
420.66/420.86 c 407s|860000 | 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |6152 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
424.77/424.94 c 411s|870000 | 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |6278 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
428.77/428.93 c 415s|880000 | 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |6353 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
432.66/432.89 c 419s|890000 | 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |6438 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
436.57/436.75 c 423s|900000 | 270 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |6492 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
440.47/440.65 c 427s|910000 | 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |6558 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
444.37/444.56 c 430s|920000 | 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |6622 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
448.36/448.50 c 434s|930000 | 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |6697 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
452.26/452.44 c 438s|940000 | 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |6779 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
456.16/456.34 c 442s|950000 | 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |6866 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
460.05/460.28 c 446s|960000 | 272 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |6936 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
463.96/464.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
463.96/464.18 c 449s|970000 | 270 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |7025 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
467.85/468.07 c 453s|980000 | 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |7090 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
471.85/472.01 c 457s|990000 | 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |7174 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
475.66/475.89 c 461s| 1000k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |7236 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
479.65/479.89 c 464s| 1010k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |7319 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
483.65/483.83 c 468s| 1020k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |7392 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
487.65/487.81 c 472s| 1030k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |7475 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
491.56/491.74 c 476s| 1040k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |7542 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
495.45/495.67 c 480s| 1050k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |7616 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
499.34/499.59 c 483s| 1060k| 271 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |7682 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
503.35/503.58 c 487s| 1070k| 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |7757 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
507.34/507.55 c 491s| 1080k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |7830 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
511.35/511.54 c 495s| 1090k| 271 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |7909 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
515.24/515.49 c 499s| 1100k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |7970 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
519.24/519.47 c 502s| 1110k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |8047 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
523.24/523.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
523.24/523.42 c 506s| 1120k| 270 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |8100 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
527.24/527.42 c 510s| 1130k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |8162 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
531.15/531.39 c 514s| 1140k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |8222 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
535.04/535.28 c 518s| 1150k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |8277 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
538.93/539.18 c 521s| 1160k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |8327 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
542.94/543.10 c 525s| 1170k| 270 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |8376 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
546.73/546.91 c 529s| 1180k| 270 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |8425 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
550.53/550.71 c 533s| 1190k| 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |8472 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
554.43/554.66 c 536s| 1200k| 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |8532 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
558.33/558.57 c 540s| 1210k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |8587 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
562.23/562.42 c 544s| 1220k| 270 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |8648 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
566.13/566.34 c 548s| 1230k| 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |8701 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
569.93/570.14 c 551s| 1240k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |8764 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
573.82/574.00 c 555s| 1250k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |8824 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
577.62/577.82 c 559s| 1260k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |8875 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
581.53/581.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
581.53/581.71 c 562s| 1270k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |8933 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
585.42/585.64 c 566s| 1280k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |8985 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
589.22/589.46 c 570s| 1290k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |9037 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
593.12/593.36 c 574s| 1300k| 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |9105 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
597.03/597.23 c 577s| 1310k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |9169 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
600.91/601.16 c 581s| 1320k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |9232 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
604.82/605.05 c 585s| 1330k| 271 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |9278 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
608.72/608.92 c 589s| 1340k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |9328 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
612.52/612.76 c 592s| 1350k| 270 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |9376 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
616.52/616.71 c 596s| 1360k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |9447 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
620.51/620.71 c 600s| 1370k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |9520 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
624.42/624.61 c 604s| 1380k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |9570 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
628.31/628.53 c 608s| 1390k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |9626 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
632.21/632.49 c 611s| 1400k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |9707 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
636.21/636.43 c 615s| 1410k| 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |9820 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
640.10/640.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
640.10/640.38 c 619s| 1420k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |9903 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
644.00/644.28 c 623s| 1430k| 270 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 |9988 | 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
648.01/648.21 c 627s| 1440k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 10k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
651.80/652.08 c 630s| 1450k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 10k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
655.70/655.99 c 634s| 1460k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 10k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
659.71/659.99 c 638s| 1470k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 10k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
663.80/664.06 c 642s| 1480k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 10k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
667.80/668.05 c 646s| 1490k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 10k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
671.70/671.94 c 649s| 1500k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 10k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
675.60/675.88 c 653s| 1510k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 10k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
679.60/679.83 c 657s| 1520k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 10k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
683.39/683.68 c 661s| 1530k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 10k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
687.40/687.63 c 665s| 1540k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 10k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
691.29/691.53 c 668s| 1550k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 10k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
695.19/695.48 c 672s| 1560k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 11k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
699.30/699.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
699.30/699.51 c 676s| 1570k| 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 11k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
703.29/703.54 c 680s| 1580k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 11k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
707.28/707.59 c 684s| 1590k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 11k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
711.29/711.56 c 688s| 1600k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 11k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
715.28/715.59 c 692s| 1610k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 11k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
719.29/719.50 c 695s| 1620k| 270 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 11k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
723.08/723.39 c 699s| 1630k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 11k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
727.08/727.34 c 703s| 1640k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 11k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
730.98/731.25 c 707s| 1650k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 11k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
734.98/735.23 c 711s| 1660k| 272 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 11k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
738.89/739.13 c 714s| 1670k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 11k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
742.78/743.05 c 718s| 1680k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 11k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
746.69/746.97 c 722s| 1690k| 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 11k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
750.58/750.86 c 726s| 1700k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 12k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
754.57/754.82 c 729s| 1710k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 12k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
758.47/758.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
758.47/758.76 c 733s| 1720k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 12k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
762.37/762.69 c 737s| 1730k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 12k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
766.38/766.62 c 741s| 1740k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 12k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
770.27/770.59 c 745s| 1750k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 12k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
774.27/774.50 c 748s| 1760k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 12k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
778.27/778.51 c 752s| 1770k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 12k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
782.17/782.40 c 756s| 1780k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 12k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
786.06/786.40 c 760s| 1790k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 12k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
790.06/790.30 c 764s| 1800k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 12k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
793.97/794.27 c 767s| 1810k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 12k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
797.96/798.21 c 771s| 1820k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 12k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
801.96/802.25 c 775s| 1830k| 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 13k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
805.96/806.25 c 779s| 1840k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 13k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
809.96/810.21 c 783s| 1850k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 13k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
813.96/814.28 c 787s| 1860k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 13k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
818.07/818.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
818.07/818.31 c 791s| 1870k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 13k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
821.96/822.23 c 794s| 1880k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 13k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
825.95/826.20 c 798s| 1890k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 13k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
829.85/830.13 c 802s| 1900k| 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 13k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
833.65/833.94 c 806s| 1910k| 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 13k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
837.55/837.84 c 809s| 1920k| 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 13k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
841.44/841.78 c 813s| 1930k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 13k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
845.34/845.69 c 817s| 1940k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 13k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
849.35/849.69 c 821s| 1950k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 14k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
853.35/853.67 c 825s| 1960k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 14k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
857.24/857.59 c 829s| 1970k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 14k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
861.15/861.46 c 832s| 1980k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 14k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
865.15/865.43 c 836s| 1990k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 14k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
869.15/869.43 c 840s| 2000k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 14k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
873.15/873.44 c 844s| 2010k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 14k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
877.04/877.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
877.04/877.40 c 848s| 2020k| 262 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 14k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
880.94/881.29 c 851s| 2030k| 271 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 14k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
884.83/885.13 c 855s| 2040k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 14k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
888.74/889.04 c 859s| 2050k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 14k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
892.63/892.95 c 863s| 2060k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 14k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
896.63/896.98 c 866s| 2070k| 262 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 14k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
900.64/900.98 c 870s| 2080k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 15k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
904.63/904.96 c 874s| 2090k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 15k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
908.63/908.97 c 878s| 2100k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 15k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
912.63/912.96 c 882s| 2110k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 15k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
916.63/916.97 c 886s| 2120k| 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 15k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
920.63/920.96 c 890s| 2130k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 15k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
924.62/924.92 c 893s| 2140k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 15k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
928.62/928.90 c 897s| 2150k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 15k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
932.54/932.83 c 901s| 2160k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 15k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
936.43/936.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
936.43/936.75 c 905s| 2170k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 15k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
940.32/940.69 c 909s| 2180k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 15k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
944.32/944.62 c 912s| 2190k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 15k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
948.22/948.55 c 916s| 2200k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 15k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
952.12/952.47 c 920s| 2210k| 262 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 15k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
956.11/956.41 c 924s| 2220k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 15k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
960.12/960.40 c 928s| 2230k| 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 16k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
964.12/964.40 c 932s| 2240k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 16k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
968.02/968.38 c 935s| 2250k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 16k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
972.02/972.40 c 939s| 2260k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 16k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
976.02/976.31 c 943s| 2270k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 16k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
979.72/980.09 c 947s| 2280k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 16k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
983.61/983.98 c 950s| 2290k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 16k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
987.51/987.83 c 954s| 2300k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 16k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
991.41/991.71 c 958s| 2310k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 16k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
995.22/995.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
995.22/995.53 c 962s| 2320k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 16k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
999.10/999.44 c 965s| 2330k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 16k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1002.91/1003.29 c 969s| 2340k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 16k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1006.80/1007.16 c 973s| 2350k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 16k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1010.61/1010.99 c 976s| 2360k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 16k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1014.50/1014.81 c 980s| 2370k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 16k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1018.31/1018.66 c 984s| 2380k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 16k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1022.20/1022.59 c 988s| 2390k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 17k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1026.20/1026.51 c 991s| 2400k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 17k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1030.10/1030.41 c 995s| 2410k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 17k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1034.00/1034.39 c 999s| 2420k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 17k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1038.00/1038.36 c 1003s| 2430k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 17k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1041.90/1042.28 c 1007s| 2440k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 17k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1045.79/1046.14 c 1010s| 2450k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 17k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1049.69/1050.01 c 1014s| 2460k| 262 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 17k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1053.58/1053.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1053.58/1053.93 c 1018s| 2470k| 262 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 17k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1057.49/1057.87 c 1022s| 2480k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 17k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1061.49/1061.86 c 1025s| 2490k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 17k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1065.49/1065.84 c 1029s| 2500k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 17k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1069.39/1069.78 c 1033s| 2510k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 17k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1073.29/1073.66 c 1037s| 2520k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 17k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1077.19/1077.50 c 1041s| 2530k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 17k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1080.89/1081.29 c 1044s| 2540k| 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 18k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1084.78/1085.16 c 1048s| 2550k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 18k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1088.69/1089.01 c 1052s| 2560k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 18k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1092.48/1092.86 c 1055s| 2570k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 18k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1096.38/1096.73 c 1059s| 2580k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 18k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1100.27/1100.63 c 1063s| 2590k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 18k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1104.18/1104.52 c 1067s| 2600k| 271 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 18k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1108.08/1108.42 c 1070s| 2610k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 18k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1111.88/1112.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1111.88/1112.26 c 1074s| 2620k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 18k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1115.77/1116.17 c 1078s| 2630k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 18k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1119.67/1120.10 c 1082s| 2640k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 18k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1123.47/1123.87 c 1085s| 2650k| 270 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 18k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1127.27/1127.66 c 1089s| 2660k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 18k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1131.17/1131.55 c 1093s| 2670k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 18k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1135.07/1135.44 c 1096s| 2680k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 19k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1138.97/1139.33 c 1100s| 2690k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 19k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1142.97/1143.30 c 1104s| 2700k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 19k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1146.76/1147.11 c 1108s| 2710k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 19k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1150.77/1151.12 c 1112s| 2720k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 19k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1154.67/1155.06 c 1115s| 2730k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 19k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1158.56/1158.99 c 1119s| 2740k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 19k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1162.46/1162.82 c 1123s| 2750k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 19k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1166.36/1166.74 c 1127s| 2760k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 19k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1170.26/1170.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1170.26/1170.60 c 1130s| 2770k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 19k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1174.16/1174.53 c 1134s| 2780k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 19k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1177.85/1178.28 c 1138s| 2790k| 262 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 19k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1181.65/1182.09 c 1142s| 2800k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 19k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1185.55/1185.94 c 1145s| 2810k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 20k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1189.45/1189.81 c 1149s| 2820k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 20k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1193.25/1193.69 c 1153s| 2830k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 20k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1197.15/1197.55 c 1156s| 2840k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 20k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1201.05/1201.46 c 1160s| 2850k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 20k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1204.84/1205.22 c 1164s| 2860k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 20k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1208.75/1209.11 c 1168s| 2870k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 20k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1212.54/1212.91 c 1171s| 2880k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 20k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1216.34/1216.79 c 1175s| 2890k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 20k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1220.25/1220.66 c 1179s| 2900k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 20k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1224.04/1224.49 c 1182s| 2910k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 20k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1228.04/1228.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1228.04/1228.49 c 1186s| 2920k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 20k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1232.04/1232.46 c 1190s| 2930k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 21k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1235.95/1236.37 c 1194s| 2940k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 21k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1239.83/1240.25 c 1198s| 2950k| 270 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 21k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1243.64/1244.05 c 1201s| 2960k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 21k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1247.44/1247.88 c 1205s| 2970k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 21k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1251.34/1251.71 c 1209s| 2980k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 21k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1255.23/1255.65 c 1212s| 2990k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 21k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1259.04/1259.42 c 1216s| 3000k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 21k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1262.73/1263.16 c 1220s| 3010k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 21k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1266.53/1266.98 c 1223s| 3020k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 21k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1270.43/1270.84 c 1227s| 3030k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 21k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1274.23/1274.69 c 1231s| 3040k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 21k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1278.03/1278.43 c 1234s| 3050k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 21k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1281.82/1282.28 c 1238s| 3060k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 21k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1285.72/1286.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1285.72/1286.11 c 1242s| 3070k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 21k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1289.62/1290.01 c 1246s| 3080k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 21k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1293.42/1293.89 c 1249s| 3090k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 21k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1297.33/1297.72 c 1253s| 3100k| 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 22k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1301.11/1301.56 c 1257s| 3110k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 22k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1305.02/1305.42 c 1260s| 3120k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 22k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1308.71/1309.17 c 1264s| 3130k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 22k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1312.51/1312.96 c 1268s| 3140k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 22k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1316.32/1316.79 c 1271s| 3150k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 22k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1320.21/1320.68 c 1275s| 3160k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 22k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1324.11/1324.58 c 1279s| 3170k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 22k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1327.91/1328.35 c 1283s| 3180k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 22k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1331.81/1332.24 c 1286s| 3190k| 261 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 22k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1335.61/1336.03 c 1290s| 3200k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 22k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1339.32/1339.80 c 1294s| 3210k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 22k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1343.21/1343.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1343.21/1343.66 c 1297s| 3220k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 22k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1347.01/1347.43 c 1301s| 3230k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 22k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1350.70/1351.19 c 1305s| 3240k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 22k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1354.51/1354.93 c 1308s| 3250k| 262 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 22k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1358.30/1358.79 c 1312s| 3260k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 22k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1362.10/1362.53 c 1315s| 3270k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 22k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1366.00/1366.42 c 1319s| 3280k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 22k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1369.80/1370.24 c 1323s| 3290k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 22k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1373.60/1374.03 c 1327s| 3300k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 23k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1377.40/1377.84 c 1330s| 3310k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 23k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1381.29/1381.72 c 1334s| 3320k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 23k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1385.09/1385.51 c 1338s| 3330k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 23k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1388.99/1389.41 c 1341s| 3340k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 23k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1392.79/1393.23 c 1345s| 3350k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 23k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1396.69/1397.12 c 1349s| 3360k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 23k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1400.59/1401.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1400.59/1401.08 c 1353s| 3370k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 23k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1404.59/1405.04 c 1356s| 3380k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 23k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1408.49/1408.93 c 1360s| 3390k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 23k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1412.49/1412.90 c 1364s| 3400k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 23k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1416.39/1416.87 c 1368s| 3410k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 23k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1420.39/1420.80 c 1372s| 3420k| 261 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 23k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1424.28/1424.76 c 1375s| 3430k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 23k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1428.29/1428.70 c 1379s| 3440k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 23k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1432.18/1432.61 c 1383s| 3450k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 24k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1435.98/1436.42 c 1387s| 3460k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 24k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1439.78/1440.21 c 1390s| 3470k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 24k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1443.58/1444.01 c 1394s| 3480k| 262 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 24k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1447.38/1447.81 c 1398s| 3490k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 24k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1451.18/1451.61 c 1401s| 3500k| 261 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 24k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1454.98/1455.47 c 1405s| 3510k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 24k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1458.78/1459.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1458.78/1459.23 c 1409s| 3520k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 24k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1462.59/1463.08 c 1412s| 3530k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 24k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1466.38/1466.86 c 1416s| 3540k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 24k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1470.18/1470.62 c 1420s| 3550k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 24k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1473.87/1474.39 c 1423s| 3560k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 24k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1477.77/1478.29 c 1427s| 3570k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 24k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1481.67/1482.18 c 1431s| 3580k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 24k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1485.47/1485.98 c 1434s| 3590k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 24k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1489.26/1489.79 c 1438s| 3600k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 24k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1493.17/1493.69 c 1442s| 3610k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 24k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1497.06/1497.54 c 1445s| 3620k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 24k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1500.97/1501.41 c 1449s| 3630k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 25k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1504.67/1505.17 c 1453s| 3640k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 25k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1508.46/1508.94 c 1456s| 3650k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 25k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1512.36/1512.80 c 1460s| 3660k| 261 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 25k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1516.16/1516.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1516.16/1516.66 c 1464s| 3670k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 25k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1519.96/1520.47 c 1467s| 3680k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 25k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1523.76/1524.28 c 1471s| 3690k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 25k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1527.75/1528.20 c 1475s| 3700k| 262 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 25k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1531.56/1532.02 c 1479s| 3710k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 25k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1535.35/1535.81 c 1482s| 3720k| 262 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 25k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1539.04/1539.56 c 1486s| 3730k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 25k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1542.85/1543.36 c 1490s| 3740k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 25k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1546.73/1547.21 c 1493s| 3750k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 25k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1550.54/1551.07 c 1497s| 3760k| 262 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 25k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1554.53/1555.01 c 1501s| 3770k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 25k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1558.34/1558.82 c 1504s| 3780k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 25k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1562.13/1562.63 c 1508s| 3790k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 25k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1565.94/1566.43 c 1512s| 3800k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 25k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1569.63/1570.17 c 1515s| 3810k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 25k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1573.43/1573.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1573.43/1573.93 c 1519s| 3820k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 26k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1577.13/1577.68 c 1523s| 3830k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 26k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1580.92/1581.41 c 1526s| 3840k| 261 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 26k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1584.83/1585.30 c 1530s| 3850k| 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 26k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1588.73/1589.22 c 1534s| 3860k| 261 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 26k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1592.43/1592.99 c 1537s| 3870k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 26k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1596.33/1596.89 c 1541s| 3880k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 26k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1600.38/1601.04 c 1545s| 3890k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 26k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1604.36/1605.00 c 1549s| 3900k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 26k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1608.16/1608.90 c 1553s| 3910k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 26k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1612.06/1612.73 c 1556s| 3920k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 26k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1615.86/1616.52 c 1560s| 3930k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 26k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1619.66/1620.38 c 1564s| 3940k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 26k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1623.66/1624.32 c 1567s| 3950k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 27k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1627.37/1628.07 c 1571s| 3960k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 27k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1631.25/1631.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1631.25/1631.90 c 1575s| 3970k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 27k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1634.95/1635.63 c 1578s| 3980k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 27k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1638.65/1639.38 c 1582s| 3990k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 27k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1642.45/1643.19 c 1586s| 4000k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 27k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1646.35/1647.02 c 1589s| 4010k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 27k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1650.15/1650.82 c 1593s| 4020k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 27k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1653.94/1654.67 c 1597s| 4030k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 27k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1657.84/1658.50 c 1600s| 4040k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 27k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1661.54/1662.26 c 1604s| 4050k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 27k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1665.24/1665.98 c 1608s| 4060k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 27k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1669.05/1669.75 c 1611s| 4070k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 27k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1672.83/1673.56 c 1615s| 4080k| 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 27k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1676.63/1677.36 c 1619s| 4090k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 28k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1680.54/1681.23 c 1622s| 4100k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 28k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1684.33/1685.03 c 1626s| 4110k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 28k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1688.13/1688.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1688.13/1688.86 c 1630s| 4120k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 28k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1692.03/1692.70 c 1633s| 4130k| 262 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 28k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1695.83/1696.55 c 1637s| 4140k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 28k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1699.63/1700.33 c 1641s| 4150k| 262 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 28k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1703.43/1704.11 c 1644s| 4160k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 28k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1707.33/1708.01 c 1648s| 4170k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 28k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1711.12/1711.87 c 1652s| 4180k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 28k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1715.03/1715.75 c 1656s| 4190k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 28k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1718.83/1719.52 c 1659s| 4200k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 28k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1722.62/1723.38 c 1663s| 4210k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 28k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1726.52/1727.25 c 1667s| 4220k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 28k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1730.42/1731.16 c 1670s| 4230k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 28k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1734.22/1734.99 c 1674s| 4240k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 29k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1738.11/1738.85 c 1678s| 4250k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 29k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1742.02/1742.73 c 1681s| 4260k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 29k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1745.82/1746.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1745.82/1746.59 c 1685s| 4270k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 29k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1749.71/1750.43 c 1689s| 4280k| 263 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 29k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1753.51/1754.24 c 1693s| 4290k| 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 29k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1757.21/1757.98 c 1696s| 4300k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 29k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1761.21/1761.91 c 1700s| 4310k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 29k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1765.11/1765.85 c 1704s| 4320k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 29k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1769.01/1769.71 c 1707s| 4330k| 268 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 29k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1772.91/1773.63 c 1711s| 4340k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 29k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1776.81/1777.59 c 1715s| 4350k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 29k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1780.71/1781.42 c 1719s| 4360k| 269 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 29k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1784.31/1785.10 c 1722s| 4370k| 267 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 29k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1788.01/1788.79 c 1726s| 4380k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 29k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1791.81/1792.57 c 1729s| 4390k| 265 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 29k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1795.61/1796.35 c 1733s| 4400k| 266 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 30k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
1799.51/1800.20 c 1737s| 4410k| 264 | 57131 | 0.0 | 21M| 286 | - |1543 |2972 | 0 | 0 | 155 | 30k| 17 | 1.004338e+03 | 1.168000e+03 | 16.30%
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) : 1737.26
1800.01/1800.71 c Solving Nodes : 4411323
1800.01/1800.71 c Primal Bound : +1.16800000000000e+03 (38 solutions)
1800.01/1800.71 c Dual Bound : +1.00433804136341e+03
1800.01/1800.71 c Gap : 16.30 %
1800.01/1800.72 s SATISFIABLE
1800.01/1800.72 v x1964 -x1963 x1962 x1961 x1960 x1959 -x1958 -x1957 x1956 -x1955 -x1954 x1953 -x1952 -x1951 -x1950 x1949 -x1948 x1947 -x1946 -x1945
1800.01/1800.72 v -x1944 x1943 -x1942 x1941 x1940 x1939 -x1938 x1937 -x1936 x1935 -x1934 -x1933 -x1932 -x1931 x1930 -x1929 x1928 x1927 -x1926
1800.01/1800.72 v x1925 x1924 x1923 x1922 -x1921 x1920 x1919 -x1918 -x1917 -x1916 -x1915 x1914 x1913 x1912 -x1911 x1910 -x1909 -x1908 x1907
1800.01/1800.72 v -x1906 x1905 x1904 x1903 x1902 -x1901 -x1900 x1899 -x1898 x1897 -x1896 -x1895 x1894 -x1893 x1892 x1891 x1890 x1889 x1888 x1887
1800.01/1800.72 v x1886 x1885 -x1884 -x1883 -x1882 x1881 x1880 x1879 -x1878 -x1877 x1876 x1875 -x1874 x1873 -x1872 x1871 -x1870 x1869 x1868 -x1867
1800.01/1800.72 v -x1866 x1865 x1864 x1863 x1862 x1861 -x1860 -x1859 -x1858 x1857 x1856 -x1855 x1854 -x1853 x1852 -x1851 -x1850 x1849 -x1848
1800.01/1800.72 v -x1847 x1846 -x1845 x1844 x1843 x1842 x1841 -x1840 -x1839 x1838 x1837 -x1836 -x1835 -x1834 -x1833 x1832 -x1831 -x1830 x1829
1800.01/1800.72 v x1828 x1827 -x1826 -x1825 x1824 -x1823 -x1822 x1821 -x1820 x1819 -x1818 x1817 -x1816 x1815 -x1814 x1813 -x1812 x1811 x1810
1800.01/1800.72 v x1809 x1808 x1807 x1806 -x1805 -x1804 x1803 -x1802 -x1801 -x1800 x1799 x1798 x1797 -x1796 x1795 x1794 x1793 -x1792 -x1791 -x1790
1800.01/1800.72 v x1789 x1788 x1787 -x1786 -x1785 -x1784 x1783 x1782 x1781 -x1780 x1779 x1778 -x1777 -x1776 x1775 -x1774 -x1773 -x1772 -x1771
1800.01/1800.72 v -x1770 -x1769 x1768 x1767 -x1766 x1765 x1764 -x1763 x1762 -x1761 x1760 x1759 -x1758 x1757 x1756 -x1755 x1754 -x1753 x1752
1800.01/1800.72 v x1751 x1750 -x1749 x1748 x1747 x1746 -x1745 x1744 -x1743 -x1742 -x1741 -x1740 -x1739 x1738 x1737 x1736 -x1735 x1734 -x1733 -x1732
1800.01/1800.72 v x1731 x1730 x1729 x1728 -x1727 -x1726 -x1725 -x1724 x1723 x1722 x1721 x1720 x1719 -x1718 x1717 -x1716 -x1715 -x1714 -x1713
1800.01/1800.72 v -x1712 -x1711 x1710 x1709 -x1708 x1707 x1706 x1705 x1704 x1703 x1702 -x1701 -x1700 -x1699 -x1698 x1697 x1696 x1695 -x1694
1800.01/1800.72 v -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 x1636
1800.01/1800.72 v x1635 -x1634 -x1633 -x1632 x1631 x1630 -x1629 -x1628 -x1627 x1626 x1625 x1624 x1623 x1622 x1621 x1620 -x1619 -x1618 x1617
1800.01/1800.72 v x1616 -x1615 x1614 -x1613 x1612 -x1611 -x1610 x1609 x1608 x1607 -x1606 x1605 -x1604 x1603 x1602 x1601 x1600 x1599 x1598 x1597
1800.01/1800.72 v -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 -x1558
1800.01/1800.72 v x1557 -x1556 -x1555 -x1554 x1553 x1552 -x1551 x1550 x1549 x1548 x1547 -x1546 x1545 -x1544 -x1543 x1542 x1541 x1540 x1539 -x1538
1800.01/1800.72 v x1537 x1536 x1535 x1534 x1533 x1532 x1531 x1530 x1529 -x1528 x1527 -x1526 -x1525 x1524 x1523 x1522 x1521 x1520 x1519 x1518
1800.01/1800.72 v x1517 x1516 x1515 x1514 -x1513 x1512 x1511 x1510 -x1509 x1508 x1507 x1506 x1505 -x1504 x1503 x1502 x1501 x1500 -x1499 -x1498
1800.01/1800.72 v -x1497 x1496 x1495 x1494 -x1493 x1492 x1491 -x1490 x1489 x1488 x1487 -x1486 -x1485 -x1484 x1483 -x1482 x1481 x1480 x1479
1800.01/1800.72 v x1478 x1477 x1476 x1475 x1474 x1473 x1472 -x1471 x1470 x1469 x1468 -x1467 x1466 x1465 x1464 x1463 -x1462 x1461 x1460 x1459 x1458
1800.01/1800.72 v -x1457 x1456 x1455 x1454 x1453 x1452 x1451 x1450 x1449 x1448 x1447 -x1446 x1445 x1444 x1443 x1442 x1441 -x1440 x1439 x1438
1800.01/1800.72 v x1437 x1436 x1435 x1434 x1433 x1432 -x1431 -x1430 x1429 x1428 x1427 x1426 x1425 x1424 -x1423 x1422 x1421 x1420 x1419 -x1418
1800.01/1800.72 v x1417 x1416 -x1415 x1414 -x1413 x1412 x1411 x1410 -x1409 -x1408 x1407 x1406 x1405 x1404 x1403 -x1402 x1401 x1400 x1399 x1398
1800.01/1800.72 v -x1397 x1396 x1395 x1394 -x1393 x1392 -x1391 -x1390 -x1389 x1388 x1387 x1386 -x1385 -x1384 x1383 x1382 x1381 -x1380 -x1379 x1378
1800.01/1800.72 v x1377 x1376 x1375 x1374 x1373 x1372 x1371 x1370 x1369 x1368 -x1367 x1366 x1365 x1364 -x1363 x1362 x1361 -x1360 x1359 x1358
1800.01/1800.72 v x1357 x1356 x1355 -x1354 -x1353 x1352 x1351 x1350 x1349 x1348 -x1347 x1346 x1345 x1344 x1343 x1342 x1341 x1340 x1339 x1338
1800.01/1800.72 v x1337 x1336 x1335 x1334 -x1333 x1332 x1331 x1330 -x1329 x1328 -x1327 -x1326 -x1325 x1324 x1323 x1322 x1321 x1320 -x1319 x1318
1800.01/1800.72 v x1317 x1316 x1315 x1314 x1313 x1312 x1311 x1310 -x1309 x1308 x1307 x1306 x1305 x1304 x1303 -x1302 x1301 x1300 x1299 x1298 x1297
1800.01/1800.72 v x1296 -x1295 x1294 x1293 x1292 x1291 x1290 x1289 -x1288 x1287 x1286 x1285 x1284 x1283 x1282 x1281 -x1280 -x1279 -x1278 x1277
1800.01/1800.72 v -x1276 -x1275 -x1274 x1273 x1272 -x1271 x1270 -x1269 -x1268 -x1267 x1266 x1265 x1264 x1263 x1262 x1261 x1260 x1259 x1258
1800.01/1800.72 v x1257 x1256 x1255 x1254 -x1253 -x1252 -x1251 -x1250 x1249 x1248 x1247 x1246 x1245 x1244 x1243 -x1242 x1241 x1240 -x1239 -x1238
1800.01/1800.72 v x1237 x1236 x1235 x1234 -x1233 x1232 x1231 -x1230 x1229 x1228 x1227 x1226 x1225 -x1224 x1223 x1222 x1221 x1220 x1219 x1218
1800.01/1800.72 v x1217 -x1216 x1215 x1214 x1213 -x1212 x1211 x1210 x1209 x1208 x1207 x1206 x1205 x1204 -x1203 x1202 x1201 -x1200 x1199 x1198
1800.01/1800.72 v x1197 x1196 -x1195 x1194 x1193 x1192 x1191 x1190 x1189 -x1188 x1187 -x1186 -x1185 -x1184 x1183 -x1182 x1181 x1180 x1179 x1178
1800.01/1800.72 v x1177 x1176 x1175 x1174 x1173 -x1172 x1171 x1170 x1169 x1168 x1167 x1166 -x1165 x1164 -x1163 x1162 x1161 x1160 x1159 x1158 x1157
1800.01/1800.72 v x1156 x1155 x1154 x1153 -x1152 -x1151 x1150 x1149 x1148 -x1147 x1146 -x1145 x1144 -x1143 x1142 x1141 x1140 x1139 x1138 -x1137
1800.01/1800.72 v x1136 x1135 x1134 x1133 x1132 x1131 x1130 x1129 x1128 -x1127 x1126 x1125 -x1124 -x1123 x1122 x1121 -x1120 x1119 -x1118
1800.01/1800.72 v -x1117 x1116 x1115 x1114 x1113 x1112 -x1111 -x1110 -x1109 x1108 x1107 x1106 x1105 x1104 x1103 x1102 x1101 x1100 -x1099 x1098
1800.01/1800.72 v -x1097 -x1096 x1095 x1094 -x1093 x1092 x1091 x1090 x1089 -x1088 x1087 x1086 -x1085 x1084 x1083 x1082 -x1081 x1080 x1079 x1078
1800.01/1800.72 v x1077 x1076 x1075 -x1074 -x1073 -x1072 x1071 x1070 -x1069 x1068 x1067 -x1066 x1065 -x1064 x1063 x1062 x1061 x1060 x1059 -x1058
1800.01/1800.72 v x1057 x1056 x1055 x1054 x1053 x1052 x1051 x1050 x1049 x1048 -x1047 x1046 x1045 x1044 x1043 x1042 x1041 x1040 -x1039 -x1038
1800.01/1800.72 v x1037 x1036 x1035 x1034 x1033 x1032 x1031 -x1030 -x1029 x1028 x1027 -x1026 -x1025 x1024 x1023 x1022 x1021 x1020 x1019 -x1018
1800.01/1800.72 v -x1017 -x1016 x1015 x1014 x1013 -x1012 x1011 x1010 x1009 x1008 x1007 x1006 x1005 x1004 x1003 x1002 x1001 x1000 -x999 x998 x997
1800.01/1800.72 v x996 x995 x994 x993 -x992 -x991 x990 -x989 x988 x987 x986 -x985 x984 x983 -x982 x981 x980 -x979 x978 x977 -x976 x975 x974
1800.01/1800.72 v x973 -x972 -x971 x970 x969 x968 x967 x966 x965 x964 -x963 x962 x961 x960 -x959 -x958 x957 x956 x955 -x954 x953 x952 -x951 x950
1800.01/1800.72 v x949 -x948 -x947 x946 x945 x944 x943 -x942 x941 x940 -x939 x938 x937 x936 x935 x934 x933 x932 -x931 x930 x929 x928 x927 -x926
1800.01/1800.72 v x925 x924 -x923 x922 -x921 -x920 x919 x918 x917 -x916 x915 -x914 x913 x912 x911 -x910 x909 x908 x907 x906 x905 -x904 -x903
1800.01/1800.72 v x902 x901 -x900 -x899 x898 x897 x896 x895 x894 x893 -x892 x891 -x890 x889 x888 -x887 x886 -x885 x884 x883 -x882 x881 -x880 x879
1800.01/1800.72 v x878 x877 x876 x875 x874 -x873 x872 -x871 x870 -x869 -x868 -x867 x866 -x865 x864 x863 x862 -x861 x860 x859 -x858 x857 x856
1800.01/1800.72 v x855 x854 -x853 -x852 -x851 x850 x849 x848 x847 -x846 x845 x844 x843 x842 -x841 x840 x839 x838 x837 x836 x835 -x834 x833 x832
1800.01/1800.72 v x831 -x830 x829 -x828 -x827 x826 -x825 -x824 x823 x822 x821 -x820 x819 -x818 x817 x816 x815 -x814 x813 x812 -x811 -x810 x809
1800.01/1800.72 v x808 -x807 x806 x805 x804 -x803 x802 x801 -x800 x799 x798 x797 x796 x795 x794 x793 -x792 x791 -x790 x789 -x788 -x787 -x786
1800.01/1800.72 v -x785 -x784 x783 x782 x781 x780 -x779 x778 x777 x776 x775 -x774 x773 x772 x771 x770 x769 -x768 x767 x766 -x765 x764 x763 x762
1800.01/1800.72 v x761 x760 x759 -x758 x757 x756 x755 x754 x753 -x752 x751 x750 -x749 x748 -x747 x746 -x745 x744 -x743 x742 x741 -x740 -x739
1800.01/1800.72 v x738 -x737 x736 -x735 -x734 x733 x732 x731 x730 x729 x728 x727 x726 -x725 -x724 -x723 -x722 x721 -x720 -x719 -x718 -x717 -x716
1800.01/1800.72 v x715 x714 x713 -x712 x711 x710 x709 x708 x707 x706 -x705 -x704 x703 -x702 x701 x700 x699 x698 -x697 x696 -x695 x694 x693 x692
1800.01/1800.72 v x691 x690 -x689 x688 x687 x686 -x685 -x684 x683 -x682 -x681 -x680 -x679 x678 x677 -x676 x675 x674 -x673 x672 x671 x670 -x669
1800.01/1800.72 v x668 -x667 -x666 x665 x664 x663 -x662 x661 -x660 -x659 x658 -x657 -x656 x655 x654 x653 x652 -x651 x650 x649 x648 x647 x646
1800.01/1800.72 v -x645 -x644 x643 -x642 x641 x640 x639 x638 -x637 x636 -x635 x634 -x633 x632 x631 x630 x629 -x628 -x627 x626 x625 x624 x623 x622
1800.01/1800.72 v x621 x620 x619 x618 x617 -x616 x615 x614 x613 -x612 x611 x610 x609 x608 x607 x606 -x605 x604 -x603 x602 x601 x600 x599 -x598
1800.01/1800.72 v -x597 x596 -x595 x594 x593 -x592 x591 -x590 x589 -x588 x587 x586 -x585 -x584 x583 x582 -x581 -x580 -x579 x578 -x577 -x576
1800.01/1800.72 v x575 x574 -x573 x572 -x571 -x570 -x569 x568 -x567 x566 x565 x564 -x563 -x562 -x561 -x560 -x559 x558 -x557 x556 -x555 -x554 x553
1800.01/1800.72 v x552 -x551 -x550 x549 x548 -x547 -x546 -x545 -x544 -x543 x542 x541 -x540 x539 -x538 -x537 x536 -x535 -x534 -x533 -x532 x531
1800.01/1800.72 v -x530 x529 -x528 -x527 -x526 -x525 x524 x523 x522 x521 x520 -x519 x518 x517 x516 x515 x514 -x513 x512 x511 -x510 -x509 -x508
1800.01/1800.72 v -x507 x506 x505 -x504 -x503 x502 x501 x500 x499 -x498 -x497 -x496 x495 x494 -x493 x492 x491 -x490 -x489 -x488 x487 x486 x485
1800.01/1800.72 v -x484 x483 x482 x481 x480 x479 x478 -x477 x476 -x475 x474 -x473 x472 -x471 x470 x469 -x468 x467 x466 x465 -x464 -x463 -x462
1800.01/1800.72 v x461 x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 x452 -x451 -x450 x449 x448 -x447 -x446 x445 -x444 x443 x442 x441 x440 x439
1800.01/1800.72 v -x438 x437 -x436 x435 x434 x433 x432 x431 -x430 -x429 -x428 x427 x426 -x425 -x424 -x423 x422 x421 x420 x419 -x418 -x417 x416
1800.01/1800.72 v x415 x414 x413 -x412 x411 x410 -x409 x408 -x407 -x406 -x405 x404 x403 -x402 x401 x400 -x399 x398 x397 -x396 x395 x394 x393
1800.01/1800.72 v x392 x391 -x390 -x389 -x388 x387 x386 -x385 -x384 x383 x382 -x381 -x380 -x379 x378 -x377 -x376 x375 -x374 -x373 x372 x371 -x370
1800.01/1800.72 v x369 x368 x367 -x366 x365 -x364 -x363 -x362 x361 x360 x359 x358 x357 x356 -x355 x354 x353 x352 -x351 -x350 -x349 -x348 -x347
1800.01/1800.72 v -x346 -x345 -x344 x343 x342 x341 x340 x339 x338 x337 x336 x335 x334 -x333 x332 -x331 -x330 x329 x328 -x327 x326 x325 -x324
1800.01/1800.72 v -x323 x322 -x321 x320 -x319 x318 -x317 x316 -x315 x314 -x313 x312 -x311 -x310 -x309 -x308 x307 -x306 x305 x304 x303 -x302 -x301
1800.01/1800.72 v -x300 x299 x298 -x297 x296 -x295 x294 -x293 -x292 -x291 x290 x289 x288 x287 -x286 -x285 -x284 -x283 -x282 x281 x280 x279
1800.01/1800.72 v -x278 -x277 x276 x275 x274 -x273 x272 -x271 -x270 x269 x268 x267 -x266 -x265 -x264 x263 -x262 -x261 x260 x259 -x258 -x257 -x256
1800.01/1800.72 v x255 x254 -x253 x252 x251 x250 -x249 -x248 x247 x246 x245 -x244 -x243 -x242 -x241 -x240 x239 x238 -x237 x236 -x235 x234 -x233
1800.01/1800.72 v -x232 x231 x230 x229 x228 x227 x226 x225 -x224 x223 x222 -x221 x220 x219 x218 x217 -x216 -x215 x214 x213 -x212 x211 -x210
1800.01/1800.72 v x209 x208 -x207 -x206 x205 x204 x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 x195 -x194 -x193 -x192 -x191 x190 x189 x188 -x187
1800.01/1800.72 v x186 -x185 x184 -x183 -x182 -x181 -x180 x179 x178 x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 x168 -x167 -x166 -x165
1800.01/1800.72 v -x164 x163 x162 -x161 x160 -x159 -x158 x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 x145 -x144 -x143
1800.01/1800.72 v -x142 x141 x140 x139 -x138 x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122
1800.01/1800.72 v -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 x111 -x110 x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 x101 -x100
1800.01/1800.72 v -x99 -x98 -x97 -x96 -x95 x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 x85 -x84 x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74
1800.01/1800.72 v x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48
1800.01/1800.72 v -x47 x46 -x45 -x44 x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22
1800.01/1800.72 v -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 x2 -x1
1800.01/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.72 c Solving Time : 1737.26
1800.01/1800.72 c Original Problem :
1800.01/1800.72 c Problem name : HOME/instance-2665606-1276392923.opb
1800.01/1800.72 c Variables : 1964 (1964 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-2665606-1276392923.opb
1800.01/1800.72 c Variables : 1543 (1543 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.72 c Constraints : 2972 initial, 2972 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 201 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.01 0 0 0 0 0 0 0 0
1800.01/1800.72 c linear : 0.04 0 220 0 0 0 1025 0 0
1800.01/1800.72 c logicor : 0.06 0 0 0 0 0 3 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 : 2972+ 51 4842938 0 0 30106 20919858 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 : 8.55 0.00 0.00 8.55 0.00
1800.01/1800.72 c logicor : 106.30 0.04 106.26 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 : 4.09 2 0 0
1800.01/1800.72 c rootredcost : 4.03 0 0 0
1800.01/1800.72 c pseudoobj : 1138.55 8171634 2179742 38429117
1800.01/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.72 c propagation : 47.89 30106 30106 30106 265.1 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 : - - - 30106 265.1 - - -
1800.01/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.72 c cut pool : 0.12 50 - - 39 - (maximal pool size: 749)
1800.01/1800.72 c redcost : 0.00 51 0 0 0 0
1800.01/1800.72 c impliedbounds : 0.06 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 : 12.13 51 0 0 24773 0
1800.01/1800.72 c strongcg : 2.70 20 0 0 9889 0
1800.01/1800.72 c cmir : 0.20 10 0 0 0 0
1800.01/1800.72 c flowcover : 0.20 10 0 0 0 0
1800.01/1800.72 c clique : 0.00 51 0 0 8 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 : 8.55 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 : 196.30 2211267 0 0 0 0 4422534
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.89 2 1
1800.01/1800.72 c trivial : 0.00 2 3
1800.01/1800.72 c simplerounding : 0.02 51 33
1800.01/1800.72 c zirounding : 0.00 1 1
1800.01/1800.72 c rounding : 7.34 51 0
1800.01/1800.72 c shifting : 7.37 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.53 0 0
1800.01/1800.72 c trysol : 2.00 0 0
1800.01/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.72 c primal LP : 0.04 0 0 0.00 0.00
1800.01/1800.72 c dual LP : 42.89 51 57131 1120.22 1332.04
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 : 8.55 17 15480 910.59 1810.53
1800.01/1800.72 c (at root node) : - 17 15480 910.59 -
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 : 4411323
1800.01/1800.72 c nodes (total) : 4411323
1800.01/1800.72 c nodes left : 263
1800.01/1800.72 c max depth : 286
1800.01/1800.72 c max depth (total): 286
1800.01/1800.72 c backtracks : 1141006 (25.9%)
1800.01/1800.72 c delayed cutoffs : 10951
1800.01/1800.72 c repropagations : 13928 (279767 domain reductions, 9793 cutoffs)
1800.01/1800.72 c avg switch length: 2.00
1800.01/1800.72 c switching time : 90.31
1800.01/1800.72 c Solution :
1800.01/1800.72 c Solutions found : 38 (3 improvements)
1800.01/1800.72 c First Solution : +1.96400000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.01/1800.72 c Primal Bound : +1.16800000000000e+03 (in run 1, after 1 nodes, 0.16 seconds, depth 0, found by <oneopt>)
1800.01/1800.72 c Dual Bound : +1.00433804136341e+03
1800.01/1800.72 c Gap : 16.30 %
1800.01/1800.72 c Root Dual Bound : +1.00369168696065e+03
1800.01/1800.72 c Root Iterations : 57131
1800.01/1800.77 c Time complete: 1800.07.