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-2664178-1276395049.opb>
0.01/0.08 c original problem has 1965 variables (1965 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 1965
0.09/0.10 c feasible solution found by trivial heuristic, objective value 1.965000e+03
0.09/0.11 c presolving:
0.09/0.13 c (round 1) 146 del vars, 146 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.14 c (round 2) 298 del vars, 648 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.15 c (round 3) 351 del vars, 765 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.15 c (round 4) 384 del vars, 879 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.16 c (round 5) 396 del vars, 909 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.16 c (round 6) 402 del vars, 926 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.17 c (round 7) 405 del vars, 934 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.17 c (round 8) 409 del vars, 940 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.18 c (round 9) 412 del vars, 952 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.18 c (round 10) 413 del vars, 953 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.19 c (round 11) 414 del vars, 956 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.19/0.24 c (round 12) 414 del vars, 957 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3043 upgd conss, 7998 impls, 0 clqs
0.19/0.27 c (0.1s) probing: 101/1551 (6.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.27 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.27 c presolving (13 rounds):
0.19/0.27 c 414 deleted vars, 957 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.27 c 7998 implications, 0 cliques
0.19/0.27 c presolved problem has 1551 variables (1551 bin, 0 int, 0 impl, 0 cont) and 3043 constraints
0.19/0.27 c 3043 constraints of type <logicor>
0.19/0.27 c transformed objective value is always integral (scale: 1)
0.19/0.27 c Presolving Time: 0.13
0.19/0.27 c - non default parameters ----------------------------------------------------------------------
0.19/0.27 c # SCIP version 1.2.1.2
0.19/0.27 c
0.19/0.27 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.27 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.27 c conflict/interconss = 0
0.19/0.27 c
0.19/0.27 c # should binary conflicts be preferred?
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c conflict/preferbinary = TRUE
0.19/0.27 c
0.19/0.27 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.27 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.27 c constraints/agelimit = 1
0.19/0.27 c
0.19/0.27 c # should enforcement of pseudo solution be disabled?
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c constraints/disableenfops = TRUE
0.19/0.27 c
0.19/0.27 c # frequency for displaying node information lines
0.19/0.27 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.27 c display/freq = 10000
0.19/0.27 c
0.19/0.27 c # maximal time in seconds to run
0.19/0.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.27 c limits/time = 1799.93
0.19/0.27 c
0.19/0.27 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.27 c limits/memory = 1620
0.19/0.27 c
0.19/0.27 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.27 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.27 c lp/solvefreq = -1
0.19/0.27 c
0.19/0.27 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.27 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.27 c lp/pricing = a
0.19/0.27 c
0.19/0.27 c # should presolving try to simplify inequalities
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c constraints/linear/simplifyinequalities = TRUE
0.19/0.27 c
0.19/0.27 c # should presolving try to simplify knapsacks
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.27 c
0.19/0.27 c # priority of node selection rule <dfs> in standard mode
0.19/0.27 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.27 c nodeselection/dfs/stdpriority = 1000000
0.19/0.27 c
0.19/0.27 c -----------------------------------------------------------------------------------------------
0.19/0.27 c start solving
0.19/0.28 c
0.19/0.28 o 1753
0.19/0.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.28 c t 0.1s| 1 | 0 | 0 | - |5835k| 0 | - |1551 |3043 | 0 | 0 | 0 | 0 | 0 | -- | 1.753000e+03 | Inf
0.19/0.28 c 0.1s| 1 | 2 | 0 | - |5786k| 0 | - |1551 |3043 | 0 | 0 | 0 | 0 | 0 | 2.020000e+02 | 1.753000e+03 | 767.82%
0.39/0.41 o 1264
0.39/0.41 c * 0.3s| 490 | 470 | 0 | 0.0 |6228k| 489 | - |1551 |3043 | 0 | 0 | 0 | 0 | 0 | 2.030000e+02 | 1.264000e+03 | 522.66%
4.79/4.88 c 4.5s| 10000 | 396 | 0 | 0.0 |6323k| 489 | - |1551 |3043 | 0 | 0 | 0 | 5 | 0 | 2.030000e+02 | 1.264000e+03 | 522.66%
7.89/7.91 o 1263
7.89/7.91 c * 7.5s| 17066 | 401 | 0 | 0.0 |6358k| 489 | - |1551 |3043 | 0 | 0 | 0 | 11 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
9.29/9.32 c 8.8s| 20000 | 396 | 0 | 0.0 |6353k| 489 | - |1551 |3043 | 0 | 0 | 0 | 15 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
13.20/13.25 c 12.5s| 30000 | 393 | 0 | 0.0 |6354k| 489 | - |1551 |3043 | 0 | 0 | 0 | 16 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
16.69/16.75 c 15.9s| 40000 | 393 | 0 | 0.0 |6354k| 489 | - |1551 |3043 | 0 | 0 | 0 | 16 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
20.28/20.31 c 19.3s| 50000 | 391 | 0 | 0.0 |6354k| 489 | - |1551 |3043 | 0 | 0 | 0 | 16 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
23.88/23.98 c 22.8s| 60000 | 389 | 0 | 0.0 |6354k| 489 | - |1551 |3043 | 0 | 0 | 0 | 16 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
27.89/27.90 c 26.5s| 70000 | 389 | 0 | 0.0 |6354k| 489 | - |1551 |3043 | 0 | 0 | 0 | 16 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
31.49/31.50 c 29.9s| 80000 | 391 | 0 | 0.0 |6354k| 489 | - |1551 |3043 | 0 | 0 | 0 | 16 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
34.98/35.04 c 33.3s| 90000 | 389 | 0 | 0.0 |6353k| 489 | - |1551 |3043 | 0 | 0 | 0 | 16 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
38.78/38.86 c 36.9s|100000 | 387 | 0 | 0.0 |6354k| 489 | - |1551 |3043 | 0 | 0 | 0 | 16 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
42.98/43.07 c 40.9s|110000 | 387 | 0 | 0.0 |6354k| 489 | - |1551 |3043 | 0 | 0 | 0 | 16 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
46.98/47.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.98/47.08 c 44.8s|120000 | 387 | 0 | 0.0 |6358k| 489 | - |1551 |3043 | 0 | 0 | 0 | 21 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
50.67/50.72 c 48.2s|130000 | 389 | 0 | 0.0 |6357k| 489 | - |1551 |3043 | 0 | 0 | 0 | 38 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
54.38/54.40 c 51.8s|140000 | 384 | 0 | 0.0 |6357k| 489 | - |1551 |3043 | 0 | 0 | 0 | 55 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
58.57/58.66 c 55.8s|150000 | 383 | 0 | 0.0 |6362k| 489 | - |1551 |3043 | 0 | 0 | 0 | 67 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
62.97/63.02 c 60.0s|160000 | 391 | 0 | 0.0 |6360k| 489 | - |1551 |3043 | 0 | 0 | 0 | 74 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
66.87/66.99 c 63.8s|170000 | 384 | 0 | 0.0 |6361k| 489 | - |1551 |3043 | 0 | 0 | 0 | 89 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
71.87/71.90 c 68.5s|180000 | 386 | 0 | 0.0 |6359k| 489 | - |1551 |3043 | 0 | 0 | 0 | 101 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
76.37/76.48 c 72.9s|190000 | 389 | 0 | 0.0 |6362k| 489 | - |1551 |3043 | 0 | 0 | 0 | 117 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
80.57/80.60 c 76.8s|200000 | 390 | 0 | 0.0 |6361k| 489 | - |1551 |3043 | 0 | 0 | 0 | 142 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
85.17/85.25 c 81.2s|210000 | 386 | 0 | 0.0 |6361k| 489 | - |1551 |3043 | 0 | 0 | 0 | 200 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
89.47/89.51 c 85.3s|220000 | 385 | 0 | 0.0 |6362k| 489 | - |1551 |3043 | 0 | 0 | 0 | 210 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
93.77/93.84 c 89.4s|230000 | 390 | 0 | 0.0 |6361k| 489 | - |1551 |3043 | 0 | 0 | 0 | 237 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
97.78/97.81 c 93.2s|240000 | 386 | 0 | 0.0 |6361k| 489 | - |1551 |3043 | 0 | 0 | 0 | 257 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
102.17/102.27 c 97.5s|250000 | 387 | 0 | 0.0 |6361k| 489 | - |1551 |3043 | 0 | 0 | 0 | 269 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
106.96/107.02 c 102s|260000 | 388 | 0 | 0.0 |6363k| 489 | - |1551 |3043 | 0 | 0 | 0 | 307 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
111.76/111.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.76/111.87 c 107s|270000 | 383 | 0 | 0.0 |6360k| 489 | - |1551 |3043 | 0 | 0 | 0 | 381 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
115.96/116.02 c 111s|280000 | 386 | 0 | 0.0 |6362k| 489 | - |1551 |3043 | 0 | 0 | 0 | 393 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
120.15/120.23 c 115s|290000 | 385 | 0 | 0.0 |6365k| 489 | - |1551 |3043 | 0 | 0 | 0 | 405 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
124.16/124.20 c 118s|300000 | 383 | 0 | 0.0 |6363k| 489 | - |1551 |3043 | 0 | 0 | 0 | 420 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
128.56/128.60 c 123s|310000 | 387 | 0 | 0.0 |6362k| 489 | - |1551 |3043 | 0 | 0 | 0 | 434 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
132.76/132.85 c 127s|320000 | 385 | 0 | 0.0 |6363k| 489 | - |1551 |3043 | 0 | 0 | 0 | 446 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
136.55/136.68 c 130s|330000 | 385 | 0 | 0.0 |6362k| 489 | - |1551 |3043 | 0 | 0 | 0 | 460 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
141.15/141.27 c 135s|340000 | 382 | 0 | 0.0 |6362k| 489 | - |1551 |3043 | 0 | 0 | 0 | 466 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
145.65/145.75 c 139s|350000 | 384 | 0 | 0.0 |6365k| 489 | - |1551 |3043 | 0 | 0 | 0 | 479 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
150.25/150.32 c 143s|360000 | 386 | 0 | 0.0 |6362k| 489 | - |1551 |3043 | 0 | 0 | 0 | 489 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
154.25/154.37 c 147s|370000 | 385 | 0 | 0.0 |6363k| 489 | - |1551 |3043 | 0 | 0 | 0 | 507 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
158.65/158.72 c 151s|380000 | 385 | 0 | 0.0 |6364k| 489 | - |1551 |3043 | 0 | 0 | 0 | 533 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
162.95/163.03 c 156s|390000 | 382 | 0 | 0.0 |6362k| 489 | - |1551 |3043 | 0 | 0 | 0 | 571 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
167.24/167.38 c 160s|400000 | 384 | 0 | 0.0 |6363k| 489 | - |1551 |3043 | 0 | 0 | 0 | 629 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
170.95/171.00 c 163s|410000 | 382 | 0 | 0.0 |6362k| 489 | - |1551 |3043 | 0 | 0 | 0 | 649 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
174.94/175.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
174.94/175.07 c 167s|420000 | 384 | 0 | 0.0 |6363k| 489 | - |1551 |3043 | 0 | 0 | 0 | 659 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
179.64/179.76 c 171s|430000 | 382 | 0 | 0.0 |6362k| 489 | - |1551 |3043 | 0 | 0 | 0 | 671 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
183.94/184.05 c 176s|440000 | 382 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 | 674 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
188.74/188.85 c 180s|450000 | 385 | 0 | 0.0 |6365k| 489 | - |1551 |3043 | 0 | 0 | 0 | 689 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
193.45/193.57 c 185s|460000 | 384 | 0 | 0.0 |6365k| 489 | - |1551 |3043 | 0 | 0 | 0 | 703 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
198.34/198.46 c 189s|470000 | 384 | 0 | 0.0 |6364k| 489 | - |1551 |3043 | 0 | 0 | 0 | 749 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
203.04/203.19 c 194s|480000 | 380 | 0 | 0.0 |6363k| 489 | - |1551 |3043 | 0 | 0 | 0 | 770 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
207.74/207.82 c 198s|490000 | 383 | 0 | 0.0 |6364k| 489 | - |1551 |3043 | 0 | 0 | 0 | 782 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
212.14/212.26 c 203s|500000 | 381 | 0 | 0.0 |6364k| 489 | - |1551 |3043 | 0 | 0 | 0 | 793 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
216.94/217.01 c 207s|510000 | 383 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 | 803 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
221.43/221.50 c 211s|520000 | 384 | 0 | 0.0 |6365k| 489 | - |1551 |3043 | 0 | 0 | 0 | 824 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
226.23/226.37 c 216s|530000 | 385 | 0 | 0.0 |6364k| 489 | - |1551 |3043 | 0 | 0 | 0 | 848 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
230.84/231.00 c 220s|540000 | 386 | 0 | 0.0 |6365k| 489 | - |1551 |3043 | 0 | 0 | 0 | 861 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
235.83/235.99 c 225s|550000 | 385 | 0 | 0.0 |6365k| 489 | - |1551 |3043 | 0 | 0 | 0 | 878 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
240.93/241.03 c 230s|560000 | 383 | 0 | 0.0 |6364k| 489 | - |1551 |3043 | 0 | 0 | 0 | 897 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
245.83/245.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
245.83/245.92 c 235s|570000 | 386 | 0 | 0.0 |6365k| 489 | - |1551 |3043 | 0 | 0 | 0 | 927 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
250.52/250.60 c 239s|580000 | 383 | 0 | 0.0 |6365k| 489 | - |1551 |3043 | 0 | 0 | 0 | 965 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
255.42/255.53 c 244s|590000 | 381 | 0 | 0.0 |6365k| 489 | - |1551 |3043 | 0 | 0 | 0 |1141 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
260.13/260.25 c 248s|600000 | 382 | 0 | 0.0 |6364k| 489 | - |1551 |3043 | 0 | 0 | 0 |1172 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
264.72/264.86 c 253s|610000 | 384 | 0 | 0.0 |6365k| 489 | - |1551 |3043 | 0 | 0 | 0 |1183 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
268.42/268.55 c 256s|620000 | 380 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1183 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
272.12/272.24 c 260s|630000 | 382 | 0 | 0.0 |6364k| 489 | - |1551 |3043 | 0 | 0 | 0 |1183 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
275.82/275.91 c 263s|640000 | 380 | 0 | 0.0 |6364k| 489 | - |1551 |3043 | 0 | 0 | 0 |1183 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
279.42/279.58 c 267s|650000 | 380 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1183 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
283.12/283.24 c 270s|660000 | 382 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1183 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
286.82/286.93 c 274s|670000 | 380 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1183 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
290.52/290.61 c 277s|680000 | 380 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1183 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
294.22/294.30 c 281s|690000 | 382 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1183 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
297.82/297.97 c 284s|700000 | 382 | 0 | 0.0 |6364k| 489 | - |1551 |3043 | 0 | 0 | 0 |1183 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
301.62/301.72 c 288s|710000 | 380 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1183 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
305.31/305.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
305.31/305.40 c 291s|720000 | 380 | 0 | 0.0 |6365k| 489 | - |1551 |3043 | 0 | 0 | 0 |1183 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
308.91/309.08 c 295s|730000 | 380 | 0 | 0.0 |6365k| 489 | - |1551 |3043 | 0 | 0 | 0 |1183 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
312.62/312.75 c 298s|740000 | 378 | 0 | 0.0 |6364k| 489 | - |1551 |3043 | 0 | 0 | 0 |1183 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
316.31/316.43 c 302s|750000 | 380 | 0 | 0.0 |6364k| 489 | - |1551 |3043 | 0 | 0 | 0 |1183 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
320.02/320.12 c 306s|760000 | 382 | 0 | 0.0 |6364k| 489 | - |1551 |3043 | 0 | 0 | 0 |1183 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
323.81/323.97 c 309s|770000 | 386 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1183 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
328.11/328.24 c 313s|780000 | 386 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1183 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
332.31/332.48 c 317s|790000 | 386 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1183 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
336.60/336.77 c 321s|800000 | 384 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1183 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
340.91/341.03 c 325s|810000 | 384 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1183 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
345.31/345.46 c 330s|820000 | 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1186 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
349.81/349.94 c 334s|830000 | 384 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1189 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
354.30/354.42 c 338s|840000 | 380 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1194 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
358.60/358.77 c 342s|850000 | 386 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1196 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
362.70/362.89 c 346s|860000 | 380 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1196 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
366.80/366.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
366.80/366.97 c 350s|870000 | 386 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1201 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
371.50/371.61 c 355s|880000 | 384 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1203 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
376.40/376.54 c 359s|890000 | 382 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1203 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
381.29/381.46 c 364s|900000 | 384 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1203 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
386.29/386.44 c 369s|910000 | 384 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1205 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
391.19/391.39 c 374s|920000 | 382 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1205 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
395.29/395.44 c 377s|930000 | 387 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1206 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
399.29/399.47 c 381s|940000 | 381 | 0 | 0.0 |6371k| 489 | - |1551 |3043 | 0 | 0 | 0 |1206 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
403.60/403.75 c 385s|950000 | 381 | 0 | 0.0 |6370k| 489 | - |1551 |3043 | 0 | 0 | 0 |1206 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
407.90/408.05 c 389s|960000 | 379 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1206 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
412.19/412.35 c 394s|970000 | 383 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1206 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
416.70/416.80 c 398s|980000 | 382 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1209 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
421.28/421.48 c 402s|990000 | 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1210 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
425.88/426.07 c 407s| 1000k| 382 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1219 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
430.38/430.57 c 411s| 1010k| 381 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1224 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
434.89/435.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
434.89/435.08 c 415s| 1020k| 382 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1235 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
439.49/439.66 c 420s| 1030k| 379 | 0 | 0.0 |6365k| 489 | - |1551 |3043 | 0 | 0 | 0 |1237 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
443.98/444.15 c 424s| 1040k| 381 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1245 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
448.48/448.69 c 428s| 1050k| 383 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1258 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
452.99/453.10 c 432s| 1060k| 379 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1277 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
457.49/457.69 c 437s| 1070k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1293 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
461.98/462.13 c 441s| 1080k| 380 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1308 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
466.68/466.88 c 446s| 1090k| 385 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1320 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
471.07/471.26 c 450s| 1100k| 383 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1325 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
475.58/475.70 c 454s| 1110k| 386 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1330 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
479.98/480.16 c 458s| 1120k| 384 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1336 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
484.47/484.64 c 463s| 1130k| 381 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1338 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
488.87/489.07 c 467s| 1140k| 380 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1340 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
493.37/493.59 c 471s| 1150k| 383 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1348 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
498.18/498.32 c 476s| 1160k| 382 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1361 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
502.77/502.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
502.77/502.93 c 480s| 1170k| 382 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1375 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
507.36/507.55 c 485s| 1180k| 378 | 0 | 0.0 |6371k| 489 | - |1551 |3043 | 0 | 0 | 0 |1390 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
512.07/512.27 c 489s| 1190k| 381 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1412 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
516.36/516.55 c 493s| 1200k| 384 | 0 | 0.0 |6370k| 489 | - |1551 |3043 | 0 | 0 | 0 |1432 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
520.17/520.33 c 497s| 1210k| 382 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1432 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
524.06/524.25 c 500s| 1220k| 386 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1434 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
528.36/528.59 c 505s| 1230k| 382 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1434 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
533.56/533.76 c 510s| 1240k| 382 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1434 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
538.77/538.92 c 514s| 1250k| 382 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1434 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
543.86/544.08 c 519s| 1260k| 380 | 0 | 0.0 |6370k| 489 | - |1551 |3043 | 0 | 0 | 0 |1434 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
549.05/549.23 c 524s| 1270k| 380 | 0 | 0.0 |6370k| 489 | - |1551 |3043 | 0 | 0 | 0 |1434 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
554.16/554.39 c 529s| 1280k| 382 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1434 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
559.36/559.55 c 534s| 1290k| 380 | 0 | 0.0 |6370k| 489 | - |1551 |3043 | 0 | 0 | 0 |1434 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
564.06/564.23 c 539s| 1300k| 384 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1434 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
568.65/568.88 c 543s| 1310k| 383 | 0 | 0.0 |6371k| 489 | - |1551 |3043 | 0 | 0 | 0 |1437 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
573.55/573.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.55/573.78 c 548s| 1320k| 381 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1440 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
578.15/578.34 c 552s| 1330k| 383 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1441 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
583.15/583.32 c 557s| 1340k| 380 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1454 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
587.95/588.18 c 562s| 1350k| 385 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1474 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
592.84/593.06 c 566s| 1360k| 382 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1502 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
597.75/597.98 c 571s| 1370k| 382 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1527 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
602.65/602.87 c 576s| 1380k| 382 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1562 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
607.34/607.56 c 580s| 1390k| 380 | 0 | 0.0 |6371k| 489 | - |1551 |3043 | 0 | 0 | 0 |1587 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
612.55/612.73 c 585s| 1400k| 381 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1588 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
617.24/617.46 c 590s| 1410k| 381 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1588 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
622.24/622.40 c 594s| 1420k| 384 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1592 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
627.04/627.26 c 599s| 1430k| 383 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1622 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
631.94/632.16 c 604s| 1440k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1640 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
636.84/637.04 c 608s| 1450k| 380 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1662 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
641.33/641.55 c 613s| 1460k| 382 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1684 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
645.83/646.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
645.83/646.09 c 617s| 1470k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1705 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
651.04/651.22 c 622s| 1480k| 377 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1705 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
656.23/656.44 c 627s| 1490k| 377 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1705 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
661.43/661.65 c 632s| 1500k| 377 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1705 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
666.34/666.57 c 636s| 1510k| 381 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1705 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
670.93/671.13 c 641s| 1520k| 383 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1705 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
675.42/675.73 c 645s| 1530k| 381 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1705 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
679.93/680.30 c 649s| 1540k| 383 | 0 | 0.0 |6371k| 489 | - |1551 |3043 | 0 | 0 | 0 |1705 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
684.38/684.88 c 654s| 1550k| 383 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1705 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
688.96/689.60 c 658s| 1560k| 383 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1705 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
693.87/694.50 c 663s| 1570k| 382 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1708 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
698.55/699.37 c 667s| 1580k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1709 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
703.57/704.60 c 672s| 1590k| 380 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1720 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
708.44/709.62 c 677s| 1600k| 378 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1735 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
713.24/714.58 c 681s| 1610k| 379 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1762 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
718.14/719.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
718.14/719.52 c 686s| 1620k| 383 | 0 | 0.0 |6371k| 489 | - |1551 |3043 | 0 | 0 | 0 |1773 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
722.90/724.40 c 690s| 1630k| 383 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1801 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
727.61/729.32 c 695s| 1640k| 378 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1823 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
732.48/734.36 c 700s| 1650k| 380 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1827 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
737.67/739.69 c 705s| 1660k| 376 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1827 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
742.40/744.51 c 709s| 1670k| 382 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1827 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
747.02/749.45 c 713s| 1680k| 380 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1827 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
751.63/754.14 c 718s| 1690k| 374 | 0 | 0.0 |6366k| 489 | - |1551 |3043 | 0 | 0 | 0 |1827 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
756.14/758.78 c 722s| 1700k| 382 | 0 | 0.0 |6371k| 489 | - |1551 |3043 | 0 | 0 | 0 |1828 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
761.03/763.84 c 727s| 1710k| 381 | 0 | 0.0 |6371k| 489 | - |1551 |3043 | 0 | 0 | 0 |1830 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
765.74/768.62 c 731s| 1720k| 383 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1830 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
769.62/772.76 c 735s| 1730k| 385 | 0 | 0.0 |6372k| 489 | - |1551 |3043 | 0 | 0 | 0 |1830 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
773.94/777.44 c 739s| 1740k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1830 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
778.21/781.82 c 743s| 1750k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1831 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
782.43/786.30 c 747s| 1760k| 381 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1837 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
786.66/790.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
786.66/790.59 c 751s| 1770k| 386 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1838 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
790.86/794.87 c 755s| 1780k| 384 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1839 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
795.61/799.76 c 760s| 1790k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1843 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
800.21/804.52 c 764s| 1800k| 381 | 0 | 0.0 |6372k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
804.66/809.11 c 768s| 1810k| 383 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
808.77/813.38 c 772s| 1820k| 383 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
813.01/817.74 c 776s| 1830k| 379 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
817.22/821.91 c 780s| 1840k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
821.32/826.10 c 784s| 1850k| 383 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
825.51/830.29 c 788s| 1860k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
829.71/834.46 c 792s| 1870k| 381 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
833.90/838.65 c 796s| 1880k| 381 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
838.10/842.81 c 800s| 1890k| 377 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
842.21/846.97 c 804s| 1900k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
846.41/851.12 c 808s| 1910k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
850.61/855.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
850.61/855.31 c 812s| 1920k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
854.81/859.52 c 816s| 1930k| 383 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
859.00/863.70 c 820s| 1940k| 383 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
863.11/867.89 c 824s| 1950k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
867.30/872.08 c 828s| 1960k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
871.50/876.26 c 832s| 1970k| 377 | 0 | 0.0 |6371k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
875.70/880.49 c 836s| 1980k| 383 | 0 | 0.0 |6370k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
879.90/884.68 c 840s| 1990k| 379 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
884.10/888.89 c 844s| 2000k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
888.41/893.11 c 848s| 2010k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
892.60/897.33 c 852s| 2020k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
896.79/901.53 c 856s| 2030k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
901.00/905.75 c 860s| 2040k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
905.20/909.98 c 864s| 2050k| 377 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
909.49/914.24 c 868s| 2060k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
913.70/918.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
913.70/918.43 c 872s| 2070k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
917.89/922.63 c 876s| 2080k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
922.09/926.85 c 880s| 2090k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
926.28/931.08 c 884s| 2100k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
930.48/935.29 c 888s| 2110k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
934.69/939.49 c 892s| 2120k| 383 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
938.89/943.69 c 896s| 2130k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
943.18/947.92 c 900s| 2140k| 379 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
947.38/952.16 c 905s| 2150k| 383 | 0 | 0.0 |6370k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
951.58/956.38 c 909s| 2160k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
955.78/960.58 c 913s| 2170k| 381 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
960.08/964.80 c 917s| 2180k| 377 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
964.29/969.02 c 921s| 2190k| 379 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
968.48/973.25 c 925s| 2200k| 379 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
972.68/977.49 c 929s| 2210k| 377 | 0 | 0.0 |6370k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
976.98/981.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
976.98/981.76 c 933s| 2220k| 377 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
981.27/986.01 c 937s| 2230k| 379 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
985.47/990.23 c 941s| 2240k| 381 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
989.68/994.45 c 945s| 2250k| 381 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
993.88/998.68 c 949s| 2260k| 377 | 0 | 0.0 |6371k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
998.17/1002.91 c 953s| 2270k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1002.37/1007.15 c 957s| 2280k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1006.67/1011.43 c 961s| 2290k| 379 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1010.87/1015.69 c 965s| 2300k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1015.16/1019.94 c 969s| 2310k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1019.37/1024.19 c 973s| 2320k| 381 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1023.67/1028.40 c 977s| 2330k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1027.86/1032.64 c 981s| 2340k| 381 | 0 | 0.0 |6371k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1032.06/1036.89 c 985s| 2350k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1036.36/1041.12 c 989s| 2360k| 379 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1040.57/1045.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1040.57/1045.36 c 993s| 2370k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1044.76/1049.57 c 997s| 2380k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1049.06/1053.84 c 1002s| 2390k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1053.26/1058.09 c 1006s| 2400k| 377 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1057.55/1062.36 c 1010s| 2410k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1061.85/1066.64 c 1014s| 2420k| 379 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1066.16/1070.93 c 1018s| 2430k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1070.46/1075.26 c 1022s| 2440k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1074.85/1079.61 c 1026s| 2450k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1079.15/1083.91 c 1030s| 2460k| 383 | 0 | 0.0 |6370k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1083.45/1088.26 c 1034s| 2470k| 383 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1087.85/1092.61 c 1039s| 2480k| 383 | 0 | 0.0 |6371k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1092.15/1096.95 c 1043s| 2490k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1096.45/1101.25 c 1047s| 2500k| 381 | 0 | 0.0 |6370k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1100.85/1105.62 c 1051s| 2510k| 379 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1105.15/1109.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1105.15/1109.99 c 1055s| 2520k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1109.45/1114.30 c 1059s| 2530k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1113.86/1118.66 c 1063s| 2540k| 379 | 0 | 0.0 |6370k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1118.25/1123.02 c 1068s| 2550k| 379 | 0 | 0.0 |6373k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1122.55/1127.34 c 1072s| 2560k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1126.84/1131.68 c 1076s| 2570k| 377 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1131.24/1136.02 c 1080s| 2580k| 381 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1135.54/1140.39 c 1084s| 2590k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1139.93/1144.70 c 1088s| 2600k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1144.24/1149.01 c 1092s| 2610k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1148.53/1153.33 c 1097s| 2620k| 383 | 0 | 0.0 |6370k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1152.84/1157.62 c 1101s| 2630k| 383 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1157.14/1161.91 c 1105s| 2640k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1161.44/1166.24 c 1109s| 2650k| 379 | 0 | 0.0 |6370k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1165.73/1170.59 c 1113s| 2660k| 377 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1170.03/1174.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1170.03/1174.89 c 1117s| 2670k| 379 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1174.34/1179.18 c 1121s| 2680k| 381 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1178.62/1183.49 c 1125s| 2690k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1183.03/1187.86 c 1130s| 2700k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1187.32/1192.16 c 1134s| 2710k| 379 | 0 | 0.0 |6372k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1191.72/1196.51 c 1138s| 2720k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1196.02/1200.88 c 1142s| 2730k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1200.42/1205.23 c 1146s| 2740k| 375 | 0 | 0.0 |6372k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1204.72/1209.60 c 1150s| 2750k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1209.13/1213.92 c 1154s| 2760k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1213.42/1218.23 c 1159s| 2770k| 383 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1217.72/1222.58 c 1163s| 2780k| 379 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1222.02/1226.89 c 1167s| 2790k| 377 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1226.42/1231.21 c 1171s| 2800k| 381 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1230.71/1235.51 c 1175s| 2810k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1235.02/1239.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1235.02/1239.84 c 1179s| 2820k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1239.32/1244.11 c 1183s| 2830k| 377 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1243.62/1248.46 c 1187s| 2840k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1248.02/1252.81 c 1192s| 2850k| 379 | 0 | 0.0 |6370k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1252.31/1257.17 c 1196s| 2860k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1256.61/1261.48 c 1200s| 2870k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1261.01/1265.84 c 1204s| 2880k| 381 | 0 | 0.0 |6372k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1265.31/1270.19 c 1208s| 2890k| 379 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1269.80/1274.61 c 1212s| 2900k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1274.11/1278.96 c 1216s| 2910k| 377 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1278.51/1283.37 c 1221s| 2920k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1282.90/1287.74 c 1225s| 2930k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1287.21/1292.04 c 1229s| 2940k| 377 | 0 | 0.0 |6372k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1291.50/1296.36 c 1233s| 2950k| 379 | 0 | 0.0 |6371k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1295.80/1300.69 c 1237s| 2960k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1300.20/1305.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1300.20/1305.07 c 1241s| 2970k| 379 | 0 | 0.0 |6371k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1304.60/1309.41 c 1246s| 2980k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1309.00/1313.81 c 1250s| 2990k| 377 | 0 | 0.0 |6371k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1313.30/1318.17 c 1254s| 3000k| 379 | 0 | 0.0 |6370k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1317.70/1322.54 c 1258s| 3010k| 379 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1322.00/1326.86 c 1262s| 3020k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1326.40/1331.23 c 1266s| 3030k| 379 | 0 | 0.0 |6373k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1330.70/1335.58 c 1271s| 3040k| 379 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1335.09/1339.93 c 1275s| 3050k| 379 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1339.40/1344.27 c 1279s| 3060k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1343.80/1348.65 c 1283s| 3070k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1348.10/1353.00 c 1287s| 3080k| 377 | 0 | 0.0 |6371k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1352.49/1357.38 c 1291s| 3090k| 377 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1356.90/1361.72 c 1296s| 3100k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1361.19/1366.00 c 1300s| 3110k| 381 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1365.49/1370.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1365.49/1370.32 c 1304s| 3120k| 383 | 0 | 0.0 |6373k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1369.78/1374.64 c 1308s| 3130k| 381 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1374.08/1378.96 c 1312s| 3140k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1378.49/1383.32 c 1316s| 3150k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1382.78/1387.64 c 1320s| 3160k| 377 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1387.08/1391.93 c 1324s| 3170k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1391.38/1396.26 c 1329s| 3180k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1395.68/1400.58 c 1333s| 3190k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1400.08/1404.91 c 1337s| 3200k| 379 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1404.38/1409.24 c 1341s| 3210k| 381 | 0 | 0.0 |6370k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1408.68/1413.59 c 1345s| 3220k| 381 | 0 | 0.0 |6372k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1413.08/1417.98 c 1349s| 3230k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1417.49/1422.33 c 1354s| 3240k| 377 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1421.78/1426.69 c 1358s| 3250k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1426.07/1430.99 c 1362s| 3260k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1430.47/1435.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.47/1435.32 c 1366s| 3270k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1434.77/1439.63 c 1370s| 3280k| 379 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1439.07/1443.96 c 1374s| 3290k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1443.37/1448.28 c 1378s| 3300k| 377 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1447.77/1452.62 c 1382s| 3310k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1452.07/1456.93 c 1387s| 3320k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1456.36/1461.27 c 1391s| 3330k| 381 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1460.66/1465.59 c 1395s| 3340k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1465.06/1469.93 c 1399s| 3350k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1469.46/1474.32 c 1403s| 3360k| 379 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1473.76/1478.68 c 1407s| 3370k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1478.16/1483.02 c 1412s| 3380k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1482.46/1487.35 c 1416s| 3390k| 375 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1486.77/1491.67 c 1420s| 3400k| 379 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1491.17/1496.02 c 1424s| 3410k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1495.56/1500.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.56/1500.41 c 1428s| 3420k| 379 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1499.87/1504.79 c 1432s| 3430k| 377 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1504.26/1509.12 c 1436s| 3440k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1508.55/1513.43 c 1441s| 3450k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1512.85/1517.77 c 1445s| 3460k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1517.15/1522.09 c 1449s| 3470k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1521.55/1526.41 c 1453s| 3480k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1525.85/1530.77 c 1457s| 3490k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1530.24/1535.11 c 1461s| 3500k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1534.55/1539.47 c 1465s| 3510k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1538.84/1543.80 c 1470s| 3520k| 385 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1543.24/1548.13 c 1474s| 3530k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1547.54/1552.47 c 1478s| 3540k| 377 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1551.95/1556.81 c 1482s| 3550k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1556.24/1561.15 c 1486s| 3560k| 377 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1560.54/1565.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1560.54/1565.50 c 1490s| 3570k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1564.94/1569.88 c 1494s| 3580k| 375 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1569.34/1574.27 c 1499s| 3590k| 377 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1573.74/1578.64 c 1503s| 3600k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1578.04/1582.95 c 1507s| 3610k| 383 | 0 | 0.0 |6370k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1582.35/1587.29 c 1511s| 3620k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1586.74/1591.64 c 1515s| 3630k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1591.03/1595.99 c 1519s| 3640k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1595.43/1600.31 c 1523s| 3650k| 379 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1599.73/1604.65 c 1528s| 3660k| 379 | 0 | 0.0 |6372k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1604.13/1609.00 c 1532s| 3670k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1608.43/1613.31 c 1536s| 3680k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1612.73/1617.69 c 1540s| 3690k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1617.13/1622.05 c 1544s| 3700k| 379 | 0 | 0.0 |6370k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1621.52/1626.40 c 1548s| 3710k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1625.83/1630.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1625.83/1630.79 c 1553s| 3720k| 377 | 0 | 0.0 |6367k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1630.22/1635.17 c 1557s| 3730k| 377 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1634.62/1639.54 c 1561s| 3740k| 377 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1639.03/1643.91 c 1565s| 3750k| 377 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1643.32/1648.23 c 1569s| 3760k| 377 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1647.62/1652.56 c 1573s| 3770k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1652.02/1656.93 c 1578s| 3780k| 381 | 0 | 0.0 |6370k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1656.42/1661.33 c 1582s| 3790k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1660.72/1665.64 c 1586s| 3800k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1665.01/1669.94 c 1590s| 3810k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1669.32/1674.22 c 1594s| 3820k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1673.51/1678.49 c 1598s| 3830k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1677.81/1682.75 c 1602s| 3840k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1682.11/1687.04 c 1606s| 3850k| 383 | 0 | 0.0 |6371k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1686.41/1691.36 c 1610s| 3860k| 379 | 0 | 0.0 |6371k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1690.71/1695.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1690.71/1695.67 c 1615s| 3870k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1695.01/1699.99 c 1619s| 3880k| 379 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1699.30/1704.28 c 1623s| 3890k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1703.60/1708.58 c 1627s| 3900k| 379 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1707.91/1712.89 c 1631s| 3910k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1712.21/1717.18 c 1635s| 3920k| 379 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1716.51/1721.49 c 1639s| 3930k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1720.91/1725.85 c 1643s| 3940k| 381 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1725.20/1730.14 c 1647s| 3950k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1729.50/1734.41 c 1652s| 3960k| 381 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1733.80/1738.71 c 1656s| 3970k| 383 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1738.10/1743.01 c 1660s| 3980k| 379 | 0 | 0.0 |6371k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1742.30/1747.29 c 1664s| 3990k| 383 | 0 | 0.0 |6370k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1746.60/1751.59 c 1668s| 4000k| 381 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1750.99/1755.91 c 1672s| 4010k| 381 | 0 | 0.0 |6372k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1755.30/1760.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1755.30/1760.22 c 1676s| 4020k| 379 | 0 | 0.0 |6370k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1759.60/1764.54 c 1680s| 4030k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1763.90/1768.82 c 1684s| 4040k| 381 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1768.09/1773.09 c 1688s| 4050k| 381 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1772.39/1777.38 c 1693s| 4060k| 379 | 0 | 0.0 |6373k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1776.69/1781.68 c 1697s| 4070k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1781.09/1786.01 c 1701s| 4080k| 379 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1785.39/1790.30 c 1705s| 4090k| 379 | 0 | 0.0 |6370k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1789.68/1794.62 c 1709s| 4100k| 379 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1793.99/1798.91 c 1713s| 4110k| 377 | 0 | 0.0 |6368k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1798.29/1803.21 c 1717s| 4120k| 381 | 0 | 0.0 |6369k| 489 | - |1551 |3043 | 0 | 0 | 0 |1845 | 0 | 2.030000e+02 | 1.263000e+03 | 522.17%
1800.10/1805.01 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1805.01 c
1800.10/1805.01 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1805.01 c Solving Time (sec) : 1718.96
1800.10/1805.01 c Solving Nodes : 4124175
1800.10/1805.01 c Primal Bound : +1.26300000000000e+03 (5 solutions)
1800.10/1805.01 c Dual Bound : +2.03000000000000e+02
1800.10/1805.01 c Gap : 522.17 %
1800.10/1805.02 s SATISFIABLE
1800.10/1805.02 v x1965 -x1964 x1963 x1962 x1961 x1960 x1959 x1958 x1957 -x1956 x1955 -x1954 -x1953 x1952 x1951 x1950 x1949 x1948 x1947 x1946 -x1945
1800.10/1805.02 v x1944 x1943 x1942 -x1941 x1940 x1939 x1938 x1937 x1936 -x1935 x1934 -x1933 x1932 x1931 -x1930 -x1929 x1928 x1927 x1926 -x1925
1800.10/1805.02 v -x1924 -x1923 -x1922 -x1921 x1920 x1919 -x1918 -x1917 x1916 x1915 -x1914 -x1913 -x1912 x1911 x1910 -x1909 x1908 -x1907 x1906
1800.10/1805.02 v -x1905 -x1904 -x1903 x1902 x1901 x1900 x1899 x1898 x1897 x1896 -x1895 x1894 x1893 x1892 x1891 -x1890 x1889 x1888 x1887 x1886
1800.10/1805.02 v x1885 -x1884 x1883 x1882 x1881 -x1880 x1879 x1878 x1877 -x1876 x1875 x1874 x1873 x1872 x1871 x1870 x1869 x1868 x1867 x1866
1800.10/1805.02 v x1865 x1864 x1863 x1862 x1861 -x1860 -x1859 x1858 x1857 x1856 x1855 -x1854 -x1853 -x1852 x1851 x1850 x1849 -x1848 -x1847 -x1846
1800.10/1805.02 v x1845 -x1844 x1843 x1842 x1841 x1840 x1839 -x1838 -x1837 x1836 x1835 x1834 -x1833 -x1832 -x1831 x1830 -x1829 -x1828 x1827
1800.10/1805.02 v -x1826 -x1825 x1824 x1823 x1822 x1821 -x1820 x1819 x1818 x1817 x1816 x1815 x1814 -x1813 x1812 x1811 -x1810 x1809 -x1808 -x1807
1800.10/1805.02 v x1806 x1805 x1804 x1803 x1802 x1801 x1800 -x1799 -x1798 x1797 x1796 -x1795 x1794 x1793 x1792 x1791 x1790 -x1789 x1788 -x1787
1800.10/1805.02 v -x1786 -x1785 x1784 x1783 x1782 x1781 x1780 x1779 x1778 -x1777 x1776 x1775 -x1774 x1773 -x1772 -x1771 -x1770 -x1769 x1768
1800.10/1805.02 v -x1767 -x1766 -x1765 x1764 x1763 -x1762 x1761 x1760 x1759 x1758 -x1757 -x1756 x1755 x1754 x1753 x1752 -x1751 -x1750 x1749 -x1748
1800.10/1805.02 v x1747 x1746 -x1745 -x1744 x1743 -x1742 -x1741 -x1740 x1739 -x1738 -x1737 -x1736 x1735 x1734 x1733 x1732 -x1731 x1730 x1729
1800.10/1805.02 v x1728 x1727 -x1726 x1725 x1724 -x1723 x1722 -x1721 x1720 x1719 x1718 x1717 -x1716 -x1715 x1714 -x1713 x1712 x1711 x1710 x1709
1800.10/1805.02 v x1708 x1707 x1706 x1705 -x1704 -x1703 -x1702 x1701 x1700 x1699 x1698 -x1697 -x1696 -x1695 x1694 x1693 x1692 x1691 -x1690
1800.10/1805.02 v x1689 x1688 x1687 -x1686 x1685 x1684 -x1683 x1682 -x1681 -x1680 x1679 x1678 x1677 x1676 -x1675 -x1674 x1673 x1672 -x1671 x1670
1800.10/1805.02 v x1669 x1668 x1667 -x1666 -x1665 x1664 x1663 x1662 x1661 x1660 x1659 x1658 -x1657 x1656 x1655 x1654 x1653 x1652 -x1651 x1650
1800.10/1805.02 v x1649 x1648 x1647 -x1646 -x1645 -x1644 x1643 -x1642 x1641 -x1640 x1639 x1638 x1637 x1636 -x1635 x1634 x1633 -x1632 x1631 x1630
1800.10/1805.02 v x1629 x1628 -x1627 -x1626 x1625 -x1624 x1623 x1622 x1621 -x1620 -x1619 x1618 -x1617 -x1616 x1615 -x1614 x1613 x1612 x1611
1800.10/1805.02 v -x1610 -x1609 x1608 x1607 x1606 x1605 x1604 -x1603 x1602 x1601 x1600 x1599 -x1598 -x1597 -x1596 -x1595 x1594 -x1593 x1592 x1591
1800.10/1805.02 v x1590 -x1589 x1588 x1587 -x1586 -x1585 -x1584 x1583 x1582 x1581 x1580 x1579 x1578 -x1577 -x1576 x1575 -x1574 -x1573 x1572
1800.10/1805.02 v x1571 x1570 -x1569 x1568 x1567 x1566 -x1565 x1564 -x1563 x1562 -x1561 x1560 x1559 x1558 x1557 -x1556 -x1555 -x1554 x1553 -x1552
1800.10/1805.02 v x1551 x1550 x1549 x1548 x1547 x1546 -x1545 -x1544 x1543 -x1542 -x1541 x1540 x1539 x1538 -x1537 -x1536 x1535 x1534 x1533 x1532
1800.10/1805.02 v x1531 x1530 -x1529 x1528 x1527 -x1526 -x1525 x1524 x1523 -x1522 x1521 -x1520 -x1519 x1518 x1517 x1516 x1515 x1514 x1513
1800.10/1805.02 v x1512 x1511 -x1510 x1509 x1508 -x1507 -x1506 x1505 x1504 -x1503 x1502 x1501 -x1500 -x1499 x1498 -x1497 x1496 x1495 x1494 x1493
1800.10/1805.02 v -x1492 x1491 x1490 -x1489 x1488 -x1487 x1486 x1485 x1484 -x1483 x1482 x1481 x1480 x1479 x1478 x1477 -x1476 x1475 -x1474 x1473
1800.10/1805.02 v x1472 x1471 -x1470 -x1469 x1468 x1467 x1466 -x1465 x1464 -x1463 x1462 x1461 -x1460 x1459 x1458 -x1457 -x1456 x1455 x1454 -x1453
1800.10/1805.02 v x1452 x1451 -x1450 x1449 x1448 x1447 -x1446 x1445 x1444 x1443 x1442 x1441 x1440 -x1439 -x1438 x1437 x1436 x1435 x1434 x1433
1800.10/1805.02 v x1432 -x1431 -x1430 -x1429 -x1428 -x1427 x1426 x1425 -x1424 x1423 -x1422 x1421 -x1420 x1419 -x1418 -x1417 x1416 x1415 -x1414
1800.10/1805.02 v x1413 -x1412 x1411 x1410 x1409 x1408 x1407 x1406 x1405 -x1404 -x1403 -x1402 -x1401 x1400 -x1399 x1398 -x1397 -x1396 -x1395
1800.10/1805.02 v x1394 x1393 x1392 x1391 x1390 -x1389 x1388 x1387 x1386 x1385 x1384 x1383 -x1382 -x1381 x1380 x1379 x1378 -x1377 x1376 x1375
1800.10/1805.02 v x1374 -x1373 x1372 x1371 -x1370 -x1369 x1368 -x1367 x1366 x1365 -x1364 x1363 -x1362 x1361 -x1360 -x1359 -x1358 -x1357 x1356
1800.10/1805.02 v x1355 x1354 x1353 x1352 -x1351 x1350 -x1349 -x1348 -x1347 x1346 x1345 x1344 x1343 -x1342 -x1341 x1340 x1339 -x1338 x1337 x1336
1800.10/1805.02 v x1335 x1334 -x1333 -x1332 x1331 x1330 x1329 x1328 -x1327 x1326 -x1325 x1324 x1323 x1322 -x1321 x1320 -x1319 x1318 -x1317 x1316
1800.10/1805.02 v x1315 -x1314 x1313 -x1312 x1311 x1310 x1309 x1308 -x1307 x1306 -x1305 -x1304 x1303 x1302 x1301 -x1300 x1299 x1298 x1297
1800.10/1805.02 v -x1296 x1295 x1294 -x1293 x1292 -x1291 x1290 x1289 -x1288 x1287 -x1286 x1285 -x1284 x1283 -x1282 -x1281 x1280 x1279 x1278 -x1277
1800.10/1805.02 v x1276 -x1275 -x1274 x1273 -x1272 -x1271 -x1270 -x1269 -x1268 x1267 x1266 -x1265 x1264 x1263 -x1262 -x1261 -x1260 -x1259 x1258
1800.10/1805.02 v x1257 x1256 -x1255 x1254 x1253 x1252 x1251 -x1250 -x1249 -x1248 x1247 x1246 x1245 x1244 -x1243 -x1242 x1241 x1240 x1239
1800.10/1805.02 v x1238 -x1237 x1236 x1235 x1234 x1233 x1232 x1231 x1230 x1229 x1228 -x1227 x1226 -x1225 x1224 x1223 -x1222 -x1221 x1220 x1219
1800.10/1805.02 v -x1218 x1217 x1216 -x1215 x1214 -x1213 x1212 x1211 -x1210 x1209 x1208 x1207 x1206 -x1205 x1204 x1203 -x1202 x1201 x1200 x1199
1800.10/1805.02 v x1198 x1197 -x1196 x1195 -x1194 -x1193 x1192 x1191 -x1190 x1189 -x1188 x1187 -x1186 x1185 -x1184 x1183 x1182 x1181 x1180 -x1179
1800.10/1805.02 v -x1178 -x1177 x1176 x1175 -x1174 -x1173 -x1172 -x1171 x1170 x1169 -x1168 x1167 x1166 x1165 x1164 -x1163 x1162 x1161 x1160
1800.10/1805.02 v x1159 -x1158 x1157 x1156 x1155 x1154 x1153 x1152 -x1151 -x1150 x1149 x1148 -x1147 x1146 x1145 x1144 x1143 x1142 x1141 x1140
1800.10/1805.02 v x1139 x1138 x1137 x1136 -x1135 x1134 x1133 -x1132 x1131 x1130 x1129 x1128 -x1127 -x1126 x1125 x1124 -x1123 -x1122 x1121 -x1120
1800.10/1805.02 v -x1119 x1118 x1117 -x1116 -x1115 -x1114 x1113 x1112 x1111 x1110 -x1109 x1108 x1107 x1106 x1105 x1104 -x1103 -x1102 -x1101 -x1100
1800.10/1805.02 v x1099 x1098 x1097 -x1096 x1095 -x1094 x1093 x1092 x1091 x1090 -x1089 x1088 x1087 x1086 x1085 -x1084 x1083 x1082 x1081 x1080
1800.10/1805.02 v -x1079 -x1078 x1077 x1076 x1075 -x1074 x1073 x1072 x1071 -x1070 -x1069 x1068 x1067 x1066 x1065 x1064 x1063 x1062 -x1061
1800.10/1805.02 v x1060 x1059 -x1058 x1057 x1056 -x1055 -x1054 x1053 -x1052 -x1051 -x1050 -x1049 x1048 -x1047 x1046 x1045 x1044 -x1043 x1042 x1041
1800.10/1805.02 v x1040 x1039 x1038 x1037 x1036 x1035 x1034 x1033 x1032 -x1031 x1030 x1029 x1028 x1027 -x1026 -x1025 -x1024 x1023 -x1022 -x1021
1800.10/1805.02 v x1020 x1019 -x1018 -x1017 x1016 x1015 x1014 x1013 -x1012 -x1011 x1010 x1009 x1008 x1007 x1006 x1005 x1004 x1003 x1002 -x1001
1800.10/1805.02 v x1000 x999 x998 x997 x996 x995 x994 -x993 x992 -x991 -x990 x989 x988 -x987 -x986 x985 -x984 x983 x982 -x981 x980 -x979 x978
1800.10/1805.02 v x977 x976 -x975 -x974 x973 x972 -x971 x970 -x969 x968 x967 -x966 x965 -x964 -x963 x962 x961 x960 x959 x958 -x957 x956 -x955
1800.10/1805.02 v x954 -x953 -x952 x951 x950 x949 -x948 -x947 x946 x945 x944 -x943 x942 -x941 -x940 x939 x938 -x937 -x936 x935 x934 x933 x932
1800.10/1805.02 v x931 -x930 x929 x928 -x927 x926 -x925 x924 x923 x922 -x921 x920 x919 -x918 x917 -x916 x915 x914 x913 -x912 -x911 -x910 x909
1800.10/1805.02 v x908 x907 x906 x905 -x904 -x903 x902 x901 x900 x899 x898 x897 -x896 x895 x894 x893 x892 x891 x890 -x889 x888 x887 -x886 x885
1800.10/1805.02 v x884 -x883 x882 -x881 -x880 x879 x878 -x877 x876 x875 x874 x873 -x872 x871 -x870 x869 x868 -x867 x866 x865 -x864 -x863 x862
1800.10/1805.02 v x861 -x860 x859 x858 x857 -x856 -x855 -x854 x853 x852 -x851 -x850 x849 -x848 x847 x846 x845 -x844 -x843 -x842 x841 x840 x839
1800.10/1805.02 v -x838 -x837 x836 x835 x834 x833 -x832 -x831 x830 x829 -x828 -x827 -x826 x825 x824 x823 x822 x821 x820 x819 -x818 x817 -x816 x815
1800.10/1805.02 v x814 x813 x812 -x811 x810 -x809 x808 x807 x806 -x805 x804 x803 x802 -x801 x800 x799 x798 x797 x796 -x795 -x794 x793 x792
1800.10/1805.02 v x791 x790 x789 x788 x787 x786 x785 -x784 -x783 x782 x781 -x780 x779 x778 -x777 x776 x775 -x774 -x773 x772 x771 x770 -x769 x768
1800.10/1805.02 v x767 x766 x765 x764 -x763 -x762 x761 x760 -x759 x758 -x757 x756 x755 x754 x753 x752 -x751 -x750 x749 -x748 -x747 -x746 x745
1800.10/1805.02 v x744 x743 -x742 -x741 -x740 -x739 x738 -x737 x736 x735 x734 -x733 x732 -x731 x730 x729 x728 x727 x726 x725 -x724 x723 x722 x721
1800.10/1805.02 v -x720 x719 x718 x717 x716 x715 -x714 -x713 -x712 -x711 -x710 x709 -x708 x707 -x706 x705 -x704 -x703 x702 -x701 -x700 x699
1800.10/1805.02 v x698 -x697 -x696 x695 -x694 x693 x692 x691 x690 x689 -x688 -x687 x686 x685 x684 -x683 -x682 x681 x680 x679 x678 x677 x676 x675
1800.10/1805.02 v -x674 -x673 -x672 x671 -x670 x669 -x668 x667 x666 -x665 -x664 x663 x662 -x661 x660 -x659 x658 -x657 x656 x655 x654 x653 -x652
1800.10/1805.02 v -x651 x650 -x649 -x648 -x647 x646 -x645 x644 x643 x642 -x641 x640 x639 x638 -x637 x636 x635 -x634 x633 -x632 -x631 x630 x629
1800.10/1805.02 v -x628 x627 x626 x625 x624 x623 x622 -x621 -x620 x619 x618 -x617 x616 x615 x614 -x613 x612 -x611 x610 -x609 -x608 x607 x606
1800.10/1805.02 v -x605 -x604 x603 x602 -x601 x600 -x599 x598 -x597 -x596 x595 x594 x593 x592 -x591 x590 x589 -x588 -x587 -x586 x585 x584 -x583
1800.10/1805.02 v x582 x581 x580 x579 -x578 x577 x576 x575 -x574 x573 -x572 x571 x570 x569 -x568 -x567 -x566 x565 x564 x563 -x562 x561 x560
1800.10/1805.02 v x559 x558 x557 -x556 x555 -x554 x553 x552 x551 -x550 x549 -x548 x547 -x546 -x545 x544 x543 x542 x541 x540 x539 x538 x537 -x536
1800.10/1805.02 v -x535 x534 x533 x532 x531 x530 -x529 -x528 -x527 x526 -x525 -x524 -x523 -x522 -x521 x520 -x519 x518 x517 x516 x515 -x514 x513
1800.10/1805.02 v x512 -x511 x510 x509 -x508 -x507 x506 -x505 -x504 x503 x502 x501 -x500 x499 x498 x497 x496 x495 x494 x493 x492 x491 x490 x489
1800.10/1805.02 v -x488 x487 -x486 x485 x484 x483 -x482 x481 x480 -x479 x478 x477 x476 -x475 x474 x473 x472 -x471 x470 -x469 x468 x467 -x466
1800.10/1805.02 v x465 x464 x463 x462 x461 x460 -x459 x458 x457 -x456 x455 x454 x453 -x452 x451 x450 x449 -x448 -x447 x446 -x445 x444 -x443 x442
1800.10/1805.02 v x441 x440 x439 -x438 x437 x436 x435 x434 x433 -x432 x431 -x430 -x429 x428 x427 -x426 x425 x424 x423 x422 x421 x420 x419 x418
1800.10/1805.02 v x417 -x416 x415 x414 x413 -x412 x411 x410 -x409 x408 x407 -x406 x405 x404 -x403 -x402 -x401 x400 x399 x398 x397 x396 x395
1800.10/1805.02 v x394 -x393 x392 x391 x390 -x389 x388 x387 -x386 x385 x384 -x383 x382 -x381 x380 -x379 x378 x377 x376 x375 x374 -x373 -x372 x371
1800.10/1805.02 v -x370 x369 x368 x367 x366 x365 x364 x363 x362 -x361 x360 -x359 -x358 x357 x356 -x355 x354 -x353 x352 x351 -x350 x349 -x348
1800.10/1805.02 v x347 x346 x345 x344 x343 x342 x341 -x340 x339 -x338 x337 -x336 x335 -x334 -x333 x332 x331 x330 -x329 x328 -x327 x326 x325 x324
1800.10/1805.02 v -x323 x322 x321 x320 x319 x318 x317 -x316 -x315 -x314 x313 x312 x311 x310 x309 x308 -x307 -x306 -x305 -x304 x303 x302 -x301
1800.10/1805.02 v x300 x299 -x298 x297 -x296 -x295 x294 x293 x292 -x291 x290 -x289 -x288 -x287 x286 x285 x284 x283 -x282 x281 x280 x279 x278
1800.10/1805.02 v x277 -x276 x275 x274 -x273 x272 x271 -x270 x269 x268 x267 -x266 x265 -x264 x263 x262 -x261 x260 -x259 x258 x257 x256 x255 x254
1800.10/1805.02 v x253 -x252 x251 -x250 x249 x248 x247 x246 x245 -x244 -x243 -x242 -x241 x240 x239 x238 x237 x236 x235 x234 x233 x232 x231 x230
1800.10/1805.02 v x229 x228 x227 -x226 x225 -x224 x223 -x222 -x221 -x220 -x219 x218 -x217 x216 x215 x214 -x213 x212 x211 -x210 x209 x208 -x207
1800.10/1805.02 v x206 -x205 -x204 -x203 x202 x201 x200 -x199 x198 -x197 x196 -x195 -x194 x193 x192 x191 x190 x189 x188 -x187 -x186 -x185 x184
1800.10/1805.02 v x183 -x182 -x181 x180 -x179 -x178 x177 -x176 x175 -x174 x173 x172 x171 x170 x169 x168 x167 -x166 -x165 x164 -x163 x162 x161
1800.10/1805.02 v -x160 -x159 -x158 -x157 -x156 x155 x154 x153 -x152 x151 x150 x149 x148 x147 x146 x145 x144 -x143 x142 -x141 x140 x139 x138
1800.10/1805.02 v x137 -x136 -x135 x134 -x133 x132 -x131 -x130 x129 x128 -x127 x126 -x125 x124 -x123 x122 x121 x120 x119 x118 x117 x116 x115 x114
1800.10/1805.02 v -x113 x112 x111 -x110 x109 x108 x107 x106 x105 -x104 -x103 x102 x101 x100 -x99 x98 x97 x96 -x95 x94 -x93 x92 x91 -x90 x89
1800.10/1805.02 v -x88 -x87 x86 -x85 x84 -x83 -x82 -x81 -x80 -x79 x78 x77 x76 x75 x74 -x73 -x72 -x71 -x70 x69 x68 -x67 x66 x65 x64 -x63 x62 -x61
1800.10/1805.02 v -x60 -x59 -x58 -x57 x56 x55 x54 -x53 -x52 x51 x50 x49 -x48 x47 -x46 -x45 x44 x43 -x42 x41 x40 x39 x38 -x37 x36 -x35 x34 x33
1800.10/1805.02 v x32 x31 x30 x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 x21 x20 -x19 -x18 x17 x16 x15 x14 x13 x12 x11 x10 x9 x8 -x7 x6 x5 -x4 x3
1800.10/1805.02 v -x2 -x1
1800.10/1805.02 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1805.02 c Solving Time : 1718.96
1800.10/1805.02 c Original Problem :
1800.10/1805.02 c Problem name : HOME/instance-2664178-1276395049.opb
1800.10/1805.02 c Variables : 1965 (1965 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1805.02 c Constraints : 4000 initial, 4000 maximal
1800.10/1805.02 c Presolved Problem :
1800.10/1805.02 c Problem name : t_HOME/instance-2664178-1276395049.opb
1800.10/1805.02 c Variables : 1551 (1551 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1805.02 c Constraints : 3043 initial, 3043 maximal
1800.10/1805.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1805.02 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1805.02 c dualfix : 0.00 195 0 0 0 0 0 0 0
1800.10/1805.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1805.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1805.02 c implics : 0.01 0 0 0 0 0 0 0 0
1800.10/1805.02 c probing : 0.01 0 0 0 0 0 0 0 0
1800.10/1805.02 c linear : 0.05 0 219 0 0 0 957 0 0
1800.10/1805.02 c logicor : 0.04 0 0 0 0 0 0 0 0
1800.10/1805.02 c root node : - 0 - - 0 - - - -
1800.10/1805.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1805.02 c integral : 0 0 0 0 0 0 0 0 0 0
1800.10/1805.02 c logicor : 3043+ 0 5679446 0 2 1845 4692611 0 0 0
1800.10/1805.02 c countsols : 0 0 0 0 2 0 0 0 0 0
1800.10/1805.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1805.02 c integral : 0.00 0.00 0.00 0.00 0.00
1800.10/1805.02 c logicor : 22.90 0.00 22.90 0.00 0.00
1800.10/1805.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1805.02 c Propagators : Time Calls Cutoffs DomReds
1800.10/1805.02 c vbounds : 6.13 2 0 0
1800.10/1805.02 c rootredcost : 6.24 0 0 0
1800.10/1805.02 c pseudoobj : 1410.86 14380216 2060377 57688457
1800.10/1805.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1805.02 c propagation : 3.04 1845 1845 1845 336.9 0 0.0 -
1800.10/1805.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1805.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1805.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1805.02 c pseudo solution : 0.02 10 0 0 0.0 0 0.0 -
1800.10/1805.02 c applied globally : - - - 0 0.0 - - -
1800.10/1805.02 c applied locally : - - - 1845 336.9 - - -
1800.10/1805.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1805.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.10/1805.02 c redcost : 0.00 0 0 0 0 0
1800.10/1805.02 c impliedbounds : 0.00 0 0 0 0 0
1800.10/1805.02 c intobj : 0.00 0 0 0 0 0
1800.10/1805.02 c cgmip : 0.00 0 0 0 0 0
1800.10/1805.02 c gomory : 0.00 0 0 0 0 0
1800.10/1805.02 c strongcg : 0.00 0 0 0 0 0
1800.10/1805.02 c cmir : 0.00 0 0 0 0 0
1800.10/1805.02 c flowcover : 0.00 0 0 0 0 0
1800.10/1805.02 c clique : 0.00 0 0 0 0 0
1800.10/1805.02 c zerohalf : 0.00 0 0 0 0 0
1800.10/1805.02 c mcf : 0.00 0 0 0 0 0
1800.10/1805.02 c rapidlearning : 0.00 0 0 0 0 0
1800.10/1805.02 c Pricers : Time Calls Vars
1800.10/1805.02 c problem variables: 0.00 0 0
1800.10/1805.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1805.02 c relpscost : 0.00 0 0 0 0 0 0
1800.10/1805.02 c pscost : 0.00 0 0 0 0 0 0
1800.10/1805.02 c inference : 64.13 2062656 0 0 0 0 4125312
1800.10/1805.02 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1805.02 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1805.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1805.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1805.02 c random : 0.00 0 0 0 0 0 0
1800.10/1805.02 c Primal Heuristics : Time Calls Found
1800.10/1805.02 c LP solutions : 0.00 - 0
1800.10/1805.02 c pseudo solutions : 0.00 - 2
1800.10/1805.02 c oneopt : 3.28 0 0
1800.10/1805.02 c trivial : 0.00 2 3
1800.10/1805.02 c simplerounding : 0.00 0 0
1800.10/1805.02 c zirounding : 0.00 0 0
1800.10/1805.02 c rounding : 0.00 0 0
1800.10/1805.02 c shifting : 0.00 0 0
1800.10/1805.02 c intshifting : 0.00 0 0
1800.10/1805.02 c twoopt : 0.00 0 0
1800.10/1805.02 c fixandinfer : 0.00 0 0
1800.10/1805.02 c feaspump : 0.00 0 0
1800.10/1805.02 c coefdiving : 0.00 0 0
1800.10/1805.02 c pscostdiving : 0.00 0 0
1800.10/1805.02 c fracdiving : 0.00 0 0
1800.10/1805.02 c veclendiving : 0.00 0 0
1800.10/1805.02 c intdiving : 0.00 0 0
1800.10/1805.02 c actconsdiving : 0.00 0 0
1800.10/1805.02 c objpscostdiving : 0.00 0 0
1800.10/1805.02 c rootsoldiving : 0.00 0 0
1800.10/1805.02 c linesearchdiving : 0.00 0 0
1800.10/1805.02 c guideddiving : 0.00 0 0
1800.10/1805.02 c octane : 0.00 0 0
1800.10/1805.02 c rens : 0.00 0 0
1800.10/1805.02 c rins : 0.00 0 0
1800.10/1805.02 c localbranching : 0.00 0 0
1800.10/1805.02 c mutation : 0.00 0 0
1800.10/1805.02 c crossover : 0.00 0 0
1800.10/1805.02 c dins : 0.00 0 0
1800.10/1805.02 c undercover : 0.00 0 0
1800.10/1805.02 c nlp : 1.97 0 0
1800.10/1805.02 c trysol : 2.12 0 0
1800.10/1805.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1805.02 c primal LP : 0.00 0 0 0.00 -
1800.10/1805.02 c dual LP : 0.00 0 0 0.00 -
1800.10/1805.02 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1805.02 c barrier LP : 0.00 0 0 0.00 -
1800.10/1805.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.10/1805.02 c strong branching : 0.00 0 0 0.00 -
1800.10/1805.02 c (at root node) : - 0 0 0.00 -
1800.10/1805.02 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1805.02 c B&B Tree :
1800.10/1805.02 c number of runs : 1
1800.10/1805.02 c nodes : 4124175
1800.10/1805.02 c nodes (total) : 4124175
1800.10/1805.02 c nodes left : 386
1800.10/1805.02 c max depth : 489
1800.10/1805.02 c max depth (total): 489
1800.10/1805.02 c backtracks : 936141 (22.7%)
1800.10/1805.02 c delayed cutoffs : 726
1800.10/1805.02 c repropagations : 882 (13696 domain reductions, 715 cutoffs)
1800.10/1805.02 c avg switch length: 2.00
1800.10/1805.02 c switching time : 71.33
1800.10/1805.02 c Solution :
1800.10/1805.02 c Solutions found : 5 (4 improvements)
1800.10/1805.02 c First Solution : +1.96500000000000e+03 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.10/1805.02 c Primal Bound : +1.26300000000000e+03 (in run 1, after 17066 nodes, 7.45 seconds, depth 409, found by <relaxation>)
1800.10/1805.02 c Dual Bound : +2.03000000000000e+02
1800.10/1805.02 c Gap : 522.17 %
1800.10/1805.02 c Root Dual Bound : +2.02000000000000e+02
1800.10/1805.02 c Root Iterations : 0
1800.10/1805.04 c Time complete: 1800.12.