0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665601-1276388651.opb>
0.00/0.08 c original problem has 1957 variables (1957 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.00/0.08 c problem read
0.00/0.08 c presolving settings loaded
0.09/0.10 o 1957
0.09/0.10 c feasible solution found by trivial heuristic, objective value 1.957000e+03
0.09/0.10 c presolving:
0.09/0.13 c (round 1) 155 del vars, 155 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.14 c (round 2) 309 del vars, 726 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.14 c (round 3) 353 del vars, 814 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.15 c (round 4) 388 del vars, 925 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.15 c (round 5) 399 del vars, 954 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.16 c (round 6) 408 del vars, 971 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.16 c (round 7) 415 del vars, 993 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.17 c (round 8) 417 del vars, 1001 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.17 c (round 9) 418 del vars, 1006 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.19/0.22 c (round 10) 418 del vars, 1007 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2993 upgd conss, 7996 impls, 0 clqs
0.19/0.26 c (0.1s) probing: 101/1539 (6.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.26 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.26 c presolving (11 rounds):
0.19/0.26 c 418 deleted vars, 1007 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.26 c 7996 implications, 0 cliques
0.19/0.26 c presolved problem has 1539 variables (1539 bin, 0 int, 0 impl, 0 cont) and 2993 constraints
0.19/0.26 c 2993 constraints of type <logicor>
0.19/0.26 c transformed objective value is always integral (scale: 1)
0.19/0.26 c Presolving Time: 0.12
0.19/0.26 c - non default parameters ----------------------------------------------------------------------
0.19/0.26 c # SCIP version 1.2.1.2
0.19/0.26 c
0.19/0.26 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.26 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.26 c conflict/interconss = 0
0.19/0.26 c
0.19/0.26 c # should binary conflicts be preferred?
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c conflict/preferbinary = TRUE
0.19/0.26 c
0.19/0.26 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.26 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.26 c constraints/agelimit = 1
0.19/0.26 c
0.19/0.26 c # should enforcement of pseudo solution be disabled?
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c constraints/disableenfops = TRUE
0.19/0.26 c
0.19/0.26 c # frequency for displaying node information lines
0.19/0.26 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.26 c display/freq = 10000
0.19/0.26 c
0.19/0.26 c # maximal time in seconds to run
0.19/0.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.26 c limits/time = 1799.93
0.19/0.26 c
0.19/0.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.26 c limits/memory = 1620
0.19/0.26 c
0.19/0.26 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.26 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.26 c lp/solvefreq = 0
0.19/0.26 c
0.19/0.26 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.26 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.26 c lp/pricing = a
0.19/0.26 c
0.19/0.26 c # should presolving try to simplify inequalities
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c constraints/linear/simplifyinequalities = TRUE
0.19/0.26 c
0.19/0.26 c # should presolving try to simplify knapsacks
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.26 c
0.19/0.26 c # priority of node selection rule <dfs> in standard mode
0.19/0.26 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.26 c nodeselection/dfs/stdpriority = 1000000
0.19/0.26 c
0.19/0.26 c -----------------------------------------------------------------------------------------------
0.19/0.26 c start solving
0.19/0.26 c
0.19/0.26 o 1744
0.19/0.26 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.26 c t 0.1s| 1 | 0 | 0 | - |5810k| 0 | - |1539 |2993 | 0 | 0 | 0 | 0 | 0 | -- | 1.744000e+03 | Inf
0.19/0.28 o 1154
0.19/0.28 c b 0.1s| 1 | 0 | 0 | - |7432k| 0 | - |1539 |2993 |1539 |2993 | 0 | 0 | 0 | -- | 1.154000e+03 | Inf
0.39/0.40 c 0.3s| 1 | 0 | 1937 | - |7407k| 0 |1539 |1539 |2993 |1539 |2993 | 0 | 0 | 0 | 9.745000e+02 | 1.154000e+03 | 18.42%
0.79/0.89 c 0.7s| 1 | 0 | 2103 | - |7503k| 0 |1528 |1539 |2993 |1539 |3003 | 10 | 0 | 0 | 9.790000e+02 | 1.154000e+03 | 17.88%
1.29/1.33 c 1.2s| 1 | 0 | 2125 | - |7534k| 0 |1524 |1539 |2993 |1539 |3006 | 13 | 0 | 0 | 9.800000e+02 | 1.154000e+03 | 17.76%
1.69/1.75 c 1.6s| 1 | 0 | 2159 | - |7576k| 0 |1524 |1539 |2993 |1539 |3008 | 15 | 0 | 0 | 9.805000e+02 | 1.154000e+03 | 17.70%
2.19/2.21 c 2.0s| 1 | 0 | 2262 | - |7593k| 0 |1521 |1539 |2993 |1539 |3012 | 19 | 0 | 0 | 9.815000e+02 | 1.154000e+03 | 17.58%
2.59/2.67 c 2.5s| 1 | 0 | 2418 | - |7625k| 0 |1518 |1539 |2993 |1539 |3016 | 23 | 0 | 0 | 9.830000e+02 | 1.154000e+03 | 17.40%
3.09/3.18 c 3.0s| 1 | 0 | 2701 | - |7627k| 0 |1516 |1539 |2993 |1539 |3018 | 25 | 0 | 0 | 9.840000e+02 | 1.154000e+03 | 17.28%
3.69/3.71 c 3.5s| 1 | 0 | 2924 | - |7634k| 0 |1516 |1539 |2993 |1539 |3021 | 28 | 0 | 0 | 9.845000e+02 | 1.154000e+03 | 17.22%
4.40/4.49 c 4.3s| 1 | 0 | 3377 | - |7798k| 0 |1516 |1539 |2993 |1539 |3024 | 31 | 0 | 0 | 9.850000e+02 | 1.154000e+03 | 17.16%
5.29/5.32 c 5.1s| 1 | 0 | 3898 | - |7870k| 0 |1514 |1539 |2993 |1539 |3030 | 37 | 0 | 0 | 9.855000e+02 | 1.154000e+03 | 17.10%
6.79/6.80 c 6.6s| 1 | 0 | 4544 | - |9081k| 0 |1518 |1539 |2993 |1539 |3033 | 40 | 0 | 0 | 9.860000e+02 | 1.154000e+03 | 17.04%
7.49/7.57 c 7.3s| 1 | 0 | 4993 | - |9457k| 0 |1512 |1539 |2993 |1539 |3036 | 43 | 0 | 0 | 9.860000e+02 | 1.154000e+03 | 17.04%
8.49/8.53 c 8.3s| 1 | 0 | 5673 | - |9489k| 0 |1499 |1539 |2993 |1539 |3040 | 47 | 0 | 0 | 9.860000e+02 | 1.154000e+03 | 17.04%
9.69/9.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.69/9.74 c 9.5s| 1 | 0 | 6644 | - |9690k| 0 |1494 |1539 |2993 |1539 |3046 | 53 | 0 | 0 | 9.875000e+02 | 1.154000e+03 | 16.86%
10.49/10.51 c 10.3s| 1 | 0 | 7168 | - |9947k| 0 |1488 |1539 |2993 |1539 |3051 | 58 | 0 | 0 | 9.885000e+02 | 1.154000e+03 | 16.74%
11.58/11.64 c 11.4s| 1 | 0 | 8037 | - | 10M| 0 |1487 |1539 |2993 |1539 |3056 | 63 | 0 | 0 | 9.895000e+02 | 1.154000e+03 | 16.62%
13.38/13.48 c 13.2s| 1 | 0 | 9411 | - | 10M| 0 |1478 |1539 |2993 |1539 |3062 | 69 | 0 | 0 | 9.910000e+02 | 1.154000e+03 | 16.45%
14.59/14.62 c 14.3s| 1 | 0 | 10596 | - | 10M| 0 |1496 |1539 |2993 |1539 |3064 | 75 | 0 | 0 | 9.925000e+02 | 1.154000e+03 | 16.27%
16.09/16.10 c 15.8s| 1 | 0 | 11825 | - | 11M| 0 |1492 |1539 |2993 |1539 |3066 | 77 | 0 | 0 | 9.930000e+02 | 1.154000e+03 | 16.21%
17.49/17.56 c 17.2s| 1 | 0 | 13063 | - | 11M| 0 |1501 |1539 |2993 |1539 |3069 | 80 | 0 | 0 | 9.932500e+02 | 1.154000e+03 | 16.18%
19.18/19.22 c 18.9s| 1 | 0 | 14419 | - | 11M| 0 |1488 |1539 |2993 |1539 |3073 | 84 | 0 | 0 | 9.940000e+02 | 1.154000e+03 | 16.10%
20.39/20.48 c 20.1s| 1 | 0 | 15449 | - | 12M| 0 |1492 |1539 |2993 |1539 |3077 | 88 | 0 | 0 | 9.940000e+02 | 1.154000e+03 | 16.10%
22.08/22.17 c 21.8s| 1 | 0 | 17099 | - | 12M| 0 |1476 |1539 |2993 |1539 |3082 | 93 | 0 | 0 | 9.955000e+02 | 1.154000e+03 | 15.92%
23.39/23.42 c 23.0s| 1 | 0 | 18110 | - | 12M| 0 |1482 |1539 |2993 |1539 |3074 | 95 | 0 | 0 | 9.960000e+02 | 1.154000e+03 | 15.86%
25.29/25.33 c 24.9s| 1 | 0 | 19681 | - | 13M| 0 |1496 |1539 |2993 |1539 |3077 | 98 | 0 | 0 | 9.960000e+02 | 1.154000e+03 | 15.86%
27.39/27.43 c 27.0s| 1 | 0 | 21468 | - | 13M| 0 |1490 |1539 |2993 |1539 |3085 | 106 | 0 | 0 | 9.965000e+02 | 1.154000e+03 | 15.81%
29.48/29.58 c 29.1s| 1 | 0 | 23209 | - | 13M| 0 |1495 |1539 |2993 |1539 |3091 | 112 | 0 | 0 | 9.970000e+02 | 1.154000e+03 | 15.75%
31.58/31.61 c 31.1s| 1 | 0 | 25000 | - | 15M| 0 |1468 |1539 |2993 |1539 |3097 | 118 | 0 | 0 | 9.978333e+02 | 1.154000e+03 | 15.65%
33.29/33.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.29/33.38 c 32.9s| 1 | 0 | 26580 | - | 15M| 0 |1483 |1539 |2993 |1539 |3102 | 123 | 0 | 0 | 9.983000e+02 | 1.154000e+03 | 15.60%
34.88/34.99 c 34.5s| 1 | 0 | 27972 | - | 16M| 0 |1503 |1539 |2993 |1539 |3088 | 129 | 0 | 0 | 9.985306e+02 | 1.154000e+03 | 15.57%
36.48/36.52 c 36.0s| 1 | 0 | 29585 | - | 16M| 0 |1505 |1539 |2993 |1539 |3092 | 133 | 0 | 0 | 9.988000e+02 | 1.154000e+03 | 15.54%
38.38/38.40 c 37.8s| 1 | 0 | 31228 | - | 16M| 0 |1519 |1539 |2993 |1539 |3101 | 142 | 0 | 0 | 9.989889e+02 | 1.154000e+03 | 15.52%
39.48/39.51 c 38.9s| 1 | 0 | 32117 | - | 17M| 0 |1466 |1539 |2993 |1539 |3105 | 146 | 0 | 0 | 9.995000e+02 | 1.154000e+03 | 15.46%
40.58/40.61 c 40.0s| 1 | 0 | 33079 | - | 17M| 0 |1478 |1539 |2993 |1539 |3108 | 149 | 0 | 0 | 9.998750e+02 | 1.154000e+03 | 15.41%
42.38/42.45 c 41.8s| 1 | 0 | 34617 | - | 19M| 0 |1497 |1539 |2993 |1539 |3114 | 155 | 0 | 0 | 1.001250e+03 | 1.154000e+03 | 15.26%
43.88/43.95 c 43.3s| 1 | 0 | 35817 | - | 21M| 0 |1512 |1539 |2993 |1539 |3105 | 162 | 0 | 0 | 1.001750e+03 | 1.154000e+03 | 15.20%
45.98/46.08 c 45.4s| 1 | 0 | 37793 | - | 22M| 0 |1470 |1539 |2993 |1539 |3109 | 166 | 0 | 0 | 1.002125e+03 | 1.154000e+03 | 15.16%
48.39/48.41 c 47.7s| 1 | 0 | 39973 | - | 23M| 0 |1481 |1539 |2993 |1539 |3112 | 169 | 0 | 0 | 1.002589e+03 | 1.154000e+03 | 15.10%
49.78/49.86 c 49.1s| 1 | 0 | 41627 | - | 23M| 0 |1515 |1539 |2993 |1539 |3115 | 172 | 0 | 0 | 1.003250e+03 | 1.154000e+03 | 15.03%
52.37/52.43 c 51.7s| 1 | 0 | 43520 | - | 23M| 0 |1489 |1539 |2993 |1539 |3121 | 178 | 0 | 0 | 1.003500e+03 | 1.154000e+03 | 15.00%
53.98/54.02 c 53.2s| 1 | 0 | 44861 | - | 23M| 0 |1497 |1539 |2993 |1539 |3124 | 181 | 0 | 0 | 1.003500e+03 | 1.154000e+03 | 15.00%
56.58/56.66 c 55.9s| 1 | 0 | 46988 | - | 24M| 0 |1478 |1539 |2993 |1539 |3115 | 184 | 0 | 0 | 1.003500e+03 | 1.154000e+03 | 15.00%
58.98/59.04 c 58.2s| 1 | 0 | 49063 | - | 24M| 0 |1511 |1539 |2993 |1539 |3121 | 190 | 0 | 0 | 1.004000e+03 | 1.154000e+03 | 14.94%
61.98/62.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.98/62.09 c 61.2s| 1 | 0 | 51486 | - | 24M| 0 |1525 |1539 |2993 |1539 |3126 | 195 | 0 | 0 | 1.004000e+03 | 1.154000e+03 | 14.94%
65.07/65.17 c 64.2s| 1 | 0 | 54081 | - | 26M| 0 |1523 |1539 |2993 |1539 |3131 | 200 | 0 | 0 | 1.004000e+03 | 1.154000e+03 | 14.94%
68.18/68.22 c 67.3s| 1 | 0 | 56758 | - | 26M| 0 |1535 |1539 |2993 |1539 |3135 | 204 | 0 | 0 | 1.004391e+03 | 1.154000e+03 | 14.90%
70.47/70.55 c 69.6s| 1 | 0 | 59348 | - | 27M| 0 |1529 |1539 |2993 |1539 |3137 | 206 | 0 | 0 | 1.004708e+03 | 1.154000e+03 | 14.86%
74.07/74.17 c 73.2s| 1 | 0 | 61849 | - | 28M| 0 |1530 |1539 |2993 |1539 |3110 | 207 | 0 | 0 | 1.004748e+03 | 1.154000e+03 | 14.85%
77.27/77.37 c 76.3s| 1 | 0 | 64483 | - | 28M| 0 |1530 |1539 |2993 |1539 |3111 | 208 | 0 | 0 | 1.004784e+03 | 1.154000e+03 | 14.85%
79.08/79.11 c 78.1s| 1 | 0 | 64816 | - | 28M| 0 |1532 |1539 |2993 |1539 |3114 | 211 | 0 | 0 | 1.004784e+03 | 1.154000e+03 | 14.85%
89.47/89.51 c 88.3s| 1 | 2 | 64816 | - | 28M| 0 |1532 |1539 |2993 |1539 |3114 | 211 | 0 | 17 | 1.004784e+03 | 1.154000e+03 | 14.85%
94.07/94.15 c 92.8s| 10000 | 262 | 64816 | 0.0 | 28M| 275 | - |1539 |2993 | 0 | 0 | 211 | 660 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
98.66/98.72 c 97.2s| 20000 | 261 | 64816 | 0.0 | 28M| 275 | - |1539 |2993 | 0 | 0 | 211 |1256 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
103.07/103.15 c 102s| 30000 | 259 | 64816 | 0.0 | 28M| 275 | - |1539 |2993 | 0 | 0 | 211 |1768 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
107.36/107.48 c 106s| 40000 | 257 | 64816 | 0.0 | 28M| 277 | - |1539 |2993 | 0 | 0 | 211 |2200 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
111.86/111.93 c 110s| 50000 | 259 | 64816 | 0.0 | 28M| 277 | - |1539 |2993 | 0 | 0 | 211 |2719 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
116.26/116.36 c 114s| 60000 | 261 | 64816 | 0.0 | 28M| 277 | - |1539 |2993 | 0 | 0 | 211 |3197 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
120.56/120.64 c 118s| 70000 | 262 | 64816 | 0.0 | 28M| 277 | - |1539 |2993 | 0 | 0 | 211 |3599 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
124.86/124.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.86/124.90 c 123s| 80000 | 260 | 64816 | 0.0 | 28M| 277 | - |1539 |2993 | 0 | 0 | 211 |3990 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
128.96/129.07 c 127s| 90000 | 259 | 64816 | 0.0 | 28M| 277 | - |1539 |2993 | 0 | 0 | 211 |4334 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
133.25/133.35 c 131s|100000 | 260 | 64816 | 0.0 | 28M| 277 | - |1539 |2993 | 0 | 0 | 211 |4707 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
137.36/137.50 c 135s|110000 | 260 | 64816 | 0.0 | 28M| 277 | - |1539 |2993 | 0 | 0 | 211 |5017 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
141.55/141.61 c 139s|120000 | 260 | 64816 | 0.0 | 28M| 277 | - |1539 |2993 | 0 | 0 | 211 |5337 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
145.75/145.80 c 143s|130000 | 259 | 64816 | 0.0 | 28M| 277 | - |1539 |2993 | 0 | 0 | 211 |5667 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
149.95/150.00 c 147s|140000 | 254 | 64816 | 0.0 | 28M| 278 | - |1539 |2993 | 0 | 0 | 211 |6041 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
154.15/154.26 c 151s|150000 | 261 | 64816 | 0.0 | 28M| 278 | - |1539 |2993 | 0 | 0 | 211 |6392 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
158.35/158.43 c 155s|160000 | 259 | 64816 | 0.0 | 28M| 278 | - |1539 |2993 | 0 | 0 | 211 |6699 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
162.54/162.69 c 159s|170000 | 260 | 64816 | 0.0 | 28M| 278 | - |1539 |2993 | 0 | 0 | 211 |7082 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
166.74/166.81 c 163s|180000 | 258 | 64816 | 0.0 | 28M| 278 | - |1539 |2993 | 0 | 0 | 211 |7387 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
170.85/170.93 c 167s|190000 | 259 | 64816 | 0.0 | 28M| 278 | - |1539 |2993 | 0 | 0 | 211 |7683 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
175.04/175.18 c 171s|200000 | 258 | 64816 | 0.0 | 28M| 278 | - |1539 |2993 | 0 | 0 | 211 |8075 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
179.25/179.33 c 175s|210000 | 257 | 64816 | 0.0 | 28M| 278 | - |1539 |2993 | 0 | 0 | 211 |8376 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
183.44/183.50 c 179s|220000 | 256 | 64816 | 0.0 | 28M| 278 | - |1539 |2993 | 0 | 0 | 211 |8693 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
187.54/187.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.54/187.60 c 183s|230000 | 255 | 64816 | 0.0 | 28M| 278 | - |1539 |2993 | 0 | 0 | 211 |8974 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
191.54/191.64 c 187s|240000 | 258 | 64816 | 0.0 | 28M| 278 | - |1539 |2993 | 0 | 0 | 211 |9234 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
195.54/195.64 c 191s|250000 | 259 | 64816 | 0.0 | 28M| 278 | - |1539 |2993 | 0 | 0 | 211 |9474 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
199.64/199.70 c 195s|260000 | 255 | 64816 | 0.0 | 28M| 278 | - |1539 |2993 | 0 | 0 | 211 |9709 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
203.63/203.73 c 199s|270000 | 258 | 64816 | 0.0 | 28M| 278 | - |1539 |2993 | 0 | 0 | 211 |9969 | 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
207.53/207.70 c 202s|280000 | 261 | 64816 | 0.0 | 28M| 278 | - |1539 |2993 | 0 | 0 | 211 | 10k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
211.64/211.79 c 206s|290000 | 261 | 64816 | 0.0 | 28M| 279 | - |1539 |2993 | 0 | 0 | 211 | 10k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
215.73/215.81 c 210s|300000 | 259 | 64816 | 0.0 | 28M| 279 | - |1539 |2993 | 0 | 0 | 211 | 10k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
219.73/219.85 c 214s|310000 | 258 | 64816 | 0.0 | 28M| 279 | - |1539 |2993 | 0 | 0 | 211 | 11k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
223.73/223.89 c 218s|320000 | 258 | 64816 | 0.0 | 28M| 279 | - |1539 |2993 | 0 | 0 | 211 | 11k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
227.73/227.89 c 222s|330000 | 258 | 64816 | 0.0 | 28M| 279 | - |1539 |2993 | 0 | 0 | 211 | 11k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
231.83/231.92 c 226s|340000 | 258 | 64816 | 0.0 | 28M| 279 | - |1539 |2993 | 0 | 0 | 211 | 11k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
235.83/235.97 c 230s|350000 | 260 | 64816 | 0.0 | 28M| 279 | - |1539 |2993 | 0 | 0 | 211 | 11k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
239.92/240.03 c 234s|360000 | 261 | 64816 | 0.0 | 28M| 279 | - |1539 |2993 | 0 | 0 | 211 | 12k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
243.92/244.02 c 238s|370000 | 258 | 64816 | 0.0 | 28M| 279 | - |1539 |2993 | 0 | 0 | 211 | 12k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
247.83/247.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
247.83/247.97 c 241s|380000 | 259 | 64816 | 0.0 | 28M| 279 | - |1539 |2993 | 0 | 0 | 211 | 12k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
252.12/252.21 c 245s|390000 | 259 | 64816 | 0.0 | 28M| 279 | - |1539 |2993 | 0 | 0 | 211 | 12k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
256.12/256.30 c 249s|400000 | 256 | 64816 | 0.0 | 28M| 279 | - |1539 |2993 | 0 | 0 | 211 | 13k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
260.12/260.24 c 253s|410000 | 260 | 64816 | 0.0 | 28M| 279 | - |1539 |2993 | 0 | 0 | 211 | 13k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
264.02/264.19 c 257s|420000 | 257 | 64816 | 0.0 | 28M| 279 | - |1539 |2993 | 0 | 0 | 211 | 13k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
267.92/268.09 c 261s|430000 | 258 | 64816 | 0.0 | 28M| 279 | - |1539 |2993 | 0 | 0 | 211 | 13k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
272.01/272.10 c 265s|440000 | 259 | 64816 | 0.0 | 28M| 279 | - |1539 |2993 | 0 | 0 | 211 | 13k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
275.82/275.99 c 268s|450000 | 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 14k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
279.72/279.90 c 272s|460000 | 259 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 14k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
283.92/284.00 c 276s|470000 | 258 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 14k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
287.92/288.07 c 280s|480000 | 260 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 14k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
292.01/292.15 c 284s|490000 | 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 15k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
296.11/296.24 c 288s|500000 | 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 15k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
300.22/300.39 c 292s|510000 | 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 15k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
304.21/304.38 c 296s|520000 | 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 15k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
308.20/308.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
308.20/308.36 c 300s|530000 | 259 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 15k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
312.21/312.40 c 304s|540000 | 259 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 16k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
316.30/316.46 c 308s|550000 | 258 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 16k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
320.30/320.48 c 311s|560000 | 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 16k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
324.31/324.44 c 315s|570000 | 258 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 16k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
328.20/328.35 c 319s|580000 | 259 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 17k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
332.20/332.37 c 323s|590000 | 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 17k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
336.20/336.36 c 327s|600000 | 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 17k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
340.20/340.31 c 331s|610000 | 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 17k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
344.21/344.35 c 334s|620000 | 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 17k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
348.40/348.51 c 338s|630000 | 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 18k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
352.39/352.52 c 342s|640000 | 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 18k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
356.39/356.57 c 346s|650000 | 260 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 18k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
360.39/360.57 c 350s|660000 | 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 18k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
364.49/364.60 c 354s|670000 | 259 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 18k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
368.49/368.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.49/368.62 c 358s|680000 | 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 19k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
372.49/372.67 c 362s|690000 | 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 19k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
376.59/376.76 c 366s|700000 | 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 19k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
380.69/380.86 c 370s|710000 | 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 19k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
384.80/384.98 c 374s|720000 | 258 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 20k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
388.98/389.10 c 378s|730000 | 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 20k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
393.19/393.34 c 382s|740000 | 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 20k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
397.19/397.33 c 386s|750000 | 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 21k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
401.18/401.35 c 389s|760000 | 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 21k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
405.18/405.37 c 393s|770000 | 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 21k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
409.28/409.41 c 397s|780000 | 260 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 21k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
413.48/413.62 c 401s|790000 | 258 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 22k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
417.58/417.71 c 405s|800000 | 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 22k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
421.68/421.88 c 409s|810000 | 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 22k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
425.88/426.04 c 413s|820000 | 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 22k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
430.08/430.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
430.08/430.26 c 417s|830000 | 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 23k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
434.17/434.38 c 421s|840000 | 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 23k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
438.37/438.52 c 425s|850000 | 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 23k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
442.57/442.75 c 429s|860000 | 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 24k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
446.57/446.73 c 433s|870000 | 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 24k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
450.56/450.75 c 437s|880000 | 259 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 24k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
454.66/454.88 c 441s|890000 | 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 24k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
458.77/458.94 c 445s|900000 | 258 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 24k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
462.76/462.92 c 449s|910000 | 258 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 25k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
466.56/466.74 c 452s|920000 | 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 25k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
470.46/470.67 c 456s|930000 | 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 25k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
474.36/474.59 c 460s|940000 | 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 25k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
478.37/478.53 c 464s|950000 | 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 25k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
482.26/482.49 c 468s|960000 | 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 25k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
486.36/486.53 c 472s|970000 | 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 26k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
490.36/490.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
490.36/490.50 c 475s|980000 | 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 26k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
494.46/494.64 c 479s|990000 | 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 26k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
498.55/498.74 c 483s| 1000k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 26k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
502.65/502.82 c 487s| 1010k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 27k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
506.65/506.88 c 491s| 1020k| 258 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 27k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
510.75/510.97 c 495s| 1030k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 27k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
515.05/515.23 c 499s| 1040k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 28k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
519.15/519.36 c 503s| 1050k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 28k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
523.24/523.41 c 507s| 1060k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 28k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
527.35/527.59 c 511s| 1070k| 259 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 28k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
531.45/531.69 c 515s| 1080k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 29k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
535.45/535.69 c 519s| 1090k| 252 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 29k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
539.55/539.78 c 523s| 1100k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 29k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
543.54/543.77 c 527s| 1110k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 29k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
547.55/547.71 c 531s| 1120k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 29k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
551.54/551.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
551.54/551.71 c 534s| 1130k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 30k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
555.44/555.64 c 538s| 1140k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 30k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
559.44/559.69 c 542s| 1150k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 30k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
563.53/563.72 c 546s| 1160k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 30k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
567.54/567.71 c 550s| 1170k| 259 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 31k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
571.54/571.75 c 554s| 1180k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 31k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
575.54/575.79 c 558s| 1190k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 31k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
579.63/579.90 c 562s| 1200k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 31k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
583.73/583.94 c 566s| 1210k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 31k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
587.63/587.90 c 569s| 1220k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 32k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
591.64/591.85 c 573s| 1230k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 32k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
595.63/595.80 c 577s| 1240k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 32k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
599.52/599.79 c 581s| 1250k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 32k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
603.53/603.75 c 585s| 1260k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 32k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
607.52/607.72 c 589s| 1270k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 33k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
611.44/611.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
611.44/611.67 c 592s| 1280k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 33k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
615.52/615.73 c 596s| 1290k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 33k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
619.62/619.80 c 600s| 1300k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 33k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
623.53/623.71 c 604s| 1310k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 33k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
627.32/627.53 c 608s| 1320k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 33k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
631.62/631.85 c 612s| 1330k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 34k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
636.02/636.24 c 616s| 1340k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 34k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
640.52/640.70 c 620s| 1350k| 259 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 35k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
644.72/644.95 c 624s| 1360k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 35k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
649.02/649.22 c 629s| 1370k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 35k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
653.22/653.41 c 633s| 1380k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 36k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
657.31/657.57 c 637s| 1390k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 36k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
661.61/661.81 c 641s| 1400k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 36k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
665.81/666.02 c 645s| 1410k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 37k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
670.01/670.28 c 649s| 1420k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 37k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
674.31/674.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.31/674.52 c 653s| 1430k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 37k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
678.31/678.58 c 657s| 1440k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 38k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
682.50/682.76 c 661s| 1450k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 38k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
686.71/686.90 c 665s| 1460k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 38k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
690.91/691.13 c 669s| 1470k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 39k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
695.20/695.44 c 673s| 1480k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 39k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
699.50/699.77 c 677s| 1490k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 39k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
703.90/704.18 c 682s| 1500k| 252 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 40k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
708.10/708.32 c 686s| 1510k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 40k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
712.19/712.47 c 690s| 1520k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 40k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
716.29/716.55 c 694s| 1530k| 258 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 41k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
720.50/720.77 c 698s| 1540k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 41k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
724.70/724.97 c 702s| 1550k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 41k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
729.00/729.28 c 706s| 1560k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 42k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
733.40/733.62 c 710s| 1570k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 42k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
737.59/737.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
737.59/737.88 c 714s| 1580k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 42k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
741.78/742.07 c 718s| 1590k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 42k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
745.89/746.17 c 722s| 1600k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 43k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
749.99/750.23 c 726s| 1610k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 43k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
754.18/754.43 c 730s| 1620k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 43k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
758.28/758.51 c 734s| 1630k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 43k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
762.38/762.68 c 738s| 1640k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 44k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
766.49/766.71 c 742s| 1650k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 44k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
770.59/770.85 c 746s| 1660k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 44k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
774.68/774.94 c 750s| 1670k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 44k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
778.68/778.95 c 754s| 1680k| 252 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 45k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
782.68/782.94 c 758s| 1690k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 45k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
786.77/787.05 c 762s| 1700k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 45k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
790.87/791.17 c 766s| 1710k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 45k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
795.09/795.34 c 770s| 1720k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 46k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
799.17/799.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
799.17/799.43 c 774s| 1730k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 46k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
803.27/803.51 c 778s| 1740k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 46k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
807.47/807.70 c 782s| 1750k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 47k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
811.77/812.01 c 786s| 1760k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 47k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
815.98/816.26 c 790s| 1770k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 47k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
820.17/820.48 c 794s| 1780k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 48k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
824.27/824.58 c 798s| 1790k| 251 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 48k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
828.57/828.85 c 802s| 1800k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 48k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
832.86/833.10 c 806s| 1810k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 48k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
836.96/837.25 c 810s| 1820k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 49k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
841.06/841.37 c 814s| 1830k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 49k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
845.26/845.53 c 818s| 1840k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 49k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
849.46/849.72 c 822s| 1850k| 252 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 49k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
853.56/853.86 c 826s| 1860k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 50k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
857.67/857.94 c 830s| 1870k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 50k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
861.86/862.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
861.86/862.17 c 834s| 1880k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 50k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
865.95/866.25 c 838s| 1890k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 50k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
870.05/870.31 c 842s| 1900k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 50k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
874.05/874.35 c 846s| 1910k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 51k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
877.95/878.28 c 850s| 1920k| 251 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 51k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
882.25/882.54 c 854s| 1930k| 259 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 51k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
886.26/886.55 c 858s| 1940k| 258 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 51k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
890.15/890.46 c 862s| 1950k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 51k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
894.06/894.39 c 865s| 1960k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 52k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
898.05/898.35 c 869s| 1970k| 259 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 52k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
902.15/902.44 c 873s| 1980k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 52k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
906.15/906.41 c 877s| 1990k| 258 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 52k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
909.95/910.30 c 881s| 2000k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 52k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
914.04/914.30 c 885s| 2010k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 53k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
917.94/918.27 c 888s| 2020k| 260 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 53k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
921.94/922.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
921.94/922.21 c 892s| 2030k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 53k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
925.84/926.10 c 896s| 2040k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 53k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
929.74/930.06 c 900s| 2050k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 53k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
933.73/934.01 c 904s| 2060k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 54k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
937.64/937.92 c 907s| 2070k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 54k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
941.43/941.78 c 911s| 2080k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 54k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
945.33/945.63 c 915s| 2090k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 54k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
949.24/949.52 c 919s| 2100k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 54k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
953.13/953.49 c 922s| 2110k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 54k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
957.03/957.38 c 926s| 2120k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 54k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
961.04/961.32 c 930s| 2130k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 55k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
964.83/965.14 c 934s| 2140k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 55k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
968.53/968.89 c 937s| 2150k| 252 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 55k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
972.73/973.09 c 941s| 2160k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 55k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
976.92/977.22 c 945s| 2170k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 55k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
980.83/981.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
980.83/981.17 c 949s| 2180k| 252 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 56k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
984.92/985.20 c 953s| 2190k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 56k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
988.82/989.17 c 957s| 2200k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 56k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
992.82/993.10 c 961s| 2210k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 56k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
996.72/997.05 c 964s| 2220k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 56k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1000.63/1000.95 c 968s| 2230k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 57k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1004.72/1005.05 c 972s| 2240k| 252 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 57k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1008.72/1009.07 c 976s| 2250k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 57k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1012.72/1013.01 c 980s| 2260k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 57k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1016.72/1017.03 c 984s| 2270k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 57k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1020.81/1021.14 c 988s| 2280k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 58k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1024.82/1025.11 c 991s| 2290k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 58k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1028.71/1029.05 c 995s| 2300k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 58k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1032.51/1032.90 c 999s| 2310k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 58k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1036.41/1036.75 c 1003s| 2320k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 58k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1040.41/1040.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1040.41/1040.73 c 1006s| 2330k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 59k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1044.40/1044.73 c 1010s| 2340k| 252 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 59k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1048.41/1048.72 c 1014s| 2350k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 59k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1052.31/1052.63 c 1018s| 2360k| 252 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 59k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1056.20/1056.59 c 1022s| 2370k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 59k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1060.20/1060.52 c 1026s| 2380k| 251 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 60k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1064.10/1064.48 c 1029s| 2390k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 60k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1068.10/1068.46 c 1033s| 2400k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 60k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1071.99/1072.39 c 1037s| 2410k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 60k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1076.10/1076.48 c 1041s| 2420k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 60k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1080.20/1080.59 c 1045s| 2430k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 61k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1084.31/1084.63 c 1049s| 2440k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 61k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1088.19/1088.52 c 1053s| 2450k| 252 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 61k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1092.39/1092.76 c 1057s| 2460k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 61k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1096.60/1096.92 c 1061s| 2470k| 258 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 62k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1100.70/1101.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1100.70/1101.05 c 1065s| 2480k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 62k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1104.69/1105.04 c 1069s| 2490k| 258 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 62k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1108.78/1109.10 c 1072s| 2500k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 62k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1112.90/1113.21 c 1076s| 2510k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 63k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1116.88/1117.25 c 1080s| 2520k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 63k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1120.99/1121.38 c 1084s| 2530k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 63k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1124.99/1125.35 c 1088s| 2540k| 252 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 63k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1128.99/1129.34 c 1092s| 2550k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 63k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1132.88/1133.26 c 1096s| 2560k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 64k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1136.88/1137.29 c 1100s| 2570k| 258 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 64k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1140.88/1141.24 c 1103s| 2580k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 64k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1144.69/1145.06 c 1107s| 2590k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 64k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1148.48/1148.89 c 1111s| 2600k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 64k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1152.39/1152.80 c 1115s| 2610k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 65k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1156.37/1156.79 c 1118s| 2620k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 65k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1160.48/1160.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.48/1160.84 c 1122s| 2630k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 65k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1164.37/1164.75 c 1126s| 2640k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 65k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1168.47/1168.86 c 1130s| 2650k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 65k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1172.28/1172.68 c 1134s| 2660k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 66k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1176.27/1176.63 c 1138s| 2670k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 66k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1180.27/1180.61 c 1141s| 2680k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 66k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1184.17/1184.51 c 1145s| 2690k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 66k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1188.16/1188.50 c 1149s| 2700k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 66k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1192.07/1192.49 c 1153s| 2710k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 67k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1196.06/1196.43 c 1157s| 2720k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 67k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1199.97/1200.30 c 1160s| 2730k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 67k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1203.86/1204.24 c 1164s| 2740k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 67k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1207.86/1208.20 c 1168s| 2750k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 67k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1211.76/1212.15 c 1172s| 2760k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 67k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1215.86/1216.22 c 1176s| 2770k| 252 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 68k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1219.85/1220.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1219.85/1220.21 c 1180s| 2780k| 258 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 68k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1223.76/1224.16 c 1183s| 2790k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 68k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1227.66/1228.05 c 1187s| 2800k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 68k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1231.56/1231.99 c 1191s| 2810k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 68k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1235.65/1236.08 c 1195s| 2820k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 69k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1239.65/1240.02 c 1199s| 2830k| 250 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 69k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1243.66/1244.02 c 1203s| 2840k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 69k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1247.65/1248.01 c 1206s| 2850k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 69k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1251.65/1252.02 c 1210s| 2860k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 69k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1255.65/1256.05 c 1214s| 2870k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 70k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1259.65/1260.09 c 1218s| 2880k| 258 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 70k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1263.65/1264.06 c 1222s| 2890k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 70k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1267.64/1268.02 c 1226s| 2900k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 70k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1271.74/1272.11 c 1230s| 2910k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 70k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1275.75/1276.14 c 1234s| 2920k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 71k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1279.74/1280.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1279.74/1280.13 c 1237s| 2930k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 71k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1283.75/1284.12 c 1241s| 2940k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 71k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1287.65/1288.04 c 1245s| 2950k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 71k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1291.54/1291.92 c 1249s| 2960k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 71k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1295.35/1295.79 c 1252s| 2970k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 71k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1299.24/1299.66 c 1256s| 2980k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 72k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1303.14/1303.56 c 1260s| 2990k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 72k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1306.94/1307.37 c 1264s| 3000k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 72k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1311.14/1311.54 c 1268s| 3010k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 72k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1315.14/1315.52 c 1271s| 3020k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 72k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1319.03/1319.44 c 1275s| 3030k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 72k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1323.03/1323.45 c 1279s| 3040k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 73k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1327.13/1327.52 c 1283s| 3050k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 73k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1331.03/1331.50 c 1287s| 3060k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 73k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1335.13/1335.52 c 1291s| 3070k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 73k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1339.13/1339.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1339.13/1339.50 c 1295s| 3080k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 73k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1343.03/1343.45 c 1298s| 3090k| 250 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 74k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1347.13/1347.54 c 1302s| 3100k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 74k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1351.22/1351.63 c 1306s| 3110k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 74k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1355.32/1355.71 c 1310s| 3120k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 74k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1359.32/1359.71 c 1314s| 3130k| 258 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 75k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1363.22/1363.62 c 1318s| 3140k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 75k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1367.12/1367.53 c 1322s| 3150k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 75k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1371.33/1371.78 c 1326s| 3160k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 75k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1375.41/1375.88 c 1330s| 3170k| 251 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 75k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1379.41/1379.81 c 1334s| 3180k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 76k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1383.42/1383.87 c 1338s| 3190k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 76k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1387.51/1387.97 c 1341s| 3200k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 76k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1391.61/1392.08 c 1345s| 3210k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 76k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1395.71/1396.12 c 1349s| 3220k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 77k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1399.71/1400.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1399.71/1400.17 c 1353s| 3230k| 252 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 77k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1403.71/1404.18 c 1357s| 3240k| 252 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 77k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1407.71/1408.12 c 1361s| 3250k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 77k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1411.51/1411.99 c 1365s| 3260k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 77k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1415.41/1415.86 c 1368s| 3270k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 77k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1419.21/1419.64 c 1372s| 3280k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 77k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1423.10/1423.56 c 1376s| 3290k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 78k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1426.90/1427.36 c 1379s| 3300k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 78k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1430.71/1431.18 c 1383s| 3310k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 78k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1434.60/1435.03 c 1387s| 3320k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 78k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1438.50/1438.95 c 1391s| 3330k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 78k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1442.30/1442.78 c 1394s| 3340k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 78k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1446.40/1446.80 c 1398s| 3350k| 251 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 78k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1450.30/1450.74 c 1402s| 3360k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 79k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1454.19/1454.61 c 1406s| 3370k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 79k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1458.10/1458.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1458.10/1458.55 c 1410s| 3380k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 79k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1461.99/1462.48 c 1413s| 3390k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 79k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1465.80/1466.30 c 1417s| 3400k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 79k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1469.69/1470.18 c 1421s| 3410k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 79k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1473.79/1474.21 c 1425s| 3420k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 80k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1477.58/1478.02 c 1428s| 3430k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 80k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1481.48/1481.99 c 1432s| 3440k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 80k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1485.48/1485.97 c 1436s| 3450k| 252 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 80k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1489.39/1489.87 c 1440s| 3460k| 252 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 80k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1493.29/1493.74 c 1443s| 3470k| 252 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 80k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1497.18/1497.62 c 1447s| 3480k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 81k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1500.99/1501.49 c 1451s| 3490k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 81k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1504.88/1505.32 c 1455s| 3500k| 251 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 81k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1508.58/1509.05 c 1458s| 3510k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 81k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1512.58/1513.02 c 1462s| 3520k| 259 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 81k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1516.48/1516.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1516.48/1516.97 c 1466s| 3530k| 258 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 81k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1520.48/1520.93 c 1470s| 3540k| 258 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 82k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1524.47/1524.96 c 1474s| 3550k| 260 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 82k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1528.48/1528.96 c 1477s| 3560k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 82k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1532.57/1533.06 c 1481s| 3570k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 82k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1536.68/1537.19 c 1485s| 3580k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 83k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1540.78/1541.20 c 1489s| 3590k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 83k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1544.77/1545.21 c 1493s| 3600k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 83k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1548.77/1549.24 c 1497s| 3610k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 83k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1552.77/1553.21 c 1501s| 3620k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 83k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1556.67/1557.11 c 1505s| 3630k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 84k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1560.56/1561.09 c 1508s| 3640k| 252 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 84k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1564.57/1565.05 c 1512s| 3650k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 84k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1568.76/1569.21 c 1516s| 3660k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 84k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1572.76/1573.27 c 1520s| 3670k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 84k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1576.87/1577.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1576.87/1577.39 c 1524s| 3680k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 85k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1580.95/1581.40 c 1528s| 3690k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 85k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1584.95/1585.43 c 1532s| 3700k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 85k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1588.96/1589.43 c 1536s| 3710k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 85k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1592.95/1593.41 c 1540s| 3720k| 258 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 86k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1596.95/1597.44 c 1544s| 3730k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 86k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1600.86/1601.36 c 1547s| 3740k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 86k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1604.85/1605.39 c 1551s| 3750k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 86k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1608.86/1609.34 c 1555s| 3760k| 259 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 86k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1612.95/1613.48 c 1559s| 3770k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 87k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1617.15/1617.61 c 1563s| 3780k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 87k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1621.05/1621.57 c 1567s| 3790k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 87k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1624.94/1625.48 c 1571s| 3800k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 87k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1629.05/1629.50 c 1574s| 3810k| 257 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 87k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1632.96/1633.49 c 1578s| 3820k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 88k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1636.94/1637.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1636.94/1637.42 c 1582s| 3830k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 88k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1640.75/1641.27 c 1586s| 3840k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 88k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1644.94/1645.40 c 1590s| 3850k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 88k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1649.04/1649.57 c 1594s| 3860k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 88k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1653.14/1653.61 c 1598s| 3870k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 89k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1657.14/1657.62 c 1602s| 3880k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 89k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1661.14/1661.63 c 1605s| 3890k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 89k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1665.34/1665.86 c 1609s| 3900k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 90k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1669.44/1669.90 c 1613s| 3910k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 90k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1673.34/1673.86 c 1617s| 3920k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 90k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1677.54/1678.04 c 1621s| 3930k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 90k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1681.63/1682.12 c 1625s| 3940k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 91k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1685.74/1686.20 c 1629s| 3950k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 91k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1689.83/1690.34 c 1633s| 3960k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 91k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1693.83/1694.30 c 1637s| 3970k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 91k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1697.83/1698.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1697.83/1698.39 c 1641s| 3980k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 92k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1702.03/1702.54 c 1645s| 3990k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 92k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1706.12/1706.66 c 1649s| 4000k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 92k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1710.22/1710.76 c 1653s| 4010k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 92k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1714.33/1714.80 c 1657s| 4020k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 93k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1718.22/1718.74 c 1661s| 4030k| 250 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 93k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1722.22/1722.73 c 1664s| 4040k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 93k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1726.22/1726.70 c 1668s| 4050k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 93k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1730.12/1730.69 c 1672s| 4060k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 93k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1734.02/1734.55 c 1676s| 4070k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 94k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1737.92/1738.49 c 1680s| 4080k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 94k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1741.83/1742.33 c 1683s| 4090k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 94k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1745.72/1746.29 c 1687s| 4100k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 94k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1749.81/1750.34 c 1691s| 4110k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 94k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1753.72/1754.30 c 1695s| 4120k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 95k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1757.71/1758.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1757.71/1758.25 c 1699s| 4130k| 251 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 95k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1761.62/1762.19 c 1703s| 4140k| 249 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 95k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1765.71/1766.27 c 1706s| 4150k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 95k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1769.91/1770.40 c 1710s| 4160k| 256 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 95k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1774.00/1774.52 c 1714s| 4170k| 252 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 96k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1778.21/1778.77 c 1719s| 4180k| 253 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 96k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1782.51/1783.06 c 1723s| 4190k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 96k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1786.61/1787.10 c 1727s| 4200k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 97k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1790.60/1791.19 c 1731s| 4210k| 252 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 97k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1794.71/1795.25 c 1734s| 4220k| 255 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 97k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1798.80/1799.35 c 1738s| 4230k| 254 | 64816 | 0.0 | 28M| 280 | - |1539 |2993 | 0 | 0 | 211 | 97k| 17 | 1.004929e+03 | 1.154000e+03 | 14.83%
1800.00/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.51 c
1800.00/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.51 c Solving Time (sec) : 1739.53
1800.00/1800.51 c Solving Nodes : 4232758
1800.00/1800.51 c Primal Bound : +1.15400000000000e+03 (41 solutions)
1800.00/1800.51 c Dual Bound : +1.00492946805931e+03
1800.00/1800.51 c Gap : 14.83 %
1800.00/1800.51 s SATISFIABLE
1800.00/1800.51 v x1957 -x1956 -x1955 -x1954 x1953 -x1952 -x1951 x1950 -x1949 x1948 -x1947 x1946 -x1945 x1944 x1943 -x1942 -x1941 -x1940 x1939 -x1938
1800.00/1800.51 v -x1937 -x1936 -x1935 -x1934 x1933 x1932 -x1931 x1930 x1929 x1928 -x1927 x1926 -x1925 x1924 x1923 -x1922 x1921 x1920 -x1919
1800.00/1800.51 v -x1918 x1917 x1916 x1915 x1914 x1913 x1912 -x1911 -x1910 -x1909 x1908 x1907 -x1906 x1905 -x1904 x1903 -x1902 -x1901 x1900
1800.00/1800.51 v x1899 x1898 -x1897 -x1896 -x1895 x1894 -x1893 -x1892 x1891 x1890 x1889 -x1888 -x1887 -x1886 x1885 -x1884 x1883 -x1882 x1881 -x1880
1800.00/1800.51 v -x1879 x1878 -x1877 x1876 -x1875 x1874 x1873 x1872 x1871 x1870 -x1869 x1868 -x1867 x1866 x1865 -x1864 -x1863 x1862 -x1861
1800.00/1800.51 v x1860 x1859 x1858 x1857 x1856 -x1855 x1854 -x1853 x1852 x1851 x1850 -x1849 x1848 x1847 x1846 -x1845 x1844 -x1843 -x1842 -x1841
1800.00/1800.51 v -x1840 -x1839 x1838 x1837 x1836 -x1835 x1834 -x1833 -x1832 x1831 x1830 x1829 -x1828 -x1827 x1826 x1825 x1824 -x1823 -x1822
1800.00/1800.51 v x1821 x1820 x1819 -x1818 -x1817 -x1816 x1815 -x1814 x1813 x1812 -x1811 -x1810 x1809 -x1808 -x1807 -x1806 -x1805 x1804 -x1803
1800.00/1800.51 v -x1802 x1801 x1800 x1799 x1798 x1797 x1796 x1795 x1794 -x1793 x1792 -x1791 x1790 x1789 x1788 x1787 x1786 -x1785 x1784 x1783
1800.00/1800.51 v x1782 x1781 x1780 x1779 -x1778 x1777 x1776 x1775 x1774 x1773 x1772 x1771 x1770 -x1769 x1768 x1767 x1766 x1765 x1764 x1763 x1762
1800.00/1800.51 v x1761 x1760 x1759 x1758 -x1757 x1756 -x1755 x1754 x1753 -x1752 -x1751 -x1750 x1749 -x1748 -x1747 x1746 x1745 -x1744 x1743
1800.00/1800.51 v -x1742 x1741 -x1740 x1739 x1738 -x1737 -x1736 -x1735 -x1734 x1733 x1732 -x1731 x1730 x1729 -x1728 x1727 -x1726 -x1725 -x1724
1800.00/1800.51 v -x1723 -x1722 -x1721 -x1720 x1719 x1718 x1717 -x1716 x1715 x1714 x1713 x1712 -x1711 x1710 -x1709 x1708 x1707 x1706 x1705 x1704
1800.00/1800.51 v x1703 x1702 -x1701 x1700 -x1699 x1698 x1697 -x1696 -x1695 x1694 x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 x1686 x1685
1800.00/1800.51 v -x1684 -x1683 x1682 -x1681 -x1680 -x1679 -x1678 x1677 x1676 -x1675 -x1674 -x1673 -x1672 x1671 -x1670 -x1669 -x1668 -x1667
1800.00/1800.51 v -x1666 -x1665 -x1664 x1663 -x1662 -x1661 -x1660 x1659 x1658 -x1657 -x1656 x1655 x1654 -x1653 x1652 x1651 -x1650 x1649 -x1648
1800.00/1800.51 v x1647 -x1646 -x1645 x1644 x1643 -x1642 -x1641 x1640 x1639 x1638 x1637 x1636 x1635 x1634 -x1633 -x1632 x1631 -x1630 -x1629 x1628
1800.00/1800.51 v -x1627 -x1626 x1625 -x1624 x1623 x1622 x1621 -x1620 x1619 x1618 x1617 x1616 x1615 x1614 -x1613 x1612 x1611 x1610 x1609 x1608
1800.00/1800.51 v -x1607 -x1606 -x1605 x1604 -x1603 x1602 x1601 x1600 -x1599 x1598 x1597 x1596 x1595 -x1594 x1593 x1592 -x1591 x1590 -x1589
1800.00/1800.51 v -x1588 x1587 -x1586 x1585 x1584 -x1583 -x1582 x1581 -x1580 x1579 -x1578 -x1577 x1576 x1575 -x1574 x1573 x1572 x1571 x1570 x1569
1800.00/1800.51 v x1568 x1567 x1566 x1565 x1564 -x1563 x1562 x1561 -x1560 -x1559 x1558 -x1557 -x1556 x1555 -x1554 x1553 x1552 x1551 x1550 x1549
1800.00/1800.51 v x1548 x1547 x1546 -x1545 x1544 -x1543 x1542 x1541 -x1540 x1539 x1538 x1537 x1536 x1535 x1534 -x1533 x1532 -x1531 x1530 x1529
1800.00/1800.51 v x1528 -x1527 x1526 x1525 -x1524 -x1523 -x1522 x1521 x1520 x1519 -x1518 x1517 -x1516 x1515 x1514 x1513 x1512 x1511 x1510 x1509
1800.00/1800.51 v x1508 x1507 x1506 x1505 x1504 x1503 x1502 -x1501 x1500 x1499 x1498 -x1497 x1496 x1495 x1494 x1493 -x1492 x1491 -x1490 -x1489
1800.00/1800.51 v x1488 x1487 -x1486 x1485 x1484 -x1483 x1482 x1481 -x1480 -x1479 x1478 x1477 x1476 x1475 x1474 x1473 x1472 x1471 x1470 x1469
1800.00/1800.51 v x1468 x1467 x1466 x1465 x1464 x1463 x1462 x1461 x1460 x1459 x1458 x1457 x1456 x1455 -x1454 x1453 x1452 x1451 x1450 -x1449
1800.00/1800.51 v -x1448 x1447 x1446 -x1445 x1444 x1443 x1442 x1441 x1440 -x1439 x1438 x1437 x1436 x1435 x1434 x1433 -x1432 -x1431 x1430 x1429
1800.00/1800.51 v x1428 x1427 x1426 x1425 x1424 x1423 x1422 x1421 x1420 x1419 x1418 -x1417 x1416 x1415 x1414 -x1413 x1412 x1411 x1410 -x1409 -x1408
1800.00/1800.51 v x1407 -x1406 -x1405 x1404 x1403 -x1402 x1401 x1400 -x1399 x1398 x1397 x1396 x1395 -x1394 x1393 x1392 x1391 x1390 -x1389
1800.00/1800.51 v x1388 -x1387 x1386 x1385 x1384 x1383 x1382 x1381 x1380 x1379 x1378 x1377 x1376 x1375 x1374 -x1373 x1372 x1371 x1370 x1369 x1368
1800.00/1800.51 v x1367 x1366 x1365 x1364 x1363 -x1362 x1361 x1360 x1359 -x1358 x1357 x1356 x1355 -x1354 x1353 x1352 -x1351 -x1350 x1349 x1348
1800.00/1800.51 v -x1347 x1346 x1345 x1344 -x1343 x1342 x1341 x1340 x1339 x1338 x1337 -x1336 x1335 x1334 x1333 x1332 x1331 x1330 -x1329 -x1328
1800.00/1800.51 v x1327 x1326 -x1325 -x1324 -x1323 x1322 x1321 x1320 x1319 x1318 -x1317 x1316 x1315 x1314 x1313 x1312 -x1311 x1310 x1309 -x1308
1800.00/1800.51 v x1307 -x1306 x1305 x1304 -x1303 -x1302 x1301 x1300 -x1299 x1298 x1297 x1296 x1295 -x1294 x1293 x1292 x1291 x1290 x1289 -x1288
1800.00/1800.51 v x1287 x1286 x1285 x1284 -x1283 x1282 x1281 x1280 x1279 x1278 -x1277 -x1276 x1275 x1274 x1273 -x1272 -x1271 x1270 x1269
1800.00/1800.51 v -x1268 x1267 -x1266 x1265 -x1264 -x1263 x1262 x1261 -x1260 -x1259 x1258 x1257 x1256 x1255 x1254 x1253 x1252 -x1251 x1250 x1249
1800.00/1800.51 v -x1248 -x1247 x1246 -x1245 x1244 x1243 x1242 -x1241 -x1240 x1239 x1238 x1237 x1236 x1235 x1234 x1233 x1232 x1231 x1230 -x1229
1800.00/1800.51 v x1228 x1227 x1226 -x1225 -x1224 x1223 -x1222 x1221 x1220 x1219 x1218 x1217 x1216 x1215 x1214 x1213 x1212 x1211 x1210 x1209
1800.00/1800.51 v x1208 -x1207 -x1206 -x1205 x1204 -x1203 x1202 x1201 x1200 x1199 -x1198 x1197 x1196 x1195 x1194 x1193 x1192 x1191 x1190 x1189
1800.00/1800.51 v -x1188 x1187 x1186 x1185 x1184 x1183 -x1182 -x1181 x1180 x1179 x1178 x1177 x1176 x1175 x1174 -x1173 -x1172 -x1171 -x1170 -x1169
1800.00/1800.51 v x1168 x1167 x1166 -x1165 x1164 x1163 x1162 x1161 -x1160 x1159 -x1158 x1157 x1156 -x1155 x1154 x1153 x1152 x1151 x1150 x1149
1800.00/1800.51 v x1148 -x1147 x1146 x1145 -x1144 x1143 x1142 x1141 -x1140 x1139 x1138 x1137 x1136 x1135 x1134 x1133 x1132 x1131 -x1130 x1129
1800.00/1800.51 v -x1128 x1127 -x1126 -x1125 -x1124 x1123 -x1122 x1121 x1120 -x1119 x1118 -x1117 -x1116 -x1115 -x1114 x1113 x1112 x1111 x1110
1800.00/1800.51 v x1109 x1108 -x1107 x1106 x1105 x1104 x1103 x1102 -x1101 -x1100 x1099 x1098 -x1097 x1096 x1095 x1094 x1093 x1092 x1091 x1090
1800.00/1800.51 v x1089 x1088 -x1087 x1086 x1085 -x1084 x1083 x1082 -x1081 x1080 x1079 x1078 -x1077 x1076 x1075 x1074 x1073 x1072 x1071 x1070 x1069
1800.00/1800.51 v x1068 -x1067 x1066 x1065 -x1064 x1063 x1062 x1061 x1060 x1059 x1058 x1057 -x1056 -x1055 -x1054 x1053 x1052 x1051 x1050 x1049
1800.00/1800.51 v x1048 x1047 -x1046 x1045 x1044 x1043 x1042 -x1041 -x1040 x1039 -x1038 x1037 -x1036 -x1035 x1034 x1033 x1032 x1031 -x1030
1800.00/1800.51 v -x1029 x1028 x1027 x1026 x1025 -x1024 x1023 x1022 -x1021 -x1020 x1019 x1018 -x1017 x1016 -x1015 x1014 x1013 x1012 x1011 x1010
1800.00/1800.51 v x1009 x1008 -x1007 x1006 x1005 -x1004 x1003 x1002 x1001 x1000 x999 x998 x997 x996 -x995 x994 x993 x992 x991 x990 x989 x988
1800.00/1800.51 v x987 -x986 x985 x984 x983 x982 x981 x980 x979 x978 -x977 -x976 -x975 x974 -x973 -x972 -x971 -x970 x969 x968 x967 -x966 -x965
1800.00/1800.51 v x964 -x963 x962 x961 x960 x959 x958 -x957 x956 x955 x954 x953 -x952 x951 x950 x949 x948 x947 x946 x945 x944 -x943 x942 -x941
1800.00/1800.51 v x940 x939 x938 -x937 x936 -x935 x934 x933 x932 x931 x930 x929 x928 -x927 -x926 x925 x924 x923 -x922 x921 -x920 x919 x918 x917
1800.00/1800.51 v x916 x915 x914 -x913 x912 x911 -x910 x909 -x908 -x907 x906 x905 x904 -x903 -x902 x901 -x900 -x899 x898 -x897 x896 x895 x894
1800.00/1800.51 v x893 x892 x891 x890 x889 -x888 x887 -x886 x885 -x884 x883 x882 x881 x880 x879 x878 x877 x876 -x875 x874 x873 -x872 -x871 -x870
1800.00/1800.51 v x869 -x868 x867 x866 x865 -x864 x863 x862 x861 -x860 x859 x858 x857 x856 x855 x854 -x853 x852 x851 x850 x849 x848 -x847 x846
1800.00/1800.51 v x845 -x844 x843 x842 x841 -x840 x839 x838 -x837 x836 x835 x834 x833 -x832 -x831 x830 -x829 x828 -x827 -x826 x825 x824 -x823
1800.00/1800.51 v x822 x821 x820 -x819 x818 x817 -x816 x815 x814 x813 x812 -x811 x810 -x809 x808 -x807 x806 x805 -x804 -x803 x802 -x801 -x800
1800.00/1800.51 v x799 x798 x797 x796 x795 x794 x793 x792 x791 x790 -x789 -x788 x787 x786 x785 -x784 x783 -x782 x781 x780 x779 x778 -x777 x776
1800.00/1800.51 v -x775 x774 x773 x772 x771 x770 x769 x768 -x767 -x766 x765 x764 -x763 x762 x761 -x760 -x759 x758 x757 -x756 x755 x754 x753 x752
1800.00/1800.51 v x751 x750 x749 x748 x747 -x746 -x745 x744 x743 x742 x741 -x740 -x739 x738 x737 x736 x735 x734 -x733 -x732 x731 -x730 -x729
1800.00/1800.51 v x728 x727 -x726 x725 x724 x723 -x722 -x721 x720 x719 -x718 -x717 x716 -x715 -x714 x713 x712 x711 -x710 -x709 -x708 x707 x706
1800.00/1800.51 v x705 -x704 x703 x702 x701 x700 x699 -x698 x697 -x696 x695 x694 -x693 x692 x691 x690 x689 -x688 -x687 x686 x685 -x684 x683 x682
1800.00/1800.51 v x681 x680 x679 x678 -x677 -x676 x675 x674 x673 x672 -x671 -x670 x669 x668 -x667 x666 x665 x664 -x663 x662 -x661 x660 -x659
1800.00/1800.51 v -x658 -x657 x656 x655 -x654 x653 x652 x651 x650 x649 -x648 -x647 -x646 -x645 x644 -x643 x642 x641 x640 x639 x638 x637 x636 x635
1800.00/1800.51 v -x634 -x633 -x632 x631 x630 -x629 -x628 x627 -x626 x625 x624 x623 -x622 -x621 x620 x619 x618 -x617 x616 x615 -x614 x613 x612
1800.00/1800.51 v x611 x610 x609 -x608 x607 x606 -x605 x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 x596 x595 x594 -x593 x592 x591 x590 x589
1800.00/1800.51 v x588 -x587 -x586 x585 x584 -x583 x582 -x581 x580 x579 -x578 x577 x576 x575 -x574 x573 x572 -x571 x570 x569 x568 x567 x566
1800.00/1800.51 v -x565 x564 -x563 x562 x561 x560 x559 x558 -x557 -x556 -x555 x554 x553 x552 -x551 -x550 x549 x548 x547 -x546 -x545 -x544 x543
1800.00/1800.51 v x542 x541 -x540 -x539 x538 x537 -x536 x535 -x534 x533 -x532 -x531 x530 x529 x528 x527 x526 -x525 -x524 x523 x522 x521 -x520 x519
1800.00/1800.51 v x518 -x517 -x516 x515 x514 -x513 -x512 -x511 -x510 x509 -x508 x507 x506 -x505 -x504 -x503 -x502 -x501 x500 x499 -x498 x497
1800.00/1800.51 v x496 x495 x494 x493 x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 x483 -x482 x481 x480 -x479 -x478 -x477 x476 x475 x474
1800.00/1800.51 v x473 -x472 -x471 -x470 x469 x468 -x467 -x466 x465 -x464 -x463 x462 -x461 x460 -x459 -x458 -x457 x456 x455 x454 x453 -x452
1800.00/1800.51 v x451 -x450 -x449 -x448 x447 -x446 -x445 -x444 x443 -x442 x441 x440 -x439 -x438 x437 x436 -x435 x434 x433 -x432 x431 x430 -x429
1800.00/1800.51 v x428 -x427 -x426 x425 x424 -x423 -x422 -x421 -x420 x419 x418 x417 -x416 -x415 x414 x413 x412 x411 x410 x409 x408 -x407 -x406
1800.00/1800.51 v -x405 x404 x403 -x402 -x401 -x400 x399 -x398 x397 -x396 -x395 -x394 x393 -x392 -x391 x390 x389 -x388 x387 x386 x385 x384 x383
1800.00/1800.51 v -x382 -x381 -x380 -x379 x378 x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369 x368 x367 x366 -x365 x364 x363 -x362 -x361
1800.00/1800.51 v x360 x359 x358 x357 x356 -x355 -x354 x353 x352 x351 -x350 -x349 -x348 x347 x346 -x345 -x344 -x343 -x342 -x341 x340 -x339 -x338
1800.00/1800.51 v x337 -x336 x335 -x334 -x333 -x332 -x331 -x330 -x329 x328 x327 x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 x318 x317 x316
1800.00/1800.51 v x315 x314 x313 -x312 x311 -x310 x309 -x308 -x307 -x306 x305 x304 -x303 -x302 -x301 x300 x299 -x298 x297 -x296 x295 -x294 x293
1800.00/1800.51 v x292 -x291 -x290 -x289 x288 -x287 x286 -x285 x284 -x283 x282 -x281 x280 -x279 x278 x277 -x276 x275 -x274 -x273 -x272 x271
1800.00/1800.51 v x270 -x269 x268 -x267 -x266 -x265 -x264 x263 x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249
1800.00/1800.51 v -x248 x247 -x246 -x245 x244 x243 -x242 x241 x240 -x239 x238 -x237 -x236 -x235 x234 -x233 x232 x231 -x230 x229 x228 x227 -x226
1800.00/1800.51 v -x225 x224 x223 -x222 -x221 x220 -x219 x218 x217 x216 x215 -x214 x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 -x205 x204
1800.00/1800.51 v -x203 -x202 x201 x200 x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 x189 -x188 x187 -x186 x185 -x184 -x183 -x182
1800.00/1800.51 v -x181 -x180 x179 x178 x177 -x176 -x175 -x174 x173 -x172 x171 -x170 -x169 x168 x167 -x166 x165 -x164 x163 -x162 -x161 -x160 x159
1800.00/1800.51 v -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 -x141 x140 -x139 -x138
1800.00/1800.51 v -x137 -x136 x135 x134 x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 -x124 x123 x122 x121 -x120 x119 x118 -x117 -x116
1800.00/1800.51 v -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 x96 x95 -x94 -x93
1800.00/1800.51 v -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 x84 -x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 x70 -x69 -x68 x67
1800.00/1800.51 v -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 x41
1800.00/1800.51 v -x40 -x39 -x38 x37 -x36 x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 x15
1800.00/1800.51 v -x14 -x13 -x12 -x11 x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.00/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.51 c Solving Time : 1739.53
1800.00/1800.51 c Original Problem :
1800.00/1800.51 c Problem name : HOME/instance-2665601-1276388651.opb
1800.00/1800.51 c Variables : 1957 (1957 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.51 c Constraints : 4000 initial, 4000 maximal
1800.00/1800.51 c Presolved Problem :
1800.00/1800.51 c Problem name : t_HOME/instance-2665601-1276388651.opb
1800.00/1800.51 c Variables : 1539 (1539 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.51 c Constraints : 2993 initial, 2993 maximal
1800.00/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c dualfix : 0.00 198 0 0 0 0 0 0 0
1800.00/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c probing : 0.02 0 0 0 0 0 0 0 0
1800.00/1800.51 c linear : 0.06 0 220 0 0 0 1007 0 0
1800.00/1800.51 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.00/1800.51 c root node : - 0 - - 0 - - - -
1800.00/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.51 c integral : 0 0 0 1 0 0 0 0 0 2
1800.00/1800.51 c logicor : 2993+ 50 4508186 0 0 97744 25116659 0 0 0
1800.00/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.51 c integral : 8.81 0.00 0.00 8.81 0.00
1800.00/1800.51 c logicor : 216.27 0.01 216.26 0.00 0.00
1800.00/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.51 c vbounds : 3.92 2 0 0
1800.00/1800.51 c rootredcost : 3.65 0 0 0
1800.00/1800.51 c pseudoobj : 1011.77 7613406 2028587 34061942
1800.00/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.51 c propagation : 142.14 97744 97744 97744 253.5 0 0.0 -
1800.00/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c pseudo solution : 0.00 1 0 0 0.0 0 0.0 -
1800.00/1800.51 c applied globally : - - - 0 0.0 - - -
1800.00/1800.51 c applied locally : - - - 97744 253.5 - - -
1800.00/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.51 c cut pool : 0.10 49 - - 52 - (maximal pool size: 1294)
1800.00/1800.51 c redcost : 0.00 50 0 0 0 0
1800.00/1800.51 c impliedbounds : 0.06 50 0 0 0 0
1800.00/1800.51 c intobj : 0.00 0 0 0 0 0
1800.00/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.51 c gomory : 10.89 50 0 0 23279 0
1800.00/1800.51 c strongcg : 1.56 20 0 0 10000 0
1800.00/1800.51 c cmir : 0.21 10 0 0 0 0
1800.00/1800.51 c flowcover : 0.15 10 0 0 0 0
1800.00/1800.51 c clique : 0.00 50 0 0 9 0
1800.00/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.51 c mcf : 0.02 1 0 0 0 0
1800.00/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.51 c Pricers : Time Calls Vars
1800.00/1800.51 c problem variables: 0.00 0 0
1800.00/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.51 c relpscost : 8.81 1 0 0 0 0 2
1800.00/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.51 c inference : 199.66 2131199 0 0 0 0 4262398
1800.00/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.51 c random : 0.00 0 0 0 0 0 0
1800.00/1800.51 c Primal Heuristics : Time Calls Found
1800.00/1800.51 c LP solutions : 0.00 - 0
1800.00/1800.51 c pseudo solutions : 0.00 - 0
1800.00/1800.51 c crossover : 0.00 0 0
1800.00/1800.51 c oneopt : 2.72 2 1
1800.00/1800.51 c trivial : 0.01 2 3
1800.00/1800.51 c simplerounding : 0.09 50 36
1800.00/1800.51 c zirounding : 0.00 1 1
1800.00/1800.51 c rounding : 6.62 50 0
1800.00/1800.51 c shifting : 6.70 50 0
1800.00/1800.51 c intshifting : 0.00 0 0
1800.00/1800.51 c twoopt : 0.00 0 0
1800.00/1800.51 c fixandinfer : 0.00 0 0
1800.00/1800.51 c feaspump : 0.00 0 0
1800.00/1800.51 c coefdiving : 0.00 0 0
1800.00/1800.51 c pscostdiving : 0.00 0 0
1800.00/1800.51 c fracdiving : 0.00 0 0
1800.00/1800.51 c veclendiving : 0.00 0 0
1800.00/1800.51 c intdiving : 0.00 0 0
1800.00/1800.51 c actconsdiving : 0.00 0 0
1800.00/1800.51 c objpscostdiving : 0.00 0 0
1800.00/1800.51 c rootsoldiving : 0.00 0 0
1800.00/1800.51 c linesearchdiving : 0.00 0 0
1800.00/1800.51 c guideddiving : 0.00 0 0
1800.00/1800.51 c octane : 0.00 0 0
1800.00/1800.51 c rens : 0.01 0 0
1800.00/1800.51 c rins : 0.00 0 0
1800.00/1800.51 c localbranching : 0.00 0 0
1800.00/1800.51 c mutation : 0.00 0 0
1800.00/1800.51 c dins : 0.00 0 0
1800.00/1800.51 c undercover : 0.00 0 0
1800.00/1800.51 c nlp : 2.42 0 0
1800.00/1800.51 c trysol : 2.06 0 0
1800.00/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.51 c primal LP : 0.05 0 0 0.00 0.00
1800.00/1800.51 c dual LP : 52.55 50 64816 1296.32 1233.42
1800.00/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.51 c strong branching : 8.81 17 16824 989.65 1909.65
1800.00/1800.51 c (at root node) : - 17 16824 989.65 -
1800.00/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.51 c B&B Tree :
1800.00/1800.51 c number of runs : 1
1800.00/1800.51 c nodes : 4232758
1800.00/1800.51 c nodes (total) : 4232758
1800.00/1800.51 c nodes left : 253
1800.00/1800.51 c max depth : 280
1800.00/1800.51 c max depth (total): 280
1800.00/1800.51 c backtracks : 1029201 (24.3%)
1800.00/1800.51 c delayed cutoffs : 29390
1800.00/1800.51 c repropagations : 48877 (709534 domain reductions, 24774 cutoffs)
1800.00/1800.51 c avg switch length: 2.00
1800.00/1800.51 c switching time : 93.17
1800.00/1800.51 c Solution :
1800.00/1800.51 c Solutions found : 41 (3 improvements)
1800.00/1800.51 c First Solution : +1.95700000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.00/1800.51 c Primal Bound : +1.15400000000000e+03 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <oneopt>)
1800.00/1800.51 c Dual Bound : +1.00492946805931e+03
1800.00/1800.51 c Gap : 14.83 %
1800.00/1800.51 c Root Dual Bound : +1.00478421499474e+03
1800.00/1800.51 c Root Iterations : 64816
1800.00/1800.56 c Time complete: 1800.06.