0.00/0.03 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.03 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.03 c
0.00/0.03 c user parameter file <scip.set> not found - using default parameters
0.00/0.03 c reading problem <HOME/instance-2665487-1276395820.opb>
0.00/0.08 c original problem has 1968 variables (1968 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.00/0.08 c problem read
0.00/0.08 c presolving settings loaded
0.00/0.11 o 1968
0.00/0.11 c feasible solution found by trivial heuristic, objective value 1.968000e+03
0.00/0.11 c presolving:
0.11/0.13 c (round 1) 148 del vars, 148 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.11/0.14 c (round 2) 314 del vars, 703 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.11/0.15 c (round 3) 370 del vars, 830 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.11/0.15 c (round 4) 409 del vars, 947 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.11/0.16 c (round 5) 426 del vars, 985 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.11/0.16 c (round 6) 435 del vars, 1017 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.11/0.17 c (round 7) 438 del vars, 1027 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.11/0.17 c (round 8) 440 del vars, 1033 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.11/0.18 c (round 9) 441 del vars, 1038 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.19/0.23 c (round 10) 441 del vars, 1039 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2961 upgd conss, 7998 impls, 0 clqs
0.19/0.26 c (0.1s) probing: 101/1527 (6.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.26 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.26 c presolving (11 rounds):
0.19/0.26 c 441 deleted vars, 1039 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.26 c 7998 implications, 0 cliques
0.19/0.26 c presolved problem has 1527 variables (1527 bin, 0 int, 0 impl, 0 cont) and 2961 constraints
0.19/0.26 c 2961 constraints of type <logicor>
0.19/0.26 c transformed objective value is always integral (scale: 1)
0.19/0.26 c Presolving Time: 0.13
0.19/0.26 c - non default parameters ----------------------------------------------------------------------
0.19/0.26 c # SCIP version 1.2.1.2
0.19/0.26 c
0.19/0.26 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.26 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.26 c conflict/interconss = 0
0.19/0.26 c
0.19/0.26 c # should binary conflicts be preferred?
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c conflict/preferbinary = TRUE
0.19/0.26 c
0.19/0.26 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.26 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.26 c constraints/agelimit = 1
0.19/0.26 c
0.19/0.26 c # should enforcement of pseudo solution be disabled?
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c constraints/disableenfops = TRUE
0.19/0.26 c
0.19/0.26 c # frequency for displaying node information lines
0.19/0.26 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.26 c display/freq = 10000
0.19/0.26 c
0.19/0.26 c # maximal time in seconds to run
0.19/0.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.26 c limits/time = 1799.93
0.19/0.26 c
0.19/0.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.26 c limits/memory = 1620
0.19/0.26 c
0.19/0.26 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.26 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.26 c lp/solvefreq = 0
0.19/0.26 c
0.19/0.26 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.19/0.26 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.26 c lp/pricing = a
0.19/0.26 c
0.19/0.26 c # should presolving try to simplify inequalities
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c constraints/linear/simplifyinequalities = TRUE
0.19/0.26 c
0.19/0.26 c # should presolving try to simplify knapsacks
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.26 c
0.19/0.26 c # priority of node selection rule <dfs> in standard mode
0.19/0.26 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.26 c nodeselection/dfs/stdpriority = 1000000
0.19/0.26 c
0.19/0.26 c -----------------------------------------------------------------------------------------------
0.19/0.26 c start solving
0.19/0.27 c
0.19/0.27 o 1744
0.19/0.27 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.27 c t 0.1s| 1 | 0 | 0 | - |5814k| 0 | - |1527 |2961 | 0 | 0 | 0 | 0 | 0 | -- | 1.744000e+03 | Inf
0.19/0.28 o 1160
0.19/0.28 c b 0.1s| 1 | 0 | 0 | - |7417k| 0 | - |1527 |2961 |1527 |2961 | 0 | 0 | 0 | -- | 1.160000e+03 | Inf
0.28/0.39 c 0.2s| 1 | 0 | 1874 | - |7393k| 0 |1527 |1527 |2961 |1527 |2961 | 0 | 0 | 0 | 9.805000e+02 | 1.160000e+03 | 18.31%
0.88/0.94 c 0.8s| 1 | 0 | 2101 | - |7495k| 0 |1518 |1527 |2961 |1527 |2972 | 11 | 0 | 0 | 9.850000e+02 | 1.160000e+03 | 17.77%
1.38/1.43 c 1.3s| 1 | 0 | 2207 | - |7498k| 0 |1514 |1527 |2961 |1527 |2974 | 13 | 0 | 0 | 9.860000e+02 | 1.160000e+03 | 17.65%
1.93/2.08 c 1.9s| 1 | 0 | 2531 | - |7535k| 0 |1511 |1527 |2961 |1527 |2978 | 17 | 0 | 0 | 9.865000e+02 | 1.160000e+03 | 17.59%
2.57/2.72 c 2.5s| 1 | 0 | 2709 | - |7664k| 0 |1507 |1527 |2961 |1527 |2982 | 21 | 0 | 0 | 9.875000e+02 | 1.160000e+03 | 17.47%
3.85/4.06 c 3.7s| 1 | 0 | 3466 | - |8123k| 0 |1511 |1527 |2961 |1527 |2986 | 25 | 0 | 0 | 9.885000e+02 | 1.160000e+03 | 17.35%
4.83/5.09 c 4.7s| 1 | 0 | 4299 | - |8225k| 0 |1508 |1527 |2961 |1527 |2994 | 33 | 0 | 0 | 9.900000e+02 | 1.160000e+03 | 17.17%
6.03/6.28 c 5.9s| 1 | 0 | 5055 | - |8538k| 0 |1507 |1527 |2961 |1527 |2996 | 35 | 0 | 0 | 9.905000e+02 | 1.160000e+03 | 17.11%
7.68/7.98 c 7.5s| 1 | 0 | 5980 | - |8960k| 0 |1506 |1527 |2961 |1527 |3000 | 39 | 0 | 0 | 9.915000e+02 | 1.160000e+03 | 16.99%
9.48/9.85 c 9.3s| 1 | 0 | 7051 | - |9626k| 0 |1501 |1527 |2961 |1527 |3005 | 44 | 0 | 0 | 9.925000e+02 | 1.160000e+03 | 16.88%
10.36/10.74 c 10.2s| 1 | 0 | 7592 | - |9903k| 0 |1499 |1527 |2961 |1527 |3008 | 47 | 0 | 0 | 9.930000e+02 | 1.160000e+03 | 16.82%
11.01/11.49 c 10.8s| 1 | 0 | 8175 | - |9979k| 0 |1503 |1527 |2961 |1527 |3010 | 49 | 0 | 0 | 9.935000e+02 | 1.160000e+03 | 16.76%
12.58/13.06 c 12.4s| 1 | 0 | 9453 | - | 10M| 0 |1498 |1527 |2961 |1527 |3015 | 54 | 0 | 0 | 9.940000e+02 | 1.160000e+03 | 16.70%
14.67/15.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.67/15.24 c 14.4s| 1 | 0 | 10941 | - | 10M| 0 |1494 |1527 |2961 |1527 |3018 | 57 | 0 | 0 | 9.945000e+02 | 1.160000e+03 | 16.64%
16.21/16.94 c 15.9s| 1 | 0 | 12375 | - | 11M| 0 |1496 |1527 |2961 |1527 |3024 | 63 | 0 | 0 | 9.950000e+02 | 1.160000e+03 | 16.58%
17.96/18.80 c 17.7s| 1 | 0 | 14067 | - | 11M| 0 |1493 |1527 |2961 |1527 |3028 | 67 | 0 | 0 | 9.960000e+02 | 1.160000e+03 | 16.47%
19.06/19.81 c 18.7s| 1 | 0 | 14745 | - | 12M| 0 |1488 |1527 |2961 |1527 |3033 | 72 | 0 | 0 | 9.965938e+02 | 1.160000e+03 | 16.40%
21.11/21.98 c 20.8s| 1 | 0 | 16677 | - | 12M| 0 |1496 |1527 |2961 |1527 |3028 | 77 | 0 | 0 | 9.972000e+02 | 1.160000e+03 | 16.33%
21.99/22.81 c 21.6s| 1 | 0 | 17349 | - | 12M| 0 |1493 |1527 |2961 |1527 |3032 | 81 | 0 | 0 | 9.975400e+02 | 1.160000e+03 | 16.29%
23.23/24.18 c 22.9s| 1 | 0 | 18456 | - | 12M| 0 |1497 |1527 |2961 |1527 |3034 | 83 | 0 | 0 | 9.977973e+02 | 1.160000e+03 | 16.26%
24.95/25.95 c 24.6s| 1 | 0 | 19785 | - | 13M| 0 |1474 |1527 |2961 |1527 |3036 | 85 | 0 | 0 | 9.980000e+02 | 1.160000e+03 | 16.23%
27.26/28.34 c 26.8s| 1 | 0 | 21740 | - | 13M| 0 |1498 |1527 |2961 |1527 |3039 | 88 | 0 | 0 | 9.981329e+02 | 1.160000e+03 | 16.22%
28.43/29.55 c 28.0s| 1 | 0 | 23070 | - | 13M| 0 |1493 |1527 |2961 |1527 |3041 | 90 | 0 | 0 | 9.982701e+02 | 1.160000e+03 | 16.20%
30.38/31.56 c 29.9s| 1 | 0 | 24787 | - | 13M| 0 |1493 |1527 |2961 |1527 |3034 | 93 | 0 | 0 | 9.990000e+02 | 1.160000e+03 | 16.12%
33.70/34.97 c 33.2s| 1 | 0 | 26727 | - | 13M| 0 |1473 |1527 |2961 |1527 |3036 | 95 | 0 | 0 | 9.990000e+02 | 1.160000e+03 | 16.12%
35.96/37.20 c 35.4s| 1 | 0 | 28455 | - | 13M| 0 |1475 |1527 |2961 |1527 |3039 | 98 | 0 | 0 | 9.990000e+02 | 1.160000e+03 | 16.12%
37.86/39.22 c 37.3s| 1 | 0 | 30344 | - | 14M| 0 |1476 |1527 |2961 |1527 |3043 | 102 | 0 | 0 | 9.990000e+02 | 1.160000e+03 | 16.12%
39.34/40.80 c 38.8s| 1 | 0 | 31681 | - | 14M| 0 |1461 |1527 |2961 |1527 |3048 | 107 | 0 | 0 | 9.990000e+02 | 1.160000e+03 | 16.12%
59.87/61.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.87/61.88 c 59.1s| 1 | 2 | 31681 | - | 14M| 0 |1461 |1527 |2961 |1527 |3048 | 107 | 0 | 27 | 9.990000e+02 | 1.160000e+03 | 16.12%
64.18/66.20 c 63.3s| 10000 | 269 | 31681 | 0.0 | 15M| 280 | - |1527 |2961 | 0 | 0 | 107 | 256 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
68.36/70.36 c 67.3s| 20000 | 267 | 31681 | 0.0 | 15M| 280 | - |1527 |2961 | 0 | 0 | 107 | 393 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
72.57/74.56 c 71.3s| 30000 | 265 | 31681 | 0.0 | 15M| 281 | - |1527 |2961 | 0 | 0 | 107 | 537 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
76.76/78.73 c 75.3s| 40000 | 263 | 31681 | 0.0 | 15M| 281 | - |1527 |2961 | 0 | 0 | 107 | 651 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
80.97/82.90 c 79.3s| 50000 | 264 | 31681 | 0.0 | 15M| 281 | - |1527 |2961 | 0 | 0 | 107 | 751 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
85.07/87.09 c 83.4s| 60000 | 266 | 31681 | 0.0 | 15M| 281 | - |1527 |2961 | 0 | 0 | 107 | 867 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
89.26/91.24 c 87.4s| 70000 | 265 | 31681 | 0.0 | 15M| 281 | - |1527 |2961 | 0 | 0 | 107 | 931 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
93.36/95.38 c 91.4s| 80000 | 271 | 31681 | 0.0 | 15M| 281 | - |1527 |2961 | 0 | 0 | 107 |1007 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
97.46/99.45 c 95.3s| 90000 | 264 | 31681 | 0.0 | 15M| 281 | - |1527 |2961 | 0 | 0 | 107 |1053 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
101.56/103.56 c 99.3s|100000 | 266 | 31681 | 0.0 | 15M| 281 | - |1527 |2961 | 0 | 0 | 107 |1103 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
105.65/107.62 c 103s|110000 | 266 | 31681 | 0.0 | 15M| 281 | - |1527 |2961 | 0 | 0 | 107 |1172 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
109.66/111.66 c 107s|120000 | 265 | 31681 | 0.0 | 15M| 281 | - |1527 |2961 | 0 | 0 | 107 |1244 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
113.76/115.78 c 111s|130000 | 266 | 31681 | 0.0 | 15M| 281 | - |1527 |2961 | 0 | 0 | 107 |1320 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
117.75/119.80 c 115s|140000 | 266 | 31681 | 0.0 | 15M| 281 | - |1527 |2961 | 0 | 0 | 107 |1397 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
121.85/123.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.85/123.82 c 119s|150000 | 269 | 31681 | 0.0 | 15M| 281 | - |1527 |2961 | 0 | 0 | 107 |1455 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
125.86/127.84 c 123s|160000 | 262 | 31681 | 0.0 | 15M| 281 | - |1527 |2961 | 0 | 0 | 107 |1498 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
129.95/131.95 c 127s|170000 | 267 | 31681 | 0.0 | 15M| 281 | - |1527 |2961 | 0 | 0 | 107 |1562 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
134.05/136.05 c 131s|180000 | 267 | 31681 | 0.0 | 15M| 281 | - |1527 |2961 | 0 | 0 | 107 |1643 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
138.15/140.13 c 135s|190000 | 267 | 31681 | 0.0 | 15M| 282 | - |1527 |2961 | 0 | 0 | 107 |1723 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
142.26/144.23 c 139s|200000 | 265 | 31681 | 0.0 | 15M| 282 | - |1527 |2961 | 0 | 0 | 107 |1806 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
146.25/148.26 c 142s|210000 | 264 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |1869 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
150.35/152.33 c 146s|220000 | 265 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |1944 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
154.35/156.39 c 150s|230000 | 268 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |2019 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
158.34/160.40 c 154s|240000 | 267 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |2101 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
162.35/164.33 c 158s|250000 | 266 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |2153 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
166.45/168.41 c 162s|260000 | 265 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |2249 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
170.44/172.40 c 166s|270000 | 268 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |2315 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
174.44/176.42 c 170s|280000 | 266 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |2370 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
178.44/180.46 c 173s|290000 | 266 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |2469 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
182.54/184.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.54/184.52 c 177s|300000 | 267 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |2546 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
186.64/188.62 c 181s|310000 | 267 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |2622 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
190.73/192.77 c 185s|320000 | 268 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |2710 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
194.83/196.80 c 189s|330000 | 266 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |2764 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
198.83/200.86 c 193s|340000 | 270 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |2838 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
203.03/205.00 c 197s|350000 | 267 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |2899 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
207.03/209.03 c 201s|360000 | 268 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |2947 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
211.03/213.03 c 205s|370000 | 270 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |2999 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
215.03/217.02 c 209s|380000 | 265 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |3057 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
219.13/221.10 c 213s|390000 | 267 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |3117 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
223.12/225.11 c 217s|400000 | 267 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |3179 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
227.12/229.15 c 220s|410000 | 264 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |3233 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
231.23/233.20 c 224s|420000 | 267 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |3288 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
235.23/237.29 c 228s|430000 | 267 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |3365 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
239.42/241.45 c 232s|440000 | 264 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |3430 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
243.52/245.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
243.52/245.50 c 236s|450000 | 267 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |3503 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
247.52/249.59 c 240s|460000 | 265 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |3570 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
251.62/253.65 c 244s|470000 | 266 | 31681 | 0.0 | 15M| 283 | - |1527 |2961 | 0 | 0 | 107 |3639 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
255.72/257.70 c 248s|480000 | 265 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |3690 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
259.72/261.79 c 252s|490000 | 267 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |3765 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
263.91/265.96 c 256s|500000 | 266 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |3844 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
268.01/270.05 c 260s|510000 | 269 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |3901 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
272.12/274.12 c 264s|520000 | 264 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |3962 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
276.21/278.27 c 268s|530000 | 264 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |4014 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
280.41/282.45 c 272s|540000 | 266 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |4085 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
284.51/286.57 c 276s|550000 | 265 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |4145 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
288.71/290.75 c 280s|560000 | 263 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |4198 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
292.71/294.79 c 284s|570000 | 269 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |4263 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
296.81/298.84 c 288s|580000 | 269 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |4344 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
300.80/302.84 c 292s|590000 | 267 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |4406 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
304.91/306.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.91/306.91 c 295s|600000 | 268 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |4475 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
308.91/310.97 c 299s|610000 | 266 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |4538 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
313.00/315.09 c 303s|620000 | 266 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |4614 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
317.10/319.16 c 307s|630000 | 267 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |4685 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
321.20/323.23 c 311s|640000 | 268 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |4767 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
325.20/327.29 c 315s|650000 | 264 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |4848 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
329.29/331.31 c 319s|660000 | 266 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |4905 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
333.29/335.38 c 323s|670000 | 265 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |4966 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
337.40/339.47 c 327s|680000 | 267 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |5046 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
341.50/343.52 c 331s|690000 | 266 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |5134 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
345.50/347.58 c 335s|700000 | 268 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |5210 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
349.50/351.56 c 338s|710000 | 267 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |5280 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
353.59/355.66 c 342s|720000 | 265 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |5356 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
357.70/359.75 c 346s|730000 | 263 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |5444 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
361.79/363.88 c 350s|740000 | 265 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |5508 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
365.99/368.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
365.99/368.04 c 354s|750000 | 264 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |5590 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
370.18/372.21 c 358s|760000 | 268 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |5667 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
374.19/376.28 c 362s|770000 | 263 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |5723 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
378.28/380.36 c 366s|780000 | 263 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |5795 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
382.39/384.48 c 370s|790000 | 267 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |5863 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
386.48/388.54 c 374s|800000 | 269 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |5911 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
390.58/392.63 c 378s|810000 | 269 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |5974 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
394.67/396.70 c 382s|820000 | 266 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |6026 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
398.68/400.71 c 386s|830000 | 268 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |6070 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
402.68/404.79 c 390s|840000 | 268 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |6115 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
406.78/408.84 c 394s|850000 | 267 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |6165 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
410.78/412.87 c 398s|860000 | 267 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |6215 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
414.77/416.83 c 401s|870000 | 266 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |6258 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
418.77/420.85 c 405s|880000 | 266 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |6319 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
422.87/424.99 c 409s|890000 | 266 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |6372 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
427.08/429.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
427.08/429.11 c 413s|900000 | 262 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |6445 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
431.07/433.17 c 417s|910000 | 267 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |6497 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
435.17/437.23 c 421s|920000 | 264 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |6545 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
439.27/441.36 c 425s|930000 | 267 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |6618 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
443.36/445.42 c 429s|940000 | 265 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |6663 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
447.37/449.45 c 433s|950000 | 266 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |6704 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
451.36/453.47 c 437s|960000 | 266 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |6758 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
455.57/457.61 c 441s|970000 | 266 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |6828 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
459.66/461.74 c 445s|980000 | 266 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |6903 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
463.76/465.89 c 449s|990000 | 265 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |6965 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
467.95/470.03 c 453s| 1000k| 266 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |7045 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
472.07/474.20 c 457s| 1010k| 264 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |7110 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
476.26/478.36 c 461s| 1020k| 267 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |7189 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
480.45/482.56 c 465s| 1030k| 264 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |7265 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
484.55/486.68 c 469s| 1040k| 267 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |7323 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
488.75/490.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
488.75/490.83 c 473s| 1050k| 267 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |7384 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
492.96/495.00 c 477s| 1060k| 262 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |7441 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
497.05/499.19 c 481s| 1070k| 264 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |7520 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
501.25/503.33 c 485s| 1080k| 263 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |7584 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
505.35/507.42 c 489s| 1090k| 266 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |7646 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
509.45/511.57 c 493s| 1100k| 266 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |7701 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
513.55/515.66 c 497s| 1110k| 267 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |7751 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
517.75/519.80 c 501s| 1120k| 260 | 31681 | 0.0 | 15M| 284 | - |1527 |2961 | 0 | 0 | 107 |7799 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
521.74/523.89 c 505s| 1130k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |7863 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
525.95/528.04 c 509s| 1140k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |7949 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
530.15/532.21 c 513s| 1150k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |8026 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
534.14/536.22 c 517s| 1160k| 261 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |8066 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
538.24/540.34 c 521s| 1170k| 265 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |8119 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
542.34/544.43 c 525s| 1180k| 263 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |8177 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
546.44/548.54 c 529s| 1190k| 263 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |8216 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
550.54/552.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
550.54/552.61 c 532s| 1200k| 261 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |8253 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
554.54/556.61 c 536s| 1210k| 267 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |8343 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
558.54/560.63 c 540s| 1220k| 269 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |8407 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
562.53/564.65 c 544s| 1230k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |8480 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
566.54/568.66 c 548s| 1240k| 267 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |8543 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
570.53/572.64 c 552s| 1250k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |8616 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
574.63/576.73 c 556s| 1260k| 267 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |8686 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
578.63/580.80 c 560s| 1270k| 267 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |8770 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
582.73/584.87 c 564s| 1280k| 267 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |8845 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
586.82/588.93 c 568s| 1290k| 267 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |8910 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
590.94/593.01 c 572s| 1300k| 265 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |8978 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
594.92/597.08 c 575s| 1310k| 269 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |9083 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
599.03/601.16 c 579s| 1320k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |9177 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
603.12/605.26 c 583s| 1330k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |9260 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
607.22/609.30 c 587s| 1340k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |9331 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
611.22/613.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
611.22/613.32 c 591s| 1350k| 265 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |9403 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
615.22/617.39 c 595s| 1360k| 268 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |9510 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
619.31/621.41 c 599s| 1370k| 267 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |9583 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
623.42/625.54 c 603s| 1380k| 267 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |9691 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
627.51/629.62 c 607s| 1390k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |9777 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
631.62/633.72 c 611s| 1400k| 265 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |9856 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
635.81/637.92 c 615s| 1410k| 268 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 |9954 | 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
639.91/642.00 c 619s| 1420k| 267 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 10k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
644.01/646.16 c 623s| 1430k| 269 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 10k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
648.01/650.19 c 627s| 1440k| 265 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 10k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
652.11/654.27 c 631s| 1450k| 265 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 10k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
656.20/658.33 c 635s| 1460k| 267 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 10k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
660.21/662.33 c 638s| 1470k| 263 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 10k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
664.30/666.45 c 642s| 1480k| 264 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 10k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
668.41/670.53 c 646s| 1490k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 10k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
672.50/674.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
672.50/674.65 c 650s| 1500k| 263 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 10k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
676.61/678.77 c 654s| 1510k| 263 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 10k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
680.70/682.82 c 658s| 1520k| 264 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 10k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
684.70/686.82 c 662s| 1530k| 270 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 10k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
688.71/690.88 c 666s| 1540k| 265 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 11k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
692.90/695.03 c 670s| 1550k| 271 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 11k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
696.99/699.11 c 674s| 1560k| 265 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 11k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
700.99/703.17 c 678s| 1570k| 264 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 11k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
705.09/707.25 c 682s| 1580k| 268 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 11k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
709.10/711.30 c 686s| 1590k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 11k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
713.19/715.37 c 690s| 1600k| 265 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 11k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
717.19/719.39 c 694s| 1610k| 267 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 11k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
721.29/723.44 c 697s| 1620k| 264 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 11k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
725.39/727.50 c 701s| 1630k| 265 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 11k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
729.50/731.61 c 705s| 1640k| 265 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 11k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
733.48/735.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
733.48/735.66 c 709s| 1650k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 11k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
737.59/739.73 c 713s| 1660k| 263 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 11k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
741.69/743.87 c 717s| 1670k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 12k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
745.78/747.95 c 721s| 1680k| 261 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 12k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
749.98/752.10 c 725s| 1690k| 264 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 12k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
754.08/756.22 c 729s| 1700k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 12k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
758.18/760.32 c 733s| 1710k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 12k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
762.28/764.47 c 737s| 1720k| 265 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 12k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
766.38/768.56 c 741s| 1730k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 12k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
770.48/772.62 c 745s| 1740k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 12k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
774.48/776.68 c 749s| 1750k| 264 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 12k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
778.58/780.76 c 753s| 1760k| 261 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 12k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
782.67/784.87 c 757s| 1770k| 264 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 12k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
786.77/788.96 c 761s| 1780k| 263 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 12k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
790.87/793.07 c 765s| 1790k| 265 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 12k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
794.97/797.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
794.97/797.13 c 768s| 1800k| 263 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 12k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
799.07/801.27 c 772s| 1810k| 270 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 13k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
803.07/805.26 c 776s| 1820k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 13k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
807.17/809.33 c 780s| 1830k| 268 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 13k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
811.27/813.41 c 784s| 1840k| 267 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 13k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
815.28/817.46 c 788s| 1850k| 267 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 13k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
819.27/821.50 c 792s| 1860k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 13k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
823.36/825.52 c 796s| 1870k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 13k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
827.47/829.62 c 800s| 1880k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 13k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
831.56/833.72 c 804s| 1890k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 13k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
835.56/837.79 c 808s| 1900k| 269 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 13k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
839.66/841.85 c 812s| 1910k| 267 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 13k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
843.77/845.95 c 816s| 1920k| 263 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 14k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
847.86/850.04 c 819s| 1930k| 268 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 14k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
851.96/854.13 c 823s| 1940k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 14k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
856.05/858.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
856.05/858.24 c 827s| 1950k| 268 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 14k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
860.15/862.37 c 831s| 1960k| 269 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 14k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
864.35/866.51 c 835s| 1970k| 264 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 14k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
868.45/870.60 c 839s| 1980k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 14k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
872.55/874.73 c 843s| 1990k| 264 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 14k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
876.65/878.82 c 847s| 2000k| 267 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 14k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
880.65/882.86 c 851s| 2010k| 271 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 14k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
884.74/886.94 c 855s| 2020k| 269 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 14k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
888.75/890.99 c 859s| 2030k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 14k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
892.84/895.01 c 863s| 2040k| 265 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 14k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
896.84/899.03 c 867s| 2050k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 15k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
900.95/903.12 c 871s| 2060k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 15k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
904.95/907.16 c 875s| 2070k| 264 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 15k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
909.04/911.20 c 878s| 2080k| 268 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 15k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
913.14/915.33 c 882s| 2090k| 265 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 15k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
917.14/919.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
917.14/919.39 c 886s| 2100k| 268 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 15k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
921.24/923.49 c 890s| 2110k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 15k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
925.33/927.52 c 894s| 2120k| 268 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 15k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
929.23/931.49 c 898s| 2130k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 15k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
933.33/935.53 c 902s| 2140k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 15k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
937.34/939.54 c 906s| 2150k| 263 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 15k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
941.43/943.60 c 910s| 2160k| 264 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 15k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
945.43/947.68 c 914s| 2170k| 269 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 15k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
949.53/951.72 c 918s| 2180k| 268 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 16k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
953.53/955.71 c 921s| 2190k| 265 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 16k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
957.53/959.71 c 925s| 2200k| 268 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 16k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
961.43/963.69 c 929s| 2210k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 16k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
965.43/967.67 c 933s| 2220k| 265 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 16k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
969.43/971.68 c 937s| 2230k| 268 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 16k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
973.53/975.79 c 941s| 2240k| 264 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 16k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
977.72/979.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
977.72/979.90 c 945s| 2250k| 265 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 16k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
981.71/983.95 c 949s| 2260k| 268 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 16k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
985.73/987.96 c 953s| 2270k| 266 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 16k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
989.82/992.03 c 956s| 2280k| 263 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 16k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
993.91/996.16 c 960s| 2290k| 268 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 16k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
998.01/1000.27 c 964s| 2300k| 265 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 16k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1002.12/1004.40 c 968s| 2310k| 270 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 17k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1006.31/1008.50 c 972s| 2320k| 264 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 17k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1010.41/1012.65 c 976s| 2330k| 267 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 17k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1014.51/1016.76 c 980s| 2340k| 264 | 31681 | 0.0 | 15M| 285 | - |1527 |2961 | 0 | 0 | 107 | 17k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1018.61/1020.87 c 984s| 2350k| 262 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 17k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1022.71/1024.94 c 988s| 2360k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 17k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1026.71/1028.92 c 992s| 2370k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 17k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1030.71/1032.98 c 996s| 2380k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 17k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1034.81/1037.04 c 1000s| 2390k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 17k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1038.90/1041.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1038.90/1041.13 c 1004s| 2400k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 17k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1043.01/1045.24 c 1008s| 2410k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 17k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1047.10/1049.34 c 1012s| 2420k| 268 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 17k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1051.20/1053.49 c 1016s| 2430k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 18k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1055.40/1057.66 c 1020s| 2440k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 18k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1059.50/1061.70 c 1024s| 2450k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 18k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1063.50/1065.75 c 1028s| 2460k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 18k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1067.59/1069.89 c 1032s| 2470k| 268 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 18k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1071.69/1073.95 c 1036s| 2480k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 18k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1075.80/1078.06 c 1039s| 2490k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 18k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1079.80/1082.06 c 1043s| 2500k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 18k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1083.89/1086.11 c 1047s| 2510k| 262 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 18k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1087.90/1090.18 c 1051s| 2520k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 18k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1091.79/1094.08 c 1055s| 2530k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 18k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1095.89/1098.12 c 1059s| 2540k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 18k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1099.89/1102.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1099.89/1102.15 c 1063s| 2550k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 18k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1103.89/1106.17 c 1067s| 2560k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 19k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1107.99/1110.23 c 1070s| 2570k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 19k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1112.09/1114.37 c 1074s| 2580k| 268 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 19k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1116.28/1118.54 c 1078s| 2590k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 19k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1120.38/1122.66 c 1082s| 2600k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 19k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1124.58/1126.81 c 1086s| 2610k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 19k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1128.59/1130.90 c 1090s| 2620k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 19k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1132.68/1134.96 c 1094s| 2630k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 19k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1136.68/1138.99 c 1098s| 2640k| 269 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 19k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1140.78/1143.09 c 1102s| 2650k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 19k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1144.97/1147.20 c 1106s| 2660k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 19k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1148.98/1151.24 c 1110s| 2670k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 19k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1153.07/1155.37 c 1114s| 2680k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 19k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1157.27/1159.50 c 1118s| 2690k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 19k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1161.37/1163.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1161.37/1163.64 c 1122s| 2700k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 20k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1165.46/1167.77 c 1126s| 2710k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 20k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1169.66/1171.97 c 1130s| 2720k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 20k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1173.78/1176.07 c 1134s| 2730k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 20k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1177.86/1180.18 c 1138s| 2740k| 268 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 20k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1181.96/1184.29 c 1142s| 2750k| 268 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 20k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1186.06/1188.35 c 1146s| 2760k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 20k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1190.17/1192.43 c 1150s| 2770k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 20k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1194.26/1196.56 c 1154s| 2780k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 20k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1198.36/1200.65 c 1158s| 2790k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 20k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1202.46/1204.71 c 1162s| 2800k| 269 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 20k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1206.56/1208.86 c 1166s| 2810k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 20k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1210.66/1212.99 c 1170s| 2820k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 20k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1214.85/1217.11 c 1174s| 2830k| 270 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 21k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1218.95/1221.20 c 1178s| 2840k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 21k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1222.95/1225.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1222.95/1225.29 c 1182s| 2850k| 268 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 21k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1227.15/1229.44 c 1186s| 2860k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 21k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1231.25/1233.57 c 1190s| 2870k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 21k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1235.36/1237.69 c 1193s| 2880k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 21k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1239.45/1241.70 c 1197s| 2890k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 21k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1243.45/1245.77 c 1201s| 2900k| 268 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 21k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1247.64/1249.90 c 1205s| 2910k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 21k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1251.65/1253.95 c 1209s| 2920k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 21k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1255.65/1257.98 c 1213s| 2930k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 21k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1259.84/1262.10 c 1217s| 2940k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 21k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1263.74/1266.09 c 1221s| 2950k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 21k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1267.84/1270.18 c 1225s| 2960k| 268 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 21k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1271.94/1274.29 c 1229s| 2970k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 21k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1275.94/1278.29 c 1233s| 2980k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 21k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1280.04/1282.39 c 1237s| 2990k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 22k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1284.24/1286.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1284.24/1286.50 c 1241s| 3000k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 22k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1288.34/1290.64 c 1245s| 3010k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 22k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1292.44/1294.75 c 1249s| 3020k| 269 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 22k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1296.54/1298.89 c 1253s| 3030k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 22k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1300.64/1302.93 c 1256s| 3040k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 22k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1304.54/1306.89 c 1260s| 3050k| 269 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 22k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1308.63/1310.97 c 1264s| 3060k| 268 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 22k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1312.73/1315.05 c 1268s| 3070k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 22k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1316.93/1319.22 c 1272s| 3080k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 22k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1321.03/1323.35 c 1276s| 3090k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 22k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1325.13/1327.48 c 1280s| 3100k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 22k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1329.12/1331.48 c 1284s| 3110k| 263 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 22k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1333.23/1335.56 c 1288s| 3120k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 22k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1337.43/1339.74 c 1292s| 3130k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 22k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1341.52/1343.89 c 1296s| 3140k| 260 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 23k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1345.71/1348.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1345.71/1348.02 c 1300s| 3150k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 23k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1349.82/1352.17 c 1304s| 3160k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 23k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1353.91/1356.27 c 1308s| 3170k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 23k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1358.01/1360.36 c 1312s| 3180k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 23k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1362.11/1364.41 c 1316s| 3190k| 263 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 23k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1366.22/1368.55 c 1320s| 3200k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 23k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1370.32/1372.66 c 1324s| 3210k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 23k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1374.41/1376.77 c 1328s| 3220k| 268 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 23k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1378.51/1380.84 c 1332s| 3230k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 23k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1382.51/1384.80 c 1336s| 3240k| 262 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 23k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1386.61/1388.92 c 1340s| 3250k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 23k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1390.70/1393.05 c 1343s| 3260k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 24k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1394.82/1397.16 c 1347s| 3270k| 261 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 24k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1398.90/1401.28 c 1351s| 3280k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 24k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1403.00/1405.34 c 1355s| 3290k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 24k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1407.11/1409.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1407.11/1409.46 c 1359s| 3300k| 263 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 24k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1411.21/1413.59 c 1363s| 3310k| 263 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 24k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1415.40/1417.78 c 1367s| 3320k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 24k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1419.60/1421.92 c 1371s| 3330k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 24k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1423.70/1426.06 c 1375s| 3340k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 24k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1427.80/1430.11 c 1379s| 3350k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 24k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1431.79/1434.15 c 1383s| 3360k| 263 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 24k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1435.89/1438.23 c 1387s| 3370k| 263 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 24k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1440.00/1442.31 c 1391s| 3380k| 262 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 24k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1444.20/1446.54 c 1395s| 3390k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 25k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1448.29/1450.67 c 1399s| 3400k| 268 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 25k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1452.39/1454.78 c 1403s| 3410k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 25k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1456.59/1458.91 c 1407s| 3420k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 25k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1460.70/1463.03 c 1411s| 3430k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 25k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1464.79/1467.16 c 1415s| 3440k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 25k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1468.98/1471.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1468.98/1471.32 c 1419s| 3450k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 25k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1473.19/1475.52 c 1423s| 3460k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 25k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1477.29/1479.63 c 1427s| 3470k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 25k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1481.48/1483.80 c 1431s| 3480k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 25k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1485.68/1488.00 c 1435s| 3490k| 269 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 25k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1489.68/1492.06 c 1439s| 3500k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 26k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1493.87/1496.21 c 1443s| 3510k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 26k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1497.98/1500.31 c 1447s| 3520k| 269 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 26k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1502.08/1504.50 c 1451s| 3530k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 26k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1506.27/1508.66 c 1455s| 3540k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 26k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1510.38/1512.79 c 1459s| 3550k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 26k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1514.58/1516.91 c 1463s| 3560k| 263 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 26k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1518.67/1521.05 c 1467s| 3570k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 26k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1522.77/1525.12 c 1471s| 3580k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 26k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1526.87/1529.23 c 1475s| 3590k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 26k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1530.97/1533.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1530.97/1533.33 c 1479s| 3600k| 263 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 26k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1535.17/1537.51 c 1483s| 3610k| 269 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 26k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1539.37/1541.72 c 1487s| 3620k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 26k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1543.46/1545.88 c 1491s| 3630k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 26k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1547.67/1550.03 c 1495s| 3640k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 27k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1551.87/1554.22 c 1499s| 3650k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 27k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1556.06/1558.40 c 1503s| 3660k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 27k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1560.16/1562.57 c 1507s| 3670k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 27k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1564.36/1566.74 c 1511s| 3680k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 27k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1568.57/1570.92 c 1515s| 3690k| 261 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 27k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1572.66/1575.02 c 1519s| 3700k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 27k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1576.76/1579.15 c 1523s| 3710k| 269 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 27k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1580.86/1583.27 c 1527s| 3720k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 27k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1585.06/1587.44 c 1531s| 3730k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 27k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1589.25/1591.61 c 1535s| 3740k| 262 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 27k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1593.35/1595.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1593.35/1595.78 c 1539s| 3750k| 268 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 27k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1597.55/1599.94 c 1543s| 3760k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 27k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1601.75/1604.12 c 1547s| 3770k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 27k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1605.86/1608.28 c 1551s| 3780k| 263 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 27k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1610.05/1612.43 c 1555s| 3790k| 263 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 28k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1614.15/1616.59 c 1559s| 3800k| 269 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 28k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1618.34/1620.72 c 1563s| 3810k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 28k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1622.45/1624.84 c 1567s| 3820k| 263 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 28k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1626.55/1628.94 c 1571s| 3830k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 28k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1630.64/1633.06 c 1575s| 3840k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 28k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1634.74/1637.14 c 1579s| 3850k| 263 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 28k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1638.84/1641.29 c 1583s| 3860k| 268 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 28k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1642.94/1645.39 c 1587s| 3870k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 28k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1647.14/1649.50 c 1591s| 3880k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 28k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1651.23/1653.60 c 1595s| 3890k| 263 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 28k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1655.34/1657.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1655.34/1657.74 c 1599s| 3900k| 270 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 28k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1659.23/1661.63 c 1602s| 3910k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 28k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1663.14/1665.56 c 1606s| 3920k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 28k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1667.13/1669.50 c 1610s| 3930k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 28k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1671.03/1673.43 c 1614s| 3940k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 28k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1674.93/1677.38 c 1618s| 3950k| 262 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 28k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1678.93/1681.34 c 1622s| 3960k| 262 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 28k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1683.03/1685.42 c 1625s| 3970k| 262 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 28k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1687.03/1689.47 c 1629s| 3980k| 269 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 28k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1691.13/1693.58 c 1633s| 3990k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 29k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1695.23/1697.63 c 1637s| 4000k| 271 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 29k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1699.33/1701.73 c 1641s| 4010k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 29k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1703.42/1705.86 c 1645s| 4020k| 268 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 29k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1707.62/1710.04 c 1649s| 4030k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 29k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1711.81/1714.21 c 1653s| 4040k| 270 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 29k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1715.92/1718.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1715.92/1718.34 c 1657s| 4050k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 29k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1720.01/1722.46 c 1661s| 4060k| 268 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 29k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1724.22/1726.60 c 1665s| 4070k| 268 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 30k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1728.31/1730.75 c 1669s| 4080k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 30k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1732.42/1734.88 c 1673s| 4090k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 30k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1736.61/1739.00 c 1677s| 4100k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 30k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1740.61/1743.05 c 1681s| 4110k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 30k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1744.61/1747.07 c 1685s| 4120k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 30k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1748.71/1751.14 c 1689s| 4130k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 30k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1752.80/1755.23 c 1693s| 4140k| 263 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 30k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1756.91/1759.31 c 1697s| 4150k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 30k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1760.91/1763.39 c 1701s| 4160k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 31k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1765.00/1767.43 c 1705s| 4170k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 31k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1769.11/1771.53 c 1709s| 4180k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 31k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1773.20/1775.65 c 1713s| 4190k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 31k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1777.30/1779.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1777.30/1779.70 c 1716s| 4200k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 31k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1781.40/1783.85 c 1720s| 4210k| 267 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 31k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1785.50/1787.97 c 1724s| 4220k| 265 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 31k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1789.70/1792.16 c 1728s| 4230k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 31k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1793.80/1796.24 c 1732s| 4240k| 264 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 31k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1797.99/1800.40 c 1736s| 4250k| 266 | 31681 | 0.0 | 15M| 286 | - |1527 |2961 | 0 | 0 | 107 | 32k| 27 | 1.000000e+03 | 1.160000e+03 | 16.00%
1800.01/1802.40 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1802.40 c
1800.01/1802.40 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1802.40 c Solving Time (sec) : 1738.40
1800.01/1802.40 c Solving Nodes : 4254882
1800.01/1802.40 c Primal Bound : +1.16000000000000e+03 (26 solutions)
1800.01/1802.40 c Dual Bound : +1.00000000000000e+03
1800.01/1802.40 c Gap : 16.00 %
1800.01/1802.41 s SATISFIABLE
1800.01/1802.41 v x1968 -x1967 x1966 -x1965 -x1964 x1963 x1962 x1961 x1960 x1959 -x1958 x1957 -x1956 x1955 x1954 x1953 x1952 x1951 x1950 -x1949 x1948
1800.01/1802.41 v -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 x1933 x1932 x1931 x1930
1800.01/1802.41 v x1929 x1928 -x1927 x1926 x1925 x1924 x1923 x1922 -x1921 -x1920 -x1919 -x1918 x1917 x1916 -x1915 x1914 x1913 x1912 -x1911 x1910
1800.01/1802.41 v x1909 x1908 x1907 x1906 -x1905 -x1904 x1903 -x1902 x1901 -x1900 x1899 -x1898 -x1897 -x1896 x1895 -x1894 x1893 -x1892 -x1891
1800.01/1802.41 v x1890 -x1889 x1888 x1887 x1886 -x1885 x1884 x1883 x1882 -x1881 x1880 x1879 -x1878 -x1877 -x1876 -x1875 x1874 x1873 x1872 x1871
1800.01/1802.41 v x1870 x1869 x1868 -x1867 x1866 -x1865 x1864 x1863 -x1862 x1861 x1860 -x1859 x1858 x1857 -x1856 -x1855 -x1854 x1853 x1852
1800.01/1802.41 v -x1851 -x1850 x1849 -x1848 -x1847 -x1846 x1845 x1844 x1843 x1842 -x1841 -x1840 x1839 -x1838 -x1837 -x1836 x1835 -x1834 -x1833
1800.01/1802.41 v -x1832 -x1831 x1830 -x1829 x1828 x1827 x1826 x1825 x1824 x1823 x1822 -x1821 -x1820 x1819 x1818 x1817 x1816 -x1815 x1814 x1813
1800.01/1802.41 v x1812 x1811 x1810 x1809 x1808 x1807 x1806 -x1805 x1804 -x1803 x1802 x1801 x1800 -x1799 x1798 -x1797 -x1796 -x1795 x1794 x1793
1800.01/1802.41 v x1792 x1791 x1790 x1789 x1788 x1787 x1786 x1785 x1784 x1783 x1782 x1781 x1780 x1779 x1778 x1777 x1776 x1775 -x1774 x1773 x1772
1800.01/1802.41 v x1771 x1770 x1769 x1768 -x1767 x1766 -x1765 -x1764 -x1763 x1762 x1761 -x1760 x1759 -x1758 x1757 x1756 -x1755 x1754 x1753
1800.01/1802.41 v x1752 -x1751 -x1750 x1749 -x1748 x1747 x1746 x1745 x1744 x1743 x1742 -x1741 x1740 -x1739 x1738 -x1737 x1736 x1735 x1734 x1733
1800.01/1802.41 v x1732 x1731 -x1730 x1729 -x1728 x1727 x1726 -x1725 x1724 -x1723 -x1722 x1721 x1720 -x1719 -x1718 x1717 x1716 x1715 x1714 -x1713
1800.01/1802.41 v x1712 -x1711 -x1710 -x1709 x1708 x1707 x1706 -x1705 -x1704 x1703 -x1702 x1701 -x1700 -x1699 -x1698 -x1697 x1696 -x1695 x1694
1800.01/1802.41 v -x1693 -x1692 -x1691 x1690 -x1689 -x1688 x1687 -x1686 -x1685 x1684 x1683 -x1682 -x1681 -x1680 x1679 x1678 x1677 -x1676 x1675
1800.01/1802.41 v x1674 -x1673 -x1672 x1671 x1670 x1669 x1668 x1667 x1666 -x1665 -x1664 -x1663 x1662 x1661 x1660 -x1659 x1658 x1657 x1656
1800.01/1802.41 v x1655 -x1654 -x1653 x1652 x1651 x1650 x1649 -x1648 -x1647 x1646 x1645 x1644 x1643 -x1642 x1641 x1640 x1639 x1638 -x1637 x1636
1800.01/1802.41 v -x1635 -x1634 -x1633 -x1632 -x1631 x1630 x1629 -x1628 -x1627 -x1626 x1625 x1624 -x1623 -x1622 x1621 -x1620 -x1619 x1618 x1617
1800.01/1802.41 v x1616 -x1615 x1614 x1613 x1612 x1611 x1610 x1609 x1608 x1607 x1606 x1605 x1604 x1603 -x1602 x1601 x1600 -x1599 -x1598 x1597
1800.01/1802.41 v x1596 x1595 x1594 x1593 x1592 x1591 -x1590 -x1589 -x1588 x1587 -x1586 -x1585 -x1584 -x1583 x1582 -x1581 -x1580 -x1579 -x1578
1800.01/1802.41 v -x1577 -x1576 x1575 -x1574 x1573 x1572 -x1571 -x1570 x1569 -x1568 x1567 x1566 -x1565 -x1564 x1563 x1562 x1561 x1560 x1559 x1558
1800.01/1802.41 v x1557 x1556 -x1555 -x1554 -x1553 x1552 -x1551 -x1550 x1549 x1548 x1547 x1546 x1545 x1544 -x1543 x1542 x1541 -x1540 -x1539
1800.01/1802.41 v -x1538 x1537 -x1536 x1535 x1534 -x1533 x1532 -x1531 -x1530 x1529 -x1528 -x1527 x1526 x1525 x1524 x1523 -x1522 -x1521 x1520 -x1519
1800.01/1802.41 v x1518 x1517 x1516 -x1515 -x1514 x1513 x1512 -x1511 -x1510 x1509 -x1508 x1507 x1506 x1505 x1504 x1503 x1502 x1501 -x1500
1800.01/1802.41 v -x1499 x1498 x1497 x1496 x1495 -x1494 x1493 -x1492 -x1491 -x1490 x1489 x1488 x1487 -x1486 -x1485 x1484 x1483 x1482 -x1481 x1480
1800.01/1802.41 v x1479 x1478 x1477 x1476 x1475 -x1474 x1473 -x1472 x1471 x1470 x1469 -x1468 x1467 x1466 x1465 x1464 x1463 x1462 x1461 x1460
1800.01/1802.41 v -x1459 -x1458 x1457 x1456 x1455 -x1454 x1453 x1452 x1451 x1450 x1449 x1448 x1447 x1446 x1445 x1444 x1443 x1442 x1441 -x1440
1800.01/1802.41 v x1439 x1438 x1437 x1436 x1435 x1434 -x1433 x1432 -x1431 x1430 -x1429 -x1428 -x1427 x1426 x1425 x1424 x1423 x1422 x1421 x1420
1800.01/1802.41 v x1419 x1418 x1417 -x1416 x1415 -x1414 x1413 x1412 x1411 -x1410 x1409 x1408 x1407 x1406 -x1405 x1404 x1403 x1402 x1401 x1400
1800.01/1802.41 v x1399 x1398 x1397 x1396 -x1395 x1394 x1393 x1392 x1391 -x1390 x1389 -x1388 x1387 -x1386 x1385 x1384 x1383 -x1382 x1381 x1380
1800.01/1802.41 v x1379 x1378 -x1377 x1376 x1375 x1374 x1373 x1372 -x1371 -x1370 x1369 -x1368 x1367 -x1366 x1365 x1364 x1363 x1362 -x1361 x1360
1800.01/1802.41 v -x1359 x1358 x1357 -x1356 x1355 x1354 x1353 x1352 x1351 x1350 x1349 x1348 x1347 x1346 x1345 x1344 x1343 -x1342 -x1341 -x1340
1800.01/1802.41 v x1339 x1338 x1337 -x1336 x1335 x1334 x1333 x1332 x1331 x1330 -x1329 -x1328 -x1327 -x1326 x1325 x1324 x1323 -x1322 x1321 -x1320
1800.01/1802.41 v -x1319 x1318 -x1317 x1316 x1315 x1314 -x1313 x1312 x1311 x1310 x1309 x1308 -x1307 x1306 x1305 x1304 x1303 -x1302 x1301 x1300
1800.01/1802.41 v -x1299 -x1298 -x1297 x1296 -x1295 x1294 x1293 -x1292 -x1291 x1290 -x1289 x1288 x1287 x1286 -x1285 x1284 x1283 x1282 x1281
1800.01/1802.41 v x1280 x1279 x1278 x1277 x1276 x1275 x1274 x1273 x1272 x1271 x1270 x1269 x1268 x1267 -x1266 x1265 -x1264 x1263 x1262 -x1261 -x1260
1800.01/1802.41 v -x1259 x1258 x1257 x1256 x1255 -x1254 x1253 -x1252 x1251 x1250 x1249 x1248 -x1247 x1246 x1245 x1244 x1243 x1242 x1241 -x1240
1800.01/1802.41 v x1239 x1238 x1237 x1236 x1235 -x1234 -x1233 -x1232 -x1231 x1230 -x1229 x1228 x1227 x1226 x1225 x1224 x1223 -x1222 x1221
1800.01/1802.41 v x1220 x1219 x1218 -x1217 x1216 x1215 -x1214 x1213 x1212 -x1211 x1210 x1209 x1208 x1207 x1206 x1205 -x1204 x1203 -x1202 x1201
1800.01/1802.41 v x1200 x1199 x1198 x1197 x1196 x1195 x1194 -x1193 -x1192 -x1191 x1190 x1189 x1188 -x1187 x1186 -x1185 x1184 -x1183 x1182 x1181
1800.01/1802.41 v x1180 x1179 x1178 x1177 x1176 x1175 x1174 -x1173 x1172 -x1171 x1170 x1169 x1168 -x1167 -x1166 x1165 x1164 x1163 x1162 x1161
1800.01/1802.41 v x1160 x1159 -x1158 x1157 -x1156 -x1155 -x1154 x1153 x1152 x1151 x1150 x1149 x1148 -x1147 -x1146 x1145 x1144 x1143 x1142 -x1141
1800.01/1802.41 v x1140 x1139 x1138 x1137 -x1136 -x1135 x1134 -x1133 x1132 x1131 x1130 -x1129 x1128 -x1127 x1126 x1125 x1124 x1123 x1122 x1121
1800.01/1802.41 v x1120 x1119 x1118 x1117 x1116 -x1115 x1114 x1113 x1112 x1111 -x1110 x1109 x1108 x1107 x1106 x1105 x1104 x1103 -x1102 -x1101
1800.01/1802.41 v x1100 -x1099 x1098 -x1097 x1096 x1095 x1094 -x1093 x1092 -x1091 x1090 x1089 x1088 -x1087 -x1086 x1085 x1084 x1083 x1082 x1081
1800.01/1802.41 v x1080 x1079 x1078 -x1077 x1076 x1075 x1074 -x1073 -x1072 x1071 x1070 x1069 x1068 -x1067 x1066 x1065 -x1064 x1063 -x1062 -x1061
1800.01/1802.41 v x1060 x1059 x1058 x1057 x1056 -x1055 x1054 x1053 x1052 x1051 -x1050 x1049 -x1048 x1047 x1046 x1045 -x1044 -x1043 x1042 -x1041
1800.01/1802.41 v -x1040 x1039 x1038 x1037 x1036 -x1035 x1034 x1033 x1032 -x1031 x1030 -x1029 x1028 -x1027 x1026 x1025 -x1024 -x1023 x1022
1800.01/1802.41 v x1021 x1020 x1019 -x1018 x1017 -x1016 x1015 x1014 -x1013 -x1012 x1011 x1010 -x1009 x1008 -x1007 x1006 x1005 x1004 x1003 -x1002
1800.01/1802.41 v x1001 x1000 x999 x998 x997 -x996 -x995 x994 x993 x992 x991 x990 x989 -x988 x987 x986 x985 x984 x983 x982 -x981 -x980 x979
1800.01/1802.41 v -x978 x977 x976 x975 x974 x973 x972 x971 -x970 -x969 -x968 x967 x966 x965 x964 -x963 x962 -x961 x960 x959 -x958 x957 -x956 x955
1800.01/1802.41 v -x954 x953 x952 x951 x950 x949 -x948 x947 x946 -x945 x944 -x943 -x942 x941 -x940 x939 x938 x937 x936 x935 x934 -x933 -x932
1800.01/1802.41 v x931 x930 -x929 -x928 -x927 x926 x925 x924 x923 x922 x921 -x920 -x919 x918 x917 x916 x915 x914 -x913 x912 x911 -x910 x909 x908
1800.01/1802.41 v -x907 x906 x905 x904 -x903 -x902 x901 x900 x899 x898 -x897 -x896 x895 x894 x893 x892 -x891 x890 x889 -x888 x887 x886 x885
1800.01/1802.41 v -x884 x883 x882 x881 x880 x879 x878 x877 -x876 -x875 -x874 -x873 x872 x871 x870 x869 x868 x867 -x866 -x865 x864 x863 x862 x861
1800.01/1802.41 v x860 x859 x858 x857 x856 x855 -x854 -x853 x852 x851 x850 x849 x848 x847 -x846 -x845 x844 -x843 x842 x841 x840 -x839 x838 x837
1800.01/1802.41 v -x836 -x835 x834 -x833 x832 -x831 x830 x829 -x828 x827 -x826 -x825 x824 x823 -x822 -x821 -x820 -x819 -x818 x817 -x816 x815
1800.01/1802.41 v x814 -x813 -x812 x811 x810 x809 x808 x807 -x806 -x805 x804 x803 x802 x801 -x800 x799 x798 x797 x796 x795 -x794 -x793 x792 x791
1800.01/1802.41 v x790 -x789 x788 x787 x786 x785 x784 -x783 -x782 -x781 x780 -x779 x778 -x777 x776 -x775 -x774 x773 x772 x771 -x770 -x769 x768
1800.01/1802.41 v x767 -x766 x765 -x764 -x763 x762 -x761 x760 x759 x758 x757 x756 -x755 x754 x753 x752 x751 -x750 x749 x748 -x747 -x746 x745
1800.01/1802.41 v -x744 x743 -x742 -x741 -x740 -x739 x738 -x737 -x736 -x735 x734 x733 x732 x731 x730 x729 -x728 x727 -x726 -x725 -x724 -x723 x722
1800.01/1802.41 v -x721 x720 x719 -x718 -x717 -x716 x715 x714 -x713 -x712 x711 x710 x709 x708 x707 x706 x705 x704 x703 x702 x701 -x700 x699
1800.01/1802.41 v -x698 x697 -x696 -x695 x694 -x693 x692 -x691 x690 x689 -x688 -x687 x686 x685 x684 x683 x682 -x681 -x680 -x679 -x678 x677 -x676
1800.01/1802.41 v -x675 x674 x673 x672 x671 -x670 x669 -x668 x667 x666 x665 x664 x663 x662 -x661 x660 -x659 -x658 x657 -x656 -x655 -x654 x653
1800.01/1802.41 v x652 x651 x650 -x649 -x648 x647 x646 x645 x644 x643 x642 x641 x640 x639 x638 x637 x636 x635 -x634 x633 x632 x631 -x630 x629
1800.01/1802.41 v -x628 x627 -x626 x625 x624 x623 x622 x621 x620 -x619 -x618 x617 -x616 x615 x614 x613 x612 x611 x610 -x609 x608 x607 -x606 x605
1800.01/1802.41 v x604 -x603 x602 -x601 x600 x599 x598 x597 x596 -x595 -x594 x593 -x592 -x591 -x590 -x589 x588 -x587 -x586 -x585 -x584 x583
1800.01/1802.41 v x582 x581 x580 x579 -x578 x577 x576 x575 x574 x573 x572 x571 -x570 x569 x568 x567 x566 x565 x564 x563 -x562 x561 x560 x559 x558
1800.01/1802.41 v -x557 x556 x555 x554 x553 x552 x551 -x550 x549 x548 x547 -x546 x545 -x544 -x543 -x542 x541 x540 x539 -x538 x537 -x536 x535
1800.01/1802.41 v -x534 x533 -x532 -x531 x530 -x529 -x528 x527 x526 -x525 x524 -x523 x522 x521 -x520 -x519 x518 -x517 x516 x515 -x514 x513 x512
1800.01/1802.41 v x511 x510 x509 x508 x507 -x506 x505 x504 -x503 -x502 x501 x500 x499 -x498 -x497 -x496 -x495 x494 x493 x492 -x491 -x490 -x489
1800.01/1802.41 v -x488 x487 x486 x485 x484 x483 -x482 x481 x480 x479 x478 -x477 -x476 x475 -x474 x473 -x472 -x471 x470 -x469 -x468 -x467 x466
1800.01/1802.41 v x465 x464 -x463 x462 x461 x460 x459 -x458 x457 x456 -x455 -x454 x453 -x452 -x451 x450 -x449 x448 x447 x446 -x445 -x444 -x443
1800.01/1802.41 v x442 x441 x440 x439 x438 -x437 x436 x435 x434 x433 x432 x431 x430 x429 -x428 -x427 x426 x425 -x424 x423 -x422 -x421 -x420 x419
1800.01/1802.41 v x418 -x417 x416 -x415 x414 x413 x412 x411 x410 x409 x408 -x407 -x406 x405 x404 x403 -x402 -x401 -x400 x399 x398 x397 x396
1800.01/1802.41 v x395 x394 x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 x385 -x384 -x383 -x382 -x381 x380 -x379 x378 x377 x376 x375 x374 -x373
1800.01/1802.41 v -x372 x371 -x370 -x369 x368 x367 -x366 -x365 -x364 -x363 x362 -x361 -x360 -x359 -x358 x357 -x356 x355 -x354 x353 x352 -x351
1800.01/1802.41 v -x350 -x349 -x348 -x347 x346 -x345 x344 -x343 -x342 x341 -x340 -x339 -x338 -x337 -x336 x335 -x334 x333 x332 x331 -x330 -x329
1800.01/1802.41 v -x328 -x327 -x326 x325 -x324 x323 -x322 x321 -x320 x319 -x318 x317 x316 x315 x314 x313 x312 x311 -x310 x309 x308 x307 -x306
1800.01/1802.41 v -x305 -x304 x303 -x302 -x301 -x300 x299 x298 x297 x296 x295 -x294 x293 x292 -x291 x290 -x289 -x288 -x287 x286 -x285 -x284 -x283
1800.01/1802.41 v -x282 -x281 -x280 x279 -x278 -x277 -x276 x275 -x274 x273 -x272 -x271 -x270 x269 -x268 -x267 x266 x265 -x264 x263 -x262 -x261
1800.01/1802.41 v -x260 -x259 x258 x257 x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 -x248 -x247 -x246 x245 -x244 -x243 x242 x241 -x240 -x239
1800.01/1802.41 v x238 -x237 x236 -x235 -x234 -x233 x232 -x231 x230 -x229 x228 x227 -x226 x225 x224 x223 x222 -x221 -x220 -x219 -x218 -x217
1800.01/1802.41 v -x216 -x215 -x214 x213 x212 x211 x210 x209 -x208 x207 -x206 x205 -x204 x203 x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 x194
1800.01/1802.41 v -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 x177 -x176 -x175 -x174 x173
1800.01/1802.41 v -x172 x171 -x170 -x169 -x168 x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 x159 x158 -x157 -x156 -x155 x154 x153 x152 -x151 -x150
1800.01/1802.41 v x149 -x148 x147 -x146 -x145 -x144 x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129
1800.01/1802.41 v -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108
1800.01/1802.41 v -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84
1800.01/1802.41 v x83 -x82 -x81 -x80 x79 -x78 -x77 x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 x59 -x58
1800.01/1802.41 v x57 x56 -x55 -x54 x53 -x52 x51 x50 x49 x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 x35 -x34 x33 -x32 -x31 -x30
1800.01/1802.41 v -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 x21 -x20 -x19 -x18 -x17 x16 x15 x14 -x13 -x12 x11 -x10 -x9 x8 -x7 -x6 x5 -x4 -x3 -x2
1800.01/1802.41 v -x1
1800.01/1802.41 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1802.41 c Solving Time : 1738.40
1800.01/1802.41 c Original Problem :
1800.01/1802.41 c Problem name : HOME/instance-2665487-1276395820.opb
1800.01/1802.41 c Variables : 1968 (1968 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1802.41 c Constraints : 4000 initial, 4000 maximal
1800.01/1802.41 c Presolved Problem :
1800.01/1802.41 c Problem name : t_HOME/instance-2665487-1276395820.opb
1800.01/1802.41 c Variables : 1527 (1527 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1802.41 c Constraints : 2961 initial, 2961 maximal
1800.01/1802.41 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1802.41 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1802.41 c dualfix : 0.00 214 0 0 0 0 0 0 0
1800.01/1802.41 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1802.41 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1802.41 c implics : 0.01 0 0 0 0 0 0 0 0
1800.01/1802.41 c probing : 0.02 0 0 0 0 0 0 0 0
1800.01/1802.41 c linear : 0.05 0 227 0 0 0 1039 0 0
1800.01/1802.41 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.01/1802.41 c root node : - 0 - - 0 - - - -
1800.01/1802.41 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1802.41 c integral : 0 0 0 1 0 0 0 0 0 2
1800.01/1802.41 c logicor : 2961+ 28 4674805 0 0 32141 24214360 0 0 0
1800.01/1802.41 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1802.41 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1802.41 c integral : 18.92 0.00 0.00 18.92 0.00
1800.01/1802.41 c logicor : 123.10 0.01 123.09 0.00 0.00
1800.01/1802.41 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1802.41 c Propagators : Time Calls Cutoffs DomReds
1800.01/1802.41 c vbounds : 4.77 2 0 0
1800.01/1802.41 c rootredcost : 3.77 0 0 0
1800.01/1802.41 c pseudoobj : 1137.97 7882388 2099868 38060718
1800.01/1802.41 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1802.41 c propagation : 50.82 32141 32141 32141 259.9 0 0.0 -
1800.01/1802.41 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1802.41 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1802.41 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1802.41 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1802.41 c applied globally : - - - 0 0.0 - - -
1800.01/1802.41 c applied locally : - - - 32141 259.9 - - -
1800.01/1802.41 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1802.41 c cut pool : 0.04 27 - - 23 - (maximal pool size: 444)
1800.01/1802.41 c redcost : 0.00 28 0 0 0 0
1800.01/1802.41 c impliedbounds : 0.02 28 0 0 0 0
1800.01/1802.41 c intobj : 0.00 0 0 0 0 0
1800.01/1802.41 c cgmip : 0.00 0 0 0 0 0
1800.01/1802.41 c gomory : 5.59 28 0 0 13198 0
1800.01/1802.41 c strongcg : 2.20 20 0 0 10000 0
1800.01/1802.41 c cmir : 0.25 10 0 0 0 0
1800.01/1802.41 c flowcover : 0.16 10 0 0 0 0
1800.01/1802.41 c clique : 0.01 28 0 0 8 0
1800.01/1802.41 c zerohalf : 0.00 0 0 0 0 0
1800.01/1802.41 c mcf : 0.03 1 0 0 0 0
1800.01/1802.41 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1802.41 c Pricers : Time Calls Vars
1800.01/1802.41 c problem variables: 0.00 0 0
1800.01/1802.41 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1802.41 c relpscost : 18.92 1 0 0 0 0 2
1800.01/1802.41 c pscost : 0.00 0 0 0 0 0 0
1800.01/1802.41 c inference : 192.72 2133843 0 0 0 0 4267686
1800.01/1802.41 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1802.41 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1802.41 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1802.41 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1802.41 c random : 0.00 0 0 0 0 0 0
1800.01/1802.41 c Primal Heuristics : Time Calls Found
1800.01/1802.41 c LP solutions : 0.00 - 0
1800.01/1802.41 c pseudo solutions : 0.00 - 0
1800.01/1802.41 c crossover : 0.00 0 0
1800.01/1802.41 c oneopt : 2.50 2 1
1800.01/1802.41 c trivial : 0.00 2 3
1800.01/1802.41 c simplerounding : 0.01 28 21
1800.01/1802.41 c zirounding : 0.01 1 1
1800.01/1802.41 c rounding : 3.89 28 0
1800.01/1802.41 c shifting : 3.84 28 0
1800.01/1802.41 c intshifting : 0.00 0 0
1800.01/1802.41 c twoopt : 0.00 0 0
1800.01/1802.41 c fixandinfer : 0.00 0 0
1800.01/1802.41 c feaspump : 0.00 0 0
1800.01/1802.41 c coefdiving : 0.00 0 0
1800.01/1802.41 c pscostdiving : 0.00 0 0
1800.01/1802.41 c fracdiving : 0.00 0 0
1800.01/1802.41 c veclendiving : 0.00 0 0
1800.01/1802.41 c intdiving : 0.00 0 0
1800.01/1802.41 c actconsdiving : 0.00 0 0
1800.01/1802.41 c objpscostdiving : 0.00 0 0
1800.01/1802.41 c rootsoldiving : 0.00 0 0
1800.01/1802.41 c linesearchdiving : 0.00 0 0
1800.01/1802.41 c guideddiving : 0.00 0 0
1800.01/1802.41 c octane : 0.00 0 0
1800.01/1802.41 c rens : 0.00 0 0
1800.01/1802.41 c rins : 0.00 0 0
1800.01/1802.41 c localbranching : 0.00 0 0
1800.01/1802.41 c mutation : 0.00 0 0
1800.01/1802.41 c dins : 0.00 0 0
1800.01/1802.41 c undercover : 0.00 0 0
1800.01/1802.41 c nlp : 2.67 0 0
1800.01/1802.41 c trysol : 1.97 0 0
1800.01/1802.41 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1802.41 c primal LP : 0.02 0 0 0.00 0.00
1800.01/1802.41 c dual LP : 23.65 28 31681 1131.46 1339.58
1800.01/1802.41 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1802.41 c barrier LP : 0.00 0 0 0.00 -
1800.01/1802.41 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1802.41 c strong branching : 18.91 27 24567 909.89 1299.15
1800.01/1802.41 c (at root node) : - 27 24567 909.89 -
1800.01/1802.41 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1802.41 c B&B Tree :
1800.01/1802.41 c number of runs : 1
1800.01/1802.41 c nodes : 4254882
1800.01/1802.41 c nodes (total) : 4254882
1800.01/1802.41 c nodes left : 266
1800.01/1802.41 c max depth : 286
1800.01/1802.41 c max depth (total): 286
1800.01/1802.41 c backtracks : 1096887 (25.8%)
1800.01/1802.41 c delayed cutoffs : 12541
1800.01/1802.41 c repropagations : 16130 (295503 domain reductions, 10971 cutoffs)
1800.01/1802.41 c avg switch length: 2.00
1800.01/1802.41 c switching time : 97.24
1800.01/1802.41 c Solution :
1800.01/1802.41 c Solutions found : 26 (3 improvements)
1800.01/1802.41 c First Solution : +1.96800000000000e+03 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.01/1802.41 c Primal Bound : +1.16000000000000e+03 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <oneopt>)
1800.01/1802.41 c Dual Bound : +1.00000000000000e+03
1800.01/1802.41 c Gap : 16.00 %
1800.01/1802.41 c Root Dual Bound : +9.99000000000001e+02
1800.01/1802.41 c Root Iterations : 31681
1800.01/1802.45 c Time complete: 1800.05.