0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665620-1276414895.opb>
0.00/0.03 c original problem has 607 variables (607 bin, 0 int, 0 impl, 0 cont) and 1022 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.03/0.05 o 607
0.03/0.05 o 542
0.03/0.05 c feasible solution found by trivial heuristic, objective value 5.420000e+02
0.03/0.05 c presolving:
0.03/0.09 c (round 1) 0 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 890 upgd conss, 0 impls, 0 clqs
0.09/0.10 c (round 2) 0 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 924 upgd conss, 0 impls, 0 clqs
0.09/0.10 c (round 3) 0 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 958 upgd conss, 0 impls, 0 clqs
0.09/0.11 c (0.1s) probing: 101/607 (16.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.11 c presolving (4 rounds):
0.09/0.11 c 0 deleted vars, 64 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11 c 0 implications, 0 cliques
0.09/0.11 c presolved problem has 607 variables (607 bin, 0 int, 0 impl, 0 cont) and 958 constraints
0.09/0.11 c 958 constraints of type <logicor>
0.09/0.11 c transformed objective value is always integral (scale: 1)
0.09/0.11 c Presolving Time: 0.06
0.09/0.11 c - non default parameters ----------------------------------------------------------------------
0.09/0.11 c # SCIP version 1.2.1.2
0.09/0.11 c
0.09/0.11 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c conflict/interconss = 0
0.09/0.11 c
0.09/0.11 c # should binary conflicts be preferred?
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c conflict/preferbinary = TRUE
0.09/0.11 c
0.09/0.11 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.11 c constraints/agelimit = 1
0.09/0.11 c
0.09/0.11 c # should enforcement of pseudo solution be disabled?
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/disableenfops = TRUE
0.09/0.11 c
0.09/0.11 c # frequency for displaying node information lines
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.11 c display/freq = 10000
0.09/0.11 c
0.09/0.11 c # maximal time in seconds to run
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/time = 1799.97
0.09/0.11 c
0.09/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/memory = 1620
0.09/0.11 c
0.09/0.11 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.11 c lp/solvefreq = 0
0.09/0.11 c
0.09/0.11 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.09/0.11 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.11 c lp/pricing = a
0.09/0.11 c
0.09/0.11 c # should presolving try to simplify inequalities
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/linear/simplifyinequalities = TRUE
0.09/0.11 c
0.09/0.11 c # should presolving try to simplify knapsacks
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.11 c
0.09/0.11 c # priority of node selection rule <dfs> in standard mode
0.09/0.11 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.11 c nodeselection/dfs/stdpriority = 1000000
0.09/0.11 c
0.09/0.11 c -----------------------------------------------------------------------------------------------
0.09/0.11 c start solving
0.09/0.12 c
0.09/0.12 o 425
0.09/0.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.12 c t 0.1s| 1 | 0 | 0 | - |2423k| 0 | - | 607 | 958 | 0 | 0 | 0 | 0 | 0 | -- | 4.250000e+02 | Inf
0.09/0.12 o 67
0.09/0.12 c b 0.1s| 1 | 0 | 0 | - |3213k| 0 | - | 607 | 958 | 607 | 958 | 0 | 0 | 0 | -- | 6.700000e+01 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 379 | - |3205k| 0 | 177 | 607 | 958 | 607 | 958 | 0 | 0 | 0 | 3.635417e+01 | 6.700000e+01 | 84.30%
0.29/0.36 c 0.3s| 1 | 0 | 608 | - |3758k| 0 | 194 | 607 | 958 | 607 | 969 | 11 | 0 | 0 | 3.731193e+01 | 6.700000e+01 | 79.57%
0.59/0.63 c 0.6s| 1 | 0 | 840 | - |4032k| 0 | 190 | 607 | 958 | 607 | 979 | 21 | 0 | 0 | 3.850014e+01 | 6.700000e+01 | 74.03%
0.89/0.94 c 0.9s| 1 | 0 | 995 | - |4160k| 0 | 193 | 607 | 958 | 607 | 985 | 27 | 0 | 0 | 3.876554e+01 | 6.700000e+01 | 72.83%
1.19/1.22 c 1.1s| 1 | 0 | 1197 | - |4425k| 0 | 193 | 607 | 958 | 607 | 992 | 34 | 0 | 0 | 3.928249e+01 | 6.700000e+01 | 70.56%
1.49/1.54 c 1.5s| 1 | 0 | 1379 | - |4543k| 0 | 212 | 607 | 958 | 607 | 997 | 39 | 0 | 0 | 3.964505e+01 | 6.700000e+01 | 69.00%
1.79/1.85 c 1.8s| 1 | 0 | 1634 | - |4827k| 0 | 179 | 607 | 958 | 607 |1002 | 44 | 0 | 0 | 4.004840e+01 | 6.700000e+01 | 67.30%
2.09/2.10 c 2.0s| 1 | 0 | 1901 | - |5101k| 0 | 181 | 607 | 958 | 607 |1012 | 54 | 0 | 0 | 4.068591e+01 | 6.700000e+01 | 64.68%
2.29/2.39 c 2.3s| 1 | 0 | 2078 | - |5410k| 0 | 180 | 607 | 958 | 607 |1020 | 62 | 0 | 0 | 4.086691e+01 | 6.700000e+01 | 63.95%
2.59/2.65 c 2.6s| 1 | 0 | 2170 | - |5515k| 0 | 196 | 607 | 958 | 607 |1024 | 66 | 0 | 0 | 4.101696e+01 | 6.700000e+01 | 63.35%
2.89/2.94 c 2.8s| 1 | 0 | 2398 | - |5734k| 0 | 184 | 607 | 958 | 607 |1028 | 70 | 0 | 0 | 4.167265e+01 | 6.700000e+01 | 60.78%
3.09/3.14 c 3.0s| 1 | 0 | 2577 | - |5924k| 0 | 208 | 607 | 958 | 607 |1033 | 77 | 0 | 0 | 4.198290e+01 | 6.700000e+01 | 59.59%
3.30/3.35 c 3.2s| 1 | 0 | 3065 | - |6161k| 0 | 194 | 607 | 958 | 607 |1043 | 87 | 0 | 0 | 4.250095e+01 | 6.700000e+01 | 57.64%
3.49/3.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.49/3.58 c 3.5s| 1 | 0 | 3190 | - |6260k| 0 | 185 | 607 | 958 | 607 |1048 | 92 | 0 | 0 | 4.260246e+01 | 6.700000e+01 | 57.27%
3.69/3.78 c 3.7s| 1 | 0 | 3282 | - |6307k| 0 | 182 | 607 | 958 | 607 |1054 | 98 | 0 | 0 | 4.270588e+01 | 6.700000e+01 | 56.89%
3.89/3.97 c 3.9s| 1 | 0 | 3415 | - |6394k| 0 | 190 | 607 | 958 | 607 |1059 | 103 | 0 | 0 | 4.289804e+01 | 6.700000e+01 | 56.18%
4.19/4.20 c 4.1s| 1 | 0 | 3550 | - |6433k| 0 | 177 | 607 | 958 | 607 |1063 | 107 | 0 | 0 | 4.293137e+01 | 6.700000e+01 | 56.06%
4.39/4.44 c 4.3s| 1 | 0 | 3667 | - |6434k| 0 | 174 | 607 | 958 | 607 |1045 | 108 | 0 | 0 | 4.294702e+01 | 6.700000e+01 | 56.01%
4.59/4.69 c 4.6s| 1 | 0 | 3934 | - |6500k| 0 | 196 | 607 | 958 | 607 |1047 | 110 | 0 | 0 | 4.304462e+01 | 6.700000e+01 | 55.65%
4.89/4.92 c 4.8s| 1 | 0 | 4090 | - |6934k| 0 | 192 | 607 | 958 | 607 |1052 | 115 | 0 | 0 | 4.322541e+01 | 6.700000e+01 | 55.00%
5.09/5.13 c 5.0s| 1 | 0 | 4236 | - |7102k| 0 | 195 | 607 | 958 | 607 |1056 | 119 | 0 | 0 | 4.335005e+01 | 6.700000e+01 | 54.56%
5.19/5.27 c 5.2s| 1 | 0 | 4387 | - |7200k| 0 | 183 | 607 | 958 | 607 |1060 | 123 | 0 | 0 | 4.348834e+01 | 6.700000e+01 | 54.06%
5.40/5.43 c 5.3s| 1 | 0 | 4500 | - |7222k| 0 | 193 | 607 | 958 | 607 |1065 | 128 | 0 | 0 | 4.369460e+01 | 6.700000e+01 | 53.34%
5.59/5.60 c 5.5s| 1 | 0 | 4702 | - |7304k| 0 | 186 | 607 | 958 | 607 |1036 | 131 | 0 | 0 | 4.380872e+01 | 6.700000e+01 | 52.94%
5.69/5.74 c 5.6s| 1 | 0 | 4817 | - |7315k| 0 | 188 | 607 | 958 | 607 |1039 | 134 | 0 | 0 | 4.381924e+01 | 6.700000e+01 | 52.90%
5.79/5.89 c 5.8s| 1 | 0 | 4919 | - |7318k| 0 | 188 | 607 | 958 | 607 |1041 | 136 | 0 | 0 | 4.383700e+01 | 6.700000e+01 | 52.84%
5.99/6.03 c 5.9s| 1 | 0 | 5003 | - |7325k| 0 | 194 | 607 | 958 | 607 |1043 | 138 | 0 | 0 | 4.388518e+01 | 6.700000e+01 | 52.67%
6.09/6.18 c 6.0s| 1 | 0 | 5200 | - |7396k| 0 | 190 | 607 | 958 | 607 |1045 | 140 | 0 | 0 | 4.388518e+01 | 6.700000e+01 | 52.67%
6.29/6.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.29/6.33 c 6.2s| 1 | 0 | 5285 | - |7415k| 0 | 194 | 607 | 958 | 607 |1048 | 143 | 0 | 0 | 4.388518e+01 | 6.700000e+01 | 52.67%
6.39/6.48 c 6.3s| 1 | 0 | 5389 | - |7442k| 0 | 195 | 607 | 958 | 607 |1030 | 146 | 0 | 0 | 4.388518e+01 | 6.700000e+01 | 52.67%
6.60/6.65 c 6.5s| 1 | 0 | 5542 | - |7504k| 0 | 197 | 607 | 958 | 607 |1033 | 149 | 0 | 0 | 4.388518e+01 | 6.700000e+01 | 52.67%
6.69/6.77 c 6.6s| 1 | 0 | 5576 | - |7555k| 0 | 195 | 607 | 958 | 607 |1034 | 150 | 0 | 0 | 4.388518e+01 | 6.700000e+01 | 52.67%
8.38/8.40 o 52
8.38/8.40 c E 8.1s| 1 | 0 | 5576 | - |7563k| 0 | 195 | 607 | 958 | 607 |1034 | 150 | 0 | 0 | 4.388518e+01 | 5.200000e+01 | 18.49%
8.38/8.41 c 8.1s| 1 | 0 | 5576 | - |7563k| 0 | 195 | 607 | 958 | 607 |1034 | 150 | 0 | 0 | 4.388518e+01 | 5.200000e+01 | 18.49%
8.38/8.41 o 51
8.38/8.41 c b 8.1s| 1 | 0 | 5576 | - |7580k| 0 | 195 | 607 | 958 | 607 |1034 | 150 | 0 | 0 | 4.388518e+01 | 5.100000e+01 | 16.21%
8.49/8.53 c 8.2s| 1 | 0 | 5600 | - |7573k| 0 | 191 | 607 | 958 | 607 |1035 | 151 | 0 | 0 | 4.388518e+01 | 5.100000e+01 | 16.21%
9.19/9.23 c 8.9s| 1 | 2 | 5600 | - |7573k| 0 | 191 | 607 | 958 | 607 |1035 | 151 | 0 | 32 | 4.388518e+01 | 5.100000e+01 | 16.21%
12.69/12.76 c 12.2s| 10000 | 486 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |6100 | 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
16.40/16.47 c 15.7s| 20000 | 485 | 5600 | 0.0 |7885k| 512 | - | 607 | 958 | 0 | 0 | 151 | 12k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
20.18/20.25 c 19.3s| 30000 | 482 | 5600 | 0.0 |7891k| 512 | - | 607 | 958 | 0 | 0 | 151 | 18k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
23.99/24.09 c 22.9s| 40000 | 481 | 5600 | 0.0 |7890k| 512 | - | 607 | 958 | 0 | 0 | 151 | 25k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
27.88/27.92 c 26.5s| 50000 | 477 | 5600 | 0.0 |7888k| 512 | - | 607 | 958 | 0 | 0 | 151 | 31k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
31.78/31.88 c 30.3s| 60000 | 475 | 5600 | 0.0 |7894k| 512 | - | 607 | 958 | 0 | 0 | 151 | 38k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
35.78/35.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.78/35.80 c 34.0s| 70000 | 473 | 5600 | 0.0 |7894k| 512 | - | 607 | 958 | 0 | 0 | 151 | 44k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
39.57/39.69 c 37.6s| 80000 | 467 | 5600 | 0.0 |7891k| 512 | - | 607 | 959 | 0 | 0 | 151 | 50k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
43.47/43.52 c 41.2s| 90000 | 473 | 5600 | 0.0 |7889k| 512 | - | 607 | 958 | 0 | 0 | 151 | 57k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
47.27/47.37 c 44.8s|100000 | 471 | 5600 | 0.0 |7889k| 512 | - | 607 | 958 | 0 | 0 | 151 | 63k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
51.17/51.23 c 48.5s|110000 | 466 | 5600 | 0.0 |7892k| 512 | - | 607 | 958 | 0 | 0 | 151 | 70k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
54.87/54.94 c 52.0s|120000 | 469 | 5600 | 0.0 |7890k| 512 | - | 607 | 958 | 0 | 0 | 151 | 76k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
58.56/58.63 c 55.5s|130000 | 469 | 5600 | 0.0 |7893k| 512 | - | 607 | 959 | 0 | 0 | 151 | 82k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
62.36/62.43 c 59.0s|140000 | 471 | 5600 | 0.0 |7892k| 512 | - | 607 | 958 | 0 | 0 | 151 | 89k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
66.06/66.11 c 62.5s|150000 | 468 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 95k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
70.06/70.13 c 66.3s|160000 | 468 | 5600 | 0.0 |7894k| 512 | - | 607 | 958 | 0 | 0 | 151 | 101k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
74.06/74.17 c 70.1s|170000 | 464 | 5600 | 0.0 |7894k| 512 | - | 607 | 958 | 0 | 0 | 151 | 107k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
77.75/77.87 c 73.6s|180000 | 469 | 5600 | 0.0 |7894k| 512 | - | 607 | 958 | 0 | 0 | 151 | 113k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
81.65/81.73 c 77.3s|190000 | 466 | 5600 | 0.0 |7894k| 512 | - | 607 | 959 | 0 | 0 | 151 | 120k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
85.55/85.64 c 80.9s|200000 | 465 | 5600 | 0.0 |7893k| 512 | - | 607 | 958 | 0 | 0 | 151 | 126k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
89.65/89.73 c 84.8s|210000 | 469 | 5600 | 0.0 |7892k| 512 | - | 607 | 958 | 0 | 0 | 151 | 133k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
93.65/93.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.65/93.70 c 88.5s|220000 | 466 | 5600 | 0.0 |7891k| 512 | - | 607 | 958 | 0 | 0 | 151 | 139k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
97.45/97.52 c 92.1s|230000 | 465 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 145k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
101.45/101.51 c 95.9s|240000 | 464 | 5600 | 0.0 |7905k| 512 | - | 607 | 958 | 0 | 0 | 151 | 152k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
105.46/105.53 c 99.7s|250000 | 470 | 5600 | 0.0 |7892k| 512 | - | 607 | 958 | 0 | 0 | 151 | 158k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
109.35/109.40 c 103s|260000 | 470 | 5600 | 0.0 |7894k| 512 | - | 607 | 958 | 0 | 0 | 151 | 164k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
113.44/113.53 c 107s|270000 | 466 | 5600 | 0.0 |7894k| 512 | - | 607 | 958 | 0 | 0 | 151 | 171k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
117.85/117.92 c 111s|280000 | 474 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 | 177k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
121.84/121.96 c 115s|290000 | 466 | 5600 | 0.0 |7892k| 512 | - | 607 | 958 | 0 | 0 | 151 | 183k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
126.03/126.13 c 119s|300000 | 463 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 | 189k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
130.04/130.12 c 123s|310000 | 467 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 | 196k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
133.84/133.92 c 127s|320000 | 467 | 5600 | 0.0 |7894k| 512 | - | 607 | 959 | 0 | 0 | 151 | 202k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
137.53/137.64 c 130s|330000 | 469 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 208k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
141.34/141.45 c 134s|340000 | 465 | 5600 | 0.0 |7893k| 512 | - | 607 | 958 | 0 | 0 | 151 | 215k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
145.14/145.22 c 137s|350000 | 460 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 | 221k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
149.04/149.15 c 141s|360000 | 463 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 | 228k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
152.93/153.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.93/153.06 c 145s|370000 | 462 | 5600 | 0.0 |7894k| 512 | - | 607 | 958 | 0 | 0 | 151 | 234k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
156.83/156.92 c 148s|380000 | 466 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 240k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
160.73/160.82 c 152s|390000 | 462 | 5600 | 0.0 |7892k| 512 | - | 607 | 958 | 0 | 0 | 151 | 247k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
164.73/164.89 c 156s|400000 | 466 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 253k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
169.02/169.17 c 160s|410000 | 463 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 | 260k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
172.93/173.04 c 163s|420000 | 464 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 | 266k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
176.93/177.05 c 167s|430000 | 462 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 272k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
180.63/180.79 c 171s|440000 | 462 | 5600 | 0.0 |7893k| 512 | - | 607 | 958 | 0 | 0 | 151 | 279k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
184.43/184.50 c 174s|450000 | 463 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 285k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
188.32/188.40 c 178s|460000 | 463 | 5600 | 0.0 |7894k| 512 | - | 607 | 958 | 0 | 0 | 151 | 291k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
192.33/192.46 c 182s|470000 | 465 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 | 298k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
196.23/196.32 c 185s|480000 | 463 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 | 304k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
200.13/200.21 c 189s|490000 | 463 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 | 310k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
204.02/204.15 c 193s|500000 | 462 | 5600 | 0.0 |7893k| 512 | - | 607 | 958 | 0 | 0 | 151 | 317k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
208.02/208.12 c 197s|510000 | 462 | 5600 | 0.0 |7894k| 512 | - | 607 | 958 | 0 | 0 | 151 | 323k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
211.92/212.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
211.92/212.02 c 200s|520000 | 459 | 5600 | 0.0 |7896k| 512 | - | 607 | 959 | 0 | 0 | 151 | 330k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
215.72/215.86 c 204s|530000 | 461 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 | 336k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
219.72/219.82 c 208s|540000 | 460 | 5600 | 0.0 |7894k| 512 | - | 607 | 958 | 0 | 0 | 151 | 342k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
223.61/223.74 c 211s|550000 | 461 | 5600 | 0.0 |7893k| 512 | - | 607 | 958 | 0 | 0 | 151 | 349k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
227.52/227.66 c 215s|560000 | 462 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 | 355k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
231.61/231.70 c 219s|570000 | 462 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 361k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
235.61/235.70 c 223s|580000 | 463 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 | 368k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
239.61/239.70 c 226s|590000 | 462 | 5600 | 0.0 |7893k| 512 | - | 607 | 958 | 0 | 0 | 151 | 374k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
243.41/243.57 c 230s|600000 | 461 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 | 381k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
247.41/247.51 c 234s|610000 | 462 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 387k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
251.40/251.57 c 238s|620000 | 459 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 394k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
255.41/255.54 c 241s|630000 | 461 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 400k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
259.30/259.48 c 245s|640000 | 458 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 | 407k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
263.30/263.45 c 249s|650000 | 457 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 | 413k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
267.29/267.46 c 253s|660000 | 459 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 | 420k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
271.40/271.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
271.40/271.53 c 256s|670000 | 459 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 426k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
275.19/275.38 c 260s|680000 | 460 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 | 433k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
279.09/279.21 c 264s|690000 | 459 | 5600 | 0.0 |7898k| 512 | - | 607 | 959 | 0 | 0 | 151 | 439k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
283.00/283.10 c 267s|700000 | 462 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 | 446k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
286.90/287.01 c 271s|710000 | 459 | 5600 | 0.0 |7894k| 512 | - | 607 | 958 | 0 | 0 | 151 | 452k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
290.49/290.68 c 275s|720000 | 461 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 458k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
294.19/294.35 c 278s|730000 | 458 | 5600 | 0.0 |7894k| 512 | - | 607 | 958 | 0 | 0 | 151 | 464k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
297.89/298.06 c 281s|740000 | 460 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 | 471k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
301.79/301.93 c 285s|750000 | 462 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 477k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
305.99/306.14 c 289s|760000 | 456 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 483k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
309.89/310.06 c 293s|770000 | 462 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 | 489k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
313.88/314.08 c 297s|780000 | 460 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 496k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
317.88/318.05 c 300s|790000 | 459 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 | 502k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
321.59/321.79 c 304s|800000 | 455 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 508k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
325.39/325.56 c 307s|810000 | 459 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 515k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
329.38/329.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
329.38/329.59 c 311s|820000 | 458 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 | 521k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
333.29/333.42 c 315s|830000 | 463 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 | 527k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
337.08/337.27 c 318s|840000 | 459 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 | 534k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
340.98/341.18 c 322s|850000 | 463 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 540k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
344.87/345.04 c 326s|860000 | 455 | 5600 | 0.0 |7894k| 512 | - | 607 | 958 | 0 | 0 | 151 | 546k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
348.87/349.08 c 330s|870000 | 456 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 | 553k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
352.88/353.05 c 333s|880000 | 458 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 559k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
356.57/356.77 c 337s|890000 | 460 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 | 566k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
360.57/360.79 c 341s|900000 | 458 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 | 572k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
364.57/364.76 c 344s|910000 | 459 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 579k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
368.57/368.75 c 348s|920000 | 458 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 | 585k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
372.67/372.83 c 352s|930000 | 453 | 5600 | 0.0 |7897k| 512 | - | 607 | 959 | 0 | 0 | 151 | 592k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
376.67/376.85 c 356s|940000 | 457 | 5600 | 0.0 |7894k| 512 | - | 607 | 958 | 0 | 0 | 151 | 598k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
380.76/380.92 c 360s|950000 | 458 | 5600 | 0.0 |7901k| 512 | - | 607 | 958 | 0 | 0 | 151 | 605k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
384.77/384.98 c 364s|960000 | 457 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 611k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
388.66/388.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
388.66/388.87 c 367s|970000 | 461 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 618k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
392.57/392.76 c 371s|980000 | 458 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 | 624k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
396.46/396.64 c 374s|990000 | 460 | 5600 | 0.0 |7900k| 512 | - | 607 | 959 | 0 | 0 | 151 | 631k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
400.17/400.38 c 378s| 1000k| 452 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 | 637k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
403.95/404.18 c 382s| 1010k| 459 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 643k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
407.76/407.99 c 385s| 1020k| 457 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 649k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
411.55/411.79 c 389s| 1030k| 461 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 | 656k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
415.36/415.56 c 392s| 1040k| 457 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 662k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
419.25/419.42 c 396s| 1050k| 460 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 668k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
423.05/423.23 c 400s| 1060k| 461 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 674k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
426.85/427.08 c 403s| 1070k| 457 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 681k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
430.65/430.88 c 407s| 1080k| 457 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 687k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
434.45/434.64 c 410s| 1090k| 463 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 | 693k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
438.34/438.58 c 414s| 1100k| 458 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 699k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
442.15/442.35 c 418s| 1110k| 456 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 706k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
445.94/446.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
445.94/446.12 c 421s| 1120k| 456 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 712k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
449.65/449.88 c 425s| 1130k| 457 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 718k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
453.55/453.74 c 428s| 1140k| 455 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 725k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
457.45/457.69 c 432s| 1150k| 456 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 731k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
461.34/461.57 c 436s| 1160k| 459 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 737k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
465.24/465.43 c 439s| 1170k| 455 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 744k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
469.14/469.38 c 443s| 1180k| 457 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 | 750k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
473.03/473.24 c 447s| 1190k| 459 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 756k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
476.94/477.11 c 450s| 1200k| 458 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 763k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
480.54/480.77 c 454s| 1210k| 451 | 5600 | 0.0 |7897k| 512 | - | 607 | 959 | 0 | 0 | 151 | 769k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
484.24/484.44 c 457s| 1220k| 455 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 775k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
487.93/488.18 c 461s| 1230k| 454 | 5600 | 0.0 |7904k| 512 | - | 607 | 958 | 0 | 0 | 151 | 782k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
491.83/492.05 c 465s| 1240k| 460 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 | 788k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
495.73/495.94 c 468s| 1250k| 457 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 794k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
499.63/499.85 c 472s| 1260k| 455 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 801k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
503.42/503.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
503.42/503.69 c 476s| 1270k| 454 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 | 807k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
507.22/507.46 c 479s| 1280k| 457 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 | 813k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
511.12/511.31 c 483s| 1290k| 461 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 820k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
515.03/515.20 c 486s| 1300k| 459 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 | 826k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
518.93/519.19 c 490s| 1310k| 455 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 | 833k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
522.92/523.16 c 494s| 1320k| 459 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 839k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
527.02/527.20 c 498s| 1330k| 455 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 | 846k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
531.13/531.31 c 502s| 1340k| 452 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 | 852k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
534.92/535.17 c 505s| 1350k| 454 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 | 859k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
538.82/539.09 c 509s| 1360k| 459 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 | 865k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
542.52/542.73 c 512s| 1370k| 456 | 5600 | 0.0 |7901k| 512 | - | 607 | 958 | 0 | 0 | 151 | 872k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
546.21/546.49 c 516s| 1380k| 454 | 5600 | 0.0 |7901k| 512 | - | 607 | 958 | 0 | 0 | 151 | 878k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
549.82/550.04 c 519s| 1390k| 454 | 5600 | 0.0 |7901k| 512 | - | 607 | 958 | 0 | 0 | 151 | 884k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
553.41/553.68 c 523s| 1400k| 459 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 | 890k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
557.52/557.79 c 527s| 1410k| 453 | 5600 | 0.0 |7901k| 512 | - | 607 | 958 | 0 | 0 | 151 | 896k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
561.71/561.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
561.71/561.93 c 531s| 1420k| 457 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 903k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
565.61/565.88 c 534s| 1430k| 457 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 909k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
569.52/569.79 c 538s| 1440k| 460 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 | 916k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
573.50/573.77 c 542s| 1450k| 456 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 922k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
577.41/577.62 c 545s| 1460k| 453 | 5600 | 0.0 |7894k| 512 | - | 607 | 958 | 0 | 0 | 151 | 929k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
581.10/581.37 c 549s| 1470k| 454 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 935k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
584.80/585.04 c 552s| 1480k| 454 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 941k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
588.61/588.82 c 556s| 1490k| 452 | 5600 | 0.0 |7896k| 512 | - | 607 | 959 | 0 | 0 | 151 | 948k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
592.40/592.65 c 560s| 1500k| 452 | 5600 | 0.0 |7901k| 512 | - | 607 | 958 | 0 | 0 | 151 | 954k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
596.40/596.69 c 563s| 1510k| 460 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 960k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
600.20/600.42 c 567s| 1520k| 458 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 966k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
603.80/604.09 c 570s| 1530k| 459 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 973k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
607.50/607.75 c 574s| 1540k| 459 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 979k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
611.10/611.37 c 577s| 1550k| 458 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 | 985k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
614.70/615.00 c 581s| 1560k| 457 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 | 992k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
618.39/618.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
618.39/618.64 c 584s| 1570k| 454 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 | 998k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
621.99/622.29 c 588s| 1580k| 461 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |1004k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
625.99/626.23 c 591s| 1590k| 455 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1010k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
629.79/630.09 c 595s| 1600k| 454 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1016k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
633.69/633.92 c 599s| 1610k| 459 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |1023k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
637.69/637.91 c 602s| 1620k| 457 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 |1029k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
641.38/641.65 c 606s| 1630k| 456 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |1035k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
645.29/645.58 c 610s| 1640k| 457 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |1041k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
649.19/649.49 c 613s| 1650k| 453 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |1048k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
652.88/653.12 c 617s| 1660k| 455 | 5600 | 0.0 |7901k| 512 | - | 607 | 958 | 0 | 0 | 151 |1054k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
656.59/656.81 c 620s| 1670k| 458 | 5600 | 0.0 |7901k| 512 | - | 607 | 959 | 0 | 0 | 151 |1060k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
660.28/660.57 c 624s| 1680k| 455 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |1067k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
664.19/664.45 c 627s| 1690k| 457 | 5600 | 0.0 |7897k| 512 | - | 607 | 959 | 0 | 0 | 151 |1073k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
668.19/668.41 c 631s| 1700k| 455 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 |1079k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
672.28/672.57 c 635s| 1710k| 455 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |1085k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
676.08/676.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
676.08/676.33 c 639s| 1720k| 451 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1092k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
679.78/680.01 c 642s| 1730k| 452 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |1098k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
683.48/683.78 c 646s| 1740k| 456 | 5600 | 0.0 |7901k| 512 | - | 607 | 958 | 0 | 0 | 151 |1104k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
687.67/687.93 c 650s| 1750k| 455 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1111k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
691.68/691.96 c 653s| 1760k| 457 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |1117k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
695.57/695.80 c 657s| 1770k| 454 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1123k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
699.28/699.54 c 661s| 1780k| 454 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |1129k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
703.37/703.68 c 664s| 1790k| 456 | 5600 | 0.0 |7903k| 512 | - | 607 | 958 | 0 | 0 | 151 |1136k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
707.08/707.34 c 668s| 1800k| 458 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |1142k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
710.57/710.88 c 671s| 1810k| 456 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |1148k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
714.27/714.58 c 675s| 1820k| 454 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |1154k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
718.17/718.49 c 678s| 1830k| 456 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |1160k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
722.06/722.32 c 682s| 1840k| 456 | 5600 | 0.0 |7898k| 512 | - | 607 | 959 | 0 | 0 | 151 |1166k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
725.77/726.08 c 686s| 1850k| 456 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |1172k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
729.96/730.20 c 690s| 1860k| 457 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |1178k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
734.26/734.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
734.26/734.53 c 694s| 1870k| 458 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |1185k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
738.06/738.40 c 697s| 1880k| 457 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |1191k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
742.36/742.68 c 701s| 1890k| 456 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1197k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
746.16/746.46 c 705s| 1900k| 455 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |1203k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
750.16/750.46 c 709s| 1910k| 454 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1209k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
754.16/754.41 c 712s| 1920k| 457 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |1216k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
758.45/758.70 c 716s| 1930k| 457 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |1222k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
762.46/762.80 c 720s| 1940k| 453 | 5600 | 0.0 |7901k| 512 | - | 607 | 958 | 0 | 0 | 151 |1228k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
766.66/766.92 c 724s| 1950k| 453 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1235k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
770.45/770.71 c 728s| 1960k| 456 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |1241k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
774.05/774.31 c 731s| 1970k| 451 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |1247k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
777.75/778.03 c 735s| 1980k| 453 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1253k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
781.44/781.75 c 738s| 1990k| 454 | 5600 | 0.0 |7897k| 512 | - | 607 | 959 | 0 | 0 | 151 |1259k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
785.25/785.55 c 742s| 2000k| 459 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 |1265k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
789.35/789.62 c 746s| 2010k| 452 | 5600 | 0.0 |7901k| 512 | - | 607 | 958 | 0 | 0 | 151 |1271k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
793.05/793.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
793.05/793.38 c 749s| 2020k| 451 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 |1277k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
797.16/797.50 c 753s| 2030k| 454 | 5600 | 0.0 |7905k| 512 | - | 607 | 958 | 0 | 0 | 151 |1284k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
801.44/801.70 c 757s| 2040k| 452 | 5600 | 0.0 |7901k| 512 | - | 607 | 958 | 0 | 0 | 151 |1290k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
805.54/805.85 c 761s| 2050k| 458 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |1297k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
809.54/809.84 c 765s| 2060k| 459 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |1303k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
813.65/813.99 c 769s| 2070k| 452 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1309k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
817.54/817.85 c 772s| 2080k| 454 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1316k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
821.34/821.65 c 776s| 2090k| 451 | 5600 | 0.0 |7906k| 512 | - | 607 | 958 | 0 | 0 | 151 |1322k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
825.13/825.48 c 780s| 2100k| 454 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |1328k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
829.24/829.54 c 783s| 2110k| 452 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |1335k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
833.14/833.49 c 787s| 2120k| 455 | 5600 | 0.0 |7899k| 512 | - | 607 | 959 | 0 | 0 | 151 |1341k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
837.03/837.34 c 791s| 2130k| 452 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |1348k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
840.93/841.22 c 794s| 2140k| 451 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |1354k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
844.83/845.10 c 798s| 2150k| 455 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 |1360k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
848.63/848.97 c 802s| 2160k| 457 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |1367k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
852.53/852.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
852.53/852.81 c 805s| 2170k| 454 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |1373k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
856.43/856.71 c 809s| 2180k| 457 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |1380k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
860.23/860.60 c 813s| 2190k| 455 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |1386k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
864.24/864.51 c 816s| 2200k| 452 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |1392k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
868.12/868.44 c 820s| 2210k| 454 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 |1399k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
872.03/872.38 c 824s| 2220k| 453 | 5600 | 0.0 |7900k| 512 | - | 607 | 960 | 0 | 0 | 151 |1405k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
875.92/876.26 c 827s| 2230k| 450 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |1412k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
879.73/880.04 c 831s| 2240k| 452 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1418k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
883.42/883.79 c 834s| 2250k| 449 | 5600 | 0.0 |7894k| 512 | - | 607 | 958 | 0 | 0 | 151 |1424k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
887.32/887.68 c 838s| 2260k| 451 | 5600 | 0.0 |7896k| 512 | - | 607 | 959 | 0 | 0 | 151 |1431k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
891.01/891.37 c 842s| 2270k| 455 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |1437k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
894.61/894.91 c 845s| 2280k| 456 | 5600 | 0.0 |7899k| 512 | - | 607 | 959 | 0 | 0 | 151 |1443k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
898.32/898.61 c 848s| 2290k| 453 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |1449k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
901.81/902.19 c 852s| 2300k| 455 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |1455k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
905.51/905.88 c 855s| 2310k| 453 | 5600 | 0.0 |7901k| 512 | - | 607 | 958 | 0 | 0 | 151 |1461k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
909.32/909.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
909.32/909.63 c 859s| 2320k| 451 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1468k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
913.01/913.31 c 862s| 2330k| 452 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1474k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
916.71/917.02 c 866s| 2340k| 456 | 5600 | 0.0 |7900k| 512 | - | 607 | 960 | 0 | 0 | 151 |1480k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
920.42/920.74 c 869s| 2350k| 456 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |1486k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
924.11/924.48 c 873s| 2360k| 458 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |1492k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
927.81/928.17 c 876s| 2370k| 455 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |1499k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
931.51/931.88 c 880s| 2380k| 457 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |1505k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
935.40/935.71 c 883s| 2390k| 449 | 5600 | 0.0 |7896k| 512 | - | 607 | 959 | 0 | 0 | 151 |1511k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
939.20/939.51 c 887s| 2400k| 449 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 |1517k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
942.91/943.23 c 890s| 2410k| 454 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 |1524k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
946.61/946.99 c 894s| 2420k| 451 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1530k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
950.40/950.76 c 898s| 2430k| 451 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1536k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
954.30/954.65 c 901s| 2440k| 451 | 5600 | 0.0 |7905k| 512 | - | 607 | 958 | 0 | 0 | 151 |1542k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
958.20/958.54 c 905s| 2450k| 451 | 5600 | 0.0 |7896k| 512 | - | 607 | 959 | 0 | 0 | 151 |1549k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
962.10/962.41 c 909s| 2460k| 452 | 5600 | 0.0 |7901k| 512 | - | 607 | 958 | 0 | 0 | 151 |1555k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
965.89/966.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
965.89/966.21 c 912s| 2470k| 452 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 |1561k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
969.70/970.06 c 916s| 2480k| 452 | 5600 | 0.0 |7904k| 512 | - | 607 | 958 | 0 | 0 | 151 |1568k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
973.49/973.89 c 919s| 2490k| 450 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1574k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
977.39/977.71 c 923s| 2500k| 450 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1580k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
981.19/981.51 c 927s| 2510k| 456 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |1587k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
985.20/985.50 c 930s| 2520k| 451 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 |1593k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
988.99/989.34 c 934s| 2530k| 454 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |1599k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
992.69/993.09 c 937s| 2540k| 451 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |1606k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
996.48/996.89 c 941s| 2550k| 453 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1612k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1000.29/1000.67 c 945s| 2560k| 450 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1618k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1004.09/1004.49 c 948s| 2570k| 448 | 5600 | 0.0 |7898k| 512 | - | 607 | 959 | 0 | 0 | 151 |1624k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1007.88/1008.29 c 952s| 2580k| 453 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |1631k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1011.78/1012.13 c 955s| 2590k| 451 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1637k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1015.69/1016.04 c 959s| 2600k| 452 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1643k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1019.59/1019.92 c 963s| 2610k| 450 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |1650k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1023.58/1023.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1023.58/1023.90 c 967s| 2620k| 451 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |1656k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1027.58/1027.91 c 970s| 2630k| 452 | 5600 | 0.0 |7901k| 512 | - | 607 | 958 | 0 | 0 | 151 |1663k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1031.39/1031.77 c 974s| 2640k| 448 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |1669k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1035.28/1035.66 c 978s| 2650k| 451 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |1675k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1039.27/1039.62 c 981s| 2660k| 449 | 5600 | 0.0 |7903k| 512 | - | 607 | 958 | 0 | 0 | 151 |1682k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1043.07/1043.46 c 985s| 2670k| 451 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1688k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1046.98/1047.37 c 989s| 2680k| 448 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1695k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1050.97/1051.35 c 992s| 2690k| 449 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |1701k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1054.87/1055.28 c 996s| 2700k| 456 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |1708k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1058.87/1059.29 c 1000s| 2710k| 457 | 5600 | 0.0 |7901k| 512 | - | 607 | 958 | 0 | 0 | 151 |1714k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1062.96/1063.31 c 1004s| 2720k| 451 | 5600 | 0.0 |7901k| 512 | - | 607 | 958 | 0 | 0 | 151 |1720k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1066.86/1067.29 c 1008s| 2730k| 455 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |1726k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1071.07/1071.47 c 1011s| 2740k| 451 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |1733k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1075.66/1076.00 c 1016s| 2750k| 455 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 |1739k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1079.56/1079.93 c 1019s| 2760k| 450 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1746k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1083.37/1083.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1083.37/1083.78 c 1023s| 2770k| 451 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 |1752k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1087.36/1087.74 c 1027s| 2780k| 451 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1759k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1091.16/1091.58 c 1030s| 2790k| 449 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1765k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1094.96/1095.31 c 1034s| 2800k| 451 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 |1771k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1098.76/1099.19 c 1038s| 2810k| 451 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |1777k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1102.76/1103.17 c 1041s| 2820k| 449 | 5600 | 0.0 |7903k| 512 | - | 607 | 958 | 0 | 0 | 151 |1784k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1106.65/1107.07 c 1045s| 2830k| 455 | 5600 | 0.0 |7898k| 512 | - | 607 | 959 | 0 | 0 | 151 |1790k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1110.66/1111.05 c 1049s| 2840k| 454 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |1797k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1114.75/1115.10 c 1053s| 2850k| 450 | 5600 | 0.0 |7904k| 512 | - | 607 | 958 | 0 | 0 | 151 |1803k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1118.85/1119.26 c 1057s| 2860k| 453 | 5600 | 0.0 |7903k| 512 | - | 607 | 958 | 0 | 0 | 151 |1810k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1123.05/1123.41 c 1060s| 2870k| 450 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |1816k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1126.85/1127.25 c 1064s| 2880k| 451 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1823k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1130.75/1131.12 c 1068s| 2890k| 455 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |1829k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1134.45/1134.87 c 1071s| 2900k| 450 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |1835k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1138.25/1138.64 c 1075s| 2910k| 448 | 5600 | 0.0 |7899k| 512 | - | 607 | 959 | 0 | 0 | 151 |1842k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1142.05/1142.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1142.05/1142.41 c 1078s| 2920k| 450 | 5600 | 0.0 |7898k| 512 | - | 607 | 959 | 0 | 0 | 151 |1848k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1145.94/1146.38 c 1082s| 2930k| 451 | 5600 | 0.0 |7901k| 512 | - | 607 | 958 | 0 | 0 | 151 |1854k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1149.84/1150.23 c 1086s| 2940k| 453 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |1860k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1154.04/1154.41 c 1090s| 2950k| 448 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |1867k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1157.95/1158.35 c 1093s| 2960k| 450 | 5600 | 0.0 |7911k| 512 | - | 607 | 958 | 0 | 0 | 151 |1873k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1161.74/1162.19 c 1097s| 2970k| 451 | 5600 | 0.0 |7906k| 512 | - | 607 | 958 | 0 | 0 | 151 |1879k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1165.74/1166.19 c 1101s| 2980k| 454 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |1886k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1169.63/1170.01 c 1104s| 2990k| 448 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1892k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1173.63/1174.07 c 1108s| 3000k| 449 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 |1899k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1177.42/1177.86 c 1112s| 3010k| 447 | 5600 | 0.0 |7898k| 512 | - | 607 | 959 | 0 | 0 | 151 |1905k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1181.22/1181.64 c 1115s| 3020k| 449 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 |1911k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1185.22/1185.62 c 1119s| 3030k| 452 | 5600 | 0.0 |7899k| 512 | - | 607 | 959 | 0 | 0 | 151 |1917k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1189.32/1189.73 c 1123s| 3040k| 453 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |1923k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1192.81/1193.25 c 1126s| 3050k| 449 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1929k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1196.62/1197.10 c 1130s| 3060k| 451 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |1936k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1200.52/1200.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1200.52/1200.92 c 1134s| 3070k| 454 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |1942k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1204.41/1204.89 c 1137s| 3080k| 449 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |1948k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1208.52/1208.98 c 1141s| 3090k| 455 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |1954k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1213.01/1213.50 c 1146s| 3100k| 449 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 |1961k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1216.81/1217.27 c 1149s| 3110k| 448 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |1967k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1221.01/1221.47 c 1153s| 3120k| 451 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 |1974k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1225.11/1225.53 c 1157s| 3130k| 452 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |1980k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1229.21/1229.63 c 1161s| 3140k| 450 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 |1987k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1233.11/1233.54 c 1164s| 3150k| 451 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |1993k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1236.91/1237.34 c 1168s| 3160k| 450 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |1999k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1241.10/1241.50 c 1172s| 3170k| 452 | 5600 | 0.0 |7901k| 512 | - | 607 | 958 | 0 | 0 | 151 |2006k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1245.81/1246.23 c 1176s| 3180k| 454 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |2012k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1250.40/1250.83 c 1181s| 3190k| 451 | 5600 | 0.0 |7907k| 512 | - | 607 | 958 | 0 | 0 | 151 |2019k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1254.90/1255.34 c 1185s| 3200k| 449 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |2025k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1259.29/1259.71 c 1189s| 3210k| 452 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 |2032k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1263.51/1263.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1263.51/1263.99 c 1193s| 3220k| 450 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |2038k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1267.50/1267.92 c 1197s| 3230k| 450 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |2045k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1271.20/1271.62 c 1200s| 3240k| 452 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |2051k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1275.09/1275.52 c 1204s| 3250k| 450 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2057k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1279.19/1279.67 c 1208s| 3260k| 450 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2063k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1283.59/1284.00 c 1212s| 3270k| 451 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2069k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1287.79/1288.23 c 1216s| 3280k| 448 | 5600 | 0.0 |7898k| 512 | - | 607 | 959 | 0 | 0 | 151 |2076k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1291.68/1292.11 c 1220s| 3290k| 454 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |2082k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1295.48/1295.94 c 1224s| 3300k| 450 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 |2088k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1299.59/1300.03 c 1227s| 3310k| 448 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |2094k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1303.68/1304.15 c 1231s| 3320k| 445 | 5600 | 0.0 |7894k| 512 | - | 607 | 958 | 0 | 0 | 151 |2101k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1307.89/1308.30 c 1235s| 3330k| 448 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2107k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1311.98/1312.40 c 1239s| 3340k| 452 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |2114k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1316.08/1316.53 c 1243s| 3350k| 446 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |2120k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1320.18/1320.62 c 1247s| 3360k| 459 | 5600 | 0.0 |7903k| 512 | - | 607 | 958 | 0 | 0 | 151 |2127k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1324.37/1324.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1324.37/1324.85 c 1251s| 3370k| 452 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |2133k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1328.47/1328.97 c 1255s| 3380k| 452 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 |2139k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1332.68/1333.15 c 1259s| 3390k| 449 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |2146k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1336.87/1337.31 c 1263s| 3400k| 451 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |2152k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1340.97/1341.41 c 1267s| 3410k| 451 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |2159k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1344.97/1345.47 c 1270s| 3420k| 451 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |2165k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1348.97/1349.45 c 1274s| 3430k| 449 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2172k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1353.07/1353.53 c 1278s| 3440k| 450 | 5600 | 0.0 |7901k| 512 | - | 607 | 958 | 0 | 0 | 151 |2178k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1357.17/1357.68 c 1282s| 3450k| 450 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2185k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1361.16/1361.68 c 1286s| 3460k| 450 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |2191k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1365.06/1365.53 c 1289s| 3470k| 447 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2197k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1368.97/1369.44 c 1293s| 3480k| 450 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |2204k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1372.76/1373.28 c 1297s| 3490k| 448 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |2210k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1376.86/1377.33 c 1300s| 3500k| 449 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |2216k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1380.85/1381.36 c 1304s| 3510k| 446 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2223k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1384.95/1385.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1384.95/1385.40 c 1308s| 3520k| 451 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |2229k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1388.76/1389.23 c 1312s| 3530k| 452 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 |2235k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1392.75/1393.24 c 1315s| 3540k| 453 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2242k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1396.95/1397.46 c 1319s| 3550k| 455 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 |2248k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1401.14/1401.62 c 1323s| 3560k| 448 | 5600 | 0.0 |7901k| 512 | - | 607 | 958 | 0 | 0 | 151 |2254k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1404.94/1405.41 c 1327s| 3570k| 449 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |2260k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1408.95/1409.40 c 1331s| 3580k| 451 | 5600 | 0.0 |7898k| 512 | - | 607 | 959 | 0 | 0 | 151 |2266k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1413.34/1413.84 c 1335s| 3590k| 452 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |2273k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1417.35/1417.86 c 1339s| 3600k| 452 | 5600 | 0.0 |7898k| 512 | - | 607 | 959 | 0 | 0 | 151 |2279k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1421.24/1421.72 c 1342s| 3610k| 449 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |2286k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1425.15/1425.61 c 1346s| 3620k| 448 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |2292k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1429.04/1429.52 c 1350s| 3630k| 451 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |2298k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1433.04/1433.50 c 1353s| 3640k| 449 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 |2305k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1437.14/1437.68 c 1357s| 3650k| 452 | 5600 | 0.0 |7903k| 512 | - | 607 | 959 | 0 | 0 | 151 |2311k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1441.03/1441.54 c 1361s| 3660k| 447 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 |2317k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1444.84/1445.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1444.84/1445.33 c 1365s| 3670k| 449 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |2323k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1448.63/1449.16 c 1368s| 3680k| 449 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |2330k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1452.43/1452.99 c 1372s| 3690k| 451 | 5600 | 0.0 |7901k| 512 | - | 607 | 958 | 0 | 0 | 151 |2336k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1456.53/1457.08 c 1376s| 3700k| 448 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |2342k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1460.53/1461.03 c 1380s| 3710k| 448 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |2349k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1464.52/1465.05 c 1383s| 3720k| 449 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |2355k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1468.53/1469.04 c 1387s| 3730k| 447 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |2361k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1472.52/1473.08 c 1391s| 3740k| 451 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |2367k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1476.73/1477.25 c 1395s| 3750k| 447 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |2374k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1481.02/1481.52 c 1399s| 3760k| 453 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |2380k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1485.02/1485.52 c 1403s| 3770k| 450 | 5600 | 0.0 |7901k| 512 | - | 607 | 958 | 0 | 0 | 151 |2386k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1489.12/1489.66 c 1407s| 3780k| 448 | 5600 | 0.0 |7898k| 512 | - | 607 | 960 | 0 | 0 | 151 |2393k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1493.32/1493.87 c 1410s| 3790k| 450 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2399k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1497.41/1497.91 c 1414s| 3800k| 447 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 |2405k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1501.61/1502.11 c 1418s| 3810k| 445 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |2412k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1505.71/1506.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1505.71/1506.26 c 1422s| 3820k| 449 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2418k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1509.91/1510.46 c 1426s| 3830k| 446 | 5600 | 0.0 |7903k| 512 | - | 607 | 958 | 0 | 0 | 151 |2425k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1514.41/1514.98 c 1430s| 3840k| 451 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |2431k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1518.40/1518.99 c 1434s| 3850k| 448 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2438k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1522.40/1522.92 c 1438s| 3860k| 450 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |2444k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1526.51/1527.06 c 1442s| 3870k| 452 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2450k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1530.30/1530.84 c 1445s| 3880k| 448 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 |2457k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1534.10/1534.62 c 1449s| 3890k| 448 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |2463k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1537.80/1538.38 c 1453s| 3900k| 448 | 5600 | 0.0 |7903k| 512 | - | 607 | 958 | 0 | 0 | 151 |2469k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1541.61/1542.13 c 1456s| 3910k| 449 | 5600 | 0.0 |7900k| 512 | - | 607 | 959 | 0 | 0 | 151 |2475k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1545.40/1545.90 c 1460s| 3920k| 452 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2482k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1549.20/1549.71 c 1463s| 3930k| 449 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |2488k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1553.00/1553.56 c 1467s| 3940k| 448 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |2494k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1556.89/1557.42 c 1471s| 3950k| 449 | 5600 | 0.0 |7899k| 512 | - | 607 | 959 | 0 | 0 | 151 |2500k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1560.69/1561.22 c 1474s| 3960k| 446 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |2506k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1564.49/1565.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1564.49/1565.00 c 1478s| 3970k| 452 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |2512k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1568.29/1568.89 c 1481s| 3980k| 448 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |2518k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1572.29/1572.84 c 1485s| 3990k| 446 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |2525k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1576.28/1576.87 c 1489s| 4000k| 451 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 |2531k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1580.20/1580.78 c 1493s| 4010k| 451 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |2537k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1584.19/1584.75 c 1496s| 4020k| 451 | 5600 | 0.0 |7904k| 512 | - | 607 | 958 | 0 | 0 | 151 |2544k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1588.19/1588.76 c 1500s| 4030k| 454 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |2550k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1592.19/1592.76 c 1504s| 4040k| 447 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |2556k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1596.08/1596.68 c 1508s| 4050k| 446 | 5600 | 0.0 |7906k| 512 | - | 607 | 958 | 0 | 0 | 151 |2562k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1599.78/1600.33 c 1511s| 4060k| 455 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |2569k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1603.48/1604.08 c 1515s| 4070k| 452 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 |2575k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1607.28/1607.84 c 1518s| 4080k| 453 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2581k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1610.88/1611.48 c 1522s| 4090k| 453 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |2587k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1614.57/1615.18 c 1525s| 4100k| 445 | 5600 | 0.0 |7899k| 512 | - | 607 | 959 | 0 | 0 | 151 |2593k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1618.37/1618.90 c 1529s| 4110k| 447 | 5600 | 0.0 |7895k| 512 | - | 607 | 958 | 0 | 0 | 151 |2600k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1621.98/1622.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1621.98/1622.55 c 1532s| 4120k| 447 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |2606k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1625.68/1626.25 c 1536s| 4130k| 448 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2612k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1629.58/1630.10 c 1539s| 4140k| 451 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |2618k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1633.37/1633.94 c 1543s| 4150k| 448 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2625k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1637.17/1637.70 c 1546s| 4160k| 450 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2631k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1640.97/1641.51 c 1550s| 4170k| 449 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 |2637k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1644.76/1645.37 c 1554s| 4180k| 453 | 5600 | 0.0 |7898k| 512 | - | 607 | 959 | 0 | 0 | 151 |2643k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1648.57/1649.17 c 1557s| 4190k| 451 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 |2649k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1652.57/1653.12 c 1561s| 4200k| 448 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |2656k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1656.46/1657.04 c 1565s| 4210k| 449 | 5600 | 0.0 |7898k| 512 | - | 607 | 960 | 0 | 0 | 151 |2662k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1660.37/1660.95 c 1568s| 4220k| 452 | 5600 | 0.0 |7903k| 512 | - | 607 | 958 | 0 | 0 | 151 |2668k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1664.36/1664.90 c 1572s| 4230k| 451 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2674k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1668.26/1668.80 c 1576s| 4240k| 446 | 5600 | 0.0 |7902k| 512 | - | 607 | 960 | 0 | 0 | 151 |2681k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1672.06/1672.68 c 1579s| 4250k| 449 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |2687k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1675.95/1676.59 c 1583s| 4260k| 450 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 |2693k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1679.86/1680.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1679.86/1680.49 c 1587s| 4270k| 449 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |2699k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1683.65/1684.26 c 1590s| 4280k| 452 | 5600 | 0.0 |7901k| 512 | - | 607 | 959 | 0 | 0 | 151 |2706k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1687.66/1688.20 c 1594s| 4290k| 447 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 |2712k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1691.55/1692.13 c 1598s| 4300k| 448 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |2718k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1695.56/1696.15 c 1602s| 4310k| 454 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 |2724k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1699.45/1700.03 c 1605s| 4320k| 449 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 |2730k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1703.36/1703.92 c 1609s| 4330k| 446 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 |2736k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1707.45/1708.00 c 1613s| 4340k| 451 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2743k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1711.45/1712.01 c 1617s| 4350k| 449 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |2749k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1715.35/1715.91 c 1620s| 4360k| 449 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2755k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1719.14/1719.79 c 1624s| 4370k| 451 | 5600 | 0.0 |7900k| 512 | - | 607 | 959 | 0 | 0 | 151 |2761k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1722.94/1723.60 c 1628s| 4380k| 449 | 5600 | 0.0 |7903k| 512 | - | 607 | 958 | 0 | 0 | 151 |2767k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1726.84/1727.49 c 1631s| 4390k| 449 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |2774k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1730.85/1731.44 c 1635s| 4400k| 450 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2780k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1734.73/1735.32 c 1639s| 4410k| 447 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |2786k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1738.54/1739.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1738.54/1739.19 c 1642s| 4420k| 455 | 5600 | 0.0 |7901k| 512 | - | 607 | 959 | 0 | 0 | 151 |2793k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1742.53/1743.12 c 1646s| 4430k| 452 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |2799k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1746.74/1747.30 c 1650s| 4440k| 451 | 5600 | 0.0 |7905k| 512 | - | 607 | 958 | 0 | 0 | 151 |2805k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1750.55/1751.17 c 1654s| 4450k| 448 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 |2811k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1754.43/1755.06 c 1657s| 4460k| 456 | 5600 | 0.0 |7899k| 512 | - | 607 | 959 | 0 | 0 | 151 |2818k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1758.24/1758.89 c 1661s| 4470k| 452 | 5600 | 0.0 |7900k| 512 | - | 607 | 958 | 0 | 0 | 151 |2824k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1762.13/1762.72 c 1665s| 4480k| 451 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2830k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1765.93/1766.53 c 1668s| 4490k| 452 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2836k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1769.73/1770.35 c 1672s| 4500k| 448 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2842k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1773.43/1774.07 c 1675s| 4510k| 448 | 5600 | 0.0 |7896k| 512 | - | 607 | 958 | 0 | 0 | 151 |2848k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1777.32/1777.94 c 1679s| 4520k| 450 | 5600 | 0.0 |7898k| 512 | - | 607 | 958 | 0 | 0 | 151 |2854k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1781.43/1782.01 c 1683s| 4530k| 445 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 |2861k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1785.32/1785.90 c 1686s| 4540k| 451 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2867k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1789.13/1789.73 c 1690s| 4550k| 449 | 5600 | 0.0 |7899k| 512 | - | 607 | 958 | 0 | 0 | 151 |2873k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1793.03/1793.62 c 1694s| 4560k| 450 | 5600 | 0.0 |7897k| 512 | - | 607 | 958 | 0 | 0 | 151 |2880k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1796.92/1797.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1796.92/1797.55 c 1697s| 4570k| 452 | 5600 | 0.0 |7902k| 512 | - | 607 | 958 | 0 | 0 | 151 |2886k| 32 | 4.392520e+01 | 5.100000e+01 | 16.11%
1800.03/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.61 c
1800.03/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.61 c Solving Time (sec) : 1700.30
1800.03/1800.61 c Solving Nodes : 4578080
1800.03/1800.61 c Primal Bound : +5.10000000000000e+01 (7 solutions)
1800.03/1800.61 c Dual Bound : +4.39251984146463e+01
1800.03/1800.61 c Gap : 16.11 %
1800.03/1800.61 s SATISFIABLE
1800.03/1800.61 v -x607 -x606 -x605 -x604 x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586
1800.03/1800.61 v -x585 -x584 -x583 -x582 -x581 -x580 x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565
1800.03/1800.61 v -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544
1800.03/1800.61 v -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 x529 -x528 -x527 -x526 -x525 -x524 -x523
1800.03/1800.61 v -x522 -x521 -x520 -x519 -x518 -x517 x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502
1800.03/1800.61 v -x501 -x500 x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481
1800.03/1800.61 v -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460
1800.03/1800.61 v x459 -x458 -x457 x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 x442 -x441 -x440 -x439
1800.03/1800.61 v -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 -x418
1800.03/1800.61 v -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 -x400 -x399 -x398 -x397
1800.03/1800.61 v -x396 -x395 -x394 -x393 -x392 -x391 -x390 x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 -x378 -x377 -x376
1800.03/1800.61 v -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355
1800.03/1800.61 v -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334
1800.03/1800.61 v -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 x313
1800.03/1800.61 v -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 x293 -x292
1800.03/1800.61 v -x291 -x290 -x289 -x288 x287 -x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270
1800.03/1800.61 v -x269 x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249
1800.03/1800.61 v -x248 -x247 -x246 -x245 -x244 x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228
1800.03/1800.61 v -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207
1800.03/1800.61 v x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 x190 -x189 -x188 -x187 -x186 x185
1800.03/1800.61 v -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 x167 -x166 -x165 -x164
1800.03/1800.61 v -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143
1800.03/1800.61 v -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122
1800.03/1800.61 v -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100
1800.03/1800.61 v -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75
1800.03/1800.61 v -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 -x50
1800.03/1800.61 v -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 -x24
1800.03/1800.61 v -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.03/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.61 c Solving Time : 1700.30
1800.03/1800.61 c Original Problem :
1800.03/1800.61 c Problem name : HOME/instance-2665620-1276414895.opb
1800.03/1800.61 c Variables : 607 (607 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.61 c Constraints : 1022 initial, 1022 maximal
1800.03/1800.61 c Presolved Problem :
1800.03/1800.61 c Problem name : t_HOME/instance-2665620-1276414895.opb
1800.03/1800.61 c Variables : 607 (607 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.61 c Constraints : 958 initial, 965 maximal
1800.03/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c linear : 0.02 0 0 0 0 0 64 0 0
1800.03/1800.61 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.03/1800.61 c root node : - 0 - - 0 - - - -
1800.03/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.61 c integral : 0 0 0 1 0 0 0 0 0 2
1800.03/1800.61 c logicor : 958+ 32 8157385 0 0 1945694 10088792 0 0 0
1800.03/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.61 c integral : 0.69 0.00 0.00 0.69 0.00
1800.03/1800.61 c logicor : 594.01 0.00 594.01 0.00 0.00
1800.03/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.61 c vbounds : 6.84 2 0 0
1800.03/1800.61 c rootredcost : 6.72 1 0 0
1800.03/1800.61 c pseudoobj : 696.81 14611827 946993 96577891
1800.03/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.61 c propagation : 746.88 2889831 2889831 2889831 119.3 1907 99.6 -
1800.03/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.61 c pseudo solution : 0.29 1287 1287 1287 94.9 6 84.0 -
1800.03/1800.61 c applied globally : - - - 253377 53.5 - - -
1800.03/1800.61 c applied locally : - - - 2637841 125.7 - - -
1800.03/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.61 c cut pool : 0.03 31 - - 231 - (maximal pool size: 1673)
1800.03/1800.61 c redcost : 0.00 32 0 0 0 0
1800.03/1800.61 c impliedbounds : 0.00 32 0 0 0 0
1800.03/1800.61 c intobj : 0.00 0 0 0 0 0
1800.03/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.61 c gomory : 3.50 32 0 0 5701 0
1800.03/1800.61 c strongcg : 1.58 20 0 0 5716 0
1800.03/1800.61 c cmir : 0.11 10 0 0 1 0
1800.03/1800.61 c flowcover : 0.25 10 0 0 2 0
1800.03/1800.61 c clique : 0.00 1 0 0 0 0
1800.03/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.61 c mcf : 0.00 1 0 0 0 0
1800.03/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.61 c Pricers : Time Calls Vars
1800.03/1800.61 c problem variables: 0.00 0 0
1800.03/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.61 c relpscost : 0.69 1 0 0 0 0 2
1800.03/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.61 c inference : 72.04 3064822 0 0 0 0 6129644
1800.03/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.61 c random : 0.00 0 0 0 0 0 0
1800.03/1800.61 c Primal Heuristics : Time Calls Found
1800.03/1800.61 c LP solutions : 0.00 - 0
1800.03/1800.61 c pseudo solutions : 0.00 - 0
1800.03/1800.61 c crossover : 0.00 0 0
1800.03/1800.61 c oneopt : 3.03 4 2
1800.03/1800.61 c trivial : 0.01 2 4
1800.03/1800.61 c simplerounding : 0.00 0 0
1800.03/1800.61 c zirounding : 0.00 1 0
1800.03/1800.61 c rounding : 0.02 33 0
1800.03/1800.61 c shifting : 0.06 33 0
1800.03/1800.61 c intshifting : 0.00 0 0
1800.03/1800.61 c twoopt : 0.00 0 0
1800.03/1800.61 c fixandinfer : 0.00 0 0
1800.03/1800.61 c feaspump : 0.00 0 0
1800.03/1800.61 c coefdiving : 0.00 0 0
1800.03/1800.61 c pscostdiving : 0.00 0 0
1800.03/1800.61 c fracdiving : 0.00 0 0
1800.03/1800.61 c veclendiving : 0.00 0 0
1800.03/1800.61 c intdiving : 0.00 0 0
1800.03/1800.61 c actconsdiving : 0.00 0 0
1800.03/1800.61 c objpscostdiving : 0.00 0 0
1800.03/1800.61 c rootsoldiving : 0.00 0 0
1800.03/1800.61 c linesearchdiving : 0.00 0 0
1800.03/1800.61 c guideddiving : 0.00 0 0
1800.03/1800.61 c octane : 0.00 0 0
1800.03/1800.61 c rens : 1.47 1 1
1800.03/1800.61 c rins : 0.00 0 0
1800.03/1800.61 c localbranching : 0.00 0 0
1800.03/1800.61 c mutation : 0.00 0 0
1800.03/1800.61 c dins : 0.00 0 0
1800.03/1800.61 c undercover : 0.00 0 0
1800.03/1800.61 c nlp : 2.69 0 0
1800.03/1800.61 c trysol : 1.94 0 0
1800.03/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.61 c dual LP : 1.02 33 5600 169.70 5490.20
1800.03/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.61 c strong branching : 0.69 32 3399 106.22 4926.09
1800.03/1800.61 c (at root node) : - 32 3399 106.22 -
1800.03/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.61 c B&B Tree :
1800.03/1800.61 c number of runs : 1
1800.03/1800.61 c nodes : 4578080
1800.03/1800.61 c nodes (total) : 4578080
1800.03/1800.61 c nodes left : 447
1800.03/1800.61 c max depth : 512
1800.03/1800.61 c max depth (total): 512
1800.03/1800.61 c backtracks : 1651078 (36.1%)
1800.03/1800.61 c delayed cutoffs : 1548217
1800.03/1800.61 c repropagations : 2925715 (54467215 domain reductions, 1380717 cutoffs)
1800.03/1800.61 c avg switch length: 2.24
1800.03/1800.61 c switching time : 111.96
1800.03/1800.61 c Solution :
1800.03/1800.61 c Solutions found : 7 (6 improvements)
1800.03/1800.61 c First Solution : +6.07000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.03/1800.61 c Primal Bound : +5.10000000000000e+01 (in run 1, after 1 nodes, 8.10 seconds, depth 0, found by <oneopt>)
1800.03/1800.61 c Dual Bound : +4.39251984146463e+01
1800.03/1800.61 c Gap : 16.11 %
1800.03/1800.61 c Root Dual Bound : +4.38851799913147e+01
1800.03/1800.61 c Root Iterations : 5600
1800.03/1800.63 c Time complete: 1800.06.