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-2665593-1276428843.opb>
0.09/0.11 c original problem has 808 variables (808 bin, 0 int, 0 impl, 0 cont) and 5557 constraints
0.09/0.11 c problem read
0.09/0.11 c presolving settings loaded
0.09/0.14 c presolving:
0.19/0.24 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5409 upgd conss, 39720 impls, 0 clqs
0.19/0.27 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5557 upgd conss, 39720 impls, 0 clqs
0.29/0.34 c (0.2s) probing: 101/808 (12.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.34 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.29/0.34 c presolving (3 rounds):
0.29/0.34 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.34 c 39720 implications, 0 cliques
0.29/0.34 c presolved problem has 808 variables (808 bin, 0 int, 0 impl, 0 cont) and 5557 constraints
0.29/0.34 c 5557 constraints of type <logicor>
0.29/0.34 c transformed objective value is always integral (scale: 1)
0.29/0.34 c Presolving Time: 0.19
0.29/0.34 c - non default parameters ----------------------------------------------------------------------
0.29/0.34 c # SCIP version 1.2.1.2
0.29/0.34 c
0.29/0.34 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.29/0.34 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.34 c conflict/interconss = 0
0.29/0.34 c
0.29/0.34 c # should binary conflicts be preferred?
0.29/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34 c conflict/preferbinary = TRUE
0.29/0.34 c
0.29/0.34 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.29/0.34 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.34 c constraints/agelimit = 1
0.29/0.34 c
0.29/0.34 c # should enforcement of pseudo solution be disabled?
0.29/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34 c constraints/disableenfops = TRUE
0.29/0.34 c
0.29/0.34 c # frequency for displaying node information lines
0.29/0.34 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.34 c display/freq = 10000
0.29/0.34 c
0.29/0.34 c # maximal time in seconds to run
0.29/0.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.34 c limits/time = 1799.9
0.29/0.34 c
0.29/0.34 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.34 c limits/memory = 1620
0.29/0.34 c
0.29/0.34 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.29/0.34 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.34 c lp/solvefreq = 0
0.29/0.34 c
0.29/0.34 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.29/0.34 c # [type: char, range: {lafpsqd}, default: l]
0.29/0.34 c lp/pricing = a
0.29/0.34 c
0.29/0.34 c # should presolving try to simplify inequalities
0.29/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34 c constraints/linear/simplifyinequalities = TRUE
0.29/0.34 c
0.29/0.34 c # should presolving try to simplify knapsacks
0.29/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.34 c
0.29/0.34 c # priority of node selection rule <dfs> in standard mode
0.29/0.34 c # [type: int, range: [-536870912,536870911], default: 0]
0.29/0.34 c nodeselection/dfs/stdpriority = 1000000
0.29/0.34 c
0.29/0.35 c -----------------------------------------------------------------------------------------------
0.29/0.35 c start solving
0.29/0.35 c
0.39/0.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.47 c 0.3s| 1 | 0 | 848 | - |9720k| 0 | 602 | 808 |5557 | 808 |5557 | 0 | 0 | 0 | 2.469383e+02 | -- | Inf
0.69/0.79 c 0.6s| 1 | 0 | 1032 | - | 10M| 0 | 483 | 808 |5557 | 808 |5572 | 15 | 0 | 0 | 2.525000e+02 | -- | Inf
0.89/0.96 c 0.8s| 1 | 0 | 1086 | - | 10M| 0 | 479 | 808 |5557 | 808 |5580 | 23 | 0 | 0 | 2.545000e+02 | -- | Inf
1.19/1.27 c 1.1s| 1 | 0 | 1162 | - | 10M| 0 | 477 | 808 |5557 | 808 |5587 | 30 | 0 | 0 | 2.555000e+02 | -- | Inf
1.59/1.63 c 1.4s| 1 | 0 | 1188 | - | 10M| 0 | 474 | 808 |5557 | 808 |5594 | 37 | 0 | 0 | 2.570000e+02 | -- | Inf
1.79/1.83 c 1.6s| 1 | 0 | 1236 | - | 10M| 0 | 473 | 808 |5557 | 808 |5603 | 46 | 0 | 0 | 2.580000e+02 | -- | Inf
2.10/2.16 c 1.9s| 1 | 0 | 1318 | - | 10M| 0 | 470 | 808 |5557 | 808 |5610 | 53 | 0 | 0 | 2.590000e+02 | -- | Inf
2.39/2.49 c 2.3s| 1 | 0 | 1464 | - | 10M| 0 | 465 | 808 |5557 | 808 |5620 | 63 | 0 | 0 | 2.615000e+02 | -- | Inf
2.99/3.07 c 2.8s| 1 | 0 | 1663 | - | 10M| 0 | 495 | 808 |5557 | 808 |5629 | 72 | 0 | 0 | 2.625178e+02 | -- | Inf
3.29/3.36 c 3.1s| 1 | 0 | 1799 | - | 10M| 0 | 459 | 808 |5557 | 808 |5638 | 81 | 0 | 0 | 2.645000e+02 | -- | Inf
3.59/3.64 c 3.4s| 1 | 0 | 1839 | - | 10M| 0 | 458 | 808 |5557 | 808 |5646 | 89 | 0 | 0 | 2.650000e+02 | -- | Inf
3.99/4.07 c 3.8s| 1 | 0 | 2158 | - | 10M| 0 | 461 | 808 |5557 | 808 |5652 | 95 | 0 | 0 | 2.652500e+02 | -- | Inf
4.59/4.61 c 4.3s| 1 | 0 | 2596 | - | 10M| 0 | 467 | 808 |5557 | 808 |5660 | 103 | 0 | 0 | 2.665000e+02 | -- | Inf
5.09/5.12 c 4.8s| 1 | 0 | 2840 | - | 11M| 0 | 485 | 808 |5557 | 808 |5668 | 111 | 0 | 0 | 2.680000e+02 | -- | Inf
6.29/6.35 c 6.1s| 1 | 0 | 3184 | - | 11M| 0 | 488 | 808 |5557 | 808 |5671 | 114 | 0 | 0 | 2.680000e+02 | -- | Inf
6.89/6.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.89/6.97 c 6.7s| 1 | 0 | 3362 | - | 11M| 0 | 463 | 808 |5557 | 808 |5674 | 117 | 0 | 0 | 2.680000e+02 | -- | Inf
8.09/8.10 c 7.8s| 1 | 0 | 3680 | - | 11M| 0 | 468 | 808 |5557 | 808 |5679 | 122 | 0 | 0 | 2.680000e+02 | -- | Inf
8.99/9.04 c 8.7s| 1 | 0 | 4048 | - | 11M| 0 | 466 | 808 |5557 | 808 |5658 | 129 | 0 | 0 | 2.680000e+02 | -- | Inf
9.99/10.03 c 9.7s| 1 | 0 | 4291 | - | 11M| 0 | 466 | 808 |5557 | 808 |5660 | 131 | 0 | 0 | 2.680000e+02 | -- | Inf
18.09/18.14 c 17.7s| 1 | 2 | 4291 | - | 11M| 0 | 466 | 808 |5557 | 808 |5660 | 131 | 0 | 18 | 2.680000e+02 | -- | Inf
20.79/20.80 o 395
20.79/20.80 c *20.2s| 2101 | 30 | 4291 | 0.0 | 12M| 68 | - | 808 |5602 | 0 | 0 | 131 |1621 | 18 | 2.680000e+02 | 3.950000e+02 | 47.39%
20.79/20.80 o 394
20.79/20.80 c *20.2s| 2121 | 29 | 4291 | 0.0 | 12M| 68 | - | 808 |5603 | 0 | 0 | 131 |1622 | 18 | 2.680000e+02 | 3.940000e+02 | 47.01%
22.88/22.99 o 392
22.88/22.99 c *22.3s| 4045 | 37 | 4291 | 0.0 | 12M| 68 | - | 808 |5578 | 0 | 0 | 131 |2953 | 18 | 2.680000e+02 | 3.920000e+02 | 46.27%
27.49/27.58 c 26.7s| 10000 | 23 | 4291 | 0.0 | 12M| 68 | - | 808 |5622 | 0 | 0 | 131 |5538 | 18 | 2.680000e+02 | 3.920000e+02 | 46.27%
30.79/30.87 o 391
30.79/30.87 c *29.8s| 18772 | 35 | 4291 | 0.0 | 12M| 68 | - | 808 |5575 | 0 | 0 | 131 |7012 | 18 | 2.680000e+02 | 3.910000e+02 | 45.90%
31.18/31.29 c 30.2s| 20000 | 32 | 4291 | 0.0 | 12M| 68 | - | 808 |5577 | 0 | 0 | 131 |7211 | 18 | 2.680000e+02 | 3.910000e+02 | 45.90%
34.48/34.50 o 390
34.48/34.50 c *33.2s| 29006 | 35 | 4291 | 0.0 | 12M| 68 | - | 808 |5612 | 0 | 0 | 131 |8749 | 18 | 2.680000e+02 | 3.900000e+02 | 45.52%
34.78/34.85 c 33.6s| 30000 | 28 | 4291 | 0.0 | 12M| 68 | - | 808 |5620 | 0 | 0 | 131 |8940 | 18 | 2.680000e+02 | 3.900000e+02 | 45.52%
39.08/39.15 c 37.6s| 40000 | 31 | 4291 | 0.0 | 12M| 68 | - | 808 |5596 | 0 | 0 | 131 | 11k| 18 | 2.680000e+02 | 3.900000e+02 | 45.52%
39.38/39.46 o 385
39.38/39.46 c *37.9s| 40689 | 45 | 4291 | 0.0 | 12M| 68 | - | 808 |5575 | 0 | 0 | 131 | 11k| 18 | 2.680000e+02 | 3.850000e+02 | 43.66%
39.38/39.49 o 384
39.38/39.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.38/39.49 c *38.0s| 40799 | 44 | 4291 | 0.0 | 12M| 68 | - | 808 |5575 | 0 | 0 | 131 | 11k| 18 | 2.680000e+02 | 3.840000e+02 | 43.28%
42.67/42.72 c 41.0s| 50000 | 25 | 4291 | 0.0 | 12M| 68 | - | 808 |5595 | 0 | 0 | 131 | 13k| 18 | 2.680000e+02 | 3.840000e+02 | 43.28%
46.78/46.83 c 44.9s| 60000 | 33 | 4291 | 0.0 | 12M| 68 | - | 808 |5626 | 0 | 0 | 131 | 15k| 18 | 2.680000e+02 | 3.840000e+02 | 43.28%
51.08/51.12 c 49.0s| 70000 | 31 | 4291 | 0.0 | 12M| 68 | - | 808 |5596 | 0 | 0 | 131 | 17k| 18 | 2.680000e+02 | 3.840000e+02 | 43.28%
55.28/55.39 c 53.0s| 80000 | 30 | 4291 | 0.0 | 12M| 68 | - | 808 |5618 | 0 | 0 | 131 | 19k| 18 | 2.680000e+02 | 3.840000e+02 | 43.28%
59.88/59.97 c 57.3s| 90000 | 30 | 4291 | 0.0 | 12M| 68 | - | 808 |5600 | 0 | 0 | 131 | 21k| 18 | 2.680000e+02 | 3.840000e+02 | 43.28%
66.57/66.61 c 63.7s|100000 | 26 | 4291 | 0.0 | 12M| 68 | - | 808 |5611 | 0 | 0 | 131 | 25k| 18 | 2.680000e+02 | 3.840000e+02 | 43.28%
70.47/70.56 c 67.4s|110000 | 26 | 4291 | 0.0 | 12M| 68 | - | 808 |5672 | 0 | 0 | 131 | 27k| 18 | 2.680000e+02 | 3.840000e+02 | 43.28%
75.67/75.70 c 72.3s|120000 | 30 | 4291 | 0.0 | 12M| 68 | - | 808 |5577 | 0 | 0 | 131 | 29k| 18 | 2.680000e+02 | 3.840000e+02 | 43.28%
79.37/79.44 c 75.9s|130000 | 30 | 4291 | 0.0 | 12M| 68 | - | 808 |5627 | 0 | 0 | 131 | 31k| 18 | 2.680000e+02 | 3.840000e+02 | 43.28%
84.06/84.11 c 80.3s|140000 | 27 | 4291 | 0.0 | 12M| 68 | - | 808 |5621 | 0 | 0 | 131 | 34k| 18 | 2.680000e+02 | 3.840000e+02 | 43.28%
86.97/87.00 o 374
86.97/87.00 c *83.0s|145733 | 83 | 4291 | 0.0 | 12M| 91 | - | 808 |5596 | 0 | 0 | 131 | 35k| 18 | 2.680000e+02 | 3.740000e+02 | 39.55%
86.97/87.00 o 373
86.97/87.00 c *83.0s|145740 | 84 | 4291 | 0.0 | 12M| 91 | - | 808 |5597 | 0 | 0 | 131 | 35k| 18 | 2.680000e+02 | 3.730000e+02 | 39.18%
88.46/88.50 c 84.5s|150000 | 56 | 4291 | 0.0 | 12M| 91 | - | 808 |5597 | 0 | 0 | 131 | 36k| 18 | 2.680000e+02 | 3.730000e+02 | 39.18%
92.17/92.20 c 88.0s|160000 | 50 | 4291 | 0.0 | 12M| 91 | - | 808 |5598 | 0 | 0 | 131 | 38k| 18 | 2.680000e+02 | 3.730000e+02 | 39.18%
92.57/92.64 o 372
92.57/92.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.57/92.64 c *88.4s|161187 | 39 | 4291 | 0.0 | 12M| 91 | - | 808 |5599 | 0 | 0 | 131 | 38k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
95.86/95.93 c 91.6s|170000 | 27 | 4291 | 0.0 | 12M| 91 | - | 808 |5639 | 0 | 0 | 131 | 40k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
100.27/100.37 c 95.8s|180000 | 32 | 4291 | 0.0 | 12M| 91 | - | 808 |5797 | 0 | 0 | 131 | 42k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
104.56/104.60 c 99.8s|190000 | 24 | 4291 | 0.0 | 12M| 91 | - | 808 |5898 | 0 | 0 | 131 | 44k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
111.45/111.50 c 106s|200000 | 29 | 4291 | 0.0 | 12M| 91 | - | 808 |5714 | 0 | 0 | 131 | 47k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
116.06/116.12 c 111s|210000 | 26 | 4291 | 0.0 | 12M| 91 | - | 808 |5836 | 0 | 0 | 131 | 50k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
120.36/120.47 c 115s|220000 | 27 | 4291 | 0.0 | 12M| 91 | - | 808 |5913 | 0 | 0 | 131 | 51k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
124.16/124.30 c 118s|230000 | 40 | 4291 | 0.0 | 12M| 95 | - | 808 |5923 | 0 | 0 | 131 | 53k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
127.85/127.97 c 122s|240000 | 26 | 4291 | 0.0 | 12M| 95 | - | 808 |5939 | 0 | 0 | 131 | 54k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
131.45/131.56 c 125s|250000 | 28 | 4291 | 0.0 | 12M| 96 | - | 808 |5950 | 0 | 0 | 131 | 56k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
135.16/135.30 c 129s|260000 | 22 | 4291 | 0.0 | 12M| 96 | - | 808 |5994 | 0 | 0 | 131 | 57k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
139.05/139.12 c 132s|270000 | 22 | 4291 | 0.0 | 12M| 96 | - | 808 |5583 | 0 | 0 | 131 | 59k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
148.84/148.99 c 142s|280000 | 21 | 4291 | 0.0 | 12M| 96 | - | 808 |5607 | 0 | 0 | 131 | 64k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
160.44/160.58 c 153s|290000 | 20 | 4291 | 0.0 | 12M| 96 | - | 808 |5608 | 0 | 0 | 131 | 72k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
171.84/171.97 c 164s|300000 | 18 | 4291 | 0.0 | 12M| 96 | - | 808 |5620 | 0 | 0 | 131 | 79k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
178.54/178.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.54/178.61 c 170s|310000 | 36 | 4291 | 0.0 | 12M| 96 | - | 808 |5640 | 0 | 0 | 131 | 82k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
182.23/182.30 c 174s|320000 | 19 | 4291 | 0.0 | 12M| 96 | - | 808 |5661 | 0 | 0 | 131 | 84k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
186.04/186.17 c 177s|330000 | 19 | 4291 | 0.0 | 12M| 96 | - | 808 |5644 | 0 | 0 | 131 | 85k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
190.43/190.50 c 181s|340000 | 18 | 4291 | 0.0 | 12M| 96 | - | 808 |5663 | 0 | 0 | 131 | 87k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
195.83/195.93 c 187s|350000 | 24 | 4291 | 0.0 | 12M| 96 | - | 808 |5576 | 0 | 0 | 131 | 89k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
204.93/205.05 c 195s|360000 | 20 | 4291 | 0.0 | 12M| 96 | - | 808 |5615 | 0 | 0 | 131 | 95k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
213.13/213.21 c 203s|370000 | 20 | 4291 | 0.0 | 12M| 96 | - | 808 |5622 | 0 | 0 | 131 | 100k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
219.03/219.16 c 209s|380000 | 39 | 4291 | 0.0 | 12M| 96 | - | 808 |5623 | 0 | 0 | 131 | 103k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
222.82/222.91 c 212s|390000 | 19 | 4291 | 0.0 | 12M| 96 | - | 808 |5635 | 0 | 0 | 131 | 105k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
226.82/226.98 c 216s|400000 | 22 | 4291 | 0.0 | 12M| 96 | - | 808 |5657 | 0 | 0 | 131 | 106k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
230.52/230.65 c 220s|410000 | 18 | 4291 | 0.0 | 12M| 96 | - | 808 |5699 | 0 | 0 | 131 | 108k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
234.02/234.10 c 223s|420000 | 16 | 4291 | 0.0 | 12M| 96 | - | 808 |5691 | 0 | 0 | 131 | 109k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
241.82/241.91 c 230s|430000 | 17 | 4291 | 0.0 | 12M| 96 | - | 808 |5626 | 0 | 0 | 131 | 113k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
245.02/245.11 c 233s|440000 | 27 | 4291 | 0.0 | 12M| 96 | - | 808 |5595 | 0 | 0 | 131 | 115k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
248.21/248.39 c 237s|450000 | 25 | 4291 | 0.0 | 12M| 96 | - | 808 |5621 | 0 | 0 | 131 | 116k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
251.72/251.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
251.72/251.86 c 240s|460000 | 20 | 4291 | 0.0 | 12M| 96 | - | 808 |5613 | 0 | 0 | 131 | 117k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
255.02/255.18 c 243s|470000 | 37 | 4291 | 0.0 | 12M| 96 | - | 808 |5618 | 0 | 0 | 131 | 119k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
258.51/258.65 c 246s|480000 | 23 | 4291 | 0.0 | 12M| 96 | - | 808 |5597 | 0 | 0 | 131 | 120k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
262.01/262.16 c 250s|490000 | 24 | 4291 | 0.0 | 12M| 96 | - | 808 |5626 | 0 | 0 | 131 | 122k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
265.71/265.81 c 253s|500000 | 19 | 4291 | 0.0 | 12M| 96 | - | 808 |5660 | 0 | 0 | 131 | 123k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
269.61/269.74 c 257s|510000 | 25 | 4291 | 0.0 | 12M| 96 | - | 808 |5617 | 0 | 0 | 131 | 125k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
273.31/273.45 c 260s|520000 | 22 | 4291 | 0.0 | 12M| 96 | - | 808 |5643 | 0 | 0 | 131 | 127k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
277.11/277.27 c 264s|530000 | 19 | 4291 | 0.0 | 12M| 96 | - | 808 |5629 | 0 | 0 | 131 | 128k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
281.70/281.84 c 268s|540000 | 19 | 4291 | 0.0 | 12M| 96 | - | 808 |5611 | 0 | 0 | 131 | 130k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
286.11/286.28 c 272s|550000 | 35 | 4291 | 0.0 | 12M| 96 | - | 808 |5636 | 0 | 0 | 131 | 133k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
289.91/290.04 c 276s|560000 | 24 | 4291 | 0.0 | 12M| 96 | - | 808 |5638 | 0 | 0 | 131 | 134k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
293.80/293.91 c 280s|570000 | 20 | 4291 | 0.0 | 12M| 96 | - | 808 |5659 | 0 | 0 | 131 | 136k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
297.80/297.93 c 283s|580000 | 19 | 4291 | 0.0 | 12M| 96 | - | 808 |5633 | 0 | 0 | 131 | 138k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
302.41/302.53 c 288s|590000 | 24 | 4291 | 0.0 | 12M| 96 | - | 808 |5677 | 0 | 0 | 131 | 140k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
306.49/306.68 c 292s|600000 | 19 | 4291 | 0.0 | 12M| 96 | - | 808 |5706 | 0 | 0 | 131 | 141k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
311.70/311.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
311.70/311.85 c 297s|610000 | 19 | 4291 | 0.0 | 12M| 96 | - | 808 |5628 | 0 | 0 | 131 | 144k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
317.10/317.22 c 302s|620000 | 20 | 4291 | 0.0 | 12M| 96 | - | 808 |5644 | 0 | 0 | 131 | 146k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
324.89/325.01 c 309s|630000 | 20 | 4291 | 0.0 | 12M| 96 | - | 808 |5638 | 0 | 0 | 131 | 150k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
328.80/328.91 c 313s|640000 | 26 | 4291 | 0.0 | 12M| 96 | - | 808 |5663 | 0 | 0 | 131 | 152k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
332.28/332.42 c 316s|650000 | 18 | 4291 | 0.0 | 12M| 96 | - | 808 |5670 | 0 | 0 | 131 | 153k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
336.40/336.60 c 320s|660000 | 19 | 4291 | 0.0 | 12M| 96 | - | 808 |5633 | 0 | 0 | 131 | 155k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
340.38/340.55 c 324s|670000 | 21 | 4291 | 0.0 | 12M| 96 | - | 808 |5650 | 0 | 0 | 131 | 156k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
344.68/344.81 c 328s|680000 | 25 | 4291 | 0.0 | 12M| 96 | - | 808 |5649 | 0 | 0 | 131 | 158k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
348.29/348.45 c 331s|690000 | 22 | 4291 | 0.0 | 12M| 96 | - | 808 |5668 | 0 | 0 | 131 | 160k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
351.89/352.03 c 335s|700000 | 18 | 4291 | 0.0 | 12M| 96 | - | 808 |5647 | 0 | 0 | 131 | 161k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
356.58/356.74 c 339s|710000 | 21 | 4291 | 0.0 | 12M| 96 | - | 808 |5764 | 0 | 0 | 131 | 163k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
360.38/360.51 c 343s|720000 | 33 | 4291 | 0.0 | 12M| 96 | - | 808 |5757 | 0 | 0 | 131 | 165k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
364.08/364.22 c 346s|730000 | 19 | 4291 | 0.0 | 12M| 96 | - | 808 |5764 | 0 | 0 | 131 | 166k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
367.77/367.93 c 350s|740000 | 19 | 4291 | 0.0 | 12M| 96 | - | 808 |5807 | 0 | 0 | 131 | 168k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
371.28/371.45 c 353s|750000 | 20 | 4291 | 0.0 | 12M| 96 | - | 808 |5819 | 0 | 0 | 131 | 169k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
375.48/375.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
375.48/375.61 c 357s|760000 | 34 | 4291 | 0.0 | 12M| 96 | - | 808 |5816 | 0 | 0 | 131 | 171k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
379.07/379.21 c 361s|770000 | 24 | 4291 | 0.0 | 12M| 96 | - | 808 |5818 | 0 | 0 | 131 | 172k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
382.38/382.54 c 364s|780000 | 30 | 4291 | 0.0 | 12M| 96 | - | 808 |5816 | 0 | 0 | 131 | 174k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
385.88/386.01 c 367s|790000 | 20 | 4291 | 0.0 | 12M| 96 | - | 808 |5829 | 0 | 0 | 131 | 175k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
389.48/389.64 c 371s|800000 | 23 | 4291 | 0.0 | 12M| 96 | - | 808 |5844 | 0 | 0 | 131 | 176k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
393.07/393.27 c 374s|810000 | 21 | 4291 | 0.0 | 12M| 96 | - | 808 |5838 | 0 | 0 | 131 | 178k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
396.77/396.92 c 378s|820000 | 20 | 4291 | 0.0 | 12M| 96 | - | 808 |5838 | 0 | 0 | 131 | 179k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
400.37/400.55 c 381s|830000 | 21 | 4291 | 0.0 | 12M| 96 | - | 808 |5857 | 0 | 0 | 131 | 181k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
404.06/404.24 c 384s|840000 | 20 | 4291 | 0.0 | 12M| 96 | - | 808 |5882 | 0 | 0 | 131 | 182k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
407.67/407.83 c 388s|850000 | 20 | 4291 | 0.0 | 12M| 96 | - | 808 |5847 | 0 | 0 | 131 | 183k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
411.17/411.34 c 391s|860000 | 21 | 4291 | 0.0 | 12M| 96 | - | 808 |5868 | 0 | 0 | 131 | 185k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
414.77/414.99 c 395s|870000 | 18 | 4291 | 0.0 | 12M| 96 | - | 808 |5880 | 0 | 0 | 131 | 186k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
418.36/418.53 c 398s|880000 | 20 | 4291 | 0.0 | 12M| 96 | - | 808 |5900 | 0 | 0 | 131 | 187k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
421.97/422.15 c 401s|890000 | 29 | 4291 | 0.0 | 12M| 96 | - | 808 |5845 | 0 | 0 | 131 | 189k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
425.36/425.56 c 405s|900000 | 19 | 4291 | 0.0 | 12M| 96 | - | 808 |5844 | 0 | 0 | 131 | 190k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
428.87/429.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
428.87/429.04 c 408s|910000 | 36 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 192k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
432.46/432.60 c 411s|920000 | 57 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 193k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
435.66/435.87 c 415s|930000 | 55 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 195k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
438.96/439.14 c 418s|940000 | 50 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 196k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
442.36/442.53 c 421s|950000 | 51 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 198k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
445.66/445.82 c 424s|960000 | 57 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 199k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
448.95/449.13 c 427s|970000 | 50 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 201k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
452.25/452.45 c 430s|980000 | 51 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 203k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
455.85/456.05 c 434s|990000 | 56 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 204k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
459.35/459.53 c 437s| 1000k| 56 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 206k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
462.86/463.09 c 441s| 1010k| 52 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 208k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
466.45/466.63 c 444s| 1020k| 49 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 209k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
469.95/470.15 c 447s| 1030k| 46 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 211k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
474.54/474.71 c 452s| 1040k| 48 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 213k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
478.14/478.35 c 455s| 1050k| 50 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 215k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
481.55/481.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
481.55/481.72 c 458s| 1060k| 52 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 216k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
484.85/485.07 c 462s| 1070k| 52 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 218k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
488.35/488.50 c 465s| 1080k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 219k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
491.74/491.96 c 468s| 1090k| 56 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 221k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
495.24/495.42 c 472s| 1100k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 223k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
498.64/498.80 c 475s| 1110k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 224k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
502.13/502.39 c 478s| 1120k| 48 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 226k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
505.53/505.71 c 481s| 1130k| 57 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 228k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
508.94/509.12 c 485s| 1140k| 45 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 229k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
512.34/512.56 c 488s| 1150k| 55 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 231k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
515.94/516.14 c 491s| 1160k| 48 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 232k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
519.43/519.63 c 495s| 1170k| 45 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 234k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
522.54/522.72 c 498s| 1180k| 70 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 236k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
526.13/526.32 c 501s| 1190k| 52 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 237k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
530.13/530.31 c 505s| 1200k| 53 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 239k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
533.72/533.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
533.72/533.93 c 508s| 1210k| 49 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 241k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
537.73/537.91 c 512s| 1220k| 55 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 243k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
541.13/541.33 c 516s| 1230k| 50 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 244k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
544.43/544.62 c 519s| 1240k| 51 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 246k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
547.72/547.98 c 522s| 1250k| 56 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 247k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
551.22/551.49 c 525s| 1260k| 55 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 249k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
554.72/554.98 c 529s| 1270k| 58 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 251k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
558.12/558.30 c 532s| 1280k| 49 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 252k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
561.32/561.57 c 535s| 1290k| 58 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 254k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
565.02/565.27 c 539s| 1300k| 45 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 255k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
568.62/568.85 c 542s| 1310k| 45 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 257k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
572.11/572.34 c 545s| 1320k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 259k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
575.62/575.86 c 549s| 1330k| 50 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 260k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
579.21/579.47 c 552s| 1340k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 262k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
582.82/583.05 c 556s| 1350k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 264k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
586.41/586.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
586.41/586.62 c 559s| 1360k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 265k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
589.81/590.08 c 562s| 1370k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 267k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
593.21/593.47 c 566s| 1380k| 50 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 269k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
596.60/596.89 c 569s| 1390k| 55 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 270k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
600.20/600.43 c 572s| 1400k| 49 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 272k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
603.71/603.91 c 576s| 1410k| 43 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 274k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
607.01/607.27 c 579s| 1420k| 56 | 4291 | 0.0 | 12M| 96 | - | 808 |5842 | 0 | 0 | 131 | 275k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
610.31/610.60 c 582s| 1430k| 53 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 277k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
614.11/614.30 c 586s| 1440k| 49 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 278k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
617.40/617.66 c 589s| 1450k| 51 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 280k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
620.80/621.04 c 592s| 1460k| 50 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 282k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
624.10/624.31 c 595s| 1470k| 62 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 283k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
627.70/627.92 c 599s| 1480k| 61 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 286k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
631.30/631.51 c 602s| 1490k| 60 | 4291 | 0.0 | 12M| 96 | - | 808 |5842 | 0 | 0 | 131 | 288k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
635.00/635.26 c 606s| 1500k| 57 | 4291 | 0.0 | 12M| 96 | - | 808 |5844 | 0 | 0 | 131 | 290k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
638.70/638.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
638.70/638.92 c 609s| 1510k| 59 | 4291 | 0.0 | 12M| 96 | - | 808 |5844 | 0 | 0 | 131 | 292k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
642.40/642.66 c 613s| 1520k| 58 | 4291 | 0.0 | 12M| 96 | - | 808 |5843 | 0 | 0 | 131 | 295k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
647.00/647.20 c 617s| 1530k| 49 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 297k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
650.60/650.87 c 621s| 1540k| 57 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 299k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
653.99/654.26 c 624s| 1550k| 53 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 300k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
657.39/657.66 c 627s| 1560k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 302k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
661.59/661.89 c 631s| 1570k| 50 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 304k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
665.09/665.33 c 634s| 1580k| 61 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 305k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
668.60/668.84 c 638s| 1590k| 46 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 307k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
672.09/672.37 c 641s| 1600k| 60 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 309k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
675.49/675.72 c 644s| 1610k| 50 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 310k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
678.78/679.09 c 648s| 1620k| 52 | 4291 | 0.0 | 12M| 96 | - | 808 |5842 | 0 | 0 | 131 | 312k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
682.28/682.56 c 651s| 1630k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 313k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
685.99/686.29 c 655s| 1640k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 315k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
689.49/689.70 c 658s| 1650k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 317k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
692.79/693.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
692.79/693.08 c 661s| 1660k| 44 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 318k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
696.38/696.60 c 664s| 1670k| 45 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 320k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
699.78/700.04 c 668s| 1680k| 56 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 321k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
703.28/703.54 c 671s| 1690k| 46 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 323k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
706.98/707.20 c 675s| 1700k| 62 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 325k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
710.28/710.54 c 678s| 1710k| 46 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 326k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
713.68/713.94 c 681s| 1720k| 52 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 328k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
717.07/717.33 c 684s| 1730k| 49 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 329k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
720.57/720.86 c 688s| 1740k| 46 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 331k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
724.07/724.34 c 691s| 1750k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 333k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
727.37/727.60 c 694s| 1760k| 65 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 334k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
730.76/731.02 c 697s| 1770k| 55 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 336k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
734.87/735.18 c 701s| 1780k| 49 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 338k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
738.36/738.65 c 705s| 1790k| 49 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 340k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
742.06/742.33 c 708s| 1800k| 45 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 341k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
745.57/745.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
745.57/745.87 c 712s| 1810k| 48 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 343k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
749.16/749.45 c 715s| 1820k| 52 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 345k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
752.66/752.97 c 718s| 1830k| 57 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 346k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
756.36/756.64 c 722s| 1840k| 53 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 348k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
759.86/760.15 c 725s| 1850k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 350k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
763.36/763.60 c 729s| 1860k| 44 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 351k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
766.86/767.13 c 732s| 1870k| 49 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 353k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
770.36/770.69 c 735s| 1880k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 355k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
773.85/774.10 c 739s| 1890k| 50 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 356k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
777.25/777.59 c 742s| 1900k| 67 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 358k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
780.95/781.27 c 746s| 1910k| 56 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 360k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
784.36/784.67 c 749s| 1920k| 46 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 361k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
787.95/788.22 c 752s| 1930k| 45 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 363k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
791.35/791.69 c 756s| 1940k| 57 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 365k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
794.96/795.20 c 759s| 1950k| 48 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 366k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
798.36/798.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
798.36/798.66 c 762s| 1960k| 46 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 368k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
801.95/802.29 c 766s| 1970k| 45 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 369k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
805.45/805.74 c 769s| 1980k| 67 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 371k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
808.84/809.12 c 772s| 1990k| 51 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 373k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
812.24/812.50 c 776s| 2000k| 58 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 374k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
815.74/816.05 c 779s| 2010k| 45 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 376k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
819.25/819.53 c 782s| 2020k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 377k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
822.74/823.03 c 786s| 2030k| 55 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 379k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
825.85/826.13 c 789s| 2040k| 69 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 381k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
828.84/829.12 c 791s| 2050k| 63 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 382k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
832.14/832.41 c 794s| 2060k| 65 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 384k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
835.14/835.48 c 797s| 2070k| 68 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 385k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
838.54/838.83 c 801s| 2080k| 53 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 387k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
842.54/842.85 c 804s| 2090k| 49 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 388k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
846.84/847.11 c 809s| 2100k| 50 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 390k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
851.33/851.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
851.33/851.63 c 813s| 2110k| 63 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 392k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
854.73/855.02 c 816s| 2120k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 394k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
858.14/858.47 c 819s| 2130k| 49 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 395k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
861.53/861.83 c 823s| 2140k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 397k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
864.83/865.18 c 826s| 2150k| 53 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 398k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
868.23/868.54 c 829s| 2160k| 56 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 400k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
872.93/873.24 c 834s| 2170k| 43 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 402k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
877.02/877.31 c 838s| 2180k| 49 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 404k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
880.42/880.71 c 841s| 2190k| 59 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 405k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
883.83/884.14 c 844s| 2200k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 407k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
887.33/887.66 c 847s| 2210k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 408k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
890.82/891.14 c 851s| 2220k| 48 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 410k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
894.22/894.54 c 854s| 2230k| 44 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 412k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
897.72/898.02 c 857s| 2240k| 68 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 413k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
901.22/901.58 c 861s| 2250k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 415k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
904.82/905.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
904.82/905.16 c 864s| 2260k| 51 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 416k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
908.42/908.72 c 868s| 2270k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 418k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
911.82/912.19 c 871s| 2280k| 57 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 420k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
915.22/915.57 c 874s| 2290k| 70 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 421k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
918.81/919.12 c 878s| 2300k| 52 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 423k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
922.01/922.40 c 881s| 2310k| 71 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 424k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
925.51/925.85 c 884s| 2320k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 426k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
929.71/930.05 c 888s| 2330k| 44 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 428k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
933.11/933.45 c 891s| 2340k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 430k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
936.61/936.93 c 895s| 2350k| 51 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 431k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
940.11/940.44 c 898s| 2360k| 45 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 433k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
943.60/943.95 c 901s| 2370k| 53 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 434k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
947.10/947.40 c 905s| 2380k| 44 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 436k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
950.70/951.06 c 908s| 2390k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 438k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
954.30/954.67 c 912s| 2400k| 50 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 439k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
957.71/958.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
957.71/958.10 c 915s| 2410k| 43 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 441k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
961.11/961.49 c 918s| 2420k| 57 | 4291 | 0.0 | 12M| 96 | - | 808 |5842 | 0 | 0 | 131 | 443k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
964.60/964.96 c 921s| 2430k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 444k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
968.19/968.56 c 925s| 2440k| 43 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 446k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
971.70/972.00 c 928s| 2450k| 43 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 447k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
975.10/975.48 c 932s| 2460k| 55 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 449k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
979.09/979.44 c 935s| 2470k| 46 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 451k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
982.70/983.07 c 939s| 2480k| 53 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 452k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
986.19/986.59 c 942s| 2490k| 55 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 454k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
989.80/990.14 c 946s| 2500k| 43 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 456k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
993.19/993.59 c 949s| 2510k| 66 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 457k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
996.69/997.06 c 952s| 2520k| 59 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 459k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1000.38/1000.77 c 956s| 2530k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 460k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1003.78/1004.18 c 959s| 2540k| 55 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 462k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1007.19/1007.60 c 962s| 2550k| 55 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 463k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1010.78/1011.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1010.78/1011.16 c 966s| 2560k| 48 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 465k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1014.29/1014.69 c 969s| 2570k| 52 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 467k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1017.89/1018.22 c 972s| 2580k| 41 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 468k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1021.19/1021.60 c 976s| 2590k| 55 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 470k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1024.89/1025.27 c 979s| 2600k| 50 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 472k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1029.19/1029.57 c 983s| 2610k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 473k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1032.98/1033.32 c 987s| 2620k| 49 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 475k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1036.47/1036.89 c 990s| 2630k| 50 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 477k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1040.08/1040.46 c 994s| 2640k| 46 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 478k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1043.58/1043.95 c 997s| 2650k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 480k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1047.07/1047.48 c 1001s| 2660k| 57 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 481k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1050.57/1050.97 c 1004s| 2670k| 49 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 483k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1054.17/1054.57 c 1007s| 2680k| 48 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 485k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1057.88/1058.21 c 1011s| 2690k| 49 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 486k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1061.37/1061.79 c 1014s| 2700k| 60 | 4291 | 0.0 | 12M| 96 | - | 808 |5846 | 0 | 0 | 131 | 488k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1065.17/1065.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1065.17/1065.55 c 1018s| 2710k| 57 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 490k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1069.27/1069.62 c 1022s| 2720k| 52 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 493k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1072.86/1073.24 c 1025s| 2730k| 44 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 494k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1076.36/1076.78 c 1029s| 2740k| 48 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 496k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1079.97/1080.36 c 1032s| 2750k| 44 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 497k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1083.46/1083.82 c 1035s| 2760k| 50 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 499k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1087.06/1087.41 c 1039s| 2770k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 501k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1090.46/1090.87 c 1042s| 2780k| 49 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 502k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1094.17/1094.57 c 1046s| 2790k| 42 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 504k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1097.76/1098.13 c 1049s| 2800k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 506k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1101.15/1101.59 c 1052s| 2810k| 52 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 507k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1104.66/1105.01 c 1056s| 2820k| 52 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 509k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1108.16/1108.53 c 1059s| 2830k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 511k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1111.55/1111.97 c 1062s| 2840k| 42 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 512k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1114.96/1115.30 c 1066s| 2850k| 53 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 514k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1118.75/1119.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1118.75/1119.19 c 1069s| 2860k| 49 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 515k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1122.25/1122.68 c 1073s| 2870k| 53 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 517k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1126.05/1126.43 c 1076s| 2880k| 51 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 519k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1129.64/1130.07 c 1080s| 2890k| 44 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 520k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1133.35/1133.74 c 1083s| 2900k| 48 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 522k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1136.95/1137.34 c 1087s| 2910k| 63 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 524k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1140.54/1140.96 c 1090s| 2920k| 49 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 525k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1144.14/1144.58 c 1094s| 2930k| 43 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 527k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1147.84/1148.23 c 1097s| 2940k| 50 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 529k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1151.24/1151.68 c 1100s| 2950k| 46 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 530k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1154.93/1155.31 c 1104s| 2960k| 45 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 532k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1158.54/1158.90 c 1107s| 2970k| 63 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 533k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1161.93/1162.36 c 1111s| 2980k| 52 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 535k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1165.73/1166.15 c 1114s| 2990k| 52 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 537k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1169.33/1169.75 c 1118s| 3000k| 51 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 538k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1173.03/1173.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1173.03/1173.42 c 1121s| 3010k| 58 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 540k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1176.83/1177.25 c 1125s| 3020k| 57 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 543k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1180.43/1180.90 c 1128s| 3030k| 48 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 544k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1183.93/1184.33 c 1132s| 3040k| 51 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 546k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1187.33/1187.74 c 1135s| 3050k| 62 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 547k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1190.83/1191.27 c 1138s| 3060k| 61 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 549k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1194.33/1194.75 c 1142s| 3070k| 43 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 550k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1197.82/1198.25 c 1145s| 3080k| 56 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 552k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1201.42/1201.80 c 1148s| 3090k| 46 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 554k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1205.12/1205.51 c 1152s| 3100k| 49 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 555k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1208.72/1209.16 c 1156s| 3110k| 44 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 557k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1212.11/1212.54 c 1159s| 3120k| 67 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 559k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1215.52/1215.90 c 1162s| 3130k| 67 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 561k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1218.92/1219.33 c 1165s| 3140k| 66 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 563k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1222.31/1222.79 c 1169s| 3150k| 65 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 565k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1225.81/1226.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1225.81/1226.22 c 1172s| 3160k| 63 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 567k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1229.51/1229.97 c 1175s| 3170k| 58 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 569k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1233.21/1233.69 c 1179s| 3180k| 60 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 571k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1237.31/1237.76 c 1183s| 3190k| 56 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 574k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1241.70/1242.13 c 1187s| 3200k| 58 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 576k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1246.31/1246.75 c 1192s| 3210k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 578k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1250.32/1250.79 c 1195s| 3220k| 53 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 580k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1254.51/1254.92 c 1199s| 3230k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 582k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1258.70/1259.16 c 1203s| 3240k| 52 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 584k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1263.01/1263.48 c 1208s| 3250k| 46 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 586k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1267.70/1268.13 c 1212s| 3260k| 48 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 588k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1272.50/1272.97 c 1217s| 3270k| 46 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 591k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1276.19/1276.63 c 1220s| 3280k| 60 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 592k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1279.70/1280.17 c 1224s| 3290k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 594k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1283.21/1283.63 c 1227s| 3300k| 62 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 595k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1286.90/1287.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1286.90/1287.39 c 1231s| 3310k| 50 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 598k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1290.69/1291.15 c 1234s| 3320k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 600k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1294.30/1294.71 c 1238s| 3330k| 53 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 602k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1297.89/1298.35 c 1241s| 3340k| 46 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 603k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1301.59/1302.01 c 1245s| 3350k| 51 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 605k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1305.20/1305.61 c 1248s| 3360k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 606k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1308.60/1309.07 c 1251s| 3370k| 62 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 608k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1312.19/1312.63 c 1255s| 3380k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 610k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1315.69/1316.13 c 1258s| 3390k| 52 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 611k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1319.39/1319.80 c 1262s| 3400k| 49 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 613k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1324.19/1324.67 c 1266s| 3410k| 55 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 615k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1327.68/1328.11 c 1270s| 3420k| 49 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 617k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1331.18/1331.62 c 1273s| 3430k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 618k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1334.89/1335.34 c 1277s| 3440k| 46 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 620k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1338.48/1338.98 c 1280s| 3450k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 622k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1342.08/1342.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1342.08/1342.57 c 1284s| 3460k| 45 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 623k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1345.68/1346.12 c 1287s| 3470k| 43 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 625k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1349.29/1349.75 c 1290s| 3480k| 50 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 627k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1352.67/1353.19 c 1294s| 3490k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 628k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1356.27/1356.79 c 1297s| 3500k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 630k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1359.96/1360.45 c 1301s| 3510k| 50 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 632k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1363.58/1364.03 c 1304s| 3520k| 52 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 633k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1367.16/1367.63 c 1308s| 3530k| 53 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 635k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1370.76/1371.24 c 1311s| 3540k| 48 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 637k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1374.26/1374.72 c 1314s| 3550k| 60 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 639k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1378.16/1378.68 c 1318s| 3560k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 640k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1381.66/1382.17 c 1322s| 3570k| 50 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 642k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1385.36/1385.83 c 1325s| 3580k| 46 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 644k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1388.96/1389.40 c 1328s| 3590k| 57 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 645k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1392.55/1393.01 c 1332s| 3600k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 647k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1396.16/1396.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1396.16/1396.64 c 1335s| 3610k| 41 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 649k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1399.76/1400.23 c 1339s| 3620k| 53 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 651k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1403.55/1404.05 c 1343s| 3630k| 56 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 653k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1407.26/1407.73 c 1346s| 3640k| 58 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 655k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1411.15/1411.65 c 1350s| 3650k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 657k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1414.76/1415.23 c 1353s| 3660k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 659k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1418.35/1418.84 c 1357s| 3670k| 46 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 660k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1421.95/1422.42 c 1360s| 3680k| 46 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 662k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1425.54/1426.09 c 1364s| 3690k| 44 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 664k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1428.85/1429.39 c 1367s| 3700k| 68 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 665k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1432.75/1433.23 c 1370s| 3710k| 60 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 668k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1436.35/1436.86 c 1374s| 3720k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 670k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1440.14/1440.68 c 1378s| 3730k| 56 | 4291 | 0.0 | 12M| 96 | - | 808 |5842 | 0 | 0 | 131 | 672k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1443.85/1444.37 c 1381s| 3740k| 55 | 4291 | 0.0 | 12M| 96 | - | 808 |5844 | 0 | 0 | 131 | 675k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1447.44/1447.93 c 1385s| 3750k| 60 | 4291 | 0.0 | 12M| 96 | - | 808 |5843 | 0 | 0 | 131 | 677k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1451.04/1451.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1451.04/1451.57 c 1388s| 3760k| 55 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 679k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1454.64/1455.10 c 1391s| 3770k| 55 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 681k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1458.44/1458.93 c 1395s| 3780k| 55 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 683k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1462.44/1462.97 c 1399s| 3790k| 52 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 686k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1467.03/1467.51 c 1403s| 3800k| 46 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 688k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1470.64/1471.10 c 1407s| 3810k| 44 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 689k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1474.14/1474.63 c 1410s| 3820k| 52 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 691k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1477.73/1478.21 c 1414s| 3830k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 693k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1481.24/1481.77 c 1417s| 3840k| 63 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 694k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1484.63/1485.18 c 1420s| 3850k| 46 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 696k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1488.03/1488.58 c 1424s| 3860k| 45 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 697k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1491.53/1492.05 c 1427s| 3870k| 48 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 699k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1495.02/1495.58 c 1430s| 3880k| 50 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 700k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1498.43/1498.99 c 1434s| 3890k| 51 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 702k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1501.93/1502.42 c 1437s| 3900k| 48 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 703k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1505.62/1506.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1505.62/1506.18 c 1440s| 3910k| 56 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 705k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1509.33/1509.81 c 1444s| 3920k| 52 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 707k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1512.92/1513.45 c 1447s| 3930k| 48 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 708k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1516.33/1516.82 c 1451s| 3940k| 52 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 710k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1519.73/1520.23 c 1454s| 3950k| 43 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 711k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1523.22/1523.79 c 1457s| 3960k| 53 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 713k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1526.82/1527.31 c 1461s| 3970k| 50 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 715k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1530.22/1530.76 c 1464s| 3980k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 716k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1533.72/1534.25 c 1467s| 3990k| 45 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 718k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1537.22/1537.73 c 1471s| 4000k| 43 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 719k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1540.81/1541.33 c 1474s| 4010k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 721k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1544.01/1544.58 c 1477s| 4020k| 59 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 723k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1547.81/1548.37 c 1481s| 4030k| 52 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 725k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1551.71/1552.25 c 1484s| 4040k| 49 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 726k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1555.31/1555.87 c 1488s| 4050k| 43 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 728k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1558.91/1559.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1558.91/1559.46 c 1491s| 4060k| 48 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 730k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1562.62/1563.13 c 1495s| 4070k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 731k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1566.30/1566.86 c 1498s| 4080k| 54 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 733k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1569.90/1570.45 c 1502s| 4090k| 51 | 4291 | 0.0 | 12M| 96 | - | 808 |5841 | 0 | 0 | 131 | 735k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1573.61/1574.19 c 1505s| 4100k| 45 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 737k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1577.20/1577.79 c 1509s| 4110k| 45 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 738k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1580.80/1581.40 c 1512s| 4120k| 49 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 740k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1584.40/1584.93 c 1516s| 4130k| 42 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 741k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1587.81/1588.34 c 1519s| 4140k| 64 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 743k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1591.60/1592.14 c 1523s| 4150k| 46 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 745k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1595.09/1595.68 c 1526s| 4160k| 42 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 746k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1598.70/1599.21 c 1529s| 4170k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 748k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1602.21/1602.74 c 1533s| 4180k| 44 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 749k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1605.69/1606.23 c 1536s| 4190k| 45 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 751k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1609.19/1609.77 c 1540s| 4200k| 51 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 752k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1612.79/1613.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1612.79/1613.31 c 1543s| 4210k| 41 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 754k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1616.40/1616.95 c 1547s| 4220k| 45 | 4291 | 0.0 | 12M| 96 | - | 808 |5840 | 0 | 0 | 131 | 756k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1620.08/1620.67 c 1550s| 4230k| 52 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 757k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1623.58/1624.14 c 1553s| 4240k| 47 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 759k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1627.08/1627.65 c 1557s| 4250k| 50 | 4291 | 0.0 | 12M| 96 | - | 808 |5839 | 0 | 0 | 131 | 760k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1630.37/1630.93 c 1560s| 4260k| 74 | 4291 | 0.0 | 12M| 97 | - | 808 |5839 | 0 | 0 | 131 | 762k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1633.68/1634.22 c 1563s| 4270k| 69 | 4291 | 0.0 | 12M| 97 | - | 808 |5839 | 0 | 0 | 131 | 764k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1636.97/1637.51 c 1566s| 4280k| 68 | 4291 | 0.0 | 12M| 97 | - | 808 |5839 | 0 | 0 | 131 | 766k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1640.17/1640.77 c 1569s| 4290k| 61 | 4291 | 0.0 | 12M| 97 | - | 808 |5839 | 0 | 0 | 131 | 767k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1643.67/1644.29 c 1573s| 4300k| 54 | 4291 | 0.0 | 12M| 97 | - | 808 |5840 | 0 | 0 | 131 | 769k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1647.28/1647.86 c 1576s| 4310k| 55 | 4291 | 0.0 | 12M| 97 | - | 808 |5840 | 0 | 0 | 131 | 770k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1651.47/1652.02 c 1580s| 4320k| 54 | 4291 | 0.0 | 12M| 97 | - | 808 |5839 | 0 | 0 | 131 | 772k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1655.98/1656.51 c 1584s| 4330k| 48 | 4291 | 0.0 | 12M| 97 | - | 808 |5840 | 0 | 0 | 131 | 774k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1660.57/1661.12 c 1589s| 4340k| 61 | 4291 | 0.0 | 12M| 97 | - | 808 |5839 | 0 | 0 | 131 | 776k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1663.86/1664.47 c 1592s| 4350k| 45 | 4291 | 0.0 | 12M| 97 | - | 808 |5842 | 0 | 0 | 131 | 777k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1667.36/1667.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1667.36/1667.90 c 1595s| 4360k| 48 | 4291 | 0.0 | 12M| 97 | - | 808 |5839 | 0 | 0 | 131 | 779k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1670.76/1671.37 c 1599s| 4370k| 52 | 4291 | 0.0 | 12M| 97 | - | 808 |5839 | 0 | 0 | 131 | 781k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1674.17/1674.79 c 1602s| 4380k| 47 | 4291 | 0.0 | 12M| 97 | - | 808 |5839 | 0 | 0 | 131 | 782k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1677.76/1678.33 c 1605s| 4390k| 47 | 4291 | 0.0 | 12M| 97 | - | 808 |5839 | 0 | 0 | 131 | 784k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1681.36/1681.91 c 1609s| 4400k| 50 | 4291 | 0.0 | 12M| 97 | - | 808 |5839 | 0 | 0 | 131 | 786k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1685.86/1686.44 c 1613s| 4410k| 44 | 4291 | 0.0 | 12M| 97 | - | 808 |5839 | 0 | 0 | 131 | 788k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1689.76/1690.31 c 1617s| 4420k| 49 | 4291 | 0.0 | 12M| 97 | - | 808 |5839 | 0 | 0 | 131 | 789k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1693.26/1693.80 c 1620s| 4430k| 58 | 4291 | 0.0 | 12M| 97 | - | 808 |5840 | 0 | 0 | 131 | 791k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1696.66/1697.25 c 1624s| 4440k| 46 | 4291 | 0.0 | 12M| 97 | - | 808 |5839 | 0 | 0 | 131 | 792k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1700.15/1700.75 c 1627s| 4450k| 56 | 4291 | 0.0 | 12M| 97 | - | 808 |5840 | 0 | 0 | 131 | 794k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1703.76/1704.35 c 1630s| 4460k| 66 | 4291 | 0.0 | 12M| 97 | - | 808 |5839 | 0 | 0 | 131 | 796k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1707.25/1707.83 c 1634s| 4470k| 54 | 4291 | 0.0 | 12M| 97 | - | 808 |5841 | 0 | 0 | 131 | 797k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1710.65/1711.20 c 1637s| 4480k| 63 | 4291 | 0.0 | 12M| 97 | - | 808 |5840 | 0 | 0 | 131 | 799k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1714.26/1714.82 c 1640s| 4490k| 47 | 4291 | 0.0 | 12M| 97 | - | 808 |5840 | 0 | 0 | 131 | 801k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1717.66/1718.25 c 1644s| 4500k| 51 | 4291 | 0.0 | 12M| 97 | - | 808 |5840 | 0 | 0 | 131 | 802k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1721.24/1721.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1721.24/1721.87 c 1647s| 4510k| 49 | 4291 | 0.0 | 12M| 97 | - | 808 |5840 | 0 | 0 | 131 | 804k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1724.85/1725.41 c 1651s| 4520k| 44 | 4291 | 0.0 | 12M| 97 | - | 808 |5841 | 0 | 0 | 131 | 806k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1728.34/1728.94 c 1654s| 4530k| 54 | 4291 | 0.0 | 12M| 97 | - | 808 |5840 | 0 | 0 | 131 | 807k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1731.85/1732.41 c 1657s| 4540k| 53 | 4291 | 0.0 | 12M| 97 | - | 808 |5840 | 0 | 0 | 131 | 809k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1735.25/1735.87 c 1661s| 4550k| 65 | 4291 | 0.0 | 12M| 97 | - | 808 |5840 | 0 | 0 | 131 | 810k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1739.14/1739.72 c 1664s| 4560k| 59 | 4291 | 0.0 | 12M| 97 | - | 808 |5839 | 0 | 0 | 131 | 812k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1743.05/1743.63 c 1668s| 4570k| 51 | 4291 | 0.0 | 12M| 97 | - | 808 |5840 | 0 | 0 | 131 | 814k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1746.44/1747.00 c 1671s| 4580k| 64 | 4291 | 0.0 | 12M| 97 | - | 808 |5840 | 0 | 0 | 131 | 816k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1750.65/1751.23 c 1675s| 4590k| 53 | 4291 | 0.0 | 12M| 97 | - | 808 |5839 | 0 | 0 | 131 | 818k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1754.43/1755.00 c 1679s| 4600k| 48 | 4291 | 0.0 | 12M| 97 | - | 808 |5840 | 0 | 0 | 131 | 819k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1758.14/1758.73 c 1682s| 4610k| 49 | 4291 | 0.0 | 12M| 97 | - | 808 |5840 | 0 | 0 | 131 | 821k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1761.84/1762.44 c 1686s| 4620k| 63 | 4291 | 0.0 | 12M| 97 | - | 808 |5839 | 0 | 0 | 131 | 823k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1765.43/1766.00 c 1690s| 4630k| 53 | 4291 | 0.0 | 12M| 97 | - | 808 |5840 | 0 | 0 | 131 | 824k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1769.03/1769.62 c 1693s| 4640k| 65 | 4291 | 0.0 | 12M| 97 | - | 808 |5842 | 0 | 0 | 131 | 826k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1772.64/1773.22 c 1696s| 4650k| 50 | 4291 | 0.0 | 12M| 97 | - | 808 |5841 | 0 | 0 | 131 | 828k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1776.14/1776.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1776.14/1776.72 c 1700s| 4660k| 47 | 4291 | 0.0 | 12M| 97 | - | 808 |5839 | 0 | 0 | 131 | 829k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1779.53/1780.19 c 1703s| 4670k| 68 | 4291 | 0.0 | 12M| 97 | - | 808 |5839 | 0 | 0 | 131 | 831k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1783.43/1784.03 c 1707s| 4680k| 46 | 4291 | 0.0 | 12M| 97 | - | 808 |5840 | 0 | 0 | 131 | 833k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1787.13/1787.75 c 1710s| 4690k| 53 | 4291 | 0.0 | 12M| 97 | - | 808 |5840 | 0 | 0 | 131 | 834k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1790.63/1791.23 c 1714s| 4700k| 52 | 4291 | 0.0 | 12M| 97 | - | 808 |5839 | 0 | 0 | 131 | 836k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1794.13/1794.79 c 1717s| 4710k| 45 | 4291 | 0.0 | 12M| 97 | - | 808 |5839 | 0 | 0 | 131 | 838k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1797.84/1798.41 c 1721s| 4720k| 48 | 4291 | 0.0 | 12M| 97 | - | 808 |5840 | 0 | 0 | 131 | 839k| 18 | 2.680000e+02 | 3.720000e+02 | 38.81%
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.61 c
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time (sec) : 1722.69
1800.04/1800.61 c Solving Nodes : 4726216
1800.04/1800.61 c Primal Bound : +3.72000000000000e+02 (10 solutions)
1800.04/1800.61 c Dual Bound : +2.68000000000000e+02
1800.04/1800.61 c Gap : 38.81 %
1800.04/1800.62 s SATISFIABLE
1800.04/1800.62 v -x808 x807 x806 -x805 x804 -x803 x802 -x801 -x800 x799 x798 -x797 x796 -x795 x794 -x793 -x792 x791 x790 -x789 x788 -x787 -x786
1800.04/1800.62 v -x785 x784 -x783 x782 -x781 -x780 x779 x778 -x777 x776 -x775 x774 -x773 x772 -x771 -x770 x769 -x768 x767 x766 -x765 x764 -x763
1800.04/1800.62 v x762 -x761 x760 -x759 x758 -x757 -x756 x755 x754 -x753 x752 -x751 x750 -x749 x748 -x747 -x746 x745 x744 -x743 x742 -x741 -x740
1800.04/1800.62 v x739 x738 -x737 x736 -x735 x734 -x733 x732 -x731 -x730 x729 -x728 x727 x726 -x725 x724 -x723 x722 -x721 x720 -x719 x718 -x717
1800.04/1800.62 v -x716 x715 x714 -x713 -x712 x711 x710 -x709 x708 -x707 x706 -x705 x704 -x703 x702 -x701 -x700 x699 x698 -x697 x696 -x695
1800.04/1800.62 v x694 -x693 -x692 -x691 -x690 x689 x688 -x687 x686 -x685 -x684 x683 x682 -x681 -x680 x679 x678 -x677 x676 -x675 x674 -x673 -x672
1800.04/1800.62 v x671 x670 -x669 x668 -x667 x666 -x665 x664 -x663 x662 -x661 -x660 x659 x658 -x657 x656 -x655 x654 -x653 -x652 x651 x650 -x649
1800.04/1800.62 v -x648 x647 x646 -x645 x644 -x643 x642 -x641 x640 -x639 x638 -x637 -x636 -x635 -x634 x633 -x632 x631 x630 -x629 x628 -x627
1800.04/1800.62 v x626 -x625 -x624 x623 x622 -x621 x620 -x619 x618 -x617 x616 -x615 -x614 x613 x612 -x611 x610 -x609 x608 -x607 x606 -x605 -x604
1800.04/1800.62 v x603 x602 -x601 x600 -x599 x598 -x597 -x596 x595 x594 -x593 x592 -x591 x590 -x589 x588 -x587 -x586 x585 -x584 x583 x582 -x581
1800.04/1800.62 v x580 -x579 x578 -x577 x576 -x575 x574 -x573 -x572 x571 x570 -x569 x568 -x567 x566 -x565 -x564 x563 x562 -x561 x560 -x559
1800.04/1800.62 v x558 -x557 -x556 x555 x554 -x553 -x552 x551 x550 -x549 x548 -x547 x546 -x545 x544 -x543 x542 -x541 -x540 x539 x538 -x537 -x536
1800.04/1800.62 v x535 x534 -x533 x532 -x531 x530 -x529 x528 -x527 x526 -x525 x524 -x523 -x522 x521 x520 -x519 x518 -x517 -x516 x515 x514 -x513
1800.04/1800.62 v -x512 x511 -x510 x509 -x508 x507 -x506 x505 -x504 x503 -x502 x501 -x500 x499 -x498 x497 -x496 x495 -x494 x493 -x492 x491
1800.04/1800.62 v -x490 x489 -x488 x487 -x486 x485 -x484 x483 -x482 x481 -x480 x479 -x478 x477 -x476 x475 -x474 x473 x472 -x471 -x470 x469 -x468
1800.04/1800.62 v x467 -x466 x465 -x464 x463 -x462 x461 -x460 x459 -x458 x457 -x456 x455 -x454 x453 -x452 x451 -x450 x449 -x448 x447 -x446 x445
1800.04/1800.62 v -x444 x443 -x442 x441 -x440 x439 -x438 x437 -x436 x435 -x434 x433 -x432 x431 -x430 x429 -x428 x427 x426 -x425 -x424 x423 -x422
1800.04/1800.62 v x421 -x420 x419 -x418 x417 -x416 x415 -x414 x413 -x412 x411 -x410 x409 -x408 x407 -x406 x405 -x404 x403 -x402 x401 -x400
1800.04/1800.62 v x399 x398 -x397 -x396 x395 -x394 x393 -x392 x391 -x390 x389 -x388 x387 -x386 x385 -x384 -x383 -x382 x381 x380 -x379 -x378 x377
1800.04/1800.62 v -x376 -x375 -x374 x373 x372 -x371 -x370 x369 -x368 -x367 -x366 x365 -x364 -x363 -x362 x361 -x360 -x359 -x358 x357 -x356 -x355
1800.04/1800.62 v -x354 x353 -x352 -x351 -x350 x349 -x348 x347 -x346 -x345 -x344 -x343 -x342 x341 -x340 x339 -x338 -x337 -x336 -x335 -x334
1800.04/1800.62 v x333 -x332 x331 -x330 -x329 -x328 x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 -x318 x317 -x316 -x315 -x314 x313 -x312
1800.04/1800.62 v x311 -x310 -x309 -x308 x307 x306 -x305 -x304 x303 -x302 -x301 -x300 x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 -x290
1800.04/1800.62 v x289 -x288 -x287 -x286 x285 -x284 -x283 -x282 x281 -x280 x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 x269 -x268
1800.04/1800.62 v x267 -x266 -x265 -x264 x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 x255 -x254 x253 -x252 x251 -x250 x249 -x248 x247 -x246
1800.04/1800.62 v x245 -x244 x243 -x242 x241 -x240 x239 -x238 x237 -x236 x235 -x234 x233 -x232 x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223
1800.04/1800.62 v -x222 x221 -x220 x219 -x218 x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209 -x208 x207 x206 -x205 -x204 x203 -x202 x201 -x200
1800.04/1800.62 v x199 -x198 x197 -x196 x195 -x194 x193 -x192 x191 -x190 x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178
1800.04/1800.62 v x177 -x176 x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 x162 -x161 -x160 x159 -x158 x157 -x156 x155
1800.04/1800.62 v -x154 x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 x140 -x139 -x138 x137 -x136 x135 -x134 x133 -x132
1800.04/1800.62 v x131 -x130 x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 -x120 x119 -x118 x117 x116 -x115 -x114 x113 -x112 x111 -x110
1800.04/1800.62 v x109 -x108 x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 -x98 x97 -x96 x95 -x94 x93 x92 -x91 -x90 x89 -x88 x87 -x86 x85 -x84
1800.04/1800.62 v x83 -x82 x81 -x80 x79 -x78 x77 -x76 x75 -x74 x73 -x72 x71 -x70 x69 -x68 x67 -x66 x65 -x64 x63 -x62 x61 x60 -x59 -x58 x57 -x56
1800.04/1800.62 v x55 -x54 x53 -x52 x51 -x50 x49 -x48 x47 x46 -x45 -x44 x43 -x42 x41 -x40 x39 -x38 x37 -x36 x35 -x34 x33 -x32 x31 -x30 x29 -x28
1800.04/1800.62 v x27 -x26 x25 -x24 x23 -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.62 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.62 c Solving Time : 1722.69
1800.04/1800.62 c Original Problem :
1800.04/1800.62 c Problem name : HOME/instance-2665593-1276428843.opb
1800.04/1800.62 c Variables : 808 (808 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.62 c Constraints : 5557 initial, 5557 maximal
1800.04/1800.62 c Presolved Problem :
1800.04/1800.62 c Problem name : t_HOME/instance-2665593-1276428843.opb
1800.04/1800.62 c Variables : 808 (808 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.62 c Constraints : 5557 initial, 6052 maximal
1800.04/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c implics : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.62 c probing : 0.06 0 0 0 0 0 0 0 0
1800.04/1800.62 c logicor : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.62 c root node : - 0 - - 0 - - - -
1800.04/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.62 c integral : 0 0 0 1 0 0 0 0 0 2
1800.04/1800.62 c logicor : 5557+ 18 6363057 0 10 822179 11719870 0 0 0
1800.04/1800.62 c countsols : 0 0 0 0 10 0 0 0 0 0
1800.04/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.62 c integral : 7.96 0.00 0.00 7.96 0.00
1800.04/1800.62 c logicor : 884.64 0.04 884.60 0.00 0.00
1800.04/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.62 c vbounds : 4.92 2 0 0
1800.04/1800.62 c rootredcost : 4.97 10 0 0
1800.04/1800.62 c pseudoobj : 432.36 10429924 954383 21776921
1800.04/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.62 c propagation : 777.04 822179 822179 822179 56.3 19318 33.7 -
1800.04/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.62 c pseudo solution : 69.52 198492 0 0 0.0 0 0.0 -
1800.04/1800.62 c applied globally : - - - 839887 55.7 - - -
1800.04/1800.62 c applied locally : - - - 754 82.1 - - -
1800.04/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.62 c cut pool : 0.00 17 - - 18 - (maximal pool size: 766)
1800.04/1800.62 c redcost : 0.00 18 0 0 0 0
1800.04/1800.62 c impliedbounds : 0.01 18 0 0 0 0
1800.04/1800.62 c intobj : 0.00 0 0 0 0 0
1800.04/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.62 c gomory : 3.20 18 0 0 7199 0
1800.04/1800.62 c strongcg : 2.44 18 0 0 8326 0
1800.04/1800.62 c cmir : 0.36 10 0 0 0 0
1800.04/1800.62 c flowcover : 0.27 10 0 0 0 0
1800.04/1800.62 c clique : 0.04 1 0 0 0 0
1800.04/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.62 c mcf : 0.01 1 0 0 0 0
1800.04/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.62 c Pricers : Time Calls Vars
1800.04/1800.62 c problem variables: 0.00 0 0
1800.04/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.62 c relpscost : 7.96 1 0 0 0 0 2
1800.04/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.62 c inference : 38.14 3340682 0 0 0 0 6681364
1800.04/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.62 c random : 0.00 0 0 0 0 0 0
1800.04/1800.62 c Primal Heuristics : Time Calls Found
1800.04/1800.62 c LP solutions : 0.00 - 0
1800.04/1800.62 c pseudo solutions : 0.00 - 10
1800.04/1800.62 c oneopt : 3.44 0 0
1800.04/1800.62 c crossover : 0.00 0 0
1800.04/1800.62 c trivial : 0.00 2 0
1800.04/1800.62 c simplerounding : 0.00 0 0
1800.04/1800.62 c zirounding : 0.00 1 0
1800.04/1800.62 c rounding : 0.04 19 0
1800.04/1800.62 c shifting : 0.10 19 0
1800.04/1800.62 c intshifting : 0.00 0 0
1800.04/1800.62 c twoopt : 0.00 0 0
1800.04/1800.62 c fixandinfer : 0.00 0 0
1800.04/1800.62 c feaspump : 0.04 1 0
1800.04/1800.62 c coefdiving : 0.00 0 0
1800.04/1800.62 c pscostdiving : 0.00 0 0
1800.04/1800.62 c fracdiving : 0.00 0 0
1800.04/1800.62 c veclendiving : 0.00 0 0
1800.04/1800.62 c intdiving : 0.00 0 0
1800.04/1800.62 c actconsdiving : 0.00 0 0
1800.04/1800.62 c objpscostdiving : 0.00 0 0
1800.04/1800.62 c rootsoldiving : 0.00 0 0
1800.04/1800.62 c linesearchdiving : 0.00 0 0
1800.04/1800.62 c guideddiving : 0.00 0 0
1800.04/1800.62 c octane : 0.00 0 0
1800.04/1800.62 c rens : 0.00 0 0
1800.04/1800.62 c rins : 0.00 0 0
1800.04/1800.62 c localbranching : 0.00 0 0
1800.04/1800.62 c mutation : 0.00 0 0
1800.04/1800.62 c dins : 0.00 0 0
1800.04/1800.62 c undercover : 0.00 0 0
1800.04/1800.62 c nlp : 2.09 0 0
1800.04/1800.62 c trysol : 2.10 0 0
1800.04/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.62 c primal LP : 0.01 0 0 0.00 0.00
1800.04/1800.62 c dual LP : 2.83 19 4291 225.84 1516.25
1800.04/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.62 c diving/probing LP: 0.02 0 0 0.00 0.00
1800.04/1800.62 c strong branching : 7.96 18 10099 561.06 1268.72
1800.04/1800.62 c (at root node) : - 18 10099 561.06 -
1800.04/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.62 c B&B Tree :
1800.04/1800.62 c number of runs : 1
1800.04/1800.62 c nodes : 4726216
1800.04/1800.62 c nodes (total) : 4726216
1800.04/1800.62 c nodes left : 45
1800.04/1800.62 c max depth : 97
1800.04/1800.62 c max depth (total): 97
1800.04/1800.62 c backtracks : 961132 (20.3%)
1800.04/1800.62 c delayed cutoffs : 603610
1800.04/1800.62 c repropagations : 858716 (4385340 domain reductions, 589531 cutoffs)
1800.04/1800.62 c avg switch length: 2.06
1800.04/1800.62 c switching time : 97.19
1800.04/1800.62 c Solution :
1800.04/1800.62 c Solutions found : 10 (10 improvements)
1800.04/1800.62 c First Solution : +3.95000000000000e+02 (in run 1, after 2101 nodes, 20.21 seconds, depth 49, found by <relaxation>)
1800.04/1800.62 c Primal Bound : +3.72000000000000e+02 (in run 1, after 161187 nodes, 88.42 seconds, depth 50, found by <relaxation>)
1800.04/1800.62 c Dual Bound : +2.68000000000000e+02
1800.04/1800.62 c Gap : 38.81 %
1800.04/1800.62 c Root Dual Bound : +2.68000000000000e+02
1800.04/1800.62 c Root Iterations : 4291
1800.04/1800.66 c Time complete: 1800.08.