0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2666915-1276389398.opb>
0.01/0.08 c original problem has 1963 variables (1963 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.01/0.08 c problem read
0.01/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.22 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.12
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.26 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.49/0.59 c 0.5s| 1 | 0 | 2011 | - |7381k| 0 |1524 |1524 |2954 |1524 |2954 | 0 | 0 | 0 | 9.790000e+02 | 1.169000e+03 | 19.41%
1.10/1.17 c 1.0s| 1 | 0 | 2254 | - |7481k| 0 |1507 |1524 |2954 |1524 |2965 | 11 | 0 | 0 | 9.845000e+02 | 1.169000e+03 | 18.74%
1.59/1.65 c 1.5s| 1 | 0 | 2355 | - |7512k| 0 |1504 |1524 |2954 |1524 |2969 | 15 | 0 | 0 | 9.860000e+02 | 1.169000e+03 | 18.56%
2.19/2.22 c 2.1s| 1 | 0 | 2473 | - |7518k| 0 |1503 |1524 |2954 |1524 |2971 | 17 | 0 | 0 | 9.865000e+02 | 1.169000e+03 | 18.50%
2.69/2.77 c 2.6s| 1 | 0 | 2661 | - |7524k| 0 |1497 |1524 |2954 |1524 |2974 | 20 | 0 | 0 | 9.875000e+02 | 1.169000e+03 | 18.38%
3.30/3.31 c 3.1s| 1 | 0 | 2826 | - |7555k| 0 |1493 |1524 |2954 |1524 |2977 | 23 | 0 | 0 | 9.885000e+02 | 1.169000e+03 | 18.26%
3.78/3.88 c 3.7s| 1 | 0 | 3065 | - |7582k| 0 |1489 |1524 |2954 |1524 |2980 | 26 | 0 | 0 | 9.895000e+02 | 1.169000e+03 | 18.14%
4.39/4.44 c 4.2s| 1 | 0 | 3197 | - |7610k| 0 |1488 |1524 |2954 |1524 |2981 | 27 | 0 | 0 | 9.900000e+02 | 1.169000e+03 | 18.08%
5.19/5.23 c 5.0s| 1 | 0 | 3309 | - |7713k| 0 |1497 |1524 |2954 |1524 |2983 | 29 | 0 | 0 | 9.900000e+02 | 1.169000e+03 | 18.08%
6.09/6.19 c 6.0s| 1 | 0 | 3456 | - |8724k| 0 |1495 |1524 |2954 |1524 |2985 | 31 | 0 | 0 | 9.905000e+02 | 1.169000e+03 | 18.02%
7.18/7.23 c 7.0s| 1 | 0 | 3732 | - |9520k| 0 |1499 |1524 |2954 |1524 |2989 | 35 | 0 | 0 | 9.910000e+02 | 1.169000e+03 | 17.96%
7.88/7.99 c 7.8s| 1 | 0 | 3981 | - |9762k| 0 |1500 |1524 |2954 |1524 |2992 | 38 | 0 | 0 | 9.910000e+02 | 1.169000e+03 | 17.96%
8.89/8.97 c 8.7s| 1 | 0 | 4435 | - | 10M| 0 |1498 |1524 |2954 |1524 |2995 | 41 | 0 | 0 | 9.910000e+02 | 1.169000e+03 | 17.96%
9.90/9.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.90/9.94 c 9.7s| 1 | 0 | 4928 | - | 10M| 0 |1489 |1524 |2954 |1524 |2997 | 43 | 0 | 0 | 9.910000e+02 | 1.169000e+03 | 17.96%
10.89/11.00 c 10.7s| 1 | 0 | 5369 | - | 10M| 0 |1503 |1524 |2954 |1524 |3000 | 46 | 0 | 0 | 9.910000e+02 | 1.169000e+03 | 17.96%
11.89/11.99 c 11.7s| 1 | 0 | 5785 | - | 10M| 0 |1503 |1524 |2954 |1524 |3002 | 48 | 0 | 0 | 9.910000e+02 | 1.169000e+03 | 17.96%
31.48/31.58 c 31.1s| 1 | 2 | 5785 | - | 10M| 0 |1503 |1524 |2954 |1524 |3002 | 48 | 0 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
36.08/36.15 c 35.6s| 10000 | 269 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 539 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
39.97/40.04 c 39.3s| 20000 | 272 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 635 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
43.88/43.94 c 43.1s| 30000 | 271 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 708 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
47.78/47.88 c 46.9s| 40000 | 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 815 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
51.77/51.84 c 50.7s| 50000 | 271 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 916 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
55.57/55.69 c 54.4s| 60000 | 270 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |1011 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
59.47/59.54 c 58.1s| 70000 | 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |1092 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
63.36/63.41 c 61.8s| 80000 | 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |1171 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
67.26/67.34 c 65.6s| 90000 | 269 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |1284 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
71.26/71.32 c 69.5s|100000 | 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |1390 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
75.26/75.32 c 73.3s|110000 | 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |1520 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
79.17/79.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.17/79.21 c 77.1s|120000 | 269 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |1614 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
82.96/83.09 c 80.8s|130000 | 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |1698 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
86.87/86.99 c 84.6s|140000 | 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |1772 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
90.86/90.92 c 88.4s|150000 | 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |1855 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
94.76/94.83 c 92.1s|160000 | 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |1949 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
98.45/98.56 c 95.7s|170000 | 269 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |2002 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
102.16/102.23 c 99.2s|180000 | 271 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |2055 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
105.85/105.95 c 103s|190000 | 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |2128 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
109.55/109.69 c 106s|200000 | 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |2206 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
113.35/113.48 c 110s|210000 | 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |2294 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
117.15/117.27 c 114s|220000 | 270 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |2371 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
120.95/121.01 c 117s|230000 | 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |2443 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
124.74/124.80 c 121s|240000 | 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |2526 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
128.55/128.66 c 125s|250000 | 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |2605 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
132.44/132.51 c 128s|260000 | 270 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |2700 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
136.25/136.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
136.25/136.30 c 132s|270000 | 269 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |2779 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
139.94/140.08 c 136s|280000 | 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |2849 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
143.84/143.93 c 139s|290000 | 269 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |2947 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
147.64/147.77 c 143s|300000 | 269 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |3035 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
151.43/151.58 c 147s|310000 | 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |3101 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
155.23/155.39 c 150s|320000 | 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |3170 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
159.03/159.11 c 154s|330000 | 270 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |3219 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
162.74/162.86 c 158s|340000 | 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |3284 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
166.53/166.63 c 161s|350000 | 269 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |3368 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
170.34/170.40 c 165s|360000 | 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |3440 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
174.13/174.20 c 169s|370000 | 270 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |3518 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
177.83/177.95 c 172s|380000 | 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |3584 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
181.63/181.71 c 176s|390000 | 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |3669 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
185.42/185.50 c 179s|400000 | 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |3731 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
189.22/189.31 c 183s|410000 | 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |3816 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
193.12/193.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
193.12/193.20 c 187s|420000 | 269 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |3928 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
196.83/196.99 c 190s|430000 | 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |3995 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
200.72/200.80 c 194s|440000 | 270 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |4085 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
204.52/204.65 c 198s|450000 | 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |4186 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
208.42/208.51 c 202s|460000 | 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |4310 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
212.22/212.38 c 205s|470000 | 269 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |4404 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
216.11/216.28 c 209s|480000 | 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |4500 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
220.01/220.12 c 213s|490000 | 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |4566 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
223.80/223.98 c 216s|500000 | 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |4641 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
227.61/227.76 c 220s|510000 | 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |4707 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
231.40/231.56 c 224s|520000 | 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |4779 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
235.21/235.30 c 227s|530000 | 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |4833 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
238.90/239.01 c 231s|540000 | 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |4883 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
242.60/242.76 c 234s|550000 | 269 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |4942 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
246.30/246.50 c 238s|560000 | 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |5000 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
250.09/250.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
250.09/250.21 c 242s|570000 | 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |5054 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
253.80/253.98 c 245s|580000 | 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |5110 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
257.60/257.70 c 249s|590000 | 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |5156 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
261.40/261.53 c 253s|600000 | 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |5214 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
265.09/265.30 c 256s|610000 | 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |5264 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
268.89/269.08 c 260s|620000 | 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |5318 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
272.69/272.87 c 263s|630000 | 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |5367 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
276.59/276.71 c 267s|640000 | 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |5430 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
280.29/280.47 c 271s|650000 | 272 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |5499 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
284.09/284.22 c 274s|660000 | 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |5557 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
287.88/288.03 c 278s|670000 | 269 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |5620 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
291.78/291.96 c 282s|680000 | 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |5714 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
295.58/295.72 c 285s|690000 | 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |5774 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
299.38/299.52 c 289s|700000 | 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |5837 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
303.08/303.29 c 293s|710000 | 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |5889 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
307.08/307.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.08/307.22 c 296s|720000 | 269 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |6023 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
310.87/311.05 c 300s|730000 | 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |6100 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
314.67/314.87 c 304s|740000 | 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |6182 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
318.57/318.71 c 308s|750000 | 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |6250 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
322.38/322.55 c 311s|760000 | 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |6332 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
326.27/326.44 c 315s|770000 | 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |6412 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
330.07/330.24 c 319s|780000 | 270 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |6480 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
333.87/334.04 c 322s|790000 | 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |6544 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
337.77/337.91 c 326s|800000 | 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |6625 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
341.57/341.73 c 330s|810000 | 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |6690 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
345.47/345.61 c 333s|820000 | 269 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |6774 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
349.16/349.35 c 337s|830000 | 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |6832 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
353.06/353.20 c 341s|840000 | 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |6903 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
356.86/357.05 c 344s|850000 | 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |6975 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
360.57/360.80 c 348s|860000 | 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |7022 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
364.46/364.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
364.46/364.62 c 352s|870000 | 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |7098 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
368.27/368.40 c 355s|880000 | 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |7150 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
371.96/372.15 c 359s|890000 | 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |7201 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
375.76/375.94 c 363s|900000 | 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |7264 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
379.65/379.80 c 366s|910000 | 270 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |7350 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
383.45/383.63 c 370s|920000 | 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |7436 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
387.35/387.50 c 374s|930000 | 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |7548 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
391.24/391.41 c 378s|940000 | 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |7643 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
395.05/395.27 c 381s|950000 | 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |7727 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
398.94/399.16 c 385s|960000 | 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |7823 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
402.74/402.94 c 389s|970000 | 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |7893 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
406.54/406.73 c 392s|980000 | 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |7963 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
410.34/410.57 c 396s|990000 | 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |8052 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
414.14/414.33 c 400s| 1000k| 271 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |8099 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
417.84/418.06 c 403s| 1010k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |8167 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
421.63/421.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
421.63/421.82 c 407s| 1020k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |8221 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
425.33/425.59 c 410s| 1030k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |8284 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
429.13/429.34 c 414s| 1040k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |8341 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
432.93/433.13 c 418s| 1050k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |8398 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
436.73/436.96 c 421s| 1060k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |8490 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
440.43/440.69 c 425s| 1070k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |8559 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
444.33/444.51 c 429s| 1080k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |8619 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
448.12/448.39 c 432s| 1090k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |8720 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
452.03/452.22 c 436s| 1100k| 270 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |8798 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
455.73/455.99 c 440s| 1110k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |8862 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
459.53/459.77 c 443s| 1120k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |8926 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
463.32/463.58 c 447s| 1130k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |9007 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
467.22/467.46 c 451s| 1140k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |9072 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
471.12/471.33 c 454s| 1150k| 262 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |9163 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
475.02/475.24 c 458s| 1160k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |9257 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
478.91/479.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
478.91/479.12 c 462s| 1170k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |9342 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
482.81/483.01 c 466s| 1180k| 262 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |9433 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
486.61/486.89 c 469s| 1190k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |9506 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
490.51/490.76 c 473s| 1200k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |9599 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
494.41/494.69 c 477s| 1210k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |9703 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
498.41/498.62 c 481s| 1220k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |9809 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
502.30/502.51 c 484s| 1230k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 |9908 | 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
506.20/506.44 c 488s| 1240k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 10k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
510.21/510.42 c 492s| 1250k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 10k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
514.11/514.36 c 496s| 1260k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 10k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
518.00/518.27 c 500s| 1270k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 10k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
521.90/522.18 c 503s| 1280k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 10k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
525.80/526.00 c 507s| 1290k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 10k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
529.70/529.92 c 511s| 1300k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 10k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
533.59/533.82 c 515s| 1310k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 10k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
537.50/537.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
537.50/537.72 c 518s| 1320k| 260 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 10k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
541.39/541.63 c 522s| 1330k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 10k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
545.09/545.40 c 526s| 1340k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 10k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
548.99/549.21 c 529s| 1350k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 11k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
552.79/553.06 c 533s| 1360k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 11k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
556.58/556.89 c 537s| 1370k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 11k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
560.39/560.67 c 540s| 1380k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 11k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
564.18/564.40 c 544s| 1390k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 11k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
567.88/568.10 c 548s| 1400k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 11k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
571.48/571.80 c 551s| 1410k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 11k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
575.28/575.57 c 555s| 1420k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 11k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
579.08/579.30 c 558s| 1430k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 11k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
582.78/583.09 c 562s| 1440k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 11k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
586.67/586.93 c 566s| 1450k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 11k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
590.37/590.69 c 569s| 1460k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 11k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
594.17/594.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
594.17/594.46 c 573s| 1470k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 12k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
597.97/598.29 c 577s| 1480k| 262 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 12k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
601.87/602.13 c 580s| 1490k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 12k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
605.78/606.01 c 584s| 1500k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 12k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
609.66/609.99 c 588s| 1510k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 12k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
613.57/613.85 c 592s| 1520k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 12k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
617.37/617.65 c 595s| 1530k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 12k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
621.27/621.52 c 599s| 1540k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 12k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
624.96/625.24 c 603s| 1550k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 12k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
628.75/629.04 c 606s| 1560k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 12k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
632.56/632.81 c 610s| 1570k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 12k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
636.36/636.66 c 614s| 1580k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 13k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
640.15/640.49 c 617s| 1590k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 13k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
644.05/644.32 c 621s| 1600k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 13k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
647.94/648.23 c 625s| 1610k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 13k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
651.85/652.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
651.85/652.15 c 628s| 1620k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 13k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
655.74/656.06 c 632s| 1630k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 13k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
659.65/659.94 c 636s| 1640k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 13k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
663.55/663.83 c 640s| 1650k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 13k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
667.45/667.71 c 643s| 1660k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 13k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
671.35/671.62 c 647s| 1670k| 261 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 13k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
675.15/675.49 c 651s| 1680k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 13k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
679.04/679.35 c 655s| 1690k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 13k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
682.85/683.16 c 658s| 1700k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 14k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
686.73/687.04 c 662s| 1710k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 14k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
690.54/690.82 c 666s| 1720k| 270 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 14k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
694.23/694.56 c 669s| 1730k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 14k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
698.03/698.31 c 673s| 1740k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 14k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
701.83/702.11 c 677s| 1750k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 14k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
705.63/705.91 c 680s| 1760k| 269 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 14k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
709.33/709.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
709.33/709.68 c 684s| 1770k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 14k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
713.13/713.45 c 687s| 1780k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 14k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
716.93/717.23 c 691s| 1790k| 269 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 14k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
720.63/720.99 c 695s| 1800k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 14k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
724.53/724.82 c 698s| 1810k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 14k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
728.32/728.67 c 702s| 1820k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 14k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
732.12/732.41 c 706s| 1830k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 15k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
735.81/736.18 c 709s| 1840k| 269 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 15k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
739.61/739.95 c 713s| 1850k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 15k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
743.42/743.79 c 717s| 1860k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 15k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
747.31/747.63 c 720s| 1870k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 15k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
751.11/751.48 c 724s| 1880k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 15k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
755.01/755.31 c 728s| 1890k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 15k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
758.81/759.14 c 731s| 1900k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 15k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
762.61/762.98 c 735s| 1910k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 15k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
766.51/766.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
766.51/766.82 c 739s| 1920k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 15k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
770.31/770.69 c 743s| 1930k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 15k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
774.20/774.52 c 746s| 1940k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 15k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
778.01/778.39 c 750s| 1950k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 15k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
781.90/782.22 c 754s| 1960k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 15k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
785.70/786.06 c 757s| 1970k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 16k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
789.60/789.93 c 761s| 1980k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 16k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
793.50/793.80 c 765s| 1990k| 262 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 16k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
797.30/797.66 c 768s| 2000k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 16k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
801.10/801.43 c 772s| 2010k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 16k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
804.90/805.26 c 776s| 2020k| 269 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 16k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
808.79/809.13 c 780s| 2030k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 16k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
812.59/812.92 c 783s| 2040k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 16k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
816.29/816.69 c 787s| 2050k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 16k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
820.09/820.47 c 790s| 2060k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 16k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
823.99/824.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
823.99/824.39 c 794s| 2070k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 16k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
827.89/828.21 c 798s| 2080k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 16k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
831.58/831.97 c 802s| 2090k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 16k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
835.48/835.81 c 805s| 2100k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 17k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
839.18/839.57 c 809s| 2110k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 17k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
842.88/843.27 c 812s| 2120k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 17k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
846.58/846.96 c 816s| 2130k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 17k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
850.28/850.67 c 820s| 2140k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 17k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
854.07/854.45 c 823s| 2150k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 17k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
857.87/858.24 c 827s| 2160k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 17k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
861.67/862.08 c 830s| 2170k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 17k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
865.47/865.84 c 834s| 2180k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 17k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
869.36/869.71 c 838s| 2190k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 17k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
873.17/873.59 c 842s| 2200k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 17k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
877.07/877.42 c 845s| 2210k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 17k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
880.96/881.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
880.96/881.33 c 849s| 2220k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 17k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
884.86/885.20 c 853s| 2230k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 17k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
888.76/889.11 c 856s| 2240k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 18k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
892.66/893.01 c 860s| 2250k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 18k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
896.46/896.82 c 864s| 2260k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 18k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
900.16/900.54 c 868s| 2270k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 18k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
903.95/904.38 c 871s| 2280k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 18k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
907.75/908.19 c 875s| 2290k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 18k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
911.64/912.01 c 879s| 2300k| 261 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 18k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
915.45/915.82 c 882s| 2310k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 18k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
919.15/919.57 c 886s| 2320k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 18k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
922.94/923.36 c 889s| 2330k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 18k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
926.85/927.21 c 893s| 2340k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 18k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
930.64/931.06 c 897s| 2350k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 18k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
934.55/934.92 c 901s| 2360k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 18k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
938.34/938.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
938.34/938.74 c 904s| 2370k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 18k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
942.13/942.58 c 908s| 2380k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 19k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
946.03/946.41 c 912s| 2390k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 19k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
949.93/950.35 c 915s| 2400k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 19k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
953.83/954.21 c 919s| 2410k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 19k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
957.74/958.12 c 923s| 2420k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 19k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
961.63/962.00 c 927s| 2430k| 262 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 19k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
965.52/965.91 c 930s| 2440k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 19k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
969.32/969.79 c 934s| 2450k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 19k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
973.13/973.55 c 938s| 2460k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 19k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
976.92/977.34 c 941s| 2470k| 271 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 19k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
980.73/981.19 c 945s| 2480k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 19k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
984.51/984.97 c 949s| 2490k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 20k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
988.43/988.83 c 952s| 2500k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 20k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
992.21/992.66 c 956s| 2510k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 20k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
996.02/996.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
996.02/996.47 c 960s| 2520k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 20k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
999.91/1000.34 c 964s| 2530k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 20k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1003.71/1004.12 c 967s| 2540k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 20k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1007.51/1007.93 c 971s| 2550k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 20k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1011.40/1011.80 c 975s| 2560k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 20k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1015.21/1015.61 c 978s| 2570k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 20k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1019.00/1019.42 c 982s| 2580k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 20k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1022.90/1023.34 c 986s| 2590k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 20k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1026.70/1027.15 c 989s| 2600k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 20k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1030.50/1030.95 c 993s| 2610k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 21k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1034.30/1034.77 c 997s| 2620k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 21k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1038.10/1038.60 c 1000s| 2630k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 21k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1042.00/1042.40 c 1004s| 2640k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 21k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1045.79/1046.27 c 1008s| 2650k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 21k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1049.79/1050.21 c 1012s| 2660k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 21k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1053.70/1054.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1053.70/1054.13 c 1015s| 2670k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 21k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1057.39/1057.87 c 1019s| 2680k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 21k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1061.19/1061.65 c 1023s| 2690k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 21k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1064.99/1065.43 c 1026s| 2700k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 21k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1068.89/1069.34 c 1030s| 2710k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 21k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1072.68/1073.13 c 1034s| 2720k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 22k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1076.39/1076.89 c 1037s| 2730k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 22k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1080.29/1080.76 c 1041s| 2740k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 22k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1084.09/1084.52 c 1045s| 2750k| 270 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 22k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1087.88/1088.33 c 1048s| 2760k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 22k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1091.58/1092.07 c 1052s| 2770k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 22k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1095.38/1095.80 c 1055s| 2780k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 22k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1099.17/1099.62 c 1059s| 2790k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 22k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1102.88/1103.34 c 1063s| 2800k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 22k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1106.67/1107.12 c 1066s| 2810k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 22k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1110.48/1110.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1110.48/1110.97 c 1070s| 2820k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 22k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1114.27/1114.76 c 1074s| 2830k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 22k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1118.18/1118.62 c 1077s| 2840k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 22k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1121.97/1122.46 c 1081s| 2850k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 23k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1125.97/1126.44 c 1085s| 2860k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 23k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1129.87/1130.30 c 1089s| 2870k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 23k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1133.67/1134.11 c 1092s| 2880k| 262 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 23k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1137.46/1137.94 c 1096s| 2890k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 23k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1141.37/1141.83 c 1100s| 2900k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 23k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1145.16/1145.62 c 1103s| 2910k| 262 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 23k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1148.97/1149.48 c 1107s| 2920k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 23k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1152.76/1153.27 c 1111s| 2930k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 23k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1156.56/1157.09 c 1114s| 2940k| 262 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 23k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1160.45/1160.90 c 1118s| 2950k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 24k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1164.16/1164.63 c 1122s| 2960k| 269 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 24k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1167.96/1168.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1167.96/1168.41 c 1125s| 2970k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 24k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1171.75/1172.25 c 1129s| 2980k| 269 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 24k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1175.46/1175.97 c 1133s| 2990k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 24k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1179.35/1179.81 c 1136s| 3000k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 24k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1183.06/1183.53 c 1140s| 3010k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 24k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1186.75/1187.22 c 1143s| 3020k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 24k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1190.54/1191.01 c 1147s| 3030k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 24k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1194.34/1194.80 c 1151s| 3040k| 262 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 24k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1198.14/1198.69 c 1154s| 3050k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 24k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1202.14/1202.61 c 1158s| 3060k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 24k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1205.94/1206.44 c 1162s| 3070k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 24k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1209.74/1210.25 c 1166s| 3080k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 25k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1213.54/1214.05 c 1169s| 3090k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 25k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1217.24/1217.77 c 1173s| 3100k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 25k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1221.03/1221.51 c 1176s| 3110k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 25k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1224.84/1225.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1224.84/1225.33 c 1180s| 3120k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 25k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1228.63/1229.17 c 1184s| 3130k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 25k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1232.43/1232.98 c 1187s| 3140k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 25k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1236.23/1236.74 c 1191s| 3150k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 25k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1240.02/1240.54 c 1195s| 3160k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 25k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1243.83/1244.30 c 1198s| 3170k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 25k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1247.52/1248.10 c 1202s| 3180k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 25k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1251.42/1251.96 c 1206s| 3190k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 25k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1255.42/1255.99 c 1210s| 3200k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 25k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1259.42/1259.99 c 1213s| 3210k| 262 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 26k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1263.22/1263.76 c 1217s| 3220k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 26k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1267.11/1267.65 c 1221s| 3230k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 26k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1270.91/1271.49 c 1225s| 3240k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 26k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1274.81/1275.38 c 1228s| 3250k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 26k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1278.72/1279.28 c 1232s| 3260k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 26k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1282.61/1283.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1282.61/1283.14 c 1236s| 3270k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 26k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1286.42/1286.91 c 1239s| 3280k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 26k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1290.11/1290.66 c 1243s| 3290k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 26k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1293.90/1294.46 c 1247s| 3300k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 26k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1297.70/1298.25 c 1250s| 3310k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 26k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1301.50/1302.02 c 1254s| 3320k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 26k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1305.20/1305.79 c 1258s| 3330k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 26k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1309.09/1309.65 c 1261s| 3340k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 27k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1313.09/1313.65 c 1265s| 3350k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 27k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1316.99/1317.55 c 1269s| 3360k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 27k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1320.89/1321.40 c 1273s| 3370k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 27k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1324.79/1325.30 c 1276s| 3380k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 27k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1328.59/1329.16 c 1280s| 3390k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 27k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1332.49/1333.02 c 1284s| 3400k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 27k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1336.39/1336.96 c 1288s| 3410k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 27k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1340.30/1340.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1340.30/1340.82 c 1291s| 3420k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 27k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1344.19/1344.71 c 1295s| 3430k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 27k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1348.09/1348.69 c 1299s| 3440k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 28k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1351.99/1352.56 c 1303s| 3450k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 28k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1355.88/1356.42 c 1306s| 3460k| 262 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 28k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1359.68/1360.23 c 1310s| 3470k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 28k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1363.39/1364.00 c 1314s| 3480k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 28k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1367.28/1367.80 c 1317s| 3490k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 28k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1370.97/1371.53 c 1321s| 3500k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 28k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1374.78/1375.31 c 1325s| 3510k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 28k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1378.48/1379.09 c 1328s| 3520k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 28k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1382.38/1382.91 c 1332s| 3530k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 28k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1386.07/1386.68 c 1335s| 3540k| 262 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 28k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1389.87/1390.49 c 1339s| 3550k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 28k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1393.77/1394.36 c 1343s| 3560k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 28k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1397.57/1398.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1397.57/1398.15 c 1347s| 3570k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 28k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1401.26/1401.88 c 1350s| 3580k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 28k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1405.07/1405.62 c 1354s| 3590k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 29k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1408.77/1409.39 c 1357s| 3600k| 261 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 29k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1412.56/1413.14 c 1361s| 3610k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 29k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1416.36/1416.92 c 1365s| 3620k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 29k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1420.16/1420.73 c 1368s| 3630k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 29k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1423.96/1424.60 c 1372s| 3640k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 29k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1427.76/1428.36 c 1376s| 3650k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 29k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1431.56/1432.16 c 1379s| 3660k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 29k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1435.25/1435.89 c 1383s| 3670k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 29k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1439.16/1439.71 c 1386s| 3680k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 29k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1442.95/1443.50 c 1390s| 3690k| 269 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 29k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1446.75/1447.38 c 1394s| 3700k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 30k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1450.65/1451.20 c 1398s| 3710k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 30k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1454.34/1454.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1454.34/1454.95 c 1401s| 3720k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 30k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1458.05/1458.67 c 1405s| 3730k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 30k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1461.74/1462.39 c 1408s| 3740k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 30k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1465.42/1466.06 c 1412s| 3750k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 30k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1469.22/1469.84 c 1416s| 3760k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 30k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1473.02/1473.63 c 1419s| 3770k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 30k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1476.82/1477.43 c 1423s| 3780k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 30k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1480.51/1481.18 c 1426s| 3790k| 269 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 30k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1484.42/1485.02 c 1430s| 3800k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 30k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1488.11/1488.79 c 1434s| 3810k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 30k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1492.02/1492.61 c 1437s| 3820k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 30k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1495.71/1496.35 c 1441s| 3830k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 31k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1499.51/1500.10 c 1445s| 3840k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 31k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1503.20/1503.84 c 1448s| 3850k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 31k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1506.91/1507.57 c 1452s| 3860k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 31k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1510.70/1511.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1510.70/1511.34 c 1455s| 3870k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 31k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1514.50/1515.15 c 1459s| 3880k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 31k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1518.30/1518.98 c 1463s| 3890k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 31k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1522.19/1522.81 c 1466s| 3900k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 31k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1525.89/1526.56 c 1470s| 3910k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 31k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1529.70/1530.34 c 1474s| 3920k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 31k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1533.49/1534.19 c 1477s| 3930k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 31k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1537.39/1538.02 c 1481s| 3940k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 31k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1541.20/1541.85 c 1485s| 3950k| 262 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 31k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1545.08/1545.75 c 1489s| 3960k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 32k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1548.89/1549.55 c 1492s| 3970k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 32k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1552.69/1553.35 c 1496s| 3980k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 32k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1556.58/1557.25 c 1500s| 3990k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 32k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1560.38/1561.04 c 1503s| 4000k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 32k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1564.18/1564.86 c 1507s| 4010k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 32k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1567.88/1568.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1567.88/1568.58 c 1511s| 4020k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 32k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1571.77/1572.40 c 1514s| 4030k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 32k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1575.58/1576.25 c 1518s| 4040k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 32k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1579.47/1580.16 c 1522s| 4050k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 32k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1583.38/1584.07 c 1525s| 4060k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 32k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1587.27/1587.97 c 1529s| 4070k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 32k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1591.17/1591.84 c 1533s| 4080k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 32k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1595.07/1595.72 c 1537s| 4090k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 33k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1598.87/1599.55 c 1540s| 4100k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 33k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1602.76/1603.45 c 1544s| 4110k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 33k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1606.56/1607.29 c 1548s| 4120k| 262 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 33k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1610.46/1611.13 c 1551s| 4130k| 260 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 33k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1614.36/1615.01 c 1555s| 4140k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 33k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1618.16/1618.82 c 1559s| 4150k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 33k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1621.96/1622.62 c 1563s| 4160k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 33k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1625.86/1626.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1625.86/1626.54 c 1566s| 4170k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 33k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1629.76/1630.46 c 1570s| 4180k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 33k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1633.55/1634.26 c 1574s| 4190k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 33k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1637.35/1638.04 c 1577s| 4200k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 33k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1641.05/1641.79 c 1581s| 4210k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 33k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1644.95/1645.63 c 1585s| 4220k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 34k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1648.75/1649.48 c 1588s| 4230k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 34k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1652.56/1653.21 c 1592s| 4240k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 34k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1656.35/1657.08 c 1596s| 4250k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 34k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1660.14/1660.86 c 1599s| 4260k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 34k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1663.95/1664.69 c 1603s| 4270k| 262 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 34k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1667.74/1668.48 c 1607s| 4280k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 34k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1671.54/1672.22 c 1610s| 4290k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 34k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1675.24/1675.98 c 1614s| 4300k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 34k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1679.05/1679.71 c 1618s| 4310k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 34k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1682.84/1683.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1682.84/1683.50 c 1621s| 4320k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 34k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1686.54/1687.21 c 1625s| 4330k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 34k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1690.34/1691.04 c 1628s| 4340k| 262 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 34k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1694.03/1694.73 c 1632s| 4350k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 34k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1697.83/1698.53 c 1636s| 4360k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 34k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1701.53/1702.23 c 1639s| 4370k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 34k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1705.23/1705.99 c 1643s| 4380k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 35k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1709.13/1709.87 c 1647s| 4390k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 35k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1712.92/1713.62 c 1650s| 4400k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 35k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1716.62/1717.34 c 1654s| 4410k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 35k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1720.33/1721.05 c 1657s| 4420k| 262 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 35k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1724.13/1724.88 c 1661s| 4430k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 35k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1728.02/1728.71 c 1665s| 4440k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 35k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1731.83/1732.58 c 1668s| 4450k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 35k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1735.62/1736.39 c 1672s| 4460k| 265 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 35k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1739.53/1740.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1739.53/1740.23 c 1676s| 4470k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 35k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1743.41/1744.14 c 1680s| 4480k| 264 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 35k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1747.31/1748.06 c 1683s| 4490k| 262 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 35k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1751.21/1751.90 c 1687s| 4500k| 263 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 35k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1754.92/1755.69 c 1691s| 4510k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 35k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1758.71/1759.48 c 1694s| 4520k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 36k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1762.52/1763.29 c 1698s| 4530k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 36k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1766.41/1767.11 c 1702s| 4540k| 270 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 36k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1770.11/1770.85 c 1705s| 4550k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 36k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1773.91/1774.66 c 1709s| 4560k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 36k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1777.61/1778.39 c 1712s| 4570k| 267 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 36k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1781.31/1782.09 c 1716s| 4580k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 36k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1785.10/1785.81 c 1720s| 4590k| 268 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 36k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1788.91/1789.64 c 1723s| 4600k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 36k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1792.59/1793.36 c 1727s| 4610k| 260 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 36k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1796.39/1797.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1796.39/1797.12 c 1731s| 4620k| 266 | 5785 | 0.0 | 11M| 285 | - |1524 |2954 | 0 | 0 | 48 | 36k| 17 | 9.910000e+02 | 1.169000e+03 | 17.96%
1800.01/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.71 c
1800.01/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.71 c Solving Time (sec) : 1733.98
1800.01/1800.71 c Solving Nodes : 4629543
1800.01/1800.71 c Primal Bound : +1.16900000000000e+03 (14 solutions)
1800.01/1800.71 c Dual Bound : +9.91000000000000e+02
1800.01/1800.71 c Gap : 17.96 %
1800.01/1800.72 s SATISFIABLE
1800.01/1800.72 v x1963 -x1962 -x1961 x1960 x1959 -x1958 -x1957 -x1956 -x1955 x1954 -x1953 x1952 -x1951 x1950 x1949 x1948 -x1947 -x1946 x1945 x1944
1800.01/1800.72 v -x1943 x1942 -x1941 -x1940 -x1939 x1938 -x1937 x1936 x1935 -x1934 x1933 -x1932 x1931 x1930 x1929 x1928 -x1927 x1926 x1925
1800.01/1800.72 v x1924 x1923 -x1922 x1921 x1920 -x1919 x1918 -x1917 x1916 x1915 -x1914 x1913 x1912 x1911 -x1910 x1909 x1908 -x1907 -x1906 x1905
1800.01/1800.72 v -x1904 x1903 x1902 -x1901 -x1900 -x1899 x1898 -x1897 -x1896 x1895 x1894 -x1893 x1892 x1891 x1890 -x1889 x1888 x1887 -x1886
1800.01/1800.72 v x1885 x1884 -x1883 -x1882 x1881 x1880 x1879 x1878 -x1877 x1876 x1875 x1874 x1873 x1872 x1871 x1870 x1869 x1868 -x1867 x1866 x1865
1800.01/1800.72 v -x1864 -x1863 x1862 -x1861 -x1860 -x1859 -x1858 x1857 x1856 -x1855 x1854 x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847
1800.01/1800.72 v x1846 x1845 x1844 x1843 -x1842 x1841 x1840 x1839 -x1838 x1837 x1836 -x1835 x1834 -x1833 x1832 -x1831 x1830 -x1829 x1828 x1827
1800.01/1800.72 v x1826 x1825 x1824 x1823 -x1822 x1821 x1820 x1819 -x1818 -x1817 x1816 x1815 x1814 -x1813 x1812 x1811 -x1810 x1809 x1808 -x1807
1800.01/1800.72 v x1806 -x1805 -x1804 -x1803 x1802 -x1801 x1800 x1799 x1798 -x1797 x1796 x1795 x1794 x1793 x1792 x1791 -x1790 -x1789 x1788 x1787
1800.01/1800.72 v -x1786 x1785 -x1784 x1783 x1782 x1781 x1780 x1779 x1778 x1777 x1776 x1775 -x1774 -x1773 x1772 x1771 x1770 x1769 x1768 x1767
1800.01/1800.72 v x1766 x1765 x1764 -x1763 x1762 x1761 x1760 x1759 x1758 x1757 -x1756 -x1755 x1754 x1753 -x1752 -x1751 x1750 x1749 -x1748 x1747
1800.01/1800.72 v x1746 x1745 -x1744 -x1743 x1742 x1741 x1740 x1739 x1738 x1737 x1736 -x1735 x1734 -x1733 -x1732 x1731 x1730 -x1729 x1728
1800.01/1800.72 v -x1727 x1726 -x1725 -x1724 x1723 x1722 x1721 x1720 -x1719 -x1718 x1717 -x1716 x1715 -x1714 x1713 -x1712 x1711 -x1710 x1709 -x1708
1800.01/1800.72 v x1707 -x1706 x1705 -x1704 -x1703 -x1702 x1701 x1700 x1699 -x1698 x1697 -x1696 x1695 -x1694 -x1693 -x1692 -x1691 x1690 -x1689
1800.01/1800.72 v x1688 -x1687 -x1686 x1685 -x1684 x1683 -x1682 x1681 -x1680 x1679 -x1678 x1677 -x1676 x1675 -x1674 -x1673 -x1672 -x1671 -x1670
1800.01/1800.72 v -x1669 -x1668 -x1667 -x1666 -x1665 x1664 x1663 x1662 -x1661 -x1660 x1659 x1658 x1657 -x1656 -x1655 -x1654 x1653 x1652 x1651
1800.01/1800.72 v -x1650 x1649 x1648 x1647 x1646 x1645 -x1644 -x1643 x1642 x1641 x1640 x1639 x1638 x1637 -x1636 -x1635 x1634 -x1633 x1632
1800.01/1800.72 v x1631 x1630 -x1629 -x1628 x1627 -x1626 -x1625 x1624 -x1623 -x1622 x1621 x1620 -x1619 x1618 x1617 x1616 x1615 x1614 x1613 x1612
1800.01/1800.72 v -x1611 x1610 x1609 x1608 x1607 x1606 -x1605 x1604 -x1603 x1602 x1601 x1600 x1599 x1598 x1597 x1596 x1595 -x1594 -x1593 x1592
1800.01/1800.72 v x1591 x1590 x1589 -x1588 x1587 x1586 -x1585 x1584 -x1583 x1582 x1581 x1580 x1579 x1578 x1577 x1576 x1575 -x1574 -x1573 -x1572
1800.01/1800.72 v x1571 -x1570 x1569 x1568 -x1567 -x1566 x1565 -x1564 x1563 x1562 -x1561 -x1560 x1559 x1558 x1557 -x1556 x1555 -x1554 x1553
1800.01/1800.72 v x1552 x1551 x1550 -x1549 -x1548 x1547 x1546 x1545 x1544 x1543 x1542 x1541 -x1540 x1539 -x1538 x1537 -x1536 x1535 -x1534 -x1533
1800.01/1800.72 v x1532 -x1531 x1530 -x1529 x1528 -x1527 -x1526 -x1525 x1524 x1523 x1522 -x1521 x1520 x1519 x1518 x1517 x1516 x1515 x1514 -x1513
1800.01/1800.72 v x1512 -x1511 x1510 -x1509 x1508 -x1507 x1506 x1505 x1504 x1503 -x1502 x1501 -x1500 -x1499 -x1498 x1497 -x1496 x1495 x1494
1800.01/1800.72 v x1493 -x1492 x1491 -x1490 -x1489 x1488 x1487 -x1486 x1485 -x1484 x1483 x1482 -x1481 x1480 x1479 x1478 x1477 x1476 x1475 x1474
1800.01/1800.72 v -x1473 x1472 x1471 x1470 -x1469 x1468 x1467 x1466 -x1465 x1464 x1463 x1462 -x1461 x1460 x1459 x1458 x1457 x1456 x1455 x1454
1800.01/1800.72 v x1453 x1452 x1451 x1450 x1449 x1448 x1447 x1446 x1445 -x1444 x1443 x1442 x1441 x1440 x1439 -x1438 x1437 x1436 x1435 -x1434 x1433
1800.01/1800.72 v x1432 x1431 x1430 x1429 -x1428 -x1427 x1426 x1425 -x1424 -x1423 x1422 x1421 x1420 x1419 x1418 x1417 x1416 x1415 x1414 x1413
1800.01/1800.72 v x1412 x1411 x1410 -x1409 -x1408 -x1407 -x1406 -x1405 x1404 x1403 x1402 x1401 x1400 x1399 -x1398 x1397 -x1396 x1395 x1394
1800.01/1800.72 v -x1393 x1392 x1391 x1390 x1389 -x1388 -x1387 x1386 x1385 x1384 x1383 x1382 x1381 -x1380 -x1379 x1378 -x1377 x1376 x1375 x1374
1800.01/1800.72 v x1373 x1372 x1371 x1370 x1369 x1368 x1367 x1366 -x1365 x1364 x1363 x1362 x1361 x1360 x1359 x1358 x1357 x1356 x1355 -x1354 -x1353
1800.01/1800.72 v -x1352 x1351 x1350 x1349 x1348 x1347 -x1346 x1345 -x1344 -x1343 x1342 x1341 x1340 x1339 x1338 -x1337 x1336 -x1335 x1334
1800.01/1800.72 v x1333 x1332 x1331 x1330 x1329 -x1328 -x1327 x1326 x1325 -x1324 -x1323 -x1322 x1321 x1320 x1319 x1318 x1317 x1316 x1315 x1314
1800.01/1800.72 v x1313 -x1312 -x1311 x1310 x1309 x1308 x1307 x1306 x1305 x1304 x1303 -x1302 x1301 x1300 x1299 x1298 x1297 x1296 x1295 x1294 x1293
1800.01/1800.72 v x1292 x1291 x1290 x1289 x1288 x1287 x1286 x1285 x1284 x1283 x1282 x1281 -x1280 -x1279 x1278 -x1277 x1276 x1275 x1274 x1273
1800.01/1800.72 v x1272 -x1271 x1270 x1269 x1268 -x1267 x1266 x1265 -x1264 -x1263 x1262 x1261 -x1260 -x1259 x1258 x1257 x1256 x1255 x1254 -x1253
1800.01/1800.72 v -x1252 x1251 x1250 x1249 -x1248 -x1247 -x1246 x1245 x1244 x1243 x1242 x1241 x1240 -x1239 x1238 x1237 x1236 x1235 x1234 x1233
1800.01/1800.72 v x1232 x1231 x1230 x1229 x1228 x1227 -x1226 x1225 -x1224 -x1223 x1222 x1221 x1220 x1219 x1218 -x1217 -x1216 x1215 x1214 x1213
1800.01/1800.72 v x1212 x1211 -x1210 x1209 -x1208 -x1207 -x1206 x1205 x1204 -x1203 x1202 -x1201 x1200 x1199 x1198 x1197 x1196 x1195 x1194 -x1193
1800.01/1800.72 v x1192 x1191 -x1190 x1189 x1188 -x1187 -x1186 x1185 -x1184 x1183 -x1182 x1181 x1180 x1179 x1178 x1177 x1176 x1175 x1174
1800.01/1800.72 v x1173 -x1172 -x1171 x1170 -x1169 x1168 x1167 x1166 x1165 x1164 -x1163 x1162 x1161 x1160 -x1159 x1158 x1157 x1156 x1155 x1154
1800.01/1800.72 v x1153 -x1152 -x1151 x1150 x1149 x1148 x1147 x1146 x1145 x1144 -x1143 x1142 x1141 x1140 x1139 x1138 x1137 -x1136 x1135 x1134 x1133
1800.01/1800.72 v x1132 -x1131 -x1130 x1129 -x1128 x1127 x1126 -x1125 x1124 x1123 x1122 x1121 x1120 x1119 -x1118 x1117 x1116 x1115 x1114 x1113
1800.01/1800.72 v -x1112 x1111 -x1110 x1109 x1108 x1107 x1106 x1105 x1104 x1103 x1102 x1101 -x1100 x1099 x1098 x1097 x1096 x1095 -x1094 x1093
1800.01/1800.72 v x1092 x1091 x1090 x1089 -x1088 x1087 -x1086 -x1085 -x1084 x1083 -x1082 x1081 x1080 -x1079 x1078 x1077 -x1076 x1075 x1074
1800.01/1800.72 v x1073 x1072 x1071 x1070 x1069 x1068 -x1067 x1066 x1065 x1064 x1063 -x1062 x1061 -x1060 -x1059 -x1058 x1057 x1056 -x1055 -x1054
1800.01/1800.72 v x1053 x1052 x1051 x1050 -x1049 -x1048 x1047 x1046 x1045 -x1044 x1043 x1042 x1041 -x1040 x1039 -x1038 x1037 -x1036 x1035 -x1034
1800.01/1800.72 v x1033 x1032 x1031 x1030 x1029 x1028 x1027 x1026 x1025 x1024 x1023 x1022 x1021 -x1020 x1019 -x1018 x1017 x1016 x1015 x1014
1800.01/1800.72 v x1013 x1012 x1011 x1010 x1009 -x1008 -x1007 x1006 -x1005 x1004 x1003 x1002 -x1001 x1000 x999 -x998 -x997 -x996 x995 x994 x993
1800.01/1800.72 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.01/1800.72 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.01/1800.72 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.01/1800.72 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.01/1800.72 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.01/1800.72 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.01/1800.72 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.01/1800.72 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.01/1800.72 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.01/1800.72 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.01/1800.72 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.01/1800.72 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.01/1800.72 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.01/1800.72 v -x686 -x685 x684 x683 x682 -x681 x680 x679 x678 -x677 -x676 -x675 x674 x673 x672 -x671 -x670 -x669 -x668 x667 x666 -x665
1800.01/1800.72 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.01/1800.72 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.01/1800.72 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.01/1800.72 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.01/1800.72 v -x571 x570 x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 x561 x560 -x559 x558 -x557 -x556 -x555 -x554 x553 -x552 x551 -x550
1800.01/1800.72 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.01/1800.72 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.01/1800.72 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.01/1800.72 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.01/1800.72 v -x455 -x454 -x453 x452 x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 -x443 x442 x441 x440 -x439 -x438 -x437 -x436 x435 -x434
1800.01/1800.72 v -x433 -x432 -x431 -x430 x429 x428 -x427 -x426 x425 -x424 x423 x422 x421 x420 -x419 -x418 -x417 -x416 x415 x414 -x413 -x412
1800.01/1800.72 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.01/1800.72 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.01/1800.72 v x365 x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 x356 -x355 -x354 -x353 x352 -x351 -x350 -x349 -x348 -x347 x346 x345 x344
1800.01/1800.72 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.01/1800.72 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.01/1800.72 v x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 x287 x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 -x278 -x277
1800.01/1800.72 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.01/1800.72 v -x253 -x252 -x251 -x250 -x249 x248 -x247 x246 -x245 x244 x243 -x242 x241 -x240 -x239 x238 x237 x236 x235 -x234 -x233 x232
1800.01/1800.72 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.01/1800.72 v -x208 -x207 -x206 -x205 -x204 x203 x202 x201 x200 x199 -x198 x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187
1800.01/1800.72 v -x186 x185 x184 x183 -x182 -x181 x180 -x179 -x178 x177 -x176 x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165
1800.01/1800.72 v -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 x145 -x144 x143
1800.01/1800.72 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.01/1800.72 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.01/1800.72 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.01/1800.72 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.01/1800.72 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.01/1800.72 v -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.01/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.72 c Solving Time : 1733.98
1800.01/1800.72 c Original Problem :
1800.01/1800.72 c Problem name : HOME/instance-2666915-1276389398.opb
1800.01/1800.72 c Variables : 1963 (1963 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.72 c Constraints : 4000 initial, 4000 maximal
1800.01/1800.72 c Presolved Problem :
1800.01/1800.72 c Problem name : t_HOME/instance-2666915-1276389398.opb
1800.01/1800.72 c Variables : 1524 (1524 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.72 c Constraints : 2954 initial, 2954 maximal
1800.01/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.72 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.72 c dualfix : 0.00 207 0 0 0 0 0 0 0
1800.01/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c probing : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.72 c linear : 0.04 0 232 0 0 0 1046 0 0
1800.01/1800.72 c logicor : 0.04 0 0 0 0 0 0 0 0
1800.01/1800.72 c root node : - 0 - - 0 - - - -
1800.01/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.72 c integral : 0 0 0 1 0 0 0 0 0 2
1800.01/1800.72 c logicor : 2954+ 15 4970698 0 0 36786 20548537 0 0 0
1800.01/1800.72 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.72 c integral : 19.14 0.00 0.00 19.14 0.00
1800.01/1800.72 c logicor : 120.42 0.00 120.42 0.00 0.00
1800.01/1800.72 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.72 c vbounds : 4.06 2 0 0
1800.01/1800.72 c rootredcost : 3.49 0 0 0
1800.01/1800.72 c pseudoobj : 1151.20 8460691 2282394 38262260
1800.01/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.72 c propagation : 55.74 36786 36786 36786 258.8 0 0.0 -
1800.01/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.72 c pseudo solution : 0.00 1 0 0 0.0 0 0.0 -
1800.01/1800.72 c applied globally : - - - 0 0.0 - - -
1800.01/1800.72 c applied locally : - - - 36786 258.8 - - -
1800.01/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.72 c cut pool : 0.01 14 - - 13 - (maximal pool size: 194)
1800.01/1800.72 c redcost : 0.00 15 0 0 0 0
1800.01/1800.72 c impliedbounds : 0.01 15 0 0 0 0
1800.01/1800.72 c intobj : 0.00 0 0 0 0 0
1800.01/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.72 c gomory : 1.65 15 0 0 7500 0
1800.01/1800.72 c strongcg : 1.57 15 0 0 7500 0
1800.01/1800.72 c cmir : 0.19 10 0 0 0 0
1800.01/1800.72 c flowcover : 0.15 10 0 0 0 0
1800.01/1800.72 c clique : 0.01 15 0 0 8 0
1800.01/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.72 c mcf : 0.03 1 0 0 0 0
1800.01/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.72 c Pricers : Time Calls Vars
1800.01/1800.72 c problem variables: 0.00 0 0
1800.01/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.72 c relpscost : 19.14 1 0 0 0 0 2
1800.01/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.72 c inference : 198.01 2321114 0 0 0 0 4642228
1800.01/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.72 c random : 0.00 0 0 0 0 0 0
1800.01/1800.72 c Primal Heuristics : Time Calls Found
1800.01/1800.72 c LP solutions : 0.00 - 0
1800.01/1800.72 c pseudo solutions : 0.00 - 0
1800.01/1800.72 c crossover : 0.00 0 0
1800.01/1800.72 c oneopt : 3.18 2 1
1800.01/1800.72 c trivial : 0.02 2 3
1800.01/1800.72 c simplerounding : 0.00 16 9
1800.01/1800.72 c zirounding : 0.01 1 1
1800.01/1800.72 c rounding : 2.21 16 0
1800.01/1800.72 c shifting : 2.25 16 0
1800.01/1800.72 c intshifting : 0.00 0 0
1800.01/1800.72 c twoopt : 0.00 0 0
1800.01/1800.72 c fixandinfer : 0.00 0 0
1800.01/1800.72 c feaspump : 0.00 0 0
1800.01/1800.72 c coefdiving : 0.00 0 0
1800.01/1800.72 c pscostdiving : 0.00 0 0
1800.01/1800.72 c fracdiving : 0.00 0 0
1800.01/1800.72 c veclendiving : 0.00 0 0
1800.01/1800.72 c intdiving : 0.00 0 0
1800.01/1800.72 c actconsdiving : 0.00 0 0
1800.01/1800.72 c objpscostdiving : 0.00 0 0
1800.01/1800.72 c rootsoldiving : 0.00 0 0
1800.01/1800.72 c linesearchdiving : 0.00 0 0
1800.01/1800.72 c guideddiving : 0.00 0 0
1800.01/1800.72 c octane : 0.00 0 0
1800.01/1800.72 c rens : 0.01 0 0
1800.01/1800.72 c rins : 0.00 0 0
1800.01/1800.72 c localbranching : 0.00 0 0
1800.01/1800.72 c mutation : 0.00 0 0
1800.01/1800.72 c dins : 0.00 0 0
1800.01/1800.72 c undercover : 0.00 0 0
1800.01/1800.72 c nlp : 2.81 0 0
1800.01/1800.72 c trysol : 1.92 0 0
1800.01/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.72 c primal LP : 0.01 0 0 0.00 0.00
1800.01/1800.72 c dual LP : 3.62 16 5785 361.56 1598.07
1800.01/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.72 c strong branching : 19.14 17 16463 968.41 860.14
1800.01/1800.72 c (at root node) : - 17 16463 968.41 -
1800.01/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.72 c B&B Tree :
1800.01/1800.72 c number of runs : 1
1800.01/1800.72 c nodes : 4629543
1800.01/1800.72 c nodes (total) : 4629543
1800.01/1800.72 c nodes left : 266
1800.01/1800.72 c max depth : 285
1800.01/1800.72 c max depth (total): 285
1800.01/1800.72 c backtracks : 1195883 (25.8%)
1800.01/1800.72 c delayed cutoffs : 12422
1800.01/1800.72 c repropagations : 17714 (291075 domain reductions, 10753 cutoffs)
1800.01/1800.72 c avg switch length: 2.00
1800.01/1800.72 c switching time : 95.36
1800.01/1800.72 c Solution :
1800.01/1800.72 c Solutions found : 14 (3 improvements)
1800.01/1800.72 c First Solution : +1.96300000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.01/1800.72 c Primal Bound : +1.16900000000000e+03 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <oneopt>)
1800.01/1800.72 c Dual Bound : +9.91000000000000e+02
1800.01/1800.72 c Gap : 17.96 %
1800.01/1800.72 c Root Dual Bound : +9.91000000000000e+02
1800.01/1800.72 c Root Iterations : 5785
1800.01/1800.75 c Time complete: 1800.06.