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-2664055-1276389314.opb>
0.00/0.08 c original problem has 1963 variables (1963 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.00/0.08 c problem read
0.00/0.08 c presolving settings loaded
0.07/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 1963
0.09/0.10 c feasible solution found by trivial heuristic, objective value 1.963000e+03
0.09/0.10 c presolving:
0.09/0.13 c (round 1) 161 del vars, 161 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.14 c (round 2) 321 del vars, 730 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.14 c (round 3) 366 del vars, 838 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.15 c (round 4) 404 del vars, 954 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.15 c (round 5) 424 del vars, 1000 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.16 c (round 6) 435 del vars, 1032 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.17 c (round 7) 439 del vars, 1045 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.19/0.21 c (round 8) 439 del vars, 1046 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2954 upgd conss, 7998 impls, 0 clqs
0.19/0.25 c (0.1s) probing: 101/1524 (6.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.25 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.25 c presolving (9 rounds):
0.19/0.25 c 439 deleted vars, 1046 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.25 c 7998 implications, 0 cliques
0.19/0.25 c presolved problem has 1524 variables (1524 bin, 0 int, 0 impl, 0 cont) and 2954 constraints
0.19/0.25 c 2954 constraints of type <logicor>
0.19/0.25 c transformed objective value is always integral (scale: 1)
0.19/0.25 c Presolving Time: 0.12
0.19/0.25 c - non default parameters ----------------------------------------------------------------------
0.19/0.25 c # SCIP version 1.2.1.2
0.19/0.25 c
0.19/0.25 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.25 c conflict/interconss = 0
0.19/0.25 c
0.19/0.25 c # should binary conflicts be preferred?
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c conflict/preferbinary = TRUE
0.19/0.25 c
0.19/0.25 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.25 c constraints/agelimit = 1
0.19/0.25 c
0.19/0.25 c # should enforcement of pseudo solution be disabled?
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/disableenfops = TRUE
0.19/0.25 c
0.19/0.25 c # frequency for displaying node information lines
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.25 c display/freq = 10000
0.19/0.25 c
0.19/0.25 c # maximal time in seconds to run
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/time = 1799.93
0.19/0.25 c
0.19/0.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/memory = 1620
0.19/0.25 c
0.19/0.25 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.25 c lp/solvefreq = -1
0.19/0.25 c
0.19/0.25 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.19/0.25 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.25 c lp/pricing = a
0.19/0.25 c
0.19/0.25 c # should presolving try to simplify inequalities
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/linear/simplifyinequalities = TRUE
0.19/0.25 c
0.19/0.25 c # should presolving try to simplify knapsacks
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.25 c
0.19/0.25 c # priority of node selection rule <dfs> in standard mode
0.19/0.25 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.25 c nodeselection/dfs/stdpriority = 1000000
0.19/0.25 c
0.19/0.25 c -----------------------------------------------------------------------------------------------
0.19/0.25 c start solving
0.19/0.25 c
0.19/0.25 o 1741
0.19/0.25 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.25 c t 0.1s| 1 | 0 | 0 | - |5804k| 0 | - |1524 |2954 | 0 | 0 | 0 | 0 | 0 | -- | 1.741000e+03 | Inf
0.19/0.26 c 0.1s| 1 | 2 | 0 | - |5755k| 0 | - |1524 |2954 | 0 | 0 | 0 | 0 | 0 | 2.170000e+02 | 1.741000e+03 | 702.30%
0.29/0.38 o 1233
0.29/0.38 c * 0.3s| 509 | 446 | 0 | 0.0 |6192k| 508 | - |1524 |2954 | 0 | 0 | 0 | 0 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
3.89/3.97 c 3.7s| 10000 | 401 | 0 | 0.0 |6271k| 508 | - |1524 |2954 | 0 | 0 | 0 | 16 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
7.79/7.82 c 7.3s| 20000 | 398 | 0 | 0.0 |6274k| 508 | - |1524 |2954 | 0 | 0 | 0 | 24 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
11.69/11.76 c 11.1s| 30000 | 396 | 0 | 0.0 |6280k| 508 | - |1524 |2954 | 0 | 0 | 0 | 34 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
15.59/15.69 c 14.8s| 40000 | 398 | 0 | 0.0 |6277k| 508 | - |1524 |2954 | 0 | 0 | 0 | 45 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
19.59/19.61 c 18.6s| 50000 | 394 | 0 | 0.0 |6277k| 508 | - |1524 |2954 | 0 | 0 | 0 | 56 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
23.89/23.92 c 22.7s| 60000 | 395 | 0 | 0.0 |6278k| 508 | - |1524 |2954 | 0 | 0 | 0 | 69 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
27.98/28.00 c 26.6s| 70000 | 393 | 0 | 0.0 |6282k| 508 | - |1524 |2954 | 0 | 0 | 0 | 79 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
31.68/31.73 c 30.1s| 80000 | 393 | 0 | 0.0 |6279k| 508 | - |1524 |2954 | 0 | 0 | 0 | 87 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
35.48/35.54 c 33.7s| 90000 | 392 | 0 | 0.0 |6279k| 508 | - |1524 |2954 | 0 | 0 | 0 | 98 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
39.37/39.44 c 37.5s|100000 | 392 | 0 | 0.0 |6280k| 508 | - |1524 |2954 | 0 | 0 | 0 | 107 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
42.98/43.05 c 40.9s|110000 | 389 | 0 | 0.0 |6281k| 508 | - |1524 |2954 | 0 | 0 | 0 | 114 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
46.87/46.98 c 44.7s|120000 | 394 | 0 | 0.0 |6284k| 508 | - |1524 |2954 | 0 | 0 | 0 | 115 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
51.18/51.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.18/51.24 c 48.8s|130000 | 390 | 0 | 0.0 |6287k| 508 | - |1524 |2954 | 0 | 0 | 0 | 121 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
55.17/55.28 c 52.6s|140000 | 389 | 0 | 0.0 |6281k| 508 | - |1524 |2954 | 0 | 0 | 0 | 128 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
59.57/59.63 c 56.8s|150000 | 391 | 0 | 0.0 |6283k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
62.97/63.08 c 60.1s|160000 | 389 | 0 | 0.0 |6282k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
66.47/66.53 c 63.3s|170000 | 387 | 0 | 0.0 |6281k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
69.86/69.99 c 66.6s|180000 | 387 | 0 | 0.0 |6281k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
73.37/73.49 c 70.0s|190000 | 387 | 0 | 0.0 |6281k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
76.87/76.99 c 73.3s|200000 | 389 | 0 | 0.0 |6281k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
80.36/80.49 c 76.6s|210000 | 387 | 0 | 0.0 |6281k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
83.87/83.98 c 79.9s|220000 | 387 | 0 | 0.0 |6281k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
87.36/87.48 c 83.3s|230000 | 385 | 0 | 0.0 |6281k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
90.86/90.98 c 86.6s|240000 | 387 | 0 | 0.0 |6281k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
94.36/94.48 c 89.9s|250000 | 389 | 0 | 0.0 |6282k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
97.86/97.96 c 93.3s|260000 | 387 | 0 | 0.0 |6282k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
101.36/101.46 c 96.6s|270000 | 387 | 0 | 0.0 |6281k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
104.96/105.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.96/105.03 c 100s|280000 | 389 | 0 | 0.0 |6282k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
109.16/109.25 c 104s|290000 | 387 | 0 | 0.0 |6282k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
113.36/113.45 c 108s|300000 | 385 | 0 | 0.0 |6282k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
117.56/117.67 c 112s|310000 | 389 | 0 | 0.0 |6284k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
121.75/121.83 c 116s|320000 | 387 | 0 | 0.0 |6282k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
125.95/126.04 c 120s|330000 | 385 | 0 | 0.0 |6282k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
130.25/130.30 c 124s|340000 | 383 | 0 | 0.0 |6282k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
133.85/133.99 c 128s|350000 | 387 | 0 | 0.0 |6282k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
137.45/137.54 c 131s|360000 | 385 | 0 | 0.0 |6281k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
140.95/141.08 c 134s|370000 | 385 | 0 | 0.0 |6282k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
144.54/144.65 c 138s|380000 | 387 | 0 | 0.0 |6282k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
148.14/148.22 c 141s|390000 | 385 | 0 | 0.0 |6282k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
151.65/151.79 c 145s|400000 | 383 | 0 | 0.0 |6281k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
155.24/155.37 c 148s|410000 | 383 | 0 | 0.0 |6281k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
159.35/159.45 c 152s|420000 | 387 | 0 | 0.0 |6282k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
163.44/163.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
163.44/163.57 c 156s|430000 | 385 | 0 | 0.0 |6282k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
167.64/167.74 c 160s|440000 | 385 | 0 | 0.0 |6284k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
171.84/171.95 c 164s|450000 | 385 | 0 | 0.0 |6288k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
176.04/176.16 c 168s|460000 | 383 | 0 | 0.0 |6286k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
180.34/180.41 c 172s|470000 | 383 | 0 | 0.0 |6284k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
184.53/184.64 c 176s|480000 | 385 | 0 | 0.0 |6282k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
188.73/188.88 c 180s|490000 | 383 | 0 | 0.0 |6282k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
193.03/193.10 c 184s|500000 | 385 | 0 | 0.0 |6283k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
197.23/197.30 c 188s|510000 | 383 | 0 | 0.0 |6282k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
201.33/201.47 c 192s|520000 | 385 | 0 | 0.0 |6282k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
205.63/205.79 c 196s|530000 | 379 | 0 | 0.0 |6284k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
209.82/209.93 c 200s|540000 | 387 | 0 | 0.0 |6283k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
213.43/213.56 c 204s|550000 | 383 | 0 | 0.0 |6282k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
217.02/217.19 c 207s|560000 | 383 | 0 | 0.0 |6282k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
220.73/220.83 c 211s|570000 | 387 | 0 | 0.0 |6283k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
224.33/224.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
224.33/224.47 c 214s|580000 | 383 | 0 | 0.0 |6285k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
228.02/228.12 c 218s|590000 | 383 | 0 | 0.0 |6283k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
231.62/231.78 c 221s|600000 | 381 | 0 | 0.0 |6281k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
235.33/235.42 c 225s|610000 | 383 | 0 | 0.0 |6283k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
238.92/239.08 c 228s|620000 | 381 | 0 | 0.0 |6285k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
242.61/242.74 c 232s|630000 | 383 | 0 | 0.0 |6281k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
246.23/246.39 c 235s|640000 | 381 | 0 | 0.0 |6283k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
249.92/250.01 c 239s|650000 | 383 | 0 | 0.0 |6282k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
253.52/253.67 c 242s|660000 | 379 | 0 | 0.0 |6281k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.233000e+03 | 465.60%
255.81/255.97 o 1232
255.81/255.97 c * 244s|666041 | 389 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
257.41/257.54 c 246s|670000 | 390 | 0 | 0.0 |6308k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
261.41/261.51 c 250s|680000 | 382 | 0 | 0.0 |6306k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
265.31/265.47 c 253s|690000 | 384 | 0 | 0.0 |6308k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
269.32/269.44 c 257s|700000 | 384 | 0 | 0.0 |6307k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
273.31/273.41 c 261s|710000 | 384 | 0 | 0.0 |6307k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
277.21/277.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
277.21/277.39 c 265s|720000 | 382 | 0 | 0.0 |6307k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
281.21/281.35 c 269s|730000 | 384 | 0 | 0.0 |6307k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
285.20/285.30 c 272s|740000 | 384 | 0 | 0.0 |6307k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
289.12/289.26 c 276s|750000 | 384 | 0 | 0.0 |6307k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
293.11/293.26 c 280s|760000 | 380 | 0 | 0.0 |6308k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
296.81/296.95 c 283s|770000 | 380 | 0 | 0.0 |6309k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
300.50/300.68 c 287s|780000 | 386 | 0 | 0.0 |6307k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
304.30/304.41 c 291s|790000 | 384 | 0 | 0.0 |6307k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
308.00/308.12 c 294s|800000 | 384 | 0 | 0.0 |6307k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
311.70/311.83 c 298s|810000 | 384 | 0 | 0.0 |6307k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
315.39/315.57 c 301s|820000 | 384 | 0 | 0.0 |6307k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
319.20/319.30 c 305s|830000 | 382 | 0 | 0.0 |6307k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
322.89/323.01 c 308s|840000 | 384 | 0 | 0.0 |6307k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
326.60/326.71 c 312s|850000 | 382 | 0 | 0.0 |6307k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
330.30/330.46 c 315s|860000 | 382 | 0 | 0.0 |6307k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
333.99/334.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
333.99/334.19 c 319s|870000 | 384 | 0 | 0.0 |6307k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
337.79/337.91 c 323s|880000 | 386 | 0 | 0.0 |6308k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
341.49/341.64 c 326s|890000 | 380 | 0 | 0.0 |6307k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
345.19/345.38 c 330s|900000 | 380 | 0 | 0.0 |6308k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
348.99/349.12 c 333s|910000 | 382 | 0 | 0.0 |6307k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
352.69/352.82 c 337s|920000 | 382 | 0 | 0.0 |6307k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
356.38/356.55 c 340s|930000 | 382 | 0 | 0.0 |6307k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
360.08/360.28 c 344s|940000 | 382 | 0 | 0.0 |6307k| 508 | - |1524 |2954 | 0 | 0 | 0 | 134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
363.89/364.02 c 347s|950000 | 386 | 0 | 0.0 |6312k| 508 | - |1524 |2954 | 0 | 0 | 0 | 147 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
367.58/367.78 c 351s|960000 | 384 | 0 | 0.0 |6312k| 508 | - |1524 |2954 | 0 | 0 | 0 | 161 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
371.69/371.88 c 355s|970000 | 386 | 0 | 0.0 |6312k| 508 | - |1524 |2954 | 0 | 0 | 0 | 173 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
375.28/375.47 c 358s|980000 | 384 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 | 184 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
379.38/379.56 c 362s|990000 | 381 | 0 | 0.0 |6312k| 508 | - |1524 |2954 | 0 | 0 | 0 | 196 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
383.48/383.65 c 366s| 1000k| 385 | 0 | 0.0 |6313k| 508 | - |1524 |2954 | 0 | 0 | 0 | 203 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
387.18/387.39 c 370s| 1010k| 381 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 | 209 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
390.98/391.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
390.98/391.15 c 373s| 1020k| 382 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 | 220 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
394.79/394.95 c 377s| 1030k| 383 | 0 | 0.0 |6312k| 508 | - |1524 |2954 | 0 | 0 | 0 | 228 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
398.68/398.85 c 381s| 1040k| 384 | 0 | 0.0 |6312k| 508 | - |1524 |2954 | 0 | 0 | 0 | 238 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
402.38/402.58 c 384s| 1050k| 382 | 0 | 0.0 |6312k| 508 | - |1524 |2954 | 0 | 0 | 0 | 249 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
406.27/406.40 c 388s| 1060k| 381 | 0 | 0.0 |6312k| 508 | - |1524 |2954 | 0 | 0 | 0 | 259 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
410.18/410.39 c 392s| 1070k| 383 | 0 | 0.0 |6313k| 508 | - |1524 |2954 | 0 | 0 | 0 | 276 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
414.07/414.23 c 395s| 1080k| 381 | 0 | 0.0 |6314k| 508 | - |1524 |2954 | 0 | 0 | 0 | 290 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
417.78/417.93 c 399s| 1090k| 385 | 0 | 0.0 |6314k| 508 | - |1524 |2954 | 0 | 0 | 0 | 313 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
421.57/421.75 c 403s| 1100k| 380 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 | 324 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
425.96/426.11 c 407s| 1110k| 382 | 0 | 0.0 |6313k| 508 | - |1524 |2954 | 0 | 0 | 0 | 334 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
429.66/429.85 c 410s| 1120k| 384 | 0 | 0.0 |6314k| 508 | - |1524 |2954 | 0 | 0 | 0 | 352 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
433.37/433.57 c 414s| 1130k| 380 | 0 | 0.0 |6313k| 508 | - |1524 |2954 | 0 | 0 | 0 | 366 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
437.46/437.63 c 418s| 1140k| 385 | 0 | 0.0 |6314k| 508 | - |1524 |2954 | 0 | 0 | 0 | 380 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
441.36/441.58 c 422s| 1150k| 382 | 0 | 0.0 |6314k| 508 | - |1524 |2954 | 0 | 0 | 0 | 406 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
445.37/445.57 c 425s| 1160k| 381 | 0 | 0.0 |6313k| 508 | - |1524 |2954 | 0 | 0 | 0 | 423 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
449.46/449.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
449.46/449.64 c 429s| 1170k| 385 | 0 | 0.0 |6314k| 508 | - |1524 |2954 | 0 | 0 | 0 | 445 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
453.26/453.48 c 433s| 1180k| 383 | 0 | 0.0 |6314k| 508 | - |1524 |2954 | 0 | 0 | 0 | 462 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
457.16/457.34 c 437s| 1190k| 382 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 | 480 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
460.85/461.09 c 440s| 1200k| 382 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 | 497 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
464.55/464.73 c 444s| 1210k| 384 | 0 | 0.0 |6314k| 508 | - |1524 |2954 | 0 | 0 | 0 | 509 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
468.85/469.09 c 448s| 1220k| 382 | 0 | 0.0 |6314k| 508 | - |1524 |2954 | 0 | 0 | 0 | 517 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
472.55/472.70 c 451s| 1230k| 382 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 | 533 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
476.25/476.44 c 455s| 1240k| 382 | 0 | 0.0 |6313k| 508 | - |1524 |2954 | 0 | 0 | 0 | 550 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
479.95/480.14 c 458s| 1250k| 381 | 0 | 0.0 |6313k| 508 | - |1524 |2954 | 0 | 0 | 0 | 566 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
483.95/484.11 c 462s| 1260k| 381 | 0 | 0.0 |6313k| 508 | - |1524 |2954 | 0 | 0 | 0 | 579 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
488.95/489.12 c 467s| 1270k| 379 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 | 579 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
492.85/493.03 c 471s| 1280k| 383 | 0 | 0.0 |6314k| 508 | - |1524 |2954 | 0 | 0 | 0 | 592 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
496.65/496.86 c 474s| 1290k| 381 | 0 | 0.0 |6314k| 508 | - |1524 |2954 | 0 | 0 | 0 | 611 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
500.45/500.68 c 478s| 1300k| 382 | 0 | 0.0 |6314k| 508 | - |1524 |2954 | 0 | 0 | 0 | 629 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
504.25/504.42 c 482s| 1310k| 381 | 0 | 0.0 |6313k| 508 | - |1524 |2954 | 0 | 0 | 0 | 647 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
508.35/508.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
508.35/508.50 c 486s| 1320k| 379 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 | 666 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
512.14/512.31 c 489s| 1330k| 380 | 0 | 0.0 |6313k| 508 | - |1524 |2954 | 0 | 0 | 0 | 684 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
515.84/516.08 c 493s| 1340k| 383 | 0 | 0.0 |6314k| 508 | - |1524 |2954 | 0 | 0 | 0 | 701 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
519.64/519.82 c 496s| 1350k| 380 | 0 | 0.0 |6313k| 508 | - |1524 |2954 | 0 | 0 | 0 | 718 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
523.64/523.87 c 500s| 1360k| 385 | 0 | 0.0 |6314k| 508 | - |1524 |2954 | 0 | 0 | 0 | 729 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
527.53/527.71 c 504s| 1370k| 382 | 0 | 0.0 |6314k| 508 | - |1524 |2954 | 0 | 0 | 0 | 750 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
531.64/531.84 c 508s| 1380k| 382 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 | 774 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
535.55/535.78 c 512s| 1390k| 386 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 | 793 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
538.93/539.14 c 515s| 1400k| 384 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 | 808 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
542.43/542.64 c 518s| 1410k| 383 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 | 824 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
546.03/546.22 c 522s| 1420k| 379 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 | 830 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
549.53/549.71 c 525s| 1430k| 381 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 | 843 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
553.03/553.24 c 528s| 1440k| 384 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 | 855 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
556.43/556.68 c 531s| 1450k| 380 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 | 875 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
560.03/560.22 c 535s| 1460k| 381 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 | 893 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
563.52/563.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
563.52/563.74 c 538s| 1470k| 379 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 | 905 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
567.03/567.29 c 542s| 1480k| 383 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 | 919 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
570.64/570.87 c 545s| 1490k| 380 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 | 932 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
573.93/574.20 c 548s| 1500k| 379 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 | 938 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
577.43/577.63 c 552s| 1510k| 379 | 0 | 0.0 |6314k| 508 | - |1524 |2954 | 0 | 0 | 0 | 953 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
580.92/581.10 c 555s| 1520k| 378 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 | 959 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
584.42/584.64 c 558s| 1530k| 384 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 | 970 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
587.92/588.19 c 562s| 1540k| 384 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 | 974 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
591.52/591.75 c 565s| 1550k| 379 | 0 | 0.0 |6314k| 508 | - |1524 |2954 | 0 | 0 | 0 | 989 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
595.12/595.32 c 568s| 1560k| 381 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 | 994 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
598.82/599.01 c 572s| 1570k| 382 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 | 997 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
602.52/602.72 c 575s| 1580k| 381 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 |1001 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
606.22/606.46 c 579s| 1590k| 383 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1001 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
610.12/610.37 c 583s| 1600k| 381 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1001 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
614.41/614.69 c 587s| 1610k| 381 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 |1001 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
618.41/618.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
618.41/618.66 c 591s| 1620k| 379 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 |1001 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
622.61/622.88 c 595s| 1630k| 377 | 0 | 0.0 |6314k| 508 | - |1524 |2954 | 0 | 0 | 0 |1001 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
626.81/627.08 c 599s| 1640k| 382 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 |1006 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
630.51/630.76 c 602s| 1650k| 380 | 0 | 0.0 |6314k| 508 | - |1524 |2954 | 0 | 0 | 0 |1019 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
634.21/634.47 c 606s| 1660k| 384 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 |1033 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
637.90/638.12 c 609s| 1670k| 380 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 |1045 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
641.60/641.87 c 613s| 1680k| 383 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 |1056 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
645.51/645.74 c 617s| 1690k| 380 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1071 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
649.31/649.55 c 620s| 1700k| 381 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 |1085 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
653.50/653.79 c 624s| 1710k| 381 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 |1088 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
657.80/658.06 c 628s| 1720k| 382 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 |1091 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
661.50/661.77 c 632s| 1730k| 379 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 |1103 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
665.40/665.68 c 636s| 1740k| 378 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 |1110 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
669.40/669.60 c 639s| 1750k| 376 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 |1110 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
673.10/673.37 c 643s| 1760k| 382 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1111 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
676.59/676.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
676.59/676.89 c 646s| 1770k| 382 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1120 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
680.20/680.43 c 650s| 1780k| 378 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 |1129 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
684.00/684.21 c 653s| 1790k| 380 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1140 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
687.80/688.03 c 657s| 1800k| 379 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 |1149 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
691.29/691.59 c 660s| 1810k| 381 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 |1153 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
695.00/695.26 c 664s| 1820k| 380 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 |1154 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
698.59/698.83 c 667s| 1830k| 382 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1156 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
702.39/702.63 c 671s| 1840k| 380 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 |1156 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
706.00/706.24 c 674s| 1850k| 380 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1159 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
709.79/710.05 c 678s| 1860k| 376 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 |1159 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
713.59/713.83 c 682s| 1870k| 382 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 |1159 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
717.48/717.72 c 685s| 1880k| 380 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1159 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
721.48/721.73 c 689s| 1890k| 378 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1159 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
725.49/725.74 c 693s| 1900k| 376 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 |1159 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
729.28/729.51 c 697s| 1910k| 382 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 |1159 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
733.18/733.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
733.18/733.43 c 700s| 1920k| 380 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 |1159 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
737.18/737.44 c 704s| 1930k| 378 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 |1159 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
741.27/741.51 c 708s| 1940k| 376 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1163 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
744.77/745.08 c 711s| 1950k| 379 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 |1168 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
748.38/748.68 c 715s| 1960k| 381 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 |1169 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
752.08/752.31 c 718s| 1970k| 379 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 |1169 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
755.97/756.25 c 722s| 1980k| 379 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1169 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
759.97/760.24 c 726s| 1990k| 381 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1170 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
763.97/764.21 c 730s| 2000k| 378 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1171 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
767.58/767.83 c 733s| 2010k| 378 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 |1172 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
771.27/771.56 c 737s| 2020k| 378 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1172 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
774.96/775.28 c 740s| 2030k| 380 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1174 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
778.76/779.04 c 744s| 2040k| 382 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 |1175 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
782.46/782.75 c 747s| 2050k| 380 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1176 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
786.27/786.53 c 751s| 2060k| 380 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 |1176 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
790.27/790.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
790.27/790.53 c 755s| 2070k| 376 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1176 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
794.56/794.87 c 759s| 2080k| 376 | 0 | 0.0 |6315k| 508 | - |1524 |2954 | 0 | 0 | 0 |1176 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
798.56/798.80 c 763s| 2090k| 376 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 |1177 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
802.86/803.11 c 767s| 2100k| 380 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 |1177 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
806.95/807.23 c 771s| 2110k| 382 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1180 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
810.76/811.09 c 775s| 2120k| 378 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1189 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
814.56/814.87 c 778s| 2130k| 382 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1203 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
818.46/818.74 c 782s| 2140k| 378 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 |1216 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
822.16/822.45 c 785s| 2150k| 381 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1228 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
825.95/826.21 c 789s| 2160k| 379 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 |1231 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
829.85/830.14 c 793s| 2170k| 382 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1236 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
833.75/834.06 c 797s| 2180k| 380 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1241 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
837.75/838.05 c 800s| 2190k| 382 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1244 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
841.45/841.75 c 804s| 2200k| 376 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1246 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
845.66/845.94 c 808s| 2210k| 376 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1246 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
849.85/850.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
849.85/850.17 c 812s| 2220k| 378 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1247 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
853.94/854.21 c 816s| 2230k| 379 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1252 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
857.84/858.17 c 820s| 2240k| 381 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |1256 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
861.75/862.07 c 823s| 2250k| 382 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1262 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
865.74/866.03 c 827s| 2260k| 376 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1264 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
869.64/869.96 c 831s| 2270k| 379 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |1272 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
873.64/873.91 c 835s| 2280k| 379 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1275 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
877.55/877.82 c 838s| 2290k| 377 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1278 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
881.73/882.03 c 842s| 2300k| 379 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1279 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
885.84/886.15 c 846s| 2310k| 379 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1281 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
890.23/890.58 c 851s| 2320k| 383 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1287 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
895.23/895.50 c 855s| 2330k| 381 | 0 | 0.0 |6323k| 508 | - |1524 |2954 | 0 | 0 | 0 |1290 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
900.14/900.41 c 860s| 2340k| 380 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1294 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
904.63/904.96 c 864s| 2350k| 380 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1300 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
909.43/909.79 c 869s| 2360k| 379 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1307 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
914.13/914.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
914.13/914.43 c 873s| 2370k| 379 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |1313 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
918.83/919.14 c 878s| 2380k| 379 | 0 | 0.0 |6322k| 508 | - |1524 |2954 | 0 | 0 | 0 |1329 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
923.23/923.54 c 882s| 2390k| 383 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1341 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
927.62/927.94 c 886s| 2400k| 378 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |1353 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
931.92/932.23 c 890s| 2410k| 381 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1357 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
936.52/936.86 c 895s| 2420k| 379 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1372 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
940.82/941.15 c 899s| 2430k| 381 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |1381 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
944.72/945.04 c 903s| 2440k| 375 | 0 | 0.0 |6316k| 508 | - |1524 |2954 | 0 | 0 | 0 |1381 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
949.02/949.36 c 907s| 2450k| 379 | 0 | 0.0 |6322k| 508 | - |1524 |2954 | 0 | 0 | 0 |1382 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
953.81/954.15 c 911s| 2460k| 380 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1387 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
958.61/958.93 c 916s| 2470k| 376 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |1390 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
962.71/963.02 c 920s| 2480k| 383 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |1395 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
966.52/966.82 c 923s| 2490k| 381 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1403 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
970.51/970.81 c 927s| 2500k| 380 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1411 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
974.41/974.78 c 931s| 2510k| 379 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |1421 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
978.51/978.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
978.51/978.84 c 935s| 2520k| 381 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |1429 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
982.41/982.72 c 939s| 2530k| 378 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1434 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
986.31/986.70 c 942s| 2540k| 381 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1442 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
990.21/990.53 c 946s| 2550k| 383 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1446 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
994.30/994.66 c 950s| 2560k| 378 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1451 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
998.41/998.74 c 954s| 2570k| 376 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |1458 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1002.41/1002.70 c 958s| 2580k| 381 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1465 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1006.40/1006.79 c 962s| 2590k| 381 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |1471 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1010.61/1010.94 c 966s| 2600k| 383 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1480 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1014.60/1014.97 c 969s| 2610k| 379 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1488 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1018.60/1018.99 c 973s| 2620k| 380 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1504 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1022.50/1022.81 c 977s| 2630k| 378 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1523 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1026.90/1027.23 c 981s| 2640k| 381 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |1533 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1031.00/1031.36 c 985s| 2650k| 379 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1544 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1035.09/1035.40 c 989s| 2660k| 378 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1553 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1039.29/1039.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1039.29/1039.64 c 993s| 2670k| 376 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1567 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1043.09/1043.45 c 997s| 2680k| 382 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1575 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1047.29/1047.69 c 1001s| 2690k| 382 | 0 | 0.0 |6323k| 508 | - |1524 |2954 | 0 | 0 | 0 |1587 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1051.88/1052.21 c 1005s| 2700k| 379 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1602 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1056.09/1056.48 c 1009s| 2710k| 379 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1618 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1060.18/1060.51 c 1013s| 2720k| 377 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1633 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1064.39/1064.79 c 1017s| 2730k| 378 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1647 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1068.89/1069.22 c 1021s| 2740k| 381 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1677 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1072.88/1073.25 c 1025s| 2750k| 383 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |1692 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1076.98/1077.34 c 1029s| 2760k| 377 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1707 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1081.08/1081.47 c 1033s| 2770k| 379 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1723 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1085.08/1085.41 c 1037s| 2780k| 377 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1738 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1089.28/1089.60 c 1041s| 2790k| 377 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1755 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1093.18/1093.57 c 1045s| 2800k| 381 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1773 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1096.77/1097.16 c 1048s| 2810k| 378 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1786 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1100.48/1100.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1100.48/1100.89 c 1052s| 2820k| 380 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1799 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1104.78/1105.10 c 1056s| 2830k| 379 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1804 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1109.37/1109.72 c 1060s| 2840k| 380 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1811 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1113.67/1114.04 c 1064s| 2850k| 378 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1826 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1117.67/1118.04 c 1068s| 2860k| 377 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1842 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1121.97/1122.38 c 1072s| 2870k| 374 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1850 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1126.47/1126.84 c 1076s| 2880k| 377 | 0 | 0.0 |6317k| 508 | - |1524 |2954 | 0 | 0 | 0 |1862 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1130.86/1131.28 c 1081s| 2890k| 374 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |1874 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1134.67/1135.03 c 1084s| 2900k| 382 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1876 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1138.27/1138.68 c 1088s| 2910k| 382 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |1876 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1141.97/1142.35 c 1091s| 2920k| 379 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |1878 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1145.56/1145.99 c 1095s| 2930k| 379 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1881 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1149.26/1149.62 c 1098s| 2940k| 382 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |1885 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1152.86/1153.20 c 1102s| 2950k| 378 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |1890 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1156.46/1156.87 c 1105s| 2960k| 379 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |1894 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1160.06/1160.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.06/1160.48 c 1108s| 2970k| 379 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1901 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1163.66/1164.06 c 1112s| 2980k| 377 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |1909 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1167.26/1167.62 c 1115s| 2990k| 380 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |1911 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1170.85/1171.26 c 1119s| 3000k| 378 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |1911 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1174.56/1174.96 c 1122s| 3010k| 378 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |1911 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1178.25/1178.65 c 1126s| 3020k| 381 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |1912 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1181.95/1182.39 c 1129s| 3030k| 378 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |1917 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1185.85/1186.22 c 1133s| 3040k| 379 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |1926 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1189.55/1189.96 c 1137s| 3050k| 375 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |1940 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1193.25/1193.68 c 1140s| 3060k| 376 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |1957 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1196.95/1197.37 c 1144s| 3070k| 378 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |1967 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1200.65/1201.10 c 1147s| 3080k| 380 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |1979 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1204.44/1204.83 c 1151s| 3090k| 378 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |1993 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1208.05/1208.49 c 1154s| 3100k| 381 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |2005 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1211.75/1212.12 c 1158s| 3110k| 377 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |2016 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1215.55/1215.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1215.55/1215.90 c 1161s| 3120k| 380 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2026 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1219.14/1219.56 c 1165s| 3130k| 379 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2034 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1222.94/1223.30 c 1168s| 3140k| 379 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |2048 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1226.64/1227.01 c 1172s| 3150k| 378 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2057 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1230.34/1230.77 c 1176s| 3160k| 376 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2063 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1233.93/1234.38 c 1179s| 3170k| 380 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2073 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1237.74/1238.12 c 1183s| 3180k| 379 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2085 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1241.44/1241.88 c 1186s| 3190k| 379 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2097 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1245.23/1245.62 c 1190s| 3200k| 378 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2106 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1248.84/1249.29 c 1193s| 3210k| 380 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2120 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1252.54/1252.93 c 1197s| 3220k| 378 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2127 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1256.23/1256.68 c 1200s| 3230k| 381 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |2134 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1260.03/1260.40 c 1204s| 3240k| 378 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2142 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1263.62/1264.07 c 1207s| 3250k| 377 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |2148 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1267.32/1267.76 c 1211s| 3260k| 381 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2165 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1271.03/1271.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1271.03/1271.45 c 1214s| 3270k| 382 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |2183 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1274.62/1275.08 c 1218s| 3280k| 378 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2196 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1278.33/1278.77 c 1221s| 3290k| 376 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |2206 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1282.23/1282.61 c 1225s| 3300k| 379 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2214 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1285.92/1286.30 c 1229s| 3310k| 378 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |2234 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1289.62/1290.04 c 1232s| 3320k| 377 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2250 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1293.32/1293.72 c 1236s| 3330k| 378 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2268 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1296.92/1297.38 c 1239s| 3340k| 379 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2285 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1300.72/1301.13 c 1243s| 3350k| 379 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2299 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1304.31/1304.79 c 1246s| 3360k| 380 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2316 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1307.91/1308.31 c 1250s| 3370k| 380 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |2325 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1311.61/1312.05 c 1253s| 3380k| 378 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2341 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1315.32/1315.79 c 1257s| 3390k| 378 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2353 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1318.91/1319.39 c 1260s| 3400k| 377 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |2371 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1322.61/1323.01 c 1264s| 3410k| 377 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |2383 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1326.12/1326.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1326.12/1326.60 c 1267s| 3420k| 378 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2395 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1329.81/1330.20 c 1270s| 3430k| 379 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2406 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1333.51/1333.94 c 1274s| 3440k| 380 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2421 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1337.21/1337.61 c 1277s| 3450k| 377 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |2441 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1340.71/1341.19 c 1281s| 3460k| 377 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2451 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1344.51/1344.97 c 1285s| 3470k| 377 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |2463 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1348.21/1348.66 c 1288s| 3480k| 377 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |2473 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1351.80/1352.26 c 1291s| 3490k| 381 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |2488 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1355.40/1355.89 c 1295s| 3500k| 377 | 0 | 0.0 |6322k| 508 | - |1524 |2954 | 0 | 0 | 0 |2500 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1359.11/1359.59 c 1298s| 3510k| 381 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |2513 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1362.80/1363.24 c 1302s| 3520k| 378 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2524 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1366.50/1366.99 c 1306s| 3530k| 375 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2538 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1370.11/1370.54 c 1309s| 3540k| 379 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2549 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1373.70/1374.18 c 1312s| 3550k| 377 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2560 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1377.29/1377.74 c 1316s| 3560k| 374 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2579 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1380.89/1381.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1380.89/1381.37 c 1319s| 3570k| 375 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2594 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1384.60/1385.02 c 1323s| 3580k| 376 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2603 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1388.30/1388.74 c 1326s| 3590k| 376 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2614 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1392.10/1392.51 c 1330s| 3600k| 377 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2620 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1395.99/1396.46 c 1334s| 3610k| 375 | 0 | 0.0 |6318k| 508 | - |1524 |2954 | 0 | 0 | 0 |2622 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1399.99/1400.44 c 1338s| 3620k| 373 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |2624 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1403.69/1404.19 c 1341s| 3630k| 381 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |2636 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1407.28/1407.77 c 1345s| 3640k| 380 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |2648 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1410.98/1411.47 c 1348s| 3650k| 378 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |2662 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1414.69/1415.10 c 1351s| 3660k| 378 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |2677 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1418.29/1418.75 c 1355s| 3670k| 376 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |2697 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1421.89/1422.36 c 1358s| 3680k| 378 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |2713 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1425.38/1425.80 c 1362s| 3690k| 374 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |2729 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1428.98/1429.46 c 1365s| 3700k| 377 | 0 | 0.0 |6323k| 508 | - |1524 |2954 | 0 | 0 | 0 |2736 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1432.68/1433.20 c 1369s| 3710k| 377 | 0 | 0.0 |6322k| 508 | - |1524 |2954 | 0 | 0 | 0 |2749 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1436.48/1436.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1436.48/1436.94 c 1372s| 3720k| 377 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |2754 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1440.18/1440.60 c 1376s| 3730k| 380 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |2767 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1443.89/1444.38 c 1379s| 3740k| 380 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |2781 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1447.58/1448.09 c 1383s| 3750k| 376 | 0 | 0.0 |6322k| 508 | - |1524 |2954 | 0 | 0 | 0 |2796 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1451.38/1451.81 c 1387s| 3760k| 380 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |2813 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1455.08/1455.53 c 1390s| 3770k| 378 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |2851 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1458.67/1459.19 c 1394s| 3780k| 381 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |2866 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1462.48/1462.91 c 1397s| 3790k| 376 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |2883 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1466.08/1466.59 c 1401s| 3800k| 381 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |2902 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1469.67/1470.15 c 1404s| 3810k| 378 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |2918 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1473.37/1473.88 c 1408s| 3820k| 378 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |2935 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1477.07/1477.57 c 1411s| 3830k| 380 | 0 | 0.0 |6322k| 508 | - |1524 |2954 | 0 | 0 | 0 |2950 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1480.67/1481.18 c 1415s| 3840k| 378 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |2966 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1484.36/1484.83 c 1418s| 3850k| 376 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |2978 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1487.96/1488.42 c 1421s| 3860k| 377 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |2992 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1491.56/1492.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1491.56/1492.08 c 1425s| 3870k| 381 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |3011 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1495.26/1495.78 c 1428s| 3880k| 374 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |3030 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1498.96/1499.48 c 1432s| 3890k| 376 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |3043 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1502.56/1503.07 c 1435s| 3900k| 378 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |3056 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1506.36/1506.82 c 1439s| 3910k| 378 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |3075 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1509.96/1510.43 c 1442s| 3920k| 377 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |3095 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1513.36/1513.87 c 1446s| 3930k| 377 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |3107 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1516.86/1517.34 c 1449s| 3940k| 376 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |3122 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1520.46/1520.90 c 1452s| 3950k| 380 | 0 | 0.0 |6322k| 508 | - |1524 |2954 | 0 | 0 | 0 |3135 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1524.06/1524.52 c 1456s| 3960k| 379 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |3145 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1527.76/1528.21 c 1459s| 3970k| 379 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |3154 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1531.45/1531.93 c 1463s| 3980k| 376 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |3163 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1535.16/1535.69 c 1467s| 3990k| 376 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |3181 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1538.85/1539.38 c 1470s| 4000k| 375 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |3196 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1542.65/1543.10 c 1474s| 4010k| 377 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |3209 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1546.25/1546.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1546.25/1546.74 c 1477s| 4020k| 380 | 0 | 0.0 |6322k| 508 | - |1524 |2954 | 0 | 0 | 0 |3220 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1549.83/1550.38 c 1481s| 4030k| 379 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |3231 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1553.53/1554.06 c 1484s| 4040k| 378 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |3245 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1557.23/1557.74 c 1488s| 4050k| 375 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |3261 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1560.93/1561.45 c 1491s| 4060k| 378 | 0 | 0.0 |6322k| 508 | - |1524 |2954 | 0 | 0 | 0 |3278 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1564.43/1564.93 c 1495s| 4070k| 378 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |3285 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1568.03/1568.58 c 1498s| 4080k| 376 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |3294 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1571.73/1572.27 c 1502s| 4090k| 377 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |3304 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1575.63/1576.15 c 1505s| 4100k| 375 | 0 | 0.0 |6322k| 508 | - |1524 |2954 | 0 | 0 | 0 |3314 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1579.53/1580.05 c 1509s| 4110k| 384 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |3325 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1583.12/1583.69 c 1512s| 4120k| 376 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |3336 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1586.83/1587.35 c 1516s| 4130k| 375 | 0 | 0.0 |6322k| 508 | - |1524 |2954 | 0 | 0 | 0 |3348 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1590.52/1591.03 c 1519s| 4140k| 378 | 0 | 0.0 |6322k| 508 | - |1524 |2954 | 0 | 0 | 0 |3362 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1594.12/1594.66 c 1523s| 4150k| 374 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |3378 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1597.82/1598.36 c 1526s| 4160k| 381 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |3391 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1601.42/1601.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1601.42/1601.96 c 1530s| 4170k| 380 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |3403 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1605.12/1605.63 c 1533s| 4180k| 378 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |3412 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1608.83/1609.32 c 1537s| 4190k| 374 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |3425 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1612.52/1613.03 c 1540s| 4200k| 376 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |3439 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1616.11/1616.61 c 1544s| 4210k| 378 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |3456 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1619.82/1620.31 c 1547s| 4220k| 376 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |3468 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1623.51/1624.00 c 1551s| 4230k| 376 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |3481 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1627.11/1627.64 c 1554s| 4240k| 379 | 0 | 0.0 |6322k| 508 | - |1524 |2954 | 0 | 0 | 0 |3489 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1630.82/1631.39 c 1558s| 4250k| 374 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |3498 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1634.50/1635.03 c 1561s| 4260k| 378 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |3507 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1638.21/1638.76 c 1565s| 4270k| 377 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |3529 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1641.82/1642.34 c 1568s| 4280k| 378 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |3538 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1645.40/1645.97 c 1572s| 4290k| 375 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |3545 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1649.21/1649.73 c 1575s| 4300k| 376 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |3554 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1652.71/1653.24 c 1579s| 4310k| 374 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |3567 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1656.31/1656.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1656.31/1656.87 c 1582s| 4320k| 375 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |3580 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1659.80/1660.31 c 1586s| 4330k| 377 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |3596 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1663.50/1664.02 c 1589s| 4340k| 377 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |3607 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1667.11/1667.68 c 1593s| 4350k| 376 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |3619 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1670.80/1671.39 c 1596s| 4360k| 376 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |3634 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1674.60/1675.13 c 1600s| 4370k| 378 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |3650 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1678.30/1678.86 c 1603s| 4380k| 374 | 0 | 0.0 |6319k| 508 | - |1524 |2954 | 0 | 0 | 0 |3664 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1682.09/1682.66 c 1607s| 4390k| 376 | 0 | 0.0 |6320k| 508 | - |1524 |2954 | 0 | 0 | 0 |3679 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1686.00/1686.55 c 1611s| 4400k| 380 | 0 | 0.0 |6323k| 508 | - |1524 |2954 | 0 | 0 | 0 |3696 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1689.89/1690.42 c 1614s| 4410k| 381 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |3704 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1693.79/1694.31 c 1618s| 4420k| 381 | 0 | 0.0 |6322k| 508 | - |1524 |2954 | 0 | 0 | 0 |3714 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1697.69/1698.22 c 1622s| 4430k| 380 | 0 | 0.0 |6322k| 508 | - |1524 |2954 | 0 | 0 | 0 |3723 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1701.69/1702.21 c 1626s| 4440k| 379 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |3733 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1705.50/1706.08 c 1629s| 4450k| 380 | 0 | 0.0 |6323k| 508 | - |1524 |2954 | 0 | 0 | 0 |3737 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1709.39/1709.98 c 1633s| 4460k| 379 | 0 | 0.0 |6326k| 508 | - |1524 |2954 | 0 | 0 | 0 |3747 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1713.58/1714.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1713.58/1714.14 c 1637s| 4470k| 375 | 0 | 0.0 |6323k| 508 | - |1524 |2954 | 0 | 0 | 0 |3758 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1717.79/1718.31 c 1641s| 4480k| 379 | 0 | 0.0 |6324k| 508 | - |1524 |2954 | 0 | 0 | 0 |3768 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1721.88/1722.45 c 1645s| 4490k| 379 | 0 | 0.0 |6323k| 508 | - |1524 |2954 | 0 | 0 | 0 |3777 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1725.88/1726.50 c 1649s| 4500k| 377 | 0 | 0.0 |6325k| 508 | - |1524 |2954 | 0 | 0 | 0 |3784 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1729.58/1730.19 c 1652s| 4510k| 381 | 0 | 0.0 |6323k| 508 | - |1524 |2954 | 0 | 0 | 0 |3784 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1733.48/1734.00 c 1656s| 4520k| 377 | 0 | 0.0 |6324k| 508 | - |1524 |2954 | 0 | 0 | 0 |3784 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1737.29/1737.90 c 1660s| 4530k| 377 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |3786 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1741.69/1742.22 c 1664s| 4540k| 382 | 0 | 0.0 |6322k| 508 | - |1524 |2954 | 0 | 0 | 0 |3797 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1746.08/1746.63 c 1668s| 4550k| 377 | 0 | 0.0 |6322k| 508 | - |1524 |2954 | 0 | 0 | 0 |3808 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1750.58/1751.11 c 1672s| 4560k| 381 | 0 | 0.0 |6322k| 508 | - |1524 |2954 | 0 | 0 | 0 |3818 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1755.08/1755.63 c 1677s| 4570k| 378 | 0 | 0.0 |6322k| 508 | - |1524 |2954 | 0 | 0 | 0 |3829 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1759.57/1760.17 c 1681s| 4580k| 376 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |3840 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1764.07/1764.60 c 1685s| 4590k| 383 | 0 | 0.0 |6323k| 508 | - |1524 |2954 | 0 | 0 | 0 |3851 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1768.07/1768.61 c 1689s| 4600k| 381 | 0 | 0.0 |6322k| 508 | - |1524 |2954 | 0 | 0 | 0 |3859 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1772.27/1772.82 c 1693s| 4610k| 378 | 0 | 0.0 |6324k| 508 | - |1524 |2954 | 0 | 0 | 0 |3865 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1776.67/1777.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1776.67/1777.28 c 1697s| 4620k| 377 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |3876 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1781.07/1781.65 c 1701s| 4630k| 379 | 0 | 0.0 |6322k| 508 | - |1524 |2954 | 0 | 0 | 0 |3885 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1785.27/1785.82 c 1705s| 4640k| 378 | 0 | 0.0 |6324k| 508 | - |1524 |2954 | 0 | 0 | 0 |3895 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1789.36/1789.93 c 1709s| 4650k| 380 | 0 | 0.0 |6322k| 508 | - |1524 |2954 | 0 | 0 | 0 |3897 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1793.16/1793.79 c 1713s| 4660k| 379 | 0 | 0.0 |6322k| 508 | - |1524 |2954 | 0 | 0 | 0 |3904 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1797.46/1798.02 c 1717s| 4670k| 377 | 0 | 0.0 |6321k| 508 | - |1524 |2954 | 0 | 0 | 0 |3914 | 0 | 2.180000e+02 | 1.232000e+03 | 465.14%
1800.08/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.61 c
1800.08/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.61 c Solving Time (sec) : 1719.51
1800.08/1800.61 c Solving Nodes : 4676226
1800.08/1800.61 c Primal Bound : +1.23200000000000e+03 (5 solutions)
1800.08/1800.61 c Dual Bound : +2.18000000000000e+02
1800.08/1800.61 c Gap : 465.14 %
1800.08/1800.62 s SATISFIABLE
1800.08/1800.62 v x1963 x1962 -x1961 x1960 -x1959 x1958 -x1957 x1956 x1955 x1954 x1953 x1952 -x1951 x1950 x1949 x1948 -x1947 x1946 -x1945 x1944 x1943
1800.08/1800.62 v x1942 x1941 x1940 x1939 x1938 -x1937 -x1936 x1935 x1934 -x1933 x1932 x1931 x1930 -x1929 x1928 -x1927 -x1926 -x1925 x1924
1800.08/1800.62 v x1923 x1922 -x1921 x1920 -x1919 x1918 x1917 x1916 x1915 x1914 x1913 x1912 -x1911 x1910 x1909 x1908 x1907 -x1906 x1905 -x1904
1800.08/1800.62 v x1903 x1902 x1901 x1900 x1899 -x1898 -x1897 x1896 x1895 x1894 -x1893 -x1892 -x1891 -x1890 x1889 -x1888 -x1887 -x1886 x1885 x1884
1800.08/1800.62 v -x1883 x1882 -x1881 -x1880 -x1879 -x1878 x1877 x1876 x1875 x1874 -x1873 x1872 x1871 x1870 -x1869 x1868 -x1867 x1866 x1865
1800.08/1800.62 v -x1864 x1863 x1862 x1861 -x1860 x1859 x1858 -x1857 -x1856 -x1855 x1854 -x1853 x1852 x1851 x1850 x1849 x1848 -x1847 x1846 x1845
1800.08/1800.62 v -x1844 -x1843 -x1842 -x1841 x1840 x1839 x1838 x1837 x1836 x1835 x1834 x1833 -x1832 x1831 x1830 -x1829 x1828 x1827 -x1826
1800.08/1800.62 v x1825 x1824 x1823 -x1822 x1821 -x1820 x1819 -x1818 -x1817 x1816 x1815 x1814 -x1813 x1812 -x1811 -x1810 -x1809 x1808 x1807 x1806
1800.08/1800.62 v -x1805 x1804 -x1803 x1802 x1801 x1800 x1799 x1798 x1797 x1796 -x1795 -x1794 x1793 -x1792 -x1791 -x1790 -x1789 x1788 x1787
1800.08/1800.62 v -x1786 x1785 -x1784 x1783 x1782 -x1781 x1780 -x1779 x1778 x1777 -x1776 -x1775 -x1774 x1773 -x1772 x1771 -x1770 x1769 x1768 -x1767
1800.08/1800.62 v -x1766 x1765 -x1764 -x1763 x1762 x1761 x1760 x1759 x1758 x1757 -x1756 -x1755 x1754 x1753 -x1752 x1751 x1750 x1749 -x1748
1800.08/1800.62 v x1747 x1746 x1745 -x1744 -x1743 -x1742 -x1741 x1740 x1739 -x1738 x1737 x1736 -x1735 -x1734 -x1733 x1732 x1731 x1730 x1729 -x1728
1800.08/1800.62 v -x1727 x1726 -x1725 -x1724 -x1723 -x1722 -x1721 x1720 x1719 -x1718 x1717 x1716 -x1715 -x1714 x1713 -x1712 x1711 -x1710 x1709
1800.08/1800.62 v x1708 x1707 x1706 -x1705 x1704 x1703 x1702 x1701 x1700 -x1699 x1698 -x1697 -x1696 x1695 -x1694 x1693 -x1692 x1691 x1690
1800.08/1800.62 v x1689 x1688 x1687 x1686 x1685 -x1684 x1683 x1682 x1681 -x1680 x1679 -x1678 x1677 x1676 x1675 x1674 x1673 x1672 x1671 -x1670 x1669
1800.08/1800.62 v x1668 x1667 x1666 x1665 x1664 x1663 x1662 x1661 -x1660 x1659 -x1658 x1657 x1656 x1655 x1654 -x1653 x1652 x1651 x1650 -x1649
1800.08/1800.62 v x1648 x1647 x1646 x1645 x1644 x1643 x1642 -x1641 x1640 x1639 x1638 x1637 -x1636 -x1635 -x1634 x1633 -x1632 -x1631 x1630 -x1629
1800.08/1800.62 v -x1628 x1627 -x1626 -x1625 x1624 x1623 x1622 x1621 -x1620 -x1619 x1618 -x1617 x1616 -x1615 x1614 x1613 x1612 -x1611 -x1610
1800.08/1800.62 v x1609 -x1608 -x1607 -x1606 -x1605 x1604 x1603 x1602 x1601 x1600 x1599 -x1598 x1597 x1596 -x1595 -x1594 x1593 x1592 -x1591
1800.08/1800.62 v x1590 x1589 x1588 x1587 x1586 x1585 -x1584 -x1583 x1582 x1581 x1580 x1579 x1578 -x1577 x1576 -x1575 x1574 x1573 x1572 x1571
1800.08/1800.62 v -x1570 x1569 x1568 -x1567 x1566 x1565 x1564 -x1563 -x1562 -x1561 -x1560 -x1559 x1558 x1557 -x1556 x1555 -x1554 x1553 x1552 -x1551
1800.08/1800.62 v x1550 -x1549 -x1548 x1547 x1546 x1545 x1544 x1543 -x1542 -x1541 x1540 -x1539 x1538 x1537 x1536 x1535 -x1534 -x1533 -x1532
1800.08/1800.62 v -x1531 x1530 -x1529 x1528 x1527 -x1526 -x1525 -x1524 x1523 x1522 -x1521 x1520 x1519 x1518 x1517 x1516 -x1515 -x1514 -x1513
1800.08/1800.62 v x1512 x1511 x1510 -x1509 -x1508 x1507 -x1506 x1505 -x1504 -x1503 -x1502 -x1501 -x1500 x1499 -x1498 x1497 x1496 x1495 x1494 x1493
1800.08/1800.62 v -x1492 x1491 x1490 -x1489 x1488 x1487 x1486 x1485 -x1484 x1483 x1482 x1481 -x1480 x1479 x1478 x1477 x1476 x1475 x1474 x1473
1800.08/1800.62 v x1472 x1471 x1470 -x1469 x1468 x1467 -x1466 -x1465 -x1464 x1463 x1462 x1461 -x1460 x1459 x1458 x1457 x1456 -x1455 x1454 x1453
1800.08/1800.62 v -x1452 -x1451 -x1450 x1449 x1448 x1447 x1446 -x1445 -x1444 x1443 x1442 -x1441 x1440 x1439 -x1438 x1437 x1436 x1435 -x1434
1800.08/1800.62 v -x1433 -x1432 x1431 x1430 x1429 x1428 -x1427 x1426 x1425 -x1424 x1423 x1422 x1421 x1420 -x1419 -x1418 -x1417 -x1416 x1415 x1414
1800.08/1800.62 v x1413 x1412 -x1411 x1410 x1409 -x1408 -x1407 -x1406 -x1405 x1404 x1403 x1402 x1401 x1400 x1399 x1398 x1397 x1396 -x1395 x1394
1800.08/1800.62 v -x1393 x1392 -x1391 -x1390 -x1389 -x1388 x1387 x1386 x1385 x1384 x1383 -x1382 x1381 -x1380 x1379 -x1378 -x1377 -x1376 x1375
1800.08/1800.62 v -x1374 -x1373 x1372 x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 x1364 x1363 x1362 -x1361 x1360 x1359 x1358 x1357 x1356
1800.08/1800.62 v x1355 x1354 x1353 x1352 x1351 x1350 x1349 x1348 x1347 x1346 x1345 x1344 -x1343 -x1342 x1341 -x1340 x1339 -x1338 -x1337 x1336
1800.08/1800.62 v x1335 x1334 x1333 -x1332 x1331 x1330 x1329 -x1328 -x1327 x1326 x1325 -x1324 -x1323 x1322 -x1321 x1320 x1319 -x1318 x1317 x1316
1800.08/1800.62 v x1315 x1314 -x1313 x1312 x1311 -x1310 -x1309 x1308 x1307 x1306 -x1305 x1304 x1303 -x1302 x1301 x1300 -x1299 -x1298 x1297
1800.08/1800.62 v -x1296 -x1295 -x1294 x1293 x1292 x1291 x1290 -x1289 x1288 -x1287 -x1286 x1285 x1284 x1283 x1282 x1281 -x1280 x1279 x1278 -x1277
1800.08/1800.62 v x1276 x1275 -x1274 x1273 x1272 x1271 x1270 -x1269 x1268 -x1267 x1266 -x1265 x1264 -x1263 x1262 x1261 x1260 x1259 -x1258 x1257
1800.08/1800.62 v x1256 x1255 x1254 -x1253 -x1252 x1251 x1250 -x1249 x1248 -x1247 -x1246 x1245 x1244 -x1243 x1242 x1241 x1240 -x1239 x1238
1800.08/1800.62 v x1237 -x1236 -x1235 x1234 -x1233 x1232 x1231 x1230 -x1229 x1228 x1227 -x1226 -x1225 -x1224 -x1223 x1222 x1221 x1220 x1219 x1218
1800.08/1800.62 v -x1217 x1216 x1215 x1214 x1213 x1212 x1211 x1210 x1209 x1208 -x1207 x1206 -x1205 x1204 -x1203 x1202 -x1201 -x1200 -x1199 -x1198
1800.08/1800.62 v x1197 x1196 -x1195 x1194 -x1193 x1192 x1191 x1190 x1189 x1188 x1187 -x1186 -x1185 x1184 x1183 -x1182 x1181 x1180 x1179
1800.08/1800.62 v x1178 x1177 -x1176 x1175 x1174 x1173 -x1172 -x1171 x1170 -x1169 -x1168 x1167 -x1166 x1165 x1164 -x1163 x1162 x1161 -x1160 -x1159
1800.08/1800.62 v x1158 x1157 -x1156 x1155 -x1154 x1153 -x1152 x1151 x1150 x1149 -x1148 x1147 x1146 x1145 -x1144 x1143 x1142 -x1141 x1140 x1139
1800.08/1800.62 v x1138 -x1137 -x1136 x1135 x1134 -x1133 x1132 x1131 x1130 -x1129 -x1128 x1127 x1126 x1125 x1124 -x1123 x1122 x1121 x1120
1800.08/1800.62 v x1119 x1118 -x1117 x1116 x1115 -x1114 x1113 x1112 -x1111 -x1110 x1109 -x1108 -x1107 x1106 x1105 x1104 x1103 -x1102 x1101 x1100
1800.08/1800.62 v x1099 x1098 x1097 x1096 -x1095 x1094 x1093 x1092 x1091 x1090 x1089 -x1088 x1087 -x1086 -x1085 x1084 -x1083 -x1082 -x1081 -x1080
1800.08/1800.62 v -x1079 x1078 x1077 x1076 -x1075 x1074 x1073 x1072 -x1071 x1070 x1069 -x1068 -x1067 x1066 x1065 x1064 x1063 x1062 x1061 x1060
1800.08/1800.62 v -x1059 x1058 -x1057 x1056 -x1055 x1054 x1053 x1052 x1051 x1050 -x1049 x1048 -x1047 x1046 x1045 -x1044 x1043 x1042 x1041
1800.08/1800.62 v x1040 -x1039 x1038 x1037 -x1036 x1035 -x1034 -x1033 x1032 x1031 x1030 x1029 x1028 x1027 x1026 x1025 x1024 x1023 x1022 x1021 x1020
1800.08/1800.62 v -x1019 -x1018 x1017 x1016 x1015 x1014 x1013 x1012 x1011 x1010 x1009 -x1008 -x1007 -x1006 -x1005 x1004 x1003 x1002 -x1001
1800.08/1800.62 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.08/1800.62 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.08/1800.62 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.08/1800.62 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.08/1800.62 v -x908 -x907 x906 x905 x904 x903 -x902 x901 -x900 -x899 x898 x897 x896 x895 -x894 x893 -x892 x891 x890 x889 -x888 -x887 -x886
1800.08/1800.62 v -x885 x884 x883 x882 x881 -x880 x879 x878 x877 x876 -x875 x874 x873 -x872 x871 x870 x869 -x868 x867 -x866 x865 -x864 x863 x862
1800.08/1800.62 v -x861 -x860 x859 -x858 x857 x856 -x855 -x854 -x853 x852 x851 -x850 -x849 x848 x847 x846 x845 -x844 x843 x842 -x841 -x840
1800.08/1800.62 v x839 x838 -x837 x836 x835 x834 x833 -x832 x831 x830 -x829 x828 x827 -x826 -x825 x824 x823 x822 x821 x820 x819 -x818 x817 -x816
1800.08/1800.62 v -x815 x814 x813 x812 -x811 x810 x809 -x808 -x807 x806 -x805 x804 -x803 -x802 x801 -x800 x799 x798 -x797 -x796 x795 -x794 x793
1800.08/1800.62 v -x792 x791 x790 x789 x788 x787 x786 x785 x784 x783 x782 x781 x780 -x779 x778 -x777 x776 x775 x774 x773 x772 x771 -x770 x769
1800.08/1800.62 v -x768 x767 x766 -x765 x764 x763 -x762 x761 -x760 -x759 x758 x757 x756 -x755 x754 x753 x752 x751 -x750 -x749 x748 x747 x746
1800.08/1800.62 v x745 x744 -x743 -x742 x741 x740 -x739 x738 -x737 x736 -x735 x734 x733 x732 x731 -x730 -x729 x728 x727 x726 x725 x724 x723 x722
1800.08/1800.62 v -x721 x720 x719 x718 x717 -x716 -x715 x714 x713 x712 x711 x710 -x709 -x708 x707 -x706 -x705 -x704 x703 x702 -x701 x700 -x699
1800.08/1800.62 v x698 -x697 -x696 -x695 x694 -x693 x692 x691 x690 x689 x688 x687 -x686 -x685 x684 x683 x682 x681 -x680 x679 -x678 -x677 x676
1800.08/1800.62 v -x675 x674 -x673 -x672 -x671 x670 x669 x668 x667 x666 -x665 -x664 x663 -x662 x661 x660 x659 x658 x657 -x656 x655 -x654 x653
1800.08/1800.62 v -x652 x651 x650 -x649 x648 x647 x646 x645 -x644 x643 -x642 -x641 -x640 x639 x638 -x637 x636 x635 -x634 x633 -x632 x631 -x630
1800.08/1800.62 v x629 x628 x627 x626 -x625 x624 x623 x622 x621 x620 x619 -x618 x617 x616 x615 -x614 x613 -x612 -x611 x610 x609 x608 x607 x606
1800.08/1800.62 v x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 x597 x596 x595 x594 x593 x592 x591 x590 -x589 x588 x587 x586 -x585 x584 -x583 x582
1800.08/1800.62 v x581 x580 x579 x578 x577 x576 -x575 -x574 -x573 x572 -x571 -x570 x569 -x568 x567 -x566 x565 -x564 x563 -x562 x561 -x560 x559
1800.08/1800.62 v x558 x557 -x556 x555 x554 -x553 x552 x551 -x550 -x549 -x548 -x547 -x546 -x545 x544 -x543 -x542 x541 -x540 x539 x538 x537
1800.08/1800.62 v -x536 -x535 -x534 x533 x532 -x531 x530 x529 x528 -x527 x526 x525 x524 x523 x522 x521 x520 x519 -x518 -x517 x516 x515 x514 x513
1800.08/1800.62 v -x512 -x511 x510 x509 x508 x507 x506 x505 x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 x496 -x495 x494 x493 -x492 x491 -x490
1800.08/1800.62 v -x489 x488 -x487 x486 -x485 -x484 x483 -x482 x481 x480 -x479 -x478 -x477 -x476 x475 x474 x473 -x472 x471 x470 -x469 -x468
1800.08/1800.62 v x467 x466 x465 -x464 -x463 x462 x461 x460 x459 -x458 -x457 x456 x455 -x454 x453 x452 x451 -x450 -x449 -x448 -x447 -x446 x445
1800.08/1800.62 v x444 x443 x442 x441 x440 -x439 x438 -x437 -x436 -x435 -x434 -x433 -x432 x431 x430 x429 -x428 x427 x426 -x425 -x424 x423 x422
1800.08/1800.62 v -x421 x420 x419 -x418 -x417 -x416 -x415 x414 x413 x412 x411 -x410 x409 -x408 -x407 x406 x405 -x404 x403 -x402 -x401 -x400 x399
1800.08/1800.62 v x398 x397 -x396 -x395 -x394 -x393 -x392 x391 -x390 x389 x388 x387 x386 x385 x384 -x383 x382 x381 x380 -x379 -x378 x377 x376
1800.08/1800.62 v -x375 -x374 -x373 x372 x371 x370 x369 -x368 x367 x366 -x365 x364 x363 -x362 -x361 -x360 -x359 x358 x357 -x356 -x355 x354 -x353
1800.08/1800.62 v x352 x351 -x350 x349 x348 -x347 -x346 x345 x344 -x343 x342 x341 x340 -x339 x338 x337 -x336 x335 x334 -x333 x332 x331 x330
1800.08/1800.62 v x329 x328 -x327 -x326 x325 -x324 x323 x322 -x321 x320 -x319 x318 -x317 x316 -x315 x314 -x313 x312 x311 x310 x309 x308 -x307 x306
1800.08/1800.62 v -x305 x304 -x303 -x302 x301 x300 -x299 x298 x297 -x296 -x295 x294 x293 -x292 x291 x290 -x289 x288 -x287 -x286 -x285 x284
1800.08/1800.62 v -x283 x282 x281 x280 -x279 -x278 -x277 x276 -x275 x274 x273 x272 x271 x270 x269 -x268 x267 x266 x265 x264 -x263 -x262 x261 x260
1800.08/1800.62 v x259 x258 x257 -x256 x255 x254 x253 x252 -x251 x250 x249 x248 -x247 x246 x245 -x244 x243 -x242 x241 x240 x239 x238 -x237 x236
1800.08/1800.62 v x235 x234 -x233 x232 -x231 x230 x229 -x228 x227 -x226 x225 x224 x223 x222 x221 -x220 -x219 x218 x217 x216 x215 x214 x213
1800.08/1800.62 v x212 x211 x210 x209 x208 x207 -x206 x205 -x204 -x203 x202 x201 x200 x199 x198 -x197 -x196 -x195 x194 x193 -x192 x191 x190 -x189
1800.08/1800.62 v x188 x187 -x186 x185 x184 x183 x182 x181 -x180 -x179 x178 x177 x176 -x175 -x174 -x173 -x172 x171 x170 x169 x168 x167 x166
1800.08/1800.62 v x165 -x164 -x163 x162 x161 -x160 x159 -x158 x157 -x156 x155 x154 x153 -x152 x151 -x150 x149 -x148 -x147 -x146 x145 x144 x143
1800.08/1800.62 v x142 x141 x140 x139 x138 x137 x136 x135 x134 x133 x132 x131 x130 x129 x128 x127 -x126 -x125 x124 x123 x122 x121 -x120 -x119 -x118
1800.08/1800.62 v x117 -x116 x115 -x114 x113 -x112 -x111 x110 -x109 x108 -x107 x106 -x105 x104 -x103 x102 x101 x100 x99 x98 x97 x96 -x95 x94
1800.08/1800.62 v -x93 x92 -x91 -x90 -x89 x88 -x87 -x86 x85 x84 x83 -x82 x81 x80 -x79 -x78 -x77 x76 x75 x74 x73 x72 x71 x70 x69 x68 x67 x66
1800.08/1800.62 v -x65 x64 -x63 x62 -x61 x60 x59 x58 x57 x56 -x55 -x54 -x53 x52 -x51 x50 x49 -x48 x47 x46 x45 -x44 x43 x42 x41 x40 x39 x38 x37
1800.08/1800.62 v x36 x35 -x34 -x33 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
1800.08/1800.62 v x7 -x6 -x5 x4 x3 x2 -x1
1800.08/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.62 c Solving Time : 1719.51
1800.08/1800.62 c Original Problem :
1800.08/1800.62 c Problem name : HOME/instance-2664055-1276389314.opb
1800.08/1800.62 c Variables : 1963 (1963 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.62 c Constraints : 4000 initial, 4000 maximal
1800.08/1800.62 c Presolved Problem :
1800.08/1800.62 c Problem name : t_HOME/instance-2664055-1276389314.opb
1800.08/1800.62 c Variables : 1524 (1524 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.62 c Constraints : 2954 initial, 2954 maximal
1800.08/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.62 c dualfix : 0.00 207 0 0 0 0 0 0 0
1800.08/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.62 c implics : 0.02 0 0 0 0 0 0 0 0
1800.08/1800.62 c probing : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.62 c linear : 0.05 0 232 0 0 0 1046 0 0
1800.08/1800.62 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.08/1800.62 c root node : - 0 - - 0 - - - -
1800.08/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.62 c logicor : 2954+ 0 6443326 0 2 3920 5177439 0 0 0
1800.08/1800.62 c countsols : 0 0 0 0 2 0 0 0 0 0
1800.08/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.62 c logicor : 28.12 0.00 28.12 0.00 0.00
1800.08/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.62 c vbounds : 5.82 2 0 0
1800.08/1800.62 c rootredcost : 5.85 0 0 0
1800.08/1800.62 c pseudoobj : 1381.48 13156660 2334709 52475252
1800.08/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.62 c propagation : 6.70 3920 3920 3920 307.2 0 0.0 -
1800.08/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.62 c pseudo solution : 0.00 1 0 0 0.0 0 0.0 -
1800.08/1800.62 c applied globally : - - - 0 0.0 - - -
1800.08/1800.62 c applied locally : - - - 3920 307.2 - - -
1800.08/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.62 c redcost : 0.00 0 0 0 0 0
1800.08/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.62 c intobj : 0.00 0 0 0 0 0
1800.08/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.62 c gomory : 0.00 0 0 0 0 0
1800.08/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.62 c cmir : 0.00 0 0 0 0 0
1800.08/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.62 c clique : 0.00 0 0 0 0 0
1800.08/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.62 c mcf : 0.00 0 0 0 0 0
1800.08/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.62 c Pricers : Time Calls Vars
1800.08/1800.62 c problem variables: 0.00 0 0
1800.08/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.62 c inference : 86.87 2339101 0 0 0 0 4678202
1800.08/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.62 c random : 0.00 0 0 0 0 0 0
1800.08/1800.62 c Primal Heuristics : Time Calls Found
1800.08/1800.62 c LP solutions : 0.00 - 0
1800.08/1800.62 c pseudo solutions : 0.00 - 2
1800.08/1800.62 c oneopt : 3.25 0 0
1800.08/1800.62 c trivial : 0.00 2 3
1800.08/1800.62 c simplerounding : 0.00 0 0
1800.08/1800.62 c zirounding : 0.00 0 0
1800.08/1800.62 c rounding : 0.00 0 0
1800.08/1800.62 c shifting : 0.00 0 0
1800.08/1800.62 c intshifting : 0.00 0 0
1800.08/1800.62 c twoopt : 0.00 0 0
1800.08/1800.62 c fixandinfer : 0.00 0 0
1800.08/1800.62 c feaspump : 0.00 0 0
1800.08/1800.62 c coefdiving : 0.00 0 0
1800.08/1800.62 c pscostdiving : 0.00 0 0
1800.08/1800.62 c fracdiving : 0.00 0 0
1800.08/1800.62 c veclendiving : 0.00 0 0
1800.08/1800.62 c intdiving : 0.00 0 0
1800.08/1800.62 c actconsdiving : 0.00 0 0
1800.08/1800.62 c objpscostdiving : 0.00 0 0
1800.08/1800.62 c rootsoldiving : 0.00 0 0
1800.08/1800.62 c linesearchdiving : 0.00 0 0
1800.08/1800.62 c guideddiving : 0.00 0 0
1800.08/1800.62 c octane : 0.00 0 0
1800.08/1800.62 c rens : 0.00 0 0
1800.08/1800.62 c rins : 0.00 0 0
1800.08/1800.62 c localbranching : 0.00 0 0
1800.08/1800.62 c mutation : 0.00 0 0
1800.08/1800.62 c crossover : 0.00 0 0
1800.08/1800.62 c dins : 0.00 0 0
1800.08/1800.62 c undercover : 0.00 0 0
1800.08/1800.62 c nlp : 2.05 0 0
1800.08/1800.62 c trysol : 1.95 0 0
1800.08/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.62 c (at root node) : - 0 0 0.00 -
1800.08/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.62 c B&B Tree :
1800.08/1800.62 c number of runs : 1
1800.08/1800.62 c nodes : 4676226
1800.08/1800.62 c nodes (total) : 4676226
1800.08/1800.62 c nodes left : 379
1800.08/1800.62 c max depth : 508
1800.08/1800.62 c max depth (total): 508
1800.08/1800.62 c backtracks : 1130761 (24.2%)
1800.08/1800.62 c delayed cutoffs : 1529
1800.08/1800.62 c repropagations : 1862 (38180 domain reductions, 1507 cutoffs)
1800.08/1800.62 c avg switch length: 2.00
1800.08/1800.62 c switching time : 74.73
1800.08/1800.62 c Solution :
1800.08/1800.62 c Solutions found : 5 (4 improvements)
1800.08/1800.62 c First Solution : +1.96300000000000e+03 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.08/1800.62 c Primal Bound : +1.23200000000000e+03 (in run 1, after 666041 nodes, 244.22 seconds, depth 400, found by <relaxation>)
1800.08/1800.62 c Dual Bound : +2.18000000000000e+02
1800.08/1800.62 c Gap : 465.14 %
1800.08/1800.62 c Root Dual Bound : +2.17000000000000e+02
1800.08/1800.62 c Root Iterations : 0
1800.08/1800.64 c Time complete: 1800.11.