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-2664195-1276430322.opb>
0.02/0.07 c original problem has 1040 variables (1040 bin, 0 int, 0 impl, 0 cont) and 3656 constraints
0.02/0.07 c problem read
0.02/0.07 c presolving settings loaded
0.02/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.02/0.09 c presolving:
0.09/0.12 c (round 1) 10 del vars, 10 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23740 impls, 0 clqs
0.09/0.16 c (round 2) 10 del vars, 10 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3286 upgd conss, 23740 impls, 0 clqs
0.09/0.19 c (round 3) 10 del vars, 10 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3646 upgd conss, 23740 impls, 0 clqs
0.19/0.23 c (0.1s) probing: 101/1030 (9.8%) - 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 (4 rounds):
0.19/0.23 c 10 deleted vars, 10 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.23 c 23740 implications, 0 cliques
0.19/0.23 c presolved problem has 1030 variables (1030 bin, 0 int, 0 impl, 0 cont) and 3646 constraints
0.19/0.23 c 3646 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.24 c
0.19/0.24 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.24 c 0.1s| 1 | 2 | 0 | - |5756k| 0 | - |1030 |3646 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.35 o 455
0.29/0.35 c * 0.2s| 289 | 199 | 0 | 0.0 |5929k| 234 | - |1030 |3655 | 0 | 0 | 0 | 34 | 0 | 1.000000e+00 | 4.550000e+02 | Large
0.29/0.36 o 453
0.29/0.36 c * 0.2s| 326 | 198 | 0 | 0.0 |5944k| 237 | - |1030 |3655 | 0 | 0 | 0 | 34 | 0 | 1.000000e+00 | 4.530000e+02 | Large
0.29/0.39 o 452
0.29/0.39 c * 0.3s| 489 | 196 | 0 | 0.0 |5957k| 237 | - |1030 |3655 | 0 | 0 | 0 | 34 | 0 | 1.000000e+00 | 4.520000e+02 | Large
0.59/0.60 o 451
0.59/0.60 c * 0.5s| 1506 | 192 | 0 | 0.0 |5973k| 237 | - |1030 |3655 | 0 | 0 | 0 | 38 | 0 | 1.000000e+00 | 4.510000e+02 | Large
0.69/0.70 o 450
0.69/0.70 c * 0.6s| 2006 | 192 | 0 | 0.0 |5991k| 237 | - |1030 |3655 | 0 | 0 | 0 | 40 | 0 | 1.000000e+00 | 4.500000e+02 | Large
0.89/0.94 o 449
0.89/0.94 c * 0.8s| 3242 | 189 | 0 | 0.0 |6005k| 237 | - |1030 |3655 | 0 | 0 | 0 | 45 | 0 | 1.000000e+00 | 4.490000e+02 | Large
2.20/2.23 c 2.0s| 10000 | 188 | 0 | 0.0 |6003k| 237 | - |1030 |3655 | 0 | 0 | 0 | 76 | 0 | 1.000000e+00 | 4.490000e+02 | Large
4.09/4.13 c 3.7s| 20000 | 188 | 0 | 0.0 |6005k| 237 | - |1030 |3655 | 0 | 0 | 0 | 122 | 0 | 1.000000e+00 | 4.490000e+02 | Large
6.09/6.10 c 5.6s| 30000 | 187 | 0 | 0.0 |6004k| 237 | - |1030 |3655 | 0 | 0 | 0 | 198 | 0 | 1.000000e+00 | 4.490000e+02 | Large
7.28/7.38 o 448
7.28/7.38 c * 6.7s| 36554 | 191 | 0 | 0.0 |6022k| 237 | - |1030 |3655 | 0 | 0 | 0 | 263 | 0 | 1.000000e+00 | 4.480000e+02 | Large
7.99/8.06 c 7.4s| 40000 | 187 | 0 | 0.0 |6019k| 237 | - |1030 |3655 | 0 | 0 | 0 | 283 | 0 | 1.000000e+00 | 4.480000e+02 | Large
9.89/9.98 c 9.2s| 50000 | 185 | 0 | 0.0 |6018k| 237 | - |1030 |3655 | 0 | 0 | 0 | 358 | 0 | 1.000000e+00 | 4.480000e+02 | Large
11.79/11.90 c 10.9s| 60000 | 186 | 0 | 0.0 |6019k| 237 | - |1030 |3655 | 0 | 0 | 0 | 440 | 0 | 1.000000e+00 | 4.480000e+02 | Large
13.79/13.81 c 12.7s| 70000 | 191 | 0 | 0.0 |6021k| 237 | - |1030 |3655 | 0 | 0 | 0 | 539 | 0 | 1.000000e+00 | 4.480000e+02 | Large
15.68/15.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.68/15.75 c 14.5s| 80000 | 187 | 0 | 0.0 |6020k| 237 | - |1030 |3655 | 0 | 0 | 0 | 603 | 0 | 1.000000e+00 | 4.480000e+02 | Large
17.60/17.66 c 16.3s| 90000 | 188 | 0 | 0.0 |6021k| 237 | - |1030 |3655 | 0 | 0 | 0 | 661 | 0 | 1.000000e+00 | 4.480000e+02 | Large
19.59/19.63 c 18.2s|100000 | 190 | 0 | 0.0 |6021k| 237 | - |1030 |3655 | 0 | 0 | 0 | 719 | 0 | 1.000000e+00 | 4.480000e+02 | Large
21.58/21.63 c 20.0s|110000 | 185 | 0 | 0.0 |6020k| 237 | - |1030 |3655 | 0 | 0 | 0 | 757 | 0 | 1.000000e+00 | 4.480000e+02 | Large
23.58/23.60 c 21.8s|120000 | 192 | 0 | 0.0 |6022k| 237 | - |1030 |3655 | 0 | 0 | 0 | 792 | 0 | 1.000000e+00 | 4.480000e+02 | Large
23.68/23.73 o 447
23.68/23.73 c *22.0s|120637 | 188 | 0 | 0.0 |6038k| 237 | - |1030 |3655 | 0 | 0 | 0 | 794 | 0 | 1.000000e+00 | 4.470000e+02 | Large
25.49/25.54 c 23.6s|130000 | 186 | 0 | 0.0 |6035k| 237 | - |1030 |3655 | 0 | 0 | 0 | 829 | 0 | 1.000000e+00 | 4.470000e+02 | Large
27.40/27.46 c 25.4s|140000 | 187 | 0 | 0.0 |6035k| 237 | - |1030 |3655 | 0 | 0 | 0 | 876 | 0 | 1.000000e+00 | 4.470000e+02 | Large
29.38/29.42 c 27.3s|150000 | 186 | 0 | 0.0 |6035k| 237 | - |1030 |3655 | 0 | 0 | 0 | 970 | 0 | 1.000000e+00 | 4.470000e+02 | Large
31.19/31.29 c 29.0s|160000 | 185 | 0 | 0.0 |6035k| 237 | - |1030 |3655 | 0 | 0 | 0 |1034 | 0 | 1.000000e+00 | 4.470000e+02 | Large
33.18/33.21 c 30.8s|170000 | 185 | 0 | 0.0 |6035k| 237 | - |1030 |3655 | 0 | 0 | 0 |1120 | 0 | 1.000000e+00 | 4.470000e+02 | Large
35.09/35.16 c 32.6s|180000 | 186 | 0 | 0.0 |6036k| 237 | - |1030 |3655 | 0 | 0 | 0 |1205 | 0 | 1.000000e+00 | 4.470000e+02 | Large
37.08/37.11 c 34.4s|190000 | 184 | 0 | 0.0 |6035k| 237 | - |1030 |3655 | 0 | 0 | 0 |1264 | 0 | 1.000000e+00 | 4.470000e+02 | Large
38.98/39.04 c 36.2s|200000 | 187 | 0 | 0.0 |6036k| 237 | - |1030 |3655 | 0 | 0 | 0 |1343 | 0 | 1.000000e+00 | 4.470000e+02 | Large
40.88/40.99 c 38.0s|210000 | 184 | 0 | 0.0 |6036k| 237 | - |1030 |3655 | 0 | 0 | 0 |1417 | 0 | 1.000000e+00 | 4.470000e+02 | Large
41.18/41.28 o 446
41.18/41.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.18/41.28 c *38.3s|211544 | 187 | 0 | 0.0 |6052k| 237 | - |1030 |3655 | 0 | 0 | 0 |1425 | 0 | 1.000000e+00 | 4.460000e+02 | Large
42.89/42.95 c 39.8s|220000 | 188 | 0 | 0.0 |6049k| 237 | - |1030 |3655 | 0 | 0 | 0 |1511 | 0 | 1.000000e+00 | 4.460000e+02 | Large
44.88/44.95 c 41.7s|230000 | 182 | 0 | 0.0 |6050k| 237 | - |1030 |3655 | 0 | 0 | 0 |1653 | 0 | 1.000000e+00 | 4.460000e+02 | Large
46.78/46.88 c 43.4s|240000 | 187 | 0 | 0.0 |6050k| 237 | - |1030 |3655 | 0 | 0 | 0 |1733 | 0 | 1.000000e+00 | 4.460000e+02 | Large
48.78/48.86 c 45.3s|250000 | 184 | 0 | 0.0 |6049k| 237 | - |1030 |3655 | 0 | 0 | 0 |1845 | 0 | 1.000000e+00 | 4.460000e+02 | Large
50.78/50.85 c 47.1s|260000 | 183 | 0 | 0.0 |6049k| 237 | - |1030 |3655 | 0 | 0 | 0 |1952 | 0 | 1.000000e+00 | 4.460000e+02 | Large
52.78/52.82 c 49.0s|270000 | 184 | 0 | 0.0 |6049k| 237 | - |1030 |3655 | 0 | 0 | 0 |2030 | 0 | 1.000000e+00 | 4.460000e+02 | Large
54.67/54.74 c 50.8s|280000 | 184 | 0 | 0.0 |6049k| 237 | - |1030 |3655 | 0 | 0 | 0 |2125 | 0 | 1.000000e+00 | 4.460000e+02 | Large
56.57/56.64 c 52.5s|290000 | 186 | 0 | 0.0 |6050k| 237 | - |1030 |3655 | 0 | 0 | 0 |2256 | 0 | 1.000000e+00 | 4.460000e+02 | Large
58.37/58.45 c 54.2s|300000 | 186 | 0 | 0.0 |6050k| 237 | - |1030 |3655 | 0 | 0 | 0 |2320 | 0 | 1.000000e+00 | 4.460000e+02 | Large
60.17/60.24 c 55.9s|310000 | 181 | 0 | 0.0 |6047k| 237 | - |1030 |3655 | 0 | 0 | 0 |2379 | 0 | 1.000000e+00 | 4.460000e+02 | Large
62.07/62.17 c 57.7s|320000 | 183 | 0 | 0.0 |6049k| 237 | - |1030 |3655 | 0 | 0 | 0 |2484 | 0 | 1.000000e+00 | 4.460000e+02 | Large
63.97/64.01 c 59.4s|330000 | 183 | 0 | 0.0 |6049k| 237 | - |1030 |3655 | 0 | 0 | 0 |2550 | 0 | 1.000000e+00 | 4.460000e+02 | Large
65.78/65.84 c 61.1s|340000 | 182 | 0 | 0.0 |6049k| 237 | - |1030 |3655 | 0 | 0 | 0 |2618 | 0 | 1.000000e+00 | 4.460000e+02 | Large
67.67/67.73 c 62.8s|350000 | 183 | 0 | 0.0 |6049k| 237 | - |1030 |3655 | 0 | 0 | 0 |2697 | 0 | 1.000000e+00 | 4.460000e+02 | Large
69.58/69.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.58/69.60 c 64.6s|360000 | 183 | 0 | 0.0 |6050k| 237 | - |1030 |3655 | 0 | 0 | 0 |2754 | 0 | 1.000000e+00 | 4.460000e+02 | Large
71.48/71.56 c 66.4s|370000 | 183 | 0 | 0.0 |6049k| 237 | - |1030 |3655 | 0 | 0 | 0 |2849 | 0 | 1.000000e+00 | 4.460000e+02 | Large
73.37/73.40 c 68.1s|380000 | 184 | 0 | 0.0 |6049k| 237 | - |1030 |3655 | 0 | 0 | 0 |2913 | 0 | 1.000000e+00 | 4.460000e+02 | Large
75.17/75.28 c 69.8s|390000 | 181 | 0 | 0.0 |6049k| 237 | - |1030 |3655 | 0 | 0 | 0 |2957 | 0 | 1.000000e+00 | 4.460000e+02 | Large
77.07/77.15 c 71.5s|400000 | 184 | 0 | 0.0 |6050k| 237 | - |1030 |3655 | 0 | 0 | 0 |3004 | 0 | 1.000000e+00 | 4.460000e+02 | Large
78.97/79.04 c 73.3s|410000 | 189 | 0 | 0.0 |6051k| 237 | - |1030 |3655 | 0 | 0 | 0 |3039 | 0 | 1.000000e+00 | 4.460000e+02 | Large
80.77/80.89 c 75.0s|420000 | 186 | 0 | 0.0 |6050k| 237 | - |1030 |3655 | 0 | 0 | 0 |3075 | 0 | 1.000000e+00 | 4.460000e+02 | Large
82.67/82.77 c 76.8s|430000 | 189 | 0 | 0.0 |6051k| 237 | - |1030 |3655 | 0 | 0 | 0 |3111 | 0 | 1.000000e+00 | 4.460000e+02 | Large
84.58/84.64 c 78.5s|440000 | 183 | 0 | 0.0 |6049k| 237 | - |1030 |3655 | 0 | 0 | 0 |3149 | 0 | 1.000000e+00 | 4.460000e+02 | Large
86.47/86.53 c 80.3s|450000 | 184 | 0 | 0.0 |6050k| 237 | - |1030 |3655 | 0 | 0 | 0 |3187 | 0 | 1.000000e+00 | 4.460000e+02 | Large
86.96/87.08 o 445
86.96/87.08 c *80.8s|452794 | 188 | 0 | 0.0 |6067k| 237 | - |1030 |3655 | 0 | 0 | 0 |3208 | 0 | 1.000000e+00 | 4.450000e+02 | Large
88.37/88.45 c 82.1s|460000 | 183 | 0 | 0.0 |6064k| 237 | - |1030 |3655 | 0 | 0 | 0 |3238 | 0 | 1.000000e+00 | 4.450000e+02 | Large
90.37/90.44 c 83.9s|470000 | 181 | 0 | 0.0 |6064k| 237 | - |1030 |3655 | 0 | 0 | 0 |3285 | 0 | 1.000000e+00 | 4.450000e+02 | Large
92.27/92.31 c 85.7s|480000 | 187 | 0 | 0.0 |6066k| 237 | - |1030 |3655 | 0 | 0 | 0 |3354 | 0 | 1.000000e+00 | 4.450000e+02 | Large
94.07/94.15 c 87.4s|490000 | 181 | 0 | 0.0 |6064k| 237 | - |1030 |3655 | 0 | 0 | 0 |3429 | 0 | 1.000000e+00 | 4.450000e+02 | Large
95.96/96.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.96/96.04 c 89.1s|500000 | 182 | 0 | 0.0 |6063k| 237 | - |1030 |3655 | 0 | 0 | 0 |3518 | 0 | 1.000000e+00 | 4.450000e+02 | Large
97.77/97.88 c 90.8s|510000 | 183 | 0 | 0.0 |6063k| 237 | - |1030 |3655 | 0 | 0 | 0 |3612 | 0 | 1.000000e+00 | 4.450000e+02 | Large
99.66/99.74 c 92.5s|520000 | 186 | 0 | 0.0 |6064k| 237 | - |1030 |3655 | 0 | 0 | 0 |3677 | 0 | 1.000000e+00 | 4.450000e+02 | Large
101.66/101.74 c 94.4s|530000 | 182 | 0 | 0.0 |6064k| 237 | - |1030 |3655 | 0 | 0 | 0 |3853 | 0 | 1.000000e+00 | 4.450000e+02 | Large
103.46/103.55 c 96.1s|540000 | 181 | 0 | 0.0 |6063k| 237 | - |1030 |3655 | 0 | 0 | 0 |3934 | 0 | 1.000000e+00 | 4.450000e+02 | Large
105.27/105.39 c 97.8s|550000 | 184 | 0 | 0.0 |6063k| 237 | - |1030 |3655 | 0 | 0 | 0 |4013 | 0 | 1.000000e+00 | 4.450000e+02 | Large
107.16/107.24 c 99.5s|560000 | 182 | 0 | 0.0 |6063k| 237 | - |1030 |3655 | 0 | 0 | 0 |4097 | 0 | 1.000000e+00 | 4.450000e+02 | Large
109.06/109.11 c 101s|570000 | 183 | 0 | 0.0 |6064k| 237 | - |1030 |3655 | 0 | 0 | 0 |4186 | 0 | 1.000000e+00 | 4.450000e+02 | Large
110.97/111.04 c 103s|580000 | 184 | 0 | 0.0 |6065k| 237 | - |1030 |3655 | 0 | 0 | 0 |4263 | 0 | 1.000000e+00 | 4.450000e+02 | Large
112.86/112.95 c 105s|590000 | 185 | 0 | 0.0 |6064k| 237 | - |1030 |3655 | 0 | 0 | 0 |4352 | 0 | 1.000000e+00 | 4.450000e+02 | Large
114.76/114.87 c 107s|600000 | 183 | 0 | 0.0 |6064k| 237 | - |1030 |3655 | 0 | 0 | 0 |4418 | 0 | 1.000000e+00 | 4.450000e+02 | Large
116.76/116.80 c 108s|610000 | 179 | 0 | 0.0 |6064k| 237 | - |1030 |3655 | 0 | 0 | 0 |4491 | 0 | 1.000000e+00 | 4.450000e+02 | Large
118.56/118.62 c 110s|620000 | 185 | 0 | 0.0 |6064k| 237 | - |1030 |3655 | 0 | 0 | 0 |4556 | 0 | 1.000000e+00 | 4.450000e+02 | Large
120.36/120.44 c 112s|630000 | 183 | 0 | 0.0 |6065k| 237 | - |1030 |3655 | 0 | 0 | 0 |4624 | 0 | 1.000000e+00 | 4.450000e+02 | Large
122.26/122.35 c 114s|640000 | 186 | 0 | 0.0 |6065k| 237 | - |1030 |3655 | 0 | 0 | 0 |4699 | 0 | 1.000000e+00 | 4.450000e+02 | Large
124.06/124.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.06/124.19 c 115s|650000 | 183 | 0 | 0.0 |6065k| 237 | - |1030 |3655 | 0 | 0 | 0 |4761 | 0 | 1.000000e+00 | 4.450000e+02 | Large
126.06/126.17 c 117s|660000 | 183 | 0 | 0.0 |6065k| 237 | - |1030 |3655 | 0 | 0 | 0 |4867 | 0 | 1.000000e+00 | 4.450000e+02 | Large
127.96/128.04 c 119s|670000 | 183 | 0 | 0.0 |6065k| 237 | - |1030 |3655 | 0 | 0 | 0 |4921 | 0 | 1.000000e+00 | 4.450000e+02 | Large
129.85/129.97 c 121s|680000 | 182 | 0 | 0.0 |6065k| 237 | - |1030 |3655 | 0 | 0 | 0 |5008 | 0 | 1.000000e+00 | 4.450000e+02 | Large
131.76/131.86 c 122s|690000 | 183 | 0 | 0.0 |6066k| 237 | - |1030 |3655 | 0 | 0 | 0 |5068 | 0 | 1.000000e+00 | 4.450000e+02 | Large
132.86/132.91 o 444
132.86/132.91 c * 123s|695461 | 185 | 0 | 0.0 |6083k| 237 | - |1030 |3655 | 0 | 0 | 0 |5096 | 0 | 1.000000e+00 | 4.440000e+02 | Large
133.65/133.77 c 124s|700000 | 184 | 0 | 0.0 |6079k| 237 | - |1030 |3655 | 0 | 0 | 0 |5128 | 0 | 1.000000e+00 | 4.440000e+02 | Large
135.65/135.70 c 126s|710000 | 183 | 0 | 0.0 |6079k| 237 | - |1030 |3655 | 0 | 0 | 0 |5227 | 0 | 1.000000e+00 | 4.440000e+02 | Large
137.55/137.61 c 128s|720000 | 184 | 0 | 0.0 |6079k| 237 | - |1030 |3655 | 0 | 0 | 0 |5314 | 0 | 1.000000e+00 | 4.440000e+02 | Large
139.44/139.55 c 130s|730000 | 182 | 0 | 0.0 |6080k| 237 | - |1030 |3655 | 0 | 0 | 0 |5398 | 0 | 1.000000e+00 | 4.440000e+02 | Large
141.34/141.46 c 131s|740000 | 180 | 0 | 0.0 |6079k| 237 | - |1030 |3655 | 0 | 0 | 0 |5477 | 0 | 1.000000e+00 | 4.440000e+02 | Large
143.34/143.40 c 133s|750000 | 182 | 0 | 0.0 |6080k| 237 | - |1030 |3655 | 0 | 0 | 0 |5629 | 0 | 1.000000e+00 | 4.440000e+02 | Large
145.15/145.29 c 135s|760000 | 183 | 0 | 0.0 |6079k| 237 | - |1030 |3655 | 0 | 0 | 0 |5700 | 0 | 1.000000e+00 | 4.440000e+02 | Large
147.05/147.20 c 137s|770000 | 186 | 0 | 0.0 |6080k| 237 | - |1030 |3655 | 0 | 0 | 0 |5796 | 0 | 1.000000e+00 | 4.440000e+02 | Large
148.94/149.09 c 138s|780000 | 185 | 0 | 0.0 |6080k| 237 | - |1030 |3655 | 0 | 0 | 0 |5843 | 0 | 1.000000e+00 | 4.440000e+02 | Large
150.85/151.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.85/151.00 c 140s|790000 | 183 | 0 | 0.0 |6080k| 237 | - |1030 |3655 | 0 | 0 | 0 |5919 | 0 | 1.000000e+00 | 4.440000e+02 | Large
152.75/152.90 c 142s|800000 | 182 | 0 | 0.0 |6080k| 237 | - |1030 |3655 | 0 | 0 | 0 |6007 | 0 | 1.000000e+00 | 4.440000e+02 | Large
154.64/154.79 c 144s|810000 | 182 | 0 | 0.0 |6079k| 237 | - |1030 |3655 | 0 | 0 | 0 |6069 | 0 | 1.000000e+00 | 4.440000e+02 | Large
156.54/156.66 c 145s|820000 | 184 | 0 | 0.0 |6079k| 237 | - |1030 |3655 | 0 | 0 | 0 |6124 | 0 | 1.000000e+00 | 4.440000e+02 | Large
158.44/158.53 c 147s|830000 | 183 | 0 | 0.0 |6081k| 237 | - |1030 |3655 | 0 | 0 | 0 |6178 | 0 | 1.000000e+00 | 4.440000e+02 | Large
160.34/160.40 c 149s|840000 | 184 | 0 | 0.0 |6080k| 237 | - |1030 |3655 | 0 | 0 | 0 |6217 | 0 | 1.000000e+00 | 4.440000e+02 | Large
162.14/162.27 c 151s|850000 | 184 | 0 | 0.0 |6080k| 237 | - |1030 |3655 | 0 | 0 | 0 |6249 | 0 | 1.000000e+00 | 4.440000e+02 | Large
164.03/164.20 c 152s|860000 | 180 | 0 | 0.0 |6079k| 237 | - |1030 |3655 | 0 | 0 | 0 |6328 | 0 | 1.000000e+00 | 4.440000e+02 | Large
166.05/166.11 c 154s|870000 | 183 | 0 | 0.0 |6080k| 237 | - |1030 |3655 | 0 | 0 | 0 |6399 | 0 | 1.000000e+00 | 4.440000e+02 | Large
167.94/168.09 c 156s|880000 | 181 | 0 | 0.0 |6079k| 237 | - |1030 |3655 | 0 | 0 | 0 |6513 | 0 | 1.000000e+00 | 4.440000e+02 | Large
169.94/170.00 c 158s|890000 | 182 | 0 | 0.0 |6080k| 237 | - |1030 |3655 | 0 | 0 | 0 |6583 | 0 | 1.000000e+00 | 4.440000e+02 | Large
171.73/171.88 c 160s|900000 | 183 | 0 | 0.0 |6080k| 237 | - |1030 |3655 | 0 | 0 | 0 |6658 | 0 | 1.000000e+00 | 4.440000e+02 | Large
173.64/173.76 c 161s|910000 | 181 | 0 | 0.0 |6079k| 237 | - |1030 |3655 | 0 | 0 | 0 |6716 | 0 | 1.000000e+00 | 4.440000e+02 | Large
175.54/175.62 c 163s|920000 | 183 | 0 | 0.0 |6079k| 237 | - |1030 |3655 | 0 | 0 | 0 |6755 | 0 | 1.000000e+00 | 4.440000e+02 | Large
177.44/177.51 c 165s|930000 | 184 | 0 | 0.0 |6081k| 237 | - |1030 |3655 | 0 | 0 | 0 |6801 | 0 | 1.000000e+00 | 4.440000e+02 | Large
179.33/179.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.33/179.45 c 167s|940000 | 182 | 0 | 0.0 |6079k| 237 | - |1030 |3655 | 0 | 0 | 0 |6894 | 0 | 1.000000e+00 | 4.440000e+02 | Large
181.23/181.34 c 168s|950000 | 181 | 0 | 0.0 |6080k| 237 | - |1030 |3655 | 0 | 0 | 0 |6944 | 0 | 1.000000e+00 | 4.440000e+02 | Large
183.13/183.25 c 170s|960000 | 187 | 0 | 0.0 |6081k| 237 | - |1030 |3655 | 0 | 0 | 0 |6975 | 0 | 1.000000e+00 | 4.440000e+02 | Large
185.03/185.13 o 443
185.03/185.13 c * 172s|969801 | 185 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 |7040 | 0 | 1.000000e+00 | 4.430000e+02 | Large
185.03/185.17 c 172s|970000 | 182 | 0 | 0.0 |6093k| 237 | - |1030 |3655 | 0 | 0 | 0 |7040 | 0 | 1.000000e+00 | 4.430000e+02 | Large
186.94/187.06 c 174s|980000 | 179 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 |7087 | 0 | 1.000000e+00 | 4.430000e+02 | Large
188.83/188.96 c 175s|990000 | 185 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 |7164 | 0 | 1.000000e+00 | 4.430000e+02 | Large
190.73/190.89 c 177s| 1000k| 185 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 |7207 | 0 | 1.000000e+00 | 4.430000e+02 | Large
192.63/192.79 c 179s| 1010k| 183 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 |7266 | 0 | 1.000000e+00 | 4.430000e+02 | Large
194.64/194.72 c 181s| 1020k| 182 | 0 | 0.0 |6093k| 237 | - |1030 |3655 | 0 | 0 | 0 |7348 | 0 | 1.000000e+00 | 4.430000e+02 | Large
196.53/196.63 c 183s| 1030k| 179 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 |7403 | 0 | 1.000000e+00 | 4.430000e+02 | Large
198.43/198.59 c 184s| 1040k| 183 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 |7486 | 0 | 1.000000e+00 | 4.430000e+02 | Large
200.43/200.54 c 186s| 1050k| 179 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 |7582 | 0 | 1.000000e+00 | 4.430000e+02 | Large
202.34/202.47 c 188s| 1060k| 182 | 0 | 0.0 |6093k| 237 | - |1030 |3655 | 0 | 0 | 0 |7655 | 0 | 1.000000e+00 | 4.430000e+02 | Large
204.23/204.37 c 190s| 1070k| 181 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 |7714 | 0 | 1.000000e+00 | 4.430000e+02 | Large
206.23/206.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
206.23/206.30 c 192s| 1080k| 180 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 |7776 | 0 | 1.000000e+00 | 4.430000e+02 | Large
208.13/208.22 c 193s| 1090k| 180 | 0 | 0.0 |6093k| 237 | - |1030 |3655 | 0 | 0 | 0 |7825 | 0 | 1.000000e+00 | 4.430000e+02 | Large
209.93/210.10 c 195s| 1100k| 184 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 |7867 | 0 | 1.000000e+00 | 4.430000e+02 | Large
211.83/211.96 c 197s| 1110k| 182 | 0 | 0.0 |6093k| 237 | - |1030 |3655 | 0 | 0 | 0 |7921 | 0 | 1.000000e+00 | 4.430000e+02 | Large
213.73/213.87 c 199s| 1120k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 |7977 | 0 | 1.000000e+00 | 4.430000e+02 | Large
215.72/215.81 c 200s| 1130k| 181 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 |8050 | 0 | 1.000000e+00 | 4.430000e+02 | Large
217.63/217.73 c 202s| 1140k| 181 | 0 | 0.0 |6093k| 237 | - |1030 |3655 | 0 | 0 | 0 |8121 | 0 | 1.000000e+00 | 4.430000e+02 | Large
219.52/219.66 c 204s| 1150k| 180 | 0 | 0.0 |6093k| 237 | - |1030 |3655 | 0 | 0 | 0 |8191 | 0 | 1.000000e+00 | 4.430000e+02 | Large
221.43/221.58 c 206s| 1160k| 181 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 |8267 | 0 | 1.000000e+00 | 4.430000e+02 | Large
223.32/223.46 c 207s| 1170k| 181 | 0 | 0.0 |6093k| 237 | - |1030 |3655 | 0 | 0 | 0 |8314 | 0 | 1.000000e+00 | 4.430000e+02 | Large
225.22/225.35 c 209s| 1180k| 183 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 |8357 | 0 | 1.000000e+00 | 4.430000e+02 | Large
227.12/227.26 c 211s| 1190k| 181 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 |8400 | 0 | 1.000000e+00 | 4.430000e+02 | Large
229.02/229.17 c 213s| 1200k| 182 | 0 | 0.0 |6093k| 237 | - |1030 |3655 | 0 | 0 | 0 |8430 | 0 | 1.000000e+00 | 4.430000e+02 | Large
231.02/231.12 c 215s| 1210k| 182 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 |8476 | 0 | 1.000000e+00 | 4.430000e+02 | Large
232.92/233.01 c 216s| 1220k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 |8510 | 0 | 1.000000e+00 | 4.430000e+02 | Large
234.82/234.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
234.82/234.92 c 218s| 1230k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 |8544 | 0 | 1.000000e+00 | 4.430000e+02 | Large
236.72/236.87 c 220s| 1240k| 186 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 |8653 | 0 | 1.000000e+00 | 4.430000e+02 | Large
238.72/238.83 c 222s| 1250k| 185 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 |8722 | 0 | 1.000000e+00 | 4.430000e+02 | Large
240.62/240.79 c 224s| 1260k| 185 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 |8816 | 0 | 1.000000e+00 | 4.430000e+02 | Large
242.62/242.74 c 225s| 1270k| 184 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 |8898 | 0 | 1.000000e+00 | 4.430000e+02 | Large
244.62/244.72 c 227s| 1280k| 187 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 |8942 | 0 | 1.000000e+00 | 4.430000e+02 | Large
246.51/246.64 c 229s| 1290k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 |8984 | 0 | 1.000000e+00 | 4.430000e+02 | Large
248.53/248.63 c 231s| 1300k| 184 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 |9048 | 0 | 1.000000e+00 | 4.430000e+02 | Large
250.42/250.55 c 233s| 1310k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 |9119 | 0 | 1.000000e+00 | 4.430000e+02 | Large
252.32/252.44 c 234s| 1320k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 |9181 | 0 | 1.000000e+00 | 4.430000e+02 | Large
254.21/254.39 c 236s| 1330k| 186 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 |9309 | 0 | 1.000000e+00 | 4.430000e+02 | Large
256.22/256.36 c 238s| 1340k| 181 | 0 | 0.0 |6093k| 237 | - |1030 |3655 | 0 | 0 | 0 |9416 | 0 | 1.000000e+00 | 4.430000e+02 | Large
258.12/258.25 c 240s| 1350k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 |9481 | 0 | 1.000000e+00 | 4.430000e+02 | Large
260.32/260.43 c 242s| 1360k| 184 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 |9824 | 0 | 1.000000e+00 | 4.430000e+02 | Large
262.52/262.65 c 244s| 1370k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | 4.430000e+02 | Large
264.61/264.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
264.61/264.74 c 246s| 1380k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | 4.430000e+02 | Large
266.71/266.89 c 248s| 1390k| 185 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | 4.430000e+02 | Large
268.92/269.01 c 250s| 1400k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 4.430000e+02 | Large
270.91/271.09 c 252s| 1410k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 4.430000e+02 | Large
273.12/273.23 c 254s| 1420k| 182 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 4.430000e+02 | Large
275.02/275.17 c 256s| 1430k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 4.430000e+02 | Large
276.91/277.09 c 257s| 1440k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 4.430000e+02 | Large
278.91/279.01 c 259s| 1450k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 4.430000e+02 | Large
280.81/280.97 c 261s| 1460k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | 4.430000e+02 | Large
282.81/282.93 c 263s| 1470k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | 4.430000e+02 | Large
284.81/284.91 c 265s| 1480k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | 4.430000e+02 | Large
286.70/286.84 c 266s| 1490k| 181 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | 4.430000e+02 | Large
288.71/288.81 c 268s| 1500k| 183 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | 4.430000e+02 | Large
290.60/290.78 c 270s| 1510k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | 4.430000e+02 | Large
292.81/292.90 c 272s| 1520k| 187 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 4.430000e+02 | Large
294.80/294.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
294.80/294.99 c 274s| 1530k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 4.430000e+02 | Large
297.21/297.32 c 276s| 1540k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 4.430000e+02 | Large
299.11/299.29 c 278s| 1550k| 182 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 4.430000e+02 | Large
301.11/301.28 c 280s| 1560k| 185 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | 4.430000e+02 | Large
303.21/303.36 c 282s| 1570k| 183 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | 4.430000e+02 | Large
305.20/305.32 c 284s| 1580k| 182 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | 4.430000e+02 | Large
307.20/307.33 c 286s| 1590k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | 4.430000e+02 | Large
309.20/309.33 c 287s| 1600k| 184 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | 4.430000e+02 | Large
311.31/311.40 c 289s| 1610k| 185 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 4.430000e+02 | Large
313.20/313.33 c 291s| 1620k| 179 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 4.430000e+02 | Large
315.10/315.28 c 293s| 1630k| 184 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 4.430000e+02 | Large
317.10/317.23 c 295s| 1640k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 4.430000e+02 | Large
319.00/319.14 c 296s| 1650k| 185 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 4.430000e+02 | Large
320.89/321.07 c 298s| 1660k| 181 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 4.430000e+02 | Large
322.89/323.02 c 300s| 1670k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 4.430000e+02 | Large
324.90/325.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
324.90/325.04 c 302s| 1680k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 4.430000e+02 | Large
326.80/326.96 c 304s| 1690k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 4.430000e+02 | Large
328.81/328.91 c 306s| 1700k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 4.430000e+02 | Large
330.80/330.92 c 307s| 1710k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 4.430000e+02 | Large
332.79/332.92 c 309s| 1720k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 4.430000e+02 | Large
334.70/334.89 c 311s| 1730k| 179 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 4.430000e+02 | Large
336.69/336.89 c 313s| 1740k| 181 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 4.430000e+02 | Large
338.70/338.86 c 315s| 1750k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 4.430000e+02 | Large
340.70/340.85 c 317s| 1760k| 184 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 4.430000e+02 | Large
342.60/342.78 c 318s| 1770k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 4.430000e+02 | Large
344.60/344.77 c 320s| 1780k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 4.430000e+02 | Large
346.50/346.68 c 322s| 1790k| 178 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 4.430000e+02 | Large
348.50/348.62 c 324s| 1800k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 4.430000e+02 | Large
350.49/350.66 c 326s| 1810k| 184 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 4.430000e+02 | Large
352.49/352.65 c 328s| 1820k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | 4.430000e+02 | Large
354.59/354.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
354.59/354.71 c 329s| 1830k| 184 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | 4.430000e+02 | Large
356.69/356.86 c 331s| 1840k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | 4.430000e+02 | Large
358.69/358.89 c 333s| 1850k| 184 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | 4.430000e+02 | Large
360.79/360.92 c 335s| 1860k| 182 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | 4.430000e+02 | Large
362.90/363.02 c 337s| 1870k| 183 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 4.430000e+02 | Large
364.79/364.97 c 339s| 1880k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 4.430000e+02 | Large
366.79/366.94 c 341s| 1890k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 4.430000e+02 | Large
368.79/368.97 c 343s| 1900k| 183 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 4.430000e+02 | Large
370.79/370.98 c 345s| 1910k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 4.430000e+02 | Large
372.79/372.94 c 346s| 1920k| 184 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 4.430000e+02 | Large
374.69/374.89 c 348s| 1930k| 181 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 4.430000e+02 | Large
376.69/376.89 c 350s| 1940k| 179 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 4.430000e+02 | Large
378.78/378.94 c 352s| 1950k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 4.430000e+02 | Large
380.78/380.97 c 354s| 1960k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | 4.430000e+02 | Large
382.89/383.02 c 356s| 1970k| 180 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | 4.430000e+02 | Large
385.09/385.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
385.09/385.27 c 358s| 1980k| 180 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | 4.430000e+02 | Large
387.29/387.42 c 360s| 1990k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | 4.430000e+02 | Large
389.29/389.42 c 362s| 2000k| 179 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | 4.430000e+02 | Large
391.28/391.44 c 364s| 2010k| 182 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | 4.430000e+02 | Large
393.29/393.46 c 366s| 2020k| 183 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | 4.430000e+02 | Large
395.38/395.50 c 368s| 2030k| 180 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | 4.430000e+02 | Large
397.28/397.48 c 369s| 2040k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | 4.430000e+02 | Large
399.38/399.54 c 371s| 2050k| 180 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 4.430000e+02 | Large
401.38/401.56 c 373s| 2060k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 4.430000e+02 | Large
403.38/403.53 c 375s| 2070k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 4.430000e+02 | Large
405.38/405.59 c 377s| 2080k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 4.430000e+02 | Large
407.38/407.57 c 379s| 2090k| 180 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 4.430000e+02 | Large
409.38/409.53 c 381s| 2100k| 179 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 4.430000e+02 | Large
411.29/411.47 c 382s| 2110k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 4.430000e+02 | Large
413.17/413.38 c 384s| 2120k| 185 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 4.430000e+02 | Large
415.18/415.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
415.18/415.32 c 386s| 2130k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 4.430000e+02 | Large
417.17/417.37 c 388s| 2140k| 179 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 4.430000e+02 | Large
419.18/419.34 c 390s| 2150k| 181 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 4.430000e+02 | Large
421.18/421.31 c 392s| 2160k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 4.430000e+02 | Large
423.07/423.24 c 393s| 2170k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 4.430000e+02 | Large
424.98/425.19 c 395s| 2180k| 180 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 4.430000e+02 | Large
426.97/427.13 c 397s| 2190k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 4.430000e+02 | Large
428.88/429.07 c 399s| 2200k| 179 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 4.430000e+02 | Large
430.87/431.07 c 401s| 2210k| 180 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 4.430000e+02 | Large
432.97/433.14 c 403s| 2220k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 4.430000e+02 | Large
435.07/435.26 c 405s| 2230k| 178 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 4.430000e+02 | Large
437.17/437.39 c 407s| 2240k| 184 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 4.430000e+02 | Large
439.17/439.38 c 408s| 2250k| 182 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 4.430000e+02 | Large
441.17/441.35 c 410s| 2260k| 182 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 4.430000e+02 | Large
443.27/443.45 c 412s| 2270k| 182 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 4.430000e+02 | Large
445.28/445.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
445.28/445.47 c 414s| 2280k| 182 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 4.430000e+02 | Large
447.26/447.43 c 416s| 2290k| 180 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 4.430000e+02 | Large
449.16/449.34 c 418s| 2300k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 4.430000e+02 | Large
451.06/451.28 c 420s| 2310k| 183 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 4.430000e+02 | Large
452.97/453.20 c 421s| 2320k| 180 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | 4.430000e+02 | Large
454.97/455.18 c 423s| 2330k| 181 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | 4.430000e+02 | Large
456.96/457.14 c 425s| 2340k| 179 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | 4.430000e+02 | Large
459.07/459.21 c 427s| 2350k| 181 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | 4.430000e+02 | Large
460.97/461.20 c 429s| 2360k| 179 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | 4.430000e+02 | Large
462.98/463.13 c 431s| 2370k| 184 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | 4.430000e+02 | Large
464.86/465.07 c 432s| 2380k| 180 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 4.430000e+02 | Large
466.76/466.95 c 434s| 2390k| 179 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 4.430000e+02 | Large
468.56/468.79 c 436s| 2400k| 185 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 4.430000e+02 | Large
470.57/470.78 c 438s| 2410k| 187 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 4.430000e+02 | Large
472.56/472.74 c 440s| 2420k| 184 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 4.430000e+02 | Large
474.46/474.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
474.46/474.63 c 441s| 2430k| 184 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 4.430000e+02 | Large
476.36/476.57 c 443s| 2440k| 183 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 4.430000e+02 | Large
478.27/478.48 c 445s| 2450k| 180 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 4.430000e+02 | Large
480.17/480.38 c 447s| 2460k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 4.430000e+02 | Large
482.16/482.35 c 448s| 2470k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 4.430000e+02 | Large
484.06/484.28 c 450s| 2480k| 181 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 4.430000e+02 | Large
485.96/486.20 c 452s| 2490k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 4.430000e+02 | Large
487.86/488.08 c 454s| 2500k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 4.430000e+02 | Large
489.86/490.04 c 456s| 2510k| 185 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 4.430000e+02 | Large
491.86/492.02 c 457s| 2520k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 4.430000e+02 | Large
493.76/493.94 c 459s| 2530k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 4.430000e+02 | Large
495.66/495.85 c 461s| 2540k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 4.430000e+02 | Large
497.56/497.78 c 463s| 2550k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 4.430000e+02 | Large
499.56/499.72 c 465s| 2560k| 182 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 4.430000e+02 | Large
501.46/501.62 c 466s| 2570k| 182 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 4.430000e+02 | Large
503.36/503.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
503.36/503.54 c 468s| 2580k| 181 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 4.430000e+02 | Large
505.25/505.40 c 470s| 2590k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 4.430000e+02 | Large
507.05/507.26 c 472s| 2600k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 4.430000e+02 | Large
508.96/509.11 c 473s| 2610k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 4.430000e+02 | Large
510.86/511.09 c 475s| 2620k| 178 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 4.430000e+02 | Large
512.85/513.04 c 477s| 2630k| 181 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 4.430000e+02 | Large
514.76/514.96 c 479s| 2640k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 4.430000e+02 | Large
516.75/516.99 c 481s| 2650k| 179 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 4.430000e+02 | Large
518.75/518.98 c 482s| 2660k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 4.430000e+02 | Large
520.76/520.95 c 484s| 2670k| 179 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 4.430000e+02 | Large
522.76/522.90 c 486s| 2680k| 184 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 4.430000e+02 | Large
524.65/524.87 c 488s| 2690k| 177 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 4.430000e+02 | Large
526.55/526.77 c 490s| 2700k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 4.430000e+02 | Large
528.55/528.73 c 492s| 2710k| 185 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 4.430000e+02 | Large
530.44/530.69 c 493s| 2720k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 4.430000e+02 | Large
532.45/532.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
532.45/532.67 c 495s| 2730k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 4.430000e+02 | Large
534.46/534.67 c 497s| 2740k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 4.430000e+02 | Large
536.45/536.65 c 499s| 2750k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 4.430000e+02 | Large
538.35/538.59 c 501s| 2760k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 4.430000e+02 | Large
540.35/540.50 c 502s| 2770k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 4.430000e+02 | Large
542.25/542.45 c 504s| 2780k| 181 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 4.430000e+02 | Large
544.25/544.41 c 506s| 2790k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 4.430000e+02 | Large
546.14/546.39 c 508s| 2800k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 4.430000e+02 | Large
548.15/548.34 c 510s| 2810k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 4.430000e+02 | Large
550.14/550.31 c 512s| 2820k| 180 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 4.430000e+02 | Large
552.05/552.25 c 513s| 2830k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 4.430000e+02 | Large
554.05/554.27 c 515s| 2840k| 185 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 4.430000e+02 | Large
556.05/556.27 c 517s| 2850k| 179 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 4.430000e+02 | Large
557.94/558.19 c 519s| 2860k| 179 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 4.430000e+02 | Large
559.84/560.10 c 521s| 2870k| 181 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 4.430000e+02 | Large
561.84/562.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
561.84/562.01 c 522s| 2880k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 4.430000e+02 | Large
563.74/563.92 c 524s| 2890k| 180 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 4.430000e+02 | Large
565.64/565.83 c 526s| 2900k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 4.430000e+02 | Large
567.54/567.75 c 528s| 2910k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 4.430000e+02 | Large
569.44/569.69 c 530s| 2920k| 180 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 4.430000e+02 | Large
571.44/571.62 c 531s| 2930k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 4.430000e+02 | Large
573.44/573.62 c 533s| 2940k| 181 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 4.430000e+02 | Large
575.44/575.69 c 535s| 2950k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 4.430000e+02 | Large
577.43/577.64 c 537s| 2960k| 186 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 4.430000e+02 | Large
579.44/579.60 c 539s| 2970k| 184 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 4.430000e+02 | Large
581.33/581.56 c 541s| 2980k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 4.430000e+02 | Large
583.33/583.52 c 543s| 2990k| 178 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 4.430000e+02 | Large
585.34/585.54 c 544s| 3000k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 4.430000e+02 | Large
587.43/587.62 c 546s| 3010k| 178 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 4.430000e+02 | Large
589.34/589.59 c 548s| 3020k| 181 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 4.430000e+02 | Large
591.34/591.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
591.34/591.59 c 550s| 3030k| 179 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 4.430000e+02 | Large
593.34/593.55 c 552s| 3040k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 4.430000e+02 | Large
595.33/595.51 c 554s| 3050k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 4.430000e+02 | Large
597.33/597.52 c 556s| 3060k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 4.430000e+02 | Large
599.34/599.59 c 558s| 3070k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 4.430000e+02 | Large
601.44/601.61 c 559s| 3080k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 4.430000e+02 | Large
603.33/603.55 c 561s| 3090k| 184 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 4.430000e+02 | Large
605.33/605.53 c 563s| 3100k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 4.430000e+02 | Large
607.33/607.53 c 565s| 3110k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 4.430000e+02 | Large
609.33/609.53 c 567s| 3120k| 182 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 4.430000e+02 | Large
611.33/611.52 c 569s| 3130k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 4.430000e+02 | Large
613.32/613.50 c 570s| 3140k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 4.430000e+02 | Large
615.23/615.45 c 572s| 3150k| 185 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 4.430000e+02 | Large
617.23/617.46 c 574s| 3160k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 4.430000e+02 | Large
619.23/619.47 c 576s| 3170k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 4.430000e+02 | Large
621.23/621.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
621.23/621.49 c 578s| 3180k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 4.430000e+02 | Large
623.23/623.43 c 580s| 3190k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 4.430000e+02 | Large
625.23/625.46 c 582s| 3200k| 183 | 0 | 0.0 |6098k| 237 | - |1030 |3655 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 4.430000e+02 | Large
627.23/627.44 c 583s| 3210k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 4.430000e+02 | Large
629.22/629.44 c 585s| 3220k| 179 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 4.430000e+02 | Large
631.23/631.48 c 587s| 3230k| 180 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 4.430000e+02 | Large
633.23/633.41 c 589s| 3240k| 184 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 4.430000e+02 | Large
635.12/635.39 c 591s| 3250k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 4.430000e+02 | Large
637.22/637.43 c 593s| 3260k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 4.430000e+02 | Large
639.22/639.46 c 595s| 3270k| 178 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 4.430000e+02 | Large
641.22/641.49 c 596s| 3280k| 185 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 4.430000e+02 | Large
643.22/643.41 c 598s| 3290k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 4.430000e+02 | Large
645.12/645.39 c 600s| 3300k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 4.430000e+02 | Large
647.12/647.38 c 602s| 3310k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 4.430000e+02 | Large
649.22/649.44 c 604s| 3320k| 182 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 4.430000e+02 | Large
651.22/651.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
651.22/651.40 c 606s| 3330k| 180 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 4.430000e+02 | Large
653.23/653.44 c 608s| 3340k| 177 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 4.430000e+02 | Large
655.12/655.34 c 609s| 3350k| 178 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 4.430000e+02 | Large
657.02/657.29 c 611s| 3360k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 4.430000e+02 | Large
659.02/659.23 c 613s| 3370k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 4.430000e+02 | Large
660.93/661.17 c 615s| 3380k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 4.430000e+02 | Large
662.81/663.09 c 617s| 3390k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 4.430000e+02 | Large
664.82/665.07 c 618s| 3400k| 177 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 4.430000e+02 | Large
666.81/667.01 c 620s| 3410k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 4.430000e+02 | Large
668.72/668.98 c 622s| 3420k| 179 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 4.430000e+02 | Large
670.72/670.95 c 624s| 3430k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 4.430000e+02 | Large
672.71/672.94 c 626s| 3440k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 4.430000e+02 | Large
674.71/674.92 c 628s| 3450k| 180 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 4.430000e+02 | Large
676.61/676.81 c 629s| 3460k| 178 | 0 | 0.0 |6093k| 237 | - |1030 |3655 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 4.430000e+02 | Large
678.52/678.72 c 631s| 3470k| 180 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 4.430000e+02 | Large
680.42/680.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
680.42/680.64 c 633s| 3480k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 4.430000e+02 | Large
682.31/682.54 c 635s| 3490k| 178 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 4.430000e+02 | Large
684.21/684.45 c 636s| 3500k| 178 | 0 | 0.0 |6093k| 237 | - |1030 |3655 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 4.430000e+02 | Large
686.12/686.34 c 638s| 3510k| 177 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 4.430000e+02 | Large
688.01/688.29 c 640s| 3520k| 185 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 4.430000e+02 | Large
690.31/690.50 c 642s| 3530k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | 4.430000e+02 | Large
692.41/692.62 c 644s| 3540k| 185 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | 4.430000e+02 | Large
694.51/694.74 c 646s| 3550k| 182 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | 4.430000e+02 | Large
696.51/696.75 c 648s| 3560k| 183 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | 4.430000e+02 | Large
698.61/698.85 c 650s| 3570k| 186 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | 4.430000e+02 | Large
700.61/700.89 c 652s| 3580k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | 4.430000e+02 | Large
702.62/702.88 c 654s| 3590k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | 4.430000e+02 | Large
704.82/705.02 c 656s| 3600k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | 4.430000e+02 | Large
706.91/707.10 c 658s| 3610k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | 4.430000e+02 | Large
708.91/709.14 c 660s| 3620k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | 4.430000e+02 | Large
711.00/711.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
711.00/711.21 c 661s| 3630k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | 4.430000e+02 | Large
713.00/713.28 c 663s| 3640k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | 4.430000e+02 | Large
715.10/715.31 c 665s| 3650k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | 4.430000e+02 | Large
717.21/717.45 c 667s| 3660k| 185 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | 4.430000e+02 | Large
719.40/719.61 c 669s| 3670k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 39k| 0 | 1.000000e+00 | 4.430000e+02 | Large
721.60/721.85 c 671s| 3680k| 185 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 39k| 0 | 1.000000e+00 | 4.430000e+02 | Large
723.80/724.06 c 673s| 3690k| 179 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | 4.430000e+02 | Large
726.00/726.28 c 676s| 3700k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | 4.430000e+02 | Large
728.29/728.56 c 678s| 3710k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | 4.430000e+02 | Large
730.69/730.97 c 680s| 3720k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | 4.430000e+02 | Large
733.00/733.28 c 682s| 3730k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | 4.430000e+02 | Large
735.20/735.48 c 684s| 3740k| 178 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 42k| 0 | 1.000000e+00 | 4.430000e+02 | Large
737.60/737.85 c 686s| 3750k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 42k| 0 | 1.000000e+00 | 4.430000e+02 | Large
740.00/740.21 c 689s| 3760k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | 4.430000e+02 | Large
742.30/742.56 c 691s| 3770k| 187 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | 4.430000e+02 | Large
744.60/744.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
744.60/744.87 c 693s| 3780k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 44k| 0 | 1.000000e+00 | 4.430000e+02 | Large
746.89/747.10 c 695s| 3790k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 44k| 0 | 1.000000e+00 | 4.430000e+02 | Large
749.10/749.31 c 697s| 3800k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | 4.430000e+02 | Large
751.29/751.54 c 699s| 3810k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | 4.430000e+02 | Large
753.49/753.72 c 701s| 3820k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | 4.430000e+02 | Large
755.69/755.99 c 704s| 3830k| 178 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | 4.430000e+02 | Large
757.99/758.24 c 706s| 3840k| 179 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | 4.430000e+02 | Large
760.19/760.43 c 708s| 3850k| 180 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | 4.430000e+02 | Large
762.39/762.67 c 710s| 3860k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | 4.430000e+02 | Large
764.69/764.96 c 712s| 3870k| 184 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 48k| 0 | 1.000000e+00 | 4.430000e+02 | Large
766.99/767.25 c 714s| 3880k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 48k| 0 | 1.000000e+00 | 4.430000e+02 | Large
769.29/769.53 c 716s| 3890k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 48k| 0 | 1.000000e+00 | 4.430000e+02 | Large
771.59/771.84 c 718s| 3900k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | 4.430000e+02 | Large
773.99/774.20 c 721s| 3910k| 186 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | 4.430000e+02 | Large
776.29/776.52 c 723s| 3920k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | 4.430000e+02 | Large
778.60/778.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
778.60/778.85 c 725s| 3930k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | 4.430000e+02 | Large
780.89/781.11 c 727s| 3940k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | 4.430000e+02 | Large
783.09/783.37 c 729s| 3950k| 186 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | 4.430000e+02 | Large
785.38/785.69 c 731s| 3960k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | 4.430000e+02 | Large
787.79/788.06 c 734s| 3970k| 182 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | 4.430000e+02 | Large
790.09/790.36 c 736s| 3980k| 185 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | 4.430000e+02 | Large
792.38/792.64 c 738s| 3990k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | 4.430000e+02 | Large
794.68/794.90 c 740s| 4000k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | 4.430000e+02 | Large
796.88/797.10 c 742s| 4010k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | 4.430000e+02 | Large
799.08/799.38 c 744s| 4020k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | 4.430000e+02 | Large
801.49/801.70 c 746s| 4030k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | 4.430000e+02 | Large
803.79/804.04 c 749s| 4040k| 183 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | 4.430000e+02 | Large
806.18/806.40 c 751s| 4050k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | 4.430000e+02 | Large
808.48/808.75 c 753s| 4060k| 182 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 4.430000e+02 | Large
810.78/811.09 c 755s| 4070k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 4.430000e+02 | Large
813.18/813.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.18/813.45 c 757s| 4080k| 184 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | 4.430000e+02 | Large
815.58/815.87 c 760s| 4090k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | 4.430000e+02 | Large
817.98/818.21 c 762s| 4100k| 185 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | 4.430000e+02 | Large
820.18/820.47 c 764s| 4110k| 186 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | 4.430000e+02 | Large
822.49/822.74 c 766s| 4120k| 185 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 4.430000e+02 | Large
824.68/824.95 c 768s| 4130k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 4.430000e+02 | Large
826.98/827.23 c 770s| 4140k| 179 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 4.430000e+02 | Large
829.28/829.52 c 773s| 4150k| 185 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | 4.430000e+02 | Large
831.58/831.82 c 775s| 4160k| 178 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | 4.430000e+02 | Large
833.87/834.12 c 777s| 4170k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | 4.430000e+02 | Large
836.28/836.53 c 779s| 4180k| 185 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | 4.430000e+02 | Large
838.67/838.92 c 781s| 4190k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | 4.430000e+02 | Large
841.18/841.47 c 784s| 4200k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 4.430000e+02 | Large
843.58/843.85 c 786s| 4210k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 63k| 0 | 1.000000e+00 | 4.430000e+02 | Large
845.97/846.22 c 788s| 4220k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 63k| 0 | 1.000000e+00 | 4.430000e+02 | Large
848.38/848.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
848.38/848.60 c 790s| 4230k| 186 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | 4.430000e+02 | Large
850.67/850.94 c 793s| 4240k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | 4.430000e+02 | Large
852.97/853.29 c 795s| 4250k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | 4.430000e+02 | Large
855.37/855.60 c 797s| 4260k| 187 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | 4.430000e+02 | Large
857.87/858.11 c 799s| 4270k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | 4.430000e+02 | Large
860.37/860.60 c 802s| 4280k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | 4.430000e+02 | Large
862.66/862.96 c 804s| 4290k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | 4.430000e+02 | Large
865.17/865.42 c 806s| 4300k| 185 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | 4.430000e+02 | Large
867.47/867.72 c 809s| 4310k| 189 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | 4.430000e+02 | Large
869.78/870.04 c 811s| 4320k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 69k| 0 | 1.000000e+00 | 4.430000e+02 | Large
872.07/872.30 c 813s| 4330k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 69k| 0 | 1.000000e+00 | 4.430000e+02 | Large
874.36/874.67 c 815s| 4340k| 183 | 0 | 0.0 |6099k| 237 | - |1030 |3655 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | 4.430000e+02 | Large
876.77/877.04 c 817s| 4350k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | 4.430000e+02 | Large
879.17/879.44 c 820s| 4360k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | 4.430000e+02 | Large
881.46/881.76 c 822s| 4370k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | 4.430000e+02 | Large
883.66/883.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.66/883.98 c 824s| 4380k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | 4.430000e+02 | Large
885.96/886.21 c 826s| 4390k| 181 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | 4.430000e+02 | Large
888.36/888.60 c 828s| 4400k| 181 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | 4.430000e+02 | Large
890.67/890.90 c 830s| 4410k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | 4.430000e+02 | Large
892.87/893.13 c 832s| 4420k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | 4.430000e+02 | Large
895.06/895.33 c 834s| 4430k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | 4.430000e+02 | Large
897.16/897.48 c 836s| 4440k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | 4.430000e+02 | Large
899.57/899.83 c 839s| 4450k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | 4.430000e+02 | Large
901.77/902.04 c 841s| 4460k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | 4.430000e+02 | Large
904.05/904.31 c 843s| 4470k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | 4.430000e+02 | Large
906.36/906.65 c 845s| 4480k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | 4.430000e+02 | Large
908.76/909.03 c 847s| 4490k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | 4.430000e+02 | Large
910.96/911.28 c 849s| 4500k| 186 | 0 | 0.0 |6099k| 237 | - |1030 |3655 | 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | 4.430000e+02 | Large
913.35/913.61 c 852s| 4510k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 78k| 0 | 1.000000e+00 | 4.430000e+02 | Large
915.75/916.09 c 854s| 4520k| 180 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 78k| 0 | 1.000000e+00 | 4.430000e+02 | Large
917.96/918.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
917.96/918.27 c 856s| 4530k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | 4.430000e+02 | Large
920.25/920.55 c 858s| 4540k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | 4.430000e+02 | Large
922.45/922.79 c 860s| 4550k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 80k| 0 | 1.000000e+00 | 4.430000e+02 | Large
924.76/925.10 c 862s| 4560k| 185 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 80k| 0 | 1.000000e+00 | 4.430000e+02 | Large
927.16/927.41 c 865s| 4570k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | 4.430000e+02 | Large
929.45/929.73 c 867s| 4580k| 182 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | 4.430000e+02 | Large
931.75/932.00 c 869s| 4590k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | 4.430000e+02 | Large
934.05/934.37 c 871s| 4600k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 82k| 0 | 1.000000e+00 | 4.430000e+02 | Large
936.35/936.65 c 873s| 4610k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 82k| 0 | 1.000000e+00 | 4.430000e+02 | Large
938.64/938.97 c 875s| 4620k| 185 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | 4.430000e+02 | Large
940.95/941.27 c 878s| 4630k| 180 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | 4.430000e+02 | Large
943.35/943.61 c 880s| 4640k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | 4.430000e+02 | Large
945.55/945.85 c 882s| 4650k| 182 | 0 | 0.0 |6098k| 237 | - |1030 |3655 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | 4.430000e+02 | Large
947.85/948.20 c 884s| 4660k| 185 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | 4.430000e+02 | Large
950.16/950.46 c 886s| 4670k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | 4.430000e+02 | Large
952.65/952.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
952.65/952.91 c 888s| 4680k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | 4.430000e+02 | Large
954.95/955.21 c 891s| 4690k| 185 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | 4.430000e+02 | Large
957.25/957.50 c 893s| 4700k| 184 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | 4.430000e+02 | Large
959.54/959.80 c 895s| 4710k| 179 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | 4.430000e+02 | Large
961.84/962.13 c 897s| 4720k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | 4.430000e+02 | Large
964.14/964.40 c 899s| 4730k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | 4.430000e+02 | Large
966.44/966.71 c 901s| 4740k| 190 | 0 | 0.0 |6098k| 237 | - |1030 |3655 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | 4.430000e+02 | Large
968.85/969.14 c 904s| 4750k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 89k| 0 | 1.000000e+00 | 4.430000e+02 | Large
971.15/971.48 c 906s| 4760k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 89k| 0 | 1.000000e+00 | 4.430000e+02 | Large
973.74/974.01 c 908s| 4770k| 184 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | 4.430000e+02 | Large
976.04/976.31 c 910s| 4780k| 184 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 91k| 0 | 1.000000e+00 | 4.430000e+02 | Large
978.34/978.60 c 913s| 4790k| 185 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 91k| 0 | 1.000000e+00 | 4.430000e+02 | Large
980.64/980.97 c 915s| 4800k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | 4.430000e+02 | Large
982.94/983.28 c 917s| 4810k| 180 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | 4.430000e+02 | Large
985.34/985.61 c 919s| 4820k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | 4.430000e+02 | Large
987.64/987.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
987.64/987.91 c 921s| 4830k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | 4.430000e+02 | Large
989.94/990.20 c 923s| 4840k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | 4.430000e+02 | Large
992.13/992.41 c 926s| 4850k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | 4.430000e+02 | Large
994.33/994.64 c 928s| 4860k| 178 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | 4.430000e+02 | Large
996.64/996.96 c 930s| 4870k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | 4.430000e+02 | Large
998.93/999.29 c 932s| 4880k| 183 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1001.23/1001.55 c 934s| 4890k| 180 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1003.53/1003.83 c 936s| 4900k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1005.73/1006.08 c 938s| 4910k| 186 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 97k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1008.03/1008.32 c 940s| 4920k| 180 | 0 | 0.0 |6098k| 237 | - |1030 |3655 | 0 | 0 | 0 | 97k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1010.23/1010.58 c 943s| 4930k| 184 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 97k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1012.53/1012.85 c 945s| 4940k| 179 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1014.83/1015.10 c 947s| 4950k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1017.14/1017.47 c 949s| 4960k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1019.44/1019.76 c 951s| 4970k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1021.72/1022.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1021.72/1022.03 c 953s| 4980k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 100k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1023.93/1024.27 c 955s| 4990k| 179 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 100k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1026.23/1026.56 c 958s| 5000k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1028.53/1028.86 c 960s| 5010k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1030.82/1031.17 c 962s| 5020k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1033.13/1033.47 c 964s| 5030k| 189 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1035.42/1035.75 c 966s| 5040k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1037.72/1038.00 c 968s| 5050k| 179 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 103k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1039.93/1040.21 c 970s| 5060k| 179 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 103k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1042.12/1042.48 c 973s| 5070k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1044.42/1044.72 c 975s| 5080k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1046.62/1046.97 c 977s| 5090k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1048.92/1049.27 c 979s| 5100k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1051.33/1051.62 c 981s| 5110k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 106k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1053.62/1053.90 c 983s| 5120k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 106k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1055.91/1056.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1055.91/1056.23 c 986s| 5130k| 179 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1058.22/1058.52 c 988s| 5140k| 184 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1060.42/1060.79 c 990s| 5150k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1062.61/1062.95 c 992s| 5160k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1064.92/1065.25 c 994s| 5170k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1067.21/1067.55 c 996s| 5180k| 186 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 109k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1069.51/1069.81 c 998s| 5190k| 181 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 109k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1071.82/1072.11 c 1000s| 5200k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 110k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1074.12/1074.46 c 1003s| 5210k| 181 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 110k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1076.42/1076.74 c 1005s| 5220k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1078.72/1079.02 c 1007s| 5230k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1080.92/1081.25 c 1009s| 5240k| 181 | 0 | 0.0 |6098k| 237 | - |1030 |3655 | 0 | 0 | 0 | 112k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1083.22/1083.52 c 1011s| 5250k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 112k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1085.52/1085.88 c 1013s| 5260k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1087.91/1088.23 c 1016s| 5270k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1090.21/1090.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1090.21/1090.54 c 1018s| 5280k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1092.51/1092.80 c 1020s| 5290k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1094.71/1095.03 c 1022s| 5300k| 185 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1096.91/1097.24 c 1024s| 5310k| 185 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 115k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1099.11/1099.44 c 1026s| 5320k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 115k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1101.31/1101.64 c 1028s| 5330k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 115k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1103.51/1103.80 c 1030s| 5340k| 179 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 116k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1105.81/1106.13 c 1032s| 5350k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 116k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1108.11/1108.46 c 1035s| 5360k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1110.40/1110.77 c 1037s| 5370k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1112.70/1113.03 c 1039s| 5380k| 184 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1115.21/1115.50 c 1041s| 5390k| 184 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1117.50/1117.81 c 1043s| 5400k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 119k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1119.70/1120.07 c 1046s| 5410k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 119k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1122.01/1122.33 c 1048s| 5420k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1124.20/1124.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1124.20/1124.58 c 1050s| 5430k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1126.50/1126.80 c 1052s| 5440k| 184 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1128.70/1129.08 c 1054s| 5450k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 121k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1131.11/1131.44 c 1056s| 5460k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 121k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1133.30/1133.66 c 1058s| 5470k| 182 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1135.60/1135.99 c 1060s| 5480k| 179 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1137.90/1138.23 c 1063s| 5490k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1140.10/1140.48 c 1065s| 5500k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1142.40/1142.78 c 1067s| 5510k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1144.89/1145.29 c 1069s| 5520k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1147.50/1147.83 c 1072s| 5530k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 125k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1149.79/1150.13 c 1074s| 5540k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 125k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1152.10/1152.45 c 1076s| 5550k| 177 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 126k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1154.40/1154.75 c 1078s| 5560k| 179 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 126k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1156.70/1157.09 c 1080s| 5570k| 180 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 127k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1159.10/1159.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1159.10/1159.42 c 1083s| 5580k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 128k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1161.31/1161.66 c 1085s| 5590k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 128k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1163.51/1163.88 c 1087s| 5600k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 128k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1165.80/1166.15 c 1089s| 5610k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 129k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1168.09/1168.49 c 1091s| 5620k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 129k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1170.39/1170.70 c 1093s| 5630k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1172.59/1172.99 c 1095s| 5640k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1174.99/1175.33 c 1097s| 5650k| 180 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 131k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1177.29/1177.68 c 1100s| 5660k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 131k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1179.59/1179.99 c 1102s| 5670k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 132k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1181.89/1182.25 c 1104s| 5680k| 181 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 132k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1184.18/1184.57 c 1106s| 5690k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1186.38/1186.78 c 1108s| 5700k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1188.69/1189.10 c 1110s| 5710k| 178 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1191.00/1191.36 c 1113s| 5720k| 182 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 134k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1193.09/1193.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1193.09/1193.49 c 1114s| 5730k| 178 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 134k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1195.30/1195.62 c 1116s| 5740k| 178 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1197.49/1197.88 c 1119s| 5750k| 181 | 0 | 0.0 |6098k| 237 | - |1030 |3655 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1199.79/1200.17 c 1121s| 5760k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1202.18/1202.53 c 1123s| 5770k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 136k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1204.39/1204.78 c 1125s| 5780k| 185 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 136k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1206.59/1206.96 c 1127s| 5790k| 181 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 137k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1208.89/1209.26 c 1129s| 5800k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 137k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1211.09/1211.48 c 1131s| 5810k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1213.38/1213.73 c 1133s| 5820k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1215.58/1215.91 c 1136s| 5830k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 139k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1217.78/1218.18 c 1138s| 5840k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 139k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1219.98/1220.36 c 1140s| 5850k| 186 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 139k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1222.28/1222.67 c 1142s| 5860k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1224.58/1224.95 c 1144s| 5870k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1226.78/1227.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1226.78/1227.18 c 1146s| 5880k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1229.18/1229.51 c 1148s| 5890k| 180 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1231.47/1231.81 c 1150s| 5900k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1233.67/1234.06 c 1153s| 5910k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1235.87/1236.22 c 1155s| 5920k| 178 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1238.18/1238.53 c 1157s| 5930k| 183 | 0 | 0.0 |6099k| 237 | - |1030 |3655 | 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1240.38/1240.79 c 1159s| 5940k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1242.68/1243.08 c 1161s| 5950k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 144k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1244.98/1245.32 c 1163s| 5960k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 144k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1247.18/1247.55 c 1165s| 5970k| 179 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 144k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1249.37/1249.76 c 1167s| 5980k| 182 | 0 | 0.0 |6098k| 237 | - |1030 |3655 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1251.67/1252.03 c 1169s| 5990k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1253.87/1254.23 c 1171s| 6000k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 146k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1255.97/1256.39 c 1174s| 6010k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 146k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1258.17/1258.56 c 1176s| 6020k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 146k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1260.67/1261.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1260.67/1261.04 c 1178s| 6030k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 147k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1262.97/1263.37 c 1180s| 6040k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 147k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1265.26/1265.69 c 1182s| 6050k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1267.57/1267.92 c 1184s| 6060k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1269.86/1270.25 c 1186s| 6070k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 149k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1272.07/1272.42 c 1189s| 6080k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 149k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1274.26/1274.67 c 1191s| 6090k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 150k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1276.47/1276.88 c 1193s| 6100k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 150k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1278.77/1279.13 c 1195s| 6110k| 180 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 150k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1281.07/1281.41 c 1197s| 6120k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 151k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1283.27/1283.68 c 1199s| 6130k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 151k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1285.67/1286.04 c 1201s| 6140k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 152k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1287.97/1288.37 c 1204s| 6150k| 179 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 152k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1290.26/1290.68 c 1206s| 6160k| 180 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1292.57/1292.94 c 1208s| 6170k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1294.87/1295.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1294.87/1295.28 c 1210s| 6180k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 154k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1297.16/1297.52 c 1212s| 6190k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 154k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1299.37/1299.74 c 1214s| 6200k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 155k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1301.56/1301.98 c 1216s| 6210k| 180 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 155k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1303.86/1304.28 c 1218s| 6220k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 156k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1306.16/1306.55 c 1221s| 6230k| 183 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 156k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1308.46/1308.80 c 1223s| 6240k| 185 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 157k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1310.66/1311.02 c 1225s| 6250k| 178 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 157k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1312.75/1313.17 c 1227s| 6260k| 179 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 157k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1315.06/1315.42 c 1229s| 6270k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1317.36/1317.70 c 1231s| 6280k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1319.56/1319.91 c 1233s| 6290k| 177 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1321.65/1322.07 c 1235s| 6300k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1323.86/1324.22 c 1237s| 6310k| 180 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1326.05/1326.47 c 1239s| 6320k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 160k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1328.15/1328.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1328.15/1328.52 c 1241s| 6330k| 180 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 160k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1330.35/1330.71 c 1243s| 6340k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 161k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1332.65/1333.07 c 1246s| 6350k| 183 | 0 | 0.0 |6098k| 237 | - |1030 |3655 | 0 | 0 | 0 | 161k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1334.86/1335.25 c 1248s| 6360k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 161k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1337.16/1337.54 c 1250s| 6370k| 179 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 162k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1339.36/1339.77 c 1252s| 6380k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 162k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1341.56/1341.98 c 1254s| 6390k| 180 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1343.85/1344.22 c 1256s| 6400k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1345.96/1346.39 c 1258s| 6410k| 179 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1348.16/1348.53 c 1260s| 6420k| 179 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 164k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1350.36/1350.75 c 1262s| 6430k| 178 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 164k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1352.66/1353.06 c 1264s| 6440k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 165k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1354.95/1355.37 c 1266s| 6450k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 165k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1357.25/1357.64 c 1269s| 6460k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 166k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1359.64/1360.02 c 1271s| 6470k| 182 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 166k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1362.14/1362.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1362.14/1362.51 c 1273s| 6480k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1364.44/1364.88 c 1275s| 6490k| 179 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1366.74/1367.17 c 1278s| 6500k| 178 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 168k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1369.05/1369.50 c 1280s| 6510k| 179 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 168k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1371.54/1371.96 c 1282s| 6520k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1373.94/1374.30 c 1284s| 6530k| 180 | 0 | 0.0 |6098k| 237 | - |1030 |3655 | 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1376.24/1376.63 c 1286s| 6540k| 180 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1378.55/1378.91 c 1289s| 6550k| 179 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1380.84/1381.22 c 1291s| 6560k| 176 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1383.14/1383.53 c 1293s| 6570k| 181 | 0 | 0.0 |6099k| 237 | - |1030 |3655 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1385.44/1385.87 c 1295s| 6580k| 180 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 172k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1387.75/1388.20 c 1297s| 6590k| 178 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 172k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1390.04/1390.48 c 1300s| 6600k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1392.34/1392.77 c 1302s| 6610k| 177 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1394.53/1394.93 c 1304s| 6620k| 192 | 0 | 0.0 |6098k| 237 | - |1030 |3655 | 0 | 0 | 0 | 174k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1396.74/1397.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1396.74/1397.17 c 1306s| 6630k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 174k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1398.93/1399.34 c 1308s| 6640k| 185 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 174k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1401.13/1401.56 c 1310s| 6650k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 175k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1403.34/1403.74 c 1312s| 6660k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 175k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1405.54/1405.95 c 1314s| 6670k| 185 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 175k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1407.64/1408.02 c 1316s| 6680k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1409.84/1410.24 c 1318s| 6690k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1412.04/1412.44 c 1320s| 6700k| 182 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1414.24/1414.63 c 1322s| 6710k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 177k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1416.44/1416.86 c 1324s| 6720k| 185 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 177k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1418.63/1419.08 c 1326s| 6730k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1420.84/1421.25 c 1328s| 6740k| 181 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1423.04/1423.45 c 1330s| 6750k| 187 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1425.33/1425.71 c 1333s| 6760k| 185 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 179k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1427.63/1428.03 c 1335s| 6770k| 186 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 179k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1429.83/1430.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1429.83/1430.21 c 1337s| 6780k| 188 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 180k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1432.02/1432.41 c 1339s| 6790k| 187 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 180k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1434.32/1434.74 c 1341s| 6800k| 185 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 180k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1436.53/1436.93 c 1343s| 6810k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 181k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1438.72/1439.15 c 1345s| 6820k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 181k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1440.93/1441.33 c 1347s| 6830k| 185 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 182k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1443.13/1443.56 c 1349s| 6840k| 183 | 0 | 0.0 |6098k| 237 | - |1030 |3655 | 0 | 0 | 0 | 182k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1445.32/1445.76 c 1351s| 6850k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 182k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1447.43/1447.88 c 1353s| 6860k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 183k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1449.62/1450.05 c 1355s| 6870k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 183k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1451.92/1452.30 c 1357s| 6880k| 185 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 183k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1454.02/1454.45 c 1360s| 6890k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1456.22/1456.67 c 1362s| 6900k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1458.42/1458.89 c 1364s| 6910k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 185k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1460.62/1461.06 c 1366s| 6920k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 185k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1462.82/1463.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1462.82/1463.20 c 1368s| 6930k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 185k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1464.92/1465.39 c 1370s| 6940k| 185 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1467.03/1467.49 c 1372s| 6950k| 183 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1469.42/1469.85 c 1374s| 6960k| 186 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 187k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1471.61/1472.03 c 1376s| 6970k| 186 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 187k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1473.72/1474.19 c 1378s| 6980k| 186 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 187k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1476.01/1476.41 c 1380s| 6990k| 185 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1478.12/1478.52 c 1382s| 7000k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1480.23/1480.67 c 1384s| 7010k| 185 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1482.43/1482.85 c 1386s| 7020k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 189k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1484.62/1485.05 c 1388s| 7030k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 189k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1486.82/1487.22 c 1390s| 7040k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1488.92/1489.40 c 1392s| 7050k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1491.23/1491.61 c 1394s| 7060k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1493.42/1493.83 c 1396s| 7070k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 191k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1495.52/1495.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.52/1495.98 c 1399s| 7080k| 186 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 191k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1497.82/1498.21 c 1401s| 7090k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 191k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1499.92/1500.38 c 1403s| 7100k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 192k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1502.12/1502.54 c 1405s| 7110k| 186 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 192k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1504.42/1504.82 c 1407s| 7120k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1506.52/1506.99 c 1409s| 7130k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1508.72/1509.18 c 1411s| 7140k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1510.81/1511.29 c 1413s| 7150k| 185 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 194k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1513.01/1513.44 c 1415s| 7160k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 194k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1515.11/1515.58 c 1417s| 7170k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 194k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1517.30/1517.76 c 1419s| 7180k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1519.41/1519.83 c 1421s| 7190k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1521.61/1522.04 c 1423s| 7200k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1523.71/1524.16 c 1425s| 7210k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1525.90/1526.35 c 1427s| 7220k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1528.10/1528.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1528.10/1528.51 c 1429s| 7230k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1530.20/1530.67 c 1431s| 7240k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1532.41/1532.84 c 1433s| 7250k| 179 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1534.60/1535.00 c 1435s| 7260k| 179 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1536.80/1537.21 c 1437s| 7270k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1538.91/1539.31 c 1439s| 7280k| 179 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1541.00/1541.49 c 1441s| 7290k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1543.20/1543.65 c 1443s| 7300k| 180 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1545.40/1545.89 c 1445s| 7310k| 184 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1547.60/1548.09 c 1447s| 7320k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1549.80/1550.27 c 1449s| 7330k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1551.90/1552.35 c 1451s| 7340k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 201k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1554.10/1554.55 c 1453s| 7350k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 201k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1556.30/1556.70 c 1455s| 7360k| 178 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 201k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1558.50/1558.93 c 1458s| 7370k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 202k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1560.69/1561.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1560.69/1561.16 c 1460s| 7380k| 186 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 202k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1563.09/1563.53 c 1462s| 7390k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 203k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1565.29/1565.79 c 1464s| 7400k| 187 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 203k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1567.59/1568.04 c 1466s| 7410k| 181 | 0 | 0.0 |6094k| 237 | - |1030 |3655 | 0 | 0 | 0 | 203k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1569.79/1570.26 c 1468s| 7420k| 186 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 204k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1571.99/1572.47 c 1470s| 7430k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 204k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1574.19/1574.66 c 1472s| 7440k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 205k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1576.39/1576.85 c 1474s| 7450k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 205k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1578.49/1578.94 c 1476s| 7460k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 205k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1580.59/1581.01 c 1478s| 7470k| 179 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 206k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1582.89/1583.36 c 1480s| 7480k| 183 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 206k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1585.09/1585.54 c 1483s| 7490k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 206k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1587.39/1587.81 c 1485s| 7500k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 207k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1589.69/1590.11 c 1487s| 7510k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 207k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1591.99/1592.42 c 1489s| 7520k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 208k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1594.29/1594.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1594.29/1594.72 c 1491s| 7530k| 183 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 208k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1596.48/1596.91 c 1493s| 7540k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 209k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1598.59/1599.09 c 1495s| 7550k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 209k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1600.79/1601.25 c 1497s| 7560k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 209k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1602.99/1603.43 c 1499s| 7570k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 210k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1605.18/1605.63 c 1501s| 7580k| 183 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 210k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1607.39/1607.87 c 1503s| 7590k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 211k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1609.59/1610.06 c 1506s| 7600k| 185 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 211k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1611.79/1612.24 c 1508s| 7610k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 211k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1613.98/1614.44 c 1510s| 7620k| 181 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 212k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1616.19/1616.62 c 1512s| 7630k| 180 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 212k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1618.38/1618.82 c 1514s| 7640k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 212k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1620.68/1621.18 c 1516s| 7650k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 213k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1622.98/1623.42 c 1518s| 7660k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 213k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1625.18/1625.60 c 1520s| 7670k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 214k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1627.48/1627.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1627.48/1627.90 c 1522s| 7680k| 182 | 0 | 0.0 |6098k| 237 | - |1030 |3655 | 0 | 0 | 0 | 214k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1629.69/1630.19 c 1524s| 7690k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1631.88/1632.34 c 1526s| 7700k| 188 | 0 | 0.0 |6098k| 237 | - |1030 |3655 | 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1634.09/1634.53 c 1528s| 7710k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1636.28/1636.74 c 1531s| 7720k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 216k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1638.48/1638.98 c 1533s| 7730k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 216k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1640.79/1641.22 c 1535s| 7740k| 186 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 217k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1642.98/1643.46 c 1537s| 7750k| 179 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 217k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1645.28/1645.77 c 1539s| 7760k| 179 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 217k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1647.57/1648.01 c 1541s| 7770k| 182 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 218k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1649.77/1650.25 c 1543s| 7780k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 218k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1651.97/1652.43 c 1545s| 7790k| 186 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 219k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1654.17/1654.63 c 1547s| 7800k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 219k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1656.37/1656.83 c 1549s| 7810k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 219k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1658.57/1659.05 c 1552s| 7820k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1660.77/1661.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1660.77/1661.24 c 1554s| 7830k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1662.97/1663.47 c 1556s| 7840k| 186 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 221k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1665.27/1665.70 c 1558s| 7850k| 180 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 221k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1667.47/1667.97 c 1560s| 7860k| 182 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 221k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1669.77/1670.23 c 1562s| 7870k| 180 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1671.97/1672.49 c 1564s| 7880k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1674.27/1674.74 c 1566s| 7890k| 183 | 0 | 0.0 |6098k| 237 | - |1030 |3655 | 0 | 0 | 0 | 223k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1676.47/1676.95 c 1568s| 7900k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 223k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1678.57/1679.09 c 1570s| 7910k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 223k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1680.87/1681.38 c 1573s| 7920k| 183 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 224k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1683.06/1683.50 c 1575s| 7930k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 224k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1685.26/1685.76 c 1577s| 7940k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 225k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1687.47/1687.91 c 1579s| 7950k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 225k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1689.77/1690.22 c 1581s| 7960k| 181 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 225k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1691.87/1692.39 c 1583s| 7970k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 226k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1694.07/1694.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1694.07/1694.58 c 1585s| 7980k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 226k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1696.26/1696.73 c 1587s| 7990k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 227k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1698.57/1699.00 c 1589s| 8000k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 227k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1700.76/1701.23 c 1591s| 8010k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 227k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1702.96/1703.44 c 1593s| 8020k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 228k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1705.16/1705.69 c 1595s| 8030k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 228k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1707.36/1707.85 c 1597s| 8040k| 183 | 0 | 0.0 |6099k| 237 | - |1030 |3655 | 0 | 0 | 0 | 229k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1709.56/1710.00 c 1599s| 8050k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 229k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1711.66/1712.19 c 1601s| 8060k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 229k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1713.85/1714.30 c 1603s| 8070k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 230k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1715.96/1716.44 c 1605s| 8080k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 230k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1718.16/1718.63 c 1608s| 8090k| 180 | 0 | 0.0 |6098k| 237 | - |1030 |3655 | 0 | 0 | 0 | 230k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1720.25/1720.76 c 1610s| 8100k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 231k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1722.36/1722.88 c 1612s| 8110k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 231k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1724.56/1725.06 c 1614s| 8120k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 231k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1726.65/1727.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1726.65/1727.17 c 1616s| 8130k| 186 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1728.85/1729.33 c 1618s| 8140k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1731.16/1731.61 c 1620s| 8150k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 233k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1733.35/1733.82 c 1622s| 8160k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 233k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1735.45/1735.99 c 1624s| 8170k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 233k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1737.65/1738.20 c 1626s| 8180k| 185 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 234k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1739.95/1740.48 c 1628s| 8190k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 234k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1742.25/1742.75 c 1630s| 8200k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 235k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1744.45/1744.96 c 1632s| 8210k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 235k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1746.65/1747.17 c 1634s| 8220k| 179 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 235k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1748.85/1749.38 c 1636s| 8230k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 236k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1751.15/1751.66 c 1639s| 8240k| 182 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 236k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1753.35/1753.88 c 1641s| 8250k| 180 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 236k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1755.55/1756.05 c 1643s| 8260k| 180 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 237k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1757.85/1758.32 c 1645s| 8270k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 237k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1760.05/1760.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1760.05/1760.53 c 1647s| 8280k| 180 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1762.24/1762.75 c 1649s| 8290k| 180 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1764.45/1764.95 c 1651s| 8300k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1766.65/1767.11 c 1653s| 8310k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1768.84/1769.34 c 1655s| 8320k| 182 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1771.04/1771.58 c 1657s| 8330k| 182 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1773.45/1773.93 c 1660s| 8340k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 240k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1775.65/1776.18 c 1662s| 8350k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 240k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1777.85/1778.35 c 1664s| 8360k| 184 | 0 | 0.0 |6097k| 237 | - |1030 |3655 | 0 | 0 | 0 | 241k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1780.04/1780.58 c 1666s| 8370k| 181 | 0 | 0.0 |6095k| 237 | - |1030 |3655 | 0 | 0 | 0 | 241k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1782.34/1782.88 c 1668s| 8380k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 242k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1784.64/1785.12 c 1670s| 8390k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 242k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1786.84/1787.35 c 1672s| 8400k| 180 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 242k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1789.04/1789.59 c 1674s| 8410k| 179 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 243k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1791.34/1791.85 c 1676s| 8420k| 183 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 243k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1793.64/1794.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1793.64/1794.17 c 1679s| 8430k| 184 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 244k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1795.85/1796.34 c 1681s| 8440k| 181 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 244k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1798.04/1798.55 c 1683s| 8450k| 179 | 0 | 0.0 |6096k| 237 | - |1030 |3655 | 0 | 0 | 0 | 244k| 0 | 1.000000e+00 | 4.430000e+02 | Large
1800.05/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.50 c
1800.05/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.50 c Solving Time (sec) : 1684.50
1800.05/1800.50 c Solving Nodes : 8458652
1800.05/1800.50 c Primal Bound : +4.43000000000000e+02 (12 solutions)
1800.05/1800.50 c Dual Bound : +1.00000000000000e+00
1800.05/1800.50 c Gap : 44200.00 %
1800.05/1800.51 s SATISFIABLE
1800.05/1800.51 v x1040 -x1039 -x1038 x1037 x1036 -x1035 x1034 -x1033 x1032 -x1031 x1030 -x1029 x1028 -x1027 x1026 -x1025 x1024 -x1023 x1022 -x1021
1800.05/1800.51 v x1020 -x1019 -x1018 x1017 x1016 -x1015 -x1014 -x1013 x1012 -x1011 x1010 -x1009 x1008 -x1007 x1006 -x1005 x1004 -x1003 x1002
1800.05/1800.51 v -x1001 x1000 -x999 x998 -x997 x996 -x995 -x994 -x993 -x992 x991 x990 -x989 x988 -x987 x986 -x985 x984 -x983 x982 -x981 x980
1800.05/1800.51 v -x979 x978 -x977 x976 -x975 -x974 x973 x972 -x971 x970 -x969 x968 -x967 x966 -x965 x964 -x963 x962 -x961 x960 -x959 x958 -x957
1800.05/1800.51 v x956 -x955 -x954 -x953 -x952 x951 x950 -x949 x948 -x947 x946 -x945 x944 -x943 x942 -x941 x940 -x939 x938 -x937 x936 -x935
1800.05/1800.51 v -x934 x933 x932 -x931 x930 -x929 x928 -x927 x926 -x925 x924 -x923 x922 -x921 x920 -x919 x918 -x917 x916 -x915 x914 -x913 -x912
1800.05/1800.51 v -x911 x910 -x909 -x908 x907 x906 -x905 x904 -x903 -x902 -x901 x900 -x899 x898 -x897 x896 -x895 -x894 x893 x892 -x891 x890 -x889
1800.05/1800.51 v x888 -x887 x886 -x885 x884 -x883 x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 x874 -x873 -x872 -x871 -x870 -x869 x868 -x867
1800.05/1800.51 v -x866 -x865 -x864 -x863 x862 -x861 x860 -x859 x858 -x857 x856 -x855 -x854 x853 -x852 -x851 x850 -x849 x848 -x847 x846 -x845
1800.05/1800.51 v x844 -x843 x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 x834 -x833 -x832 -x831 -x830 -x829 x828 -x827 -x826 -x825 -x824
1800.05/1800.51 v x823 x822 -x821 x820 -x819 -x818 x817 x816 -x815 x814 -x813 x812 -x811 x810 -x809 x808 -x807 x806 -x805 x804 -x803 x802 -x801
1800.05/1800.51 v -x800 -x799 -x798 -x797 -x796 x795 -x794 -x793 -x792 -x791 -x790 -x789 x788 -x787 -x786 -x785 -x784 -x783 x782 -x781 x780 -x779
1800.05/1800.51 v x778 -x777 x776 -x775 x774 -x773 -x772 x771 x770 -x769 x768 -x767 x766 -x765 x764 -x763 x762 -x761 x760 -x759 x758 -x757
1800.05/1800.51 v x756 -x755 -x754 x753 x752 -x751 x750 -x749 x748 -x747 x746 -x745 x744 -x743 x742 -x741 x740 -x739 x738 -x737 x736 -x735 x734
1800.05/1800.51 v -x733 -x732 x731 x730 -x729 x728 -x727 x726 -x725 x724 -x723 x722 -x721 -x720 -x719 -x718 x717 -x716 -x715 x714 -x713 -x712
1800.05/1800.51 v -x711 -x710 -x709 x708 -x707 -x706 -x705 -x704 -x703 x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 x694 -x693 -x692 -x691 -x690
1800.05/1800.51 v -x689 x688 -x687 -x686 -x685 -x684 x683 x682 -x681 x680 -x679 -x678 -x677 x676 -x675 -x674 x673 x672 -x671 x670 -x669 x668
1800.05/1800.51 v -x667 x666 -x665 x664 -x663 x662 -x661 x660 -x659 x658 -x657 x656 -x655 x654 -x653 -x652 x651 x650 -x649 x648 -x647 x646 -x645
1800.05/1800.51 v x644 -x643 x642 -x641 x640 -x639 x638 -x637 x636 -x635 -x634 x633 x632 -x631 x630 -x629 x628 -x627 x626 -x625 x624 -x623
1800.05/1800.51 v x622 -x621 x620 -x619 x618 -x617 x616 -x615 x614 -x613 -x612 -x611 x610 -x609 -x608 -x607 x606 -x605 x604 -x603 -x602 x601 x600
1800.05/1800.51 v -x599 x598 -x597 x596 -x595 x594 -x593 -x592 -x591 x590 -x589 -x588 -x587 x586 -x585 x584 -x583 -x582 x581 -x580 -x579 -x578
1800.05/1800.51 v -x577 -x576 -x575 x574 -x573 -x572 -x571 -x570 x569 x568 -x567 -x566 -x565 -x564 -x563 x562 -x561 x560 -x559 x558 -x557 x556
1800.05/1800.51 v -x555 x554 -x553 -x552 x551 x550 -x549 x548 -x547 x546 -x545 x544 -x543 x542 -x541 x540 -x539 x538 -x537 x536 -x535 x534
1800.05/1800.51 v -x533 -x532 x531 x530 -x529 x528 -x527 x526 -x525 x524 -x523 x522 -x521 x520 -x519 x518 -x517 x516 -x515 x514 -x513 -x512 x511
1800.05/1800.51 v x510 -x509 x508 -x507 x506 -x505 x504 -x503 x502 -x501 x500 -x499 -x498 x497 x496 -x495 x494 -x493 x492 -x491 x490 -x489 x488
1800.05/1800.51 v -x487 x486 -x485 x484 -x483 x482 -x481 x480 -x479 x478 -x477 x476 -x475 -x474 x473 x472 -x471 x470 -x469 x468 -x467 x466 -x465
1800.05/1800.51 v x464 -x463 x462 -x461 x460 -x459 x458 -x457 x456 -x455 x454 -x453 -x452 -x451 x450 -x449 -x448 x447 x446 -x445 x444 -x443
1800.05/1800.51 v -x442 -x441 x440 -x439 x438 -x437 x436 -x435 -x434 x433 x432 -x431 x430 -x429 x428 -x427 x426 -x425 x424 -x423 x422 -x421 x420
1800.05/1800.51 v -x419 x418 -x417 x416 -x415 x414 -x413 -x412 x411 x410 -x409 x408 -x407 x406 -x405 x404 -x403 x402 -x401 x400 -x399 x398
1800.05/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 -x375
1800.05/1800.51 v x374 -x373 -x372 x371 x370 -x369 x368 -x367 x366 -x365 x364 -x363 x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353
1800.05/1800.51 v -x352 -x351 -x350 -x349 x348 -x347 -x346 -x345 -x344 x343 x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332
1800.05/1800.51 v x331 -x330 -x329 x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 x319 -x318 -x317 -x316 x315 -x314 x313 -x312 x311 -x310
1800.05/1800.51 v x309 -x308 x307 x306 -x305 -x304 x303 -x302 x301 x300 -x299 -x298 x297 -x296 x295 -x294 x293 -x292 x291 -x290 x289 -x288 x287
1800.05/1800.51 v -x286 x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275 x274 -x273 -x272 x271 -x270 x269 x268 -x267 -x266 x265 -x264
1800.05/1800.51 v x263 -x262 x261 -x260 x259 -x258 x257 -x256 x255 -x254 -x253 -x252 x251 -x250 x249 -x248 x247 -x246 x245 -x244 x243 x242 -x241
1800.05/1800.51 v -x240 x239 -x238 x237 x236 -x235 -x234 x233 -x232 x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223 -x222 x221 -x220 x219
1800.05/1800.51 v -x218 x217 -x216 x215 -x214 x213 -x212 x211 x210 -x209 -x208 x207 -x206 x205 -x204 x203 -x202 x201 -x200 x199 x198 -x197 -x196
1800.05/1800.51 v x195 -x194 x193 -x192 x191 x190 -x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173
1800.05/1800.51 v -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 -x158 -x157 -x156 x155 -x154 x153 -x152 x151
1800.05/1800.51 v -x150 x149 -x148 x147 x146 -x145 -x144 x143 -x142 x141 x140 -x139 -x138 x137 -x136 x135 -x134 x133 -x132 x131 -x130 x129 -x128
1800.05/1800.51 v x127 -x126 -x125 x124 -x123 -x122 x121 -x120 x119 -x118 x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 x109 x108 -x107 -x106
1800.05/1800.51 v x105 -x104 -x103 -x102 x101 -x100 x99 x98 -x97 -x96 x95 -x94 -x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 -x84 x83 x82 -x81 -x80
1800.05/1800.51 v 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 -x54 x53 -x52
1800.05/1800.51 v 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 -x26 x25
1800.05/1800.51 v -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.05/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.51 c Solving Time : 1684.50
1800.05/1800.51 c Original Problem :
1800.05/1800.51 c Problem name : HOME/instance-2664195-1276430322.opb
1800.05/1800.51 c Variables : 1040 (1040 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 3656 initial, 3656 maximal
1800.05/1800.51 c Presolved Problem :
1800.05/1800.51 c Problem name : t_HOME/instance-2664195-1276430322.opb
1800.05/1800.51 c Variables : 1030 (1030 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 3646 initial, 3655 maximal
1800.05/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c dualfix : 0.00 10 0 0 0 0 0 0 0
1800.05/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.51 c linear : 0.05 0 0 0 0 0 10 0 0
1800.05/1800.51 c logicor : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.51 c root node : - 0 - - 0 - - - -
1800.05/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.51 c logicor : 3646+ 0 9367015 0 12 245273 18634006 0 0 0
1800.05/1800.51 c countsols : 0 0 0 0 12 0 0 0 0 0
1800.05/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.51 c logicor : 307.93 0.00 307.92 0.00 0.01
1800.05/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.51 c vbounds : 7.53 2 0 0
1800.05/1800.51 c rootredcost : 6.86 0 0 0
1800.05/1800.51 c pseudoobj : 906.21 15686279 3955376 20780373
1800.05/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.51 c propagation : 212.59 245273 245273 245273 138.2 0 0.0 -
1800.05/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c pseudo solution : 21.61 52770 0 0 0.0 0 0.0 -
1800.05/1800.51 c applied globally : - - - 34 9.0 - - -
1800.05/1800.51 c applied locally : - - - 245239 138.2 - - -
1800.05/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.51 c redcost : 0.00 0 0 0 0 0
1800.05/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.51 c intobj : 0.00 0 0 0 0 0
1800.05/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.51 c gomory : 0.00 0 0 0 0 0
1800.05/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.51 c cmir : 0.00 0 0 0 0 0
1800.05/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.51 c clique : 0.00 0 0 0 0 0
1800.05/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.51 c mcf : 0.00 0 0 0 0 0
1800.05/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.51 c Pricers : Time Calls Vars
1800.05/1800.51 c problem variables: 0.00 0 0
1800.05/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.51 c inference : 80.35 4266378 0 0 0 0 8532756
1800.05/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c random : 0.00 0 0 0 0 0 0
1800.05/1800.51 c Primal Heuristics : Time Calls Found
1800.05/1800.51 c LP solutions : 0.00 - 0
1800.05/1800.51 c pseudo solutions : 0.00 - 12
1800.05/1800.51 c oneopt : 6.15 0 0
1800.05/1800.51 c trivial : 0.00 2 0
1800.05/1800.51 c simplerounding : 0.00 0 0
1800.05/1800.51 c zirounding : 0.00 0 0
1800.05/1800.51 c rounding : 0.00 0 0
1800.05/1800.51 c shifting : 0.00 0 0
1800.05/1800.51 c intshifting : 0.00 0 0
1800.05/1800.51 c twoopt : 0.00 0 0
1800.05/1800.51 c fixandinfer : 0.00 0 0
1800.05/1800.51 c feaspump : 0.00 0 0
1800.05/1800.51 c coefdiving : 0.00 0 0
1800.05/1800.51 c pscostdiving : 0.00 0 0
1800.05/1800.51 c fracdiving : 0.00 0 0
1800.05/1800.51 c veclendiving : 0.00 0 0
1800.05/1800.51 c intdiving : 0.00 0 0
1800.05/1800.51 c actconsdiving : 0.00 0 0
1800.05/1800.51 c objpscostdiving : 0.00 0 0
1800.05/1800.51 c rootsoldiving : 0.00 0 0
1800.05/1800.51 c linesearchdiving : 0.00 0 0
1800.05/1800.51 c guideddiving : 0.00 0 0
1800.05/1800.51 c octane : 0.00 0 0
1800.05/1800.51 c rens : 0.00 0 0
1800.05/1800.51 c rins : 0.00 0 0
1800.05/1800.51 c localbranching : 0.00 0 0
1800.05/1800.51 c mutation : 0.00 0 0
1800.05/1800.51 c crossover : 0.00 0 0
1800.05/1800.51 c dins : 0.00 0 0
1800.05/1800.51 c undercover : 0.00 0 0
1800.05/1800.51 c nlp : 3.30 0 0
1800.05/1800.51 c trysol : 3.86 0 0
1800.05/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.51 c (at root node) : - 0 0 0.00 -
1800.05/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.51 c B&B Tree :
1800.05/1800.51 c number of runs : 1
1800.05/1800.51 c nodes : 8458652
1800.05/1800.51 c nodes (total) : 8458652
1800.05/1800.51 c nodes left : 180
1800.05/1800.51 c max depth : 237
1800.05/1800.51 c max depth (total): 237
1800.05/1800.51 c backtracks : 1892262 (22.4%)
1800.05/1800.51 c delayed cutoffs : 73563
1800.05/1800.51 c repropagations : 118887 (495675 domain reductions, 61157 cutoffs)
1800.05/1800.51 c avg switch length: 2.00
1800.05/1800.51 c switching time : 122.36
1800.05/1800.51 c Solution :
1800.05/1800.51 c Solutions found : 12 (12 improvements)
1800.05/1800.51 c First Solution : +4.55000000000000e+02 (in run 1, after 289 nodes, 0.25 seconds, depth 234, found by <relaxation>)
1800.05/1800.51 c Primal Bound : +4.43000000000000e+02 (in run 1, after 969801 nodes, 171.91 seconds, depth 204, found by <relaxation>)
1800.05/1800.51 c Dual Bound : +1.00000000000000e+00
1800.05/1800.51 c Gap : 44200.00 %
1800.05/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.51 c Root Iterations : 0
1800.05/1800.53 c Time complete: 1800.07.