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-2663826-1276662375.opb>
0.09/0.19 c original problem has 16811 variables (16811 bin, 0 int, 0 impl, 0 cont) and 16811 constraints
0.09/0.19 c problem read
0.09/0.19 c presolving settings loaded
0.09/0.20 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.39/0.41 o 0
0.39/0.41 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.41 c presolving:
0.89/0.91 c (round 1) 15811 del vars, 1000 del conss, 15811 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63244 impls, 0 clqs
1.09/1.15 c (0.8s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.09/1.15 c (0.8s) probing aborted: 100/100 successive totally useless probings
1.09/1.15 c presolving (2 rounds):
1.09/1.15 c 15811 deleted vars, 1000 deleted constraints, 15811 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.09/1.15 c 94866 implications, 0 cliques
1.09/1.15 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15811 constraints
1.09/1.15 c 15811 constraints of type <logicor>
1.09/1.15 c transformed objective value is always integral (scale: 1)
1.09/1.15 c Presolving Time: 0.71
1.09/1.15 c - non default parameters ----------------------------------------------------------------------
1.09/1.15 c # SCIP version 1.2.1.2
1.09/1.15 c
1.09/1.15 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.09/1.15 c # [type: int, range: [-1,2147483647], default: -1]
1.09/1.15 c conflict/interconss = 0
1.09/1.15 c
1.09/1.15 c # should binary conflicts be preferred?
1.09/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.15 c conflict/preferbinary = TRUE
1.09/1.15 c
1.09/1.15 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.09/1.15 c # [type: int, range: [-1,2147483647], default: 0]
1.09/1.15 c constraints/agelimit = 1
1.09/1.15 c
1.09/1.15 c # should enforcement of pseudo solution be disabled?
1.09/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.15 c constraints/disableenfops = TRUE
1.09/1.15 c
1.09/1.15 c # frequency for displaying node information lines
1.09/1.15 c # [type: int, range: [-1,2147483647], default: 100]
1.09/1.15 c display/freq = 10000
1.09/1.15 c
1.09/1.15 c # maximal time in seconds to run
1.09/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.15 c limits/time = 1799.82
1.09/1.15 c
1.09/1.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.15 c limits/memory = 1620
1.09/1.15 c
1.09/1.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.09/1.15 c # [type: int, range: [-1,2147483647], default: 1]
1.09/1.15 c lp/solvefreq = -1
1.09/1.15 c
1.09/1.15 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)
1.09/1.15 c # [type: char, range: {lafpsqd}, default: l]
1.09/1.15 c lp/pricing = a
1.09/1.15 c
1.09/1.15 c # should presolving try to simplify inequalities
1.09/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.15 c constraints/linear/simplifyinequalities = TRUE
1.09/1.15 c
1.09/1.15 c # should presolving try to simplify knapsacks
1.09/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.15 c constraints/knapsack/simplifyinequalities = TRUE
1.09/1.15 c
1.09/1.15 c # priority of node selection rule <dfs> in standard mode
1.09/1.15 c # [type: int, range: [-536870912,536870911], default: 0]
1.09/1.15 c nodeselection/dfs/stdpriority = 1000000
1.09/1.15 c
1.09/1.15 c -----------------------------------------------------------------------------------------------
1.09/1.15 c start solving
1.09/1.16 c
1.09/1.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.09/1.16 c t 0.8s| 1 | 2 | 0 | - | 37M| 0 | - |1000 | 15k| 0 | 0 | 0 | 0 | 0 |-1.000000e+03 | 0.000000e+00 | 100.00%
1.09/1.18 o -88
1.09/1.18 c * 0.8s| 89 | 75 | 0 | 0.0 | 37M| 88 | - |1000 | 15k| 0 | 0 | 0 | 0 | 0 |-9.990000e+02 |-8.800000e+01 | 91.19%
1.09/1.19 o -89
1.09/1.19 c * 0.8s| 105 | 73 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 0 | 0 |-9.990000e+02 |-8.900000e+01 | 91.09%
1.19/1.22 o -90
1.19/1.22 c * 0.9s| 183 | 70 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 1 | 0 |-9.990000e+02 |-9.000000e+01 | 90.99%
1.29/1.31 o -91
1.29/1.31 c * 1.0s| 412 | 69 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 1 | 0 |-9.990000e+02 |-9.100000e+01 | 90.89%
1.89/1.94 o -92
1.89/1.94 c * 1.6s| 2195 | 65 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 4 | 0 |-9.990000e+02 |-9.200000e+01 | 90.79%
4.69/4.77 c 4.3s| 10000 | 63 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 22 | 0 |-9.990000e+02 |-9.200000e+01 | 90.79%
8.09/8.15 c 7.5s| 20000 | 67 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 49 | 0 |-9.990000e+02 |-9.200000e+01 | 90.79%
11.59/11.68 c 10.9s| 30000 | 61 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 84 | 0 |-9.990000e+02 |-9.200000e+01 | 90.79%
13.09/13.11 o -93
13.09/13.11 c *12.3s| 33886 | 63 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 98 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
15.29/15.30 c 14.4s| 40000 | 64 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 109 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
18.69/18.76 c 17.8s| 50000 | 63 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 136 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
22.18/22.24 c 21.1s| 60000 | 61 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 165 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
25.68/25.75 c 24.5s| 70000 | 62 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 187 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
29.18/29.22 c 27.8s| 80000 | 60 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 218 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
32.58/32.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.58/32.69 c 31.1s| 90000 | 59 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 223 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
35.98/36.05 c 34.4s|100000 | 62 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 228 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
39.48/39.54 c 37.7s|110000 | 62 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 236 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
42.68/42.76 c 40.8s|120000 | 60 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 247 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
45.97/46.00 c 43.9s|130000 | 61 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 259 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
49.38/49.41 c 47.2s|140000 | 64 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 270 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
52.68/52.77 c 50.4s|150000 | 62 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 282 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
55.87/55.97 c 53.5s|160000 | 58 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 287 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
59.47/59.55 c 57.0s|170000 | 63 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 294 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
62.68/62.80 c 60.1s|180000 | 58 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 304 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
66.17/66.24 c 63.4s|190000 | 63 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 307 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
69.77/69.80 c 66.8s|200000 | 66 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 312 | 0 |-9.990000e+02 |-9.300000e+01 | 90.69%
70.97/71.05 o -94
70.97/71.05 c *68.1s|203440 | 65 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 317 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
73.26/73.40 c 70.3s|210000 | 60 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 325 | 0 |-9.990000e+02 |-9.400000e+01 | 90.59%
74.06/74.15 o -95
74.06/74.15 c *71.0s|211987 | 64 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 326 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
76.87/76.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.87/76.96 c 73.8s|220000 | 62 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 333 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
80.28/80.37 c 77.0s|230000 | 64 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 337 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
83.57/83.64 c 80.2s|240000 | 61 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 345 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
86.67/86.77 c 83.2s|250000 | 62 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 356 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
89.76/89.89 c 86.1s|260000 | 63 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 367 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
93.27/93.32 c 89.4s|270000 | 58 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 376 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
96.56/96.61 c 92.6s|280000 | 61 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 389 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
99.86/99.95 c 95.8s|290000 | 59 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 395 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
103.46/103.51 c 99.2s|300000 | 61 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 412 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
106.85/106.93 c 102s|310000 | 61 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 427 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
110.16/110.26 c 106s|320000 | 60 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 434 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
113.46/113.51 c 109s|330000 | 61 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 445 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
116.96/117.00 c 112s|340000 | 61 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 448 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
120.35/120.40 c 115s|350000 | 61 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 452 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
123.65/123.73 c 119s|360000 | 60 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 464 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
126.86/126.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.86/126.93 c 122s|370000 | 60 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 476 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
130.05/130.13 c 125s|380000 | 60 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 484 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
133.25/133.37 c 128s|390000 | 56 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 490 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
136.35/136.49 c 131s|400000 | 60 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 494 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
139.66/139.75 c 134s|410000 | 58 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 508 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
142.86/142.92 c 137s|420000 | 59 | 0 | 0.0 | 38M| 88 | - |1000 | 15k| 0 | 0 | 0 | 513 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
146.05/146.17 c 140s|430000 | 60 | 0 | 0.0 | 38M| 89 | - |1000 | 15k| 0 | 0 | 0 | 522 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
149.55/149.64 c 143s|440000 | 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 532 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
152.34/152.47 c 146s|450000 | 66 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 547 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
155.15/155.25 c 149s|460000 | 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 570 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
157.94/158.06 c 151s|470000 | 66 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 595 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
160.84/160.94 c 154s|480000 | 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 619 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
163.64/163.74 c 157s|490000 | 68 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 640 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
166.54/166.61 c 160s|500000 | 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 670 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
169.44/169.56 c 162s|510000 | 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 689 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
172.13/172.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.13/172.20 c 165s|520000 | 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 692 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
174.64/174.77 c 167s|530000 | 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 701 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
177.44/177.51 c 170s|540000 | 65 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 714 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
180.03/180.19 c 173s|550000 | 66 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 726 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
182.63/182.78 c 175s|560000 | 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 734 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
185.53/185.64 c 178s|570000 | 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 747 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
188.33/188.41 c 180s|580000 | 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 755 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
190.93/191.08 c 183s|590000 | 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 760 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
193.83/193.90 c 186s|600000 | 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 767 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
196.53/196.65 c 188s|610000 | 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 783 | 0 |-9.990000e+02 |-9.500000e+01 | 90.49%
197.73/197.82 o -96
197.73/197.82 c * 189s|613862 | 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 792 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
199.63/199.74 c 191s|620000 | 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 796 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
202.62/202.73 c 194s|630000 | 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 803 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
205.64/205.79 c 197s|640000 | 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 819 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
208.62/208.70 c 200s|650000 | 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 835 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
212.02/212.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
212.02/212.10 c 203s|660000 | 66 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 850 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
215.12/215.28 c 206s|670000 | 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 864 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
218.32/218.44 c 209s|680000 | 66 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 879 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
221.61/221.76 c 212s|690000 | 65 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 894 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
225.02/225.13 c 215s|700000 | 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 913 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
228.42/228.53 c 219s|710000 | 65 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 934 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
231.72/231.88 c 222s|720000 | 65 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 949 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
235.22/235.38 c 225s|730000 | 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 961 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
238.92/239.00 c 229s|740000 | 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 975 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
242.31/242.41 c 232s|750000 | 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 988 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
245.91/246.01 c 236s|760000 | 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 | 999 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
249.71/249.80 c 239s|770000 | 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1007 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
253.21/253.37 c 243s|780000 | 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1017 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
256.41/256.53 c 246s|790000 | 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1036 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
259.41/259.55 c 249s|800000 | 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1050 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
262.41/262.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
262.41/262.56 c 251s|810000 | 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1061 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
265.20/265.39 c 254s|820000 | 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1068 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
268.21/268.33 c 257s|830000 | 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1077 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
271.10/271.26 c 260s|840000 | 57 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1093 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
273.90/274.04 c 262s|850000 | 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1101 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
276.90/277.04 c 265s|860000 | 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1106 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
279.60/279.75 c 268s|870000 | 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1114 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
282.61/282.73 c 271s|880000 | 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1117 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
285.60/285.79 c 273s|890000 | 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1119 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
288.70/288.81 c 276s|900000 | 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1126 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
291.60/291.70 c 279s|910000 | 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1133 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
294.70/294.83 c 282s|920000 | 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1138 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
297.69/297.89 c 285s|930000 | 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1149 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
300.89/301.03 c 288s|940000 | 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1156 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
304.19/304.32 c 291s|950000 | 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1162 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
307.29/307.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.29/307.41 c 294s|960000 | 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1172 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
310.69/310.89 c 297s|970000 | 66 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1189 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
313.89/314.04 c 300s|980000 | 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1195 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
316.79/316.96 c 303s|990000 | 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1205 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
319.78/319.96 c 306s| 1000k| 65 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1214 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
322.99/323.12 c 309s| 1010k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1229 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
325.89/326.09 c 312s| 1020k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1248 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
329.08/329.26 c 315s| 1030k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1261 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
332.18/332.36 c 318s| 1040k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1275 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
335.39/335.51 c 321s| 1050k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1295 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
338.69/338.84 c 324s| 1060k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1305 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
341.68/341.89 c 327s| 1070k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1312 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
344.87/345.07 c 330s| 1080k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1323 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
348.18/348.37 c 333s| 1090k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1335 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
351.27/351.50 c 336s| 1100k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1346 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
354.67/354.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
354.67/354.85 c 340s| 1110k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1353 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
358.27/358.48 c 343s| 1120k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1356 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
361.48/361.69 c 346s| 1130k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1373 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
364.27/364.40 c 349s| 1140k| 66 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1378 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
367.47/367.68 c 352s| 1150k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1391 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
370.58/370.73 c 355s| 1160k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1396 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
373.57/373.78 c 358s| 1170k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1409 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
376.66/376.82 c 361s| 1180k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1416 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
379.86/380.01 c 364s| 1190k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1424 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
383.06/383.24 c 367s| 1200k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1435 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
385.88/386.05 c 369s| 1210k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1448 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
388.77/388.91 c 372s| 1220k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1460 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
391.56/391.80 c 375s| 1230k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1472 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
394.77/394.97 c 378s| 1240k| 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1482 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
398.06/398.22 c 381s| 1250k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1490 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
401.06/401.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
401.06/401.29 c 384s| 1260k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1505 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
404.25/404.42 c 387s| 1270k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1517 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
407.35/407.55 c 390s| 1280k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1532 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
410.56/410.76 c 393s| 1290k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1538 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
413.66/413.87 c 396s| 1300k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1541 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
416.85/417.02 c 399s| 1310k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1548 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
419.85/420.04 c 402s| 1320k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1549 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
422.85/423.09 c 405s| 1330k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1552 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
426.05/426.29 c 408s| 1340k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1556 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
429.25/429.42 c 411s| 1350k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1566 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
432.16/432.34 c 414s| 1360k| 57 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1571 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
435.25/435.40 c 416s| 1370k| 65 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1579 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
438.45/438.61 c 420s| 1380k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1591 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
441.44/441.64 c 422s| 1390k| 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1600 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
444.65/444.87 c 426s| 1400k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1611 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
447.64/447.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
447.64/447.89 c 428s| 1410k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1624 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
450.85/451.01 c 431s| 1420k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1632 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
453.94/454.14 c 434s| 1430k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1641 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
457.14/457.30 c 437s| 1440k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1649 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
460.44/460.63 c 441s| 1450k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1654 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
463.74/463.93 c 444s| 1460k| 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1677 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
467.04/467.23 c 447s| 1470k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1682 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
470.24/470.45 c 450s| 1480k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1691 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
473.64/473.80 c 453s| 1490k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1703 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
476.64/476.83 c 456s| 1500k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1713 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
479.93/480.17 c 459s| 1510k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1717 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
483.24/483.43 c 463s| 1520k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1725 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
486.33/486.52 c 465s| 1530k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1740 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
489.33/489.53 c 468s| 1540k| 65 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1761 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
492.54/492.77 c 471s| 1550k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1772 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
495.63/495.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
495.63/495.81 c 474s| 1560k| 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1785 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
498.83/499.07 c 477s| 1570k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1798 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
501.93/502.16 c 480s| 1580k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1813 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
505.33/505.55 c 484s| 1590k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1819 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
508.43/508.66 c 487s| 1600k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1832 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
511.62/511.84 c 490s| 1610k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1855 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
514.72/514.93 c 493s| 1620k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1866 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
517.63/517.85 c 495s| 1630k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1875 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
520.62/520.80 c 498s| 1640k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1882 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
523.52/523.79 c 501s| 1650k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1891 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
526.42/526.62 c 504s| 1660k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1902 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
529.32/529.58 c 507s| 1670k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1910 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
532.02/532.24 c 509s| 1680k| 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1914 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
534.72/534.99 c 512s| 1690k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1920 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
537.73/537.93 c 515s| 1700k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1930 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
540.52/540.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
540.52/540.77 c 517s| 1710k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1935 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
543.62/543.89 c 520s| 1720k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1944 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
546.71/546.94 c 523s| 1730k| 65 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1955 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
549.61/549.82 c 526s| 1740k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1961 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
552.31/552.56 c 529s| 1750k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1972 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
555.41/555.66 c 532s| 1760k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1982 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
558.31/558.51 c 534s| 1770k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1989 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
561.41/561.60 c 537s| 1780k| 65 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |1994 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
564.32/564.55 c 540s| 1790k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2001 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
567.21/567.40 c 543s| 1800k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2007 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
570.01/570.26 c 545s| 1810k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2015 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
572.92/573.15 c 548s| 1820k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2022 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
575.71/575.94 c 551s| 1830k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2033 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
578.60/578.85 c 554s| 1840k| 57 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2035 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
581.71/581.94 c 557s| 1850k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2042 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
584.91/585.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
584.91/585.11 c 560s| 1860k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2045 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
588.10/588.40 c 563s| 1870k| 56 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2053 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
591.10/591.35 c 566s| 1880k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2054 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
594.10/594.38 c 569s| 1890k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2062 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
597.30/597.52 c 572s| 1900k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2064 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
600.70/600.91 c 575s| 1910k| 65 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2074 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
604.00/604.23 c 578s| 1920k| 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2087 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
607.20/607.48 c 581s| 1930k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2095 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
610.30/610.56 c 584s| 1940k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2108 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
613.50/613.74 c 587s| 1950k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2123 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
616.69/616.96 c 590s| 1960k| 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2135 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
619.99/620.24 c 593s| 1970k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2139 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
622.99/623.21 c 596s| 1980k| 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2147 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
625.89/626.14 c 599s| 1990k| 57 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2155 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
628.89/629.18 c 602s| 2000k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2176 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
632.19/632.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
632.19/632.49 c 605s| 2010k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2182 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
635.29/635.55 c 608s| 2020k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2194 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
638.19/638.48 c 611s| 2030k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2204 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
641.19/641.41 c 614s| 2040k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2211 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
644.09/644.33 c 616s| 2050k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2224 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
647.48/647.79 c 620s| 2060k| 65 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2235 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
650.89/651.19 c 623s| 2070k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2240 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
654.29/654.57 c 626s| 2080k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2250 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
657.28/657.51 c 629s| 2090k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2261 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
660.18/660.48 c 632s| 2100k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2267 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
663.38/663.62 c 635s| 2110k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2275 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
666.38/666.66 c 638s| 2120k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2281 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
669.78/670.05 c 641s| 2130k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2291 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
673.18/673.45 c 644s| 2140k| 68 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2302 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
675.98/676.27 c 647s| 2150k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2318 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
678.78/679.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
678.78/679.08 c 650s| 2160k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2324 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
681.79/682.03 c 652s| 2170k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2337 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
684.77/685.09 c 655s| 2180k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2343 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
687.77/688.00 c 658s| 2190k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2358 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
690.48/690.76 c 661s| 2200k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2372 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
693.78/694.00 c 664s| 2210k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2383 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
696.77/697.04 c 667s| 2220k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2386 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
699.77/700.02 c 670s| 2230k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2393 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
702.57/702.82 c 672s| 2240k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2408 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
705.66/705.92 c 675s| 2250k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2437 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
708.57/708.82 c 678s| 2260k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2440 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
711.27/711.60 c 681s| 2270k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2445 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
714.26/714.53 c 683s| 2280k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2451 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
717.36/717.64 c 686s| 2290k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2458 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
720.37/720.61 c 689s| 2300k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2466 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
723.36/723.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
723.36/723.61 c 692s| 2310k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2475 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
726.36/726.61 c 695s| 2320k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2485 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
729.26/729.57 c 698s| 2330k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2491 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
732.26/732.54 c 701s| 2340k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2502 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
735.26/735.57 c 704s| 2350k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2509 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
738.36/738.65 c 707s| 2360k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2514 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
741.66/741.94 c 710s| 2370k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2517 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
744.66/744.91 c 712s| 2380k| 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2523 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
747.67/747.96 c 715s| 2390k| 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2528 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
750.76/751.01 c 718s| 2400k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2531 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
753.85/754.12 c 721s| 2410k| 65 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2543 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
756.95/757.26 c 724s| 2420k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2547 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
760.15/760.41 c 727s| 2430k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2554 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
763.25/763.53 c 730s| 2440k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2557 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
766.25/766.53 c 733s| 2450k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2566 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
769.66/769.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
769.66/769.93 c 736s| 2460k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2569 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
773.24/773.52 c 740s| 2470k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2571 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
776.55/776.89 c 743s| 2480k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2583 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
780.04/780.37 c 746s| 2490k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2587 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
783.65/783.91 c 750s| 2500k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2595 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
786.94/787.22 c 753s| 2510k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2599 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
790.25/790.59 c 756s| 2520k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2602 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
793.54/793.83 c 759s| 2530k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2606 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
796.54/796.84 c 762s| 2540k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2616 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
799.45/799.78 c 765s| 2550k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2618 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
802.34/802.66 c 768s| 2560k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2623 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
805.13/805.46 c 770s| 2570k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2626 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
807.93/808.29 c 773s| 2580k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2631 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
810.84/811.13 c 776s| 2590k| 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2637 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
813.94/814.20 c 779s| 2600k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2649 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
817.04/817.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
817.04/817.35 c 782s| 2610k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2661 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
820.44/820.77 c 785s| 2620k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2669 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
823.54/823.90 c 788s| 2630k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2683 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
826.63/826.93 c 791s| 2640k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2695 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
829.53/829.82 c 794s| 2650k| 57 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2707 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
832.53/832.88 c 797s| 2660k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2717 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
835.83/836.10 c 800s| 2670k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2719 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
838.94/839.21 c 803s| 2680k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2728 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
841.73/842.09 c 805s| 2690k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2741 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
844.83/845.17 c 808s| 2700k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2753 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
848.03/848.38 c 811s| 2710k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2765 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
851.03/851.35 c 814s| 2720k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2771 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
854.03/854.30 c 817s| 2730k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2782 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
857.03/857.39 c 820s| 2740k| 57 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2795 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
860.32/860.68 c 823s| 2750k| 65 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2812 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
863.62/863.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
863.62/863.99 c 826s| 2760k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2825 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
866.92/867.29 c 829s| 2770k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2843 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
870.42/870.71 c 833s| 2780k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2853 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
873.62/873.96 c 836s| 2790k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2863 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
876.82/877.10 c 839s| 2800k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2884 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
880.02/880.34 c 842s| 2810k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2892 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
883.12/883.46 c 845s| 2820k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2901 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
886.02/886.30 c 848s| 2830k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2909 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
889.12/889.40 c 851s| 2840k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2921 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
891.82/892.19 c 853s| 2850k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2934 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
894.71/895.04 c 856s| 2860k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2940 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
897.71/898.02 c 859s| 2870k| 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2952 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
900.81/901.10 c 862s| 2880k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2965 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
903.92/904.24 c 865s| 2890k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2976 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
907.12/907.42 c 868s| 2900k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2994 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
910.42/910.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
910.42/910.76 c 871s| 2910k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |2999 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
913.71/914.09 c 874s| 2920k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3006 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
917.21/917.50 c 878s| 2930k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3016 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
920.41/920.70 c 881s| 2940k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3022 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
923.81/924.15 c 884s| 2950k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3030 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
927.30/927.63 c 887s| 2960k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3038 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
930.60/930.97 c 890s| 2970k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3056 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
933.80/934.11 c 893s| 2980k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3061 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
937.20/937.55 c 897s| 2990k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3071 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
940.60/940.97 c 900s| 3000k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3091 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
944.00/944.34 c 903s| 3010k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3101 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
947.20/947.55 c 906s| 3020k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3114 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
950.30/950.68 c 909s| 3030k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3127 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
953.60/953.90 c 912s| 3040k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3138 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
956.79/957.14 c 916s| 3050k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3150 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
960.10/960.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
960.10/960.44 c 919s| 3060k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3157 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
963.39/963.74 c 922s| 3070k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3164 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
966.60/966.91 c 925s| 3080k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3173 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
969.59/969.94 c 928s| 3090k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3179 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
972.89/973.22 c 931s| 3100k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3187 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
975.99/976.36 c 934s| 3110k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3199 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
979.19/979.59 c 937s| 3120k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3208 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
982.49/982.85 c 940s| 3130k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3229 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
985.79/986.17 c 943s| 3140k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3237 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
989.09/989.49 c 947s| 3150k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3247 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
992.38/992.77 c 950s| 3160k| 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3257 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
995.68/996.03 c 953s| 3170k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3264 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
998.79/999.19 c 956s| 3180k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3265 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1001.88/1002.26 c 959s| 3190k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3276 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1005.09/1005.48 c 962s| 3200k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3286 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1008.28/1008.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1008.28/1008.61 c 965s| 3210k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3299 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1011.58/1011.91 c 968s| 3220k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3305 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1014.78/1015.16 c 971s| 3230k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3310 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1018.07/1018.44 c 974s| 3240k| 55 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3313 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1020.97/1021.38 c 977s| 3250k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3320 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1023.78/1024.17 c 980s| 3260k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3330 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1026.57/1026.99 c 982s| 3270k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3337 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1029.88/1030.20 c 985s| 3280k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3346 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1032.68/1033.06 c 988s| 3290k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3354 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1035.47/1035.88 c 991s| 3300k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3364 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1038.38/1038.73 c 994s| 3310k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3375 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1041.28/1041.67 c 996s| 3320k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3384 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1044.27/1044.61 c 999s| 3330k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3396 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1047.17/1047.52 c 1002s| 3340k| 56 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3403 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1050.46/1050.87 c 1005s| 3350k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3410 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1053.67/1054.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1053.67/1054.03 c 1008s| 3360k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3415 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1056.57/1056.92 c 1011s| 3370k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3427 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1059.47/1059.87 c 1014s| 3380k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3437 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1062.36/1062.73 c 1017s| 3390k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3452 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1065.17/1065.58 c 1019s| 3400k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3466 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1068.16/1068.55 c 1022s| 3410k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3471 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1071.46/1071.86 c 1025s| 3420k| 57 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3474 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1074.66/1075.07 c 1028s| 3430k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3484 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1077.67/1078.09 c 1031s| 3440k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3489 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1080.56/1080.98 c 1034s| 3450k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3496 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1083.46/1083.89 c 1037s| 3460k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3503 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1086.55/1086.95 c 1040s| 3470k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3515 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1089.85/1090.23 c 1043s| 3480k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3523 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1092.96/1093.31 c 1046s| 3490k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3530 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1095.95/1096.36 c 1049s| 3500k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3539 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1098.95/1099.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1098.95/1099.37 c 1052s| 3510k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3550 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1102.05/1102.42 c 1055s| 3520k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3562 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1105.16/1105.59 c 1058s| 3530k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3576 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1108.15/1108.55 c 1060s| 3540k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3585 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1111.15/1111.53 c 1063s| 3550k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3597 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1114.04/1114.46 c 1066s| 3560k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3604 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1117.15/1117.50 c 1069s| 3570k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3612 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1120.55/1120.96 c 1072s| 3580k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3630 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1123.75/1124.20 c 1075s| 3590k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3652 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1126.85/1127.27 c 1078s| 3600k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3668 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1130.04/1130.43 c 1081s| 3610k| 56 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3682 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1133.34/1133.74 c 1084s| 3620k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3696 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1136.84/1137.23 c 1088s| 3630k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3707 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1140.04/1140.48 c 1091s| 3640k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3723 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1142.84/1143.25 c 1094s| 3650k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3741 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1145.64/1146.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1145.64/1146.06 c 1096s| 3660k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3756 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1148.64/1149.02 c 1099s| 3670k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3770 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1151.44/1151.89 c 1102s| 3680k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3776 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1154.44/1154.89 c 1105s| 3690k| 57 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3784 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1157.33/1157.71 c 1107s| 3700k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3785 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1159.84/1160.24 c 1110s| 3710k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3791 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1162.24/1162.69 c 1112s| 3720k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3798 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1164.93/1165.34 c 1115s| 3730k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3808 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1167.44/1167.84 c 1117s| 3740k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3815 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1169.94/1170.31 c 1119s| 3750k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3825 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1172.44/1172.82 c 1122s| 3760k| 66 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3842 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1175.13/1175.56 c 1124s| 3770k| 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3864 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1177.83/1178.28 c 1127s| 3780k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3879 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1180.53/1180.93 c 1129s| 3790k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3890 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1183.24/1183.68 c 1132s| 3800k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3909 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1186.03/1186.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1186.03/1186.47 c 1135s| 3810k| 65 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3925 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1189.03/1189.44 c 1137s| 3820k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3941 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1191.82/1192.23 c 1140s| 3830k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3947 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1194.23/1194.62 c 1142s| 3840k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3961 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1196.83/1197.27 c 1145s| 3850k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3977 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1199.52/1199.99 c 1148s| 3860k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |3990 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1202.53/1202.90 c 1150s| 3870k| 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4003 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1205.32/1205.75 c 1153s| 3880k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4011 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1208.12/1208.50 c 1156s| 3890k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4030 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1210.73/1211.15 c 1158s| 3900k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4043 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1213.32/1213.77 c 1161s| 3910k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4056 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1216.02/1216.45 c 1163s| 3920k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4064 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1218.82/1219.24 c 1166s| 3930k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4078 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1221.51/1221.90 c 1168s| 3940k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4088 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1224.72/1225.10 c 1171s| 3950k| 65 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4092 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1227.71/1228.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1227.71/1228.19 c 1174s| 3960k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4103 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1231.01/1231.40 c 1177s| 3970k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4109 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1234.11/1234.56 c 1180s| 3980k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4117 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1236.91/1237.38 c 1183s| 3990k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4123 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1239.61/1240.00 c 1186s| 4000k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4130 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1242.11/1242.56 c 1188s| 4010k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4137 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1244.82/1245.22 c 1191s| 4020k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4144 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1247.41/1247.86 c 1193s| 4030k| 57 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4151 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1249.90/1250.31 c 1195s| 4040k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4165 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1252.42/1252.82 c 1198s| 4050k| 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4188 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1255.11/1255.57 c 1200s| 4060k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4203 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1257.71/1258.16 c 1203s| 4070k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4210 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1260.50/1260.94 c 1205s| 4080k| 68 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4228 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1263.21/1263.63 c 1208s| 4090k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4241 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1265.81/1266.28 c 1210s| 4100k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4246 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1268.50/1268.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1268.50/1268.94 c 1213s| 4110k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4265 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1271.00/1271.47 c 1215s| 4120k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4274 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1273.70/1274.11 c 1218s| 4130k| 67 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4278 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1276.80/1277.25 c 1221s| 4140k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4287 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1279.80/1280.27 c 1224s| 4150k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4296 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1282.40/1282.81 c 1226s| 4160k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4301 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1284.70/1285.18 c 1228s| 4170k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4316 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1287.49/1287.99 c 1231s| 4180k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4329 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1290.49/1290.93 c 1234s| 4190k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4336 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1293.59/1294.09 c 1237s| 4200k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4342 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1296.50/1296.97 c 1240s| 4210k| 65 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4352 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1298.99/1299.46 c 1242s| 4220k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4360 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1301.49/1301.95 c 1244s| 4230k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4374 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1303.99/1304.46 c 1247s| 4240k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4386 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1306.49/1306.98 c 1249s| 4250k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4406 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1308.99/1309.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1308.99/1309.42 c 1251s| 4260k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4419 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1311.39/1311.80 c 1254s| 4270k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4433 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1313.79/1314.20 c 1256s| 4280k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4453 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1316.49/1316.93 c 1259s| 4290k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4467 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1319.29/1319.79 c 1261s| 4300k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4483 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1322.19/1322.60 c 1264s| 4310k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4501 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1324.78/1325.21 c 1266s| 4320k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4510 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1327.49/1327.97 c 1269s| 4330k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4514 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1330.18/1330.65 c 1272s| 4340k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4524 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1332.98/1333.43 c 1274s| 4350k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4526 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1335.78/1336.20 c 1277s| 4360k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4538 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1338.68/1339.13 c 1280s| 4370k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4544 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1341.49/1341.99 c 1282s| 4380k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4550 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1344.18/1344.67 c 1285s| 4390k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4558 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1347.18/1347.63 c 1288s| 4400k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4563 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1350.47/1350.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1350.47/1350.90 c 1291s| 4410k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4575 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1353.18/1353.69 c 1293s| 4420k| 57 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4583 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1355.78/1356.26 c 1296s| 4430k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4593 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1358.48/1358.96 c 1298s| 4440k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4605 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1361.28/1361.72 c 1301s| 4450k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4617 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1363.97/1364.43 c 1304s| 4460k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4630 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1366.57/1367.08 c 1306s| 4470k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4641 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1369.77/1370.27 c 1309s| 4480k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4654 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1372.46/1372.90 c 1312s| 4490k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4658 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1375.07/1375.55 c 1314s| 4500k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4665 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1377.57/1378.08 c 1317s| 4510k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4669 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1380.36/1380.81 c 1319s| 4520k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4670 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1383.56/1384.02 c 1322s| 4530k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4675 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1386.17/1386.70 c 1325s| 4540k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4682 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1388.78/1389.28 c 1327s| 4550k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4689 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1391.67/1392.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1391.67/1392.11 c 1330s| 4560k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4698 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1394.38/1394.81 c 1332s| 4570k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4711 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1396.96/1397.50 c 1335s| 4580k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4724 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1399.66/1400.20 c 1338s| 4590k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4739 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1402.76/1403.22 c 1340s| 4600k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4747 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1405.46/1405.90 c 1343s| 4610k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4756 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1408.06/1408.55 c 1346s| 4620k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4765 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1410.76/1411.20 c 1348s| 4630k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4771 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1413.26/1413.76 c 1350s| 4640k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4780 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1415.86/1416.34 c 1353s| 4650k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4784 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1418.65/1419.11 c 1356s| 4660k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4789 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1421.46/1421.91 c 1358s| 4670k| 57 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4793 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1424.35/1424.82 c 1361s| 4680k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4794 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1426.96/1427.44 c 1363s| 4690k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4800 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1429.85/1430.37 c 1366s| 4700k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4814 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1433.05/1433.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1433.05/1433.53 c 1369s| 4710k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4822 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1436.06/1436.50 c 1372s| 4720k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4829 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1439.05/1439.50 c 1375s| 4730k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4840 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1441.95/1442.45 c 1378s| 4740k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4851 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1444.86/1445.32 c 1380s| 4750k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4863 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1447.34/1447.89 c 1383s| 4760k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4873 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1449.94/1450.45 c 1385s| 4770k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4886 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1452.44/1452.97 c 1388s| 4780k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4901 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1455.14/1455.62 c 1390s| 4790k| 57 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4910 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1457.73/1458.20 c 1393s| 4800k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4916 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1460.44/1460.93 c 1395s| 4810k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4928 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1463.04/1463.50 c 1398s| 4820k| 57 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4940 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1465.74/1466.21 c 1400s| 4830k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4952 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1468.04/1468.59 c 1402s| 4840k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4967 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1470.53/1471.00 c 1405s| 4850k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4973 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1473.14/1473.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1473.14/1473.62 c 1407s| 4860k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |4990 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1475.74/1476.24 c 1410s| 4870k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5008 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1478.33/1478.80 c 1412s| 4880k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5026 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1481.03/1481.60 c 1415s| 4890k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5031 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1483.83/1484.30 c 1417s| 4900k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5041 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1486.73/1487.21 c 1420s| 4910k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5051 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1489.33/1489.85 c 1423s| 4920k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5064 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1491.93/1492.49 c 1425s| 4930k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5076 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1494.62/1495.12 c 1428s| 4940k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5091 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1497.23/1497.79 c 1430s| 4950k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5101 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1499.94/1500.49 c 1433s| 4960k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5103 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1502.72/1503.29 c 1435s| 4970k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5111 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1505.62/1506.10 c 1438s| 4980k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5116 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1508.32/1508.82 c 1441s| 4990k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5117 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1511.02/1511.57 c 1443s| 5000k| 56 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5121 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1514.13/1514.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1514.13/1514.62 c 1446s| 5010k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5122 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1516.71/1517.26 c 1449s| 5020k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5127 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1519.12/1519.64 c 1451s| 5030k| 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5135 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1521.51/1522.08 c 1453s| 5040k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5143 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1524.02/1524.57 c 1456s| 5050k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5148 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1526.52/1527.09 c 1458s| 5060k| 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5159 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1528.91/1529.43 c 1460s| 5070k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5171 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1531.32/1531.86 c 1462s| 5080k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5183 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1533.81/1534.30 c 1465s| 5090k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5193 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1536.22/1536.76 c 1467s| 5100k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5214 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1538.62/1539.16 c 1469s| 5110k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5228 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1541.01/1541.55 c 1472s| 5120k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5241 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1543.51/1544.00 c 1474s| 5130k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5242 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1545.91/1546.41 c 1476s| 5140k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5251 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1548.32/1548.86 c 1478s| 5150k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5261 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1550.71/1551.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1550.71/1551.27 c 1481s| 5160k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5278 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1553.21/1553.78 c 1483s| 5170k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5287 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1555.71/1556.21 c 1485s| 5180k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5292 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1558.21/1558.73 c 1488s| 5190k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5296 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1560.71/1561.27 c 1490s| 5200k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5300 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1563.31/1563.83 c 1493s| 5210k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5308 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1565.70/1566.30 c 1495s| 5220k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5314 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1568.20/1568.74 c 1497s| 5230k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5321 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1570.70/1571.23 c 1500s| 5240k| 57 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5328 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1573.10/1573.61 c 1502s| 5250k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5342 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1575.50/1576.02 c 1504s| 5260k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5356 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1577.90/1578.47 c 1506s| 5270k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5367 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1580.30/1580.88 c 1509s| 5280k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5384 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1582.70/1583.29 c 1511s| 5290k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5393 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1585.29/1585.83 c 1513s| 5300k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5411 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1587.69/1588.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1587.69/1588.29 c 1516s| 5310k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5420 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1590.19/1590.73 c 1518s| 5320k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5426 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1592.59/1593.13 c 1520s| 5330k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5437 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1594.99/1595.51 c 1522s| 5340k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5444 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1597.29/1597.88 c 1525s| 5350k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5448 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1599.79/1600.37 c 1527s| 5360k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5454 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1602.19/1602.77 c 1529s| 5370k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5464 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1605.09/1605.65 c 1532s| 5380k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5487 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1607.70/1608.26 c 1534s| 5390k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5497 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1610.19/1610.70 c 1537s| 5400k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5507 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1612.59/1613.17 c 1539s| 5410k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5516 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1615.08/1615.61 c 1541s| 5420k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5527 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1617.59/1618.17 c 1544s| 5430k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5543 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1620.19/1620.75 c 1546s| 5440k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5556 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1622.49/1623.06 c 1548s| 5450k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5569 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1624.98/1625.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1624.98/1625.51 c 1551s| 5460k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5585 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1627.49/1628.06 c 1553s| 5470k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5592 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1629.88/1630.47 c 1555s| 5480k| 57 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5601 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1632.28/1632.90 c 1558s| 5490k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5614 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1634.78/1635.35 c 1560s| 5500k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5623 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1637.28/1637.88 c 1562s| 5510k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5627 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1639.68/1640.27 c 1565s| 5520k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5638 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1642.07/1642.68 c 1567s| 5530k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5640 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1644.57/1645.13 c 1569s| 5540k| 57 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5645 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1646.88/1647.49 c 1572s| 5550k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5656 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1649.38/1649.94 c 1574s| 5560k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5670 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1651.77/1652.39 c 1576s| 5570k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5675 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1654.27/1654.88 c 1578s| 5580k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5690 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1656.77/1657.39 c 1581s| 5590k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5701 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1659.47/1660.04 c 1583s| 5600k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5710 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1662.27/1662.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1662.27/1662.87 c 1586s| 5610k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5729 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1664.97/1665.50 c 1589s| 5620k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5731 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1667.37/1667.95 c 1591s| 5630k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5736 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1669.87/1670.44 c 1593s| 5640k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5740 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1672.27/1672.87 c 1595s| 5650k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5745 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1674.87/1675.41 c 1598s| 5660k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5751 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1677.37/1677.96 c 1600s| 5670k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5757 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1679.87/1680.45 c 1603s| 5680k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5762 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1682.47/1683.06 c 1605s| 5690k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5767 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1684.97/1685.56 c 1607s| 5700k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5779 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1687.47/1688.08 c 1610s| 5710k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5792 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1690.26/1690.84 c 1612s| 5720k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5796 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1693.06/1693.60 c 1615s| 5730k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5802 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1695.57/1696.19 c 1618s| 5740k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5810 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1698.16/1698.75 c 1620s| 5750k| 57 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5815 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1701.17/1701.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1701.17/1701.74 c 1623s| 5760k| 65 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5824 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1704.05/1704.62 c 1626s| 5770k| 63 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5834 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1706.57/1707.14 c 1628s| 5780k| 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5843 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1708.96/1709.60 c 1630s| 5790k| 57 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5848 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1711.76/1712.34 c 1633s| 5800k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5855 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1714.15/1714.79 c 1635s| 5810k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5866 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1716.66/1717.27 c 1638s| 5820k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5872 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1719.25/1719.83 c 1640s| 5830k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5877 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1722.15/1722.71 c 1643s| 5840k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5878 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1724.66/1725.28 c 1645s| 5850k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5886 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1727.15/1727.73 c 1647s| 5860k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5895 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1729.85/1730.41 c 1650s| 5870k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5901 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1732.55/1733.19 c 1653s| 5880k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5905 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1735.16/1735.79 c 1655s| 5890k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5909 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1737.95/1738.50 c 1658s| 5900k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5912 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1740.45/1741.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1740.45/1741.05 c 1660s| 5910k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5915 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1742.96/1743.58 c 1662s| 5920k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5917 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1745.54/1746.19 c 1665s| 5930k| 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5925 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1748.25/1748.84 c 1667s| 5940k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5933 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1751.15/1751.76 c 1670s| 5950k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5946 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1753.85/1754.44 c 1673s| 5960k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5955 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1756.15/1756.79 c 1675s| 5970k| 64 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5963 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1758.54/1759.18 c 1677s| 5980k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5970 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1760.94/1761.57 c 1679s| 5990k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5977 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1763.34/1763.99 c 1682s| 6000k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5980 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1765.84/1766.45 c 1684s| 6010k| 62 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5983 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1768.25/1768.88 c 1686s| 6020k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5989 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1770.84/1771.44 c 1689s| 6030k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |5994 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1773.44/1774.03 c 1691s| 6040k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |6002 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1775.84/1776.49 c 1693s| 6050k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |6011 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1778.63/1779.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1778.63/1779.23 c 1696s| 6060k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |6016 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1781.35/1781.90 c 1699s| 6070k| 60 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |6020 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1784.13/1784.73 c 1701s| 6080k| 57 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |6027 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1786.53/1787.18 c 1704s| 6090k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |6034 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1789.04/1789.67 c 1706s| 6100k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |6038 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1791.73/1792.31 c 1708s| 6110k| 59 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |6042 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1794.24/1794.89 c 1711s| 6120k| 58 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |6046 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1796.94/1797.50 c 1713s| 6130k| 61 | 0 | 0.0 | 38M| 94 | - |1000 | 15k| 0 | 0 | 0 |6052 | 0 |-9.990000e+02 |-9.600000e+01 | 90.39%
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.61 c
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time (sec) : 1716.35
1800.04/1800.61 c Solving Nodes : 6139645
1800.04/1800.61 c Primal Bound : -9.60000000000000e+01 (11 solutions)
1800.04/1800.61 c Dual Bound : -9.99000000000000e+02
1800.04/1800.61 c Gap : 90.39 %
1800.04/1800.65 s SATISFIABLE
1800.04/1800.65 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 x982 -x981 -x980 -x979
1800.04/1800.65 v x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 x962 x961 -x960 -x959 -x958
1800.04/1800.65 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1800.04/1800.65 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916
1800.04/1800.65 v -x915 -x914 x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1800.04/1800.65 v -x894 x893 -x892 x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1800.04/1800.65 v -x873 -x872 -x871 -x870 -x869 x868 -x867 -x866 -x865 x864 -x863 x862 -x861 -x860 -x859 -x858 -x857 -x856 x855 -x854 -x853 -x852
1800.04/1800.65 v x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831
1800.04/1800.65 v -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810
1800.04/1800.65 v -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789
1800.04/1800.65 v -x788 -x787 -x786 -x785 x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768
1800.04/1800.65 v -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 x757 -x756 -x755 -x754 -x753 -x752 x751 -x750 -x749 -x748 -x747
1800.04/1800.65 v -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 x732 -x731 x730 -x729 -x728 -x727 -x726
1800.04/1800.65 v -x725 -x724 x723 x722 -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 x712 -x711 -x710 x709 -x708 -x707 -x706 -x705 -x704
1800.04/1800.65 v -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683
1800.04/1800.65 v -x682 -x681 -x680 -x679 -x678 x677 -x676 -x675 -x674 -x673 x672 -x671 -x670 x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662
1800.04/1800.65 v -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641
1800.04/1800.65 v -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620
1800.04/1800.65 v -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 x611 x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 x600 -x599
1800.04/1800.65 v -x598 -x597 -x596 -x595 x594 -x593 x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578
1800.04/1800.65 v -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 x562 -x561 -x560 -x559 -x558 -x557
1800.04/1800.65 v -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536
1800.04/1800.65 v -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 x520 -x519 -x518 -x517 -x516 -x515
1800.04/1800.65 v -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 x496 -x495 -x494
1800.04/1800.65 v -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 x480 -x479 -x478 -x477 -x476 -x475 x474 -x473
1800.04/1800.65 v -x472 -x471 -x470 -x469 -x468 -x467 x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 x455 x454 -x453 -x452 -x451
1800.04/1800.65 v -x450 -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430
1800.04/1800.65 v -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 x415 x414 -x413 -x412 -x411 -x410 -x409
1800.04/1800.65 v -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388
1800.04/1800.65 v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 x368 -x367
1800.04/1800.65 v -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347
1800.04/1800.65 v -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326
1800.04/1800.65 v -x325 -x324 -x323 -x322 x321 -x320 -x319 x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304
1800.04/1800.65 v -x303 -x302 -x301 -x300 x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283
1800.04/1800.65 v -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 x262
1800.04/1800.65 v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 x245 -x244 -x243 -x242 -x241
1800.04/1800.65 v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220
1800.04/1800.65 v -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199
1800.04/1800.65 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 x179 -x178
1800.04/1800.65 v x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 x158 -x157 -x156
1800.04/1800.65 v x155 -x154 -x153 -x152 -x151 x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 x135
1800.04/1800.65 v -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113
1800.04/1800.65 v -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 x90
1800.04/1800.65 v -x89 -x88 x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 x70 -x69 -x68 -x67 x66 -x65 x64
1800.04/1800.65 v -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38
1800.04/1800.65 v -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 x17 x16 -x15 -x14 x13 -x12
1800.04/1800.65 v -x11 -x10 -x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
1800.04/1800.65 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.65 c Solving Time : 1716.35
1800.04/1800.65 c Original Problem :
1800.04/1800.65 c Problem name : HOME/instance-2663826-1276662375.opb
1800.04/1800.65 c Variables : 16811 (16811 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.65 c Constraints : 16811 initial, 16811 maximal
1800.04/1800.65 c Presolved Problem :
1800.04/1800.65 c Problem name : t_HOME/instance-2663826-1276662375.opb
1800.04/1800.65 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.65 c Constraints : 15811 initial, 15816 maximal
1800.04/1800.65 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.65 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.65 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.65 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.65 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.65 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.65 c probing : 0.10 0 0 0 0 0 0 0 0
1800.04/1800.65 c linear : 0.10 15811 0 0 15811 0 1000 0 0
1800.04/1800.65 c logicor : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.65 c root node : - 0 - - 0 - - - -
1800.04/1800.65 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.65 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.65 c logicor : 15811+ 0 6308927 0 9 17027 9478146 0 0 0
1800.04/1800.65 c countsols : 0 0 0 0 9 0 0 0 0 0
1800.04/1800.65 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.65 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.65 c logicor : 111.55 0.00 111.54 0.00 0.01
1800.04/1800.65 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.65 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.65 c vbounds : 5.47 2 0 0
1800.04/1800.65 c rootredcost : 4.96 0 0 0
1800.04/1800.65 c pseudoobj : 853.65 10814576 2767001 10159160
1800.04/1800.65 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.65 c propagation : 17.25 17027 6057 6057 73.9 0 0.0 -
1800.04/1800.65 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.65 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.65 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.65 c pseudo solution : 420.07 277753 0 0 0.0 0 0.0 -
1800.04/1800.65 c applied globally : - - - 6057 73.9 - - -
1800.04/1800.65 c applied locally : - - - 0 0.0 - - -
1800.04/1800.65 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.65 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.65 c redcost : 0.00 0 0 0 0 0
1800.04/1800.65 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.65 c intobj : 0.00 0 0 0 0 0
1800.04/1800.65 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.65 c gomory : 0.00 0 0 0 0 0
1800.04/1800.65 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.65 c cmir : 0.00 0 0 0 0 0
1800.04/1800.65 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.65 c clique : 0.00 0 0 0 0 0
1800.04/1800.65 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.65 c mcf : 0.00 0 0 0 0 0
1800.04/1800.65 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.65 c Pricers : Time Calls Vars
1800.04/1800.65 c problem variables: 0.00 0 0
1800.04/1800.65 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.65 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.65 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.65 c inference : 39.65 3080894 0 0 0 0 6161788
1800.04/1800.65 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.65 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.65 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.65 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.65 c random : 0.00 0 0 0 0 0 0
1800.04/1800.65 c Primal Heuristics : Time Calls Found
1800.04/1800.65 c LP solutions : 0.00 - 0
1800.04/1800.65 c pseudo solutions : 0.01 - 9
1800.04/1800.65 c oneopt : 4.22 0 0
1800.04/1800.65 c trivial : 0.04 2 2
1800.04/1800.65 c simplerounding : 0.00 0 0
1800.04/1800.65 c zirounding : 0.00 0 0
1800.04/1800.65 c rounding : 0.00 0 0
1800.04/1800.65 c shifting : 0.00 0 0
1800.04/1800.65 c intshifting : 0.00 0 0
1800.04/1800.65 c twoopt : 0.00 0 0
1800.04/1800.65 c fixandinfer : 0.00 0 0
1800.04/1800.65 c feaspump : 0.00 0 0
1800.04/1800.65 c coefdiving : 0.00 0 0
1800.04/1800.65 c pscostdiving : 0.00 0 0
1800.04/1800.65 c fracdiving : 0.00 0 0
1800.04/1800.65 c veclendiving : 0.00 0 0
1800.04/1800.65 c intdiving : 0.00 0 0
1800.04/1800.65 c actconsdiving : 0.00 0 0
1800.04/1800.65 c objpscostdiving : 0.00 0 0
1800.04/1800.65 c rootsoldiving : 0.00 0 0
1800.04/1800.65 c linesearchdiving : 0.00 0 0
1800.04/1800.65 c guideddiving : 0.00 0 0
1800.04/1800.65 c octane : 0.00 0 0
1800.04/1800.65 c rens : 0.00 0 0
1800.04/1800.65 c rins : 0.00 0 0
1800.04/1800.65 c localbranching : 0.00 0 0
1800.04/1800.65 c mutation : 0.00 0 0
1800.04/1800.65 c crossover : 0.00 0 0
1800.04/1800.65 c dins : 0.00 0 0
1800.04/1800.65 c undercover : 0.00 0 0
1800.04/1800.65 c nlp : 2.60 0 0
1800.04/1800.65 c trysol : 3.01 0 0
1800.04/1800.65 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.65 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.65 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.65 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.65 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.65 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.65 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.65 c (at root node) : - 0 0 0.00 -
1800.04/1800.65 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.65 c B&B Tree :
1800.04/1800.65 c number of runs : 1
1800.04/1800.65 c nodes : 6139645
1800.04/1800.65 c nodes (total) : 6139645
1800.04/1800.65 c nodes left : 58
1800.04/1800.65 c max depth : 94
1800.04/1800.65 c max depth (total): 94
1800.04/1800.65 c backtracks : 1476572 (24.0%)
1800.04/1800.65 c delayed cutoffs : 4077
1800.04/1800.65 c repropagations : 5055 (18884 domain reductions, 3039 cutoffs)
1800.04/1800.65 c avg switch length: 2.00
1800.04/1800.65 c switching time : 104.23
1800.04/1800.65 c Solution :
1800.04/1800.65 c Solutions found : 11 (10 improvements)
1800.04/1800.65 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.16 seconds, depth 0, found by <trivial>)
1800.04/1800.65 c Primal Bound : -9.60000000000000e+01 (in run 1, after 613862 nodes, 189.30 seconds, depth 84, found by <relaxation>)
1800.04/1800.65 c Dual Bound : -9.99000000000000e+02
1800.04/1800.65 c Gap : 90.39 %
1800.04/1800.65 c Root Dual Bound : -1.00000000000000e+03
1800.04/1800.65 c Root Iterations : 0
1800.14/1800.74 c Time complete: 1800.17.