0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2667003-1276396501.opb>
0.03/0.08 c original problem has 1968 variables (1968 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.03/0.08 c problem read
0.03/0.08 c presolving settings loaded
0.09/0.10 o 1968
0.09/0.10 c feasible solution found by trivial heuristic, objective value 1.968000e+03
0.09/0.10 c presolving:
0.09/0.13 c (round 1) 183 del vars, 183 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.14 c (round 2) 364 del vars, 829 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.15 c (round 3) 429 del vars, 960 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.15 c (round 4) 480 del vars, 1093 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.16 c (round 5) 501 del vars, 1160 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.16 c (round 6) 516 del vars, 1200 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.17 c (round 7) 527 del vars, 1224 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.17 c (round 8) 534 del vars, 1242 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.18 c (round 9) 538 del vars, 1255 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.18 c (round 10) 539 del vars, 1257 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.19/0.23 c (round 11) 539 del vars, 1258 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2742 upgd conss, 7998 impls, 0 clqs
0.19/0.27 c (0.1s) probing: 101/1429 (7.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.27 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.27 c presolving (12 rounds):
0.19/0.27 c 539 deleted vars, 1258 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.27 c 7998 implications, 0 cliques
0.19/0.27 c presolved problem has 1429 variables (1429 bin, 0 int, 0 impl, 0 cont) and 2742 constraints
0.19/0.27 c 2742 constraints of type <logicor>
0.19/0.27 c transformed objective value is always integral (scale: 1)
0.19/0.27 c Presolving Time: 0.14
0.19/0.27 c - non default parameters ----------------------------------------------------------------------
0.19/0.27 c # SCIP version 1.2.1.2
0.19/0.27 c
0.19/0.27 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.27 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.27 c conflict/interconss = 0
0.19/0.27 c
0.19/0.27 c # should binary conflicts be preferred?
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c conflict/preferbinary = TRUE
0.19/0.27 c
0.19/0.27 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.27 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.27 c constraints/agelimit = 1
0.19/0.27 c
0.19/0.27 c # should enforcement of pseudo solution be disabled?
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c constraints/disableenfops = TRUE
0.19/0.27 c
0.19/0.27 c # frequency for displaying node information lines
0.19/0.27 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.27 c display/freq = 10000
0.19/0.27 c
0.19/0.27 c # maximal time in seconds to run
0.19/0.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.27 c limits/time = 1799.93
0.19/0.27 c
0.19/0.27 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.27 c limits/memory = 1620
0.19/0.27 c
0.19/0.27 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.27 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.27 c lp/solvefreq = 0
0.19/0.27 c
0.19/0.27 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.19/0.27 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.27 c lp/pricing = a
0.19/0.27 c
0.19/0.27 c # should presolving try to simplify inequalities
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c constraints/linear/simplifyinequalities = TRUE
0.19/0.27 c
0.19/0.27 c # should presolving try to simplify knapsacks
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.27 c
0.19/0.27 c # priority of node selection rule <dfs> in standard mode
0.19/0.27 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.27 c nodeselection/dfs/stdpriority = 1000000
0.19/0.27 c
0.19/0.27 c -----------------------------------------------------------------------------------------------
0.19/0.27 c start solving
0.19/0.27 c
0.19/0.27 o 1692
0.19/0.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.27 c t 0.1s| 1 | 0 | 0 | - |5745k| 0 | - |1429 |2742 | 0 | 0 | 0 | 0 | 0 | -- | 1.692000e+03 | Inf
0.19/0.29 o 1160
0.19/0.29 c b 0.2s| 1 | 0 | 0 | - |7236k| 0 | - |1429 |2742 |1429 |2742 | 0 | 0 | 0 | -- | 1.160000e+03 | Inf
0.49/0.56 c 0.4s| 1 | 0 | 1862 | - |7211k| 0 |1429 |1429 |2742 |1429 |2742 | 0 | 0 | 0 | 9.775000e+02 | 1.160000e+03 | 18.67%
1.00/1.06 c 0.9s| 1 | 0 | 2036 | - |7299k| 0 |1412 |1429 |2742 |1429 |2753 | 11 | 0 | 0 | 9.830000e+02 | 1.160000e+03 | 18.01%
1.39/1.48 c 1.3s| 1 | 0 | 2048 | - |7327k| 0 |1410 |1429 |2742 |1429 |2755 | 13 | 0 | 0 | 9.840000e+02 | 1.160000e+03 | 17.89%
1.89/1.92 c 1.8s| 1 | 0 | 2111 | - |7330k| 0 |1408 |1429 |2742 |1429 |2756 | 14 | 0 | 0 | 9.840000e+02 | 1.160000e+03 | 17.89%
2.39/2.42 c 2.3s| 1 | 0 | 2301 | - |7369k| 0 |1408 |1429 |2742 |1429 |2760 | 18 | 0 | 0 | 9.840000e+02 | 1.160000e+03 | 17.89%
2.89/2.90 c 2.7s| 1 | 0 | 2435 | - |7378k| 0 |1405 |1429 |2742 |1429 |2762 | 20 | 0 | 0 | 9.845000e+02 | 1.160000e+03 | 17.83%
3.39/3.41 c 3.2s| 1 | 0 | 2574 | - |7417k| 0 |1406 |1429 |2742 |1429 |2765 | 23 | 0 | 0 | 9.850000e+02 | 1.160000e+03 | 17.77%
4.09/4.15 c 4.0s| 1 | 0 | 2852 | - |7803k| 0 |1408 |1429 |2742 |1429 |2768 | 26 | 0 | 0 | 9.860000e+02 | 1.160000e+03 | 17.65%
4.79/4.80 c 4.6s| 1 | 0 | 3155 | - |7884k| 0 |1407 |1429 |2742 |1429 |2770 | 28 | 0 | 0 | 9.865000e+02 | 1.160000e+03 | 17.59%
5.39/5.47 c 5.3s| 1 | 0 | 3338 | - |8268k| 0 |1403 |1429 |2742 |1429 |2772 | 30 | 0 | 0 | 9.870000e+02 | 1.160000e+03 | 17.53%
6.49/6.54 c 6.3s| 1 | 0 | 3578 | - |8393k| 0 |1404 |1429 |2742 |1429 |2775 | 33 | 0 | 0 | 9.870000e+02 | 1.160000e+03 | 17.53%
8.58/8.61 c 8.4s| 1 | 0 | 3883 | - |8659k| 0 |1408 |1429 |2742 |1429 |2777 | 35 | 0 | 0 | 9.875000e+02 | 1.160000e+03 | 17.47%
9.49/9.56 c 9.3s| 1 | 0 | 4417 | - |8674k| 0 |1402 |1429 |2742 |1429 |2780 | 38 | 0 | 0 | 9.880000e+02 | 1.160000e+03 | 17.41%
10.39/10.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.39/10.48 c 10.2s| 1 | 0 | 4905 | - |8780k| 0 |1391 |1429 |2742 |1429 |2783 | 41 | 0 | 0 | 9.885000e+02 | 1.160000e+03 | 17.35%
11.19/11.29 c 11.0s| 1 | 0 | 5300 | - |8806k| 0 |1390 |1429 |2742 |1429 |2784 | 42 | 0 | 0 | 9.890000e+02 | 1.160000e+03 | 17.29%
11.89/11.97 c 11.7s| 1 | 0 | 5627 | - |8807k| 0 |1395 |1429 |2742 |1429 |2785 | 43 | 0 | 0 | 9.890000e+02 | 1.160000e+03 | 17.29%
13.29/13.38 c 13.1s| 1 | 0 | 6230 | - |9140k| 0 |1400 |1429 |2742 |1429 |2787 | 45 | 0 | 0 | 9.890000e+02 | 1.160000e+03 | 17.29%
14.08/14.15 c 13.9s| 1 | 0 | 6558 | - |9294k| 0 |1401 |1429 |2742 |1429 |2785 | 47 | 0 | 0 | 9.890000e+02 | 1.160000e+03 | 17.29%
15.40/15.46 c 15.2s| 1 | 0 | 7294 | - |9397k| 0 |1392 |1429 |2742 |1429 |2789 | 51 | 0 | 0 | 9.895000e+02 | 1.160000e+03 | 17.23%
16.19/16.21 c 15.9s| 1 | 0 | 7630 | - |9611k| 0 |1393 |1429 |2742 |1429 |2794 | 56 | 0 | 0 | 9.900000e+02 | 1.160000e+03 | 17.17%
16.89/16.99 c 16.7s| 1 | 0 | 7948 | - |9747k| 0 |1386 |1429 |2742 |1429 |2797 | 59 | 0 | 0 | 9.900000e+02 | 1.160000e+03 | 17.17%
17.60/17.67 c 17.4s| 1 | 0 | 8200 | - | 10M| 0 |1383 |1429 |2742 |1429 |2800 | 62 | 0 | 0 | 9.900000e+02 | 1.160000e+03 | 17.17%
18.78/18.88 c 18.6s| 1 | 0 | 8766 | - | 10M| 0 |1380 |1429 |2742 |1429 |2802 | 64 | 0 | 0 | 9.900000e+02 | 1.160000e+03 | 17.17%
19.69/19.78 c 19.4s| 1 | 0 | 9174 | - | 10M| 0 |1383 |1429 |2742 |1429 |2796 | 67 | 0 | 0 | 9.905000e+02 | 1.160000e+03 | 17.11%
20.69/20.73 c 20.4s| 1 | 0 | 9701 | - | 10M| 0 |1388 |1429 |2742 |1429 |2798 | 69 | 0 | 0 | 9.910000e+02 | 1.160000e+03 | 17.05%
21.48/21.58 c 21.2s| 1 | 0 | 10167 | - | 10M| 0 |1386 |1429 |2742 |1429 |2799 | 70 | 0 | 0 | 9.910000e+02 | 1.160000e+03 | 17.05%
22.59/22.66 c 22.3s| 1 | 0 | 10782 | - | 10M| 0 |1386 |1429 |2742 |1429 |2800 | 71 | 0 | 0 | 9.910000e+02 | 1.160000e+03 | 17.05%
23.88/23.90 c 23.5s| 1 | 0 | 11474 | - | 10M| 0 |1400 |1429 |2742 |1429 |2802 | 73 | 0 | 0 | 9.912500e+02 | 1.160000e+03 | 17.02%
24.88/24.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.88/24.99 c 24.6s| 1 | 0 | 12054 | - | 10M| 0 |1397 |1429 |2742 |1429 |2804 | 75 | 0 | 0 | 9.915000e+02 | 1.160000e+03 | 16.99%
26.29/26.31 c 25.9s| 1 | 0 | 12814 | - | 10M| 0 |1394 |1429 |2742 |1429 |2801 | 78 | 0 | 0 | 9.920000e+02 | 1.160000e+03 | 16.94%
27.88/27.97 c 27.5s| 1 | 0 | 14146 | - | 10M| 0 |1400 |1429 |2742 |1429 |2804 | 81 | 0 | 0 | 9.922500e+02 | 1.160000e+03 | 16.91%
29.28/29.31 c 28.9s| 1 | 0 | 14956 | - | 10M| 0 |1393 |1429 |2742 |1429 |2806 | 83 | 0 | 0 | 9.930000e+02 | 1.160000e+03 | 16.82%
30.79/30.86 c 30.4s| 1 | 0 | 15789 | - | 11M| 0 |1391 |1429 |2742 |1429 |2809 | 86 | 0 | 0 | 9.930000e+02 | 1.160000e+03 | 16.82%
31.89/31.99 c 31.5s| 1 | 0 | 16397 | - | 11M| 0 |1390 |1429 |2742 |1429 |2811 | 88 | 0 | 0 | 9.930000e+02 | 1.160000e+03 | 16.82%
33.28/33.39 c 32.9s| 1 | 0 | 17213 | - | 11M| 0 |1390 |1429 |2742 |1429 |2812 | 89 | 0 | 0 | 9.930000e+02 | 1.160000e+03 | 16.82%
34.58/34.67 c 34.2s| 1 | 0 | 17953 | - | 11M| 0 |1390 |1429 |2742 |1429 |2806 | 93 | 0 | 0 | 9.930000e+02 | 1.160000e+03 | 16.82%
35.79/35.82 c 35.3s| 1 | 0 | 18544 | - | 11M| 0 |1397 |1429 |2742 |1429 |2807 | 94 | 0 | 0 | 9.930000e+02 | 1.160000e+03 | 16.82%
78.28/78.30 c 77.4s| 1 | 2 | 18544 | - | 11M| 0 |1397 |1429 |2742 |1429 |2807 | 94 | 0 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
83.17/83.21 c 82.1s| 10000 | 279 | 18544 | 0.0 | 11M| 295 | - |1429 |2742 | 0 | 0 | 94 |1067 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
87.37/87.49 c 86.3s| 20000 | 276 | 18544 | 0.0 | 11M| 295 | - |1429 |2742 | 0 | 0 | 94 |1715 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
91.67/91.70 c 90.3s| 30000 | 274 | 18544 | 0.0 | 11M| 295 | - |1429 |2742 | 0 | 0 | 94 |2321 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
95.68/95.72 c 94.3s| 40000 | 277 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 |2819 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
99.66/99.75 c 98.1s| 50000 | 276 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 |3283 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
103.66/103.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.66/103.76 c 102s| 60000 | 275 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 |3756 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
107.67/107.72 c 106s| 70000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 |4173 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
111.56/111.68 c 110s| 80000 | 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 |4561 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
115.47/115.50 c 113s| 90000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 |4832 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
119.26/119.36 c 117s|100000 | 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 |5134 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
123.06/123.10 c 121s|110000 | 276 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 |5384 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
126.76/126.81 c 124s|120000 | 275 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 |5618 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
130.46/130.53 c 128s|130000 | 274 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 |5886 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
134.36/134.41 c 132s|140000 | 277 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 |6227 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
138.16/138.21 c 135s|150000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 |6502 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
141.86/141.98 c 139s|160000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 |6733 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
145.66/145.73 c 142s|170000 | 274 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 |6977 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
149.35/149.42 c 146s|180000 | 275 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 |7178 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
153.05/153.14 c 150s|190000 | 275 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 |7391 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
156.96/157.02 c 153s|200000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 |7733 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
160.75/160.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.75/160.83 c 157s|210000 | 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 |8053 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
164.65/164.75 c 161s|220000 | 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 |8432 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
168.75/168.80 c 165s|230000 | 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 |8879 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
172.66/172.71 c 168s|240000 | 275 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 |9240 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
176.44/176.57 c 172s|250000 | 274 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 |9569 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
180.45/180.50 c 176s|260000 | 274 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 |9970 | 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
184.14/184.25 c 180s|270000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 10k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
187.96/188.10 c 183s|280000 | 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 10k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
191.84/191.98 c 187s|290000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 10k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
195.65/195.78 c 191s|300000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 11k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
199.55/199.67 c 194s|310000 | 276 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 11k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
203.35/203.45 c 198s|320000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 11k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
207.04/207.18 c 202s|330000 | 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 12k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
210.83/210.99 c 205s|340000 | 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 12k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
214.64/214.71 c 209s|350000 | 274 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 12k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
218.64/218.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
218.64/218.71 c 213s|360000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 12k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
222.44/222.53 c 216s|370000 | 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 13k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
226.23/226.30 c 220s|380000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 13k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
229.93/230.06 c 224s|390000 | 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 13k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
233.73/233.85 c 227s|400000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 14k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
237.44/237.59 c 231s|410000 | 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 14k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
241.23/241.34 c 234s|420000 | 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 14k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
244.93/245.09 c 238s|430000 | 275 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 14k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
248.53/248.64 c 241s|440000 | 274 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 14k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
252.23/252.35 c 245s|450000 | 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 15k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
255.83/255.92 c 248s|460000 | 274 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 15k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
259.53/259.65 c 252s|470000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 15k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
263.23/263.34 c 256s|480000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 15k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
266.92/267.05 c 259s|490000 | 274 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 15k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
270.72/270.88 c 263s|500000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 16k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
274.53/274.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
274.53/274.61 c 266s|510000 | 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 16k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
278.13/278.28 c 270s|520000 | 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 16k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
281.72/281.87 c 273s|530000 | 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 16k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
285.42/285.54 c 277s|540000 | 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 17k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
289.13/289.24 c 280s|550000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 17k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
292.71/292.81 c 284s|560000 | 276 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 17k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
296.31/296.46 c 287s|570000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 17k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
299.91/300.08 c 291s|580000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 17k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
303.62/303.79 c 294s|590000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 18k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
307.42/307.51 c 298s|600000 | 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 18k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
311.12/311.25 c 302s|610000 | 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 18k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
314.81/314.91 c 305s|620000 | 274 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 18k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
318.41/318.51 c 309s|630000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 18k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
322.01/322.18 c 312s|640000 | 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 18k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
325.71/325.87 c 316s|650000 | 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 19k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
329.41/329.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
329.41/329.52 c 319s|660000 | 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 19k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
333.12/333.22 c 323s|670000 | 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 19k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
336.71/336.85 c 326s|680000 | 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 19k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
340.41/340.50 c 330s|690000 | 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 19k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
344.00/344.16 c 333s|700000 | 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 20k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
347.70/347.87 c 337s|710000 | 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 20k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
351.30/351.49 c 340s|720000 | 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 20k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
355.00/355.12 c 344s|730000 | 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 20k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
358.60/358.73 c 347s|740000 | 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 20k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
362.70/362.89 c 351s|750000 | 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 21k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
366.50/366.64 c 355s|760000 | 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 21k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
370.20/370.32 c 358s|770000 | 274 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 21k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
373.91/374.09 c 362s|780000 | 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 22k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
377.70/377.82 c 366s|790000 | 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 22k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
381.29/381.44 c 369s|800000 | 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 22k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
384.90/385.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
384.90/385.10 c 373s|810000 | 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 22k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
388.59/388.76 c 376s|820000 | 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 22k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
392.29/392.42 c 380s|830000 | 274 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 23k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
395.90/396.06 c 383s|840000 | 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 23k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
399.59/399.74 c 387s|850000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 23k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
403.69/403.82 c 391s|860000 | 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 23k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
408.00/408.16 c 395s|870000 | 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 24k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
411.89/412.06 c 399s|880000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 24k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
415.59/415.78 c 402s|890000 | 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 24k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
419.39/419.54 c 406s|900000 | 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 25k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
423.29/423.43 c 410s|910000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 25k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
426.98/427.19 c 413s|920000 | 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 25k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
430.78/430.91 c 417s|930000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 25k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
434.48/434.66 c 420s|940000 | 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 26k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
438.09/438.26 c 424s|950000 | 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 26k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
441.58/441.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
441.58/441.80 c 427s|960000 | 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 26k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
445.29/445.48 c 431s|970000 | 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 26k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
448.98/449.18 c 434s|980000 | 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 26k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
452.68/452.88 c 438s|990000 | 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 26k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
456.48/456.66 c 441s| 1000k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 27k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
460.28/460.49 c 445s| 1010k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 27k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
464.17/464.30 c 449s| 1020k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 27k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
468.18/468.30 c 453s| 1030k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 28k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
471.87/472.00 c 456s| 1040k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 28k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
475.58/475.71 c 460s| 1050k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 28k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
479.17/479.38 c 463s| 1060k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 28k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
482.87/483.08 c 467s| 1070k| 274 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 29k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
486.47/486.62 c 470s| 1080k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 29k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
490.07/490.26 c 474s| 1090k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 29k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
493.78/493.94 c 477s| 1100k| 274 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 29k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
497.37/497.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
497.37/497.51 c 481s| 1110k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 29k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
501.06/501.29 c 484s| 1120k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 29k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
504.87/505.05 c 488s| 1130k| 274 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 30k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
508.46/508.70 c 491s| 1140k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 30k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
512.26/512.43 c 495s| 1150k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 30k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
515.86/516.06 c 499s| 1160k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 30k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
519.86/520.02 c 502s| 1170k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 31k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
523.86/524.03 c 506s| 1180k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 31k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
527.66/527.81 c 510s| 1190k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 31k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
531.36/531.57 c 513s| 1200k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 32k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
535.36/535.57 c 517s| 1210k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 32k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
539.46/539.68 c 521s| 1220k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 32k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
543.16/543.34 c 525s| 1230k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 33k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
546.85/547.07 c 528s| 1240k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 33k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
550.75/550.92 c 532s| 1250k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 33k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
554.45/554.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
554.45/554.62 c 536s| 1260k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 33k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
558.05/558.20 c 539s| 1270k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 34k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
561.65/561.83 c 543s| 1280k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 34k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
565.26/565.45 c 546s| 1290k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 34k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
569.05/569.25 c 550s| 1300k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 34k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
572.75/572.98 c 553s| 1310k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 34k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
576.45/576.68 c 557s| 1320k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 35k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
580.05/580.26 c 560s| 1330k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 35k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
583.74/583.95 c 564s| 1340k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 35k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
587.44/587.60 c 567s| 1350k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 35k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
591.04/591.23 c 571s| 1360k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 35k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
594.64/594.88 c 574s| 1370k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 35k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
598.25/598.50 c 578s| 1380k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 35k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
601.94/602.19 c 581s| 1390k| 274 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 36k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
605.74/605.95 c 585s| 1400k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 36k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
609.34/609.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
609.34/609.55 c 588s| 1410k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 36k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
613.03/613.29 c 592s| 1420k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 36k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
616.74/616.91 c 596s| 1430k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 36k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
620.33/620.50 c 599s| 1440k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 36k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
623.84/624.10 c 602s| 1450k| 274 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 37k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
627.43/627.66 c 606s| 1460k| 275 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 37k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
631.03/631.24 c 609s| 1470k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 37k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
634.63/634.85 c 613s| 1480k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 37k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
638.33/638.53 c 616s| 1490k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 37k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
641.93/642.17 c 620s| 1500k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 37k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
645.43/645.68 c 623s| 1510k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 37k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
649.02/649.24 c 627s| 1520k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 38k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
652.62/652.81 c 630s| 1530k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 38k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
656.23/656.44 c 634s| 1540k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 38k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
659.83/660.02 c 637s| 1550k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 38k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
663.53/663.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
663.53/663.71 c 641s| 1560k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 38k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
667.12/667.34 c 644s| 1570k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 38k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
670.62/670.89 c 647s| 1580k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 39k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
674.13/674.40 c 651s| 1590k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 39k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
677.82/678.09 c 654s| 1600k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 39k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
681.52/681.72 c 658s| 1610k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 39k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
685.13/685.35 c 661s| 1620k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 39k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
688.62/688.90 c 665s| 1630k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 39k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
692.21/692.42 c 668s| 1640k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 40k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
695.72/695.97 c 672s| 1650k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 40k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
699.32/699.51 c 675s| 1660k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 40k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
703.01/703.23 c 679s| 1670k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 40k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
706.62/706.88 c 682s| 1680k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 40k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
710.21/710.45 c 685s| 1690k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 40k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
713.91/714.13 c 689s| 1700k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 41k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
717.51/717.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
717.51/717.71 c 692s| 1710k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 41k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
721.01/721.26 c 696s| 1720k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 41k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
724.71/724.92 c 699s| 1730k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 41k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
728.31/728.59 c 703s| 1740k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 41k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
732.00/732.28 c 706s| 1750k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 41k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
735.71/735.95 c 710s| 1760k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 41k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
739.41/739.63 c 714s| 1770k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 42k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
743.01/743.28 c 717s| 1780k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 42k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
746.71/746.98 c 721s| 1790k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 42k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
750.31/750.53 c 724s| 1800k| 274 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 42k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
753.90/754.19 c 728s| 1810k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 42k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
757.71/757.93 c 731s| 1820k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 42k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
761.30/761.54 c 735s| 1830k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 43k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
764.89/765.11 c 738s| 1840k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 43k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
768.61/768.83 c 742s| 1850k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 43k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
772.20/772.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
772.20/772.43 c 745s| 1860k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 43k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
775.79/776.05 c 748s| 1870k| 274 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 43k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
779.49/779.75 c 752s| 1880k| 274 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 43k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
783.29/783.55 c 756s| 1890k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 44k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
787.19/787.40 c 759s| 1900k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 44k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
790.79/791.09 c 763s| 1910k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 44k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
794.70/794.90 c 767s| 1920k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 44k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
798.30/798.54 c 770s| 1930k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 45k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
801.99/802.30 c 774s| 1940k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 45k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
805.59/805.84 c 777s| 1950k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 45k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
809.19/809.50 c 781s| 1960k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 45k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
813.18/813.40 c 784s| 1970k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 45k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
816.89/817.12 c 788s| 1980k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 46k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
820.58/820.84 c 792s| 1990k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 46k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
824.19/824.46 c 795s| 2000k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 46k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
827.88/828.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
827.88/828.14 c 799s| 2010k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 46k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
831.68/831.91 c 802s| 2020k| 266 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 46k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
835.28/835.59 c 806s| 2030k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 47k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
838.98/839.21 c 809s| 2040k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 47k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
842.48/842.75 c 813s| 2050k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 47k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
845.98/846.29 c 816s| 2060k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 47k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
849.58/849.86 c 820s| 2070k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 47k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
853.07/853.38 c 823s| 2080k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 47k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
856.68/856.94 c 826s| 2090k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 47k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
860.28/860.54 c 830s| 2100k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 47k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
863.87/864.14 c 833s| 2110k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 48k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
867.37/867.66 c 837s| 2120k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 48k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
870.98/871.28 c 840s| 2130k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 48k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
874.57/874.86 c 844s| 2140k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 48k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
878.17/878.45 c 847s| 2150k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 48k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
881.87/882.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
881.87/882.11 c 851s| 2160k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 48k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
885.47/885.73 c 854s| 2170k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 48k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
889.17/889.40 c 858s| 2180k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 49k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
892.67/892.99 c 861s| 2190k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 49k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
896.37/896.67 c 865s| 2200k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 49k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
900.27/900.57 c 868s| 2210k| 275 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 49k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
903.97/904.30 c 872s| 2220k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 49k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
907.76/908.02 c 875s| 2230k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 50k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
911.36/911.67 c 879s| 2240k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 50k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
915.16/915.43 c 883s| 2250k| 265 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 50k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
918.87/919.13 c 886s| 2260k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 50k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
922.67/922.92 c 890s| 2270k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 51k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
926.36/926.61 c 893s| 2280k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 51k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
929.86/930.19 c 897s| 2290k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 51k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
933.45/933.72 c 900s| 2300k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 51k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
936.96/937.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
936.96/937.28 c 904s| 2310k| 265 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 51k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
940.65/940.99 c 907s| 2320k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 51k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
944.25/944.56 c 911s| 2330k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 51k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
947.96/948.24 c 914s| 2340k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 51k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
951.65/951.95 c 918s| 2350k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 52k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
955.35/955.62 c 921s| 2360k| 265 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 52k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
959.05/959.30 c 925s| 2370k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 52k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
962.64/962.94 c 928s| 2380k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 52k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
966.25/966.56 c 932s| 2390k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 52k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
969.86/970.20 c 935s| 2400k| 276 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 52k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
973.65/973.94 c 939s| 2410k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 53k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
977.45/977.75 c 942s| 2420k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 53k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
981.15/981.49 c 946s| 2430k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 53k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
984.84/985.13 c 949s| 2440k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 53k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
988.44/988.77 c 953s| 2450k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 53k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
992.04/992.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
992.04/992.37 c 956s| 2460k| 275 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 53k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
995.64/995.94 c 960s| 2470k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 53k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
999.24/999.52 c 963s| 2480k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 54k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1002.74/1003.04 c 967s| 2490k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 54k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1006.34/1006.67 c 970s| 2500k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 54k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1009.94/1010.25 c 974s| 2510k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 54k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1013.53/1013.86 c 977s| 2520k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 54k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1017.14/1017.42 c 980s| 2530k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 54k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1020.63/1020.98 c 984s| 2540k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 54k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1024.33/1024.60 c 987s| 2550k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 55k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1028.03/1028.31 c 991s| 2560k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 55k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1031.63/1031.98 c 994s| 2570k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 55k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1035.23/1035.59 c 998s| 2580k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 55k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1038.83/1039.13 c 1001s| 2590k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 55k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1042.44/1042.71 c 1005s| 2600k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 55k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1046.03/1046.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1046.03/1046.31 c 1008s| 2610k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 56k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1049.63/1049.92 c 1012s| 2620k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 56k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1053.13/1053.47 c 1015s| 2630k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 56k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1056.73/1057.01 c 1018s| 2640k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 56k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1060.33/1060.62 c 1022s| 2650k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 56k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1063.92/1064.29 c 1025s| 2660k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 56k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1067.52/1067.85 c 1029s| 2670k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 56k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1071.13/1071.49 c 1032s| 2680k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 57k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1074.82/1075.14 c 1036s| 2690k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 57k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1078.52/1078.82 c 1039s| 2700k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 57k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1082.21/1082.51 c 1043s| 2710k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 57k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1086.02/1086.33 c 1047s| 2720k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 57k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1089.61/1089.97 c 1050s| 2730k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 57k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1093.21/1093.51 c 1054s| 2740k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 58k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1096.81/1097.13 c 1057s| 2750k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 58k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1100.32/1100.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1100.32/1100.66 c 1060s| 2760k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 58k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1103.92/1104.25 c 1064s| 2770k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 58k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1107.51/1107.84 c 1067s| 2780k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 58k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1111.11/1111.46 c 1071s| 2790k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 58k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1114.71/1115.04 c 1074s| 2800k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 58k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1118.31/1118.62 c 1078s| 2810k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 58k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1121.90/1122.27 c 1081s| 2820k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 59k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1125.71/1126.09 c 1085s| 2830k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 59k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1129.31/1129.70 c 1088s| 2840k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 59k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1133.00/1133.31 c 1092s| 2850k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 59k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1136.70/1137.00 c 1095s| 2860k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 59k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1140.31/1140.61 c 1099s| 2870k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 59k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1143.80/1144.19 c 1102s| 2880k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 60k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1147.61/1147.92 c 1106s| 2890k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 60k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1151.31/1151.64 c 1109s| 2900k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 60k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1154.90/1155.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1154.90/1155.29 c 1113s| 2910k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 60k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1158.60/1158.91 c 1116s| 2920k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 60k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1162.20/1162.50 c 1120s| 2930k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 60k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1165.80/1166.16 c 1123s| 2940k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 61k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1169.40/1169.79 c 1127s| 2950k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 61k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1173.10/1173.42 c 1130s| 2960k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 61k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1176.70/1177.08 c 1134s| 2970k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 61k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1180.30/1180.63 c 1137s| 2980k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 61k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1183.89/1184.23 c 1141s| 2990k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 61k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1187.49/1187.84 c 1144s| 3000k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 61k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1191.09/1191.42 c 1148s| 3010k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 62k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1194.59/1194.94 c 1151s| 3020k| 266 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 62k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1198.29/1198.62 c 1154s| 3030k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 62k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1201.89/1202.20 c 1158s| 3040k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 62k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1205.49/1205.83 c 1161s| 3050k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 62k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1209.08/1209.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1209.08/1209.42 c 1165s| 3060k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 62k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1212.69/1213.01 c 1168s| 3070k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 62k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1216.19/1216.53 c 1172s| 3080k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 62k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1219.79/1220.11 c 1175s| 3090k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 63k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1223.29/1223.68 c 1178s| 3100k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 63k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1226.99/1227.36 c 1182s| 3110k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 63k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1230.49/1230.89 c 1185s| 3120k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 63k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1234.28/1234.60 c 1189s| 3130k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 63k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1237.98/1238.32 c 1193s| 3140k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 63k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1241.78/1242.13 c 1196s| 3150k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 64k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1245.89/1246.22 c 1200s| 3160k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 64k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1249.47/1249.84 c 1204s| 3170k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 64k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1253.18/1253.53 c 1207s| 3180k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 64k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1256.77/1257.15 c 1211s| 3190k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 65k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1260.37/1260.77 c 1214s| 3200k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 65k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1264.07/1264.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1264.07/1264.45 c 1218s| 3210k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 65k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1267.67/1268.05 c 1221s| 3220k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 65k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1271.28/1271.65 c 1225s| 3230k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 65k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1274.87/1275.25 c 1228s| 3240k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 65k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1278.47/1278.80 c 1231s| 3250k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 65k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1281.96/1282.34 c 1235s| 3260k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 65k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1285.57/1285.99 c 1238s| 3270k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 66k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1289.16/1289.55 c 1242s| 3280k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 66k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1292.87/1293.23 c 1245s| 3290k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 66k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1296.57/1296.96 c 1249s| 3300k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 66k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1300.26/1300.67 c 1252s| 3310k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 66k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1303.86/1304.28 c 1256s| 3320k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 66k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1307.57/1307.91 c 1259s| 3330k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 67k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1311.17/1311.50 c 1263s| 3340k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 67k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1314.66/1315.08 c 1266s| 3350k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 67k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1318.35/1318.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1318.35/1318.72 c 1270s| 3360k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 67k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1321.96/1322.32 c 1273s| 3370k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 67k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1325.56/1325.93 c 1277s| 3380k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 67k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1329.26/1329.60 c 1280s| 3390k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 67k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1332.76/1333.20 c 1284s| 3400k| 266 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 67k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1336.46/1336.85 c 1287s| 3410k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 68k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1340.15/1340.51 c 1291s| 3420k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 68k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1343.95/1344.36 c 1294s| 3430k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 68k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1347.75/1348.14 c 1298s| 3440k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 68k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1351.35/1351.79 c 1302s| 3450k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 68k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1355.15/1355.56 c 1305s| 3460k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 69k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1358.85/1359.23 c 1309s| 3470k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 69k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1362.56/1362.96 c 1312s| 3480k| 265 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 69k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1366.25/1366.63 c 1316s| 3490k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 69k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1370.05/1370.40 c 1319s| 3500k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 69k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1373.65/1374.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1373.65/1374.09 c 1323s| 3510k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 69k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1377.34/1377.77 c 1326s| 3520k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 70k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1380.94/1381.38 c 1330s| 3530k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 70k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1384.74/1385.12 c 1334s| 3540k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 70k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1388.34/1388.77 c 1337s| 3550k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 70k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1392.04/1392.40 c 1341s| 3560k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 70k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1395.64/1396.05 c 1344s| 3570k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 70k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1399.24/1399.65 c 1347s| 3580k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 70k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1402.84/1403.29 c 1351s| 3590k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 71k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1406.54/1406.91 c 1354s| 3600k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 71k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1410.14/1410.57 c 1358s| 3610k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 71k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1413.73/1414.17 c 1361s| 3620k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 71k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1417.24/1417.68 c 1365s| 3630k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 71k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1420.84/1421.29 c 1368s| 3640k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 71k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1424.53/1424.97 c 1372s| 3650k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 71k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1428.13/1428.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1428.13/1428.53 c 1375s| 3660k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 72k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1431.74/1432.14 c 1379s| 3670k| 266 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 72k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1435.43/1435.85 c 1382s| 3680k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 72k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1439.13/1439.51 c 1386s| 3690k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 72k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1442.63/1443.08 c 1389s| 3700k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 72k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1446.32/1446.72 c 1393s| 3710k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 72k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1449.93/1450.30 c 1396s| 3720k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 72k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1453.43/1453.89 c 1400s| 3730k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 72k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1457.03/1457.50 c 1403s| 3740k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 73k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1460.72/1461.14 c 1406s| 3750k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 73k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1464.32/1464.75 c 1410s| 3760k| 266 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 73k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1467.92/1468.39 c 1413s| 3770k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 73k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1471.52/1471.97 c 1417s| 3780k| 265 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 73k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1475.12/1475.56 c 1420s| 3790k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 73k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1478.72/1479.17 c 1424s| 3800k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 73k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1482.43/1482.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1482.43/1482.84 c 1427s| 3810k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 73k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1485.92/1486.39 c 1431s| 3820k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 74k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1489.51/1489.96 c 1434s| 3830k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 74k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1493.11/1493.55 c 1438s| 3840k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 74k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1496.72/1497.13 c 1441s| 3850k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 74k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1500.32/1500.73 c 1444s| 3860k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 74k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1503.92/1504.37 c 1448s| 3870k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 74k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1507.62/1508.03 c 1451s| 3880k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 74k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1511.21/1511.63 c 1455s| 3890k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 74k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1514.81/1515.24 c 1458s| 3900k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 75k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1518.41/1518.84 c 1462s| 3910k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 75k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1522.11/1522.50 c 1465s| 3920k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 75k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1525.71/1526.12 c 1469s| 3930k| 266 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 75k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1529.31/1529.74 c 1472s| 3940k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 75k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1533.01/1533.43 c 1476s| 3950k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 75k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1536.61/1537.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1536.61/1537.05 c 1479s| 3960k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 75k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1540.30/1540.72 c 1483s| 3970k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 76k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1543.91/1544.31 c 1486s| 3980k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 76k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1547.51/1547.91 c 1490s| 3990k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 76k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1551.10/1551.54 c 1493s| 4000k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 76k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1554.60/1555.07 c 1497s| 4010k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 76k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1558.20/1558.68 c 1500s| 4020k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 76k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1561.88/1562.39 c 1504s| 4030k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 76k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1565.48/1565.98 c 1507s| 4040k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 76k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1569.19/1569.61 c 1511s| 4050k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 76k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1572.68/1573.15 c 1514s| 4060k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 77k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1576.18/1576.69 c 1517s| 4070k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 77k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1579.68/1580.19 c 1521s| 4080k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 77k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1583.28/1583.78 c 1524s| 4090k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 77k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1586.88/1587.34 c 1528s| 4100k| 265 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 77k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1590.47/1590.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1590.47/1590.92 c 1531s| 4110k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 77k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1593.98/1594.48 c 1535s| 4120k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 77k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1597.68/1598.16 c 1538s| 4130k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 77k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1601.28/1601.74 c 1541s| 4140k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 77k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1604.97/1605.42 c 1545s| 4150k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 78k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1608.57/1609.05 c 1548s| 4160k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 78k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1612.27/1612.72 c 1552s| 4170k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 78k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1615.97/1616.43 c 1556s| 4180k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 78k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1619.77/1620.20 c 1559s| 4190k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 78k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1623.37/1623.86 c 1563s| 4200k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 79k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1627.06/1627.52 c 1566s| 4210k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 79k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1630.67/1631.11 c 1570s| 4220k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 79k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1634.26/1634.78 c 1573s| 4230k| 265 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 79k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1637.86/1638.39 c 1577s| 4240k| 266 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 79k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1641.56/1642.05 c 1580s| 4250k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 79k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1645.36/1645.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1645.36/1645.84 c 1584s| 4260k| 266 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 79k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1649.06/1649.50 c 1587s| 4270k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 80k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1652.66/1653.14 c 1591s| 4280k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 80k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1656.26/1656.79 c 1594s| 4290k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 80k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1659.96/1660.40 c 1598s| 4300k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 80k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1663.55/1664.00 c 1601s| 4310k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 80k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1667.17/1667.63 c 1605s| 4320k| 266 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 80k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1670.75/1671.25 c 1608s| 4330k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 80k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1674.45/1674.90 c 1612s| 4340k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 81k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1678.06/1678.60 c 1615s| 4350k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 81k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1681.75/1682.24 c 1619s| 4360k| 265 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 81k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1685.35/1685.88 c 1622s| 4370k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 81k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1688.95/1689.47 c 1626s| 4380k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 81k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1692.55/1693.05 c 1629s| 4390k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 81k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1696.15/1696.67 c 1633s| 4400k| 266 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 81k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1699.85/1700.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1699.85/1700.32 c 1636s| 4410k| 265 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 81k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1703.55/1704.04 c 1640s| 4420k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 82k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1707.25/1707.72 c 1643s| 4430k| 275 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 82k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1710.85/1711.34 c 1647s| 4440k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 82k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1714.46/1714.99 c 1650s| 4450k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 82k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1718.05/1718.58 c 1654s| 4460k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 82k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1721.64/1722.14 c 1657s| 4470k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 82k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1725.25/1725.74 c 1660s| 4480k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 82k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1728.75/1729.24 c 1664s| 4490k| 274 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 82k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1732.34/1732.82 c 1667s| 4500k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 83k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1735.84/1736.37 c 1671s| 4510k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 83k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1739.44/1739.98 c 1674s| 4520k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 83k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1743.14/1743.65 c 1678s| 4530k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 83k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1746.74/1747.27 c 1681s| 4540k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 83k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1750.44/1750.91 c 1685s| 4550k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 83k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1754.04/1754.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1754.04/1754.51 c 1688s| 4560k| 273 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 84k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1757.53/1758.06 c 1692s| 4570k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 84k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1761.23/1761.71 c 1695s| 4580k| 272 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 84k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1764.83/1765.31 c 1698s| 4590k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 84k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1768.43/1768.91 c 1702s| 4600k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 84k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1772.13/1772.62 c 1705s| 4610k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 84k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1775.73/1776.26 c 1709s| 4620k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 84k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1779.43/1779.91 c 1713s| 4630k| 267 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 85k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1783.03/1783.58 c 1716s| 4640k| 271 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 85k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1786.73/1787.22 c 1720s| 4650k| 270 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 85k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1790.34/1790.87 c 1723s| 4660k| 269 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 85k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1794.03/1794.55 c 1727s| 4670k| 268 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 85k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1797.63/1798.19 c 1730s| 4680k| 275 | 18544 | 0.0 | 12M| 295 | - |1429 |2742 | 0 | 0 | 94 | 85k| 40 | 9.930000e+02 | 1.160000e+03 | 16.82%
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.50 c
1800.03/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.50 c Solving Time (sec) : 1732.31
1800.03/1800.50 c Solving Nodes : 4686277
1800.03/1800.50 c Primal Bound : +1.16000000000000e+03 (32 solutions)
1800.03/1800.50 c Dual Bound : +9.93000000000000e+02
1800.03/1800.50 c Gap : 16.82 %
1800.03/1800.51 s SATISFIABLE
1800.03/1800.51 v -x1968 -x1967 x1966 -x1965 -x1964 -x1963 x1962 x1961 x1960 x1959 -x1958 x1957 x1956 x1955 x1954 x1953 x1952 x1951 -x1950 -x1949
1800.03/1800.51 v x1948 -x1947 x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 x1939 -x1938 -x1937 x1936 -x1935 -x1934 -x1933 x1932 -x1931 -x1930
1800.03/1800.51 v x1929 -x1928 x1927 -x1926 x1925 x1924 -x1923 -x1922 x1921 -x1920 -x1919 x1918 x1917 -x1916 -x1915 -x1914 x1913 x1912 x1911
1800.03/1800.51 v x1910 -x1909 -x1908 -x1907 x1906 x1905 -x1904 -x1903 x1902 x1901 x1900 -x1899 x1898 x1897 -x1896 x1895 x1894 -x1893 -x1892
1800.03/1800.51 v -x1891 x1890 x1889 -x1888 -x1887 x1886 -x1885 x1884 -x1883 -x1882 x1881 x1880 x1879 x1878 -x1877 x1876 x1875 x1874 -x1873 -x1872
1800.03/1800.51 v x1871 -x1870 x1869 -x1868 x1867 -x1866 x1865 x1864 x1863 x1862 x1861 x1860 x1859 x1858 -x1857 -x1856 -x1855 x1854 -x1853
1800.03/1800.51 v x1852 x1851 -x1850 x1849 -x1848 x1847 x1846 x1845 x1844 -x1843 x1842 x1841 x1840 x1839 x1838 -x1837 -x1836 x1835 x1834 x1833
1800.03/1800.51 v -x1832 x1831 x1830 -x1829 x1828 -x1827 -x1826 -x1825 -x1824 x1823 x1822 -x1821 -x1820 -x1819 x1818 x1817 x1816 -x1815 -x1814
1800.03/1800.51 v x1813 x1812 -x1811 -x1810 x1809 -x1808 x1807 -x1806 x1805 -x1804 x1803 -x1802 x1801 x1800 -x1799 x1798 x1797 -x1796 -x1795 x1794
1800.03/1800.51 v -x1793 -x1792 x1791 -x1790 -x1789 x1788 -x1787 x1786 x1785 -x1784 x1783 x1782 x1781 x1780 x1779 x1778 -x1777 -x1776 -x1775
1800.03/1800.51 v -x1774 -x1773 x1772 x1771 -x1770 -x1769 -x1768 x1767 x1766 x1765 x1764 x1763 x1762 -x1761 -x1760 x1759 x1758 -x1757 x1756 x1755
1800.03/1800.51 v x1754 -x1753 x1752 x1751 x1750 x1749 x1748 -x1747 x1746 x1745 x1744 x1743 -x1742 x1741 x1740 x1739 x1738 x1737 x1736 x1735
1800.03/1800.51 v x1734 x1733 -x1732 x1731 x1730 x1729 -x1728 x1727 x1726 x1725 x1724 x1723 x1722 x1721 x1720 x1719 -x1718 x1717 x1716 x1715
1800.03/1800.51 v -x1714 x1713 x1712 -x1711 -x1710 x1709 x1708 -x1707 x1706 x1705 x1704 x1703 x1702 x1701 x1700 x1699 -x1698 -x1697 x1696 -x1695
1800.03/1800.51 v x1694 x1693 x1692 x1691 -x1690 x1689 x1688 -x1687 -x1686 -x1685 x1684 x1683 x1682 x1681 x1680 -x1679 x1678 x1677 -x1676 -x1675
1800.03/1800.51 v -x1674 x1673 x1672 -x1671 x1670 x1669 -x1668 x1667 x1666 -x1665 -x1664 x1663 x1662 -x1661 -x1660 -x1659 x1658 x1657 -x1656
1800.03/1800.51 v x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 x1648 -x1647 -x1646 -x1645 -x1644 x1643 x1642 -x1641 x1640 -x1639 -x1638 x1637
1800.03/1800.51 v -x1636 -x1635 -x1634 x1633 x1632 -x1631 x1630 -x1629 -x1628 x1627 x1626 x1625 x1624 -x1623 x1622 x1621 x1620 x1619 x1618
1800.03/1800.51 v -x1617 x1616 x1615 x1614 x1613 x1612 -x1611 -x1610 -x1609 x1608 x1607 -x1606 x1605 x1604 -x1603 x1602 x1601 x1600 x1599 x1598
1800.03/1800.51 v x1597 x1596 x1595 x1594 x1593 x1592 x1591 x1590 x1589 x1588 x1587 x1586 -x1585 x1584 -x1583 x1582 x1581 -x1580 -x1579 -x1578
1800.03/1800.51 v -x1577 x1576 -x1575 -x1574 x1573 x1572 x1571 -x1570 -x1569 x1568 -x1567 -x1566 x1565 -x1564 x1563 x1562 -x1561 x1560 x1559
1800.03/1800.51 v x1558 -x1557 x1556 x1555 x1554 x1553 x1552 x1551 -x1550 x1549 -x1548 x1547 x1546 -x1545 x1544 -x1543 x1542 x1541 x1540 x1539
1800.03/1800.51 v x1538 x1537 x1536 -x1535 x1534 x1533 x1532 x1531 x1530 -x1529 x1528 -x1527 x1526 x1525 -x1524 x1523 x1522 x1521 -x1520 x1519
1800.03/1800.51 v -x1518 x1517 x1516 -x1515 -x1514 x1513 x1512 x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 x1503 x1502 x1501 -x1500
1800.03/1800.51 v -x1499 x1498 x1497 -x1496 x1495 -x1494 -x1493 x1492 x1491 -x1490 x1489 -x1488 -x1487 -x1486 x1485 x1484 x1483 x1482 x1481 -x1480
1800.03/1800.51 v -x1479 -x1478 x1477 -x1476 -x1475 x1474 x1473 x1472 x1471 -x1470 -x1469 x1468 x1467 x1466 -x1465 x1464 -x1463 -x1462 -x1461
1800.03/1800.51 v -x1460 -x1459 x1458 -x1457 x1456 x1455 -x1454 x1453 -x1452 x1451 x1450 -x1449 x1448 -x1447 x1446 -x1445 -x1444 x1443 x1442
1800.03/1800.51 v -x1441 x1440 x1439 -x1438 x1437 -x1436 x1435 x1434 -x1433 -x1432 -x1431 x1430 -x1429 x1428 x1427 x1426 x1425 x1424 x1423 x1422
1800.03/1800.51 v x1421 x1420 x1419 x1418 x1417 x1416 -x1415 x1414 x1413 -x1412 x1411 x1410 x1409 -x1408 x1407 x1406 x1405 x1404 x1403 -x1402
1800.03/1800.51 v x1401 -x1400 x1399 x1398 x1397 x1396 x1395 x1394 x1393 x1392 -x1391 -x1390 x1389 -x1388 x1387 x1386 x1385 -x1384 -x1383 x1382
1800.03/1800.51 v x1381 -x1380 x1379 x1378 x1377 -x1376 x1375 -x1374 x1373 x1372 -x1371 x1370 -x1369 x1368 x1367 x1366 x1365 -x1364 -x1363 -x1362
1800.03/1800.51 v x1361 -x1360 x1359 x1358 -x1357 x1356 x1355 x1354 x1353 x1352 x1351 x1350 -x1349 x1348 -x1347 -x1346 -x1345 x1344 x1343
1800.03/1800.51 v x1342 x1341 x1340 x1339 -x1338 x1337 -x1336 x1335 -x1334 x1333 x1332 x1331 x1330 -x1329 -x1328 x1327 -x1326 x1325 x1324 x1323
1800.03/1800.51 v x1322 x1321 x1320 -x1319 x1318 x1317 -x1316 x1315 x1314 x1313 -x1312 x1311 x1310 -x1309 x1308 x1307 x1306 x1305 x1304 -x1303
1800.03/1800.51 v x1302 x1301 x1300 x1299 x1298 x1297 x1296 -x1295 x1294 x1293 -x1292 -x1291 x1290 x1289 x1288 x1287 x1286 x1285 x1284 x1283
1800.03/1800.51 v x1282 x1281 -x1280 x1279 x1278 -x1277 x1276 -x1275 x1274 -x1273 x1272 x1271 x1270 x1269 -x1268 x1267 -x1266 -x1265 -x1264 x1263
1800.03/1800.51 v -x1262 -x1261 -x1260 x1259 x1258 x1257 x1256 x1255 x1254 x1253 -x1252 x1251 -x1250 x1249 x1248 x1247 -x1246 -x1245 -x1244
1800.03/1800.51 v x1243 x1242 -x1241 x1240 -x1239 x1238 x1237 x1236 x1235 x1234 x1233 x1232 x1231 x1230 x1229 x1228 x1227 x1226 x1225 x1224 x1223
1800.03/1800.51 v x1222 x1221 -x1220 -x1219 -x1218 -x1217 x1216 x1215 -x1214 x1213 -x1212 x1211 x1210 x1209 x1208 x1207 x1206 x1205 -x1204 -x1203
1800.03/1800.51 v x1202 x1201 x1200 -x1199 x1198 x1197 x1196 x1195 x1194 -x1193 x1192 x1191 x1190 x1189 x1188 -x1187 x1186 -x1185 x1184 x1183
1800.03/1800.51 v x1182 x1181 x1180 x1179 x1178 -x1177 x1176 -x1175 x1174 x1173 x1172 x1171 x1170 x1169 x1168 x1167 -x1166 x1165 x1164 -x1163
1800.03/1800.51 v x1162 x1161 x1160 x1159 x1158 x1157 x1156 -x1155 x1154 x1153 -x1152 -x1151 x1150 x1149 x1148 x1147 x1146 x1145 x1144 -x1143
1800.03/1800.51 v -x1142 x1141 x1140 x1139 x1138 x1137 x1136 -x1135 x1134 x1133 x1132 x1131 x1130 x1129 x1128 x1127 x1126 x1125 x1124 x1123
1800.03/1800.51 v x1122 x1121 x1120 x1119 -x1118 -x1117 -x1116 -x1115 x1114 -x1113 x1112 x1111 -x1110 x1109 x1108 x1107 x1106 x1105 x1104 x1103
1800.03/1800.51 v x1102 x1101 x1100 x1099 x1098 -x1097 x1096 x1095 x1094 x1093 x1092 -x1091 x1090 x1089 -x1088 x1087 x1086 -x1085 -x1084 x1083
1800.03/1800.51 v x1082 x1081 x1080 -x1079 -x1078 x1077 x1076 x1075 -x1074 -x1073 x1072 x1071 x1070 x1069 x1068 -x1067 x1066 x1065 x1064 x1063
1800.03/1800.51 v x1062 x1061 x1060 -x1059 -x1058 x1057 x1056 -x1055 x1054 x1053 x1052 x1051 -x1050 -x1049 x1048 -x1047 x1046 -x1045 -x1044 x1043
1800.03/1800.51 v x1042 x1041 x1040 x1039 x1038 x1037 -x1036 x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 x1026 x1025 x1024
1800.03/1800.51 v x1023 -x1022 x1021 -x1020 x1019 x1018 x1017 -x1016 x1015 x1014 x1013 -x1012 -x1011 -x1010 x1009 x1008 x1007 x1006 -x1005 -x1004
1800.03/1800.51 v -x1003 x1002 -x1001 -x1000 -x999 x998 -x997 x996 -x995 x994 x993 x992 x991 x990 x989 x988 -x987 -x986 x985 x984 x983 -x982
1800.03/1800.51 v x981 -x980 x979 x978 x977 x976 x975 x974 -x973 x972 x971 x970 x969 x968 -x967 -x966 x965 x964 x963 x962 -x961 -x960 x959 -x958
1800.03/1800.51 v -x957 x956 -x955 x954 -x953 x952 x951 -x950 x949 x948 x947 x946 x945 -x944 -x943 x942 x941 -x940 -x939 x938 x937 x936 -x935
1800.03/1800.51 v -x934 -x933 x932 -x931 -x930 x929 -x928 -x927 x926 x925 x924 x923 x922 x921 x920 x919 x918 x917 x916 -x915 -x914 x913 x912
1800.03/1800.51 v x911 x910 x909 x908 x907 x906 -x905 -x904 x903 x902 x901 x900 -x899 -x898 x897 -x896 x895 x894 x893 -x892 -x891 x890 x889 -x888
1800.03/1800.51 v x887 x886 -x885 x884 x883 x882 x881 x880 -x879 x878 x877 -x876 x875 x874 x873 x872 x871 x870 x869 x868 -x867 x866 -x865
1800.03/1800.51 v x864 x863 x862 x861 x860 x859 x858 -x857 -x856 x855 x854 x853 x852 x851 -x850 x849 -x848 -x847 x846 x845 x844 -x843 x842 -x841
1800.03/1800.51 v x840 x839 x838 -x837 x836 x835 x834 x833 x832 x831 x830 x829 x828 x827 x826 x825 -x824 x823 -x822 -x821 x820 -x819 -x818 x817
1800.03/1800.51 v -x816 -x815 x814 x813 x812 x811 -x810 -x809 x808 -x807 x806 x805 x804 -x803 x802 -x801 -x800 x799 -x798 -x797 -x796 -x795
1800.03/1800.51 v x794 x793 -x792 x791 x790 x789 x788 x787 x786 x785 -x784 x783 x782 -x781 -x780 x779 x778 x777 x776 x775 x774 x773 x772 x771 -x770
1800.03/1800.51 v -x769 x768 x767 x766 x765 x764 x763 x762 -x761 -x760 x759 x758 x757 -x756 x755 x754 -x753 -x752 x751 x750 x749 -x748 -x747
1800.03/1800.51 v -x746 -x745 x744 -x743 -x742 -x741 x740 x739 x738 -x737 -x736 -x735 x734 -x733 x732 -x731 x730 -x729 x728 -x727 x726 x725
1800.03/1800.51 v -x724 x723 -x722 -x721 -x720 x719 x718 -x717 x716 x715 x714 x713 -x712 x711 x710 x709 x708 x707 x706 x705 x704 x703 -x702 -x701
1800.03/1800.51 v -x700 x699 -x698 x697 x696 x695 x694 -x693 x692 -x691 x690 -x689 x688 -x687 x686 x685 x684 -x683 x682 -x681 -x680 x679 x678
1800.03/1800.51 v x677 -x676 -x675 -x674 x673 x672 -x671 x670 x669 x668 x667 x666 -x665 x664 x663 x662 x661 x660 -x659 -x658 x657 x656 x655 x654
1800.03/1800.51 v x653 -x652 x651 x650 x649 x648 -x647 -x646 -x645 x644 -x643 -x642 -x641 x640 x639 x638 x637 -x636 -x635 x634 x633 -x632 x631
1800.03/1800.51 v -x630 -x629 x628 -x627 x626 x625 x624 -x623 x622 x621 -x620 x619 x618 x617 x616 x615 -x614 -x613 -x612 x611 x610 x609 x608
1800.03/1800.51 v x607 -x606 -x605 x604 x603 x602 x601 -x600 x599 x598 x597 x596 x595 -x594 x593 x592 -x591 x590 x589 -x588 x587 -x586 -x585
1800.03/1800.51 v x584 x583 x582 -x581 x580 -x579 -x578 x577 x576 x575 -x574 -x573 -x572 x571 x570 -x569 x568 -x567 -x566 -x565 x564 x563 x562
1800.03/1800.51 v x561 -x560 x559 x558 -x557 x556 x555 x554 -x553 x552 -x551 x550 -x549 x548 x547 x546 x545 -x544 x543 x542 x541 x540 -x539 -x538
1800.03/1800.51 v x537 x536 x535 x534 -x533 -x532 -x531 x530 x529 -x528 x527 -x526 x525 x524 -x523 -x522 -x521 x520 x519 x518 x517 x516 -x515
1800.03/1800.51 v x514 x513 -x512 x511 x510 -x509 x508 -x507 -x506 x505 x504 x503 x502 x501 -x500 x499 -x498 -x497 x496 x495 -x494 x493 x492
1800.03/1800.51 v x491 x490 -x489 x488 -x487 x486 x485 x484 x483 x482 x481 x480 -x479 -x478 x477 -x476 x475 x474 x473 -x472 -x471 -x470 x469 -x468
1800.03/1800.51 v x467 x466 x465 -x464 -x463 x462 x461 x460 -x459 -x458 -x457 x456 x455 -x454 x453 x452 -x451 x450 -x449 x448 -x447 x446 x445
1800.03/1800.51 v x444 x443 -x442 x441 x440 x439 x438 -x437 -x436 -x435 x434 -x433 x432 -x431 x430 -x429 x428 -x427 -x426 x425 -x424 x423 -x422
1800.03/1800.51 v x421 x420 -x419 -x418 x417 -x416 x415 x414 -x413 -x412 -x411 -x410 x409 x408 -x407 x406 x405 -x404 x403 x402 x401 -x400 x399
1800.03/1800.51 v -x398 -x397 -x396 x395 -x394 -x393 x392 -x391 -x390 -x389 x388 x387 -x386 -x385 x384 x383 x382 -x381 x380 -x379 -x378 -x377
1800.03/1800.51 v -x376 x375 x374 x373 -x372 -x371 x370 -x369 x368 -x367 x366 x365 -x364 x363 -x362 -x361 x360 x359 x358 -x357 -x356 -x355 -x354
1800.03/1800.51 v x353 -x352 -x351 -x350 x349 x348 -x347 x346 x345 x344 x343 -x342 -x341 -x340 x339 -x338 x337 -x336 x335 x334 x333 -x332
1800.03/1800.51 v x331 x330 x329 -x328 x327 x326 -x325 x324 x323 x322 x321 x320 -x319 -x318 x317 -x316 -x315 x314 x313 -x312 -x311 x310 -x309 x308
1800.03/1800.51 v x307 x306 -x305 -x304 x303 -x302 -x301 -x300 x299 x298 x297 -x296 -x295 -x294 x293 -x292 -x291 x290 -x289 -x288 x287 -x286
1800.03/1800.51 v -x285 -x284 -x283 x282 -x281 -x280 x279 x278 x277 x276 -x275 x274 x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264
1800.03/1800.51 v x263 -x262 x261 -x260 x259 -x258 -x257 x256 x255 -x254 -x253 x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 x243 x242 -x241
1800.03/1800.51 v x240 x239 x238 -x237 x236 x235 x234 x233 -x232 -x231 x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219
1800.03/1800.51 v x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 x210 -x209 x208 -x207 -x206 -x205 x204 -x203 -x202 x201 -x200 -x199 -x198 x197
1800.03/1800.51 v x196 x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 x178 x177 -x176 x175
1800.03/1800.51 v -x174 x173 x172 x171 -x170 x169 -x168 -x167 -x166 -x165 x164 -x163 -x162 x161 -x160 x159 x158 -x157 x156 -x155 x154 -x153 -x152
1800.03/1800.51 v x151 -x150 x149 -x148 -x147 x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 x137 -x136 -x135 -x134 -x133 -x132 x131
1800.03/1800.51 v -x130 -x129 x128 x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 x119 x118 -x117 x116 x115 -x114 x113 -x112 -x111 x110 -x109 -x108
1800.03/1800.51 v x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84
1800.03/1800.51 v -x83 -x82 x81 x80 -x79 x78 -x77 -x76 x75 -x74 -x73 -x72 x71 -x70 x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57
1800.03/1800.51 v -x56 -x55 -x54 x53 x52 x51 -x50 -x49 x48 x47 -x46 -x45 x44 -x43 x42 -x41 x40 -x39 -x38 -x37 x36 x35 -x34 -x33 -x32 -x31 -x30
1800.03/1800.51 v -x29 -x28 -x27 x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 x5 -x4 x3
1800.03/1800.51 v x2 -x1
1800.03/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.51 c Solving Time : 1732.31
1800.03/1800.51 c Original Problem :
1800.03/1800.51 c Problem name : HOME/instance-2667003-1276396501.opb
1800.03/1800.51 c Variables : 1968 (1968 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51 c Constraints : 4000 initial, 4000 maximal
1800.03/1800.51 c Presolved Problem :
1800.03/1800.51 c Problem name : t_HOME/instance-2667003-1276396501.opb
1800.03/1800.51 c Variables : 1429 (1429 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51 c Constraints : 2742 initial, 2742 maximal
1800.03/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c dualfix : 0.01 251 0 0 0 0 0 0 0
1800.03/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c implics : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.51 c probing : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.51 c linear : 0.04 0 288 0 0 0 1258 0 0
1800.03/1800.51 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.03/1800.51 c root node : - 0 - - 0 - - - -
1800.03/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c integral : 0 0 0 1 0 0 0 0 0 2
1800.03/1800.51 c logicor : 2742+ 36 5177090 0 0 86050 21456151 0 0 0
1800.03/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.51 c integral : 41.81 0.00 0.00 41.81 0.00
1800.03/1800.51 c logicor : 185.24 0.03 185.21 0.00 0.00
1800.03/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.51 c vbounds : 4.79 2 0 0
1800.03/1800.51 c rootredcost : 3.89 0 0 0
1800.03/1800.51 c pseudoobj : 1066.64 8709536 2269853 37251436
1800.03/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.51 c propagation : 121.52 86050 86050 86050 264.5 0 0.0 -
1800.03/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.51 c applied globally : - - - 0 0.0 - - -
1800.03/1800.51 c applied locally : - - - 86050 264.5 - - -
1800.03/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.51 c cut pool : 0.04 35 - - 18 - (maximal pool size: 216)
1800.03/1800.51 c redcost : 0.00 36 0 0 0 0
1800.03/1800.51 c impliedbounds : 0.02 36 0 0 0 0
1800.03/1800.51 c intobj : 0.00 0 0 0 0 0
1800.03/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.51 c gomory : 4.29 36 0 0 18000 0
1800.03/1800.51 c strongcg : 2.55 20 0 0 9595 0
1800.03/1800.51 c cmir : 0.19 10 0 0 0 0
1800.03/1800.51 c flowcover : 0.13 10 0 0 0 0
1800.03/1800.51 c clique : 0.00 36 0 0 1 0
1800.03/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.51 c mcf : 0.03 1 0 0 0 0
1800.03/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.51 c Pricers : Time Calls Vars
1800.03/1800.51 c problem variables: 0.00 0 0
1800.03/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c relpscost : 41.81 1 0 0 0 0 2
1800.03/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.51 c inference : 172.15 2360920 0 0 0 0 4721840
1800.03/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c random : 0.00 0 0 0 0 0 0
1800.03/1800.51 c Primal Heuristics : Time Calls Found
1800.03/1800.51 c LP solutions : 0.00 - 0
1800.03/1800.51 c pseudo solutions : 0.00 - 0
1800.03/1800.51 c crossover : 0.00 0 0
1800.03/1800.51 c oneopt : 2.66 2 1
1800.03/1800.51 c trivial : 0.01 2 3
1800.03/1800.51 c simplerounding : 0.02 37 27
1800.03/1800.51 c zirounding : 0.01 1 1
1800.03/1800.51 c rounding : 4.54 37 0
1800.03/1800.51 c shifting : 4.51 37 0
1800.03/1800.51 c intshifting : 0.00 0 0
1800.03/1800.51 c twoopt : 0.00 0 0
1800.03/1800.51 c fixandinfer : 0.00 0 0
1800.03/1800.51 c feaspump : 0.00 0 0
1800.03/1800.51 c coefdiving : 0.00 0 0
1800.03/1800.51 c pscostdiving : 0.00 0 0
1800.03/1800.51 c fracdiving : 0.00 0 0
1800.03/1800.51 c veclendiving : 0.00 0 0
1800.03/1800.51 c intdiving : 0.00 0 0
1800.03/1800.51 c actconsdiving : 0.00 0 0
1800.03/1800.51 c objpscostdiving : 0.00 0 0
1800.03/1800.51 c rootsoldiving : 0.00 0 0
1800.03/1800.51 c linesearchdiving : 0.00 0 0
1800.03/1800.51 c guideddiving : 0.00 0 0
1800.03/1800.51 c octane : 0.00 0 0
1800.03/1800.51 c rens : 0.00 0 0
1800.03/1800.51 c rins : 0.00 0 0
1800.03/1800.51 c localbranching : 0.00 0 0
1800.03/1800.51 c mutation : 0.00 0 0
1800.03/1800.51 c dins : 0.00 0 0
1800.03/1800.51 c undercover : 0.00 0 0
1800.03/1800.51 c nlp : 2.79 0 0
1800.03/1800.51 c trysol : 2.03 0 0
1800.03/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.51 c primal LP : 0.04 0 0 0.00 0.00
1800.03/1800.51 c dual LP : 18.80 37 18544 501.19 986.38
1800.03/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.51 c strong branching : 41.80 40 37793 944.83 904.14
1800.03/1800.51 c (at root node) : - 40 37793 944.83 -
1800.03/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.51 c B&B Tree :
1800.03/1800.51 c number of runs : 1
1800.03/1800.51 c nodes : 4686277
1800.03/1800.51 c nodes (total) : 4686277
1800.03/1800.51 c nodes left : 269
1800.03/1800.51 c max depth : 295
1800.03/1800.51 c max depth (total): 295
1800.03/1800.51 c backtracks : 1237764 (26.4%)
1800.03/1800.51 c delayed cutoffs : 35297
1800.03/1800.51 c repropagations : 43046 (883398 domain reductions, 30547 cutoffs)
1800.03/1800.51 c avg switch length: 2.00
1800.03/1800.51 c switching time : 92.92
1800.03/1800.51 c Solution :
1800.03/1800.51 c Solutions found : 32 (3 improvements)
1800.03/1800.51 c First Solution : +1.96800000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.03/1800.51 c Primal Bound : +1.16000000000000e+03 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <oneopt>)
1800.03/1800.51 c Dual Bound : +9.93000000000000e+02
1800.03/1800.51 c Gap : 16.82 %
1800.03/1800.51 c Root Dual Bound : +9.93000000000000e+02
1800.03/1800.51 c Root Iterations : 18544
1800.03/1800.55 c Time complete: 1800.07.