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-2664054-1276390042.opb>
0.03/0.08 c original problem has 1968 variables (1968 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.03/0.08 c problem read
0.03/0.08 c presolving settings loaded
0.03/0.08 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.10 o 1968
0.09/0.10 c feasible solution found by trivial heuristic, objective value 1.968000e+03
0.09/0.10 c presolving:
0.09/0.13 c (round 1) 156 del vars, 156 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) 321 del vars, 736 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.14 c (round 3) 376 del vars, 852 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) 409 del vars, 942 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) 419 del vars, 965 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) 428 del vars, 983 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) 433 del vars, 1002 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.17 c (round 8) 435 del vars, 1004 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.18 c (round 9) 437 del vars, 1011 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.19/0.22 c (round 10) 437 del vars, 1013 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2987 upgd conss, 7996 impls, 0 clqs
0.19/0.26 c (0.1s) probing: 101/1531 (6.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.26 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.26 c presolving (11 rounds):
0.19/0.26 c 437 deleted vars, 1013 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.26 c 7996 implications, 0 cliques
0.19/0.26 c presolved problem has 1531 variables (1531 bin, 0 int, 0 impl, 0 cont) and 2987 constraints
0.19/0.26 c 2987 constraints of type <logicor>
0.19/0.26 c transformed objective value is always integral (scale: 1)
0.19/0.26 c Presolving Time: 0.13
0.19/0.26 c - non default parameters ----------------------------------------------------------------------
0.19/0.26 c # SCIP version 1.2.1.2
0.19/0.26 c
0.19/0.26 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.26 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.26 c conflict/interconss = 0
0.19/0.26 c
0.19/0.26 c # should binary conflicts be preferred?
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c conflict/preferbinary = TRUE
0.19/0.26 c
0.19/0.26 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.26 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.26 c constraints/agelimit = 1
0.19/0.26 c
0.19/0.26 c # should enforcement of pseudo solution be disabled?
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c constraints/disableenfops = TRUE
0.19/0.26 c
0.19/0.26 c # frequency for displaying node information lines
0.19/0.26 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.26 c display/freq = 10000
0.19/0.26 c
0.19/0.26 c # maximal time in seconds to run
0.19/0.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.26 c limits/time = 1799.93
0.19/0.26 c
0.19/0.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.26 c limits/memory = 1620
0.19/0.26 c
0.19/0.26 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.26 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.26 c lp/solvefreq = -1
0.19/0.26 c
0.19/0.26 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.19/0.26 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.26 c lp/pricing = a
0.19/0.26 c
0.19/0.26 c # should presolving try to simplify inequalities
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c constraints/linear/simplifyinequalities = TRUE
0.19/0.26 c
0.19/0.26 c # should presolving try to simplify knapsacks
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.26 c
0.19/0.26 c # priority of node selection rule <dfs> in standard mode
0.19/0.26 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.26 c nodeselection/dfs/stdpriority = 1000000
0.19/0.26 c
0.19/0.26 c -----------------------------------------------------------------------------------------------
0.19/0.26 c start solving
0.19/0.26 c
0.19/0.27 o 1745
0.19/0.27 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.27 c t 0.1s| 1 | 0 | 0 | - |5820k| 0 | - |1531 |2987 | 0 | 0 | 0 | 0 | 0 | -- | 1.745000e+03 | Inf
0.19/0.27 c 0.1s| 1 | 2 | 0 | - |5772k| 0 | - |1531 |2987 | 0 | 0 | 0 | 0 | 0 | 2.140000e+02 | 1.745000e+03 | 715.42%
0.29/0.39 o 1258
0.29/0.39 c * 0.3s| 488 | 463 | 0 | 0.0 |6208k| 487 | - |1531 |2987 | 0 | 0 | 0 | 0 | 0 | 2.150000e+02 | 1.258000e+03 | 485.12%
1.00/1.09 o 1257
1.00/1.09 c * 0.9s| 2302 | 419 | 0 | 0.0 |6236k| 487 | - |1531 |2987 | 0 | 0 | 0 | 0 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
3.89/3.97 c 3.7s| 10000 | 392 | 0 | 0.0 |6326k| 487 | - |1531 |2987 | 0 | 0 | 0 | 10 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
7.79/7.90 c 7.4s| 20000 | 385 | 0 | 0.0 |6330k| 487 | - |1531 |2987 | 0 | 0 | 0 | 16 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
11.49/11.59 c 10.9s| 30000 | 381 | 0 | 0.0 |6333k| 487 | - |1531 |2987 | 0 | 0 | 0 | 22 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
15.68/15.72 c 14.9s| 40000 | 382 | 0 | 0.0 |6336k| 487 | - |1531 |2987 | 0 | 0 | 0 | 29 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
19.58/19.61 c 18.6s| 50000 | 379 | 0 | 0.0 |6337k| 487 | - |1531 |2987 | 0 | 0 | 0 | 39 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
23.48/23.53 c 22.3s| 60000 | 375 | 0 | 0.0 |6339k| 487 | - |1531 |2987 | 0 | 0 | 0 | 48 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
27.39/27.44 c 26.1s| 70000 | 373 | 0 | 0.0 |6341k| 487 | - |1531 |2987 | 0 | 0 | 0 | 57 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
31.28/31.39 c 29.9s| 80000 | 378 | 0 | 0.0 |6341k| 487 | - |1531 |2987 | 0 | 0 | 0 | 66 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
34.98/35.09 c 33.4s| 90000 | 376 | 0 | 0.0 |6342k| 487 | - |1531 |2987 | 0 | 0 | 0 | 84 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
38.68/38.79 c 36.9s|100000 | 377 | 0 | 0.0 |6343k| 487 | - |1531 |2987 | 0 | 0 | 0 | 105 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
42.48/42.58 c 40.5s|110000 | 376 | 0 | 0.0 |6344k| 487 | - |1531 |2987 | 0 | 0 | 0 | 117 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
46.78/46.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.78/46.84 c 44.6s|120000 | 377 | 0 | 0.0 |6344k| 487 | - |1531 |2987 | 0 | 0 | 0 | 134 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
50.88/50.91 c 48.5s|130000 | 374 | 0 | 0.0 |6345k| 487 | - |1531 |2987 | 0 | 0 | 0 | 149 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
54.88/54.95 c 52.3s|140000 | 373 | 0 | 0.0 |6345k| 487 | - |1531 |2987 | 0 | 0 | 0 | 167 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
58.57/58.60 c 55.8s|150000 | 372 | 0 | 0.0 |6345k| 487 | - |1531 |2987 | 0 | 0 | 0 | 184 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
62.17/62.28 c 59.3s|160000 | 371 | 0 | 0.0 |6345k| 487 | - |1531 |2987 | 0 | 0 | 0 | 201 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
65.88/65.93 c 62.8s|170000 | 377 | 0 | 0.0 |6347k| 487 | - |1531 |2987 | 0 | 0 | 0 | 221 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
69.47/69.59 c 66.3s|180000 | 371 | 0 | 0.0 |6346k| 487 | - |1531 |2987 | 0 | 0 | 0 | 232 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
73.17/73.25 c 69.8s|190000 | 371 | 0 | 0.0 |6347k| 487 | - |1531 |2987 | 0 | 0 | 0 | 252 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
76.87/76.97 c 73.3s|200000 | 374 | 0 | 0.0 |6347k| 487 | - |1531 |2987 | 0 | 0 | 0 | 277 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
80.57/80.62 c 76.8s|210000 | 368 | 0 | 0.0 |6347k| 487 | - |1531 |2987 | 0 | 0 | 0 | 290 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
84.16/84.28 c 80.3s|220000 | 371 | 0 | 0.0 |6349k| 487 | - |1531 |2987 | 0 | 0 | 0 | 304 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
88.16/88.25 c 84.1s|230000 | 371 | 0 | 0.0 |6349k| 487 | - |1531 |2987 | 0 | 0 | 0 | 320 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
92.16/92.30 c 88.0s|240000 | 371 | 0 | 0.0 |6351k| 487 | - |1531 |2987 | 0 | 0 | 0 | 341 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
96.36/96.48 c 92.0s|250000 | 372 | 0 | 0.0 |6350k| 487 | - |1531 |2987 | 0 | 0 | 0 | 358 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
100.56/100.64 c 95.9s|260000 | 369 | 0 | 0.0 |6349k| 487 | - |1531 |2987 | 0 | 0 | 0 | 382 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
104.56/104.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.56/104.68 c 99.8s|270000 | 369 | 0 | 0.0 |6348k| 487 | - |1531 |2987 | 0 | 0 | 0 | 398 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
108.77/108.85 c 104s|280000 | 368 | 0 | 0.0 |6350k| 487 | - |1531 |2987 | 0 | 0 | 0 | 419 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
113.05/113.16 c 108s|290000 | 373 | 0 | 0.0 |6349k| 487 | - |1531 |2987 | 0 | 0 | 0 | 440 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
116.96/117.09 c 112s|300000 | 369 | 0 | 0.0 |6351k| 487 | - |1531 |2987 | 0 | 0 | 0 | 455 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
120.97/121.02 c 115s|310000 | 370 | 0 | 0.0 |6350k| 487 | - |1531 |2987 | 0 | 0 | 0 | 481 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
124.96/125.04 c 119s|320000 | 370 | 0 | 0.0 |6349k| 487 | - |1531 |2987 | 0 | 0 | 0 | 507 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
128.95/129.01 c 123s|330000 | 369 | 0 | 0.0 |6349k| 487 | - |1531 |2987 | 0 | 0 | 0 | 523 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
132.85/132.93 c 127s|340000 | 368 | 0 | 0.0 |6349k| 487 | - |1531 |2987 | 0 | 0 | 0 | 538 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
137.05/137.10 c 131s|350000 | 369 | 0 | 0.0 |6350k| 487 | - |1531 |2987 | 0 | 0 | 0 | 559 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
141.15/141.23 c 135s|360000 | 374 | 0 | 0.0 |6352k| 487 | - |1531 |2987 | 0 | 0 | 0 | 575 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
145.25/145.32 c 139s|370000 | 370 | 0 | 0.0 |6352k| 487 | - |1531 |2987 | 0 | 0 | 0 | 590 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
149.55/149.64 c 143s|380000 | 368 | 0 | 0.0 |6353k| 487 | - |1531 |2987 | 0 | 0 | 0 | 604 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
153.65/153.77 c 147s|390000 | 367 | 0 | 0.0 |6352k| 487 | - |1531 |2987 | 0 | 0 | 0 | 624 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
157.94/158.03 c 151s|400000 | 369 | 0 | 0.0 |6351k| 487 | - |1531 |2987 | 0 | 0 | 0 | 643 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
161.85/161.90 c 155s|410000 | 371 | 0 | 0.0 |6351k| 487 | - |1531 |2987 | 0 | 0 | 0 | 657 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
165.74/165.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
165.74/165.87 c 158s|420000 | 370 | 0 | 0.0 |6351k| 487 | - |1531 |2987 | 0 | 0 | 0 | 669 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
170.45/170.59 c 163s|430000 | 367 | 0 | 0.0 |6352k| 487 | - |1531 |2987 | 0 | 0 | 0 | 677 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
174.44/174.54 c 167s|440000 | 372 | 0 | 0.0 |6353k| 487 | - |1531 |2987 | 0 | 0 | 0 | 692 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
178.94/179.04 c 171s|450000 | 365 | 0 | 0.0 |6352k| 487 | - |1531 |2987 | 0 | 0 | 0 | 703 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
183.43/183.55 c 175s|460000 | 369 | 0 | 0.0 |6352k| 487 | - |1531 |2987 | 0 | 0 | 0 | 715 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
187.64/187.71 c 179s|470000 | 370 | 0 | 0.0 |6351k| 487 | - |1531 |2987 | 0 | 0 | 0 | 732 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
191.83/191.98 c 183s|480000 | 373 | 0 | 0.0 |6353k| 487 | - |1531 |2987 | 0 | 0 | 0 | 761 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
196.14/196.20 c 187s|490000 | 371 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 | 781 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
200.14/200.25 c 191s|500000 | 370 | 0 | 0.0 |6352k| 487 | - |1531 |2987 | 0 | 0 | 0 | 793 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
204.44/204.51 c 195s|510000 | 370 | 0 | 0.0 |6352k| 487 | - |1531 |2987 | 0 | 0 | 0 | 808 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
208.43/208.55 c 199s|520000 | 368 | 0 | 0.0 |6352k| 487 | - |1531 |2987 | 0 | 0 | 0 | 821 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
212.53/212.68 c 203s|530000 | 370 | 0 | 0.0 |6352k| 487 | - |1531 |2987 | 0 | 0 | 0 | 844 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
216.73/216.87 c 207s|540000 | 367 | 0 | 0.0 |6353k| 487 | - |1531 |2987 | 0 | 0 | 0 | 862 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
220.93/221.08 c 211s|550000 | 371 | 0 | 0.0 |6352k| 487 | - |1531 |2987 | 0 | 0 | 0 | 880 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
225.13/225.21 c 215s|560000 | 369 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 | 906 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
229.42/229.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.42/229.55 c 219s|570000 | 367 | 0 | 0.0 |6352k| 487 | - |1531 |2987 | 0 | 0 | 0 | 923 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
233.73/233.84 c 223s|580000 | 371 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 | 940 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
238.12/238.26 c 227s|590000 | 368 | 0 | 0.0 |6351k| 487 | - |1531 |2987 | 0 | 0 | 0 | 955 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
242.32/242.40 c 231s|600000 | 369 | 0 | 0.0 |6353k| 487 | - |1531 |2987 | 0 | 0 | 0 | 972 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
246.52/246.64 c 235s|610000 | 369 | 0 | 0.0 |6352k| 487 | - |1531 |2987 | 0 | 0 | 0 | 990 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
250.62/250.78 c 239s|620000 | 372 | 0 | 0.0 |6353k| 487 | - |1531 |2987 | 0 | 0 | 0 |1003 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
254.82/254.98 c 243s|630000 | 367 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |1022 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
258.81/258.99 c 247s|640000 | 372 | 0 | 0.0 |6352k| 487 | - |1531 |2987 | 0 | 0 | 0 |1037 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
263.01/263.10 c 251s|650000 | 369 | 0 | 0.0 |6354k| 487 | - |1531 |2987 | 0 | 0 | 0 |1048 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
267.42/267.57 c 255s|660000 | 367 | 0 | 0.0 |6351k| 487 | - |1531 |2987 | 0 | 0 | 0 |1050 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
271.71/271.83 c 260s|670000 | 367 | 0 | 0.0 |6352k| 487 | - |1531 |2987 | 0 | 0 | 0 |1062 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
275.92/276.02 c 264s|680000 | 366 | 0 | 0.0 |6353k| 487 | - |1531 |2987 | 0 | 0 | 0 |1078 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
280.01/280.18 c 268s|690000 | 364 | 0 | 0.0 |6353k| 487 | - |1531 |2987 | 0 | 0 | 0 |1086 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
284.21/284.36 c 272s|700000 | 371 | 0 | 0.0 |6354k| 487 | - |1531 |2987 | 0 | 0 | 0 |1103 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
288.61/288.76 c 276s|710000 | 370 | 0 | 0.0 |6354k| 487 | - |1531 |2987 | 0 | 0 | 0 |1128 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
292.81/292.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
292.81/292.94 c 280s|720000 | 369 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |1150 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
297.11/297.29 c 284s|730000 | 370 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |1167 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
301.40/301.52 c 288s|740000 | 369 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |1187 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
305.50/305.67 c 292s|750000 | 369 | 0 | 0.0 |6353k| 487 | - |1531 |2987 | 0 | 0 | 0 |1202 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
309.30/309.42 c 295s|760000 | 368 | 0 | 0.0 |6353k| 487 | - |1531 |2987 | 0 | 0 | 0 |1216 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
313.40/313.57 c 299s|770000 | 369 | 0 | 0.0 |6354k| 487 | - |1531 |2987 | 0 | 0 | 0 |1229 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
317.70/317.90 c 304s|780000 | 369 | 0 | 0.0 |6354k| 487 | - |1531 |2987 | 0 | 0 | 0 |1246 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
322.20/322.33 c 308s|790000 | 369 | 0 | 0.0 |6354k| 487 | - |1531 |2987 | 0 | 0 | 0 |1264 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
326.50/326.62 c 312s|800000 | 365 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |1276 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
330.60/330.76 c 316s|810000 | 371 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |1294 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
334.79/334.93 c 320s|820000 | 370 | 0 | 0.0 |6353k| 487 | - |1531 |2987 | 0 | 0 | 0 |1313 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
338.99/339.16 c 324s|830000 | 371 | 0 | 0.0 |6353k| 487 | - |1531 |2987 | 0 | 0 | 0 |1332 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
343.19/343.34 c 328s|840000 | 365 | 0 | 0.0 |6353k| 487 | - |1531 |2987 | 0 | 0 | 0 |1348 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
347.49/347.63 c 332s|850000 | 369 | 0 | 0.0 |6353k| 487 | - |1531 |2987 | 0 | 0 | 0 |1368 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
351.59/351.77 c 336s|860000 | 371 | 0 | 0.0 |6354k| 487 | - |1531 |2987 | 0 | 0 | 0 |1387 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
355.79/355.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
355.79/355.90 c 340s|870000 | 367 | 0 | 0.0 |6353k| 487 | - |1531 |2987 | 0 | 0 | 0 |1398 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
359.79/359.94 c 344s|880000 | 368 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |1405 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
364.19/364.35 c 348s|890000 | 366 | 0 | 0.0 |6352k| 487 | - |1531 |2987 | 0 | 0 | 0 |1405 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
368.98/369.18 c 353s|900000 | 368 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |1405 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
373.79/373.97 c 357s|910000 | 368 | 0 | 0.0 |6354k| 487 | - |1531 |2987 | 0 | 0 | 0 |1411 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
377.98/378.16 c 361s|920000 | 370 | 0 | 0.0 |6354k| 487 | - |1531 |2987 | 0 | 0 | 0 |1422 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
382.38/382.50 c 365s|930000 | 373 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |1437 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
386.67/386.80 c 369s|940000 | 370 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |1453 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
390.88/391.05 c 374s|950000 | 368 | 0 | 0.0 |6353k| 487 | - |1531 |2987 | 0 | 0 | 0 |1469 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
394.87/395.05 c 377s|960000 | 367 | 0 | 0.0 |6353k| 487 | - |1531 |2987 | 0 | 0 | 0 |1486 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
399.08/399.21 c 381s|970000 | 370 | 0 | 0.0 |6354k| 487 | - |1531 |2987 | 0 | 0 | 0 |1504 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
403.17/403.32 c 385s|980000 | 371 | 0 | 0.0 |6354k| 487 | - |1531 |2987 | 0 | 0 | 0 |1521 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
407.17/407.36 c 389s|990000 | 366 | 0 | 0.0 |6353k| 487 | - |1531 |2987 | 0 | 0 | 0 |1533 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
411.47/411.66 c 393s| 1000k| 368 | 0 | 0.0 |6353k| 487 | - |1531 |2987 | 0 | 0 | 0 |1551 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
415.57/415.72 c 397s| 1010k| 366 | 0 | 0.0 |6354k| 487 | - |1531 |2987 | 0 | 0 | 0 |1568 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
419.76/419.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
419.76/419.94 c 401s| 1020k| 365 | 0 | 0.0 |6354k| 487 | - |1531 |2987 | 0 | 0 | 0 |1581 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
423.67/423.82 c 405s| 1030k| 370 | 0 | 0.0 |6354k| 487 | - |1531 |2987 | 0 | 0 | 0 |1590 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
427.47/427.62 c 408s| 1040k| 366 | 0 | 0.0 |6353k| 487 | - |1531 |2987 | 0 | 0 | 0 |1607 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
431.36/431.50 c 412s| 1050k| 369 | 0 | 0.0 |6353k| 487 | - |1531 |2987 | 0 | 0 | 0 |1623 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
435.37/435.51 c 416s| 1060k| 370 | 0 | 0.0 |6354k| 487 | - |1531 |2987 | 0 | 0 | 0 |1634 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
439.46/439.66 c 420s| 1070k| 362 | 0 | 0.0 |6353k| 487 | - |1531 |2987 | 0 | 0 | 0 |1643 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
443.46/443.61 c 424s| 1080k| 366 | 0 | 0.0 |6353k| 487 | - |1531 |2987 | 0 | 0 | 0 |1651 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
448.05/448.23 c 428s| 1090k| 365 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |1653 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
452.96/453.19 c 433s| 1100k| 367 | 0 | 0.0 |6354k| 487 | - |1531 |2987 | 0 | 0 | 0 |1653 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
457.85/458.04 c 438s| 1110k| 367 | 0 | 0.0 |6353k| 487 | - |1531 |2987 | 0 | 0 | 0 |1653 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
463.05/463.29 c 443s| 1120k| 363 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |1653 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
467.45/467.68 c 447s| 1130k| 371 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |1668 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
471.66/471.88 c 451s| 1140k| 371 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |1693 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
475.75/475.97 c 455s| 1150k| 366 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |1709 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
479.95/480.13 c 459s| 1160k| 365 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |1724 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
484.34/484.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
484.34/484.51 c 463s| 1170k| 366 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |1739 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
488.64/488.85 c 467s| 1180k| 367 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |1758 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
492.84/493.05 c 471s| 1190k| 369 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |1774 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
496.84/497.08 c 475s| 1200k| 371 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |1795 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
501.04/501.24 c 479s| 1210k| 368 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |1811 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
505.33/505.55 c 483s| 1220k| 369 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |1824 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
509.83/510.06 c 487s| 1230k| 366 | 0 | 0.0 |6354k| 487 | - |1531 |2987 | 0 | 0 | 0 |1835 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
513.93/514.10 c 491s| 1240k| 368 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |1852 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
518.33/518.58 c 495s| 1250k| 372 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |1873 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
522.83/523.00 c 500s| 1260k| 369 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |1886 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
526.83/527.04 c 503s| 1270k| 369 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |1904 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
531.03/531.28 c 508s| 1280k| 369 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |1923 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
535.22/535.44 c 511s| 1290k| 367 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |1938 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
539.33/539.58 c 515s| 1300k| 367 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |1959 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
543.42/543.63 c 519s| 1310k| 369 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |1976 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
547.52/547.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
547.52/547.76 c 523s| 1320k| 368 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |1982 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
551.62/551.81 c 527s| 1330k| 365 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |1991 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
556.22/556.45 c 532s| 1340k| 366 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |1997 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
560.51/560.73 c 536s| 1350k| 371 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |2026 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
564.71/564.93 c 540s| 1360k| 369 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |2045 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
569.01/569.21 c 544s| 1370k| 369 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2062 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
573.11/573.35 c 548s| 1380k| 369 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |2074 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
577.71/577.94 c 552s| 1390k| 367 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2089 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
581.81/582.06 c 556s| 1400k| 370 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |2095 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
585.71/585.99 c 560s| 1410k| 366 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |2095 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
589.81/590.01 c 564s| 1420k| 366 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2095 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
594.00/594.21 c 568s| 1430k| 371 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |2104 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
598.11/598.32 c 572s| 1440k| 371 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |2113 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
602.20/602.44 c 576s| 1450k| 366 | 0 | 0.0 |6354k| 487 | - |1531 |2987 | 0 | 0 | 0 |2123 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
606.30/606.60 c 580s| 1460k| 367 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2131 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
610.40/610.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
610.40/610.68 c 583s| 1470k| 368 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2140 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
614.39/614.69 c 587s| 1480k| 368 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2149 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
618.40/618.68 c 591s| 1490k| 369 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |2163 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
622.99/623.21 c 595s| 1500k| 368 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2176 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
627.19/627.42 c 599s| 1510k| 369 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2186 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
631.39/631.62 c 603s| 1520k| 363 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |2195 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
635.79/636.05 c 608s| 1530k| 366 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |2205 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
640.09/640.36 c 612s| 1540k| 368 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2226 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
644.49/644.77 c 616s| 1550k| 365 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |2236 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
648.89/649.16 c 620s| 1560k| 366 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2251 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
653.19/653.44 c 624s| 1570k| 371 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |2269 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
657.39/657.66 c 628s| 1580k| 366 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |2289 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
661.38/661.64 c 632s| 1590k| 371 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |2306 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
665.69/665.91 c 636s| 1600k| 370 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |2324 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
669.98/670.28 c 640s| 1610k| 365 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2338 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
674.38/674.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.38/674.65 c 645s| 1620k| 364 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |2354 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
678.28/678.54 c 648s| 1630k| 372 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |2358 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
682.18/682.46 c 652s| 1640k| 370 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |2358 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
686.57/686.80 c 656s| 1650k| 365 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2366 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
690.97/691.24 c 660s| 1660k| 367 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2374 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
695.48/695.72 c 665s| 1670k| 368 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |2380 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
699.87/700.14 c 669s| 1680k| 370 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |2388 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
703.97/704.23 c 673s| 1690k| 365 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2399 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
708.17/708.47 c 677s| 1700k| 369 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |2414 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
712.58/712.86 c 681s| 1710k| 366 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2422 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
716.57/716.86 c 685s| 1720k| 365 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2433 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
721.06/721.39 c 689s| 1730k| 367 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |2437 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
725.36/725.64 c 693s| 1740k| 370 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |2451 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
729.66/729.98 c 697s| 1750k| 367 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2464 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
733.96/734.27 c 702s| 1760k| 370 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |2482 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
738.16/738.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
738.16/738.47 c 706s| 1770k| 367 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2494 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
742.36/742.68 c 710s| 1780k| 366 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2511 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
746.75/747.02 c 714s| 1790k| 368 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |2527 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
750.96/751.23 c 718s| 1800k| 369 | 0 | 0.0 |6360k| 487 | - |1531 |2987 | 0 | 0 | 0 |2542 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
755.25/755.59 c 722s| 1810k| 365 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2561 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
759.35/759.67 c 726s| 1820k| 368 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |2577 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
763.45/763.77 c 730s| 1830k| 369 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |2586 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
767.85/768.11 c 734s| 1840k| 366 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2602 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
772.25/772.55 c 738s| 1850k| 365 | 0 | 0.0 |6359k| 487 | - |1531 |2987 | 0 | 0 | 0 |2619 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
776.44/776.74 c 742s| 1860k| 367 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |2636 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
780.84/781.15 c 746s| 1870k| 367 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2651 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
784.74/785.02 c 750s| 1880k| 367 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |2669 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
789.25/789.55 c 754s| 1890k| 367 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |2680 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
793.34/793.69 c 758s| 1900k| 370 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |2685 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
797.74/798.07 c 763s| 1910k| 364 | 0 | 0.0 |6354k| 487 | - |1531 |2987 | 0 | 0 | 0 |2699 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
802.14/802.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
802.14/802.48 c 767s| 1920k| 369 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2711 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
806.43/806.70 c 771s| 1930k| 372 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |2722 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
810.73/811.08 c 775s| 1940k| 367 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2735 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
814.94/815.28 c 779s| 1950k| 364 | 0 | 0.0 |6354k| 487 | - |1531 |2987 | 0 | 0 | 0 |2748 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
819.02/819.33 c 783s| 1960k| 365 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |2759 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
823.53/823.86 c 787s| 1970k| 370 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |2768 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
827.83/828.16 c 791s| 1980k| 363 | 0 | 0.0 |6354k| 487 | - |1531 |2987 | 0 | 0 | 0 |2779 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
832.12/832.41 c 795s| 1990k| 366 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |2788 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
836.22/836.53 c 799s| 2000k| 364 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2801 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
840.13/840.49 c 803s| 2010k| 366 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |2810 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
844.42/844.71 c 807s| 2020k| 372 | 0 | 0.0 |6359k| 487 | - |1531 |2987 | 0 | 0 | 0 |2825 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
848.51/848.87 c 811s| 2030k| 371 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |2840 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
852.72/853.00 c 815s| 2040k| 368 | 0 | 0.0 |6359k| 487 | - |1531 |2987 | 0 | 0 | 0 |2851 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
856.81/857.19 c 819s| 2050k| 372 | 0 | 0.0 |6359k| 487 | - |1531 |2987 | 0 | 0 | 0 |2866 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
861.10/861.42 c 823s| 2060k| 369 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |2879 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
865.42/865.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
865.42/865.79 c 827s| 2070k| 372 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |2895 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
869.51/869.85 c 831s| 2080k| 368 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |2904 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
873.80/874.12 c 835s| 2090k| 371 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |2911 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
878.10/878.43 c 839s| 2100k| 367 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |2925 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
882.41/882.70 c 843s| 2110k| 370 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |2938 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
886.40/886.78 c 847s| 2120k| 365 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |2951 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
890.70/891.02 c 851s| 2130k| 369 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |2957 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
894.49/894.83 c 855s| 2140k| 368 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |2966 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
898.79/899.15 c 859s| 2150k| 367 | 0 | 0.0 |6360k| 487 | - |1531 |2987 | 0 | 0 | 0 |2975 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
903.19/903.57 c 863s| 2160k| 370 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |2982 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
907.59/907.98 c 868s| 2170k| 370 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |2985 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
912.00/912.39 c 872s| 2180k| 369 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |2996 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
916.39/916.72 c 876s| 2190k| 367 | 0 | 0.0 |6359k| 487 | - |1531 |2987 | 0 | 0 | 0 |3005 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
920.30/920.69 c 880s| 2200k| 370 | 0 | 0.0 |6360k| 487 | - |1531 |2987 | 0 | 0 | 0 |3017 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
924.80/925.14 c 884s| 2210k| 367 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3025 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
928.89/929.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
928.89/929.29 c 888s| 2220k| 366 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3030 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
933.39/933.75 c 892s| 2230k| 371 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |3035 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
936.98/937.39 c 896s| 2240k| 369 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3035 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
940.68/941.09 c 899s| 2250k| 371 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |3035 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
944.39/944.75 c 903s| 2260k| 367 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3035 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
948.08/948.44 c 906s| 2270k| 371 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3035 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
951.78/952.13 c 910s| 2280k| 369 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3035 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
955.49/955.82 c 913s| 2290k| 369 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3035 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
959.17/959.52 c 917s| 2300k| 369 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3035 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
962.88/963.26 c 920s| 2310k| 373 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |3035 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
966.97/967.33 c 924s| 2320k| 369 | 0 | 0.0 |6359k| 487 | - |1531 |2987 | 0 | 0 | 0 |3035 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
971.07/971.44 c 928s| 2330k| 369 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3035 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
975.18/975.57 c 932s| 2340k| 365 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |3035 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
979.27/979.69 c 936s| 2350k| 367 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3035 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
983.47/983.82 c 940s| 2360k| 367 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3035 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
987.57/987.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
987.57/987.94 c 944s| 2370k| 367 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |3035 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
991.66/992.06 c 948s| 2380k| 367 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3035 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
995.87/996.23 c 952s| 2390k| 367 | 0 | 0.0 |6359k| 487 | - |1531 |2987 | 0 | 0 | 0 |3035 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
999.97/1000.39 c 956s| 2400k| 365 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |3035 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1004.17/1004.54 c 960s| 2410k| 369 | 0 | 0.0 |6359k| 487 | - |1531 |2987 | 0 | 0 | 0 |3035 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1008.47/1008.88 c 964s| 2420k| 370 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3041 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1012.86/1013.26 c 968s| 2430k| 366 | 0 | 0.0 |6359k| 487 | - |1531 |2987 | 0 | 0 | 0 |3050 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1017.36/1017.72 c 972s| 2440k| 363 | 0 | 0.0 |6359k| 487 | - |1531 |2987 | 0 | 0 | 0 |3058 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1021.56/1021.99 c 976s| 2450k| 366 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3065 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1025.86/1026.22 c 981s| 2460k| 368 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3073 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1029.75/1030.15 c 984s| 2470k| 371 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3078 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1033.95/1034.36 c 988s| 2480k| 367 | 0 | 0.0 |6359k| 487 | - |1531 |2987 | 0 | 0 | 0 |3085 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1038.25/1038.63 c 992s| 2490k| 371 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3092 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1042.15/1042.55 c 996s| 2500k| 369 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3100 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1046.55/1046.92 c 1000s| 2510k| 372 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3106 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1050.75/1051.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1050.75/1051.20 c 1004s| 2520k| 366 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3113 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1055.05/1055.46 c 1008s| 2530k| 369 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3119 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1059.25/1059.65 c 1012s| 2540k| 367 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3126 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1063.44/1063.84 c 1016s| 2550k| 367 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3137 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1067.55/1067.96 c 1020s| 2560k| 367 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3150 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1071.84/1072.23 c 1024s| 2570k| 365 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3159 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1076.14/1076.58 c 1029s| 2580k| 367 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3170 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1080.54/1080.98 c 1033s| 2590k| 366 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3190 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1084.74/1085.15 c 1037s| 2600k| 368 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3206 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1089.04/1089.43 c 1041s| 2610k| 367 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3220 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1093.34/1093.71 c 1045s| 2620k| 372 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3237 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1097.34/1097.71 c 1049s| 2630k| 364 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3252 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1101.63/1102.01 c 1053s| 2640k| 368 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3268 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1105.83/1106.22 c 1057s| 2650k| 368 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3280 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1110.23/1110.68 c 1061s| 2660k| 365 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |3300 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1114.43/1114.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1114.43/1114.81 c 1065s| 2670k| 365 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3316 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1118.83/1119.28 c 1069s| 2680k| 369 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3326 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1123.03/1123.42 c 1073s| 2690k| 369 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3339 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1127.13/1127.53 c 1077s| 2700k| 368 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3350 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1131.43/1131.87 c 1082s| 2710k| 369 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3370 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1135.62/1136.06 c 1086s| 2720k| 368 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3391 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1140.12/1140.50 c 1090s| 2730k| 367 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3406 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1144.42/1144.85 c 1094s| 2740k| 365 | 0 | 0.0 |6360k| 487 | - |1531 |2987 | 0 | 0 | 0 |3423 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1148.42/1148.88 c 1098s| 2750k| 366 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3433 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1152.92/1153.32 c 1102s| 2760k| 368 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3444 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1157.12/1157.57 c 1106s| 2770k| 365 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3456 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1161.32/1161.77 c 1110s| 2780k| 365 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3468 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1165.42/1165.85 c 1114s| 2790k| 369 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3480 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1169.62/1170.05 c 1118s| 2800k| 365 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3491 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1173.92/1174.38 c 1122s| 2810k| 367 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |3512 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1178.11/1178.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1178.11/1178.50 c 1126s| 2820k| 363 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3527 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1182.41/1182.84 c 1130s| 2830k| 366 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3539 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1187.21/1187.65 c 1135s| 2840k| 370 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3551 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1191.31/1191.74 c 1139s| 2850k| 366 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3566 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1195.40/1195.86 c 1143s| 2860k| 367 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3587 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1199.91/1200.30 c 1147s| 2870k| 365 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3596 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1204.11/1204.60 c 1151s| 2880k| 363 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |3611 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1208.40/1208.88 c 1155s| 2890k| 367 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3628 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1212.60/1213.07 c 1159s| 2900k| 370 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3646 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1216.80/1217.24 c 1163s| 2910k| 372 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |3659 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1220.89/1221.37 c 1167s| 2920k| 368 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3672 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1225.19/1225.68 c 1171s| 2930k| 366 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |3687 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1229.40/1229.89 c 1175s| 2940k| 367 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3702 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1233.59/1234.05 c 1179s| 2950k| 365 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3719 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1237.99/1238.45 c 1183s| 2960k| 371 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3740 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1242.09/1242.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1242.09/1242.58 c 1187s| 2970k| 370 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3755 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1246.49/1246.94 c 1191s| 2980k| 367 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |3769 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1250.79/1251.23 c 1195s| 2990k| 368 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |3786 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1254.79/1255.26 c 1199s| 3000k| 366 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |3801 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1259.09/1259.54 c 1203s| 3010k| 368 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3812 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1263.09/1263.58 c 1207s| 3020k| 366 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |3812 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1267.29/1267.73 c 1211s| 3030k| 369 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3819 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1271.48/1271.99 c 1215s| 3040k| 365 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3826 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1275.68/1276.10 c 1219s| 3050k| 368 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3836 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1280.08/1280.51 c 1224s| 3060k| 365 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3844 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1284.18/1284.67 c 1227s| 3070k| 368 | 0 | 0.0 |6361k| 487 | - |1531 |2987 | 0 | 0 | 0 |3853 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1288.58/1289.00 c 1232s| 3080k| 370 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3863 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1292.78/1293.27 c 1236s| 3090k| 368 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3872 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1297.87/1298.38 c 1241s| 3100k| 364 | 0 | 0.0 |6360k| 487 | - |1531 |2987 | 0 | 0 | 0 |3872 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1302.38/1302.87 c 1245s| 3110k| 369 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3901 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1306.58/1307.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1306.58/1307.08 c 1249s| 3120k| 370 | 0 | 0.0 |6361k| 487 | - |1531 |2987 | 0 | 0 | 0 |3921 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1310.68/1311.14 c 1253s| 3130k| 366 | 0 | 0.0 |6360k| 487 | - |1531 |2987 | 0 | 0 | 0 |3933 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1315.07/1315.51 c 1257s| 3140k| 369 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3947 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1319.17/1319.62 c 1261s| 3150k| 370 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |3962 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1323.26/1323.74 c 1265s| 3160k| 366 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |3972 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1327.37/1327.88 c 1269s| 3170k| 365 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |3990 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1331.37/1331.85 c 1273s| 3180k| 366 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4007 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1335.66/1336.16 c 1277s| 3190k| 368 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4018 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1339.96/1340.46 c 1281s| 3200k| 364 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4026 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1343.95/1344.49 c 1285s| 3210k| 365 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4041 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1348.26/1348.72 c 1289s| 3220k| 368 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |4052 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1352.46/1352.94 c 1293s| 3230k| 366 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4068 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1356.66/1357.15 c 1297s| 3240k| 366 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |4080 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1360.86/1361.34 c 1301s| 3250k| 367 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |4097 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1365.15/1365.70 c 1305s| 3260k| 364 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |4108 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1369.65/1370.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1369.65/1370.14 c 1309s| 3270k| 365 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |4122 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1373.85/1374.34 c 1313s| 3280k| 365 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |4136 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1378.15/1378.65 c 1317s| 3290k| 366 | 0 | 0.0 |6361k| 487 | - |1531 |2987 | 0 | 0 | 0 |4150 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1382.45/1382.93 c 1321s| 3300k| 366 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4167 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1386.56/1387.09 c 1325s| 3310k| 365 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4180 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1391.05/1391.52 c 1330s| 3320k| 363 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |4198 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1395.24/1395.71 c 1334s| 3330k| 370 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |4216 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1399.34/1399.85 c 1338s| 3340k| 366 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4227 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1403.64/1404.16 c 1342s| 3350k| 368 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4235 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1408.04/1408.59 c 1346s| 3360k| 366 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4251 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1412.43/1412.90 c 1350s| 3370k| 367 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4264 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1416.54/1417.04 c 1354s| 3380k| 369 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |4274 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1420.74/1421.22 c 1358s| 3390k| 367 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4293 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1424.93/1425.42 c 1362s| 3400k| 365 | 0 | 0.0 |6359k| 487 | - |1531 |2987 | 0 | 0 | 0 |4306 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1429.13/1429.62 c 1366s| 3410k| 367 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4312 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1433.33/1433.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1433.33/1433.81 c 1370s| 3420k| 364 | 0 | 0.0 |6359k| 487 | - |1531 |2987 | 0 | 0 | 0 |4321 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1437.53/1438.10 c 1374s| 3430k| 370 | 0 | 0.0 |6360k| 487 | - |1531 |2987 | 0 | 0 | 0 |4324 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1441.73/1442.29 c 1378s| 3440k| 369 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |4337 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1445.83/1446.32 c 1382s| 3450k| 368 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |4345 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1450.23/1450.74 c 1386s| 3460k| 367 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |4359 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1454.43/1454.98 c 1390s| 3470k| 366 | 0 | 0.0 |6359k| 487 | - |1531 |2987 | 0 | 0 | 0 |4370 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1458.73/1459.23 c 1394s| 3480k| 365 | 0 | 0.0 |6360k| 487 | - |1531 |2987 | 0 | 0 | 0 |4381 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1462.72/1463.23 c 1398s| 3490k| 363 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |4393 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1466.93/1467.43 c 1402s| 3500k| 364 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |4400 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1471.23/1471.78 c 1406s| 3510k| 366 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4409 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1475.82/1476.33 c 1411s| 3520k| 366 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4412 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1480.31/1480.81 c 1415s| 3530k| 365 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4418 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1484.43/1484.99 c 1419s| 3540k| 370 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |4435 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1488.51/1489.08 c 1423s| 3550k| 362 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |4446 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1492.61/1493.15 c 1427s| 3560k| 365 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |4458 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1496.82/1497.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1496.82/1497.39 c 1431s| 3570k| 368 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4470 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1501.11/1501.67 c 1435s| 3580k| 364 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4481 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1505.32/1505.90 c 1439s| 3590k| 362 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |4493 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1509.60/1510.14 c 1443s| 3600k| 365 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4508 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1514.01/1514.58 c 1447s| 3610k| 367 | 0 | 0.0 |6359k| 487 | - |1531 |2987 | 0 | 0 | 0 |4518 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1518.31/1518.84 c 1451s| 3620k| 368 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |4530 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1522.70/1523.21 c 1456s| 3630k| 362 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4546 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1526.70/1527.24 c 1459s| 3640k| 363 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |4556 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1531.20/1531.79 c 1464s| 3650k| 366 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |4573 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1535.30/1535.88 c 1468s| 3660k| 368 | 0 | 0.0 |6359k| 487 | - |1531 |2987 | 0 | 0 | 0 |4584 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1539.70/1540.26 c 1472s| 3670k| 364 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4595 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1543.99/1544.53 c 1476s| 3680k| 363 | 0 | 0.0 |6355k| 487 | - |1531 |2987 | 0 | 0 | 0 |4610 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1548.20/1548.77 c 1480s| 3690k| 364 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4624 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1552.50/1553.04 c 1484s| 3700k| 364 | 0 | 0.0 |6358k| 487 | - |1531 |2987 | 0 | 0 | 0 |4639 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1556.39/1556.90 c 1488s| 3710k| 365 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4653 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1560.40/1560.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1560.40/1560.92 c 1492s| 3720k| 364 | 0 | 0.0 |6357k| 487 | - |1531 |2987 | 0 | 0 | 0 |4661 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1565.19/1565.73 c 1496s| 3730k| 364 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4670 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1569.39/1569.99 c 1500s| 3740k| 364 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4685 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1573.99/1574.51 c 1505s| 3750k| 364 | 0 | 0.0 |6356k| 487 | - |1531 |2987 | 0 | 0 | 0 |4689 | 0 | 2.150000e+02 | 1.257000e+03 | 484.65%
1575.79/1576.38 o 1256
1575.79/1576.38 c *1506s| 3753k| 375 | 0 | 0.0 |6390k| 487 | - |1531 |2987 | 0 | 0 | 0 |4692 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1578.38/1578.92 c 1509s| 3760k| 372 | 0 | 0.0 |6384k| 487 | - |1531 |2987 | 0 | 0 | 0 |4702 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1582.58/1583.16 c 1513s| 3770k| 372 | 0 | 0.0 |6383k| 487 | - |1531 |2987 | 0 | 0 | 0 |4715 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1586.69/1587.22 c 1517s| 3780k| 368 | 0 | 0.0 |6383k| 487 | - |1531 |2987 | 0 | 0 | 0 |4728 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1590.68/1591.23 c 1520s| 3790k| 370 | 0 | 0.0 |6384k| 487 | - |1531 |2987 | 0 | 0 | 0 |4744 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1595.08/1595.68 c 1525s| 3800k| 370 | 0 | 0.0 |6383k| 487 | - |1531 |2987 | 0 | 0 | 0 |4762 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1599.58/1600.13 c 1529s| 3810k| 370 | 0 | 0.0 |6383k| 487 | - |1531 |2987 | 0 | 0 | 0 |4777 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1603.68/1604.23 c 1533s| 3820k| 367 | 0 | 0.0 |6382k| 487 | - |1531 |2987 | 0 | 0 | 0 |4791 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1608.08/1608.66 c 1537s| 3830k| 367 | 0 | 0.0 |6383k| 487 | - |1531 |2987 | 0 | 0 | 0 |4805 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1612.38/1612.92 c 1541s| 3840k| 367 | 0 | 0.0 |6385k| 487 | - |1531 |2987 | 0 | 0 | 0 |4821 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1616.48/1617.03 c 1545s| 3850k| 368 | 0 | 0.0 |6384k| 487 | - |1531 |2987 | 0 | 0 | 0 |4836 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1620.78/1621.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1620.78/1621.30 c 1549s| 3860k| 367 | 0 | 0.0 |6382k| 487 | - |1531 |2987 | 0 | 0 | 0 |4860 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1624.97/1625.58 c 1553s| 3870k| 371 | 0 | 0.0 |6383k| 487 | - |1531 |2987 | 0 | 0 | 0 |4871 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1629.17/1629.74 c 1557s| 3880k| 369 | 0 | 0.0 |6387k| 487 | - |1531 |2987 | 0 | 0 | 0 |4878 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1633.57/1634.12 c 1562s| 3890k| 368 | 0 | 0.0 |6382k| 487 | - |1531 |2987 | 0 | 0 | 0 |4881 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1637.97/1638.54 c 1566s| 3900k| 370 | 0 | 0.0 |6384k| 487 | - |1531 |2987 | 0 | 0 | 0 |4886 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1642.27/1642.84 c 1570s| 3910k| 371 | 0 | 0.0 |6384k| 487 | - |1531 |2987 | 0 | 0 | 0 |4891 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1646.57/1647.18 c 1574s| 3920k| 367 | 0 | 0.0 |6382k| 487 | - |1531 |2987 | 0 | 0 | 0 |4896 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1650.97/1651.55 c 1578s| 3930k| 371 | 0 | 0.0 |6383k| 487 | - |1531 |2987 | 0 | 0 | 0 |4903 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1655.06/1655.64 c 1582s| 3940k| 367 | 0 | 0.0 |6382k| 487 | - |1531 |2987 | 0 | 0 | 0 |4915 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1659.27/1659.84 c 1586s| 3950k| 367 | 0 | 0.0 |6382k| 487 | - |1531 |2987 | 0 | 0 | 0 |4922 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1663.36/1663.96 c 1590s| 3960k| 365 | 0 | 0.0 |6383k| 487 | - |1531 |2987 | 0 | 0 | 0 |4932 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1667.66/1668.25 c 1594s| 3970k| 368 | 0 | 0.0 |6383k| 487 | - |1531 |2987 | 0 | 0 | 0 |4944 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1671.96/1672.54 c 1598s| 3980k| 369 | 0 | 0.0 |6382k| 487 | - |1531 |2987 | 0 | 0 | 0 |4953 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1675.77/1676.34 c 1602s| 3990k| 367 | 0 | 0.0 |6383k| 487 | - |1531 |2987 | 0 | 0 | 0 |4955 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1679.56/1680.18 c 1606s| 4000k| 366 | 0 | 0.0 |6385k| 487 | - |1531 |2987 | 0 | 0 | 0 |4966 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1683.35/1683.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1683.35/1683.97 c 1609s| 4010k| 367 | 0 | 0.0 |6385k| 487 | - |1531 |2987 | 0 | 0 | 0 |4976 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1687.05/1687.66 c 1613s| 4020k| 368 | 0 | 0.0 |6383k| 487 | - |1531 |2987 | 0 | 0 | 0 |4980 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1690.86/1691.46 c 1616s| 4030k| 369 | 0 | 0.0 |6383k| 487 | - |1531 |2987 | 0 | 0 | 0 |4988 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1694.65/1695.20 c 1620s| 4040k| 365 | 0 | 0.0 |6385k| 487 | - |1531 |2987 | 0 | 0 | 0 |4996 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1698.85/1699.41 c 1624s| 4050k| 369 | 0 | 0.0 |6383k| 487 | - |1531 |2987 | 0 | 0 | 0 |5004 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1703.45/1704.02 c 1628s| 4060k| 370 | 0 | 0.0 |6386k| 487 | - |1531 |2987 | 0 | 0 | 0 |5016 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1707.85/1708.41 c 1633s| 4070k| 370 | 0 | 0.0 |6383k| 487 | - |1531 |2987 | 0 | 0 | 0 |5023 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1712.06/1712.69 c 1637s| 4080k| 367 | 0 | 0.0 |6382k| 487 | - |1531 |2987 | 0 | 0 | 0 |5036 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1716.05/1716.61 c 1640s| 4090k| 371 | 0 | 0.0 |6387k| 487 | - |1531 |2987 | 0 | 0 | 0 |5046 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1720.64/1721.28 c 1645s| 4100k| 365 | 0 | 0.0 |6382k| 487 | - |1531 |2987 | 0 | 0 | 0 |5048 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1725.44/1726.10 c 1649s| 4110k| 365 | 0 | 0.0 |6386k| 487 | - |1531 |2987 | 0 | 0 | 0 |5059 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1729.94/1730.52 c 1654s| 4120k| 367 | 0 | 0.0 |6384k| 487 | - |1531 |2987 | 0 | 0 | 0 |5072 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1734.44/1735.01 c 1658s| 4130k| 368 | 0 | 0.0 |6382k| 487 | - |1531 |2987 | 0 | 0 | 0 |5087 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1738.84/1739.41 c 1662s| 4140k| 367 | 0 | 0.0 |6383k| 487 | - |1531 |2987 | 0 | 0 | 0 |5100 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1743.24/1743.82 c 1666s| 4150k| 369 | 0 | 0.0 |6383k| 487 | - |1531 |2987 | 0 | 0 | 0 |5116 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1747.54/1748.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1747.54/1748.14 c 1671s| 4160k| 369 | 0 | 0.0 |6383k| 487 | - |1531 |2987 | 0 | 0 | 0 |5129 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1752.13/1752.70 c 1675s| 4170k| 366 | 0 | 0.0 |6383k| 487 | - |1531 |2987 | 0 | 0 | 0 |5141 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1756.53/1757.15 c 1679s| 4180k| 364 | 0 | 0.0 |6384k| 487 | - |1531 |2987 | 0 | 0 | 0 |5152 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1760.54/1761.11 c 1683s| 4190k| 370 | 0 | 0.0 |6383k| 487 | - |1531 |2987 | 0 | 0 | 0 |5161 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1764.63/1765.23 c 1687s| 4200k| 368 | 0 | 0.0 |6383k| 487 | - |1531 |2987 | 0 | 0 | 0 |5171 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1768.63/1769.21 c 1691s| 4210k| 369 | 0 | 0.0 |6382k| 487 | - |1531 |2987 | 0 | 0 | 0 |5179 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1772.64/1773.26 c 1695s| 4220k| 366 | 0 | 0.0 |6382k| 487 | - |1531 |2987 | 0 | 0 | 0 |5192 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1776.73/1777.39 c 1699s| 4230k| 366 | 0 | 0.0 |6383k| 487 | - |1531 |2987 | 0 | 0 | 0 |5205 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1780.63/1781.25 c 1702s| 4240k| 369 | 0 | 0.0 |6385k| 487 | - |1531 |2987 | 0 | 0 | 0 |5208 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1784.63/1785.23 c 1706s| 4250k| 366 | 0 | 0.0 |6382k| 487 | - |1531 |2987 | 0 | 0 | 0 |5216 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1788.32/1788.99 c 1710s| 4260k| 367 | 0 | 0.0 |6383k| 487 | - |1531 |2987 | 0 | 0 | 0 |5223 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1792.22/1792.89 c 1713s| 4270k| 366 | 0 | 0.0 |6384k| 487 | - |1531 |2987 | 0 | 0 | 0 |5226 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1796.22/1796.84 c 1717s| 4280k| 368 | 0 | 0.0 |6384k| 487 | - |1531 |2987 | 0 | 0 | 0 |5237 | 0 | 2.150000e+02 | 1.256000e+03 | 484.19%
1800.03/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.61 c
1800.03/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.61 c Solving Time (sec) : 1720.79
1800.03/1800.61 c Solving Nodes : 4288749
1800.03/1800.61 c Primal Bound : +1.25600000000000e+03 (6 solutions)
1800.03/1800.61 c Dual Bound : +2.15000000000000e+02
1800.03/1800.61 c Gap : 484.19 %
1800.03/1800.62 s SATISFIABLE
1800.03/1800.62 v x1968 x1967 x1966 -x1965 -x1964 -x1963 -x1962 x1961 x1960 -x1959 -x1958 -x1957 x1956 x1955 x1954 x1953 x1952 x1951 x1950 x1949
1800.03/1800.62 v x1948 x1947 x1946 x1945 x1944 x1943 x1942 x1941 -x1940 x1939 x1938 x1937 x1936 x1935 x1934 -x1933 x1932 x1931 x1930 x1929 x1928
1800.03/1800.62 v -x1927 -x1926 x1925 x1924 x1923 -x1922 x1921 x1920 x1919 x1918 -x1917 x1916 x1915 x1914 x1913 x1912 x1911 x1910 x1909 -x1908
1800.03/1800.62 v -x1907 -x1906 -x1905 -x1904 x1903 x1902 -x1901 x1900 -x1899 x1898 x1897 x1896 x1895 x1894 x1893 x1892 x1891 x1890 -x1889 -x1888
1800.03/1800.62 v x1887 x1886 x1885 -x1884 -x1883 -x1882 -x1881 -x1880 x1879 -x1878 x1877 x1876 x1875 x1874 -x1873 x1872 -x1871 x1870 x1869
1800.03/1800.62 v x1868 x1867 -x1866 x1865 x1864 x1863 -x1862 -x1861 x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 x1853 x1852 x1851 -x1850
1800.03/1800.62 v x1849 x1848 x1847 x1846 -x1845 x1844 -x1843 -x1842 x1841 x1840 x1839 -x1838 x1837 -x1836 -x1835 x1834 x1833 x1832 x1831 -x1830
1800.03/1800.62 v x1829 x1828 x1827 x1826 x1825 -x1824 x1823 -x1822 x1821 -x1820 x1819 -x1818 -x1817 x1816 x1815 -x1814 x1813 -x1812 x1811
1800.03/1800.62 v x1810 x1809 -x1808 x1807 -x1806 x1805 -x1804 x1803 -x1802 -x1801 -x1800 -x1799 x1798 -x1797 -x1796 x1795 x1794 x1793 x1792 -x1791
1800.03/1800.62 v x1790 -x1789 x1788 x1787 -x1786 x1785 x1784 x1783 -x1782 x1781 -x1780 x1779 x1778 -x1777 -x1776 x1775 x1774 -x1773 -x1772
1800.03/1800.62 v -x1771 -x1770 x1769 -x1768 -x1767 x1766 -x1765 -x1764 x1763 x1762 x1761 -x1760 -x1759 x1758 x1757 -x1756 -x1755 -x1754 x1753
1800.03/1800.62 v x1752 x1751 x1750 x1749 x1748 x1747 -x1746 x1745 x1744 -x1743 x1742 x1741 -x1740 x1739 x1738 x1737 x1736 x1735 -x1734 -x1733
1800.03/1800.62 v -x1732 x1731 -x1730 x1729 -x1728 x1727 x1726 x1725 x1724 x1723 -x1722 x1721 x1720 x1719 x1718 x1717 -x1716 x1715 x1714 x1713
1800.03/1800.62 v x1712 x1711 -x1710 x1709 x1708 x1707 x1706 -x1705 x1704 x1703 -x1702 x1701 x1700 -x1699 x1698 x1697 x1696 x1695 -x1694 -x1693
1800.03/1800.62 v x1692 x1691 -x1690 x1689 -x1688 x1687 -x1686 x1685 x1684 x1683 x1682 x1681 x1680 x1679 -x1678 -x1677 -x1676 x1675 -x1674 -x1673
1800.03/1800.62 v -x1672 x1671 x1670 x1669 -x1668 x1667 x1666 x1665 x1664 x1663 -x1662 x1661 x1660 -x1659 x1658 -x1657 x1656 -x1655 x1654
1800.03/1800.62 v -x1653 -x1652 -x1651 -x1650 -x1649 x1648 x1647 x1646 -x1645 x1644 x1643 x1642 x1641 x1640 x1639 x1638 x1637 -x1636 -x1635 x1634
1800.03/1800.62 v x1633 -x1632 x1631 -x1630 -x1629 x1628 x1627 -x1626 x1625 x1624 x1623 x1622 x1621 x1620 x1619 x1618 x1617 x1616 x1615 x1614
1800.03/1800.62 v x1613 -x1612 x1611 x1610 x1609 -x1608 -x1607 x1606 x1605 -x1604 x1603 x1602 x1601 x1600 x1599 x1598 x1597 x1596 -x1595 x1594
1800.03/1800.62 v x1593 x1592 x1591 -x1590 x1589 x1588 -x1587 x1586 -x1585 x1584 x1583 -x1582 x1581 x1580 x1579 x1578 x1577 -x1576 x1575 -x1574
1800.03/1800.62 v x1573 x1572 x1571 -x1570 -x1569 x1568 x1567 x1566 x1565 x1564 x1563 x1562 -x1561 x1560 x1559 x1558 x1557 x1556 x1555 x1554
1800.03/1800.62 v -x1553 -x1552 x1551 x1550 x1549 -x1548 x1547 x1546 -x1545 x1544 -x1543 -x1542 x1541 -x1540 x1539 x1538 x1537 x1536 -x1535 -x1534
1800.03/1800.62 v x1533 x1532 x1531 x1530 x1529 x1528 -x1527 -x1526 x1525 x1524 x1523 -x1522 x1521 x1520 -x1519 -x1518 -x1517 -x1516 -x1515
1800.03/1800.62 v -x1514 -x1513 x1512 x1511 -x1510 x1509 x1508 x1507 x1506 x1505 -x1504 -x1503 -x1502 x1501 -x1500 x1499 -x1498 x1497 x1496
1800.03/1800.62 v -x1495 -x1494 x1493 x1492 -x1491 -x1490 x1489 -x1488 x1487 x1486 x1485 x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 x1477
1800.03/1800.62 v x1476 x1475 -x1474 x1473 x1472 -x1471 x1470 x1469 -x1468 x1467 x1466 -x1465 -x1464 x1463 -x1462 x1461 -x1460 -x1459 x1458 -x1457
1800.03/1800.62 v x1456 x1455 x1454 x1453 x1452 -x1451 x1450 x1449 x1448 x1447 x1446 x1445 x1444 x1443 -x1442 -x1441 x1440 x1439 -x1438 -x1437
1800.03/1800.62 v -x1436 x1435 x1434 x1433 -x1432 -x1431 -x1430 -x1429 x1428 -x1427 x1426 x1425 -x1424 x1423 x1422 x1421 x1420 x1419 x1418
1800.03/1800.62 v x1417 x1416 x1415 x1414 x1413 x1412 -x1411 x1410 x1409 x1408 x1407 -x1406 -x1405 x1404 x1403 -x1402 x1401 x1400 x1399 -x1398
1800.03/1800.62 v x1397 x1396 -x1395 x1394 x1393 -x1392 x1391 x1390 x1389 -x1388 -x1387 -x1386 x1385 -x1384 -x1383 x1382 -x1381 -x1380 -x1379 -x1378
1800.03/1800.62 v x1377 x1376 x1375 x1374 x1373 x1372 x1371 -x1370 x1369 x1368 -x1367 x1366 x1365 x1364 -x1363 x1362 -x1361 x1360 x1359 x1358
1800.03/1800.62 v -x1357 -x1356 -x1355 -x1354 -x1353 x1352 x1351 x1350 -x1349 -x1348 -x1347 x1346 -x1345 -x1344 -x1343 x1342 x1341 -x1340
1800.03/1800.62 v -x1339 x1338 -x1337 x1336 x1335 -x1334 -x1333 -x1332 x1331 x1330 x1329 x1328 x1327 -x1326 x1325 x1324 x1323 x1322 x1321 x1320
1800.03/1800.62 v x1319 x1318 x1317 -x1316 x1315 x1314 -x1313 x1312 x1311 -x1310 -x1309 x1308 x1307 x1306 x1305 x1304 -x1303 -x1302 x1301 x1300
1800.03/1800.62 v x1299 x1298 x1297 x1296 x1295 -x1294 x1293 x1292 x1291 x1290 x1289 x1288 x1287 x1286 x1285 -x1284 -x1283 -x1282 -x1281 -x1280
1800.03/1800.62 v x1279 -x1278 x1277 x1276 x1275 x1274 x1273 x1272 x1271 -x1270 -x1269 x1268 x1267 x1266 -x1265 x1264 x1263 x1262 x1261 x1260
1800.03/1800.62 v x1259 -x1258 x1257 -x1256 x1255 x1254 x1253 -x1252 x1251 x1250 x1249 x1248 -x1247 x1246 x1245 x1244 -x1243 x1242 x1241 -x1240
1800.03/1800.62 v -x1239 -x1238 -x1237 x1236 -x1235 -x1234 x1233 -x1232 x1231 x1230 -x1229 -x1228 x1227 -x1226 -x1225 -x1224 x1223 x1222 -x1221
1800.03/1800.62 v -x1220 -x1219 -x1218 x1217 x1216 x1215 -x1214 x1213 x1212 -x1211 x1210 x1209 x1208 -x1207 -x1206 x1205 x1204 x1203 x1202
1800.03/1800.62 v x1201 -x1200 -x1199 x1198 x1197 x1196 -x1195 x1194 -x1193 x1192 x1191 x1190 x1189 -x1188 -x1187 x1186 -x1185 -x1184 -x1183 x1182
1800.03/1800.62 v -x1181 -x1180 -x1179 x1178 -x1177 x1176 -x1175 x1174 x1173 x1172 x1171 x1170 x1169 -x1168 -x1167 -x1166 -x1165 x1164 -x1163
1800.03/1800.62 v -x1162 x1161 x1160 x1159 -x1158 x1157 -x1156 x1155 x1154 x1153 x1152 x1151 x1150 x1149 x1148 x1147 -x1146 x1145 -x1144 x1143
1800.03/1800.62 v x1142 x1141 x1140 -x1139 x1138 -x1137 x1136 x1135 x1134 x1133 x1132 x1131 x1130 x1129 x1128 -x1127 x1126 x1125 x1124 -x1123
1800.03/1800.62 v x1122 -x1121 x1120 -x1119 x1118 x1117 -x1116 x1115 x1114 x1113 -x1112 x1111 -x1110 x1109 x1108 x1107 x1106 x1105 -x1104 -x1103
1800.03/1800.62 v x1102 -x1101 x1100 x1099 x1098 -x1097 -x1096 x1095 x1094 x1093 x1092 x1091 x1090 -x1089 x1088 x1087 x1086 x1085 x1084 x1083
1800.03/1800.62 v -x1082 x1081 x1080 -x1079 x1078 -x1077 x1076 x1075 x1074 x1073 x1072 x1071 x1070 -x1069 x1068 x1067 x1066 -x1065 x1064 x1063
1800.03/1800.62 v -x1062 -x1061 -x1060 -x1059 x1058 x1057 x1056 -x1055 -x1054 x1053 x1052 x1051 x1050 x1049 x1048 x1047 x1046 -x1045 x1044 -x1043
1800.03/1800.62 v x1042 x1041 x1040 x1039 x1038 x1037 x1036 x1035 x1034 x1033 -x1032 x1031 -x1030 -x1029 x1028 x1027 -x1026 x1025 -x1024
1800.03/1800.62 v -x1023 -x1022 x1021 x1020 x1019 x1018 x1017 x1016 x1015 x1014 x1013 -x1012 x1011 x1010 x1009 x1008 x1007 -x1006 x1005 x1004 x1003
1800.03/1800.62 v x1002 x1001 x1000 -x999 -x998 -x997 x996 x995 -x994 x993 x992 x991 x990 x989 x988 x987 x986 x985 x984 -x983 -x982 x981 -x980
1800.03/1800.62 v -x979 x978 x977 -x976 x975 x974 x973 -x972 -x971 x970 -x969 x968 -x967 -x966 -x965 x964 -x963 -x962 x961 -x960 x959 x958
1800.03/1800.62 v -x957 x956 -x955 -x954 x953 x952 x951 x950 -x949 -x948 -x947 -x946 -x945 -x944 x943 x942 x941 x940 -x939 -x938 x937 x936 -x935
1800.03/1800.62 v x934 x933 x932 -x931 x930 -x929 x928 x927 x926 x925 x924 x923 -x922 x921 -x920 x919 x918 x917 -x916 -x915 x914 x913 -x912
1800.03/1800.62 v x911 x910 -x909 x908 x907 x906 -x905 x904 x903 x902 x901 -x900 -x899 x898 x897 x896 x895 x894 x893 -x892 -x891 x890 x889 x888
1800.03/1800.62 v -x887 x886 x885 x884 x883 -x882 x881 -x880 -x879 -x878 -x877 -x876 -x875 x874 -x873 x872 x871 x870 -x869 x868 -x867 x866 x865
1800.03/1800.62 v -x864 -x863 x862 x861 -x860 -x859 x858 x857 x856 x855 x854 x853 -x852 x851 -x850 -x849 -x848 -x847 x846 x845 x844 x843 -x842
1800.03/1800.62 v -x841 -x840 x839 x838 -x837 -x836 x835 x834 x833 x832 -x831 -x830 -x829 x828 -x827 x826 x825 x824 -x823 x822 x821 -x820 x819
1800.03/1800.62 v x818 x817 x816 -x815 x814 x813 x812 x811 x810 x809 -x808 x807 x806 x805 -x804 -x803 -x802 x801 x800 -x799 -x798 x797 x796 x795
1800.03/1800.62 v -x794 -x793 x792 x791 -x790 x789 x788 -x787 x786 x785 -x784 x783 x782 x781 -x780 x779 x778 x777 -x776 -x775 x774 x773 x772
1800.03/1800.62 v x771 x770 -x769 x768 -x767 x766 x765 -x764 -x763 x762 -x761 x760 x759 x758 x757 x756 x755 -x754 x753 x752 x751 -x750 x749 x748
1800.03/1800.62 v x747 -x746 x745 x744 x743 x742 x741 x740 -x739 -x738 -x737 x736 -x735 x734 x733 x732 x731 x730 x729 x728 x727 x726 x725 x724
1800.03/1800.62 v x723 -x722 x721 x720 x719 x718 x717 -x716 -x715 -x714 -x713 -x712 x711 -x710 -x709 x708 -x707 -x706 x705 -x704 -x703 x702
1800.03/1800.62 v -x701 x700 -x699 -x698 -x697 x696 x695 -x694 x693 x692 x691 x690 -x689 x688 x687 -x686 x685 x684 x683 x682 -x681 x680 -x679
1800.03/1800.62 v -x678 x677 x676 x675 -x674 -x673 -x672 x671 -x670 x669 x668 x667 x666 -x665 -x664 x663 x662 -x661 x660 -x659 x658 -x657 x656
1800.03/1800.62 v x655 x654 x653 -x652 x651 -x650 -x649 x648 -x647 x646 -x645 x644 -x643 x642 -x641 -x640 x639 -x638 -x637 x636 -x635 x634 -x633
1800.03/1800.62 v x632 x631 x630 x629 -x628 x627 x626 x625 x624 x623 x622 x621 x620 -x619 x618 -x617 x616 x615 -x614 -x613 x612 -x611 -x610 -x609
1800.03/1800.62 v -x608 -x607 -x606 x605 x604 -x603 x602 x601 -x600 -x599 -x598 -x597 -x596 -x595 x594 x593 -x592 x591 x590 x589 x588 x587
1800.03/1800.62 v x586 x585 x584 -x583 x582 -x581 -x580 -x579 -x578 x577 x576 x575 x574 -x573 x572 x571 x570 x569 x568 x567 -x566 x565 x564 x563
1800.03/1800.62 v -x562 x561 -x560 x559 -x558 -x557 x556 x555 x554 -x553 x552 -x551 x550 x549 x548 -x547 x546 x545 x544 x543 x542 x541 x540
1800.03/1800.62 v -x539 x538 -x537 -x536 -x535 x534 -x533 x532 x531 -x530 x529 -x528 x527 x526 x525 x524 x523 -x522 x521 x520 x519 x518 -x517 -x516
1800.03/1800.62 v -x515 x514 x513 x512 x511 x510 -x509 x508 x507 x506 x505 x504 x503 -x502 -x501 x500 x499 x498 x497 x496 x495 -x494 -x493
1800.03/1800.62 v x492 -x491 x490 x489 x488 -x487 x486 x485 x484 -x483 x482 x481 x480 x479 x478 x477 x476 -x475 x474 x473 x472 x471 -x470 x469
1800.03/1800.62 v x468 -x467 x466 -x465 x464 x463 x462 -x461 -x460 x459 x458 x457 x456 x455 -x454 x453 -x452 x451 x450 x449 -x448 x447 x446 x445
1800.03/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.03/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 x398
1800.03/1800.62 v -x397 -x396 x395 x394 -x393 x392 -x391 -x390 x389 x388 -x387 x386 -x385 -x384 x383 x382 x381 x380 x379 x378 x377 x376 -x375
1800.03/1800.62 v -x374 x373 -x372 x371 -x370 x369 -x368 x367 -x366 x365 x364 x363 x362 x361 x360 -x359 -x358 -x357 x356 x355 x354 -x353 -x352
1800.03/1800.62 v x351 -x350 x349 x348 -x347 x346 x345 x344 x343 -x342 x341 x340 x339 -x338 -x337 -x336 x335 x334 x333 -x332 -x331 x330 x329
1800.03/1800.62 v -x328 x327 x326 x325 x324 x323 x322 -x321 x320 x319 -x318 x317 -x316 -x315 x314 x313 -x312 x311 x310 -x309 x308 -x307 x306 -x305
1800.03/1800.62 v x304 x303 x302 x301 x300 -x299 -x298 -x297 x296 x295 x294 -x293 -x292 -x291 x290 -x289 x288 -x287 x286 x285 -x284 x283 -x282
1800.03/1800.62 v -x281 -x280 -x279 -x278 -x277 -x276 x275 x274 x273 x272 x271 x270 x269 x268 x267 x266 x265 x264 x263 -x262 x261 x260 -x259
1800.03/1800.62 v x258 x257 x256 -x255 x254 x253 x252 -x251 x250 -x249 -x248 x247 x246 x245 -x244 -x243 -x242 -x241 x240 -x239 x238 x237 -x236
1800.03/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.03/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.03/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.03/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 x142
1800.03/1800.62 v -x141 -x140 x139 -x138 -x137 x136 -x135 -x134 x133 x132 x131 -x130 x129 x128 x127 x126 x125 x124 -x123 x122 x121 -x120 -x119
1800.03/1800.62 v x118 x117 x116 -x115 -x114 -x113 x112 x111 -x110 -x109 x108 -x107 x106 x105 -x104 -x103 -x102 x101 x100 x99 x98 x97 -x96
1800.03/1800.62 v x95 x94 -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
1800.03/1800.62 v -x66 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
1800.03/1800.62 v -x38 x37 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
1800.03/1800.62 v -x10 x9 -x8 x7 x6 -x5 -x4 x3 x2 x1
1800.03/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.62 c Solving Time : 1720.79
1800.03/1800.62 c Original Problem :
1800.03/1800.62 c Problem name : HOME/instance-2664054-1276390042.opb
1800.03/1800.62 c Variables : 1968 (1968 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.62 c Constraints : 4000 initial, 4000 maximal
1800.03/1800.62 c Presolved Problem :
1800.03/1800.62 c Problem name : t_HOME/instance-2664054-1276390042.opb
1800.03/1800.62 c Variables : 1531 (1531 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.62 c Constraints : 2987 initial, 2987 maximal
1800.03/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c dualfix : 0.00 205 0 0 0 0 0 0 0
1800.03/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c implics : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.62 c probing : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.62 c linear : 0.06 0 232 0 0 0 1013 0 0
1800.03/1800.62 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.03/1800.62 c root node : - 0 - - 0 - - - -
1800.03/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.62 c logicor : 2987+ 0 5887781 0 3 5237 4600684 0 0 0
1800.03/1800.62 c countsols : 0 0 0 0 3 0 0 0 0 0
1800.03/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.62 c logicor : 28.42 0.00 28.42 0.00 0.00
1800.03/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.62 c vbounds : 6.62 2 0 0
1800.03/1800.62 c rootredcost : 5.88 0 0 0
1800.03/1800.62 c pseudoobj : 1404.56 13385822 2139700 56623321
1800.03/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.62 c propagation : 9.18 5237 5237 5237 325.4 0 0.0 -
1800.03/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.62 c pseudo solution : 0.06 21 0 0 0.0 0 0.0 -
1800.03/1800.62 c applied globally : - - - 0 0.0 - - -
1800.03/1800.62 c applied locally : - - - 5237 325.4 - - -
1800.03/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.62 c redcost : 0.00 0 0 0 0 0
1800.03/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.62 c intobj : 0.00 0 0 0 0 0
1800.03/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.62 c gomory : 0.00 0 0 0 0 0
1800.03/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.62 c cmir : 0.00 0 0 0 0 0
1800.03/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.62 c clique : 0.00 0 0 0 0 0
1800.03/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.62 c mcf : 0.00 0 0 0 0 0
1800.03/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.62 c Pricers : Time Calls Vars
1800.03/1800.62 c problem variables: 0.00 0 0
1800.03/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.62 c inference : 72.18 2145394 0 0 0 0 4290788
1800.03/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.62 c random : 0.00 0 0 0 0 0 0
1800.03/1800.62 c Primal Heuristics : Time Calls Found
1800.03/1800.62 c LP solutions : 0.00 - 0
1800.03/1800.62 c pseudo solutions : 0.00 - 3
1800.03/1800.62 c oneopt : 3.16 0 0
1800.03/1800.62 c trivial : 0.02 2 3
1800.03/1800.62 c simplerounding : 0.00 0 0
1800.03/1800.62 c zirounding : 0.00 0 0
1800.03/1800.62 c rounding : 0.00 0 0
1800.03/1800.62 c shifting : 0.00 0 0
1800.03/1800.62 c intshifting : 0.00 0 0
1800.03/1800.62 c twoopt : 0.00 0 0
1800.03/1800.62 c fixandinfer : 0.00 0 0
1800.03/1800.62 c feaspump : 0.00 0 0
1800.03/1800.62 c coefdiving : 0.00 0 0
1800.03/1800.62 c pscostdiving : 0.00 0 0
1800.03/1800.62 c fracdiving : 0.00 0 0
1800.03/1800.62 c veclendiving : 0.00 0 0
1800.03/1800.62 c intdiving : 0.00 0 0
1800.03/1800.62 c actconsdiving : 0.00 0 0
1800.03/1800.62 c objpscostdiving : 0.00 0 0
1800.03/1800.62 c rootsoldiving : 0.00 0 0
1800.03/1800.62 c linesearchdiving : 0.00 0 0
1800.03/1800.62 c guideddiving : 0.00 0 0
1800.03/1800.62 c octane : 0.00 0 0
1800.03/1800.62 c rens : 0.00 0 0
1800.03/1800.62 c rins : 0.00 0 0
1800.03/1800.62 c localbranching : 0.00 0 0
1800.03/1800.62 c mutation : 0.00 0 0
1800.03/1800.62 c crossover : 0.00 0 0
1800.03/1800.62 c dins : 0.00 0 0
1800.03/1800.62 c undercover : 0.00 0 0
1800.03/1800.62 c nlp : 2.11 0 0
1800.03/1800.62 c trysol : 1.98 0 0
1800.03/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.62 c (at root node) : - 0 0 0.00 -
1800.03/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.62 c B&B Tree :
1800.03/1800.62 c number of runs : 1
1800.03/1800.62 c nodes : 4288749
1800.03/1800.62 c nodes (total) : 4288749
1800.03/1800.62 c nodes left : 365
1800.03/1800.62 c max depth : 487
1800.03/1800.62 c max depth (total): 487
1800.03/1800.62 c backtracks : 1078254 (25.1%)
1800.03/1800.62 c delayed cutoffs : 1640
1800.03/1800.62 c repropagations : 2245 (43105 domain reductions, 1606 cutoffs)
1800.03/1800.62 c avg switch length: 2.00
1800.03/1800.62 c switching time : 73.69
1800.03/1800.62 c Solution :
1800.03/1800.62 c Solutions found : 6 (5 improvements)
1800.03/1800.62 c First Solution : +1.96800000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.03/1800.62 c Primal Bound : +1.25600000000000e+03 (in run 1, after 3753868 nodes, 1506.29 seconds, depth 384, found by <relaxation>)
1800.03/1800.62 c Dual Bound : +2.15000000000000e+02
1800.03/1800.62 c Gap : 484.19 %
1800.03/1800.62 c Root Dual Bound : +2.14000000000000e+02
1800.03/1800.62 c Root Iterations : 0
1800.03/1800.64 c Time complete: 1800.06.