0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2664173-1276391499.opb>
0.01/0.08 c original problem has 1968 variables (1968 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.01/0.08 c problem read
0.01/0.08 c presolving settings loaded
0.01/0.08 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.10 o 1968
0.09/0.10 c feasible solution found by trivial heuristic, objective value 1.968000e+03
0.09/0.10 c presolving:
0.09/0.13 c (round 1) 178 del vars, 178 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) 358 del vars, 818 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) 414 del vars, 938 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) 450 del vars, 1029 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) 470 del vars, 1071 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) 480 del vars, 1111 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) 485 del vars, 1117 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.17 c (round 8) 489 del vars, 1130 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.19/0.22 c (round 9) 489 del vars, 1132 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2868 upgd conss, 7996 impls, 0 clqs
0.19/0.26 c (0.1s) probing: 101/1479 (6.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.26 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.26 c presolving (10 rounds):
0.19/0.26 c 489 deleted vars, 1132 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.26 c 7996 implications, 0 cliques
0.19/0.26 c presolved problem has 1479 variables (1479 bin, 0 int, 0 impl, 0 cont) and 2868 constraints
0.19/0.26 c 2868 constraints of type <logicor>
0.19/0.26 c transformed objective value is always integral (scale: 1)
0.19/0.26 c Presolving Time: 0.13
0.19/0.26 c - non default parameters ----------------------------------------------------------------------
0.19/0.26 c # SCIP version 1.2.1.2
0.19/0.26 c
0.19/0.26 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.26 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.26 c conflict/interconss = 0
0.19/0.26 c
0.19/0.26 c # should binary conflicts be preferred?
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c conflict/preferbinary = TRUE
0.19/0.26 c
0.19/0.26 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.26 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.26 c constraints/agelimit = 1
0.19/0.26 c
0.19/0.26 c # should enforcement of pseudo solution be disabled?
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c constraints/disableenfops = TRUE
0.19/0.26 c
0.19/0.26 c # frequency for displaying node information lines
0.19/0.26 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.26 c display/freq = 10000
0.19/0.26 c
0.19/0.26 c # maximal time in seconds to run
0.19/0.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.26 c limits/time = 1799.93
0.19/0.26 c
0.19/0.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.26 c limits/memory = 1620
0.19/0.26 c
0.19/0.26 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.26 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.26 c lp/solvefreq = -1
0.19/0.26 c
0.19/0.26 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.19/0.26 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.26 c lp/pricing = a
0.19/0.26 c
0.19/0.26 c # should presolving try to simplify inequalities
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c constraints/linear/simplifyinequalities = TRUE
0.19/0.26 c
0.19/0.26 c # should presolving try to simplify knapsacks
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.26 c
0.19/0.26 c # priority of node selection rule <dfs> in standard mode
0.19/0.26 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.26 c nodeselection/dfs/stdpriority = 1000000
0.19/0.26 c
0.19/0.26 c -----------------------------------------------------------------------------------------------
0.19/0.26 c start solving
0.19/0.26 c
0.19/0.26 o 1719
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 | - |5782k| 0 | - |1479 |2868 | 0 | 0 | 0 | 0 | 0 | -- | 1.719000e+03 | Inf
0.19/0.26 c 0.1s| 1 | 2 | 0 | - |5734k| 0 | - |1479 |2868 | 0 | 0 | 0 | 0 | 0 | 2.400000e+02 | 1.719000e+03 | 616.25%
0.29/0.38 o 1235
0.29/0.38 c * 0.3s| 485 | 461 | 0 | 0.0 |6159k| 484 | - |1479 |2868 | 0 | 0 | 0 | 0 | 0 | 2.410000e+02 | 1.235000e+03 | 412.45%
0.59/0.65 o 1234
0.59/0.65 c * 0.5s| 1047 | 407 | 0 | 0.0 |6251k| 484 | - |1479 |2868 | 0 | 0 | 0 | 1 | 0 | 2.410000e+02 | 1.234000e+03 | 412.03%
1.89/1.98 o 1233
1.89/1.98 c * 1.8s| 4422 | 383 | 0 | 0.0 |6278k| 484 | - |1479 |2868 | 0 | 0 | 0 | 1 | 0 | 2.410000e+02 | 1.233000e+03 | 411.62%
4.19/4.20 c 3.9s| 10000 | 371 | 0 | 0.0 |6279k| 484 | - |1479 |2868 | 0 | 0 | 0 | 4 | 0 | 2.410000e+02 | 1.233000e+03 | 411.62%
7.99/8.06 c 7.6s| 20000 | 362 | 0 | 0.0 |6288k| 484 | - |1479 |2868 | 0 | 0 | 0 | 12 | 0 | 2.410000e+02 | 1.233000e+03 | 411.62%
11.78/11.80 c 11.2s| 30000 | 363 | 0 | 0.0 |6290k| 484 | - |1479 |2868 | 0 | 0 | 0 | 21 | 0 | 2.410000e+02 | 1.233000e+03 | 411.62%
15.58/15.69 c 14.9s| 40000 | 362 | 0 | 0.0 |6295k| 484 | - |1479 |2868 | 0 | 0 | 0 | 31 | 0 | 2.410000e+02 | 1.233000e+03 | 411.62%
19.29/19.33 c 18.4s| 50000 | 355 | 0 | 0.0 |6295k| 484 | - |1479 |2868 | 0 | 0 | 0 | 41 | 0 | 2.410000e+02 | 1.233000e+03 | 411.62%
23.29/23.37 c 22.2s| 60000 | 358 | 0 | 0.0 |6299k| 484 | - |1479 |2868 | 0 | 0 | 0 | 49 | 0 | 2.410000e+02 | 1.233000e+03 | 411.62%
27.18/27.20 o 1232
27.18/27.20 c *25.9s| 68993 | 359 | 0 | 0.0 |6330k| 484 | - |1479 |2868 | 0 | 0 | 0 | 53 | 0 | 2.410000e+02 | 1.232000e+03 | 411.20%
27.59/27.65 c 26.3s| 70000 | 356 | 0 | 0.0 |6324k| 484 | - |1479 |2868 | 0 | 0 | 0 | 53 | 0 | 2.410000e+02 | 1.232000e+03 | 411.20%
31.79/31.89 c 30.4s| 80000 | 356 | 0 | 0.0 |6325k| 484 | - |1479 |2868 | 0 | 0 | 0 | 56 | 0 | 2.410000e+02 | 1.232000e+03 | 411.20%
35.38/35.41 c 33.7s| 90000 | 356 | 0 | 0.0 |6323k| 484 | - |1479 |2868 | 0 | 0 | 0 | 56 | 0 | 2.410000e+02 | 1.232000e+03 | 411.20%
38.87/38.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.87/38.90 c 37.1s|100000 | 352 | 0 | 0.0 |6322k| 484 | - |1479 |2868 | 0 | 0 | 0 | 56 | 0 | 2.410000e+02 | 1.232000e+03 | 411.20%
42.38/42.42 c 40.4s|110000 | 352 | 0 | 0.0 |6321k| 484 | - |1479 |2868 | 0 | 0 | 0 | 56 | 0 | 2.410000e+02 | 1.232000e+03 | 411.20%
43.37/43.42 o 1231
43.37/43.42 c *41.4s|112816 | 358 | 0 | 0.0 |6356k| 484 | - |1479 |2868 | 0 | 0 | 0 | 56 | 0 | 2.410000e+02 | 1.231000e+03 | 410.79%
43.68/43.79 o 1230
43.68/43.79 c *41.7s|113697 | 356 | 0 | 0.0 |6379k| 484 | - |1479 |2868 | 0 | 0 | 0 | 56 | 0 | 2.410000e+02 | 1.230000e+03 | 410.37%
46.08/46.20 c 44.0s|120000 | 357 | 0 | 0.0 |6372k| 484 | - |1479 |2868 | 0 | 0 | 0 | 56 | 0 | 2.410000e+02 | 1.230000e+03 | 410.37%
49.77/49.85 c 47.5s|130000 | 351 | 0 | 0.0 |6372k| 484 | - |1479 |2868 | 0 | 0 | 0 | 56 | 0 | 2.410000e+02 | 1.230000e+03 | 410.37%
53.47/53.51 c 51.0s|140000 | 351 | 0 | 0.0 |6371k| 484 | - |1479 |2868 | 0 | 0 | 0 | 56 | 0 | 2.410000e+02 | 1.230000e+03 | 410.37%
56.97/57.04 c 54.4s|150000 | 351 | 0 | 0.0 |6376k| 484 | - |1479 |2868 | 0 | 0 | 0 | 66 | 0 | 2.410000e+02 | 1.230000e+03 | 410.37%
60.47/60.56 c 57.8s|160000 | 352 | 0 | 0.0 |6376k| 484 | - |1479 |2868 | 0 | 0 | 0 | 83 | 0 | 2.410000e+02 | 1.230000e+03 | 410.37%
63.96/64.06 c 61.1s|170000 | 351 | 0 | 0.0 |6376k| 484 | - |1479 |2868 | 0 | 0 | 0 | 91 | 0 | 2.410000e+02 | 1.230000e+03 | 410.37%
67.37/67.49 c 64.4s|180000 | 352 | 0 | 0.0 |6376k| 484 | - |1479 |2868 | 0 | 0 | 0 | 107 | 0 | 2.410000e+02 | 1.230000e+03 | 410.37%
70.97/71.01 c 67.7s|190000 | 346 | 0 | 0.0 |6376k| 484 | - |1479 |2868 | 0 | 0 | 0 | 114 | 0 | 2.410000e+02 | 1.230000e+03 | 410.37%
74.37/74.49 c 71.1s|200000 | 352 | 0 | 0.0 |6377k| 484 | - |1479 |2868 | 0 | 0 | 0 | 133 | 0 | 2.410000e+02 | 1.230000e+03 | 410.37%
77.87/77.90 c 74.3s|210000 | 349 | 0 | 0.0 |6377k| 484 | - |1479 |2868 | 0 | 0 | 0 | 152 | 0 | 2.410000e+02 | 1.230000e+03 | 410.37%
81.46/81.51 c 77.8s|220000 | 350 | 0 | 0.0 |6380k| 484 | - |1479 |2868 | 0 | 0 | 0 | 166 | 0 | 2.410000e+02 | 1.230000e+03 | 410.37%
84.86/84.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.86/84.96 c 81.1s|230000 | 349 | 0 | 0.0 |6378k| 484 | - |1479 |2868 | 0 | 0 | 0 | 185 | 0 | 2.410000e+02 | 1.230000e+03 | 410.37%
88.26/88.37 c 84.3s|240000 | 348 | 0 | 0.0 |6379k| 484 | - |1479 |2868 | 0 | 0 | 0 | 208 | 0 | 2.410000e+02 | 1.230000e+03 | 410.37%
91.86/91.98 c 87.8s|250000 | 349 | 0 | 0.0 |6379k| 484 | - |1479 |2868 | 0 | 0 | 0 | 224 | 0 | 2.410000e+02 | 1.230000e+03 | 410.37%
95.36/95.41 c 91.1s|260000 | 345 | 0 | 0.0 |6378k| 484 | - |1479 |2868 | 0 | 0 | 0 | 242 | 0 | 2.410000e+02 | 1.230000e+03 | 410.37%
98.76/98.85 c 94.3s|270000 | 347 | 0 | 0.0 |6379k| 484 | - |1479 |2868 | 0 | 0 | 0 | 259 | 0 | 2.410000e+02 | 1.230000e+03 | 410.37%
102.46/102.56 c 97.9s|280000 | 344 | 0 | 0.0 |6381k| 484 | - |1479 |2868 | 0 | 0 | 0 | 274 | 0 | 2.410000e+02 | 1.230000e+03 | 410.37%
106.36/106.40 c 102s|290000 | 345 | 0 | 0.0 |6380k| 484 | - |1479 |2868 | 0 | 0 | 0 | 292 | 0 | 2.410000e+02 | 1.230000e+03 | 410.37%
110.15/110.24 c 105s|300000 | 346 | 0 | 0.0 |6381k| 484 | - |1479 |2868 | 0 | 0 | 0 | 315 | 0 | 2.410000e+02 | 1.230000e+03 | 410.37%
111.66/111.75 o 1229
111.66/111.75 c * 107s|303286 | 350 | 0 | 0.0 |6413k| 484 | - |1479 |2868 | 0 | 0 | 0 | 322 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
114.26/114.33 c 109s|310000 | 346 | 0 | 0.0 |6406k| 484 | - |1479 |2868 | 0 | 0 | 0 | 338 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
118.15/118.23 c 113s|320000 | 344 | 0 | 0.0 |6406k| 484 | - |1479 |2868 | 0 | 0 | 0 | 355 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
121.96/122.06 c 117s|330000 | 346 | 0 | 0.0 |6405k| 484 | - |1479 |2868 | 0 | 0 | 0 | 367 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
125.55/125.62 c 120s|340000 | 346 | 0 | 0.0 |6405k| 484 | - |1479 |2868 | 0 | 0 | 0 | 386 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
129.05/129.19 c 123s|350000 | 346 | 0 | 0.0 |6405k| 484 | - |1479 |2868 | 0 | 0 | 0 | 403 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
132.64/132.73 c 127s|360000 | 344 | 0 | 0.0 |6405k| 484 | - |1479 |2868 | 0 | 0 | 0 | 425 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
136.14/136.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
136.14/136.29 c 130s|370000 | 346 | 0 | 0.0 |6405k| 484 | - |1479 |2868 | 0 | 0 | 0 | 447 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
139.65/139.79 c 133s|380000 | 348 | 0 | 0.0 |6406k| 484 | - |1479 |2868 | 0 | 0 | 0 | 463 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
143.04/143.18 c 137s|390000 | 345 | 0 | 0.0 |6405k| 484 | - |1479 |2868 | 0 | 0 | 0 | 478 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
146.55/146.63 c 140s|400000 | 345 | 0 | 0.0 |6405k| 484 | - |1479 |2868 | 0 | 0 | 0 | 492 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
150.14/150.25 c 143s|410000 | 344 | 0 | 0.0 |6406k| 484 | - |1479 |2868 | 0 | 0 | 0 | 502 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
153.64/153.72 c 147s|420000 | 342 | 0 | 0.0 |6406k| 484 | - |1479 |2868 | 0 | 0 | 0 | 528 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
157.14/157.23 c 150s|430000 | 344 | 0 | 0.0 |6408k| 484 | - |1479 |2868 | 0 | 0 | 0 | 550 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
160.64/160.74 c 154s|440000 | 340 | 0 | 0.0 |6406k| 484 | - |1479 |2868 | 0 | 0 | 0 | 571 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
164.24/164.38 c 157s|450000 | 344 | 0 | 0.0 |6407k| 484 | - |1479 |2868 | 0 | 0 | 0 | 588 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
167.73/167.86 c 160s|460000 | 344 | 0 | 0.0 |6407k| 484 | - |1479 |2868 | 0 | 0 | 0 | 611 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
171.33/171.47 c 164s|470000 | 342 | 0 | 0.0 |6407k| 484 | - |1479 |2868 | 0 | 0 | 0 | 623 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
175.23/175.36 c 167s|480000 | 346 | 0 | 0.0 |6409k| 484 | - |1479 |2868 | 0 | 0 | 0 | 648 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
179.14/179.22 c 171s|490000 | 341 | 0 | 0.0 |6409k| 484 | - |1479 |2868 | 0 | 0 | 0 | 668 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
182.83/182.97 c 175s|500000 | 343 | 0 | 0.0 |6410k| 484 | - |1479 |2868 | 0 | 0 | 0 | 682 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
186.63/186.77 c 178s|510000 | 345 | 0 | 0.0 |6409k| 484 | - |1479 |2868 | 0 | 0 | 0 | 701 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
190.33/190.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
190.33/190.48 c 182s|520000 | 342 | 0 | 0.0 |6408k| 484 | - |1479 |2868 | 0 | 0 | 0 | 724 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
194.23/194.30 c 186s|530000 | 343 | 0 | 0.0 |6411k| 484 | - |1479 |2868 | 0 | 0 | 0 | 737 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
197.83/197.96 c 189s|540000 | 343 | 0 | 0.0 |6409k| 484 | - |1479 |2868 | 0 | 0 | 0 | 749 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
201.42/201.58 c 193s|550000 | 342 | 0 | 0.0 |6409k| 484 | - |1479 |2868 | 0 | 0 | 0 | 759 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
205.42/205.50 c 196s|560000 | 341 | 0 | 0.0 |6410k| 484 | - |1479 |2868 | 0 | 0 | 0 | 768 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
209.12/209.25 c 200s|570000 | 342 | 0 | 0.0 |6409k| 484 | - |1479 |2868 | 0 | 0 | 0 | 788 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
212.82/212.98 c 203s|580000 | 340 | 0 | 0.0 |6409k| 484 | - |1479 |2868 | 0 | 0 | 0 | 810 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
216.42/216.60 c 207s|590000 | 344 | 0 | 0.0 |6410k| 484 | - |1479 |2868 | 0 | 0 | 0 | 832 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
220.12/220.20 c 210s|600000 | 341 | 0 | 0.0 |6409k| 484 | - |1479 |2868 | 0 | 0 | 0 | 854 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
223.72/223.87 c 214s|610000 | 344 | 0 | 0.0 |6410k| 484 | - |1479 |2868 | 0 | 0 | 0 | 870 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
227.41/227.55 c 217s|620000 | 340 | 0 | 0.0 |6409k| 484 | - |1479 |2868 | 0 | 0 | 0 | 884 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
231.02/231.17 c 221s|630000 | 342 | 0 | 0.0 |6409k| 484 | - |1479 |2868 | 0 | 0 | 0 | 910 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
234.61/234.76 c 224s|640000 | 342 | 0 | 0.0 |6409k| 484 | - |1479 |2868 | 0 | 0 | 0 | 933 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
238.41/238.55 c 228s|650000 | 343 | 0 | 0.0 |6410k| 484 | - |1479 |2868 | 0 | 0 | 0 | 952 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
242.51/242.63 c 232s|660000 | 343 | 0 | 0.0 |6410k| 484 | - |1479 |2868 | 0 | 0 | 0 | 975 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
246.71/246.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
246.71/246.81 c 236s|670000 | 338 | 0 | 0.0 |6410k| 484 | - |1479 |2868 | 0 | 0 | 0 | 998 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
250.31/250.42 c 239s|680000 | 342 | 0 | 0.0 |6412k| 484 | - |1479 |2868 | 0 | 0 | 0 |1015 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
253.71/253.84 c 243s|690000 | 339 | 0 | 0.0 |6409k| 484 | - |1479 |2868 | 0 | 0 | 0 |1035 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
257.21/257.31 c 246s|700000 | 343 | 0 | 0.0 |6411k| 484 | - |1479 |2868 | 0 | 0 | 0 |1057 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
260.62/260.76 c 249s|710000 | 344 | 0 | 0.0 |6412k| 484 | - |1479 |2868 | 0 | 0 | 0 |1077 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
264.00/264.16 c 253s|720000 | 342 | 0 | 0.0 |6410k| 484 | - |1479 |2868 | 0 | 0 | 0 |1096 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
267.51/267.66 c 256s|730000 | 344 | 0 | 0.0 |6411k| 484 | - |1479 |2868 | 0 | 0 | 0 |1120 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
271.21/271.36 c 259s|740000 | 341 | 0 | 0.0 |6410k| 484 | - |1479 |2868 | 0 | 0 | 0 |1140 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
274.80/274.97 c 263s|750000 | 340 | 0 | 0.0 |6410k| 484 | - |1479 |2868 | 0 | 0 | 0 |1160 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
278.50/278.64 c 266s|760000 | 337 | 0 | 0.0 |6410k| 484 | - |1479 |2868 | 0 | 0 | 0 |1182 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
282.10/282.28 c 270s|770000 | 341 | 0 | 0.0 |6411k| 484 | - |1479 |2868 | 0 | 0 | 0 |1204 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
285.70/285.89 c 273s|780000 | 340 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |1225 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
289.30/289.47 c 277s|790000 | 340 | 0 | 0.0 |6410k| 484 | - |1479 |2868 | 0 | 0 | 0 |1246 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
293.00/293.15 c 280s|800000 | 343 | 0 | 0.0 |6412k| 484 | - |1479 |2868 | 0 | 0 | 0 |1265 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
296.49/296.69 c 284s|810000 | 338 | 0 | 0.0 |6413k| 484 | - |1479 |2868 | 0 | 0 | 0 |1288 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
300.10/300.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.10/300.27 c 287s|820000 | 342 | 0 | 0.0 |6411k| 484 | - |1479 |2868 | 0 | 0 | 0 |1308 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
303.80/303.90 c 291s|830000 | 342 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |1331 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
307.29/307.47 c 294s|840000 | 343 | 0 | 0.0 |6412k| 484 | - |1479 |2868 | 0 | 0 | 0 |1349 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
310.89/311.02 c 297s|850000 | 344 | 0 | 0.0 |6413k| 484 | - |1479 |2868 | 0 | 0 | 0 |1370 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
314.40/314.55 c 301s|860000 | 338 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |1390 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
318.09/318.21 c 304s|870000 | 341 | 0 | 0.0 |6412k| 484 | - |1479 |2868 | 0 | 0 | 0 |1409 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
321.68/321.89 c 308s|880000 | 342 | 0 | 0.0 |6412k| 484 | - |1479 |2868 | 0 | 0 | 0 |1423 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
325.28/325.47 c 311s|890000 | 338 | 0 | 0.0 |6413k| 484 | - |1479 |2868 | 0 | 0 | 0 |1447 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
328.69/328.89 c 314s|900000 | 342 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |1477 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
332.28/332.45 c 318s|910000 | 337 | 0 | 0.0 |6412k| 484 | - |1479 |2868 | 0 | 0 | 0 |1497 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
335.89/336.03 c 321s|920000 | 342 | 0 | 0.0 |6412k| 484 | - |1479 |2868 | 0 | 0 | 0 |1526 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
339.48/339.63 c 325s|930000 | 340 | 0 | 0.0 |6412k| 484 | - |1479 |2868 | 0 | 0 | 0 |1554 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
342.99/343.18 c 328s|940000 | 342 | 0 | 0.0 |6412k| 484 | - |1479 |2868 | 0 | 0 | 0 |1572 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
346.87/347.00 c 332s|950000 | 342 | 0 | 0.0 |6412k| 484 | - |1479 |2868 | 0 | 0 | 0 |1593 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
350.38/350.55 c 335s|960000 | 345 | 0 | 0.0 |6413k| 484 | - |1479 |2868 | 0 | 0 | 0 |1613 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
353.98/354.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.98/354.20 c 339s|970000 | 339 | 0 | 0.0 |6412k| 484 | - |1479 |2868 | 0 | 0 | 0 |1631 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
357.68/357.82 c 342s|980000 | 342 | 0 | 0.0 |6412k| 484 | - |1479 |2868 | 0 | 0 | 0 |1645 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
361.27/361.44 c 346s|990000 | 342 | 0 | 0.0 |6413k| 484 | - |1479 |2868 | 0 | 0 | 0 |1656 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
365.18/365.30 c 349s| 1000k| 342 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |1672 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
368.98/369.17 c 353s| 1010k| 339 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |1700 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
373.07/373.28 c 357s| 1020k| 344 | 0 | 0.0 |6413k| 484 | - |1479 |2868 | 0 | 0 | 0 |1721 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
376.57/376.76 c 360s| 1030k| 338 | 0 | 0.0 |6413k| 484 | - |1479 |2868 | 0 | 0 | 0 |1741 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
380.17/380.37 c 364s| 1040k| 340 | 0 | 0.0 |6413k| 484 | - |1479 |2868 | 0 | 0 | 0 |1762 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
383.77/383.93 c 367s| 1050k| 339 | 0 | 0.0 |6412k| 484 | - |1479 |2868 | 0 | 0 | 0 |1785 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
387.27/387.41 c 371s| 1060k| 339 | 0 | 0.0 |6413k| 484 | - |1479 |2868 | 0 | 0 | 0 |1807 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
390.77/390.99 c 374s| 1070k| 339 | 0 | 0.0 |6412k| 484 | - |1479 |2868 | 0 | 0 | 0 |1839 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
394.37/394.59 c 377s| 1080k| 335 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |1863 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
398.07/398.29 c 381s| 1090k| 340 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |1885 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
401.66/401.84 c 384s| 1100k| 342 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |1907 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
405.06/405.29 c 388s| 1110k| 342 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |1922 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
408.67/408.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
408.67/408.83 c 391s| 1120k| 340 | 0 | 0.0 |6413k| 484 | - |1479 |2868 | 0 | 0 | 0 |1950 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
412.16/412.38 c 394s| 1130k| 341 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |1969 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
415.86/416.02 c 398s| 1140k| 341 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |1987 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
419.36/419.55 c 401s| 1150k| 339 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |2003 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
422.86/423.00 c 405s| 1160k| 339 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |2028 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
426.25/426.47 c 408s| 1170k| 344 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |2047 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
429.86/430.03 c 411s| 1180k| 342 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |2067 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
433.36/433.57 c 415s| 1190k| 340 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |2081 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
436.86/437.03 c 418s| 1200k| 339 | 0 | 0.0 |6413k| 484 | - |1479 |2868 | 0 | 0 | 0 |2089 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
440.25/440.49 c 421s| 1210k| 336 | 0 | 0.0 |6413k| 484 | - |1479 |2868 | 0 | 0 | 0 |2102 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
443.75/443.99 c 425s| 1220k| 341 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |2138 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
447.25/447.46 c 428s| 1230k| 339 | 0 | 0.0 |6413k| 484 | - |1479 |2868 | 0 | 0 | 0 |2161 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
450.75/450.97 c 431s| 1240k| 340 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |2178 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
454.24/454.46 c 435s| 1250k| 341 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |2203 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
457.75/457.98 c 438s| 1260k| 340 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |2219 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
461.24/461.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
461.24/461.42 c 441s| 1270k| 339 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |2233 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
464.74/464.93 c 445s| 1280k| 340 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |2249 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
468.24/468.41 c 448s| 1290k| 338 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |2271 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
471.54/471.79 c 451s| 1300k| 339 | 0 | 0.0 |6413k| 484 | - |1479 |2868 | 0 | 0 | 0 |2293 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
475.14/475.33 c 455s| 1310k| 343 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |2312 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
478.54/478.71 c 458s| 1320k| 337 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |2332 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
482.04/482.24 c 461s| 1330k| 334 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |2351 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
485.54/485.78 c 465s| 1340k| 340 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |2380 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
489.03/489.29 c 468s| 1350k| 340 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |2406 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
492.64/492.86 c 471s| 1360k| 340 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |2432 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
496.13/496.38 c 475s| 1370k| 339 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |2457 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
499.64/499.85 c 478s| 1380k| 339 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |2485 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
503.13/503.36 c 481s| 1390k| 341 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |2512 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
506.73/506.92 c 485s| 1400k| 341 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |2532 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
510.33/510.51 c 488s| 1410k| 338 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |2552 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
513.83/514.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
513.83/514.04 c 492s| 1420k| 336 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |2566 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
517.33/517.55 c 495s| 1430k| 340 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |2582 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
520.93/521.15 c 498s| 1440k| 338 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |2608 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
524.44/524.70 c 502s| 1450k| 337 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |2626 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
528.23/528.48 c 505s| 1460k| 339 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |2643 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
532.02/532.29 c 509s| 1470k| 340 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |2663 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
535.53/535.73 c 512s| 1480k| 336 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |2682 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
538.92/539.19 c 516s| 1490k| 338 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |2706 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
542.53/542.71 c 519s| 1500k| 340 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |2728 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
546.12/546.38 c 522s| 1510k| 342 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |2741 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
549.73/549.92 c 526s| 1520k| 340 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |2758 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
553.32/553.51 c 529s| 1530k| 343 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |2772 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
556.92/557.10 c 533s| 1540k| 338 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |2790 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
560.51/560.71 c 536s| 1550k| 341 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |2808 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
564.13/564.35 c 540s| 1560k| 339 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |2832 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
567.81/568.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.81/568.02 c 543s| 1570k| 335 | 0 | 0.0 |6413k| 484 | - |1479 |2868 | 0 | 0 | 0 |2855 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
571.32/571.59 c 547s| 1580k| 337 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |2878 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
575.02/575.26 c 550s| 1590k| 340 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |2911 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
578.61/578.87 c 554s| 1600k| 336 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |2936 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
582.32/582.51 c 557s| 1610k| 345 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |2951 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
585.91/586.11 c 560s| 1620k| 340 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |2956 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
589.61/589.80 c 564s| 1630k| 342 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |2969 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
593.31/593.53 c 568s| 1640k| 337 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |2984 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
597.01/597.27 c 571s| 1650k| 336 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |2997 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
601.00/601.20 c 575s| 1660k| 343 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3008 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
604.71/604.94 c 578s| 1670k| 339 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |3020 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
608.70/608.93 c 582s| 1680k| 341 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3027 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
612.60/612.86 c 586s| 1690k| 337 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |3038 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
616.40/616.61 c 590s| 1700k| 340 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3048 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
620.10/620.38 c 593s| 1710k| 339 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3067 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
623.90/624.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
623.90/624.10 c 597s| 1720k| 341 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3082 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
627.70/627.96 c 601s| 1730k| 339 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3101 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
631.70/631.99 c 604s| 1740k| 340 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |3116 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
635.70/635.92 c 608s| 1750k| 339 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |3136 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
639.59/639.80 c 612s| 1760k| 337 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |3149 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
643.20/643.44 c 615s| 1770k| 337 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |3156 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
646.99/647.22 c 619s| 1780k| 338 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |3172 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
650.69/650.97 c 623s| 1790k| 338 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3188 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
654.59/654.88 c 626s| 1800k| 335 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |3211 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
658.29/658.52 c 630s| 1810k| 343 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3217 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
661.78/662.09 c 633s| 1820k| 341 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |3219 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
665.38/665.63 c 637s| 1830k| 339 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3232 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
668.89/669.13 c 640s| 1840k| 339 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3242 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
672.49/672.72 c 643s| 1850k| 341 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3245 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
676.09/676.31 c 647s| 1860k| 339 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3246 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
679.59/679.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
679.59/679.87 c 650s| 1870k| 341 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3258 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
683.18/683.43 c 654s| 1880k| 341 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |3275 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
686.78/687.03 c 657s| 1890k| 338 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |3294 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
690.37/690.68 c 660s| 1900k| 337 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |3316 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
694.18/694.44 c 664s| 1910k| 342 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |3329 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
697.98/698.29 c 668s| 1920k| 339 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3352 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
701.68/701.96 c 671s| 1930k| 337 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |3373 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
705.37/705.63 c 675s| 1940k| 339 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |3396 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
708.87/709.15 c 678s| 1950k| 341 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |3424 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
712.48/712.75 c 682s| 1960k| 340 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |3445 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
716.27/716.52 c 685s| 1970k| 340 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3465 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
719.87/720.12 c 689s| 1980k| 337 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |3486 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
723.57/723.82 c 692s| 1990k| 336 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3508 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
727.17/727.43 c 696s| 2000k| 338 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3528 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
730.77/731.08 c 699s| 2010k| 338 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3545 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
734.36/734.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
734.36/734.63 c 702s| 2020k| 336 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |3567 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
737.87/738.13 c 706s| 2030k| 336 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |3596 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
741.47/741.73 c 709s| 2040k| 336 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3614 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
744.97/745.21 c 713s| 2050k| 337 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |3628 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
748.36/748.67 c 716s| 2060k| 338 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3644 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
751.96/752.28 c 719s| 2070k| 338 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |3663 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
755.37/755.67 c 723s| 2080k| 340 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |3682 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
758.86/759.17 c 726s| 2090k| 337 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |3701 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
762.56/762.80 c 729s| 2100k| 335 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |3709 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
765.96/766.26 c 733s| 2110k| 338 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3727 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
769.55/769.85 c 736s| 2120k| 338 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |3741 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
773.06/773.32 c 739s| 2130k| 335 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3759 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
776.56/776.82 c 743s| 2140k| 338 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3778 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
779.85/780.18 c 746s| 2150k| 336 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |3798 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
783.35/783.68 c 749s| 2160k| 339 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3822 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
786.75/787.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
786.75/787.06 c 753s| 2170k| 335 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3846 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
790.25/790.54 c 756s| 2180k| 336 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |3862 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
793.85/794.17 c 759s| 2190k| 337 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |3875 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
797.35/797.66 c 763s| 2200k| 339 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |3895 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
800.84/801.17 c 766s| 2210k| 339 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3914 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
804.24/804.58 c 769s| 2220k| 340 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3934 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
807.74/808.07 c 773s| 2230k| 336 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |3955 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
811.24/811.53 c 776s| 2240k| 337 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3975 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
814.75/815.03 c 779s| 2250k| 336 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |3991 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
818.24/818.57 c 783s| 2260k| 334 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |4009 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
821.74/822.05 c 786s| 2270k| 339 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4035 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
825.14/825.48 c 789s| 2280k| 336 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |4054 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
828.54/828.87 c 793s| 2290k| 336 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |4075 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
832.04/832.34 c 796s| 2300k| 336 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |4099 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
835.44/835.77 c 799s| 2310k| 336 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |4118 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
838.83/839.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
838.83/839.20 c 802s| 2320k| 335 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |4144 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
842.34/842.66 c 806s| 2330k| 338 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4168 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
845.83/846.12 c 809s| 2340k| 338 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |4185 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
849.23/849.58 c 812s| 2350k| 340 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4209 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
852.72/853.03 c 816s| 2360k| 339 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4228 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
856.12/856.49 c 819s| 2370k| 337 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4247 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
859.72/860.05 c 822s| 2380k| 338 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4267 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
863.22/863.58 c 826s| 2390k| 337 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4286 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
866.82/867.14 c 829s| 2400k| 336 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4303 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
870.22/870.58 c 832s| 2410k| 337 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4318 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
873.62/873.97 c 836s| 2420k| 337 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |4343 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
877.01/877.36 c 839s| 2430k| 338 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |4357 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
880.42/880.75 c 842s| 2440k| 336 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |4368 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
883.92/884.22 c 846s| 2450k| 338 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4377 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
887.42/887.74 c 849s| 2460k| 334 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4390 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
890.92/891.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
890.92/891.21 c 852s| 2470k| 338 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4410 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
894.41/894.75 c 856s| 2480k| 337 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |4433 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
897.81/898.16 c 859s| 2490k| 336 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |4448 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
901.41/901.71 c 862s| 2500k| 332 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |4463 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
904.92/905.21 c 866s| 2510k| 340 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4476 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
908.40/908.78 c 869s| 2520k| 335 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4485 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
912.00/912.38 c 872s| 2530k| 339 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4494 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
915.71/916.03 c 876s| 2540k| 338 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |4503 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
919.40/919.73 c 880s| 2550k| 334 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4512 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
923.01/923.32 c 883s| 2560k| 339 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4529 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
926.60/926.93 c 886s| 2570k| 337 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |4546 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
930.20/930.57 c 890s| 2580k| 336 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |4561 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
933.80/934.16 c 893s| 2590k| 331 | 0 | 0.0 |6414k| 484 | - |1479 |2868 | 0 | 0 | 0 |4580 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
937.50/937.87 c 897s| 2600k| 336 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4591 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
941.21/941.53 c 900s| 2610k| 335 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4602 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
944.70/945.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
944.70/945.09 c 904s| 2620k| 334 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |4621 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
948.19/948.57 c 907s| 2630k| 337 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4642 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
951.70/952.05 c 910s| 2640k| 336 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |4653 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
955.39/955.71 c 914s| 2650k| 336 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |4667 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
959.09/959.42 c 917s| 2660k| 340 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |4680 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
962.99/963.32 c 921s| 2670k| 338 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |4698 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
966.59/966.98 c 925s| 2680k| 338 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |4714 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
970.28/970.62 c 928s| 2690k| 336 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |4739 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
973.98/974.32 c 932s| 2700k| 338 | 0 | 0.0 |6416k| 484 | - |1479 |2868 | 0 | 0 | 0 |4759 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
977.68/978.04 c 935s| 2710k| 335 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4778 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
981.38/981.78 c 939s| 2720k| 339 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4798 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
985.19/985.51 c 942s| 2730k| 335 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4819 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
988.78/989.17 c 946s| 2740k| 337 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4838 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
992.47/992.88 c 949s| 2750k| 337 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |4858 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
996.07/996.49 c 953s| 2760k| 339 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |4881 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
999.88/1000.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
999.88/1000.27 c 957s| 2770k| 338 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |4897 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1003.58/1003.91 c 960s| 2780k| 330 | 0 | 0.0 |6415k| 484 | - |1479 |2868 | 0 | 0 | 0 |4903 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1007.18/1007.58 c 964s| 2790k| 339 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |4925 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1011.08/1011.43 c 967s| 2800k| 342 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |4949 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1014.88/1015.26 c 971s| 2810k| 337 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |4969 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1018.97/1019.31 c 975s| 2820k| 338 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |4990 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1022.67/1023.04 c 978s| 2830k| 336 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |5010 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1026.37/1026.78 c 982s| 2840k| 339 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |5025 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1030.07/1030.46 c 985s| 2850k| 340 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |5038 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1033.67/1034.08 c 989s| 2860k| 338 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |5052 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1037.57/1037.98 c 993s| 2870k| 338 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |5066 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1041.37/1041.75 c 996s| 2880k| 334 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |5086 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1045.67/1046.01 c 1000s| 2890k| 339 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |5108 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1049.36/1049.76 c 1004s| 2900k| 335 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |5131 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1052.86/1053.26 c 1007s| 2910k| 335 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |5148 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1056.67/1057.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1056.67/1057.04 c 1011s| 2920k| 337 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |5154 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1060.36/1060.72 c 1014s| 2930k| 337 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |5166 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1063.96/1064.34 c 1018s| 2940k| 339 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |5180 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1067.76/1068.14 c 1022s| 2950k| 339 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |5202 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1071.56/1071.92 c 1025s| 2960k| 337 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |5223 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1075.25/1075.63 c 1029s| 2970k| 337 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |5236 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1079.45/1079.84 c 1033s| 2980k| 336 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |5256 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1083.34/1083.79 c 1036s| 2990k| 338 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |5277 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1087.24/1087.64 c 1040s| 3000k| 337 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |5300 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1091.14/1091.55 c 1044s| 3010k| 336 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |5318 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1095.54/1095.93 c 1048s| 3020k| 341 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |5329 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1099.45/1099.88 c 1052s| 3030k| 336 | 0 | 0.0 |6423k| 484 | - |1479 |2868 | 0 | 0 | 0 |5345 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1103.54/1103.99 c 1056s| 3040k| 338 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |5365 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1108.04/1108.46 c 1060s| 3050k| 335 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |5383 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1111.94/1112.35 c 1064s| 3060k| 340 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |5401 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1115.64/1116.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1115.64/1116.09 c 1067s| 3070k| 339 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |5420 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1119.44/1119.80 c 1071s| 3080k| 336 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |5441 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1123.24/1123.61 c 1075s| 3090k| 337 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |5466 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1126.73/1127.14 c 1078s| 3100k| 338 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |5486 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1130.53/1130.93 c 1082s| 3110k| 338 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |5505 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1134.13/1134.55 c 1085s| 3120k| 336 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |5530 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1137.73/1138.14 c 1088s| 3130k| 338 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |5549 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1141.33/1141.74 c 1092s| 3140k| 337 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |5562 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1145.02/1145.47 c 1095s| 3150k| 337 | 0 | 0.0 |6421k| 484 | - |1479 |2868 | 0 | 0 | 0 |5586 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1148.62/1149.00 c 1099s| 3160k| 337 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |5609 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1152.12/1152.59 c 1102s| 3170k| 337 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |5629 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1156.23/1156.64 c 1106s| 3180k| 336 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |5644 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1160.13/1160.54 c 1110s| 3190k| 336 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |5660 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1163.92/1164.35 c 1114s| 3200k| 335 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |5679 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1168.02/1168.46 c 1117s| 3210k| 339 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |5698 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1171.82/1172.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1171.82/1172.24 c 1121s| 3220k| 336 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |5720 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1175.62/1176.03 c 1125s| 3230k| 338 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |5742 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1179.42/1179.87 c 1128s| 3240k| 334 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |5759 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1183.02/1183.43 c 1132s| 3250k| 334 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |5781 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1186.62/1187.09 c 1135s| 3260k| 333 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |5799 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1190.92/1191.34 c 1139s| 3270k| 339 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |5813 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1194.51/1194.99 c 1143s| 3280k| 341 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |5833 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1198.31/1198.76 c 1146s| 3290k| 335 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |5854 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1202.01/1202.45 c 1150s| 3300k| 335 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |5876 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1205.80/1206.23 c 1154s| 3310k| 336 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |5892 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1209.80/1210.20 c 1157s| 3320k| 339 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |5913 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1213.60/1214.08 c 1161s| 3330k| 339 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |5928 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1217.40/1217.87 c 1165s| 3340k| 335 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |5943 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1221.61/1222.02 c 1169s| 3350k| 336 | 0 | 0.0 |6421k| 484 | - |1479 |2868 | 0 | 0 | 0 |5963 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1225.20/1225.62 c 1172s| 3360k| 336 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |5983 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1229.09/1229.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1229.09/1229.54 c 1176s| 3370k| 335 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |6000 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1233.29/1233.75 c 1180s| 3380k| 335 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |6012 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1237.30/1237.76 c 1184s| 3390k| 336 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |6026 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1241.09/1241.50 c 1187s| 3400k| 336 | 0 | 0.0 |6422k| 484 | - |1479 |2868 | 0 | 0 | 0 |6046 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1245.28/1245.77 c 1191s| 3410k| 335 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |6064 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1249.19/1249.66 c 1195s| 3420k| 336 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |6081 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1252.79/1253.22 c 1199s| 3430k| 333 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |6102 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1256.28/1256.76 c 1202s| 3440k| 334 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |6124 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1259.99/1260.46 c 1205s| 3450k| 337 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |6143 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1263.78/1264.22 c 1209s| 3460k| 334 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |6163 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1267.49/1267.97 c 1213s| 3470k| 334 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |6185 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1271.28/1271.79 c 1216s| 3480k| 336 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |6206 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1275.18/1275.65 c 1220s| 3490k| 334 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |6225 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1278.79/1279.28 c 1223s| 3500k| 335 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |6245 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1282.88/1283.37 c 1227s| 3510k| 332 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |6262 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1286.38/1286.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1286.38/1286.87 c 1231s| 3520k| 337 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |6281 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1289.98/1290.40 c 1234s| 3530k| 335 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |6294 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1293.38/1293.87 c 1237s| 3540k| 335 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |6306 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1296.77/1297.28 c 1241s| 3550k| 333 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |6319 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1300.17/1300.68 c 1244s| 3560k| 340 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |6332 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1303.87/1304.31 c 1247s| 3570k| 336 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |6334 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1307.48/1307.98 c 1251s| 3580k| 333 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |6342 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1311.27/1311.71 c 1255s| 3590k| 334 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |6358 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1314.87/1315.38 c 1258s| 3600k| 336 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |6367 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1318.77/1319.27 c 1262s| 3610k| 336 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |6377 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1322.67/1323.17 c 1266s| 3620k| 335 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |6387 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1326.77/1327.23 c 1269s| 3630k| 333 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |6398 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1330.77/1331.27 c 1273s| 3640k| 335 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |6412 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1334.57/1335.08 c 1277s| 3650k| 335 | 0 | 0.0 |6422k| 484 | - |1479 |2868 | 0 | 0 | 0 |6425 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1338.77/1339.20 c 1281s| 3660k| 333 | 0 | 0.0 |6417k| 484 | - |1479 |2868 | 0 | 0 | 0 |6438 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1343.16/1343.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1343.16/1343.64 c 1285s| 3670k| 336 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |6447 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1347.16/1347.61 c 1289s| 3680k| 333 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |6458 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1351.16/1351.65 c 1293s| 3690k| 336 | 0 | 0.0 |6423k| 484 | - |1479 |2868 | 0 | 0 | 0 |6470 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1355.25/1355.77 c 1297s| 3700k| 333 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |6483 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1359.35/1359.87 c 1301s| 3710k| 334 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |6496 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1363.26/1363.74 c 1304s| 3720k| 334 | 0 | 0.0 |6421k| 484 | - |1479 |2868 | 0 | 0 | 0 |6503 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1367.26/1367.73 c 1308s| 3730k| 342 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |6517 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1371.05/1371.55 c 1312s| 3740k| 339 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |6533 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1374.85/1375.34 c 1315s| 3750k| 341 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |6549 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1378.86/1379.30 c 1319s| 3760k| 340 | 0 | 0.0 |6421k| 484 | - |1479 |2868 | 0 | 0 | 0 |6561 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1382.45/1382.95 c 1323s| 3770k| 340 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |6583 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1386.56/1387.03 c 1327s| 3780k| 338 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |6607 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1390.24/1390.78 c 1330s| 3790k| 339 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |6625 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1394.25/1394.79 c 1334s| 3800k| 339 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |6643 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1397.94/1398.43 c 1338s| 3810k| 337 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |6662 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1401.54/1402.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1401.54/1402.07 c 1341s| 3820k| 336 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |6676 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1405.54/1406.01 c 1345s| 3830k| 337 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |6689 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1409.44/1409.92 c 1349s| 3840k| 335 | 0 | 0.0 |6422k| 484 | - |1479 |2868 | 0 | 0 | 0 |6703 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1413.34/1413.82 c 1352s| 3850k| 339 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |6718 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1417.34/1417.88 c 1356s| 3860k| 337 | 0 | 0.0 |6421k| 484 | - |1479 |2868 | 0 | 0 | 0 |6736 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1421.23/1421.79 c 1360s| 3870k| 341 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |6750 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1424.93/1425.40 c 1363s| 3880k| 337 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |6773 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1428.83/1429.33 c 1367s| 3890k| 339 | 0 | 0.0 |6421k| 484 | - |1479 |2868 | 0 | 0 | 0 |6788 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1432.53/1433.06 c 1371s| 3900k| 337 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |6804 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1436.43/1436.94 c 1374s| 3910k| 340 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |6824 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1440.03/1440.59 c 1378s| 3920k| 338 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |6845 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1444.13/1444.62 c 1382s| 3930k| 337 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |6864 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1448.03/1448.54 c 1386s| 3940k| 334 | 0 | 0.0 |6422k| 484 | - |1479 |2868 | 0 | 0 | 0 |6883 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1451.83/1452.36 c 1389s| 3950k| 340 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |6901 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1455.53/1456.02 c 1393s| 3960k| 339 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |6912 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1459.23/1459.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1459.23/1459.76 c 1396s| 3970k| 334 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |6928 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1463.02/1463.59 c 1400s| 3980k| 335 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |6940 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1466.83/1467.40 c 1404s| 3990k| 336 | 0 | 0.0 |6423k| 484 | - |1479 |2868 | 0 | 0 | 0 |6957 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1471.12/1471.67 c 1408s| 4000k| 340 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |6980 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1475.12/1475.65 c 1412s| 4010k| 335 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |6998 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1479.32/1479.87 c 1416s| 4020k| 338 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7015 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1483.11/1483.70 c 1419s| 4030k| 338 | 0 | 0.0 |6423k| 484 | - |1479 |2868 | 0 | 0 | 0 |7034 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1487.01/1487.56 c 1423s| 4040k| 340 | 0 | 0.0 |6422k| 484 | - |1479 |2868 | 0 | 0 | 0 |7052 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1491.12/1491.62 c 1427s| 4050k| 338 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7071 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1494.81/1495.38 c 1430s| 4060k| 338 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7084 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1498.52/1499.09 c 1434s| 4070k| 337 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7097 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1502.71/1503.20 c 1438s| 4080k| 340 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7107 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1506.81/1507.36 c 1442s| 4090k| 340 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7121 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1510.51/1511.04 c 1445s| 4100k| 335 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7140 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1514.22/1514.76 c 1449s| 4110k| 337 | 0 | 0.0 |6421k| 484 | - |1479 |2868 | 0 | 0 | 0 |7154 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1518.00/1518.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1518.00/1518.53 c 1453s| 4120k| 336 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7172 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1521.70/1522.27 c 1456s| 4130k| 336 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7188 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1525.40/1525.97 c 1460s| 4140k| 336 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7204 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1529.00/1529.55 c 1463s| 4150k| 336 | 0 | 0.0 |6422k| 484 | - |1479 |2868 | 0 | 0 | 0 |7218 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1532.91/1533.47 c 1467s| 4160k| 334 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7228 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1536.69/1537.24 c 1470s| 4170k| 337 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7248 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1540.50/1541.09 c 1474s| 4180k| 336 | 0 | 0.0 |6421k| 484 | - |1479 |2868 | 0 | 0 | 0 |7267 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1544.40/1544.98 c 1478s| 4190k| 339 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7282 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1548.09/1548.66 c 1481s| 4200k| 333 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7302 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1551.80/1552.36 c 1485s| 4210k| 335 | 0 | 0.0 |6421k| 484 | - |1479 |2868 | 0 | 0 | 0 |7313 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1555.49/1556.08 c 1488s| 4220k| 340 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7331 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1559.70/1560.23 c 1492s| 4230k| 333 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |7347 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1563.70/1564.26 c 1496s| 4240k| 339 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7365 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1567.49/1568.08 c 1500s| 4250k| 336 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7384 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1571.48/1572.00 c 1504s| 4260k| 332 | 0 | 0.0 |6423k| 484 | - |1479 |2868 | 0 | 0 | 0 |7404 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1575.58/1576.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1575.58/1576.13 c 1508s| 4270k| 334 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7425 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1579.38/1579.97 c 1511s| 4280k| 335 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7448 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1582.98/1583.56 c 1515s| 4290k| 334 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7463 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1586.69/1587.24 c 1518s| 4300k| 333 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7478 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1590.58/1591.10 c 1522s| 4310k| 334 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7494 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1594.18/1594.76 c 1525s| 4320k| 336 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7521 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1597.79/1598.34 c 1529s| 4330k| 336 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7538 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1601.48/1602.00 c 1532s| 4340k| 337 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7553 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1605.27/1605.83 c 1536s| 4350k| 338 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7569 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1609.37/1609.96 c 1540s| 4360k| 335 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7578 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1613.27/1613.89 c 1544s| 4370k| 336 | 0 | 0.0 |6421k| 484 | - |1479 |2868 | 0 | 0 | 0 |7593 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1617.08/1617.67 c 1547s| 4380k| 339 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7608 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1620.67/1621.27 c 1551s| 4390k| 338 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7630 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1624.37/1624.96 c 1554s| 4400k| 336 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7644 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1628.07/1628.65 c 1558s| 4410k| 335 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7657 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1631.88/1632.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1631.88/1632.47 c 1562s| 4420k| 337 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7674 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1635.57/1636.14 c 1565s| 4430k| 339 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7690 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1639.07/1639.62 c 1568s| 4440k| 336 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7703 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1642.57/1643.18 c 1572s| 4450k| 339 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7714 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1646.26/1646.84 c 1575s| 4460k| 337 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7738 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1649.87/1650.49 c 1579s| 4470k| 339 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7754 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1653.57/1654.11 c 1582s| 4480k| 336 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7771 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1657.27/1657.88 c 1586s| 4490k| 338 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7787 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1661.26/1661.90 c 1590s| 4500k| 336 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7795 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1665.26/1665.88 c 1593s| 4510k| 335 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7805 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1668.96/1669.55 c 1597s| 4520k| 339 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7808 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1673.05/1673.63 c 1601s| 4530k| 336 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7818 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1676.97/1677.54 c 1605s| 4540k| 337 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7829 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1680.75/1681.35 c 1608s| 4550k| 336 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7849 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1684.45/1685.07 c 1612s| 4560k| 337 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7865 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1688.35/1688.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1688.35/1688.94 c 1616s| 4570k| 337 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7888 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1692.05/1692.66 c 1619s| 4580k| 338 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7910 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1695.85/1696.48 c 1623s| 4590k| 335 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |7930 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1699.64/1700.25 c 1626s| 4600k| 334 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7945 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1703.25/1703.85 c 1630s| 4610k| 336 | 0 | 0.0 |6421k| 484 | - |1479 |2868 | 0 | 0 | 0 |7967 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1706.94/1707.50 c 1633s| 4620k| 338 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |7987 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1710.45/1711.05 c 1637s| 4630k| 338 | 0 | 0.0 |6422k| 484 | - |1479 |2868 | 0 | 0 | 0 |8010 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1714.14/1714.72 c 1640s| 4640k| 336 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |8029 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1717.94/1718.56 c 1644s| 4650k| 334 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |8043 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1721.74/1722.30 c 1647s| 4660k| 336 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |8067 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1725.25/1725.90 c 1651s| 4670k| 335 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |8089 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1729.14/1729.71 c 1655s| 4680k| 337 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |8111 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1732.94/1733.52 c 1658s| 4690k| 336 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |8132 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1736.74/1737.30 c 1662s| 4700k| 333 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |8147 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1740.65/1741.30 c 1666s| 4710k| 333 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |8162 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1744.24/1744.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1744.24/1744.83 c 1669s| 4720k| 333 | 0 | 0.0 |6422k| 484 | - |1479 |2868 | 0 | 0 | 0 |8179 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1747.74/1748.35 c 1672s| 4730k| 333 | 0 | 0.0 |6421k| 484 | - |1479 |2868 | 0 | 0 | 0 |8200 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1751.64/1752.25 c 1676s| 4740k| 334 | 0 | 0.0 |6423k| 484 | - |1479 |2868 | 0 | 0 | 0 |8222 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1755.33/1755.91 c 1680s| 4750k| 331 | 0 | 0.0 |6418k| 484 | - |1479 |2868 | 0 | 0 | 0 |8235 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1759.03/1759.65 c 1683s| 4760k| 335 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |8255 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1763.03/1763.64 c 1687s| 4770k| 341 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |8276 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1767.04/1767.62 c 1691s| 4780k| 340 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |8294 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1770.93/1771.50 c 1695s| 4790k| 338 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |8317 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1774.93/1775.52 c 1698s| 4800k| 339 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |8332 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1778.73/1779.35 c 1702s| 4810k| 339 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |8352 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1782.33/1782.94 c 1706s| 4820k| 338 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |8374 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1786.03/1786.62 c 1709s| 4830k| 335 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |8392 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1789.83/1790.40 c 1713s| 4840k| 334 | 0 | 0.0 |6419k| 484 | - |1479 |2868 | 0 | 0 | 0 |8406 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1793.33/1793.97 c 1716s| 4850k| 333 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |8417 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1796.92/1797.57 c 1720s| 4860k| 340 | 0 | 0.0 |6420k| 484 | - |1479 |2868 | 0 | 0 | 0 |8438 | 0 | 2.410000e+02 | 1.229000e+03 | 409.96%
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.61 c
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time (sec) : 1722.43
1800.04/1800.61 c Solving Nodes : 4868487
1800.04/1800.61 c Primal Bound : +1.22900000000000e+03 (10 solutions)
1800.04/1800.61 c Dual Bound : +2.41000000000000e+02
1800.04/1800.61 c Gap : 409.96 %
1800.04/1800.62 s SATISFIABLE
1800.04/1800.62 v x1968 x1967 x1966 x1965 -x1964 x1963 -x1962 -x1961 x1960 -x1959 x1958 x1957 x1956 -x1955 x1954 x1953 -x1952 x1951 x1950 -x1949
1800.04/1800.62 v x1948 x1947 x1946 -x1945 x1944 -x1943 x1942 x1941 -x1940 x1939 -x1938 -x1937 -x1936 x1935 x1934 x1933 x1932 -x1931 x1930 x1929
1800.04/1800.62 v x1928 -x1927 -x1926 x1925 x1924 x1923 x1922 x1921 -x1920 x1919 -x1918 -x1917 x1916 x1915 -x1914 -x1913 -x1912 x1911 x1910 x1909
1800.04/1800.62 v -x1908 x1907 x1906 x1905 x1904 x1903 x1902 -x1901 x1900 -x1899 -x1898 -x1897 x1896 -x1895 -x1894 -x1893 -x1892 x1891 x1890
1800.04/1800.62 v -x1889 -x1888 -x1887 x1886 -x1885 x1884 x1883 x1882 x1881 x1880 x1879 x1878 -x1877 -x1876 x1875 -x1874 x1873 -x1872 x1871
1800.04/1800.62 v -x1870 -x1869 x1868 x1867 x1866 x1865 -x1864 x1863 -x1862 -x1861 x1860 x1859 x1858 x1857 -x1856 x1855 -x1854 -x1853 -x1852 x1851
1800.04/1800.62 v -x1850 -x1849 x1848 x1847 x1846 x1845 -x1844 x1843 -x1842 -x1841 -x1840 x1839 x1838 x1837 -x1836 x1835 x1834 x1833 x1832
1800.04/1800.62 v x1831 x1830 x1829 x1828 x1827 -x1826 -x1825 -x1824 x1823 x1822 -x1821 x1820 x1819 x1818 x1817 -x1816 x1815 x1814 -x1813 -x1812
1800.04/1800.62 v x1811 -x1810 x1809 x1808 -x1807 -x1806 x1805 -x1804 x1803 -x1802 x1801 -x1800 x1799 x1798 x1797 x1796 x1795 x1794 -x1793 -x1792
1800.04/1800.62 v -x1791 x1790 -x1789 x1788 x1787 x1786 x1785 x1784 x1783 -x1782 x1781 x1780 -x1779 x1778 -x1777 -x1776 -x1775 -x1774 x1773
1800.04/1800.62 v x1772 x1771 x1770 x1769 x1768 -x1767 x1766 -x1765 -x1764 -x1763 -x1762 x1761 x1760 x1759 -x1758 x1757 x1756 -x1755 x1754 -x1753
1800.04/1800.62 v x1752 x1751 -x1750 x1749 -x1748 -x1747 -x1746 -x1745 x1744 -x1743 -x1742 x1741 x1740 -x1739 x1738 x1737 x1736 x1735 -x1734
1800.04/1800.62 v x1733 -x1732 -x1731 -x1730 x1729 x1728 -x1727 x1726 -x1725 x1724 x1723 x1722 x1721 -x1720 x1719 -x1718 -x1717 x1716 x1715
1800.04/1800.62 v -x1714 x1713 x1712 -x1711 x1710 x1709 -x1708 -x1707 x1706 -x1705 x1704 x1703 -x1702 x1701 x1700 x1699 -x1698 x1697 -x1696 x1695
1800.04/1800.62 v -x1694 -x1693 -x1692 x1691 -x1690 x1689 x1688 -x1687 x1686 -x1685 -x1684 -x1683 x1682 x1681 x1680 -x1679 -x1678 x1677 x1676
1800.04/1800.62 v x1675 x1674 -x1673 x1672 x1671 x1670 x1669 x1668 x1667 -x1666 x1665 -x1664 -x1663 -x1662 x1661 -x1660 -x1659 x1658 -x1657 -x1656
1800.04/1800.62 v -x1655 x1654 x1653 -x1652 x1651 -x1650 -x1649 x1648 -x1647 x1646 x1645 x1644 x1643 -x1642 -x1641 x1640 -x1639 -x1638 x1637
1800.04/1800.62 v x1636 x1635 x1634 x1633 x1632 x1631 x1630 x1629 x1628 x1627 x1626 x1625 x1624 -x1623 x1622 x1621 -x1620 x1619 -x1618 x1617
1800.04/1800.62 v x1616 x1615 -x1614 x1613 x1612 -x1611 x1610 -x1609 x1608 x1607 -x1606 x1605 -x1604 x1603 -x1602 x1601 x1600 -x1599 x1598 -x1597
1800.04/1800.62 v x1596 x1595 x1594 -x1593 x1592 -x1591 x1590 x1589 x1588 x1587 x1586 -x1585 -x1584 x1583 x1582 x1581 x1580 -x1579 x1578 x1577
1800.04/1800.62 v -x1576 x1575 x1574 x1573 -x1572 -x1571 x1570 -x1569 x1568 -x1567 x1566 x1565 x1564 x1563 x1562 x1561 x1560 x1559 x1558 x1557
1800.04/1800.62 v x1556 -x1555 x1554 -x1553 -x1552 x1551 x1550 -x1549 x1548 -x1547 x1546 x1545 x1544 -x1543 x1542 x1541 -x1540 x1539 x1538
1800.04/1800.62 v x1537 x1536 -x1535 -x1534 x1533 x1532 -x1531 -x1530 -x1529 x1528 x1527 x1526 -x1525 x1524 -x1523 x1522 -x1521 x1520 -x1519 x1518
1800.04/1800.62 v x1517 x1516 x1515 x1514 -x1513 x1512 -x1511 x1510 -x1509 x1508 -x1507 -x1506 x1505 x1504 x1503 x1502 x1501 x1500 x1499 -x1498
1800.04/1800.62 v -x1497 x1496 x1495 x1494 x1493 -x1492 -x1491 x1490 -x1489 x1488 x1487 x1486 x1485 -x1484 x1483 x1482 -x1481 x1480 x1479
1800.04/1800.62 v x1478 x1477 x1476 x1475 -x1474 x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 x1462 x1461 x1460
1800.04/1800.62 v x1459 x1458 x1457 x1456 -x1455 x1454 x1453 x1452 -x1451 x1450 x1449 x1448 x1447 x1446 -x1445 x1444 -x1443 -x1442 x1441 x1440
1800.04/1800.62 v x1439 x1438 -x1437 -x1436 x1435 x1434 x1433 x1432 x1431 -x1430 -x1429 -x1428 -x1427 -x1426 x1425 x1424 x1423 x1422 -x1421 -x1420
1800.04/1800.62 v x1419 x1418 x1417 -x1416 x1415 x1414 x1413 -x1412 x1411 x1410 x1409 -x1408 -x1407 x1406 -x1405 x1404 x1403 -x1402 -x1401
1800.04/1800.62 v -x1400 x1399 -x1398 -x1397 x1396 x1395 x1394 x1393 x1392 x1391 -x1390 x1389 -x1388 x1387 -x1386 -x1385 x1384 x1383 x1382 x1381
1800.04/1800.62 v x1380 -x1379 -x1378 -x1377 x1376 x1375 x1374 x1373 x1372 x1371 -x1370 x1369 x1368 x1367 x1366 x1365 x1364 x1363 x1362 -x1361
1800.04/1800.62 v x1360 -x1359 -x1358 x1357 x1356 -x1355 x1354 x1353 -x1352 x1351 x1350 -x1349 x1348 x1347 -x1346 x1345 x1344 -x1343 x1342 x1341
1800.04/1800.62 v x1340 -x1339 x1338 x1337 x1336 x1335 x1334 x1333 x1332 x1331 x1330 x1329 x1328 x1327 x1326 -x1325 -x1324 x1323 x1322 x1321
1800.04/1800.62 v x1320 x1319 -x1318 x1317 -x1316 -x1315 x1314 -x1313 -x1312 x1311 x1310 x1309 x1308 -x1307 x1306 -x1305 x1304 x1303 x1302 x1301
1800.04/1800.62 v x1300 x1299 x1298 -x1297 x1296 -x1295 x1294 x1293 x1292 x1291 x1290 x1289 -x1288 x1287 -x1286 -x1285 x1284 -x1283 x1282
1800.04/1800.62 v -x1281 x1280 -x1279 x1278 -x1277 x1276 -x1275 x1274 x1273 x1272 x1271 x1270 x1269 x1268 x1267 -x1266 -x1265 -x1264 -x1263 x1262
1800.04/1800.62 v x1261 x1260 x1259 x1258 x1257 -x1256 x1255 x1254 x1253 x1252 -x1251 x1250 -x1249 -x1248 -x1247 x1246 x1245 x1244 x1243 x1242
1800.04/1800.62 v x1241 x1240 x1239 x1238 x1237 x1236 x1235 x1234 -x1233 -x1232 -x1231 -x1230 x1229 -x1228 -x1227 x1226 -x1225 x1224 -x1223
1800.04/1800.62 v x1222 x1221 -x1220 x1219 x1218 x1217 x1216 x1215 x1214 x1213 x1212 x1211 x1210 -x1209 x1208 x1207 x1206 -x1205 x1204 -x1203 -x1202
1800.04/1800.62 v -x1201 -x1200 x1199 x1198 x1197 x1196 -x1195 x1194 -x1193 x1192 x1191 -x1190 -x1189 -x1188 x1187 x1186 -x1185 x1184 -x1183
1800.04/1800.62 v x1182 x1181 x1180 -x1179 -x1178 x1177 -x1176 -x1175 x1174 x1173 x1172 -x1171 x1170 x1169 x1168 -x1167 x1166 -x1165 -x1164
1800.04/1800.62 v -x1163 x1162 x1161 -x1160 x1159 -x1158 x1157 -x1156 -x1155 x1154 -x1153 x1152 -x1151 x1150 x1149 x1148 -x1147 -x1146 x1145 -x1144
1800.04/1800.62 v x1143 x1142 -x1141 -x1140 -x1139 x1138 -x1137 x1136 -x1135 x1134 x1133 x1132 x1131 x1130 x1129 x1128 x1127 x1126 -x1125
1800.04/1800.62 v x1124 -x1123 x1122 x1121 -x1120 x1119 x1118 x1117 -x1116 x1115 -x1114 -x1113 x1112 x1111 x1110 x1109 -x1108 x1107 -x1106 -x1105
1800.04/1800.62 v x1104 x1103 -x1102 x1101 -x1100 x1099 -x1098 x1097 x1096 -x1095 x1094 x1093 x1092 -x1091 -x1090 x1089 x1088 x1087 x1086 x1085
1800.04/1800.62 v x1084 x1083 x1082 x1081 x1080 x1079 x1078 x1077 x1076 x1075 x1074 x1073 x1072 x1071 x1070 x1069 -x1068 x1067 -x1066 x1065
1800.04/1800.62 v x1064 -x1063 x1062 -x1061 -x1060 -x1059 -x1058 x1057 -x1056 -x1055 -x1054 x1053 x1052 x1051 x1050 -x1049 x1048 -x1047 x1046
1800.04/1800.62 v x1045 x1044 x1043 x1042 x1041 -x1040 x1039 -x1038 -x1037 -x1036 -x1035 -x1034 x1033 x1032 -x1031 -x1030 -x1029 -x1028 x1027
1800.04/1800.62 v x1026 -x1025 x1024 x1023 -x1022 x1021 x1020 x1019 x1018 x1017 -x1016 x1015 -x1014 x1013 -x1012 x1011 x1010 x1009 -x1008 -x1007
1800.04/1800.62 v -x1006 x1005 x1004 x1003 x1002 x1001 -x1000 -x999 -x998 x997 x996 x995 x994 x993 x992 x991 x990 -x989 -x988 x987 x986 -x985
1800.04/1800.62 v -x984 x983 x982 -x981 -x980 x979 x978 x977 x976 x975 -x974 x973 x972 -x971 -x970 x969 x968 x967 -x966 -x965 x964 x963 x962 x961
1800.04/1800.62 v -x960 x959 x958 x957 x956 x955 x954 x953 x952 -x951 x950 -x949 x948 x947 -x946 -x945 -x944 x943 -x942 x941 -x940 x939 x938
1800.04/1800.62 v -x937 x936 x935 -x934 -x933 x932 x931 -x930 -x929 x928 x927 x926 -x925 x924 x923 x922 -x921 x920 -x919 x918 -x917 x916 -x915
1800.04/1800.62 v x914 -x913 x912 x911 x910 x909 x908 -x907 -x906 x905 -x904 x903 x902 x901 x900 x899 x898 x897 x896 -x895 -x894 -x893 x892 -x891
1800.04/1800.62 v -x890 x889 -x888 -x887 x886 x885 -x884 x883 x882 x881 x880 -x879 x878 -x877 x876 x875 -x874 x873 -x872 x871 -x870 -x869
1800.04/1800.62 v x868 x867 -x866 x865 -x864 x863 -x862 x861 x860 x859 -x858 x857 -x856 x855 -x854 x853 -x852 x851 x850 -x849 -x848 x847 x846 x845
1800.04/1800.62 v x844 x843 -x842 -x841 x840 -x839 -x838 x837 x836 -x835 x834 x833 -x832 -x831 -x830 -x829 x828 x827 -x826 x825 x824 x823 -x822
1800.04/1800.62 v x821 x820 -x819 x818 x817 x816 x815 x814 x813 x812 -x811 -x810 x809 -x808 x807 x806 x805 -x804 -x803 x802 x801 -x800 x799
1800.04/1800.62 v x798 x797 x796 -x795 x794 x793 x792 x791 x790 x789 x788 x787 x786 x785 x784 x783 x782 x781 x780 -x779 x778 x777 -x776 -x775
1800.04/1800.62 v x774 x773 x772 -x771 x770 x769 -x768 -x767 x766 -x765 x764 -x763 x762 -x761 x760 x759 x758 -x757 x756 -x755 x754 -x753 -x752
1800.04/1800.62 v -x751 x750 -x749 x748 x747 x746 -x745 -x744 -x743 -x742 x741 x740 x739 x738 x737 x736 -x735 x734 x733 -x732 -x731 x730 x729
1800.04/1800.62 v x728 x727 x726 x725 -x724 x723 x722 -x721 x720 x719 x718 -x717 x716 -x715 x714 -x713 x712 x711 x710 x709 x708 -x707 x706 x705
1800.04/1800.62 v x704 x703 x702 x701 x700 -x699 x698 -x697 -x696 x695 x694 x693 -x692 x691 -x690 x689 -x688 x687 x686 x685 x684 x683 -x682 x681
1800.04/1800.62 v x680 -x679 x678 x677 x676 -x675 x674 x673 x672 -x671 -x670 -x669 -x668 -x667 x666 x665 x664 -x663 x662 x661 -x660 x659 -x658
1800.04/1800.62 v -x657 -x656 -x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 x647 x646 -x645 x644 x643 -x642 x641 x640 -x639 x638 x637 x636
1800.04/1800.62 v -x635 -x634 -x633 x632 -x631 x630 -x629 -x628 x627 x626 -x625 x624 -x623 -x622 x621 x620 -x619 x618 x617 x616 x615 -x614 x613
1800.04/1800.62 v x612 x611 x610 x609 x608 x607 -x606 x605 -x604 x603 -x602 x601 -x600 x599 x598 -x597 x596 -x595 x594 -x593 x592 x591 x590 x589
1800.04/1800.62 v x588 x587 x586 x585 -x584 x583 x582 x581 x580 -x579 x578 -x577 x576 -x575 -x574 -x573 -x572 -x571 x570 x569 -x568 -x567 x566
1800.04/1800.62 v x565 x564 -x563 x562 x561 x560 -x559 x558 x557 x556 x555 -x554 -x553 -x552 x551 -x550 x549 x548 x547 -x546 x545 x544 x543
1800.04/1800.62 v x542 -x541 x540 x539 x538 x537 -x536 x535 x534 x533 x532 -x531 x530 -x529 x528 x527 x526 -x525 x524 -x523 -x522 -x521 x520 x519
1800.04/1800.62 v x518 x517 x516 -x515 x514 x513 -x512 -x511 x510 x509 -x508 -x507 x506 x505 x504 x503 x502 x501 -x500 x499 x498 x497 -x496
1800.04/1800.62 v x495 -x494 -x493 -x492 x491 -x490 -x489 -x488 -x487 -x486 x485 x484 x483 x482 -x481 x480 x479 x478 x477 -x476 x475 -x474 -x473
1800.04/1800.62 v -x472 x471 -x470 x469 x468 x467 x466 x465 -x464 x463 x462 -x461 -x460 x459 x458 -x457 x456 x455 x454 -x453 x452 x451 -x450
1800.04/1800.62 v -x449 -x448 -x447 x446 x445 x444 -x443 x442 -x441 x440 -x439 -x438 -x437 x436 x435 -x434 x433 x432 x431 x430 x429 x428 x427 x426
1800.04/1800.62 v x425 -x424 x423 x422 -x421 -x420 -x419 x418 x417 x416 -x415 x414 -x413 -x412 x411 -x410 x409 x408 -x407 x406 -x405 x404 x403
1800.04/1800.62 v x402 x401 x400 x399 x398 -x397 x396 x395 -x394 -x393 -x392 -x391 x390 -x389 x388 x387 x386 x385 x384 x383 -x382 -x381 x380
1800.04/1800.62 v x379 x378 x377 -x376 x375 x374 -x373 x372 -x371 -x370 x369 x368 x367 -x366 x365 x364 x363 -x362 -x361 -x360 x359 x358 -x357
1800.04/1800.62 v x356 x355 -x354 x353 x352 x351 -x350 x349 x348 -x347 x346 -x345 -x344 -x343 x342 x341 -x340 -x339 -x338 x337 x336 -x335 x334
1800.04/1800.62 v x333 -x332 -x331 -x330 x329 -x328 x327 x326 -x325 x324 -x323 x322 -x321 x320 x319 -x318 x317 -x316 x315 x314 x313 -x312 -x311
1800.04/1800.62 v -x310 x309 x308 x307 x306 x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 x296 x295 x294 x293 x292 x291 -x290 -x289 x288
1800.04/1800.62 v x287 -x286 x285 -x284 x283 -x282 x281 x280 x279 x278 -x277 x276 x275 x274 x273 x272 x271 x270 x269 -x268 -x267 x266 -x265
1800.04/1800.62 v -x264 x263 x262 -x261 -x260 -x259 x258 x257 x256 x255 x254 x253 -x252 x251 -x250 -x249 -x248 x247 -x246 x245 x244 -x243 -x242
1800.04/1800.62 v -x241 x240 -x239 -x238 x237 x236 -x235 -x234 -x233 -x232 -x231 x230 x229 x228 x227 x226 -x225 x224 x223 x222 x221 x220 -x219
1800.04/1800.62 v x218 -x217 -x216 x215 -x214 -x213 x212 -x211 x210 x209 -x208 x207 x206 x205 -x204 x203 x202 x201 -x200 -x199 -x198 x197 x196
1800.04/1800.62 v x195 x194 x193 x192 -x191 -x190 x189 x188 -x187 x186 x185 -x184 x183 x182 -x181 x180 x179 x178 x177 x176 x175 -x174 x173 x172
1800.04/1800.62 v x171 x170 x169 -x168 x167 x166 -x165 x164 x163 x162 x161 x160 x159 -x158 x157 x156 x155 -x154 -x153 x152 x151 x150 x149 -x148
1800.04/1800.62 v -x147 x146 x145 x144 x143 x142 -x141 -x140 x139 -x138 x137 x136 x135 -x134 x133 x132 x131 -x130 -x129 -x128 x127 x126 x125
1800.04/1800.62 v x124 -x123 -x122 -x121 x120 x119 x118 -x117 x116 x115 x114 x113 x112 x111 x110 x109 -x108 x107 x106 x105 x104 -x103 -x102 x101
1800.04/1800.62 v x100 -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 -x73
1800.04/1800.62 v -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 x47 x46 x45
1800.04/1800.62 v x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 x34 x33 x32 -x31 x30 x29 -x28 x27 x26 x25 -x24 x23 x22 -x21 x20 x19 -x18 x17
1800.04/1800.62 v x16 x15 -x14 -x13 -x12 x11 x10 x9 x8 -x7 x6 x5 x4 x3 x2 -x1
1800.04/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.62 c Solving Time : 1722.43
1800.04/1800.62 c Original Problem :
1800.04/1800.62 c Problem name : HOME/instance-2664173-1276391499.opb
1800.04/1800.62 c Variables : 1968 (1968 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.62 c Constraints : 4000 initial, 4000 maximal
1800.04/1800.62 c Presolved Problem :
1800.04/1800.62 c Problem name : t_HOME/instance-2664173-1276391499.opb
1800.04/1800.62 c Variables : 1479 (1479 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.62 c Constraints : 2868 initial, 2868 maximal
1800.04/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c dualfix : 0.00 226 0 0 0 0 0 0 0
1800.04/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c probing : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.62 c linear : 0.06 0 263 0 0 0 1132 0 0
1800.04/1800.62 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.62 c root node : - 0 - - 0 - - - -
1800.04/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.62 c logicor : 2868+ 0 6408257 0 7 8455 5883053 0 0 0
1800.04/1800.62 c countsols : 0 0 0 0 7 0 0 0 0 0
1800.04/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.62 c logicor : 38.98 0.00 38.97 0.00 0.01
1800.04/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.62 c vbounds : 5.78 2 0 0
1800.04/1800.62 c rootredcost : 5.77 0 0 0
1800.04/1800.62 c pseudoobj : 1357.47 12017458 2427337 50814240
1800.04/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.62 c propagation : 13.40 8455 8455 8455 298.9 0 0.0 -
1800.04/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.62 c pseudo solution : 0.05 17 0 0 0.0 0 0.0 -
1800.04/1800.62 c applied globally : - - - 0 0.0 - - -
1800.04/1800.62 c applied locally : - - - 8455 298.9 - - -
1800.04/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.62 c redcost : 0.00 0 0 0 0 0
1800.04/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.62 c intobj : 0.00 0 0 0 0 0
1800.04/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.62 c gomory : 0.00 0 0 0 0 0
1800.04/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.62 c cmir : 0.00 0 0 0 0 0
1800.04/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.62 c clique : 0.00 0 0 0 0 0
1800.04/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.62 c mcf : 0.00 0 0 0 0 0
1800.04/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.62 c Pricers : Time Calls Vars
1800.04/1800.62 c problem variables: 0.00 0 0
1800.04/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.62 c inference : 100.65 2436288 0 0 0 0 4872576
1800.04/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.62 c random : 0.00 0 0 0 0 0 0
1800.04/1800.62 c Primal Heuristics : Time Calls Found
1800.04/1800.62 c LP solutions : 0.00 - 0
1800.04/1800.62 c pseudo solutions : 0.00 - 7
1800.04/1800.62 c oneopt : 3.66 0 0
1800.04/1800.62 c trivial : 0.01 2 3
1800.04/1800.62 c simplerounding : 0.00 0 0
1800.04/1800.62 c zirounding : 0.00 0 0
1800.04/1800.62 c rounding : 0.00 0 0
1800.04/1800.62 c shifting : 0.00 0 0
1800.04/1800.62 c intshifting : 0.00 0 0
1800.04/1800.62 c twoopt : 0.00 0 0
1800.04/1800.62 c fixandinfer : 0.00 0 0
1800.04/1800.62 c feaspump : 0.00 0 0
1800.04/1800.62 c coefdiving : 0.00 0 0
1800.04/1800.62 c pscostdiving : 0.00 0 0
1800.04/1800.62 c fracdiving : 0.00 0 0
1800.04/1800.62 c veclendiving : 0.00 0 0
1800.04/1800.62 c intdiving : 0.00 0 0
1800.04/1800.62 c actconsdiving : 0.00 0 0
1800.04/1800.62 c objpscostdiving : 0.00 0 0
1800.04/1800.62 c rootsoldiving : 0.00 0 0
1800.04/1800.62 c linesearchdiving : 0.00 0 0
1800.04/1800.62 c guideddiving : 0.00 0 0
1800.04/1800.62 c octane : 0.00 0 0
1800.04/1800.62 c rens : 0.00 0 0
1800.04/1800.62 c rins : 0.00 0 0
1800.04/1800.62 c localbranching : 0.00 0 0
1800.04/1800.62 c mutation : 0.00 0 0
1800.04/1800.62 c crossover : 0.00 0 0
1800.04/1800.62 c dins : 0.00 0 0
1800.04/1800.62 c undercover : 0.00 0 0
1800.04/1800.62 c nlp : 2.02 0 0
1800.04/1800.62 c trysol : 2.61 0 0
1800.04/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.62 c (at root node) : - 0 0 0.00 -
1800.04/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.62 c B&B Tree :
1800.04/1800.62 c number of runs : 1
1800.04/1800.62 c nodes : 4868487
1800.04/1800.62 c nodes (total) : 4868487
1800.04/1800.62 c nodes left : 335
1800.04/1800.62 c max depth : 484
1800.04/1800.62 c max depth (total): 484
1800.04/1800.62 c backtracks : 1173664 (24.1%)
1800.04/1800.62 c delayed cutoffs : 3713
1800.04/1800.62 c repropagations : 4461 (89794 domain reductions, 3617 cutoffs)
1800.04/1800.62 c avg switch length: 2.00
1800.04/1800.62 c switching time : 72.66
1800.04/1800.62 c Solution :
1800.04/1800.62 c Solutions found : 10 (9 improvements)
1800.04/1800.62 c First Solution : +1.96800000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.04/1800.62 c Primal Bound : +1.22900000000000e+03 (in run 1, after 303286 nodes, 106.69 seconds, depth 357, found by <relaxation>)
1800.04/1800.62 c Dual Bound : +2.41000000000000e+02
1800.04/1800.62 c Gap : 409.96 %
1800.04/1800.62 c Root Dual Bound : +2.40000000000000e+02
1800.04/1800.62 c Root Iterations : 0
1800.04/1800.64 c Time complete: 1800.06.