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-2665591-1276426650.opb>
0.00/0.09 c original problem has 2782 variables (2782 bin, 0 int, 0 impl, 0 cont) and 4517 constraints
0.00/0.09 c problem read
0.00/0.09 c presolving settings loaded
0.09/0.13 c presolving:
0.19/0.22 c (round 1) 2230 del vars, 1430 del conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 62206 impls, 0 clqs
0.19/0.25 c (round 2) 2242 del vars, 3329 del conss, 22 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 62233 impls, 0 clqs
0.19/0.25 c (round 3) 2261 del vars, 3365 del conss, 32 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 62233 impls, 0 clqs
0.19/0.25 c (round 4) 2267 del vars, 3394 del conss, 34 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 62421 impls, 0 clqs
0.19/0.26 c (round 5) 2275 del vars, 3403 del conss, 34 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 62679 impls, 0 clqs
0.19/0.26 c (round 6) 2280 del vars, 3415 del conss, 34 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 62705 impls, 0 clqs
0.19/0.26 c (round 7) 2280 del vars, 3418 del conss, 34 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 62705 impls, 0 clqs
0.29/0.34 c (round 8) 2280 del vars, 3429 del conss, 34 chg bounds, 6 chg sides, 2 chg coeffs, 1025 upgd conss, 62705 impls, 0 clqs
0.29/0.35 c (round 9) 2280 del vars, 3429 del conss, 34 chg bounds, 6 chg sides, 2 chg coeffs, 1089 upgd conss, 62705 impls, 0 clqs
0.29/0.37 c (round 10) 2335 del vars, 3429 del conss, 34 chg bounds, 6 chg sides, 2 chg coeffs, 1089 upgd conss, 63487 impls, 0 clqs
0.29/0.37 c (round 11) 2379 del vars, 3595 del conss, 53 chg bounds, 6 chg sides, 2 chg coeffs, 1089 upgd conss, 63932 impls, 0 clqs
0.29/0.37 c (round 12) 2416 del vars, 3643 del conss, 56 chg bounds, 6 chg sides, 2 chg coeffs, 1089 upgd conss, 64004 impls, 0 clqs
0.29/0.38 c (round 13) 2426 del vars, 3661 del conss, 57 chg bounds, 6 chg sides, 2 chg coeffs, 1089 upgd conss, 64051 impls, 0 clqs
0.29/0.38 c (round 14) 2428 del vars, 3666 del conss, 57 chg bounds, 6 chg sides, 2 chg coeffs, 1089 upgd conss, 64051 impls, 0 clqs
0.39/0.40 c (round 15) 2428 del vars, 3676 del conss, 57 chg bounds, 6 chg sides, 2 chg coeffs, 1089 upgd conss, 64051 impls, 0 clqs
0.39/0.44 c (0.3s) probing: 427/502 (85.1%) - 50 fixings, 41 aggregations, 599 implications, 0 bound changes
0.39/0.44 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.39/0.44 c (round 16) 2464 del vars, 3676 del conss, 57 chg bounds, 6 chg sides, 2 chg coeffs, 1089 upgd conss, 64569 impls, 0 clqs
0.39/0.44 c (round 17) 2464 del vars, 3689 del conss, 57 chg bounds, 6 chg sides, 2 chg coeffs, 1089 upgd conss, 64581 impls, 0 clqs
0.39/0.45 c (round 18) 2466 del vars, 3691 del conss, 57 chg bounds, 6 chg sides, 2 chg coeffs, 1089 upgd conss, 64581 impls, 0 clqs
0.39/0.46 c (0.3s) probing: 437/502 (87.1%) - 50 fixings, 41 aggregations, 599 implications, 0 bound changes
0.39/0.46 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.39/0.46 c presolving (19 rounds):
0.39/0.46 c 2466 deleted vars, 3691 deleted constraints, 57 tightened bounds, 0 added holes, 6 changed sides, 2 changed coefficients
0.39/0.46 c 64581 implications, 0 cliques
0.39/0.46 c presolved problem has 316 variables (316 bin, 0 int, 0 impl, 0 cont) and 826 constraints
0.39/0.46 c 826 constraints of type <logicor>
0.39/0.46 c transformed objective value is always integral (scale: 1)
0.39/0.46 c Presolving Time: 0.31
0.39/0.46 c - non default parameters ----------------------------------------------------------------------
0.39/0.46 c # SCIP version 1.2.1.2
0.39/0.46 c
0.39/0.46 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.46 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.46 c conflict/interconss = 0
0.39/0.46 c
0.39/0.46 c # should binary conflicts be preferred?
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c conflict/preferbinary = TRUE
0.39/0.46 c
0.39/0.46 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.46 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.46 c constraints/agelimit = 1
0.39/0.46 c
0.39/0.46 c # should enforcement of pseudo solution be disabled?
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c constraints/disableenfops = TRUE
0.39/0.46 c
0.39/0.46 c # frequency for displaying node information lines
0.39/0.46 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.46 c display/freq = 10000
0.39/0.46 c
0.39/0.46 c # maximal time in seconds to run
0.39/0.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.46 c limits/time = 1799.92
0.39/0.46 c
0.39/0.46 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.46 c limits/memory = 1620
0.39/0.46 c
0.39/0.46 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.46 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.46 c lp/solvefreq = 0
0.39/0.46 c
0.39/0.46 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.39/0.46 c # [type: char, range: {lafpsqd}, default: l]
0.39/0.46 c lp/pricing = a
0.39/0.46 c
0.39/0.46 c # should presolving try to simplify inequalities
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c constraints/linear/simplifyinequalities = TRUE
0.39/0.46 c
0.39/0.46 c # should presolving try to simplify knapsacks
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.46 c
0.39/0.46 c # priority of node selection rule <dfs> in standard mode
0.39/0.46 c # [type: int, range: [-536870912,536870911], default: 0]
0.39/0.46 c nodeselection/dfs/stdpriority = 1000000
0.39/0.46 c
0.39/0.46 c -----------------------------------------------------------------------------------------------
0.39/0.46 c start solving
0.39/0.46 c
0.39/0.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.48 c 0.3s| 1 | 0 | 141 | - |7325k| 0 | 88 | 316 | 826 | 316 | 687 | 0 | 0 | 0 | 1.328500e+03 | -- | Inf
0.39/0.48 o 1378
0.39/0.48 c s 0.3s| 1 | 0 | 141 | - |7430k| 0 | 88 | 316 | 826 | 316 | 687 | 0 | 0 | 0 | 1.328500e+03 | 1.378000e+03 | 3.73%
0.49/0.51 c 0.4s| 1 | 0 | 175 | - |7438k| 0 | 112 | 316 | 826 | 316 | 697 | 10 | 0 | 0 | 1.329500e+03 | 1.378000e+03 | 3.65%
0.49/0.51 o 1359
0.49/0.51 c b 0.4s| 1 | 0 | 175 | - |7508k| 0 | 112 | 316 | 826 | 316 | 697 | 10 | 0 | 0 | 1.329500e+03 | 1.359000e+03 | 2.22%
0.49/0.54 c 0.4s| 1 | 0 | 180 | - |7483k| 0 | 115 | 316 | 826 | 316 | 711 | 24 | 0 | 0 | 1.330000e+03 | 1.359000e+03 | 2.18%
0.49/0.57 c 0.4s| 1 | 0 | 187 | - |7486k| 0 | 115 | 316 | 826 | 316 | 714 | 27 | 0 | 0 | 1.330000e+03 | 1.359000e+03 | 2.18%
0.59/0.61 c 0.5s| 1 | 0 | 198 | - |7490k| 0 | 118 | 316 | 826 | 316 | 716 | 29 | 0 | 0 | 1.330750e+03 | 1.359000e+03 | 2.12%
0.59/0.64 c 0.5s| 1 | 0 | 207 | - |7495k| 0 | 118 | 316 | 826 | 316 | 719 | 32 | 0 | 0 | 1.331000e+03 | 1.359000e+03 | 2.10%
0.59/0.67 c 0.5s| 1 | 0 | 221 | - |7535k| 0 | 119 | 316 | 826 | 316 | 721 | 34 | 0 | 0 | 1.331500e+03 | 1.359000e+03 | 2.07%
0.69/0.71 c 0.6s| 1 | 0 | 230 | - |7539k| 0 | 119 | 316 | 826 | 316 | 723 | 36 | 0 | 0 | 1.332000e+03 | 1.359000e+03 | 2.03%
0.69/0.74 c 0.6s| 1 | 0 | 235 | - |7543k| 0 | 121 | 316 | 826 | 316 | 726 | 39 | 0 | 0 | 1.332500e+03 | 1.359000e+03 | 1.99%
0.69/0.78 c 0.6s| 1 | 0 | 238 | - |7546k| 0 | 122 | 316 | 826 | 316 | 729 | 42 | 0 | 0 | 1.333000e+03 | 1.359000e+03 | 1.95%
0.79/0.83 c 0.7s| 1 | 0 | 250 | - |7588k| 0 | 113 | 316 | 826 | 316 | 730 | 43 | 0 | 0 | 1.333000e+03 | 1.359000e+03 | 1.95%
0.79/0.86 c 0.7s| 1 | 0 | 260 | - |7601k| 0 | 128 | 316 | 826 | 316 | 729 | 44 | 0 | 0 | 1.333000e+03 | 1.359000e+03 | 1.95%
0.79/0.89 c 0.7s| 1 | 0 | 273 | - |7626k| 0 | 124 | 316 | 826 | 316 | 735 | 50 | 0 | 0 | 1.333000e+03 | 1.359000e+03 | 1.95%
0.89/0.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.92 c 0.8s| 1 | 0 | 286 | - |7651k| 0 | 124 | 316 | 826 | 316 | 737 | 52 | 0 | 0 | 1.333000e+03 | 1.359000e+03 | 1.95%
0.89/0.94 c 0.8s| 1 | 0 | 301 | - |7666k| 0 | 128 | 316 | 826 | 316 | 741 | 56 | 0 | 0 | 1.333500e+03 | 1.359000e+03 | 1.91%
0.89/0.98 c 0.8s| 1 | 0 | 331 | - |7737k| 0 | 118 | 316 | 826 | 316 | 745 | 60 | 0 | 0 | 1.333500e+03 | 1.359000e+03 | 1.91%
1.00/1.00 c 0.8s| 1 | 0 | 335 | - |7743k| 0 | 117 | 316 | 826 | 316 | 748 | 63 | 0 | 0 | 1.334000e+03 | 1.359000e+03 | 1.87%
1.00/1.02 c 0.9s| 1 | 0 | 343 | - |7745k| 0 | 118 | 316 | 826 | 316 | 733 | 65 | 0 | 0 | 1.334500e+03 | 1.359000e+03 | 1.84%
1.00/1.04 c 0.9s| 1 | 0 | 345 | - |7748k| 0 | 119 | 316 | 826 | 316 | 735 | 67 | 0 | 0 | 1.335000e+03 | 1.359000e+03 | 1.80%
1.00/1.07 c 0.9s| 1 | 0 | 353 | - |7752k| 0 | 122 | 316 | 826 | 316 | 736 | 68 | 0 | 0 | 1.335000e+03 | 1.359000e+03 | 1.80%
1.00/1.10 c 0.9s| 1 | 0 | 356 | - |7756k| 0 | 123 | 316 | 826 | 316 | 738 | 70 | 0 | 0 | 1.335000e+03 | 1.359000e+03 | 1.80%
1.10/1.11 c 0.9s| 1 | 0 | 359 | - |7759k| 0 | 124 | 316 | 826 | 316 | 740 | 72 | 0 | 0 | 1.335000e+03 | 1.359000e+03 | 1.80%
1.10/1.13 c 1.0s| 1 | 0 | 372 | - |7764k| 0 | 123 | 316 | 826 | 316 | 741 | 73 | 0 | 0 | 1.335000e+03 | 1.359000e+03 | 1.80%
1.10/1.15 c 1.0s| 1 | 0 | 377 | - |7776k| 0 | 124 | 316 | 826 | 316 | 736 | 81 | 0 | 0 | 1.335000e+03 | 1.359000e+03 | 1.80%
1.30/1.31 c 1.1s| 1 | 2 | 377 | - |7777k| 0 | 124 | 316 | 826 | 316 | 736 | 81 | 0 | 24 | 1.335000e+03 | 1.359000e+03 | 1.80%
4.58/4.69 c 4.2s| 10000 | 41 | 377 | 0.0 |7840k| 103 | - | 316 | 867 | 0 | 0 | 81 |6510 | 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
7.98/8.03 c 7.2s| 20000 | 44 | 377 | 0.0 |7843k| 103 | - | 316 | 854 | 0 | 0 | 81 | 12k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
11.28/11.31 c 10.2s| 30000 | 44 | 377 | 0.0 |7847k| 103 | - | 316 | 875 | 0 | 0 | 81 | 19k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
14.49/14.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.49/14.51 c 13.1s| 40000 | 43 | 377 | 0.0 |7832k| 103 | - | 316 | 832 | 0 | 0 | 81 | 25k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
17.77/17.89 c 16.1s| 50000 | 40 | 377 | 0.0 |7852k| 103 | - | 316 | 886 | 0 | 0 | 81 | 31k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
21.18/21.27 c 19.2s| 60000 | 41 | 377 | 0.0 |7839k| 103 | - | 316 | 856 | 0 | 0 | 81 | 38k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
24.57/24.69 c 22.3s| 70000 | 42 | 377 | 0.0 |7840k| 103 | - | 316 | 855 | 0 | 0 | 81 | 45k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
28.08/28.17 c 25.5s| 80000 | 39 | 377 | 0.0 |7847k| 103 | - | 316 | 865 | 0 | 0 | 81 | 52k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
31.47/31.58 c 28.6s| 90000 | 41 | 377 | 0.0 |7854k| 103 | - | 316 | 881 | 0 | 0 | 81 | 58k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
34.87/34.94 c 31.7s|100000 | 38 | 377 | 0.0 |7856k| 103 | - | 316 | 889 | 0 | 0 | 81 | 65k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
38.26/38.40 c 34.8s|110000 | 38 | 377 | 0.0 |7848k| 103 | - | 316 | 877 | 0 | 0 | 81 | 72k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
41.67/41.79 c 37.9s|120000 | 39 | 377 | 0.0 |7844k| 103 | - | 316 | 862 | 0 | 0 | 81 | 78k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
45.16/45.23 c 41.0s|130000 | 43 | 377 | 0.0 |7833k| 103 | - | 316 | 834 | 0 | 0 | 81 | 85k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
48.45/48.58 c 44.1s|140000 | 38 | 377 | 0.0 |7836k| 103 | - | 316 | 843 | 0 | 0 | 81 | 92k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
51.85/51.97 c 47.2s|150000 | 40 | 377 | 0.0 |7851k| 103 | - | 316 | 880 | 0 | 0 | 81 | 98k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
55.16/55.29 c 50.2s|160000 | 41 | 377 | 0.0 |7841k| 103 | - | 316 | 846 | 0 | 0 | 81 | 105k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
58.55/58.66 c 53.3s|170000 | 39 | 377 | 0.0 |7859k| 103 | - | 316 | 890 | 0 | 0 | 81 | 111k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
61.95/62.06 c 56.4s|180000 | 40 | 377 | 0.0 |7845k| 103 | - | 316 | 862 | 0 | 0 | 81 | 118k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
65.25/65.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.25/65.35 c 59.4s|190000 | 41 | 377 | 0.0 |7860k| 103 | - | 316 | 886 | 0 | 0 | 81 | 124k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
68.65/68.73 c 62.5s|200000 | 39 | 377 | 0.0 |7856k| 103 | - | 316 | 888 | 0 | 0 | 81 | 131k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
71.95/72.06 c 65.6s|210000 | 38 | 377 | 0.0 |7854k| 103 | - | 316 | 887 | 0 | 0 | 81 | 137k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
75.25/75.30 c 68.5s|220000 | 38 | 377 | 0.0 |7870k| 103 | - | 316 | 926 | 0 | 0 | 81 | 144k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
78.45/78.58 c 71.5s|230000 | 37 | 377 | 0.0 |7868k| 103 | - | 316 | 919 | 0 | 0 | 81 | 150k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
81.64/81.77 c 74.4s|240000 | 40 | 377 | 0.0 |7856k| 103 | - | 316 | 885 | 0 | 0 | 81 | 157k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
84.94/85.08 c 77.4s|250000 | 39 | 377 | 0.0 |7856k| 103 | - | 316 | 886 | 0 | 0 | 81 | 164k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
88.35/88.49 c 80.5s|260000 | 44 | 377 | 0.0 |7848k| 103 | - | 316 | 864 | 0 | 0 | 81 | 170k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
91.85/91.97 c 83.7s|270000 | 38 | 377 | 0.0 |7863k| 103 | - | 316 | 901 | 0 | 0 | 81 | 177k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
95.35/95.44 c 86.9s|280000 | 38 | 377 | 0.0 |7860k| 103 | - | 316 | 895 | 0 | 0 | 81 | 184k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
98.85/98.90 c 90.1s|290000 | 39 | 377 | 0.0 |7856k| 103 | - | 316 | 885 | 0 | 0 | 81 | 190k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
102.34/102.43 c 93.3s|300000 | 37 | 377 | 0.0 |7868k| 103 | - | 316 | 916 | 0 | 0 | 81 | 197k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
105.74/105.85 c 96.4s|310000 | 38 | 377 | 0.0 |7859k| 103 | - | 316 | 895 | 0 | 0 | 81 | 203k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
109.24/109.32 c 99.5s|320000 | 40 | 377 | 0.0 |7884k| 103 | - | 316 | 981 | 0 | 0 | 81 | 211k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
112.54/112.66 c 103s|330000 | 38 | 377 | 0.0 |7917k| 103 | - | 316 |1091 | 0 | 0 | 81 | 218k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
115.94/116.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.94/116.08 c 106s|340000 | 42 | 377 | 0.0 |7898k| 103 | - | 316 | 848 | 0 | 0 | 81 | 226k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
119.34/119.45 c 109s|350000 | 42 | 377 | 0.0 |7907k| 103 | - | 316 | 863 | 0 | 0 | 81 | 233k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
122.73/122.83 c 112s|360000 | 37 | 377 | 0.0 |7914k| 103 | - | 316 | 890 | 0 | 0 | 81 | 239k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
126.03/126.19 c 115s|370000 | 38 | 377 | 0.0 |7909k| 103 | - | 316 | 878 | 0 | 0 | 81 | 246k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
129.43/129.54 c 118s|380000 | 39 | 377 | 0.0 |7912k| 103 | - | 316 | 874 | 0 | 0 | 81 | 253k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
132.74/132.89 c 121s|390000 | 37 | 377 | 0.0 |7910k| 103 | - | 316 | 872 | 0 | 0 | 81 | 259k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
136.24/136.38 c 124s|400000 | 40 | 377 | 0.0 |7904k| 103 | - | 316 | 852 | 0 | 0 | 81 | 266k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
139.64/139.77 c 127s|410000 | 38 | 377 | 0.0 |7904k| 103 | - | 316 | 858 | 0 | 0 | 81 | 272k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
143.13/143.21 c 130s|420000 | 36 | 377 | 0.0 |7914k| 103 | - | 316 | 881 | 0 | 0 | 81 | 279k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
146.53/146.66 c 134s|430000 | 38 | 377 | 0.0 |7907k| 103 | - | 316 | 874 | 0 | 0 | 81 | 286k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
149.83/149.99 c 137s|440000 | 37 | 377 | 0.0 |7912k| 103 | - | 316 | 894 | 0 | 0 | 81 | 293k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
153.13/153.21 c 140s|450000 | 41 | 377 | 0.0 |7898k| 103 | - | 316 | 851 | 0 | 0 | 81 | 300k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
156.63/156.70 c 143s|460000 | 37 | 377 | 0.0 |7901k| 103 | - | 316 | 859 | 0 | 0 | 81 | 307k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
159.93/160.07 c 146s|470000 | 40 | 377 | 0.0 |7905k| 103 | - | 316 | 867 | 0 | 0 | 81 | 314k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
163.32/163.43 c 149s|480000 | 35 | 377 | 0.0 |7924k| 103 | - | 316 | 907 | 0 | 0 | 81 | 320k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
166.72/166.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.72/166.84 c 152s|490000 | 36 | 377 | 0.0 |7909k| 103 | - | 316 | 871 | 0 | 0 | 81 | 327k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
170.03/170.19 c 155s|500000 | 36 | 377 | 0.0 |7911k| 103 | - | 316 | 883 | 0 | 0 | 81 | 333k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
173.52/173.62 c 158s|510000 | 37 | 377 | 0.0 |7908k| 103 | - | 316 | 866 | 0 | 0 | 81 | 340k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
176.93/177.07 c 161s|520000 | 41 | 377 | 0.0 |7903k| 103 | - | 316 | 861 | 0 | 0 | 81 | 346k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
180.42/180.56 c 164s|530000 | 39 | 377 | 0.0 |7904k| 103 | - | 316 | 864 | 0 | 0 | 81 | 353k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
183.92/184.01 c 168s|540000 | 40 | 377 | 0.0 |7895k| 103 | - | 316 | 839 | 0 | 0 | 81 | 360k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
187.32/187.49 c 171s|550000 | 35 | 377 | 0.0 |7921k| 103 | - | 316 | 899 | 0 | 0 | 81 | 366k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
190.92/191.01 c 174s|560000 | 36 | 377 | 0.0 |7901k| 103 | - | 316 | 856 | 0 | 0 | 81 | 373k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
194.32/194.49 c 177s|570000 | 37 | 377 | 0.0 |7915k| 103 | - | 316 | 886 | 0 | 0 | 81 | 380k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
197.82/197.90 c 180s|580000 | 36 | 377 | 0.0 |7900k| 103 | - | 316 | 844 | 0 | 0 | 81 | 386k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
201.12/201.29 c 183s|590000 | 35 | 377 | 0.0 |7905k| 103 | - | 316 | 869 | 0 | 0 | 81 | 393k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
204.42/204.58 c 186s|600000 | 40 | 377 | 0.0 |7902k| 103 | - | 316 | 849 | 0 | 0 | 81 | 400k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
207.72/207.85 c 189s|610000 | 43 | 377 | 0.0 |7894k| 103 | - | 316 | 837 | 0 | 0 | 81 | 406k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
211.01/211.17 c 192s|620000 | 43 | 377 | 0.0 |7901k| 103 | - | 316 | 850 | 0 | 0 | 81 | 413k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
214.41/214.56 c 195s|630000 | 39 | 377 | 0.0 |7910k| 103 | - | 316 | 877 | 0 | 0 | 81 | 420k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
217.80/217.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
217.80/217.91 c 198s|640000 | 39 | 377 | 0.0 |7911k| 103 | - | 316 | 879 | 0 | 0 | 81 | 427k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
221.10/221.29 c 202s|650000 | 39 | 377 | 0.0 |7910k| 103 | - | 316 | 876 | 0 | 0 | 81 | 433k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
224.60/224.70 c 205s|660000 | 36 | 377 | 0.0 |7913k| 103 | - | 316 | 879 | 0 | 0 | 81 | 440k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
228.00/228.16 c 208s|670000 | 37 | 377 | 0.0 |7916k| 103 | - | 316 | 887 | 0 | 0 | 81 | 447k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
231.40/231.56 c 211s|680000 | 38 | 377 | 0.0 |7898k| 103 | - | 316 | 845 | 0 | 0 | 81 | 453k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
234.80/234.92 c 214s|690000 | 37 | 377 | 0.0 |7901k| 103 | - | 316 | 854 | 0 | 0 | 81 | 460k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
238.20/238.34 c 217s|700000 | 46 | 377 | 0.0 |7895k| 103 | - | 316 | 836 | 0 | 0 | 81 | 467k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
241.50/241.64 c 220s|710000 | 38 | 377 | 0.0 |7905k| 103 | - | 316 | 853 | 0 | 0 | 81 | 474k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
244.80/244.96 c 223s|720000 | 34 | 377 | 0.0 |7906k| 103 | - | 316 | 869 | 0 | 0 | 81 | 480k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
248.20/248.36 c 226s|730000 | 33 | 377 | 0.0 |7917k| 103 | - | 316 | 899 | 0 | 0 | 81 | 487k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
251.70/251.83 c 229s|740000 | 37 | 377 | 0.0 |7916k| 103 | - | 316 | 883 | 0 | 0 | 81 | 494k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
255.20/255.30 c 232s|750000 | 39 | 377 | 0.0 |7912k| 103 | - | 316 | 872 | 0 | 0 | 81 | 500k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
258.60/258.72 c 236s|760000 | 39 | 377 | 0.0 |7915k| 103 | - | 316 | 888 | 0 | 0 | 81 | 508k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
261.89/262.08 c 239s|770000 | 39 | 377 | 0.0 |7902k| 103 | - | 316 | 852 | 0 | 0 | 81 | 514k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
265.29/265.47 c 242s|780000 | 39 | 377 | 0.0 |7913k| 103 | - | 316 | 874 | 0 | 0 | 81 | 522k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
268.69/268.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.69/268.81 c 245s|790000 | 38 | 377 | 0.0 |7901k| 103 | - | 316 | 856 | 0 | 0 | 81 | 528k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
272.09/272.28 c 248s|800000 | 37 | 377 | 0.0 |7904k| 103 | - | 316 | 862 | 0 | 0 | 81 | 535k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
275.58/275.70 c 251s|810000 | 38 | 377 | 0.0 |7910k| 103 | - | 316 | 875 | 0 | 0 | 81 | 541k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
278.99/279.11 c 254s|820000 | 37 | 377 | 0.0 |7915k| 103 | - | 316 | 880 | 0 | 0 | 81 | 548k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
282.38/282.57 c 257s|830000 | 37 | 377 | 0.0 |7910k| 103 | - | 316 | 870 | 0 | 0 | 81 | 555k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
285.89/286.03 c 260s|840000 | 36 | 377 | 0.0 |7911k| 103 | - | 316 | 878 | 0 | 0 | 81 | 562k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
289.38/289.53 c 264s|850000 | 37 | 377 | 0.0 |7898k| 103 | - | 316 | 847 | 0 | 0 | 81 | 569k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
292.78/292.90 c 267s|860000 | 37 | 377 | 0.0 |7907k| 103 | - | 316 | 867 | 0 | 0 | 81 | 575k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
296.08/296.20 c 270s|870000 | 36 | 377 | 0.0 |7910k| 103 | - | 316 | 865 | 0 | 0 | 81 | 582k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
299.28/299.45 c 273s|880000 | 34 | 377 | 0.0 |7911k| 103 | - | 316 | 878 | 0 | 0 | 81 | 589k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
302.58/302.77 c 276s|890000 | 41 | 377 | 0.0 |7917k| 103 | - | 316 | 889 | 0 | 0 | 81 | 595k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
306.08/306.22 c 279s|900000 | 39 | 377 | 0.0 |7909k| 103 | - | 316 | 869 | 0 | 0 | 81 | 602k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
309.27/309.48 c 282s|910000 | 36 | 377 | 0.0 |7912k| 103 | - | 316 | 873 | 0 | 0 | 81 | 608k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
312.58/312.75 c 285s|920000 | 37 | 377 | 0.0 |7917k| 103 | - | 316 | 889 | 0 | 0 | 81 | 615k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
315.98/316.13 c 288s|930000 | 40 | 377 | 0.0 |7912k| 103 | - | 316 | 875 | 0 | 0 | 81 | 621k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
319.28/319.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
319.28/319.46 c 291s|940000 | 36 | 377 | 0.0 |7921k| 103 | - | 316 | 891 | 0 | 0 | 81 | 627k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
322.77/322.96 c 294s|950000 | 36 | 377 | 0.0 |7912k| 103 | - | 316 | 877 | 0 | 0 | 81 | 634k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
326.08/326.28 c 297s|960000 | 38 | 377 | 0.0 |7921k| 103 | - | 316 | 896 | 0 | 0 | 81 | 640k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
329.47/329.63 c 300s|970000 | 37 | 377 | 0.0 |7916k| 103 | - | 316 | 891 | 0 | 0 | 81 | 647k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
332.67/332.88 c 303s|980000 | 40 | 377 | 0.0 |7903k| 103 | - | 316 | 843 | 0 | 0 | 81 | 653k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
335.98/336.12 c 306s|990000 | 40 | 377 | 0.0 |7901k| 103 | - | 316 | 850 | 0 | 0 | 81 | 659k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
339.27/339.41 c 309s| 1000k| 36 | 377 | 0.0 |7913k| 103 | - | 316 | 872 | 0 | 0 | 81 | 665k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
342.67/342.82 c 312s| 1010k| 35 | 377 | 0.0 |7916k| 103 | - | 316 | 880 | 0 | 0 | 81 | 672k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
346.06/346.22 c 315s| 1020k| 35 | 377 | 0.0 |7919k| 103 | - | 316 | 895 | 0 | 0 | 81 | 678k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
349.47/349.61 c 318s| 1030k| 38 | 377 | 0.0 |7916k| 103 | - | 316 | 889 | 0 | 0 | 81 | 685k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
352.97/353.12 c 322s| 1040k| 36 | 377 | 0.0 |7929k| 103 | - | 316 | 916 | 0 | 0 | 81 | 691k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
356.46/356.61 c 325s| 1050k| 37 | 377 | 0.0 |7927k| 103 | - | 316 | 916 | 0 | 0 | 81 | 698k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
359.97/360.17 c 328s| 1060k| 40 | 377 | 0.0 |7924k| 103 | - | 316 | 908 | 0 | 0 | 81 | 705k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
363.56/363.73 c 331s| 1070k| 42 | 377 | 0.0 |7915k| 103 | - | 316 | 883 | 0 | 0 | 81 | 711k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
367.06/367.24 c 334s| 1080k| 36 | 377 | 0.0 |7925k| 103 | - | 316 | 916 | 0 | 0 | 81 | 718k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
370.57/370.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
370.57/370.71 c 338s| 1090k| 37 | 377 | 0.0 |7930k| 103 | - | 316 | 926 | 0 | 0 | 81 | 725k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
373.96/374.18 c 341s| 1100k| 40 | 377 | 0.0 |7923k| 103 | - | 316 | 903 | 0 | 0 | 81 | 731k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
377.46/377.61 c 344s| 1110k| 36 | 377 | 0.0 |7914k| 103 | - | 316 | 886 | 0 | 0 | 81 | 738k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
380.96/381.13 c 347s| 1120k| 38 | 377 | 0.0 |7914k| 103 | - | 316 | 884 | 0 | 0 | 81 | 744k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
384.46/384.64 c 350s| 1130k| 40 | 377 | 0.0 |7908k| 103 | - | 316 | 866 | 0 | 0 | 81 | 751k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
387.86/388.08 c 354s| 1140k| 37 | 377 | 0.0 |7917k| 103 | - | 316 | 880 | 0 | 0 | 81 | 758k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
391.36/391.60 c 357s| 1150k| 36 | 377 | 0.0 |7918k| 103 | - | 316 | 895 | 0 | 0 | 81 | 764k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
394.86/395.08 c 360s| 1160k| 35 | 377 | 0.0 |7914k| 103 | - | 316 | 886 | 0 | 0 | 81 | 771k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
398.26/398.49 c 363s| 1170k| 40 | 377 | 0.0 |7917k| 103 | - | 316 | 888 | 0 | 0 | 81 | 778k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
401.76/401.96 c 366s| 1180k| 41 | 377 | 0.0 |7922k| 103 | - | 316 | 898 | 0 | 0 | 81 | 784k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
405.06/405.26 c 369s| 1190k| 39 | 377 | 0.0 |7918k| 103 | - | 316 | 883 | 0 | 0 | 81 | 791k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
408.35/408.58 c 372s| 1200k| 33 | 377 | 0.0 |7925k| 103 | - | 316 | 910 | 0 | 0 | 81 | 797k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
411.75/411.94 c 375s| 1210k| 38 | 377 | 0.0 |7922k| 103 | - | 316 | 896 | 0 | 0 | 81 | 804k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
415.05/415.24 c 378s| 1220k| 37 | 377 | 0.0 |7921k| 103 | - | 316 | 899 | 0 | 0 | 81 | 810k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
418.45/418.62 c 381s| 1230k| 37 | 377 | 0.0 |7922k| 103 | - | 316 | 890 | 0 | 0 | 81 | 817k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
421.75/421.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
421.75/421.99 c 384s| 1240k| 36 | 377 | 0.0 |7922k| 103 | - | 316 | 893 | 0 | 0 | 81 | 824k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
425.14/425.33 c 388s| 1250k| 37 | 377 | 0.0 |7920k| 103 | - | 316 | 884 | 0 | 0 | 81 | 830k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
428.45/428.65 c 391s| 1260k| 36 | 377 | 0.0 |7920k| 103 | - | 316 | 887 | 0 | 0 | 81 | 837k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
431.75/431.98 c 394s| 1270k| 34 | 377 | 0.0 |7926k| 103 | - | 316 | 912 | 0 | 0 | 81 | 843k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
435.14/435.35 c 397s| 1280k| 37 | 377 | 0.0 |7913k| 103 | - | 316 | 868 | 0 | 0 | 81 | 850k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
438.55/438.70 c 400s| 1290k| 35 | 377 | 0.0 |7922k| 103 | - | 316 | 886 | 0 | 0 | 81 | 857k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
441.95/442.13 c 403s| 1300k| 38 | 377 | 0.0 |7914k| 103 | - | 316 | 871 | 0 | 0 | 81 | 864k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
445.35/445.52 c 406s| 1310k| 39 | 377 | 0.0 |7911k| 103 | - | 316 | 863 | 0 | 0 | 81 | 870k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
448.74/448.90 c 409s| 1320k| 37 | 377 | 0.0 |7918k| 103 | - | 316 | 888 | 0 | 0 | 81 | 877k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
452.04/452.23 c 412s| 1330k| 37 | 377 | 0.0 |7916k| 103 | - | 316 | 887 | 0 | 0 | 81 | 884k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
455.44/455.60 c 415s| 1340k| 35 | 377 | 0.0 |7926k| 103 | - | 316 | 900 | 0 | 0 | 81 | 891k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
458.74/458.99 c 418s| 1350k| 38 | 377 | 0.0 |7914k| 103 | - | 316 | 876 | 0 | 0 | 81 | 897k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
462.13/462.39 c 421s| 1360k| 38 | 377 | 0.0 |7911k| 103 | - | 316 | 861 | 0 | 0 | 81 | 904k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
465.44/465.69 c 424s| 1370k| 34 | 377 | 0.0 |7918k| 103 | - | 316 | 894 | 0 | 0 | 81 | 910k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
468.73/468.99 c 427s| 1380k| 35 | 377 | 0.0 |7914k| 103 | - | 316 | 882 | 0 | 0 | 81 | 917k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
472.24/472.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
472.24/472.42 c 430s| 1390k| 37 | 377 | 0.0 |7916k| 103 | - | 316 | 877 | 0 | 0 | 81 | 924k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
475.64/475.87 c 434s| 1400k| 33 | 377 | 0.0 |7923k| 103 | - | 316 | 907 | 0 | 0 | 81 | 931k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
479.14/479.32 c 437s| 1410k| 32 | 377 | 0.0 |7916k| 103 | - | 316 | 877 | 0 | 0 | 81 | 937k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
482.43/482.62 c 440s| 1420k| 37 | 377 | 0.0 |7912k| 103 | - | 316 | 875 | 0 | 0 | 81 | 944k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
485.73/485.95 c 443s| 1430k| 32 | 377 | 0.0 |7926k| 103 | - | 316 | 910 | 0 | 0 | 81 | 950k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
489.13/489.34 c 446s| 1440k| 33 | 377 | 0.0 |7918k| 103 | - | 316 | 894 | 0 | 0 | 81 | 957k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
492.53/492.71 c 449s| 1450k| 34 | 377 | 0.0 |7920k| 103 | - | 316 | 895 | 0 | 0 | 81 | 964k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
495.83/496.00 c 452s| 1460k| 40 | 377 | 0.0 |8303k| 103 | - | 316 |2395 | 0 | 0 | 81 | 972k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
499.13/499.35 c 455s| 1470k| 38 | 377 | 0.0 |8219k| 103 | - | 316 |2030 | 0 | 0 | 81 | 980k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
502.53/502.72 c 458s| 1480k| 39 | 377 | 0.0 |7974k| 103 | - | 316 | 936 | 0 | 0 | 81 | 989k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
505.84/506.05 c 461s| 1490k| 37 | 377 | 0.0 |7967k| 103 | - | 316 | 874 | 0 | 0 | 81 | 997k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
509.14/509.33 c 464s| 1500k| 39 | 377 | 0.0 |7957k| 103 | - | 316 | 847 | 0 | 0 | 81 |1004k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
512.43/512.61 c 467s| 1510k| 39 | 377 | 0.0 |7962k| 103 | - | 316 | 858 | 0 | 0 | 81 |1011k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
516.02/516.24 c 470s| 1520k| 39 | 377 | 0.0 |7964k| 103 | - | 316 | 862 | 0 | 0 | 81 |1018k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
519.62/519.87 c 474s| 1530k| 38 | 377 | 0.0 |7969k| 103 | - | 316 | 880 | 0 | 0 | 81 |1024k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
523.22/523.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
523.22/523.45 c 477s| 1540k| 37 | 377 | 0.0 |7966k| 103 | - | 316 | 881 | 0 | 0 | 81 |1031k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
526.81/527.03 c 480s| 1550k| 34 | 377 | 0.0 |7977k| 103 | - | 316 | 903 | 0 | 0 | 81 |1038k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
530.22/530.45 c 483s| 1560k| 36 | 377 | 0.0 |7972k| 103 | - | 316 | 885 | 0 | 0 | 81 |1044k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
533.52/533.74 c 486s| 1570k| 40 | 377 | 0.0 |7961k| 103 | - | 316 | 854 | 0 | 0 | 81 |1051k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
536.92/537.12 c 489s| 1580k| 37 | 377 | 0.0 |7966k| 103 | - | 316 | 865 | 0 | 0 | 81 |1058k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
540.32/540.58 c 493s| 1590k| 36 | 377 | 0.0 |7954k| 103 | - | 316 | 848 | 0 | 0 | 81 |1064k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
543.71/543.92 c 496s| 1600k| 41 | 377 | 0.0 |7956k| 103 | - | 316 | 840 | 0 | 0 | 81 |1071k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
547.22/547.40 c 499s| 1610k| 37 | 377 | 0.0 |7951k| 103 | - | 316 | 830 | 0 | 0 | 81 |1077k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
550.51/550.72 c 502s| 1620k| 41 | 377 | 0.0 |7949k| 103 | - | 316 | 833 | 0 | 0 | 81 |1084k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
554.01/554.21 c 505s| 1630k| 38 | 377 | 0.0 |7959k| 103 | - | 316 | 850 | 0 | 0 | 81 |1091k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
557.42/557.66 c 508s| 1640k| 38 | 377 | 0.0 |7954k| 103 | - | 316 | 838 | 0 | 0 | 81 |1098k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
560.72/561.00 c 511s| 1650k| 36 | 377 | 0.0 |7956k| 103 | - | 316 | 849 | 0 | 0 | 81 |1104k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
564.12/564.31 c 514s| 1660k| 39 | 377 | 0.0 |7953k| 103 | - | 316 | 842 | 0 | 0 | 81 |1111k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
567.42/567.65 c 517s| 1670k| 34 | 377 | 0.0 |7962k| 103 | - | 316 | 867 | 0 | 0 | 81 |1118k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
570.80/571.05 c 520s| 1680k| 38 | 377 | 0.0 |7968k| 103 | - | 316 | 875 | 0 | 0 | 81 |1124k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
574.30/574.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
574.30/574.54 c 524s| 1690k| 39 | 377 | 0.0 |7947k| 103 | - | 316 | 831 | 0 | 0 | 81 |1131k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
577.80/578.03 c 527s| 1700k| 38 | 377 | 0.0 |7960k| 103 | - | 316 | 854 | 0 | 0 | 81 |1138k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
581.20/581.46 c 530s| 1710k| 37 | 377 | 0.0 |7951k| 103 | - | 316 | 843 | 0 | 0 | 81 |1144k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
584.70/584.95 c 533s| 1720k| 37 | 377 | 0.0 |7957k| 103 | - | 316 | 852 | 0 | 0 | 81 |1151k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
588.10/588.34 c 536s| 1730k| 35 | 377 | 0.0 |7976k| 103 | - | 316 | 894 | 0 | 0 | 81 |1158k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
591.40/591.70 c 539s| 1740k| 36 | 377 | 0.0 |7969k| 103 | - | 316 | 878 | 0 | 0 | 81 |1164k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
594.70/594.98 c 542s| 1750k| 39 | 377 | 0.0 |7949k| 103 | - | 316 | 833 | 0 | 0 | 81 |1171k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
598.11/598.34 c 545s| 1760k| 37 | 377 | 0.0 |7953k| 103 | - | 316 | 843 | 0 | 0 | 81 |1177k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
601.41/601.65 c 548s| 1770k| 37 | 377 | 0.0 |7960k| 103 | - | 316 | 851 | 0 | 0 | 81 |1184k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
604.70/604.97 c 551s| 1780k| 33 | 377 | 0.0 |7960k| 103 | - | 316 | 849 | 0 | 0 | 81 |1191k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
608.10/608.33 c 554s| 1790k| 37 | 377 | 0.0 |7965k| 103 | - | 316 | 873 | 0 | 0 | 81 |1197k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
611.59/611.81 c 557s| 1800k| 37 | 377 | 0.0 |7967k| 103 | - | 316 | 879 | 0 | 0 | 81 |1204k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
615.10/615.37 c 561s| 1810k| 38 | 377 | 0.0 |7965k| 103 | - | 316 | 872 | 0 | 0 | 81 |1210k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
618.60/618.85 c 564s| 1820k| 37 | 377 | 0.0 |7951k| 103 | - | 316 | 837 | 0 | 0 | 81 |1217k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
622.10/622.32 c 567s| 1830k| 35 | 377 | 0.0 |7964k| 103 | - | 316 | 871 | 0 | 0 | 81 |1223k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
625.39/625.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
625.39/625.67 c 570s| 1840k| 38 | 377 | 0.0 |7968k| 103 | - | 316 | 871 | 0 | 0 | 81 |1230k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
628.79/629.03 c 573s| 1850k| 35 | 377 | 0.0 |7974k| 103 | - | 316 | 897 | 0 | 0 | 81 |1237k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
632.20/632.50 c 576s| 1860k| 38 | 377 | 0.0 |7962k| 103 | - | 316 | 862 | 0 | 0 | 81 |1243k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
635.50/635.78 c 579s| 1870k| 36 | 377 | 0.0 |7968k| 103 | - | 316 | 872 | 0 | 0 | 81 |1250k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
638.89/639.11 c 582s| 1880k| 35 | 377 | 0.0 |7976k| 103 | - | 316 | 900 | 0 | 0 | 81 |1257k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
642.10/642.39 c 585s| 1890k| 33 | 377 | 0.0 |7972k| 103 | - | 316 | 892 | 0 | 0 | 81 |1264k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
645.59/645.88 c 588s| 1900k| 39 | 377 | 0.0 |7965k| 103 | - | 316 | 871 | 0 | 0 | 81 |1270k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
649.18/649.42 c 592s| 1910k| 39 | 377 | 0.0 |7970k| 103 | - | 316 | 876 | 0 | 0 | 81 |1278k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
652.39/652.67 c 595s| 1920k| 37 | 377 | 0.0 |7968k| 103 | - | 316 | 878 | 0 | 0 | 81 |1285k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
655.89/656.11 c 598s| 1930k| 38 | 377 | 0.0 |7966k| 103 | - | 316 | 868 | 0 | 0 | 81 |1292k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
659.28/659.50 c 601s| 1940k| 35 | 377 | 0.0 |7955k| 103 | - | 316 | 848 | 0 | 0 | 81 |1298k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
662.59/662.86 c 604s| 1950k| 36 | 377 | 0.0 |7974k| 103 | - | 316 | 895 | 0 | 0 | 81 |1305k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
666.08/666.38 c 607s| 1960k| 37 | 377 | 0.0 |7969k| 103 | - | 316 | 872 | 0 | 0 | 81 |1312k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
669.48/669.80 c 610s| 1970k| 37 | 377 | 0.0 |7963k| 103 | - | 316 | 870 | 0 | 0 | 81 |1318k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
672.98/673.25 c 613s| 1980k| 34 | 377 | 0.0 |7970k| 103 | - | 316 | 885 | 0 | 0 | 81 |1325k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
676.48/676.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
676.48/676.76 c 617s| 1990k| 35 | 377 | 0.0 |7965k| 103 | - | 316 | 873 | 0 | 0 | 81 |1332k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
679.97/680.24 c 620s| 2000k| 34 | 377 | 0.0 |7967k| 103 | - | 316 | 877 | 0 | 0 | 81 |1338k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
683.37/683.69 c 623s| 2010k| 35 | 377 | 0.0 |7976k| 103 | - | 316 | 895 | 0 | 0 | 81 |1345k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
686.87/687.13 c 626s| 2020k| 40 | 377 | 0.0 |7963k| 103 | - | 316 | 855 | 0 | 0 | 81 |1352k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
690.27/690.59 c 629s| 2030k| 36 | 377 | 0.0 |7966k| 103 | - | 316 | 870 | 0 | 0 | 81 |1359k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
693.78/694.04 c 632s| 2040k| 35 | 377 | 0.0 |7962k| 103 | - | 316 | 860 | 0 | 0 | 81 |1365k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
697.27/697.55 c 635s| 2050k| 38 | 377 | 0.0 |7952k| 103 | - | 316 | 840 | 0 | 0 | 81 |1372k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
700.67/700.92 c 639s| 2060k| 34 | 377 | 0.0 |7967k| 103 | - | 316 | 881 | 0 | 0 | 81 |1379k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
704.17/704.47 c 642s| 2070k| 38 | 377 | 0.0 |7963k| 103 | - | 316 | 858 | 0 | 0 | 81 |1386k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
707.57/707.88 c 645s| 2080k| 36 | 377 | 0.0 |7966k| 103 | - | 316 | 874 | 0 | 0 | 81 |1393k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
710.96/711.22 c 648s| 2090k| 35 | 377 | 0.0 |7959k| 103 | - | 316 | 859 | 0 | 0 | 81 |1399k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
714.27/714.58 c 651s| 2100k| 35 | 377 | 0.0 |7963k| 103 | - | 316 | 858 | 0 | 0 | 81 |1406k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
717.66/717.94 c 654s| 2110k| 37 | 377 | 0.0 |7958k| 103 | - | 316 | 857 | 0 | 0 | 81 |1412k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
721.17/721.43 c 657s| 2120k| 37 | 377 | 0.0 |7950k| 103 | - | 316 | 833 | 0 | 0 | 81 |1419k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
724.46/724.77 c 660s| 2130k| 37 | 377 | 0.0 |7959k| 103 | - | 316 | 853 | 0 | 0 | 81 |1426k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
727.87/728.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
727.87/728.16 c 663s| 2140k| 36 | 377 | 0.0 |7963k| 103 | - | 316 | 856 | 0 | 0 | 81 |1432k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
731.36/731.67 c 667s| 2150k| 32 | 377 | 0.0 |7979k| 103 | - | 316 | 900 | 0 | 0 | 81 |1439k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
734.76/735.08 c 670s| 2160k| 38 | 377 | 0.0 |7954k| 103 | - | 316 | 847 | 0 | 0 | 81 |1446k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
738.16/738.41 c 673s| 2170k| 38 | 377 | 0.0 |7969k| 103 | - | 316 | 884 | 0 | 0 | 81 |1453k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
741.46/741.73 c 676s| 2180k| 39 | 377 | 0.0 |7963k| 103 | - | 316 | 867 | 0 | 0 | 81 |1460k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
744.76/745.06 c 679s| 2190k| 37 | 377 | 0.0 |7970k| 103 | - | 316 | 887 | 0 | 0 | 81 |1467k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
748.05/748.37 c 682s| 2200k| 35 | 377 | 0.0 |7976k| 103 | - | 316 | 901 | 0 | 0 | 81 |1473k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
751.25/751.58 c 685s| 2210k| 39 | 377 | 0.0 |7974k| 103 | - | 316 | 895 | 0 | 0 | 81 |1480k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
754.56/754.86 c 688s| 2220k| 36 | 377 | 0.0 |7969k| 103 | - | 316 | 886 | 0 | 0 | 81 |1486k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
757.86/758.18 c 691s| 2230k| 37 | 377 | 0.0 |7967k| 103 | - | 316 | 868 | 0 | 0 | 81 |1493k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
761.25/761.54 c 694s| 2240k| 38 | 377 | 0.0 |7978k| 103 | - | 316 | 895 | 0 | 0 | 81 |1499k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
764.55/764.88 c 697s| 2250k| 35 | 377 | 0.0 |7977k| 103 | - | 316 | 908 | 0 | 0 | 81 |1505k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
767.85/768.17 c 700s| 2260k| 34 | 377 | 0.0 |7980k| 103 | - | 316 | 903 | 0 | 0 | 81 |1512k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
771.25/771.53 c 703s| 2270k| 38 | 377 | 0.0 |7959k| 103 | - | 316 | 858 | 0 | 0 | 81 |1518k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
774.54/774.89 c 706s| 2280k| 34 | 377 | 0.0 |7967k| 103 | - | 316 | 881 | 0 | 0 | 81 |1525k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
777.95/778.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
777.95/778.28 c 709s| 2290k| 36 | 377 | 0.0 |7963k| 103 | - | 316 | 860 | 0 | 0 | 81 |1531k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
781.34/781.60 c 712s| 2300k| 36 | 377 | 0.0 |7969k| 103 | - | 316 | 875 | 0 | 0 | 81 |1538k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
784.64/784.92 c 715s| 2310k| 33 | 377 | 0.0 |7973k| 103 | - | 316 | 895 | 0 | 0 | 81 |1545k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
787.95/788.26 c 718s| 2320k| 36 | 377 | 0.0 |7968k| 103 | - | 316 | 876 | 0 | 0 | 81 |1551k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
791.55/791.82 c 721s| 2330k| 39 | 377 | 0.0 |7959k| 103 | - | 316 | 857 | 0 | 0 | 81 |1558k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
795.14/795.40 c 725s| 2340k| 32 | 377 | 0.0 |7955k| 103 | - | 316 | 856 | 0 | 0 | 81 |1565k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
798.64/798.92 c 728s| 2350k| 35 | 377 | 0.0 |7975k| 103 | - | 316 | 893 | 0 | 0 | 81 |1572k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
802.04/802.32 c 731s| 2360k| 34 | 377 | 0.0 |7971k| 103 | - | 316 | 890 | 0 | 0 | 81 |1579k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
805.44/805.72 c 734s| 2370k| 34 | 377 | 0.0 |7962k| 103 | - | 316 | 867 | 0 | 0 | 81 |1585k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
808.94/809.21 c 737s| 2380k| 42 | 377 | 0.0 |7954k| 103 | - | 316 | 832 | 0 | 0 | 81 |1592k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
812.44/812.78 c 741s| 2390k| 35 | 377 | 0.0 |7967k| 103 | - | 316 | 878 | 0 | 0 | 81 |1599k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
815.85/816.17 c 744s| 2400k| 38 | 377 | 0.0 |7963k| 103 | - | 316 | 866 | 0 | 0 | 81 |1605k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
819.34/819.69 c 747s| 2410k| 37 | 377 | 0.0 |7961k| 103 | - | 316 | 861 | 0 | 0 | 81 |1612k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
822.63/822.98 c 750s| 2420k| 36 | 377 | 0.0 |7954k| 103 | - | 316 | 846 | 0 | 0 | 81 |1619k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
826.13/826.42 c 753s| 2430k| 36 | 377 | 0.0 |7959k| 103 | - | 316 | 858 | 0 | 0 | 81 |1626k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
829.53/829.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
829.53/829.83 c 756s| 2440k| 34 | 377 | 0.0 |7969k| 103 | - | 316 | 876 | 0 | 0 | 81 |1632k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
832.93/833.25 c 759s| 2450k| 36 | 377 | 0.0 |7956k| 103 | - | 316 | 852 | 0 | 0 | 81 |1639k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
836.43/836.70 c 762s| 2460k| 33 | 377 | 0.0 |7975k| 103 | - | 316 | 899 | 0 | 0 | 81 |1645k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
839.93/840.30 c 766s| 2470k| 32 | 377 | 0.0 |7972k| 103 | - | 316 | 893 | 0 | 0 | 81 |1652k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
843.33/843.67 c 769s| 2480k| 33 | 377 | 0.0 |7964k| 103 | - | 316 | 873 | 0 | 0 | 81 |1659k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
846.73/847.02 c 772s| 2490k| 38 | 377 | 0.0 |7956k| 103 | - | 316 | 840 | 0 | 0 | 81 |1665k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
850.22/850.50 c 775s| 2500k| 35 | 377 | 0.0 |7957k| 103 | - | 316 | 855 | 0 | 0 | 81 |1672k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
853.52/853.88 c 778s| 2510k| 35 | 377 | 0.0 |7964k| 103 | - | 316 | 871 | 0 | 0 | 81 |1679k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
856.92/857.29 c 781s| 2520k| 36 | 377 | 0.0 |7956k| 103 | - | 316 | 851 | 0 | 0 | 81 |1686k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
860.42/860.79 c 784s| 2530k| 35 | 377 | 0.0 |7966k| 103 | - | 316 | 875 | 0 | 0 | 81 |1692k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
864.02/864.39 c 788s| 2540k| 33 | 377 | 0.0 |7973k| 103 | - | 316 | 895 | 0 | 0 | 81 |1699k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
867.52/867.87 c 791s| 2550k| 35 | 377 | 0.0 |7962k| 103 | - | 316 | 865 | 0 | 0 | 81 |1706k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
870.92/871.22 c 794s| 2560k| 36 | 377 | 0.0 |7958k| 103 | - | 316 | 854 | 0 | 0 | 81 |1712k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
874.32/874.65 c 797s| 2570k| 36 | 377 | 0.0 |7959k| 103 | - | 316 | 850 | 0 | 0 | 81 |1719k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
877.81/878.11 c 800s| 2580k| 30 | 377 | 0.0 |7951k| 103 | - | 316 | 843 | 0 | 0 | 81 |1726k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
881.21/881.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
881.21/881.54 c 803s| 2590k| 36 | 377 | 0.0 |7957k| 103 | - | 316 | 850 | 0 | 0 | 81 |1732k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
884.72/885.03 c 806s| 2600k| 31 | 377 | 0.0 |7968k| 103 | - | 316 | 885 | 0 | 0 | 81 |1739k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
888.31/888.64 c 810s| 2610k| 33 | 377 | 0.0 |7963k| 103 | - | 316 | 870 | 0 | 0 | 81 |1745k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
891.72/892.08 c 813s| 2620k| 36 | 377 | 0.0 |7974k| 103 | - | 316 | 889 | 0 | 0 | 81 |1752k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
895.02/895.40 c 816s| 2630k| 36 | 377 | 0.0 |7974k| 103 | - | 316 | 887 | 0 | 0 | 81 |1759k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
898.42/898.75 c 819s| 2640k| 37 | 377 | 0.0 |7975k| 103 | - | 316 | 899 | 0 | 0 | 81 |1765k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
901.81/902.18 c 822s| 2650k| 36 | 377 | 0.0 |7983k| 103 | - | 316 | 919 | 0 | 0 | 81 |1772k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
905.31/905.68 c 825s| 2660k| 34 | 377 | 0.0 |7976k| 103 | - | 316 | 904 | 0 | 0 | 81 |1778k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
908.91/909.23 c 829s| 2670k| 37 | 377 | 0.0 |7978k| 103 | - | 316 | 907 | 0 | 0 | 81 |1785k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
912.21/912.54 c 832s| 2680k| 39 | 377 | 0.0 |7967k| 103 | - | 316 | 875 | 0 | 0 | 81 |1793k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
915.51/915.86 c 835s| 2690k| 36 | 377 | 0.0 |7973k| 103 | - | 316 | 893 | 0 | 0 | 81 |1800k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
918.80/919.15 c 838s| 2700k| 35 | 377 | 0.0 |7983k| 103 | - | 316 | 909 | 0 | 0 | 81 |1808k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
921.91/922.26 c 840s| 2710k| 34 | 377 | 0.0 |7977k| 103 | - | 316 | 893 | 0 | 0 | 81 |1815k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
925.31/925.68 c 844s| 2720k| 35 | 377 | 0.0 |7976k| 103 | - | 316 | 892 | 0 | 0 | 81 |1823k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
928.60/928.97 c 847s| 2730k| 35 | 377 | 0.0 |7971k| 103 | - | 316 | 886 | 0 | 0 | 81 |1831k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
932.00/932.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
932.00/932.37 c 850s| 2740k| 40 | 377 | 0.0 |7963k| 103 | - | 316 | 852 | 0 | 0 | 81 |1837k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
935.30/935.65 c 853s| 2750k| 35 | 377 | 0.0 |7972k| 103 | - | 316 | 883 | 0 | 0 | 81 |1844k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
938.60/938.90 c 856s| 2760k| 36 | 377 | 0.0 |7965k| 103 | - | 316 | 861 | 0 | 0 | 81 |1851k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
941.90/942.21 c 859s| 2770k| 35 | 377 | 0.0 |7961k| 103 | - | 316 | 861 | 0 | 0 | 81 |1858k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
945.10/945.47 c 862s| 2780k| 37 | 377 | 0.0 |7969k| 103 | - | 316 | 876 | 0 | 0 | 81 |1864k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
948.39/948.71 c 864s| 2790k| 39 | 377 | 0.0 |7961k| 103 | - | 316 | 857 | 0 | 0 | 81 |1871k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
951.50/951.85 c 867s| 2800k| 34 | 377 | 0.0 |7966k| 103 | - | 316 | 871 | 0 | 0 | 81 |1878k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
954.79/955.16 c 870s| 2810k| 40 | 377 | 0.0 |7962k| 103 | - | 316 | 859 | 0 | 0 | 81 |1884k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
958.20/958.53 c 873s| 2820k| 37 | 377 | 0.0 |7972k| 103 | - | 316 | 886 | 0 | 0 | 81 |1891k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
961.69/962.00 c 877s| 2830k| 34 | 377 | 0.0 |7969k| 103 | - | 316 | 883 | 0 | 0 | 81 |1897k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
964.89/965.29 c 880s| 2840k| 36 | 377 | 0.0 |7975k| 103 | - | 316 | 894 | 0 | 0 | 81 |1905k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
968.38/968.75 c 883s| 2850k| 35 | 377 | 0.0 |7973k| 103 | - | 316 | 890 | 0 | 0 | 81 |1911k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
971.88/972.20 c 886s| 2860k| 37 | 377 | 0.0 |7967k| 103 | - | 316 | 874 | 0 | 0 | 81 |1918k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
975.18/975.58 c 889s| 2870k| 38 | 377 | 0.0 |7961k| 103 | - | 316 | 859 | 0 | 0 | 81 |1925k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
978.59/978.96 c 892s| 2880k| 37 | 377 | 0.0 |7971k| 103 | - | 316 | 874 | 0 | 0 | 81 |1932k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
981.98/982.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
981.98/982.38 c 895s| 2890k| 31 | 377 | 0.0 |7977k| 103 | - | 316 | 895 | 0 | 0 | 81 |1938k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
985.48/985.85 c 898s| 2900k| 34 | 377 | 0.0 |7976k| 103 | - | 316 | 895 | 0 | 0 | 81 |1945k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
988.87/989.21 c 901s| 2910k| 37 | 377 | 0.0 |7961k| 103 | - | 316 | 857 | 0 | 0 | 81 |1952k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
992.18/992.51 c 904s| 2920k| 37 | 377 | 0.0 |7978k| 103 | - | 316 | 889 | 0 | 0 | 81 |1959k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
995.57/995.92 c 908s| 2930k| 38 | 377 | 0.0 |7960k| 103 | - | 316 | 849 | 0 | 0 | 81 |1965k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
998.88/999.25 c 911s| 2940k| 34 | 377 | 0.0 |7969k| 103 | - | 316 | 871 | 0 | 0 | 81 |1972k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1002.28/1002.64 c 914s| 2950k| 38 | 377 | 0.0 |7967k| 103 | - | 316 | 871 | 0 | 0 | 81 |1979k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1005.78/1006.16 c 917s| 2960k| 34 | 377 | 0.0 |7976k| 103 | - | 316 | 891 | 0 | 0 | 81 |1985k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1009.38/1009.74 c 920s| 2970k| 31 | 377 | 0.0 |7984k| 103 | - | 316 | 913 | 0 | 0 | 81 |1992k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1012.78/1013.14 c 923s| 2980k| 36 | 377 | 0.0 |7982k| 103 | - | 316 | 905 | 0 | 0 | 81 |1999k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1016.07/1016.47 c 926s| 2990k| 34 | 377 | 0.0 |7974k| 103 | - | 316 | 886 | 0 | 0 | 81 |2006k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1019.47/1019.83 c 929s| 3000k| 35 | 377 | 0.0 |7971k| 103 | - | 316 | 878 | 0 | 0 | 81 |2013k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1022.87/1023.22 c 932s| 3010k| 39 | 377 | 0.0 |7963k| 103 | - | 316 | 858 | 0 | 0 | 81 |2020k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1026.27/1026.63 c 936s| 3020k| 35 | 377 | 0.0 |7980k| 103 | - | 316 | 899 | 0 | 0 | 81 |2026k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1029.47/1029.82 c 938s| 3030k| 34 | 377 | 0.0 |7982k| 103 | - | 316 | 902 | 0 | 0 | 81 |2033k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1032.66/1033.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1032.66/1033.06 c 941s| 3040k| 36 | 377 | 0.0 |7966k| 103 | - | 316 | 869 | 0 | 0 | 81 |2040k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1035.87/1036.25 c 944s| 3050k| 36 | 377 | 0.0 |7958k| 103 | - | 316 | 843 | 0 | 0 | 81 |2047k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1039.07/1039.46 c 947s| 3060k| 36 | 377 | 0.0 |7967k| 103 | - | 316 | 864 | 0 | 0 | 81 |2054k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1042.37/1042.70 c 950s| 3070k| 40 | 377 | 0.0 |7964k| 103 | - | 316 | 862 | 0 | 0 | 81 |2060k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1045.56/1045.94 c 953s| 3080k| 31 | 377 | 0.0 |7978k| 103 | - | 316 | 903 | 0 | 0 | 81 |2067k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1048.86/1049.22 c 956s| 3090k| 34 | 377 | 0.0 |7970k| 103 | - | 316 | 880 | 0 | 0 | 81 |2074k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1052.27/1052.64 c 959s| 3100k| 36 | 377 | 0.0 |7966k| 103 | - | 316 | 863 | 0 | 0 | 81 |2081k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1055.36/1055.79 c 962s| 3110k| 36 | 377 | 0.0 |7963k| 103 | - | 316 | 855 | 0 | 0 | 81 |2088k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1058.66/1059.06 c 965s| 3120k| 34 | 377 | 0.0 |7969k| 103 | - | 316 | 878 | 0 | 0 | 81 |2094k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1061.96/1062.36 c 968s| 3130k| 34 | 377 | 0.0 |7975k| 103 | - | 316 | 895 | 0 | 0 | 81 |2101k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1065.36/1065.71 c 971s| 3140k| 32 | 377 | 0.0 |7979k| 103 | - | 316 | 905 | 0 | 0 | 81 |2108k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1068.65/1069.04 c 974s| 3150k| 38 | 377 | 0.0 |7960k| 103 | - | 316 | 853 | 0 | 0 | 81 |2115k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1071.76/1072.18 c 977s| 3160k| 36 | 377 | 0.0 |7972k| 103 | - | 316 | 884 | 0 | 0 | 81 |2121k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1074.96/1075.38 c 980s| 3170k| 35 | 377 | 0.0 |7964k| 103 | - | 316 | 867 | 0 | 0 | 81 |2128k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1078.05/1078.49 c 983s| 3180k| 33 | 377 | 0.0 |7974k| 103 | - | 316 | 893 | 0 | 0 | 81 |2135k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1081.35/1081.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1081.35/1081.70 c 986s| 3190k| 37 | 377 | 0.0 |7961k| 103 | - | 316 | 857 | 0 | 0 | 81 |2142k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1084.75/1085.10 c 989s| 3200k| 34 | 377 | 0.0 |7976k| 103 | - | 316 | 888 | 0 | 0 | 81 |2149k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1087.95/1088.30 c 992s| 3210k| 35 | 377 | 0.0 |7955k| 103 | - | 316 | 847 | 0 | 0 | 81 |2156k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1091.15/1091.50 c 995s| 3220k| 35 | 377 | 0.0 |7961k| 103 | - | 316 | 850 | 0 | 0 | 81 |2162k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1094.45/1094.81 c 998s| 3230k| 35 | 377 | 0.0 |7967k| 103 | - | 316 | 865 | 0 | 0 | 81 |2169k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1097.85/1098.22 c 1001s| 3240k| 39 | 377 | 0.0 |7961k| 103 | - | 316 | 845 | 0 | 0 | 81 |2176k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1101.04/1101.44 c 1004s| 3250k| 38 | 377 | 0.0 |7960k| 103 | - | 316 | 852 | 0 | 0 | 81 |2183k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1104.24/1104.64 c 1007s| 3260k| 36 | 377 | 0.0 |7962k| 103 | - | 316 | 858 | 0 | 0 | 81 |2189k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1107.54/1107.92 c 1010s| 3270k| 35 | 377 | 0.0 |7969k| 103 | - | 316 | 870 | 0 | 0 | 81 |2196k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1110.85/1111.27 c 1013s| 3280k| 31 | 377 | 0.0 |7984k| 103 | - | 316 | 907 | 0 | 0 | 81 |2203k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1114.14/1114.55 c 1016s| 3290k| 34 | 377 | 0.0 |7964k| 103 | - | 316 | 864 | 0 | 0 | 81 |2210k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1117.34/1117.70 c 1018s| 3300k| 36 | 377 | 0.0 |7958k| 103 | - | 316 | 847 | 0 | 0 | 81 |2217k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1120.55/1120.96 c 1021s| 3310k| 37 | 377 | 0.0 |7956k| 103 | - | 316 | 844 | 0 | 0 | 81 |2224k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1123.75/1124.17 c 1024s| 3320k| 33 | 377 | 0.0 |7972k| 103 | - | 316 | 884 | 0 | 0 | 81 |2230k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1127.05/1127.41 c 1027s| 3330k| 33 | 377 | 0.0 |7979k| 103 | - | 316 | 901 | 0 | 0 | 81 |2237k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1130.44/1130.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1130.44/1130.83 c 1030s| 3340k| 35 | 377 | 0.0 |7970k| 103 | - | 316 | 878 | 0 | 0 | 81 |2244k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1133.84/1134.26 c 1034s| 3350k| 31 | 377 | 0.0 |7972k| 103 | - | 316 | 879 | 0 | 0 | 81 |2250k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1137.24/1137.61 c 1037s| 3360k| 33 | 377 | 0.0 |7973k| 103 | - | 316 | 879 | 0 | 0 | 81 |2257k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1140.54/1140.95 c 1040s| 3370k| 31 | 377 | 0.0 |7972k| 103 | - | 316 | 880 | 0 | 0 | 81 |2264k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1143.93/1144.32 c 1043s| 3380k| 30 | 377 | 0.0 |7984k| 103 | - | 316 | 918 | 0 | 0 | 81 |2271k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1147.24/1147.60 c 1046s| 3390k| 41 | 377 | 0.0 |7959k| 103 | - | 316 | 842 | 0 | 0 | 81 |2278k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1150.54/1150.98 c 1049s| 3400k| 41 | 377 | 0.0 |7959k| 103 | - | 316 | 851 | 0 | 0 | 81 |2285k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1153.83/1154.30 c 1052s| 3410k| 36 | 377 | 0.0 |7961k| 103 | - | 316 | 858 | 0 | 0 | 81 |2292k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1157.14/1157.58 c 1055s| 3420k| 34 | 377 | 0.0 |7972k| 103 | - | 316 | 884 | 0 | 0 | 81 |2298k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1160.54/1160.95 c 1058s| 3430k| 37 | 377 | 0.0 |7961k| 103 | - | 316 | 841 | 0 | 0 | 81 |2305k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1163.93/1164.32 c 1061s| 3440k| 37 | 377 | 0.0 |7961k| 103 | - | 316 | 858 | 0 | 0 | 81 |2312k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1167.33/1167.70 c 1064s| 3450k| 34 | 377 | 0.0 |7971k| 103 | - | 316 | 881 | 0 | 0 | 81 |2319k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1170.63/1171.09 c 1067s| 3460k| 35 | 377 | 0.0 |7978k| 103 | - | 316 | 890 | 0 | 0 | 81 |2326k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1174.23/1174.61 c 1070s| 3470k| 35 | 377 | 0.0 |7965k| 103 | - | 316 | 869 | 0 | 0 | 81 |2332k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1177.74/1178.15 c 1074s| 3480k| 39 | 377 | 0.0 |7974k| 103 | - | 316 | 887 | 0 | 0 | 81 |2339k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1181.32/1181.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1181.32/1181.71 c 1077s| 3490k| 33 | 377 | 0.0 |7985k| 103 | - | 316 | 909 | 0 | 0 | 81 |2346k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1184.72/1185.12 c 1080s| 3500k| 36 | 377 | 0.0 |7989k| 103 | - | 316 | 921 | 0 | 0 | 81 |2352k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1188.12/1188.51 c 1083s| 3510k| 34 | 377 | 0.0 |7984k| 103 | - | 316 | 915 | 0 | 0 | 81 |2359k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1191.52/1191.98 c 1086s| 3520k| 32 | 377 | 0.0 |7995k| 103 | - | 316 | 938 | 0 | 0 | 81 |2365k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1195.02/1195.42 c 1089s| 3530k| 36 | 377 | 0.0 |7976k| 103 | - | 316 | 892 | 0 | 0 | 81 |2372k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1198.11/1198.55 c 1092s| 3540k| 35 | 377 | 0.0 |7980k| 103 | - | 316 | 897 | 0 | 0 | 81 |2379k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1201.31/1201.74 c 1095s| 3550k| 34 | 377 | 0.0 |7974k| 103 | - | 316 | 885 | 0 | 0 | 81 |2386k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1204.62/1205.03 c 1098s| 3560k| 35 | 377 | 0.0 |7978k| 103 | - | 316 | 893 | 0 | 0 | 81 |2393k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1207.92/1208.31 c 1101s| 3570k| 36 | 377 | 0.0 |7968k| 103 | - | 316 | 874 | 0 | 0 | 81 |2400k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1211.11/1211.58 c 1104s| 3580k| 34 | 377 | 0.0 |7981k| 103 | - | 316 | 906 | 0 | 0 | 81 |2406k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1214.42/1214.82 c 1107s| 3590k| 35 | 377 | 0.0 |7971k| 103 | - | 316 | 881 | 0 | 0 | 81 |2413k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1217.81/1218.25 c 1110s| 3600k| 36 | 377 | 0.0 |7970k| 103 | - | 316 | 880 | 0 | 0 | 81 |2420k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1221.21/1221.69 c 1113s| 3610k| 37 | 377 | 0.0 |7953k| 103 | - | 316 | 838 | 0 | 0 | 81 |2426k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1224.61/1225.05 c 1116s| 3620k| 33 | 377 | 0.0 |7971k| 103 | - | 316 | 881 | 0 | 0 | 81 |2433k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1228.01/1228.48 c 1119s| 3630k| 35 | 377 | 0.0 |7968k| 103 | - | 316 | 877 | 0 | 0 | 81 |2440k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1231.31/1231.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1231.31/1231.77 c 1122s| 3640k| 34 | 377 | 0.0 |7970k| 103 | - | 316 | 872 | 0 | 0 | 81 |2447k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1234.61/1235.07 c 1125s| 3650k| 33 | 377 | 0.0 |7977k| 103 | - | 316 | 896 | 0 | 0 | 81 |2453k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1238.01/1238.41 c 1128s| 3660k| 37 | 377 | 0.0 |7963k| 103 | - | 316 | 861 | 0 | 0 | 81 |2460k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1241.31/1241.75 c 1131s| 3670k| 35 | 377 | 0.0 |7969k| 103 | - | 316 | 870 | 0 | 0 | 81 |2467k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1244.71/1245.16 c 1135s| 3680k| 37 | 377 | 0.0 |7965k| 103 | - | 316 | 860 | 0 | 0 | 81 |2474k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1248.11/1248.50 c 1138s| 3690k| 33 | 377 | 0.0 |7968k| 103 | - | 316 | 877 | 0 | 0 | 81 |2480k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1251.50/1251.94 c 1141s| 3700k| 35 | 377 | 0.0 |7960k| 103 | - | 316 | 855 | 0 | 0 | 81 |2487k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1254.90/1255.35 c 1144s| 3710k| 33 | 377 | 0.0 |7976k| 103 | - | 316 | 894 | 0 | 0 | 81 |2494k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1258.40/1258.80 c 1147s| 3720k| 35 | 377 | 0.0 |7965k| 103 | - | 316 | 867 | 0 | 0 | 81 |2502k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1261.80/1262.21 c 1150s| 3730k| 33 | 377 | 0.0 |7976k| 103 | - | 316 | 885 | 0 | 0 | 81 |2509k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1265.20/1265.67 c 1153s| 3740k| 31 | 377 | 0.0 |7968k| 103 | - | 316 | 881 | 0 | 0 | 81 |2516k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1268.60/1269.06 c 1156s| 3750k| 35 | 377 | 0.0 |7972k| 103 | - | 316 | 886 | 0 | 0 | 81 |2523k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1272.00/1272.48 c 1159s| 3760k| 35 | 377 | 0.0 |7973k| 103 | - | 316 | 887 | 0 | 0 | 81 |2530k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1275.39/1275.85 c 1162s| 3770k| 34 | 377 | 0.0 |7963k| 103 | - | 316 | 863 | 0 | 0 | 81 |2537k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1278.60/1279.03 c 1165s| 3780k| 37 | 377 | 0.0 |7962k| 103 | - | 316 | 858 | 0 | 0 | 81 |2543k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1281.79/1282.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1281.79/1282.28 c 1168s| 3790k| 33 | 377 | 0.0 |7980k| 103 | - | 316 | 898 | 0 | 0 | 81 |2550k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1285.09/1285.52 c 1171s| 3800k| 36 | 377 | 0.0 |7967k| 103 | - | 316 | 860 | 0 | 0 | 81 |2557k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1288.29/1288.76 c 1174s| 3810k| 34 | 377 | 0.0 |7966k| 103 | - | 316 | 865 | 0 | 0 | 81 |2564k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1291.69/1292.18 c 1177s| 3820k| 36 | 377 | 0.0 |7973k| 103 | - | 316 | 878 | 0 | 0 | 81 |2571k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1295.09/1295.54 c 1180s| 3830k| 35 | 377 | 0.0 |7972k| 103 | - | 316 | 875 | 0 | 0 | 81 |2578k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1298.39/1298.89 c 1183s| 3840k| 36 | 377 | 0.0 |7950k| 103 | - | 316 | 833 | 0 | 0 | 81 |2585k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1301.59/1302.06 c 1186s| 3850k| 35 | 377 | 0.0 |7972k| 103 | - | 316 | 884 | 0 | 0 | 81 |2591k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1304.89/1305.34 c 1189s| 3860k| 32 | 377 | 0.0 |7974k| 103 | - | 316 | 882 | 0 | 0 | 81 |2598k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1308.18/1308.64 c 1192s| 3870k| 38 | 377 | 0.0 |7960k| 103 | - | 316 | 850 | 0 | 0 | 81 |2605k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1311.39/1311.89 c 1195s| 3880k| 33 | 377 | 0.0 |7969k| 103 | - | 316 | 870 | 0 | 0 | 81 |2611k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1314.69/1315.15 c 1198s| 3890k| 39 | 377 | 0.0 |7953k| 103 | - | 316 | 835 | 0 | 0 | 81 |2618k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1317.99/1318.43 c 1201s| 3900k| 32 | 377 | 0.0 |7966k| 103 | - | 316 | 870 | 0 | 0 | 81 |2625k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1321.29/1321.75 c 1204s| 3910k| 31 | 377 | 0.0 |7955k| 103 | - | 316 | 847 | 0 | 0 | 81 |2632k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1324.68/1325.12 c 1207s| 3920k| 35 | 377 | 0.0 |7973k| 103 | - | 316 | 884 | 0 | 0 | 81 |2639k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1327.99/1328.44 c 1210s| 3930k| 34 | 377 | 0.0 |7980k| 103 | - | 316 | 905 | 0 | 0 | 81 |2646k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1331.38/1331.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1331.38/1331.84 c 1213s| 3940k| 33 | 377 | 0.0 |7969k| 103 | - | 316 | 874 | 0 | 0 | 81 |2652k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1334.58/1335.08 c 1216s| 3950k| 31 | 377 | 0.0 |7984k| 103 | - | 316 | 917 | 0 | 0 | 81 |2659k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1337.88/1338.37 c 1219s| 3960k| 36 | 377 | 0.0 |7963k| 103 | - | 316 | 863 | 0 | 0 | 81 |2666k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1341.48/1341.90 c 1222s| 3970k| 34 | 377 | 0.0 |7978k| 103 | - | 316 | 900 | 0 | 0 | 81 |2672k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1344.88/1345.38 c 1226s| 3980k| 35 | 377 | 0.0 |7979k| 103 | - | 316 | 901 | 0 | 0 | 81 |2679k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1348.28/1348.75 c 1229s| 3990k| 37 | 377 | 0.0 |7964k| 103 | - | 316 | 865 | 0 | 0 | 81 |2686k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1351.68/1352.15 c 1232s| 4000k| 36 | 377 | 0.0 |7979k| 103 | - | 316 | 902 | 0 | 0 | 81 |2692k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1355.07/1355.56 c 1235s| 4010k| 36 | 377 | 0.0 |7971k| 103 | - | 316 | 882 | 0 | 0 | 81 |2699k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1358.48/1358.95 c 1238s| 4020k| 36 | 377 | 0.0 |7966k| 103 | - | 316 | 868 | 0 | 0 | 81 |2705k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1361.88/1362.33 c 1241s| 4030k| 31 | 377 | 0.0 |7987k| 103 | - | 316 | 916 | 0 | 0 | 81 |2712k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1365.07/1365.57 c 1244s| 4040k| 33 | 377 | 0.0 |7979k| 103 | - | 316 | 900 | 0 | 0 | 81 |2719k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1368.47/1368.93 c 1247s| 4050k| 33 | 377 | 0.0 |7971k| 103 | - | 316 | 889 | 0 | 0 | 81 |2725k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1371.77/1372.26 c 1250s| 4060k| 34 | 377 | 0.0 |7967k| 103 | - | 316 | 876 | 0 | 0 | 81 |2732k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1375.16/1375.60 c 1253s| 4070k| 32 | 377 | 0.0 |7983k| 103 | - | 316 | 910 | 0 | 0 | 81 |2739k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1378.47/1378.90 c 1256s| 4080k| 35 | 377 | 0.0 |7967k| 103 | - | 316 | 873 | 0 | 0 | 81 |2745k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1381.66/1382.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1381.66/1382.18 c 1259s| 4090k| 36 | 377 | 0.0 |7965k| 103 | - | 316 | 859 | 0 | 0 | 81 |2752k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1385.07/1385.54 c 1262s| 4100k| 30 | 377 | 0.0 |7981k| 103 | - | 316 | 904 | 0 | 0 | 81 |2758k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1388.46/1388.94 c 1265s| 4110k| 31 | 377 | 0.0 |7982k| 103 | - | 316 | 903 | 0 | 0 | 81 |2765k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1391.86/1392.35 c 1269s| 4120k| 30 | 377 | 0.0 |7968k| 103 | - | 316 | 881 | 0 | 0 | 81 |2771k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1395.26/1395.72 c 1272s| 4130k| 33 | 377 | 0.0 |7974k| 103 | - | 316 | 891 | 0 | 0 | 81 |2778k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1398.56/1399.00 c 1275s| 4140k| 30 | 377 | 0.0 |7966k| 103 | - | 316 | 876 | 0 | 0 | 81 |2785k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1401.97/1402.42 c 1278s| 4150k| 41 | 377 | 0.0 |7958k| 103 | - | 316 | 844 | 0 | 0 | 81 |2791k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1405.37/1405.83 c 1281s| 4160k| 40 | 377 | 0.0 |7981k| 103 | - | 316 | 922 | 0 | 0 | 81 |2799k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1408.67/1409.16 c 1284s| 4170k| 39 | 377 | 0.0 |7959k| 103 | - | 316 | 838 | 0 | 0 | 81 |2806k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1411.86/1412.39 c 1287s| 4180k| 36 | 377 | 0.0 |7978k| 103 | - | 316 | 884 | 0 | 0 | 81 |2813k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1415.26/1415.77 c 1290s| 4190k| 34 | 377 | 0.0 |7978k| 103 | - | 316 | 895 | 0 | 0 | 81 |2819k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1418.56/1419.03 c 1293s| 4200k| 39 | 377 | 0.0 |7959k| 103 | - | 316 | 840 | 0 | 0 | 81 |2826k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1421.86/1422.34 c 1296s| 4210k| 37 | 377 | 0.0 |7976k| 103 | - | 316 | 882 | 0 | 0 | 81 |2833k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1425.16/1425.69 c 1299s| 4220k| 39 | 377 | 0.0 |7981k| 103 | - | 316 | 883 | 0 | 0 | 81 |2840k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1428.55/1429.05 c 1302s| 4230k| 35 | 377 | 0.0 |7982k| 103 | - | 316 | 887 | 0 | 0 | 81 |2847k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1431.95/1432.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1431.95/1432.48 c 1305s| 4240k| 38 | 377 | 0.0 |7971k| 103 | - | 316 | 868 | 0 | 0 | 81 |2854k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1435.35/1435.84 c 1308s| 4250k| 37 | 377 | 0.0 |7972k| 103 | - | 316 | 870 | 0 | 0 | 81 |2861k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1438.75/1439.22 c 1311s| 4260k| 37 | 377 | 0.0 |7985k| 103 | - | 316 | 904 | 0 | 0 | 81 |2868k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1442.15/1442.60 c 1314s| 4270k| 33 | 377 | 0.0 |7980k| 103 | - | 316 | 891 | 0 | 0 | 81 |2875k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1445.55/1446.02 c 1317s| 4280k| 34 | 377 | 0.0 |7966k| 103 | - | 316 | 859 | 0 | 0 | 81 |2881k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1448.85/1449.38 c 1321s| 4290k| 37 | 377 | 0.0 |7973k| 103 | - | 316 | 867 | 0 | 0 | 81 |2888k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1452.25/1452.71 c 1324s| 4300k| 36 | 377 | 0.0 |7980k| 103 | - | 316 | 889 | 0 | 0 | 81 |2895k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1455.54/1456.09 c 1327s| 4310k| 36 | 377 | 0.0 |8137k| 103 | - | 316 |1573 | 0 | 0 | 81 |2904k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1458.85/1459.32 c 1330s| 4320k| 38 | 377 | 0.0 |7981k| 103 | - | 316 | 861 | 0 | 0 | 81 |2912k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1462.04/1462.55 c 1332s| 4330k| 42 | 377 | 0.0 |7972k| 103 | - | 316 | 838 | 0 | 0 | 81 |2919k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1465.25/1465.79 c 1335s| 4340k| 36 | 377 | 0.0 |7992k| 103 | - | 316 | 886 | 0 | 0 | 81 |2926k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1468.64/1469.13 c 1338s| 4350k| 35 | 377 | 0.0 |7988k| 103 | - | 316 | 880 | 0 | 0 | 81 |2933k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1471.94/1472.45 c 1342s| 4360k| 34 | 377 | 0.0 |8169k| 103 | - | 316 |1631 | 0 | 0 | 81 |2941k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1475.14/1475.63 c 1344s| 4370k| 35 | 377 | 0.0 |8022k| 103 | - | 316 | 892 | 0 | 0 | 81 |2948k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1478.54/1479.00 c 1347s| 4380k| 36 | 377 | 0.0 |8020k| 103 | - | 316 | 879 | 0 | 0 | 81 |2955k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1481.84/1482.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1481.84/1482.39 c 1351s| 4390k| 33 | 377 | 0.0 |8018k| 103 | - | 316 | 875 | 0 | 0 | 81 |2962k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1485.24/1485.77 c 1354s| 4400k| 38 | 377 | 0.0 |8008k| 103 | - | 316 | 847 | 0 | 0 | 81 |2968k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1488.64/1489.17 c 1357s| 4410k| 32 | 377 | 0.0 |8023k| 103 | - | 316 | 890 | 0 | 0 | 81 |2975k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1492.04/1492.53 c 1360s| 4420k| 34 | 377 | 0.0 |8020k| 103 | - | 316 | 881 | 0 | 0 | 81 |2982k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1495.44/1495.90 c 1363s| 4430k| 39 | 377 | 0.0 |8196k| 103 | - | 316 |1730 | 0 | 0 | 81 |2990k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1498.75/1499.29 c 1366s| 4440k| 34 | 377 | 0.0 |8007k| 103 | - | 316 | 860 | 0 | 0 | 81 |2997k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1502.04/1502.56 c 1369s| 4450k| 37 | 377 | 0.0 |8012k| 103 | - | 316 | 858 | 0 | 0 | 81 |3004k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1505.44/1505.93 c 1372s| 4460k| 35 | 377 | 0.0 |8017k| 103 | - | 316 | 873 | 0 | 0 | 81 |3010k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1508.93/1509.40 c 1375s| 4470k| 35 | 377 | 0.0 |7995k| 103 | - | 316 | 830 | 0 | 0 | 81 |3017k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1512.23/1512.70 c 1378s| 4480k| 36 | 377 | 0.0 |8022k| 103 | - | 316 | 881 | 0 | 0 | 81 |3026k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1515.44/1515.96 c 1381s| 4490k| 39 | 377 | 0.0 |8006k| 103 | - | 316 | 849 | 0 | 0 | 81 |3033k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1518.64/1519.19 c 1384s| 4500k| 37 | 377 | 0.0 |8010k| 103 | - | 316 | 859 | 0 | 0 | 81 |3040k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1522.03/1522.54 c 1387s| 4510k| 37 | 377 | 0.0 |8010k| 103 | - | 316 | 854 | 0 | 0 | 81 |3047k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1525.43/1525.96 c 1390s| 4520k| 39 | 377 | 0.0 |8016k| 103 | - | 316 | 876 | 0 | 0 | 81 |3054k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1528.73/1529.21 c 1393s| 4530k| 34 | 377 | 0.0 |8021k| 103 | - | 316 | 891 | 0 | 0 | 81 |3061k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1532.03/1532.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1532.03/1532.51 c 1396s| 4540k| 33 | 377 | 0.0 |8025k| 103 | - | 316 | 900 | 0 | 0 | 81 |3069k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1535.23/1535.76 c 1399s| 4550k| 34 | 377 | 0.0 |8021k| 103 | - | 316 | 888 | 0 | 0 | 81 |3075k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1538.43/1538.98 c 1402s| 4560k| 37 | 377 | 0.0 |8017k| 103 | - | 316 | 871 | 0 | 0 | 81 |3082k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1541.73/1542.23 c 1405s| 4570k| 40 | 377 | 0.0 |8004k| 103 | - | 316 | 842 | 0 | 0 | 81 |3090k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1544.92/1545.50 c 1408s| 4580k| 36 | 377 | 0.0 |8339k| 103 | - | 316 |2312 | 0 | 0 | 81 |3099k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1548.33/1548.82 c 1411s| 4590k| 38 | 377 | 0.0 |8026k| 103 | - | 316 | 869 | 0 | 0 | 81 |3107k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1551.63/1552.13 c 1414s| 4600k| 39 | 377 | 0.0 |8020k| 103 | - | 316 | 843 | 0 | 0 | 81 |3115k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1554.93/1555.43 c 1417s| 4610k| 35 | 377 | 0.0 |8088k| 103 | - | 316 |1160 | 0 | 0 | 81 |3125k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1558.22/1558.72 c 1420s| 4620k| 36 | 377 | 0.0 |8031k| 103 | - | 316 | 882 | 0 | 0 | 81 |3132k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1561.62/1562.11 c 1423s| 4630k| 36 | 377 | 0.0 |8032k| 103 | - | 316 | 886 | 0 | 0 | 81 |3139k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1564.83/1565.31 c 1426s| 4640k| 37 | 377 | 0.0 |8022k| 103 | - | 316 | 852 | 0 | 0 | 81 |3145k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1568.02/1568.58 c 1429s| 4650k| 34 | 377 | 0.0 |8022k| 103 | - | 316 | 862 | 0 | 0 | 81 |3152k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1571.32/1571.85 c 1432s| 4660k| 34 | 377 | 0.0 |8030k| 103 | - | 316 | 881 | 0 | 0 | 81 |3159k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1574.52/1575.07 c 1435s| 4670k| 35 | 377 | 0.0 |8028k| 103 | - | 316 | 875 | 0 | 0 | 81 |3166k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1577.92/1578.50 c 1438s| 4680k| 35 | 377 | 0.0 |8017k| 103 | - | 316 | 851 | 0 | 0 | 81 |3173k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1581.22/1581.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1581.22/1581.72 c 1441s| 4690k| 35 | 377 | 0.0 |8035k| 103 | - | 316 | 883 | 0 | 0 | 81 |3180k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1584.52/1585.04 c 1444s| 4700k| 32 | 377 | 0.0 |8031k| 103 | - | 316 | 876 | 0 | 0 | 81 |3187k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1587.82/1588.38 c 1447s| 4710k| 40 | 377 | 0.0 |8026k| 103 | - | 316 | 867 | 0 | 0 | 81 |3194k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1591.31/1591.89 c 1451s| 4720k| 39 | 377 | 0.0 |8022k| 103 | - | 316 | 859 | 0 | 0 | 81 |3200k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1594.81/1595.40 c 1454s| 4730k| 37 | 377 | 0.0 |8034k| 103 | - | 316 | 891 | 0 | 0 | 81 |3207k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1598.41/1598.91 c 1457s| 4740k| 33 | 377 | 0.0 |8037k| 103 | - | 316 | 894 | 0 | 0 | 81 |3215k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1601.81/1602.37 c 1460s| 4750k| 34 | 377 | 0.0 |8040k| 103 | - | 316 | 896 | 0 | 0 | 81 |3221k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1605.21/1605.78 c 1463s| 4760k| 37 | 377 | 0.0 |8034k| 103 | - | 316 | 890 | 0 | 0 | 81 |3228k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1608.81/1609.31 c 1466s| 4770k| 34 | 377 | 0.0 |8036k| 103 | - | 316 | 893 | 0 | 0 | 81 |3234k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1612.30/1612.88 c 1470s| 4780k| 41 | 377 | 0.0 |8023k| 103 | - | 316 | 859 | 0 | 0 | 81 |3241k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1615.80/1616.30 c 1473s| 4790k| 37 | 377 | 0.0 |8032k| 103 | - | 316 | 884 | 0 | 0 | 81 |3248k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1619.20/1619.70 c 1476s| 4800k| 38 | 377 | 0.0 |8036k| 103 | - | 316 | 884 | 0 | 0 | 81 |3254k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1622.51/1623.06 c 1479s| 4810k| 39 | 377 | 0.0 |8017k| 103 | - | 316 | 847 | 0 | 0 | 81 |3261k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1625.90/1626.49 c 1482s| 4820k| 37 | 377 | 0.0 |8037k| 103 | - | 316 | 889 | 0 | 0 | 81 |3267k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1629.40/1629.91 c 1485s| 4830k| 36 | 377 | 0.0 |8040k| 103 | - | 316 | 902 | 0 | 0 | 81 |3274k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1632.80/1633.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1632.80/1633.31 c 1488s| 4840k| 39 | 377 | 0.0 |8035k| 103 | - | 316 | 883 | 0 | 0 | 81 |3281k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1636.10/1636.65 c 1491s| 4850k| 36 | 377 | 0.0 |8031k| 103 | - | 316 | 882 | 0 | 0 | 81 |3287k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1639.61/1640.11 c 1495s| 4860k| 34 | 377 | 0.0 |8036k| 103 | - | 316 | 896 | 0 | 0 | 81 |3295k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1642.99/1643.58 c 1498s| 4870k| 32 | 377 | 0.0 |8027k| 103 | - | 316 | 876 | 0 | 0 | 81 |3301k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1646.49/1647.01 c 1501s| 4880k| 36 | 377 | 0.0 |8026k| 103 | - | 316 | 869 | 0 | 0 | 81 |3308k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1649.90/1650.47 c 1504s| 4890k| 33 | 377 | 0.0 |8038k| 103 | - | 316 | 905 | 0 | 0 | 81 |3314k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1653.29/1653.84 c 1507s| 4900k| 37 | 377 | 0.0 |8030k| 103 | - | 316 | 878 | 0 | 0 | 81 |3321k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1656.69/1657.27 c 1510s| 4910k| 35 | 377 | 0.0 |8035k| 103 | - | 316 | 892 | 0 | 0 | 81 |3328k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1659.99/1660.54 c 1513s| 4920k| 34 | 377 | 0.0 |8039k| 103 | - | 316 | 893 | 0 | 0 | 81 |3335k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1663.39/1663.91 c 1516s| 4930k| 36 | 377 | 0.0 |8039k| 103 | - | 316 | 894 | 0 | 0 | 81 |3341k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1666.69/1667.29 c 1519s| 4940k| 36 | 377 | 0.0 |8039k| 103 | - | 316 | 899 | 0 | 0 | 81 |3348k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1670.09/1670.67 c 1522s| 4950k| 37 | 377 | 0.0 |8023k| 103 | - | 316 | 859 | 0 | 0 | 81 |3355k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1673.49/1674.03 c 1525s| 4960k| 36 | 377 | 0.0 |8035k| 103 | - | 316 | 889 | 0 | 0 | 81 |3361k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1676.79/1677.36 c 1528s| 4970k| 33 | 377 | 0.0 |8047k| 103 | - | 316 | 924 | 0 | 0 | 81 |3368k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1680.19/1680.77 c 1532s| 4980k| 33 | 377 | 0.0 |8042k| 103 | - | 316 | 911 | 0 | 0 | 81 |3374k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1683.59/1684.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1683.59/1684.11 c 1535s| 4990k| 40 | 377 | 0.0 |8065k| 103 | - | 316 |1060 | 0 | 0 | 81 |3382k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1686.98/1687.55 c 1538s| 5000k| 35 | 377 | 0.0 |8114k| 103 | - | 316 | 894 | 0 | 0 | 81 |3390k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1690.58/1691.18 c 1541s| 5010k| 38 | 377 | 0.0 |8112k| 103 | - | 316 | 890 | 0 | 0 | 81 |3397k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1694.09/1694.67 c 1544s| 5020k| 35 | 377 | 0.0 |8116k| 103 | - | 316 | 896 | 0 | 0 | 81 |3403k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1697.58/1698.10 c 1547s| 5030k| 37 | 377 | 0.0 |8109k| 103 | - | 316 | 878 | 0 | 0 | 81 |3410k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1700.88/1701.46 c 1550s| 5040k| 36 | 377 | 0.0 |8117k| 103 | - | 316 | 899 | 0 | 0 | 81 |3417k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1704.28/1704.84 c 1553s| 5050k| 35 | 377 | 0.0 |8111k| 103 | - | 316 | 887 | 0 | 0 | 81 |3424k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1707.58/1708.18 c 1556s| 5060k| 34 | 377 | 0.0 |8125k| 103 | - | 316 | 920 | 0 | 0 | 81 |3430k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1710.98/1711.52 c 1560s| 5070k| 35 | 377 | 0.0 |8125k| 103 | - | 316 | 914 | 0 | 0 | 81 |3437k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1714.38/1714.93 c 1563s| 5080k| 35 | 377 | 0.0 |8109k| 103 | - | 316 | 882 | 0 | 0 | 81 |3444k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1717.77/1718.31 c 1566s| 5090k| 33 | 377 | 0.0 |8126k| 103 | - | 316 | 932 | 0 | 0 | 81 |3452k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1721.18/1721.74 c 1569s| 5100k| 34 | 377 | 0.0 |8114k| 103 | - | 316 | 896 | 0 | 0 | 81 |3459k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1724.57/1725.14 c 1572s| 5110k| 34 | 377 | 0.0 |8118k| 103 | - | 316 | 903 | 0 | 0 | 81 |3466k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1727.77/1728.39 c 1575s| 5120k| 35 | 377 | 0.0 |8113k| 103 | - | 316 | 890 | 0 | 0 | 81 |3474k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1731.07/1731.61 c 1578s| 5130k| 33 | 377 | 0.0 |8122k| 103 | - | 316 | 910 | 0 | 0 | 81 |3481k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1734.37/1734.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1734.37/1734.99 c 1581s| 5140k| 34 | 377 | 0.0 |8112k| 103 | - | 316 | 891 | 0 | 0 | 81 |3487k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1737.77/1738.35 c 1584s| 5150k| 33 | 377 | 0.0 |8119k| 103 | - | 316 | 901 | 0 | 0 | 81 |3494k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1741.17/1741.74 c 1587s| 5160k| 40 | 377 | 0.0 |8103k| 103 | - | 316 | 862 | 0 | 0 | 81 |3501k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1744.46/1745.07 c 1590s| 5170k| 33 | 377 | 0.0 |8105k| 103 | - | 316 | 874 | 0 | 0 | 81 |3507k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1747.76/1748.36 c 1593s| 5180k| 37 | 377 | 0.0 |8107k| 103 | - | 316 | 876 | 0 | 0 | 81 |3514k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1751.17/1751.72 c 1596s| 5190k| 34 | 377 | 0.0 |8114k| 103 | - | 316 | 887 | 0 | 0 | 81 |3521k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1754.56/1755.19 c 1599s| 5200k| 33 | 377 | 0.0 |8118k| 103 | - | 316 | 907 | 0 | 0 | 81 |3527k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1757.96/1758.57 c 1602s| 5210k| 36 | 377 | 0.0 |8104k| 103 | - | 316 | 872 | 0 | 0 | 81 |3534k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1761.36/1761.90 c 1605s| 5220k| 33 | 377 | 0.0 |8112k| 103 | - | 316 | 884 | 0 | 0 | 81 |3541k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1764.66/1765.20 c 1608s| 5230k| 36 | 377 | 0.0 |8102k| 103 | - | 316 | 857 | 0 | 0 | 81 |3547k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1767.96/1768.57 c 1611s| 5240k| 33 | 377 | 0.0 |8113k| 103 | - | 316 | 883 | 0 | 0 | 81 |3554k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1771.47/1772.05 c 1615s| 5250k| 33 | 377 | 0.0 |8112k| 103 | - | 316 | 890 | 0 | 0 | 81 |3560k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1775.06/1775.60 c 1618s| 5260k| 33 | 377 | 0.0 |8117k| 103 | - | 316 | 906 | 0 | 0 | 81 |3567k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1778.45/1779.09 c 1621s| 5270k| 32 | 377 | 0.0 |8115k| 103 | - | 316 | 899 | 0 | 0 | 81 |3574k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1781.96/1782.52 c 1624s| 5280k| 41 | 377 | 0.0 |8098k| 103 | - | 316 | 850 | 0 | 0 | 81 |3580k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1785.35/1785.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1785.35/1785.97 c 1627s| 5290k| 36 | 377 | 0.0 |8091k| 103 | - | 316 | 839 | 0 | 0 | 81 |3587k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1788.76/1789.37 c 1630s| 5300k| 37 | 377 | 0.0 |8102k| 103 | - | 316 | 863 | 0 | 0 | 81 |3594k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1792.26/1792.88 c 1634s| 5310k| 39 | 377 | 0.0 |8106k| 103 | - | 316 | 872 | 0 | 0 | 81 |3600k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1795.86/1796.41 c 1637s| 5320k| 38 | 377 | 0.0 |8109k| 103 | - | 316 | 882 | 0 | 0 | 81 |3607k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1799.35/1799.95 c 1640s| 5330k| 38 | 377 | 0.0 |8103k| 103 | - | 316 | 856 | 0 | 0 | 81 |3614k| 24 | 1.354250e+03 | 1.359000e+03 | 0.35%
1800.06/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.61 c
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time (sec) : 1640.67
1800.06/1800.61 c Solving Nodes : 5331856
1800.06/1800.61 c Primal Bound : +1.35900000000000e+03 (5 solutions)
1800.06/1800.61 c Dual Bound : +1.35425000000000e+03
1800.06/1800.61 c Gap : 0.35 %
1800.06/1800.62 s SATISFIABLE
1800.06/1800.62 v -x2782 x2781 -x2780 x2779 x2778 -x2777 -x2776 x2775 -x2774 x2773 x2772 -x2771 -x2770 x2769 x2768 -x2767 -x2766 x2765 x2764 -x2763
1800.06/1800.62 v x2762 -x2761 x2760 -x2759 -x2758 x2757 x2756 -x2755 x2754 -x2753 -x2752 x2751 x2750 -x2749 x2748 -x2747 -x2746 x2745 x2744
1800.06/1800.62 v -x2743 x2742 -x2741 x2740 -x2739 x2738 -x2737 x2736 -x2735 x2734 -x2733 x2732 -x2731 x2730 -x2729 x2728 -x2727 x2726 -x2725
1800.06/1800.62 v x2724 -x2723 x2722 -x2721 -x2720 x2719 x2718 -x2717 -x2716 x2715 x2714 -x2713 -x2712 x2711 x2710 -x2709 x2708 -x2707 -x2706 x2705
1800.06/1800.62 v x2704 -x2703 -x2702 x2701 -x2700 x2699 x2698 -x2697 -x2696 x2695 x2694 -x2693 -x2692 x2691 x2690 -x2689 x2688 -x2687 x2686
1800.06/1800.62 v -x2685 -x2684 x2683 x2682 -x2681 -x2680 x2679 x2678 -x2677 x2676 -x2675 x2674 -x2673 x2672 -x2671 -x2670 x2669 x2668 -x2667
1800.06/1800.62 v x2666 -x2665 -x2664 x2663 x2662 -x2661 x2660 -x2659 x2658 -x2657 x2656 -x2655 -x2654 x2653 -x2652 x2651 -x2650 x2649 x2648
1800.06/1800.62 v -x2647 -x2646 x2645 -x2644 x2643 -x2642 x2641 -x2640 x2639 -x2638 x2637 -x2636 x2635 -x2634 x2633 x2632 -x2631 -x2630 x2629 -x2628
1800.06/1800.62 v x2627 x2626 -x2625 x2624 -x2623 x2622 -x2621 -x2620 x2619 x2618 -x2617 x2616 -x2615 -x2614 x2613 -x2612 x2611 x2610 -x2609
1800.06/1800.62 v x2608 -x2607 -x2606 x2605 -x2604 x2603 x2602 -x2601 x2600 -x2599 x2598 -x2597 -x2596 x2595 x2594 -x2593 x2592 -x2591 x2590
1800.06/1800.62 v -x2589 -x2588 x2587 x2586 -x2585 -x2584 x2583 x2582 -x2581 x2580 -x2579 x2578 -x2577 -x2576 x2575 x2574 -x2573 -x2572 x2571
1800.06/1800.62 v x2570 -x2569 -x2568 x2567 -x2566 x2565 -x2564 x2563 -x2562 x2561 x2560 -x2559 -x2558 x2557 -x2556 x2555 -x2554 x2553 x2552 -x2551
1800.06/1800.62 v -x2550 x2549 x2548 -x2547 x2546 -x2545 x2544 -x2543 -x2542 x2541 x2540 -x2539 x2538 -x2537 x2536 -x2535 x2534 -x2533 -x2532
1800.06/1800.62 v x2531 x2530 -x2529 x2528 -x2527 -x2526 x2525 x2524 -x2523 -x2522 x2521 -x2520 x2519 -x2518 x2517 x2516 -x2515 -x2514 x2513
1800.06/1800.62 v -x2512 x2511 -x2510 x2509 -x2508 x2507 -x2506 x2505 -x2504 x2503 x2502 -x2501 -x2500 x2499 -x2498 x2497 x2496 -x2495 x2494
1800.06/1800.62 v -x2493 x2492 -x2491 -x2490 x2489 x2488 -x2487 -x2486 x2485 -x2484 x2483 -x2482 x2481 -x2480 x2479 -x2478 x2477 x2476 -x2475
1800.06/1800.62 v x2474 -x2473 -x2472 x2471 -x2470 x2469 -x2468 x2467 x2466 -x2465 x2464 -x2463 x2462 -x2461 -x2460 x2459 -x2458 x2457 x2456 -x2455
1800.06/1800.62 v x2454 -x2453 -x2452 x2451 -x2450 x2449 x2448 -x2447 -x2446 x2445 x2444 -x2443 x2442 -x2441 x2440 -x2439 x2438 -x2437 x2436
1800.06/1800.62 v -x2435 -x2434 x2433 -x2432 x2431 x2430 -x2429 -x2428 x2427 x2426 -x2425 -x2424 x2423 -x2422 x2421 x2420 -x2419 x2418 -x2417
1800.06/1800.62 v -x2416 x2415 x2414 -x2413 -x2412 x2411 -x2410 x2409 -x2408 x2407 -x2406 x2405 x2404 -x2403 x2402 -x2401 x2400 -x2399 x2398
1800.06/1800.62 v -x2397 x2396 -x2395 -x2394 x2393 -x2392 x2391 -x2390 x2389 x2388 -x2387 -x2386 x2385 x2384 -x2383 x2382 -x2381 x2380 -x2379 -x2378
1800.06/1800.62 v x2377 -x2376 x2375 -x2374 x2373 x2372 -x2371 -x2370 x2369 x2368 -x2367 -x2366 x2365 x2364 -x2363 -x2362 x2361 -x2360 x2359
1800.06/1800.62 v -x2358 x2357 x2356 -x2355 -x2354 x2353 x2352 -x2351 x2350 -x2349 -x2348 x2347 -x2346 x2345 -x2344 x2343 x2342 -x2341 -x2340
1800.06/1800.62 v x2339 -x2338 x2337 x2336 -x2335 x2334 -x2333 -x2332 x2331 x2330 -x2329 -x2328 x2327 -x2326 x2325 x2324 -x2323 x2322 -x2321
1800.06/1800.62 v x2320 -x2319 -x2318 x2317 x2316 -x2315 -x2314 x2313 x2312 -x2311 -x2310 x2309 x2308 -x2307 -x2306 x2305 x2304 -x2303 -x2302
1800.06/1800.62 v x2301 x2300 -x2299 -x2298 x2297 x2296 -x2295 x2294 -x2293 x2292 -x2291 -x2290 x2289 -x2288 x2287 -x2286 x2285 -x2284 x2283 x2282
1800.06/1800.62 v -x2281 x2280 -x2279 -x2278 x2277 x2276 -x2275 -x2274 x2273 x2272 -x2271 -x2270 x2269 x2268 -x2267 x2266 -x2265 x2264 -x2263
1800.06/1800.62 v -x2262 x2261 x2260 -x2259 x2258 -x2257 x2256 -x2255 -x2254 x2253 x2252 -x2251 -x2250 x2249 -x2248 x2247 x2246 -x2245 -x2244
1800.06/1800.62 v x2243 -x2242 x2241 -x2240 x2239 x2238 -x2237 -x2236 x2235 -x2234 x2233 x2232 -x2231 x2230 -x2229 x2228 -x2227 x2226 -x2225
1800.06/1800.62 v -x2224 x2223 x2222 -x2221 x2220 -x2219 -x2218 x2217 x2216 -x2215 -x2214 x2213 -x2212 x2211 x2210 -x2209 x2208 -x2207 -x2206 x2205
1800.06/1800.62 v -x2204 x2203 -x2202 x2201 x2200 -x2199 -x2198 x2197 -x2196 x2195 -x2194 x2193 -x2192 x2191 -x2190 x2189 -x2188 x2187 -x2186
1800.06/1800.62 v x2185 x2184 -x2183 -x2182 x2181 -x2180 x2179 -x2178 x2177 -x2176 x2175 -x2174 x2173 -x2172 x2171 x2170 -x2169 -x2168 x2167
1800.06/1800.62 v x2166 -x2165 x2164 -x2163 x2162 -x2161 x2160 -x2159 -x2158 x2157 -x2156 x2155 x2154 -x2153 -x2152 x2151 -x2150 x2149 -x2148
1800.06/1800.62 v x2147 -x2146 x2145 -x2144 x2143 x2142 -x2141 x2140 -x2139 x2138 -x2137 -x2136 x2135 x2134 -x2133 -x2132 x2131 x2130 -x2129 -x2128
1800.06/1800.62 v x2127 x2126 -x2125 -x2124 x2123 -x2122 x2121 x2120 -x2119 x2118 -x2117 -x2116 x2115 x2114 -x2113 x2112 -x2111 x2110 -x2109
1800.06/1800.62 v x2108 -x2107 x2106 -x2105 -x2104 x2103 -x2102 x2101 x2100 -x2099 x2098 -x2097 x2096 -x2095 -x2094 x2093 -x2092 x2091 x2090
1800.06/1800.62 v -x2089 -x2088 x2087 x2086 -x2085 -x2084 x2083 -x2082 x2081 -x2080 x2079 x2078 -x2077 x2076 -x2075 x2074 -x2073 -x2072 x2071
1800.06/1800.62 v -x2070 x2069 -x2068 x2067 x2066 -x2065 x2064 -x2063 x2062 -x2061 -x2060 x2059 x2058 -x2057 x2056 -x2055 x2054 -x2053 x2052 -x2051
1800.06/1800.62 v -x2050 x2049 -x2048 x2047 x2046 -x2045 -x2044 x2043 x2042 -x2041 -x2040 x2039 x2038 -x2037 -x2036 x2035 -x2034 x2033 -x2032
1800.06/1800.62 v x2031 x2030 -x2029 -x2028 x2027 x2026 -x2025 -x2024 x2023 x2022 -x2021 -x2020 x2019 -x2018 x2017 -x2016 x2015 -x2014 x2013
1800.06/1800.62 v x2012 -x2011 x2010 -x2009 x2008 -x2007 x2006 -x2005 -x2004 x2003 x2002 -x2001 x2000 -x1999 x1998 -x1997 x1996 -x1995 x1994
1800.06/1800.62 v -x1993 x1992 -x1991 x1990 -x1989 x1988 -x1987 x1986 -x1985 x1984 -x1983 -x1982 x1981 -x1980 x1979 x1978 -x1977 x1976 -x1975
1800.06/1800.62 v -x1974 x1973 -x1972 x1971 -x1970 x1969 -x1968 x1967 x1966 -x1965 x1964 -x1963 -x1962 x1961 -x1960 x1959 -x1958 x1957 -x1956 x1955
1800.06/1800.62 v -x1954 x1953 -x1952 x1951 -x1950 x1949 x1948 -x1947 x1946 -x1945 x1944 -x1943 -x1942 x1941 x1940 -x1939 -x1938 x1937 -x1936
1800.06/1800.62 v x1935 x1934 -x1933 x1932 -x1931 -x1930 x1929 x1928 -x1927 x1926 -x1925 x1924 -x1923 -x1922 x1921 -x1920 x1919 x1918 -x1917
1800.06/1800.62 v -x1916 x1915 x1914 -x1913 x1912 -x1911 x1910 -x1909 x1908 -x1907 x1906 -x1905 x1904 -x1903 x1902 -x1901 x1900 -x1899 x1898
1800.06/1800.62 v -x1897 -x1896 x1895 -x1894 x1893 -x1892 x1891 -x1890 x1889 x1888 -x1887 x1886 -x1885 -x1884 x1883 -x1882 x1881 -x1880 x1879 -x1878
1800.06/1800.62 v x1877 -x1876 x1875 -x1874 x1873 -x1872 x1871 -x1870 x1869 -x1868 x1867 -x1866 x1865 -x1864 x1863 -x1862 x1861 -x1860 x1859
1800.06/1800.62 v -x1858 x1857 -x1856 x1855 -x1854 x1853 -x1852 x1851 x1850 -x1849 x1848 -x1847 x1846 -x1845 -x1844 x1843 x1842 -x1841 -x1840
1800.06/1800.62 v x1839 x1838 -x1837 x1836 -x1835 -x1834 x1833 x1832 -x1831 x1830 -x1829 x1828 -x1827 x1826 -x1825 x1824 -x1823 -x1822 x1821
1800.06/1800.62 v -x1820 x1819 -x1818 x1817 -x1816 x1815 -x1814 x1813 x1812 -x1811 -x1810 x1809 x1808 -x1807 -x1806 x1805 x1804 -x1803 x1802 -x1801
1800.06/1800.62 v x1800 -x1799 -x1798 x1797 x1796 -x1795 x1794 -x1793 -x1792 x1791 x1790 -x1789 -x1788 x1787 x1786 -x1785 -x1784 x1783 -x1782
1800.06/1800.62 v x1781 x1780 -x1779 -x1778 x1777 x1776 -x1775 -x1774 x1773 x1772 -x1771 -x1770 x1769 -x1768 x1767 x1766 -x1765 x1764 -x1763
1800.06/1800.62 v x1762 -x1761 x1760 -x1759 x1758 -x1757 x1756 -x1755 x1754 -x1753 -x1752 x1751 -x1750 x1749 x1748 -x1747 x1746 -x1745 x1744
1800.06/1800.62 v -x1743 x1742 -x1741 x1740 -x1739 -x1738 x1737 -x1736 x1735 x1734 -x1733 x1732 -x1731 -x1730 x1729 -x1728 x1727 x1726 -x1725
1800.06/1800.62 v x1724 -x1723 x1722 -x1721 -x1720 x1719 x1718 -x1717 -x1716 x1715 x1714 -x1713 -x1712 x1711 -x1710 x1709 -x1708 x1707 x1706 -x1705
1800.06/1800.62 v x1704 -x1703 -x1702 x1701 -x1700 x1699 x1698 -x1697 x1696 -x1695 -x1694 x1693 x1692 -x1691 x1690 -x1689 x1688 -x1687 x1686
1800.06/1800.62 v -x1685 -x1684 x1683 -x1682 x1681 x1680 -x1679 x1678 -x1677 x1676 -x1675 x1674 -x1673 x1672 -x1671 x1670 -x1669 x1668 -x1667
1800.06/1800.62 v -x1666 x1665 x1664 -x1663 -x1662 x1661 x1660 -x1659 x1658 -x1657 x1656 -x1655 x1654 -x1653 x1652 -x1651 x1650 -x1649 x1648
1800.06/1800.62 v -x1647 -x1646 x1645 x1644 -x1643 -x1642 x1641 x1640 -x1639 x1638 -x1637 x1636 -x1635 x1634 -x1633 x1632 -x1631 x1630 -x1629 x1628
1800.06/1800.62 v -x1627 -x1626 x1625 x1624 -x1623 x1622 -x1621 x1620 -x1619 -x1618 x1617 -x1616 x1615 x1614 -x1613 x1612 -x1611 x1610 -x1609
1800.06/1800.62 v -x1608 x1607 x1606 -x1605 x1604 -x1603 x1602 -x1601 x1600 -x1599 -x1598 x1597 x1596 -x1595 x1594 -x1593 -x1592 x1591 x1590
1800.06/1800.62 v -x1589 -x1588 x1587 -x1586 x1585 -x1584 x1583 x1582 -x1581 x1580 -x1579 -x1578 x1577 x1576 -x1575 -x1574 x1573 -x1572 x1571
1800.06/1800.62 v x1570 -x1569 x1568 -x1567 x1566 -x1565 x1564 -x1563 -x1562 x1561 x1560 -x1559 x1558 -x1557 -x1556 x1555 x1554 -x1553 x1552 -x1551
1800.06/1800.62 v x1550 -x1549 -x1548 x1547 x1546 -x1545 x1544 -x1543 x1542 -x1541 x1540 -x1539 x1538 -x1537 x1536 -x1535 -x1534 x1533 x1532
1800.06/1800.62 v -x1531 x1530 -x1529 x1528 -x1527 x1526 -x1525 -x1524 x1523 -x1522 x1521 x1520 -x1519 -x1518 x1517 -x1516 x1515 x1514 -x1513
1800.06/1800.62 v -x1512 x1511 -x1510 x1509 -x1508 x1507 x1506 -x1505 -x1504 x1503 x1502 -x1501 -x1500 x1499 x1498 -x1497 -x1496 x1495 -x1494
1800.06/1800.62 v x1493 -x1492 x1491 -x1490 x1489 -x1488 x1487 x1486 -x1485 x1484 -x1483 -x1482 x1481 -x1480 x1479 x1478 -x1477 x1476 -x1475
1800.06/1800.62 v -x1474 x1473 -x1472 x1471 x1470 -x1469 x1468 -x1467 x1466 -x1465 x1464 -x1463 x1462 -x1461 x1460 -x1459 x1458 -x1457 x1456 -x1455
1800.06/1800.62 v x1454 -x1453 x1452 -x1451 x1450 -x1449 -x1448 x1447 x1446 -x1445 x1444 -x1443 x1442 -x1441 x1440 -x1439 -x1438 x1437 x1436
1800.06/1800.62 v -x1435 x1434 -x1433 x1432 -x1431 x1430 -x1429 x1428 -x1427 -x1426 x1425 -x1424 x1423 -x1422 x1421 -x1420 x1419 x1418 -x1417
1800.06/1800.62 v -x1416 x1415 -x1414 x1413 -x1412 x1411 -x1410 x1409 -x1408 x1407 -x1406 x1405 -x1404 x1403 x1402 -x1401 -x1400 x1399 -x1398
1800.06/1800.62 v x1397 -x1396 x1395 -x1394 x1393 -x1392 x1391 x1390 -x1389 x1388 -x1387 -x1386 x1385 -x1384 x1383 -x1382 x1381 x1380 -x1379 -x1378
1800.06/1800.62 v x1377 x1376 -x1375 x1374 -x1373 x1372 -x1371 x1370 -x1369 x1368 -x1367 x1366 -x1365 x1364 -x1363 -x1362 x1361 -x1360 x1359
1800.06/1800.62 v -x1358 x1357 x1356 -x1355 x1354 -x1353 -x1352 x1351 -x1350 x1349 x1348 -x1347 x1346 -x1345 -x1344 x1343 x1342 -x1341 -x1340
1800.06/1800.62 v x1339 -x1338 x1337 -x1336 x1335 x1334 -x1333 x1332 -x1331 x1330 -x1329 x1328 -x1327 x1326 -x1325 -x1324 x1323 -x1322 x1321
1800.06/1800.62 v x1320 -x1319 -x1318 x1317 -x1316 x1315 x1314 -x1313 -x1312 x1311 x1310 -x1309 x1308 -x1307 x1306 -x1305 -x1304 x1303 -x1302
1800.06/1800.62 v x1301 x1300 -x1299 x1298 -x1297 x1296 -x1295 x1294 -x1293 x1292 -x1291 x1290 -x1289 x1288 -x1287 x1286 -x1285 x1284 -x1283 -x1282
1800.06/1800.62 v x1281 x1280 -x1279 x1278 -x1277 -x1276 x1275 -x1274 x1273 -x1272 x1271 x1270 -x1269 -x1268 x1267 -x1266 x1265 -x1264 x1263
1800.06/1800.62 v x1262 -x1261 -x1260 x1259 -x1258 x1257 -x1256 x1255 x1254 -x1253 x1252 -x1251 x1250 -x1249 -x1248 x1247 x1246 -x1245 x1244
1800.06/1800.62 v -x1243 -x1242 x1241 x1240 -x1239 x1238 -x1237 x1236 -x1235 -x1234 x1233 x1232 -x1231 -x1230 x1229 x1228 -x1227 -x1226 x1225
1800.06/1800.62 v x1224 -x1223 -x1222 x1221 -x1220 x1219 -x1218 x1217 -x1216 x1215 -x1214 x1213 x1212 -x1211 -x1210 x1209 x1208 -x1207 x1206 -x1205
1800.06/1800.62 v x1204 -x1203 -x1202 x1201 x1200 -x1199 x1198 -x1197 x1196 -x1195 -x1194 x1193 -x1192 x1191 x1190 -x1189 -x1188 x1187 -x1186
1800.06/1800.62 v x1185 -x1184 x1183 x1182 -x1181 -x1180 x1179 x1178 -x1177 x1176 -x1175 x1174 -x1173 -x1172 x1171 -x1170 x1169 x1168 -x1167
1800.06/1800.62 v x1166 -x1165 -x1164 x1163 x1162 -x1161 x1160 -x1159 -x1158 x1157 -x1156 x1155 -x1154 x1153 -x1152 x1151 -x1150 x1149 -x1148
1800.06/1800.62 v x1147 -x1146 x1145 -x1144 x1143 x1142 -x1141 -x1140 x1139 x1138 -x1137 -x1136 x1135 -x1134 x1133 x1132 -x1131 x1130 -x1129 -x1128
1800.06/1800.62 v x1127 -x1126 x1125 -x1124 x1123 x1122 -x1121 x1120 -x1119 -x1118 x1117 -x1116 x1115 -x1114 x1113 -x1112 x1111 -x1110 x1109
1800.06/1800.62 v x1108 -x1107 -x1106 x1105 -x1104 x1103 -x1102 x1101 -x1100 x1099 x1098 -x1097 x1096 -x1095 -x1094 x1093 x1092 -x1091 x1090
1800.06/1800.62 v -x1089 -x1088 x1087 -x1086 x1085 -x1084 x1083 -x1082 x1081 x1080 -x1079 -x1078 x1077 -x1076 x1075 x1074 -x1073 x1072 -x1071
1800.06/1800.62 v -x1070 x1069 x1068 -x1067 x1066 -x1065 -x1064 x1063 -x1062 x1061 -x1060 x1059 -x1058 x1057 -x1056 x1055 -x1054 x1053 x1052 -x1051
1800.06/1800.62 v -x1050 x1049 x1048 -x1047 x1046 -x1045 -x1044 x1043 x1042 -x1041 x1040 -x1039 x1038 -x1037 x1036 -x1035 x1034 -x1033 x1032
1800.06/1800.62 v -x1031 x1030 -x1029 x1028 -x1027 x1026 -x1025 -x1024 x1023 -x1022 x1021 -x1020 x1019 -x1018 x1017 -x1016 x1015 -x1014 x1013
1800.06/1800.62 v x1012 -x1011 x1010 -x1009 x1008 -x1007 x1006 -x1005 x1004 -x1003 -x1002 x1001 -x1000 x999 x998 -x997 -x996 x995 -x994 x993
1800.06/1800.62 v x992 -x991 -x990 x989 x988 -x987 -x986 x985 -x984 x983 -x982 x981 -x980 x979 -x978 x977 x976 -x975 -x974 x973 x972 -x971 -x970
1800.06/1800.62 v x969 -x968 x967 -x966 x965 x964 -x963 x962 -x961 -x960 x959 -x958 x957 x956 -x955 -x954 x953 -x952 x951 -x950 x949 x948 -x947
1800.06/1800.62 v x946 -x945 -x944 x943 -x942 x941 -x940 x939 -x938 x937 x936 -x935 x934 -x933 x932 -x931 x930 -x929 x928 -x927 x926 -x925
1800.06/1800.62 v -x924 x923 -x922 x921 -x920 x919 -x918 x917 -x916 x915 -x914 x913 -x912 x911 -x910 x909 -x908 x907 -x906 x905 -x904 x903 x902
1800.06/1800.62 v -x901 -x900 x899 -x898 x897 -x896 x895 -x894 x893 x892 -x891 x890 -x889 x888 -x887 x886 -x885 x884 -x883 x882 -x881 -x880 x879
1800.06/1800.62 v x878 -x877 x876 -x875 -x874 x873 x872 -x871 x870 -x869 x868 -x867 -x866 x865 -x864 x863 x862 -x861 x860 -x859 x858 -x857 x856
1800.06/1800.62 v -x855 -x854 x853 -x852 x851 -x850 x849 x848 -x847 x846 -x845 x844 -x843 x842 -x841 -x840 x839 -x838 x837 -x836 x835 -x834
1800.06/1800.62 v x833 x832 -x831 x830 -x829 x828 -x827 x826 -x825 x824 -x823 -x822 x821 -x820 x819 -x818 x817 x816 -x815 x814 -x813 -x812 x811
1800.06/1800.62 v x810 -x809 x808 -x807 x806 -x805 -x804 x803 x802 -x801 -x800 x799 -x798 x797 -x796 x795 x794 -x793 x792 -x791 x790 -x789 x788
1800.06/1800.62 v -x787 x786 -x785 x784 -x783 -x782 x781 -x780 x779 x778 -x777 x776 -x775 x774 -x773 x772 -x771 x770 -x769 x768 -x767 x766 -x765
1800.06/1800.62 v -x764 x763 x762 -x761 x760 -x759 -x758 x757 x756 -x755 x754 -x753 -x752 x751 -x750 x749 x748 -x747 x746 -x745 x744 -x743
1800.06/1800.62 v x742 -x741 x740 -x739 -x738 x737 -x736 x735 x734 -x733 -x732 x731 -x730 x729 x728 -x727 -x726 x725 x724 -x723 -x722 x721 -x720
1800.06/1800.62 v x719 -x718 x717 -x716 x715 -x714 x713 x712 -x711 x710 -x709 -x708 x707 x706 -x705 x704 -x703 -x702 x701 -x700 x699 x698 -x697
1800.06/1800.62 v x696 -x695 -x694 x693 x692 -x691 x690 -x689 -x688 x687 -x686 x685 -x684 x683 -x682 x681 -x680 x679 -x678 x677 -x676 x675
1800.06/1800.62 v x674 -x673 x672 -x671 x670 -x669 x668 -x667 x666 -x665 x664 -x663 x662 -x661 x660 -x659 -x658 x657 x656 -x655 x654 -x653 x652
1800.06/1800.62 v -x651 x650 -x649 -x648 x647 -x646 x645 -x644 x643 x642 -x641 x640 -x639 x638 -x637 -x636 x635 -x634 x633 x632 -x631 -x630 x629
1800.06/1800.62 v -x628 x627 x626 -x625 -x624 x623 x622 -x621 x620 -x619 x618 -x617 x616 -x615 x614 -x613 x612 -x611 x610 -x609 x608 -x607 x606
1800.06/1800.62 v -x605 x604 -x603 x602 -x601 -x600 x599 x598 -x597 x596 -x595 x594 -x593 -x592 x591 -x590 x589 x588 -x587 x586 -x585 x584
1800.06/1800.62 v -x583 x582 -x581 x580 -x579 x578 -x577 -x576 x575 x574 -x573 x572 -x571 x570 -x569 -x568 x567 x566 -x565 x564 -x563 -x562 x561
1800.06/1800.62 v x560 -x559 -x558 x557 -x556 x555 -x554 x553 -x552 x551 x550 -x549 x548 -x547 x546 -x545 x544 -x543 -x542 x541 -x540 x539 -x538
1800.06/1800.62 v x537 x536 -x535 x534 -x533 x532 -x531 x530 -x529 x528 -x527 -x526 x525 -x524 x523 x522 -x521 -x520 x519 -x518 x517 -x516
1800.06/1800.62 v x515 -x514 x513 -x512 x511 x510 -x509 -x508 x507 -x506 x505 x504 -x503 x502 -x501 x500 -x499 -x498 x497 -x496 x495 x494 -x493
1800.06/1800.62 v -x492 x491 x490 -x489 -x488 x487 x486 -x485 x484 -x483 x482 -x481 -x480 x479 x478 -x477 -x476 x475 -x474 x473 -x472 x471 x470
1800.06/1800.62 v -x469 x468 -x467 -x466 x465 -x464 x463 -x462 x461 -x460 x459 x458 -x457 x456 -x455 -x454 x453 -x452 x451 x450 -x449 -x448 x447
1800.06/1800.62 v -x446 x445 x444 -x443 -x442 x441 -x440 x439 -x438 x437 -x436 x435 -x434 x433 -x432 x431 -x430 x429 -x428 x427 -x426 x425
1800.06/1800.62 v x424 -x423 x422 -x421 x420 -x419 -x418 x417 -x416 x415 -x414 x413 -x412 x411 -x410 x409 -x408 x407 -x406 x405 -x404 x403 x402
1800.06/1800.62 v -x401 x400 -x399 x398 -x397 -x396 x395 -x394 x393 -x392 x391 x390 -x389 x388 -x387 x386 -x385 -x384 x383 -x382 x381 -x380 x379
1800.06/1800.62 v -x378 x377 -x376 x375 x374 -x373 x372 -x371 -x370 x369 -x368 x367 -x366 x365 x364 -x363 x362 -x361 x360 -x359 x358 -x357 x356
1800.06/1800.62 v -x355 x354 -x353 x352 -x351 x350 -x349 x348 -x347 x346 -x345 -x344 x343 -x342 x341 -x340 x339 -x338 x337 x336 -x335 x334
1800.06/1800.62 v -x333 x332 -x331 -x330 x329 -x328 x327 -x326 x325 -x324 x323 -x322 x321 -x320 x319 -x318 x317 x316 -x315 x314 -x313 x312 -x311
1800.06/1800.62 v -x310 x309 -x308 x307 -x306 x305 -x304 x303 -x302 x301 x300 -x299 -x298 x297 x296 -x295 x294 -x293 x292 -x291 x290 -x289 x288
1800.06/1800.62 v -x287 -x286 x285 x284 -x283 -x282 x281 x280 -x279 x278 -x277 x276 -x275 x274 -x273 -x272 x271 -x270 x269 -x268 x267 -x266
1800.06/1800.62 v x265 x264 -x263 -x262 x261 -x260 x259 -x258 x257 x256 -x255 -x254 x253 -x252 -x251 x250 -x249 -x248 x247 -x246 -x245 -x244 x243
1800.06/1800.62 v -x242 -x241 -x240 x239 -x238 -x237 -x236 -x235 x234 -x233 x232 -x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223 x222 -x221
1800.06/1800.62 v -x220 x219 x218 -x217 x216 -x215 -x214 x213 -x212 x211 -x210 -x209 x208 -x207 x206 -x205 -x204 x203 x202 -x201 -x200 x199 -x198
1800.06/1800.62 v x197 -x196 x195 x194 -x193 -x192 x191 x190 -x189 x188 -x187 -x186 -x185 x184 -x183 -x182 x181 x180 -x179 -x178 x177 x176
1800.06/1800.62 v -x175 -x174 x173 x172 -x171 -x170 x169 x168 -x167 -x166 x165 x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154
1800.06/1800.62 v x153 -x152 x151 -x150 x149 -x148 -x147 x146 -x145 -x144 x143 x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132
1800.06/1800.62 v x131 -x130 x129 -x128 -x127 -x126 x125 -x124 -x123 x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110
1800.06/1800.62 v x109 -x108 -x107 x106 -x105 -x104 x103 x102 -x101 x100 -x99 x98 -x97 -x96 x95 -x94 x93 -x92 x91 -x90 -x89 x88 -x87 -x86 x85
1800.06/1800.62 v x84 -x83 -x82 -x81 -x80 x79 x78 -x77 -x76 x75 -x74 x73 -x72 x71 -x70 -x69 -x68 x67 -x66 x65 -x64 x63 -x62 x61 -x60 x59 -x58
1800.06/1800.62 v x57 -x56 x55 -x54 -x53 x52 -x51 -x50 -x49 -x48 x47 -x46 x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 x36 -x35 -x34 x33 x32 -x31
1800.06/1800.62 v x30 -x29 -x28 x27 x26 -x25 -x24 x23 x22 -x21 -x20 x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 x6 -x5 -x4 x3 x2
1800.06/1800.62 v -x1
1800.06/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.62 c Solving Time : 1640.67
1800.06/1800.62 c Original Problem :
1800.06/1800.62 c Problem name : HOME/instance-2665591-1276426650.opb
1800.06/1800.62 c Variables : 2782 (2782 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.62 c Constraints : 4517 initial, 4517 maximal
1800.06/1800.62 c Presolved Problem :
1800.06/1800.62 c Problem name : t_HOME/instance-2665591-1276426650.opb
1800.06/1800.62 c Variables : 316 (316 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.62 c Constraints : 826 initial, 3213 maximal
1800.06/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.62 c trivial : 0.00 29 0 0 0 0 0 0 0
1800.06/1800.62 c dualfix : 0.00 3 0 0 0 0 0 0 0
1800.06/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.62 c implics : 0.06 0 1281 0 0 0 0 0 0
1800.06/1800.62 c probing : 0.06 50 41 0 0 0 0 0 0
1800.06/1800.62 c linear : 0.11 32 1016 0 34 0 3428 6 2
1800.06/1800.62 c logicor : 0.06 14 0 0 23 0 263 0 0
1800.06/1800.62 c root node : - 0 - - 0 - - - -
1800.06/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.62 c integral : 0 0 0 1 0 0 0 0 0 2
1800.06/1800.62 c logicor : 826+ 23 19688647 0 0 3504397 33833509 0 0 0
1800.06/1800.62 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.62 c integral : 0.11 0.00 0.00 0.11 0.00
1800.06/1800.62 c logicor : 576.31 0.00 576.31 0.00 0.00
1800.06/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.62 c vbounds : 11.58 2 0 0
1800.06/1800.62 c rootredcost : 10.83 0 0 0
1800.06/1800.62 c pseudoobj : 386.75 24877534 8 160236015
1800.06/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.62 c propagation : 371.06 3504401 3504401 3504401 29.9 111143 4.1 -
1800.06/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.62 c applied globally : - - - 2636388 27.7 - - -
1800.06/1800.62 c applied locally : - - - 979156 32.8 - - -
1800.06/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.62 c cut pool : 0.00 22 - - 57 - (maximal pool size: 257)
1800.06/1800.62 c redcost : 0.00 23 0 0 0 0
1800.06/1800.62 c impliedbounds : 0.00 23 0 0 30 0
1800.06/1800.62 c intobj : 0.00 0 0 0 0 0
1800.06/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.62 c gomory : 0.25 23 0 0 8389 0
1800.06/1800.62 c strongcg : 0.16 20 0 0 7292 0
1800.06/1800.62 c cmir : 0.05 10 0 0 0 0
1800.06/1800.62 c flowcover : 0.05 10 0 0 1 0
1800.06/1800.62 c clique : 0.01 23 0 0 26 0
1800.06/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.62 c mcf : 0.00 1 0 0 0 0
1800.06/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.62 c Pricers : Time Calls Vars
1800.06/1800.62 c problem variables: 0.00 0 0
1800.06/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.62 c relpscost : 0.11 1 0 0 0 0 2
1800.06/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.62 c inference : 92.88 3513244 0 0 0 0 7026488
1800.06/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.62 c random : 0.00 0 0 0 0 0 0
1800.06/1800.62 c Primal Heuristics : Time Calls Found
1800.06/1800.62 c LP solutions : 0.00 - 0
1800.06/1800.62 c pseudo solutions : 0.00 - 0
1800.06/1800.62 c crossover : 0.00 0 0
1800.06/1800.62 c oneopt : 2.88 2 1
1800.06/1800.62 c trivial : 0.01 2 0
1800.06/1800.62 c simplerounding : 0.00 0 0
1800.06/1800.62 c zirounding : 0.00 1 0
1800.06/1800.62 c rounding : 0.01 24 0
1800.06/1800.62 c shifting : 0.02 24 4
1800.06/1800.62 c intshifting : 0.00 0 0
1800.06/1800.62 c twoopt : 0.00 0 0
1800.06/1800.62 c fixandinfer : 0.00 0 0
1800.06/1800.62 c feaspump : 0.00 0 0
1800.06/1800.62 c coefdiving : 0.00 0 0
1800.06/1800.62 c pscostdiving : 0.00 0 0
1800.06/1800.62 c fracdiving : 0.00 0 0
1800.06/1800.62 c veclendiving : 0.00 0 0
1800.06/1800.62 c intdiving : 0.00 0 0
1800.06/1800.62 c actconsdiving : 0.00 0 0
1800.06/1800.62 c objpscostdiving : 0.00 0 0
1800.06/1800.62 c rootsoldiving : 0.00 0 0
1800.06/1800.62 c linesearchdiving : 0.00 0 0
1800.06/1800.62 c guideddiving : 0.00 0 0
1800.06/1800.62 c octane : 0.00 0 0
1800.06/1800.62 c rens : 0.01 1 0
1800.06/1800.62 c rins : 0.00 0 0
1800.06/1800.62 c localbranching : 0.00 0 0
1800.06/1800.62 c mutation : 0.00 0 0
1800.06/1800.62 c dins : 0.00 0 0
1800.06/1800.62 c undercover : 0.00 0 0
1800.06/1800.62 c nlp : 3.15 0 0
1800.06/1800.62 c trysol : 2.14 0 0
1800.06/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.62 c dual LP : 0.09 24 377 15.71 4188.89
1800.06/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.62 c strong branching : 0.11 24 961 40.04 8736.36
1800.06/1800.62 c (at root node) : - 24 961 40.04 -
1800.06/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.62 c B&B Tree :
1800.06/1800.62 c number of runs : 1
1800.06/1800.62 c nodes : 5331856
1800.06/1800.62 c nodes (total) : 5331856
1800.06/1800.62 c nodes left : 34
1800.06/1800.62 c max depth : 103
1800.06/1800.62 c max depth (total): 103
1800.06/1800.62 c backtracks : 1692249 (31.7%)
1800.06/1800.62 c delayed cutoffs : 1694601
1800.06/1800.62 c repropagations : 5399490 (95704218 domain reductions, 1685790 cutoffs)
1800.06/1800.62 c avg switch length: 2.72
1800.06/1800.62 c switching time : 261.71
1800.06/1800.62 c Solution :
1800.06/1800.62 c Solutions found : 5 (2 improvements)
1800.06/1800.62 c First Solution : +1.37800000000000e+03 (in run 1, after 1 nodes, 0.34 seconds, depth 0, found by <shifting>)
1800.06/1800.62 c Primal Bound : +1.35900000000000e+03 (in run 1, after 1 nodes, 0.37 seconds, depth 0, found by <oneopt>)
1800.06/1800.62 c Dual Bound : +1.35425000000000e+03
1800.06/1800.62 c Gap : 0.35 %
1800.06/1800.62 c Root Dual Bound : +1.33500000000000e+03
1800.06/1800.62 c Root Iterations : 377
1800.06/1800.64 c Time complete: 1800.1.