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-2667036-1276392924.opb>
0.06/0.08 c original problem has 1964 variables (1964 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.06/0.08 c problem read
0.06/0.08 c presolving settings loaded
0.09/0.10 o 1964
0.09/0.10 c feasible solution found by trivial heuristic, objective value 1.964000e+03
0.09/0.10 c presolving:
0.09/0.13 c (round 1) 149 del vars, 149 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.14 c (round 2) 307 del vars, 707 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.14 c (round 3) 354 del vars, 822 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.15 c (round 4) 389 del vars, 944 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.16 c (round 5) 408 del vars, 991 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.16 c (round 6) 416 del vars, 1016 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.17 c (round 7) 419 del vars, 1022 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.19/0.22 c (round 8) 419 del vars, 1024 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2975 upgd conss, 7996 impls, 0 clqs
0.19/0.24 c (round 9) 420 del vars, 1025 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2975 upgd conss, 7996 impls, 0 clqs
0.19/0.24 c (round 10) 421 del vars, 1028 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2975 upgd conss, 7996 impls, 0 clqs
0.19/0.28 c (0.1s) probing: 101/1543 (6.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.28 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.28 c presolving (11 rounds):
0.19/0.28 c 421 deleted vars, 1028 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.28 c 7996 implications, 0 cliques
0.19/0.28 c presolved problem has 1543 variables (1543 bin, 0 int, 0 impl, 0 cont) and 2972 constraints
0.19/0.28 c 2972 constraints of type <logicor>
0.19/0.28 c transformed objective value is always integral (scale: 1)
0.19/0.28 c Presolving Time: 0.14
0.19/0.28 c - non default parameters ----------------------------------------------------------------------
0.19/0.28 c # SCIP version 1.2.1.2
0.19/0.28 c
0.19/0.28 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.28 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.28 c conflict/interconss = 0
0.19/0.28 c
0.19/0.28 c # should binary conflicts be preferred?
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c conflict/preferbinary = TRUE
0.19/0.28 c
0.19/0.28 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.28 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.28 c constraints/agelimit = 1
0.19/0.28 c
0.19/0.28 c # should enforcement of pseudo solution be disabled?
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c constraints/disableenfops = TRUE
0.19/0.28 c
0.19/0.28 c # frequency for displaying node information lines
0.19/0.28 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.28 c display/freq = 10000
0.19/0.28 c
0.19/0.28 c # maximal time in seconds to run
0.19/0.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28 c limits/time = 1799.93
0.19/0.28 c
0.19/0.28 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28 c limits/memory = 1620
0.19/0.28 c
0.19/0.28 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.28 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.28 c lp/solvefreq = 0
0.19/0.28 c
0.19/0.28 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.28 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.28 c lp/pricing = a
0.19/0.28 c
0.19/0.28 c # should presolving try to simplify inequalities
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c constraints/linear/simplifyinequalities = TRUE
0.19/0.28 c
0.19/0.28 c # should presolving try to simplify knapsacks
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.28 c
0.19/0.28 c # priority of node selection rule <dfs> in standard mode
0.19/0.28 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.28 c nodeselection/dfs/stdpriority = 1000000
0.19/0.28 c
0.19/0.28 c -----------------------------------------------------------------------------------------------
0.19/0.28 c start solving
0.19/0.28 c
0.19/0.28 o 1750
0.19/0.28 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.28 c t 0.1s| 1 | 0 | 0 | - |5812k| 0 | - |1543 |2972 | 0 | 0 | 0 | 0 | 0 | -- | 1.750000e+03 | Inf
0.29/0.30 o 1168
0.29/0.30 c b 0.2s| 1 | 0 | 0 | - |7426k| 0 | - |1543 |2972 |1543 |2972 | 0 | 0 | 0 | -- | 1.168000e+03 | Inf
0.59/0.63 c 0.5s| 1 | 0 | 2084 | - |7402k| 0 |1539 |1543 |2972 |1543 |2972 | 0 | 0 | 0 | 9.785000e+02 | 1.168000e+03 | 19.37%
1.19/1.24 c 1.1s| 1 | 0 | 2294 | - |7524k| 0 |1528 |1543 |2972 |1543 |2982 | 10 | 0 | 0 | 9.830000e+02 | 1.168000e+03 | 18.82%
1.79/1.81 c 1.6s| 1 | 0 | 2480 | - |7550k| 0 |1524 |1543 |2972 |1543 |2984 | 12 | 0 | 0 | 9.840000e+02 | 1.168000e+03 | 18.70%
2.20/2.29 c 2.1s| 1 | 0 | 2529 | - |7576k| 0 |1522 |1543 |2972 |1543 |2986 | 14 | 0 | 0 | 9.850000e+02 | 1.168000e+03 | 18.58%
2.79/2.86 c 2.7s| 1 | 0 | 2721 | - |7577k| 0 |1520 |1543 |2972 |1543 |2988 | 16 | 0 | 0 | 9.860000e+02 | 1.168000e+03 | 18.46%
3.29/3.34 c 3.2s| 1 | 0 | 2750 | - |7589k| 0 |1519 |1543 |2972 |1543 |2990 | 18 | 0 | 0 | 9.865000e+02 | 1.168000e+03 | 18.40%
3.79/3.84 c 3.7s| 1 | 0 | 2788 | - |7601k| 0 |1517 |1543 |2972 |1543 |2993 | 21 | 0 | 0 | 9.875000e+02 | 1.168000e+03 | 18.28%
4.59/4.60 c 4.4s| 1 | 0 | 2976 | - |7933k| 0 |1510 |1543 |2972 |1543 |2997 | 25 | 0 | 0 | 9.880000e+02 | 1.168000e+03 | 18.22%
5.19/5.25 c 5.0s| 1 | 0 | 3164 | - |7971k| 0 |1510 |1543 |2972 |1543 |2999 | 27 | 0 | 0 | 9.880000e+02 | 1.168000e+03 | 18.22%
5.79/5.85 c 5.7s| 1 | 0 | 3346 | - |7973k| 0 |1508 |1543 |2972 |1543 |3000 | 28 | 0 | 0 | 9.880000e+02 | 1.168000e+03 | 18.22%
6.39/6.46 c 6.2s| 1 | 0 | 3559 | - |7998k| 0 |1509 |1543 |2972 |1543 |3001 | 29 | 0 | 0 | 9.885000e+02 | 1.168000e+03 | 18.16%
6.99/7.02 c 6.8s| 1 | 0 | 3699 | - |8043k| 0 |1508 |1543 |2972 |1543 |3003 | 31 | 0 | 0 | 9.890000e+02 | 1.168000e+03 | 18.10%
7.99/8.03 c 7.8s| 1 | 0 | 4053 | - |8503k| 0 |1504 |1543 |2972 |1543 |3007 | 35 | 0 | 0 | 9.900000e+02 | 1.168000e+03 | 17.98%
8.89/8.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.89/8.97 c 8.7s| 1 | 0 | 4556 | - |8596k| 0 |1503 |1543 |2972 |1543 |3010 | 38 | 0 | 0 | 9.905000e+02 | 1.168000e+03 | 17.92%
9.69/9.70 c 9.4s| 1 | 0 | 4864 | - |8673k| 0 |1503 |1543 |2972 |1543 |3012 | 40 | 0 | 0 | 9.910000e+02 | 1.168000e+03 | 17.86%
10.69/10.77 c 10.5s| 1 | 0 | 5400 | - |9147k| 0 |1488 |1543 |2972 |1543 |3016 | 44 | 0 | 0 | 9.910000e+02 | 1.168000e+03 | 17.86%
11.39/11.47 c 11.2s| 1 | 0 | 5753 | - |9173k| 0 |1486 |1543 |2972 |1543 |3017 | 45 | 0 | 0 | 9.910000e+02 | 1.168000e+03 | 17.86%
12.10/12.13 c 11.8s| 1 | 0 | 6057 | - |9209k| 0 |1483 |1543 |2972 |1543 |3015 | 47 | 0 | 0 | 9.915000e+02 | 1.168000e+03 | 17.80%
12.78/12.86 c 12.6s| 1 | 0 | 6278 | - |9366k| 0 |1483 |1543 |2972 |1543 |3017 | 49 | 0 | 0 | 9.920000e+02 | 1.168000e+03 | 17.74%
14.08/14.14 c 13.8s| 1 | 0 | 7025 | - |9545k| 0 |1507 |1543 |2972 |1543 |3021 | 53 | 0 | 0 | 9.920000e+02 | 1.168000e+03 | 17.74%
14.98/15.00 c 14.7s| 1 | 0 | 7282 | - |9617k| 0 |1506 |1543 |2972 |1543 |3023 | 55 | 0 | 0 | 9.920000e+02 | 1.168000e+03 | 17.74%
15.69/15.78 c 15.4s| 1 | 0 | 7623 | - |9755k| 0 |1501 |1543 |2972 |1543 |3026 | 58 | 0 | 0 | 9.920000e+02 | 1.168000e+03 | 17.74%
16.59/16.64 c 16.3s| 1 | 0 | 7974 | - |9942k| 0 |1495 |1543 |2972 |1543 |3028 | 60 | 0 | 0 | 9.920000e+02 | 1.168000e+03 | 17.74%
17.50/17.56 c 17.2s| 1 | 0 | 8325 | - | 10M| 0 |1510 |1543 |2972 |1543 |3025 | 61 | 0 | 0 | 9.920000e+02 | 1.168000e+03 | 17.74%
36.78/36.83 c 36.3s| 1 | 2 | 8325 | - | 10M| 0 |1510 |1543 |2972 |1543 |3025 | 61 | 0 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
40.48/40.53 c 39.8s| 10000 | 277 | 8325 | 0.0 | 10M| 291 | - |1543 |2972 | 0 | 0 | 61 | 124 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
44.08/44.16 c 43.3s| 20000 | 277 | 8325 | 0.0 | 10M| 291 | - |1543 |2972 | 0 | 0 | 61 | 171 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
47.68/47.78 c 46.8s| 30000 | 280 | 8325 | 0.0 | 10M| 291 | - |1543 |2972 | 0 | 0 | 61 | 221 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
51.28/51.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.28/51.35 c 50.2s| 40000 | 276 | 8325 | 0.0 | 10M| 291 | - |1543 |2972 | 0 | 0 | 61 | 275 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
54.99/55.02 c 53.7s| 50000 | 278 | 8325 | 0.0 | 10M| 291 | - |1543 |2972 | 0 | 0 | 61 | 356 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
58.58/58.63 c 57.2s| 60000 | 276 | 8325 | 0.0 | 10M| 291 | - |1543 |2972 | 0 | 0 | 61 | 404 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
62.18/62.24 c 60.7s| 70000 | 279 | 8325 | 0.0 | 10M| 291 | - |1543 |2972 | 0 | 0 | 61 | 455 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
65.77/65.80 c 64.1s| 80000 | 277 | 8325 | 0.0 | 10M| 291 | - |1543 |2972 | 0 | 0 | 61 | 505 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
69.28/69.35 c 67.5s| 90000 | 279 | 8325 | 0.0 | 10M| 291 | - |1543 |2972 | 0 | 0 | 61 | 557 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
72.87/72.93 c 71.0s|100000 | 276 | 8325 | 0.0 | 10M| 291 | - |1543 |2972 | 0 | 0 | 61 | 615 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
76.37/76.48 c 74.3s|110000 | 277 | 8325 | 0.0 | 10M| 291 | - |1543 |2972 | 0 | 0 | 61 | 665 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
79.87/79.96 c 77.7s|120000 | 277 | 8325 | 0.0 | 10M| 291 | - |1543 |2972 | 0 | 0 | 61 | 714 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
83.48/83.58 c 81.2s|130000 | 278 | 8325 | 0.0 | 10M| 291 | - |1543 |2972 | 0 | 0 | 61 | 791 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
87.07/87.17 c 84.6s|140000 | 274 | 8325 | 0.0 | 10M| 291 | - |1543 |2972 | 0 | 0 | 61 | 860 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
90.67/90.77 c 88.1s|150000 | 273 | 8325 | 0.0 | 10M| 292 | - |1543 |2972 | 0 | 0 | 61 | 915 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
94.27/94.38 c 91.6s|160000 | 274 | 8325 | 0.0 | 10M| 292 | - |1543 |2972 | 0 | 0 | 61 | 975 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
97.87/97.98 c 95.0s|170000 | 279 | 8325 | 0.0 | 10M| 292 | - |1543 |2972 | 0 | 0 | 61 |1034 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
101.36/101.48 c 98.4s|180000 | 276 | 8325 | 0.0 | 10M| 292 | - |1543 |2972 | 0 | 0 | 61 |1083 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
104.97/105.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.97/105.03 c 102s|190000 | 279 | 8325 | 0.0 | 10M| 292 | - |1543 |2972 | 0 | 0 | 61 |1147 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
108.56/108.65 c 105s|200000 | 279 | 8325 | 0.0 | 10M| 292 | - |1543 |2972 | 0 | 0 | 61 |1215 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
112.17/112.23 c 109s|210000 | 277 | 8325 | 0.0 | 10M| 292 | - |1543 |2972 | 0 | 0 | 61 |1286 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
115.76/115.80 c 112s|220000 | 276 | 8325 | 0.0 | 10M| 292 | - |1543 |2972 | 0 | 0 | 61 |1337 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
119.26/119.37 c 116s|230000 | 277 | 8325 | 0.0 | 10M| 292 | - |1543 |2972 | 0 | 0 | 61 |1387 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
122.86/122.91 c 119s|240000 | 274 | 8325 | 0.0 | 10M| 292 | - |1543 |2972 | 0 | 0 | 61 |1440 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
126.37/126.47 c 122s|250000 | 275 | 8325 | 0.0 | 10M| 292 | - |1543 |2972 | 0 | 0 | 61 |1498 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
129.96/130.00 c 126s|260000 | 277 | 8325 | 0.0 | 10M| 292 | - |1543 |2972 | 0 | 0 | 61 |1557 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
133.46/133.59 c 129s|270000 | 275 | 8325 | 0.0 | 10M| 292 | - |1543 |2972 | 0 | 0 | 61 |1619 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
137.06/137.15 c 133s|280000 | 273 | 8325 | 0.0 | 10M| 292 | - |1543 |2972 | 0 | 0 | 61 |1671 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
140.56/140.67 c 136s|290000 | 276 | 8325 | 0.0 | 10M| 292 | - |1543 |2972 | 0 | 0 | 61 |1717 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
144.15/144.21 c 139s|300000 | 278 | 8325 | 0.0 | 10M| 292 | - |1543 |2972 | 0 | 0 | 61 |1770 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
147.66/147.76 c 143s|310000 | 278 | 8325 | 0.0 | 10M| 292 | - |1543 |2972 | 0 | 0 | 61 |1809 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
151.15/151.26 c 146s|320000 | 275 | 8325 | 0.0 | 10M| 292 | - |1543 |2972 | 0 | 0 | 61 |1857 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
154.76/154.88 c 150s|330000 | 278 | 8325 | 0.0 | 10M| 292 | - |1543 |2972 | 0 | 0 | 61 |1903 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
158.36/158.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.36/158.42 c 153s|340000 | 276 | 8325 | 0.0 | 10M| 292 | - |1543 |2972 | 0 | 0 | 61 |1938 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
161.85/161.98 c 156s|350000 | 273 | 8325 | 0.0 | 10M| 292 | - |1543 |2972 | 0 | 0 | 61 |1987 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
165.45/165.52 c 160s|360000 | 279 | 8325 | 0.0 | 10M| 292 | - |1543 |2972 | 0 | 0 | 61 |2042 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
169.05/169.18 c 163s|370000 | 275 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |2095 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
172.75/172.82 c 167s|380000 | 276 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |2142 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
176.25/176.37 c 170s|390000 | 276 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |2188 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
179.75/179.86 c 174s|400000 | 275 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |2230 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
183.25/183.36 c 177s|410000 | 275 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |2270 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
186.74/186.89 c 180s|420000 | 273 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |2319 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
190.26/190.37 c 184s|430000 | 276 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |2372 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
193.75/193.86 c 187s|440000 | 277 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |2420 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
197.34/197.41 c 191s|450000 | 274 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |2469 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
200.84/200.91 c 194s|460000 | 277 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |2514 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
204.34/204.41 c 197s|470000 | 277 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |2555 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
207.74/207.90 c 201s|480000 | 279 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |2594 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
211.34/211.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
211.34/211.41 c 204s|490000 | 274 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |2632 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
214.93/215.06 c 207s|500000 | 276 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |2711 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
218.63/218.76 c 211s|510000 | 275 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |2791 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
222.33/222.47 c 215s|520000 | 278 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |2863 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
226.03/226.12 c 218s|530000 | 273 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |2947 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
229.63/229.77 c 222s|540000 | 278 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |3008 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
233.33/233.42 c 225s|550000 | 277 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |3073 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
236.93/237.10 c 229s|560000 | 278 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |3136 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
240.63/240.76 c 232s|570000 | 275 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |3201 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
244.33/244.45 c 236s|580000 | 275 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |3258 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
247.93/248.07 c 239s|590000 | 277 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |3303 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
251.52/251.64 c 243s|600000 | 277 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |3350 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
255.13/255.21 c 246s|610000 | 275 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |3401 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
258.63/258.79 c 249s|620000 | 277 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |3452 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
262.23/262.38 c 253s|630000 | 276 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |3505 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
265.92/266.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
265.92/266.02 c 256s|640000 | 273 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |3561 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
269.52/269.63 c 260s|650000 | 275 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |3634 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
273.13/273.21 c 263s|660000 | 275 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |3680 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
276.72/276.83 c 267s|670000 | 273 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |3725 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
280.33/280.43 c 270s|680000 | 277 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |3774 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
283.82/283.94 c 274s|690000 | 278 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |3819 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
287.42/287.52 c 277s|700000 | 274 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |3874 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
291.02/291.13 c 281s|710000 | 276 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |3939 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
294.63/294.72 c 284s|720000 | 277 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |3992 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
298.22/298.34 c 287s|730000 | 277 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |4051 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
301.82/301.96 c 291s|740000 | 271 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |4112 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
305.42/305.53 c 294s|750000 | 277 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |4171 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
308.92/309.09 c 298s|760000 | 275 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |4228 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
312.51/312.67 c 301s|770000 | 275 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |4279 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
316.12/316.21 c 305s|780000 | 277 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |4330 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
319.71/319.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
319.71/319.83 c 308s|790000 | 275 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |4381 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
323.31/323.44 c 312s|800000 | 275 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |4440 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
326.90/327.09 c 315s|810000 | 276 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |4479 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
330.51/330.60 c 318s|820000 | 274 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |4522 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
334.00/334.14 c 322s|830000 | 278 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |4564 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
337.62/337.71 c 325s|840000 | 276 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |4603 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
341.10/341.20 c 329s|850000 | 272 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |4636 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
344.60/344.72 c 332s|860000 | 276 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |4671 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
348.10/348.25 c 335s|870000 | 275 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |4705 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
351.71/351.82 c 339s|880000 | 275 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |4756 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
355.21/355.38 c 342s|890000 | 274 | 8325 | 0.0 | 10M| 293 | - |1543 |2972 | 0 | 0 | 61 |4811 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
358.90/359.08 c 346s|900000 | 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |4878 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
362.50/362.64 c 349s|910000 | 277 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |4919 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
365.99/366.17 c 353s|920000 | 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |4963 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
369.50/369.70 c 356s|930000 | 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |5004 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
373.09/373.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
373.09/373.29 c 359s|940000 | 277 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |5045 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
376.69/376.83 c 363s|950000 | 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |5090 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
380.20/380.37 c 366s|960000 | 277 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |5136 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
383.70/383.87 c 370s|970000 | 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |5184 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
387.29/387.47 c 373s|980000 | 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |5228 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
390.80/391.00 c 376s|990000 | 277 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |5277 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
394.39/394.57 c 380s| 1000k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |5322 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
398.00/398.18 c 383s| 1010k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |5372 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
401.60/401.71 c 387s| 1020k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |5418 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
405.19/405.30 c 390s| 1030k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |5473 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
408.69/408.88 c 394s| 1040k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |5510 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
412.19/412.39 c 397s| 1050k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |5549 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
415.79/415.95 c 400s| 1060k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |5586 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
419.39/419.55 c 404s| 1070k| 278 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |5639 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
422.99/423.10 c 407s| 1080k| 276 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |5687 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
426.48/426.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
426.48/426.63 c 411s| 1090k| 277 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |5733 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
429.99/430.13 c 414s| 1100k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |5784 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
433.48/433.60 c 417s| 1110k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |5822 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
436.88/437.08 c 421s| 1120k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |5863 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
440.48/440.62 c 424s| 1130k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |5910 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
443.98/444.10 c 428s| 1140k| 276 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |5943 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
447.59/447.75 c 431s| 1150k| 280 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |6000 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
451.07/451.25 c 434s| 1160k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |6053 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
454.68/454.82 c 438s| 1170k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |6116 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
458.18/458.30 c 441s| 1180k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |6158 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
461.67/461.85 c 445s| 1190k| 277 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |6220 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
465.28/465.42 c 448s| 1200k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |6276 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
468.77/468.93 c 451s| 1210k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |6325 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
472.37/472.53 c 455s| 1220k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |6382 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
475.97/476.16 c 458s| 1230k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |6438 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
479.48/479.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
479.48/479.66 c 462s| 1240k| 278 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |6485 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
482.97/483.17 c 465s| 1250k| 279 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |6543 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
486.47/486.68 c 468s| 1260k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |6605 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
490.07/490.23 c 472s| 1270k| 277 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |6668 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
493.68/493.82 c 475s| 1280k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |6744 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
497.16/497.37 c 479s| 1290k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |6798 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
500.77/500.99 c 482s| 1300k| 277 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |6859 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
504.26/504.46 c 485s| 1310k| 277 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |6893 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
507.86/508.02 c 489s| 1320k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |6944 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
511.37/511.51 c 492s| 1330k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |6988 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
514.86/515.04 c 496s| 1340k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |7028 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
518.36/518.56 c 499s| 1350k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |7081 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
521.86/522.09 c 502s| 1360k| 276 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |7139 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
525.46/525.63 c 506s| 1370k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |7182 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
528.96/529.14 c 509s| 1380k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |7239 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
532.46/532.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
532.46/532.62 c 513s| 1390k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |7297 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
536.05/536.24 c 516s| 1400k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |7366 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
539.66/539.80 c 520s| 1410k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |7418 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
543.16/543.34 c 523s| 1420k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |7474 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
546.75/546.92 c 526s| 1430k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |7527 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
550.35/550.51 c 530s| 1440k| 276 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |7574 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
553.85/554.09 c 533s| 1450k| 278 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |7616 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
557.46/557.65 c 537s| 1460k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |7669 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
561.05/561.28 c 540s| 1470k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |7732 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
564.65/564.87 c 544s| 1480k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |7780 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
568.24/568.48 c 547s| 1490k| 276 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |7829 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
571.95/572.10 c 550s| 1500k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |7890 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
575.55/575.72 c 554s| 1510k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |7927 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
579.15/579.33 c 557s| 1520k| 277 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |7965 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
582.76/582.91 c 561s| 1530k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |8014 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
586.25/586.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
586.25/586.49 c 564s| 1540k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |8060 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
589.85/590.08 c 568s| 1550k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |8111 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
593.54/593.72 c 571s| 1560k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |8170 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
597.15/597.31 c 575s| 1570k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |8217 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
600.74/600.92 c 578s| 1580k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |8270 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
604.34/604.51 c 582s| 1590k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |8328 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
607.84/608.09 c 585s| 1600k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |8384 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
611.45/611.65 c 588s| 1610k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |8426 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
615.04/615.23 c 592s| 1620k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |8468 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
618.63/618.85 c 595s| 1630k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |8522 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
622.24/622.48 c 599s| 1640k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |8567 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
625.83/626.08 c 602s| 1650k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |8617 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
629.43/629.69 c 606s| 1660k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |8670 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
633.13/633.33 c 609s| 1670k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |8719 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
636.74/636.96 c 613s| 1680k| 276 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |8769 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
640.43/640.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
640.43/640.63 c 616s| 1690k| 276 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |8825 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
644.03/644.27 c 620s| 1700k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |8873 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
647.74/647.93 c 623s| 1710k| 276 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |8927 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
651.23/651.44 c 627s| 1720k| 277 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |8983 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
654.73/654.96 c 630s| 1730k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |9037 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
658.23/658.44 c 633s| 1740k| 277 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |9074 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
661.72/661.97 c 637s| 1750k| 276 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |9137 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
665.33/665.54 c 640s| 1760k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |9201 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
668.82/669.09 c 644s| 1770k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |9256 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
672.42/672.64 c 647s| 1780k| 277 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |9310 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
675.92/676.16 c 650s| 1790k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |9372 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
679.53/679.73 c 654s| 1800k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |9426 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
683.02/683.29 c 657s| 1810k| 276 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |9476 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
686.62/686.81 c 661s| 1820k| 279 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |9522 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
690.12/690.33 c 664s| 1830k| 276 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |9574 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
693.62/693.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.62/693.86 c 667s| 1840k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |9614 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
697.12/697.38 c 671s| 1850k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |9663 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
700.71/700.90 c 674s| 1860k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |9716 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
704.21/704.46 c 678s| 1870k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |9774 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
707.81/708.08 c 681s| 1880k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |9818 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
711.41/711.65 c 684s| 1890k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |9850 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
715.01/715.20 c 688s| 1900k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |9922 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
718.51/718.79 c 691s| 1910k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 |9992 | 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
722.11/722.39 c 695s| 1920k| 277 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 10k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
725.71/725.94 c 698s| 1930k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 10k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
729.20/729.47 c 702s| 1940k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 10k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
732.80/733.02 c 705s| 1950k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 10k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
736.31/736.58 c 708s| 1960k| 276 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 10k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
739.91/740.11 c 712s| 1970k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 10k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
743.41/743.68 c 715s| 1980k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 10k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
747.01/747.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
747.01/747.28 c 719s| 1990k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 10k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
750.60/750.89 c 722s| 2000k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 10k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
754.20/754.44 c 726s| 2010k| 276 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 10k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
757.80/758.02 c 729s| 2020k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 10k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
761.30/761.56 c 732s| 2030k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 10k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
764.90/765.10 c 736s| 2040k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 10k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
768.49/768.70 c 739s| 2050k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 10k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
772.01/772.28 c 743s| 2060k| 278 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 10k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
775.60/775.88 c 746s| 2070k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 10k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
779.30/779.52 c 750s| 2080k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 10k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
782.90/783.13 c 753s| 2090k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 11k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
786.49/786.73 c 757s| 2100k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 11k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
790.09/790.31 c 760s| 2110k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 11k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
793.69/793.91 c 764s| 2120k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 11k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
797.19/797.50 c 767s| 2130k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 11k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
800.88/801.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
800.88/801.13 c 771s| 2140k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 11k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
804.49/804.73 c 774s| 2150k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 11k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
808.09/808.31 c 777s| 2160k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 11k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
811.59/811.85 c 781s| 2170k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 11k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
815.19/815.42 c 784s| 2180k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 11k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
818.79/819.00 c 788s| 2190k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 11k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
822.39/822.61 c 791s| 2200k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 11k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
825.98/826.22 c 795s| 2210k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 11k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
829.48/829.80 c 798s| 2220k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 11k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
833.18/833.42 c 802s| 2230k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 11k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
836.78/837.02 c 805s| 2240k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 11k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
840.38/840.65 c 809s| 2250k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 11k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
844.08/844.31 c 812s| 2260k| 276 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 11k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
847.68/847.96 c 816s| 2270k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 11k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
851.28/851.57 c 819s| 2280k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 12k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
854.87/855.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
854.87/855.17 c 822s| 2290k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 12k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
858.58/858.85 c 826s| 2300k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 12k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
862.18/862.46 c 830s| 2310k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 12k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
865.77/866.02 c 833s| 2320k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 12k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
869.37/869.62 c 836s| 2330k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 12k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
872.97/873.25 c 840s| 2340k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 12k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
876.57/876.83 c 843s| 2350k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 12k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
880.17/880.44 c 847s| 2360k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 12k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
883.77/884.09 c 850s| 2370k| 276 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 12k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
887.47/887.72 c 854s| 2380k| 276 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 12k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
891.07/891.33 c 857s| 2390k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 12k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
894.67/894.94 c 861s| 2400k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 12k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
898.37/898.62 c 864s| 2410k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 12k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
901.97/902.27 c 868s| 2420k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 12k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
905.56/905.88 c 871s| 2430k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 12k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
909.26/909.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
909.26/909.52 c 875s| 2440k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 12k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
912.86/913.13 c 878s| 2450k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 13k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
916.56/916.80 c 882s| 2460k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 13k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
920.06/920.38 c 885s| 2470k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 13k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
923.77/924.02 c 889s| 2480k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 13k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
927.45/927.71 c 892s| 2490k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 13k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
930.95/931.29 c 896s| 2500k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 13k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
934.56/934.89 c 899s| 2510k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 13k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
938.16/938.49 c 903s| 2520k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 13k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
941.75/942.07 c 906s| 2530k| 277 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 13k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
945.35/945.68 c 910s| 2540k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 13k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
948.96/949.28 c 913s| 2550k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 13k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
952.55/952.82 c 916s| 2560k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 13k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
956.05/956.36 c 920s| 2570k| 269 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 13k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
959.65/959.95 c 923s| 2580k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 13k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
963.25/963.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
963.25/963.55 c 927s| 2590k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 13k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
966.75/967.07 c 930s| 2600k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 13k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
970.24/970.56 c 934s| 2610k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 13k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
973.75/974.09 c 937s| 2620k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 13k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
977.35/977.61 c 940s| 2630k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 13k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
980.95/981.23 c 944s| 2640k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 14k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
984.54/984.81 c 947s| 2650k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 14k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
988.04/988.38 c 951s| 2660k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 14k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
991.74/992.00 c 954s| 2670k| 278 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 14k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
995.34/995.61 c 958s| 2680k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 14k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
998.94/999.21 c 961s| 2690k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 14k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1002.44/1002.77 c 964s| 2700k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 14k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1006.15/1006.41 c 968s| 2710k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 14k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1009.74/1010.02 c 971s| 2720k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 14k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1013.33/1013.61 c 975s| 2730k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 14k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1016.84/1017.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1016.84/1017.19 c 978s| 2740k| 269 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 14k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1020.55/1020.81 c 982s| 2750k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 14k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1024.14/1024.48 c 985s| 2760k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 14k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1027.74/1028.06 c 989s| 2770k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 14k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1031.33/1031.68 c 992s| 2780k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 14k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1035.03/1035.33 c 996s| 2790k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 14k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1038.63/1038.92 c 999s| 2800k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 14k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1042.22/1042.57 c 1003s| 2810k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 14k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1045.83/1046.11 c 1006s| 2820k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 15k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1049.43/1049.72 c 1010s| 2830k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 15k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1053.03/1053.33 c 1013s| 2840k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 15k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1056.74/1057.02 c 1017s| 2850k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 15k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1060.23/1060.58 c 1020s| 2860k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 15k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1063.82/1064.18 c 1023s| 2870k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 15k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1067.42/1067.78 c 1027s| 2880k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 15k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1071.13/1071.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1071.13/1071.45 c 1030s| 2890k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 15k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1074.82/1075.10 c 1034s| 2900k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 15k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1078.42/1078.70 c 1037s| 2910k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 15k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1081.92/1082.29 c 1041s| 2920k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 15k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1085.52/1085.85 c 1044s| 2930k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 15k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1089.02/1089.39 c 1048s| 2940k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 15k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1092.61/1092.90 c 1051s| 2950k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 15k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1096.12/1096.47 c 1055s| 2960k| 268 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 15k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1099.73/1100.05 c 1058s| 2970k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 15k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1103.31/1103.63 c 1061s| 2980k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 15k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1106.91/1107.26 c 1065s| 2990k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 15k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1110.62/1110.95 c 1068s| 3000k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 15k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1114.31/1114.61 c 1072s| 3010k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 16k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1117.91/1118.21 c 1075s| 3020k| 276 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 16k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1121.41/1121.73 c 1079s| 3030k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 16k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1124.91/1125.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1124.91/1125.24 c 1082s| 3040k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 16k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1128.41/1128.72 c 1085s| 3050k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 16k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1131.90/1132.26 c 1089s| 3060k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 16k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1135.40/1135.77 c 1092s| 3070k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 16k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1138.90/1139.29 c 1096s| 3080k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 16k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1142.51/1142.81 c 1099s| 3090k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 16k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1146.11/1146.42 c 1103s| 3100k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 16k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1149.70/1150.01 c 1106s| 3110k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 16k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1153.30/1153.60 c 1109s| 3120k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 16k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1156.80/1157.15 c 1113s| 3130k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 16k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1160.30/1160.63 c 1116s| 3140k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 16k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1163.80/1164.13 c 1120s| 3150k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 16k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1167.29/1167.68 c 1123s| 3160k| 277 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 16k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1170.90/1171.22 c 1126s| 3170k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 16k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1174.40/1174.80 c 1130s| 3180k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 16k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1177.99/1178.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1177.99/1178.34 c 1133s| 3190k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 16k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1181.59/1181.92 c 1137s| 3200k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 16k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1185.09/1185.42 c 1140s| 3210k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 16k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1188.59/1188.93 c 1143s| 3220k| 269 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 16k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1192.10/1192.42 c 1147s| 3230k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 16k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1195.59/1195.95 c 1150s| 3240k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 17k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1199.19/1199.51 c 1153s| 3250k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 17k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1202.69/1203.05 c 1157s| 3260k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 17k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1206.19/1206.59 c 1160s| 3270k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 17k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1209.79/1210.14 c 1164s| 3280k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 17k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1213.28/1213.62 c 1167s| 3290k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 17k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1216.79/1217.18 c 1170s| 3300k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 17k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1220.38/1220.74 c 1174s| 3310k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 17k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1223.89/1224.28 c 1177s| 3320k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 17k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1227.48/1227.85 c 1181s| 3330k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 17k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1230.88/1231.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1230.88/1231.29 c 1184s| 3340k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 17k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1234.48/1234.83 c 1187s| 3350k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 17k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1237.98/1238.37 c 1191s| 3360k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 17k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1241.59/1241.93 c 1194s| 3370k| 269 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 17k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1245.07/1245.44 c 1198s| 3380k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 17k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1248.57/1248.96 c 1201s| 3390k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 17k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1252.07/1252.49 c 1204s| 3400k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 17k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1255.67/1256.07 c 1208s| 3410k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 17k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1259.37/1259.72 c 1211s| 3420k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 17k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1262.98/1263.33 c 1215s| 3430k| 276 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 17k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1266.57/1266.92 c 1218s| 3440k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 17k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1270.18/1270.53 c 1222s| 3450k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 17k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1273.77/1274.11 c 1225s| 3460k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 17k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1277.37/1277.73 c 1229s| 3470k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 17k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1280.97/1281.38 c 1232s| 3480k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 18k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1284.56/1284.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1284.56/1284.99 c 1236s| 3490k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 18k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1288.26/1288.64 c 1239s| 3500k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 18k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1291.87/1292.22 c 1243s| 3510k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 18k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1295.47/1295.81 c 1246s| 3520k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 18k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1298.96/1299.36 c 1249s| 3530k| 277 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 18k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1302.57/1302.92 c 1253s| 3540k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 18k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1306.07/1306.48 c 1256s| 3550k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 18k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1309.76/1310.13 c 1260s| 3560k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 18k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1313.36/1313.76 c 1263s| 3570k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 18k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1316.96/1317.38 c 1267s| 3580k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 18k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1320.56/1320.92 c 1270s| 3590k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 18k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1324.16/1324.55 c 1274s| 3600k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 18k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1327.75/1328.18 c 1277s| 3610k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 18k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1331.35/1331.78 c 1281s| 3620k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 18k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1334.97/1335.31 c 1284s| 3630k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 18k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1338.45/1338.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1338.45/1338.81 c 1287s| 3640k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 18k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1342.06/1342.41 c 1291s| 3650k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 18k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1345.55/1345.98 c 1294s| 3660k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 19k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1349.16/1349.54 c 1298s| 3670k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 19k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1352.66/1353.07 c 1301s| 3680k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 19k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1356.25/1356.62 c 1304s| 3690k| 269 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 19k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1359.85/1360.23 c 1308s| 3700k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 19k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1363.35/1363.74 c 1311s| 3710k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 19k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1366.96/1367.35 c 1315s| 3720k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 19k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1370.64/1371.02 c 1318s| 3730k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 19k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1374.35/1374.71 c 1322s| 3740k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 19k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1377.95/1378.34 c 1325s| 3750k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 19k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1381.64/1382.01 c 1329s| 3760k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 19k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1385.34/1385.73 c 1332s| 3770k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 19k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1388.95/1389.39 c 1336s| 3780k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 19k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1392.64/1393.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1392.64/1393.01 c 1339s| 3790k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 19k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1396.24/1396.62 c 1343s| 3800k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 19k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1399.94/1400.33 c 1346s| 3810k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 19k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1403.64/1404.01 c 1350s| 3820k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 19k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1407.24/1407.68 c 1353s| 3830k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 19k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1410.73/1411.16 c 1357s| 3840k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 19k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1414.34/1414.71 c 1360s| 3850k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 19k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1417.83/1418.29 c 1364s| 3860k| 269 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 20k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1421.43/1421.89 c 1367s| 3870k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 20k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1425.03/1425.42 c 1370s| 3880k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 20k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1428.63/1429.02 c 1374s| 3890k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 20k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1432.13/1432.56 c 1377s| 3900k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 20k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1435.73/1436.12 c 1381s| 3910k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 20k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1439.23/1439.66 c 1384s| 3920k| 267 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 20k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1442.83/1443.29 c 1388s| 3930k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 20k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1446.53/1446.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1446.53/1446.91 c 1391s| 3940k| 269 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 20k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1450.13/1450.50 c 1395s| 3950k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 20k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1453.62/1454.05 c 1398s| 3960k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 20k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1457.23/1457.67 c 1401s| 3970k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 20k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1460.83/1461.24 c 1405s| 3980k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 20k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1464.42/1464.83 c 1408s| 3990k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 20k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1468.02/1468.46 c 1412s| 4000k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 20k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1471.62/1472.07 c 1415s| 4010k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 20k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1475.12/1475.58 c 1419s| 4020k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 20k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1478.82/1479.20 c 1422s| 4030k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 20k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1482.42/1482.81 c 1426s| 4040k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 20k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1486.01/1486.44 c 1429s| 4050k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 20k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1489.51/1489.98 c 1433s| 4060k| 276 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 21k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1493.12/1493.54 c 1436s| 4070k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 21k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1496.72/1497.12 c 1439s| 4080k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 21k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1500.31/1500.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1500.31/1500.73 c 1443s| 4090k| 269 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 21k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1503.92/1504.38 c 1446s| 4100k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 21k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1507.62/1508.01 c 1450s| 4110k| 269 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 21k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1511.22/1511.65 c 1453s| 4120k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 21k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1514.71/1515.18 c 1457s| 4130k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 21k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1518.31/1518.78 c 1460s| 4140k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 21k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1521.92/1522.37 c 1464s| 4150k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 21k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1525.51/1525.98 c 1467s| 4160k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 21k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1529.21/1529.60 c 1471s| 4170k| 269 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 21k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1532.70/1533.19 c 1474s| 4180k| 269 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 21k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1536.40/1536.82 c 1478s| 4190k| 277 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 21k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1539.90/1540.39 c 1481s| 4200k| 279 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 21k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1543.50/1543.94 c 1484s| 4210k| 276 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 21k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1547.09/1547.52 c 1488s| 4220k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 21k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1550.60/1551.09 c 1491s| 4230k| 278 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 21k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1554.19/1554.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1554.19/1554.62 c 1495s| 4240k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 21k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1557.69/1558.16 c 1498s| 4250k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 21k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1561.29/1561.73 c 1502s| 4260k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1564.80/1565.29 c 1505s| 4270k| 277 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1568.39/1568.88 c 1508s| 4280k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1571.99/1572.49 c 1512s| 4290k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1575.59/1576.07 c 1515s| 4300k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1579.20/1579.69 c 1519s| 4310k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1582.79/1583.28 c 1522s| 4320k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1586.38/1586.85 c 1526s| 4330k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1589.89/1590.39 c 1529s| 4340k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1593.58/1594.02 c 1532s| 4350k| 276 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1597.18/1597.66 c 1536s| 4360k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1600.85/1601.48 c 1540s| 4370k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1604.62/1605.22 c 1543s| 4380k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1608.22/1608.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1608.22/1608.83 c 1547s| 4390k| 277 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1611.81/1612.48 c 1550s| 4400k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1615.51/1616.11 c 1554s| 4410k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1619.11/1619.76 c 1557s| 4420k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1622.71/1623.35 c 1561s| 4430k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1626.32/1626.96 c 1564s| 4440k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1629.91/1630.55 c 1567s| 4450k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1633.51/1634.15 c 1571s| 4460k| 275 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1637.10/1637.76 c 1574s| 4470k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1640.70/1641.36 c 1578s| 4480k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1644.31/1645.00 c 1581s| 4490k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1648.00/1648.61 c 1585s| 4500k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 22k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1651.61/1652.27 c 1588s| 4510k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1655.30/1655.90 c 1592s| 4520k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1658.90/1659.59 c 1595s| 4530k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1662.61/1663.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1662.61/1663.24 c 1599s| 4540k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1666.20/1666.88 c 1602s| 4550k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1669.90/1670.53 c 1606s| 4560k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1673.50/1674.15 c 1609s| 4570k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1677.09/1677.79 c 1613s| 4580k| 268 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1680.69/1681.39 c 1616s| 4590k| 269 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1684.29/1684.99 c 1620s| 4600k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1687.90/1688.58 c 1623s| 4610k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1691.59/1692.23 c 1627s| 4620k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1695.29/1695.92 c 1630s| 4630k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1698.89/1699.55 c 1634s| 4640k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1702.58/1703.20 c 1637s| 4650k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1706.19/1706.83 c 1641s| 4660k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1709.79/1710.47 c 1644s| 4670k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1713.48/1714.15 c 1648s| 4680k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1717.08/1717.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1717.08/1717.78 c 1651s| 4690k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1720.68/1721.36 c 1655s| 4700k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1724.28/1724.95 c 1658s| 4710k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1727.88/1728.55 c 1662s| 4720k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1731.38/1732.08 c 1665s| 4730k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1734.98/1735.61 c 1668s| 4740k| 269 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1738.58/1739.23 c 1672s| 4750k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1742.18/1742.80 c 1675s| 4760k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1745.68/1746.37 c 1679s| 4770k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 23k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1749.27/1749.93 c 1682s| 4780k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 24k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1752.87/1753.55 c 1686s| 4790k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 24k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1756.48/1757.13 c 1689s| 4800k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 24k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1760.07/1760.76 c 1693s| 4810k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 24k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1763.67/1764.39 c 1696s| 4820k| 273 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 24k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1767.47/1768.15 c 1700s| 4830k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 24k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1771.17/1771.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1771.17/1771.83 c 1703s| 4840k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 24k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1774.87/1775.51 c 1707s| 4850k| 277 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 24k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1778.47/1779.11 c 1710s| 4860k| 272 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 24k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1782.06/1782.73 c 1714s| 4870k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 24k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1785.67/1786.39 c 1717s| 4880k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 24k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1789.27/1789.97 c 1721s| 4890k| 270 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 24k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1792.96/1793.64 c 1724s| 4900k| 274 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 24k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1796.67/1797.34 c 1728s| 4910k| 271 | 8325 | 0.0 | 10M| 294 | - |1543 |2972 | 0 | 0 | 61 | 24k| 19 | 9.920000e+02 | 1.168000e+03 | 17.74%
1800.07/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.71 c
1800.07/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.71 c Solving Time (sec) : 1731.03
1800.07/1800.71 c Solving Nodes : 4919301
1800.07/1800.71 c Primal Bound : +1.16800000000000e+03 (18 solutions)
1800.07/1800.71 c Dual Bound : +9.92000000000000e+02
1800.07/1800.71 c Gap : 17.74 %
1800.07/1800.72 s SATISFIABLE
1800.07/1800.72 v x1964 -x1963 x1962 x1961 x1960 x1959 -x1958 -x1957 x1956 -x1955 -x1954 x1953 -x1952 -x1951 -x1950 x1949 -x1948 x1947 -x1946 -x1945
1800.07/1800.72 v -x1944 x1943 -x1942 x1941 x1940 x1939 -x1938 x1937 -x1936 x1935 -x1934 -x1933 -x1932 -x1931 x1930 -x1929 x1928 x1927 -x1926
1800.07/1800.72 v x1925 x1924 x1923 x1922 -x1921 x1920 x1919 -x1918 -x1917 -x1916 -x1915 x1914 x1913 x1912 -x1911 x1910 -x1909 -x1908 x1907
1800.07/1800.72 v -x1906 x1905 x1904 x1903 x1902 -x1901 -x1900 x1899 -x1898 x1897 -x1896 -x1895 x1894 -x1893 x1892 x1891 x1890 x1889 x1888 x1887
1800.07/1800.72 v x1886 x1885 -x1884 -x1883 -x1882 x1881 x1880 x1879 -x1878 -x1877 x1876 x1875 -x1874 x1873 -x1872 x1871 -x1870 x1869 x1868 -x1867
1800.07/1800.72 v -x1866 x1865 x1864 x1863 x1862 x1861 -x1860 -x1859 -x1858 x1857 x1856 -x1855 x1854 -x1853 x1852 -x1851 -x1850 x1849 -x1848
1800.07/1800.72 v -x1847 x1846 -x1845 x1844 x1843 x1842 x1841 -x1840 -x1839 x1838 x1837 -x1836 -x1835 -x1834 -x1833 x1832 -x1831 -x1830 x1829
1800.07/1800.72 v x1828 x1827 -x1826 -x1825 x1824 -x1823 -x1822 x1821 -x1820 x1819 -x1818 x1817 -x1816 x1815 -x1814 x1813 -x1812 x1811 x1810
1800.07/1800.72 v x1809 x1808 x1807 x1806 -x1805 -x1804 x1803 -x1802 -x1801 -x1800 x1799 x1798 x1797 -x1796 x1795 x1794 x1793 -x1792 -x1791 -x1790
1800.07/1800.72 v x1789 x1788 x1787 -x1786 -x1785 -x1784 x1783 x1782 x1781 -x1780 x1779 x1778 -x1777 -x1776 x1775 -x1774 -x1773 -x1772 -x1771
1800.07/1800.72 v -x1770 -x1769 x1768 x1767 -x1766 x1765 x1764 -x1763 x1762 -x1761 x1760 x1759 -x1758 x1757 x1756 -x1755 x1754 -x1753 x1752
1800.07/1800.72 v x1751 x1750 -x1749 x1748 x1747 x1746 -x1745 x1744 -x1743 -x1742 -x1741 -x1740 -x1739 x1738 x1737 x1736 -x1735 x1734 -x1733 -x1732
1800.07/1800.72 v x1731 x1730 x1729 x1728 -x1727 -x1726 -x1725 -x1724 x1723 x1722 x1721 x1720 x1719 -x1718 x1717 -x1716 -x1715 -x1714 -x1713
1800.07/1800.72 v -x1712 -x1711 x1710 x1709 -x1708 x1707 x1706 x1705 x1704 x1703 x1702 -x1701 -x1700 -x1699 -x1698 x1697 x1696 x1695 -x1694
1800.07/1800.72 v -x1693 x1692 -x1691 -x1690 x1689 -x1688 x1687 -x1686 -x1685 -x1684 -x1683 -x1682 x1681 -x1680 -x1679 x1678 x1677 x1676 -x1675
1800.07/1800.72 v x1674 -x1673 -x1672 -x1671 x1670 -x1669 -x1668 -x1667 -x1666 x1665 x1664 -x1663 x1662 -x1661 -x1660 x1659 x1658 x1657 x1656
1800.07/1800.72 v -x1655 x1654 -x1653 x1652 x1651 x1650 -x1649 x1648 -x1647 -x1646 x1645 x1644 x1643 x1642 -x1641 x1640 x1639 x1638 -x1637 x1636
1800.07/1800.72 v x1635 -x1634 -x1633 -x1632 x1631 x1630 -x1629 -x1628 -x1627 x1626 x1625 x1624 x1623 x1622 x1621 x1620 -x1619 -x1618 x1617
1800.07/1800.72 v x1616 -x1615 x1614 -x1613 x1612 -x1611 -x1610 x1609 x1608 x1607 -x1606 x1605 -x1604 x1603 x1602 x1601 x1600 x1599 x1598 x1597
1800.07/1800.72 v -x1596 x1595 x1594 x1593 x1592 -x1591 -x1590 -x1589 -x1588 -x1587 x1586 -x1585 x1584 -x1583 -x1582 x1581 -x1580 x1579 -x1578
1800.07/1800.72 v -x1577 x1576 x1575 x1574 -x1573 x1572 x1571 x1570 x1569 x1568 x1567 -x1566 -x1565 -x1564 x1563 x1562 x1561 -x1560 x1559 -x1558
1800.07/1800.72 v x1557 -x1556 -x1555 -x1554 x1553 x1552 -x1551 x1550 x1549 x1548 x1547 -x1546 x1545 -x1544 -x1543 x1542 x1541 x1540 x1539 -x1538
1800.07/1800.72 v x1537 x1536 x1535 x1534 x1533 x1532 x1531 x1530 x1529 -x1528 x1527 -x1526 -x1525 x1524 x1523 x1522 x1521 x1520 x1519 x1518
1800.07/1800.72 v x1517 x1516 x1515 x1514 -x1513 x1512 x1511 x1510 -x1509 x1508 x1507 x1506 x1505 -x1504 x1503 x1502 x1501 x1500 -x1499 -x1498
1800.07/1800.72 v -x1497 x1496 x1495 x1494 -x1493 x1492 x1491 -x1490 x1489 x1488 x1487 -x1486 -x1485 -x1484 x1483 -x1482 x1481 x1480 x1479
1800.07/1800.72 v x1478 x1477 x1476 x1475 x1474 x1473 x1472 -x1471 x1470 x1469 x1468 -x1467 x1466 x1465 x1464 x1463 -x1462 x1461 x1460 x1459 x1458
1800.07/1800.72 v -x1457 x1456 x1455 x1454 x1453 x1452 x1451 x1450 x1449 x1448 x1447 -x1446 x1445 x1444 x1443 x1442 x1441 -x1440 x1439 x1438
1800.07/1800.72 v x1437 x1436 x1435 x1434 x1433 x1432 -x1431 -x1430 x1429 x1428 x1427 x1426 x1425 x1424 -x1423 x1422 x1421 x1420 x1419 -x1418
1800.07/1800.72 v x1417 x1416 -x1415 x1414 -x1413 x1412 x1411 x1410 -x1409 -x1408 x1407 x1406 x1405 x1404 x1403 -x1402 x1401 x1400 x1399 x1398
1800.07/1800.72 v -x1397 x1396 x1395 x1394 -x1393 x1392 -x1391 -x1390 -x1389 x1388 x1387 x1386 -x1385 -x1384 x1383 x1382 x1381 -x1380 -x1379 x1378
1800.07/1800.72 v x1377 x1376 x1375 x1374 x1373 x1372 x1371 x1370 x1369 x1368 -x1367 x1366 x1365 x1364 -x1363 x1362 x1361 -x1360 x1359 x1358
1800.07/1800.72 v x1357 x1356 x1355 -x1354 -x1353 x1352 x1351 x1350 x1349 x1348 -x1347 x1346 x1345 x1344 x1343 x1342 x1341 x1340 x1339 x1338
1800.07/1800.72 v x1337 x1336 x1335 x1334 -x1333 x1332 x1331 x1330 -x1329 x1328 -x1327 -x1326 -x1325 x1324 x1323 x1322 x1321 x1320 -x1319 x1318
1800.07/1800.72 v x1317 x1316 x1315 x1314 x1313 x1312 x1311 x1310 -x1309 x1308 x1307 x1306 x1305 x1304 x1303 -x1302 x1301 x1300 x1299 x1298 x1297
1800.07/1800.72 v x1296 -x1295 x1294 x1293 x1292 x1291 x1290 x1289 -x1288 x1287 x1286 x1285 x1284 x1283 x1282 x1281 -x1280 -x1279 -x1278 x1277
1800.07/1800.72 v -x1276 -x1275 -x1274 x1273 x1272 -x1271 x1270 -x1269 -x1268 -x1267 x1266 x1265 x1264 x1263 x1262 x1261 x1260 x1259 x1258
1800.07/1800.72 v x1257 x1256 x1255 x1254 -x1253 -x1252 -x1251 -x1250 x1249 x1248 x1247 x1246 x1245 x1244 x1243 -x1242 x1241 x1240 -x1239 -x1238
1800.07/1800.72 v x1237 x1236 x1235 x1234 -x1233 x1232 x1231 -x1230 x1229 x1228 x1227 x1226 x1225 -x1224 x1223 x1222 x1221 x1220 x1219 x1218
1800.07/1800.72 v x1217 -x1216 x1215 x1214 x1213 -x1212 x1211 x1210 x1209 x1208 x1207 x1206 x1205 x1204 -x1203 x1202 x1201 -x1200 x1199 x1198
1800.07/1800.72 v x1197 x1196 -x1195 x1194 x1193 x1192 x1191 x1190 x1189 -x1188 x1187 -x1186 -x1185 -x1184 x1183 -x1182 x1181 x1180 x1179 x1178
1800.07/1800.72 v x1177 x1176 x1175 x1174 x1173 -x1172 x1171 x1170 x1169 x1168 x1167 x1166 -x1165 x1164 -x1163 x1162 x1161 x1160 x1159 x1158 x1157
1800.07/1800.72 v x1156 x1155 x1154 x1153 -x1152 -x1151 x1150 x1149 x1148 -x1147 x1146 -x1145 x1144 -x1143 x1142 x1141 x1140 x1139 x1138 -x1137
1800.07/1800.72 v x1136 x1135 x1134 x1133 x1132 x1131 x1130 x1129 x1128 -x1127 x1126 x1125 -x1124 -x1123 x1122 x1121 -x1120 x1119 -x1118
1800.07/1800.72 v -x1117 x1116 x1115 x1114 x1113 x1112 -x1111 -x1110 -x1109 x1108 x1107 x1106 x1105 x1104 x1103 x1102 x1101 x1100 -x1099 x1098
1800.07/1800.72 v -x1097 -x1096 x1095 x1094 -x1093 x1092 x1091 x1090 x1089 -x1088 x1087 x1086 -x1085 x1084 x1083 x1082 -x1081 x1080 x1079 x1078
1800.07/1800.72 v x1077 x1076 x1075 -x1074 -x1073 -x1072 x1071 x1070 -x1069 x1068 x1067 -x1066 x1065 -x1064 x1063 x1062 x1061 x1060 x1059 -x1058
1800.07/1800.72 v x1057 x1056 x1055 x1054 x1053 x1052 x1051 x1050 x1049 x1048 -x1047 x1046 x1045 x1044 x1043 x1042 x1041 x1040 -x1039 -x1038
1800.07/1800.72 v x1037 x1036 x1035 x1034 x1033 x1032 x1031 -x1030 -x1029 x1028 x1027 -x1026 -x1025 x1024 x1023 x1022 x1021 x1020 x1019 -x1018
1800.07/1800.72 v -x1017 -x1016 x1015 x1014 x1013 -x1012 x1011 x1010 x1009 x1008 x1007 x1006 x1005 x1004 x1003 x1002 x1001 x1000 -x999 x998 x997
1800.07/1800.72 v x996 x995 x994 x993 -x992 -x991 x990 -x989 x988 x987 x986 -x985 x984 x983 -x982 x981 x980 -x979 x978 x977 -x976 x975 x974
1800.07/1800.72 v x973 -x972 -x971 x970 x969 x968 x967 x966 x965 x964 -x963 x962 x961 x960 -x959 -x958 x957 x956 x955 -x954 x953 x952 -x951 x950
1800.07/1800.72 v x949 -x948 -x947 x946 x945 x944 x943 -x942 x941 x940 -x939 x938 x937 x936 x935 x934 x933 x932 -x931 x930 x929 x928 x927 -x926
1800.07/1800.72 v x925 x924 -x923 x922 -x921 -x920 x919 x918 x917 -x916 x915 -x914 x913 x912 x911 -x910 x909 x908 x907 x906 x905 -x904 -x903
1800.07/1800.72 v x902 x901 -x900 -x899 x898 x897 x896 x895 x894 x893 -x892 x891 -x890 x889 x888 -x887 x886 -x885 x884 x883 -x882 x881 -x880 x879
1800.07/1800.72 v x878 x877 x876 x875 x874 -x873 x872 -x871 x870 -x869 -x868 -x867 x866 -x865 x864 x863 x862 -x861 x860 x859 -x858 x857 x856
1800.07/1800.72 v x855 x854 -x853 -x852 -x851 x850 x849 x848 x847 -x846 x845 x844 x843 x842 -x841 x840 x839 x838 x837 x836 x835 -x834 x833 x832
1800.07/1800.72 v x831 -x830 x829 -x828 -x827 x826 -x825 -x824 x823 x822 x821 -x820 x819 -x818 x817 x816 x815 -x814 x813 x812 -x811 -x810 x809
1800.07/1800.72 v x808 -x807 x806 x805 x804 -x803 x802 x801 -x800 x799 x798 x797 x796 x795 x794 x793 -x792 x791 -x790 x789 -x788 -x787 -x786
1800.07/1800.72 v -x785 -x784 x783 x782 x781 x780 -x779 x778 x777 x776 x775 -x774 x773 x772 x771 x770 x769 -x768 x767 x766 -x765 x764 x763 x762
1800.07/1800.72 v x761 x760 x759 -x758 x757 x756 x755 x754 x753 -x752 x751 x750 -x749 x748 -x747 x746 -x745 x744 -x743 x742 x741 -x740 -x739
1800.07/1800.72 v x738 -x737 x736 -x735 -x734 x733 x732 x731 x730 x729 x728 x727 x726 -x725 -x724 -x723 -x722 x721 -x720 -x719 -x718 -x717 -x716
1800.07/1800.72 v x715 x714 x713 -x712 x711 x710 x709 x708 x707 x706 -x705 -x704 x703 -x702 x701 x700 x699 x698 -x697 x696 -x695 x694 x693 x692
1800.07/1800.72 v x691 x690 -x689 x688 x687 x686 -x685 -x684 x683 -x682 -x681 -x680 -x679 x678 x677 -x676 x675 x674 -x673 x672 x671 x670 -x669
1800.07/1800.72 v x668 -x667 -x666 x665 x664 x663 -x662 x661 -x660 -x659 x658 -x657 -x656 x655 x654 x653 x652 -x651 x650 x649 x648 x647 x646
1800.07/1800.72 v -x645 -x644 x643 -x642 x641 x640 x639 x638 -x637 x636 -x635 x634 -x633 x632 x631 x630 x629 -x628 -x627 x626 x625 x624 x623 x622
1800.07/1800.72 v x621 x620 x619 x618 x617 -x616 x615 x614 x613 -x612 x611 x610 x609 x608 x607 x606 -x605 x604 -x603 x602 x601 x600 x599 -x598
1800.07/1800.72 v -x597 x596 -x595 x594 x593 -x592 x591 -x590 x589 -x588 x587 x586 -x585 -x584 x583 x582 -x581 -x580 -x579 x578 -x577 -x576
1800.07/1800.72 v x575 x574 -x573 x572 -x571 -x570 -x569 x568 -x567 x566 x565 x564 -x563 -x562 -x561 -x560 -x559 x558 -x557 x556 -x555 -x554 x553
1800.07/1800.72 v x552 -x551 -x550 x549 x548 -x547 -x546 -x545 -x544 -x543 x542 x541 -x540 x539 -x538 -x537 x536 -x535 -x534 -x533 -x532 x531
1800.07/1800.72 v -x530 x529 -x528 -x527 -x526 -x525 x524 x523 x522 x521 x520 -x519 x518 x517 x516 x515 x514 -x513 x512 x511 -x510 -x509 -x508
1800.07/1800.72 v -x507 x506 x505 -x504 -x503 x502 x501 x500 x499 -x498 -x497 -x496 x495 x494 -x493 x492 x491 -x490 -x489 -x488 x487 x486 x485
1800.07/1800.72 v -x484 x483 x482 x481 x480 x479 x478 -x477 x476 -x475 x474 -x473 x472 -x471 x470 x469 -x468 x467 x466 x465 -x464 -x463 -x462
1800.07/1800.72 v x461 x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 x452 -x451 -x450 x449 x448 -x447 -x446 x445 -x444 x443 x442 x441 x440 x439
1800.07/1800.72 v -x438 x437 -x436 x435 x434 x433 x432 x431 -x430 -x429 -x428 x427 x426 -x425 -x424 -x423 x422 x421 x420 x419 -x418 -x417 x416
1800.07/1800.72 v x415 x414 x413 -x412 x411 x410 -x409 x408 -x407 -x406 -x405 x404 x403 -x402 x401 x400 -x399 x398 x397 -x396 x395 x394 x393
1800.07/1800.72 v x392 x391 -x390 -x389 -x388 x387 x386 -x385 -x384 x383 x382 -x381 -x380 -x379 x378 -x377 -x376 x375 -x374 -x373 x372 x371 -x370
1800.07/1800.72 v x369 x368 x367 -x366 x365 -x364 -x363 -x362 x361 x360 x359 x358 x357 x356 -x355 x354 x353 x352 -x351 -x350 -x349 -x348 -x347
1800.07/1800.72 v -x346 -x345 -x344 x343 x342 x341 x340 x339 x338 x337 x336 x335 x334 -x333 x332 -x331 -x330 x329 x328 -x327 x326 x325 -x324
1800.07/1800.72 v -x323 x322 -x321 x320 -x319 x318 -x317 x316 -x315 x314 -x313 x312 -x311 -x310 -x309 -x308 x307 -x306 x305 x304 x303 -x302 -x301
1800.07/1800.72 v -x300 x299 x298 -x297 x296 -x295 x294 -x293 -x292 -x291 x290 x289 x288 x287 -x286 -x285 -x284 -x283 -x282 x281 x280 x279
1800.07/1800.72 v -x278 -x277 x276 x275 x274 -x273 x272 -x271 -x270 x269 x268 x267 -x266 -x265 -x264 x263 -x262 -x261 x260 x259 -x258 -x257 -x256
1800.07/1800.72 v x255 x254 -x253 x252 x251 x250 -x249 -x248 x247 x246 x245 -x244 -x243 -x242 -x241 -x240 x239 x238 -x237 x236 -x235 x234 -x233
1800.07/1800.72 v -x232 x231 x230 x229 x228 x227 x226 x225 -x224 x223 x222 -x221 x220 x219 x218 x217 -x216 -x215 x214 x213 -x212 x211 -x210
1800.07/1800.72 v x209 x208 -x207 -x206 x205 x204 x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 x195 -x194 -x193 -x192 -x191 x190 x189 x188 -x187
1800.07/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.07/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.07/1800.72 v -x142 x141 x140 x139 -x138 x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122
1800.07/1800.72 v -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 x111 -x110 x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 x101 -x100
1800.07/1800.72 v -x99 -x98 -x97 -x96 -x95 x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 x85 -x84 x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74
1800.07/1800.72 v x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48
1800.07/1800.72 v -x47 x46 -x45 -x44 x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22
1800.07/1800.72 v -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 x2 -x1
1800.07/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.72 c Solving Time : 1731.03
1800.07/1800.72 c Original Problem :
1800.07/1800.72 c Problem name : HOME/instance-2667036-1276392924.opb
1800.07/1800.72 c Variables : 1964 (1964 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.72 c Constraints : 4000 initial, 4000 maximal
1800.07/1800.72 c Presolved Problem :
1800.07/1800.72 c Problem name : t_HOME/instance-2667036-1276392924.opb
1800.07/1800.72 c Variables : 1543 (1543 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.72 c Constraints : 2972 initial, 2972 maximal
1800.07/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.72 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.72 c dualfix : 0.00 201 0 0 0 0 0 0 0
1800.07/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.72 c probing : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.72 c linear : 0.05 0 220 0 0 0 1025 0 0
1800.07/1800.72 c logicor : 0.06 0 0 0 0 0 3 0 0
1800.07/1800.72 c root node : - 0 - - 0 - - - -
1800.07/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.72 c integral : 0 0 0 1 0 0 0 0 0 2
1800.07/1800.72 c logicor : 2972+ 23 5332714 0 0 24712 22050319 0 0 0
1800.07/1800.72 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.72 c integral : 18.77 0.00 0.00 18.77 0.00
1800.07/1800.72 c logicor : 101.87 0.01 101.86 0.00 0.00
1800.07/1800.72 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.72 c vbounds : 4.53 2 0 0
1800.07/1800.72 c rootredcost : 3.82 0 0 0
1800.07/1800.72 c pseudoobj : 1157.65 8998704 2438282 39617052
1800.07/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.72 c propagation : 38.28 24712 24712 24712 272.9 0 0.0 -
1800.07/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.72 c applied globally : - - - 0 0.0 - - -
1800.07/1800.72 c applied locally : - - - 24712 272.9 - - -
1800.07/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.72 c cut pool : 0.00 22 - - 3 - (maximal pool size: 173)
1800.07/1800.72 c redcost : 0.01 23 0 0 0 0
1800.07/1800.72 c impliedbounds : 0.01 23 0 0 0 0
1800.07/1800.72 c intobj : 0.00 0 0 0 0 0
1800.07/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.72 c gomory : 2.18 23 0 0 11500 0
1800.07/1800.72 c strongcg : 1.61 20 0 0 10000 0
1800.07/1800.72 c cmir : 0.19 10 0 0 0 0
1800.07/1800.72 c flowcover : 0.16 10 0 0 0 0
1800.07/1800.72 c clique : 0.00 23 0 0 8 0
1800.07/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.72 c mcf : 0.02 1 0 0 0 0
1800.07/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.72 c Pricers : Time Calls Vars
1800.07/1800.72 c problem variables: 0.00 0 0
1800.07/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.72 c relpscost : 18.77 1 0 0 0 0 2
1800.07/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.72 c inference : 205.94 2464222 0 0 0 0 4928444
1800.07/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.72 c random : 0.00 0 0 0 0 0 0
1800.07/1800.72 c Primal Heuristics : Time Calls Found
1800.07/1800.72 c LP solutions : 0.00 - 0
1800.07/1800.72 c pseudo solutions : 0.00 - 0
1800.07/1800.72 c crossover : 0.00 0 0
1800.07/1800.72 c oneopt : 2.63 2 1
1800.07/1800.72 c trivial : 0.01 2 3
1800.07/1800.72 c simplerounding : 0.03 24 13
1800.07/1800.72 c zirounding : 0.00 1 1
1800.07/1800.72 c rounding : 3.52 24 0
1800.07/1800.72 c shifting : 3.58 24 0
1800.07/1800.72 c intshifting : 0.00 0 0
1800.07/1800.72 c twoopt : 0.00 0 0
1800.07/1800.72 c fixandinfer : 0.00 0 0
1800.07/1800.72 c feaspump : 0.00 0 0
1800.07/1800.72 c coefdiving : 0.00 0 0
1800.07/1800.72 c pscostdiving : 0.00 0 0
1800.07/1800.72 c fracdiving : 0.00 0 0
1800.07/1800.72 c veclendiving : 0.00 0 0
1800.07/1800.72 c intdiving : 0.00 0 0
1800.07/1800.72 c actconsdiving : 0.00 0 0
1800.07/1800.72 c objpscostdiving : 0.00 0 0
1800.07/1800.72 c rootsoldiving : 0.00 0 0
1800.07/1800.72 c linesearchdiving : 0.00 0 0
1800.07/1800.72 c guideddiving : 0.00 0 0
1800.07/1800.72 c octane : 0.00 0 0
1800.07/1800.72 c rens : 0.01 0 0
1800.07/1800.72 c rins : 0.00 0 0
1800.07/1800.72 c localbranching : 0.00 0 0
1800.07/1800.72 c mutation : 0.00 0 0
1800.07/1800.72 c dins : 0.00 0 0
1800.07/1800.72 c undercover : 0.00 0 0
1800.07/1800.72 c nlp : 2.53 0 0
1800.07/1800.72 c trysol : 2.31 0 0
1800.07/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.72 c primal LP : 0.01 0 0 0.00 0.00
1800.07/1800.72 c dual LP : 5.85 24 8325 346.88 1423.08
1800.07/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.72 c strong branching : 18.77 19 17835 938.68 950.19
1800.07/1800.72 c (at root node) : - 19 17835 938.68 -
1800.07/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.72 c B&B Tree :
1800.07/1800.72 c number of runs : 1
1800.07/1800.72 c nodes : 4919301
1800.07/1800.72 c nodes (total) : 4919301
1800.07/1800.72 c nodes left : 273
1800.07/1800.72 c max depth : 294
1800.07/1800.72 c max depth (total): 294
1800.07/1800.72 c backtracks : 1223432 (24.9%)
1800.07/1800.72 c delayed cutoffs : 8873
1800.07/1800.72 c repropagations : 12040 (215720 domain reductions, 7916 cutoffs)
1800.07/1800.72 c avg switch length: 2.00
1800.07/1800.72 c switching time : 94.92
1800.07/1800.72 c Solution :
1800.07/1800.72 c Solutions found : 18 (3 improvements)
1800.07/1800.72 c First Solution : +1.96400000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.07/1800.72 c Primal Bound : +1.16800000000000e+03 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <oneopt>)
1800.07/1800.72 c Dual Bound : +9.92000000000000e+02
1800.07/1800.72 c Gap : 17.74 %
1800.07/1800.72 c Root Dual Bound : +9.92000000000000e+02
1800.07/1800.72 c Root Iterations : 8325
1800.07/1800.75 c Time complete: 1800.11.