0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665628-1276470283.opb>
0.03/0.04 c original problem has 528 variables (528 bin, 0 int, 0 impl, 0 cont) and 1816 constraints
0.03/0.04 c problem read
0.03/0.04 c presolving settings loaded
0.03/0.05 c presolving:
0.03/0.09 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.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 0 | 519 | - |3876k| 0 | 416 | 528 |1804 | 528 |1804 | 0 | 0 | 0 | 1.450000e+02 | -- | Inf
0.29/0.30 c 0.2s| 1 | 0 | 676 | - |3951k| 0 | 410 | 528 |1804 | 528 |1814 | 10 | 0 | 0 | 1.501853e+02 | -- | Inf
0.39/0.40 c 0.3s| 1 | 0 | 841 | - |3996k| 0 | 404 | 528 |1804 | 528 |1823 | 19 | 0 | 0 | 1.543482e+02 | -- | Inf
0.49/0.53 c 0.5s| 1 | 0 | 1046 | - |4042k| 0 | 394 | 528 |1804 | 528 |1836 | 32 | 0 | 0 | 1.588008e+02 | -- | Inf
0.59/0.65 c 0.6s| 1 | 0 | 1255 | - |4165k| 0 | 388 | 528 |1804 | 528 |1843 | 39 | 0 | 0 | 1.604458e+02 | -- | Inf
0.79/0.80 c 0.7s| 1 | 0 | 1508 | - |4447k| 0 | 390 | 528 |1804 | 528 |1852 | 48 | 0 | 0 | 1.611838e+02 | -- | Inf
0.89/1.00 c 0.9s| 1 | 0 | 1861 | - |4719k| 0 | 405 | 528 |1804 | 528 |1860 | 56 | 0 | 0 | 1.614904e+02 | -- | Inf
1.19/1.21 c 1.1s| 1 | 0 | 2098 | - |5128k| 0 | 409 | 528 |1804 | 528 |1869 | 65 | 0 | 0 | 1.617442e+02 | -- | Inf
1.39/1.46 c 1.4s| 1 | 0 | 2348 | - |5358k| 0 | 403 | 528 |1804 | 528 |1875 | 71 | 0 | 0 | 1.623702e+02 | -- | Inf
1.69/1.74 c 1.6s| 1 | 0 | 2580 | - |5632k| 0 | 402 | 528 |1804 | 528 |1881 | 77 | 0 | 0 | 1.627344e+02 | -- | Inf
1.98/2.00 c 1.9s| 1 | 0 | 2784 | - |5875k| 0 | 405 | 528 |1804 | 528 |1887 | 83 | 0 | 0 | 1.632916e+02 | -- | Inf
2.20/2.27 c 2.2s| 1 | 0 | 3005 | - |6044k| 0 | 398 | 528 |1804 | 528 |1890 | 88 | 0 | 0 | 1.633271e+02 | -- | Inf
2.49/2.51 c 2.4s| 1 | 0 | 3164 | - |6146k| 0 | 401 | 528 |1804 | 528 |1895 | 93 | 0 | 0 | 1.633483e+02 | -- | Inf
2.69/2.75 c 2.6s| 1 | 0 | 3269 | - |6260k| 0 | 407 | 528 |1804 | 528 |1900 | 98 | 0 | 0 | 1.633573e+02 | -- | Inf
2.89/2.98 c 2.9s| 1 | 0 | 3363 | - |6350k| 0 | 404 | 528 |1804 | 528 |1904 | 102 | 0 | 0 | 1.633858e+02 | -- | Inf
3.20/3.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.20/3.21 c 3.1s| 1 | 0 | 3492 | - |6458k| 0 | 398 | 528 |1804 | 528 |1908 | 106 | 0 | 0 | 1.634124e+02 | -- | Inf
3.39/3.45 c 3.3s| 1 | 0 | 3601 | - |6513k| 0 | 404 | 528 |1804 | 528 |1911 | 109 | 0 | 0 | 1.634185e+02 | -- | Inf
3.59/3.68 c 3.5s| 1 | 0 | 3707 | - |6566k| 0 | 402 | 528 |1804 | 528 |1897 | 111 | 0 | 0 | 1.634371e+02 | -- | Inf
3.79/3.89 c 3.8s| 1 | 0 | 3739 | - |6572k| 0 | 400 | 528 |1804 | 528 |1898 | 112 | 0 | 0 | 1.634371e+02 | -- | Inf
4.09/4.10 c 4.0s| 1 | 0 | 3765 | - |6595k| 0 | 402 | 528 |1804 | 528 |1899 | 113 | 0 | 0 | 1.634371e+02 | -- | Inf
4.29/4.31 c 4.2s| 1 | 0 | 3794 | - |6614k| 0 | 402 | 528 |1804 | 528 |1900 | 114 | 0 | 0 | 1.634371e+02 | -- | Inf
4.39/4.44 c 4.3s| 1 | 0 | 3811 | - |6618k| 0 | 400 | 528 |1804 | 528 |1901 | 115 | 0 | 0 | 1.634371e+02 | -- | Inf
4.49/4.56 c 4.4s| 1 | 0 | 3836 | - |6619k| 0 | 402 | 528 |1804 | 528 |1902 | 116 | 0 | 0 | 1.634371e+02 | -- | Inf
5.79/5.81 c 5.6s| 1 | 2 | 3836 | - |6619k| 0 | 402 | 528 |1804 | 528 |1902 | 116 | 0 | 30 | 1.634371e+02 | -- | Inf
5.79/5.89 o 238
5.79/5.89 c * 5.7s| 236 | 143 | 3836 | 0.0 |6738k| 148 | - | 528 |1808 | 0 | 0 | 116 | 24 | 30 | 1.638768e+02 | 2.380000e+02 | 45.23%
5.89/5.92 o 231
5.89/5.92 c * 5.7s| 424 | 127 | 3836 | 0.0 |6749k| 156 | - | 528 |1808 | 0 | 0 | 116 | 58 | 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
7.70/7.74 c 7.4s| 10000 | 120 | 3836 | 0.0 |6749k| 156 | - | 528 |1808 | 0 | 0 | 116 |1003 | 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
9.89/9.94 c 9.4s| 20000 | 122 | 3836 | 0.0 |6751k| 156 | - | 528 |1808 | 0 | 0 | 116 |2594 | 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
11.79/11.89 c 11.2s| 30000 | 119 | 3836 | 0.0 |6750k| 156 | - | 528 |1810 | 0 | 0 | 116 |3603 | 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
13.59/13.63 c 12.7s| 40000 | 118 | 3836 | 0.0 |6752k| 156 | - | 528 |1810 | 0 | 0 | 116 |4127 | 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
15.39/15.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.39/15.43 c 14.3s| 50000 | 116 | 3836 | 0.0 |6751k| 156 | - | 528 |1809 | 0 | 0 | 116 |4878 | 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
17.29/17.37 c 16.1s| 60000 | 117 | 3836 | 0.0 |6751k| 156 | - | 528 |1809 | 0 | 0 | 116 |5745 | 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
19.09/19.10 c 17.7s| 70000 | 121 | 3836 | 0.0 |6754k| 156 | - | 528 |1810 | 0 | 0 | 116 |6356 | 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
20.79/20.88 c 19.3s| 80000 | 116 | 3836 | 0.0 |6751k| 156 | - | 528 |1810 | 0 | 0 | 116 |7032 | 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
22.58/22.65 c 20.9s| 90000 | 112 | 3836 | 0.0 |6751k| 156 | - | 528 |1810 | 0 | 0 | 116 |7720 | 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
24.48/24.53 c 22.6s|100000 | 115 | 3836 | 0.0 |6753k| 156 | - | 528 |1810 | 0 | 0 | 116 |8592 | 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
26.28/26.31 c 24.2s|110000 | 112 | 3836 | 0.0 |6751k| 156 | - | 528 |1810 | 0 | 0 | 116 |9431 | 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
28.08/28.15 c 25.9s|120000 | 118 | 3836 | 0.0 |6752k| 156 | - | 528 |1810 | 0 | 0 | 116 | 10k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
29.98/30.10 c 27.6s|130000 | 115 | 3836 | 0.0 |6752k| 156 | - | 528 |1810 | 0 | 0 | 116 | 11k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
32.18/32.24 c 29.6s|140000 | 113 | 3836 | 0.0 |6751k| 156 | - | 528 |1811 | 0 | 0 | 116 | 12k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
33.88/33.94 c 31.1s|150000 | 112 | 3836 | 0.0 |6753k| 156 | - | 528 |1811 | 0 | 0 | 116 | 13k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
35.38/35.48 c 32.5s|160000 | 114 | 3836 | 0.0 |6753k| 156 | - | 528 |1811 | 0 | 0 | 116 | 13k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
37.08/37.11 c 34.0s|170000 | 112 | 3836 | 0.0 |6753k| 156 | - | 528 |1811 | 0 | 0 | 116 | 13k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
38.68/38.72 c 35.4s|180000 | 118 | 3836 | 0.0 |6754k| 156 | - | 528 |1811 | 0 | 0 | 116 | 14k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
40.48/40.56 c 37.1s|190000 | 113 | 3836 | 0.0 |6752k| 156 | - | 528 |1811 | 0 | 0 | 116 | 15k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
42.27/42.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.27/42.36 c 38.7s|200000 | 113 | 3836 | 0.0 |6754k| 156 | - | 528 |1811 | 0 | 0 | 116 | 15k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
44.08/44.13 c 40.3s|210000 | 113 | 3836 | 0.0 |6753k| 156 | - | 528 |1811 | 0 | 0 | 116 | 16k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
45.77/45.80 c 41.8s|220000 | 116 | 3836 | 0.0 |6754k| 156 | - | 528 |1812 | 0 | 0 | 116 | 16k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
47.77/47.88 c 43.7s|230000 | 116 | 3836 | 0.0 |6754k| 156 | - | 528 |1813 | 0 | 0 | 116 | 18k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
50.37/50.44 c 46.1s|240000 | 112 | 3836 | 0.0 |6752k| 156 | - | 528 |1813 | 0 | 0 | 116 | 20k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
52.88/52.91 c 48.4s|250000 | 115 | 3836 | 0.0 |6753k| 156 | - | 528 |1813 | 0 | 0 | 116 | 22k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
55.28/55.30 c 50.6s|260000 | 113 | 3836 | 0.0 |6759k| 156 | - | 528 |1813 | 0 | 0 | 116 | 24k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
57.87/57.97 c 53.0s|270000 | 111 | 3836 | 0.0 |6754k| 156 | - | 528 |1813 | 0 | 0 | 116 | 27k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
59.96/60.03 c 54.9s|280000 | 111 | 3836 | 0.0 |6754k| 156 | - | 528 |1813 | 0 | 0 | 116 | 28k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
62.57/62.60 c 57.3s|290000 | 112 | 3836 | 0.0 |6753k| 156 | - | 528 |1813 | 0 | 0 | 116 | 31k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
65.06/65.12 c 59.6s|300000 | 117 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 33k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
66.97/67.02 c 61.4s|310000 | 117 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 34k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
68.96/69.06 c 63.2s|320000 | 115 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 35k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
70.97/71.06 c 65.1s|330000 | 117 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 36k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
73.06/73.13 c 67.0s|340000 | 115 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 37k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
75.36/75.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.36/75.46 c 69.1s|350000 | 113 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 39k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
77.36/77.45 c 71.0s|360000 | 114 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 40k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
79.06/79.16 c 72.5s|370000 | 119 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 41k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
80.76/80.89 c 74.0s|380000 | 116 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 41k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
82.47/82.60 c 75.5s|390000 | 117 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 42k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
84.16/84.25 c 77.0s|400000 | 116 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 42k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
85.67/85.79 c 78.4s|410000 | 115 | 3836 | 0.0 |6754k| 156 | - | 528 |1813 | 0 | 0 | 116 | 43k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
87.36/87.40 c 79.9s|420000 | 122 | 3836 | 0.0 |6756k| 156 | - | 528 |1813 | 0 | 0 | 116 | 43k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
89.07/89.15 c 81.5s|430000 | 115 | 3836 | 0.0 |6756k| 156 | - | 528 |1813 | 0 | 0 | 116 | 44k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
90.86/90.97 c 83.1s|440000 | 113 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 44k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
92.76/92.81 c 84.8s|450000 | 115 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 45k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
94.47/94.55 c 86.4s|460000 | 116 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 46k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
95.96/96.04 c 87.7s|470000 | 113 | 3836 | 0.0 |6756k| 156 | - | 528 |1813 | 0 | 0 | 116 | 46k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
97.96/98.09 c 89.6s|480000 | 115 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 47k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
99.85/99.99 c 91.3s|490000 | 114 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 48k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
102.05/102.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.05/102.18 c 93.3s|500000 | 119 | 3836 | 0.0 |6756k| 156 | - | 528 |1813 | 0 | 0 | 116 | 49k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
104.36/104.46 c 95.4s|510000 | 116 | 3836 | 0.0 |6756k| 156 | - | 528 |1813 | 0 | 0 | 116 | 51k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
106.05/106.13 c 96.9s|520000 | 114 | 3836 | 0.0 |6754k| 156 | - | 528 |1813 | 0 | 0 | 116 | 51k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
107.66/107.71 c 98.3s|530000 | 119 | 3836 | 0.0 |6757k| 156 | - | 528 |1813 | 0 | 0 | 116 | 52k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
109.45/109.51 c 99.9s|540000 | 113 | 3836 | 0.0 |6754k| 156 | - | 528 |1813 | 0 | 0 | 116 | 52k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
111.25/111.30 c 102s|550000 | 118 | 3836 | 0.0 |6757k| 156 | - | 528 |1813 | 0 | 0 | 116 | 53k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
113.16/113.24 c 103s|560000 | 117 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 54k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
114.65/114.73 c 105s|570000 | 115 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 54k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
116.05/116.17 c 106s|580000 | 115 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 54k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
117.66/117.75 c 107s|590000 | 116 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 55k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
119.15/119.28 c 109s|600000 | 116 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 55k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
120.74/120.84 c 110s|610000 | 117 | 3836 | 0.0 |6756k| 156 | - | 528 |1813 | 0 | 0 | 116 | 55k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
122.34/122.44 c 112s|620000 | 116 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 56k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
123.94/124.03 c 113s|630000 | 116 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 56k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
125.35/125.48 c 114s|640000 | 114 | 3836 | 0.0 |6756k| 156 | - | 528 |1813 | 0 | 0 | 116 | 56k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
126.85/126.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.85/126.99 c 116s|650000 | 111 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 56k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
128.45/128.54 c 117s|660000 | 118 | 3836 | 0.0 |6756k| 156 | - | 528 |1813 | 0 | 0 | 116 | 57k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
129.95/130.07 c 118s|670000 | 116 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 57k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
131.85/131.96 c 120s|680000 | 119 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 58k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
133.55/133.67 c 122s|690000 | 113 | 3836 | 0.0 |6754k| 156 | - | 528 |1813 | 0 | 0 | 116 | 59k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
135.34/135.41 c 123s|700000 | 111 | 3836 | 0.0 |6754k| 156 | - | 528 |1813 | 0 | 0 | 116 | 59k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
136.84/136.97 c 125s|710000 | 117 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 60k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
138.45/138.56 c 126s|720000 | 118 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 60k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
140.04/140.11 c 128s|730000 | 116 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 60k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
141.54/141.66 c 129s|740000 | 116 | 3836 | 0.0 |6756k| 156 | - | 528 |1813 | 0 | 0 | 116 | 60k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
143.14/143.24 c 130s|750000 | 120 | 3836 | 0.0 |6756k| 156 | - | 528 |1813 | 0 | 0 | 116 | 60k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
144.74/144.88 c 132s|760000 | 115 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 61k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
146.43/146.53 c 133s|770000 | 115 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 61k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
147.93/148.09 c 135s|780000 | 117 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 62k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
149.44/149.60 c 136s|790000 | 115 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 62k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
151.04/151.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.04/151.17 c 138s|800000 | 115 | 3836 | 0.0 |6756k| 156 | - | 528 |1813 | 0 | 0 | 116 | 62k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
152.74/152.85 c 139s|810000 | 113 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 63k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
154.23/154.40 c 140s|820000 | 117 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 63k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
155.84/155.91 c 142s|830000 | 113 | 3836 | 0.0 |6756k| 156 | - | 528 |1813 | 0 | 0 | 116 | 63k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
157.64/157.71 c 143s|840000 | 115 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 64k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
159.04/159.17 c 145s|850000 | 112 | 3836 | 0.0 |6754k| 156 | - | 528 |1813 | 0 | 0 | 116 | 64k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
160.54/160.65 c 146s|860000 | 115 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 64k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
162.13/162.23 c 147s|870000 | 112 | 3836 | 0.0 |6754k| 156 | - | 528 |1813 | 0 | 0 | 116 | 64k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
163.74/163.87 c 149s|880000 | 115 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 65k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
165.53/165.65 c 151s|890000 | 117 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 65k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
167.13/167.25 c 152s|900000 | 117 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 66k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
168.73/168.86 c 153s|910000 | 118 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 66k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
170.23/170.33 c 155s|920000 | 115 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 66k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
171.73/171.85 c 156s|930000 | 115 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 66k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
173.23/173.33 c 157s|940000 | 115 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 67k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
174.74/174.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
174.74/174.90 c 159s|950000 | 115 | 3836 | 0.0 |6754k| 156 | - | 528 |1813 | 0 | 0 | 116 | 67k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
176.42/176.51 c 160s|960000 | 115 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 67k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
178.13/178.21 c 162s|970000 | 116 | 3836 | 0.0 |6756k| 156 | - | 528 |1813 | 0 | 0 | 116 | 67k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
179.72/179.86 c 163s|980000 | 113 | 3836 | 0.0 |6756k| 156 | - | 528 |1813 | 0 | 0 | 116 | 68k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
181.34/181.44 c 165s|990000 | 115 | 3836 | 0.0 |6756k| 156 | - | 528 |1813 | 0 | 0 | 116 | 68k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
182.92/183.06 c 166s| 1000k| 113 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 68k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
184.82/184.98 c 168s| 1010k| 123 | 3836 | 0.0 |6756k| 156 | - | 528 |1813 | 0 | 0 | 116 | 69k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
187.23/187.31 c 170s| 1020k| 114 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 71k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
189.32/189.46 c 172s| 1030k| 114 | 3836 | 0.0 |6754k| 156 | - | 528 |1813 | 0 | 0 | 116 | 73k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
191.12/191.30 c 174s| 1040k| 114 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 74k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
193.12/193.20 c 176s| 1050k| 117 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 74k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
194.82/194.97 c 177s| 1060k| 117 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 75k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
196.42/196.58 c 179s| 1070k| 112 | 3836 | 0.0 |6755k| 156 | - | 528 |1813 | 0 | 0 | 116 | 75k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
198.22/198.31 c 180s| 1080k| 113 | 3836 | 0.0 |6754k| 156 | - | 528 |1813 | 0 | 0 | 116 | 76k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
199.92/200.06 c 182s| 1090k| 115 | 3836 | 0.0 |6756k| 156 | - | 528 |1814 | 0 | 0 | 116 | 76k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
201.72/201.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
201.72/201.80 c 183s| 1100k| 115 | 3836 | 0.0 |6756k| 156 | - | 528 |1814 | 0 | 0 | 116 | 77k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
203.82/203.95 c 185s| 1110k| 115 | 3836 | 0.0 |6756k| 156 | - | 528 |1814 | 0 | 0 | 116 | 79k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
205.81/205.94 c 187s| 1120k| 114 | 3836 | 0.0 |6755k| 156 | - | 528 |1814 | 0 | 0 | 116 | 80k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
207.82/207.96 c 189s| 1130k| 112 | 3836 | 0.0 |6756k| 156 | - | 528 |1814 | 0 | 0 | 116 | 81k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
209.81/209.98 c 191s| 1140k| 113 | 3836 | 0.0 |6755k| 156 | - | 528 |1814 | 0 | 0 | 116 | 82k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
211.52/211.67 c 192s| 1150k| 118 | 3836 | 0.0 |6758k| 156 | - | 528 |1814 | 0 | 0 | 116 | 83k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
213.41/213.50 c 194s| 1160k| 114 | 3836 | 0.0 |6757k| 156 | - | 528 |1815 | 0 | 0 | 116 | 83k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
215.11/215.27 c 196s| 1170k| 109 | 3836 | 0.0 |6753k| 156 | - | 528 |1815 | 0 | 0 | 116 | 84k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
217.31/217.41 c 198s| 1180k| 113 | 3836 | 0.0 |6756k| 156 | - | 528 |1815 | 0 | 0 | 116 | 86k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
218.91/219.07 c 199s| 1190k| 112 | 3836 | 0.0 |6756k| 156 | - | 528 |1815 | 0 | 0 | 116 | 86k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
220.71/220.88 c 201s| 1200k| 117 | 3836 | 0.0 |6757k| 156 | - | 528 |1814 | 0 | 0 | 116 | 87k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
222.50/222.65 c 202s| 1210k| 116 | 3836 | 0.0 |6756k| 156 | - | 528 |1814 | 0 | 0 | 116 | 87k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
224.71/224.82 c 204s| 1220k| 114 | 3836 | 0.0 |6754k| 156 | - | 528 |1814 | 0 | 0 | 116 | 89k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
226.42/226.60 c 206s| 1230k| 120 | 3836 | 0.0 |6757k| 156 | - | 528 |1814 | 0 | 0 | 116 | 89k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
228.11/228.24 c 207s| 1240k| 117 | 3836 | 0.0 |6756k| 156 | - | 528 |1814 | 0 | 0 | 116 | 90k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
229.71/229.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.71/229.86 c 209s| 1250k| 111 | 3836 | 0.0 |6756k| 156 | - | 528 |1814 | 0 | 0 | 116 | 90k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
231.41/231.56 c 210s| 1260k| 114 | 3836 | 0.0 |6756k| 156 | - | 528 |1814 | 0 | 0 | 116 | 90k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
233.01/233.20 c 212s| 1270k| 114 | 3836 | 0.0 |6757k| 156 | - | 528 |1814 | 0 | 0 | 116 | 91k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
234.91/235.05 c 213s| 1280k| 112 | 3836 | 0.0 |6755k| 156 | - | 528 |1814 | 0 | 0 | 116 | 92k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
236.41/236.58 c 215s| 1290k| 111 | 3836 | 0.0 |6755k| 156 | - | 528 |1814 | 0 | 0 | 116 | 92k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
238.01/238.18 c 216s| 1300k| 113 | 3836 | 0.0 |6756k| 156 | - | 528 |1814 | 0 | 0 | 116 | 92k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
239.61/239.73 c 218s| 1310k| 114 | 3836 | 0.0 |6756k| 156 | - | 528 |1814 | 0 | 0 | 116 | 92k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
241.50/241.67 c 219s| 1320k| 119 | 3836 | 0.0 |6758k| 156 | - | 528 |1814 | 0 | 0 | 116 | 93k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
243.70/243.89 c 221s| 1330k| 119 | 3836 | 0.0 |6757k| 156 | - | 528 |1814 | 0 | 0 | 116 | 95k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
245.60/245.76 c 223s| 1340k| 113 | 3836 | 0.0 |6756k| 156 | - | 528 |1815 | 0 | 0 | 116 | 96k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
247.90/248.09 c 225s| 1350k| 119 | 3836 | 0.0 |6760k| 156 | - | 528 |1814 | 0 | 0 | 116 | 98k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
250.71/250.80 c 228s| 1360k| 120 | 3836 | 0.0 |6757k| 156 | - | 528 |1815 | 0 | 0 | 116 | 100k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
253.30/253.41 c 230s| 1370k| 117 | 3836 | 0.0 |6758k| 156 | - | 528 |1815 | 0 | 0 | 116 | 103k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
255.80/255.99 c 233s| 1380k| 114 | 3836 | 0.0 |6758k| 156 | - | 528 |1815 | 0 | 0 | 116 | 106k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
258.40/258.56 c 235s| 1390k| 115 | 3836 | 0.0 |6756k| 156 | - | 528 |1815 | 0 | 0 | 116 | 108k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
260.60/260.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
260.60/260.75 c 237s| 1400k| 110 | 3836 | 0.0 |6755k| 156 | - | 528 |1815 | 0 | 0 | 116 | 110k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
263.39/263.55 c 240s| 1410k| 119 | 3836 | 0.0 |6757k| 156 | - | 528 |1815 | 0 | 0 | 116 | 112k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
266.00/266.12 c 242s| 1420k| 117 | 3836 | 0.0 |6757k| 156 | - | 528 |1815 | 0 | 0 | 116 | 115k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
268.59/268.79 c 244s| 1430k| 117 | 3836 | 0.0 |6757k| 156 | - | 528 |1816 | 0 | 0 | 116 | 118k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
270.89/271.05 c 246s| 1440k| 117 | 3836 | 0.0 |6758k| 156 | - | 528 |1816 | 0 | 0 | 116 | 119k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
273.99/274.15 c 249s| 1450k| 117 | 3836 | 0.0 |6756k| 156 | - | 528 |1816 | 0 | 0 | 116 | 123k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
276.69/276.81 c 252s| 1460k| 118 | 3836 | 0.0 |6759k| 156 | - | 528 |1816 | 0 | 0 | 116 | 125k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
279.30/279.45 c 254s| 1470k| 116 | 3836 | 0.0 |6761k| 156 | - | 528 |1817 | 0 | 0 | 116 | 128k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
281.79/281.94 c 257s| 1480k| 113 | 3836 | 0.0 |6756k| 156 | - | 528 |1817 | 0 | 0 | 116 | 130k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
283.99/284.16 c 259s| 1490k| 119 | 3836 | 0.0 |6757k| 156 | - | 528 |1816 | 0 | 0 | 116 | 132k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
286.38/286.52 c 261s| 1500k| 115 | 3836 | 0.0 |6757k| 156 | - | 528 |1817 | 0 | 0 | 116 | 134k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
288.10/288.22 c 262s| 1510k| 117 | 3836 | 0.0 |6758k| 156 | - | 528 |1816 | 0 | 0 | 116 | 135k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
289.99/290.15 c 264s| 1520k| 118 | 3836 | 0.0 |6758k| 156 | - | 528 |1816 | 0 | 0 | 116 | 136k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
291.89/292.05 c 266s| 1530k| 114 | 3836 | 0.0 |6756k| 156 | - | 528 |1816 | 0 | 0 | 116 | 137k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
294.48/294.64 c 268s| 1540k| 113 | 3836 | 0.0 |6759k| 156 | - | 528 |1817 | 0 | 0 | 116 | 139k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
296.68/296.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
296.68/296.85 c 270s| 1550k| 114 | 3836 | 0.0 |6756k| 156 | - | 528 |1816 | 0 | 0 | 116 | 141k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
299.28/299.46 c 273s| 1560k| 112 | 3836 | 0.0 |6759k| 156 | - | 528 |1817 | 0 | 0 | 116 | 143k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
301.68/301.87 c 275s| 1570k| 116 | 3836 | 0.0 |6759k| 156 | - | 528 |1817 | 0 | 0 | 116 | 145k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
303.58/303.75 c 277s| 1580k| 116 | 3836 | 0.0 |6757k| 156 | - | 528 |1817 | 0 | 0 | 116 | 146k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
305.98/306.19 c 279s| 1590k| 119 | 3836 | 0.0 |6757k| 156 | - | 528 |1817 | 0 | 0 | 116 | 148k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
308.48/308.63 c 281s| 1600k| 116 | 3836 | 0.0 |6757k| 156 | - | 528 |1817 | 0 | 0 | 116 | 150k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
310.77/310.99 c 283s| 1610k| 115 | 3836 | 0.0 |6757k| 156 | - | 528 |1817 | 0 | 0 | 116 | 153k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
313.07/313.24 c 285s| 1620k| 116 | 3836 | 0.0 |6757k| 156 | - | 528 |1817 | 0 | 0 | 116 | 154k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
315.98/316.16 c 288s| 1630k| 118 | 3836 | 0.0 |6758k| 156 | - | 528 |1817 | 0 | 0 | 116 | 157k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
318.57/318.73 c 290s| 1640k| 112 | 3836 | 0.0 |6756k| 156 | - | 528 |1817 | 0 | 0 | 116 | 160k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
320.88/321.03 c 293s| 1650k| 119 | 3836 | 0.0 |6759k| 156 | - | 528 |1817 | 0 | 0 | 116 | 162k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
323.07/323.27 c 295s| 1660k| 114 | 3836 | 0.0 |6757k| 156 | - | 528 |1817 | 0 | 0 | 116 | 164k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
325.98/326.15 c 297s| 1670k| 116 | 3836 | 0.0 |6757k| 156 | - | 528 |1817 | 0 | 0 | 116 | 167k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
328.87/329.06 c 300s| 1680k| 118 | 3836 | 0.0 |6759k| 156 | - | 528 |1817 | 0 | 0 | 116 | 170k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
331.37/331.50 c 302s| 1690k| 117 | 3836 | 0.0 |6759k| 156 | - | 528 |1817 | 0 | 0 | 116 | 172k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
333.67/333.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
333.67/333.83 c 304s| 1700k| 116 | 3836 | 0.0 |6760k| 156 | - | 528 |1817 | 0 | 0 | 116 | 174k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
336.27/336.41 c 307s| 1710k| 112 | 3836 | 0.0 |6759k| 156 | - | 528 |1817 | 0 | 0 | 116 | 177k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
338.37/338.55 c 309s| 1720k| 117 | 3836 | 0.0 |6758k| 156 | - | 528 |1818 | 0 | 0 | 116 | 178k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
340.96/341.11 c 311s| 1730k| 115 | 3836 | 0.0 |6756k| 156 | - | 528 |1817 | 0 | 0 | 116 | 180k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
342.76/342.97 c 313s| 1740k| 116 | 3836 | 0.0 |6758k| 156 | - | 528 |1817 | 0 | 0 | 116 | 181k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
345.27/345.45 c 315s| 1750k| 113 | 3836 | 0.0 |6757k| 156 | - | 528 |1817 | 0 | 0 | 116 | 183k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
347.57/347.79 c 317s| 1760k| 114 | 3836 | 0.0 |6759k| 156 | - | 528 |1820 | 0 | 0 | 116 | 185k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
350.07/350.29 c 320s| 1770k| 111 | 3836 | 0.0 |6758k| 156 | - | 528 |1818 | 0 | 0 | 116 | 187k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
352.56/352.78 c 322s| 1780k| 117 | 3836 | 0.0 |6759k| 156 | - | 528 |1818 | 0 | 0 | 116 | 190k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
354.97/355.15 c 324s| 1790k| 122 | 3836 | 0.0 |6760k| 156 | - | 528 |1817 | 0 | 0 | 116 | 192k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
357.66/357.83 c 327s| 1800k| 116 | 3836 | 0.0 |6758k| 156 | - | 528 |1817 | 0 | 0 | 116 | 194k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
360.26/360.43 c 329s| 1810k| 118 | 3836 | 0.0 |6758k| 156 | - | 528 |1818 | 0 | 0 | 116 | 197k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
362.77/362.95 c 331s| 1820k| 114 | 3836 | 0.0 |6757k| 156 | - | 528 |1817 | 0 | 0 | 116 | 199k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
365.26/365.48 c 334s| 1830k| 116 | 3836 | 0.0 |6759k| 156 | - | 528 |1817 | 0 | 0 | 116 | 202k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
367.75/367.91 c 336s| 1840k| 115 | 3836 | 0.0 |6760k| 156 | - | 528 |1817 | 0 | 0 | 116 | 204k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
370.75/370.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
370.75/370.99 c 339s| 1850k| 115 | 3836 | 0.0 |6757k| 156 | - | 528 |1817 | 0 | 0 | 116 | 207k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
373.46/373.64 c 341s| 1860k| 118 | 3836 | 0.0 |6758k| 156 | - | 528 |1817 | 0 | 0 | 116 | 210k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
375.16/375.39 c 343s| 1870k| 116 | 3836 | 0.0 |6757k| 156 | - | 528 |1817 | 0 | 0 | 116 | 211k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
377.75/377.92 c 345s| 1880k| 119 | 3836 | 0.0 |6758k| 156 | - | 528 |1817 | 0 | 0 | 116 | 213k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
380.15/380.38 c 348s| 1890k| 117 | 3836 | 0.0 |6757k| 156 | - | 528 |1817 | 0 | 0 | 116 | 216k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
382.85/383.00 c 350s| 1900k| 116 | 3836 | 0.0 |6757k| 156 | - | 528 |1817 | 0 | 0 | 116 | 218k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
385.15/385.32 c 352s| 1910k| 114 | 3836 | 0.0 |6759k| 156 | - | 528 |1817 | 0 | 0 | 116 | 220k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
388.45/388.68 c 355s| 1920k| 116 | 3836 | 0.0 |6759k| 156 | - | 528 |1817 | 0 | 0 | 116 | 224k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
391.05/391.25 c 358s| 1930k| 113 | 3836 | 0.0 |6760k| 156 | - | 528 |1818 | 0 | 0 | 116 | 227k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
393.55/393.78 c 360s| 1940k| 116 | 3836 | 0.0 |6759k| 156 | - | 528 |1817 | 0 | 0 | 116 | 229k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
395.35/395.52 c 362s| 1950k| 111 | 3836 | 0.0 |6757k| 156 | - | 528 |1817 | 0 | 0 | 116 | 230k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
397.54/397.77 c 364s| 1960k| 117 | 3836 | 0.0 |6758k| 156 | - | 528 |1818 | 0 | 0 | 116 | 232k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
399.45/399.63 c 365s| 1970k| 115 | 3836 | 0.0 |6758k| 156 | - | 528 |1818 | 0 | 0 | 116 | 233k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
401.55/401.76 c 367s| 1980k| 115 | 3836 | 0.0 |6758k| 156 | - | 528 |1817 | 0 | 0 | 116 | 234k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
403.55/403.75 c 369s| 1990k| 116 | 3836 | 0.0 |6757k| 156 | - | 528 |1817 | 0 | 0 | 116 | 235k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
405.45/405.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
405.45/405.61 c 371s| 2000k| 111 | 3836 | 0.0 |6757k| 156 | - | 528 |1817 | 0 | 0 | 116 | 236k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
408.84/409.04 c 374s| 2010k| 113 | 3836 | 0.0 |6757k| 156 | - | 528 |1817 | 0 | 0 | 116 | 240k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
411.75/411.92 c 377s| 2020k| 118 | 3836 | 0.0 |6759k| 156 | - | 528 |1817 | 0 | 0 | 116 | 243k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
413.84/414.08 c 379s| 2030k| 114 | 3836 | 0.0 |6757k| 156 | - | 528 |1817 | 0 | 0 | 116 | 245k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
416.24/416.40 c 381s| 2040k| 110 | 3836 | 0.0 |6755k| 156 | - | 528 |1817 | 0 | 0 | 116 | 247k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
418.44/418.65 c 383s| 2050k| 117 | 3836 | 0.0 |6759k| 156 | - | 528 |1817 | 0 | 0 | 116 | 249k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
420.83/421.03 c 385s| 2060k| 121 | 3836 | 0.0 |6758k| 156 | - | 528 |1817 | 0 | 0 | 116 | 251k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
423.43/423.65 c 387s| 2070k| 114 | 3836 | 0.0 |6757k| 156 | - | 528 |1817 | 0 | 0 | 116 | 253k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
425.44/425.66 c 389s| 2080k| 115 | 3836 | 0.0 |6758k| 156 | - | 528 |1817 | 0 | 0 | 116 | 255k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
427.53/427.76 c 391s| 2090k| 117 | 3836 | 0.0 |6757k| 156 | - | 528 |1817 | 0 | 0 | 116 | 256k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
429.73/429.95 c 393s| 2100k| 112 | 3836 | 0.0 |6758k| 156 | - | 528 |1817 | 0 | 0 | 116 | 258k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
432.04/432.27 c 395s| 2110k| 113 | 3836 | 0.0 |6758k| 156 | - | 528 |1817 | 0 | 0 | 116 | 259k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
434.04/434.22 c 397s| 2120k| 113 | 3836 | 0.0 |6757k| 156 | - | 528 |1817 | 0 | 0 | 116 | 260k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
436.04/436.25 c 399s| 2130k| 114 | 3836 | 0.0 |6757k| 156 | - | 528 |1817 | 0 | 0 | 116 | 262k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
438.04/438.22 c 401s| 2140k| 112 | 3836 | 0.0 |6757k| 156 | - | 528 |1817 | 0 | 0 | 116 | 263k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
439.93/440.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
439.93/440.13 c 402s| 2150k| 111 | 3836 | 0.0 |6758k| 156 | - | 528 |1817 | 0 | 0 | 116 | 263k| 30 | 1.638768e+02 | 2.310000e+02 | 40.96%
440.43/440.61 o 219
440.43/440.61 c * 403s| 2152k| 149 | 3836 | 0.0 |6779k| 175 | - | 528 |1818 | 0 | 0 | 116 | 264k| 30 | 1.638768e+02 | 2.190000e+02 | 33.64%
441.03/441.28 o 217
441.03/441.28 c * 404s| 2154k| 132 | 3836 | 0.0 |6784k| 177 | - | 528 |1818 | 0 | 0 | 116 | 264k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
442.93/443.15 c 405s| 2160k| 122 | 3836 | 0.0 |6780k| 177 | - | 528 |1818 | 0 | 0 | 116 | 266k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
445.43/445.60 c 408s| 2170k| 123 | 3836 | 0.0 |6777k| 177 | - | 528 |1818 | 0 | 0 | 116 | 268k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
447.83/448.09 c 410s| 2180k| 125 | 3836 | 0.0 |6779k| 177 | - | 528 |1818 | 0 | 0 | 116 | 270k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
450.43/450.64 c 412s| 2190k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1818 | 0 | 0 | 116 | 272k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
453.23/453.48 c 415s| 2200k| 122 | 3836 | 0.0 |6777k| 177 | - | 528 |1818 | 0 | 0 | 116 | 275k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
455.93/456.15 c 417s| 2210k| 121 | 3836 | 0.0 |6777k| 177 | - | 528 |1818 | 0 | 0 | 116 | 277k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
458.62/458.87 c 420s| 2220k| 125 | 3836 | 0.0 |6777k| 177 | - | 528 |1818 | 0 | 0 | 116 | 280k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
461.62/461.81 c 423s| 2230k| 122 | 3836 | 0.0 |6777k| 177 | - | 528 |1818 | 0 | 0 | 116 | 283k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
463.72/463.99 c 425s| 2240k| 122 | 3836 | 0.0 |6779k| 177 | - | 528 |1818 | 0 | 0 | 116 | 284k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
466.13/466.39 c 427s| 2250k| 121 | 3836 | 0.0 |6777k| 177 | - | 528 |1818 | 0 | 0 | 116 | 286k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
468.62/468.83 c 429s| 2260k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1818 | 0 | 0 | 116 | 288k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
471.01/471.21 c 431s| 2270k| 121 | 3836 | 0.0 |6782k| 177 | - | 528 |1818 | 0 | 0 | 116 | 290k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
473.22/473.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
473.22/473.44 c 433s| 2280k| 123 | 3836 | 0.0 |6777k| 177 | - | 528 |1818 | 0 | 0 | 116 | 291k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
475.61/475.87 c 436s| 2290k| 123 | 3836 | 0.0 |6777k| 177 | - | 528 |1818 | 0 | 0 | 116 | 293k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
478.71/478.93 c 438s| 2300k| 122 | 3836 | 0.0 |6776k| 177 | - | 528 |1818 | 0 | 0 | 116 | 297k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
481.11/481.38 c 441s| 2310k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1818 | 0 | 0 | 116 | 299k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
483.72/483.92 c 443s| 2320k| 122 | 3836 | 0.0 |6779k| 177 | - | 528 |1819 | 0 | 0 | 116 | 301k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
486.52/486.79 c 446s| 2330k| 124 | 3836 | 0.0 |6777k| 177 | - | 528 |1819 | 0 | 0 | 116 | 304k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
488.91/489.14 c 448s| 2340k| 121 | 3836 | 0.0 |6777k| 177 | - | 528 |1819 | 0 | 0 | 116 | 306k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
491.20/491.49 c 450s| 2350k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1819 | 0 | 0 | 116 | 307k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
493.21/493.46 c 452s| 2360k| 118 | 3836 | 0.0 |6775k| 177 | - | 528 |1819 | 0 | 0 | 116 | 308k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
496.11/496.37 c 455s| 2370k| 120 | 3836 | 0.0 |6781k| 177 | - | 528 |1819 | 0 | 0 | 116 | 311k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
499.00/499.25 c 457s| 2380k| 118 | 3836 | 0.0 |6776k| 177 | - | 528 |1819 | 0 | 0 | 116 | 314k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
501.41/501.69 c 460s| 2390k| 124 | 3836 | 0.0 |6779k| 177 | - | 528 |1819 | 0 | 0 | 116 | 316k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
503.90/504.11 c 462s| 2400k| 122 | 3836 | 0.0 |6776k| 177 | - | 528 |1819 | 0 | 0 | 116 | 318k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
506.01/506.21 c 464s| 2410k| 121 | 3836 | 0.0 |6779k| 177 | - | 528 |1819 | 0 | 0 | 116 | 319k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
507.91/508.17 c 466s| 2420k| 119 | 3836 | 0.0 |6777k| 177 | - | 528 |1819 | 0 | 0 | 116 | 320k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
510.70/510.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
510.70/510.94 c 468s| 2430k| 118 | 3836 | 0.0 |6776k| 177 | - | 528 |1819 | 0 | 0 | 116 | 323k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
512.70/512.94 c 470s| 2440k| 115 | 3836 | 0.0 |6778k| 177 | - | 528 |1819 | 0 | 0 | 116 | 324k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
514.61/514.85 c 472s| 2450k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1819 | 0 | 0 | 116 | 325k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
516.90/517.19 c 474s| 2460k| 117 | 3836 | 0.0 |6777k| 177 | - | 528 |1819 | 0 | 0 | 116 | 327k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
519.70/519.90 c 476s| 2470k| 124 | 3836 | 0.0 |6778k| 177 | - | 528 |1819 | 0 | 0 | 116 | 329k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
521.89/522.11 c 478s| 2480k| 116 | 3836 | 0.0 |6777k| 177 | - | 528 |1819 | 0 | 0 | 116 | 331k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
524.19/524.47 c 481s| 2490k| 118 | 3836 | 0.0 |6776k| 177 | - | 528 |1819 | 0 | 0 | 116 | 332k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
526.80/527.03 c 483s| 2500k| 120 | 3836 | 0.0 |6779k| 177 | - | 528 |1819 | 0 | 0 | 116 | 334k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
529.79/530.04 c 486s| 2510k| 123 | 3836 | 0.0 |6778k| 177 | - | 528 |1819 | 0 | 0 | 116 | 338k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
532.39/532.62 c 488s| 2520k| 119 | 3836 | 0.0 |6776k| 177 | - | 528 |1819 | 0 | 0 | 116 | 340k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
534.30/534.52 c 490s| 2530k| 122 | 3836 | 0.0 |6778k| 177 | - | 528 |1819 | 0 | 0 | 116 | 341k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
536.80/537.01 c 492s| 2540k| 118 | 3836 | 0.0 |6776k| 177 | - | 528 |1819 | 0 | 0 | 116 | 343k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
539.80/540.00 c 495s| 2550k| 121 | 3836 | 0.0 |6776k| 177 | - | 528 |1819 | 0 | 0 | 116 | 346k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
542.49/542.78 c 498s| 2560k| 123 | 3836 | 0.0 |6779k| 177 | - | 528 |1819 | 0 | 0 | 116 | 349k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
545.30/545.58 c 500s| 2570k| 117 | 3836 | 0.0 |6776k| 177 | - | 528 |1819 | 0 | 0 | 116 | 351k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
548.29/548.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
548.29/548.58 c 503s| 2580k| 116 | 3836 | 0.0 |6776k| 177 | - | 528 |1819 | 0 | 0 | 116 | 354k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
550.99/551.20 c 505s| 2590k| 114 | 3836 | 0.0 |6775k| 177 | - | 528 |1820 | 0 | 0 | 116 | 357k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
553.48/553.78 c 508s| 2600k| 114 | 3836 | 0.0 |6776k| 177 | - | 528 |1820 | 0 | 0 | 116 | 359k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
555.49/555.77 c 510s| 2610k| 119 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 360k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
557.28/557.59 c 511s| 2620k| 120 | 3836 | 0.0 |6776k| 177 | - | 528 |1820 | 0 | 0 | 116 | 361k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
559.19/559.49 c 513s| 2630k| 119 | 3836 | 0.0 |6776k| 177 | - | 528 |1820 | 0 | 0 | 116 | 362k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
561.48/561.75 c 515s| 2640k| 122 | 3836 | 0.0 |6779k| 177 | - | 528 |1820 | 0 | 0 | 116 | 364k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
563.78/564.06 c 517s| 2650k| 122 | 3836 | 0.0 |6780k| 177 | - | 528 |1820 | 0 | 0 | 116 | 365k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
567.08/567.30 c 520s| 2660k| 119 | 3836 | 0.0 |6779k| 177 | - | 528 |1820 | 0 | 0 | 116 | 368k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
569.18/569.44 c 522s| 2670k| 127 | 3836 | 0.0 |6778k| 177 | - | 528 |1820 | 0 | 0 | 116 | 370k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
571.18/571.49 c 524s| 2680k| 120 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 371k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
572.98/573.23 c 526s| 2690k| 122 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 372k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
574.68/574.96 c 527s| 2700k| 117 | 3836 | 0.0 |6776k| 177 | - | 528 |1820 | 0 | 0 | 116 | 373k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
576.98/577.22 c 529s| 2710k| 117 | 3836 | 0.0 |6776k| 177 | - | 528 |1820 | 0 | 0 | 116 | 375k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
579.68/579.90 c 532s| 2720k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1820 | 0 | 0 | 116 | 377k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
582.68/582.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
582.68/582.96 c 535s| 2730k| 120 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 380k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
585.37/585.69 c 537s| 2740k| 119 | 3836 | 0.0 |6779k| 177 | - | 528 |1820 | 0 | 0 | 116 | 383k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
588.37/588.64 c 540s| 2750k| 121 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 386k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
590.87/591.18 c 542s| 2760k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 389k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
593.07/593.34 c 544s| 2770k| 119 | 3836 | 0.0 |6776k| 177 | - | 528 |1820 | 0 | 0 | 116 | 390k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
594.67/594.93 c 546s| 2780k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1820 | 0 | 0 | 116 | 391k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
596.47/596.70 c 547s| 2790k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 392k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
598.37/598.65 c 549s| 2800k| 121 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 393k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
600.27/600.52 c 551s| 2810k| 117 | 3836 | 0.0 |6776k| 177 | - | 528 |1820 | 0 | 0 | 116 | 394k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
602.17/602.46 c 553s| 2820k| 116 | 3836 | 0.0 |6778k| 177 | - | 528 |1820 | 0 | 0 | 116 | 395k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
604.07/604.37 c 554s| 2830k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1820 | 0 | 0 | 116 | 397k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
605.78/606.09 c 556s| 2840k| 122 | 3836 | 0.0 |6780k| 177 | - | 528 |1820 | 0 | 0 | 116 | 397k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
607.97/608.28 c 558s| 2850k| 119 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 399k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
610.18/610.46 c 560s| 2860k| 118 | 3836 | 0.0 |6776k| 177 | - | 528 |1820 | 0 | 0 | 116 | 401k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
612.16/612.43 c 562s| 2870k| 117 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 402k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
613.97/614.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
613.97/614.29 c 563s| 2880k| 114 | 3836 | 0.0 |6775k| 177 | - | 528 |1820 | 0 | 0 | 116 | 404k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
615.87/616.10 c 565s| 2890k| 116 | 3836 | 0.0 |6779k| 177 | - | 528 |1820 | 0 | 0 | 116 | 405k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
617.66/617.93 c 567s| 2900k| 116 | 3836 | 0.0 |6776k| 177 | - | 528 |1820 | 0 | 0 | 116 | 406k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
619.67/619.95 c 569s| 2910k| 124 | 3836 | 0.0 |6778k| 177 | - | 528 |1820 | 0 | 0 | 116 | 407k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
621.36/621.69 c 570s| 2920k| 118 | 3836 | 0.0 |6776k| 177 | - | 528 |1820 | 0 | 0 | 116 | 408k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
623.36/623.62 c 572s| 2930k| 122 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 409k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
625.06/625.34 c 574s| 2940k| 119 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 410k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
627.06/627.36 c 575s| 2950k| 123 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 412k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
628.87/629.15 c 577s| 2960k| 116 | 3836 | 0.0 |6778k| 177 | - | 528 |1820 | 0 | 0 | 116 | 413k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
630.56/630.81 c 579s| 2970k| 118 | 3836 | 0.0 |6778k| 177 | - | 528 |1820 | 0 | 0 | 116 | 413k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
632.16/632.44 c 580s| 2980k| 116 | 3836 | 0.0 |6775k| 177 | - | 528 |1820 | 0 | 0 | 116 | 413k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
634.25/634.53 c 582s| 2990k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 415k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
635.95/636.23 c 583s| 3000k| 123 | 3836 | 0.0 |6778k| 177 | - | 528 |1820 | 0 | 0 | 116 | 415k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
638.45/638.79 c 586s| 3010k| 117 | 3836 | 0.0 |6779k| 177 | - | 528 |1820 | 0 | 0 | 116 | 418k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
640.65/640.90 c 588s| 3020k| 116 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 419k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
642.25/642.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
642.25/642.54 c 589s| 3030k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 419k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
644.06/644.34 c 591s| 3040k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1820 | 0 | 0 | 116 | 420k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
645.95/646.20 c 593s| 3050k| 119 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 421k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
647.75/648.07 c 594s| 3060k| 122 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 422k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
649.55/649.84 c 596s| 3070k| 121 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 423k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
651.55/651.80 c 598s| 3080k| 117 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 425k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
653.35/653.67 c 600s| 3090k| 123 | 3836 | 0.0 |6778k| 177 | - | 528 |1820 | 0 | 0 | 116 | 426k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
655.26/655.58 c 601s| 3100k| 117 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 427k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
657.15/657.48 c 603s| 3110k| 125 | 3836 | 0.0 |6778k| 177 | - | 528 |1820 | 0 | 0 | 116 | 428k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
659.25/659.51 c 605s| 3120k| 124 | 3836 | 0.0 |6778k| 177 | - | 528 |1820 | 0 | 0 | 116 | 430k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
661.24/661.51 c 607s| 3130k| 120 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 431k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
662.85/663.14 c 608s| 3140k| 122 | 3836 | 0.0 |6780k| 177 | - | 528 |1820 | 0 | 0 | 116 | 432k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
664.55/664.89 c 610s| 3150k| 118 | 3836 | 0.0 |6778k| 177 | - | 528 |1820 | 0 | 0 | 116 | 432k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
666.35/666.69 c 611s| 3160k| 121 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 433k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
668.14/668.49 c 613s| 3170k| 121 | 3836 | 0.0 |6776k| 177 | - | 528 |1820 | 0 | 0 | 116 | 434k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
670.15/670.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
670.15/670.43 c 615s| 3180k| 116 | 3836 | 0.0 |6776k| 177 | - | 528 |1820 | 0 | 0 | 116 | 435k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
672.34/672.65 c 617s| 3190k| 123 | 3836 | 0.0 |6779k| 177 | - | 528 |1820 | 0 | 0 | 116 | 437k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
674.64/674.98 c 619s| 3200k| 115 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 439k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
676.74/677.04 c 621s| 3210k| 120 | 3836 | 0.0 |6780k| 177 | - | 528 |1820 | 0 | 0 | 116 | 440k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
678.64/678.94 c 623s| 3220k| 115 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 441k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
680.35/680.64 c 624s| 3230k| 113 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 441k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
682.04/682.37 c 626s| 3240k| 114 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 442k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
684.24/684.57 c 628s| 3250k| 122 | 3836 | 0.0 |6780k| 177 | - | 528 |1818 | 0 | 0 | 116 | 444k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
687.84/688.13 c 631s| 3260k| 122 | 3836 | 0.0 |6777k| 177 | - | 528 |1818 | 0 | 0 | 116 | 448k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
691.24/691.59 c 634s| 3270k| 120 | 3836 | 0.0 |6777k| 177 | - | 528 |1818 | 0 | 0 | 116 | 452k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
694.34/694.60 c 637s| 3280k| 120 | 3836 | 0.0 |6777k| 177 | - | 528 |1818 | 0 | 0 | 116 | 455k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
697.44/697.70 c 640s| 3290k| 124 | 3836 | 0.0 |6777k| 177 | - | 528 |1818 | 0 | 0 | 116 | 458k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
699.24/699.57 c 642s| 3300k| 133 | 3836 | 0.0 |6781k| 177 | - | 528 |1818 | 0 | 0 | 116 | 460k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
700.93/701.29 c 643s| 3310k| 121 | 3836 | 0.0 |6776k| 177 | - | 528 |1818 | 0 | 0 | 116 | 461k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
703.84/704.14 c 646s| 3320k| 122 | 3836 | 0.0 |6776k| 177 | - | 528 |1818 | 0 | 0 | 116 | 463k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
705.63/705.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
705.63/705.93 c 648s| 3330k| 120 | 3836 | 0.0 |6777k| 177 | - | 528 |1818 | 0 | 0 | 116 | 464k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
708.03/708.39 c 650s| 3340k| 120 | 3836 | 0.0 |6776k| 177 | - | 528 |1818 | 0 | 0 | 116 | 466k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
710.53/710.89 c 652s| 3350k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1818 | 0 | 0 | 116 | 468k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
713.83/714.13 c 655s| 3360k| 123 | 3836 | 0.0 |6777k| 177 | - | 528 |1818 | 0 | 0 | 116 | 471k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
715.62/715.91 c 657s| 3370k| 121 | 3836 | 0.0 |6780k| 177 | - | 528 |1818 | 0 | 0 | 116 | 472k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
717.43/717.78 c 658s| 3380k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1818 | 0 | 0 | 116 | 473k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
720.53/720.84 c 661s| 3390k| 122 | 3836 | 0.0 |6779k| 177 | - | 528 |1818 | 0 | 0 | 116 | 477k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
723.32/723.69 c 664s| 3400k| 116 | 3836 | 0.0 |6776k| 177 | - | 528 |1818 | 0 | 0 | 116 | 480k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
725.64/725.98 c 666s| 3410k| 125 | 3836 | 0.0 |6778k| 177 | - | 528 |1820 | 0 | 0 | 116 | 482k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
727.93/728.23 c 668s| 3420k| 123 | 3836 | 0.0 |6781k| 177 | - | 528 |1820 | 0 | 0 | 116 | 484k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
729.82/730.12 c 670s| 3430k| 122 | 3836 | 0.0 |6778k| 177 | - | 528 |1820 | 0 | 0 | 116 | 485k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
731.62/731.92 c 672s| 3440k| 117 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 486k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
733.33/733.66 c 673s| 3450k| 137 | 3836 | 0.0 |6783k| 177 | - | 528 |1820 | 0 | 0 | 116 | 487k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
736.02/736.33 c 676s| 3460k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1820 | 0 | 0 | 116 | 489k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
738.62/738.93 c 678s| 3470k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1818 | 0 | 0 | 116 | 492k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
741.22/741.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
741.22/741.57 c 680s| 3480k| 117 | 3836 | 0.0 |6776k| 177 | - | 528 |1818 | 0 | 0 | 116 | 494k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
743.92/744.27 c 683s| 3490k| 122 | 3836 | 0.0 |6777k| 177 | - | 528 |1818 | 0 | 0 | 116 | 496k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
746.72/747.00 c 686s| 3500k| 120 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 499k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
749.51/749.88 c 688s| 3510k| 118 | 3836 | 0.0 |6776k| 177 | - | 528 |1820 | 0 | 0 | 116 | 502k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
752.52/752.86 c 691s| 3520k| 122 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 505k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
755.22/755.52 c 694s| 3530k| 125 | 3836 | 0.0 |6778k| 177 | - | 528 |1820 | 0 | 0 | 116 | 508k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
758.02/758.32 c 696s| 3540k| 119 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 510k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
760.71/761.07 c 699s| 3550k| 121 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 513k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
762.81/763.12 c 701s| 3560k| 121 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 515k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
765.41/765.76 c 703s| 3570k| 120 | 3836 | 0.0 |6779k| 177 | - | 528 |1820 | 0 | 0 | 116 | 517k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
767.91/768.23 c 705s| 3580k| 127 | 3836 | 0.0 |6780k| 177 | - | 528 |1820 | 0 | 0 | 116 | 519k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
770.41/770.74 c 708s| 3590k| 124 | 3836 | 0.0 |6778k| 177 | - | 528 |1820 | 0 | 0 | 116 | 521k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
772.92/773.26 c 710s| 3600k| 118 | 3836 | 0.0 |6776k| 177 | - | 528 |1820 | 0 | 0 | 116 | 524k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
775.71/776.04 c 713s| 3610k| 122 | 3836 | 0.0 |6778k| 177 | - | 528 |1820 | 0 | 0 | 116 | 527k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
777.81/778.13 c 715s| 3620k| 116 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 528k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
779.80/780.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
779.80/780.15 c 716s| 3630k| 123 | 3836 | 0.0 |6780k| 177 | - | 528 |1820 | 0 | 0 | 116 | 530k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
782.40/782.74 c 719s| 3640k| 124 | 3836 | 0.0 |6780k| 177 | - | 528 |1820 | 0 | 0 | 116 | 532k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
785.01/785.36 c 721s| 3650k| 117 | 3836 | 0.0 |6775k| 177 | - | 528 |1820 | 0 | 0 | 116 | 535k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
787.70/788.03 c 724s| 3660k| 121 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 537k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
790.70/791.03 c 726s| 3670k| 121 | 3836 | 0.0 |6777k| 177 | - | 528 |1820 | 0 | 0 | 116 | 541k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
793.50/793.88 c 729s| 3680k| 123 | 3836 | 0.0 |6778k| 177 | - | 528 |1820 | 0 | 0 | 116 | 544k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
795.89/796.24 c 731s| 3690k| 118 | 3836 | 0.0 |6778k| 177 | - | 528 |1820 | 0 | 0 | 116 | 546k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
798.70/799.02 c 734s| 3700k| 123 | 3836 | 0.0 |6778k| 177 | - | 528 |1820 | 0 | 0 | 116 | 549k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
800.99/801.37 c 736s| 3710k| 118 | 3836 | 0.0 |6776k| 177 | - | 528 |1820 | 0 | 0 | 116 | 551k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
804.09/804.41 c 739s| 3720k| 119 | 3836 | 0.0 |6776k| 177 | - | 528 |1820 | 0 | 0 | 116 | 554k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
806.69/807.00 c 741s| 3730k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1820 | 0 | 0 | 116 | 557k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
809.30/809.69 c 744s| 3740k| 117 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 559k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
811.79/812.15 c 746s| 3750k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 562k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
814.09/814.46 c 748s| 3760k| 117 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 564k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
816.19/816.50 c 750s| 3770k| 113 | 3836 | 0.0 |6775k| 177 | - | 528 |1821 | 0 | 0 | 116 | 565k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
818.49/818.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
818.49/818.80 c 752s| 3780k| 124 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 567k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
821.49/821.83 c 755s| 3790k| 126 | 3836 | 0.0 |6780k| 177 | - | 528 |1821 | 0 | 0 | 116 | 570k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
824.09/824.40 c 758s| 3800k| 122 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 572k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
827.09/827.44 c 760s| 3810k| 123 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 575k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
829.68/830.00 c 763s| 3820k| 117 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 578k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
832.18/832.58 c 765s| 3830k| 120 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 580k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
834.78/835.16 c 767s| 3840k| 117 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 583k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
837.58/837.92 c 770s| 3850k| 117 | 3836 | 0.0 |6776k| 177 | - | 528 |1821 | 0 | 0 | 116 | 586k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
840.37/840.72 c 773s| 3860k| 120 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 589k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
842.68/843.08 c 775s| 3870k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 590k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
844.28/844.64 c 776s| 3880k| 115 | 3836 | 0.0 |6776k| 177 | - | 528 |1821 | 0 | 0 | 116 | 591k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
846.17/846.58 c 778s| 3890k| 119 | 3836 | 0.0 |6780k| 177 | - | 528 |1821 | 0 | 0 | 116 | 592k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
848.38/848.76 c 780s| 3900k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 594k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
850.58/850.98 c 782s| 3910k| 117 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 595k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
853.07/853.43 c 784s| 3920k| 123 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 598k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
855.48/855.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
855.48/855.87 c 787s| 3930k| 122 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 600k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
857.68/858.07 c 789s| 3940k| 122 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 602k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
860.07/860.44 c 791s| 3950k| 117 | 3836 | 0.0 |6775k| 177 | - | 528 |1821 | 0 | 0 | 116 | 604k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
862.77/863.12 c 793s| 3960k| 127 | 3836 | 0.0 |6781k| 177 | - | 528 |1821 | 0 | 0 | 116 | 607k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
865.47/865.86 c 796s| 3970k| 122 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 610k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
868.27/868.66 c 798s| 3980k| 124 | 3836 | 0.0 |6780k| 177 | - | 528 |1821 | 0 | 0 | 116 | 613k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
870.97/871.34 c 801s| 3990k| 120 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 615k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
873.77/874.13 c 804s| 4000k| 123 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 618k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
875.77/876.10 c 805s| 4010k| 117 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 619k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
877.77/878.10 c 807s| 4020k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 621k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
880.06/880.41 c 809s| 4030k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 622k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
882.16/882.52 c 811s| 4040k| 119 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 624k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
884.47/884.86 c 813s| 4050k| 122 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 626k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
886.76/887.17 c 816s| 4060k| 118 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 628k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
889.57/889.93 c 818s| 4070k| 117 | 3836 | 0.0 |6780k| 177 | - | 528 |1821 | 0 | 0 | 116 | 631k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
892.46/892.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
892.46/892.83 c 821s| 4080k| 121 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 634k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
895.15/895.51 c 823s| 4090k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 636k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
897.56/897.95 c 826s| 4100k| 118 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 638k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
899.76/900.14 c 828s| 4110k| 116 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 640k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
901.66/902.06 c 829s| 4120k| 122 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 641k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
903.36/903.74 c 831s| 4130k| 118 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 642k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
905.15/905.57 c 833s| 4140k| 119 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 642k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
906.96/907.40 c 834s| 4150k| 128 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 643k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
908.66/909.08 c 836s| 4160k| 127 | 3836 | 0.0 |6780k| 177 | - | 528 |1821 | 0 | 0 | 116 | 644k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
910.66/911.07 c 838s| 4170k| 118 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 645k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
913.35/913.76 c 840s| 4180k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 648k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
915.75/916.13 c 842s| 4190k| 117 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 650k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
918.35/918.79 c 845s| 4200k| 119 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 652k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
920.75/921.15 c 847s| 4210k| 118 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 654k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
923.25/923.65 c 849s| 4220k| 123 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 656k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
925.76/926.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
925.76/926.12 c 852s| 4230k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 659k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
928.15/928.58 c 854s| 4240k| 122 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 661k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
930.15/930.60 c 856s| 4250k| 118 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 662k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
932.64/933.00 c 858s| 4260k| 118 | 3836 | 0.0 |6780k| 177 | - | 528 |1821 | 0 | 0 | 116 | 664k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
934.65/935.02 c 860s| 4270k| 118 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 666k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
936.64/937.02 c 862s| 4280k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 667k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
938.85/939.29 c 864s| 4290k| 124 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 669k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
941.34/941.77 c 866s| 4300k| 123 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 671k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
943.54/943.97 c 868s| 4310k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 673k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
946.14/946.56 c 870s| 4320k| 123 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 675k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
948.34/948.73 c 872s| 4330k| 123 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 677k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
950.14/950.55 c 874s| 4340k| 119 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 678k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
952.25/952.66 c 876s| 4350k| 121 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 680k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
954.54/954.96 c 878s| 4360k| 119 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 681k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
957.14/957.50 c 881s| 4370k| 122 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 684k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
959.24/959.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
959.24/959.69 c 883s| 4380k| 127 | 3836 | 0.0 |6780k| 177 | - | 528 |1821 | 0 | 0 | 116 | 685k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
961.33/961.76 c 884s| 4390k| 122 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 687k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
963.54/963.90 c 886s| 4400k| 122 | 3836 | 0.0 |6780k| 177 | - | 528 |1821 | 0 | 0 | 116 | 688k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
965.94/966.32 c 889s| 4410k| 120 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 690k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
968.23/968.69 c 891s| 4420k| 122 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 692k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
970.73/971.14 c 893s| 4430k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 695k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
973.33/973.70 c 896s| 4440k| 117 | 3836 | 0.0 |6780k| 177 | - | 528 |1821 | 0 | 0 | 116 | 697k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
975.83/976.28 c 898s| 4450k| 124 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 700k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
977.93/978.30 c 900s| 4460k| 118 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 701k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
980.52/980.97 c 902s| 4470k| 121 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 703k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
983.03/983.49 c 905s| 4480k| 123 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 706k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
985.72/986.12 c 907s| 4490k| 117 | 3836 | 0.0 |6780k| 177 | - | 528 |1821 | 0 | 0 | 116 | 708k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
988.62/989.00 c 910s| 4500k| 113 | 3836 | 0.0 |6775k| 177 | - | 528 |1821 | 0 | 0 | 116 | 712k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
991.22/991.61 c 912s| 4510k| 126 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 714k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
993.72/994.16 c 915s| 4520k| 121 | 3836 | 0.0 |6780k| 177 | - | 528 |1821 | 0 | 0 | 116 | 717k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
996.23/996.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
996.23/996.61 c 917s| 4530k| 120 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 719k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
998.33/998.73 c 919s| 4540k| 123 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 720k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1000.82/1001.27 c 921s| 4550k| 122 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 723k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1003.32/1003.75 c 923s| 4560k| 119 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 725k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1005.82/1006.28 c 926s| 4570k| 124 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 728k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1008.72/1009.14 c 928s| 4580k| 120 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 731k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1011.42/1011.82 c 931s| 4590k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 734k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1013.51/1013.96 c 933s| 4600k| 122 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 735k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1015.81/1016.23 c 935s| 4610k| 124 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 737k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1017.91/1018.35 c 937s| 4620k| 120 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 738k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1020.22/1020.65 c 939s| 4630k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 740k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1022.42/1022.81 c 941s| 4640k| 122 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 742k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1024.82/1025.28 c 943s| 4650k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 744k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1027.11/1027.56 c 945s| 4660k| 123 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 746k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1029.11/1029.55 c 947s| 4670k| 119 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 747k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1030.81/1031.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1030.81/1031.28 c 949s| 4680k| 117 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 748k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1032.71/1033.17 c 951s| 4690k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 749k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1034.51/1034.90 c 952s| 4700k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 750k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1036.30/1036.73 c 954s| 4710k| 120 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 751k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1038.61/1039.00 c 956s| 4720k| 121 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 752k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1040.81/1041.21 c 958s| 4730k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 754k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1042.81/1043.29 c 960s| 4740k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 756k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1045.21/1045.67 c 962s| 4750k| 120 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 758k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1047.60/1048.08 c 964s| 4760k| 120 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 760k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1049.70/1050.17 c 966s| 4770k| 117 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 761k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1052.00/1052.40 c 968s| 4780k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 763k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1054.41/1054.84 c 971s| 4790k| 120 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 765k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1057.00/1057.43 c 973s| 4800k| 117 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 768k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1059.50/1059.95 c 975s| 4810k| 115 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 770k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1061.80/1062.28 c 978s| 4820k| 124 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 772k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1064.41/1064.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1064.41/1064.85 c 980s| 4830k| 123 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 775k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1066.70/1067.10 c 982s| 4840k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 777k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1068.60/1069.08 c 984s| 4850k| 120 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 778k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1070.70/1071.15 c 986s| 4860k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 779k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1072.80/1073.29 c 988s| 4870k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 781k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1074.99/1075.41 c 990s| 4880k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 782k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1077.10/1077.54 c 992s| 4890k| 117 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 784k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1079.19/1079.69 c 994s| 4900k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 785k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1081.29/1081.72 c 995s| 4910k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 787k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1083.29/1083.72 c 997s| 4920k| 122 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 788k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1085.90/1086.36 c 1000s| 4930k| 120 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 791k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1088.50/1088.94 c 1002s| 4940k| 116 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 793k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1090.29/1090.78 c 1004s| 4950k| 118 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 794k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1092.19/1092.67 c 1006s| 4960k| 115 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 795k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1093.88/1094.37 c 1007s| 4970k| 114 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 796k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1096.49/1096.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1096.49/1096.91 c 1010s| 4980k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 798k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1098.78/1099.21 c 1012s| 4990k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 800k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1100.98/1101.43 c 1014s| 5000k| 117 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 802k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1103.48/1103.96 c 1016s| 5010k| 117 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 805k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1105.78/1106.23 c 1018s| 5020k| 116 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 807k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1107.98/1108.44 c 1020s| 5030k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 809k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1110.28/1110.75 c 1022s| 5040k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 811k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1112.58/1113.10 c 1025s| 5050k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 813k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1114.99/1115.43 c 1027s| 5060k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 815k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1117.58/1118.01 c 1029s| 5070k| 114 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 817k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1119.98/1120.44 c 1031s| 5080k| 117 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 820k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1121.98/1122.46 c 1033s| 5090k| 121 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 821k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1123.57/1124.08 c 1035s| 5100k| 122 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 821k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1125.38/1125.90 c 1036s| 5110k| 122 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 822k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1127.28/1127.76 c 1038s| 5120k| 126 | 3836 | 0.0 |6780k| 177 | - | 528 |1821 | 0 | 0 | 116 | 823k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1128.98/1129.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1128.98/1129.42 c 1040s| 5130k| 123 | 3836 | 0.0 |6780k| 177 | - | 528 |1821 | 0 | 0 | 116 | 824k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1130.88/1131.35 c 1041s| 5140k| 124 | 3836 | 0.0 |6780k| 177 | - | 528 |1821 | 0 | 0 | 116 | 825k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1132.77/1133.20 c 1043s| 5150k| 119 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 826k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1134.98/1135.41 c 1045s| 5160k| 125 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 828k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1136.67/1137.16 c 1047s| 5170k| 123 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 829k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1138.48/1138.95 c 1048s| 5180k| 125 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 830k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1140.07/1140.57 c 1050s| 5190k| 125 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 831k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1141.87/1142.30 c 1051s| 5200k| 122 | 3836 | 0.0 |6781k| 177 | - | 528 |1821 | 0 | 0 | 116 | 832k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1143.67/1144.14 c 1053s| 5210k| 122 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 833k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1145.87/1146.31 c 1055s| 5220k| 120 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 835k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1147.77/1148.29 c 1057s| 5230k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 836k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1149.77/1150.27 c 1059s| 5240k| 119 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 837k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1152.46/1152.96 c 1061s| 5250k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 840k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1154.37/1154.81 c 1063s| 5260k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 841k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1156.46/1156.93 c 1065s| 5270k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 843k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1158.66/1159.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1158.66/1159.19 c 1067s| 5280k| 121 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 845k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1161.47/1161.90 c 1069s| 5290k| 119 | 3836 | 0.0 |6780k| 177 | - | 528 |1821 | 0 | 0 | 116 | 847k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1163.37/1163.89 c 1071s| 5300k| 126 | 3836 | 0.0 |6780k| 177 | - | 528 |1821 | 0 | 0 | 116 | 849k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1165.47/1165.90 c 1073s| 5310k| 120 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 850k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1167.86/1168.35 c 1075s| 5320k| 118 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 852k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1170.66/1171.15 c 1078s| 5330k| 121 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 855k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1173.56/1174.09 c 1081s| 5340k| 120 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 858k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1176.26/1176.72 c 1083s| 5350k| 122 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 860k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1177.96/1178.49 c 1085s| 5360k| 123 | 3836 | 0.0 |6781k| 177 | - | 528 |1821 | 0 | 0 | 116 | 862k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1179.56/1180.08 c 1086s| 5370k| 118 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 862k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1181.15/1181.69 c 1088s| 5380k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 862k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1182.85/1183.35 c 1089s| 5390k| 122 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 863k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1184.36/1184.84 c 1091s| 5400k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 863k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1185.86/1186.31 c 1092s| 5410k| 118 | 3836 | 0.0 |6776k| 177 | - | 528 |1821 | 0 | 0 | 116 | 863k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1187.46/1187.95 c 1093s| 5420k| 116 | 3836 | 0.0 |6775k| 177 | - | 528 |1821 | 0 | 0 | 116 | 864k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1189.05/1189.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1189.05/1189.55 c 1095s| 5430k| 120 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 864k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1190.65/1191.10 c 1096s| 5440k| 116 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 865k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1192.16/1192.66 c 1098s| 5450k| 117 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 865k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1193.65/1194.20 c 1099s| 5460k| 119 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 | 865k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1196.15/1196.62 c 1101s| 5470k| 123 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 867k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1198.65/1199.10 c 1103s| 5480k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 870k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1201.05/1201.54 c 1106s| 5490k| 117 | 3836 | 0.0 |6776k| 177 | - | 528 |1821 | 0 | 0 | 116 | 872k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1203.35/1203.80 c 1108s| 5500k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 874k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1205.24/1205.73 c 1110s| 5510k| 122 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 875k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1206.95/1207.43 c 1111s| 5520k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 876k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1208.64/1209.18 c 1113s| 5530k| 121 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 877k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1210.44/1210.91 c 1114s| 5540k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 878k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1212.34/1212.84 c 1116s| 5550k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 | 880k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1214.04/1214.56 c 1118s| 5560k| 126 | 3836 | 0.0 |6780k| 177 | - | 528 |1821 | 0 | 0 | 116 | 881k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1215.94/1216.45 c 1119s| 5570k| 126 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 882k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1218.14/1218.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1218.14/1218.61 c 1121s| 5580k| 121 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 884k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1219.85/1220.38 c 1123s| 5590k| 120 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 885k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1221.93/1222.46 c 1125s| 5600k| 116 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 | 886k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1223.94/1224.47 c 1127s| 5610k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1822 | 0 | 0 | 116 | 888k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1225.73/1226.21 c 1128s| 5620k| 125 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 | 888k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1228.25/1228.76 c 1131s| 5630k| 119 | 3836 | 0.0 |6777k| 177 | - | 528 |1822 | 0 | 0 | 116 | 891k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1230.13/1230.65 c 1133s| 5640k| 121 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 | 892k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1232.33/1232.88 c 1135s| 5650k| 123 | 3836 | 0.0 |6781k| 177 | - | 528 |1822 | 0 | 0 | 116 | 894k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1234.43/1234.93 c 1137s| 5660k| 122 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 | 895k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1236.34/1236.81 c 1138s| 5670k| 118 | 3836 | 0.0 |6781k| 177 | - | 528 |1822 | 0 | 0 | 116 | 896k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1238.24/1238.78 c 1140s| 5680k| 125 | 3836 | 0.0 |6781k| 177 | - | 528 |1822 | 0 | 0 | 116 | 898k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1240.73/1241.25 c 1142s| 5690k| 119 | 3836 | 0.0 |6781k| 177 | - | 528 |1822 | 0 | 0 | 116 | 900k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1243.04/1243.55 c 1144s| 5700k| 124 | 3836 | 0.0 |6780k| 177 | - | 528 |1822 | 0 | 0 | 116 | 902k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1245.43/1245.96 c 1147s| 5710k| 117 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 904k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1248.13/1248.60 c 1149s| 5720k| 119 | 3836 | 0.0 |6780k| 177 | - | 528 |1822 | 0 | 0 | 116 | 906k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1250.53/1251.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1250.53/1251.04 c 1151s| 5730k| 117 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 909k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1252.63/1253.19 c 1153s| 5740k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1822 | 0 | 0 | 116 | 910k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1254.23/1254.76 c 1155s| 5750k| 123 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 | 911k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1255.73/1256.23 c 1156s| 5760k| 117 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 911k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1257.33/1257.80 c 1158s| 5770k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 911k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1258.83/1259.37 c 1159s| 5780k| 115 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 912k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1260.62/1261.15 c 1161s| 5790k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 913k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1262.43/1262.90 c 1162s| 5800k| 117 | 3836 | 0.0 |6777k| 177 | - | 528 |1822 | 0 | 0 | 116 | 914k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1264.02/1264.52 c 1164s| 5810k| 121 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 | 915k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1265.63/1266.11 c 1165s| 5820k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 916k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1267.22/1267.78 c 1167s| 5830k| 115 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 916k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1268.93/1269.46 c 1168s| 5840k| 118 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 917k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1270.63/1271.16 c 1170s| 5850k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 918k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1272.72/1273.21 c 1172s| 5860k| 125 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 | 920k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1274.62/1275.16 c 1173s| 5870k| 115 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 | 921k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1276.42/1276.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1276.42/1276.93 c 1175s| 5880k| 121 | 3836 | 0.0 |6780k| 177 | - | 528 |1822 | 0 | 0 | 116 | 922k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1277.92/1278.45 c 1176s| 5890k| 117 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 922k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1279.42/1279.94 c 1178s| 5900k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 923k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1281.32/1281.83 c 1179s| 5910k| 121 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 | 924k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1283.42/1283.99 c 1181s| 5920k| 117 | 3836 | 0.0 |6777k| 177 | - | 528 |1822 | 0 | 0 | 116 | 926k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1285.71/1286.25 c 1183s| 5930k| 118 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 927k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1287.71/1288.20 c 1185s| 5940k| 124 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 | 929k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1289.51/1290.05 c 1187s| 5950k| 119 | 3836 | 0.0 |6780k| 177 | - | 528 |1822 | 0 | 0 | 116 | 930k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1291.81/1292.36 c 1189s| 5960k| 117 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 | 932k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1294.31/1294.84 c 1191s| 5970k| 119 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 | 934k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1296.51/1297.00 c 1193s| 5980k| 125 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 | 936k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1298.31/1298.84 c 1195s| 5990k| 115 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 | 937k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1300.21/1300.79 c 1197s| 6000k| 123 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 | 938k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1302.71/1303.25 c 1199s| 6010k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 940k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1305.31/1305.83 c 1202s| 6020k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 942k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1307.61/1308.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1307.61/1308.10 c 1204s| 6030k| 116 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 944k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1309.21/1309.76 c 1205s| 6040k| 118 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 945k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1311.81/1312.32 c 1208s| 6050k| 114 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 947k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1314.31/1314.83 c 1210s| 6060k| 114 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 | 950k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1317.22/1317.71 c 1213s| 6070k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 952k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1319.61/1320.13 c 1215s| 6080k| 116 | 3836 | 0.0 |6777k| 177 | - | 528 |1822 | 0 | 0 | 116 | 954k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1321.80/1322.34 c 1217s| 6090k| 115 | 3836 | 0.0 |6777k| 177 | - | 528 |1822 | 0 | 0 | 116 | 956k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1324.21/1324.71 c 1219s| 6100k| 123 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 | 958k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1326.20/1326.77 c 1221s| 6110k| 120 | 3836 | 0.0 |6781k| 177 | - | 528 |1822 | 0 | 0 | 116 | 960k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1328.50/1329.00 c 1223s| 6120k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 962k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1330.70/1331.24 c 1225s| 6130k| 124 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 | 963k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1332.71/1333.22 c 1227s| 6140k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 964k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1334.40/1334.91 c 1228s| 6150k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 965k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1336.30/1336.86 c 1230s| 6160k| 123 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 | 966k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1338.10/1338.63 c 1232s| 6170k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 967k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1339.80/1340.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1339.80/1340.39 c 1233s| 6180k| 120 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 | 968k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1341.41/1341.90 c 1235s| 6190k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 968k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1344.19/1344.72 c 1237s| 6200k| 120 | 3836 | 0.0 |6777k| 177 | - | 528 |1822 | 0 | 0 | 116 | 971k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1346.79/1347.36 c 1240s| 6210k| 123 | 3836 | 0.0 |6780k| 177 | - | 528 |1822 | 0 | 0 | 116 | 973k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1349.00/1349.53 c 1242s| 6220k| 118 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 | 975k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1351.30/1351.84 c 1244s| 6230k| 118 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 | 977k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1353.79/1354.39 c 1246s| 6240k| 120 | 3836 | 0.0 |6780k| 177 | - | 528 |1822 | 0 | 0 | 116 | 980k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1356.69/1357.28 c 1249s| 6250k| 122 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 | 983k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1359.00/1359.56 c 1251s| 6260k| 117 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 985k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1361.30/1361.89 c 1253s| 6270k| 116 | 3836 | 0.0 |6777k| 177 | - | 528 |1822 | 0 | 0 | 116 | 987k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1363.89/1364.45 c 1256s| 6280k| 119 | 3836 | 0.0 |6777k| 177 | - | 528 |1822 | 0 | 0 | 116 | 989k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1366.59/1367.11 c 1258s| 6290k| 119 | 3836 | 0.0 |6780k| 177 | - | 528 |1822 | 0 | 0 | 116 | 992k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1369.09/1369.67 c 1261s| 6300k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 | 994k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1371.29/1371.82 c 1263s| 6310k| 118 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 | 996k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1373.59/1374.12 c 1265s| 6320k| 121 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 | 998k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1375.50/1376.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1375.50/1376.10 c 1267s| 6330k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1822 | 0 | 0 | 116 | 999k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1377.59/1378.17 c 1268s| 6340k| 115 | 3836 | 0.0 |6780k| 177 | - | 528 |1822 | 0 | 0 | 116 |1001k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1379.38/1379.97 c 1270s| 6350k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1822 | 0 | 0 | 116 |1002k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1381.79/1382.30 c 1272s| 6360k| 117 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 |1004k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1383.78/1384.32 c 1274s| 6370k| 113 | 3836 | 0.0 |6777k| 177 | - | 528 |1822 | 0 | 0 | 116 |1005k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1385.98/1386.54 c 1276s| 6380k| 118 | 3836 | 0.0 |6782k| 177 | - | 528 |1822 | 0 | 0 | 116 |1007k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1387.78/1388.30 c 1278s| 6390k| 118 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 |1008k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1389.38/1389.95 c 1279s| 6400k| 117 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 |1009k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1391.48/1392.09 c 1281s| 6410k| 115 | 3836 | 0.0 |6777k| 177 | - | 528 |1822 | 0 | 0 | 116 |1011k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1393.48/1394.07 c 1283s| 6420k| 116 | 3836 | 0.0 |6777k| 177 | - | 528 |1822 | 0 | 0 | 116 |1012k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1395.29/1395.84 c 1285s| 6430k| 118 | 3836 | 0.0 |6780k| 177 | - | 528 |1822 | 0 | 0 | 116 |1013k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1397.18/1397.72 c 1286s| 6440k| 117 | 3836 | 0.0 |6777k| 177 | - | 528 |1822 | 0 | 0 | 116 |1014k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1399.18/1399.70 c 1288s| 6450k| 115 | 3836 | 0.0 |6777k| 177 | - | 528 |1822 | 0 | 0 | 116 |1015k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1400.89/1401.47 c 1290s| 6460k| 118 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 |1016k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1403.37/1403.92 c 1292s| 6470k| 121 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 |1018k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1405.37/1405.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1405.37/1405.99 c 1294s| 6480k| 123 | 3836 | 0.0 |6779k| 177 | - | 528 |1822 | 0 | 0 | 116 |1020k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1407.28/1407.89 c 1296s| 6490k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 |1021k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1409.08/1409.68 c 1297s| 6500k| 116 | 3836 | 0.0 |6776k| 177 | - | 528 |1822 | 0 | 0 | 116 |1022k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1410.58/1411.12 c 1299s| 6510k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 |1022k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1413.27/1413.83 c 1301s| 6520k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 |1025k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1415.37/1415.92 c 1303s| 6530k| 124 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 |1026k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1417.47/1418.06 c 1305s| 6540k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 |1027k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1420.37/1420.93 c 1308s| 6550k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1822 | 0 | 0 | 116 |1030k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1423.26/1423.87 c 1310s| 6560k| 123 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 |1033k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1426.66/1427.29 c 1314s| 6570k| 119 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 |1037k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1429.56/1430.11 c 1316s| 6580k| 117 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 |1040k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1432.86/1433.40 c 1319s| 6590k| 117 | 3836 | 0.0 |6776k| 177 | - | 528 |1821 | 0 | 0 | 116 |1043k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1436.16/1436.75 c 1322s| 6600k| 123 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 |1047k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1437.86/1438.44 c 1324s| 6610k| 115 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 |1048k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1440.16/1440.77 c 1326s| 6620k| 116 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 |1049k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1442.06/1442.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1442.06/1442.65 c 1328s| 6630k| 118 | 3836 | 0.0 |6779k| 177 | - | 528 |1821 | 0 | 0 | 116 |1050k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1444.06/1444.60 c 1330s| 6640k| 122 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 |1051k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1445.87/1446.46 c 1331s| 6650k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 |1052k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1448.66/1449.28 c 1334s| 6660k| 116 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 |1055k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1451.37/1451.94 c 1336s| 6670k| 120 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 |1058k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1453.85/1454.43 c 1339s| 6680k| 121 | 3836 | 0.0 |6777k| 177 | - | 528 |1821 | 0 | 0 | 116 |1060k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1457.15/1457.72 c 1342s| 6690k| 118 | 3836 | 0.0 |6780k| 177 | - | 528 |1821 | 0 | 0 | 116 |1063k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1459.86/1460.41 c 1344s| 6700k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1821 | 0 | 0 | 116 |1066k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1462.36/1462.97 c 1347s| 6710k| 116 | 3836 | 0.0 |6777k| 177 | - | 528 |1822 | 0 | 0 | 116 |1068k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1465.65/1466.28 c 1350s| 6720k| 119 | 3836 | 0.0 |6782k| 177 | - | 528 |1823 | 0 | 0 | 116 |1072k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1468.45/1469.04 c 1352s| 6730k| 117 | 3836 | 0.0 |6776k| 177 | - | 528 |1822 | 0 | 0 | 116 |1075k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1470.85/1471.44 c 1355s| 6740k| 115 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1077k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1473.46/1474.08 c 1357s| 6750k| 116 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1079k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1475.74/1476.33 c 1359s| 6760k| 119 | 3836 | 0.0 |6779k| 177 | - | 528 |1823 | 0 | 0 | 116 |1081k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1477.95/1478.57 c 1361s| 6770k| 118 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1083k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1480.15/1480.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1480.15/1480.74 c 1363s| 6780k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1084k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1482.64/1483.26 c 1366s| 6790k| 118 | 3836 | 0.0 |6776k| 177 | - | 528 |1823 | 0 | 0 | 116 |1087k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1484.95/1485.52 c 1368s| 6800k| 115 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1088k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1486.65/1487.23 c 1369s| 6810k| 115 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1089k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1488.24/1488.81 c 1371s| 6820k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1089k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1490.14/1490.77 c 1373s| 6830k| 115 | 3836 | 0.0 |6776k| 177 | - | 528 |1823 | 0 | 0 | 116 |1091k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1492.24/1492.89 c 1374s| 6840k| 115 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1092k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1494.54/1495.13 c 1377s| 6850k| 119 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1094k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1497.55/1498.14 c 1379s| 6860k| 114 | 3836 | 0.0 |6776k| 177 | - | 528 |1823 | 0 | 0 | 116 |1097k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1500.04/1500.61 c 1382s| 6870k| 118 | 3836 | 0.0 |6781k| 177 | - | 528 |1823 | 0 | 0 | 116 |1099k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1502.43/1503.03 c 1384s| 6880k| 114 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1101k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1505.64/1506.27 c 1387s| 6890k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1105k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1508.83/1509.49 c 1390s| 6900k| 116 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1109k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1511.84/1512.46 c 1393s| 6910k| 116 | 3836 | 0.0 |6780k| 177 | - | 528 |1823 | 0 | 0 | 116 |1112k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1513.93/1514.55 c 1395s| 6920k| 117 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1114k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1515.93/1516.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1515.93/1516.53 c 1396s| 6930k| 120 | 3836 | 0.0 |6779k| 177 | - | 528 |1823 | 0 | 0 | 116 |1115k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1518.03/1518.61 c 1398s| 6940k| 118 | 3836 | 0.0 |6780k| 177 | - | 528 |1823 | 0 | 0 | 116 |1117k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1519.93/1520.51 c 1400s| 6950k| 116 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1118k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1521.83/1522.49 c 1402s| 6960k| 113 | 3836 | 0.0 |6776k| 177 | - | 528 |1823 | 0 | 0 | 116 |1119k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1523.83/1524.48 c 1404s| 6970k| 126 | 3836 | 0.0 |6782k| 177 | - | 528 |1823 | 0 | 0 | 116 |1121k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1525.93/1526.52 c 1406s| 6980k| 121 | 3836 | 0.0 |6779k| 177 | - | 528 |1823 | 0 | 0 | 116 |1122k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1528.13/1528.72 c 1408s| 6990k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1124k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1531.13/1531.72 c 1410s| 7000k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1127k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1533.72/1534.39 c 1413s| 7010k| 117 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1130k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1536.32/1536.91 c 1415s| 7020k| 123 | 3836 | 0.0 |6780k| 177 | - | 528 |1824 | 0 | 0 | 116 |1132k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1538.83/1539.44 c 1418s| 7030k| 120 | 3836 | 0.0 |6779k| 177 | - | 528 |1823 | 0 | 0 | 116 |1134k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1540.53/1541.12 c 1419s| 7040k| 117 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1135k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1542.73/1543.34 c 1421s| 7050k| 119 | 3836 | 0.0 |6779k| 177 | - | 528 |1825 | 0 | 0 | 116 |1137k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1544.93/1545.54 c 1423s| 7060k| 117 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1138k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1546.82/1547.42 c 1425s| 7070k| 117 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1139k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1549.02/1549.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1549.02/1549.63 c 1427s| 7080k| 122 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1141k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1551.81/1552.45 c 1430s| 7090k| 119 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1144k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1554.41/1555.00 c 1432s| 7100k| 122 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1147k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1557.32/1557.95 c 1435s| 7110k| 116 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1150k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1560.22/1560.80 c 1437s| 7120k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1153k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1561.72/1562.35 c 1439s| 7130k| 120 | 3836 | 0.0 |6779k| 177 | - | 528 |1823 | 0 | 0 | 116 |1153k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1563.32/1563.91 c 1440s| 7140k| 119 | 3836 | 0.0 |6780k| 177 | - | 528 |1823 | 0 | 0 | 116 |1154k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1565.01/1565.62 c 1442s| 7150k| 119 | 3836 | 0.0 |6780k| 177 | - | 528 |1823 | 0 | 0 | 116 |1154k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1566.61/1567.23 c 1443s| 7160k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1155k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1568.81/1569.41 c 1445s| 7170k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1156k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1570.71/1571.37 c 1447s| 7180k| 114 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1157k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1572.72/1573.31 c 1449s| 7190k| 123 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1158k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1575.62/1576.22 c 1451s| 7200k| 117 | 3836 | 0.0 |6777k| 177 | - | 528 |1824 | 0 | 0 | 116 |1162k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1578.41/1579.06 c 1454s| 7210k| 117 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1165k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1581.00/1581.65 c 1456s| 7220k| 117 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1167k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1584.01/1584.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1584.01/1584.66 c 1459s| 7230k| 114 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1171k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1586.10/1586.71 c 1461s| 7240k| 125 | 3836 | 0.0 |6780k| 177 | - | 528 |1823 | 0 | 0 | 116 |1172k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1587.82/1588.43 c 1463s| 7250k| 123 | 3836 | 0.0 |6779k| 177 | - | 528 |1823 | 0 | 0 | 116 |1173k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1589.61/1590.26 c 1464s| 7260k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1174k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1591.40/1592.00 c 1466s| 7270k| 115 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1175k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1593.71/1594.32 c 1468s| 7280k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1177k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1596.20/1596.81 c 1470s| 7290k| 117 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1180k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1598.90/1599.50 c 1473s| 7300k| 121 | 3836 | 0.0 |6780k| 177 | - | 528 |1824 | 0 | 0 | 116 |1182k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1601.20/1601.84 c 1475s| 7310k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1184k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1603.00/1603.61 c 1477s| 7320k| 117 | 3836 | 0.0 |6779k| 177 | - | 528 |1823 | 0 | 0 | 116 |1186k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1604.90/1605.57 c 1479s| 7330k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1187k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1607.20/1607.87 c 1481s| 7340k| 119 | 3836 | 0.0 |6779k| 177 | - | 528 |1823 | 0 | 0 | 116 |1189k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1609.20/1609.84 c 1482s| 7350k| 116 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1190k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1611.10/1611.73 c 1484s| 7360k| 117 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1191k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1613.79/1614.46 c 1487s| 7370k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1194k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1616.90/1617.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1616.90/1617.55 c 1490s| 7380k| 117 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1197k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1619.40/1620.01 c 1492s| 7390k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1199k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1622.59/1623.29 c 1495s| 7400k| 114 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1203k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1625.79/1626.45 c 1498s| 7410k| 116 | 3836 | 0.0 |6779k| 177 | - | 528 |1823 | 0 | 0 | 116 |1206k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1628.29/1628.98 c 1500s| 7420k| 119 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1209k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1630.79/1631.43 c 1503s| 7430k| 119 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1211k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1633.19/1633.88 c 1505s| 7440k| 117 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1213k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1635.18/1635.88 c 1507s| 7450k| 119 | 3836 | 0.0 |6779k| 177 | - | 528 |1823 | 0 | 0 | 116 |1214k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1637.38/1638.09 c 1509s| 7460k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1216k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1639.29/1639.93 c 1510s| 7470k| 115 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1218k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1641.60/1642.30 c 1513s| 7480k| 113 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1220k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1644.09/1644.74 c 1515s| 7490k| 121 | 3836 | 0.0 |6779k| 177 | - | 528 |1823 | 0 | 0 | 116 |1222k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1646.39/1647.08 c 1517s| 7500k| 118 | 3836 | 0.0 |6780k| 177 | - | 528 |1823 | 0 | 0 | 116 |1224k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1648.98/1649.67 c 1519s| 7510k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1227k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1651.68/1652.37 c 1522s| 7520k| 115 | 3836 | 0.0 |6779k| 177 | - | 528 |1823 | 0 | 0 | 116 |1229k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1654.58/1655.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1654.58/1655.30 c 1525s| 7530k| 115 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1232k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1657.09/1657.77 c 1527s| 7540k| 115 | 3836 | 0.0 |6784k| 177 | - | 528 |1823 | 0 | 0 | 116 |1235k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1660.29/1660.92 c 1530s| 7550k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1238k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1662.28/1662.97 c 1532s| 7560k| 114 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1239k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1664.58/1665.21 c 1534s| 7570k| 120 | 3836 | 0.0 |6781k| 177 | - | 528 |1823 | 0 | 0 | 116 |1241k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1665.98/1666.67 c 1535s| 7580k| 115 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1241k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1667.98/1668.65 c 1537s| 7590k| 118 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1242k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1669.97/1670.66 c 1539s| 7600k| 122 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1244k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1671.77/1672.45 c 1540s| 7610k| 115 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1244k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1673.58/1674.21 c 1542s| 7620k| 117 | 3836 | 0.0 |6779k| 177 | - | 528 |1823 | 0 | 0 | 116 |1245k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1675.27/1675.90 c 1544s| 7630k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1246k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1676.88/1677.56 c 1545s| 7640k| 122 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1246k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1678.67/1679.35 c 1547s| 7650k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1247k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1680.68/1681.31 c 1549s| 7660k| 116 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1247k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1682.28/1682.96 c 1550s| 7670k| 120 | 3836 | 0.0 |6779k| 177 | - | 528 |1823 | 0 | 0 | 116 |1248k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1684.07/1684.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1684.07/1684.73 c 1552s| 7680k| 116 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1249k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1685.87/1686.54 c 1553s| 7690k| 117 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1249k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1688.07/1688.76 c 1555s| 7700k| 115 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1250k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1689.87/1690.59 c 1557s| 7710k| 117 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1251k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1692.66/1693.37 c 1560s| 7720k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1254k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1694.76/1695.49 c 1562s| 7730k| 120 | 3836 | 0.0 |6779k| 177 | - | 528 |1823 | 0 | 0 | 116 |1256k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1697.56/1698.22 c 1564s| 7740k| 118 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1259k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1700.17/1700.86 c 1567s| 7750k| 119 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1261k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1703.36/1704.04 c 1570s| 7760k| 113 | 3836 | 0.0 |6776k| 177 | - | 528 |1823 | 0 | 0 | 116 |1265k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1706.17/1706.86 c 1572s| 7770k| 120 | 3836 | 0.0 |6781k| 177 | - | 528 |1823 | 0 | 0 | 116 |1268k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1708.96/1709.66 c 1575s| 7780k| 119 | 3836 | 0.0 |6779k| 177 | - | 528 |1823 | 0 | 0 | 116 |1271k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1711.36/1712.08 c 1577s| 7790k| 114 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1273k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1713.46/1714.19 c 1579s| 7800k| 116 | 3836 | 0.0 |6780k| 177 | - | 528 |1823 | 0 | 0 | 116 |1274k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1716.56/1717.20 c 1582s| 7810k| 116 | 3836 | 0.0 |6777k| 177 | - | 528 |1824 | 0 | 0 | 116 |1278k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1719.56/1720.21 c 1585s| 7820k| 118 | 3836 | 0.0 |6779k| 177 | - | 528 |1823 | 0 | 0 | 116 |1281k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1722.05/1722.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1722.05/1722.78 c 1587s| 7830k| 113 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1283k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1724.56/1725.23 c 1589s| 7840k| 117 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1286k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1726.86/1727.54 c 1591s| 7850k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1288k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1729.86/1730.52 c 1594s| 7860k| 117 | 3836 | 0.0 |6779k| 177 | - | 528 |1823 | 0 | 0 | 116 |1291k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1733.16/1733.82 c 1597s| 7870k| 116 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1295k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1735.85/1736.54 c 1600s| 7880k| 116 | 3836 | 0.0 |6780k| 177 | - | 528 |1823 | 0 | 0 | 116 |1297k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1738.95/1739.63 c 1603s| 7890k| 116 | 3836 | 0.0 |6781k| 177 | - | 528 |1823 | 0 | 0 | 116 |1301k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1741.55/1742.28 c 1605s| 7900k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1304k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1743.95/1744.62 c 1607s| 7910k| 114 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1306k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1746.54/1747.27 c 1610s| 7920k| 115 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1308k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1749.14/1749.83 c 1612s| 7930k| 119 | 3836 | 0.0 |6779k| 177 | - | 528 |1823 | 0 | 0 | 116 |1311k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1751.75/1752.48 c 1615s| 7940k| 119 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1313k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1754.15/1754.88 c 1617s| 7950k| 114 | 3836 | 0.0 |6779k| 177 | - | 528 |1823 | 0 | 0 | 116 |1315k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1756.34/1757.07 c 1619s| 7960k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1317k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1759.14/1759.87 c 1621s| 7970k| 116 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1320k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1761.55/1762.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1761.55/1762.28 c 1624s| 7980k| 116 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1322k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1763.84/1764.54 c 1626s| 7990k| 115 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1324k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1766.54/1767.27 c 1628s| 8000k| 115 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1327k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1769.24/1769.99 c 1631s| 8010k| 121 | 3836 | 0.0 |6780k| 177 | - | 528 |1823 | 0 | 0 | 116 |1330k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1772.24/1772.95 c 1634s| 8020k| 118 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1333k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1774.93/1775.67 c 1636s| 8030k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1336k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1777.83/1778.56 c 1639s| 8040k| 118 | 3836 | 0.0 |6779k| 177 | - | 528 |1823 | 0 | 0 | 116 |1339k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1780.93/1781.66 c 1642s| 8050k| 118 | 3836 | 0.0 |6780k| 177 | - | 528 |1823 | 0 | 0 | 116 |1342k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1783.83/1784.53 c 1644s| 8060k| 121 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1345k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1786.33/1787.06 c 1647s| 8070k| 120 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1348k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1788.33/1789.03 c 1649s| 8080k| 120 | 3836 | 0.0 |6778k| 177 | - | 528 |1823 | 0 | 0 | 116 |1349k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1790.53/1791.24 c 1651s| 8090k| 114 | 3836 | 0.0 |6777k| 177 | - | 528 |1823 | 0 | 0 | 116 |1351k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1793.63/1794.37 c 1654s| 8100k| 125 | 3836 | 0.0 |6779k| 177 | - | 528 |1823 | 0 | 0 | 116 |1354k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1796.73/1797.45 c 1656s| 8110k| 124 | 3836 | 0.0 |6779k| 177 | - | 528 |1823 | 0 | 0 | 116 |1358k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1799.52/1800.24 c 1659s| 8120k| 120 | 3836 | 0.0 |6779k| 177 | - | 528 |1823 | 0 | 0 | 116 |1361k| 30 | 1.638768e+02 | 2.170000e+02 | 32.42%
1800.04/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.71 c
1800.04/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.71 c Solving Time (sec) : 1659.48
1800.04/1800.71 c Solving Nodes : 8121449
1800.04/1800.71 c Primal Bound : +2.17000000000000e+02 (4 solutions)
1800.04/1800.71 c Dual Bound : +1.63876768240999e+02
1800.04/1800.71 c Gap : 32.42 %
1800.04/1800.71 s SATISFIABLE
1800.04/1800.71 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.04/1800.71 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.04/1800.71 v x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 x474 -x473 x472 -x471 -x470 x469 x468 -x467 x466 -x465 -x464 x463 x462 -x461
1800.04/1800.71 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.04/1800.71 v -x437 x436 -x435 -x434 x433 x432 -x431 -x430 x429 -x428 -x427 x426 -x425 x424 -x423 -x422 -x421 -x420 x419 -x418 -x417 -x416
1800.04/1800.71 v -x415 x414 -x413 -x412 -x411 -x410 -x409 x408 -x407 -x406 x405 -x404 -x403 x402 -x401 x400 -x399 -x398 -x397 x396 -x395 -x394
1800.04/1800.71 v x393 x392 -x391 x390 -x389 x388 -x387 -x386 -x385 x384 -x383 -x382 -x381 -x380 -x379 x378 -x377 x376 -x375 -x374 x373 x372
1800.04/1800.71 v -x371 -x370 -x369 -x368 -x367 x366 -x365 x364 -x363 -x362 x361 x360 -x359 x358 -x357 -x356 x355 x354 -x353 x352 -x351 x350
1800.04/1800.71 v -x349 x348 -x347 x346 -x345 x344 -x343 -x342 x341 x340 -x339 x338 -x337 x336 -x335 -x334 x333 -x332 -x331 x330 -x329 x328 -x327
1800.04/1800.71 v -x326 -x325 x324 -x323 -x322 -x321 x320 -x319 x318 -x317 x316 -x315 -x314 x313 x312 -x311 x310 -x309 -x308 x307 x306 -x305
1800.04/1800.71 v x304 -x303 x302 -x301 x300 -x299 x298 -x297 -x296 x295 x294 -x293 x292 -x291 x290 -x289 x288 -x287 -x286 -x285 -x284 -x283
1800.04/1800.71 v x282 -x281 x280 -x279 -x278 x277 x276 -x275 -x274 -x273 -x272 x271 x270 -x269 x268 -x267 -x266 -x265 x264 -x263 -x262 x261 x260
1800.04/1800.71 v -x259 x258 -x257 x256 -x255 -x254 -x253 x252 -x251 -x250 -x249 -x248 x247 x246 -x245 x244 -x243 -x242 -x241 x240 -x239 x238
1800.04/1800.71 v -x237 x236 -x235 -x234 x233 x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 x220 -x219 -x218 x217 x216
1800.04/1800.71 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.04/1800.71 v -x192 x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173 -x172 -x171
1800.04/1800.71 v -x170 x169 -x168 x167 x166 -x165 -x164 x163 x162 -x161 -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149
1800.04/1800.71 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.04/1800.71 v x125 x124 -x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 x110 -x109 -x108 x107 -x106 x105 -x104 x103
1800.04/1800.71 v -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 -x76
1800.04/1800.71 v -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
1800.04/1800.71 v -x49 -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
1800.04/1800.71 v -x22 x21 -x20 x19 -x18 x17 -x16 x15 x14 -x13 x12 -x11 -x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
1800.04/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.71 c Solving Time : 1659.48
1800.04/1800.71 c Original Problem :
1800.04/1800.71 c Problem name : HOME/instance-2665628-1276470283.opb
1800.04/1800.71 c Variables : 528 (528 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.71 c Constraints : 1816 initial, 1816 maximal
1800.04/1800.71 c Presolved Problem :
1800.04/1800.71 c Problem name : t_HOME/instance-2665628-1276470283.opb
1800.04/1800.71 c Variables : 528 (528 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.71 c Constraints : 1804 initial, 1826 maximal
1800.04/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c probing : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.71 c linear : 0.03 0 0 0 0 0 12 0 0
1800.04/1800.71 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.71 c root node : - 0 - - 0 - - - -
1800.04/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.71 c integral : 0 0 0 1 0 0 0 0 0 2
1800.04/1800.71 c logicor : 1804+ 22 12932423 0 4 1361827 18129142 0 0 0
1800.04/1800.71 c countsols : 0 0 0 0 4 0 0 0 0 0
1800.04/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.71 c integral : 1.18 0.00 0.00 1.18 0.00
1800.04/1800.71 c logicor : 574.01 0.00 574.01 0.00 0.00
1800.04/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.71 c vbounds : 10.19 2 0 0
1800.04/1800.71 c rootredcost : 9.60 4 0 0
1800.04/1800.71 c pseudoobj : 611.89 20850848 2937540 52948152
1800.04/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.71 c propagation : 490.53 1361827 1361827 1361827 89.7 71 84.9 -
1800.04/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.71 c pseudo solution : 0.22 1086 0 0 0.0 0 0.0 -
1800.04/1800.71 c applied globally : - - - 481 8.6 - - -
1800.04/1800.71 c applied locally : - - - 1361351 89.7 - - -
1800.04/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.71 c cut pool : 0.02 21 - - 408 - (maximal pool size: 1492)
1800.04/1800.71 c redcost : 0.00 22 0 0 0 0
1800.04/1800.71 c impliedbounds : 0.01 22 0 0 0 0
1800.04/1800.71 c intobj : 0.00 0 0 0 0 0
1800.04/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.71 c gomory : 1.91 22 0 0 4281 0
1800.04/1800.71 c strongcg : 1.27 20 0 0 6109 0
1800.04/1800.71 c cmir : 0.17 10 0 0 1 0
1800.04/1800.71 c flowcover : 0.12 10 0 0 2 0
1800.04/1800.71 c clique : 0.01 1 0 0 0 0
1800.04/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.71 c mcf : 0.00 1 0 0 0 0
1800.04/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.71 c Pricers : Time Calls Vars
1800.04/1800.71 c problem variables: 0.00 0 0
1800.04/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.71 c relpscost : 1.18 1 0 0 0 0 2
1800.04/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.71 c inference : 60.76 4478078 0 0 0 0 8956156
1800.04/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.71 c random : 0.00 0 0 0 0 0 0
1800.04/1800.71 c Primal Heuristics : Time Calls Found
1800.04/1800.71 c LP solutions : 0.00 - 0
1800.04/1800.71 c pseudo solutions : 0.00 - 4
1800.04/1800.71 c oneopt : 5.60 0 0
1800.04/1800.71 c crossover : 0.00 0 0
1800.04/1800.71 c trivial : 0.00 2 0
1800.04/1800.71 c simplerounding : 0.00 0 0
1800.04/1800.71 c zirounding : 0.00 1 0
1800.04/1800.71 c rounding : 0.03 23 0
1800.04/1800.71 c shifting : 0.12 23 0
1800.04/1800.71 c intshifting : 0.00 0 0
1800.04/1800.71 c twoopt : 0.00 0 0
1800.04/1800.71 c fixandinfer : 0.00 0 0
1800.04/1800.71 c feaspump : 0.01 1 0
1800.04/1800.71 c coefdiving : 0.00 0 0
1800.04/1800.71 c pscostdiving : 0.00 0 0
1800.04/1800.71 c fracdiving : 0.00 0 0
1800.04/1800.71 c veclendiving : 0.00 0 0
1800.04/1800.71 c intdiving : 0.00 0 0
1800.04/1800.71 c actconsdiving : 0.00 0 0
1800.04/1800.71 c objpscostdiving : 0.00 0 0
1800.04/1800.71 c rootsoldiving : 0.00 0 0
1800.04/1800.71 c linesearchdiving : 0.00 0 0
1800.04/1800.71 c guideddiving : 0.00 0 0
1800.04/1800.71 c octane : 0.00 0 0
1800.04/1800.71 c rens : 0.01 0 0
1800.04/1800.71 c rins : 0.00 0 0
1800.04/1800.71 c localbranching : 0.00 0 0
1800.04/1800.71 c mutation : 0.00 0 0
1800.04/1800.71 c dins : 0.00 0 0
1800.04/1800.71 c undercover : 0.00 0 0
1800.04/1800.71 c nlp : 3.69 0 0
1800.04/1800.71 c trysol : 3.98 0 0
1800.04/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.71 c dual LP : 0.61 23 3836 166.78 6288.52
1800.04/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.71 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.71 c strong branching : 1.18 30 5924 197.47 5020.34
1800.04/1800.71 c (at root node) : - 30 5924 197.47 -
1800.04/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.71 c B&B Tree :
1800.04/1800.71 c number of runs : 1
1800.04/1800.71 c nodes : 8121449
1800.04/1800.71 c nodes (total) : 8121449
1800.04/1800.71 c nodes left : 121
1800.04/1800.71 c max depth : 177
1800.04/1800.71 c max depth (total): 177
1800.04/1800.71 c backtracks : 2454141 (30.2%)
1800.04/1800.71 c delayed cutoffs : 834504
1800.04/1800.71 c repropagations : 1096623 (12500948 domain reductions, 657087 cutoffs)
1800.04/1800.71 c avg switch length: 2.04
1800.04/1800.71 c switching time : 128.18
1800.04/1800.71 c Solution :
1800.04/1800.71 c Solutions found : 4 (4 improvements)
1800.04/1800.71 c First Solution : +2.38000000000000e+02 (in run 1, after 236 nodes, 5.67 seconds, depth 148, found by <relaxation>)
1800.04/1800.71 c Primal Bound : +2.17000000000000e+02 (in run 1, after 2154616 nodes, 403.53 seconds, depth 177, found by <relaxation>)
1800.04/1800.71 c Dual Bound : +1.63876768240999e+02
1800.04/1800.71 c Gap : 32.42 %
1800.04/1800.71 c Root Dual Bound : +1.63437108475992e+02
1800.04/1800.71 c Root Iterations : 3836
1800.04/1800.73 c Time complete: 1800.06.