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-2666904-1276386525.opb>
0.02/0.08 c original problem has 1964 variables (1964 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.02/0.08 c problem read
0.02/0.08 c presolving settings loaded
0.09/0.11 o 1964
0.09/0.11 c feasible solution found by trivial heuristic, objective value 1.964000e+03
0.09/0.11 c presolving:
0.09/0.13 c (round 1) 162 del vars, 162 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) 334 del vars, 785 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.15 c (round 3) 386 del vars, 903 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) 420 del vars, 1011 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) 437 del vars, 1046 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) 445 del vars, 1065 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) 447 del vars, 1071 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) 447 del vars, 1072 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2928 upgd conss, 7996 impls, 0 clqs
0.19/0.25 c (0.1s) probing: 101/1517 (6.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.25 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.25 c presolving (9 rounds):
0.19/0.25 c 447 deleted vars, 1072 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.25 c 7996 implications, 0 cliques
0.19/0.25 c presolved problem has 1517 variables (1517 bin, 0 int, 0 impl, 0 cont) and 2928 constraints
0.19/0.25 c 2928 constraints of type <logicor>
0.19/0.25 c transformed objective value is always integral (scale: 1)
0.19/0.25 c Presolving Time: 0.13
0.19/0.25 c - non default parameters ----------------------------------------------------------------------
0.19/0.25 c # SCIP version 1.2.1.2
0.19/0.25 c
0.19/0.25 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.25 c conflict/interconss = 0
0.19/0.25 c
0.19/0.25 c # should binary conflicts be preferred?
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c conflict/preferbinary = TRUE
0.19/0.25 c
0.19/0.25 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.25 c constraints/agelimit = 1
0.19/0.25 c
0.19/0.25 c # should enforcement of pseudo solution be disabled?
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/disableenfops = TRUE
0.19/0.25 c
0.19/0.25 c # frequency for displaying node information lines
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.25 c display/freq = 10000
0.19/0.25 c
0.19/0.25 c # maximal time in seconds to run
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/time = 1799.93
0.19/0.25 c
0.19/0.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/memory = 1620
0.19/0.25 c
0.19/0.25 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.25 c lp/solvefreq = 0
0.19/0.25 c
0.19/0.25 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.19/0.25 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.25 c lp/pricing = a
0.19/0.25 c
0.19/0.25 c # should presolving try to simplify inequalities
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/linear/simplifyinequalities = TRUE
0.19/0.25 c
0.19/0.25 c # should presolving try to simplify knapsacks
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.25 c
0.19/0.25 c # priority of node selection rule <dfs> in standard mode
0.19/0.25 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.25 c nodeselection/dfs/stdpriority = 1000000
0.19/0.25 c
0.19/0.25 c -----------------------------------------------------------------------------------------------
0.19/0.25 c start solving
0.19/0.26 c
0.19/0.26 o 1734
0.19/0.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.26 c t 0.1s| 1 | 0 | 0 | - |5802k| 0 | - |1517 |2928 | 0 | 0 | 0 | 0 | 0 | -- | 1.734000e+03 | Inf
0.19/0.27 o 1144
0.19/0.27 c b 0.1s| 1 | 0 | 0 | - |7393k| 0 | - |1517 |2928 |1517 |2928 | 0 | 0 | 0 | -- | 1.144000e+03 | Inf
0.49/0.59 c 0.5s| 1 | 0 | 2013 | - |7368k| 0 |1517 |1517 |2928 |1517 |2928 | 0 | 0 | 0 | 9.755000e+02 | 1.144000e+03 | 17.27%
1.10/1.15 c 1.0s| 1 | 0 | 2254 | - |7465k| 0 |1486 |1517 |2928 |1517 |2941 | 13 | 0 | 0 | 9.810000e+02 | 1.144000e+03 | 16.62%
1.59/1.62 c 1.5s| 1 | 0 | 2287 | - |7494k| 0 |1484 |1517 |2928 |1517 |2944 | 16 | 0 | 0 | 9.820000e+02 | 1.144000e+03 | 16.50%
2.10/2.11 c 2.0s| 1 | 0 | 2438 | - |7497k| 0 |1484 |1517 |2928 |1517 |2946 | 18 | 0 | 0 | 9.820000e+02 | 1.144000e+03 | 16.50%
2.49/2.56 c 2.4s| 1 | 0 | 2483 | - |7523k| 0 |1483 |1517 |2928 |1517 |2947 | 19 | 0 | 0 | 9.825000e+02 | 1.144000e+03 | 16.44%
2.88/2.98 c 2.8s| 1 | 0 | 2489 | - |7534k| 0 |1482 |1517 |2928 |1517 |2949 | 21 | 0 | 0 | 9.830000e+02 | 1.144000e+03 | 16.38%
3.79/3.81 c 3.6s| 1 | 0 | 2669 | - |7723k| 0 |1475 |1517 |2928 |1517 |2951 | 23 | 0 | 0 | 9.830000e+02 | 1.144000e+03 | 16.38%
4.39/4.42 c 4.2s| 1 | 0 | 2902 | - |7801k| 0 |1479 |1517 |2928 |1517 |2953 | 25 | 0 | 0 | 9.835000e+02 | 1.144000e+03 | 16.32%
4.99/5.08 c 4.9s| 1 | 0 | 3148 | - |7929k| 0 |1480 |1517 |2928 |1517 |2957 | 29 | 0 | 0 | 9.840000e+02 | 1.144000e+03 | 16.26%
5.88/5.91 c 5.7s| 1 | 0 | 3549 | - |8069k| 0 |1472 |1517 |2928 |1517 |2959 | 31 | 0 | 0 | 9.845000e+02 | 1.144000e+03 | 16.20%
6.49/6.50 c 6.3s| 1 | 0 | 3723 | - |8166k| 0 |1475 |1517 |2928 |1517 |2961 | 33 | 0 | 0 | 9.850000e+02 | 1.144000e+03 | 16.14%
8.49/8.55 c 8.3s| 1 | 0 | 4121 | - |8317k| 0 |1479 |1517 |2928 |1517 |2960 | 34 | 0 | 0 | 9.850000e+02 | 1.144000e+03 | 16.14%
9.48/9.57 c 9.3s| 1 | 0 | 4582 | - |8355k| 0 |1483 |1517 |2928 |1517 |2964 | 38 | 0 | 0 | 9.855000e+02 | 1.144000e+03 | 16.08%
10.49/10.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.49/10.58 c 10.3s| 1 | 0 | 4988 | - |8587k| 0 |1482 |1517 |2928 |1517 |2966 | 40 | 0 | 0 | 9.860000e+02 | 1.144000e+03 | 16.02%
11.29/11.40 c 11.2s| 1 | 0 | 5315 | - |8589k| 0 |1482 |1517 |2928 |1517 |2967 | 41 | 0 | 0 | 9.860000e+02 | 1.144000e+03 | 16.02%
12.29/12.38 c 12.1s| 1 | 0 | 5736 | - |8630k| 0 |1475 |1517 |2928 |1517 |2970 | 44 | 0 | 0 | 9.860000e+02 | 1.144000e+03 | 16.02%
13.38/13.43 c 13.2s| 1 | 0 | 6190 | - |8695k| 0 |1481 |1517 |2928 |1517 |2972 | 46 | 0 | 0 | 9.860000e+02 | 1.144000e+03 | 16.02%
14.48/14.52 c 14.2s| 1 | 0 | 6699 | - |8740k| 0 |1479 |1517 |2928 |1517 |2973 | 48 | 0 | 0 | 9.865000e+02 | 1.144000e+03 | 15.97%
15.69/15.76 c 15.5s| 1 | 0 | 7310 | - |8743k| 0 |1476 |1517 |2928 |1517 |2974 | 49 | 0 | 0 | 9.870000e+02 | 1.144000e+03 | 15.91%
16.78/16.89 c 16.6s| 1 | 0 | 7825 | - |8811k| 0 |1478 |1517 |2928 |1517 |2976 | 51 | 0 | 0 | 9.870000e+02 | 1.144000e+03 | 15.91%
18.08/18.11 c 17.8s| 1 | 0 | 8459 | - |8813k| 0 |1460 |1517 |2928 |1517 |2977 | 52 | 0 | 0 | 9.870000e+02 | 1.144000e+03 | 15.91%
18.88/18.99 c 18.7s| 1 | 0 | 8906 | - |9019k| 0 |1477 |1517 |2928 |1517 |2979 | 54 | 0 | 0 | 9.870000e+02 | 1.144000e+03 | 15.91%
20.38/20.46 c 20.1s| 1 | 0 | 9685 | - |9101k| 0 |1488 |1517 |2928 |1517 |2981 | 56 | 0 | 0 | 9.870000e+02 | 1.144000e+03 | 15.91%
21.29/21.30 c 21.0s| 1 | 0 | 10025 | - |9183k| 0 |1484 |1517 |2928 |1517 |2975 | 58 | 0 | 0 | 9.870000e+02 | 1.144000e+03 | 15.91%
44.76/44.83 c 44.3s| 1 | 2 | 10025 | - |9256k| 0 |1484 |1517 |2928 |1517 |2975 | 58 | 0 | 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
50.86/50.99 c 50.3s| 10000 | 243 | 10025 | 0.0 |9760k| 258 | - |1517 |2928 | 0 | 0 | 58 |1607 | 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
56.57/56.62 c 55.8s| 20000 | 244 | 10025 | 0.0 |9768k| 258 | - |1517 |2928 | 0 | 0 | 58 |2865 | 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
61.76/61.87 c 60.9s| 30000 | 243 | 10025 | 0.0 |9770k| 258 | - |1517 |2928 | 0 | 0 | 58 |3828 | 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
67.07/67.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.07/67.13 c 66.0s| 40000 | 244 | 10025 | 0.0 |9776k| 258 | - |1517 |2928 | 0 | 0 | 58 |4799 | 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
71.96/72.05 c 70.8s| 50000 | 243 | 10025 | 0.0 |9779k| 258 | - |1517 |2928 | 0 | 0 | 58 |5595 | 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
77.35/77.41 c 76.0s| 60000 | 244 | 10025 | 0.0 |9781k| 258 | - |1517 |2928 | 0 | 0 | 58 |6632 | 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
82.95/83.00 c 81.4s| 70000 | 243 | 10025 | 0.0 |9784k| 258 | - |1517 |2928 | 0 | 0 | 58 |7769 | 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
88.05/88.19 c 86.4s| 80000 | 241 | 10025 | 0.0 |9784k| 258 | - |1517 |2928 | 0 | 0 | 58 |8711 | 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
93.36/93.48 c 91.6s| 90000 | 241 | 10025 | 0.0 |9784k| 258 | - |1517 |2928 | 0 | 0 | 58 |9698 | 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
98.75/98.83 c 96.8s|100000 | 241 | 10025 | 0.0 |9787k| 258 | - |1517 |2928 | 0 | 0 | 58 | 10k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
103.95/104.02 c 102s|110000 | 243 | 10025 | 0.0 |9788k| 258 | - |1517 |2928 | 0 | 0 | 58 | 11k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
109.14/109.29 c 107s|120000 | 241 | 10025 | 0.0 |9791k| 258 | - |1517 |2928 | 0 | 0 | 58 | 12k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
114.25/114.38 c 112s|130000 | 241 | 10025 | 0.0 |9788k| 258 | - |1517 |2928 | 0 | 0 | 58 | 13k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
118.94/119.08 c 116s|140000 | 245 | 10025 | 0.0 |9789k| 258 | - |1517 |2928 | 0 | 0 | 58 | 14k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
123.74/123.87 c 121s|150000 | 242 | 10025 | 0.0 |9789k| 258 | - |1517 |2928 | 0 | 0 | 58 | 14k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
128.55/128.69 c 126s|160000 | 238 | 10025 | 0.0 |9787k| 258 | - |1517 |2928 | 0 | 0 | 58 | 15k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
133.23/133.36 c 130s|170000 | 240 | 10025 | 0.0 |9788k| 258 | - |1517 |2928 | 0 | 0 | 58 | 15k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
138.24/138.31 c 135s|180000 | 240 | 10025 | 0.0 |9791k| 258 | - |1517 |2928 | 0 | 0 | 58 | 16k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
143.34/143.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.34/143.41 c 140s|190000 | 243 | 10025 | 0.0 |9789k| 258 | - |1517 |2928 | 0 | 0 | 58 | 17k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
148.43/148.58 c 145s|200000 | 240 | 10025 | 0.0 |9791k| 258 | - |1517 |2928 | 0 | 0 | 58 | 18k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
153.83/153.90 c 150s|210000 | 243 | 10025 | 0.0 |9792k| 258 | - |1517 |2928 | 0 | 0 | 58 | 19k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
158.82/158.94 c 155s|220000 | 242 | 10025 | 0.0 |9790k| 258 | - |1517 |2928 | 0 | 0 | 58 | 20k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
163.83/163.98 c 160s|230000 | 243 | 10025 | 0.0 |9790k| 258 | - |1517 |2928 | 0 | 0 | 58 | 21k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
169.02/169.16 c 165s|240000 | 243 | 10025 | 0.0 |9789k| 258 | - |1517 |2928 | 0 | 0 | 58 | 21k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
174.42/174.52 c 170s|250000 | 239 | 10025 | 0.0 |9791k| 258 | - |1517 |2928 | 0 | 0 | 58 | 22k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
179.62/179.72 c 175s|260000 | 240 | 10025 | 0.0 |9789k| 258 | - |1517 |2928 | 0 | 0 | 58 | 23k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
184.73/184.87 c 180s|270000 | 243 | 10025 | 0.0 |9789k| 258 | - |1517 |2928 | 0 | 0 | 58 | 24k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
189.51/189.67 c 185s|280000 | 242 | 10025 | 0.0 |9790k| 258 | - |1517 |2928 | 0 | 0 | 58 | 25k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
194.71/194.85 c 190s|290000 | 238 | 10025 | 0.0 |9791k| 258 | - |1517 |2928 | 0 | 0 | 58 | 26k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
199.81/199.96 c 195s|300000 | 238 | 10025 | 0.0 |9791k| 258 | - |1517 |2928 | 0 | 0 | 58 | 27k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
204.81/204.93 c 200s|310000 | 243 | 10025 | 0.0 |9790k| 258 | - |1517 |2928 | 0 | 0 | 58 | 28k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
209.71/209.80 c 205s|320000 | 242 | 10025 | 0.0 |9790k| 258 | - |1517 |2928 | 0 | 0 | 58 | 28k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
214.60/214.72 c 209s|330000 | 239 | 10025 | 0.0 |9790k| 258 | - |1517 |2928 | 0 | 0 | 58 | 29k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
219.51/219.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
219.51/219.63 c 214s|340000 | 241 | 10025 | 0.0 |9790k| 258 | - |1517 |2928 | 0 | 0 | 58 | 30k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
224.40/224.56 c 219s|350000 | 239 | 10025 | 0.0 |9790k| 258 | - |1517 |2928 | 0 | 0 | 58 | 30k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
229.30/229.46 c 224s|360000 | 239 | 10025 | 0.0 |9790k| 258 | - |1517 |2928 | 0 | 0 | 58 | 31k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
234.00/234.18 c 228s|370000 | 242 | 10025 | 0.0 |9793k| 258 | - |1517 |2928 | 0 | 0 | 58 | 32k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
238.90/239.04 c 233s|380000 | 242 | 10025 | 0.0 |9790k| 258 | - |1517 |2928 | 0 | 0 | 58 | 33k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
243.69/243.80 c 238s|390000 | 240 | 10025 | 0.0 |9793k| 258 | - |1517 |2928 | 0 | 0 | 58 | 33k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
248.29/248.44 c 242s|400000 | 238 | 10025 | 0.0 |9792k| 258 | - |1517 |2928 | 0 | 0 | 58 | 34k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
252.90/253.08 c 247s|410000 | 243 | 10025 | 0.0 |9791k| 258 | - |1517 |2928 | 0 | 0 | 58 | 34k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
257.79/257.92 c 251s|420000 | 239 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 35k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
262.70/262.82 c 256s|430000 | 239 | 10025 | 0.0 |9793k| 258 | - |1517 |2928 | 0 | 0 | 58 | 36k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
267.59/267.74 c 261s|440000 | 240 | 10025 | 0.0 |9790k| 258 | - |1517 |2928 | 0 | 0 | 58 | 37k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
272.29/272.44 c 265s|450000 | 239 | 10025 | 0.0 |9790k| 258 | - |1517 |2928 | 0 | 0 | 58 | 37k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
277.09/277.21 c 270s|460000 | 242 | 10025 | 0.0 |9790k| 258 | - |1517 |2928 | 0 | 0 | 58 | 38k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
281.68/281.88 c 275s|470000 | 238 | 10025 | 0.0 |9790k| 258 | - |1517 |2928 | 0 | 0 | 58 | 38k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
286.48/286.66 c 279s|480000 | 241 | 10025 | 0.0 |9791k| 258 | - |1517 |2928 | 0 | 0 | 58 | 39k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
291.28/291.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
291.28/291.50 c 284s|490000 | 241 | 10025 | 0.0 |9792k| 258 | - |1517 |2928 | 0 | 0 | 58 | 40k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
296.18/296.34 c 289s|500000 | 239 | 10025 | 0.0 |9791k| 258 | - |1517 |2928 | 0 | 0 | 58 | 40k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
300.97/301.13 c 293s|510000 | 240 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 41k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
305.77/305.98 c 298s|520000 | 239 | 10025 | 0.0 |9791k| 258 | - |1517 |2928 | 0 | 0 | 58 | 42k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
310.67/310.82 c 303s|530000 | 238 | 10025 | 0.0 |9792k| 258 | - |1517 |2928 | 0 | 0 | 58 | 42k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
315.86/316.02 c 308s|540000 | 238 | 10025 | 0.0 |9791k| 258 | - |1517 |2928 | 0 | 0 | 58 | 43k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
320.57/320.79 c 312s|550000 | 238 | 10025 | 0.0 |9792k| 258 | - |1517 |2928 | 0 | 0 | 58 | 44k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
325.17/325.39 c 317s|560000 | 236 | 10025 | 0.0 |9790k| 258 | - |1517 |2928 | 0 | 0 | 58 | 44k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
329.77/329.98 c 321s|570000 | 239 | 10025 | 0.0 |9791k| 258 | - |1517 |2928 | 0 | 0 | 58 | 45k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
334.56/334.79 c 326s|580000 | 239 | 10025 | 0.0 |9795k| 258 | - |1517 |2928 | 0 | 0 | 58 | 46k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
339.26/339.47 c 330s|590000 | 240 | 10025 | 0.0 |9791k| 258 | - |1517 |2928 | 0 | 0 | 58 | 46k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
344.07/344.22 c 335s|600000 | 240 | 10025 | 0.0 |9792k| 258 | - |1517 |2928 | 0 | 0 | 58 | 47k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
348.65/348.87 c 339s|610000 | 239 | 10025 | 0.0 |9791k| 258 | - |1517 |2928 | 0 | 0 | 58 | 48k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
353.56/353.72 c 344s|620000 | 238 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 48k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
358.46/358.68 c 349s|630000 | 242 | 10025 | 0.0 |9792k| 258 | - |1517 |2928 | 0 | 0 | 58 | 49k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
363.35/363.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
363.35/363.59 c 354s|640000 | 241 | 10025 | 0.0 |9793k| 258 | - |1517 |2928 | 0 | 0 | 58 | 50k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
368.55/368.75 c 359s|650000 | 237 | 10025 | 0.0 |9791k| 258 | - |1517 |2928 | 0 | 0 | 58 | 51k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
373.65/373.83 c 364s|660000 | 237 | 10025 | 0.0 |9791k| 258 | - |1517 |2928 | 0 | 0 | 58 | 51k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
378.75/378.95 c 369s|670000 | 237 | 10025 | 0.0 |9791k| 258 | - |1517 |2928 | 0 | 0 | 58 | 52k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
383.66/383.80 c 373s|680000 | 235 | 10025 | 0.0 |9793k| 258 | - |1517 |2928 | 0 | 0 | 58 | 53k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
388.34/388.50 c 378s|690000 | 237 | 10025 | 0.0 |9791k| 258 | - |1517 |2928 | 0 | 0 | 58 | 53k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
393.04/393.26 c 383s|700000 | 236 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 54k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
397.74/397.93 c 387s|710000 | 238 | 10025 | 0.0 |9791k| 258 | - |1517 |2928 | 0 | 0 | 58 | 55k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
402.24/402.46 c 391s|720000 | 239 | 10025 | 0.0 |9791k| 258 | - |1517 |2928 | 0 | 0 | 58 | 55k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
406.94/407.13 c 396s|730000 | 240 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 56k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
411.84/412.02 c 401s|740000 | 240 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 56k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
416.53/416.71 c 405s|750000 | 239 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 57k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
421.04/421.24 c 410s|760000 | 237 | 10025 | 0.0 |9796k| 258 | - |1517 |2928 | 0 | 0 | 58 | 57k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
425.63/425.84 c 414s|770000 | 241 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 58k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
430.83/431.01 c 419s|780000 | 238 | 10025 | 0.0 |9795k| 258 | - |1517 |2928 | 0 | 0 | 58 | 59k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
435.82/436.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
435.82/436.02 c 424s|790000 | 240 | 10025 | 0.0 |9797k| 258 | - |1517 |2928 | 0 | 0 | 58 | 60k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
440.62/440.86 c 429s|800000 | 237 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 60k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
445.23/445.45 c 433s|810000 | 240 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 61k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
450.12/450.32 c 438s|820000 | 241 | 10025 | 0.0 |9795k| 258 | - |1517 |2928 | 0 | 0 | 58 | 62k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
454.72/454.92 c 442s|830000 | 240 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 62k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
459.32/459.55 c 447s|840000 | 239 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 63k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
464.11/464.39 c 452s|850000 | 241 | 10025 | 0.0 |9797k| 258 | - |1517 |2928 | 0 | 0 | 58 | 63k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
469.01/469.22 c 456s|860000 | 241 | 10025 | 0.0 |9795k| 258 | - |1517 |2928 | 0 | 0 | 58 | 64k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
473.61/473.89 c 461s|870000 | 237 | 10025 | 0.0 |9795k| 258 | - |1517 |2928 | 0 | 0 | 58 | 65k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
478.41/478.66 c 465s|880000 | 242 | 10025 | 0.0 |9795k| 258 | - |1517 |2928 | 0 | 0 | 58 | 65k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
483.21/483.47 c 470s|890000 | 241 | 10025 | 0.0 |9796k| 258 | - |1517 |2928 | 0 | 0 | 58 | 66k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
488.01/488.27 c 475s|900000 | 238 | 10025 | 0.0 |9798k| 258 | - |1517 |2928 | 0 | 0 | 58 | 67k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
492.90/493.10 c 479s|910000 | 238 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 67k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
497.60/497.86 c 484s|920000 | 244 | 10025 | 0.0 |9795k| 258 | - |1517 |2928 | 0 | 0 | 58 | 68k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
502.30/502.54 c 489s|930000 | 239 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 69k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
506.91/507.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
506.91/507.16 c 493s|940000 | 237 | 10025 | 0.0 |9797k| 258 | - |1517 |2928 | 0 | 0 | 58 | 69k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
511.60/511.87 c 498s|950000 | 236 | 10025 | 0.0 |9796k| 258 | - |1517 |2928 | 0 | 0 | 58 | 70k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
516.49/516.74 c 502s|960000 | 237 | 10025 | 0.0 |9793k| 258 | - |1517 |2928 | 0 | 0 | 58 | 71k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
521.30/521.54 c 507s|970000 | 235 | 10025 | 0.0 |9793k| 258 | - |1517 |2928 | 0 | 0 | 58 | 71k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
525.99/526.21 c 512s|980000 | 239 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 72k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
530.49/530.70 c 516s|990000 | 237 | 10025 | 0.0 |9793k| 258 | - |1517 |2928 | 0 | 0 | 58 | 72k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
535.19/535.43 c 520s| 1000k| 233 | 10025 | 0.0 |9795k| 258 | - |1517 |2928 | 0 | 0 | 58 | 73k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
539.69/539.98 c 525s| 1010k| 241 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 73k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
544.68/544.97 c 530s| 1020k| 237 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 74k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
549.79/550.03 c 535s| 1030k| 238 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 75k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
554.68/554.91 c 539s| 1040k| 240 | 10025 | 0.0 |9795k| 258 | - |1517 |2928 | 0 | 0 | 58 | 76k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
559.38/559.62 c 544s| 1050k| 241 | 10025 | 0.0 |9798k| 258 | - |1517 |2928 | 0 | 0 | 58 | 76k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
564.18/564.48 c 549s| 1060k| 241 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 77k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
568.98/569.28 c 553s| 1070k| 240 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 78k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
573.88/574.19 c 558s| 1080k| 237 | 10025 | 0.0 |9793k| 258 | - |1517 |2928 | 0 | 0 | 58 | 78k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
578.87/579.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
578.87/579.16 c 563s| 1090k| 241 | 10025 | 0.0 |9796k| 258 | - |1517 |2928 | 0 | 0 | 58 | 79k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
583.57/583.87 c 567s| 1100k| 238 | 10025 | 0.0 |9796k| 258 | - |1517 |2928 | 0 | 0 | 58 | 80k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
588.27/588.52 c 572s| 1110k| 236 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 80k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
593.07/593.31 c 577s| 1120k| 239 | 10025 | 0.0 |9797k| 258 | - |1517 |2928 | 0 | 0 | 58 | 81k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
597.67/597.90 c 581s| 1130k| 238 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 81k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
602.36/602.60 c 586s| 1140k| 238 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 82k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
607.26/607.54 c 590s| 1150k| 239 | 10025 | 0.0 |9797k| 258 | - |1517 |2928 | 0 | 0 | 58 | 83k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
612.26/612.57 c 595s| 1160k| 237 | 10025 | 0.0 |9798k| 258 | - |1517 |2928 | 0 | 0 | 58 | 84k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
617.26/617.59 c 600s| 1170k| 240 | 10025 | 0.0 |9795k| 258 | - |1517 |2928 | 0 | 0 | 58 | 84k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
621.96/622.20 c 605s| 1180k| 239 | 10025 | 0.0 |9795k| 258 | - |1517 |2928 | 0 | 0 | 58 | 85k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
626.67/626.91 c 609s| 1190k| 238 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 85k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
631.16/631.41 c 614s| 1200k| 236 | 10025 | 0.0 |9796k| 258 | - |1517 |2928 | 0 | 0 | 58 | 86k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
635.65/635.95 c 618s| 1210k| 236 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 86k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
640.35/640.62 c 623s| 1220k| 240 | 10025 | 0.0 |9795k| 258 | - |1517 |2928 | 0 | 0 | 58 | 87k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
645.05/645.30 c 627s| 1230k| 238 | 10025 | 0.0 |9798k| 258 | - |1517 |2928 | 0 | 0 | 58 | 88k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
649.76/650.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
649.76/650.06 c 632s| 1240k| 237 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 88k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
654.26/654.56 c 636s| 1250k| 239 | 10025 | 0.0 |9795k| 258 | - |1517 |2928 | 0 | 0 | 58 | 89k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
658.65/658.93 c 640s| 1260k| 237 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 89k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
663.05/663.36 c 645s| 1270k| 238 | 10025 | 0.0 |9794k| 258 | - |1517 |2928 | 0 | 0 | 58 | 90k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
667.64/667.95 c 649s| 1280k| 238 | 10025 | 0.0 |9797k| 258 | - |1517 |2928 | 0 | 0 | 58 | 90k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
672.44/672.72 c 654s| 1290k| 240 | 10025 | 0.0 |9796k| 258 | - |1517 |2928 | 0 | 0 | 58 | 91k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
676.83/677.19 c 658s| 1300k| 239 | 10025 | 0.0 |9794k| 259 | - |1517 |2928 | 0 | 0 | 58 | 91k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
681.43/681.71 c 662s| 1310k| 240 | 10025 | 0.0 |9795k| 259 | - |1517 |2928 | 0 | 0 | 58 | 92k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
685.64/685.99 c 666s| 1320k| 237 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 92k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
690.33/690.61 c 671s| 1330k| 240 | 10025 | 0.0 |9795k| 259 | - |1517 |2928 | 0 | 0 | 58 | 92k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
694.83/695.18 c 675s| 1340k| 236 | 10025 | 0.0 |9794k| 259 | - |1517 |2928 | 0 | 0 | 58 | 93k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
699.53/699.81 c 680s| 1350k| 240 | 10025 | 0.0 |9795k| 259 | - |1517 |2928 | 0 | 0 | 58 | 93k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
704.03/704.36 c 684s| 1360k| 238 | 10025 | 0.0 |9794k| 259 | - |1517 |2928 | 0 | 0 | 58 | 94k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
708.43/708.74 c 688s| 1370k| 234 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 94k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
713.13/713.49 c 693s| 1380k| 236 | 10025 | 0.0 |9798k| 259 | - |1517 |2928 | 0 | 0 | 58 | 95k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
717.82/718.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
717.82/718.14 c 698s| 1390k| 237 | 10025 | 0.0 |9793k| 259 | - |1517 |2928 | 0 | 0 | 58 | 95k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
722.33/722.64 c 702s| 1400k| 238 | 10025 | 0.0 |9794k| 259 | - |1517 |2928 | 0 | 0 | 58 | 96k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
726.92/727.20 c 706s| 1410k| 238 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 96k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
731.31/731.65 c 711s| 1420k| 238 | 10025 | 0.0 |9797k| 259 | - |1517 |2928 | 0 | 0 | 58 | 97k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
735.81/736.14 c 715s| 1430k| 235 | 10025 | 0.0 |9794k| 259 | - |1517 |2928 | 0 | 0 | 58 | 97k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
740.50/740.80 c 720s| 1440k| 240 | 10025 | 0.0 |9794k| 259 | - |1517 |2928 | 0 | 0 | 58 | 98k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
745.09/745.46 c 724s| 1450k| 238 | 10025 | 0.0 |9800k| 259 | - |1517 |2928 | 0 | 0 | 58 | 99k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
749.91/750.21 c 729s| 1460k| 236 | 10025 | 0.0 |9794k| 259 | - |1517 |2928 | 0 | 0 | 58 | 99k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
754.49/754.88 c 733s| 1470k| 235 | 10025 | 0.0 |9794k| 259 | - |1517 |2928 | 0 | 0 | 58 | 100k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
758.99/759.30 c 737s| 1480k| 239 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 100k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
763.39/763.75 c 742s| 1490k| 237 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 100k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
767.79/768.17 c 746s| 1500k| 240 | 10025 | 0.0 |9798k| 259 | - |1517 |2928 | 0 | 0 | 58 | 101k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
772.38/772.74 c 750s| 1510k| 239 | 10025 | 0.0 |9795k| 259 | - |1517 |2928 | 0 | 0 | 58 | 101k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
776.79/777.17 c 755s| 1520k| 236 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 102k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
781.59/781.98 c 759s| 1530k| 240 | 10025 | 0.0 |9795k| 259 | - |1517 |2928 | 0 | 0 | 58 | 103k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
786.68/787.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
786.68/787.00 c 764s| 1540k| 240 | 10025 | 0.0 |9798k| 259 | - |1517 |2928 | 0 | 0 | 58 | 103k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
791.18/791.59 c 769s| 1550k| 238 | 10025 | 0.0 |9799k| 259 | - |1517 |2928 | 0 | 0 | 58 | 104k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
796.18/796.57 c 774s| 1560k| 240 | 10025 | 0.0 |9798k| 259 | - |1517 |2928 | 0 | 0 | 58 | 105k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
801.28/801.62 c 778s| 1570k| 238 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 106k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
806.18/806.56 c 783s| 1580k| 237 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 106k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
810.98/811.39 c 788s| 1590k| 240 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 107k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
815.78/816.16 c 793s| 1600k| 238 | 10025 | 0.0 |9801k| 259 | - |1517 |2928 | 0 | 0 | 58 | 108k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
820.47/820.87 c 797s| 1610k| 237 | 10025 | 0.0 |9799k| 259 | - |1517 |2928 | 0 | 0 | 58 | 108k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
825.17/825.55 c 802s| 1620k| 236 | 10025 | 0.0 |9798k| 259 | - |1517 |2928 | 0 | 0 | 58 | 109k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
830.27/830.67 c 807s| 1630k| 238 | 10025 | 0.0 |9798k| 259 | - |1517 |2928 | 0 | 0 | 58 | 110k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
835.26/835.64 c 811s| 1640k| 238 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 110k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
840.17/840.54 c 816s| 1650k| 239 | 10025 | 0.0 |9799k| 259 | - |1517 |2928 | 0 | 0 | 58 | 111k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
844.96/845.32 c 821s| 1660k| 238 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 112k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
849.56/849.96 c 825s| 1670k| 237 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 112k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
854.37/854.79 c 830s| 1680k| 240 | 10025 | 0.0 |9799k| 259 | - |1517 |2928 | 0 | 0 | 58 | 113k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
859.36/859.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
859.36/859.76 c 835s| 1690k| 240 | 10025 | 0.0 |9797k| 259 | - |1517 |2928 | 0 | 0 | 58 | 114k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
864.35/864.71 c 840s| 1700k| 238 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 114k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
869.05/869.47 c 844s| 1710k| 237 | 10025 | 0.0 |9798k| 259 | - |1517 |2928 | 0 | 0 | 58 | 115k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
873.95/874.32 c 849s| 1720k| 237 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 116k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
878.85/879.23 c 854s| 1730k| 239 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 116k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
884.06/884.42 c 859s| 1740k| 236 | 10025 | 0.0 |9795k| 259 | - |1517 |2928 | 0 | 0 | 58 | 117k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
889.24/889.60 c 864s| 1750k| 237 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 118k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
894.24/894.69 c 869s| 1760k| 239 | 10025 | 0.0 |9797k| 259 | - |1517 |2928 | 0 | 0 | 58 | 119k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
899.24/899.66 c 874s| 1770k| 236 | 10025 | 0.0 |9798k| 259 | - |1517 |2928 | 0 | 0 | 58 | 120k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
904.24/904.65 c 878s| 1780k| 236 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 121k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
909.14/909.56 c 883s| 1790k| 238 | 10025 | 0.0 |9799k| 259 | - |1517 |2928 | 0 | 0 | 58 | 121k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
914.03/914.48 c 888s| 1800k| 237 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 122k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
918.84/919.21 c 892s| 1810k| 237 | 10025 | 0.0 |9797k| 259 | - |1517 |2928 | 0 | 0 | 58 | 123k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
923.54/923.94 c 897s| 1820k| 238 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 123k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
928.33/928.75 c 902s| 1830k| 236 | 10025 | 0.0 |9795k| 259 | - |1517 |2928 | 0 | 0 | 58 | 124k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
933.03/933.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
933.03/933.41 c 906s| 1840k| 237 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 124k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
937.53/937.94 c 911s| 1850k| 236 | 10025 | 0.0 |9800k| 259 | - |1517 |2928 | 0 | 0 | 58 | 125k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
942.53/942.93 c 916s| 1860k| 239 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 126k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
947.42/947.89 c 920s| 1870k| 239 | 10025 | 0.0 |9799k| 259 | - |1517 |2928 | 0 | 0 | 58 | 126k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
952.52/952.99 c 925s| 1880k| 237 | 10025 | 0.0 |9798k| 259 | - |1517 |2928 | 0 | 0 | 58 | 127k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
957.63/958.08 c 930s| 1890k| 237 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 128k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
962.41/962.88 c 935s| 1900k| 236 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 129k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
967.11/967.57 c 939s| 1910k| 237 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 129k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
971.92/972.34 c 944s| 1920k| 238 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 130k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
976.42/976.87 c 949s| 1930k| 240 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 131k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
981.11/981.54 c 953s| 1940k| 237 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 131k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
985.91/986.36 c 958s| 1950k| 235 | 10025 | 0.0 |9797k| 259 | - |1517 |2928 | 0 | 0 | 58 | 132k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
990.72/991.16 c 962s| 1960k| 238 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 133k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
995.41/995.89 c 967s| 1970k| 235 | 10025 | 0.0 |9795k| 259 | - |1517 |2928 | 0 | 0 | 58 | 133k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1000.00/1000.46 c 971s| 1980k| 239 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 134k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1004.70/1005.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1004.70/1005.17 c 976s| 1990k| 240 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 134k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1009.51/1009.92 c 981s| 2000k| 237 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 135k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1014.20/1014.61 c 985s| 2010k| 237 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 136k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1018.80/1019.20 c 990s| 2020k| 237 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 136k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1023.61/1024.07 c 994s| 2030k| 238 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 137k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1028.19/1028.68 c 999s| 2040k| 235 | 10025 | 0.0 |9798k| 259 | - |1517 |2928 | 0 | 0 | 58 | 137k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1032.99/1033.40 c 1003s| 2050k| 235 | 10025 | 0.0 |9795k| 259 | - |1517 |2928 | 0 | 0 | 58 | 138k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1037.79/1038.23 c 1008s| 2060k| 238 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 139k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1042.69/1043.20 c 1013s| 2070k| 239 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 139k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1047.59/1048.01 c 1018s| 2080k| 236 | 10025 | 0.0 |9799k| 259 | - |1517 |2928 | 0 | 0 | 58 | 140k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1052.49/1052.91 c 1022s| 2090k| 237 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 141k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1057.09/1057.54 c 1027s| 2100k| 239 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 141k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1061.58/1062.02 c 1031s| 2110k| 237 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 142k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1066.08/1066.51 c 1035s| 2120k| 239 | 10025 | 0.0 |9799k| 259 | - |1517 |2928 | 0 | 0 | 58 | 142k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1070.58/1071.08 c 1040s| 2130k| 238 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 143k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1075.18/1075.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1075.18/1075.67 c 1044s| 2140k| 237 | 10025 | 0.0 |9797k| 259 | - |1517 |2928 | 0 | 0 | 58 | 143k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1079.78/1080.26 c 1049s| 2150k| 237 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 144k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1084.37/1084.86 c 1053s| 2160k| 237 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 144k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1089.07/1089.54 c 1058s| 2170k| 236 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 145k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1093.77/1094.20 c 1062s| 2180k| 237 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 145k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1098.37/1098.87 c 1067s| 2190k| 235 | 10025 | 0.0 |9796k| 259 | - |1517 |2928 | 0 | 0 | 58 | 146k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1102.97/1103.40 c 1071s| 2200k| 235 | 10025 | 0.0 |9798k| 259 | - |1517 |2928 | 0 | 0 | 58 | 146k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1107.47/1107.91 c 1076s| 2210k| 242 | 10025 | 0.0 |9800k| 259 | - |1517 |2928 | 0 | 0 | 58 | 147k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1111.86/1112.38 c 1080s| 2220k| 241 | 10025 | 0.0 |9802k| 259 | - |1517 |2928 | 0 | 0 | 58 | 147k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1116.27/1116.78 c 1084s| 2230k| 239 | 10025 | 0.0 |9801k| 259 | - |1517 |2928 | 0 | 0 | 58 | 148k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1120.66/1121.19 c 1088s| 2240k| 244 | 10025 | 0.0 |9800k| 259 | - |1517 |2928 | 0 | 0 | 58 | 148k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1125.16/1125.67 c 1093s| 2250k| 243 | 10025 | 0.0 |9800k| 259 | - |1517 |2928 | 0 | 0 | 58 | 149k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1129.46/1129.92 c 1097s| 2260k| 242 | 10025 | 0.0 |9800k| 259 | - |1517 |2928 | 0 | 0 | 58 | 149k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1133.76/1134.20 c 1101s| 2270k| 240 | 10025 | 0.0 |9799k| 259 | - |1517 |2928 | 0 | 0 | 58 | 149k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1138.26/1138.75 c 1105s| 2280k| 239 | 10025 | 0.0 |9802k| 259 | - |1517 |2928 | 0 | 0 | 58 | 150k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1142.75/1143.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1142.75/1143.25 c 1110s| 2290k| 241 | 10025 | 0.0 |9799k| 259 | - |1517 |2928 | 0 | 0 | 58 | 150k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1147.25/1147.74 c 1114s| 2300k| 238 | 10025 | 0.0 |9802k| 259 | - |1517 |2928 | 0 | 0 | 58 | 151k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1151.55/1152.05 c 1118s| 2310k| 243 | 10025 | 0.0 |9800k| 259 | - |1517 |2928 | 0 | 0 | 58 | 151k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1155.95/1156.43 c 1123s| 2320k| 239 | 10025 | 0.0 |9799k| 259 | - |1517 |2928 | 0 | 0 | 58 | 151k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1160.35/1160.89 c 1127s| 2330k| 238 | 10025 | 0.0 |9799k| 259 | - |1517 |2928 | 0 | 0 | 58 | 152k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1164.95/1165.42 c 1131s| 2340k| 239 | 10025 | 0.0 |9801k| 259 | - |1517 |2928 | 0 | 0 | 58 | 152k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1169.45/1169.90 c 1136s| 2350k| 241 | 10025 | 0.0 |9801k| 259 | - |1517 |2928 | 0 | 0 | 58 | 153k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1173.75/1174.26 c 1140s| 2360k| 242 | 10025 | 0.0 |9800k| 259 | - |1517 |2928 | 0 | 0 | 58 | 153k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1177.94/1178.44 c 1144s| 2370k| 240 | 10025 | 0.0 |9802k| 259 | - |1517 |2928 | 0 | 0 | 58 | 153k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1182.24/1182.77 c 1148s| 2380k| 240 | 10025 | 0.0 |9802k| 259 | - |1517 |2928 | 0 | 0 | 58 | 154k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1186.63/1187.14 c 1152s| 2390k| 240 | 10025 | 0.0 |9800k| 259 | - |1517 |2928 | 0 | 0 | 58 | 154k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1190.94/1191.48 c 1156s| 2400k| 242 | 10025 | 0.0 |9800k| 260 | - |1517 |2928 | 0 | 0 | 58 | 155k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1195.24/1195.76 c 1161s| 2410k| 240 | 10025 | 0.0 |9799k| 260 | - |1517 |2928 | 0 | 0 | 58 | 155k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1199.64/1200.15 c 1165s| 2420k| 240 | 10025 | 0.0 |9799k| 260 | - |1517 |2928 | 0 | 0 | 58 | 155k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1204.13/1204.66 c 1169s| 2430k| 239 | 10025 | 0.0 |9799k| 260 | - |1517 |2928 | 0 | 0 | 58 | 156k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1208.52/1209.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1208.52/1209.00 c 1173s| 2440k| 242 | 10025 | 0.0 |9800k| 260 | - |1517 |2928 | 0 | 0 | 58 | 156k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1212.83/1213.33 c 1178s| 2450k| 240 | 10025 | 0.0 |9800k| 260 | - |1517 |2928 | 0 | 0 | 58 | 156k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1217.14/1217.66 c 1182s| 2460k| 241 | 10025 | 0.0 |9800k| 260 | - |1517 |2928 | 0 | 0 | 58 | 157k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1221.53/1222.04 c 1186s| 2470k| 239 | 10025 | 0.0 |9799k| 260 | - |1517 |2928 | 0 | 0 | 58 | 157k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1225.93/1226.41 c 1190s| 2480k| 240 | 10025 | 0.0 |9800k| 260 | - |1517 |2928 | 0 | 0 | 58 | 157k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1230.22/1230.77 c 1194s| 2490k| 239 | 10025 | 0.0 |9799k| 260 | - |1517 |2928 | 0 | 0 | 58 | 158k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1234.62/1235.17 c 1199s| 2500k| 240 | 10025 | 0.0 |9799k| 260 | - |1517 |2928 | 0 | 0 | 58 | 158k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1238.82/1239.37 c 1203s| 2510k| 237 | 10025 | 0.0 |9801k| 260 | - |1517 |2928 | 0 | 0 | 58 | 158k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1243.02/1243.55 c 1207s| 2520k| 237 | 10025 | 0.0 |9799k| 260 | - |1517 |2928 | 0 | 0 | 58 | 159k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1247.41/1247.90 c 1211s| 2530k| 237 | 10025 | 0.0 |9799k| 260 | - |1517 |2928 | 0 | 0 | 58 | 159k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1251.91/1252.49 c 1215s| 2540k| 241 | 10025 | 0.0 |9799k| 260 | - |1517 |2928 | 0 | 0 | 58 | 160k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1256.41/1256.98 c 1220s| 2550k| 238 | 10025 | 0.0 |9799k| 260 | - |1517 |2928 | 0 | 0 | 58 | 160k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1260.91/1261.41 c 1224s| 2560k| 241 | 10025 | 0.0 |9801k| 260 | - |1517 |2928 | 0 | 0 | 58 | 160k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1265.41/1265.90 c 1228s| 2570k| 242 | 10025 | 0.0 |9800k| 260 | - |1517 |2928 | 0 | 0 | 58 | 161k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1269.80/1270.36 c 1233s| 2580k| 239 | 10025 | 0.0 |9799k| 260 | - |1517 |2928 | 0 | 0 | 58 | 161k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1274.41/1274.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1274.41/1274.96 c 1237s| 2590k| 239 | 10025 | 0.0 |9801k| 260 | - |1517 |2928 | 0 | 0 | 58 | 162k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1279.00/1279.57 c 1242s| 2600k| 237 | 10025 | 0.0 |9801k| 260 | - |1517 |2928 | 0 | 0 | 58 | 162k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1283.70/1284.21 c 1246s| 2610k| 241 | 10025 | 0.0 |9800k| 260 | - |1517 |2928 | 0 | 0 | 58 | 163k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1288.20/1288.71 c 1250s| 2620k| 240 | 10025 | 0.0 |9799k| 260 | - |1517 |2928 | 0 | 0 | 58 | 163k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1292.60/1293.15 c 1255s| 2630k| 240 | 10025 | 0.0 |9799k| 260 | - |1517 |2928 | 0 | 0 | 58 | 164k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1297.00/1297.58 c 1259s| 2640k| 237 | 10025 | 0.0 |9801k| 260 | - |1517 |2928 | 0 | 0 | 58 | 164k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1301.40/1301.92 c 1263s| 2650k| 242 | 10025 | 0.0 |9802k| 260 | - |1517 |2928 | 0 | 0 | 58 | 165k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1305.79/1306.37 c 1268s| 2660k| 239 | 10025 | 0.0 |9799k| 260 | - |1517 |2928 | 0 | 0 | 58 | 165k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1310.10/1310.62 c 1272s| 2670k| 239 | 10025 | 0.0 |9799k| 260 | - |1517 |2928 | 0 | 0 | 58 | 165k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1314.29/1314.82 c 1276s| 2680k| 241 | 10025 | 0.0 |9800k| 260 | - |1517 |2928 | 0 | 0 | 58 | 166k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1318.59/1319.17 c 1280s| 2690k| 240 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 166k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1322.70/1323.29 c 1284s| 2700k| 239 | 10025 | 0.0 |9800k| 261 | - |1517 |2928 | 0 | 0 | 58 | 166k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1326.99/1327.53 c 1288s| 2710k| 239 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 167k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1331.08/1331.69 c 1292s| 2720k| 238 | 10025 | 0.0 |9802k| 261 | - |1517 |2928 | 0 | 0 | 58 | 167k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1335.38/1335.92 c 1296s| 2730k| 240 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 167k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1339.68/1340.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1339.68/1340.24 c 1300s| 2740k| 242 | 10025 | 0.0 |9800k| 261 | - |1517 |2928 | 0 | 0 | 58 | 167k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1344.08/1344.60 c 1305s| 2750k| 238 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 168k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1348.68/1349.24 c 1309s| 2760k| 242 | 10025 | 0.0 |9800k| 261 | - |1517 |2928 | 0 | 0 | 58 | 168k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1353.28/1353.80 c 1314s| 2770k| 237 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 169k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1357.57/1358.14 c 1318s| 2780k| 239 | 10025 | 0.0 |9802k| 261 | - |1517 |2928 | 0 | 0 | 58 | 169k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1361.88/1362.41 c 1322s| 2790k| 237 | 10025 | 0.0 |9798k| 261 | - |1517 |2928 | 0 | 0 | 58 | 169k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1366.07/1366.68 c 1326s| 2800k| 236 | 10025 | 0.0 |9798k| 261 | - |1517 |2928 | 0 | 0 | 58 | 170k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1370.57/1371.19 c 1330s| 2810k| 240 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 170k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1374.87/1375.42 c 1334s| 2820k| 236 | 10025 | 0.0 |9801k| 261 | - |1517 |2928 | 0 | 0 | 58 | 170k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1379.07/1379.60 c 1338s| 2830k| 237 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 171k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1383.28/1383.82 c 1343s| 2840k| 236 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 171k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1387.67/1388.23 c 1347s| 2850k| 242 | 10025 | 0.0 |9800k| 261 | - |1517 |2928 | 0 | 0 | 58 | 171k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1392.46/1393.08 c 1352s| 2860k| 238 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 172k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1397.26/1397.87 c 1356s| 2870k| 236 | 10025 | 0.0 |9798k| 261 | - |1517 |2928 | 0 | 0 | 58 | 173k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1401.76/1402.32 c 1360s| 2880k| 239 | 10025 | 0.0 |9800k| 261 | - |1517 |2928 | 0 | 0 | 58 | 173k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1406.26/1406.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1406.26/1406.90 c 1365s| 2890k| 237 | 10025 | 0.0 |9801k| 261 | - |1517 |2928 | 0 | 0 | 58 | 174k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1410.76/1411.31 c 1369s| 2900k| 241 | 10025 | 0.0 |9800k| 261 | - |1517 |2928 | 0 | 0 | 58 | 174k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1415.25/1415.82 c 1374s| 2910k| 240 | 10025 | 0.0 |9800k| 261 | - |1517 |2928 | 0 | 0 | 58 | 174k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1419.86/1420.46 c 1378s| 2920k| 240 | 10025 | 0.0 |9800k| 261 | - |1517 |2928 | 0 | 0 | 58 | 175k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1424.45/1425.01 c 1382s| 2930k| 240 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 175k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1429.05/1429.62 c 1387s| 2940k| 237 | 10025 | 0.0 |9800k| 261 | - |1517 |2928 | 0 | 0 | 58 | 176k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1433.54/1434.19 c 1391s| 2950k| 240 | 10025 | 0.0 |9801k| 261 | - |1517 |2928 | 0 | 0 | 58 | 176k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1437.95/1438.52 c 1396s| 2960k| 239 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 177k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1442.44/1443.03 c 1400s| 2970k| 237 | 10025 | 0.0 |9800k| 261 | - |1517 |2928 | 0 | 0 | 58 | 177k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1446.95/1447.56 c 1404s| 2980k| 240 | 10025 | 0.0 |9801k| 261 | - |1517 |2928 | 0 | 0 | 58 | 178k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1451.54/1452.12 c 1409s| 2990k| 236 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 178k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1456.04/1456.67 c 1413s| 3000k| 238 | 10025 | 0.0 |9801k| 261 | - |1517 |2928 | 0 | 0 | 58 | 179k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1460.34/1460.94 c 1417s| 3010k| 237 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 179k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1464.74/1465.30 c 1422s| 3020k| 238 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 179k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1469.13/1469.70 c 1426s| 3030k| 239 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 180k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1473.44/1474.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1473.44/1474.06 c 1430s| 3040k| 239 | 10025 | 0.0 |9801k| 261 | - |1517 |2928 | 0 | 0 | 58 | 180k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1477.93/1478.51 c 1434s| 3050k| 239 | 10025 | 0.0 |9801k| 261 | - |1517 |2928 | 0 | 0 | 58 | 180k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1482.32/1482.96 c 1439s| 3060k| 241 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 181k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1486.83/1487.45 c 1443s| 3070k| 240 | 10025 | 0.0 |9800k| 261 | - |1517 |2928 | 0 | 0 | 58 | 181k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1491.33/1491.93 c 1447s| 3080k| 238 | 10025 | 0.0 |9801k| 261 | - |1517 |2928 | 0 | 0 | 58 | 182k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1495.82/1496.44 c 1452s| 3090k| 237 | 10025 | 0.0 |9803k| 261 | - |1517 |2928 | 0 | 0 | 58 | 182k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1500.43/1501.04 c 1456s| 3100k| 242 | 10025 | 0.0 |9800k| 261 | - |1517 |2928 | 0 | 0 | 58 | 183k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1505.23/1505.83 c 1461s| 3110k| 239 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 183k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1510.02/1510.64 c 1465s| 3120k| 238 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 184k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1514.42/1515.06 c 1470s| 3130k| 237 | 10025 | 0.0 |9801k| 261 | - |1517 |2928 | 0 | 0 | 58 | 184k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1518.82/1519.42 c 1474s| 3140k| 237 | 10025 | 0.0 |9798k| 261 | - |1517 |2928 | 0 | 0 | 58 | 185k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1523.11/1523.73 c 1478s| 3150k| 236 | 10025 | 0.0 |9802k| 261 | - |1517 |2928 | 0 | 0 | 58 | 185k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1527.61/1528.29 c 1482s| 3160k| 239 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 185k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1532.01/1532.68 c 1487s| 3170k| 238 | 10025 | 0.0 |9801k| 261 | - |1517 |2928 | 0 | 0 | 58 | 186k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1536.51/1537.12 c 1491s| 3180k| 238 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 186k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1540.91/1541.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1540.91/1541.50 c 1495s| 3190k| 237 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 186k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1545.21/1545.81 c 1499s| 3200k| 237 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 187k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1549.59/1550.27 c 1504s| 3210k| 240 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 187k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1554.20/1554.85 c 1508s| 3220k| 237 | 10025 | 0.0 |9798k| 261 | - |1517 |2928 | 0 | 0 | 58 | 188k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1558.60/1559.24 c 1512s| 3230k| 237 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 188k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1562.99/1563.64 c 1517s| 3240k| 238 | 10025 | 0.0 |9801k| 261 | - |1517 |2928 | 0 | 0 | 58 | 188k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1567.39/1568.06 c 1521s| 3250k| 239 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 189k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1571.79/1572.47 c 1525s| 3260k| 235 | 10025 | 0.0 |9800k| 261 | - |1517 |2928 | 0 | 0 | 58 | 189k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1576.29/1576.94 c 1529s| 3270k| 237 | 10025 | 0.0 |9798k| 261 | - |1517 |2928 | 0 | 0 | 58 | 189k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1580.68/1581.38 c 1534s| 3280k| 236 | 10025 | 0.0 |9798k| 261 | - |1517 |2928 | 0 | 0 | 58 | 190k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1585.28/1585.96 c 1538s| 3290k| 238 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 190k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1589.69/1590.34 c 1542s| 3300k| 235 | 10025 | 0.0 |9798k| 261 | - |1517 |2928 | 0 | 0 | 58 | 190k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1593.98/1594.65 c 1547s| 3310k| 238 | 10025 | 0.0 |9801k| 261 | - |1517 |2928 | 0 | 0 | 58 | 191k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1598.18/1598.86 c 1551s| 3320k| 240 | 10025 | 0.0 |9800k| 261 | - |1517 |2928 | 0 | 0 | 58 | 191k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1602.48/1603.17 c 1555s| 3330k| 235 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 191k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1606.77/1607.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1606.77/1607.40 c 1559s| 3340k| 238 | 10025 | 0.0 |9801k| 261 | - |1517 |2928 | 0 | 0 | 58 | 191k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1610.98/1611.63 c 1563s| 3350k| 237 | 10025 | 0.0 |9802k| 261 | - |1517 |2928 | 0 | 0 | 58 | 192k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1615.18/1615.82 c 1567s| 3360k| 238 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 192k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1619.58/1620.27 c 1571s| 3370k| 237 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 192k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1623.77/1624.44 c 1575s| 3380k| 237 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 192k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1627.97/1628.69 c 1579s| 3390k| 236 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 193k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1632.17/1632.88 c 1584s| 3400k| 239 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 193k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1636.46/1637.13 c 1588s| 3410k| 235 | 10025 | 0.0 |9801k| 261 | - |1517 |2928 | 0 | 0 | 58 | 193k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1640.96/1641.63 c 1592s| 3420k| 240 | 10025 | 0.0 |9801k| 261 | - |1517 |2928 | 0 | 0 | 58 | 193k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1645.56/1646.26 c 1597s| 3430k| 241 | 10025 | 0.0 |9800k| 261 | - |1517 |2928 | 0 | 0 | 58 | 194k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1650.16/1650.85 c 1601s| 3440k| 237 | 10025 | 0.0 |9798k| 261 | - |1517 |2928 | 0 | 0 | 58 | 195k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1654.76/1655.42 c 1605s| 3450k| 239 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 195k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1659.27/1659.98 c 1610s| 3460k| 234 | 10025 | 0.0 |9797k| 261 | - |1517 |2928 | 0 | 0 | 58 | 196k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1663.86/1664.59 c 1614s| 3470k| 238 | 10025 | 0.0 |9801k| 261 | - |1517 |2928 | 0 | 0 | 58 | 196k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1668.65/1669.39 c 1619s| 3480k| 238 | 10025 | 0.0 |9800k| 261 | - |1517 |2928 | 0 | 0 | 58 | 197k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1673.76/1674.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1673.76/1674.40 c 1624s| 3490k| 238 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 197k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1678.66/1679.36 c 1629s| 3500k| 241 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 198k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1683.15/1683.83 c 1633s| 3510k| 239 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 199k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1687.65/1688.32 c 1637s| 3520k| 241 | 10025 | 0.0 |9801k| 261 | - |1517 |2928 | 0 | 0 | 58 | 199k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1692.34/1693.00 c 1642s| 3530k| 237 | 10025 | 0.0 |9798k| 261 | - |1517 |2928 | 0 | 0 | 58 | 200k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1697.04/1697.72 c 1646s| 3540k| 239 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 200k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1701.74/1702.41 c 1651s| 3550k| 238 | 10025 | 0.0 |9800k| 261 | - |1517 |2928 | 0 | 0 | 58 | 201k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1706.24/1706.94 c 1655s| 3560k| 238 | 10025 | 0.0 |9802k| 261 | - |1517 |2928 | 0 | 0 | 58 | 201k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1710.94/1711.66 c 1660s| 3570k| 237 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 202k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1715.53/1716.21 c 1664s| 3580k| 237 | 10025 | 0.0 |9801k| 261 | - |1517 |2928 | 0 | 0 | 58 | 202k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1720.03/1720.76 c 1669s| 3590k| 239 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 203k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1724.73/1725.43 c 1673s| 3600k| 239 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 203k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1729.14/1729.85 c 1678s| 3610k| 238 | 10025 | 0.0 |9801k| 261 | - |1517 |2928 | 0 | 0 | 58 | 204k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1733.63/1734.36 c 1682s| 3620k| 239 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 204k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1738.03/1738.75 c 1686s| 3630k| 241 | 10025 | 0.0 |9800k| 261 | - |1517 |2928 | 0 | 0 | 58 | 205k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1742.42/1743.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1742.42/1743.19 c 1690s| 3640k| 239 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 205k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1746.83/1747.51 c 1695s| 3650k| 238 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 205k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1751.23/1751.97 c 1699s| 3660k| 237 | 10025 | 0.0 |9801k| 261 | - |1517 |2928 | 0 | 0 | 58 | 206k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1755.53/1756.25 c 1703s| 3670k| 240 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 206k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1759.92/1760.62 c 1707s| 3680k| 235 | 10025 | 0.0 |9802k| 261 | - |1517 |2928 | 0 | 0 | 58 | 206k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1764.32/1765.05 c 1712s| 3690k| 238 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 207k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1768.82/1769.54 c 1716s| 3700k| 236 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 207k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1773.71/1774.45 c 1721s| 3710k| 238 | 10025 | 0.0 |9800k| 261 | - |1517 |2928 | 0 | 0 | 58 | 208k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1778.41/1779.16 c 1725s| 3720k| 238 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 209k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1782.92/1783.60 c 1730s| 3730k| 238 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 209k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1787.41/1788.13 c 1734s| 3740k| 234 | 10025 | 0.0 |9798k| 261 | - |1517 |2928 | 0 | 0 | 58 | 209k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1791.90/1792.67 c 1738s| 3750k| 237 | 10025 | 0.0 |9801k| 261 | - |1517 |2928 | 0 | 0 | 58 | 210k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1796.41/1797.20 c 1743s| 3760k| 238 | 10025 | 0.0 |9799k| 261 | - |1517 |2928 | 0 | 0 | 58 | 210k| 20 | 9.870000e+02 | 1.144000e+03 | 15.91%
1800.02/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.71 c
1800.02/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.71 c Solving Time (sec) : 1746.16
1800.02/1800.71 c Solving Nodes : 3768079
1800.02/1800.71 c Primal Bound : +1.14400000000000e+03 (18 solutions)
1800.02/1800.71 c Dual Bound : +9.87000000000000e+02
1800.02/1800.71 c Gap : 15.91 %
1800.02/1800.72 s SATISFIABLE
1800.02/1800.72 v -x1964 -x1963 x1962 -x1961 -x1960 -x1959 -x1958 -x1957 x1956 x1955 x1954 x1953 -x1952 x1951 -x1950 -x1949 -x1948 x1947 x1946 -x1945
1800.02/1800.72 v -x1944 x1943 x1942 x1941 x1940 -x1939 -x1938 x1937 x1936 x1935 -x1934 -x1933 -x1932 x1931 x1930 x1929 x1928 -x1927 -x1926
1800.02/1800.72 v -x1925 x1924 x1923 x1922 x1921 x1920 -x1919 x1918 x1917 -x1916 -x1915 x1914 x1913 x1912 -x1911 -x1910 -x1909 x1908 x1907 x1906
1800.02/1800.72 v x1905 -x1904 -x1903 x1902 -x1901 x1900 x1899 -x1898 -x1897 -x1896 x1895 x1894 x1893 -x1892 x1891 -x1890 x1889 -x1888 x1887
1800.02/1800.72 v x1886 -x1885 x1884 x1883 -x1882 x1881 -x1880 x1879 -x1878 -x1877 -x1876 x1875 x1874 x1873 x1872 -x1871 -x1870 -x1869 x1868
1800.02/1800.72 v -x1867 -x1866 x1865 x1864 x1863 x1862 -x1861 -x1860 -x1859 -x1858 x1857 x1856 x1855 x1854 x1853 x1852 x1851 x1850 x1849 -x1848
1800.02/1800.72 v -x1847 -x1846 x1845 -x1844 x1843 x1842 -x1841 -x1840 x1839 x1838 -x1837 x1836 -x1835 x1834 x1833 x1832 x1831 -x1830 -x1829
1800.02/1800.72 v -x1828 x1827 x1826 x1825 x1824 -x1823 x1822 x1821 -x1820 x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 x1812 x1811 x1810 x1809
1800.02/1800.72 v x1808 x1807 x1806 -x1805 x1804 -x1803 -x1802 x1801 x1800 x1799 -x1798 x1797 -x1796 x1795 x1794 x1793 x1792 -x1791 x1790 x1789
1800.02/1800.72 v -x1788 x1787 x1786 -x1785 x1784 x1783 -x1782 x1781 x1780 x1779 -x1778 -x1777 x1776 x1775 x1774 -x1773 -x1772 -x1771 x1770
1800.02/1800.72 v x1769 x1768 -x1767 x1766 -x1765 -x1764 -x1763 x1762 -x1761 x1760 x1759 -x1758 x1757 x1756 x1755 x1754 x1753 x1752 x1751 x1750
1800.02/1800.72 v x1749 x1748 x1747 x1746 x1745 x1744 x1743 x1742 -x1741 -x1740 x1739 x1738 x1737 -x1736 x1735 x1734 -x1733 x1732 x1731 x1730
1800.02/1800.72 v -x1729 x1728 x1727 x1726 -x1725 -x1724 x1723 -x1722 -x1721 x1720 x1719 x1718 -x1717 -x1716 -x1715 x1714 -x1713 x1712 x1711
1800.02/1800.72 v -x1710 -x1709 -x1708 -x1707 -x1706 x1705 x1704 -x1703 -x1702 x1701 -x1700 x1699 -x1698 x1697 x1696 -x1695 x1694 x1693 x1692 x1691
1800.02/1800.72 v x1690 -x1689 x1688 -x1687 -x1686 x1685 x1684 -x1683 x1682 x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 x1674 -x1673 -x1672
1800.02/1800.72 v -x1671 -x1670 x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 x1661 x1660 -x1659 -x1658 x1657 x1656 x1655 -x1654
1800.02/1800.72 v x1653 -x1652 -x1651 -x1650 -x1649 x1648 x1647 x1646 x1645 -x1644 x1643 -x1642 -x1641 -x1640 x1639 x1638 -x1637 x1636 -x1635
1800.02/1800.72 v x1634 x1633 x1632 -x1631 x1630 x1629 x1628 x1627 x1626 -x1625 x1624 x1623 -x1622 x1621 x1620 x1619 x1618 x1617 x1616 x1615 x1614
1800.02/1800.72 v x1613 x1612 x1611 x1610 x1609 x1608 x1607 -x1606 -x1605 -x1604 x1603 x1602 -x1601 -x1600 -x1599 -x1598 -x1597 x1596 -x1595
1800.02/1800.72 v x1594 x1593 -x1592 x1591 x1590 x1589 x1588 x1587 x1586 -x1585 x1584 x1583 x1582 x1581 x1580 x1579 -x1578 x1577 -x1576 x1575
1800.02/1800.72 v x1574 x1573 x1572 x1571 x1570 x1569 -x1568 x1567 -x1566 x1565 x1564 -x1563 x1562 x1561 -x1560 -x1559 x1558 -x1557 -x1556 -x1555
1800.02/1800.72 v -x1554 -x1553 -x1552 x1551 x1550 -x1549 -x1548 x1547 x1546 x1545 x1544 x1543 x1542 -x1541 x1540 -x1539 -x1538 x1537 x1536
1800.02/1800.72 v -x1535 -x1534 x1533 x1532 x1531 -x1530 x1529 x1528 -x1527 x1526 x1525 x1524 x1523 -x1522 -x1521 x1520 -x1519 x1518 -x1517 x1516
1800.02/1800.72 v x1515 x1514 x1513 -x1512 x1511 x1510 x1509 -x1508 -x1507 x1506 -x1505 -x1504 x1503 -x1502 x1501 x1500 x1499 x1498 -x1497
1800.02/1800.72 v x1496 -x1495 x1494 x1493 x1492 x1491 -x1490 x1489 x1488 x1487 x1486 x1485 x1484 x1483 x1482 x1481 -x1480 x1479 x1478 x1477 x1476
1800.02/1800.72 v x1475 x1474 x1473 x1472 -x1471 x1470 -x1469 x1468 x1467 -x1466 x1465 -x1464 x1463 x1462 x1461 x1460 x1459 x1458 -x1457 x1456
1800.02/1800.72 v x1455 x1454 x1453 x1452 -x1451 x1450 x1449 -x1448 x1447 x1446 x1445 x1444 x1443 x1442 x1441 x1440 x1439 x1438 x1437 x1436
1800.02/1800.72 v -x1435 x1434 x1433 -x1432 x1431 x1430 x1429 x1428 x1427 x1426 x1425 x1424 x1423 x1422 x1421 x1420 x1419 x1418 -x1417 x1416 x1415
1800.02/1800.72 v -x1414 -x1413 x1412 x1411 x1410 x1409 x1408 x1407 x1406 x1405 x1404 x1403 x1402 x1401 x1400 x1399 -x1398 x1397 -x1396 -x1395
1800.02/1800.72 v -x1394 x1393 x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 x1385 x1384 x1383 x1382 -x1381 -x1380 -x1379 x1378 -x1377 x1376
1800.02/1800.72 v -x1375 x1374 x1373 x1372 -x1371 x1370 x1369 x1368 x1367 x1366 x1365 x1364 x1363 -x1362 x1361 x1360 x1359 -x1358 x1357 x1356
1800.02/1800.72 v -x1355 x1354 -x1353 x1352 -x1351 x1350 -x1349 x1348 x1347 x1346 x1345 x1344 x1343 x1342 -x1341 x1340 x1339 x1338 x1337 -x1336
1800.02/1800.72 v x1335 x1334 x1333 x1332 x1331 x1330 -x1329 -x1328 x1327 x1326 x1325 x1324 x1323 x1322 x1321 x1320 -x1319 x1318 x1317 x1316
1800.02/1800.72 v x1315 x1314 x1313 x1312 x1311 x1310 -x1309 x1308 x1307 -x1306 x1305 x1304 x1303 x1302 x1301 x1300 x1299 x1298 x1297 -x1296
1800.02/1800.72 v -x1295 -x1294 x1293 x1292 x1291 x1290 -x1289 x1288 x1287 -x1286 -x1285 x1284 x1283 x1282 x1281 x1280 x1279 -x1278 x1277 x1276
1800.02/1800.72 v x1275 x1274 -x1273 x1272 x1271 x1270 x1269 -x1268 x1267 x1266 x1265 x1264 x1263 -x1262 x1261 x1260 x1259 -x1258 x1257 x1256
1800.02/1800.72 v x1255 x1254 x1253 x1252 x1251 x1250 x1249 x1248 -x1247 x1246 -x1245 x1244 x1243 x1242 x1241 -x1240 x1239 -x1238 x1237 -x1236
1800.02/1800.72 v x1235 x1234 -x1233 x1232 x1231 -x1230 x1229 x1228 x1227 x1226 x1225 x1224 x1223 -x1222 -x1221 -x1220 x1219 -x1218 x1217 -x1216
1800.02/1800.72 v x1215 x1214 x1213 -x1212 -x1211 x1210 x1209 x1208 x1207 x1206 -x1205 x1204 x1203 -x1202 x1201 x1200 -x1199 x1198 x1197 -x1196
1800.02/1800.72 v x1195 x1194 x1193 x1192 x1191 x1190 x1189 x1188 x1187 x1186 x1185 x1184 -x1183 x1182 x1181 -x1180 -x1179 -x1178 x1177 -x1176
1800.02/1800.72 v -x1175 x1174 -x1173 x1172 -x1171 x1170 x1169 x1168 x1167 x1166 x1165 -x1164 -x1163 x1162 -x1161 x1160 x1159 x1158 x1157 x1156
1800.02/1800.72 v -x1155 -x1154 x1153 -x1152 x1151 x1150 x1149 x1148 x1147 x1146 -x1145 x1144 x1143 x1142 x1141 x1140 x1139 x1138 -x1137 -x1136
1800.02/1800.72 v x1135 -x1134 -x1133 x1132 x1131 x1130 x1129 -x1128 x1127 x1126 -x1125 x1124 -x1123 -x1122 x1121 -x1120 x1119 -x1118 x1117
1800.02/1800.72 v -x1116 x1115 x1114 x1113 -x1112 -x1111 x1110 -x1109 x1108 -x1107 x1106 x1105 x1104 x1103 x1102 -x1101 x1100 x1099 x1098 x1097
1800.02/1800.72 v -x1096 x1095 x1094 x1093 x1092 x1091 x1090 -x1089 x1088 x1087 x1086 x1085 -x1084 x1083 x1082 x1081 -x1080 -x1079 x1078 x1077
1800.02/1800.72 v x1076 x1075 x1074 -x1073 x1072 -x1071 -x1070 x1069 -x1068 x1067 -x1066 x1065 -x1064 -x1063 x1062 x1061 -x1060 x1059 x1058
1800.02/1800.72 v -x1057 x1056 x1055 -x1054 -x1053 x1052 -x1051 -x1050 x1049 -x1048 -x1047 -x1046 -x1045 x1044 x1043 x1042 x1041 x1040 x1039 x1038
1800.02/1800.72 v -x1037 x1036 x1035 -x1034 x1033 x1032 x1031 -x1030 x1029 x1028 x1027 x1026 x1025 x1024 x1023 -x1022 x1021 x1020 x1019 x1018
1800.02/1800.72 v x1017 -x1016 -x1015 x1014 x1013 x1012 -x1011 x1010 x1009 x1008 -x1007 x1006 x1005 -x1004 x1003 x1002 x1001 x1000 -x999 -x998
1800.02/1800.72 v -x997 -x996 -x995 x994 -x993 -x992 -x991 x990 x989 x988 x987 x986 -x985 -x984 x983 -x982 -x981 -x980 -x979 -x978 x977 x976
1800.02/1800.72 v x975 x974 -x973 -x972 x971 x970 x969 x968 x967 x966 x965 x964 -x963 x962 x961 x960 x959 -x958 x957 -x956 x955 x954 x953 -x952
1800.02/1800.72 v x951 x950 x949 -x948 x947 x946 x945 x944 -x943 -x942 x941 x940 x939 x938 -x937 x936 x935 x934 x933 x932 x931 -x930 x929 x928
1800.02/1800.72 v -x927 x926 -x925 -x924 -x923 x922 -x921 -x920 x919 x918 -x917 x916 x915 -x914 x913 x912 x911 x910 x909 -x908 x907 -x906 x905
1800.02/1800.72 v x904 x903 x902 -x901 -x900 x899 x898 -x897 -x896 x895 x894 x893 x892 -x891 x890 x889 x888 x887 x886 x885 -x884 -x883 x882
1800.02/1800.72 v -x881 -x880 x879 x878 -x877 -x876 x875 -x874 x873 x872 x871 x870 -x869 x868 x867 x866 x865 -x864 x863 x862 x861 x860 x859 -x858
1800.02/1800.72 v -x857 x856 x855 x854 x853 -x852 x851 x850 x849 -x848 -x847 -x846 x845 -x844 x843 x842 x841 x840 x839 x838 x837 x836 x835 x834
1800.02/1800.72 v x833 x832 -x831 -x830 -x829 -x828 x827 x826 x825 -x824 x823 x822 x821 x820 -x819 x818 x817 -x816 x815 x814 x813 -x812 x811
1800.02/1800.72 v -x810 x809 x808 -x807 x806 -x805 -x804 x803 x802 x801 x800 -x799 -x798 x797 x796 -x795 x794 x793 x792 x791 x790 x789 x788 x787
1800.02/1800.72 v -x786 x785 x784 x783 -x782 -x781 -x780 x779 x778 -x777 x776 x775 x774 x773 x772 -x771 -x770 x769 x768 -x767 x766 x765 x764
1800.02/1800.72 v x763 x762 x761 x760 x759 x758 -x757 x756 x755 x754 -x753 x752 x751 x750 x749 x748 x747 -x746 x745 x744 x743 x742 x741 x740
1800.02/1800.72 v x739 -x738 -x737 x736 x735 -x734 x733 x732 x731 -x730 x729 x728 -x727 x726 x725 x724 -x723 x722 -x721 -x720 -x719 x718 -x717
1800.02/1800.72 v x716 x715 x714 x713 x712 x711 x710 x709 x708 -x707 x706 x705 x704 -x703 x702 -x701 -x700 -x699 -x698 -x697 -x696 x695 -x694 x693
1800.02/1800.72 v -x692 x691 x690 x689 x688 -x687 x686 -x685 x684 -x683 x682 -x681 x680 x679 -x678 x677 x676 x675 x674 -x673 -x672 -x671 -x670
1800.02/1800.72 v x669 x668 x667 -x666 x665 x664 -x663 x662 x661 x660 x659 x658 -x657 x656 -x655 x654 x653 x652 x651 x650 -x649 x648 -x647
1800.02/1800.72 v -x646 x645 -x644 x643 x642 x641 -x640 x639 x638 x637 -x636 x635 x634 x633 x632 x631 x630 -x629 x628 x627 -x626 x625 x624 x623
1800.02/1800.72 v x622 x621 x620 -x619 x618 x617 -x616 x615 -x614 -x613 x612 -x611 x610 x609 -x608 -x607 x606 x605 x604 -x603 x602 -x601 x600
1800.02/1800.72 v x599 x598 x597 -x596 x595 -x594 -x593 -x592 x591 -x590 x589 x588 x587 x586 x585 -x584 -x583 -x582 -x581 x580 x579 -x578 -x577
1800.02/1800.72 v x576 x575 x574 x573 x572 -x571 x570 -x569 x568 -x567 x566 -x565 x564 x563 x562 -x561 x560 x559 x558 x557 x556 -x555 -x554 x553
1800.02/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 x530 x529
1800.02/1800.72 v x528 -x527 x526 x525 -x524 -x523 x522 x521 x520 -x519 -x518 x517 x516 -x515 x514 -x513 x512 -x511 -x510 x509 -x508 -x507
1800.02/1800.72 v x506 -x505 x504 x503 x502 -x501 x500 -x499 -x498 x497 x496 -x495 -x494 -x493 x492 -x491 x490 x489 -x488 -x487 -x486 x485 x484
1800.02/1800.72 v x483 -x482 -x481 -x480 x479 x478 -x477 x476 -x475 x474 -x473 x472 -x471 -x470 -x469 -x468 -x467 x466 -x465 x464 x463 -x462 x461
1800.02/1800.72 v -x460 -x459 x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 x449 x448 -x447 x446 -x445 x444 x443 -x442 x441 x440 -x439
1800.02/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.02/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.02/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.02/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
1800.02/1800.72 v -x347 -x346 -x345 -x344 -x343 x342 -x341 x340 -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 x330 -x329 x328 x327 x326
1800.02/1800.72 v -x325 x324 -x323 -x322 x321 -x320 -x319 x318 x317 -x316 -x315 -x314 -x313 x312 -x311 -x310 x309 -x308 -x307 -x306 x305 -x304
1800.02/1800.72 v -x303 -x302 -x301 -x300 -x299 -x298 x297 -x296 x295 x294 x293 -x292 -x291 x290 x289 -x288 x287 x286 x285 x284 -x283 -x282 -x281
1800.02/1800.72 v x280 x279 -x278 -x277 x276 -x275 -x274 x273 -x272 x271 -x270 -x269 x268 -x267 -x266 -x265 -x264 x263 -x262 x261 x260 -x259
1800.02/1800.72 v x258 -x257 -x256 -x255 -x254 x253 -x252 x251 -x250 -x249 x248 -x247 x246 -x245 -x244 -x243 x242 x241 -x240 -x239 -x238 x237
1800.02/1800.72 v -x236 x235 -x234 x233 -x232 x231 -x230 x229 x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 x219 x218 -x217 x216 -x215 x214
1800.02/1800.72 v x213 x212 x211 -x210 -x209 -x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192
1800.02/1800.72 v x191 x190 -x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 x170
1800.02/1800.72 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 x158 -x157 x156 -x155 x154 x153 x152 -x151 x150 -x149 -x148
1800.02/1800.72 v x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 x135 -x134 x133 -x132 -x131 -x130 -x129 x128 -x127 -x126
1800.02/1800.72 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.02/1800.72 v -x104 -x103 x102 x101 x100 -x99 -x98 -x97 -x96 x95 x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 x86 -x85 x84 -x83 x82 -x81 -x80 -x79
1800.02/1800.72 v -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 x54
1800.02/1800.72 v -x53 x52 x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28
1800.02/1800.72 v -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 x10 x9 -x8 -x7 x6 -x5 x4 -x3 x2 -x1
1800.02/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.72 c Solving Time : 1746.16
1800.02/1800.72 c Original Problem :
1800.02/1800.72 c Problem name : HOME/instance-2666904-1276386525.opb
1800.02/1800.72 c Variables : 1964 (1964 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.72 c Constraints : 4000 initial, 4000 maximal
1800.02/1800.72 c Presolved Problem :
1800.02/1800.72 c Problem name : t_HOME/instance-2666904-1276386525.opb
1800.02/1800.72 c Variables : 1517 (1517 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.72 c Constraints : 2928 initial, 2928 maximal
1800.02/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.72 c dualfix : 0.00 213 0 0 0 0 0 0 0
1800.02/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.72 c probing : 0.02 0 0 0 0 0 0 0 0
1800.02/1800.72 c linear : 0.06 0 234 0 0 0 1072 0 0
1800.02/1800.72 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.02/1800.72 c root node : - 0 - - 0 - - - -
1800.02/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.72 c integral : 0 0 0 1 0 0 0 0 0 2
1800.02/1800.72 c logicor : 2928+ 23 4187335 0 0 211121 23154703 0 0 0
1800.02/1800.72 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.72 c integral : 23.04 0.00 0.00 23.04 0.00
1800.02/1800.72 c logicor : 374.48 0.00 374.48 0.00 0.00
1800.02/1800.72 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.72 c vbounds : 3.25 2 0 0
1800.02/1800.72 c rootredcost : 3.45 0 0 0
1800.02/1800.72 c pseudoobj : 916.42 6865261 1701581 31248550
1800.02/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.72 c propagation : 302.32 211121 211121 211121 243.2 0 0.0 -
1800.02/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.72 c applied globally : - - - 0 0.0 - - -
1800.02/1800.72 c applied locally : - - - 211121 243.2 - - -
1800.02/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.72 c cut pool : 0.00 22 - - 9 - (maximal pool size: 102)
1800.02/1800.72 c redcost : 0.00 23 0 0 0 0
1800.02/1800.72 c impliedbounds : 0.02 23 0 0 0 0
1800.02/1800.72 c intobj : 0.00 0 0 0 0 0
1800.02/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.72 c gomory : 2.35 23 0 0 11500 0
1800.02/1800.72 c strongcg : 2.29 20 0 0 9500 0
1800.02/1800.72 c cmir : 0.20 10 0 0 0 0
1800.02/1800.72 c flowcover : 0.14 10 0 0 0 0
1800.02/1800.72 c clique : 0.01 23 0 0 5 0
1800.02/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.72 c mcf : 0.03 1 0 0 0 0
1800.02/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.72 c Pricers : Time Calls Vars
1800.02/1800.72 c problem variables: 0.00 0 0
1800.02/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.72 c relpscost : 23.04 1 0 0 0 0 2
1800.02/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.72 c inference : 193.69 1917786 0 0 0 0 3835572
1800.02/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.72 c random : 0.00 0 0 0 0 0 0
1800.02/1800.72 c Primal Heuristics : Time Calls Found
1800.02/1800.72 c LP solutions : 0.00 - 0
1800.02/1800.72 c pseudo solutions : 0.00 - 0
1800.02/1800.72 c crossover : 0.00 0 0
1800.02/1800.72 c oneopt : 2.26 2 1
1800.02/1800.72 c trivial : 0.01 2 3
1800.02/1800.72 c simplerounding : 0.01 24 13
1800.02/1800.72 c zirounding : 0.00 1 1
1800.02/1800.72 c rounding : 3.25 24 0
1800.02/1800.72 c shifting : 3.32 24 0
1800.02/1800.72 c intshifting : 0.00 0 0
1800.02/1800.72 c twoopt : 0.00 0 0
1800.02/1800.72 c fixandinfer : 0.00 0 0
1800.02/1800.72 c feaspump : 0.00 0 0
1800.02/1800.72 c coefdiving : 0.00 0 0
1800.02/1800.72 c pscostdiving : 0.00 0 0
1800.02/1800.72 c fracdiving : 0.00 0 0
1800.02/1800.72 c veclendiving : 0.00 0 0
1800.02/1800.72 c intdiving : 0.00 0 0
1800.02/1800.72 c actconsdiving : 0.00 0 0
1800.02/1800.72 c objpscostdiving : 0.00 0 0
1800.02/1800.72 c rootsoldiving : 0.00 0 0
1800.02/1800.72 c linesearchdiving : 0.00 0 0
1800.02/1800.72 c guideddiving : 0.00 0 0
1800.02/1800.72 c octane : 0.00 0 0
1800.02/1800.72 c rens : 0.01 0 0
1800.02/1800.72 c rins : 0.00 0 0
1800.02/1800.72 c localbranching : 0.00 0 0
1800.02/1800.72 c mutation : 0.00 0 0
1800.02/1800.72 c dins : 0.00 0 0
1800.02/1800.72 c undercover : 0.00 0 0
1800.02/1800.72 c nlp : 2.55 0 0
1800.02/1800.72 c trysol : 1.67 0 0
1800.02/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.72 c primal LP : 0.03 0 0 0.00 0.00
1800.02/1800.72 c dual LP : 9.29 24 10025 417.71 1079.12
1800.02/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.72 c strong branching : 23.04 20 19612 980.60 851.22
1800.02/1800.72 c (at root node) : - 20 19612 980.60 -
1800.02/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.72 c B&B Tree :
1800.02/1800.72 c number of runs : 1
1800.02/1800.72 c nodes : 3768079
1800.02/1800.72 c nodes (total) : 3768079
1800.02/1800.72 c nodes left : 235
1800.02/1800.72 c max depth : 261
1800.02/1800.72 c max depth (total): 261
1800.02/1800.72 c backtracks : 908282 (24.1%)
1800.02/1800.72 c delayed cutoffs : 67261
1800.02/1800.72 c repropagations : 96298 (1876523 domain reductions, 62410 cutoffs)
1800.02/1800.72 c avg switch length: 2.00
1800.02/1800.72 c switching time : 94.61
1800.02/1800.72 c Solution :
1800.02/1800.72 c Solutions found : 18 (3 improvements)
1800.02/1800.72 c First Solution : +1.96400000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.02/1800.72 c Primal Bound : +1.14400000000000e+03 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <oneopt>)
1800.02/1800.72 c Dual Bound : +9.87000000000000e+02
1800.02/1800.72 c Gap : 15.91 %
1800.02/1800.72 c Root Dual Bound : +9.87000000000000e+02
1800.02/1800.72 c Root Iterations : 10025
1800.02/1800.75 c Time complete: 1800.06.