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-2664183-1276492561.opb>
0.59/0.66 c original problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41314 constraints
0.59/0.66 c problem read
0.59/0.66 c presolving settings loaded
0.59/0.66 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.69/0.77 o 0
0.69/0.77 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.69/0.77 c presolving:
1.29/1.32 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 41314 upgd conss, 82628 impls, 0 clqs
2.39/2.45 c (1.6s) probing: 101/760 (13.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.39/2.45 c (1.6s) probing aborted: 100/100 successive totally useless probings
2.39/2.45 c presolving (2 rounds):
2.39/2.45 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.39/2.45 c 82628 implications, 0 cliques
2.39/2.45 c presolved problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41314 constraints
2.39/2.45 c 41314 constraints of type <logicor>
2.39/2.45 c transformed objective value is always integral (scale: 1)
2.39/2.45 c Presolving Time: 1.57
2.39/2.45 c - non default parameters ----------------------------------------------------------------------
2.39/2.45 c # SCIP version 1.2.1.2
2.39/2.45 c
2.39/2.45 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.39/2.45 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.45 c conflict/interconss = 0
2.39/2.45 c
2.39/2.45 c # should binary conflicts be preferred?
2.39/2.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.45 c conflict/preferbinary = TRUE
2.39/2.45 c
2.39/2.45 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.39/2.45 c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.45 c constraints/agelimit = 1
2.39/2.45 c
2.39/2.45 c # should enforcement of pseudo solution be disabled?
2.39/2.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.45 c constraints/disableenfops = TRUE
2.39/2.45 c
2.39/2.45 c # frequency for displaying node information lines
2.39/2.45 c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.45 c display/freq = 10000
2.39/2.45 c
2.39/2.45 c # maximal time in seconds to run
2.39/2.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.45 c limits/time = 1799.35
2.39/2.45 c
2.39/2.45 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.45 c limits/memory = 1620
2.39/2.45 c
2.39/2.45 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.39/2.45 c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.45 c lp/solvefreq = -1
2.39/2.45 c
2.39/2.45 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)
2.39/2.45 c # [type: char, range: {lafpsqd}, default: l]
2.39/2.45 c lp/pricing = a
2.39/2.45 c
2.39/2.45 c # should presolving try to simplify inequalities
2.39/2.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.45 c constraints/linear/simplifyinequalities = TRUE
2.39/2.45 c
2.39/2.45 c # should presolving try to simplify knapsacks
2.39/2.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.45 c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.45 c
2.39/2.45 c # priority of node selection rule <dfs> in standard mode
2.39/2.45 c # [type: int, range: [-536870912,536870911], default: 0]
2.39/2.45 c nodeselection/dfs/stdpriority = 1000000
2.39/2.45 c
2.39/2.45 c -----------------------------------------------------------------------------------------------
2.39/2.45 c start solving
2.39/2.45 c
2.39/2.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.39/2.47 c t 1.7s| 1 | 2 | 0 | - | 29M| 0 | - | 760 | 41k| 0 | 0 | 0 | 0 | 0 |-7.600000e+02 | 0.000000e+00 | 100.00%
2.39/2.49 o -24
2.39/2.49 c * 1.7s| 25 | 24 | 0 | 0.0 | 29M| 24 | - | 760 | 41k| 0 | 0 | 0 | 0 | 0 |-7.590000e+02 |-2.400000e+01 | 96.84%
5.79/5.89 c 5.0s| 10000 | 20 | 0 | 0.0 | 29M| 37 | - | 760 | 41k| 0 | 0 | 0 | 88 | 0 |-7.590000e+02 |-2.400000e+01 | 96.84%
9.19/9.25 c 8.2s| 20000 | 16 | 0 | 0.0 | 29M| 37 | - | 760 | 41k| 0 | 0 | 0 | 147 | 0 |-7.590000e+02 |-2.400000e+01 | 96.84%
12.69/12.78 c 11.6s| 30000 | 18 | 0 | 0.0 | 29M| 37 | - | 760 | 41k| 0 | 0 | 0 | 244 | 0 |-7.590000e+02 |-2.400000e+01 | 96.84%
16.09/16.19 c 14.9s| 40000 | 19 | 0 | 0.0 | 29M| 42 | - | 760 | 41k| 0 | 0 | 0 | 301 | 0 |-7.590000e+02 |-2.400000e+01 | 96.84%
19.39/19.48 c 18.0s| 50000 | 18 | 0 | 0.0 | 29M| 42 | - | 760 | 41k| 0 | 0 | 0 | 355 | 0 |-7.590000e+02 |-2.400000e+01 | 96.84%
22.79/22.81 c 21.2s| 60000 | 16 | 0 | 0.0 | 29M| 42 | - | 760 | 41k| 0 | 0 | 0 | 408 | 0 |-7.590000e+02 |-2.400000e+01 | 96.84%
26.09/26.15 c 24.5s| 70000 | 18 | 0 | 0.0 | 29M| 44 | - | 760 | 41k| 0 | 0 | 0 | 447 | 0 |-7.590000e+02 |-2.400000e+01 | 96.84%
29.48/29.51 c 27.7s| 80000 | 15 | 0 | 0.0 | 29M| 44 | - | 760 | 41k| 0 | 0 | 0 | 508 | 0 |-7.590000e+02 |-2.400000e+01 | 96.84%
32.68/32.77 c 30.8s| 90000 | 16 | 0 | 0.0 | 29M| 44 | - | 760 | 41k| 0 | 0 | 0 | 563 | 0 |-7.590000e+02 |-2.400000e+01 | 96.84%
36.19/36.22 c 34.2s|100000 | 20 | 0 | 0.0 | 29M| 44 | - | 760 | 41k| 0 | 0 | 0 | 607 | 0 |-7.590000e+02 |-2.400000e+01 | 96.84%
36.69/36.77 o -25
36.69/36.77 c *34.7s|101640 | 19 | 0 | 0.0 | 29M| 44 | - | 760 | 41k| 0 | 0 | 0 | 614 | 0 |-7.590000e+02 |-2.500000e+01 | 96.71%
39.59/39.66 c 37.5s|110000 | 21 | 0 | 0.0 | 29M| 44 | - | 760 | 41k| 0 | 0 | 0 | 653 | 0 |-7.590000e+02 |-2.500000e+01 | 96.71%
42.88/42.92 c 40.6s|120000 | 19 | 0 | 0.0 | 29M| 44 | - | 760 | 41k| 0 | 0 | 0 | 708 | 0 |-7.590000e+02 |-2.500000e+01 | 96.71%
46.08/46.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.08/46.11 c 43.7s|130000 | 16 | 0 | 0.0 | 29M| 44 | - | 760 | 41k| 0 | 0 | 0 | 757 | 0 |-7.590000e+02 |-2.500000e+01 | 96.71%
49.18/49.29 c 46.8s|140000 | 17 | 0 | 0.0 | 29M| 44 | - | 760 | 41k| 0 | 0 | 0 | 805 | 0 |-7.590000e+02 |-2.500000e+01 | 96.71%
52.58/52.63 c 50.0s|150000 | 17 | 0 | 0.0 | 29M| 44 | - | 760 | 41k| 0 | 0 | 0 | 866 | 0 |-7.590000e+02 |-2.500000e+01 | 96.71%
55.88/55.90 c 53.1s|160000 | 19 | 0 | 0.0 | 29M| 44 | - | 760 | 41k| 0 | 0 | 0 | 934 | 0 |-7.590000e+02 |-2.500000e+01 | 96.71%
59.18/59.28 c 56.4s|170000 | 20 | 0 | 0.0 | 29M| 47 | - | 760 | 41k| 0 | 0 | 0 | 986 | 0 |-7.590000e+02 |-2.500000e+01 | 96.71%
62.69/62.74 c 59.7s|180000 | 17 | 0 | 0.0 | 29M| 47 | - | 760 | 41k| 0 | 0 | 0 |1025 | 0 |-7.590000e+02 |-2.500000e+01 | 96.71%
66.08/66.13 c 63.0s|190000 | 18 | 0 | 0.0 | 29M| 47 | - | 760 | 41k| 0 | 0 | 0 |1061 | 0 |-7.590000e+02 |-2.500000e+01 | 96.71%
69.38/69.42 c 66.1s|200000 | 17 | 0 | 0.0 | 29M| 47 | - | 760 | 41k| 0 | 0 | 0 |1112 | 0 |-7.590000e+02 |-2.500000e+01 | 96.71%
72.67/72.71 c 69.3s|210000 | 16 | 0 | 0.0 | 29M| 47 | - | 760 | 41k| 0 | 0 | 0 |1157 | 0 |-7.590000e+02 |-2.500000e+01 | 96.71%
76.07/76.11 c 72.6s|220000 | 19 | 0 | 0.0 | 29M| 47 | - | 760 | 41k| 0 | 0 | 0 |1210 | 0 |-7.590000e+02 |-2.500000e+01 | 96.71%
79.38/79.43 c 75.8s|230000 | 15 | 0 | 0.0 | 29M| 47 | - | 760 | 41k| 0 | 0 | 0 |1285 | 0 |-7.590000e+02 |-2.500000e+01 | 96.71%
82.67/82.77 c 79.0s|240000 | 16 | 0 | 0.0 | 29M| 47 | - | 760 | 41k| 0 | 0 | 0 |1347 | 0 |-7.590000e+02 |-2.500000e+01 | 96.71%
86.07/86.13 c 82.2s|250000 | 14 | 0 | 0.0 | 29M| 48 | - | 760 | 41k| 0 | 0 | 0 |1408 | 0 |-7.590000e+02 |-2.500000e+01 | 96.71%
86.88/86.95 o -26
86.88/86.95 c *83.0s|252433 | 19 | 0 | 0.0 | 29M| 49 | - | 760 | 41k| 0 | 0 | 0 |1428 | 0 |-7.590000e+02 |-2.600000e+01 | 96.57%
89.17/89.23 c 85.2s|260000 | 17 | 0 | 0.0 | 29M| 49 | - | 760 | 41k| 0 | 0 | 0 |1490 | 0 |-7.590000e+02 |-2.600000e+01 | 96.57%
92.17/92.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.17/92.26 c 88.1s|270000 | 18 | 0 | 0.0 | 29M| 49 | - | 760 | 41k| 0 | 0 | 0 |1536 | 0 |-7.590000e+02 |-2.600000e+01 | 96.57%
94.48/94.52 o -27
94.48/94.52 c *90.2s|277347 | 18 | 0 | 0.0 | 29M| 49 | - | 760 | 41k| 0 | 0 | 0 |1575 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
95.27/95.34 c 91.0s|280000 | 18 | 0 | 0.0 | 29M| 49 | - | 760 | 41k| 0 | 0 | 0 |1592 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
98.47/98.50 c 94.0s|290000 | 17 | 0 | 0.0 | 29M| 49 | - | 760 | 41k| 0 | 0 | 0 |1644 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
101.57/101.64 c 97.1s|300000 | 17 | 0 | 0.0 | 29M| 49 | - | 760 | 41k| 0 | 0 | 0 |1696 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
104.66/104.76 c 100s|310000 | 17 | 0 | 0.0 | 29M| 49 | - | 760 | 41k| 0 | 0 | 0 |1746 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
107.77/107.88 c 103s|320000 | 17 | 0 | 0.0 | 29M| 49 | - | 760 | 41k| 0 | 0 | 0 |1792 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
110.97/111.01 c 106s|330000 | 18 | 0 | 0.0 | 29M| 49 | - | 760 | 41k| 0 | 0 | 0 |1833 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
114.07/114.16 c 109s|340000 | 18 | 0 | 0.0 | 29M| 49 | - | 760 | 41k| 0 | 0 | 0 |1917 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
117.17/117.24 c 112s|350000 | 18 | 0 | 0.0 | 29M| 49 | - | 760 | 41k| 0 | 0 | 0 |1970 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
120.26/120.35 c 115s|360000 | 17 | 0 | 0.0 | 29M| 49 | - | 760 | 41k| 0 | 0 | 0 |2001 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
123.36/123.47 c 118s|370000 | 17 | 0 | 0.0 | 29M| 49 | - | 760 | 41k| 0 | 0 | 0 |2047 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
126.47/126.56 c 121s|380000 | 18 | 0 | 0.0 | 29M| 49 | - | 760 | 41k| 0 | 0 | 0 |2074 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
129.56/129.62 c 124s|390000 | 17 | 0 | 0.0 | 29M| 49 | - | 760 | 41k| 0 | 0 | 0 |2100 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
132.76/132.82 c 127s|400000 | 18 | 0 | 0.0 | 29M| 49 | - | 760 | 41k| 0 | 0 | 0 |2282 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
135.86/135.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.86/135.93 c 130s|410000 | 19 | 0 | 0.0 | 29M| 49 | - | 760 | 41k| 0 | 0 | 0 |2341 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
139.06/139.13 c 133s|420000 | 17 | 0 | 0.0 | 29M| 49 | - | 760 | 41k| 0 | 0 | 0 |2378 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
142.26/142.34 c 136s|430000 | 17 | 0 | 0.0 | 29M| 49 | - | 760 | 41k| 0 | 0 | 0 |2399 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
145.36/145.47 c 139s|440000 | 18 | 0 | 0.0 | 29M| 49 | - | 760 | 41k| 0 | 0 | 0 |2434 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
148.66/148.72 c 142s|450000 | 16 | 0 | 0.0 | 29M| 49 | - | 760 | 41k| 0 | 0 | 0 |2473 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
151.96/152.00 c 145s|460000 | 21 | 0 | 0.0 | 29M| 51 | - | 760 | 41k| 0 | 0 | 0 |2513 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
155.15/155.25 c 149s|470000 | 17 | 0 | 0.0 | 29M| 53 | - | 760 | 41k| 0 | 0 | 0 |2556 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
158.26/158.34 c 152s|480000 | 19 | 0 | 0.0 | 29M| 53 | - | 760 | 41k| 0 | 0 | 0 |2598 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
161.57/161.61 c 155s|490000 | 16 | 0 | 0.0 | 29M| 53 | - | 760 | 41k| 0 | 0 | 0 |2638 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
164.65/164.74 c 158s|500000 | 19 | 0 | 0.0 | 29M| 54 | - | 760 | 41k| 0 | 0 | 0 |2682 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
167.85/167.91 c 161s|510000 | 18 | 0 | 0.0 | 29M| 57 | - | 760 | 41k| 0 | 0 | 0 |2708 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
170.95/171.09 c 164s|520000 | 18 | 0 | 0.0 | 29M| 57 | - | 760 | 41k| 0 | 0 | 0 |2753 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
174.15/174.26 c 167s|530000 | 16 | 0 | 0.0 | 29M| 57 | - | 760 | 41k| 0 | 0 | 0 |2799 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
177.35/177.49 c 170s|540000 | 20 | 0 | 0.0 | 29M| 57 | - | 760 | 41k| 0 | 0 | 0 |2843 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
180.65/180.72 c 173s|550000 | 18 | 0 | 0.0 | 29M| 57 | - | 760 | 41k| 0 | 0 | 0 |2906 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
183.85/183.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.85/183.96 c 176s|560000 | 19 | 0 | 0.0 | 29M| 57 | - | 760 | 41k| 0 | 0 | 0 |2978 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
187.04/187.14 c 179s|570000 | 19 | 0 | 0.0 | 29M| 57 | - | 760 | 41k| 0 | 0 | 0 |3047 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
190.15/190.24 c 182s|580000 | 18 | 0 | 0.0 | 29M| 57 | - | 760 | 41k| 0 | 0 | 0 |3104 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
193.14/193.22 c 185s|590000 | 19 | 0 | 0.0 | 29M| 57 | - | 760 | 41k| 0 | 0 | 0 |3158 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
196.34/196.40 c 188s|600000 | 17 | 0 | 0.0 | 29M| 57 | - | 760 | 41k| 0 | 0 | 0 |3214 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
199.55/199.60 c 191s|610000 | 18 | 0 | 0.0 | 29M| 57 | - | 760 | 41k| 0 | 0 | 0 |3267 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
202.64/202.79 c 194s|620000 | 20 | 0 | 0.0 | 29M| 57 | - | 760 | 41k| 0 | 0 | 0 |3325 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
205.84/206.00 c 197s|630000 | 16 | 0 | 0.0 | 29M| 57 | - | 760 | 41k| 0 | 0 | 0 |3364 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
209.04/209.17 c 200s|640000 | 18 | 0 | 0.0 | 29M| 59 | - | 760 | 41k| 0 | 0 | 0 |3404 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
212.25/212.33 c 203s|650000 | 19 | 0 | 0.0 | 29M| 59 | - | 760 | 41k| 0 | 0 | 0 |3455 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
215.45/215.54 c 206s|660000 | 19 | 0 | 0.0 | 29M| 59 | - | 760 | 41k| 0 | 0 | 0 |3495 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
218.75/218.81 c 210s|670000 | 16 | 0 | 0.0 | 29M| 59 | - | 760 | 41k| 0 | 0 | 0 |3544 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
221.93/222.05 c 213s|680000 | 14 | 0 | 0.0 | 29M| 59 | - | 760 | 41k| 0 | 0 | 0 |3590 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
225.24/225.30 c 216s|690000 | 18 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |3625 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
228.44/228.50 c 219s|700000 | 18 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |3675 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
231.54/231.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.54/231.68 c 222s|710000 | 17 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |3717 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
234.84/234.93 c 225s|720000 | 20 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |3771 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
238.03/238.11 c 228s|730000 | 19 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |3805 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
241.14/241.28 c 231s|740000 | 17 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |3840 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
244.33/244.43 c 234s|750000 | 19 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |3879 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
247.53/247.61 c 237s|760000 | 18 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |3938 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
250.64/250.80 c 240s|770000 | 16 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |3983 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
253.93/254.05 c 243s|780000 | 16 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |4040 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
257.03/257.15 c 246s|790000 | 21 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |4073 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
260.13/260.28 c 249s|800000 | 22 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |4098 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
263.43/263.53 c 253s|810000 | 18 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |4171 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
266.63/266.78 c 256s|820000 | 17 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |4225 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
269.83/269.99 c 259s|830000 | 17 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |4263 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
272.93/273.09 c 262s|840000 | 15 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |4330 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
276.13/276.21 c 265s|850000 | 16 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |4368 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
279.23/279.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.23/279.40 c 268s|860000 | 16 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |4407 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
282.42/282.56 c 271s|870000 | 18 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |4439 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
285.62/285.72 c 274s|880000 | 19 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |4482 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
288.72/288.86 c 277s|890000 | 18 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |4534 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
291.82/291.97 c 280s|900000 | 16 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |4582 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
295.03/295.10 c 283s|910000 | 18 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |4624 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
298.22/298.30 c 286s|920000 | 16 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |4658 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
301.22/301.34 c 289s|930000 | 17 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |4695 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
304.42/304.50 c 292s|940000 | 17 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |4755 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
307.52/307.66 c 295s|950000 | 16 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |4815 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
310.72/310.82 c 298s|960000 | 17 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |4862 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
313.72/313.88 c 301s|970000 | 16 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |4921 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
316.92/317.02 c 304s|980000 | 17 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |4945 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
320.02/320.17 c 307s|990000 | 17 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |4981 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
323.22/323.32 c 310s| 1000k| 20 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |5029 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
326.41/326.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
326.41/326.59 c 313s| 1010k| 18 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |5068 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
329.62/329.77 c 316s| 1020k| 16 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |5113 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
332.72/332.88 c 319s| 1030k| 16 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |5138 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
335.91/336.03 c 322s| 1040k| 18 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |5166 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
338.91/339.10 c 325s| 1050k| 19 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |5208 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
342.11/342.21 c 328s| 1060k| 16 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |5262 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
345.22/345.35 c 331s| 1070k| 17 | 0 | 0.0 | 29M| 60 | - | 760 | 41k| 0 | 0 | 0 |5311 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
348.31/348.49 c 334s| 1080k| 17 | 0 | 0.0 | 29M| 61 | - | 760 | 41k| 0 | 0 | 0 |5358 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
351.51/351.67 c 337s| 1090k| 19 | 0 | 0.0 | 29M| 61 | - | 760 | 41k| 0 | 0 | 0 |5399 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
354.70/354.87 c 340s| 1100k| 19 | 0 | 0.0 | 29M| 61 | - | 760 | 41k| 0 | 0 | 0 |5440 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
357.90/358.05 c 343s| 1110k| 16 | 0 | 0.0 | 29M| 61 | - | 760 | 41k| 0 | 0 | 0 |5501 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
361.10/361.20 c 346s| 1120k| 15 | 0 | 0.0 | 29M| 61 | - | 760 | 41k| 0 | 0 | 0 |5536 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
364.31/364.46 c 349s| 1130k| 18 | 0 | 0.0 | 29M| 61 | - | 760 | 41k| 0 | 0 | 0 |5574 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
367.40/367.57 c 352s| 1140k| 19 | 0 | 0.0 | 29M| 62 | - | 760 | 41k| 0 | 0 | 0 |5618 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
370.51/370.63 c 355s| 1150k| 15 | 0 | 0.0 | 29M| 62 | - | 760 | 41k| 0 | 0 | 0 |5661 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
373.70/373.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
373.70/373.89 c 358s| 1160k| 16 | 0 | 0.0 | 29M| 62 | - | 760 | 41k| 0 | 0 | 0 |5700 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
377.01/377.10 c 361s| 1170k| 18 | 0 | 0.0 | 29M| 62 | - | 760 | 41k| 0 | 0 | 0 |5759 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
380.10/380.22 c 364s| 1180k| 18 | 0 | 0.0 | 29M| 62 | - | 760 | 41k| 0 | 0 | 0 |5784 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
383.30/383.42 c 368s| 1190k| 20 | 0 | 0.0 | 29M| 62 | - | 760 | 41k| 0 | 0 | 0 |5821 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
386.60/386.70 c 371s| 1200k| 14 | 0 | 0.0 | 29M| 62 | - | 760 | 41k| 0 | 0 | 0 |5860 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
389.70/389.85 c 374s| 1210k| 18 | 0 | 0.0 | 29M| 62 | - | 760 | 41k| 0 | 0 | 0 |5887 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
392.80/392.99 c 377s| 1220k| 17 | 0 | 0.0 | 29M| 62 | - | 760 | 41k| 0 | 0 | 0 |5934 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
395.91/396.08 c 380s| 1230k| 18 | 0 | 0.0 | 29M| 62 | - | 760 | 41k| 0 | 0 | 0 |5969 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
399.10/399.22 c 383s| 1240k| 18 | 0 | 0.0 | 29M| 62 | - | 760 | 41k| 0 | 0 | 0 |5995 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
402.41/402.55 c 386s| 1250k| 16 | 0 | 0.0 | 29M| 62 | - | 760 | 41k| 0 | 0 | 0 |6041 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
405.70/405.81 c 389s| 1260k| 18 | 0 | 0.0 | 29M| 62 | - | 760 | 41k| 0 | 0 | 0 |6100 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
408.90/409.07 c 392s| 1270k| 20 | 0 | 0.0 | 29M| 62 | - | 760 | 41k| 0 | 0 | 0 |6137 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
412.10/412.27 c 395s| 1280k| 16 | 0 | 0.0 | 29M| 62 | - | 760 | 41k| 0 | 0 | 0 |6166 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
415.29/415.45 c 398s| 1290k| 18 | 0 | 0.0 | 29M| 62 | - | 760 | 41k| 0 | 0 | 0 |6217 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
418.59/418.73 c 402s| 1300k| 16 | 0 | 0.0 | 29M| 62 | - | 760 | 41k| 0 | 0 | 0 |6252 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
421.89/422.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
421.89/422.05 c 405s| 1310k| 17 | 0 | 0.0 | 29M| 62 | - | 760 | 41k| 0 | 0 | 0 |6291 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
425.19/425.34 c 408s| 1320k| 17 | 0 | 0.0 | 29M| 62 | - | 760 | 41k| 0 | 0 | 0 |6325 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
428.49/428.64 c 411s| 1330k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |6364 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
431.89/432.03 c 414s| 1340k| 14 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |6399 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
435.19/435.39 c 417s| 1350k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |6460 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
438.59/438.71 c 421s| 1360k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |6511 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
441.99/442.14 c 424s| 1370k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |6559 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
445.39/445.59 c 427s| 1380k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |6598 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
448.79/448.95 c 431s| 1390k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |6642 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
452.19/452.33 c 434s| 1400k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |6727 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
455.58/455.78 c 437s| 1410k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |6788 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
459.08/459.25 c 440s| 1420k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |6839 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
462.39/462.57 c 444s| 1430k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |6883 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
465.78/465.98 c 447s| 1440k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |6950 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
469.08/469.24 c 450s| 1450k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |7001 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
472.38/472.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
472.38/472.52 c 453s| 1460k| 15 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |7038 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
475.58/475.75 c 456s| 1470k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |7098 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
478.88/479.06 c 460s| 1480k| 19 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |7164 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
482.18/482.32 c 463s| 1490k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |7213 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
485.48/485.62 c 466s| 1500k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |7262 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
488.78/488.90 c 469s| 1510k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |7304 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
491.98/492.19 c 472s| 1520k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |7357 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
495.38/495.53 c 475s| 1530k| 15 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |7404 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
498.68/498.87 c 479s| 1540k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |7450 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
501.88/502.00 c 482s| 1550k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |7503 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
504.97/505.19 c 485s| 1560k| 19 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |7556 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
508.17/508.38 c 488s| 1570k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |7594 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
511.47/511.63 c 491s| 1580k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |7615 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
514.57/514.77 c 494s| 1590k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |7650 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
517.77/517.95 c 497s| 1600k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |7686 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
521.06/521.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
521.06/521.24 c 500s| 1610k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |7727 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
524.47/524.66 c 503s| 1620k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |7760 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
527.77/527.92 c 506s| 1630k| 20 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |7806 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
530.96/531.10 c 510s| 1640k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |7836 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
534.17/534.35 c 513s| 1650k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |7876 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
537.46/537.64 c 516s| 1660k| 15 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |7930 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
540.66/540.83 c 519s| 1670k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |7970 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
543.76/543.94 c 522s| 1680k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |8014 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
546.87/547.06 c 525s| 1690k| 19 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |8068 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
550.06/550.25 c 528s| 1700k| 15 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |8130 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
553.26/553.43 c 531s| 1710k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |8187 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
556.47/556.68 c 534s| 1720k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |8242 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
559.67/559.86 c 537s| 1730k| 15 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |8294 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
562.97/563.12 c 540s| 1740k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |8344 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
566.06/566.22 c 543s| 1750k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |8371 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
569.25/569.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
569.25/569.43 c 546s| 1760k| 20 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |8407 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
572.45/572.65 c 549s| 1770k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |8434 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
575.76/575.93 c 553s| 1780k| 19 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |8455 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
578.96/579.16 c 556s| 1790k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |8490 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
582.25/582.40 c 559s| 1800k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |8527 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
585.56/585.72 c 562s| 1810k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |8576 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
588.86/589.06 c 565s| 1820k| 19 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |8609 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
592.15/592.39 c 568s| 1830k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |8634 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
595.55/595.75 c 572s| 1840k| 15 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |8715 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
598.85/599.03 c 575s| 1850k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |8746 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
602.15/602.33 c 578s| 1860k| 19 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |8780 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
605.35/605.54 c 581s| 1870k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |8833 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
608.75/608.92 c 584s| 1880k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |8861 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
612.15/612.30 c 588s| 1890k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |8913 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
615.45/615.68 c 591s| 1900k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |8970 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
618.74/618.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
618.74/618.94 c 594s| 1910k| 15 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |9008 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
622.05/622.28 c 597s| 1920k| 19 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |9034 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
625.35/625.52 c 600s| 1930k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |9068 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
628.65/628.86 c 603s| 1940k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |9101 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
632.05/632.26 c 607s| 1950k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |9155 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
635.24/635.49 c 610s| 1960k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |9228 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
638.54/638.71 c 613s| 1970k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |9268 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
641.84/642.02 c 616s| 1980k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |9309 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
645.04/645.27 c 619s| 1990k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |9372 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
648.44/648.61 c 622s| 2000k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |9439 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
651.63/651.86 c 626s| 2010k| 19 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |9502 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
654.84/655.01 c 629s| 2020k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |9567 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
658.14/658.31 c 632s| 2030k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |9611 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
661.34/661.55 c 635s| 2040k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |9652 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
664.54/664.73 c 638s| 2050k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |9694 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
667.83/668.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
667.83/668.00 c 641s| 2060k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |9747 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
671.03/671.28 c 644s| 2070k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |9795 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
674.43/674.61 c 647s| 2080k| 19 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |9834 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
677.63/677.83 c 650s| 2090k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |9874 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
680.74/680.97 c 653s| 2100k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |9930 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
683.94/684.10 c 656s| 2110k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 |9976 | 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
687.13/687.30 c 660s| 2120k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
690.33/690.59 c 663s| 2130k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
693.63/693.86 c 666s| 2140k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
696.93/697.11 c 669s| 2150k| 15 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
700.12/700.35 c 672s| 2160k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
703.43/703.61 c 675s| 2170k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
706.52/706.76 c 678s| 2180k| 19 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
709.82/710.04 c 681s| 2190k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
713.13/713.33 c 685s| 2200k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
716.32/716.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
716.32/716.54 c 688s| 2210k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
719.52/719.75 c 691s| 2220k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.700000e+01 | 96.44%
720.33/720.51 o -28
720.33/720.51 c * 691s| 2222k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
722.83/723.03 c 694s| 2230k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
726.12/726.30 c 697s| 2240k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
729.32/729.52 c 700s| 2250k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
732.52/732.75 c 703s| 2260k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
735.82/736.09 c 706s| 2270k| 20 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
739.11/739.38 c 710s| 2280k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
742.33/742.58 c 713s| 2290k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
745.52/745.74 c 716s| 2300k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
748.62/748.86 c 719s| 2310k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
751.91/752.15 c 722s| 2320k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
755.22/755.45 c 725s| 2330k| 15 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
758.51/758.73 c 728s| 2340k| 19 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
761.71/761.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
761.71/761.99 c 731s| 2350k| 15 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
765.01/765.26 c 734s| 2360k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
768.21/768.47 c 737s| 2370k| 15 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 10k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
771.31/771.59 c 740s| 2380k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 11k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
774.61/774.81 c 744s| 2390k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 11k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
777.91/778.12 c 747s| 2400k| 15 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 11k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
781.11/781.37 c 750s| 2410k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 11k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
784.40/784.68 c 753s| 2420k| 15 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 11k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
787.71/787.90 c 756s| 2430k| 20 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 11k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
790.90/791.10 c 759s| 2440k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 11k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
794.01/794.26 c 762s| 2450k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 11k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
797.22/797.46 c 765s| 2460k| 20 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 11k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
800.51/800.73 c 768s| 2470k| 15 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 11k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
803.71/803.96 c 771s| 2480k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 11k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
806.80/807.09 c 774s| 2490k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 11k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
810.00/810.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
810.00/810.25 c 777s| 2500k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 11k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
813.20/813.47 c 781s| 2510k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 11k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
816.60/816.87 c 784s| 2520k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 11k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
819.80/820.07 c 787s| 2530k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 11k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
822.90/823.17 c 790s| 2540k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 11k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
826.10/826.33 c 793s| 2550k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 11k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
829.30/829.53 c 796s| 2560k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 11k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
832.51/832.73 c 799s| 2570k| 14 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 11k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
835.80/836.00 c 802s| 2580k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 11k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
839.00/839.22 c 805s| 2590k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 11k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
842.20/842.44 c 808s| 2600k| 15 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 11k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
845.39/845.64 c 811s| 2610k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 11k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
848.69/848.94 c 815s| 2620k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
851.99/852.23 c 818s| 2630k| 19 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
855.30/855.53 c 821s| 2640k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
858.49/858.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
858.49/858.77 c 824s| 2650k| 15 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
861.79/862.08 c 827s| 2660k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
865.18/865.44 c 830s| 2670k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
868.58/868.83 c 834s| 2680k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
871.88/872.17 c 837s| 2690k| 19 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
875.39/875.65 c 840s| 2700k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
878.89/879.13 c 844s| 2710k| 19 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
882.29/882.54 c 847s| 2720k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
885.58/885.86 c 850s| 2730k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
888.98/889.20 c 853s| 2740k| 19 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
892.18/892.47 c 856s| 2750k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
895.48/895.78 c 860s| 2760k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
898.88/899.19 c 863s| 2770k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
902.38/902.60 c 866s| 2780k| 19 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
905.78/906.03 c 870s| 2790k| 19 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
909.18/909.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
909.18/909.42 c 873s| 2800k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
912.58/912.81 c 876s| 2810k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
916.08/916.33 c 879s| 2820k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
919.28/919.56 c 883s| 2830k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
922.47/922.77 c 886s| 2840k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
925.77/926.05 c 889s| 2850k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
929.08/929.30 c 892s| 2860k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
932.37/932.60 c 895s| 2870k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
935.57/935.89 c 898s| 2880k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 12k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
938.77/939.05 c 901s| 2890k| 19 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
942.07/942.39 c 904s| 2900k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
945.47/945.70 c 908s| 2910k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
948.77/949.02 c 911s| 2920k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
952.07/952.32 c 914s| 2930k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
955.47/955.77 c 917s| 2940k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
958.76/959.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
958.76/959.08 c 921s| 2950k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
962.06/962.34 c 924s| 2960k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
965.26/965.58 c 927s| 2970k| 20 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
968.57/968.82 c 930s| 2980k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
971.87/972.11 c 933s| 2990k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
975.26/975.50 c 936s| 3000k| 15 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
978.57/978.80 c 939s| 3010k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
981.87/982.13 c 943s| 3020k| 16 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
985.06/985.36 c 946s| 3030k| 15 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
988.26/988.57 c 949s| 3040k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
991.56/991.83 c 952s| 3050k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
994.75/995.04 c 955s| 3060k| 19 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
998.06/998.33 c 958s| 3070k| 18 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1001.36/1001.63 c 961s| 3080k| 15 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1004.56/1004.88 c 965s| 3090k| 17 | 0 | 0.0 | 29M| 64 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1007.95/1008.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1007.95/1008.26 c 968s| 3100k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1011.25/1011.56 c 971s| 3110k| 15 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1014.55/1014.88 c 974s| 3120k| 15 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1017.95/1018.25 c 977s| 3130k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1021.15/1021.45 c 980s| 3140k| 17 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1024.35/1024.61 c 983s| 3150k| 18 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 13k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1027.65/1027.95 c 987s| 3160k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1030.95/1031.26 c 990s| 3170k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1034.45/1034.70 c 993s| 3180k| 15 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1037.74/1038.06 c 996s| 3190k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1041.05/1041.34 c 1000s| 3200k| 17 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1044.44/1044.76 c 1003s| 3210k| 15 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1047.74/1048.10 c 1006s| 3220k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1051.25/1051.51 c 1009s| 3230k| 17 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1054.55/1054.89 c 1013s| 3240k| 15 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1057.85/1058.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1057.85/1058.14 c 1016s| 3250k| 17 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1060.94/1061.29 c 1019s| 3260k| 18 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1064.34/1064.62 c 1022s| 3270k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1067.64/1067.92 c 1025s| 3280k| 18 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1070.94/1071.29 c 1028s| 3290k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1074.24/1074.58 c 1031s| 3300k| 18 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1077.44/1077.78 c 1034s| 3310k| 15 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1080.54/1080.87 c 1037s| 3320k| 17 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1083.74/1084.03 c 1040s| 3330k| 17 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1086.83/1087.11 c 1043s| 3340k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1089.94/1090.28 c 1046s| 3350k| 18 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1093.33/1093.68 c 1050s| 3360k| 18 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1096.73/1097.06 c 1053s| 3370k| 18 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1099.83/1100.17 c 1056s| 3380k| 18 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1103.13/1103.46 c 1059s| 3390k| 19 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1106.34/1106.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1106.34/1106.62 c 1062s| 3400k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1109.54/1109.86 c 1065s| 3410k| 18 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 14k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1112.84/1113.13 c 1068s| 3420k| 17 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1115.93/1116.24 c 1071s| 3430k| 20 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1119.03/1119.35 c 1074s| 3440k| 18 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1122.13/1122.44 c 1077s| 3450k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1125.23/1125.59 c 1080s| 3460k| 19 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1128.53/1128.81 c 1084s| 3470k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1131.53/1131.89 c 1086s| 3480k| 17 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1134.84/1135.15 c 1090s| 3490k| 15 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1137.93/1138.26 c 1093s| 3500k| 15 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1141.23/1141.50 c 1096s| 3510k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1144.52/1144.82 c 1099s| 3520k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1147.72/1148.05 c 1102s| 3530k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1150.92/1151.28 c 1105s| 3540k| 15 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1154.22/1154.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1154.22/1154.56 c 1108s| 3550k| 17 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1157.42/1157.79 c 1111s| 3560k| 19 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1160.72/1161.08 c 1114s| 3570k| 17 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1163.92/1164.26 c 1118s| 3580k| 15 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1167.22/1167.53 c 1121s| 3590k| 17 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1170.42/1170.79 c 1124s| 3600k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1173.71/1174.01 c 1127s| 3610k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1176.91/1177.22 c 1130s| 3620k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1180.21/1180.52 c 1133s| 3630k| 17 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1183.51/1183.80 c 1136s| 3640k| 19 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1186.82/1187.17 c 1139s| 3650k| 17 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1190.01/1190.37 c 1143s| 3660k| 18 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1193.22/1193.54 c 1146s| 3670k| 17 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 15k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1196.42/1196.75 c 1149s| 3680k| 17 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 16k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1199.71/1200.00 c 1152s| 3690k| 18 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 16k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1202.91/1203.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.91/1203.23 c 1155s| 3700k| 21 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 16k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1206.11/1206.43 c 1158s| 3710k| 17 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 16k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1209.40/1209.78 c 1161s| 3720k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 16k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1212.81/1213.13 c 1164s| 3730k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 16k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1216.11/1216.50 c 1168s| 3740k| 21 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 16k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1219.52/1219.84 c 1171s| 3750k| 17 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 16k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1222.81/1223.17 c 1174s| 3760k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 16k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1226.00/1226.36 c 1177s| 3770k| 19 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 16k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1229.20/1229.57 c 1180s| 3780k| 17 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 16k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1232.31/1232.67 c 1183s| 3790k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 16k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1235.40/1235.79 c 1186s| 3800k| 17 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 16k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1238.80/1239.18 c 1189s| 3810k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 16k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1242.30/1242.61 c 1193s| 3820k| 14 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 16k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1245.60/1245.93 c 1196s| 3830k| 15 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 16k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1248.80/1249.18 c 1199s| 3840k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 16k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1252.00/1252.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1252.00/1252.33 c 1202s| 3850k| 18 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 16k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1255.40/1255.74 c 1205s| 3860k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 16k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1258.70/1259.05 c 1209s| 3870k| 19 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 16k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1261.90/1262.27 c 1212s| 3880k| 15 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 16k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1265.20/1265.56 c 1215s| 3890k| 19 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1268.49/1268.84 c 1218s| 3900k| 17 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1271.90/1272.21 c 1221s| 3910k| 17 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1275.09/1275.45 c 1224s| 3920k| 17 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1278.29/1278.66 c 1227s| 3930k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1281.49/1281.89 c 1230s| 3940k| 14 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1284.89/1285.22 c 1234s| 3950k| 15 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1288.29/1288.63 c 1237s| 3960k| 17 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1291.49/1291.81 c 1240s| 3970k| 16 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1294.78/1295.13 c 1243s| 3980k| 15 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1298.18/1298.53 c 1246s| 3990k| 15 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1301.38/1301.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1301.38/1301.77 c 1250s| 4000k| 15 | 0 | 0.0 | 29M| 67 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1304.68/1305.04 c 1253s| 4010k| 14 | 0 | 0.0 | 29M| 68 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1308.08/1308.45 c 1256s| 4020k| 13 | 0 | 0.0 | 29M| 68 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1311.28/1311.69 c 1259s| 4030k| 15 | 0 | 0.0 | 29M| 70 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1314.49/1314.81 c 1262s| 4040k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1317.68/1318.08 c 1265s| 4050k| 19 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1320.98/1321.30 c 1268s| 4060k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1324.18/1324.57 c 1271s| 4070k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1327.39/1327.77 c 1274s| 4080k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1330.88/1331.20 c 1278s| 4090k| 15 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1333.98/1334.32 c 1281s| 4100k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1337.19/1337.52 c 1284s| 4110k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1340.38/1340.71 c 1287s| 4120k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1343.47/1343.88 c 1290s| 4130k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 17k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1346.78/1347.10 c 1293s| 4140k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1349.98/1350.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1349.98/1350.31 c 1296s| 4150k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1353.27/1353.62 c 1299s| 4160k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1356.57/1356.93 c 1303s| 4170k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1359.77/1360.13 c 1306s| 4180k| 21 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1363.07/1363.44 c 1309s| 4190k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1366.28/1366.61 c 1312s| 4200k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1369.37/1369.77 c 1315s| 4210k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1372.47/1372.87 c 1318s| 4220k| 19 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1375.57/1375.99 c 1321s| 4230k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1378.76/1379.11 c 1324s| 4240k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1381.87/1382.21 c 1327s| 4250k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1384.86/1385.27 c 1330s| 4260k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.800000e+01 | 96.31%
1387.26/1387.64 o -29
1387.26/1387.64 c *1332s| 4267k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1387.97/1388.34 c 1333s| 4270k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1391.07/1391.47 c 1336s| 4280k| 19 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1394.37/1394.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1394.37/1394.75 c 1339s| 4290k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1397.67/1398.06 c 1342s| 4300k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1400.76/1401.15 c 1345s| 4310k| 19 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1404.06/1404.46 c 1348s| 4320k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1407.36/1407.74 c 1351s| 4330k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1410.56/1410.95 c 1354s| 4340k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1413.66/1414.05 c 1357s| 4350k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1416.86/1417.26 c 1360s| 4360k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1419.96/1420.33 c 1363s| 4370k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1423.06/1423.45 c 1366s| 4380k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1426.16/1426.53 c 1369s| 4390k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 18k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1429.26/1429.62 c 1372s| 4400k| 14 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1432.66/1433.03 c 1376s| 4410k| 20 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1436.16/1436.51 c 1379s| 4420k| 19 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1439.65/1440.06 c 1382s| 4430k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1443.16/1443.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1443.16/1443.59 c 1386s| 4440k| 15 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1446.65/1447.03 c 1389s| 4450k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1450.15/1450.52 c 1392s| 4460k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1453.76/1454.10 c 1396s| 4470k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1457.25/1457.63 c 1399s| 4480k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1460.75/1461.12 c 1403s| 4490k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1464.05/1464.44 c 1406s| 4500k| 19 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1467.45/1467.87 c 1409s| 4510k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1470.85/1471.23 c 1412s| 4520k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1474.15/1474.52 c 1415s| 4530k| 14 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1477.65/1478.01 c 1419s| 4540k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1481.14/1481.55 c 1422s| 4550k| 19 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1484.65/1485.01 c 1426s| 4560k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1488.04/1488.49 c 1429s| 4570k| 15 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1491.54/1491.98 c 1432s| 4580k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1494.74/1495.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1494.74/1495.18 c 1435s| 4590k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1498.04/1498.44 c 1439s| 4600k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1501.44/1501.80 c 1442s| 4610k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1504.64/1505.06 c 1445s| 4620k| 14 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1508.04/1508.44 c 1448s| 4630k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1511.33/1511.77 c 1451s| 4640k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1514.74/1515.19 c 1455s| 4650k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1518.13/1518.59 c 1458s| 4660k| 15 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1521.53/1521.93 c 1461s| 4670k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1524.83/1525.20 c 1464s| 4680k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1528.14/1528.58 c 1468s| 4690k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1531.43/1531.86 c 1471s| 4700k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 19k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1534.73/1535.15 c 1474s| 4710k| 15 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1537.93/1538.34 c 1477s| 4720k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1541.13/1541.59 c 1480s| 4730k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1544.43/1544.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.43/1544.88 c 1483s| 4740k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1547.73/1548.13 c 1486s| 4750k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1550.93/1551.35 c 1489s| 4760k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1554.23/1554.61 c 1492s| 4770k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1557.32/1557.76 c 1496s| 4780k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1560.63/1561.01 c 1499s| 4790k| 14 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1563.73/1564.16 c 1502s| 4800k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1567.03/1567.49 c 1505s| 4810k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1570.33/1570.80 c 1508s| 4820k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1573.63/1574.06 c 1511s| 4830k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1576.93/1577.39 c 1514s| 4840k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1580.33/1580.71 c 1518s| 4850k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1583.63/1584.04 c 1521s| 4860k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1586.93/1587.39 c 1524s| 4870k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1590.23/1590.64 c 1527s| 4880k| 15 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1593.42/1593.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1593.42/1593.85 c 1530s| 4890k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1596.51/1596.97 c 1533s| 4900k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1599.72/1600.18 c 1536s| 4910k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1602.91/1603.32 c 1539s| 4920k| 15 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1606.22/1606.67 c 1543s| 4930k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1609.42/1609.85 c 1546s| 4940k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1612.61/1613.00 c 1549s| 4950k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1615.82/1616.22 c 1552s| 4960k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1618.82/1619.29 c 1555s| 4970k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1622.12/1622.56 c 1558s| 4980k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 20k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1625.71/1626.10 c 1561s| 4990k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1629.21/1629.62 c 1565s| 5000k| 19 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1632.61/1633.07 c 1568s| 5010k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1636.01/1636.44 c 1571s| 5020k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1639.41/1639.86 c 1574s| 5030k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1642.71/1643.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1642.71/1643.11 c 1577s| 5040k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1646.01/1646.48 c 1581s| 5050k| 20 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1649.21/1649.68 c 1584s| 5060k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1652.41/1652.89 c 1587s| 5070k| 15 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1655.60/1656.01 c 1590s| 5080k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1658.81/1659.26 c 1593s| 5090k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1662.10/1662.59 c 1596s| 5100k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1665.51/1665.95 c 1599s| 5110k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1668.90/1669.37 c 1603s| 5120k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1672.30/1672.75 c 1606s| 5130k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1675.60/1676.04 c 1609s| 5140k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1679.00/1679.43 c 1612s| 5150k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1682.30/1682.79 c 1616s| 5160k| 20 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1685.60/1686.05 c 1619s| 5170k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1688.80/1689.22 c 1622s| 5180k| 19 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1691.89/1692.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1691.89/1692.36 c 1625s| 5190k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1695.00/1695.47 c 1628s| 5200k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1698.20/1698.70 c 1631s| 5210k| 15 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1701.70/1702.18 c 1634s| 5220k| 19 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1705.09/1705.57 c 1637s| 5230k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1708.49/1708.90 c 1641s| 5240k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1711.79/1712.26 c 1644s| 5250k| 15 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1715.09/1715.54 c 1647s| 5260k| 19 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1718.29/1718.79 c 1650s| 5270k| 15 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 21k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1721.69/1722.12 c 1653s| 5280k| 15 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1724.89/1725.31 c 1656s| 5290k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1728.19/1728.60 c 1659s| 5300k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1731.39/1731.86 c 1663s| 5310k| 15 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1734.58/1735.08 c 1666s| 5320k| 19 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1737.89/1738.32 c 1669s| 5330k| 15 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1741.18/1741.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1741.18/1741.62 c 1672s| 5340k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1744.38/1744.86 c 1675s| 5350k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1747.59/1748.05 c 1678s| 5360k| 15 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1750.79/1751.28 c 1681s| 5370k| 14 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1754.08/1754.54 c 1684s| 5380k| 19 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1757.29/1757.79 c 1687s| 5390k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1760.59/1761.03 c 1691s| 5400k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1763.78/1764.27 c 1694s| 5410k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1766.88/1767.35 c 1697s| 5420k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1770.08/1770.56 c 1700s| 5430k| 18 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1773.28/1773.73 c 1703s| 5440k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1776.37/1776.89 c 1706s| 5450k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1779.78/1780.26 c 1709s| 5460k| 15 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1783.18/1783.61 c 1712s| 5470k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1786.27/1786.75 c 1715s| 5480k| 19 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1789.37/1789.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1789.37/1789.84 c 1718s| 5490k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1792.38/1792.86 c 1721s| 5500k| 16 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1795.57/1796.07 c 1724s| 5510k| 17 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1798.78/1799.20 c 1727s| 5520k| 13 | 0 | 0.0 | 29M| 75 | - | 760 | 41k| 0 | 0 | 0 | 22k| 0 |-7.590000e+02 |-2.900000e+01 | 96.18%
1800.08/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.50 c
1800.08/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.50 c Solving Time (sec) : 1728.39
1800.08/1800.50 c Solving Nodes : 5524083
1800.08/1800.50 c Primal Bound : -2.90000000000000e+01 (9 solutions)
1800.08/1800.50 c Dual Bound : -7.59000000000000e+02
1800.08/1800.50 c Gap : 96.18 %
1800.08/1800.53 s SATISFIABLE
1800.08/1800.53 v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.08/1800.53 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
1800.08/1800.53 v -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
1800.08/1800.53 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103
1800.08/1800.53 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1800.08/1800.53 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144
1800.08/1800.53 v -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165
1800.08/1800.53 v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186
1800.08/1800.53 v -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207
1800.08/1800.53 v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228
1800.08/1800.53 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
1800.08/1800.53 v x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1800.08/1800.53 v -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291
1800.08/1800.53 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312
1800.08/1800.53 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
1800.08/1800.53 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
1800.08/1800.53 v -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
1800.08/1800.53 v -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
1800.08/1800.53 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1800.08/1800.53 v x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438
1800.08/1800.53 v -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
1800.08/1800.53 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1800.08/1800.53 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
1800.08/1800.53 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522
1800.08/1800.53 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
1800.08/1800.53 v -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1800.08/1800.53 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
1800.08/1800.53 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606
1800.08/1800.53 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627
1800.08/1800.53 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
1800.08/1800.53 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669
1800.08/1800.53 v -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
1800.08/1800.53 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711
1800.08/1800.53 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732
1800.08/1800.53 v -x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753
1800.08/1800.53 v -x754 -x755 -x756 -x757 -x758 -x759 -x760
1800.08/1800.53 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.53 c Solving Time : 1728.39
1800.08/1800.53 c Original Problem :
1800.08/1800.53 c Problem name : HOME/instance-2664183-1276492561.opb
1800.08/1800.53 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.53 c Constraints : 41314 initial, 41314 maximal
1800.08/1800.53 c Presolved Problem :
1800.08/1800.53 c Problem name : t_HOME/instance-2664183-1276492561.opb
1800.08/1800.53 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.53 c Constraints : 41314 initial, 41344 maximal
1800.08/1800.53 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.53 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.53 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.53 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.53 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.53 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.53 c probing : 1.05 0 0 0 0 0 0 0 0
1800.08/1800.53 c logicor : 0.13 0 0 0 0 0 0 0 0
1800.08/1800.53 c root node : - 0 - - 0 - - - -
1800.08/1800.53 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.53 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.53 c logicor : 41314+ 0 5655457 0 6 375629 10057366 0 0 0
1800.08/1800.53 c countsols : 0 0 0 0 6 0 0 0 0 0
1800.08/1800.53 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.53 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.53 c logicor : 504.40 0.00 504.35 0.00 0.05
1800.08/1800.53 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.53 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.53 c vbounds : 4.56 2 0 0
1800.08/1800.53 c rootredcost : 4.31 0 0 0
1800.08/1800.53 c pseudoobj : 535.14 8825149 2095883 3071435
1800.08/1800.53 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.53 c propagation : 276.88 375629 22812 22812 40.0 0 0.0 -
1800.08/1800.53 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.53 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.53 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.53 c pseudo solution : 243.03 294271 0 0 0.0 0 0.0 -
1800.08/1800.53 c applied globally : - - - 22812 40.0 - - -
1800.08/1800.53 c applied locally : - - - 0 0.0 - - -
1800.08/1800.53 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.53 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.53 c redcost : 0.00 0 0 0 0 0
1800.08/1800.53 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.53 c intobj : 0.00 0 0 0 0 0
1800.08/1800.53 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.53 c gomory : 0.00 0 0 0 0 0
1800.08/1800.53 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.53 c cmir : 0.00 0 0 0 0 0
1800.08/1800.53 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.53 c clique : 0.00 0 0 0 0 0
1800.08/1800.53 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.53 c mcf : 0.00 0 0 0 0 0
1800.08/1800.53 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.53 c Pricers : Time Calls Vars
1800.08/1800.53 c problem variables: 0.00 0 0
1800.08/1800.53 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.53 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.53 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.53 c inference : 22.36 2773312 0 0 0 0 5546624
1800.08/1800.53 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.53 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.53 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.53 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.53 c random : 0.00 0 0 0 0 0 0
1800.08/1800.53 c Primal Heuristics : Time Calls Found
1800.08/1800.53 c LP solutions : 0.00 - 0
1800.08/1800.53 c pseudo solutions : 0.01 - 6
1800.08/1800.53 c oneopt : 3.55 0 0
1800.08/1800.53 c trivial : 0.03 2 3
1800.08/1800.53 c simplerounding : 0.00 0 0
1800.08/1800.53 c zirounding : 0.00 0 0
1800.08/1800.53 c rounding : 0.00 0 0
1800.08/1800.53 c shifting : 0.00 0 0
1800.08/1800.53 c intshifting : 0.00 0 0
1800.08/1800.53 c twoopt : 0.00 0 0
1800.08/1800.53 c fixandinfer : 0.00 0 0
1800.08/1800.53 c feaspump : 0.00 0 0
1800.08/1800.53 c coefdiving : 0.00 0 0
1800.08/1800.53 c pscostdiving : 0.00 0 0
1800.08/1800.53 c fracdiving : 0.00 0 0
1800.08/1800.53 c veclendiving : 0.00 0 0
1800.08/1800.53 c intdiving : 0.00 0 0
1800.08/1800.53 c actconsdiving : 0.00 0 0
1800.08/1800.53 c objpscostdiving : 0.00 0 0
1800.08/1800.53 c rootsoldiving : 0.00 0 0
1800.08/1800.53 c linesearchdiving : 0.00 0 0
1800.08/1800.53 c guideddiving : 0.00 0 0
1800.08/1800.53 c octane : 0.00 0 0
1800.08/1800.53 c rens : 0.00 0 0
1800.08/1800.53 c rins : 0.00 0 0
1800.08/1800.53 c localbranching : 0.00 0 0
1800.08/1800.53 c mutation : 0.00 0 0
1800.08/1800.53 c crossover : 0.00 0 0
1800.08/1800.53 c dins : 0.00 0 0
1800.08/1800.53 c undercover : 0.00 0 0
1800.08/1800.53 c nlp : 2.57 0 0
1800.08/1800.53 c trysol : 2.56 0 0
1800.08/1800.53 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.53 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.53 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.53 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.53 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.53 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.53 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.53 c (at root node) : - 0 0 0.00 -
1800.08/1800.53 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.53 c B&B Tree :
1800.08/1800.53 c number of runs : 1
1800.08/1800.53 c nodes : 5524083
1800.08/1800.53 c nodes (total) : 5524083
1800.08/1800.53 c nodes left : 15
1800.08/1800.53 c max depth : 75
1800.08/1800.53 c max depth (total): 75
1800.08/1800.53 c backtracks : 920314 (16.7%)
1800.08/1800.53 c delayed cutoffs : 16312
1800.08/1800.53 c repropagations : 18183 (57206 domain reductions, 15018 cutoffs)
1800.08/1800.53 c avg switch length: 2.00
1800.08/1800.53 c switching time : 184.73
1800.08/1800.53 c Solution :
1800.08/1800.53 c Solutions found : 9 (7 improvements)
1800.08/1800.53 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.07 seconds, depth 0, found by <trivial>)
1800.08/1800.53 c Primal Bound : -2.90000000000000e+01 (in run 1, after 4267681 nodes, 1332.01 seconds, depth 34, found by <relaxation>)
1800.08/1800.53 c Dual Bound : -7.59000000000000e+02
1800.08/1800.53 c Gap : 96.18 %
1800.08/1800.53 c Root Dual Bound : -7.60000000000000e+02
1800.08/1800.53 c Root Iterations : 0
1800.19/1800.63 c Time complete: 1800.2.