0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665485-1276389325.opb>
0.00/0.08 c original problem has 1963 variables (1963 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.09/0.10 o 1963
0.09/0.10 c feasible solution found by trivial heuristic, objective value 1.963000e+03
0.09/0.10 c presolving:
0.09/0.13 c (round 1) 161 del vars, 161 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.14 c (round 2) 321 del vars, 730 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.14 c (round 3) 366 del vars, 838 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.15 c (round 4) 404 del vars, 954 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.16 c (round 5) 424 del vars, 1000 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.16 c (round 6) 435 del vars, 1032 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.17 c (round 7) 439 del vars, 1045 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.19/0.21 c (round 8) 439 del vars, 1046 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2954 upgd conss, 7998 impls, 0 clqs
0.19/0.25 c (0.1s) probing: 101/1524 (6.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.25 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.25 c presolving (9 rounds):
0.19/0.25 c 439 deleted vars, 1046 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.25 c 7998 implications, 0 cliques
0.19/0.25 c presolved problem has 1524 variables (1524 bin, 0 int, 0 impl, 0 cont) and 2954 constraints
0.19/0.25 c 2954 constraints of type <logicor>
0.19/0.25 c transformed objective value is always integral (scale: 1)
0.19/0.25 c Presolving Time: 0.13
0.19/0.25 c - non default parameters ----------------------------------------------------------------------
0.19/0.25 c # SCIP version 1.2.1.2
0.19/0.25 c
0.19/0.25 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.25 c conflict/interconss = 0
0.19/0.25 c
0.19/0.25 c # should binary conflicts be preferred?
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c conflict/preferbinary = TRUE
0.19/0.25 c
0.19/0.25 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.25 c constraints/agelimit = 1
0.19/0.25 c
0.19/0.25 c # should enforcement of pseudo solution be disabled?
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/disableenfops = TRUE
0.19/0.25 c
0.19/0.25 c # frequency for displaying node information lines
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.25 c display/freq = 10000
0.19/0.25 c
0.19/0.25 c # maximal time in seconds to run
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/time = 1799.93
0.19/0.25 c
0.19/0.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/memory = 1620
0.19/0.25 c
0.19/0.25 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.25 c lp/solvefreq = 0
0.19/0.25 c
0.19/0.25 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.25 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.25 c lp/pricing = a
0.19/0.25 c
0.19/0.25 c # should presolving try to simplify inequalities
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/linear/simplifyinequalities = TRUE
0.19/0.25 c
0.19/0.25 c # should presolving try to simplify knapsacks
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.25 c
0.19/0.25 c # priority of node selection rule <dfs> in standard mode
0.19/0.25 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.25 c nodeselection/dfs/stdpriority = 1000000
0.19/0.25 c
0.19/0.25 c -----------------------------------------------------------------------------------------------
0.19/0.25 c start solving
0.19/0.25 c
0.19/0.26 o 1741
0.19/0.26 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.26 c t 0.1s| 1 | 0 | 0 | - |5804k| 0 | - |1524 |2954 | 0 | 0 | 0 | 0 | 0 | -- | 1.741000e+03 | Inf
0.19/0.27 o 1169
0.19/0.27 c b 0.1s| 1 | 0 | 0 | - |7405k| 0 | - |1524 |2954 |1524 |2954 | 0 | 0 | 0 | -- | 1.169000e+03 | Inf
0.29/0.38 c 0.3s| 1 | 0 | 1902 | - |7381k| 0 |1524 |1524 |2954 |1524 |2954 | 0 | 0 | 0 | 9.790000e+02 | 1.169000e+03 | 19.41%
0.89/0.95 c 0.8s| 1 | 0 | 2247 | - |7482k| 0 |1509 |1524 |2954 |1524 |2967 | 13 | 0 | 0 | 9.855000e+02 | 1.169000e+03 | 18.62%
1.39/1.40 c 1.3s| 1 | 0 | 2318 | - |7512k| 0 |1505 |1524 |2954 |1524 |2971 | 17 | 0 | 0 | 9.865000e+02 | 1.169000e+03 | 18.50%
1.79/1.83 c 1.7s| 1 | 0 | 2342 | - |7539k| 0 |1504 |1524 |2954 |1524 |2973 | 19 | 0 | 0 | 9.870000e+02 | 1.169000e+03 | 18.44%
2.49/2.50 c 2.4s| 1 | 0 | 2535 | - |7552k| 0 |1500 |1524 |2954 |1524 |2975 | 21 | 0 | 0 | 9.870000e+02 | 1.169000e+03 | 18.44%
2.99/3.05 c 2.9s| 1 | 0 | 2800 | - |7588k| 0 |1494 |1524 |2954 |1524 |2978 | 24 | 0 | 0 | 9.880000e+02 | 1.169000e+03 | 18.32%
3.79/3.83 c 3.7s| 1 | 0 | 3314 | - |7670k| 0 |1489 |1524 |2954 |1524 |2983 | 29 | 0 | 0 | 9.885000e+02 | 1.169000e+03 | 18.26%
5.40/5.43 c 5.2s| 1 | 0 | 4287 | - |8961k| 0 |1493 |1524 |2954 |1524 |2985 | 31 | 0 | 0 | 9.890000e+02 | 1.169000e+03 | 18.20%
6.69/6.77 c 6.6s| 1 | 0 | 5403 | - |9710k| 0 |1505 |1524 |2954 |1524 |2992 | 38 | 0 | 0 | 9.902500e+02 | 1.169000e+03 | 18.05%
8.09/8.19 c 8.0s| 1 | 0 | 6731 | - |9802k| 0 |1474 |1524 |2954 |1524 |2998 | 44 | 0 | 0 | 9.910000e+02 | 1.169000e+03 | 17.96%
10.29/10.36 c 10.1s| 1 | 0 | 8574 | - | 10M| 0 |1481 |1524 |2954 |1524 |3002 | 48 | 0 | 0 | 9.915000e+02 | 1.169000e+03 | 17.90%
11.09/11.14 c 10.9s| 1 | 0 | 8967 | - | 10M| 0 |1491 |1524 |2954 |1524 |3004 | 50 | 0 | 0 | 9.918500e+02 | 1.169000e+03 | 17.86%
11.89/11.97 c 11.7s| 1 | 0 | 9646 | - | 11M| 0 |1481 |1524 |2954 |1524 |3009 | 55 | 0 | 0 | 9.925000e+02 | 1.169000e+03 | 17.78%
12.79/12.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.79/12.89 c 12.6s| 1 | 0 | 10341 | - | 11M| 0 |1478 |1524 |2954 |1524 |3011 | 57 | 0 | 0 | 9.927500e+02 | 1.169000e+03 | 17.75%
13.49/13.54 c 13.3s| 1 | 0 | 10744 | - | 11M| 0 |1478 |1524 |2954 |1524 |3017 | 63 | 0 | 0 | 9.932500e+02 | 1.169000e+03 | 17.69%
14.99/15.03 c 14.7s| 1 | 0 | 12098 | - | 11M| 0 |1479 |1524 |2954 |1524 |3022 | 68 | 0 | 0 | 9.942500e+02 | 1.169000e+03 | 17.58%
16.79/16.87 c 16.5s| 1 | 0 | 13611 | - | 11M| 0 |1470 |1524 |2954 |1524 |3026 | 72 | 0 | 0 | 9.950000e+02 | 1.169000e+03 | 17.49%
20.38/20.40 c 20.1s| 1 | 0 | 15337 | - | 12M| 0 |1470 |1524 |2954 |1524 |3025 | 76 | 0 | 0 | 9.960000e+02 | 1.169000e+03 | 17.37%
22.08/22.11 c 21.7s| 1 | 0 | 16795 | - | 13M| 0 |1479 |1524 |2954 |1524 |3029 | 80 | 0 | 0 | 9.965000e+02 | 1.169000e+03 | 17.31%
23.59/23.64 c 23.2s| 1 | 0 | 17963 | - | 13M| 0 |1478 |1524 |2954 |1524 |3032 | 83 | 0 | 0 | 9.970000e+02 | 1.169000e+03 | 17.25%
25.39/25.49 c 25.1s| 1 | 0 | 19578 | - | 13M| 0 |1489 |1524 |2954 |1524 |3035 | 86 | 0 | 0 | 9.970000e+02 | 1.169000e+03 | 17.25%
39.77/39.86 c 39.3s| 1 | 2 | 19578 | - | 13M| 0 |1489 |1524 |2954 |1524 |3035 | 86 | 0 | 17 | 9.970000e+02 | 1.169000e+03 | 17.25%
44.28/44.37 c 43.6s| 10000 | 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 468 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
48.17/48.26 c 47.4s| 20000 | 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 532 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
52.08/52.15 c 51.1s| 30000 | 270 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 604 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
55.88/55.94 c 54.7s| 40000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 652 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
59.78/59.82 c 58.5s| 50000 | 272 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 734 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
63.68/63.78 c 62.3s| 60000 | 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 866 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
67.67/67.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.67/67.74 c 66.1s| 70000 | 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 987 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
71.57/71.63 c 69.8s| 80000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |1068 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
75.47/75.53 c 73.6s| 90000 | 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |1154 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
79.37/79.45 c 77.4s|100000 | 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |1241 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
83.27/83.40 c 81.2s|110000 | 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |1328 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
87.27/87.36 c 85.0s|120000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |1432 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
91.17/91.23 c 88.7s|130000 | 273 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |1528 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
95.06/95.15 c 92.5s|140000 | 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |1610 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
98.97/99.08 c 96.3s|150000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |1687 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
102.86/102.98 c 100s|160000 | 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |1752 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
106.86/106.94 c 104s|170000 | 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |1842 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
110.66/110.79 c 108s|180000 | 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |1905 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
114.56/114.66 c 111s|190000 | 271 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |1966 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
118.36/118.49 c 115s|200000 | 271 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |2019 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
122.25/122.34 c 119s|210000 | 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |2065 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
126.06/126.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.06/126.16 c 122s|220000 | 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |2117 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
129.95/130.04 c 126s|230000 | 271 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |2172 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
133.75/133.84 c 130s|240000 | 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |2253 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
137.65/137.71 c 133s|250000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |2329 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
141.45/141.53 c 137s|260000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |2381 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
145.25/145.36 c 141s|270000 | 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |2448 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
149.05/149.15 c 144s|280000 | 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |2503 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
152.95/153.05 c 148s|290000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |2598 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
156.85/156.93 c 152s|300000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |2671 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
160.74/160.89 c 156s|310000 | 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |2766 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
164.65/164.70 c 159s|320000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |2830 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
168.45/168.55 c 163s|330000 | 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |2897 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
172.35/172.47 c 167s|340000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |2988 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
176.35/176.40 c 171s|350000 | 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |3071 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
180.14/180.29 c 174s|360000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |3142 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
184.04/184.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
184.04/184.15 c 178s|370000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |3227 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
187.94/188.08 c 182s|380000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |3318 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
191.84/191.92 c 186s|390000 | 270 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |3373 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
195.65/195.79 c 189s|400000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |3448 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
199.54/199.70 c 193s|410000 | 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |3502 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
203.34/203.42 c 197s|420000 | 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |3542 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
207.03/207.19 c 200s|430000 | 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |3582 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
210.83/210.97 c 204s|440000 | 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |3632 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
214.63/214.78 c 208s|450000 | 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |3680 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
218.43/218.56 c 211s|460000 | 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |3720 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
222.14/222.29 c 215s|470000 | 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |3749 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
226.13/226.22 c 219s|480000 | 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |3838 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
230.03/230.10 c 222s|490000 | 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |3917 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
233.82/233.96 c 226s|500000 | 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |3988 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
237.73/237.84 c 230s|510000 | 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |4053 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
241.63/241.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.63/241.72 c 234s|520000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |4112 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
245.43/245.58 c 237s|530000 | 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |4192 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
249.33/249.45 c 241s|540000 | 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |4245 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
253.23/253.36 c 245s|550000 | 270 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |4324 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
257.02/257.20 c 248s|560000 | 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |4407 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
260.82/260.95 c 252s|570000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |4466 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
264.72/264.88 c 256s|580000 | 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |4566 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
268.72/268.80 c 260s|590000 | 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |4633 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
272.62/272.73 c 263s|600000 | 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |4701 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
276.61/276.76 c 267s|610000 | 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |4840 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
280.52/280.64 c 271s|620000 | 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |4907 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
284.42/284.57 c 275s|630000 | 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |5005 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
288.32/288.43 c 279s|640000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |5086 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
292.21/292.33 c 282s|650000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |5168 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
296.02/296.18 c 286s|660000 | 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |5221 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
299.91/300.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
299.91/300.04 c 290s|670000 | 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |5277 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
303.71/303.88 c 293s|680000 | 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |5324 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
307.61/307.76 c 297s|690000 | 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |5399 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
311.50/311.60 c 301s|700000 | 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |5463 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
315.31/315.45 c 305s|710000 | 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |5524 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
319.20/319.39 c 308s|720000 | 270 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |5600 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
323.01/323.17 c 312s|730000 | 271 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |5677 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
326.80/326.97 c 316s|740000 | 271 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |5754 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
330.60/330.78 c 319s|750000 | 272 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |5832 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
334.50/334.63 c 323s|760000 | 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |5900 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
338.30/338.47 c 327s|770000 | 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |5949 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
342.10/342.22 c 330s|780000 | 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |5995 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
345.90/346.03 c 334s|790000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |6063 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
349.70/349.84 c 338s|800000 | 270 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |6121 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
353.50/353.67 c 341s|810000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |6181 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
357.41/357.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
357.41/357.51 c 345s|820000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |6238 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
361.09/361.28 c 349s|830000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |6291 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
364.89/365.09 c 352s|840000 | 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |6344 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
368.79/368.95 c 356s|850000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |6416 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
372.60/372.79 c 360s|860000 | 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |6476 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
376.49/376.63 c 363s|870000 | 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |6533 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
380.40/380.56 c 367s|880000 | 270 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |6673 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
384.29/384.43 c 371s|890000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |6760 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
388.20/388.32 c 375s|900000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |6846 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
392.08/392.21 c 379s|910000 | 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |6926 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
395.89/396.06 c 382s|920000 | 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |7010 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
399.78/399.92 c 386s|930000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |7091 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
403.68/403.84 c 390s|940000 | 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |7181 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
407.58/407.74 c 393s|950000 | 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |7267 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
411.38/411.55 c 397s|960000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |7334 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
415.18/415.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
415.18/415.34 c 401s|970000 | 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |7406 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
419.19/419.30 c 405s|980000 | 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |7504 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
422.98/423.15 c 408s|990000 | 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |7574 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
426.98/427.10 c 412s| 1000k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |7666 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
430.78/430.93 c 416s| 1010k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |7731 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
434.58/434.72 c 419s| 1020k| 270 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |7784 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
438.37/438.54 c 423s| 1030k| 271 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |7847 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
442.18/442.37 c 427s| 1040k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |7911 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
446.08/446.20 c 430s| 1050k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |7974 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
449.87/450.00 c 434s| 1060k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |8026 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
453.68/453.88 c 438s| 1070k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |8105 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
457.48/457.68 c 442s| 1080k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |8152 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
461.37/461.53 c 445s| 1090k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |8204 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
465.18/465.34 c 449s| 1100k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |8253 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
468.97/469.16 c 453s| 1110k| 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |8319 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
472.87/473.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
472.87/473.05 c 456s| 1120k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |8377 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
476.67/476.80 c 460s| 1130k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |8418 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
480.48/480.62 c 464s| 1140k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |8490 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
484.26/484.44 c 467s| 1150k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |8546 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
488.17/488.32 c 471s| 1160k| 270 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |8633 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
491.86/492.07 c 475s| 1170k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |8683 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
495.66/495.88 c 478s| 1180k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |8746 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
499.46/499.70 c 482s| 1190k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |8806 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
503.36/503.56 c 486s| 1200k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |8870 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
507.26/507.45 c 489s| 1210k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |8931 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
511.16/511.34 c 493s| 1220k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |9003 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
515.06/515.20 c 497s| 1230k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |9064 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
518.96/519.18 c 501s| 1240k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |9156 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
522.85/523.06 c 505s| 1250k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |9218 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
526.85/527.02 c 508s| 1260k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |9328 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
530.85/531.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
530.85/531.01 c 512s| 1270k| 263 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |9414 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
534.75/534.92 c 516s| 1280k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |9501 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
538.65/538.85 c 520s| 1290k| 270 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |9583 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
542.55/542.76 c 523s| 1300k| 270 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |9673 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
546.35/546.58 c 527s| 1310k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |9763 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
550.25/550.49 c 531s| 1320k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |9846 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
554.15/554.33 c 535s| 1330k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |9900 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
558.05/558.26 c 538s| 1340k| 270 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 |9980 | 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
561.95/562.18 c 542s| 1350k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 10k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
565.95/566.16 c 546s| 1360k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 10k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
569.84/570.02 c 550s| 1370k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 10k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
573.64/573.87 c 553s| 1380k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 10k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
577.64/577.81 c 557s| 1390k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 10k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
581.43/581.63 c 561s| 1400k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 10k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
585.24/585.47 c 565s| 1410k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 10k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
589.04/589.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
589.04/589.29 c 568s| 1420k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 10k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
592.84/593.09 c 572s| 1430k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 10k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
596.74/596.96 c 576s| 1440k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 10k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
600.63/600.80 c 579s| 1450k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 10k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
604.53/604.74 c 583s| 1460k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 10k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
608.33/608.58 c 587s| 1470k| 259 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 10k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
612.33/612.53 c 591s| 1480k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 10k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
616.13/616.39 c 594s| 1490k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 11k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
620.03/620.21 c 598s| 1500k| 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 11k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
623.93/624.16 c 602s| 1510k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 11k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
627.73/627.96 c 605s| 1520k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 11k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
631.63/631.86 c 609s| 1530k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 11k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
635.42/635.69 c 613s| 1540k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 11k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
639.22/639.45 c 617s| 1550k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 11k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
643.02/643.29 c 620s| 1560k| 270 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 11k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
646.93/647.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
646.93/647.12 c 624s| 1570k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 11k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
650.72/650.90 c 628s| 1580k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 11k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
654.43/654.68 c 631s| 1590k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 11k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
658.22/658.43 c 635s| 1600k| 263 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 12k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
662.03/662.28 c 639s| 1610k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 12k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
665.82/666.03 c 642s| 1620k| 262 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 12k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
669.72/669.93 c 646s| 1630k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 12k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
673.62/673.85 c 650s| 1640k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 12k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
677.52/677.76 c 653s| 1650k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 12k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
681.51/681.70 c 657s| 1660k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 12k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
685.42/685.66 c 661s| 1670k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 12k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
689.42/689.62 c 665s| 1680k| 262 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 12k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
693.31/693.53 c 669s| 1690k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 12k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
697.11/697.33 c 672s| 1700k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 12k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
700.91/701.18 c 676s| 1710k| 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 13k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
704.71/704.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
704.71/704.93 c 680s| 1720k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 13k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
708.40/708.66 c 683s| 1730k| 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 13k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
712.21/712.45 c 687s| 1740k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 13k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
716.11/716.35 c 691s| 1750k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 13k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
719.91/720.19 c 694s| 1760k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 13k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
723.81/724.09 c 698s| 1770k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 13k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
727.71/727.99 c 702s| 1780k| 263 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 13k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
731.60/731.89 c 706s| 1790k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 13k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
735.61/735.82 c 709s| 1800k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 13k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
739.40/739.68 c 713s| 1810k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 13k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
743.20/743.45 c 717s| 1820k| 270 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 13k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
746.90/747.19 c 720s| 1830k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 13k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
750.70/750.99 c 724s| 1840k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 14k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
754.60/754.83 c 728s| 1850k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 14k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
758.50/758.71 c 731s| 1860k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 14k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
762.20/762.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
762.20/762.48 c 735s| 1870k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 14k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
766.09/766.30 c 739s| 1880k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 14k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
769.80/770.05 c 742s| 1890k| 262 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 14k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
773.59/773.84 c 746s| 1900k| 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 14k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
777.29/777.57 c 749s| 1910k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 14k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
781.09/781.32 c 753s| 1920k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 14k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
784.89/785.12 c 757s| 1930k| 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 14k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
788.68/788.96 c 760s| 1940k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 14k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
792.48/792.72 c 764s| 1950k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 14k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
796.09/796.37 c 768s| 1960k| 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 14k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
799.89/800.10 c 771s| 1970k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 14k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
803.58/803.81 c 775s| 1980k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 14k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
807.28/807.55 c 778s| 1990k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 15k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
811.28/811.57 c 782s| 2000k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 15k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
815.18/815.41 c 786s| 2010k| 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 15k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
818.98/819.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
818.98/819.20 c 789s| 2020k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 15k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
822.78/823.01 c 793s| 2030k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 15k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
826.58/826.84 c 797s| 2040k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 15k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
830.38/830.61 c 800s| 2050k| 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 15k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
834.17/834.41 c 804s| 2060k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 15k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
837.98/838.27 c 808s| 2070k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 15k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
841.78/842.05 c 811s| 2080k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 15k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
845.58/845.84 c 815s| 2090k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 15k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
849.47/849.72 c 819s| 2100k| 271 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 15k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
853.17/853.46 c 822s| 2110k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 15k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
856.97/857.29 c 826s| 2120k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 15k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
860.77/861.06 c 830s| 2130k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 16k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
864.57/864.86 c 833s| 2140k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 16k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
868.37/868.67 c 837s| 2150k| 270 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 16k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
872.37/872.60 c 841s| 2160k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 16k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
876.26/876.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
876.26/876.51 c 845s| 2170k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 16k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
880.06/880.34 c 848s| 2180k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 16k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
883.86/884.15 c 852s| 2190k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 16k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
887.76/888.00 c 856s| 2200k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 16k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
891.66/891.94 c 860s| 2210k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 16k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
895.46/895.73 c 863s| 2220k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 16k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
899.16/899.47 c 867s| 2230k| 262 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 16k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
903.06/903.36 c 871s| 2240k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 16k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
907.06/907.31 c 874s| 2250k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 17k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
910.86/911.15 c 878s| 2260k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 17k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
914.75/915.01 c 882s| 2270k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 17k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
918.45/918.80 c 885s| 2280k| 270 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 17k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
922.26/922.57 c 889s| 2290k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 17k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
926.15/926.41 c 893s| 2300k| 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 17k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
930.05/930.31 c 896s| 2310k| 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 17k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
933.85/934.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
933.85/934.13 c 900s| 2320k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 17k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
937.65/937.94 c 904s| 2330k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 17k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
941.45/941.75 c 907s| 2340k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 17k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
945.34/945.60 c 911s| 2350k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 17k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
949.15/949.48 c 915s| 2360k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 17k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
953.05/953.38 c 919s| 2370k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 17k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
956.85/957.13 c 922s| 2380k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 17k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
960.54/960.89 c 926s| 2390k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 17k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
964.35/964.69 c 930s| 2400k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 18k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
968.04/968.39 c 933s| 2410k| 263 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 18k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
971.94/972.21 c 937s| 2420k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 18k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
975.74/976.02 c 940s| 2430k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 18k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
979.54/979.83 c 944s| 2440k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 18k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
983.33/983.69 c 948s| 2450k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 18k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
987.24/987.52 c 952s| 2460k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 18k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
991.14/991.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
991.14/991.42 c 955s| 2470k| 263 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 18k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
995.04/995.31 c 959s| 2480k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 18k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
998.83/999.11 c 963s| 2490k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 18k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1002.63/1002.92 c 966s| 2500k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 18k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1006.43/1006.72 c 970s| 2510k| 263 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 18k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1010.24/1010.51 c 974s| 2520k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 18k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1014.03/1014.32 c 977s| 2530k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 18k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1017.83/1018.13 c 981s| 2540k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 18k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1021.54/1021.90 c 985s| 2550k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 19k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1025.33/1025.67 c 988s| 2560k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 19k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1029.12/1029.43 c 992s| 2570k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 19k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1033.03/1033.30 c 996s| 2580k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 19k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1036.73/1037.08 c 999s| 2590k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 19k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1040.52/1040.82 c 1003s| 2600k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 19k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1044.22/1044.58 c 1006s| 2610k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 19k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1048.12/1048.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1048.12/1048.42 c 1010s| 2620k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 19k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1051.92/1052.29 c 1014s| 2630k| 263 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 19k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1055.82/1056.18 c 1018s| 2640k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 19k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1059.72/1060.07 c 1021s| 2650k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 19k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1063.52/1063.86 c 1025s| 2660k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 19k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1067.32/1067.61 c 1029s| 2670k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 19k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1071.12/1071.42 c 1032s| 2680k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 19k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1074.92/1075.21 c 1036s| 2690k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 20k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1078.72/1079.00 c 1040s| 2700k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 20k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1082.52/1082.81 c 1043s| 2710k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 20k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1086.22/1086.58 c 1047s| 2720k| 262 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 20k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1090.01/1090.37 c 1051s| 2730k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 20k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1093.81/1094.19 c 1054s| 2740k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 20k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1097.71/1098.08 c 1058s| 2750k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 20k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1101.51/1101.83 c 1062s| 2760k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 20k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1105.31/1105.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1105.31/1105.60 c 1065s| 2770k| 262 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 20k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1109.01/1109.33 c 1069s| 2780k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 20k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1112.82/1113.12 c 1073s| 2790k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 20k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1116.60/1116.92 c 1076s| 2800k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 20k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1120.51/1120.86 c 1080s| 2810k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 20k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1124.40/1124.78 c 1084s| 2820k| 262 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 20k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1128.21/1128.52 c 1087s| 2830k| 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 21k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1131.90/1132.28 c 1091s| 2840k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 21k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1135.70/1136.01 c 1095s| 2850k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 21k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1139.40/1139.78 c 1098s| 2860k| 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 21k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1143.10/1143.49 c 1102s| 2870k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 21k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1146.90/1147.20 c 1105s| 2880k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 21k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1150.59/1150.94 c 1109s| 2890k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 21k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1154.30/1154.69 c 1113s| 2900k| 262 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 21k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1158.10/1158.44 c 1116s| 2910k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 21k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1161.79/1162.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1161.79/1162.15 c 1120s| 2920k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 21k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1165.60/1165.94 c 1123s| 2930k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 21k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1169.29/1169.69 c 1127s| 2940k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 21k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1172.99/1173.38 c 1131s| 2950k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 21k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1176.79/1177.12 c 1134s| 2960k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 21k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1180.59/1180.95 c 1138s| 2970k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 21k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1184.40/1184.74 c 1142s| 2980k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 21k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1188.18/1188.52 c 1145s| 2990k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 21k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1191.99/1192.35 c 1149s| 3000k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 21k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1195.79/1196.16 c 1152s| 3010k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 21k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1199.70/1200.03 c 1156s| 3020k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 22k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1203.49/1203.85 c 1160s| 3030k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 22k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1207.28/1207.66 c 1164s| 3040k| 263 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 22k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1211.18/1211.52 c 1167s| 3050k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 22k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1214.98/1215.35 c 1171s| 3060k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 22k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1218.68/1219.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1218.68/1219.09 c 1175s| 3070k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 22k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1222.48/1222.88 c 1178s| 3080k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 22k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1226.37/1226.78 c 1182s| 3090k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 22k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1230.18/1230.55 c 1186s| 3100k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 22k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1233.98/1234.36 c 1189s| 3110k| 263 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 22k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1237.77/1238.14 c 1193s| 3120k| 263 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 22k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1241.67/1242.05 c 1197s| 3130k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 22k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1245.48/1245.81 c 1200s| 3140k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 22k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1249.27/1249.61 c 1204s| 3150k| 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 22k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1252.97/1253.33 c 1208s| 3160k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 22k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1256.77/1257.12 c 1211s| 3170k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 22k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1260.47/1260.88 c 1215s| 3180k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 23k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1264.27/1264.65 c 1218s| 3190k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 23k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1268.07/1268.49 c 1222s| 3200k| 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 23k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1271.86/1272.29 c 1226s| 3210k| 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 23k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1275.77/1276.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1275.77/1276.13 c 1229s| 3220k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 23k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1279.66/1280.08 c 1233s| 3230k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 23k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1283.66/1284.02 c 1237s| 3240k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 23k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1287.56/1287.97 c 1241s| 3250k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 23k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1291.46/1291.85 c 1245s| 3260k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 23k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1295.37/1295.77 c 1248s| 3270k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 23k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1299.26/1299.63 c 1252s| 3280k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 23k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1303.16/1303.52 c 1256s| 3290k| 270 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 23k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1307.05/1307.45 c 1260s| 3300k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 23k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1311.06/1311.42 c 1263s| 3310k| 261 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 24k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1314.96/1315.37 c 1267s| 3320k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 24k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1318.85/1319.23 c 1271s| 3330k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 24k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1322.75/1323.13 c 1275s| 3340k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 24k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1326.76/1327.13 c 1279s| 3350k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 24k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1330.56/1330.95 c 1282s| 3360k| 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 24k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1334.45/1334.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1334.45/1334.86 c 1286s| 3370k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 24k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1338.36/1338.74 c 1290s| 3380k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 24k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1342.25/1342.64 c 1293s| 3390k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 24k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1346.05/1346.45 c 1297s| 3400k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 24k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1349.85/1350.26 c 1301s| 3410k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 24k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1353.65/1354.05 c 1304s| 3420k| 262 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 24k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1357.55/1357.90 c 1308s| 3430k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 25k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1361.35/1361.75 c 1312s| 3440k| 263 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 25k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1365.14/1365.57 c 1316s| 3450k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 25k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1368.94/1369.39 c 1319s| 3460k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 25k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1372.84/1373.21 c 1323s| 3470k| 263 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 25k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1376.54/1376.94 c 1326s| 3480k| 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 25k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1380.44/1380.81 c 1330s| 3490k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 25k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1384.24/1384.64 c 1334s| 3500k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 25k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1388.04/1388.48 c 1338s| 3510k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 25k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1392.03/1392.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1392.03/1392.40 c 1341s| 3520k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 25k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1395.84/1396.25 c 1345s| 3530k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 25k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1399.73/1400.12 c 1349s| 3540k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 25k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1403.63/1404.08 c 1353s| 3550k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 25k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1407.54/1407.97 c 1356s| 3560k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 25k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1411.43/1411.85 c 1360s| 3570k| 262 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 25k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1415.33/1415.71 c 1364s| 3580k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 26k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1419.13/1419.59 c 1368s| 3590k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 26k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1423.03/1423.49 c 1371s| 3600k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 26k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1426.92/1427.32 c 1375s| 3610k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 26k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1430.73/1431.19 c 1379s| 3620k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 26k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1434.63/1435.06 c 1382s| 3630k| 263 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 26k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1438.53/1438.95 c 1386s| 3640k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 26k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1442.32/1442.78 c 1390s| 3650k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 26k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1446.13/1446.57 c 1393s| 3660k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 26k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1449.92/1450.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1449.92/1450.36 c 1397s| 3670k| 261 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 26k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1453.73/1454.17 c 1401s| 3680k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 26k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1457.52/1457.99 c 1404s| 3690k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 26k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1461.42/1461.82 c 1408s| 3700k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 26k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1465.32/1465.71 c 1412s| 3710k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 26k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1469.02/1469.45 c 1415s| 3720k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 27k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1472.82/1473.23 c 1419s| 3730k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 27k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1476.71/1477.14 c 1423s| 3740k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 27k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1480.61/1481.02 c 1427s| 3750k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 27k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1484.42/1484.86 c 1430s| 3760k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 27k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1488.31/1488.75 c 1434s| 3770k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 27k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1492.21/1492.65 c 1438s| 3780k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 27k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1496.11/1496.58 c 1442s| 3790k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 27k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1500.02/1500.41 c 1445s| 3800k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 27k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1503.80/1504.21 c 1449s| 3810k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 27k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1507.61/1508.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1507.61/1508.03 c 1453s| 3820k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 27k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1511.41/1511.82 c 1456s| 3830k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 27k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1515.32/1515.70 c 1460s| 3840k| 263 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 28k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1519.10/1519.58 c 1464s| 3850k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 28k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1523.01/1523.43 c 1467s| 3860k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 28k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1526.80/1527.22 c 1471s| 3870k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 28k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1530.50/1530.97 c 1475s| 3880k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 28k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1534.20/1534.68 c 1478s| 3890k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 28k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1538.08/1538.52 c 1482s| 3900k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 28k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1541.87/1542.30 c 1486s| 3910k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 28k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1545.67/1546.19 c 1489s| 3920k| 261 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 28k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1549.48/1549.99 c 1493s| 3930k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 28k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1553.27/1553.79 c 1497s| 3940k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 28k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1557.08/1557.52 c 1500s| 3950k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 28k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1560.77/1561.26 c 1504s| 3960k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 28k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1564.66/1565.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1564.66/1565.11 c 1508s| 3970k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 28k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1568.47/1568.90 c 1511s| 3980k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 29k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1572.27/1572.77 c 1515s| 3990k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 29k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1576.17/1576.62 c 1519s| 4000k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 29k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1579.97/1580.49 c 1522s| 4010k| 263 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 29k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1583.96/1584.43 c 1526s| 4020k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 29k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1587.87/1588.36 c 1530s| 4030k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 29k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1591.76/1592.26 c 1534s| 4040k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 29k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1595.57/1596.09 c 1537s| 4050k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 29k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1599.46/1600.00 c 1541s| 4060k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 29k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1603.46/1603.91 c 1545s| 4070k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 29k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1607.36/1607.87 c 1549s| 4080k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 29k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1611.35/1611.86 c 1553s| 4090k| 263 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 29k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1615.25/1615.73 c 1556s| 4100k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 29k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1619.15/1619.68 c 1560s| 4110k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 30k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1623.06/1623.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1623.06/1623.55 c 1564s| 4120k| 262 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 30k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1627.05/1627.51 c 1568s| 4130k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 30k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1630.86/1631.35 c 1571s| 4140k| 263 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 30k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1634.75/1635.21 c 1575s| 4150k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 30k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1638.64/1639.10 c 1579s| 4160k| 262 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 30k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1642.55/1643.07 c 1583s| 4170k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 30k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1646.44/1646.93 c 1586s| 4180k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 30k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1650.25/1650.79 c 1590s| 4190k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 30k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1654.04/1654.59 c 1594s| 4200k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 30k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1657.84/1658.39 c 1597s| 4210k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 30k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1661.65/1662.15 c 1601s| 4220k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 30k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1665.44/1665.96 c 1605s| 4230k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 30k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1669.25/1669.74 c 1608s| 4240k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 31k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1673.04/1673.50 c 1612s| 4250k| 263 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 31k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1676.83/1677.35 c 1616s| 4260k| 270 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 31k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1680.64/1681.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1680.64/1681.13 c 1619s| 4270k| 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 31k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1684.54/1685.03 c 1623s| 4280k| 269 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 31k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1688.33/1688.85 c 1627s| 4290k| 270 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 31k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1692.14/1692.63 c 1630s| 4300k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 31k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1695.83/1696.39 c 1634s| 4310k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 31k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1699.74/1700.23 c 1638s| 4320k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 31k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1703.53/1704.00 c 1641s| 4330k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 31k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1707.43/1707.90 c 1645s| 4340k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 31k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1711.23/1711.74 c 1649s| 4350k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 31k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1715.03/1715.57 c 1653s| 4360k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 31k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1718.84/1719.34 c 1656s| 4370k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 31k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1722.63/1723.17 c 1660s| 4380k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 31k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1726.54/1727.01 c 1664s| 4390k| 263 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 31k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1730.43/1730.90 c 1667s| 4400k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 31k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1734.23/1734.75 c 1671s| 4410k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 32k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1738.13/1738.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1738.13/1738.61 c 1675s| 4420k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 32k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1741.93/1742.45 c 1678s| 4430k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 32k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1745.93/1746.48 c 1682s| 4440k| 268 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 32k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1749.82/1750.39 c 1686s| 4450k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 32k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1753.82/1754.39 c 1690s| 4460k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 32k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1757.82/1758.34 c 1694s| 4470k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 32k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1761.62/1762.18 c 1697s| 4480k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 32k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1765.62/1766.11 c 1701s| 4490k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 32k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1769.52/1770.07 c 1705s| 4500k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 32k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1773.41/1773.91 c 1709s| 4510k| 264 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 32k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1777.32/1777.81 c 1713s| 4520k| 267 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 33k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1781.11/1781.66 c 1716s| 4530k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 33k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1785.01/1785.53 c 1720s| 4540k| 265 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 33k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1788.81/1789.40 c 1724s| 4550k| 266 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 33k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1792.81/1793.33 c 1727s| 4560k| 262 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 33k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1796.82/1797.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1796.82/1797.32 c 1731s| 4570k| 263 | 19578 | 0.0 | 14M| 286 | - |1524 |2954 | 0 | 0 | 86 | 33k| 17 | 9.996000e+02 | 1.169000e+03 | 16.95%
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.50 c
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time (sec) : 1734.43
1800.02/1800.50 c Solving Nodes : 4578196
1800.02/1800.50 c Primal Bound : +1.16900000000000e+03 (23 solutions)
1800.02/1800.50 c Dual Bound : +9.99600000000001e+02
1800.02/1800.50 c Gap : 16.95 %
1800.02/1800.51 s SATISFIABLE
1800.02/1800.51 v x1963 -x1962 -x1961 x1960 x1959 -x1958 -x1957 -x1956 -x1955 x1954 -x1953 x1952 -x1951 x1950 x1949 x1948 -x1947 -x1946 x1945 x1944
1800.02/1800.51 v -x1943 x1942 -x1941 -x1940 -x1939 x1938 -x1937 x1936 x1935 -x1934 x1933 -x1932 x1931 x1930 x1929 x1928 -x1927 x1926 x1925
1800.02/1800.51 v x1924 x1923 -x1922 x1921 x1920 -x1919 x1918 -x1917 x1916 x1915 -x1914 x1913 x1912 x1911 -x1910 x1909 x1908 -x1907 -x1906 x1905
1800.02/1800.51 v -x1904 x1903 x1902 -x1901 -x1900 -x1899 x1898 -x1897 -x1896 x1895 x1894 -x1893 x1892 x1891 x1890 -x1889 x1888 x1887 -x1886
1800.02/1800.51 v x1885 x1884 -x1883 -x1882 x1881 x1880 x1879 x1878 -x1877 x1876 x1875 x1874 x1873 x1872 x1871 x1870 x1869 x1868 -x1867 x1866 x1865
1800.02/1800.51 v -x1864 -x1863 x1862 -x1861 -x1860 -x1859 -x1858 x1857 x1856 -x1855 x1854 x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847
1800.02/1800.51 v x1846 x1845 x1844 x1843 -x1842 x1841 x1840 x1839 -x1838 x1837 x1836 -x1835 x1834 -x1833 x1832 -x1831 x1830 -x1829 x1828 x1827
1800.02/1800.51 v x1826 x1825 x1824 x1823 -x1822 x1821 x1820 x1819 -x1818 -x1817 x1816 x1815 x1814 -x1813 x1812 x1811 -x1810 x1809 x1808 -x1807
1800.02/1800.51 v x1806 -x1805 -x1804 -x1803 x1802 -x1801 x1800 x1799 x1798 -x1797 x1796 x1795 x1794 x1793 x1792 x1791 -x1790 -x1789 x1788 x1787
1800.02/1800.51 v -x1786 x1785 -x1784 x1783 x1782 x1781 x1780 x1779 x1778 x1777 x1776 x1775 -x1774 -x1773 x1772 x1771 x1770 x1769 x1768 x1767
1800.02/1800.51 v x1766 x1765 x1764 -x1763 x1762 x1761 x1760 x1759 x1758 x1757 -x1756 -x1755 x1754 x1753 -x1752 -x1751 x1750 x1749 -x1748 x1747
1800.02/1800.51 v x1746 x1745 -x1744 -x1743 x1742 x1741 x1740 x1739 x1738 x1737 x1736 -x1735 x1734 -x1733 -x1732 x1731 x1730 -x1729 x1728
1800.02/1800.51 v -x1727 x1726 -x1725 -x1724 x1723 x1722 x1721 x1720 -x1719 -x1718 x1717 -x1716 x1715 -x1714 x1713 -x1712 x1711 -x1710 x1709 -x1708
1800.02/1800.51 v x1707 -x1706 x1705 -x1704 -x1703 -x1702 x1701 x1700 x1699 -x1698 x1697 -x1696 x1695 -x1694 -x1693 -x1692 -x1691 x1690 -x1689
1800.02/1800.51 v x1688 -x1687 -x1686 x1685 -x1684 x1683 -x1682 x1681 -x1680 x1679 -x1678 x1677 -x1676 x1675 -x1674 -x1673 -x1672 -x1671 -x1670
1800.02/1800.51 v -x1669 -x1668 -x1667 -x1666 -x1665 x1664 x1663 x1662 -x1661 -x1660 x1659 x1658 x1657 -x1656 -x1655 -x1654 x1653 x1652 x1651
1800.02/1800.51 v -x1650 x1649 x1648 x1647 x1646 x1645 -x1644 -x1643 x1642 x1641 x1640 x1639 x1638 x1637 -x1636 -x1635 x1634 -x1633 x1632
1800.02/1800.51 v x1631 x1630 -x1629 -x1628 x1627 -x1626 -x1625 x1624 -x1623 -x1622 x1621 x1620 -x1619 x1618 x1617 x1616 x1615 x1614 x1613 x1612
1800.02/1800.51 v -x1611 x1610 x1609 x1608 x1607 x1606 -x1605 x1604 -x1603 x1602 x1601 x1600 x1599 x1598 x1597 x1596 x1595 -x1594 -x1593 x1592
1800.02/1800.51 v x1591 x1590 x1589 -x1588 x1587 x1586 -x1585 x1584 -x1583 x1582 x1581 x1580 x1579 x1578 x1577 x1576 x1575 -x1574 -x1573 -x1572
1800.02/1800.51 v x1571 -x1570 x1569 x1568 -x1567 -x1566 x1565 -x1564 x1563 x1562 -x1561 -x1560 x1559 x1558 x1557 -x1556 x1555 -x1554 x1553
1800.02/1800.51 v x1552 x1551 x1550 -x1549 -x1548 x1547 x1546 x1545 x1544 x1543 x1542 x1541 -x1540 x1539 -x1538 x1537 -x1536 x1535 -x1534 -x1533
1800.02/1800.51 v x1532 -x1531 x1530 -x1529 x1528 -x1527 -x1526 -x1525 x1524 x1523 x1522 -x1521 x1520 x1519 x1518 x1517 x1516 x1515 x1514 -x1513
1800.02/1800.51 v x1512 -x1511 x1510 -x1509 x1508 -x1507 x1506 x1505 x1504 x1503 -x1502 x1501 -x1500 -x1499 -x1498 x1497 -x1496 x1495 x1494
1800.02/1800.51 v x1493 -x1492 x1491 -x1490 -x1489 x1488 x1487 -x1486 x1485 -x1484 x1483 x1482 -x1481 x1480 x1479 x1478 x1477 x1476 x1475 x1474
1800.02/1800.51 v -x1473 x1472 x1471 x1470 -x1469 x1468 x1467 x1466 -x1465 x1464 x1463 x1462 -x1461 x1460 x1459 x1458 x1457 x1456 x1455 x1454
1800.02/1800.51 v x1453 x1452 x1451 x1450 x1449 x1448 x1447 x1446 x1445 -x1444 x1443 x1442 x1441 x1440 x1439 -x1438 x1437 x1436 x1435 -x1434 x1433
1800.02/1800.51 v x1432 x1431 x1430 x1429 -x1428 -x1427 x1426 x1425 -x1424 -x1423 x1422 x1421 x1420 x1419 x1418 x1417 x1416 x1415 x1414 x1413
1800.02/1800.51 v x1412 x1411 x1410 -x1409 -x1408 -x1407 -x1406 -x1405 x1404 x1403 x1402 x1401 x1400 x1399 -x1398 x1397 -x1396 x1395 x1394
1800.02/1800.51 v -x1393 x1392 x1391 x1390 x1389 -x1388 -x1387 x1386 x1385 x1384 x1383 x1382 x1381 -x1380 -x1379 x1378 -x1377 x1376 x1375 x1374
1800.02/1800.51 v x1373 x1372 x1371 x1370 x1369 x1368 x1367 x1366 -x1365 x1364 x1363 x1362 x1361 x1360 x1359 x1358 x1357 x1356 x1355 -x1354 -x1353
1800.02/1800.51 v -x1352 x1351 x1350 x1349 x1348 x1347 -x1346 x1345 -x1344 -x1343 x1342 x1341 x1340 x1339 x1338 -x1337 x1336 -x1335 x1334
1800.02/1800.51 v x1333 x1332 x1331 x1330 x1329 -x1328 -x1327 x1326 x1325 -x1324 -x1323 -x1322 x1321 x1320 x1319 x1318 x1317 x1316 x1315 x1314
1800.02/1800.51 v x1313 -x1312 -x1311 x1310 x1309 x1308 x1307 x1306 x1305 x1304 x1303 -x1302 x1301 x1300 x1299 x1298 x1297 x1296 x1295 x1294 x1293
1800.02/1800.51 v x1292 x1291 x1290 x1289 x1288 x1287 x1286 x1285 x1284 x1283 x1282 x1281 -x1280 -x1279 x1278 -x1277 x1276 x1275 x1274 x1273
1800.02/1800.51 v x1272 -x1271 x1270 x1269 x1268 -x1267 x1266 x1265 -x1264 -x1263 x1262 x1261 -x1260 -x1259 x1258 x1257 x1256 x1255 x1254 -x1253
1800.02/1800.51 v -x1252 x1251 x1250 x1249 -x1248 -x1247 -x1246 x1245 x1244 x1243 x1242 x1241 x1240 -x1239 x1238 x1237 x1236 x1235 x1234 x1233
1800.02/1800.51 v x1232 x1231 x1230 x1229 x1228 x1227 -x1226 x1225 -x1224 -x1223 x1222 x1221 x1220 x1219 x1218 -x1217 -x1216 x1215 x1214 x1213
1800.02/1800.51 v x1212 x1211 -x1210 x1209 -x1208 -x1207 -x1206 x1205 x1204 -x1203 x1202 -x1201 x1200 x1199 x1198 x1197 x1196 x1195 x1194 -x1193
1800.02/1800.51 v x1192 x1191 -x1190 x1189 x1188 -x1187 -x1186 x1185 -x1184 x1183 -x1182 x1181 x1180 x1179 x1178 x1177 x1176 x1175 x1174
1800.02/1800.51 v x1173 -x1172 -x1171 x1170 -x1169 x1168 x1167 x1166 x1165 x1164 -x1163 x1162 x1161 x1160 -x1159 x1158 x1157 x1156 x1155 x1154
1800.02/1800.51 v x1153 -x1152 -x1151 x1150 x1149 x1148 x1147 x1146 x1145 x1144 -x1143 x1142 x1141 x1140 x1139 x1138 x1137 -x1136 x1135 x1134 x1133
1800.02/1800.51 v x1132 -x1131 -x1130 x1129 -x1128 x1127 x1126 -x1125 x1124 x1123 x1122 x1121 x1120 x1119 -x1118 x1117 x1116 x1115 x1114 x1113
1800.02/1800.51 v -x1112 x1111 -x1110 x1109 x1108 x1107 x1106 x1105 x1104 x1103 x1102 x1101 -x1100 x1099 x1098 x1097 x1096 x1095 -x1094 x1093
1800.02/1800.51 v x1092 x1091 x1090 x1089 -x1088 x1087 -x1086 -x1085 -x1084 x1083 -x1082 x1081 x1080 -x1079 x1078 x1077 -x1076 x1075 x1074
1800.02/1800.51 v x1073 x1072 x1071 x1070 x1069 x1068 -x1067 x1066 x1065 x1064 x1063 -x1062 x1061 -x1060 -x1059 -x1058 x1057 x1056 -x1055 -x1054
1800.02/1800.51 v x1053 x1052 x1051 x1050 -x1049 -x1048 x1047 x1046 x1045 -x1044 x1043 x1042 x1041 -x1040 x1039 -x1038 x1037 -x1036 x1035 -x1034
1800.02/1800.51 v x1033 x1032 x1031 x1030 x1029 x1028 x1027 x1026 x1025 x1024 x1023 x1022 x1021 -x1020 x1019 -x1018 x1017 x1016 x1015 x1014
1800.02/1800.51 v x1013 x1012 x1011 x1010 x1009 -x1008 -x1007 x1006 -x1005 x1004 x1003 x1002 -x1001 x1000 x999 -x998 -x997 -x996 x995 x994 x993
1800.02/1800.51 v x992 x991 -x990 -x989 x988 -x987 x986 -x985 x984 -x983 x982 x981 x980 x979 -x978 x977 x976 x975 x974 x973 x972 x971 -x970 x969
1800.02/1800.51 v x968 x967 -x966 x965 -x964 x963 -x962 x961 x960 -x959 -x958 x957 x956 x955 x954 x953 x952 x951 x950 x949 x948 x947 -x946
1800.02/1800.51 v x945 x944 x943 -x942 x941 x940 x939 x938 x937 x936 x935 x934 x933 -x932 -x931 x930 x929 x928 -x927 -x926 x925 -x924 -x923 x922
1800.02/1800.51 v -x921 x920 x919 x918 -x917 x916 -x915 x914 -x913 x912 -x911 x910 -x909 -x908 x907 x906 -x905 x904 x903 -x902 x901 x900 -x899
1800.02/1800.51 v x898 x897 -x896 -x895 -x894 x893 x892 x891 x890 x889 -x888 -x887 x886 -x885 x884 x883 -x882 x881 -x880 -x879 x878 x877 x876
1800.02/1800.51 v x875 x874 x873 -x872 x871 x870 x869 -x868 -x867 x866 x865 x864 x863 x862 x861 x860 x859 x858 x857 x856 x855 x854 x853 x852 x851
1800.02/1800.51 v -x850 x849 x848 -x847 x846 x845 -x844 x843 x842 -x841 x840 -x839 x838 -x837 x836 x835 x834 x833 -x832 -x831 x830 -x829 x828
1800.02/1800.51 v x827 -x826 -x825 -x824 x823 x822 x821 x820 x819 -x818 x817 -x816 x815 x814 -x813 x812 -x811 x810 x809 x808 -x807 x806 x805
1800.02/1800.51 v -x804 -x803 x802 x801 x800 -x799 x798 x797 x796 x795 x794 x793 x792 x791 x790 x789 x788 -x787 x786 x785 x784 -x783 x782 x781
1800.02/1800.51 v -x780 x779 x778 -x777 x776 x775 x774 x773 x772 -x771 -x770 x769 -x768 x767 x766 x765 x764 x763 -x762 -x761 x760 x759 x758 x757
1800.02/1800.51 v x756 x755 x754 -x753 x752 -x751 -x750 x749 -x748 x747 x746 -x745 -x744 x743 x742 x741 x740 x739 -x738 x737 x736 x735 -x734
1800.02/1800.51 v -x733 x732 x731 -x730 x729 x728 -x727 x726 x725 x724 x723 x722 x721 -x720 -x719 x718 -x717 x716 x715 -x714 x713 x712 x711 x710
1800.02/1800.51 v x709 -x708 x707 -x706 -x705 -x704 -x703 x702 -x701 x700 -x699 x698 -x697 -x696 x695 x694 x693 -x692 x691 x690 x689 -x688 x687
1800.02/1800.51 v -x686 -x685 x684 x683 x682 -x681 x680 x679 x678 -x677 -x676 -x675 x674 x673 x672 -x671 -x670 -x669 -x668 x667 x666 -x665
1800.02/1800.51 v x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 x655 x654 x653 x652 x651 x650 x649 -x648 x647 -x646 x645 x644 x643 -x642
1800.02/1800.51 v -x641 -x640 x639 -x638 x637 -x636 x635 x634 x633 x632 x631 x630 x629 x628 x627 x626 x625 x624 -x623 -x622 x621 x620 x619 x618
1800.02/1800.51 v -x617 -x616 x615 -x614 x613 -x612 x611 -x610 -x609 x608 x607 x606 -x605 x604 x603 x602 x601 -x600 -x599 -x598 -x597 x596 x595
1800.02/1800.51 v x594 x593 x592 -x591 x590 x589 x588 x587 -x586 -x585 x584 x583 x582 x581 x580 -x579 -x578 x577 x576 -x575 -x574 -x573 x572
1800.02/1800.51 v -x571 x570 x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 x561 x560 -x559 x558 -x557 -x556 -x555 -x554 x553 -x552 x551 -x550
1800.02/1800.51 v -x549 -x548 x547 x546 -x545 x544 -x543 -x542 -x541 x540 x539 x538 x537 -x536 -x535 x534 -x533 x532 x531 -x530 x529 x528 -x527
1800.02/1800.51 v x526 x525 x524 x523 x522 x521 x520 -x519 x518 -x517 x516 x515 x514 x513 -x512 -x511 x510 x509 -x508 x507 -x506 x505 x504 x503
1800.02/1800.51 v -x502 -x501 -x500 -x499 -x498 x497 x496 -x495 x494 x493 -x492 x491 -x490 x489 x488 x487 x486 x485 x484 -x483 x482 x481 x480
1800.02/1800.51 v x479 x478 -x477 x476 x475 x474 -x473 x472 x471 -x470 -x469 -x468 x467 x466 x465 -x464 x463 x462 x461 x460 -x459 x458 -x457 x456
1800.02/1800.51 v -x455 -x454 -x453 x452 x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 -x443 x442 x441 x440 -x439 -x438 -x437 -x436 x435 -x434
1800.02/1800.51 v -x433 -x432 -x431 -x430 x429 x428 -x427 -x426 x425 -x424 x423 x422 x421 x420 -x419 -x418 -x417 -x416 x415 x414 -x413 -x412
1800.02/1800.51 v x411 -x410 -x409 x408 -x407 -x406 x405 x404 x403 x402 -x401 -x400 x399 x398 x397 -x396 -x395 -x394 -x393 x392 x391 x390 -x389
1800.02/1800.51 v x388 -x387 x386 -x385 x384 x383 x382 x381 -x380 x379 x378 -x377 -x376 -x375 x374 x373 x372 x371 x370 -x369 -x368 -x367 x366
1800.02/1800.51 v x365 x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 x356 -x355 -x354 -x353 x352 -x351 -x350 -x349 -x348 -x347 x346 x345 x344
1800.02/1800.51 v -x343 x342 x341 x340 x339 x338 -x337 x336 -x335 x334 x333 -x332 x331 x330 x329 -x328 -x327 x326 -x325 -x324 -x323 x322 x321
1800.02/1800.51 v -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310 x309 x308 x307 x306 x305 -x304 -x303 -x302 -x301 x300 x299 -x298
1800.02/1800.51 v x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 x287 x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 -x278 -x277
1800.02/1800.51 v x276 -x275 -x274 -x273 x272 x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 x262 -x261 x260 x259 x258 -x257 x256 x255 -x254
1800.02/1800.51 v -x253 -x252 -x251 -x250 -x249 x248 -x247 x246 -x245 x244 x243 -x242 x241 -x240 -x239 x238 x237 x236 x235 -x234 -x233 x232
1800.02/1800.51 v -x231 x230 x229 x228 x227 -x226 x225 x224 x223 x222 x221 x220 -x219 -x218 x217 -x216 x215 -x214 -x213 x212 x211 -x210 -x209
1800.02/1800.51 v -x208 -x207 -x206 -x205 -x204 x203 x202 x201 x200 x199 -x198 x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187
1800.02/1800.51 v -x186 x185 x184 x183 -x182 -x181 x180 -x179 -x178 x177 -x176 x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165
1800.02/1800.51 v -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 x145 -x144 x143
1800.02/1800.51 v x142 x141 -x140 -x139 -x138 x137 -x136 x135 -x134 x133 x132 -x131 -x130 x129 -x128 x127 -x126 -x125 x124 x123 -x122 x121 -x120
1800.02/1800.51 v x119 x118 -x117 x116 -x115 x114 -x113 -x112 -x111 x110 x109 x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 x100 x99 -x98 -x97
1800.02/1800.51 v -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72
1800.02/1800.51 v x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46
1800.02/1800.51 v -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 x26 -x25 -x24 -x23 -x22 -x21 -x20
1800.02/1800.51 v -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.51 c Solving Time : 1734.43
1800.02/1800.51 c Original Problem :
1800.02/1800.51 c Problem name : HOME/instance-2665485-1276389325.opb
1800.02/1800.51 c Variables : 1963 (1963 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 4000 initial, 4000 maximal
1800.02/1800.51 c Presolved Problem :
1800.02/1800.51 c Problem name : t_HOME/instance-2665485-1276389325.opb
1800.02/1800.51 c Variables : 1524 (1524 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 2954 initial, 2954 maximal
1800.02/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c dualfix : 0.00 207 0 0 0 0 0 0 0
1800.02/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c probing : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.51 c linear : 0.06 0 232 0 0 0 1046 0 0
1800.02/1800.51 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.02/1800.51 c root node : - 0 - - 0 - - - -
1800.02/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c integral : 0 0 0 1 0 0 0 0 0 2
1800.02/1800.51 c logicor : 2954+ 21 4947920 0 0 33498 20384071 0 0 0
1800.02/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.51 c integral : 12.85 0.00 0.00 12.85 0.00
1800.02/1800.51 c logicor : 113.65 0.00 113.65 0.00 0.00
1800.02/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.51 c vbounds : 4.23 2 0 0
1800.02/1800.51 c rootredcost : 4.42 0 0 0
1800.02/1800.51 c pseudoobj : 1160.19 8395420 2259725 37954564
1800.02/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.51 c propagation : 52.14 33498 33498 33498 258.9 0 0.0 -
1800.02/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.51 c applied globally : - - - 0 0.0 - - -
1800.02/1800.51 c applied locally : - - - 33498 258.9 - - -
1800.02/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.51 c cut pool : 0.03 20 - - 14 - (maximal pool size: 348)
1800.02/1800.51 c redcost : 0.01 21 0 0 0 0
1800.02/1800.51 c impliedbounds : 0.01 21 0 0 0 0
1800.02/1800.51 c intobj : 0.00 0 0 0 0 0
1800.02/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.51 c gomory : 3.56 21 0 0 9741 0
1800.02/1800.51 c strongcg : 1.97 20 0 0 10000 0
1800.02/1800.51 c cmir : 0.20 10 0 0 0 0
1800.02/1800.51 c flowcover : 0.19 10 0 0 0 0
1800.02/1800.51 c clique : 0.01 21 0 0 9 0
1800.02/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.51 c mcf : 0.02 1 0 0 0 0
1800.02/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.51 c Pricers : Time Calls Vars
1800.02/1800.51 c problem variables: 0.00 0 0
1800.02/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c relpscost : 12.85 1 0 0 0 0 2
1800.02/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c inference : 198.61 2294847 0 0 0 0 4589694
1800.02/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c random : 0.00 0 0 0 0 0 0
1800.02/1800.51 c Primal Heuristics : Time Calls Found
1800.02/1800.51 c LP solutions : 0.00 - 0
1800.02/1800.51 c pseudo solutions : 0.00 - 0
1800.02/1800.51 c crossover : 0.00 0 0
1800.02/1800.51 c oneopt : 3.23 2 1
1800.02/1800.51 c trivial : 0.01 2 3
1800.02/1800.51 c simplerounding : 0.04 21 18
1800.02/1800.51 c zirounding : 0.01 1 1
1800.02/1800.51 c rounding : 3.03 21 0
1800.02/1800.51 c shifting : 3.06 21 0
1800.02/1800.51 c intshifting : 0.00 0 0
1800.02/1800.51 c twoopt : 0.00 0 0
1800.02/1800.51 c fixandinfer : 0.00 0 0
1800.02/1800.51 c feaspump : 0.00 0 0
1800.02/1800.51 c coefdiving : 0.00 0 0
1800.02/1800.51 c pscostdiving : 0.00 0 0
1800.02/1800.51 c fracdiving : 0.00 0 0
1800.02/1800.51 c veclendiving : 0.00 0 0
1800.02/1800.51 c intdiving : 0.00 0 0
1800.02/1800.51 c actconsdiving : 0.00 0 0
1800.02/1800.51 c objpscostdiving : 0.00 0 0
1800.02/1800.51 c rootsoldiving : 0.00 0 0
1800.02/1800.51 c linesearchdiving : 0.00 0 0
1800.02/1800.51 c guideddiving : 0.00 0 0
1800.02/1800.51 c octane : 0.00 0 0
1800.02/1800.51 c rens : 0.01 0 0
1800.02/1800.51 c rins : 0.00 0 0
1800.02/1800.51 c localbranching : 0.00 0 0
1800.02/1800.51 c mutation : 0.00 0 0
1800.02/1800.51 c dins : 0.00 0 0
1800.02/1800.51 c undercover : 0.00 0 0
1800.02/1800.51 c nlp : 2.69 0 0
1800.02/1800.51 c trysol : 1.89 0 0
1800.02/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.51 c primal LP : 0.01 0 0 0.00 0.00
1800.02/1800.51 c dual LP : 14.00 21 19578 932.29 1398.43
1800.02/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.51 c strong branching : 12.85 17 16265 956.76 1265.76
1800.02/1800.51 c (at root node) : - 17 16265 956.76 -
1800.02/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.51 c B&B Tree :
1800.02/1800.51 c number of runs : 1
1800.02/1800.51 c nodes : 4578196
1800.02/1800.51 c nodes (total) : 4578196
1800.02/1800.51 c nodes left : 266
1800.02/1800.51 c max depth : 286
1800.02/1800.51 c max depth (total): 286
1800.02/1800.51 c backtracks : 1177240 (25.7%)
1800.02/1800.51 c delayed cutoffs : 11235
1800.02/1800.51 c repropagations : 15780 (261917 domain reductions, 9875 cutoffs)
1800.02/1800.51 c avg switch length: 2.00
1800.02/1800.51 c switching time : 87.94
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 23 (3 improvements)
1800.02/1800.51 c First Solution : +1.96300000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.02/1800.51 c Primal Bound : +1.16900000000000e+03 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <oneopt>)
1800.02/1800.51 c Dual Bound : +9.99600000000001e+02
1800.02/1800.51 c Gap : 16.95 %
1800.02/1800.51 c Root Dual Bound : +9.97000000000000e+02
1800.02/1800.51 c Root Iterations : 19578
1800.02/1800.55 c Time complete: 1800.06.