0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2664199-1276471070.opb>
0.01/0.07 c original problem has 534 variables (534 bin, 0 int, 0 impl, 0 cont) and 3013 constraints
0.01/0.07 c problem read
0.01/0.07 c presolving settings loaded
0.01/0.07 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.01/0.09 c presolving:
0.09/0.16 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2938 upgd conss, 20502 impls, 0 clqs
0.09/0.17 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3013 upgd conss, 20502 impls, 0 clqs
0.19/0.23 c (0.1s) probing: 101/534 (18.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.23 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.23 c presolving (3 rounds):
0.19/0.23 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.23 c 20502 implications, 0 cliques
0.19/0.23 c presolved problem has 534 variables (534 bin, 0 int, 0 impl, 0 cont) and 3013 constraints
0.19/0.23 c 3013 constraints of type <logicor>
0.19/0.23 c transformed objective value is always integral (scale: 1)
0.19/0.23 c Presolving Time: 0.13
0.19/0.23 c - non default parameters ----------------------------------------------------------------------
0.19/0.23 c # SCIP version 1.2.1.2
0.19/0.23 c
0.19/0.23 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.23 c conflict/interconss = 0
0.19/0.23 c
0.19/0.23 c # should binary conflicts be preferred?
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c conflict/preferbinary = TRUE
0.19/0.23 c
0.19/0.23 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.23 c constraints/agelimit = 1
0.19/0.23 c
0.19/0.23 c # should enforcement of pseudo solution be disabled?
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/disableenfops = TRUE
0.19/0.23 c
0.19/0.23 c # frequency for displaying node information lines
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.23 c display/freq = 10000
0.19/0.23 c
0.19/0.23 c # maximal time in seconds to run
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/time = 1799.94
0.19/0.23 c
0.19/0.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/memory = 1620
0.19/0.23 c
0.19/0.23 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.23 c lp/solvefreq = -1
0.19/0.23 c
0.19/0.23 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.19/0.23 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.23 c lp/pricing = a
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify inequalities
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/linear/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify knapsacks
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # priority of node selection rule <dfs> in standard mode
0.19/0.23 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.23 c nodeselection/dfs/stdpriority = 1000000
0.19/0.23 c
0.19/0.23 c -----------------------------------------------------------------------------------------------
0.19/0.23 c start solving
0.19/0.23 c
0.19/0.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.23 c 0.1s| 1 | 2 | 0 | - |4191k| 0 | - | 534 |3013 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.26 o 258
0.19/0.26 c * 0.2s| 57 | 26 | 0 | 0.0 |4253k| 37 | - | 534 |3019 | 0 | 0 | 0 | 13 | 0 | 1.000000e+00 | 2.580000e+02 | Large
0.19/0.27 o 257
0.19/0.27 c * 0.2s| 124 | 29 | 0 | 0.0 |4264k| 37 | - | 534 |3019 | 0 | 0 | 0 | 23 | 0 | 1.000000e+00 | 2.570000e+02 | Large
0.19/0.28 o 256
0.19/0.28 c * 0.2s| 149 | 29 | 0 | 0.0 |4272k| 37 | - | 534 |3021 | 0 | 0 | 0 | 27 | 0 | 1.000000e+00 | 2.560000e+02 | Large
0.69/0.78 o 255
0.69/0.78 c * 0.7s| 2395 | 29 | 0 | 0.0 |4285k| 43 | - | 534 |3023 | 0 | 0 | 0 | 355 | 0 | 1.000000e+00 | 2.550000e+02 | Large
0.69/0.79 o 252
0.69/0.79 c * 0.7s| 2443 | 35 | 0 | 0.0 |4293k| 55 | - | 534 |3021 | 0 | 0 | 0 | 358 | 0 | 1.000000e+00 | 2.520000e+02 | Large
0.79/0.81 o 251
0.79/0.81 c * 0.7s| 2511 | 34 | 0 | 0.0 |4300k| 55 | - | 534 |3023 | 0 | 0 | 0 | 371 | 0 | 1.000000e+00 | 2.510000e+02 | Large
0.79/0.87 o 250
0.79/0.87 c * 0.7s| 2796 | 28 | 0 | 0.0 |4306k| 55 | - | 534 |3022 | 0 | 0 | 0 | 418 | 0 | 1.000000e+00 | 2.500000e+02 | Large
2.59/2.64 c 2.4s| 10000 | 36 | 0 | 0.0 |4313k| 55 | - | 534 |3013 | 0 | 0 | 0 |1732 | 0 | 1.000000e+00 | 2.500000e+02 | Large
2.69/2.73 o 249
2.69/2.73 c * 2.5s| 10342 | 36 | 0 | 0.0 |4323k| 55 | - | 534 |3016 | 0 | 0 | 0 |1835 | 0 | 1.000000e+00 | 2.490000e+02 | Large
3.69/3.70 o 246
3.69/3.70 c * 3.4s| 14901 | 49 | 0 | 0.0 |4333k| 65 | - | 534 |3013 | 0 | 0 | 0 |2565 | 0 | 1.000000e+00 | 2.460000e+02 | Large
3.69/3.70 o 245
3.69/3.70 c * 3.4s| 14908 | 48 | 0 | 0.0 |4339k| 65 | - | 534 |3013 | 0 | 0 | 0 |2565 | 0 | 1.000000e+00 | 2.450000e+02 | Large
3.99/4.03 o 244
3.99/4.03 c * 3.7s| 16314 | 32 | 0 | 0.0 |4345k| 65 | - | 534 |3016 | 0 | 0 | 0 |2852 | 0 | 1.000000e+00 | 2.440000e+02 | Large
4.89/4.93 c 4.5s| 20000 | 29 | 0 | 0.0 |4343k| 65 | - | 534 |3018 | 0 | 0 | 0 |3590 | 0 | 1.000000e+00 | 2.440000e+02 | Large
5.09/5.12 o 237
5.09/5.12 c * 4.7s| 20851 | 62 | 0 | 0.0 |4361k| 84 | - | 534 |3017 | 0 | 0 | 0 |3702 | 0 | 1.000000e+00 | 2.370000e+02 | Large
5.09/5.13 o 236
5.09/5.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.09/5.13 c * 4.7s| 20904 | 56 | 0 | 0.0 |4367k| 84 | - | 534 |3020 | 0 | 0 | 0 |3715 | 0 | 1.000000e+00 | 2.360000e+02 | Large
5.49/5.51 o 235
5.49/5.51 c * 5.1s| 22360 | 39 | 0 | 0.0 |4371k| 84 | - | 534 |3020 | 0 | 0 | 0 |4049 | 0 | 1.000000e+00 | 2.350000e+02 | Large
7.39/7.45 c 6.9s| 30000 | 27 | 0 | 0.0 |4364k| 84 | - | 534 |3016 | 0 | 0 | 0 |5363 | 0 | 1.000000e+00 | 2.350000e+02 | Large
9.99/10.01 c 9.2s| 40000 | 26 | 0 | 0.0 |4380k| 84 | - | 534 |3038 | 0 | 0 | 0 |7023 | 0 | 1.000000e+00 | 2.350000e+02 | Large
13.39/13.44 c 12.5s| 50000 | 28 | 0 | 0.0 |4417k| 84 | - | 534 |3029 | 0 | 0 | 0 |9250 | 0 | 1.000000e+00 | 2.350000e+02 | Large
15.99/16.09 c 14.9s| 60000 | 16 | 0 | 0.0 |4431k| 84 | - | 534 |3057 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | 2.350000e+02 | Large
19.38/19.41 c 18.1s| 70000 | 37 | 0 | 0.0 |4444k| 84 | - | 534 |3028 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | 2.350000e+02 | Large
22.18/22.26 c 20.7s| 80000 | 32 | 0 | 0.0 |4440k| 84 | - | 534 |3025 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 2.350000e+02 | Large
25.39/25.43 c 23.7s| 90000 | 31 | 0 | 0.0 |4450k| 84 | - | 534 |3047 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 2.350000e+02 | Large
28.19/28.24 c 26.3s|100000 | 52 | 0 | 0.0 |4463k| 84 | - | 534 |3061 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | 2.350000e+02 | Large
31.38/31.43 c 29.3s|110000 | 18 | 0 | 0.0 |4467k| 84 | - | 534 |3079 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 2.350000e+02 | Large
34.18/34.23 c 32.0s|120000 | 25 | 0 | 0.0 |4454k| 84 | - | 534 |3031 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | 2.350000e+02 | Large
36.68/36.77 c 34.4s|130000 | 31 | 0 | 0.0 |4458k| 84 | - | 534 |3037 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 2.350000e+02 | Large
39.28/39.39 c 36.8s|140000 | 22 | 0 | 0.0 |4474k| 84 | - | 534 |3073 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 2.350000e+02 | Large
42.08/42.12 c 39.4s|150000 | 19 | 0 | 0.0 |4469k| 84 | - | 534 |3061 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 2.350000e+02 | Large
44.88/44.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.88/44.91 c 41.9s|160000 | 17 | 0 | 0.0 |4489k| 84 | - | 534 |3106 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 2.350000e+02 | Large
47.48/47.56 c 44.4s|170000 | 42 | 0 | 0.0 |4473k| 84 | - | 534 |3043 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 2.350000e+02 | Large
50.07/50.16 c 46.8s|180000 | 33 | 0 | 0.0 |4473k| 86 | - | 534 |3037 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 2.350000e+02 | Large
52.69/52.73 c 49.2s|190000 | 24 | 0 | 0.0 |4490k| 86 | - | 534 |3084 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | 2.350000e+02 | Large
55.48/55.52 c 51.8s|200000 | 33 | 0 | 0.0 |4479k| 86 | - | 534 |3049 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | 2.350000e+02 | Large
57.97/58.04 c 54.2s|210000 | 76 | 0 | 0.0 |4493k| 96 | - | 534 |3049 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | 2.350000e+02 | Large
60.58/60.65 c 56.6s|220000 | 74 | 0 | 0.0 |4493k| 98 | - | 534 |3049 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | 2.350000e+02 | Large
63.18/63.23 c 59.0s|230000 | 72 | 0 | 0.0 |4492k| 98 | - | 534 |3049 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | 2.350000e+02 | Large
65.57/65.69 c 61.3s|240000 | 82 | 0 | 0.0 |4494k| 98 | - | 534 |3049 | 0 | 0 | 0 | 48k| 0 | 1.000000e+00 | 2.350000e+02 | Large
68.18/68.23 c 63.7s|250000 | 76 | 0 | 0.0 |4493k| 100 | - | 534 |3049 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | 2.350000e+02 | Large
70.67/70.80 c 66.1s|260000 | 75 | 0 | 0.0 |4493k| 100 | - | 534 |3049 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | 2.350000e+02 | Large
73.37/73.45 c 68.6s|270000 | 73 | 0 | 0.0 |4492k| 100 | - | 534 |3049 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 2.350000e+02 | Large
75.97/76.00 c 71.0s|280000 | 73 | 0 | 0.0 |4494k| 100 | - | 534 |3051 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 2.350000e+02 | Large
78.47/78.55 c 73.3s|290000 | 76 | 0 | 0.0 |4493k| 100 | - | 534 |3049 | 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | 2.350000e+02 | Large
81.07/81.11 c 75.7s|300000 | 73 | 0 | 0.0 |4492k| 100 | - | 534 |3049 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | 2.350000e+02 | Large
83.67/83.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.67/83.75 c 78.2s|310000 | 74 | 0 | 0.0 |4495k| 100 | - | 534 |3049 | 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | 2.350000e+02 | Large
86.47/86.55 c 80.8s|320000 | 70 | 0 | 0.0 |4492k| 100 | - | 534 |3049 | 0 | 0 | 0 | 69k| 0 | 1.000000e+00 | 2.350000e+02 | Large
89.27/89.36 c 83.4s|330000 | 69 | 0 | 0.0 |4493k| 100 | - | 534 |3049 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | 2.350000e+02 | Large
91.96/92.06 c 85.9s|340000 | 76 | 0 | 0.0 |4493k| 100 | - | 534 |3049 | 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | 2.350000e+02 | Large
94.66/94.74 c 88.4s|350000 | 75 | 0 | 0.0 |4493k| 100 | - | 534 |3049 | 0 | 0 | 0 | 78k| 0 | 1.000000e+00 | 2.350000e+02 | Large
97.36/97.41 c 91.0s|360000 | 70 | 0 | 0.0 |4494k| 100 | - | 534 |3049 | 0 | 0 | 0 | 80k| 0 | 1.000000e+00 | 2.350000e+02 | Large
99.97/100.02 c 93.4s|370000 | 73 | 0 | 0.0 |4494k| 100 | - | 534 |3049 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | 2.350000e+02 | Large
102.56/102.64 c 95.8s|380000 | 67 | 0 | 0.0 |4491k| 100 | - | 534 |3049 | 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | 2.350000e+02 | Large
105.27/105.40 c 98.4s|390000 | 75 | 0 | 0.0 |4494k| 100 | - | 534 |3049 | 0 | 0 | 0 | 89k| 0 | 1.000000e+00 | 2.350000e+02 | Large
108.06/108.16 c 101s|400000 | 76 | 0 | 0.0 |4494k| 100 | - | 534 |3049 | 0 | 0 | 0 | 91k| 0 | 1.000000e+00 | 2.350000e+02 | Large
110.76/110.81 c 103s|410000 | 75 | 0 | 0.0 |4493k| 100 | - | 534 |3049 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | 2.350000e+02 | Large
113.46/113.51 c 106s|420000 | 72 | 0 | 0.0 |4492k| 100 | - | 534 |3049 | 0 | 0 | 0 | 97k| 0 | 1.000000e+00 | 2.350000e+02 | Large
115.96/116.01 c 108s|430000 | 76 | 0 | 0.0 |4493k| 100 | - | 534 |3049 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | 2.350000e+02 | Large
118.86/118.95 c 111s|440000 | 74 | 0 | 0.0 |4494k| 100 | - | 534 |3049 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | 2.350000e+02 | Large
121.66/121.77 c 114s|450000 | 74 | 0 | 0.0 |4495k| 100 | - | 534 |3049 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | 2.350000e+02 | Large
124.36/124.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.36/124.48 c 116s|460000 | 72 | 0 | 0.0 |4493k| 100 | - | 534 |3049 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | 2.350000e+02 | Large
126.95/127.00 c 119s|470000 | 76 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | 2.350000e+02 | Large
129.55/129.63 c 121s|480000 | 73 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | 2.350000e+02 | Large
132.06/132.16 c 123s|490000 | 66 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 116k| 0 | 1.000000e+00 | 2.350000e+02 | Large
134.75/134.83 c 126s|500000 | 75 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 119k| 0 | 1.000000e+00 | 2.350000e+02 | Large
137.46/137.52 c 129s|510000 | 72 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | 2.350000e+02 | Large
140.25/140.38 c 131s|520000 | 75 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | 2.350000e+02 | Large
142.86/142.92 c 134s|530000 | 72 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 127k| 0 | 1.000000e+00 | 2.350000e+02 | Large
145.45/145.59 c 136s|540000 | 74 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | 2.350000e+02 | Large
148.05/148.16 c 138s|550000 | 70 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 132k| 0 | 1.000000e+00 | 2.350000e+02 | Large
150.55/150.62 c 141s|560000 | 71 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | 2.350000e+02 | Large
153.25/153.37 c 143s|570000 | 69 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | 2.350000e+02 | Large
156.25/156.38 c 146s|580000 | 76 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | 2.350000e+02 | Large
159.05/159.13 c 149s|590000 | 70 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 144k| 0 | 1.000000e+00 | 2.350000e+02 | Large
161.75/161.89 c 151s|600000 | 74 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 146k| 0 | 1.000000e+00 | 2.350000e+02 | Large
164.45/164.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.45/164.51 c 154s|610000 | 75 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 149k| 0 | 1.000000e+00 | 2.350000e+02 | Large
167.16/167.26 c 156s|620000 | 66 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 152k| 0 | 1.000000e+00 | 2.350000e+02 | Large
169.84/169.94 c 159s|630000 | 71 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 155k| 0 | 1.000000e+00 | 2.350000e+02 | Large
172.55/172.67 c 161s|640000 | 68 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | 2.350000e+02 | Large
175.25/175.40 c 164s|650000 | 77 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 | 161k| 0 | 1.000000e+00 | 2.350000e+02 | Large
177.85/177.99 c 166s|660000 | 75 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | 2.350000e+02 | Large
180.44/180.54 c 169s|670000 | 72 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 | 166k| 0 | 1.000000e+00 | 2.350000e+02 | Large
183.04/183.18 c 171s|680000 | 69 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | 2.350000e+02 | Large
186.04/186.16 c 174s|690000 | 69 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 172k| 0 | 1.000000e+00 | 2.350000e+02 | Large
188.64/188.75 c 177s|700000 | 72 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 175k| 0 | 1.000000e+00 | 2.350000e+02 | Large
191.25/191.38 c 179s|710000 | 74 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 177k| 0 | 1.000000e+00 | 2.350000e+02 | Large
193.94/194.03 c 182s|720000 | 74 | 0 | 0.0 |4494k| 104 | - | 534 |3050 | 0 | 0 | 0 | 180k| 0 | 1.000000e+00 | 2.350000e+02 | Large
196.54/196.62 c 184s|730000 | 75 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 183k| 0 | 1.000000e+00 | 2.350000e+02 | Large
199.04/199.13 c 186s|740000 | 71 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 185k| 0 | 1.000000e+00 | 2.350000e+02 | Large
201.64/201.78 c 189s|750000 | 67 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | 2.350000e+02 | Large
204.14/204.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
204.14/204.24 c 191s|760000 | 77 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 2.350000e+02 | Large
206.83/206.90 c 194s|770000 | 76 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 2.350000e+02 | Large
209.43/209.57 c 196s|780000 | 74 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 2.350000e+02 | Large
212.24/212.38 c 199s|790000 | 70 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | 2.350000e+02 | Large
215.13/215.25 c 201s|800000 | 69 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 202k| 0 | 1.000000e+00 | 2.350000e+02 | Large
217.93/218.03 c 204s|810000 | 74 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 205k| 0 | 1.000000e+00 | 2.350000e+02 | Large
220.43/220.52 c 206s|820000 | 81 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 | 207k| 0 | 1.000000e+00 | 2.350000e+02 | Large
222.83/222.95 c 209s|830000 | 70 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 210k| 0 | 1.000000e+00 | 2.350000e+02 | Large
225.43/225.52 c 211s|840000 | 74 | 0 | 0.0 |4494k| 104 | - | 534 |3050 | 0 | 0 | 0 | 212k| 0 | 1.000000e+00 | 2.350000e+02 | Large
227.93/228.05 c 213s|850000 | 76 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | 2.350000e+02 | Large
230.43/230.54 c 216s|860000 | 72 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 217k| 0 | 1.000000e+00 | 2.350000e+02 | Large
233.13/233.29 c 218s|870000 | 71 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | 2.350000e+02 | Large
235.73/235.85 c 221s|880000 | 67 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 223k| 0 | 1.000000e+00 | 2.350000e+02 | Large
238.23/238.30 c 223s|890000 | 69 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 225k| 0 | 1.000000e+00 | 2.350000e+02 | Large
240.63/240.76 c 225s|900000 | 71 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 | 228k| 0 | 1.000000e+00 | 2.350000e+02 | Large
243.22/243.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
243.22/243.35 c 228s|910000 | 70 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 230k| 0 | 1.000000e+00 | 2.350000e+02 | Large
245.93/246.09 c 230s|920000 | 68 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 233k| 0 | 1.000000e+00 | 2.350000e+02 | Large
248.72/248.88 c 233s|930000 | 75 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 236k| 0 | 1.000000e+00 | 2.350000e+02 | Large
251.52/251.66 c 235s|940000 | 71 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | 2.350000e+02 | Large
254.13/254.27 c 238s|950000 | 75 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 242k| 0 | 1.000000e+00 | 2.350000e+02 | Large
256.92/257.03 c 241s|960000 | 74 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 245k| 0 | 1.000000e+00 | 2.350000e+02 | Large
259.82/259.91 c 243s|970000 | 75 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 248k| 0 | 1.000000e+00 | 2.350000e+02 | Large
262.42/262.56 c 246s|980000 | 80 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 | 250k| 0 | 1.000000e+00 | 2.350000e+02 | Large
265.02/265.15 c 248s|990000 | 77 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 253k| 0 | 1.000000e+00 | 2.350000e+02 | Large
267.62/267.73 c 251s| 1000k| 74 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 256k| 0 | 1.000000e+00 | 2.350000e+02 | Large
270.53/270.62 c 253s| 1010k| 71 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 259k| 0 | 1.000000e+00 | 2.350000e+02 | Large
272.92/273.09 c 256s| 1020k| 72 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 | 261k| 0 | 1.000000e+00 | 2.350000e+02 | Large
275.52/275.64 c 258s| 1030k| 70 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 264k| 0 | 1.000000e+00 | 2.350000e+02 | Large
278.32/278.44 c 261s| 1040k| 67 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 267k| 0 | 1.000000e+00 | 2.350000e+02 | Large
280.91/281.08 c 263s| 1050k| 77 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 270k| 0 | 1.000000e+00 | 2.350000e+02 | Large
283.62/283.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
283.62/283.79 c 266s| 1060k| 74 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 273k| 0 | 1.000000e+00 | 2.350000e+02 | Large
286.32/286.43 c 268s| 1070k| 71 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 275k| 0 | 1.000000e+00 | 2.350000e+02 | Large
289.12/289.24 c 271s| 1080k| 69 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 278k| 0 | 1.000000e+00 | 2.350000e+02 | Large
291.61/291.79 c 273s| 1090k| 71 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 281k| 0 | 1.000000e+00 | 2.350000e+02 | Large
294.51/294.68 c 276s| 1100k| 69 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 284k| 0 | 1.000000e+00 | 2.350000e+02 | Large
297.51/297.68 c 279s| 1110k| 73 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 286k| 0 | 1.000000e+00 | 2.350000e+02 | Large
300.31/300.43 c 281s| 1120k| 79 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 289k| 0 | 1.000000e+00 | 2.350000e+02 | Large
303.21/303.31 c 284s| 1130k| 68 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 292k| 0 | 1.000000e+00 | 2.350000e+02 | Large
305.81/305.95 c 286s| 1140k| 68 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 | 295k| 0 | 1.000000e+00 | 2.350000e+02 | Large
308.92/309.05 c 289s| 1150k| 70 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 298k| 0 | 1.000000e+00 | 2.350000e+02 | Large
311.61/311.73 c 292s| 1160k| 78 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 301k| 0 | 1.000000e+00 | 2.350000e+02 | Large
314.42/314.53 c 294s| 1170k| 71 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 304k| 0 | 1.000000e+00 | 2.350000e+02 | Large
317.30/317.49 c 297s| 1180k| 74 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 307k| 0 | 1.000000e+00 | 2.350000e+02 | Large
320.01/320.14 c 300s| 1190k| 71 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 310k| 0 | 1.000000e+00 | 2.350000e+02 | Large
322.71/322.80 c 302s| 1200k| 71 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 312k| 0 | 1.000000e+00 | 2.350000e+02 | Large
325.30/325.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
325.30/325.47 c 305s| 1210k| 76 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 315k| 0 | 1.000000e+00 | 2.350000e+02 | Large
328.10/328.26 c 307s| 1220k| 72 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 318k| 0 | 1.000000e+00 | 2.350000e+02 | Large
330.81/330.92 c 310s| 1230k| 67 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 321k| 0 | 1.000000e+00 | 2.350000e+02 | Large
333.50/333.67 c 312s| 1240k| 67 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 | 324k| 0 | 1.000000e+00 | 2.350000e+02 | Large
336.50/336.62 c 315s| 1250k| 65 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 327k| 0 | 1.000000e+00 | 2.350000e+02 | Large
339.30/339.48 c 318s| 1260k| 72 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 330k| 0 | 1.000000e+00 | 2.350000e+02 | Large
342.30/342.42 c 321s| 1270k| 69 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 333k| 0 | 1.000000e+00 | 2.350000e+02 | Large
345.31/345.46 c 324s| 1280k| 71 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 336k| 0 | 1.000000e+00 | 2.350000e+02 | Large
348.29/348.43 c 326s| 1290k| 71 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 339k| 0 | 1.000000e+00 | 2.350000e+02 | Large
351.30/351.49 c 329s| 1300k| 74 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 342k| 0 | 1.000000e+00 | 2.350000e+02 | Large
354.39/354.56 c 332s| 1310k| 66 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 345k| 0 | 1.000000e+00 | 2.350000e+02 | Large
357.60/357.79 c 335s| 1320k| 69 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 349k| 0 | 1.000000e+00 | 2.350000e+02 | Large
360.70/360.85 c 338s| 1330k| 68 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 | 352k| 0 | 1.000000e+00 | 2.350000e+02 | Large
363.59/363.79 c 341s| 1340k| 67 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 354k| 0 | 1.000000e+00 | 2.350000e+02 | Large
366.69/366.83 c 344s| 1350k| 68 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 358k| 0 | 1.000000e+00 | 2.350000e+02 | Large
369.40/369.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
369.40/369.60 c 346s| 1360k| 71 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 360k| 0 | 1.000000e+00 | 2.350000e+02 | Large
372.29/372.45 c 349s| 1370k| 67 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 363k| 0 | 1.000000e+00 | 2.350000e+02 | Large
375.09/375.29 c 352s| 1380k| 68 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 366k| 0 | 1.000000e+00 | 2.350000e+02 | Large
377.89/378.08 c 354s| 1390k| 69 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 369k| 0 | 1.000000e+00 | 2.350000e+02 | Large
380.69/380.85 c 357s| 1400k| 71 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 372k| 0 | 1.000000e+00 | 2.350000e+02 | Large
383.49/383.65 c 360s| 1410k| 71 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 375k| 0 | 1.000000e+00 | 2.350000e+02 | Large
386.28/386.44 c 362s| 1420k| 72 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 378k| 0 | 1.000000e+00 | 2.350000e+02 | Large
389.20/389.39 c 365s| 1430k| 67 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 381k| 0 | 1.000000e+00 | 2.350000e+02 | Large
392.19/392.34 c 368s| 1440k| 70 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 384k| 0 | 1.000000e+00 | 2.350000e+02 | Large
395.28/395.42 c 371s| 1450k| 71 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 387k| 0 | 1.000000e+00 | 2.350000e+02 | Large
398.18/398.31 c 373s| 1460k| 69 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 390k| 0 | 1.000000e+00 | 2.350000e+02 | Large
400.89/401.09 c 376s| 1470k| 73 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 392k| 0 | 1.000000e+00 | 2.350000e+02 | Large
403.68/403.83 c 378s| 1480k| 70 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 395k| 0 | 1.000000e+00 | 2.350000e+02 | Large
406.48/406.63 c 381s| 1490k| 69 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 398k| 0 | 1.000000e+00 | 2.350000e+02 | Large
409.68/409.82 c 384s| 1500k| 66 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 402k| 0 | 1.000000e+00 | 2.350000e+02 | Large
412.88/413.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
412.88/413.02 c 387s| 1510k| 69 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 405k| 0 | 1.000000e+00 | 2.350000e+02 | Large
415.97/416.10 c 390s| 1520k| 66 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 408k| 0 | 1.000000e+00 | 2.350000e+02 | Large
418.98/419.11 c 393s| 1530k| 71 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 | 411k| 0 | 1.000000e+00 | 2.350000e+02 | Large
422.08/422.26 c 396s| 1540k| 65 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 415k| 0 | 1.000000e+00 | 2.350000e+02 | Large
424.98/425.15 c 399s| 1550k| 75 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 418k| 0 | 1.000000e+00 | 2.350000e+02 | Large
428.17/428.31 c 401s| 1560k| 78 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 | 421k| 0 | 1.000000e+00 | 2.350000e+02 | Large
431.48/431.66 c 405s| 1570k| 70 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 424k| 0 | 1.000000e+00 | 2.350000e+02 | Large
434.28/434.42 c 407s| 1580k| 67 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 427k| 0 | 1.000000e+00 | 2.350000e+02 | Large
436.87/437.07 c 410s| 1590k| 66 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 430k| 0 | 1.000000e+00 | 2.350000e+02 | Large
439.88/440.08 c 413s| 1600k| 74 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 433k| 0 | 1.000000e+00 | 2.350000e+02 | Large
442.87/443.08 c 415s| 1610k| 70 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 436k| 0 | 1.000000e+00 | 2.350000e+02 | Large
446.27/446.48 c 419s| 1620k| 71 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 440k| 0 | 1.000000e+00 | 2.350000e+02 | Large
449.87/450.06 c 422s| 1630k| 64 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 443k| 0 | 1.000000e+00 | 2.350000e+02 | Large
453.07/453.27 c 425s| 1640k| 65 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 446k| 0 | 1.000000e+00 | 2.350000e+02 | Large
456.27/456.49 c 428s| 1650k| 73 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 449k| 0 | 1.000000e+00 | 2.350000e+02 | Large
459.58/459.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
459.58/459.79 c 431s| 1660k| 64 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 452k| 0 | 1.000000e+00 | 2.350000e+02 | Large
462.67/462.88 c 434s| 1670k| 69 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 455k| 0 | 1.000000e+00 | 2.350000e+02 | Large
466.06/466.23 c 437s| 1680k| 70 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 458k| 0 | 1.000000e+00 | 2.350000e+02 | Large
469.26/469.41 c 440s| 1690k| 70 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 461k| 0 | 1.000000e+00 | 2.350000e+02 | Large
472.66/472.84 c 443s| 1700k| 65 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 465k| 0 | 1.000000e+00 | 2.350000e+02 | Large
475.76/475.97 c 446s| 1710k| 68 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 468k| 0 | 1.000000e+00 | 2.350000e+02 | Large
479.26/479.47 c 450s| 1720k| 66 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 471k| 0 | 1.000000e+00 | 2.350000e+02 | Large
482.96/483.18 c 453s| 1730k| 68 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 474k| 0 | 1.000000e+00 | 2.350000e+02 | Large
486.36/486.58 c 456s| 1740k| 66 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 477k| 0 | 1.000000e+00 | 2.350000e+02 | Large
489.66/489.89 c 459s| 1750k| 65 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 480k| 0 | 1.000000e+00 | 2.350000e+02 | Large
493.16/493.32 c 463s| 1760k| 63 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 483k| 0 | 1.000000e+00 | 2.350000e+02 | Large
496.45/496.65 c 466s| 1770k| 69 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 486k| 0 | 1.000000e+00 | 2.350000e+02 | Large
499.96/500.13 c 469s| 1780k| 64 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 489k| 0 | 1.000000e+00 | 2.350000e+02 | Large
503.46/503.62 c 472s| 1790k| 73 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 493k| 0 | 1.000000e+00 | 2.350000e+02 | Large
506.55/506.77 c 475s| 1800k| 66 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 496k| 0 | 1.000000e+00 | 2.350000e+02 | Large
510.06/510.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
510.06/510.25 c 479s| 1810k| 65 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 499k| 0 | 1.000000e+00 | 2.350000e+02 | Large
513.65/513.87 c 482s| 1820k| 63 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 502k| 0 | 1.000000e+00 | 2.350000e+02 | Large
517.25/517.40 c 485s| 1830k| 67 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 506k| 0 | 1.000000e+00 | 2.350000e+02 | Large
520.25/520.49 c 488s| 1840k| 67 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 509k| 0 | 1.000000e+00 | 2.350000e+02 | Large
523.55/523.78 c 491s| 1850k| 64 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 512k| 0 | 1.000000e+00 | 2.350000e+02 | Large
526.65/526.84 c 494s| 1860k| 71 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 515k| 0 | 1.000000e+00 | 2.350000e+02 | Large
529.84/530.02 c 497s| 1870k| 68 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 519k| 0 | 1.000000e+00 | 2.350000e+02 | Large
533.04/533.29 c 500s| 1880k| 67 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 522k| 0 | 1.000000e+00 | 2.350000e+02 | Large
536.24/536.41 c 503s| 1890k| 68 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 525k| 0 | 1.000000e+00 | 2.350000e+02 | Large
539.05/539.26 c 506s| 1900k| 67 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 528k| 0 | 1.000000e+00 | 2.350000e+02 | Large
542.25/542.46 c 509s| 1910k| 60 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 532k| 0 | 1.000000e+00 | 2.350000e+02 | Large
545.05/545.23 c 512s| 1920k| 70 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 535k| 0 | 1.000000e+00 | 2.350000e+02 | Large
547.84/548.04 c 514s| 1930k| 75 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 537k| 0 | 1.000000e+00 | 2.350000e+02 | Large
550.64/550.88 c 517s| 1940k| 68 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 | 540k| 0 | 1.000000e+00 | 2.350000e+02 | Large
553.24/553.48 c 519s| 1950k| 65 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 543k| 0 | 1.000000e+00 | 2.350000e+02 | Large
556.24/556.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
556.24/556.41 c 522s| 1960k| 67 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 546k| 0 | 1.000000e+00 | 2.350000e+02 | Large
558.94/559.19 c 525s| 1970k| 74 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 549k| 0 | 1.000000e+00 | 2.350000e+02 | Large
561.74/561.94 c 527s| 1980k| 69 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 552k| 0 | 1.000000e+00 | 2.350000e+02 | Large
564.54/564.73 c 530s| 1990k| 69 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 | 555k| 0 | 1.000000e+00 | 2.350000e+02 | Large
567.35/567.56 c 533s| 2000k| 72 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 558k| 0 | 1.000000e+00 | 2.350000e+02 | Large
570.13/570.30 c 535s| 2010k| 69 | 0 | 0.0 |4496k| 104 | - | 534 |3049 | 0 | 0 | 0 | 561k| 0 | 1.000000e+00 | 2.350000e+02 | Large
572.84/573.02 c 538s| 2020k| 67 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 564k| 0 | 1.000000e+00 | 2.350000e+02 | Large
575.53/575.70 c 540s| 2030k| 65 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 566k| 0 | 1.000000e+00 | 2.350000e+02 | Large
578.34/578.53 c 543s| 2040k| 73 | 0 | 0.0 |4496k| 104 | - | 534 |3049 | 0 | 0 | 0 | 570k| 0 | 1.000000e+00 | 2.350000e+02 | Large
581.13/581.37 c 546s| 2050k| 65 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 572k| 0 | 1.000000e+00 | 2.350000e+02 | Large
584.03/584.20 c 548s| 2060k| 70 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 | 576k| 0 | 1.000000e+00 | 2.350000e+02 | Large
586.94/587.13 c 551s| 2070k| 72 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 579k| 0 | 1.000000e+00 | 2.350000e+02 | Large
589.83/590.00 c 554s| 2080k| 71 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 582k| 0 | 1.000000e+00 | 2.350000e+02 | Large
592.63/592.80 c 556s| 2090k| 70 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 584k| 0 | 1.000000e+00 | 2.350000e+02 | Large
595.53/595.76 c 559s| 2100k| 65 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 587k| 0 | 1.000000e+00 | 2.350000e+02 | Large
598.43/598.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
598.43/598.65 c 562s| 2110k| 65 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 590k| 0 | 1.000000e+00 | 2.350000e+02 | Large
601.33/601.53 c 565s| 2120k| 68 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 592k| 0 | 1.000000e+00 | 2.350000e+02 | Large
604.22/604.47 c 567s| 2130k| 71 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 596k| 0 | 1.000000e+00 | 2.350000e+02 | Large
607.43/607.65 c 570s| 2140k| 68 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 | 599k| 0 | 1.000000e+00 | 2.350000e+02 | Large
610.33/610.53 c 573s| 2150k| 71 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 601k| 0 | 1.000000e+00 | 2.350000e+02 | Large
613.02/613.29 c 576s| 2160k| 72 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 604k| 0 | 1.000000e+00 | 2.350000e+02 | Large
615.93/616.18 c 579s| 2170k| 70 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 607k| 0 | 1.000000e+00 | 2.350000e+02 | Large
618.63/618.86 c 581s| 2180k| 73 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 610k| 0 | 1.000000e+00 | 2.350000e+02 | Large
621.23/621.50 c 584s| 2190k| 69 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 613k| 0 | 1.000000e+00 | 2.350000e+02 | Large
624.02/624.22 c 586s| 2200k| 71 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 615k| 0 | 1.000000e+00 | 2.350000e+02 | Large
626.73/626.98 c 589s| 2210k| 63 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 618k| 0 | 1.000000e+00 | 2.350000e+02 | Large
629.42/629.60 c 591s| 2220k| 72 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 621k| 0 | 1.000000e+00 | 2.350000e+02 | Large
632.22/632.40 c 594s| 2230k| 69 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 624k| 0 | 1.000000e+00 | 2.350000e+02 | Large
635.02/635.24 c 596s| 2240k| 65 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 627k| 0 | 1.000000e+00 | 2.350000e+02 | Large
638.12/638.36 c 599s| 2250k| 65 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 630k| 0 | 1.000000e+00 | 2.350000e+02 | Large
640.92/641.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
640.92/641.13 c 602s| 2260k| 66 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 633k| 0 | 1.000000e+00 | 2.350000e+02 | Large
643.92/644.14 c 605s| 2270k| 66 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 636k| 0 | 1.000000e+00 | 2.350000e+02 | Large
646.91/647.13 c 608s| 2280k| 66 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 639k| 0 | 1.000000e+00 | 2.350000e+02 | Large
650.02/650.26 c 611s| 2290k| 64 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 643k| 0 | 1.000000e+00 | 2.350000e+02 | Large
652.91/653.16 c 613s| 2300k| 67 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 646k| 0 | 1.000000e+00 | 2.350000e+02 | Large
655.81/656.05 c 616s| 2310k| 65 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 648k| 0 | 1.000000e+00 | 2.350000e+02 | Large
659.11/659.32 c 619s| 2320k| 71 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 651k| 0 | 1.000000e+00 | 2.350000e+02 | Large
661.91/662.20 c 622s| 2330k| 64 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 654k| 0 | 1.000000e+00 | 2.350000e+02 | Large
664.61/664.87 c 624s| 2340k| 66 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 657k| 0 | 1.000000e+00 | 2.350000e+02 | Large
667.31/667.57 c 627s| 2350k| 68 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 660k| 0 | 1.000000e+00 | 2.350000e+02 | Large
670.01/670.21 c 629s| 2360k| 74 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 662k| 0 | 1.000000e+00 | 2.350000e+02 | Large
672.40/672.69 c 632s| 2370k| 70 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 665k| 0 | 1.000000e+00 | 2.350000e+02 | Large
675.30/675.50 c 634s| 2380k| 64 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 668k| 0 | 1.000000e+00 | 2.350000e+02 | Large
678.11/678.30 c 637s| 2390k| 62 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 671k| 0 | 1.000000e+00 | 2.350000e+02 | Large
680.80/681.04 c 640s| 2400k| 70 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 673k| 0 | 1.000000e+00 | 2.350000e+02 | Large
683.41/683.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
683.41/683.67 c 642s| 2410k| 64 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 676k| 0 | 1.000000e+00 | 2.350000e+02 | Large
686.21/686.44 c 645s| 2420k| 71 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 679k| 0 | 1.000000e+00 | 2.350000e+02 | Large
688.70/688.93 c 647s| 2430k| 68 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 682k| 0 | 1.000000e+00 | 2.350000e+02 | Large
691.40/691.68 c 650s| 2440k| 71 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 684k| 0 | 1.000000e+00 | 2.350000e+02 | Large
694.30/694.55 c 652s| 2450k| 69 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 687k| 0 | 1.000000e+00 | 2.350000e+02 | Large
696.91/697.15 c 655s| 2460k| 69 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 690k| 0 | 1.000000e+00 | 2.350000e+02 | Large
699.60/699.87 c 657s| 2470k| 66 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 693k| 0 | 1.000000e+00 | 2.350000e+02 | Large
702.50/702.76 c 660s| 2480k| 67 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 696k| 0 | 1.000000e+00 | 2.350000e+02 | Large
705.29/705.57 c 663s| 2490k| 61 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 699k| 0 | 1.000000e+00 | 2.350000e+02 | Large
708.40/708.62 c 665s| 2500k| 69 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 701k| 0 | 1.000000e+00 | 2.350000e+02 | Large
711.29/711.59 c 668s| 2510k| 66 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 704k| 0 | 1.000000e+00 | 2.350000e+02 | Large
714.10/714.38 c 671s| 2520k| 66 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 707k| 0 | 1.000000e+00 | 2.350000e+02 | Large
717.00/717.29 c 674s| 2530k| 69 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 710k| 0 | 1.000000e+00 | 2.350000e+02 | Large
719.60/719.82 c 676s| 2540k| 67 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 712k| 0 | 1.000000e+00 | 2.350000e+02 | Large
722.30/722.55 c 679s| 2550k| 70 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 715k| 0 | 1.000000e+00 | 2.350000e+02 | Large
725.19/725.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
725.19/725.43 c 681s| 2560k| 66 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 | 718k| 0 | 1.000000e+00 | 2.350000e+02 | Large
728.39/728.65 c 684s| 2570k| 64 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 721k| 0 | 1.000000e+00 | 2.350000e+02 | Large
731.20/731.43 c 687s| 2580k| 68 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 724k| 0 | 1.000000e+00 | 2.350000e+02 | Large
734.49/734.70 c 690s| 2590k| 70 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 2.350000e+02 | Large
737.29/737.57 c 693s| 2600k| 65 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 731k| 0 | 1.000000e+00 | 2.350000e+02 | Large
740.38/740.64 c 696s| 2610k| 66 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 733k| 0 | 1.000000e+00 | 2.350000e+02 | Large
743.39/743.64 c 698s| 2620k| 65 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 736k| 0 | 1.000000e+00 | 2.350000e+02 | Large
746.19/746.45 c 701s| 2630k| 64 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 739k| 0 | 1.000000e+00 | 2.350000e+02 | Large
748.89/749.16 c 704s| 2640k| 75 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 741k| 0 | 1.000000e+00 | 2.350000e+02 | Large
751.88/752.15 c 706s| 2650k| 68 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 744k| 0 | 1.000000e+00 | 2.350000e+02 | Large
754.98/755.27 c 709s| 2660k| 70 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 | 747k| 0 | 1.000000e+00 | 2.350000e+02 | Large
758.08/758.31 c 712s| 2670k| 66 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 750k| 0 | 1.000000e+00 | 2.350000e+02 | Large
760.99/761.24 c 715s| 2680k| 71 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 752k| 0 | 1.000000e+00 | 2.350000e+02 | Large
763.88/764.16 c 718s| 2690k| 70 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 755k| 0 | 1.000000e+00 | 2.350000e+02 | Large
766.68/766.98 c 720s| 2700k| 67 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 757k| 0 | 1.000000e+00 | 2.350000e+02 | Large
769.88/770.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
769.88/770.19 c 723s| 2710k| 69 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 760k| 0 | 1.000000e+00 | 2.350000e+02 | Large
772.99/773.29 c 726s| 2720k| 65 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 763k| 0 | 1.000000e+00 | 2.350000e+02 | Large
775.97/776.22 c 729s| 2730k| 68 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 766k| 0 | 1.000000e+00 | 2.350000e+02 | Large
778.78/779.06 c 732s| 2740k| 69 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 769k| 0 | 1.000000e+00 | 2.350000e+02 | Large
781.38/781.68 c 734s| 2750k| 71 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 772k| 0 | 1.000000e+00 | 2.350000e+02 | Large
784.09/784.35 c 737s| 2760k| 68 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 775k| 0 | 1.000000e+00 | 2.350000e+02 | Large
786.87/787.12 c 739s| 2770k| 69 | 0 | 0.0 |4496k| 104 | - | 534 |3049 | 0 | 0 | 0 | 777k| 0 | 1.000000e+00 | 2.350000e+02 | Large
789.58/789.82 c 742s| 2780k| 68 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 780k| 0 | 1.000000e+00 | 2.350000e+02 | Large
792.27/792.59 c 744s| 2790k| 68 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 783k| 0 | 1.000000e+00 | 2.350000e+02 | Large
795.27/795.50 c 747s| 2800k| 65 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 786k| 0 | 1.000000e+00 | 2.350000e+02 | Large
798.07/798.33 c 750s| 2810k| 61 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 789k| 0 | 1.000000e+00 | 2.350000e+02 | Large
800.78/801.06 c 752s| 2820k| 68 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 792k| 0 | 1.000000e+00 | 2.350000e+02 | Large
803.57/803.87 c 755s| 2830k| 66 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 795k| 0 | 1.000000e+00 | 2.350000e+02 | Large
806.37/806.63 c 758s| 2840k| 66 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 797k| 0 | 1.000000e+00 | 2.350000e+02 | Large
809.17/809.42 c 760s| 2850k| 69 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 800k| 0 | 1.000000e+00 | 2.350000e+02 | Large
811.97/812.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
811.97/812.27 c 763s| 2860k| 75 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 | 803k| 0 | 1.000000e+00 | 2.350000e+02 | Large
814.97/815.27 c 766s| 2870k| 70 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 806k| 0 | 1.000000e+00 | 2.350000e+02 | Large
818.17/818.46 c 769s| 2880k| 68 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 | 809k| 0 | 1.000000e+00 | 2.350000e+02 | Large
820.97/821.22 c 771s| 2890k| 65 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 811k| 0 | 1.000000e+00 | 2.350000e+02 | Large
823.57/823.85 c 774s| 2900k| 68 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 814k| 0 | 1.000000e+00 | 2.350000e+02 | Large
826.47/826.75 c 777s| 2910k| 67 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 817k| 0 | 1.000000e+00 | 2.350000e+02 | Large
829.07/829.36 c 779s| 2920k| 64 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 820k| 0 | 1.000000e+00 | 2.350000e+02 | Large
831.97/832.29 c 782s| 2930k| 66 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 823k| 0 | 1.000000e+00 | 2.350000e+02 | Large
834.87/835.14 c 784s| 2940k| 67 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 825k| 0 | 1.000000e+00 | 2.350000e+02 | Large
837.97/838.27 c 787s| 2950k| 64 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 828k| 0 | 1.000000e+00 | 2.350000e+02 | Large
841.47/841.71 c 791s| 2960k| 68 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 831k| 0 | 1.000000e+00 | 2.350000e+02 | Large
844.47/844.80 c 794s| 2970k| 71 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 834k| 0 | 1.000000e+00 | 2.350000e+02 | Large
847.46/847.70 c 796s| 2980k| 68 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 837k| 0 | 1.000000e+00 | 2.350000e+02 | Large
850.16/850.43 c 799s| 2990k| 70 | 0 | 0.0 |4496k| 104 | - | 534 |3049 | 0 | 0 | 0 | 840k| 0 | 1.000000e+00 | 2.350000e+02 | Large
852.86/853.16 c 801s| 3000k| 69 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 843k| 0 | 1.000000e+00 | 2.350000e+02 | Large
855.86/856.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
855.86/856.11 c 804s| 3010k| 67 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 846k| 0 | 1.000000e+00 | 2.350000e+02 | Large
858.56/858.87 c 807s| 3020k| 66 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 848k| 0 | 1.000000e+00 | 2.350000e+02 | Large
861.26/861.54 c 809s| 3030k| 64 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 851k| 0 | 1.000000e+00 | 2.350000e+02 | Large
863.96/864.20 c 812s| 3040k| 69 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 854k| 0 | 1.000000e+00 | 2.350000e+02 | Large
867.15/867.47 c 815s| 3050k| 62 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 857k| 0 | 1.000000e+00 | 2.350000e+02 | Large
869.76/870.08 c 817s| 3060k| 69 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 | 860k| 0 | 1.000000e+00 | 2.350000e+02 | Large
872.56/872.85 c 820s| 3070k| 68 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 863k| 0 | 1.000000e+00 | 2.350000e+02 | Large
875.26/875.56 c 822s| 3080k| 64 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 866k| 0 | 1.000000e+00 | 2.350000e+02 | Large
878.15/878.41 c 825s| 3090k| 68 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 869k| 0 | 1.000000e+00 | 2.350000e+02 | Large
881.15/881.49 c 828s| 3100k| 67 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 872k| 0 | 1.000000e+00 | 2.350000e+02 | Large
883.95/884.24 c 831s| 3110k| 67 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 874k| 0 | 1.000000e+00 | 2.350000e+02 | Large
886.85/887.14 c 833s| 3120k| 69 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 878k| 0 | 1.000000e+00 | 2.350000e+02 | Large
889.94/890.24 c 836s| 3130k| 64 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 881k| 0 | 1.000000e+00 | 2.350000e+02 | Large
892.96/893.22 c 839s| 3140k| 67 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 884k| 0 | 1.000000e+00 | 2.350000e+02 | Large
896.35/896.65 c 842s| 3150k| 64 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 888k| 0 | 1.000000e+00 | 2.350000e+02 | Large
899.74/900.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
899.74/900.02 c 846s| 3160k| 69 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 891k| 0 | 1.000000e+00 | 2.350000e+02 | Large
902.54/902.82 c 848s| 3170k| 64 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 894k| 0 | 1.000000e+00 | 2.350000e+02 | Large
905.34/905.64 c 851s| 3180k| 62 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 897k| 0 | 1.000000e+00 | 2.350000e+02 | Large
908.25/908.55 c 854s| 3190k| 59 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 900k| 0 | 1.000000e+00 | 2.350000e+02 | Large
910.94/911.28 c 856s| 3200k| 68 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 903k| 0 | 1.000000e+00 | 2.350000e+02 | Large
913.94/914.24 c 859s| 3210k| 63 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 905k| 0 | 1.000000e+00 | 2.350000e+02 | Large
916.85/917.11 c 862s| 3220k| 71 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 908k| 0 | 1.000000e+00 | 2.350000e+02 | Large
919.94/920.22 c 864s| 3230k| 65 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 911k| 0 | 1.000000e+00 | 2.350000e+02 | Large
922.84/923.14 c 867s| 3240k| 67 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 913k| 0 | 1.000000e+00 | 2.350000e+02 | Large
925.74/926.05 c 870s| 3250k| 66 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 916k| 0 | 1.000000e+00 | 2.350000e+02 | Large
928.44/928.75 c 872s| 3260k| 67 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 919k| 0 | 1.000000e+00 | 2.350000e+02 | Large
931.14/931.45 c 875s| 3270k| 63 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 922k| 0 | 1.000000e+00 | 2.350000e+02 | Large
934.23/934.53 c 878s| 3280k| 86 | 0 | 0.0 |4497k| 104 | - | 534 |3049 | 0 | 0 | 0 | 925k| 0 | 1.000000e+00 | 2.350000e+02 | Large
937.63/937.95 c 881s| 3290k| 64 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 929k| 0 | 1.000000e+00 | 2.350000e+02 | Large
941.34/941.67 c 885s| 3300k| 63 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 932k| 0 | 1.000000e+00 | 2.350000e+02 | Large
944.74/945.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
944.74/945.04 c 888s| 3310k| 64 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 935k| 0 | 1.000000e+00 | 2.350000e+02 | Large
947.94/948.28 c 891s| 3320k| 63 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 938k| 0 | 1.000000e+00 | 2.350000e+02 | Large
951.33/951.61 c 894s| 3330k| 64 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 941k| 0 | 1.000000e+00 | 2.350000e+02 | Large
954.73/955.02 c 897s| 3340k| 65 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 944k| 0 | 1.000000e+00 | 2.350000e+02 | Large
958.13/958.45 c 901s| 3350k| 64 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 947k| 0 | 1.000000e+00 | 2.350000e+02 | Large
961.63/961.91 c 904s| 3360k| 62 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 950k| 0 | 1.000000e+00 | 2.350000e+02 | Large
964.83/965.12 c 907s| 3370k| 65 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 953k| 0 | 1.000000e+00 | 2.350000e+02 | Large
968.02/968.31 c 910s| 3380k| 62 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 956k| 0 | 1.000000e+00 | 2.350000e+02 | Large
971.43/971.70 c 913s| 3390k| 65 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 959k| 0 | 1.000000e+00 | 2.350000e+02 | Large
974.83/975.17 c 916s| 3400k| 63 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 963k| 0 | 1.000000e+00 | 2.350000e+02 | Large
977.72/978.09 c 919s| 3410k| 67 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 966k| 0 | 1.000000e+00 | 2.350000e+02 | Large
980.73/981.02 c 922s| 3420k| 65 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 969k| 0 | 1.000000e+00 | 2.350000e+02 | Large
983.93/984.22 c 925s| 3430k| 61 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 972k| 0 | 1.000000e+00 | 2.350000e+02 | Large
987.02/987.38 c 928s| 3440k| 62 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 975k| 0 | 1.000000e+00 | 2.350000e+02 | Large
990.52/990.82 c 931s| 3450k| 64 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 978k| 0 | 1.000000e+00 | 2.350000e+02 | Large
993.92/994.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
993.92/994.21 c 934s| 3460k| 63 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 981k| 0 | 1.000000e+00 | 2.350000e+02 | Large
997.22/997.59 c 937s| 3470k| 60 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 | 985k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1000.12/1000.48 c 940s| 3480k| 66 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 988k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1003.62/1003.93 c 943s| 3490k| 66 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 | 991k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1007.01/1007.39 c 947s| 3500k| 64 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 | 995k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1010.31/1010.65 c 950s| 3510k| 64 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 | 998k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1013.51/1013.85 c 953s| 3520k| 64 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 |1001k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1017.01/1017.33 c 956s| 3530k| 62 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1004k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1020.52/1020.83 c 959s| 3540k| 64 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1007k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1023.91/1024.29 c 963s| 3550k| 68 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 |1010k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1027.51/1027.81 c 966s| 3560k| 62 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1014k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1031.01/1031.39 c 969s| 3570k| 62 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1017k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1034.21/1034.55 c 972s| 3580k| 64 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1020k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1037.61/1037.92 c 975s| 3590k| 63 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 |1023k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1041.11/1041.45 c 979s| 3600k| 64 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1026k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1044.62/1044.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1044.62/1044.95 c 982s| 3610k| 59 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1029k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1048.01/1048.34 c 985s| 3620k| 66 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1032k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1051.21/1051.56 c 988s| 3630k| 65 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1036k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1054.21/1054.58 c 991s| 3640k| 68 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1039k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1057.31/1057.60 c 994s| 3650k| 64 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1042k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1060.70/1061.07 c 997s| 3660k| 61 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1045k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1064.00/1064.35 c 1000s| 3670k| 60 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1048k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1067.20/1067.50 c 1003s| 3680k| 60 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1051k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1069.91/1070.21 c 1006s| 3690k| 67 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 |1054k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1072.90/1073.29 c 1009s| 3700k| 68 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1057k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1076.20/1076.56 c 1012s| 3710k| 62 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1061k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1079.81/1080.12 c 1015s| 3720k| 62 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 |1064k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1083.40/1083.73 c 1018s| 3730k| 63 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1067k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1086.80/1087.16 c 1022s| 3740k| 64 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1070k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1090.30/1090.65 c 1025s| 3750k| 62 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 |1073k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1093.89/1094.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1093.89/1094.20 c 1028s| 3760k| 62 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1076k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1097.40/1097.72 c 1032s| 3770k| 73 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 |1079k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1100.80/1101.16 c 1035s| 3780k| 63 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1082k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1103.79/1104.10 c 1038s| 3790k| 69 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1085k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1106.78/1107.18 c 1041s| 3800k| 63 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1088k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1110.60/1110.95 c 1044s| 3810k| 63 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1092k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1114.19/1114.57 c 1048s| 3820k| 59 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1095k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1117.89/1118.25 c 1051s| 3830k| 73 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 |1099k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1121.39/1121.75 c 1054s| 3840k| 63 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1102k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1124.99/1125.35 c 1058s| 3850k| 57 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1105k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1128.69/1129.02 c 1061s| 3860k| 61 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1108k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1132.08/1132.43 c 1064s| 3870k| 60 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1111k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1135.58/1135.94 c 1068s| 3880k| 66 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 |1114k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1139.19/1139.51 c 1071s| 3890k| 65 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1117k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1142.78/1143.10 c 1075s| 3900k| 69 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1120k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1146.27/1146.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1146.27/1146.60 c 1078s| 3910k| 57 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1123k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1149.77/1150.16 c 1081s| 3920k| 64 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1127k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1153.18/1153.59 c 1085s| 3930k| 66 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1131k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1156.88/1157.27 c 1088s| 3940k| 69 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1134k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1159.98/1160.31 c 1091s| 3950k| 58 | 0 | 0.0 |4489k| 104 | - | 534 |3049 | 0 | 0 | 0 |1138k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1163.48/1163.82 c 1094s| 3960k| 61 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1141k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1166.79/1167.16 c 1097s| 3970k| 68 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1145k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1170.37/1170.78 c 1101s| 3980k| 65 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 |1149k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1173.77/1174.16 c 1104s| 3990k| 66 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1153k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1177.27/1177.64 c 1107s| 4000k| 63 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 |1156k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1180.77/1181.13 c 1111s| 4010k| 60 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1160k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1184.07/1184.46 c 1114s| 4020k| 64 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1164k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1187.17/1187.59 c 1117s| 4030k| 61 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 |1167k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1190.87/1191.30 c 1120s| 4040k| 67 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1171k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1194.37/1194.71 c 1123s| 4050k| 60 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1174k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1197.87/1198.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1197.87/1198.24 c 1127s| 4060k| 62 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1178k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1201.47/1201.84 c 1130s| 4070k| 58 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1181k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1204.96/1205.36 c 1133s| 4080k| 59 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1184k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1208.26/1208.62 c 1136s| 4090k| 61 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 |1187k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1211.26/1211.63 c 1139s| 4100k| 67 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 |1191k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1214.26/1214.67 c 1142s| 4110k| 70 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1194k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1217.16/1217.60 c 1145s| 4120k| 68 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1197k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1220.26/1220.68 c 1148s| 4130k| 75 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 |1200k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1223.86/1224.26 c 1151s| 4140k| 59 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1204k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1227.17/1227.59 c 1154s| 4150k| 63 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1208k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1230.65/1231.05 c 1158s| 4160k| 62 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1211k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1234.05/1234.40 c 1161s| 4170k| 59 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1215k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1237.36/1237.76 c 1164s| 4180k| 58 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1218k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1240.65/1241.02 c 1167s| 4190k| 63 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1221k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1244.06/1244.47 c 1170s| 4200k| 59 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1224k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1247.65/1248.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1247.65/1248.08 c 1174s| 4210k| 58 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1227k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1251.36/1251.74 c 1177s| 4220k| 64 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1231k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1254.85/1255.23 c 1180s| 4230k| 64 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1234k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1258.55/1258.98 c 1184s| 4240k| 58 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1237k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1262.15/1262.52 c 1187s| 4250k| 59 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1240k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1265.75/1266.11 c 1191s| 4260k| 55 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1243k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1269.14/1269.51 c 1194s| 4270k| 61 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1246k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1272.75/1273.17 c 1197s| 4280k| 57 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1249k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1276.45/1276.87 c 1201s| 4290k| 60 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1252k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1280.25/1280.65 c 1204s| 4300k| 60 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1256k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1283.84/1284.25 c 1208s| 4310k| 58 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1259k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1287.45/1287.83 c 1211s| 4320k| 57 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1262k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1291.05/1291.46 c 1215s| 4330k| 59 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1265k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1294.74/1295.10 c 1218s| 4340k| 54 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1268k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1298.24/1298.60 c 1221s| 4350k| 61 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 |1272k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1301.73/1302.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1301.73/1302.14 c 1225s| 4360k| 65 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1275k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1305.35/1305.73 c 1228s| 4370k| 62 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1279k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1309.04/1309.49 c 1232s| 4380k| 59 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1282k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1312.74/1313.16 c 1235s| 4390k| 63 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1285k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1316.43/1316.86 c 1239s| 4400k| 60 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1289k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1319.93/1320.36 c 1242s| 4410k| 56 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1292k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1323.63/1324.04 c 1245s| 4420k| 59 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1295k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1327.23/1327.69 c 1249s| 4430k| 57 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1298k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1330.83/1331.28 c 1252s| 4440k| 62 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1302k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1334.62/1335.02 c 1256s| 4450k| 64 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1306k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1338.13/1338.53 c 1259s| 4460k| 60 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1309k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1341.53/1341.91 c 1262s| 4470k| 63 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 |1313k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1345.02/1345.49 c 1266s| 4480k| 60 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1316k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1348.83/1349.20 c 1269s| 4490k| 61 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1320k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1352.42/1352.83 c 1273s| 4500k| 59 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1323k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1356.22/1356.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1356.22/1356.62 c 1276s| 4510k| 59 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1326k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1360.02/1360.40 c 1280s| 4520k| 59 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1329k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1363.72/1364.16 c 1283s| 4530k| 56 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 |1332k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1367.31/1367.79 c 1287s| 4540k| 62 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1336k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1371.12/1371.60 c 1290s| 4550k| 61 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1339k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1374.82/1375.20 c 1294s| 4560k| 61 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1342k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1378.61/1379.00 c 1297s| 4570k| 61 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1345k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1382.32/1382.78 c 1301s| 4580k| 60 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1348k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1386.11/1386.56 c 1305s| 4590k| 61 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1352k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1389.92/1390.40 c 1308s| 4600k| 61 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1355k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1393.91/1394.32 c 1312s| 4610k| 59 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1358k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1397.51/1397.95 c 1315s| 4620k| 60 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1361k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1401.41/1401.82 c 1319s| 4630k| 60 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1364k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1405.21/1405.68 c 1323s| 4640k| 59 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1368k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1409.01/1409.48 c 1326s| 4650k| 55 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1371k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1412.91/1413.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1412.91/1413.30 c 1330s| 4660k| 61 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1374k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1416.61/1417.01 c 1333s| 4670k| 61 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1377k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1420.31/1420.72 c 1337s| 4680k| 58 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1380k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1424.01/1424.50 c 1341s| 4690k| 61 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1383k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1428.00/1428.43 c 1344s| 4700k| 73 | 0 | 0.0 |4497k| 104 | - | 534 |3049 | 0 | 0 | 0 |1387k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1431.61/1432.02 c 1348s| 4710k| 60 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 |1390k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1435.60/1436.09 c 1352s| 4720k| 60 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1394k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1439.60/1440.04 c 1355s| 4730k| 59 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1397k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1443.40/1443.89 c 1359s| 4740k| 56 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1400k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1447.29/1447.73 c 1363s| 4750k| 56 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1404k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1451.10/1451.59 c 1366s| 4760k| 56 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1407k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1454.99/1455.44 c 1370s| 4770k| 57 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1411k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1458.79/1459.23 c 1373s| 4780k| 70 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1414k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1462.60/1463.02 c 1377s| 4790k| 57 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1417k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1466.50/1466.98 c 1381s| 4800k| 65 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 |1421k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1470.39/1470.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1470.39/1470.84 c 1384s| 4810k| 56 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1424k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1474.39/1474.88 c 1388s| 4820k| 61 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1428k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1478.29/1478.79 c 1392s| 4830k| 56 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1431k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1482.19/1482.63 c 1396s| 4840k| 59 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1434k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1485.99/1486.45 c 1399s| 4850k| 53 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1438k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1489.49/1489.98 c 1403s| 4860k| 73 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 |1441k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1493.49/1493.96 c 1406s| 4870k| 58 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1444k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1497.28/1497.72 c 1410s| 4880k| 58 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1447k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1500.89/1501.33 c 1413s| 4890k| 57 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1450k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1504.48/1504.97 c 1417s| 4900k| 55 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1453k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1508.18/1508.68 c 1420s| 4910k| 59 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1456k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1511.98/1512.45 c 1424s| 4920k| 57 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1459k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1515.68/1516.16 c 1427s| 4930k| 56 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1462k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1519.38/1519.80 c 1431s| 4940k| 55 | 0 | 0.0 |4489k| 104 | - | 534 |3049 | 0 | 0 | 0 |1465k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1522.98/1523.48 c 1434s| 4950k| 59 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1468k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1526.78/1527.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1526.78/1527.28 c 1438s| 4960k| 57 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1472k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1530.47/1530.94 c 1441s| 4970k| 53 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1475k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1534.27/1534.71 c 1445s| 4980k| 55 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1478k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1537.57/1538.08 c 1448s| 4990k| 61 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1481k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1541.28/1541.79 c 1452s| 5000k| 60 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1484k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1544.87/1545.36 c 1455s| 5010k| 51 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1487k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1548.77/1549.22 c 1459s| 5020k| 53 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1490k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1552.47/1552.97 c 1462s| 5030k| 52 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1493k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1556.17/1556.60 c 1466s| 5040k| 54 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1496k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1560.17/1560.61 c 1469s| 5050k| 58 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1500k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1563.96/1564.46 c 1473s| 5060k| 57 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1503k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1567.86/1568.33 c 1477s| 5070k| 56 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1506k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1571.56/1572.05 c 1480s| 5080k| 57 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1509k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1575.37/1575.87 c 1484s| 5090k| 59 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1513k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1579.06/1579.51 c 1487s| 5100k| 55 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1515k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1582.76/1583.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1582.76/1583.20 c 1491s| 5110k| 52 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1518k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1586.56/1587.07 c 1494s| 5120k| 57 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1522k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1590.46/1590.98 c 1498s| 5130k| 54 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1525k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1594.46/1594.94 c 1502s| 5140k| 57 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1528k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1598.26/1598.75 c 1506s| 5150k| 57 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1532k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1602.05/1602.55 c 1509s| 5160k| 55 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1535k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1605.96/1606.41 c 1513s| 5170k| 56 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1538k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1609.65/1610.16 c 1516s| 5180k| 56 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1541k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1613.55/1614.02 c 1520s| 5190k| 54 | 0 | 0.0 |4489k| 104 | - | 534 |3049 | 0 | 0 | 0 |1544k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1617.35/1617.82 c 1524s| 5200k| 56 | 0 | 0.0 |4489k| 104 | - | 534 |3049 | 0 | 0 | 0 |1547k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1621.35/1621.84 c 1527s| 5210k| 54 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1550k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1625.26/1625.70 c 1531s| 5220k| 58 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1554k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1629.15/1629.63 c 1535s| 5230k| 74 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 |1557k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1632.85/1633.39 c 1538s| 5240k| 55 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1560k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1636.75/1637.23 c 1542s| 5250k| 55 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1563k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1640.65/1641.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1640.65/1641.16 c 1546s| 5260k| 54 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1566k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1644.44/1644.96 c 1549s| 5270k| 53 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1569k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1648.14/1648.65 c 1553s| 5280k| 56 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1572k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1652.04/1652.52 c 1556s| 5290k| 57 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1576k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1655.74/1656.24 c 1560s| 5300k| 58 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1579k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1659.64/1660.12 c 1564s| 5310k| 53 | 0 | 0.0 |4489k| 104 | - | 534 |3049 | 0 | 0 | 0 |1582k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1663.34/1663.89 c 1567s| 5320k| 55 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1585k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1667.24/1667.73 c 1571s| 5330k| 53 | 0 | 0.0 |4489k| 104 | - | 534 |3049 | 0 | 0 | 0 |1588k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1671.04/1671.58 c 1574s| 5340k| 56 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1591k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1675.04/1675.55 c 1578s| 5350k| 53 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1594k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1678.53/1679.03 c 1582s| 5360k| 72 | 0 | 0.0 |4495k| 104 | - | 534 |3049 | 0 | 0 | 0 |1597k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1681.73/1682.27 c 1585s| 5370k| 62 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1601k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1685.23/1685.79 c 1588s| 5380k| 68 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1604k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1688.33/1688.80 c 1591s| 5390k| 59 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1606k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1691.63/1692.11 c 1594s| 5400k| 63 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1609k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1694.73/1695.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1694.73/1695.28 c 1597s| 5410k| 57 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1612k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1697.73/1698.25 c 1600s| 5420k| 63 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 |1614k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1700.73/1701.29 c 1603s| 5430k| 64 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 |1617k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1703.62/1704.18 c 1605s| 5440k| 62 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 |1619k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1706.53/1707.09 c 1608s| 5450k| 60 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1622k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1709.52/1710.05 c 1611s| 5460k| 61 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 |1624k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1712.72/1713.26 c 1614s| 5470k| 58 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1627k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1715.72/1716.22 c 1617s| 5480k| 63 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1629k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1718.63/1719.16 c 1619s| 5490k| 72 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 |1632k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1721.52/1722.09 c 1622s| 5500k| 58 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1634k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1724.72/1725.21 c 1625s| 5510k| 59 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1637k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1727.72/1728.24 c 1628s| 5520k| 69 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 |1639k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1730.92/1731.49 c 1631s| 5530k| 57 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1642k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1734.31/1734.87 c 1634s| 5540k| 57 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1644k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1737.82/1738.34 c 1637s| 5550k| 61 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1647k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1741.12/1741.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1741.12/1741.63 c 1641s| 5560k| 61 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1650k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1744.31/1744.87 c 1644s| 5570k| 57 | 0 | 0.0 |4490k| 104 | - | 534 |3049 | 0 | 0 | 0 |1653k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1747.72/1748.22 c 1647s| 5580k| 59 | 0 | 0.0 |4494k| 104 | - | 534 |3049 | 0 | 0 | 0 |1656k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1750.72/1751.29 c 1650s| 5590k| 58 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1658k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1754.02/1754.51 c 1653s| 5600k| 64 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1661k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1757.02/1757.56 c 1656s| 5610k| 57 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1664k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1759.92/1760.48 c 1658s| 5620k| 58 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1666k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1762.91/1763.49 c 1661s| 5630k| 60 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1668k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1765.82/1766.36 c 1664s| 5640k| 59 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1671k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1769.01/1769.56 c 1667s| 5650k| 61 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1674k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1772.21/1772.78 c 1670s| 5660k| 60 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1677k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1775.40/1775.96 c 1673s| 5670k| 60 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1679k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1778.50/1779.02 c 1676s| 5680k| 61 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1682k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1781.52/1782.07 c 1679s| 5690k| 60 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1685k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1784.90/1785.49 c 1682s| 5700k| 55 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1687k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1788.41/1788.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1788.41/1788.97 c 1685s| 5710k| 64 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1690k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1791.70/1792.20 c 1688s| 5720k| 67 | 0 | 0.0 |4493k| 104 | - | 534 |3049 | 0 | 0 | 0 |1693k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1795.00/1795.54 c 1692s| 5730k| 61 | 0 | 0.0 |4492k| 104 | - | 534 |3049 | 0 | 0 | 0 |1696k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1798.01/1798.52 c 1694s| 5740k| 59 | 0 | 0.0 |4491k| 104 | - | 534 |3049 | 0 | 0 | 0 |1699k| 0 | 1.000000e+00 | 2.350000e+02 | Large
1800.00/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.50 c
1800.00/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.50 c Solving Time (sec) : 1696.28
1800.00/1800.50 c Solving Nodes : 5746463
1800.00/1800.50 c Primal Bound : +2.35000000000000e+02 (14 solutions)
1800.00/1800.50 c Dual Bound : +1.00000000000000e+00
1800.00/1800.50 c Gap : 23400.00 %
1800.00/1800.51 s SATISFIABLE
1800.00/1800.51 v x534 -x533 -x532 x531 x530 -x529 x528 -x527 x526 -x525 -x524 x523 x522 -x521 x520 -x519 -x518 x517 x516 -x515 x514 -x513 -x512
1800.00/1800.51 v x511 x510 -x509 -x508 -x507 -x506 x505 x504 -x503 -x502 x501 x500 -x499 x498 -x497 x496 -x495 -x494 x493 x492 -x491 -x490 x489
1800.00/1800.51 v x488 -x487 x486 -x485 -x484 x483 x482 -x481 x480 -x479 -x478 x477 x476 -x475 x474 -x473 -x472 x471 x470 -x469 x468 -x467 -x466
1800.00/1800.51 v x465 x464 -x463 x462 -x461 -x460 x459 x458 -x457 x456 -x455 x454 -x453 -x452 x451 -x450 x449 -x448 -x447 x446 -x445 x444
1800.00/1800.51 v -x443 x442 -x441 -x440 x439 x438 -x437 x436 -x435 -x434 x433 x432 -x431 x430 -x429 -x428 x427 x426 -x425 x424 -x423 -x422 x421
1800.00/1800.51 v x420 -x419 x418 -x417 -x416 x415 x414 -x413 -x412 x411 -x410 -x409 x408 -x407 x406 -x405 -x404 x403 x402 -x401 -x400 x399 x398
1800.00/1800.51 v -x397 x396 -x395 x394 -x393 -x392 x391 x390 -x389 x388 -x387 -x386 x385 -x384 -x383 -x382 x381 x380 -x379 -x378 x377 -x376
1800.00/1800.51 v -x375 -x374 x373 -x372 -x371 -x370 x369 -x368 -x367 -x366 x365 -x364 x363 -x362 -x361 -x360 x359 -x358 -x357 -x356 -x355 -x354
1800.00/1800.51 v x353 -x352 -x351 -x350 x349 -x348 x347 -x346 -x345 -x344 x343 x342 -x341 -x340 -x339 -x338 x337 -x336 -x335 -x334 x333 -x332
1800.00/1800.51 v x331 -x330 -x329 -x328 -x327 -x326 x325 -x324 x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 x315 -x314 -x313 -x312 -x311
1800.00/1800.51 v -x310 x309 -x308 x307 -x306 -x305 -x304 -x303 -x302 x301 -x300 -x299 -x298 x297 -x296 x295 -x294 -x293 -x292 x291 -x290 -x289
1800.00/1800.51 v -x288 -x287 -x286 x285 -x284 -x283 -x282 x281 -x280 x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 x269 -x268 x267
1800.00/1800.51 v -x266 -x265 -x264 x263 x262 -x261 -x260 -x259 -x258 x257 -x256 x255 -x254 x253 -x252 x251 -x250 x249 -x248 x247 -x246 x245
1800.00/1800.51 v -x244 x243 -x242 x241 -x240 x239 -x238 x237 -x236 x235 -x234 x233 -x232 x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223 -x222
1800.00/1800.51 v x221 -x220 x219 x218 -x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209 -x208 x207 -x206 x205 -x204 x203 -x202 x201 -x200 x199
1800.00/1800.51 v -x198 x197 -x196 x195 -x194 x193 -x192 x191 -x190 x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176
1800.00/1800.51 v x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 x166 -x165 -x164 x163 x162 -x161 -x160 x159 -x158 x157 -x156 x155 -x154
1800.00/1800.51 v x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136 x135 -x134 x133 -x132 x131
1800.00/1800.51 v -x130 x129 -x128 x127 -x126 x125 x124 -x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 x114 -x113 -x112 x111 -x110 x109 -x108
1800.00/1800.51 v x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 -x98 x97 -x96 x95 -x94 x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 -x84 x83 -x82
1800.00/1800.51 v x81 -x80 x79 -x78 x77 -x76 x75 -x74 x73 -x72 x71 -x70 x69 -x68 x67 -x66 x65 -x64 x63 -x62 x61 -x60 x59 -x58 x57 -x56 x55
1800.00/1800.51 v -x54 x53 -x52 x51 -x50 x49 -x48 x47 -x46 x45 -x44 x43 -x42 x41 -x40 x39 -x38 x37 -x36 x35 -x34 x33 -x32 x31 -x30 x29 -x28 x27
1800.00/1800.51 v -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 x1
1800.00/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.51 c Solving Time : 1696.28
1800.00/1800.51 c Original Problem :
1800.00/1800.51 c Problem name : HOME/instance-2664199-1276471070.opb
1800.00/1800.51 c Variables : 534 (534 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.51 c Constraints : 3013 initial, 3013 maximal
1800.00/1800.51 c Presolved Problem :
1800.00/1800.51 c Problem name : t_HOME/instance-2664199-1276471070.opb
1800.00/1800.51 c Variables : 534 (534 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.51 c Constraints : 3013 initial, 3119 maximal
1800.00/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c probing : 0.04 0 0 0 0 0 0 0 0
1800.00/1800.51 c logicor : 0.04 0 0 0 0 0 0 0 0
1800.00/1800.51 c root node : - 0 - - 0 - - - -
1800.00/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.51 c logicor : 3013+ 0 10532903 0 14 1700739 9093938 0 0 0
1800.00/1800.51 c countsols : 0 0 0 0 14 0 0 0 0 0
1800.00/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.51 c logicor : 893.50 0.00 893.50 0.00 0.00
1800.00/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.51 c vbounds : 7.13 2 0 0
1800.00/1800.51 c rootredcost : 6.45 0 0 0
1800.00/1800.51 c pseudoobj : 420.82 15008570 1075546 38562835
1800.00/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.51 c propagation : 792.75 1700739 1700739 1700739 67.6 3302 84.4 -
1800.00/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c pseudo solution : 46.13 296724 0 0 0.0 0 0.0 -
1800.00/1800.51 c applied globally : - - - 41015 32.4 - - -
1800.00/1800.51 c applied locally : - - - 1660039 68.4 - - -
1800.00/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.00/1800.51 c redcost : 0.00 0 0 0 0 0
1800.00/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.00/1800.51 c intobj : 0.00 0 0 0 0 0
1800.00/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.51 c gomory : 0.00 0 0 0 0 0
1800.00/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.00/1800.51 c cmir : 0.00 0 0 0 0 0
1800.00/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.00/1800.51 c clique : 0.00 0 0 0 0 0
1800.00/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.51 c mcf : 0.00 0 0 0 0 0
1800.00/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.51 c Pricers : Time Calls Vars
1800.00/1800.51 c problem variables: 0.00 0 0
1800.00/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.00/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.51 c inference : 28.82 3272821 0 0 0 0 6545642
1800.00/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.51 c random : 0.00 0 0 0 0 0 0
1800.00/1800.51 c Primal Heuristics : Time Calls Found
1800.00/1800.51 c LP solutions : 0.00 - 0
1800.00/1800.51 c pseudo solutions : 0.00 - 14
1800.00/1800.51 c oneopt : 3.80 0 0
1800.00/1800.51 c trivial : 0.00 2 0
1800.00/1800.51 c simplerounding : 0.00 0 0
1800.00/1800.51 c zirounding : 0.00 0 0
1800.00/1800.51 c rounding : 0.00 0 0
1800.00/1800.51 c shifting : 0.00 0 0
1800.00/1800.51 c intshifting : 0.00 0 0
1800.00/1800.51 c twoopt : 0.00 0 0
1800.00/1800.51 c fixandinfer : 0.00 0 0
1800.00/1800.51 c feaspump : 0.00 0 0
1800.00/1800.51 c coefdiving : 0.00 0 0
1800.00/1800.51 c pscostdiving : 0.00 0 0
1800.00/1800.51 c fracdiving : 0.00 0 0
1800.00/1800.51 c veclendiving : 0.00 0 0
1800.00/1800.51 c intdiving : 0.00 0 0
1800.00/1800.51 c actconsdiving : 0.00 0 0
1800.00/1800.51 c objpscostdiving : 0.00 0 0
1800.00/1800.51 c rootsoldiving : 0.00 0 0
1800.00/1800.51 c linesearchdiving : 0.00 0 0
1800.00/1800.51 c guideddiving : 0.00 0 0
1800.00/1800.51 c octane : 0.00 0 0
1800.00/1800.51 c rens : 0.00 0 0
1800.00/1800.51 c rins : 0.00 0 0
1800.00/1800.51 c localbranching : 0.00 0 0
1800.00/1800.51 c mutation : 0.00 0 0
1800.00/1800.51 c crossover : 0.00 0 0
1800.00/1800.51 c dins : 0.00 0 0
1800.00/1800.51 c undercover : 0.00 0 0
1800.00/1800.51 c nlp : 2.40 0 0
1800.00/1800.51 c trysol : 2.61 0 0
1800.00/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.00/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.00/1800.51 c (at root node) : - 0 0 0.00 -
1800.00/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.51 c B&B Tree :
1800.00/1800.51 c number of runs : 1
1800.00/1800.51 c nodes : 5746463
1800.00/1800.51 c nodes (total) : 5746463
1800.00/1800.51 c nodes left : 61
1800.00/1800.51 c max depth : 104
1800.00/1800.51 c max depth (total): 104
1800.00/1800.51 c backtracks : 1714339 (29.8%)
1800.00/1800.51 c delayed cutoffs : 627718
1800.00/1800.51 c repropagations : 1291476 (8639401 domain reductions, 599381 cutoffs)
1800.00/1800.51 c avg switch length: 2.07
1800.00/1800.51 c switching time : 90.63
1800.00/1800.51 c Solution :
1800.00/1800.51 c Solutions found : 14 (14 improvements)
1800.00/1800.51 c First Solution : +2.58000000000000e+02 (in run 1, after 57 nodes, 0.17 seconds, depth 37, found by <relaxation>)
1800.00/1800.51 c Primal Bound : +2.35000000000000e+02 (in run 1, after 22360 nodes, 5.07 seconds, depth 57, found by <relaxation>)
1800.00/1800.51 c Dual Bound : +1.00000000000000e+00
1800.00/1800.51 c Gap : 23400.00 %
1800.00/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.00/1800.51 c Root Iterations : 0
1800.00/1800.52 c Time complete: 1800.03.