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-2664056-1276390742.opb>
0.00/0.08 c original problem has 1961 variables (1961 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.00/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.11 o 1961
0.09/0.11 c feasible solution found by trivial heuristic, objective value 1.961000e+03
0.09/0.11 c presolving:
0.09/0.13 c (round 1) 140 del vars, 140 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.14 c (round 2) 293 del vars, 650 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.15 c (round 3) 339 del vars, 762 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.15 c (round 4) 368 del vars, 855 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.16 c (round 5) 378 del vars, 877 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.16 c (round 6) 382 del vars, 894 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.17 c (round 7) 383 del vars, 899 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.19/0.22 c (round 8) 383 del vars, 901 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3099 upgd conss, 7996 impls, 0 clqs
0.19/0.25 c (0.1s) probing: 101/1578 (6.4%) - 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 383 deleted vars, 901 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.25 c 7996 implications, 0 cliques
0.19/0.25 c presolved problem has 1578 variables (1578 bin, 0 int, 0 impl, 0 cont) and 3099 constraints
0.19/0.25 c 3099 constraints of type <logicor>
0.19/0.25 c transformed objective value is always integral (scale: 1)
0.19/0.25 c Presolving Time: 0.13
0.19/0.25 c - non default parameters ----------------------------------------------------------------------
0.19/0.25 c # SCIP version 1.2.1.2
0.19/0.25 c
0.19/0.25 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.25 c conflict/interconss = 0
0.19/0.25 c
0.19/0.25 c # should binary conflicts be preferred?
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c conflict/preferbinary = TRUE
0.19/0.25 c
0.19/0.25 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.25 c constraints/agelimit = 1
0.19/0.25 c
0.19/0.25 c # should enforcement of pseudo solution be disabled?
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/disableenfops = TRUE
0.19/0.25 c
0.19/0.25 c # frequency for displaying node information lines
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.25 c display/freq = 10000
0.19/0.25 c
0.19/0.25 c # maximal time in seconds to run
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/time = 1799.93
0.19/0.25 c
0.19/0.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/memory = 1620
0.19/0.25 c
0.19/0.25 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.25 c lp/solvefreq = -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.26 c
0.19/0.26 o 1767
0.19/0.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.26 c t 0.1s| 1 | 0 | 0 | - |5841k| 0 | - |1578 |3099 | 0 | 0 | 0 | 0 | 0 | -- | 1.767000e+03 | Inf
0.19/0.26 c 0.1s| 1 | 2 | 0 | - |5792k| 0 | - |1578 |3099 | 0 | 0 | 0 | 0 | 0 | 1.890000e+02 | 1.767000e+03 | 834.92%
0.29/0.39 o 1251
0.29/0.39 c * 0.3s| 517 | 493 | 0 | 0.0 |6254k| 516 | - |1578 |3099 | 0 | 0 | 0 | 0 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
5.09/5.18 c 4.9s| 10000 | 432 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
10.09/10.17 c 9.6s| 20000 | 430 | 0 | 0.0 |6348k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
15.58/15.69 c 15.0s| 30000 | 428 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
21.08/21.16 c 20.2s| 40000 | 428 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
26.68/26.77 c 25.6s| 50000 | 424 | 0 | 0.0 |6344k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
31.78/31.80 c 30.4s| 60000 | 424 | 0 | 0.0 |6344k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
36.58/36.60 c 35.0s| 70000 | 426 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
41.38/41.48 c 39.6s| 80000 | 426 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
46.57/46.68 c 44.6s| 90000 | 424 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
52.27/52.32 c 50.0s|100000 | 424 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
57.87/57.96 c 55.5s|110000 | 424 | 0 | 0.0 |6348k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
63.57/63.61 c 60.9s|120000 | 422 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
68.87/68.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.87/68.95 c 66.0s|130000 | 422 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
74.16/74.29 c 71.2s|140000 | 422 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
79.56/79.64 c 76.2s|150000 | 422 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
84.86/84.97 c 81.3s|160000 | 422 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
90.17/90.29 c 86.4s|170000 | 422 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
95.56/95.62 c 91.5s|180000 | 422 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
100.86/100.96 c 96.6s|190000 | 424 | 0 | 0.0 |6349k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
106.16/106.29 c 102s|200000 | 418 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
111.56/111.63 c 107s|210000 | 418 | 0 | 0.0 |6344k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
116.85/116.98 c 112s|220000 | 422 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
122.24/122.34 c 117s|230000 | 418 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
127.55/127.70 c 122s|240000 | 418 | 0 | 0.0 |6344k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
132.94/133.05 c 127s|250000 | 418 | 0 | 0.0 |6344k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
138.34/138.41 c 132s|260000 | 422 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
143.63/143.77 c 138s|270000 | 420 | 0 | 0.0 |6349k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
149.03/149.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.03/149.13 c 143s|280000 | 420 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
154.44/154.50 c 148s|290000 | 418 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
159.73/159.88 c 153s|300000 | 418 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
165.13/165.25 c 158s|310000 | 418 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
170.54/170.63 c 163s|320000 | 418 | 0 | 0.0 |6344k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
175.93/176.00 c 168s|330000 | 418 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
181.23/181.39 c 174s|340000 | 418 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
186.63/186.77 c 179s|350000 | 418 | 0 | 0.0 |6344k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
192.02/192.14 c 184s|360000 | 418 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
197.42/197.53 c 189s|370000 | 416 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
202.82/202.91 c 194s|380000 | 414 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
208.12/208.30 c 199s|390000 | 414 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
213.51/213.67 c 205s|400000 | 416 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
218.93/219.05 c 210s|410000 | 418 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
224.32/224.44 c 215s|420000 | 418 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
229.71/229.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.71/229.83 c 220s|430000 | 416 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
235.11/235.23 c 225s|440000 | 416 | 0 | 0.0 |6348k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
240.51/240.63 c 230s|450000 | 418 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
245.91/246.01 c 235s|460000 | 414 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
251.30/251.40 c 241s|470000 | 414 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
256.61/256.79 c 246s|480000 | 410 | 0 | 0.0 |6344k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
262.00/262.18 c 251s|490000 | 418 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
267.41/267.56 c 256s|500000 | 414 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
272.81/272.96 c 261s|510000 | 414 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
278.21/278.35 c 266s|520000 | 414 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
283.60/283.74 c 272s|530000 | 418 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
289.00/289.14 c 277s|540000 | 410 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
294.39/294.54 c 282s|550000 | 412 | 0 | 0.0 |6349k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
299.79/299.92 c 287s|560000 | 410 | 0 | 0.0 |6344k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
305.20/305.32 c 292s|570000 | 414 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
310.60/310.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
310.60/310.73 c 297s|580000 | 416 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
315.99/316.15 c 303s|590000 | 416 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
321.39/321.57 c 308s|600000 | 416 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
326.88/327.00 c 313s|610000 | 414 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
332.29/332.43 c 318s|620000 | 416 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
337.69/337.87 c 323s|630000 | 412 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
343.09/343.30 c 329s|640000 | 410 | 0 | 0.0 |6349k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
348.59/348.73 c 334s|650000 | 416 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
353.97/354.17 c 339s|660000 | 412 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
359.38/359.59 c 344s|670000 | 412 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
364.87/365.03 c 349s|680000 | 412 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
370.27/370.48 c 355s|690000 | 412 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
375.77/375.92 c 360s|700000 | 412 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
381.17/381.37 c 365s|710000 | 408 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
385.47/385.60 c 369s|720000 | 412 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
389.67/389.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
389.67/389.83 c 373s|730000 | 416 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
393.86/394.03 c 377s|740000 | 412 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
398.07/398.26 c 381s|750000 | 414 | 0 | 0.0 |6348k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
402.26/402.50 c 385s|760000 | 412 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
406.56/406.72 c 389s|770000 | 412 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
410.76/410.95 c 393s|780000 | 414 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
414.96/415.19 c 397s|790000 | 412 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
419.25/419.42 c 401s|800000 | 408 | 0 | 0.0 |6344k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
423.46/423.65 c 405s|810000 | 414 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
427.65/427.89 c 410s|820000 | 410 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
431.95/432.13 c 414s|830000 | 412 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
436.15/436.37 c 418s|840000 | 408 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
440.45/440.60 c 422s|850000 | 414 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
444.65/444.83 c 426s|860000 | 412 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
448.85/449.07 c 430s|870000 | 412 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
453.05/453.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
453.05/453.30 c 434s|880000 | 408 | 0 | 0.0 |6344k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
457.35/457.53 c 438s|890000 | 410 | 0 | 0.0 |6348k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
461.55/461.76 c 442s|900000 | 412 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
465.84/466.00 c 446s|910000 | 412 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
470.05/470.24 c 450s|920000 | 412 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
474.24/474.48 c 454s|930000 | 410 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
478.54/478.72 c 458s|940000 | 412 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
482.75/482.95 c 462s|950000 | 410 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
486.94/487.19 c 466s|960000 | 410 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
491.24/491.43 c 470s|970000 | 408 | 0 | 0.0 |6344k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
495.44/495.66 c 474s|980000 | 410 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
499.64/499.89 c 478s|990000 | 412 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
503.93/504.13 c 482s| 1000k| 408 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
508.14/508.36 c 486s| 1010k| 410 | 0 | 0.0 |6348k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
512.44/512.60 c 491s| 1020k| 408 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
516.63/516.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
516.63/516.83 c 495s| 1030k| 408 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
520.82/521.07 c 499s| 1040k| 410 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
525.13/525.31 c 503s| 1050k| 414 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
529.33/529.56 c 507s| 1060k| 408 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
533.62/533.81 c 511s| 1070k| 408 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
537.83/538.04 c 515s| 1080k| 408 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
542.02/542.27 c 519s| 1090k| 410 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
546.32/546.51 c 523s| 1100k| 408 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
550.52/550.75 c 527s| 1110k| 410 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
554.82/555.00 c 531s| 1120k| 410 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
559.01/559.24 c 535s| 1130k| 412 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
563.21/563.48 c 539s| 1140k| 408 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
567.52/567.72 c 543s| 1150k| 408 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
571.71/571.96 c 547s| 1160k| 406 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
576.02/576.20 c 551s| 1170k| 412 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
580.22/580.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
580.22/580.44 c 555s| 1180k| 408 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
584.41/584.69 c 559s| 1190k| 408 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
588.71/588.94 c 564s| 1200k| 404 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
592.91/593.18 c 568s| 1210k| 412 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
597.22/597.43 c 572s| 1220k| 410 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
601.41/601.68 c 576s| 1230k| 406 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
606.50/606.71 c 581s| 1240k| 410 | 0 | 0.0 |6348k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
612.10/612.33 c 586s| 1250k| 410 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
617.70/617.97 c 591s| 1260k| 410 | 0 | 0.0 |6348k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
623.40/623.60 c 597s| 1270k| 410 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
629.00/629.24 c 602s| 1280k| 408 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
634.60/634.89 c 608s| 1290k| 410 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
640.30/640.54 c 613s| 1300k| 414 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
645.89/646.16 c 618s| 1310k| 408 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
651.59/651.80 c 624s| 1320k| 406 | 0 | 0.0 |6348k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
657.19/657.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
657.19/657.44 c 629s| 1330k| 406 | 0 | 0.0 |6348k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
662.79/663.08 c 635s| 1340k| 406 | 0 | 0.0 |6348k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
668.48/668.72 c 640s| 1350k| 406 | 0 | 0.0 |6348k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
674.09/674.36 c 645s| 1360k| 406 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
679.78/680.00 c 651s| 1370k| 414 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
685.38/685.64 c 656s| 1380k| 410 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
691.08/691.30 c 662s| 1390k| 412 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
696.68/696.95 c 667s| 1400k| 408 | 0 | 0.0 |6348k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
702.38/702.60 c 672s| 1410k| 408 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
707.98/708.25 c 678s| 1420k| 406 | 0 | 0.0 |6348k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
713.68/713.91 c 683s| 1430k| 406 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
719.28/719.55 c 689s| 1440k| 406 | 0 | 0.0 |6348k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
724.97/725.20 c 694s| 1450k| 410 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
730.57/730.85 c 699s| 1460k| 406 | 0 | 0.0 |6348k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
736.27/736.51 c 705s| 1470k| 408 | 0 | 0.0 |6348k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
741.86/742.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
741.86/742.16 c 710s| 1480k| 402 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
747.56/747.81 c 716s| 1490k| 406 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
752.66/752.93 c 721s| 1500k| 408 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
756.76/757.06 c 724s| 1510k| 408 | 0 | 0.0 |6348k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
760.97/761.20 c 728s| 1520k| 406 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
765.06/765.33 c 732s| 1530k| 412 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
769.16/769.46 c 736s| 1540k| 410 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
773.26/773.59 c 740s| 1550k| 410 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
777.46/777.74 c 744s| 1560k| 406 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
781.55/781.88 c 748s| 1570k| 406 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
785.75/786.01 c 752s| 1580k| 408 | 0 | 0.0 |6348k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
789.85/790.15 c 756s| 1590k| 406 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
793.96/794.29 c 760s| 1600k| 406 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
798.14/798.42 c 764s| 1610k| 406 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
802.24/802.56 c 768s| 1620k| 406 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
806.44/806.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
806.44/806.70 c 772s| 1630k| 410 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
810.55/810.84 c 776s| 1640k| 408 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
814.64/814.97 c 780s| 1650k| 406 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
818.84/819.12 c 784s| 1660k| 404 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
822.94/823.25 c 788s| 1670k| 406 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
827.04/827.38 c 792s| 1680k| 406 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
831.24/831.52 c 796s| 1690k| 408 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
835.33/835.66 c 800s| 1700k| 406 | 0 | 0.0 |6347k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
839.54/839.80 c 804s| 1710k| 410 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
843.63/843.94 c 808s| 1720k| 406 | 0 | 0.0 |6345k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
847.73/848.08 c 812s| 1730k| 410 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
851.93/852.22 c 816s| 1740k| 404 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
856.03/856.36 c 819s| 1750k| 404 | 0 | 0.0 |6346k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.251000e+03 | 558.42%
859.63/859.93 o 1250
859.63/859.93 c * 823s| 1758k| 418 | 0 | 0.0 |6378k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
860.43/860.71 c 824s| 1760k| 409 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
866.03/866.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
866.03/866.33 c 829s| 1770k| 407 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
871.63/871.95 c 834s| 1780k| 407 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
877.33/877.61 c 840s| 1790k| 407 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
882.92/883.23 c 845s| 1800k| 407 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
888.53/888.87 c 851s| 1810k| 407 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
894.21/894.51 c 856s| 1820k| 405 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
899.82/900.14 c 861s| 1830k| 407 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
905.41/905.77 c 867s| 1840k| 405 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
911.11/911.41 c 872s| 1850k| 407 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
916.70/917.05 c 878s| 1860k| 409 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
922.30/922.69 c 883s| 1870k| 407 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
928.00/928.32 c 888s| 1880k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
933.60/933.97 c 894s| 1890k| 409 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
939.21/939.58 c 899s| 1900k| 409 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
944.89/945.20 c 905s| 1910k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
950.50/950.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
950.50/950.82 c 910s| 1920k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
956.09/956.45 c 915s| 1930k| 407 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
961.69/962.08 c 921s| 1940k| 407 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
967.39/967.72 c 926s| 1950k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
972.99/973.35 c 931s| 1960k| 407 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
978.58/978.99 c 937s| 1970k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
984.29/984.63 c 942s| 1980k| 407 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
989.88/990.27 c 948s| 1990k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
995.58/995.90 c 953s| 2000k| 403 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1001.18/1001.54 c 958s| 2010k| 407 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1006.78/1007.19 c 964s| 2020k| 405 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1012.48/1012.81 c 969s| 2030k| 409 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1018.07/1018.44 c 975s| 2040k| 407 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1023.67/1024.07 c 980s| 2050k| 407 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1029.38/1029.71 c 985s| 2060k| 407 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1034.96/1035.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1034.96/1035.32 c 991s| 2070k| 407 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1040.56/1040.96 c 996s| 2080k| 405 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1046.26/1046.61 c 1002s| 2090k| 407 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1051.86/1052.24 c 1007s| 2100k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1057.46/1057.88 c 1012s| 2110k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1063.16/1063.54 c 1018s| 2120k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1068.75/1069.19 c 1023s| 2130k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1074.46/1074.84 c 1029s| 2140k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1080.05/1080.49 c 1034s| 2150k| 405 | 0 | 0.0 |6373k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1085.75/1086.12 c 1039s| 2160k| 403 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1091.34/1091.75 c 1045s| 2170k| 407 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1096.95/1097.38 c 1050s| 2180k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1102.64/1103.02 c 1056s| 2190k| 407 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1108.24/1108.66 c 1061s| 2200k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1113.95/1114.31 c 1066s| 2210k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1119.55/1119.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1119.55/1119.96 c 1072s| 2220k| 407 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1125.14/1125.59 c 1077s| 2230k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1130.84/1131.23 c 1083s| 2240k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1136.43/1136.89 c 1088s| 2250k| 403 | 0 | 0.0 |6373k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1142.13/1142.53 c 1093s| 2260k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1147.73/1148.18 c 1099s| 2270k| 405 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1153.32/1153.79 c 1104s| 2280k| 403 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1157.92/1158.39 c 1109s| 2290k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1162.12/1162.56 c 1113s| 2300k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1166.32/1166.74 c 1117s| 2310k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1170.52/1170.92 c 1121s| 2320k| 407 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1174.72/1175.11 c 1125s| 2330k| 407 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1178.92/1179.31 c 1129s| 2340k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1183.11/1183.50 c 1133s| 2350k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1187.22/1187.68 c 1137s| 2360k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1191.41/1191.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1191.41/1191.85 c 1141s| 2370k| 407 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1195.61/1196.05 c 1145s| 2380k| 405 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1199.82/1200.24 c 1149s| 2390k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1204.01/1204.42 c 1153s| 2400k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1208.21/1208.62 c 1157s| 2410k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1212.40/1212.80 c 1161s| 2420k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1216.50/1216.99 c 1165s| 2430k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1220.72/1221.17 c 1169s| 2440k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1224.91/1225.35 c 1173s| 2450k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1229.10/1229.54 c 1177s| 2460k| 405 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1233.30/1233.74 c 1181s| 2470k| 405 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1237.50/1237.93 c 1185s| 2480k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1241.70/1242.12 c 1189s| 2490k| 407 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1245.91/1246.32 c 1193s| 2500k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1250.10/1250.52 c 1197s| 2510k| 405 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1254.30/1254.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1254.30/1254.71 c 1201s| 2520k| 405 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1258.49/1258.91 c 1205s| 2530k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1262.69/1263.11 c 1209s| 2540k| 405 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1266.89/1267.31 c 1213s| 2550k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1271.09/1271.50 c 1217s| 2560k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1275.29/1275.70 c 1221s| 2570k| 407 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1279.48/1279.90 c 1225s| 2580k| 407 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1283.59/1284.08 c 1229s| 2590k| 405 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1287.80/1288.27 c 1233s| 2600k| 405 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1291.98/1292.47 c 1237s| 2610k| 403 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1296.18/1296.65 c 1241s| 2620k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1300.38/1300.84 c 1245s| 2630k| 405 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1304.58/1305.04 c 1249s| 2640k| 403 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1308.78/1309.23 c 1253s| 2650k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1312.98/1313.42 c 1257s| 2660k| 407 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1317.17/1317.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1317.17/1317.62 c 1261s| 2670k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1321.38/1321.82 c 1265s| 2680k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1325.58/1326.02 c 1269s| 2690k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1329.78/1330.23 c 1273s| 2700k| 405 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1333.98/1334.43 c 1277s| 2710k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1338.18/1338.63 c 1281s| 2720k| 403 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1342.37/1342.83 c 1285s| 2730k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1346.57/1347.04 c 1289s| 2740k| 403 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1350.77/1351.24 c 1293s| 2750k| 407 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1354.97/1355.44 c 1297s| 2760k| 403 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1359.18/1359.65 c 1301s| 2770k| 403 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1363.37/1363.85 c 1305s| 2780k| 403 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1367.56/1368.05 c 1309s| 2790k| 403 | 0 | 0.0 |6370k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1371.77/1372.26 c 1313s| 2800k| 401 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1376.16/1376.65 c 1318s| 2810k| 409 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1381.06/1381.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1381.06/1381.53 c 1322s| 2820k| 411 | 0 | 0.0 |6373k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1385.96/1386.42 c 1327s| 2830k| 409 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1390.85/1391.31 c 1332s| 2840k| 413 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1395.75/1396.21 c 1336s| 2850k| 407 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1400.65/1401.11 c 1341s| 2860k| 409 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1405.56/1406.01 c 1346s| 2870k| 405 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1410.45/1410.90 c 1350s| 2880k| 409 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1415.25/1415.80 c 1355s| 2890k| 407 | 0 | 0.0 |6373k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1420.15/1420.69 c 1360s| 2900k| 409 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1425.16/1425.60 c 1364s| 2910k| 409 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1430.04/1430.50 c 1369s| 2920k| 407 | 0 | 0.0 |6373k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1434.94/1435.42 c 1374s| 2930k| 401 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1439.85/1440.32 c 1379s| 2940k| 409 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1444.74/1445.22 c 1383s| 2950k| 405 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1449.64/1450.12 c 1388s| 2960k| 407 | 0 | 0.0 |6373k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1454.54/1455.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1454.54/1455.02 c 1393s| 2970k| 401 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1459.44/1459.92 c 1397s| 2980k| 409 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1464.33/1464.83 c 1402s| 2990k| 409 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1469.24/1469.74 c 1407s| 3000k| 407 | 0 | 0.0 |6373k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1474.14/1474.64 c 1411s| 3010k| 409 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1479.04/1479.55 c 1416s| 3020k| 405 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1483.93/1484.46 c 1421s| 3030k| 405 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1488.83/1489.37 c 1425s| 3040k| 405 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1493.73/1494.28 c 1430s| 3050k| 405 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1498.63/1499.19 c 1435s| 3060k| 405 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1503.62/1504.11 c 1439s| 3070k| 409 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1508.43/1508.98 c 1444s| 3080k| 409 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1513.32/1513.86 c 1449s| 3090k| 409 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1518.22/1518.75 c 1453s| 3100k| 405 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1523.13/1523.63 c 1458s| 3110k| 405 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1528.01/1528.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1528.01/1528.53 c 1463s| 3120k| 405 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1532.92/1533.42 c 1467s| 3130k| 403 | 0 | 0.0 |6373k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1537.82/1538.30 c 1472s| 3140k| 409 | 0 | 0.0 |6373k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1542.62/1543.19 c 1477s| 3150k| 405 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1547.51/1548.08 c 1481s| 3160k| 409 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1552.42/1552.97 c 1486s| 3170k| 407 | 0 | 0.0 |6373k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1557.31/1557.86 c 1491s| 3180k| 409 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1562.21/1562.75 c 1496s| 3190k| 403 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1567.11/1567.66 c 1500s| 3200k| 401 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1572.01/1572.53 c 1505s| 3210k| 405 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1576.91/1577.43 c 1510s| 3220k| 409 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1581.80/1582.32 c 1514s| 3230k| 405 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1586.71/1587.22 c 1519s| 3240k| 405 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1591.60/1592.12 c 1524s| 3250k| 405 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1596.50/1597.03 c 1528s| 3260k| 405 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1601.40/1601.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1601.40/1601.93 c 1533s| 3270k| 403 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1606.29/1606.83 c 1538s| 3280k| 403 | 0 | 0.0 |6373k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1611.20/1611.72 c 1542s| 3290k| 401 | 0 | 0.0 |6369k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1616.09/1616.62 c 1547s| 3300k| 409 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1621.00/1621.53 c 1552s| 3310k| 405 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1625.89/1626.44 c 1556s| 3320k| 405 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1630.80/1631.36 c 1561s| 3330k| 401 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1635.69/1636.24 c 1566s| 3340k| 409 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1640.59/1641.12 c 1571s| 3350k| 409 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1645.48/1646.01 c 1575s| 3360k| 405 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1650.39/1650.90 c 1580s| 3370k| 405 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1655.29/1655.80 c 1585s| 3380k| 405 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1660.18/1660.71 c 1589s| 3390k| 407 | 0 | 0.0 |6373k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1665.08/1665.60 c 1594s| 3400k| 407 | 0 | 0.0 |6373k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1669.98/1670.50 c 1599s| 3410k| 405 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1674.88/1675.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1674.88/1675.40 c 1603s| 3420k| 405 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1679.78/1680.30 c 1608s| 3430k| 409 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1684.69/1685.21 c 1613s| 3440k| 403 | 0 | 0.0 |6373k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1689.57/1690.11 c 1617s| 3450k| 401 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1694.47/1695.02 c 1622s| 3460k| 405 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1699.37/1699.91 c 1627s| 3470k| 407 | 0 | 0.0 |6373k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1704.27/1704.80 c 1632s| 3480k| 409 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1709.07/1709.69 c 1636s| 3490k| 405 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1713.97/1714.59 c 1641s| 3500k| 409 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1718.96/1719.50 c 1646s| 3510k| 405 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1723.87/1724.41 c 1650s| 3520k| 407 | 0 | 0.0 |6373k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1728.77/1729.31 c 1655s| 3530k| 405 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1733.66/1734.22 c 1660s| 3540k| 405 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1738.56/1739.13 c 1664s| 3550k| 405 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1743.46/1744.04 c 1669s| 3560k| 403 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1748.36/1748.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1748.36/1748.94 c 1674s| 3570k| 403 | 0 | 0.0 |6373k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1753.25/1753.86 c 1678s| 3580k| 405 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1758.16/1758.77 c 1683s| 3590k| 401 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1763.05/1763.66 c 1688s| 3600k| 407 | 0 | 0.0 |6373k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1767.95/1768.56 c 1692s| 3610k| 401 | 0 | 0.0 |6369k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1772.85/1773.44 c 1697s| 3620k| 407 | 0 | 0.0 |6373k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1777.75/1778.33 c 1702s| 3630k| 407 | 0 | 0.0 |6373k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1782.66/1783.23 c 1706s| 3640k| 405 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1787.55/1788.13 c 1711s| 3650k| 405 | 0 | 0.0 |6371k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1792.45/1793.03 c 1716s| 3660k| 409 | 0 | 0.0 |6372k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1797.34/1797.92 c 1720s| 3670k| 405 | 0 | 0.0 |6374k| 516 | - |1578 |3099 | 0 | 0 | 0 | 3 | 0 | 1.900000e+02 | 1.250000e+03 | 557.89%
1800.05/1800.60 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.60 c
1800.05/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.60 c Solving Time (sec) : 1723.08
1800.05/1800.60 c Solving Nodes : 3675471
1800.05/1800.60 c Primal Bound : +1.25000000000000e+03 (5 solutions)
1800.05/1800.60 c Dual Bound : +1.90000000000000e+02
1800.05/1800.60 c Gap : 557.89 %
1800.05/1800.61 s SATISFIABLE
1800.05/1800.61 v x1961 x1960 -x1959 -x1958 -x1957 -x1956 x1955 -x1954 x1953 -x1952 x1951 x1950 x1949 -x1948 -x1947 x1946 x1945 x1944 -x1943 x1942
1800.05/1800.61 v x1941 x1940 x1939 x1938 x1937 x1936 x1935 x1934 -x1933 -x1932 x1931 -x1930 x1929 -x1928 x1927 x1926 -x1925 x1924 x1923 x1922
1800.05/1800.61 v x1921 x1920 x1919 x1918 x1917 -x1916 x1915 -x1914 x1913 x1912 x1911 -x1910 -x1909 x1908 x1907 x1906 x1905 -x1904 x1903 x1902
1800.05/1800.61 v x1901 x1900 -x1899 x1898 -x1897 x1896 -x1895 -x1894 x1893 -x1892 x1891 -x1890 -x1889 -x1888 x1887 x1886 x1885 -x1884 -x1883
1800.05/1800.61 v -x1882 x1881 x1880 -x1879 x1878 -x1877 -x1876 x1875 x1874 x1873 x1872 x1871 -x1870 x1869 x1868 x1867 x1866 -x1865 x1864 x1863
1800.05/1800.61 v x1862 x1861 -x1860 x1859 -x1858 x1857 -x1856 -x1855 x1854 -x1853 -x1852 x1851 x1850 x1849 x1848 x1847 x1846 -x1845 x1844 x1843
1800.05/1800.61 v x1842 x1841 x1840 x1839 x1838 -x1837 x1836 -x1835 x1834 -x1833 x1832 x1831 x1830 -x1829 -x1828 -x1827 x1826 -x1825 -x1824
1800.05/1800.61 v -x1823 x1822 x1821 -x1820 x1819 -x1818 x1817 x1816 -x1815 -x1814 -x1813 -x1812 x1811 x1810 x1809 x1808 -x1807 x1806 x1805 -x1804
1800.05/1800.61 v -x1803 x1802 x1801 x1800 x1799 x1798 x1797 x1796 x1795 x1794 -x1793 -x1792 x1791 x1790 x1789 x1788 x1787 x1786 -x1785 x1784
1800.05/1800.61 v -x1783 x1782 x1781 x1780 x1779 x1778 x1777 x1776 x1775 x1774 x1773 -x1772 x1771 x1770 -x1769 x1768 -x1767 x1766 x1765 -x1764
1800.05/1800.61 v x1763 -x1762 x1761 x1760 -x1759 x1758 x1757 x1756 x1755 -x1754 x1753 -x1752 x1751 x1750 x1749 x1748 -x1747 -x1746 -x1745
1800.05/1800.61 v -x1744 x1743 -x1742 x1741 -x1740 x1739 x1738 x1737 x1736 x1735 x1734 x1733 -x1732 -x1731 -x1730 x1729 x1728 x1727 x1726 x1725
1800.05/1800.61 v -x1724 x1723 x1722 x1721 x1720 -x1719 -x1718 x1717 x1716 x1715 -x1714 x1713 x1712 x1711 x1710 x1709 x1708 -x1707 x1706 -x1705
1800.05/1800.61 v -x1704 x1703 x1702 x1701 x1700 -x1699 x1698 x1697 x1696 -x1695 x1694 -x1693 x1692 -x1691 x1690 x1689 x1688 x1687 x1686 x1685
1800.05/1800.61 v x1684 x1683 x1682 x1681 x1680 -x1679 x1678 x1677 -x1676 -x1675 x1674 x1673 x1672 -x1671 x1670 x1669 x1668 x1667 -x1666 x1665
1800.05/1800.61 v x1664 -x1663 x1662 x1661 -x1660 x1659 -x1658 x1657 x1656 -x1655 x1654 x1653 -x1652 -x1651 x1650 -x1649 x1648 -x1647 -x1646
1800.05/1800.61 v x1645 x1644 -x1643 x1642 x1641 x1640 x1639 -x1638 -x1637 x1636 x1635 -x1634 -x1633 -x1632 x1631 -x1630 x1629 x1628 x1627 x1626
1800.05/1800.61 v x1625 x1624 x1623 x1622 x1621 x1620 -x1619 -x1618 -x1617 -x1616 x1615 -x1614 x1613 -x1612 -x1611 x1610 x1609 -x1608 x1607 x1606
1800.05/1800.61 v -x1605 -x1604 x1603 x1602 -x1601 -x1600 -x1599 -x1598 x1597 x1596 -x1595 x1594 x1593 -x1592 x1591 x1590 x1589 -x1588 x1587
1800.05/1800.61 v -x1586 -x1585 x1584 x1583 x1582 x1581 x1580 x1579 -x1578 -x1577 x1576 -x1575 x1574 x1573 -x1572 -x1571 -x1570 -x1569 x1568
1800.05/1800.61 v x1567 -x1566 x1565 x1564 -x1563 -x1562 -x1561 x1560 -x1559 x1558 x1557 x1556 x1555 x1554 -x1553 -x1552 x1551 -x1550 -x1549 x1548
1800.05/1800.61 v x1547 x1546 -x1545 x1544 x1543 x1542 -x1541 x1540 -x1539 -x1538 -x1537 x1536 x1535 -x1534 x1533 x1532 x1531 x1530 -x1529
1800.05/1800.61 v -x1528 x1527 -x1526 x1525 x1524 -x1523 x1522 x1521 x1520 x1519 -x1518 x1517 x1516 -x1515 x1514 x1513 x1512 -x1511 -x1510 -x1509
1800.05/1800.61 v x1508 x1507 x1506 -x1505 -x1504 x1503 x1502 -x1501 x1500 x1499 x1498 x1497 x1496 -x1495 x1494 x1493 x1492 -x1491 -x1490 x1489
1800.05/1800.61 v x1488 -x1487 x1486 -x1485 x1484 x1483 x1482 x1481 x1480 x1479 x1478 x1477 x1476 x1475 x1474 x1473 x1472 x1471 x1470 x1469
1800.05/1800.61 v -x1468 -x1467 x1466 x1465 -x1464 x1463 x1462 x1461 x1460 -x1459 x1458 x1457 x1456 x1455 x1454 x1453 x1452 x1451 x1450 -x1449
1800.05/1800.61 v x1448 x1447 x1446 -x1445 x1444 x1443 x1442 -x1441 -x1440 x1439 x1438 -x1437 -x1436 -x1435 x1434 -x1433 x1432 x1431 -x1430 x1429
1800.05/1800.61 v -x1428 -x1427 x1426 x1425 x1424 -x1423 x1422 -x1421 x1420 -x1419 x1418 -x1417 -x1416 -x1415 x1414 -x1413 x1412 x1411 x1410
1800.05/1800.61 v x1409 x1408 x1407 x1406 -x1405 -x1404 x1403 x1402 -x1401 x1400 -x1399 -x1398 x1397 x1396 -x1395 x1394 x1393 x1392 -x1391 x1390
1800.05/1800.61 v x1389 x1388 x1387 x1386 -x1385 x1384 x1383 x1382 x1381 -x1380 -x1379 x1378 x1377 -x1376 -x1375 -x1374 -x1373 x1372 x1371
1800.05/1800.61 v x1370 x1369 x1368 x1367 x1366 -x1365 x1364 x1363 x1362 x1361 x1360 -x1359 x1358 x1357 x1356 x1355 x1354 x1353 -x1352 x1351 x1350
1800.05/1800.61 v -x1349 x1348 x1347 -x1346 -x1345 -x1344 x1343 x1342 x1341 x1340 x1339 x1338 x1337 x1336 -x1335 x1334 x1333 x1332 x1331 -x1330
1800.05/1800.61 v -x1329 x1328 x1327 -x1326 x1325 -x1324 -x1323 x1322 -x1321 x1320 x1319 x1318 x1317 x1316 x1315 -x1314 x1313 -x1312 -x1311
1800.05/1800.61 v x1310 x1309 -x1308 x1307 x1306 -x1305 x1304 -x1303 x1302 x1301 -x1300 x1299 -x1298 x1297 -x1296 -x1295 -x1294 x1293 -x1292
1800.05/1800.61 v -x1291 x1290 x1289 -x1288 -x1287 x1286 x1285 x1284 x1283 x1282 x1281 -x1280 -x1279 x1278 -x1277 -x1276 x1275 -x1274 x1273 x1272
1800.05/1800.61 v -x1271 -x1270 x1269 x1268 -x1267 x1266 x1265 -x1264 -x1263 x1262 x1261 -x1260 x1259 x1258 -x1257 -x1256 x1255 x1254 -x1253
1800.05/1800.61 v x1252 -x1251 -x1250 -x1249 x1248 -x1247 -x1246 x1245 x1244 x1243 x1242 -x1241 -x1240 x1239 x1238 x1237 x1236 -x1235 -x1234
1800.05/1800.61 v x1233 x1232 x1231 x1230 x1229 x1228 x1227 x1226 x1225 -x1224 -x1223 -x1222 -x1221 x1220 x1219 -x1218 -x1217 -x1216 -x1215 -x1214
1800.05/1800.61 v x1213 -x1212 x1211 x1210 x1209 x1208 x1207 -x1206 x1205 x1204 -x1203 x1202 -x1201 -x1200 x1199 x1198 x1197 x1196 -x1195 -x1194
1800.05/1800.61 v x1193 -x1192 -x1191 x1190 -x1189 -x1188 -x1187 x1186 x1185 -x1184 x1183 -x1182 x1181 x1180 x1179 -x1178 x1177 -x1176 x1175
1800.05/1800.61 v x1174 x1173 -x1172 -x1171 x1170 -x1169 x1168 x1167 x1166 x1165 x1164 -x1163 x1162 -x1161 x1160 x1159 x1158 x1157 x1156 x1155
1800.05/1800.61 v x1154 x1153 -x1152 -x1151 -x1150 x1149 -x1148 x1147 x1146 -x1145 x1144 x1143 -x1142 x1141 -x1140 x1139 x1138 x1137 x1136
1800.05/1800.61 v x1135 x1134 x1133 x1132 x1131 x1130 x1129 -x1128 x1127 -x1126 -x1125 x1124 -x1123 x1122 x1121 x1120 x1119 x1118 x1117 -x1116
1800.05/1800.61 v x1115 x1114 x1113 -x1112 x1111 x1110 -x1109 x1108 -x1107 x1106 x1105 x1104 -x1103 x1102 -x1101 -x1100 x1099 -x1098 x1097 -x1096
1800.05/1800.61 v -x1095 -x1094 -x1093 x1092 -x1091 x1090 -x1089 x1088 -x1087 -x1086 x1085 -x1084 x1083 -x1082 -x1081 x1080 -x1079 x1078 x1077
1800.05/1800.61 v -x1076 x1075 x1074 x1073 x1072 x1071 x1070 -x1069 x1068 x1067 x1066 -x1065 x1064 -x1063 x1062 x1061 -x1060 x1059 x1058 -x1057
1800.05/1800.61 v -x1056 x1055 -x1054 x1053 x1052 x1051 x1050 x1049 -x1048 x1047 x1046 x1045 x1044 x1043 -x1042 -x1041 x1040 x1039 -x1038 x1037
1800.05/1800.61 v -x1036 x1035 -x1034 x1033 x1032 -x1031 -x1030 x1029 x1028 x1027 x1026 x1025 -x1024 x1023 -x1022 x1021 x1020 -x1019 x1018
1800.05/1800.61 v x1017 x1016 -x1015 x1014 x1013 x1012 x1011 -x1010 x1009 x1008 x1007 x1006 x1005 -x1004 -x1003 -x1002 x1001 x1000 x999 x998 x997
1800.05/1800.61 v x996 x995 -x994 x993 x992 x991 -x990 x989 x988 x987 x986 x985 -x984 x983 -x982 x981 -x980 x979 x978 x977 -x976 x975 x974
1800.05/1800.61 v -x973 -x972 -x971 x970 -x969 x968 -x967 x966 x965 x964 x963 -x962 x961 x960 x959 -x958 x957 -x956 x955 x954 -x953 x952 -x951
1800.05/1800.61 v -x950 x949 -x948 x947 x946 x945 -x944 x943 x942 -x941 x940 x939 -x938 -x937 x936 x935 -x934 -x933 x932 x931 x930 x929 -x928 -x927
1800.05/1800.61 v x926 x925 -x924 x923 x922 x921 x920 x919 x918 -x917 -x916 x915 -x914 -x913 x912 x911 x910 x909 x908 -x907 x906 x905 -x904
1800.05/1800.61 v -x903 x902 -x901 x900 x899 -x898 x897 x896 x895 x894 x893 -x892 x891 x890 x889 x888 x887 x886 x885 -x884 -x883 -x882 -x881
1800.05/1800.61 v -x880 -x879 -x878 x877 x876 -x875 -x874 x873 x872 x871 -x870 x869 -x868 -x867 -x866 x865 -x864 x863 -x862 x861 x860 x859 -x858
1800.05/1800.61 v x857 -x856 -x855 x854 x853 x852 x851 x850 x849 x848 x847 -x846 x845 x844 x843 -x842 -x841 -x840 x839 x838 x837 -x836 x835 x834
1800.05/1800.61 v x833 -x832 -x831 x830 -x829 x828 -x827 x826 x825 x824 x823 -x822 x821 x820 x819 x818 x817 -x816 x815 -x814 x813 x812 x811
1800.05/1800.61 v x810 x809 x808 x807 -x806 x805 x804 -x803 x802 -x801 x800 -x799 x798 x797 -x796 x795 -x794 x793 -x792 -x791 x790 x789 x788 -x787
1800.05/1800.61 v x786 x785 -x784 x783 x782 -x781 -x780 x779 -x778 -x777 x776 x775 x774 -x773 -x772 -x771 x770 x769 x768 x767 x766 x765 x764
1800.05/1800.61 v x763 x762 -x761 x760 x759 x758 x757 -x756 x755 -x754 -x753 x752 -x751 -x750 -x749 x748 -x747 x746 x745 x744 x743 x742 -x741
1800.05/1800.61 v x740 -x739 x738 x737 x736 x735 -x734 x733 -x732 -x731 -x730 x729 x728 -x727 x726 x725 x724 x723 -x722 -x721 -x720 x719 -x718
1800.05/1800.61 v x717 x716 -x715 x714 x713 -x712 -x711 -x710 -x709 -x708 x707 -x706 -x705 x704 x703 -x702 x701 x700 x699 -x698 x697 -x696 x695
1800.05/1800.61 v x694 x693 x692 -x691 -x690 x689 -x688 -x687 -x686 x685 x684 x683 -x682 -x681 x680 -x679 x678 x677 -x676 x675 x674 x673 -x672
1800.05/1800.61 v x671 x670 -x669 x668 x667 -x666 -x665 x664 -x663 x662 x661 x660 -x659 -x658 -x657 x656 x655 x654 -x653 -x652 -x651 x650 x649
1800.05/1800.61 v -x648 x647 -x646 x645 x644 x643 -x642 x641 -x640 x639 x638 x637 -x636 x635 x634 -x633 -x632 x631 x630 -x629 x628 -x627 x626
1800.05/1800.61 v x625 x624 x623 -x622 x621 x620 x619 x618 -x617 x616 x615 x614 x613 x612 -x611 x610 -x609 x608 x607 x606 -x605 -x604 x603 x602
1800.05/1800.61 v x601 x600 x599 -x598 -x597 -x596 x595 -x594 x593 -x592 x591 x590 x589 -x588 x587 x586 x585 x584 x583 x582 x581 -x580 -x579
1800.05/1800.61 v x578 x577 -x576 x575 x574 x573 x572 x571 x570 x569 -x568 x567 x566 -x565 x564 x563 x562 x561 -x560 x559 x558 -x557 x556 -x555
1800.05/1800.61 v -x554 x553 x552 -x551 -x550 x549 x548 -x547 x546 x545 x544 -x543 x542 x541 x540 x539 -x538 -x537 -x536 x535 x534 x533 -x532
1800.05/1800.61 v -x531 -x530 x529 x528 x527 x526 x525 x524 x523 x522 x521 x520 x519 x518 x517 x516 x515 x514 x513 -x512 -x511 x510 x509 -x508
1800.05/1800.61 v x507 x506 x505 x504 x503 x502 -x501 -x500 -x499 -x498 -x497 x496 -x495 -x494 -x493 x492 x491 x490 x489 x488 -x487 -x486 x485
1800.05/1800.61 v -x484 x483 x482 -x481 x480 x479 x478 x477 x476 x475 x474 -x473 x472 x471 x470 x469 -x468 x467 x466 x465 x464 -x463 x462 x461
1800.05/1800.61 v x460 x459 x458 -x457 x456 -x455 x454 x453 x452 x451 x450 -x449 x448 x447 x446 x445 x444 x443 x442 -x441 -x440 x439 x438 x437
1800.05/1800.61 v x436 x435 x434 -x433 x432 x431 x430 -x429 -x428 x427 -x426 x425 -x424 -x423 x422 x421 x420 x419 x418 x417 x416 x415 x414 x413
1800.05/1800.61 v -x412 x411 x410 x409 x408 x407 x406 x405 -x404 x403 x402 x401 x400 -x399 x398 -x397 x396 x395 -x394 x393 -x392 x391 -x390 x389
1800.05/1800.61 v x388 -x387 x386 -x385 x384 -x383 x382 -x381 -x380 x379 -x378 x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 -x368 x367
1800.05/1800.61 v -x366 x365 -x364 x363 x362 x361 -x360 x359 x358 -x357 x356 x355 x354 x353 x352 -x351 -x350 x349 -x348 x347 -x346 x345 x344
1800.05/1800.61 v -x343 -x342 -x341 x340 -x339 x338 x337 x336 x335 -x334 x333 x332 -x331 x330 x329 -x328 x327 -x326 x325 x324 -x323 x322 x321
1800.05/1800.61 v x320 -x319 -x318 -x317 x316 -x315 x314 x313 x312 x311 -x310 -x309 x308 -x307 -x306 x305 x304 x303 x302 -x301 x300 x299 x298 -x297
1800.05/1800.61 v x296 x295 -x294 -x293 -x292 -x291 -x290 x289 x288 x287 x286 x285 x284 x283 -x282 -x281 -x280 x279 x278 x277 x276 -x275 x274
1800.05/1800.61 v x273 x272 -x271 x270 x269 -x268 x267 -x266 -x265 -x264 x263 x262 x261 -x260 x259 x258 -x257 -x256 x255 x254 x253 -x252 x251
1800.05/1800.61 v -x250 x249 -x248 x247 -x246 x245 -x244 -x243 x242 x241 -x240 -x239 x238 x237 -x236 x235 -x234 x233 -x232 -x231 -x230 -x229
1800.05/1800.61 v x228 -x227 x226 -x225 x224 x223 x222 -x221 x220 x219 -x218 -x217 x216 x215 x214 x213 x212 x211 x210 -x209 -x208 x207 -x206 x205
1800.05/1800.61 v x204 -x203 -x202 x201 -x200 x199 -x198 -x197 -x196 x195 -x194 -x193 x192 x191 x190 x189 -x188 -x187 x186 x185 -x184 x183
1800.05/1800.61 v x182 -x181 -x180 -x179 x178 x177 -x176 x175 x174 x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 -x163 x162 x161 -x160
1800.05/1800.61 v x159 x158 -x157 -x156 x155 x154 x153 x152 -x151 x150 x149 x148 x147 x146 -x145 x144 x143 -x142 -x141 x140 x139 x138 x137 x136
1800.05/1800.61 v x135 x134 x133 x132 x131 x130 x129 x128 x127 -x126 -x125 x124 x123 -x122 -x121 -x120 x119 -x118 x117 x116 -x115 x114 -x113
1800.05/1800.61 v x112 x111 -x110 x109 x108 x107 x106 -x105 x104 -x103 x102 -x101 -x100 -x99 x98 x97 x96 -x95 x94 x93 x92 x91 x90 x89 -x88 x87
1800.05/1800.61 v -x86 x85 x84 x83 -x82 x81 -x80 -x79 x78 x77 -x76 -x75 x74 x73 x72 x71 -x70 -x69 -x68 x67 -x66 x65 -x64 -x63 x62 -x61 -x60 x59
1800.05/1800.61 v x58 x57 -x56 -x55 x54 x53 -x52 x51 x50 x49 x48 x47 x46 x45 -x44 x43 x42 x41 -x40 x39 x38 x37 -x36 x35 x34 -x33 x32 x31 x30 x29
1800.05/1800.61 v x28 x27 x26 x25 -x24 -x23 x22 x21 -x20 -x19 -x18 -x17 x16 x15 -x14 x13 x12 x11 x10 x9 -x8 -x7 -x6 x5 x4 -x3 x2 -x1
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time : 1723.08
1800.05/1800.61 c Original Problem :
1800.05/1800.61 c Problem name : HOME/instance-2664056-1276390742.opb
1800.05/1800.61 c Variables : 1961 (1961 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 4000 initial, 4000 maximal
1800.05/1800.61 c Presolved Problem :
1800.05/1800.61 c Problem name : t_HOME/instance-2664056-1276390742.opb
1800.05/1800.61 c Variables : 1578 (1578 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 3099 initial, 3099 maximal
1800.05/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c dualfix : 0.00 183 0 0 0 0 0 0 0
1800.05/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.61 c linear : 0.06 0 200 0 0 0 901 0 0
1800.05/1800.61 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.61 c root node : - 0 - - 0 - - - -
1800.05/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.61 c logicor : 3099+ 0 5389058 0 2 3 3857275 0 0 0
1800.05/1800.61 c countsols : 0 0 0 0 2 0 0 0 0 0
1800.05/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.61 c logicor : 17.52 0.00 17.52 0.00 0.00
1800.05/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.61 c vbounds : 5.65 2 0 0
1800.05/1800.61 c rootredcost : 5.98 0 0 0
1800.05/1800.61 c pseudoobj : 1433.34 14191902 1835461 59780395
1800.05/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.61 c propagation : 0.00 3 3 3 333.7 0 0.0 -
1800.05/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c pseudo solution : 4.41 2058 0 0 0.0 0 0.0 -
1800.05/1800.61 c applied globally : - - - 0 0.0 - - -
1800.05/1800.61 c applied locally : - - - 3 333.7 - - -
1800.05/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.61 c redcost : 0.00 0 0 0 0 0
1800.05/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.61 c intobj : 0.00 0 0 0 0 0
1800.05/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.61 c gomory : 0.00 0 0 0 0 0
1800.05/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.61 c cmir : 0.00 0 0 0 0 0
1800.05/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.61 c clique : 0.00 0 0 0 0 0
1800.05/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.61 c mcf : 0.00 0 0 0 0 0
1800.05/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.61 c Pricers : Time Calls Vars
1800.05/1800.61 c problem variables: 0.00 0 0
1800.05/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c inference : 57.41 1837949 0 0 0 0 3675898
1800.05/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c random : 0.00 0 0 0 0 0 0
1800.05/1800.61 c Primal Heuristics : Time Calls Found
1800.05/1800.61 c LP solutions : 0.00 - 0
1800.05/1800.61 c pseudo solutions : 0.00 - 2
1800.05/1800.61 c oneopt : 2.96 0 0
1800.05/1800.61 c trivial : 0.01 2 3
1800.05/1800.61 c simplerounding : 0.00 0 0
1800.05/1800.61 c zirounding : 0.00 0 0
1800.05/1800.61 c rounding : 0.00 0 0
1800.05/1800.61 c shifting : 0.00 0 0
1800.05/1800.61 c intshifting : 0.00 0 0
1800.05/1800.61 c twoopt : 0.00 0 0
1800.05/1800.61 c fixandinfer : 0.00 0 0
1800.05/1800.61 c feaspump : 0.00 0 0
1800.05/1800.61 c coefdiving : 0.00 0 0
1800.05/1800.61 c pscostdiving : 0.00 0 0
1800.05/1800.61 c fracdiving : 0.00 0 0
1800.05/1800.61 c veclendiving : 0.00 0 0
1800.05/1800.61 c intdiving : 0.00 0 0
1800.05/1800.61 c actconsdiving : 0.00 0 0
1800.05/1800.61 c objpscostdiving : 0.00 0 0
1800.05/1800.61 c rootsoldiving : 0.00 0 0
1800.05/1800.61 c linesearchdiving : 0.00 0 0
1800.05/1800.61 c guideddiving : 0.00 0 0
1800.05/1800.61 c octane : 0.00 0 0
1800.05/1800.61 c rens : 0.00 0 0
1800.05/1800.61 c rins : 0.00 0 0
1800.05/1800.61 c localbranching : 0.00 0 0
1800.05/1800.61 c mutation : 0.00 0 0
1800.05/1800.61 c crossover : 0.00 0 0
1800.05/1800.61 c dins : 0.00 0 0
1800.05/1800.61 c undercover : 0.00 0 0
1800.05/1800.61 c nlp : 1.99 0 0
1800.05/1800.61 c trysol : 1.61 0 0
1800.05/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.61 c (at root node) : - 0 0 0.00 -
1800.05/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.61 c B&B Tree :
1800.05/1800.61 c number of runs : 1
1800.05/1800.61 c nodes : 3675471
1800.05/1800.61 c nodes (total) : 3675471
1800.05/1800.61 c nodes left : 402
1800.05/1800.61 c max depth : 516
1800.05/1800.61 c max depth (total): 516
1800.05/1800.61 c backtracks : 917934 (25.0%)
1800.05/1800.61 c delayed cutoffs : 2
1800.05/1800.61 c repropagations : 2 (18 domain reductions, 2 cutoffs)
1800.05/1800.61 c avg switch length: 2.00
1800.05/1800.61 c switching time : 68.84
1800.05/1800.61 c Solution :
1800.05/1800.61 c Solutions found : 5 (4 improvements)
1800.05/1800.61 c First Solution : +1.96100000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.05/1800.61 c Primal Bound : +1.25000000000000e+03 (in run 1, after 1758615 nodes, 822.87 seconds, depth 420, found by <relaxation>)
1800.05/1800.61 c Dual Bound : +1.90000000000000e+02
1800.05/1800.61 c Gap : 557.89 %
1800.05/1800.61 c Root Dual Bound : +1.89000000000000e+02
1800.05/1800.61 c Root Iterations : 0
1800.05/1800.63 c Time complete: 1800.08.