0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2667058-1276470301.opb>
0.00/0.04 c original problem has 528 variables (528 bin, 0 int, 0 impl, 0 cont) and 1816 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.05 c presolving:
0.09/0.10 c (round 1) 0 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1636 upgd conss, 11664 impls, 0 clqs
0.09/0.11 c (round 2) 0 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1804 upgd conss, 11664 impls, 0 clqs
0.09/0.14 c (0.1s) probing: 101/528 (19.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (3 rounds):
0.09/0.14 c 0 deleted vars, 12 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14 c 11664 implications, 0 cliques
0.09/0.14 c presolved problem has 528 variables (528 bin, 0 int, 0 impl, 0 cont) and 1804 constraints
0.09/0.14 c 1804 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.08
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c conflict/interconss = 0
0.09/0.14 c
0.09/0.14 c # should binary conflicts be preferred?
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c conflict/preferbinary = TRUE
0.09/0.14 c
0.09/0.14 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.14 c constraints/agelimit = 1
0.09/0.14 c
0.09/0.14 c # should enforcement of pseudo solution be disabled?
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/disableenfops = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.97
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 1620
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = 0
0.09/0.14 c
0.09/0.14 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.09/0.14 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.14 c lp/pricing = a
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # priority of node selection rule <dfs> in standard mode
0.09/0.14 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.14 c nodeselection/dfs/stdpriority = 1000000
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.19/0.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.24 c 0.2s| 1 | 0 | 789 | - |3876k| 0 | 416 | 528 |1804 | 528 |1804 | 0 | 0 | 0 | 1.450000e+02 | -- | Inf
0.59/0.66 c 0.6s| 1 | 0 | 2078 | - |3953k| 0 | 410 | 528 |1804 | 528 |1811 | 7 | 0 | 0 | 1.501250e+02 | -- | Inf
0.79/0.81 c 0.7s| 1 | 0 | 2266 | - |4030k| 0 | 393 | 528 |1804 | 528 |1821 | 17 | 0 | 0 | 1.535991e+02 | -- | Inf
0.99/1.00 c 0.9s| 1 | 0 | 2506 | - |4138k| 0 | 400 | 528 |1804 | 528 |1834 | 30 | 0 | 0 | 1.555559e+02 | -- | Inf
1.10/1.19 c 1.1s| 1 | 0 | 2780 | - |4462k| 0 | 403 | 528 |1804 | 528 |1844 | 40 | 0 | 0 | 1.573894e+02 | -- | Inf
1.39/1.46 c 1.4s| 1 | 0 | 2967 | - |4732k| 0 | 401 | 528 |1804 | 528 |1855 | 51 | 0 | 0 | 1.580628e+02 | -- | Inf
1.69/1.75 c 1.6s| 1 | 0 | 3228 | - |4987k| 0 | 399 | 528 |1804 | 528 |1864 | 60 | 0 | 0 | 1.583969e+02 | -- | Inf
1.99/2.08 c 2.0s| 1 | 0 | 3507 | - |5230k| 0 | 405 | 528 |1804 | 528 |1870 | 66 | 0 | 0 | 1.588148e+02 | -- | Inf
2.29/2.36 c 2.2s| 1 | 0 | 3692 | - |5313k| 0 | 409 | 528 |1804 | 528 |1878 | 74 | 0 | 0 | 1.598242e+02 | -- | Inf
2.59/2.67 c 2.5s| 1 | 0 | 3838 | - |5395k| 0 | 403 | 528 |1804 | 528 |1884 | 80 | 0 | 0 | 1.600315e+02 | -- | Inf
2.89/2.99 c 2.8s| 1 | 0 | 4016 | - |5459k| 0 | 407 | 528 |1804 | 528 |1888 | 84 | 0 | 0 | 1.601514e+02 | -- | Inf
3.20/3.25 c 3.1s| 1 | 0 | 4102 | - |5510k| 0 | 408 | 528 |1804 | 528 |1891 | 87 | 0 | 0 | 1.601971e+02 | -- | Inf
3.49/3.52 c 3.4s| 1 | 0 | 4213 | - |5563k| 0 | 409 | 528 |1804 | 528 |1895 | 91 | 0 | 0 | 1.602762e+02 | -- | Inf
3.69/3.76 c 3.6s| 1 | 0 | 4265 | - |5602k| 0 | 409 | 528 |1804 | 528 |1898 | 94 | 0 | 0 | 1.602985e+02 | -- | Inf
3.99/4.02 c 3.9s| 1 | 0 | 4339 | - |5635k| 0 | 407 | 528 |1804 | 528 |1896 | 98 | 0 | 0 | 1.603308e+02 | -- | Inf
4.19/4.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.19/4.28 c 4.1s| 1 | 0 | 4449 | - |5673k| 0 | 407 | 528 |1804 | 528 |1899 | 101 | 0 | 0 | 1.603712e+02 | -- | Inf
4.49/4.53 c 4.3s| 1 | 0 | 4503 | - |5714k| 0 | 409 | 528 |1804 | 528 |1901 | 103 | 0 | 0 | 1.603884e+02 | -- | Inf
4.69/4.78 c 4.6s| 1 | 0 | 4539 | - |5720k| 0 | 407 | 528 |1804 | 528 |1902 | 104 | 0 | 0 | 1.604021e+02 | -- | Inf
4.99/5.02 c 4.8s| 1 | 0 | 4548 | - |5721k| 0 | 407 | 528 |1804 | 528 |1903 | 105 | 0 | 0 | 1.604025e+02 | -- | Inf
5.19/5.26 c 5.1s| 1 | 0 | 4592 | - |5729k| 0 | 406 | 528 |1804 | 528 |1904 | 106 | 0 | 0 | 1.604068e+02 | -- | Inf
5.50/5.52 c 5.3s| 1 | 0 | 4637 | - |5732k| 0 | 405 | 528 |1804 | 528 |1889 | 107 | 0 | 0 | 1.604100e+02 | -- | Inf
8.70/8.76 c 8.5s| 1 | 2 | 4637 | - |5733k| 0 | 405 | 528 |1804 | 528 |1889 | 107 | 0 | 34 | 1.604100e+02 | -- | Inf
8.80/8.87 o 231
8.80/8.87 c * 8.6s| 299 | 121 | 4637 | 0.0 |5858k| 126 | - | 528 |1811 | 0 | 0 | 107 | 40 | 34 | 1.606363e+02 | 2.310000e+02 | 43.80%
9.80/9.84 o 227
9.80/9.84 c * 9.5s| 2594 | 108 | 4637 | 0.0 |5871k| 131 | - | 528 |1811 | 0 | 0 | 107 |1288 | 34 | 1.606363e+02 | 2.270000e+02 | 41.31%
9.80/9.85 o 220
9.80/9.85 c * 9.5s| 2639 | 100 | 4637 | 0.0 |5879k| 141 | - | 528 |1811 | 0 | 0 | 107 |1290 | 34 | 1.606363e+02 | 2.200000e+02 | 36.96%
12.79/12.82 c 12.3s| 10000 | 91 | 4637 | 0.0 |5874k| 141 | - | 528 |1811 | 0 | 0 | 107 |4888 | 34 | 1.606363e+02 | 2.200000e+02 | 36.96%
16.49/16.52 c 15.8s| 20000 | 88 | 4637 | 0.0 |5870k| 141 | - | 528 |1811 | 0 | 0 | 107 |9155 | 34 | 1.606363e+02 | 2.200000e+02 | 36.96%
20.29/20.35 c 19.3s| 30000 | 93 | 4637 | 0.0 |5873k| 141 | - | 528 |1811 | 0 | 0 | 107 | 13k| 34 | 1.606363e+02 | 2.200000e+02 | 36.96%
24.20/24.28 c 23.1s| 40000 | 89 | 4637 | 0.0 |5873k| 141 | - | 528 |1811 | 0 | 0 | 107 | 18k| 34 | 1.606363e+02 | 2.200000e+02 | 36.96%
28.19/28.25 c 26.8s| 50000 | 91 | 4637 | 0.0 |5873k| 141 | - | 528 |1811 | 0 | 0 | 107 | 23k| 34 | 1.606363e+02 | 2.200000e+02 | 36.96%
32.49/32.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.49/32.53 c 30.8s| 60000 | 88 | 4637 | 0.0 |5874k| 141 | - | 528 |1811 | 0 | 0 | 107 | 28k| 34 | 1.606363e+02 | 2.200000e+02 | 36.96%
36.38/36.41 c 34.5s| 70000 | 90 | 4637 | 0.0 |5871k| 141 | - | 528 |1811 | 0 | 0 | 107 | 33k| 34 | 1.606363e+02 | 2.200000e+02 | 36.96%
40.59/40.68 c 38.5s| 80000 | 89 | 4637 | 0.0 |5872k| 141 | - | 528 |1811 | 0 | 0 | 107 | 38k| 34 | 1.606363e+02 | 2.200000e+02 | 36.96%
44.18/44.29 c 41.9s| 90000 | 88 | 4637 | 0.0 |5873k| 141 | - | 528 |1811 | 0 | 0 | 107 | 42k| 34 | 1.606363e+02 | 2.200000e+02 | 36.96%
47.68/47.71 c 45.1s|100000 | 90 | 4637 | 0.0 |5874k| 141 | - | 528 |1811 | 0 | 0 | 107 | 46k| 34 | 1.606363e+02 | 2.200000e+02 | 36.96%
51.78/51.82 c 49.0s|110000 | 87 | 4637 | 0.0 |5875k| 141 | - | 528 |1811 | 0 | 0 | 107 | 50k| 34 | 1.606363e+02 | 2.200000e+02 | 36.96%
55.99/56.07 c 52.9s|120000 | 88 | 4637 | 0.0 |5872k| 141 | - | 528 |1811 | 0 | 0 | 107 | 56k| 34 | 1.606363e+02 | 2.200000e+02 | 36.96%
60.18/60.23 c 56.8s|130000 | 88 | 4637 | 0.0 |5874k| 141 | - | 528 |1811 | 0 | 0 | 107 | 60k| 34 | 1.606363e+02 | 2.200000e+02 | 36.96%
63.38/63.42 c 59.8s|140000 | 89 | 4637 | 0.0 |5873k| 141 | - | 528 |1811 | 0 | 0 | 107 | 63k| 34 | 1.606363e+02 | 2.200000e+02 | 36.96%
67.48/67.51 c 63.7s|150000 | 87 | 4637 | 0.0 |5872k| 141 | - | 528 |1811 | 0 | 0 | 107 | 68k| 34 | 1.606363e+02 | 2.200000e+02 | 36.96%
70.97/71.03 c 67.0s|160000 | 83 | 4637 | 0.0 |5869k| 141 | - | 528 |1811 | 0 | 0 | 107 | 72k| 34 | 1.606363e+02 | 2.200000e+02 | 36.96%
73.38/73.44 o 219
73.38/73.44 c *69.2s|167375 | 102 | 4637 | 0.0 |5884k| 141 | - | 528 |1811 | 0 | 0 | 107 | 75k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
74.07/74.17 c 69.9s|170000 | 91 | 4637 | 0.0 |5880k| 141 | - | 528 |1811 | 0 | 0 | 107 | 75k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
76.88/76.91 c 72.4s|180000 | 90 | 4637 | 0.0 |5879k| 141 | - | 528 |1811 | 0 | 0 | 107 | 78k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
80.48/80.53 c 75.8s|190000 | 88 | 4637 | 0.0 |5883k| 141 | - | 528 |1811 | 0 | 0 | 107 | 82k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
83.58/83.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.58/83.65 c 78.7s|200000 | 86 | 4637 | 0.0 |5880k| 141 | - | 528 |1811 | 0 | 0 | 107 | 86k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
86.67/86.74 c 81.6s|210000 | 94 | 4637 | 0.0 |5881k| 141 | - | 528 |1811 | 0 | 0 | 107 | 89k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
89.08/89.12 c 83.8s|220000 | 90 | 4637 | 0.0 |5880k| 141 | - | 528 |1811 | 0 | 0 | 107 | 91k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
91.37/91.44 c 86.0s|230000 | 87 | 4637 | 0.0 |5879k| 141 | - | 528 |1811 | 0 | 0 | 107 | 93k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
94.67/94.74 c 89.0s|240000 | 88 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 97k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
98.16/98.27 c 92.3s|250000 | 95 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 101k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
100.47/100.55 c 94.4s|260000 | 90 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 103k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
103.57/103.67 c 97.3s|270000 | 85 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 107k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
105.97/106.09 c 99.6s|280000 | 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 109k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
108.37/108.40 c 102s|290000 | 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 111k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
110.47/110.58 c 104s|300000 | 86 | 4637 | 0.0 |5879k| 141 | - | 528 |1812 | 0 | 0 | 107 | 112k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
113.37/113.47 c 106s|310000 | 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 115k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
115.76/115.80 c 109s|320000 | 91 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 117k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
118.36/118.40 c 111s|330000 | 88 | 4637 | 0.0 |5886k| 141 | - | 528 |1812 | 0 | 0 | 107 | 119k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
121.36/121.41 c 114s|340000 | 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 123k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
123.76/123.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.76/123.82 c 116s|350000 | 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 125k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
127.47/127.55 c 120s|360000 | 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 129k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
130.77/130.84 c 123s|370000 | 87 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 133k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
133.86/133.99 c 126s|380000 | 89 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 137k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
136.36/136.47 c 128s|390000 | 89 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 139k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
138.86/138.93 c 130s|400000 | 86 | 4637 | 0.0 |5879k| 141 | - | 528 |1812 | 0 | 0 | 107 | 141k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
141.36/141.47 c 132s|410000 | 83 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 144k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
144.85/144.97 c 136s|420000 | 87 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 148k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
148.75/148.86 c 139s|430000 | 89 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 153k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
151.85/151.90 c 142s|440000 | 86 | 4637 | 0.0 |5882k| 141 | - | 528 |1813 | 0 | 0 | 107 | 156k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
154.96/155.09 c 145s|450000 | 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1813 | 0 | 0 | 107 | 160k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
158.05/158.10 c 148s|460000 | 92 | 4637 | 0.0 |5883k| 141 | - | 528 |1813 | 0 | 0 | 107 | 163k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
161.35/161.44 c 151s|470000 | 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 167k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
165.05/165.13 c 155s|480000 | 87 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 171k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
168.45/168.58 c 158s|490000 | 93 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 176k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
171.56/171.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
171.56/171.68 c 161s|500000 | 87 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 179k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
174.45/174.55 c 163s|510000 | 87 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 182k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
177.65/177.70 c 166s|520000 | 94 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 186k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
181.36/181.43 c 170s|530000 | 92 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 190k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
184.44/184.51 c 173s|540000 | 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 194k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
187.74/187.89 c 176s|550000 | 93 | 4637 | 0.0 |5886k| 141 | - | 528 |1812 | 0 | 0 | 107 | 198k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
190.65/190.79 c 179s|560000 | 91 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 201k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
194.05/194.19 c 182s|570000 | 86 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 205k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
197.24/197.34 c 185s|580000 | 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 209k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
200.15/200.23 c 187s|590000 | 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 212k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
202.05/202.18 c 189s|600000 | 86 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 213k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
205.04/205.14 c 192s|610000 | 85 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 217k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
208.44/208.52 c 195s|620000 | 92 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 221k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
211.64/211.79 c 198s|630000 | 88 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 225k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
215.04/215.16 c 201s|640000 | 91 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 229k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
218.74/218.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
218.74/218.83 c 205s|650000 | 87 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 233k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
222.24/222.34 c 208s|660000 | 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 238k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
225.63/225.76 c 211s|670000 | 91 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 242k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
229.33/229.49 c 215s|680000 | 85 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 246k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
232.93/233.08 c 218s|690000 | 85 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 251k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
236.23/236.31 c 221s|700000 | 83 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 255k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
239.74/239.89 c 225s|710000 | 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 259k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
243.43/243.58 c 228s|720000 | 85 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 | 264k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
247.13/247.23 c 232s|730000 | 92 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 268k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
251.13/251.21 c 235s|740000 | 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 274k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
255.14/255.26 c 239s|750000 | 90 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 279k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
259.13/259.20 c 243s|760000 | 92 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 284k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
263.22/263.32 c 247s|770000 | 88 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 289k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
267.33/267.43 c 251s|780000 | 90 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 | 294k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
270.82/270.95 c 254s|790000 | 92 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 298k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
274.32/274.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
274.32/274.44 c 257s|800000 | 91 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 302k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
277.72/277.83 c 260s|810000 | 85 | 4637 | 0.0 |5879k| 141 | - | 528 |1812 | 0 | 0 | 107 | 306k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
280.72/280.84 c 263s|820000 | 89 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 310k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
284.12/284.22 c 266s|830000 | 85 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 314k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
287.72/287.80 c 270s|840000 | 86 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 318k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
291.42/291.53 c 273s|850000 | 85 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 322k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
295.02/295.11 c 277s|860000 | 83 | 4637 | 0.0 |5879k| 141 | - | 528 |1812 | 0 | 0 | 107 | 327k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
298.71/298.87 c 280s|870000 | 92 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 331k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
302.52/302.65 c 284s|880000 | 91 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 | 336k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
305.73/305.81 c 287s|890000 | 92 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 | 340k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
309.11/309.28 c 290s|900000 | 91 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 344k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
312.62/312.70 c 293s|910000 | 93 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 348k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
316.51/316.60 c 297s|920000 | 92 | 4637 | 0.0 |5884k| 141 | - | 528 |1813 | 0 | 0 | 107 | 353k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
320.11/320.22 c 300s|930000 | 96 | 4637 | 0.0 |5883k| 141 | - | 528 |1813 | 0 | 0 | 107 | 358k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
323.22/323.32 c 303s|940000 | 91 | 4637 | 0.0 |5881k| 141 | - | 528 |1813 | 0 | 0 | 107 | 362k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
326.41/326.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
326.41/326.51 c 306s|950000 | 89 | 4637 | 0.0 |5882k| 141 | - | 528 |1813 | 0 | 0 | 107 | 365k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
328.91/329.03 c 308s|960000 | 97 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 | 368k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
332.31/332.41 c 312s|970000 | 93 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 372k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
335.61/335.74 c 315s|980000 | 89 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 376k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
338.81/338.96 c 318s|990000 | 89 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 380k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
342.71/342.80 c 321s| 1000k| 92 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 385k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
346.61/346.70 c 325s| 1010k| 92 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 390k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
350.41/350.53 c 329s| 1020k| 91 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 394k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
353.60/353.78 c 332s| 1030k| 89 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 | 398k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
357.80/357.95 c 336s| 1040k| 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 404k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
361.50/361.63 c 339s| 1050k| 86 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 409k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
364.90/365.04 c 342s| 1060k| 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 413k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
367.60/367.76 c 345s| 1070k| 85 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 416k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
370.50/370.61 c 347s| 1080k| 96 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 419k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
373.60/373.75 c 350s| 1090k| 89 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 422k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
376.90/377.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
376.90/377.03 c 353s| 1100k| 87 | 4637 | 0.0 |5879k| 141 | - | 528 |1812 | 0 | 0 | 107 | 426k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
380.40/380.52 c 357s| 1110k| 89 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 431k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
383.71/383.83 c 360s| 1120k| 91 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 435k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
387.10/387.22 c 363s| 1130k| 90 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 | 439k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
390.40/390.60 c 366s| 1140k| 94 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 443k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
394.09/394.24 c 370s| 1150k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 448k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
397.89/398.09 c 373s| 1160k| 89 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 453k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
400.99/401.19 c 376s| 1170k| 86 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 457k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
403.99/404.13 c 379s| 1180k| 89 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 460k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
407.49/407.68 c 382s| 1190k| 89 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 465k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
410.69/410.85 c 385s| 1200k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 468k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
414.09/414.20 c 388s| 1210k| 91 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 472k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
417.39/417.57 c 391s| 1220k| 86 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 476k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
420.79/420.97 c 395s| 1230k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 480k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
424.39/424.56 c 398s| 1240k| 84 | 4637 | 0.0 |5887k| 141 | - | 528 |1812 | 0 | 0 | 107 | 485k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
427.88/428.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
427.88/428.01 c 401s| 1250k| 90 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 489k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
431.09/431.24 c 404s| 1260k| 85 | 4637 | 0.0 |5879k| 141 | - | 528 |1812 | 0 | 0 | 107 | 493k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
434.48/434.60 c 407s| 1270k| 87 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 497k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
437.19/437.30 c 410s| 1280k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 500k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
439.79/439.92 c 412s| 1290k| 84 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 502k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
443.19/443.33 c 416s| 1300k| 98 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 507k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
446.39/446.52 c 419s| 1310k| 92 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 511k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
449.88/450.05 c 422s| 1320k| 91 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 515k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
453.48/453.65 c 425s| 1330k| 89 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 520k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
457.28/457.45 c 429s| 1340k| 93 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 525k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
460.79/460.96 c 432s| 1350k| 94 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 529k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
464.58/464.71 c 436s| 1360k| 89 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 533k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
467.97/468.15 c 439s| 1370k| 87 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 537k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
471.78/471.93 c 442s| 1380k| 95 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 542k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
474.87/475.00 c 445s| 1390k| 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 545k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
477.97/478.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
477.97/478.16 c 448s| 1400k| 96 | 4637 | 0.0 |5885k| 141 | - | 528 |1812 | 0 | 0 | 107 | 549k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
481.07/481.26 c 451s| 1410k| 93 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 553k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
484.77/484.95 c 455s| 1420k| 90 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 | 558k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
488.37/488.56 c 458s| 1430k| 85 | 4637 | 0.0 |5879k| 141 | - | 528 |1812 | 0 | 0 | 107 | 562k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
492.06/492.26 c 461s| 1440k| 88 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 567k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
495.56/495.71 c 465s| 1450k| 93 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 571k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
498.56/498.76 c 468s| 1460k| 90 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 | 575k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
501.77/501.98 c 471s| 1470k| 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 579k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
505.27/505.48 c 474s| 1480k| 93 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 583k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
508.57/508.75 c 477s| 1490k| 88 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 587k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
511.56/511.79 c 480s| 1500k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 590k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
514.46/514.67 c 482s| 1510k| 85 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 593k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
517.76/517.93 c 485s| 1520k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 597k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
520.56/520.79 c 488s| 1530k| 86 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 600k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
523.16/523.36 c 490s| 1540k| 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 603k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
525.76/525.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
525.76/525.99 c 493s| 1550k| 90 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 606k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
528.86/529.04 c 496s| 1560k| 90 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 609k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
531.86/532.06 c 499s| 1570k| 88 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 613k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
535.15/535.30 c 502s| 1580k| 87 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 617k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
537.95/538.18 c 504s| 1590k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 620k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
541.25/541.45 c 507s| 1600k| 91 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 624k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
544.15/544.39 c 510s| 1610k| 86 | 4637 | 0.0 |5879k| 141 | - | 528 |1812 | 0 | 0 | 107 | 627k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
547.95/548.13 c 514s| 1620k| 90 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 | 632k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
551.25/551.49 c 517s| 1630k| 90 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 636k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
554.35/554.55 c 520s| 1640k| 89 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 | 639k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
557.85/558.09 c 523s| 1650k| 87 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 644k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
560.76/560.91 c 526s| 1660k| 85 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 647k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
563.25/563.48 c 528s| 1670k| 90 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 649k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
566.65/566.83 c 531s| 1680k| 95 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 653k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
570.05/570.22 c 534s| 1690k| 89 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 657k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
573.24/573.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.24/573.46 c 537s| 1700k| 94 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 | 661k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
576.65/576.83 c 540s| 1710k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 665k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
580.34/580.56 c 544s| 1720k| 91 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 | 670k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
583.64/583.88 c 547s| 1730k| 86 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 674k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
587.05/587.29 c 550s| 1740k| 91 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 678k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
590.04/590.28 c 553s| 1750k| 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 681k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
593.24/593.50 c 556s| 1760k| 86 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 685k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
596.24/596.49 c 559s| 1770k| 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 688k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
599.44/599.66 c 562s| 1780k| 90 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 692k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
602.55/602.74 c 565s| 1790k| 88 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 696k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
605.24/605.48 c 567s| 1800k| 91 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 | 699k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
608.94/609.14 c 571s| 1810k| 86 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 703k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
612.63/612.85 c 574s| 1820k| 89 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 708k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
616.74/616.96 c 578s| 1830k| 87 | 4637 | 0.0 |5886k| 141 | - | 528 |1812 | 0 | 0 | 107 | 713k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
620.34/620.51 c 581s| 1840k| 88 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 718k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
623.63/623.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
623.63/623.86 c 585s| 1850k| 89 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 722k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
627.23/627.49 c 588s| 1860k| 89 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 727k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
631.03/631.20 c 592s| 1870k| 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 732k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
634.63/634.85 c 595s| 1880k| 91 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 736k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
638.33/638.50 c 598s| 1890k| 84 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 741k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
641.92/642.13 c 602s| 1900k| 88 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 745k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
645.93/646.13 c 606s| 1910k| 91 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 751k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
649.43/649.60 c 609s| 1920k| 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 755k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
652.73/652.96 c 612s| 1930k| 92 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 760k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
656.23/656.41 c 615s| 1940k| 86 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 764k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
659.73/659.97 c 619s| 1950k| 91 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 769k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
663.22/663.47 c 622s| 1960k| 91 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 773k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
666.43/666.67 c 625s| 1970k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 777k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
670.22/670.43 c 628s| 1980k| 88 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 782k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
674.52/674.77 c 632s| 1990k| 87 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 788k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
678.12/678.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
678.12/678.30 c 636s| 2000k| 87 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 792k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
681.83/682.03 c 639s| 2010k| 83 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 | 797k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
685.62/685.81 c 643s| 2020k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 802k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
688.92/689.18 c 646s| 2030k| 93 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 806k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
692.12/692.37 c 649s| 2040k| 86 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 810k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
695.02/695.22 c 652s| 2050k| 97 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 813k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
697.52/697.76 c 654s| 2060k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 816k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
700.02/700.29 c 656s| 2070k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 818k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
703.22/703.42 c 659s| 2080k| 92 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 822k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
706.31/706.58 c 662s| 2090k| 85 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 825k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
709.81/710.04 c 666s| 2100k| 93 | 4637 | 0.0 |5885k| 141 | - | 528 |1812 | 0 | 0 | 107 | 830k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
713.72/713.98 c 669s| 2110k| 89 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 835k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
717.52/717.76 c 673s| 2120k| 85 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 840k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
721.42/721.69 c 676s| 2130k| 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 845k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
724.01/724.27 c 679s| 2140k| 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 847k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
727.91/728.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
727.91/728.11 c 682s| 2150k| 88 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 852k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
731.50/731.78 c 686s| 2160k| 89 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 857k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
734.90/735.14 c 689s| 2170k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 861k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
738.10/738.38 c 692s| 2180k| 87 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 865k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
741.21/741.47 c 695s| 2190k| 88 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 869k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
744.21/744.44 c 698s| 2200k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 872k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
747.71/747.92 c 701s| 2210k| 87 | 4637 | 0.0 |5885k| 141 | - | 528 |1812 | 0 | 0 | 107 | 876k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
751.01/751.27 c 704s| 2220k| 86 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 880k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
754.31/754.50 c 707s| 2230k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 884k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
757.30/757.50 c 710s| 2240k| 91 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 888k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
760.01/760.26 c 713s| 2250k| 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 891k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
762.90/763.18 c 715s| 2260k| 87 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 894k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
766.20/766.42 c 718s| 2270k| 83 | 4637 | 0.0 |5879k| 141 | - | 528 |1812 | 0 | 0 | 107 | 898k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
769.30/769.54 c 721s| 2280k| 85 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 901k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
772.30/772.57 c 724s| 2290k| 95 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 905k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
775.30/775.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
775.30/775.54 c 727s| 2300k| 94 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 908k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
778.00/778.26 c 729s| 2310k| 89 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 | 911k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
780.81/781.07 c 732s| 2320k| 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 914k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
783.90/784.13 c 735s| 2330k| 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 918k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
786.90/787.10 c 738s| 2340k| 90 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 921k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
789.79/790.00 c 740s| 2350k| 92 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 924k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
793.09/793.30 c 743s| 2360k| 87 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 928k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
796.50/796.70 c 747s| 2370k| 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 932k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
798.99/799.23 c 749s| 2380k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 935k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
801.79/802.06 c 752s| 2390k| 89 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 938k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
804.79/805.03 c 754s| 2400k| 91 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 941k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
808.09/808.37 c 758s| 2410k| 85 | 4637 | 0.0 |5879k| 141 | - | 528 |1812 | 0 | 0 | 107 | 945k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
811.39/811.63 c 761s| 2420k| 84 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 949k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
815.29/815.56 c 764s| 2430k| 84 | 4637 | 0.0 |5885k| 141 | - | 528 |1812 | 0 | 0 | 107 | 954k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
818.28/818.57 c 767s| 2440k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 957k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
820.98/821.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
820.98/821.24 c 770s| 2450k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 960k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
823.89/824.16 c 772s| 2460k| 85 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 963k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
826.58/826.86 c 775s| 2470k| 85 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 966k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
829.39/829.69 c 778s| 2480k| 88 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 969k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
832.68/832.97 c 781s| 2490k| 93 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 973k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
835.99/836.20 c 784s| 2500k| 88 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 977k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
838.98/839.25 c 786s| 2510k| 91 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 981k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
842.08/842.31 c 789s| 2520k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 | 984k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
845.08/845.33 c 792s| 2530k| 87 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 988k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
848.27/848.58 c 795s| 2540k| 86 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 | 991k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
850.87/851.19 c 798s| 2550k| 86 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 | 994k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
853.98/854.26 c 801s| 2560k| 88 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 | 998k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
857.68/857.99 c 804s| 2570k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1002k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
861.28/861.53 c 807s| 2580k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1007k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
864.88/865.11 c 811s| 2590k| 90 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1011k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
868.48/868.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
868.48/868.71 c 814s| 2600k| 89 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 |1015k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
871.57/871.80 c 817s| 2610k| 87 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1018k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
874.57/874.81 c 820s| 2620k| 93 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1022k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
878.37/878.61 c 823s| 2630k| 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1027k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
881.67/881.90 c 826s| 2640k| 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1031k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
884.07/884.37 c 829s| 2650k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1033k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
886.97/887.21 c 831s| 2660k| 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1036k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
889.68/889.90 c 834s| 2670k| 85 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1039k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
892.67/892.95 c 837s| 2680k| 85 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1042k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
895.57/895.83 c 839s| 2690k| 100 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1045k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
899.37/899.60 c 843s| 2700k| 94 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1050k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
903.06/903.30 c 846s| 2710k| 91 | 4637 | 0.0 |5887k| 141 | - | 528 |1812 | 0 | 0 | 107 |1055k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
906.27/906.59 c 850s| 2720k| 89 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 |1060k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
909.86/910.19 c 853s| 2730k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1064k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
913.36/913.65 c 856s| 2740k| 91 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1069k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
916.76/917.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
916.76/917.01 c 859s| 2750k| 91 | 4637 | 0.0 |5885k| 141 | - | 528 |1812 | 0 | 0 | 107 |1073k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
920.06/920.34 c 862s| 2760k| 92 | 4637 | 0.0 |5885k| 141 | - | 528 |1812 | 0 | 0 | 107 |1077k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
923.36/923.68 c 866s| 2770k| 86 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1081k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
926.86/927.16 c 869s| 2780k| 91 | 4637 | 0.0 |5885k| 141 | - | 528 |1812 | 0 | 0 | 107 |1086k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
930.36/930.61 c 872s| 2790k| 86 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1090k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
933.96/934.23 c 875s| 2800k| 88 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1094k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
937.06/937.37 c 878s| 2810k| 87 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1098k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
940.35/940.68 c 882s| 2820k| 89 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1102k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
943.85/944.13 c 885s| 2830k| 85 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1107k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
947.16/947.49 c 888s| 2840k| 95 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 |1111k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
950.66/950.94 c 891s| 2850k| 93 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1116k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
954.35/954.69 c 895s| 2860k| 94 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 |1120k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
958.25/958.50 c 898s| 2870k| 86 | 4637 | 0.0 |5878k| 141 | - | 528 |1812 | 0 | 0 | 107 |1125k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
961.55/961.87 c 901s| 2880k| 92 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1130k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
964.95/965.21 c 905s| 2890k| 90 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 |1134k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
968.75/969.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
968.75/969.04 c 908s| 2900k| 88 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1139k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
972.25/972.50 c 911s| 2910k| 85 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 |1143k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
976.15/976.48 c 915s| 2920k| 92 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1148k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
979.45/979.75 c 918s| 2930k| 91 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1152k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
983.06/983.36 c 922s| 2940k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1813 | 0 | 0 | 107 |1157k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
986.24/986.57 c 925s| 2950k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1160k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
989.15/989.45 c 927s| 2960k| 94 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1163k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
991.14/991.40 c 929s| 2970k| 91 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1165k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
993.15/993.43 c 931s| 2980k| 89 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1166k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
995.15/995.48 c 933s| 2990k| 93 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1168k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
998.34/998.61 c 936s| 3000k| 88 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1171k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1000.94/1001.21 c 938s| 3010k| 93 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1174k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1003.64/1003.90 c 941s| 3020k| 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1177k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1006.25/1006.52 c 943s| 3030k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1179k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1008.93/1009.21 c 946s| 3040k| 89 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1182k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1011.53/1011.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1011.53/1011.83 c 948s| 3050k| 90 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1185k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1014.44/1014.74 c 951s| 3060k| 93 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1188k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1017.64/1017.92 c 954s| 3070k| 91 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 |1192k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1021.34/1021.69 c 957s| 3080k| 91 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1197k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1024.63/1024.99 c 960s| 3090k| 89 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1201k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1027.93/1028.21 c 963s| 3100k| 89 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1205k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1030.94/1031.29 c 966s| 3110k| 90 | 4637 | 0.0 |5885k| 141 | - | 528 |1812 | 0 | 0 | 107 |1209k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1033.93/1034.22 c 969s| 3120k| 93 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1212k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1037.23/1037.53 c 972s| 3130k| 93 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1216k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1040.34/1040.68 c 975s| 3140k| 91 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1220k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1043.13/1043.44 c 978s| 3150k| 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1223k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1046.43/1046.70 c 981s| 3160k| 90 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1227k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1050.03/1050.34 c 984s| 3170k| 89 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1232k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1053.12/1053.46 c 987s| 3180k| 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1236k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1056.03/1056.30 c 990s| 3190k| 90 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1239k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1058.83/1059.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1058.83/1059.15 c 992s| 3200k| 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1242k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1061.92/1062.23 c 995s| 3210k| 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1246k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1065.03/1065.32 c 998s| 3220k| 91 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1249k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1067.83/1068.10 c 1001s| 3230k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1252k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1070.92/1071.21 c 1003s| 3240k| 95 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1256k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1074.02/1074.37 c 1006s| 3250k| 87 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1260k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1076.93/1077.21 c 1009s| 3260k| 88 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1263k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1079.72/1080.01 c 1012s| 3270k| 84 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1267k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1082.42/1082.73 c 1014s| 3280k| 92 | 4637 | 0.0 |5882k| 141 | - | 528 |1813 | 0 | 0 | 107 |1269k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1085.12/1085.46 c 1017s| 3290k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1813 | 0 | 0 | 107 |1272k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1087.92/1088.29 c 1019s| 3300k| 86 | 4637 | 0.0 |5882k| 141 | - | 528 |1814 | 0 | 0 | 107 |1276k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1090.51/1090.85 c 1022s| 3310k| 88 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1278k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1092.92/1093.24 c 1024s| 3320k| 86 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1280k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1095.91/1096.29 c 1027s| 3330k| 89 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1284k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1099.31/1099.61 c 1030s| 3340k| 90 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1287k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1102.52/1102.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1102.52/1102.86 c 1033s| 3350k| 83 | 4637 | 0.0 |5879k| 141 | - | 528 |1812 | 0 | 0 | 107 |1291k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1105.61/1105.96 c 1036s| 3360k| 85 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1294k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1108.22/1108.57 c 1038s| 3370k| 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1297k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1110.72/1111.10 c 1041s| 3380k| 99 | 4637 | 0.0 |5885k| 141 | - | 528 |1812 | 0 | 0 | 107 |1299k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1114.51/1114.80 c 1044s| 3390k| 93 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1304k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1118.21/1118.59 c 1048s| 3400k| 90 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1309k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1122.11/1122.48 c 1051s| 3410k| 90 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 |1314k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1125.91/1126.27 c 1055s| 3420k| 89 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 |1319k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1129.81/1130.11 c 1059s| 3430k| 89 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 |1324k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1133.71/1134.00 c 1062s| 3440k| 92 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1329k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1137.90/1138.21 c 1066s| 3450k| 86 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1334k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1141.60/1141.99 c 1070s| 3460k| 87 | 4637 | 0.0 |5885k| 141 | - | 528 |1812 | 0 | 0 | 107 |1339k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1145.60/1145.98 c 1073s| 3470k| 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1344k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1149.11/1149.49 c 1077s| 3480k| 90 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1349k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1152.81/1153.18 c 1080s| 3490k| 91 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1353k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1156.30/1156.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1156.30/1156.64 c 1083s| 3500k| 93 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1358k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1160.20/1160.51 c 1087s| 3510k| 89 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 |1363k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1163.90/1164.24 c 1091s| 3520k| 91 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 |1368k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1167.40/1167.74 c 1094s| 3530k| 91 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1372k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1170.80/1171.13 c 1097s| 3540k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1376k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1174.20/1174.56 c 1100s| 3550k| 86 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1381k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1177.60/1177.93 c 1103s| 3560k| 85 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1385k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1180.39/1180.72 c 1106s| 3570k| 91 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1388k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1183.09/1183.46 c 1108s| 3580k| 95 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1391k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1186.00/1186.39 c 1111s| 3590k| 88 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1394k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1189.09/1189.45 c 1114s| 3600k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1398k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1192.70/1193.00 c 1117s| 3610k| 95 | 4637 | 0.0 |5882k| 141 | - | 528 |1813 | 0 | 0 | 107 |1403k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1195.79/1196.11 c 1120s| 3620k| 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1407k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1199.09/1199.41 c 1123s| 3630k| 88 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1411k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1202.49/1202.88 c 1127s| 3640k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1415k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1205.79/1206.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1205.79/1206.19 c 1130s| 3650k| 92 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1420k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1208.89/1209.25 c 1133s| 3660k| 91 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1423k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1211.80/1212.10 c 1135s| 3670k| 90 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 |1426k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1214.88/1215.27 c 1138s| 3680k| 90 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1430k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1218.28/1218.60 c 1141s| 3690k| 92 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1434k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1221.28/1221.68 c 1144s| 3700k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1438k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1224.18/1224.58 c 1147s| 3710k| 95 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1441k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1227.19/1227.54 c 1150s| 3720k| 91 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1444k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1230.59/1230.93 c 1153s| 3730k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1449k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1233.89/1234.29 c 1156s| 3740k| 88 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1453k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1237.38/1237.76 c 1159s| 3750k| 88 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1457k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1240.28/1240.69 c 1162s| 3760k| 87 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1461k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1243.08/1243.49 c 1165s| 3770k| 90 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1464k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1245.99/1246.32 c 1167s| 3780k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1467k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1248.48/1248.86 c 1170s| 3790k| 82 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1469k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1251.08/1251.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1251.08/1251.47 c 1172s| 3800k| 91 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1472k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1254.58/1254.96 c 1175s| 3810k| 94 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1477k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1258.17/1258.55 c 1179s| 3820k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1481k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1261.07/1261.46 c 1181s| 3830k| 91 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1485k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1263.68/1264.04 c 1184s| 3840k| 87 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1488k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1266.58/1266.95 c 1187s| 3850k| 83 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1491k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1269.57/1269.94 c 1189s| 3860k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1494k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1272.38/1272.76 c 1192s| 3870k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1498k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1275.68/1276.02 c 1195s| 3880k| 88 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1502k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1279.37/1279.77 c 1199s| 3890k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1506k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1283.27/1283.69 c 1202s| 3900k| 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1511k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1286.27/1286.60 c 1205s| 3910k| 87 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1515k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1289.36/1289.78 c 1208s| 3920k| 87 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1519k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1292.87/1293.28 c 1211s| 3930k| 88 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1523k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1296.27/1296.62 c 1214s| 3940k| 84 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1527k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1299.87/1300.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1299.87/1300.24 c 1218s| 3950k| 91 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1532k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1303.17/1303.53 c 1221s| 3960k| 92 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1536k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1306.26/1306.63 c 1224s| 3970k| 90 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1539k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1309.36/1309.72 c 1227s| 3980k| 91 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1543k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1312.86/1313.21 c 1230s| 3990k| 91 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1547k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1316.37/1316.77 c 1233s| 4000k| 86 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1552k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1319.57/1319.99 c 1236s| 4010k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1556k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1323.16/1323.54 c 1240s| 4020k| 92 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1560k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1326.66/1327.05 c 1243s| 4030k| 94 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1565k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1330.16/1330.52 c 1246s| 4040k| 90 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 |1569k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1333.56/1333.96 c 1249s| 4050k| 89 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1573k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1336.85/1337.27 c 1253s| 4060k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1578k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1340.05/1340.47 c 1256s| 4070k| 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1582k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1343.95/1344.32 c 1259s| 4080k| 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1587k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1347.85/1348.29 c 1263s| 4090k| 89 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 |1592k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1352.26/1352.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1352.26/1352.61 c 1267s| 4100k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1598k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1355.65/1356.08 c 1270s| 4110k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1602k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1359.05/1359.47 c 1273s| 4120k| 92 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1607k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1362.45/1362.89 c 1277s| 4130k| 92 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1611k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1366.45/1366.89 c 1280s| 4140k| 91 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1616k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1370.05/1370.45 c 1284s| 4150k| 93 | 4637 | 0.0 |5885k| 141 | - | 528 |1812 | 0 | 0 | 107 |1621k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1373.46/1373.86 c 1287s| 4160k| 87 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1625k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1376.85/1377.29 c 1290s| 4170k| 87 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 |1630k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1380.64/1381.04 c 1294s| 4180k| 92 | 4637 | 0.0 |5882k| 141 | - | 528 |1813 | 0 | 0 | 107 |1634k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1384.45/1384.88 c 1297s| 4190k| 93 | 4637 | 0.0 |5885k| 141 | - | 528 |1813 | 0 | 0 | 107 |1640k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1387.54/1387.96 c 1300s| 4200k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1813 | 0 | 0 | 107 |1643k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1390.94/1391.35 c 1303s| 4210k| 89 | 4637 | 0.0 |5884k| 141 | - | 528 |1813 | 0 | 0 | 107 |1648k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1393.94/1394.37 c 1306s| 4220k| 84 | 4637 | 0.0 |5878k| 141 | - | 528 |1813 | 0 | 0 | 107 |1651k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1397.95/1398.34 c 1310s| 4230k| 91 | 4637 | 0.0 |5885k| 141 | - | 528 |1813 | 0 | 0 | 107 |1657k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1402.44/1402.83 c 1314s| 4240k| 93 | 4637 | 0.0 |5882k| 141 | - | 528 |1813 | 0 | 0 | 107 |1663k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1406.04/1406.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1406.04/1406.41 c 1317s| 4250k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1813 | 0 | 0 | 107 |1667k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1409.24/1409.68 c 1321s| 4260k| 87 | 4637 | 0.0 |5881k| 141 | - | 528 |1813 | 0 | 0 | 107 |1671k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1413.14/1413.54 c 1324s| 4270k| 96 | 4637 | 0.0 |5885k| 141 | - | 528 |1813 | 0 | 0 | 107 |1677k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1416.53/1416.97 c 1327s| 4280k| 91 | 4637 | 0.0 |5881k| 141 | - | 528 |1813 | 0 | 0 | 107 |1681k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1420.04/1420.45 c 1331s| 4290k| 91 | 4637 | 0.0 |5881k| 141 | - | 528 |1813 | 0 | 0 | 107 |1686k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1423.53/1423.97 c 1334s| 4300k| 91 | 4637 | 0.0 |5883k| 141 | - | 528 |1813 | 0 | 0 | 107 |1690k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1426.93/1427.34 c 1337s| 4310k| 88 | 4637 | 0.0 |5882k| 141 | - | 528 |1813 | 0 | 0 | 107 |1694k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1429.93/1430.38 c 1340s| 4320k| 85 | 4637 | 0.0 |5884k| 141 | - | 528 |1813 | 0 | 0 | 107 |1697k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1432.33/1432.78 c 1342s| 4330k| 86 | 4637 | 0.0 |5882k| 141 | - | 528 |1813 | 0 | 0 | 107 |1700k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1435.63/1436.06 c 1345s| 4340k| 89 | 4637 | 0.0 |5882k| 141 | - | 528 |1813 | 0 | 0 | 107 |1704k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1438.93/1439.32 c 1348s| 4350k| 90 | 4637 | 0.0 |5882k| 141 | - | 528 |1813 | 0 | 0 | 107 |1708k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1442.23/1442.66 c 1351s| 4360k| 90 | 4637 | 0.0 |5884k| 141 | - | 528 |1813 | 0 | 0 | 107 |1712k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1446.23/1446.64 c 1355s| 4370k| 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1813 | 0 | 0 | 107 |1717k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1449.62/1450.07 c 1358s| 4380k| 86 | 4637 | 0.0 |5880k| 141 | - | 528 |1813 | 0 | 0 | 107 |1721k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1452.33/1452.77 c 1361s| 4390k| 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1813 | 0 | 0 | 107 |1724k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1455.53/1455.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1455.53/1455.97 c 1364s| 4400k| 86 | 4637 | 0.0 |5880k| 141 | - | 528 |1813 | 0 | 0 | 107 |1728k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1458.63/1459.03 c 1367s| 4410k| 87 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1731k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1462.64/1463.05 c 1370s| 4420k| 89 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1737k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1465.23/1465.62 c 1373s| 4430k| 85 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1739k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1468.92/1469.32 c 1376s| 4440k| 92 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1743k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1472.63/1473.05 c 1380s| 4450k| 92 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1748k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1476.52/1476.95 c 1383s| 4460k| 87 | 4637 | 0.0 |5886k| 141 | - | 528 |1812 | 0 | 0 | 107 |1753k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1479.52/1479.97 c 1386s| 4470k| 91 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1756k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1482.71/1483.16 c 1389s| 4480k| 90 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1760k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1485.73/1486.18 c 1392s| 4490k| 88 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1764k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1489.42/1489.82 c 1395s| 4500k| 88 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 |1768k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1493.72/1494.14 c 1400s| 4510k| 90 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1774k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1497.92/1498.38 c 1404s| 4520k| 90 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1779k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1501.81/1502.26 c 1407s| 4530k| 90 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1784k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1506.01/1506.41 c 1411s| 4540k| 91 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1790k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1509.71/1510.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1509.71/1510.10 c 1415s| 4550k| 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1794k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1513.71/1514.19 c 1418s| 4560k| 89 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1800k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1517.52/1517.97 c 1422s| 4570k| 91 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1804k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1521.01/1521.47 c 1425s| 4580k| 94 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1809k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1524.51/1524.99 c 1429s| 4590k| 93 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1813k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1527.81/1528.26 c 1432s| 4600k| 86 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1817k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1531.30/1531.71 c 1435s| 4610k| 91 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 |1821k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1534.71/1535.10 c 1438s| 4620k| 90 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1826k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1538.11/1538.56 c 1441s| 4630k| 91 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1830k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1541.21/1541.61 c 1444s| 4640k| 87 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1834k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1544.02/1544.48 c 1447s| 4650k| 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1837k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1547.10/1547.60 c 1450s| 4660k| 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1841k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1550.70/1551.11 c 1453s| 4670k| 84 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1845k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1554.10/1554.59 c 1456s| 4680k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1850k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1557.50/1557.93 c 1459s| 4690k| 89 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 |1854k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1560.90/1561.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1560.90/1561.32 c 1463s| 4700k| 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1858k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1564.40/1564.80 c 1466s| 4710k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1863k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1567.90/1568.37 c 1469s| 4720k| 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1867k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1571.20/1571.61 c 1472s| 4730k| 86 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1872k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1574.09/1574.56 c 1475s| 4740k| 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1875k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1577.59/1578.05 c 1478s| 4750k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1879k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1581.10/1581.51 c 1482s| 4760k| 88 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1883k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1584.70/1585.14 c 1485s| 4770k| 84 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1888k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1588.49/1588.97 c 1488s| 4780k| 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1893k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1592.19/1592.62 c 1492s| 4790k| 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1898k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1595.40/1595.86 c 1495s| 4800k| 86 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1901k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1597.59/1598.00 c 1497s| 4810k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1902k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1600.19/1600.69 c 1499s| 4820k| 88 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1905k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1603.89/1604.35 c 1503s| 4830k| 88 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1910k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1607.38/1607.80 c 1506s| 4840k| 86 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1914k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1611.59/1612.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1611.59/1612.00 c 1510s| 4850k| 87 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 |1920k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1615.29/1615.75 c 1514s| 4860k| 93 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1925k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1618.29/1618.71 c 1516s| 4870k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1928k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1620.69/1621.18 c 1519s| 4880k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1930k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1623.20/1623.68 c 1521s| 4890k| 86 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1933k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1625.98/1626.49 c 1524s| 4900k| 82 | 4637 | 0.0 |5878k| 141 | - | 528 |1812 | 0 | 0 | 107 |1936k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1629.08/1629.54 c 1526s| 4910k| 85 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |1939k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1631.58/1632.05 c 1529s| 4920k| 87 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1942k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1634.09/1634.51 c 1531s| 4930k| 84 | 4637 | 0.0 |5879k| 141 | - | 528 |1812 | 0 | 0 | 107 |1944k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1636.88/1637.30 c 1534s| 4940k| 86 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1947k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1639.48/1639.90 c 1536s| 4950k| 88 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1950k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1641.79/1642.22 c 1538s| 4960k| 84 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1952k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1645.28/1645.76 c 1541s| 4970k| 88 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 |1957k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1648.78/1649.20 c 1545s| 4980k| 92 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1961k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1652.07/1652.52 c 1548s| 4990k| 89 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1965k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1655.48/1655.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1655.48/1655.93 c 1551s| 5000k| 89 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1969k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1658.97/1659.43 c 1554s| 5010k| 86 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |1974k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1661.97/1662.45 c 1557s| 5020k| 87 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 |1977k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1664.89/1665.37 c 1560s| 5030k| 90 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |1981k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1668.77/1669.26 c 1563s| 5040k| 88 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |1986k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1672.37/1672.80 c 1567s| 5050k| 88 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 |1991k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1675.78/1676.21 c 1570s| 5060k| 88 | 4637 | 0.0 |5884k| 141 | - | 528 |1812 | 0 | 0 | 107 |1995k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1678.97/1679.42 c 1573s| 5070k| 86 | 4637 | 0.0 |5882k| 141 | - | 528 |1813 | 0 | 0 | 107 |1999k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1682.37/1682.88 c 1576s| 5080k| 87 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |2003k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1686.06/1686.57 c 1580s| 5090k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |2008k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1689.67/1690.15 c 1583s| 5100k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |2012k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1692.76/1693.26 c 1586s| 5110k| 91 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |2016k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1695.96/1696.41 c 1589s| 5120k| 89 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |2020k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1699.56/1700.04 c 1592s| 5130k| 82 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |2024k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1703.16/1703.64 c 1596s| 5140k| 87 | 4637 | 0.0 |5884k| 141 | - | 528 |1813 | 0 | 0 | 107 |2029k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1706.77/1707.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1706.77/1707.25 c 1599s| 5150k| 88 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |2033k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1710.36/1710.88 c 1602s| 5160k| 90 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |2038k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1714.06/1714.57 c 1606s| 5170k| 88 | 4637 | 0.0 |5885k| 141 | - | 528 |1812 | 0 | 0 | 107 |2043k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1717.37/1717.85 c 1609s| 5180k| 90 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |2047k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1720.76/1721.24 c 1612s| 5190k| 88 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |2051k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1724.46/1724.92 c 1616s| 5200k| 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |2056k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1727.46/1727.96 c 1618s| 5210k| 89 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |2060k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1731.16/1731.64 c 1622s| 5220k| 87 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |2065k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1735.06/1735.52 c 1626s| 5230k| 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |2070k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1739.06/1739.51 c 1629s| 5240k| 88 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |2075k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1742.46/1742.95 c 1633s| 5250k| 85 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |2079k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1745.85/1746.37 c 1636s| 5260k| 84 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |2084k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1749.15/1749.68 c 1639s| 5270k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |2088k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1752.65/1753.12 c 1642s| 5280k| 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |2092k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1755.85/1756.39 c 1645s| 5290k| 89 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |2096k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1758.75/1759.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1758.75/1759.20 c 1648s| 5300k| 87 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |2099k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1761.85/1762.37 c 1651s| 5310k| 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |2103k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1764.75/1765.28 c 1653s| 5320k| 88 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |2106k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1767.95/1768.41 c 1656s| 5330k| 87 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |2110k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1770.95/1771.46 c 1659s| 5340k| 91 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |2114k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1774.04/1774.51 c 1662s| 5350k| 89 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |2118k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1777.25/1777.75 c 1665s| 5360k| 86 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |2122k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1780.85/1781.33 c 1669s| 5370k| 85 | 4637 | 0.0 |5883k| 141 | - | 528 |1812 | 0 | 0 | 107 |2126k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1784.35/1784.87 c 1672s| 5380k| 88 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |2130k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1787.95/1788.44 c 1675s| 5390k| 89 | 4637 | 0.0 |5880k| 141 | - | 528 |1812 | 0 | 0 | 107 |2135k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1791.25/1791.78 c 1678s| 5400k| 89 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |2139k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1794.54/1795.09 c 1681s| 5410k| 89 | 4637 | 0.0 |5882k| 141 | - | 528 |1812 | 0 | 0 | 107 |2143k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1797.74/1798.23 c 1684s| 5420k| 91 | 4637 | 0.0 |5881k| 141 | - | 528 |1812 | 0 | 0 | 107 |2147k| 34 | 1.606363e+02 | 2.190000e+02 | 36.33%
1800.05/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.50 c
1800.05/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.50 c Solving Time (sec) : 1686.52
1800.05/1800.50 c Solving Nodes : 5428082
1800.05/1800.50 c Primal Bound : +2.19000000000000e+02 (4 solutions)
1800.05/1800.50 c Dual Bound : +1.60636260082551e+02
1800.05/1800.50 c Gap : 36.33 %
1800.05/1800.51 s SATISFIABLE
1800.05/1800.51 v x528 -x527 x526 -x525 x524 -x523 -x522 -x521 -x520 x519 x518 -x517 x516 -x515 x514 -x513 x512 -x511 -x510 x509 -x508 -x507 x506
1800.05/1800.51 v -x505 -x504 x503 x502 -x501 x500 -x499 x498 -x497 x496 -x495 x494 -x493 x492 -x491 x490 -x489 -x488 x487 x486 -x485 x484 -x483
1800.05/1800.51 v x482 -x481 x480 -x479 x478 -x477 -x476 -x475 -x474 -x473 -x472 x471 x470 -x469 x468 -x467 x466 -x465 -x464 x463 x462 -x461
1800.05/1800.51 v x460 -x459 x458 -x457 x456 -x455 x454 -x453 -x452 x451 x450 -x449 x448 -x447 x446 -x445 x444 -x443 x442 -x441 x440 -x439 -x438
1800.05/1800.51 v x437 -x436 -x435 x434 -x433 x432 -x431 x430 -x429 -x428 x427 -x426 -x425 -x424 -x423 x422 -x421 x420 -x419 x418 -x417 -x416
1800.05/1800.51 v x415 -x414 -x413 -x412 -x411 x410 -x409 x408 -x407 x406 -x405 -x404 -x403 -x402 x401 -x400 -x399 x398 -x397 x396 -x395 x394
1800.05/1800.51 v -x393 x392 -x391 -x390 -x389 -x388 x387 x386 -x385 x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 x375 x374 -x373 x372
1800.05/1800.51 v -x371 x370 -x369 -x368 x367 -x366 -x365 -x364 -x363 x362 -x361 x360 -x359 x358 -x357 -x356 x355 x354 -x353 x352 -x351 x350 -x349
1800.05/1800.51 v -x348 -x347 -x346 -x345 x344 -x343 x342 -x341 x340 -x339 -x338 x337 x336 -x335 x334 -x333 -x332 -x331 -x330 x329 -x328 -x327
1800.05/1800.51 v x326 -x325 x324 -x323 x322 -x321 x320 -x319 -x318 x317 -x316 -x315 x314 -x313 x312 -x311 x310 -x309 -x308 x307 x306 -x305
1800.05/1800.51 v x304 -x303 x302 -x301 x300 -x299 x298 -x297 -x296 x295 x294 -x293 x292 -x291 x290 -x289 x288 -x287 x286 -x285 -x284 x283 -x282
1800.05/1800.51 v -x281 -x280 -x279 x278 -x277 x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 x267 x266 -x265 x264 -x263 x262 -x261 x260
1800.05/1800.51 v -x259 -x258 x257 -x256 -x255 x254 -x253 x252 -x251 x250 -x249 -x248 -x247 -x246 -x245 -x244 x243 x242 -x241 -x240 x239 -x238
1800.05/1800.51 v -x237 x236 -x235 x234 -x233 x232 -x231 x230 -x229 x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 x218 -x217 x216
1800.05/1800.51 v -x215 x214 -x213 -x212 x211 x210 -x209 x208 -x207 x206 -x205 x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 x194 -x193
1800.05/1800.51 v -x192 x191 -x190 x189 -x188 x187 -x186 x185 -x184 -x183 -x182 x181 -x180 x179 -x178 x177 -x176 -x175 -x174 x173 -x172 -x171
1800.05/1800.51 v -x170 x169 -x168 x167 x166 -x165 -x164 x163 x162 -x161 x160 -x159 -x158 x157 -x156 x155 x154 -x153 -x152 -x151 -x150 x149
1800.05/1800.51 v -x148 x147 -x146 x145 x144 -x143 -x142 x141 -x140 -x139 -x138 x137 -x136 x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 x127 -x126
1800.05/1800.51 v x125 x124 -x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 x110 -x109 -x108 x107 -x106 x105 -x104
1800.05/1800.51 v x103 -x102 x101 -x100 x99 -x98 x97 -x96 x95 -x94 x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 -x84 x83 -x82 x81 -x80 x79 x78 -x77
1800.05/1800.51 v x76 -x75 -x74 x73 -x72 x71 -x70 x69 -x68 x67 -x66 x65 -x64 x63 -x62 x61 -x60 x59 -x58 x57 -x56 x55 -x54 x53 -x52 x51 -x50 x49
1800.05/1800.51 v -x48 x47 x46 -x45 x44 -x43 -x42 x41 -x40 x39 -x38 x37 -x36 x35 -x34 x33 x32 -x31 -x30 x29 -x28 x27 x26 -x25 -x24 -x23 -x22
1800.05/1800.51 v x21 -x20 x19 -x18 -x17 x16 -x15 -x14 x13 -x12 -x11 -x10 x9 -x8 x7 -x6 -x5 -x4 x3 -x2 -x1
1800.05/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.51 c Solving Time : 1686.52
1800.05/1800.51 c Original Problem :
1800.05/1800.51 c Problem name : HOME/instance-2667058-1276470301.opb
1800.05/1800.51 c Variables : 528 (528 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 1816 initial, 1816 maximal
1800.05/1800.51 c Presolved Problem :
1800.05/1800.51 c Problem name : t_HOME/instance-2667058-1276470301.opb
1800.05/1800.51 c Variables : 528 (528 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 1804 initial, 1815 maximal
1800.05/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c probing : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.51 c linear : 0.03 0 0 0 0 0 12 0 0
1800.05/1800.51 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.51 c root node : - 0 - - 0 - - - -
1800.05/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c integral : 0 0 0 1 0 0 0 0 0 2
1800.05/1800.51 c logicor : 1804+ 21 10966167 0 4 2149777 13311400 0 0 0
1800.05/1800.51 c countsols : 0 0 0 0 4 0 0 0 0 0
1800.05/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.51 c integral : 3.04 0.00 0.00 3.04 0.00
1800.05/1800.51 c logicor : 820.68 0.00 820.68 0.00 0.00
1800.05/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.51 c vbounds : 8.08 2 0 0
1800.05/1800.51 c rootredcost : 7.56 4 0 0
1800.05/1800.51 c pseudoobj : 480.01 17605048 967030 54475909
1800.05/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.51 c propagation : 749.83 2149777 2149777 2149777 77.1 7 26.3 -
1800.05/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c pseudo solution : 0.97 6960 0 0 0.0 0 0.0 -
1800.05/1800.51 c applied globally : - - - 84 9.4 - - -
1800.05/1800.51 c applied locally : - - - 2149699 77.1 - - -
1800.05/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.51 c cut pool : 0.03 20 - - 337 - (maximal pool size: 1010)
1800.05/1800.51 c redcost : 0.00 21 0 0 0 0
1800.05/1800.51 c impliedbounds : 0.01 21 0 0 0 0
1800.05/1800.51 c intobj : 0.00 0 0 0 0 0
1800.05/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.51 c gomory : 2.08 21 0 0 3544 0
1800.05/1800.51 c strongcg : 1.62 20 0 0 4749 0
1800.05/1800.51 c cmir : 0.12 10 0 0 2 0
1800.05/1800.51 c flowcover : 0.15 10 0 0 4 0
1800.05/1800.51 c clique : 0.01 1 0 0 0 0
1800.05/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.51 c mcf : 0.00 1 0 0 0 0
1800.05/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.51 c Pricers : Time Calls Vars
1800.05/1800.51 c problem variables: 0.00 0 0
1800.05/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c relpscost : 3.04 1 0 0 0 0 2
1800.05/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.51 c inference : 47.86 3410982 0 0 0 0 6821964
1800.05/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c random : 0.00 0 0 0 0 0 0
1800.05/1800.51 c Primal Heuristics : Time Calls Found
1800.05/1800.51 c LP solutions : 0.00 - 0
1800.05/1800.51 c pseudo solutions : 0.00 - 4
1800.05/1800.51 c oneopt : 3.84 0 0
1800.05/1800.51 c crossover : 0.00 0 0
1800.05/1800.51 c trivial : 0.00 2 0
1800.05/1800.51 c simplerounding : 0.00 0 0
1800.05/1800.51 c zirounding : 0.00 1 0
1800.05/1800.51 c rounding : 0.01 21 0
1800.05/1800.51 c shifting : 0.13 21 0
1800.05/1800.51 c intshifting : 0.00 0 0
1800.05/1800.51 c twoopt : 0.00 0 0
1800.05/1800.51 c fixandinfer : 0.00 0 0
1800.05/1800.51 c feaspump : 0.26 1 0
1800.05/1800.51 c coefdiving : 0.00 0 0
1800.05/1800.51 c pscostdiving : 0.00 0 0
1800.05/1800.51 c fracdiving : 0.00 0 0
1800.05/1800.51 c veclendiving : 0.00 0 0
1800.05/1800.51 c intdiving : 0.00 0 0
1800.05/1800.51 c actconsdiving : 0.00 0 0
1800.05/1800.51 c objpscostdiving : 0.00 0 0
1800.05/1800.51 c rootsoldiving : 0.00 0 0
1800.05/1800.51 c linesearchdiving : 0.00 0 0
1800.05/1800.51 c guideddiving : 0.00 0 0
1800.05/1800.51 c octane : 0.00 0 0
1800.05/1800.51 c rens : 0.00 0 0
1800.05/1800.51 c rins : 0.00 0 0
1800.05/1800.51 c localbranching : 0.00 0 0
1800.05/1800.51 c mutation : 0.00 0 0
1800.05/1800.51 c dins : 0.00 0 0
1800.05/1800.51 c undercover : 0.00 0 0
1800.05/1800.51 c nlp : 2.63 0 0
1800.05/1800.51 c trysol : 2.39 0 0
1800.05/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.51 c primal LP : 0.01 0 0 0.00 0.00
1800.05/1800.51 c dual LP : 0.88 21 3483 165.86 3957.95
1800.05/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.51 c diving/probing LP: 0.23 33 1154 34.97 5017.39
1800.05/1800.51 c strong branching : 3.03 34 7568 222.59 2497.69
1800.05/1800.51 c (at root node) : - 34 7568 222.59 -
1800.05/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.51 c B&B Tree :
1800.05/1800.51 c number of runs : 1
1800.05/1800.51 c nodes : 5428082
1800.05/1800.51 c nodes (total) : 5428082
1800.05/1800.51 c nodes left : 87
1800.05/1800.51 c max depth : 141
1800.05/1800.51 c max depth (total): 141
1800.05/1800.51 c backtracks : 1657127 (30.5%)
1800.05/1800.51 c delayed cutoffs : 1393731
1800.05/1800.51 c repropagations : 2088473 (27094968 domain reductions, 1106672 cutoffs)
1800.05/1800.51 c avg switch length: 2.12
1800.05/1800.51 c switching time : 100.50
1800.05/1800.51 c Solution :
1800.05/1800.51 c Solutions found : 4 (4 improvements)
1800.05/1800.51 c First Solution : +2.31000000000000e+02 (in run 1, after 299 nodes, 8.58 seconds, depth 126, found by <relaxation>)
1800.05/1800.51 c Primal Bound : +2.19000000000000e+02 (in run 1, after 167375 nodes, 69.19 seconds, depth 114, found by <relaxation>)
1800.05/1800.51 c Dual Bound : +1.60636260082551e+02
1800.05/1800.51 c Gap : 36.33 %
1800.05/1800.51 c Root Dual Bound : +1.60409963970662e+02
1800.05/1800.51 c Root Iterations : 4637
1800.05/1800.52 c Time complete: 1800.06.