0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute 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-4432570-1721061635.opb>
0.00/0.03 c original problem has 7287 variables (7287 bin, 0 int, 0 impl, 0 cont) and 529 constraints
0.00/0.03 c problem read in 0.03
0.00/0.05 c presolving:
0.00/0.09 c (round 1, fast) 779 del vars, 0 del conss, 61 add conss, 132 chg bounds, 49 chg sides, 49 chg coeffs, 0 upgd conss, 0 impls, 556 clqs
0.09/0.11 c (round 2, fast) 779 del vars, 2 del conss, 61 add conss, 132 chg bounds, 11528 chg sides, 17298 chg coeffs, 0 upgd conss, 0 impls, 556 clqs
0.09/0.13 c (0.1s) running MILP presolver
0.09/0.15 c (0.2s) MILP presolver (2 rounds): 0 aggregations, 1 fixings, 0 bound changes
0.09/0.17 c (round 3, exhaustive) 780 del vars, 5 del conss, 62 add conss, 132 chg bounds, 11531 chg sides, 17298 chg coeffs, 0 upgd conss, 0 impls, 536 clqs
0.09/0.17 c (round 4, fast) 780 del vars, 5 del conss, 62 add conss, 132 chg bounds, 15220 chg sides, 20987 chg coeffs, 0 upgd conss, 0 impls, 536 clqs
0.09/0.19 c (round 5, exhaustive) 780 del vars, 5 del conss, 62 add conss, 132 chg bounds, 15220 chg sides, 20987 chg coeffs, 503 upgd conss, 0 impls, 536 clqs
0.09/0.20 c (round 6, fast) 780 del vars, 5 del conss, 62 add conss, 132 chg bounds, 15220 chg sides, 21084 chg coeffs, 503 upgd conss, 0 impls, 536 clqs
0.09/0.20 c (round 7, medium) 780 del vars, 40 del conss, 159 add conss, 132 chg bounds, 15220 chg sides, 21084 chg coeffs, 503 upgd conss, 0 impls, 536 clqs
0.59/0.66 c (0.7s) sparsify aborted: 328/79774 (0.4%) nonzeros canceled - in total 328 canceled nonzeros, 2696 changed coefficients, 0 added nonzeros
0.59/0.66 c (round 8, exhaustive) 780 del vars, 40 del conss, 159 add conss, 132 chg bounds, 15220 chg sides, 23780 chg coeffs, 503 upgd conss, 0 impls, 536 clqs
0.59/0.66 c (round 9, fast) 783 del vars, 40 del conss, 160 add conss, 135 chg bounds, 15220 chg sides, 23780 chg coeffs, 503 upgd conss, 0 impls, 536 clqs
0.59/0.66 c (round 10, fast) 783 del vars, 40 del conss, 160 add conss, 135 chg bounds, 15655 chg sides, 24215 chg coeffs, 503 upgd conss, 0 impls, 536 clqs
0.59/0.66 c (round 11, exhaustive) 783 del vars, 40 del conss, 160 add conss, 135 chg bounds, 15656 chg sides, 24215 chg coeffs, 503 upgd conss, 0 impls, 536 clqs
0.59/0.66 c (round 12, exhaustive) 783 del vars, 40 del conss, 160 add conss, 135 chg bounds, 15656 chg sides, 24215 chg coeffs, 504 upgd conss, 0 impls, 536 clqs
1.09/1.13 c (1.1s) probing: 51/6504 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.09/1.13 c (1.1s) probing aborted: 50/50 successive totally useless probings
1.09/1.14 c (1.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.09/1.17 c (1.2s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
1.09/1.18 c dynamic symmetry handling statistics:
1.09/1.18 c orbitopal reduction: no components
1.09/1.18 c orbital reduction: no components
1.09/1.18 c lexicographic reduction: 1 permutations with support sizes 6
1.09/1.18 c handled 1 out of 1 symmetry components
1.19/1.20 c presolving (13 rounds: 13 fast, 7 medium, 6 exhaustive):
1.19/1.20 c 783 deleted vars, 40 deleted constraints, 160 added constraints, 135 tightened bounds, 0 added holes, 15656 changed sides, 24215 changed coefficients
1.19/1.20 c 0 implications, 536 cliques
1.19/1.20 c presolved problem has 6504 variables (6504 bin, 0 int, 0 impl, 0 cont) and 649 constraints
1.19/1.20 c 517 constraints of type <setppc>
1.19/1.20 c 83 constraints of type <linear>
1.19/1.20 c 49 constraints of type <logicor>
1.19/1.20 c transformed objective value is always integral (scale: 128)
1.19/1.20 c Presolving Time: 1.16
1.19/1.20 c - non default parameters ----------------------------------------------------------------------
1.19/1.20 c # SCIP version 10.0.0
1.19/1.20 c
1.19/1.20 c # maximal time in seconds to run
1.19/1.20 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.19/1.20 c limits/time = 3596.998054
1.19/1.20 c
1.19/1.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.19/1.20 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.19/1.20 c limits/memory = 27900
1.19/1.20 c
1.19/1.20 c # belongs reading time to solving time?
1.19/1.20 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.19/1.20 c timing/reading = TRUE
1.19/1.20 c
1.19/1.20 c -----------------------------------------------------------------------------------------------
1.19/1.20 c start solving
1.19/1.20 c
1.99/2.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.99/2.03 c 2.0s| 1 | 0 | 1554 | - | 147M | 0 |6504 | 724 | 649 | 0 | 0 | 75 | 0 | 1.076030e+09 | -- | Inf | unknown
2.68/2.78 c 2.8s| 1 | 0 | 1821 | - | 170M | 0 |6504 | 724 | 685 | 36 | 1 | 75 | 0 | 1.076042e+09 | -- | Inf | unknown
3.18/3.21 c 3.2s| 1 | 0 | 1878 | - | 175M | 0 |6504 | 724 | 717 | 68 | 2 | 75 | 0 | 1.076046e+09 | -- | Inf | unknown
3.58/3.62 c 3.6s| 1 | 0 | 1909 | - | 176M | 0 |6504 | 724 | 740 | 91 | 3 | 75 | 0 | 1.076048e+09 | -- | Inf | unknown
3.98/4.05 c 4.0s| 1 | 0 | 1965 | - | 184M | 0 |6504 | 724 | 764 | 115 | 4 | 75 | 0 | 1.076053e+09 | -- | Inf | unknown
4.38/4.48 c 4.5s| 1 | 0 | 2026 | - | 185M | 0 |6504 | 724 | 787 | 138 | 5 | 75 | 0 | 1.076060e+09 | -- | Inf | unknown
4.87/4.94 c 4.9s| 1 | 0 | 2149 | - | 192M | 0 |6504 | 724 | 809 | 160 | 6 | 75 | 0 | 1.076074e+09 | -- | Inf | unknown
5.27/5.37 c 5.4s| 1 | 0 | 2240 | - | 194M | 0 |6504 | 724 | 828 | 179 | 7 | 75 | 0 | 1.076077e+09 | -- | Inf | unknown
5.77/5.82 c 5.8s| 1 | 0 | 2315 | - | 197M | 0 |6504 | 724 | 849 | 200 | 8 | 75 | 0 | 1.076078e+09 | -- | Inf | unknown
6.17/6.27 c 6.3s| 1 | 0 | 2364 | - | 200M | 0 |6504 | 724 | 866 | 217 | 9 | 75 | 0 | 1.076080e+09 | -- | Inf | unknown
6.67/6.71 c 6.7s| 1 | 0 | 2413 | - | 203M | 0 |6504 | 724 | 883 | 234 | 10 | 75 | 0 | 1.076080e+09 | -- | Inf | unknown
7.07/7.16 c 7.2s| 1 | 0 | 2458 | - | 207M | 0 |6504 | 724 | 899 | 250 | 11 | 75 | 0 | 1.076081e+09 | -- | Inf | unknown
7.56/7.60 c 7.6s| 1 | 0 | 2568 | - | 210M | 0 |6504 | 724 | 827 | 265 | 12 | 75 | 0 | 1.076082e+09 | -- | Inf | unknown
7.97/8.04 c 8.0s| 1 | 0 | 2633 | - | 216M | 0 |6504 | 724 | 847 | 285 | 13 | 75 | 0 | 1.076083e+09 | -- | Inf | unknown
8.47/8.50 c 8.5s| 1 | 0 | 2744 | - | 220M | 0 |6504 | 724 | 860 | 298 | 14 | 75 | 0 | 1.076085e+09 | -- | Inf | unknown
8.87/8.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.87/8.96 c 9.0s| 1 | 0 | 2830 | - | 226M | 0 |6504 | 720 | 877 | 315 | 15 | 75 | 0 | 1.076086e+09 | -- | Inf | unknown
9.36/9.40 c 9.4s| 1 | 0 | 2871 | - | 229M | 0 |6504 | 720 | 895 | 333 | 16 | 75 | 0 | 1.076086e+09 | -- | Inf | unknown
9.76/9.86 c 9.9s| 1 | 0 | 2965 | - | 235M | 0 |6504 | 720 | 912 | 350 | 17 | 75 | 0 | 1.076088e+09 | -- | Inf | unknown
10.16/10.29 c 10.3s| 1 | 0 | 3061 | - | 238M | 0 |6504 | 720 | 828 | 363 | 18 | 75 | 0 | 1.076089e+09 | -- | Inf | unknown
10.56/10.65 c 10.7s| 1 | 0 | 3291 | - | 238M | 0 |6504 | 720 | 837 | 372 | 19 | 75 | 0 | 1.076095e+09 | -- | Inf | unknown
10.96/11.08 c 11.1s| 1 | 0 | 3483 | - | 248M | 0 |6504 | 720 | 856 | 391 | 20 | 75 | 0 | 1.076098e+09 | -- | Inf | unknown
11.35/11.49 c 11.5s| 1 | 0 | 3535 | - | 252M | 0 |6504 | 720 | 868 | 403 | 21 | 75 | 0 | 1.076098e+09 | -- | Inf | unknown
11.85/11.95 c 11.9s| 1 | 0 | 3608 | - | 254M | 0 |6504 | 720 | 880 | 415 | 22 | 75 | 0 | 1.076098e+09 | -- | Inf | unknown
12.35/12.41 c 12.4s| 1 | 0 | 3677 | - | 260M | 0 |6504 | 720 | 892 | 427 | 23 | 75 | 0 | 1.076100e+09 | -- | Inf | unknown
13.06/13.11 c 13.1s| 1 | 0 | 5128 | - | 267M | 0 |6504 | 720 | 827 | 437 | 24 | 75 | 0 | 1.076100e+09 | -- | Inf | unknown
13.45/13.59 c 13.6s| 1 | 0 | 5175 | - | 275M | 0 |6504 | 720 | 838 | 448 | 25 | 75 | 0 | 1.076100e+09 | -- | Inf | unknown
14.14/14.28 c 14.3s| 1 | 0 | 6899 | - | 280M | 0 |6504 | 720 | 841 | 451 | 26 | 75 | 0 | 1.076100e+09 | -- | Inf | unknown
14.65/14.74 c 14.7s| 1 | 0 | 6927 | - | 286M | 0 |6504 | 720 | 812 | 458 | 27 | 75 | 0 | 1.076100e+09 | -- | Inf | unknown
15.05/15.19 c 15.2s| 1 | 0 | 6939 | - | 289M | 0 |6504 | 720 | 815 | 461 | 28 | 75 | 0 | 1.076100e+09 | -- | Inf | unknown
15.54/15.66 c 15.7s| 1 | 0 | 6950 | - | 298M | 0 |6504 | 720 | 818 | 464 | 29 | 75 | 0 | 1.076100e+09 | -- | Inf | unknown
15.94/16.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.94/16.01 c 16.0s| 1 | 0 | 6954 | - | 299M | 0 |6504 | 720 | 821 | 467 | 30 | 75 | 0 | 1.076100e+09 | -- | Inf | unknown
16.24/16.35 c 16.3s| 1 | 0 | 6957 | - | 299M | 0 |6504 | 720 | 822 | 468 | 31 | 75 | 0 | 1.076100e+09 | -- | Inf | unknown
18.33/18.49 c 18.5s| 1 | 2 | 12533 | - | 299M | 0 |6504 | 722 | 822 | 468 | 32 | 84 | 14 | 1.076101e+09 | -- | Inf | unknown
36.47/36.69 c 36.7s| 100 | 97 | 20044 | 132.2 | 366M | 18 |6504 | 807 | 660 | 748 | 1 | 503 | 920 | 1.076107e+09 | -- | Inf | unknown
50.22/50.42 c 50.4s| 200 | 197 | 40775 | 169.9 | 383M | 23 |6504 | 828 | 680 |1140 | 1 | 540 |1321 | 1.076111e+09 | -- | Inf | unknown
57.50/57.79 c 57.8s| 300 | 297 | 55530 | 162.5 | 376M | 37 |6504 | 824 | 681 |1318 | 1 | 554 |1465 | 1.076111e+09 | -- | Inf | unknown
63.58/63.82 c 63.8s| 400 | 389 | 67057 | 150.6 | 376M | 37 |6504 | 834 | 696 |1479 | 1 | 571 |1572 | 1.076111e+09 | -- | Inf | unknown
67.46/67.74 c 67.7s| 500 | 483 | 74588 | 135.5 | 377M | 47 |6504 | 877 | 693 |1632 | 1 | 617 |1649 | 1.076111e+09 | -- | Inf | unknown
72.25/72.51 c 72.5s| 600 | 583 | 86956 | 133.6 | 379M | 47 |6504 | 896 | 694 |1784 | 1 | 649 |1735 | 1.076111e+09 | -- | Inf | unknown
75.74/76.02 c 76.0s| 700 | 679 | 97165 | 129.1 | 380M | 51 |6504 | 910 | 724 |1948 | 4 | 676 |1807 | 1.076111e+09 | -- | Inf | unknown
80.13/80.44 c 80.4s| 800 | 779 |107573 | 125.9 | 382M | 53 |6504 | 907 | 690 |2155 | 1 | 680 |1862 | 1.076111e+09 | -- | Inf | unknown
82.92/83.29 c 83.3s| 900 | 875 |114261 | 119.4 | 383M | 55 |6504 | 912 | 719 |2356 | 1 | 720 |1910 | 1.076111e+09 | -- | Inf | unknown
85.81/86.16 c 86.2s| 1000 | 971 |122800 | 116.0 | 385M | 55 |6504 | 946 | 719 |2515 | 1 | 759 |1973 | 1.076111e+09 | -- | Inf | unknown
89.70/90.07 c 90.1s| 1100 | 1061 |133903 | 115.5 | 387M | 59 |6504 | 998 | 709 |2658 | 1 | 817 |2009 | 1.076111e+09 | -- | Inf | unknown
92.48/92.86 c 92.9s| 1200 | 1155 |142108 | 112.7 | 390M | 59 |6504 |1036 | 709 |2836 | 1 | 860 |2023 | 1.076111e+09 | -- | Inf | unknown
94.87/95.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
94.87/95.25 c 95.3s| 1300 | 1240 |148261 | 108.8 | 392M | 61 |6504 |1058 | 691 |2981 | 1 | 888 |2053 | 1.076113e+09 | -- | Inf | unknown
96.96/97.30 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
96.96/97.30 c (run 1, node 1343) performing user restart
96.96/97.30 c
96.96/97.31 c (restart) converted 86 cuts from the global cut pool into linear constraints
96.96/97.31 c
97.16/97.50 c presolving:
97.26/97.61 c (round 1, fast) 319 del vars, 40 del conss, 59 add conss, 6 chg bounds, 3 chg sides, 210 chg coeffs, 0 upgd conss, 0 impls, 1945 clqs
97.26/97.62 c (round 2, fast) 319 del vars, 40 del conss, 61 add conss, 6 chg bounds, 4242 chg sides, 7151 chg coeffs, 0 upgd conss, 0 impls, 1945 clqs
97.26/97.62 c (round 3, fast) 319 del vars, 40 del conss, 61 add conss, 6 chg bounds, 4254 chg sides, 7941 chg coeffs, 0 upgd conss, 0 impls, 1945 clqs
97.26/97.64 c (round 4, exhaustive) 320 del vars, 49 del conss, 62 add conss, 6 chg bounds, 4258 chg sides, 7945 chg coeffs, 0 upgd conss, 0 impls, 1927 clqs
97.26/97.64 c (round 5, fast) 320 del vars, 49 del conss, 62 add conss, 6 chg bounds, 4458 chg sides, 8144 chg coeffs, 0 upgd conss, 0 impls, 1927 clqs
97.26/97.65 c (round 6, exhaustive) 320 del vars, 50 del conss, 62 add conss, 6 chg bounds, 4458 chg sides, 8144 chg coeffs, 0 upgd conss, 0 impls, 1927 clqs
97.26/97.67 c (round 7, exhaustive) 320 del vars, 50 del conss, 62 add conss, 6 chg bounds, 4458 chg sides, 8144 chg coeffs, 135 upgd conss, 0 impls, 1927 clqs
97.26/97.68 c (round 8, fast) 320 del vars, 82 del conss, 62 add conss, 6 chg bounds, 4460 chg sides, 8205 chg coeffs, 135 upgd conss, 0 impls, 1927 clqs
97.36/97.73 c (round 9, medium) 321 del vars, 82 del conss, 62 add conss, 6 chg bounds, 4468 chg sides, 8214 chg coeffs, 135 upgd conss, 0 impls, 1928 clqs
97.36/97.73 c (round 10, fast) 321 del vars, 82 del conss, 63 add conss, 6 chg bounds, 4469 chg sides, 8214 chg coeffs, 135 upgd conss, 0 impls, 1928 clqs
97.36/97.73 c (round 11, fast) 321 del vars, 82 del conss, 63 add conss, 6 chg bounds, 4827 chg sides, 8572 chg coeffs, 135 upgd conss, 0 impls, 1928 clqs
97.36/97.74 c (round 12, exhaustive) 321 del vars, 82 del conss, 63 add conss, 6 chg bounds, 4827 chg sides, 8572 chg coeffs, 136 upgd conss, 0 impls, 1928 clqs
97.56/97.97 c (round 13, exhaustive) 321 del vars, 89 del conss, 63 add conss, 6 chg bounds, 4827 chg sides, 8630 chg coeffs, 136 upgd conss, 0 impls, 1928 clqs
98.76/99.19 c (round 14, exhaustive) 321 del vars, 89 del conss, 63 add conss, 6 chg bounds, 4827 chg sides, 12730 chg coeffs, 136 upgd conss, 0 impls, 1928 clqs
99.06/99.41 c (round 15, exhaustive) 321 del vars, 101 del conss, 63 add conss, 6 chg bounds, 4827 chg sides, 12730 chg coeffs, 136 upgd conss, 0 impls, 1928 clqs
99.06/99.45 c presolving (16 rounds: 16 fast, 9 medium, 8 exhaustive):
99.06/99.45 c 321 deleted vars, 101 deleted constraints, 63 added constraints, 6 tightened bounds, 0 added holes, 4827 changed sides, 12730 changed coefficients
99.06/99.45 c 0 implications, 1928 cliques
99.06/99.45 c presolved problem has 6183 variables (6183 bin, 0 int, 0 impl, 0 cont) and 1122 constraints
99.06/99.45 c 70 constraints of type <knapsack>
99.06/99.45 c 508 constraints of type <setppc>
99.06/99.45 c 91 constraints of type <linear>
99.06/99.45 c 453 constraints of type <logicor>
99.06/99.45 c transformed objective value is always integral (scale: 128)
99.06/99.45 c Presolving Time: 3.12
99.06/99.46 c
99.95/100.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
99.95/100.33 c 100s| 1 | 0 |153470 | - | 397M | 0 |6183 |1124 | 722 | 0 | 0 | 914 |2094 | 1.076113e+09 | -- | Inf | unknown
101.55/101.92 c 102s| 1 | 0 |154992 | - | 401M | 0 |6183 |1124 | 738 | 16 | 1 | 914 |2094 | 1.076113e+09 | -- | Inf | unknown
102.35/102.79 c 103s| 1 | 0 |156535 | - | 401M | 0 |6183 |1123 | 746 | 24 | 2 | 914 |2094 | 1.076113e+09 | -- | Inf | unknown
103.05/103.42 c 103s| 1 | 0 |156562 | - | 401M | 0 |6183 |1123 | 750 | 28 | 3 | 914 |2094 | 1.076113e+09 | -- | Inf | unknown
103.65/104.05 c 104s| 1 | 0 |156577 | - | 401M | 0 |6183 |1123 | 754 | 32 | 4 | 914 |2094 | 1.076113e+09 | -- | Inf | unknown
104.25/104.69 c 105s| 1 | 0 |156579 | - | 402M | 0 |6183 |1123 | 756 | 34 | 5 | 914 |2094 | 1.076113e+09 | -- | Inf | unknown
104.94/105.34 c 105s| 1 | 0 |156580 | - | 402M | 0 |6183 |1121 | 757 | 35 | 6 | 914 |2094 | 1.076113e+09 | -- | Inf | unknown
105.54/105.99 c 106s| 1 | 0 |156654 | - | 403M | 0 |6183 |1121 | 766 | 44 | 7 | 914 |2094 | 1.076114e+09 | -- | Inf | unknown
106.54/106.91 c 107s| 1 | 0 |158063 | - | 404M | 0 |6183 |1120 | 769 | 47 | 8 | 914 |2094 | 1.076115e+09 | -- | Inf | unknown
107.64/108.06 c 108s| 1 | 0 |161216 | - | 404M | 0 |6183 |1120 | 771 | 49 | 9 | 914 |2094 | 1.076115e+09 | -- | Inf | unknown
108.33/108.75 c 109s| 1 | 0 |161218 | - | 406M | 0 |6183 |1120 | 773 | 51 | 10 | 914 |2094 | 1.076115e+09 | -- | Inf | unknown
109.43/109.89 c 110s| 1 | 0 |164471 | - | 406M | 0 |6183 |1120 | 664 | 62 | 11 | 914 |2094 | 1.076115e+09 | -- | Inf | unknown
110.13/110.52 c 111s| 1 | 0 |164479 | - | 406M | 0 |6183 |1120 | 666 | 64 | 12 | 914 |2094 | 1.076115e+09 | -- | Inf | unknown
110.93/111.38 c 111s| 1 | 0 |165787 | - | 406M | 0 |6183 |1118 | 667 | 65 | 13 | 914 |2094 | 1.076115e+09 | -- | Inf | unknown
111.63/112.07 c 112s| 1 | 0 |165789 | - | 407M | 0 |6183 |1118 | 669 | 67 | 14 | 914 |2094 | 1.076115e+09 | -- | Inf | unknown
112.63/113.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
112.63/113.02 c 113s| 1 | 0 |167615 | - | 407M | 0 |6183 |1116 | 677 | 75 | 15 | 914 |2094 | 1.076116e+09 | -- | Inf | unknown
113.22/113.69 c 114s| 1 | 0 |167618 | - | 407M | 0 |6183 |1113 | 679 | 77 | 16 | 915 |2094 | 1.076116e+09 | -- | Inf | unknown
113.92/114.37 c 114s| 1 | 0 |167619 | - | 409M | 0 |6183 |1111 | 680 | 78 | 17 | 915 |2094 | 1.076116e+09 | -- | Inf | unknown
114.81/115.25 c 115s| 1 | 0 |169521 | - | 409M | 0 |6183 |1110 | 686 | 84 | 18 | 915 |2094 | 1.076116e+09 | -- | Inf | unknown
115.51/115.96 c 116s| 1 | 0 |169522 | - | 409M | 0 |6183 |1110 | 667 | 85 | 19 | 915 |2094 | 1.076116e+09 | -- | Inf | unknown
116.21/116.61 c 117s| 1 | 0 |169591 | - | 409M | 0 |6183 |1110 | 675 | 93 | 20 | 915 |2094 | 1.076117e+09 | -- | Inf | unknown
116.91/117.30 c 117s| 1 | 0 |169593 | - | 411M | 0 |6183 |1108 | 677 | 95 | 21 | 915 |2094 | 1.076117e+09 | -- | Inf | unknown
117.51/117.98 c 118s| 1 | 0 |169643 | - | 411M | 0 |6183 |1108 | 686 | 104 | 22 | 915 |2094 | 1.076117e+09 | -- | Inf | unknown
118.20/118.66 c 119s| 1 | 0 |169645 | - | 411M | 0 |6183 |1108 | 688 | 106 | 23 | 915 |2094 | 1.076117e+09 | -- | Inf | unknown
118.80/119.28 c 119s| 1 | 0 |169709 | - | 411M | 0 |6183 |1108 | 693 | 111 | 24 | 915 |2094 | 1.076117e+09 | -- | Inf | unknown
119.60/120.02 c 120s| 1 | 0 |169710 | - | 411M | 0 |6183 |1107 | 665 | 112 | 25 | 915 |2094 | 1.076117e+09 | -- | Inf | unknown
120.20/120.65 c 121s| 1 | 0 |169711 | - | 411M | 0 |6183 |1107 | 666 | 113 | 26 | 915 |2094 | 1.076117e+09 | -- | Inf | unknown
120.79/121.28 c 121s| 1 | 0 |169760 | - | 411M | 0 |6183 |1103 | 671 | 118 | 27 | 915 |2094 | 1.076118e+09 | -- | Inf | unknown
121.49/121.99 c 122s| 1 | 0 |169761 | - | 411M | 0 |6183 |1103 | 672 | 119 | 28 | 915 |2094 | 1.076118e+09 | -- | Inf | unknown
122.19/122.60 c 123s| 1 | 0 |169773 | - | 411M | 0 |6183 |1101 | 675 | 122 | 29 | 915 |2094 | 1.076118e+09 | -- | Inf | unknown
122.89/123.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
122.89/123.31 c 123s| 1 | 0 |169774 | - | 414M | 0 |6183 |1098 | 676 | 123 | 30 | 915 |2094 | 1.076118e+09 | -- | Inf | unknown
123.69/124.12 c 124s| 1 | 0 |171035 | - | 414M | 0 |6183 |1097 | 679 | 126 | 31 | 915 |2094 | 1.076118e+09 | -- | Inf | unknown
124.28/124.80 c 125s| 1 | 0 |171038 | - | 414M | 0 |6183 |1095 | 681 | 128 | 32 | 915 |2094 | 1.076118e+09 | -- | Inf | unknown
124.98/125.47 c 125s| 1 | 0 |171039 | - | 416M | 0 |6183 |1095 | 682 | 129 | 33 | 915 |2094 | 1.076118e+09 | -- | Inf | unknown
125.59/126.06 c 126s| 1 | 0 |171059 | - | 416M | 0 |6183 |1091 | 688 | 135 | 34 | 915 |2094 | 1.076118e+09 | -- | Inf | unknown
126.28/126.77 c 127s| 1 | 0 |171060 | - | 418M | 0 |6183 |1090 | 689 | 136 | 35 | 915 |2094 | 1.076118e+09 | -- | Inf | unknown
126.88/127.37 c 127s| 1 | 0 |171065 | - | 418M | 0 |6183 |1088 | 664 | 140 | 36 | 915 |2094 | 1.076118e+09 | -- | Inf | unknown
127.58/128.03 c 128s| 1 | 0 |171066 | - | 418M | 0 |6183 |1086 | 665 | 141 | 37 | 915 |2094 | 1.076118e+09 | -- | Inf | unknown
128.47/128.90 c 129s| 1 | 2 |172821 | - | 418M | 0 |6183 |1098 | 665 | 141 | 37 | 927 |2096 | 1.076118e+09 | -- | Inf | unknown
139.43/139.93 c 140s| 100 | 101 |185112 | 110.4 | 420M | 39 |6183 |1123 | 647 | 246 | 1 | 952 |2335 | 1.076118e+09 | -- | Inf | unknown
147.21/147.76 c 148s| 200 | 199 |193227 | 108.5 | 422M | 47 |6183 |1177 | 647 | 437 | 1 |1011 |2559 | 1.076118e+09 | -- | Inf | unknown
152.89/153.40 c 153s| 300 | 297 |201316 | 106.8 | 416M | 51 |6183 |1217 | 646 | 610 | 2 |1059 |2691 | 1.076118e+09 | -- | Inf | unknown
156.48/157.08 c 157s| 400 | 387 |209055 | 105.1 | 420M | 61 |6183 |1275 | 655 | 757 | 1 |1127 |2791 | 1.076118e+09 | -- | Inf | unknown
160.06/160.66 c 161s| 500 | 483 |215053 | 102.7 | 421M | 67 |6183 |1305 | 662 | 892 | 2 |1166 |2879 | 1.076118e+09 | -- | Inf | unknown
162.46/163.04 c 163s| 600 | 563 |218791 | 99.3 | 423M | 75 |6183 |1356 | 666 | 996 | 1 |1222 |2931 | 1.076118e+09 | -- | Inf | unknown
164.45/165.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
164.45/165.10 c 165s| 700 | 645 |222303 | 96.2 | 424M | 77 |6183 |1400 | 658 |1099 | 1 |1267 |2948 | 1.076118e+09 | -- | Inf | unknown
167.13/167.70 c 168s| 800 | 727 |229655 | 95.1 | 426M | 77 |6183 |1453 | 657 |1194 | 0 |1329 |2973 | 1.076118e+09 | -- | Inf | unknown
169.62/170.25 c 170s| 900 | 823 |234376 | 93.0 | 426M | 77 |6183 |1459 | 645 |1280 | 1 |1359 |3026 | 1.076118e+09 | -- | Inf | unknown
172.91/173.56 c 174s| 1000 | 914 |240823 | 91.8 | 429M | 77 |6183 |1471 | 669 |1475 | 1 |1398 |3072 | 1.076118e+09 | -- | Inf | unknown
175.70/176.31 c 176s| 1100 | 1010 |245985 | 90.1 | 433M | 77 |6183 |1491 | 669 |1678 | 1 |1432 |3115 | 1.076118e+09 | -- | Inf | unknown
183.88/184.59 c 185s| 1200 | 1096 |250992 | 88.5 | 435M | 77 |6183 |1520 | 655 |1782 | 1 |1480 |3190 | 1.076118e+09 | -- | Inf | unknown
187.17/187.84 c 188s| 1300 | 1182 |257297 | 87.6 | 436M | 77 |6183 |1544 | 643 |1944 | 1 |1519 |3232 | 1.076118e+09 | -- | Inf | unknown
190.65/191.39 c 191s| 1400 | 1268 |266991 | 87.9 | 438M | 77 |6183 |1587 | 674 |2082 | 1 |1576 |3259 | 1.076118e+09 | -- | Inf | unknown
192.35/193.05 c 193s| 1500 | 1364 |270318 | 86.0 | 439M | 77 |6183 |1608 | 668 |2158 | 1 |1607 |3279 | 1.076118e+09 | -- | Inf | unknown
194.74/195.45 c 195s| 1600 | 1432 |273977 | 84.3 | 442M | 77 |6183 |1763 | 674 |2261 | 2 |1767 |3295 | 1.076118e+09 | -- | Inf | unknown
196.93/197.60 c 198s| 1700 | 1504 |277636 | 82.7 | 442M | 77 |6183 |1852 | 650 |2349 | 1 |1869 |3304 | 1.076118e+09 | -- | Inf | unknown
241.63/242.47 c 242s| 1800 | 1562 |286029 | 82.8 | 443M | 80 |6183 |1921 | 655 |2388 | 1 |1948 |3309 | 1.076118e+09 | -- | Inf | unknown
243.42/244.27 c 244s| 1900 | 1616 |290076 | 81.5 | 445M | 96 |6183 |2005 | 665 |2422 | 1 |2034 |3310 | 1.076118e+09 | -- | Inf | unknown
245.91/246.72 c 247s| 2000 | 1672 |297016 | 81.1 | 447M | 97 |6183 |2079 | 658 |2463 | 1 |2125 |3310 | 1.076118e+09 | -- | Inf | unknown
248.21/249.06 c 249s| 2100 | 1730 |302577 | 80.4 | 448M | 97 |6183 |2102 | 655 |2506 | 0 |2165 |3324 | 1.076118e+09 | -- | Inf | unknown
253.18/254.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
253.18/254.00 c 254s| 2200 | 1766 |316917 | 82.2 | 449M | 105 |6183 |2096 | 661 |2528 | 0 |2167 |3331 | 1.076118e+09 | -- | Inf | unknown
265.65/266.50 c 266s| 2300 | 1788 |329609 | 83.4 | 450M | 111 |6183 |2082 | 662 |2548 | 4 |2169 |3336 | 1.076118e+09 | -- | Inf | unknown
267.64/268.58 c 269s| 2400 | 1830 |334253 | 82.4 | 450M | 119 |6183 |2064 | 658 |2571 | 1 |2169 |3387 | 1.076118e+09 | -- | Inf | unknown
385.06/386.23 c 386s| 2500 | 1878 |339822 | 81.7 | 453M | 119 |6183 |2147 | 656 |2588 | 1 |2261 |3405 | 1.076118e+09 | -- | Inf | unknown
388.35/389.56 c 390s| 2600 | 1906 |344392 | 80.8 | 458M | 129 |6183 |2220 | 660 |2608 | 1 |2344 |3423 | 1.076118e+09 | -- | Inf | unknown
393.73/394.94 c 395s| 2700 | 1946 |348735 | 79.9 | 460M | 131 |6183 |2285 | 0 |2633 | 0 |2443 |3524 | 1.076118e+09 | -- | Inf | unknown
398.02/399.25 c 399s| 2800 | 1990 |352997 | 79.0 | 462M | 131 |6183 |2334 | 658 |2645 | 1 |2505 |3537 | 1.076118e+09 | -- | Inf | unknown
400.42/401.66 c 402s| 2900 | 2024 |357135 | 78.1 | 465M | 137 |6183 |2366 | 659 |2656 | 1 |2550 |3554 | 1.076118e+09 | -- | Inf | unknown
407.40/408.60 c 409s| 3000 | 2064 |360405 | 77.0 | 470M | 139 |6183 |2489 | 652 |2668 | 1 |2675 |3568 | 1.076118e+09 | -- | Inf | unknown
411.08/412.34 c 412s| 3100 | 2084 |366081 | 76.6 | 471M | 141 |6183 |2765 | 651 |2677 | 0 |2958 |3575 | 1.076118e+09 | -- | Inf | unknown
413.67/414.93 c 415s| 3200 | 2102 |368625 | 75.4 | 474M | 146 |6183 |2853 | 654 |2683 | 0 |3047 |3575 | 1.076118e+09 | -- | Inf | unknown
415.87/417.19 c 417s| 3300 | 2128 |372388 | 74.6 | 475M | 153 |6183 |2885 | 658 |2692 | 1 |3108 |3577 | 1.076118e+09 | -- | Inf | unknown
420.85/422.19 c 422s| 3400 | 2176 |378011 | 74.2 | 475M | 159 |6183 |2731 | 626 |2766 | 1 |3114 |3766 | 1.076118e+09 | -- | Inf | unknown
424.33/425.67 c 426s| 3500 | 2232 |381683 | 73.5 | 476M | 159 |6183 |2715 | 650 |2823 | 0 |3225 |3834 | 1.076118e+09 | -- | Inf | unknown
441.29/442.62 c 443s| 3600 | 2234 |390998 | 73.9 | 477M | 159 |6183 |3090 | 650 |2823 | 0 |3605 |3834 | 1.076118e+09 | -- | Inf | unknown
443.38/444.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
443.38/444.78 c 445s| 3700 | 2262 |397397 | 73.7 | 480M | 167 |6183 |3131 | 654 |2851 | 1 |3702 |3856 | 1.076118e+09 | -- | Inf | unknown
449.86/451.23 c 451s| 3800 | 2284 |402664 | 73.3 | 480M | 167 |6183 |3128 | 653 |2864 | 0 |3702 |3929 | 1.076118e+09 | -- | Inf | unknown
451.25/452.64 c 453s| 3900 | 2314 |407062 | 72.7 | 481M | 167 |6183 |3161 | 657 |2877 | 1 |3737 |3937 | 1.076118e+09 | -- | Inf | unknown
452.65/454.10 c 454s| 4000 | 2330 |412639 | 72.4 | 481M | 167 |6183 |3163 | 652 |2891 | 1 |3741 |3949 | 1.076118e+09 | -- | Inf | unknown
454.04/455.46 c 455s| 4100 | 2360 |416124 | 71.7 | 484M | 167 |6183 |3133 | 658 |2902 | 1 |3762 |3968 | 1.076118e+09 | -- | Inf | unknown
455.84/457.27 c 457s| 4200 | 2372 |420423 | 71.2 | 484M | 191 |6183 |3216 | 650 |2906 | 1 |3858 |3987 | 1.076118e+09 | -- | Inf | unknown
457.74/459.10 c 459s| 4300 | 2394 |427574 | 71.2 | 486M | 191 |6183 |3261 | 657 |2917 | 1 |3903 |3987 | 1.076118e+09 | -- | Inf | unknown
459.42/460.82 c 461s| 4400 | 2426 |433280 | 70.9 | 487M | 191 |6183 |3290 | 651 |2924 | 0 |3940 |4022 | 1.076118e+09 | -- | Inf | unknown
460.72/462.11 c 462s| 4500 | 2436 |438682 | 70.7 | 487M | 196 |6183 |3290 | 657 |2934 | 1 |3940 |4022 | 1.076118e+09 | -- | Inf | unknown
462.81/464.20 c 464s| 4600 | 2478 |444393 | 70.4 | 491M | 197 |6183 |3353 | 650 |2956 | 1 |4010 |4047 | 1.076118e+09 | -- | Inf | unknown
463.81/465.20 c 465s| 4700 | 2498 |447456 | 69.8 | 491M | 197 |6183 |3336 | 658 |2970 | 0 |4031 |4047 | 1.076118e+09 | -- | Inf | unknown
465.40/466.85 c 467s| 4800 | 2538 |450365 | 69.1 | 496M | 197 |6183 |3358 | 651 |2974 | 1 |4054 |4074 | 1.076118e+09 | -- | Inf | unknown
467.30/468.71 c 469s| 4900 | 2570 |452126 | 68.3 | 508M | 197 |6183 |3325 | 653 |2981 | 0 |4081 |4083 | 1.076118e+09 | -- | Inf | unknown
467.89/469.38 c 469s| 5000 | 2586 |453249 | 67.4 | 508M | 210 |6183 |3335 | 651 |2987 | 1 |4091 |4090 | 1.076118e+09 | -- | Inf | unknown
483.56/485.03 c 485s| 5100 | 2644 |455289 | 66.6 | 508M | 210 |6183 |3387 | 652 |2993 | 1 |4148 |4113 | 1.076118e+09 | -- | Inf | unknown
532.34/533.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
532.34/533.94 c 534s| 5200 | 2688 |457224 | 65.9 | 508M | 210 |6183 |3349 | 651 |2996 | 0 |4159 |4134 | 1.076118e+09 | -- | Inf | unknown
532.94/534.59 c 535s| 5300 | 2706 |458445 | 65.1 | 508M | 216 |6183 |3348 | 658 |3007 | 0 |4159 |4134 | 1.076118e+09 | -- | Inf | unknown
533.83/535.46 c 535s| 5400 | 2754 |461368 | 64.6 | 509M | 223 |6183 |3350 | 650 |3021 | 1 |4163 |4137 | 1.076118e+09 | -- | Inf | unknown
538.53/540.19 c 540s| 5500 | 2800 |462587 | 63.8 | 509M | 223 |6183 |3369 | 663 |3045 | 1 |4188 |4171 | 1.076118e+09 | -- | Inf | unknown
539.22/540.88 c 541s| 5600 | 2838 |463642 | 63.1 | 509M | 223 |6183 |3378 | 658 |3054 | 1 |4198 |4183 | 1.076118e+09 | -- | Inf | unknown
541.31/542.99 c 543s| 5700 | 2856 |465097 | 62.4 | 509M | 223 |6183 |3349 | 650 |3056 | 1 |4202 |4200 | 1.076118e+09 | -- | Inf | unknown
542.21/543.83 c 544s| 5800 | 2900 |467405 | 61.8 | 509M | 223 |6183 |3371 | 652 |3077 | 1 |4232 |4203 | 1.076118e+09 | -- | Inf | unknown
542.91/544.54 c 545s| 5900 | 2930 |468007 | 61.0 | 509M | 223 |6183 |3391 | 650 |3081 | 0 |4253 |4217 | 1.076118e+09 | -- | Inf | unknown
546.60/548.22 c 548s| 6000 | 3008 |471053 | 60.6 | 510M | 223 |6183 |3365 | 651 |3161 | 0 |4291 |4362 | 1.076120e+09 | -- | Inf | unknown
547.40/549.01 c 549s| 6100 | 3048 |472281 | 60.0 | 510M | 223 |6183 |3360 | 655 |3178 | 3 |4291 |4377 | 1.076120e+09 | -- | Inf | unknown
548.29/549.97 c 550s| 6200 | 3090 |473724 | 59.4 | 517M | 223 |6183 |3361 | 655 |3194 | 1 |4295 |4400 | 1.076120e+09 | -- | Inf | unknown
549.19/550.88 c 551s| 6300 | 3128 |475717 | 58.9 | 518M | 223 |6183 |3371 | 652 |3228 | 1 |4305 |4406 | 1.076120e+09 | -- | Inf | unknown
550.09/551.79 c 552s| 6400 | 3178 |477105 | 58.3 | 518M | 223 |6183 |3380 | 667 |3264 | 0 |4315 |4422 | 1.076120e+09 | -- | Inf | unknown
554.27/556.00 c 556s| 6500 | 3252 |478905 | 57.8 | 518M | 223 |6183 |3316 | 645 |3336 | 1 |4327 |4510 | 1.076121e+09 | -- | Inf | unknown
556.16/557.84 c 558s| 6600 | 3310 |480566 | 57.2 | 531M | 223 |6183 |3376 | 658 |3350 | 1 |4400 |4543 | 1.076121e+09 | -- | Inf | unknown
558.66/560.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
558.66/560.34 c 560s| 6700 | 3358 |481583 | 56.7 | 546M | 223 |6183 |3422 | 651 |3371 | 0 |4462 |4581 | 1.076121e+09 | -- | Inf | unknown
568.63/570.38 c 570s| 6800 | 3414 |482652 | 56.1 | 552M | 223 |6183 |3465 | 658 |3396 | 2 |4506 |4594 | 1.076121e+09 | -- | Inf | unknown
570.23/571.98 c 572s| 6900 | 3466 |484861 | 55.7 | 555M | 223 |6183 |3469 | 648 |3427 | 1 |4572 |4623 | 1.076121e+09 | -- | Inf | unknown
578.10/579.82 c 580s| 7000 | 3518 |488432 | 55.4 | 556M | 223 |6183 |3518 | 654 |3446 | 1 |4705 |4623 | 1.076121e+09 | -- | Inf | unknown
584.78/586.52 c 587s| 7100 | 3574 |495511 | 55.6 | 557M | 223 |6183 |3509 | 651 |3497 | 0 |4838 |4693 | 1.076121e+09 | -- | Inf | unknown
587.38/589.19 c 589s| 7200 | 3614 |504696 | 56.0 | 559M | 223 |6183 |3571 | 652 |3498 | 1 |4926 |4694 | 1.076121e+09 | -- | Inf | unknown
590.86/592.63 c 593s| 7300 | 3647 |517151 | 56.8 | 560M | 223 |6183 |3574 | 651 |3506 | 1 |5053 |4704 | 1.076121e+09 | -- | Inf | unknown
641.15/643.01 c 643s| 7400 | 3691 |526503 | 57.3 | 560M | 223 |6183 |3603 | 653 |3508 | 0 |5105 |4704 | 1.076121e+09 | -- | Inf | unknown
643.14/645.07 c 645s| 7500 | 3742 |531892 | 57.2 | 561M | 223 |6183 |3648 | 653 |3527 | 1 |5232 |4726 | 1.076121e+09 | -- | Inf | unknown
646.82/648.76 c 649s| 7600 | 3768 |545284 | 58.1 | 562M | 223 |6183 |3741 | 653 |3527 | 1 |5399 |4726 | 1.076121e+09 | -- | Inf | unknown
649.71/651.68 c 652s| 7700 | 3802 |553393 | 58.3 | 564M | 223 |6183 |3786 | 651 |3530 | 1 |5517 |4728 | 1.076121e+09 | -- | Inf | unknown
653.30/655.22 c 655s| 7800 | 3842 |563450 | 58.8 | 565M | 223 |6183 |3866 | 658 |3547 | 0 |5655 |4730 | 1.076121e+09 | -- | Inf | unknown
656.59/658.51 c 659s| 7900 | 3888 |573647 | 59.3 | 565M | 223 |6183 |3881 | 651 |3550 | 1 |5790 |4744 | 1.076121e+09 | -- | Inf | unknown
658.28/660.23 c 660s| 8000 | 3916 |579774 | 59.3 | 567M | 223 |6183 |3888 | 648 |3553 | 0 |5830 |4749 | 1.076121e+09 | -- | Inf | unknown
667.56/669.53 c 670s| 8100 | 3952 |585795 | 59.3 | 568M | 223 |6183 |3950 | 650 |3555 | 1 |5953 |4749 | 1.076121e+09 | -- | Inf | unknown
671.25/673.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
671.25/673.28 c 673s| 8200 | 3984 |597459 | 59.9 | 568M | 223 |6183 |3913 | 649 |3566 | 0 |6056 |4749 | 1.076121e+09 | -- | Inf | unknown
672.84/674.86 c 675s| 8300 | 4030 |600053 | 59.5 | 569M | 223 |6183 |3889 | 656 |3577 | 1 |6059 |4749 | 1.076121e+09 | -- | Inf | unknown
739.87/742.08 c 742s| 8400 | 4076 |610389 | 60.0 | 569M | 223 |6183 |3684 | 632 |3593 | 1 |6179 |4867 | 1.076121e+09 | -- | Inf | unknown
743.35/745.56 c 746s| 8500 | 4136 |615720 | 59.9 | 570M | 223 |6183 |3582 | 654 |3655 | 0 |6341 |5005 | 1.076121e+09 | -- | Inf | unknown
745.64/747.84 c 748s| 8600 | 4190 |619663 | 59.7 | 570M | 223 |6183 |3345 | 648 |3659 | 1 |6437 |5028 | 1.076121e+09 | -- | Inf | unknown
748.84/751.06 c 751s| 8700 | 4228 |627171 | 59.9 | 570M | 223 |6183 |3339 | 649 |3666 | 0 |6669 |5046 | 1.076121e+09 | -- | Inf | unknown
751.22/753.41 c 753s| 8800 | 4270 |633777 | 59.9 | 571M | 223 |6183 |3344 | 651 |3668 | 1 |6728 |5046 | 1.076121e+09 | -- | Inf | unknown
754.21/756.46 c 756s| 8900 | 4318 |640504 | 60.0 | 579M | 223 |6183 |3256 | 649 |3677 | 2 |6835 |5061 | 1.076121e+09 | -- | Inf | unknown
755.41/757.63 c 758s| 9000 | 4364 |642045 | 59.6 | 580M | 223 |6183 |3316 | 652 |3682 | 1 |6919 |5061 | 1.076121e+09 | -- | Inf | unknown
757.80/760.10 c 760s| 9100 | 4412 |647090 | 59.5 | 580M | 223 |6183 |3318 | 653 |3701 | 1 |6985 |5081 | 1.076121e+09 | -- | Inf | unknown
759.09/761.33 c 761s| 9200 | 4460 |650597 | 59.3 | 581M | 223 |6183 |3331 | 653 |3712 | 1 |7049 |5087 | 1.076121e+09 | -- | Inf | unknown
761.29/763.51 c 764s| 9300 | 4502 |655059 | 59.1 | 582M | 223 |6183 |3353 | 654 |3714 | 1 |7100 |5087 | 1.076121e+09 | -- | Inf | unknown
763.08/765.36 c 765s| 9400 | 4550 |661211 | 59.1 | 584M | 223 |6183 |3335 | 653 |3727 | 1 |7131 |5087 | 1.076121e+09 | -- | Inf | unknown
766.47/768.71 c 769s| 9500 | 4604 |665098 | 59.0 | 584M | 223 |6183 |3197 | 645 |3798 | 1 |7140 |5182 | 1.076121e+09 | -- | Inf | unknown
767.77/770.03 c 770s| 9600 | 4666 |668248 | 58.7 | 584M | 223 |6183 |3113 | 652 |3816 | 0 |7153 |5198 | 1.076121e+09 | -- | Inf | unknown
771.65/773.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
771.65/773.93 c 774s| 9700 | 4736 |674842 | 58.8 | 585M | 223 |6183 |2936 | 648 |3902 | 1 |7207 |5308 | 1.076121e+09 | -- | Inf | unknown
772.45/774.72 c 775s| 9800 | 4786 |676874 | 58.4 | 585M | 223 |6183 |2952 | 653 |3909 | 1 |7229 |5308 | 1.076121e+09 | -- | Inf | unknown
778.33/780.68 c 781s| 9900 | 4826 |680685 | 58.2 | 585M | 223 |6183 |3001 | 653 |3918 | 0 |7301 |5309 | 1.076121e+09 | -- | Inf | unknown
793.39/795.74 c 796s| 10000 | 4856 |683824 | 58.0 | 587M | 223 |6183 |3060 | 651 |3928 | 0 |7368 |5310 | 1.076121e+09 | -- | Inf | unknown
821.91/824.34 c 824s| 10100 | 4892 |687996 | 57.9 | 589M | 223 |6183 |3129 | 648 |3940 | 1 |7496 |5310 | 1.076121e+09 | -- | Inf | unknown
823.20/825.69 c 826s| 10200 | 4956 |690688 | 57.6 | 590M | 223 |6183 |3243 | 654 |3961 | 1 |7617 |5310 | 1.076121e+09 | -- | Inf | unknown
826.79/829.24 c 829s| 10300 | 5013 |692111 | 57.2 | 604M | 223 |6183 |3374 | 0 |3968 | 0 |7764 |5329 | 1.076121e+09 | -- | Inf | unknown
827.99/830.44 c 830s| 10400 | 5075 |694042 | 56.9 | 605M | 223 |6183 |3239 | 651 |3981 | 0 |7868 |5349 | 1.076121e+09 | -- | Inf | unknown
829.08/831.54 c 832s| 10500 | 5127 |695207 | 56.5 | 605M | 223 |6183 |3271 | 655 |3992 | 1 |7901 |5364 | 1.076121e+09 | -- | Inf | unknown
830.38/832.83 c 833s| 10600 | 5177 |696550 | 56.2 | 607M | 223 |6183 |3297 | 657 |4011 | 1 |7929 |5377 | 1.076121e+09 | -- | Inf | unknown
831.37/833.87 c 834s| 10700 | 5228 |697933 | 55.8 | 610M | 223 |6183 |3322 | 655 |4022 | 1 |7961 |5379 | 1.076121e+09 | -- | Inf | unknown
832.67/835.16 c 835s| 10800 | 5290 |698977 | 55.4 | 615M | 223 |6183 |3213 | 652 |4042 | 0 |7980 |5402 | 1.076121e+09 | -- | Inf | unknown
833.67/836.11 c 836s| 10900 | 5348 |700113 | 55.1 | 616M | 223 |6183 |3227 | 653 |4057 | 1 |7996 |5421 | 1.076121e+09 | -- | Inf | unknown
837.05/839.53 c 840s| 11000 | 5428 |702772 | 54.8 | 619M | 223 |6183 |3126 | 651 |4128 | 1 |8018 |5588 | 1.076121e+09 | -- | Inf | unknown
847.63/850.14 c 850s| 11100 | 5496 |703745 | 54.5 | 619M | 223 |6183 |3081 | 654 |4149 | 0 |8051 |5622 | 1.076121e+09 | -- | Inf | unknown
848.72/851.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
848.72/851.29 c 851s| 11200 | 5557 |704878 | 54.1 | 621M | 223 |6183 |3098 | 653 |4186 | 0 |8077 |5624 | 1.076121e+09 | -- | Inf | unknown
849.91/852.48 c 852s| 11300 | 5617 |705587 | 53.8 | 621M | 223 |6183 |3087 | 651 |4222 | 1 |8085 |5678 | 1.076121e+09 | -- | Inf | unknown
851.51/854.08 c 854s| 11400 | 5663 |708711 | 53.6 | 622M | 223 |6183 |2953 | 649 |4237 | 1 |8131 |5687 | 1.076121e+09 | -- | Inf | unknown
852.31/854.87 c 855s| 11500 | 5709 |710201 | 53.3 | 622M | 223 |6183 |2822 | 0 |4242 | 0 |8140 |5695 | 1.076121e+09 | -- | Inf | unknown
855.50/858.09 c 858s| 11600 | 5785 |717539 | 53.4 | 623M | 223 |6183 |2727 | 649 |4362 | 1 |8202 |5761 | 1.076121e+09 | -- | Inf | unknown
860.08/862.66 c 863s| 11700 | 5829 |720111 | 53.2 | 624M | 223 |6183 |2720 | 650 |4364 | 1 |8203 |5768 | 1.076121e+09 | -- | Inf | unknown
861.67/864.20 c 864s| 11800 | 5881 |724803 | 53.2 | 624M | 223 |6183 |2763 | 649 |4366 | 1 |8327 |5768 | 1.076121e+09 | -- | Inf | unknown
863.27/865.85 c 866s| 11900 | 5933 |729759 | 53.2 | 625M | 223 |6183 |2774 | 648 |4367 | 1 |8439 |5769 | 1.076121e+09 | -- | Inf | unknown
865.76/868.39 c 868s| 12000 | 5975 |740083 | 53.5 | 625M | 223 |6183 |2833 | 654 |4379 | 1 |8593 |5769 | 1.076121e+09 | -- | Inf | unknown
872.55/875.14 c 875s| 12100 | 6027 |745926 | 53.6 | 626M | 223 |6183 |2770 | 653 |4401 | 1 |8696 |5769 | 1.076121e+09 | -- | Inf | unknown
873.64/876.29 c 876s| 12200 | 6063 |748378 | 53.3 | 627M | 223 |6183 |2709 | 0 |4401 | 0 |8795 |5769 | 1.076121e+09 | -- | Inf | unknown
875.73/878.34 c 878s| 12300 | 6117 |751063 | 53.2 | 627M | 223 |6183 |2567 | 648 |4415 | 1 |8822 |5770 | 1.076121e+09 | -- | Inf | unknown
878.42/881.04 c 881s| 12400 | 6163 |760967 | 53.5 | 627M | 223 |6183 |2553 | 653 |4429 | 1 |8932 |5781 | 1.076121e+09 | -- | Inf | unknown
879.22/881.88 c 882s| 12500 | 6195 |762994 | 53.2 | 627M | 223 |6183 |2485 | 649 |4437 | 1 |8966 |5783 | 1.076121e+09 | -- | Inf | unknown
905.35/908.06 c 908s| 12600 | 6245 |767955 | 53.2 | 627M | 223 |6183 |2514 | 650 |4438 | 0 |9019 |5783 | 1.076121e+09 | -- | Inf | unknown
908.04/910.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
908.04/910.70 c 911s| 12700 | 6287 |777262 | 53.5 | 633M | 223 |6183 |2488 | 652 |4447 | 1 |9172 |5815 | 1.076121e+09 | -- | Inf | unknown
909.93/912.67 c 913s| 12800 | 6331 |783952 | 53.6 | 634M | 223 |6183 |2490 | 651 |4454 | 1 |9288 |5821 | 1.076121e+09 | -- | Inf | unknown
912.02/914.77 c 915s| 12900 | 6385 |790753 | 53.7 | 634M | 223 |6183 |2600 | 649 |4462 | 1 |9473 |5848 | 1.076121e+09 | -- | Inf | unknown
913.12/915.87 c 916s| 13000 | 6427 |793590 | 53.5 | 635M | 223 |6183 |2652 | 651 |4469 | 1 |9536 |5850 | 1.076121e+09 | -- | Inf | unknown
914.51/917.21 c 917s| 13100 | 6453 |798290 | 53.5 | 635M | 223 |6183 |2663 | 651 |4478 | 0 |9584 |5857 | 1.076121e+09 | -- | Inf | unknown
925.29/928.01 c 928s| 13200 | 6499 |802965 | 53.4 | 635M | 223 |6183 |2680 | 649 |4482 | 1 |9620 |5857 | 1.076121e+09 | -- | Inf | unknown
1031.79/1034.80 c 1035s| 13300 | 6547 |812183 | 53.7 | 637M | 223 |6183 |2828 | 650 |4486 | 1 |9795 |5865 | 1.076121e+09 | -- | Inf | unknown
1098.71/1101.94 c 1102s| 13400 | 6597 |818839 | 53.8 | 637M | 223 |6183 |2843 | 649 |4489 | 0 |9861 |5874 | 1.076121e+09 | -- | Inf | unknown
1099.51/1102.71 c 1103s| 13500 | 6643 |820254 | 53.5 | 637M | 223 |6183 |2888 | 654 |4495 | 1 |9910 |5874 | 1.076121e+09 | -- | Inf | unknown
1100.71/1103.93 c 1104s| 13600 | 6701 |822694 | 53.3 | 638M | 223 |6183 |2973 | 653 |4507 | 1 | 10k|5878 | 1.076121e+09 | -- | Inf | unknown
1253.41/1257.08 c 1257s| 13700 | 6737 |825944 | 53.2 | 638M | 223 |6183 |3004 | 650 |4515 | 0 | 10k|5905 | 1.076121e+09 | -- | Inf | unknown
1271.75/1275.49 c 1275s| 13800 | 6775 |828901 | 53.0 | 639M | 223 |6183 |3022 | 650 |4536 | 1 | 10k|5915 | 1.076121e+09 | -- | Inf | unknown
1272.95/1276.60 c 1277s| 13900 | 6845 |831811 | 52.9 | 639M | 223 |6183 |3102 | 650 |4539 | 1 | 10k|5919 | 1.076121e+09 | -- | Inf | unknown
1273.75/1277.43 c 1277s| 14000 | 6883 |832128 | 52.5 | 640M | 223 |6183 |3162 | 649 |4542 | 1 | 10k|5940 | 1.076121e+09 | -- | Inf | unknown
1274.54/1278.22 c 1278s| 14100 | 6937 |833349 | 52.3 | 640M | 223 |6183 |3173 | 656 |4550 | 1 | 10k|5952 | 1.076121e+09 | -- | Inf | unknown
1321.12/1324.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1321.12/1324.97 c 1325s| 14200 | 7011 |834027 | 52.0 | 640M | 223 |6183 |3187 | 652 |4560 | 1 | 10k|5995 | 1.076121e+09 | -- | Inf | unknown
1322.12/1325.91 c 1326s| 14300 | 7085 |834965 | 51.7 | 640M | 223 |6183 |3197 | 649 |4567 | 1 | 10k|6043 | 1.076121e+09 | -- | Inf | unknown
1366.70/1370.67 c 1371s| 14400 | 7153 |835797 | 51.4 | 644M | 223 |6183 |3225 | 660 |4586 | 2 | 10k|6057 | 1.076121e+09 | -- | Inf | unknown
1376.07/1380.03 c 1380s| 14500 | 7225 |836462 | 51.2 | 645M | 223 |6183 |3231 | 653 |4593 | 1 | 10k|6069 | 1.076121e+09 | -- | Inf | unknown
1379.56/1383.54 c 1384s| 14600 | 7305 |838558 | 51.0 | 646M | 223 |6183 |2909 | 649 |4624 | 1 | 10k|6199 | 1.076122e+09 | -- | Inf | unknown
1389.53/1393.51 c 1394s| 14700 | 7383 |839073 | 50.7 | 646M | 223 |6183 |2902 | 654 |4634 | 3 | 10k|6226 | 1.076122e+09 | -- | Inf | unknown
1391.72/1395.76 c 1396s| 14800 | 7457 |841054 | 50.5 | 646M | 223 |6183 |2608 | 649 |4679 | 1 | 10k|6348 | 1.076122e+09 | -- | Inf | unknown
1392.72/1396.75 c 1397s| 14900 | 7521 |841649 | 50.2 | 646M | 223 |6183 |2630 | 650 |4696 | 1 | 10k|6380 | 1.076122e+09 | -- | Inf | unknown
1394.61/1398.69 c 1399s| 15000 | 7577 |843281 | 50.0 | 646M | 223 |6183 |2496 | 629 |4743 | 1 | 10k|6468 | 1.076122e+09 | -- | Inf | unknown
1396.90/1400.96 c 1401s| 15100 | 7633 |847203 | 49.9 | 647M | 223 |6183 |2498 | 649 |4798 | 1 | 10k|6520 | 1.076122e+09 | -- | Inf | unknown
1440.99/1445.16 c 1445s| 15200 | 7677 |848781 | 49.7 | 647M | 223 |6183 |2493 | 650 |4805 | 1 | 10k|6531 | 1.076122e+09 | -- | Inf | unknown
1444.88/1449.03 c 1449s| 15300 | 7749 |853332 | 49.7 | 648M | 223 |6183 |2418 | 654 |4874 | 1 | 10k|6607 | 1.076122e+09 | -- | Inf | unknown
1446.66/1450.86 c 1451s| 15400 | 7799 |858199 | 49.7 | 648M | 223 |6183 |2422 | 652 |4881 | 1 | 10k|6607 | 1.076122e+09 | -- | Inf | unknown
1448.76/1452.96 c 1453s| 15500 | 7839 |864542 | 49.8 | 648M | 223 |6183 |2439 | 650 |4893 | 0 | 10k|6615 | 1.076122e+09 | -- | Inf | unknown
1450.95/1455.19 c 1455s| 15600 | 7883 |868975 | 49.8 | 651M | 223 |6183 |2482 | 652 |4899 | 1 | 11k|6640 | 1.076122e+09 | -- | Inf | unknown
1453.34/1457.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1453.34/1457.54 c 1458s| 15700 | 7931 |878224 | 50.0 | 653M | 223 |6183 |2403 | 648 |4902 | 1 | 11k|6640 | 1.076122e+09 | -- | Inf | unknown
1469.80/1474.05 c 1474s| 15800 | 7989 |879983 | 49.8 | 653M | 223 |6183 |2397 | 650 |4907 | 1 | 11k|6643 | 1.076122e+09 | -- | Inf | unknown
1519.46/1523.82 c 1524s| 15900 | 8027 |884427 | 49.8 | 653M | 223 |6183 |2365 | 649 |4914 | 1 | 11k|6662 | 1.076122e+09 | -- | Inf | unknown
1521.06/1525.44 c 1525s| 16000 | 8071 |888935 | 49.8 | 654M | 223 |6183 |2402 | 649 |4916 | 1 | 11k|6666 | 1.076122e+09 | -- | Inf | unknown
1522.45/1526.89 c 1527s| 16100 | 8095 |893402 | 49.7 | 654M | 223 |6183 |2353 | 650 |4927 | 1 | 11k|6673 | 1.076122e+09 | -- | Inf | unknown
1524.55/1528.90 c 1529s| 16200 | 8141 |896216 | 49.6 | 654M | 223 |6183 |2357 | 651 |4931 | 0 | 11k|6707 | 1.076122e+09 | -- | Inf | unknown
1525.44/1529.82 c 1530s| 16300 | 8165 |898958 | 49.5 | 654M | 223 |6183 |2269 | 650 |4935 | 1 | 11k|6707 | 1.076122e+09 | -- | Inf | unknown
1528.43/1532.80 c 1533s| 16400 | 8205 |908609 | 49.8 | 655M | 223 |6183 |2330 | 650 |4938 | 1 | 11k|6717 | 1.076122e+09 | -- | Inf | unknown
1534.11/1538.57 c 1539s| 16500 | 8247 |919288 | 50.1 | 655M | 223 |6183 |2385 | 649 |4940 | 1 | 11k|6722 | 1.076122e+09 | -- | Inf | unknown
1535.51/1540.00 c 1540s| 16600 | 8273 |924928 | 50.1 | 657M | 223 |6183 |2390 | 648 |4942 | 1 | 11k|6723 | 1.076122e+09 | -- | Inf | unknown
1541.19/1545.66 c 1546s| 16700 | 8315 |930888 | 50.2 | 658M | 223 |6183 |2483 | 648 |4942 | 1 | 11k|6723 | 1.076122e+09 | -- | Inf | unknown
1542.29/1546.78 c 1547s| 16800 | 8361 |934854 | 50.1 | 658M | 223 |6183 |2476 | 648 |4944 | 1 | 11k|6728 | 1.076122e+09 | -- | Inf | unknown
1543.19/1547.60 c 1548s| 16900 | 8397 |937511 | 50.0 | 658M | 223 |6183 |2485 | 648 |4946 | 1 | 11k|6730 | 1.076122e+09 | -- | Inf | unknown
1544.59/1549.09 c 1549s| 17000 | 8443 |940266 | 49.8 | 659M | 223 |6183 |2566 | 648 |4946 | 0 | 12k|6736 | 1.076122e+09 | -- | Inf | unknown
1546.37/1550.87 c 1551s| 17100 | 8501 |946559 | 49.9 | 659M | 223 |6183 |2632 | 649 |4955 | 1 | 12k|6740 | 1.076122e+09 | -- | Inf | unknown
1555.85/1560.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1555.85/1560.38 c 1560s| 17200 | 8549 |951611 | 49.9 | 660M | 223 |6183 |2658 | 648 |4958 | 1 | 12k|6741 | 1.076122e+09 | -- | Inf | unknown
1556.94/1561.46 c 1561s| 17300 | 8596 |954744 | 49.8 | 660M | 223 |6183 |2715 | 650 |4962 | 1 | 12k|6745 | 1.076122e+09 | -- | Inf | unknown
1557.65/1562.14 c 1562s| 17400 | 8656 |956195 | 49.6 | 661M | 223 |6183 |2722 | 657 |4969 | 0 | 12k|6745 | 1.076122e+09 | -- | Inf | unknown
1560.23/1564.75 c 1565s| 17500 | 8721 |963250 | 49.7 | 662M | 223 |6183 |2541 | 648 |5000 | 1 | 12k|6791 | 1.076123e+09 | -- | Inf | unknown
1561.33/1565.81 c 1566s| 17600 | 8787 |966164 | 49.6 | 662M | 223 |6183 |2594 | 650 |5003 | 1 | 12k|6791 | 1.076123e+09 | -- | Inf | unknown
1569.51/1574.06 c 1574s| 17700 | 8851 |967414 | 49.4 | 663M | 223 |6183 |2600 | 651 |5009 | 1 | 12k|6801 | 1.076123e+09 | -- | Inf | unknown
1570.10/1574.62 c 1575s| 17800 | 8913 |968038 | 49.2 | 663M | 223 |6183 |2620 | 652 |5014 | 0 | 12k|6807 | 1.076123e+09 | -- | Inf | unknown
1570.80/1575.30 c 1575s| 17900 | 8983 |968608 | 49.0 | 663M | 223 |6183 |2630 | 649 |5017 | 1 | 12k|6822 | 1.076123e+09 | -- | Inf | unknown
1572.39/1576.93 c 1577s| 18000 | 9033 |973118 | 49.0 | 665M | 223 |6183 |2510 | 650 |5023 | 1 | 12k|6837 | 1.076123e+09 | -- | Inf | unknown
1578.48/1583.03 c 1583s| 18100 | 9083 |974653 | 48.8 | 665M | 223 |6183 |2386 | 650 |5027 | 1 | 12k|6849 | 1.076123e+09 | -- | Inf | unknown
1580.17/1584.74 c 1585s| 18200 | 9137 |976037 | 48.6 | 665M | 223 |6183 |2282 | 638 |5036 | 1 | 12k|6908 | 1.076123e+09 | -- | Inf | unknown
1584.85/1589.49 c 1589s| 18300 | 9210 |982986 | 48.7 | 665M | 223 |6183 |2161 | 652 |5089 | 1 | 12k|7051 | 1.076123e+09 | -- | Inf | unknown
1586.45/1591.07 c 1591s| 18400 | 9259 |985248 | 48.6 | 668M | 223 |6183 |2125 | 649 |5093 | 1 | 12k|7069 | 1.076123e+09 | -- | Inf | unknown
1587.34/1591.98 c 1592s| 18500 | 9321 |986782 | 48.4 | 668M | 223 |6183 |2097 | 661 |5106 | 1 | 12k|7076 | 1.076123e+09 | -- | Inf | unknown
1589.14/1593.76 c 1594s| 18600 | 9399 |989645 | 48.3 | 668M | 223 |6183 |1989 | 648 |5131 | 1 | 13k|7146 | 1.076123e+09 | -- | Inf | unknown
1590.83/1595.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1590.83/1595.48 c 1595s| 18700 | 9431 |996412 | 48.4 | 669M | 223 |6183 |1928 | 650 |5134 | 1 | 13k|7148 | 1.076123e+09 | -- | Inf | unknown
1593.22/1597.80 c 1598s| 18800 | 9505 | 1000k| 48.4 | 669M | 223 |6183 |1852 | 655 |5166 | 1 | 13k|7207 | 1.076123e+09 | -- | Inf | unknown
1594.72/1599.38 c 1599s| 18900 | 9583 | 1005k| 48.4 | 669M | 223 |6183 |1873 | 651 |5169 | 1 | 13k|7207 | 1.076123e+09 | -- | Inf | unknown
1595.61/1600.27 c 1600s| 19000 | 9641 | 1006k| 48.2 | 669M | 223 |6183 |1926 | 660 |5184 | 0 | 13k|7207 | 1.076123e+09 | -- | Inf | unknown
1599.00/1603.64 c 1604s| 19100 | 9703 | 1013k| 48.3 | 670M | 223 |6183 |1739 | 652 |5273 | 1 | 13k|7274 | 1.076123e+09 | -- | Inf | unknown
1603.99/1608.64 c 1609s| 19200 | 9747 | 1019k| 48.3 | 670M | 223 |6183 |1711 | 648 |5273 | 0 | 13k|7276 | 1.076123e+09 | -- | Inf | unknown
1606.08/1610.73 c 1611s| 19300 | 9791 | 1022k| 48.3 | 674M | 223 |6183 |1753 | 633 |5274 | 1 | 13k|7290 | 1.076123e+09 | -- | Inf | unknown
1608.67/1613.32 c 1613s| 19400 | 9869 | 1026k| 48.3 | 677M | 223 |6183 |1808 | 639 |5400 | 1 | 13k|7337 | 1.076123e+09 | -- | Inf | unknown
1611.36/1616.01 c 1616s| 19500 | 9954 | 1032k| 48.3 | 687M | 223 |6183 |1828 | 660 |5542 | 1 | 13k|7384 | 1.076123e+09 | -- | Inf | unknown
1636.89/1641.62 c 1642s| 19600 | 10020 | 1035k| 48.2 | 687M | 223 |6183 |1855 | 657 |5560 | 2 | 13k|7401 | 1.076123e+09 | -- | Inf | unknown
1640.77/1645.59 c 1646s| 19700 | 10078 | 1041k| 48.3 | 688M | 223 |6183 |1745 | 657 |5659 | 1 | 14k|7535 | 1.076123e+09 | -- | Inf | unknown
1649.05/1653.88 c 1654s| 19800 | 10138 | 1043k| 48.1 | 688M | 223 |6183 |1809 | 659 |5661 | 1 | 14k|7535 | 1.076123e+09 | -- | Inf | unknown
1650.64/1655.50 c 1655s| 19900 | 10172 | 1049k| 48.2 | 689M | 223 |6183 |1738 | 655 |5677 | 1 | 14k|7536 | 1.076123e+09 | -- | Inf | unknown
1689.73/1694.61 c 1695s| 20000 | 10206 | 1053k| 48.2 | 689M | 223 |6183 |1667 | 650 |5679 | 0 | 14k|7536 | 1.076123e+09 | -- | Inf | unknown
1692.52/1697.49 c 1697s| 20100 | 10250 | 1060k| 48.2 | 690M | 223 |6183 |1631 | 651 |5687 | 1 | 14k|7542 | 1.076123e+09 | -- | Inf | unknown
1693.72/1698.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1693.72/1698.65 c 1699s| 20200 | 10298 | 1063k| 48.2 | 688M | 223 |6183 |1686 | 655 |5692 | 1 | 14k|7542 | 1.076123e+09 | -- | Inf | unknown
1696.11/1701.05 c 1701s| 20300 | 10366 | 1066k| 48.1 | 688M | 223 |6183 |1602 | 651 |5764 | 1 | 14k|7602 | 1.076123e+09 | -- | Inf | unknown
1699.69/1704.68 c 1705s| 20400 | 10436 | 1075k| 48.3 | 690M | 223 |6183 |1591 | 656 |5861 | 1 | 14k|7670 | 1.076123e+09 | -- | Inf | unknown
1706.67/1711.68 c 1712s| 20500 | 10496 | 1078k| 48.2 | 690M | 223 |6183 |1566 | 648 |5864 | 0 | 14k|7670 | 1.076123e+09 | -- | Inf | unknown
1721.63/1726.65 c 1727s| 20600 | 10552 | 1086k| 48.3 | 691M | 223 |6183 |1636 | 655 |5874 | 1 | 14k|7671 | 1.076123e+09 | -- | Inf | unknown
1753.54/1758.61 c 1759s| 20700 | 10590 | 1092k| 48.4 | 693M | 223 |6183 |1596 | 648 |5892 | 1 | 14k|7681 | 1.076123e+09 | -- | Inf | unknown
1755.73/1760.81 c 1761s| 20800 | 10646 | 1101k| 48.6 | 693M | 223 |6183 |1616 | 649 |5909 | 1 | 14k|7686 | 1.076123e+09 | -- | Inf | unknown
1756.43/1761.50 c 1762s| 20900 | 10700 | 1102k| 48.4 | 693M | 223 |6183 |1601 | 650 |5917 | 1 | 14k|7701 | 1.076123e+09 | -- | Inf | unknown
1757.93/1763.07 c 1763s| 21000 | 10746 | 1104k| 48.3 | 693M | 223 |6183 |1614 | 663 |5945 | 0 | 14k|7707 | 1.076123e+09 | -- | Inf | unknown
1759.62/1764.73 c 1765s| 21100 | 10810 | 1107k| 48.2 | 694M | 223 |6183 |1632 | 644 |5974 | 1 | 15k|7717 | 1.076123e+09 | -- | Inf | unknown
1804.30/1809.51 c 1810s| 21200 | 10872 | 1111k| 48.2 | 694M | 223 |6183 |1666 | 653 |5984 | 1 | 15k|7729 | 1.076123e+09 | -- | Inf | unknown
1864.23/1869.64 c 1870s| 21300 | 10952 | 1116k| 48.2 | 695M | 223 |6183 |1613 | 665 |6065 | 2 | 15k|7789 | 1.076123e+09 | -- | Inf | unknown
1888.96/1894.40 c 1894s| 21400 | 11006 | 1123k| 48.3 | 695M | 223 |6183 |1635 | 655 |6071 | 1 | 15k|7790 | 1.076123e+09 | -- | Inf | unknown
1895.04/1900.53 c 1901s| 21500 | 11069 | 1125k| 48.1 | 697M | 223 |6183 |1685 | 658 |6093 | 0 | 15k|7794 | 1.076123e+09 | -- | Inf | unknown
1944.81/1950.45 c 1950s| 21600 | 11123 | 1127k| 48.0 | 698M | 223 |6183 |1693 | 651 |6097 | 1 | 15k|7812 | 1.076123e+09 | -- | Inf | unknown
1945.51/1951.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1945.51/1951.17 c 1951s| 21700 | 11187 | 1128k| 47.8 | 698M | 223 |6183 |1698 | 0 |6099 | 0 | 15k|7818 | 1.076123e+09 | -- | Inf | unknown
1948.30/1953.94 c 1954s| 21800 | 11243 | 1129k| 47.7 | 698M | 223 |6183 |1765 | 651 |6104 | 1 | 15k|7818 | 1.076123e+09 | -- | Inf | unknown
1968.04/1973.72 c 1974s| 21900 | 11305 | 1130k| 47.5 | 700M | 223 |6183 |1764 | 0 |6113 | 0 | 15k|7824 | 1.076123e+09 | -- | Inf | unknown
1968.64/1974.32 c 1974s| 22000 | 11373 | 1131k| 47.4 | 699M | 223 |6183 |1780 | 651 |6121 | 0 | 15k|7831 | 1.076123e+09 | -- | Inf | unknown
1970.53/1976.23 c 1976s| 22100 | 11449 | 1134k| 47.3 | 699M | 223 |6183 |1776 | 648 |6152 | 1 | 15k|7905 | 1.076123e+09 | -- | Inf | unknown
1976.02/1981.77 c 1982s| 22200 | 11509 | 1134k| 47.1 | 701M | 223 |6183 |1802 | 648 |6154 | 0 | 15k|7940 | 1.076123e+09 | -- | Inf | unknown
1978.70/1984.42 c 1984s| 22300 | 11585 | 1138k| 47.0 | 701M | 223 |6183 |1736 | 687 |6268 | 1 | 15k|8038 | 1.076123e+09 | -- | Inf | unknown
2005.13/2010.91 c 2011s| 22400 | 11659 | 1139k| 46.9 | 702M | 223 |6183 |1719 | 648 |6270 | 1 | 15k|8061 | 1.076123e+09 | -- | Inf | unknown
2012.61/2018.45 c 2018s| 22500 | 11711 | 1144k| 46.9 | 702M | 223 |6183 |1747 | 649 |6273 | 1 | 15k|8066 | 1.076123e+09 | -- | Inf | unknown
2128.49/2134.61 c 2135s| 22600 | 11775 | 1147k| 46.9 | 702M | 223 |6183 |1600 | 641 |6299 | 1 | 15k|8103 | 1.076123e+09 | -- | Inf | unknown
2130.08/2136.26 c 2136s| 22700 | 11841 | 1153k| 46.9 | 703M | 223 |6183 |1604 | 649 |6299 | 1 | 15k|8107 | 1.076123e+09 | -- | Inf | unknown
2134.77/2140.97 c 2141s| 22800 | 11885 | 1159k| 47.0 | 704M | 223 |6183 |1612 | 653 |6306 | 0 | 15k|8108 | 1.076123e+09 | -- | Inf | unknown
2137.16/2143.34 c 2143s| 22900 | 11951 | 1167k| 47.1 | 706M | 223 |6183 |1563 | 655 |6324 | 1 | 15k|8145 | 1.076124e+09 | -- | Inf | unknown
2138.56/2144.72 c 2145s| 23000 | 12009 | 1168k| 46.9 | 708M | 223 |6183 |1575 | 0 |6326 | 0 | 15k|8150 | 1.076124e+09 | -- | Inf | unknown
2140.95/2147.17 c 2147s| 23100 | 12051 | 1177k| 47.1 | 709M | 223 |6183 |1568 | 648 |6334 | 1 | 15k|8152 | 1.076124e+09 | -- | Inf | unknown
2141.85/2148.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2141.85/2148.09 c 2148s| 23200 | 12103 | 1178k| 47.0 | 710M | 223 |6183 |1602 | 0 |6334 | 0 | 15k|8160 | 1.076124e+09 | -- | Inf | unknown
2163.98/2170.21 c 2170s| 23300 | 12163 | 1182k| 46.9 | 710M | 223 |6183 |1563 | 651 |6338 | 1 | 15k|8174 | 1.076124e+09 | -- | Inf | unknown
2164.88/2171.12 c 2171s| 23400 | 12219 | 1184k| 46.8 | 710M | 223 |6183 |1531 | 649 |6346 | 0 | 15k|8176 | 1.076124e+09 | -- | Inf | unknown
2166.78/2173.01 c 2173s| 23500 | 12285 | 1189k| 46.8 | 712M | 223 |6183 |1527 | 645 |6395 | 1 | 16k|8197 | 1.076124e+09 | -- | Inf | unknown
2169.77/2176.01 c 2176s| 23600 | 12339 | 1200k| 47.1 | 712M | 223 |6183 |1534 | 657 |6443 | 0 | 16k|8233 | 1.076124e+09 | -- | Inf | unknown
2171.25/2177.53 c 2178s| 23700 | 12391 | 1204k| 47.1 | 714M | 223 |6183 |1571 | 658 |6444 | 0 | 16k|8233 | 1.076124e+09 | -- | Inf | unknown
2173.15/2179.43 c 2179s| 23800 | 12457 | 1207k| 47.0 | 716M | 223 |6183 |1588 | 650 |6487 | 0 | 16k|8262 | 1.076124e+09 | -- | Inf | unknown
2174.14/2180.46 c 2180s| 23900 | 12517 | 1209k| 46.9 | 717M | 223 |6183 |1567 | 650 |6512 | 1 | 16k|8282 | 1.076124e+09 | -- | Inf | unknown
2175.44/2181.77 c 2182s| 24000 | 12573 | 1212k| 46.8 | 718M | 223 |6183 |1652 | 654 |6524 | 0 | 16k|8293 | 1.076124e+09 | -- | Inf | unknown
2221.11/2227.51 c 2228s| 24100 | 12621 | 1222k| 47.0 | 719M | 223 |6183 |1714 | 655 |6532 | 1 | 16k|8299 | 1.076124e+09 | -- | Inf | unknown
2292.12/2298.76 c 2299s| 24200 | 12689 | 1225k| 47.0 | 719M | 223 |6183 |1635 | 650 |6612 | 0 | 16k|8322 | 1.076124e+09 | -- | Inf | unknown
2299.50/2306.14 c 2306s| 24300 | 12749 | 1228k| 46.9 | 720M | 223 |6183 |1661 | 650 |6612 | 1 | 16k|8326 | 1.076124e+09 | -- | Inf | unknown
2301.59/2308.28 c 2308s| 24400 | 12812 | 1233k| 46.9 | 720M | 223 |6183 |1584 | 654 |6692 | 1 | 16k|8357 | 1.076124e+09 | -- | Inf | unknown
2303.38/2310.07 c 2310s| 24500 | 12859 | 1238k| 46.9 | 721M | 223 |6183 |1617 | 649 |6692 | 1 | 16k|8360 | 1.076124e+09 | -- | Inf | unknown
2337.88/2344.65 c 2345s| 24600 | 12917 | 1242k| 46.9 | 723M | 223 |6183 |1606 | 646 |6767 | 1 | 16k|8416 | 1.076124e+09 | -- | Inf | unknown
2341.97/2348.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2341.97/2348.70 c 2349s| 24700 | 12973 | 1249k| 47.0 | 726M | 223 |6183 |1738 | 654 |6879 | 2 | 16k|8476 | 1.076124e+09 | -- | Inf | unknown
2343.46/2350.27 c 2350s| 24800 | 13021 | 1254k| 47.0 | 726M | 223 |6183 |1749 | 644 |6900 | 3 | 17k|8477 | 1.076125e+09 | -- | Inf | unknown
2352.63/2359.40 c 2359s| 24900 | 13085 | 1259k| 47.0 | 732M | 223 |6183 |1808 | 660 |6953 | 1 | 17k|8489 | 1.076125e+09 | -- | Inf | unknown
2359.61/2366.48 c 2366s| 25000 | 13139 | 1267k| 47.1 | 732M | 223 |6183 |1850 | 653 |6962 | 1 | 17k|8489 | 1.076125e+09 | -- | Inf | unknown
2361.41/2368.22 c 2368s| 25100 | 13197 | 1273k| 47.2 | 733M | 223 |6183 |1929 | 654 |6966 | 1 | 17k|8490 | 1.076125e+09 | -- | Inf | unknown
2362.60/2369.44 c 2369s| 25200 | 13253 | 1277k| 47.2 | 734M | 223 |6183 |1959 | 652 |6968 | 1 | 17k|8491 | 1.076125e+09 | -- | Inf | unknown
2373.97/2380.86 c 2381s| 25300 | 13311 | 1280k| 47.1 | 735M | 223 |6183 |2001 | 650 |6971 | 1 | 17k|8493 | 1.076125e+09 | -- | Inf | unknown
2377.06/2383.90 c 2384s| 25400 | 13377 | 1288k| 47.2 | 736M | 223 |6183 |1967 | 666 |7078 | 1 | 17k|8533 | 1.076125e+09 | -- | Inf | unknown
2387.03/2393.90 c 2394s| 25500 | 13435 | 1289k| 47.1 | 736M | 223 |6183 |2018 | 650 |7087 | 1 | 17k|8538 | 1.076125e+09 | -- | Inf | unknown
2388.13/2395.05 c 2395s| 25600 | 13495 | 1290k| 46.9 | 738M | 223 |6183 |2061 | 650 |7088 | 0 | 17k|8538 | 1.076125e+09 | -- | Inf | unknown
2486.36/2493.53 c 2494s| 25700 | 13557 | 1291k| 46.8 | 740M | 223 |6183 |2091 | 651 |7094 | 1 | 17k|8538 | 1.076125e+09 | -- | Inf | unknown
2571.72/2579.18 c 2579s| 25800 | 13635 | 1295k| 46.8 | 743M | 223 |6183 |2027 | 650 |7159 | 1 | 17k|8576 | 1.076125e+09 | -- | Inf | unknown
2572.51/2580.00 c 2580s| 25900 | 13705 | 1296k| 46.6 | 744M | 223 |6183 |2030 | 652 |7163 | 1 | 17k|8582 | 1.076125e+09 | -- | Inf | unknown
2574.01/2581.47 c 2581s| 26000 | 13781 | 1299k| 46.6 | 746M | 223 |6183 |1976 | 651 |7180 | 1 | 17k|8589 | 1.076125e+09 | -- | Inf | unknown
2575.21/2582.63 c 2583s| 26100 | 13845 | 1300k| 46.4 | 749M | 223 |6183 |1998 | 650 |7180 | 1 | 17k|8593 | 1.076125e+09 | -- | Inf | unknown
2576.11/2583.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2576.11/2583.53 c 2584s| 26200 | 13905 | 1300k| 46.3 | 756M | 223 |6183 |2010 | 650 |7180 | 1 | 17k|8595 | 1.076125e+09 | -- | Inf | unknown
2577.40/2584.82 c 2585s| 26300 | 13960 | 1301k| 46.2 | 760M | 223 |6183 |2025 | 650 |7189 | 1 | 17k|8603 | 1.076125e+09 | -- | Inf | unknown
2578.49/2585.94 c 2586s| 26400 | 14028 | 1302k| 46.0 | 761M | 223 |6183 |2046 | 653 |7224 | 1 | 17k|8613 | 1.076125e+09 | -- | Inf | unknown
2583.98/2591.46 c 2591s| 26500 | 14090 | 1304k| 45.9 | 762M | 223 |6183 |2024 | 654 |7231 | 0 | 17k|8625 | 1.076125e+09 | -- | Inf | unknown
2594.45/2601.91 c 2602s| 26600 | 14150 | 1307k| 45.9 | 762M | 223 |6183 |2010 | 651 |7235 | 0 | 17k|8631 | 1.076125e+09 | -- | Inf | unknown
2595.24/2602.77 c 2603s| 26700 | 14218 | 1309k| 45.8 | 762M | 223 |6183 |2011 | 650 |7236 | 1 | 17k|8633 | 1.076125e+09 | -- | Inf | unknown
2597.14/2604.62 c 2605s| 26800 | 14282 | 1312k| 45.7 | 762M | 223 |6183 |1934 | 662 |7298 | 1 | 17k|8669 | 1.076125e+09 | -- | Inf | unknown
2598.54/2606.07 c 2606s| 26900 | 14362 | 1315k| 45.7 | 762M | 223 |6183 |1943 | 659 |7351 | 1 | 17k|8697 | 1.076125e+09 | -- | Inf | unknown
2599.83/2607.38 c 2607s| 27000 | 14420 | 1317k| 45.6 | 762M | 223 |6183 |1939 | 655 |7440 | 1 | 18k|8699 | 1.076125e+09 | -- | Inf | unknown
2633.93/2641.57 c 2642s| 27100 | 14464 | 1321k| 45.5 | 762M | 223 |6183 |1991 | 661 |7471 | 1 | 18k|8705 | 1.076125e+09 | -- | Inf | unknown
2636.83/2644.43 c 2644s| 27200 | 14520 | 1326k| 45.6 | 763M | 223 |6183 |1870 | 639 |7589 | 1 | 18k|8757 | 1.076125e+09 | -- | Inf | unknown
2639.61/2647.20 c 2647s| 27300 | 14572 | 1334k| 45.7 | 766M | 223 |6183 |1891 | 658 |7685 | 1 | 18k|8760 | 1.076125e+09 | -- | Inf | unknown
2640.91/2648.55 c 2649s| 27400 | 14630 | 1337k| 45.6 | 768M | 223 |6183 |1941 | 650 |7685 | 1 | 18k|8761 | 1.076125e+09 | -- | Inf | unknown
2642.20/2649.81 c 2650s| 27500 | 14676 | 1341k| 45.6 | 769M | 223 |6183 |1980 | 653 |7688 | 0 | 18k|8761 | 1.076125e+09 | -- | Inf | unknown
2655.47/2663.14 c 2663s| 27600 | 14730 | 1348k| 45.7 | 770M | 223 |6183 |2019 | 654 |7703 | 1 | 18k|8766 | 1.076125e+09 | -- | Inf | unknown
2656.37/2664.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2656.37/2664.02 c 2664s| 27700 | 14788 | 1349k| 45.6 | 770M | 223 |6183 |2029 | 654 |7709 | 1 | 18k|8779 | 1.076125e+09 | -- | Inf | unknown
2657.76/2665.47 c 2665s| 27800 | 14840 | 1354k| 45.6 | 771M | 223 |6183 |2033 | 661 |7726 | 1 | 18k|8788 | 1.076125e+09 | -- | Inf | unknown
2659.65/2667.38 c 2667s| 27900 | 14892 | 1360k| 45.6 | 771M | 223 |6183 |1938 | 654 |7756 | 2 | 18k|8794 | 1.076125e+09 | -- | Inf | unknown
2662.34/2670.02 c 2670s| 28000 | 14936 | 1367k| 45.7 | 771M | 223 |6183 |2001 | 648 |7760 | 1 | 18k|8795 | 1.076125e+09 | -- | Inf | unknown
2701.13/2708.96 c 2709s| 28100 | 14988 | 1370k| 45.7 | 771M | 223 |6183 |2002 | 654 |7768 | 0 | 18k|8807 | 1.076125e+09 | -- | Inf | unknown
2703.62/2711.48 c 2711s| 28200 | 15026 | 1381k| 45.9 | 771M | 223 |6183 |2020 | 656 |7774 | 1 | 19k|8809 | 1.076125e+09 | -- | Inf | unknown
2704.81/2712.66 c 2713s| 28300 | 15082 | 1385k| 45.9 | 772M | 223 |6183 |2052 | 657 |7775 | 1 | 19k|8809 | 1.076125e+09 | -- | Inf | unknown
2706.90/2714.79 c 2715s| 28400 | 15148 | 1392k| 45.9 | 772M | 223 |6183 |2020 | 656 |7856 | 1 | 19k|8829 | 1.076125e+09 | -- | Inf | unknown
2707.80/2715.69 c 2716s| 28500 | 15194 | 1395k| 45.9 | 772M | 223 |6183 |2031 | 657 |7858 | 1 | 19k|8829 | 1.076125e+09 | -- | Inf | unknown
2709.39/2717.25 c 2717s| 28600 | 15238 | 1400k| 45.9 | 772M | 223 |6183 |2026 | 661 |7864 | 1 | 19k|8835 | 1.076125e+09 | -- | Inf | unknown
2710.30/2718.12 c 2718s| 28700 | 15286 | 1402k| 45.8 | 773M | 223 |6183 |1993 | 658 |7871 | 1 | 19k|8843 | 1.076125e+09 | -- | Inf | unknown
2711.89/2719.77 c 2720s| 28800 | 15326 | 1405k| 45.8 | 774M | 223 |6183 |2122 | 659 |7872 | 1 | 19k|8843 | 1.076125e+09 | -- | Inf | unknown
2714.08/2721.96 c 2722s| 28900 | 15416 | 1409k| 45.7 | 775M | 223 |6183 |1924 | 650 |7956 | 1 | 19k|8888 | 1.076125e+09 | -- | Inf | unknown
2715.28/2723.19 c 2723s| 29000 | 15452 | 1412k| 45.7 | 777M | 223 |6183 |1915 | 650 |7956 | 0 | 19k|8888 | 1.076125e+09 | -- | Inf | unknown
2716.28/2724.19 c 2724s| 29100 | 15503 | 1414k| 45.6 | 777M | 223 |6183 |1906 | 657 |7960 | 0 | 19k|8888 | 1.076125e+09 | -- | Inf | unknown
2765.73/2773.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2765.73/2773.70 c 2774s| 29200 | 15553 | 1420k| 45.7 | 777M | 223 |6183 |2014 | 657 |7960 | 1 | 19k|8888 | 1.076125e+09 | -- | Inf | unknown
2778.50/2786.53 c 2787s| 29300 | 15619 | 1424k| 45.7 | 777M | 223 |6183 |1890 | 661 |8012 | 1 | 19k|8910 | 1.076125e+09 | -- | Inf | unknown
2779.39/2787.48 c 2787s| 29400 | 15665 | 1427k| 45.6 | 778M | 223 |6183 |1962 | 661 |8012 | 1 | 19k|8910 | 1.076125e+09 | -- | Inf | unknown
2780.49/2788.55 c 2789s| 29500 | 15713 | 1429k| 45.5 | 778M | 223 |6183 |2014 | 657 |8014 | 1 | 19k|8910 | 1.076125e+09 | -- | Inf | unknown
2790.67/2798.77 c 2799s| 29600 | 15759 | 1431k| 45.4 | 778M | 223 |6183 |2004 | 650 |8018 | 1 | 19k|8910 | 1.076125e+09 | -- | Inf | unknown
2791.46/2799.52 c 2800s| 29700 | 15815 | 1433k| 45.3 | 778M | 223 |6183 |1998 | 650 |8021 | 1 | 19k|8915 | 1.076125e+09 | -- | Inf | unknown
2792.76/2800.82 c 2801s| 29800 | 15891 | 1435k| 45.3 | 778M | 223 |6183 |1878 | 649 |8089 | 1 | 19k|8938 | 1.076125e+09 | -- | Inf | unknown
2794.65/2802.72 c 2803s| 29900 | 15939 | 1440k| 45.3 | 778M | 223 |6183 |1918 | 644 |8124 | 1 | 20k|8945 | 1.076125e+09 | -- | Inf | unknown
2796.15/2804.29 c 2804s| 30000 | 15997 | 1443k| 45.2 | 779M | 223 |6183 |1917 | 651 |8145 | 1 | 20k|8962 | 1.076125e+09 | -- | Inf | unknown
2797.64/2805.75 c 2806s| 30100 | 16063 | 1445k| 45.1 | 781M | 223 |6183 |1803 | 639 |8212 | 1 | 20k|8980 | 1.076125e+09 | -- | Inf | unknown
2805.22/2813.31 c 2813s| 30200 | 16125 | 1450k| 45.2 | 782M | 223 |6183 |1770 | 648 |8261 | 1 | 20k|9025 | 1.076125e+09 | -- | Inf | unknown
2807.02/2815.17 c 2815s| 30300 | 16175 | 1457k| 45.2 | 782M | 223 |6183 |1874 | 649 |8262 | 0 | 20k|9025 | 1.076125e+09 | -- | Inf | unknown
2809.91/2818.09 c 2818s| 30400 | 16249 | 1461k| 45.2 | 783M | 223 |6183 |1810 | 658 |8320 | 1 | 20k|9060 | 1.076125e+09 | -- | Inf | unknown
2812.00/2820.18 c 2820s| 30500 | 16291 | 1469k| 45.3 | 783M | 223 |6183 |1891 | 657 |8320 | 1 | 20k|9060 | 1.076125e+09 | -- | Inf | unknown
2813.49/2821.68 c 2822s| 30600 | 16357 | 1473k| 45.3 | 786M | 223 |6183 |1863 | 665 |8379 | 1 | 20k|9081 | 1.076125e+09 | -- | Inf | unknown
2815.38/2823.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2815.38/2823.53 c 2824s| 30700 | 16401 | 1480k| 45.4 | 787M | 223 |6183 |1955 | 661 |8384 | 1 | 20k|9087 | 1.076125e+09 | -- | Inf | unknown
2838.84/2847.06 c 2847s| 30800 | 16451 | 1487k| 45.5 | 788M | 223 |6183 |1924 | 659 |8388 | 2 | 20k|9087 | 1.076125e+09 | -- | Inf | unknown
2839.93/2848.11 c 2848s| 30900 | 16497 | 1491k| 45.5 | 788M | 223 |6183 |1889 | 659 |8390 | 0 | 20k|9087 | 1.076125e+09 | -- | Inf | unknown
2842.62/2850.81 c 2851s| 31000 | 16535 | 1503k| 45.7 | 789M | 223 |6183 |2046 | 664 |8396 | 1 | 20k|9100 | 1.076125e+09 | -- | Inf | unknown
2865.07/2873.38 c 2873s| 31100 | 16589 | 1506k| 45.6 | 789M | 223 |6183 |2054 | 660 |8399 | 1 | 20k|9108 | 1.076125e+09 | -- | Inf | unknown
2868.87/2877.17 c 2877s| 31200 | 16649 | 1507k| 45.5 | 789M | 223 |6183 |1999 | 661 |8400 | 1 | 20k|9113 | 1.076125e+09 | -- | Inf | unknown
2893.91/2902.22 c 2902s| 31300 | 16693 | 1512k| 45.6 | 790M | 223 |6183 |2016 | 659 |8406 | 1 | 21k|9137 | 1.076125e+09 | -- | Inf | unknown
2898.49/2906.84 c 2907s| 31400 | 16720 | 1524k| 45.8 | 791M | 223 |6183 |1928 | 660 |8437 | 1 | 21k|9241 | 1.076125e+09 | -- | Inf | unknown
2899.69/2908.02 c 2908s| 31500 | 16770 | 1528k| 45.7 | 791M | 223 |6183 |1850 | 637 |8439 | 1 | 21k|9248 | 1.076125e+09 | -- | Inf | unknown
2901.58/2909.97 c 2910s| 31600 | 16826 | 1530k| 45.7 | 791M | 223 |6183 |1950 | 653 |8504 | 1 | 21k|9312 | 1.076125e+09 | -- | Inf | unknown
2903.17/2911.54 c 2912s| 31700 | 16872 | 1532k| 45.6 | 792M | 223 |6183 |1945 | 654 |8528 | 1 | 21k|9339 | 1.076125e+09 | -- | Inf | unknown
2904.07/2912.47 c 2912s| 31800 | 16922 | 1535k| 45.5 | 792M | 223 |6183 |1917 | 642 |8538 | 1 | 21k|9339 | 1.076125e+09 | -- | Inf | unknown
2905.87/2914.22 c 2914s| 31900 | 16976 | 1537k| 45.5 | 794M | 223 |6183 |1993 | 648 |8577 | 1 | 21k|9369 | 1.076125e+09 | -- | Inf | unknown
2908.16/2916.58 c 2917s| 32000 | 17036 | 1542k| 45.5 | 802M | 223 |6183 |1923 | 652 |8646 | 1 | 21k|9431 | 1.076125e+09 | -- | Inf | unknown
2910.55/2918.98 c 2919s| 32100 | 17108 | 1546k| 45.5 | 813M | 223 |6183 |1838 | 643 |8741 | 1 | 21k|9489 | 1.076125e+09 | -- | Inf | unknown
2911.45/2919.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2911.45/2919.80 c 2920s| 32200 | 17144 | 1549k| 45.4 | 813M | 223 |6183 |1825 | 647 |8763 | 1 | 21k|9493 | 1.076125e+09 | -- | Inf | unknown
2913.34/2921.71 c 2922s| 32300 | 17186 | 1556k| 45.5 | 814M | 223 |6183 |1911 | 650 |8771 | 1 | 21k|9507 | 1.076125e+09 | -- | Inf | unknown
2944.69/2953.19 c 2953s| 32400 | 17238 | 1558k| 45.4 | 814M | 223 |6183 |1910 | 647 |8781 | 1 | 21k|9514 | 1.076125e+09 | -- | Inf | unknown
2945.78/2954.26 c 2954s| 32500 | 17268 | 1561k| 45.4 | 814M | 223 |6183 |1978 | 647 |8786 | 1 | 21k|9530 | 1.076125e+09 | -- | Inf | unknown
2947.47/2955.93 c 2956s| 32600 | 17318 | 1564k| 45.3 | 816M | 223 |6183 |2088 | 645 |8796 | 0 | 22k|9539 | 1.076125e+09 | -- | Inf | unknown
2949.26/2957.73 c 2958s| 32700 | 17354 | 1570k| 45.4 | 817M | 223 |6183 |2188 | 646 |8801 | 0 | 22k|9544 | 1.076125e+09 | -- | Inf | unknown
2950.66/2959.17 c 2959s| 32800 | 17402 | 1575k| 45.4 | 819M | 223 |6183 |2237 | 650 |8807 | 0 | 22k|9544 | 1.076125e+09 | -- | Inf | unknown
2952.56/2961.03 c 2961s| 32900 | 17434 | 1581k| 45.4 | 823M | 223 |6183 |2248 | 646 |8809 | 1 | 22k|9546 | 1.076125e+09 | -- | Inf | unknown
2954.15/2962.69 c 2963s| 33000 | 17476 | 1584k| 45.4 | 824M | 223 |6183 |2283 | 647 |8825 | 0 | 22k|9558 | 1.076125e+09 | -- | Inf | unknown
2969.31/2977.84 c 2978s| 33100 | 17524 | 1589k| 45.4 | 825M | 223 |6183 |2413 | 649 |8831 | 1 | 22k|9565 | 1.076125e+09 | -- | Inf | unknown
2970.11/2978.64 c 2979s| 33200 | 17558 | 1591k| 45.3 | 826M | 223 |6183 |2434 | 646 |8834 | 1 | 22k|9567 | 1.076125e+09 | -- | Inf | unknown
2971.31/2979.80 c 2980s| 33300 | 17602 | 1593k| 45.3 | 826M | 223 |6183 |2474 | 646 |8839 | 1 | 22k|9574 | 1.076125e+09 | -- | Inf | unknown
2972.11/2980.68 c 2981s| 33400 | 17654 | 1595k| 45.2 | 827M | 223 |6183 |2475 | 645 |8844 | 0 | 22k|9584 | 1.076125e+09 | -- | Inf | unknown
2981.28/2989.88 c 2990s| 33500 | 17676 | 1603k| 45.3 | 827M | 223 |6183 |2560 | 649 |8858 | 1 | 22k|9589 | 1.076125e+09 | -- | Inf | unknown
2982.88/2991.40 c 2991s| 33600 | 17724 | 1608k| 45.3 | 827M | 223 |6183 |2564 | 651 |8861 | 1 | 22k|9589 | 1.076125e+09 | -- | Inf | unknown
2985.77/2994.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2985.77/2994.36 c 2994s| 33700 | 17762 | 1615k| 45.4 | 827M | 223 |6183 |2444 | 650 |8871 | 1 | 23k|9590 | 1.076125e+09 | -- | Inf | unknown
2991.06/2999.67 c 3000s| 33800 | 17820 | 1618k| 45.3 | 827M | 223 |6183 |2443 | 647 |8875 | 1 | 23k|9592 | 1.076125e+09 | -- | Inf | unknown
2992.35/3000.92 c 3001s| 33900 | 17870 | 1621k| 45.3 | 828M | 223 |6183 |2499 | 647 |8875 | 1 | 23k|9592 | 1.076125e+09 | -- | Inf | unknown
2993.35/3001.95 c 3002s| 34000 | 17918 | 1624k| 45.2 | 828M | 223 |6183 |2551 | 644 |8881 | 1 | 23k|9598 | 1.076125e+09 | -- | Inf | unknown
3002.13/3010.78 c 3011s| 34100 | 17964 | 1627k| 45.2 | 829M | 223 |6183 |2568 | 647 |8885 | 1 | 23k|9598 | 1.076125e+09 | -- | Inf | unknown
3003.33/3011.90 c 3012s| 34200 | 18006 | 1630k| 45.1 | 830M | 223 |6183 |2578 | 644 |8886 | 0 | 23k|9609 | 1.076125e+09 | -- | Inf | unknown
3004.53/3013.17 c 3013s| 34300 | 18044 | 1635k| 45.2 | 831M | 223 |6183 |2638 | 647 |8896 | 1 | 23k|9611 | 1.076125e+09 | -- | Inf | unknown
3025.58/3034.24 c 3034s| 34400 | 18096 | 1639k| 45.1 | 831M | 223 |6183 |2657 | 648 |8907 | 1 | 23k|9613 | 1.076125e+09 | -- | Inf | unknown
3060.21/3068.98 c 3069s| 34500 | 18134 | 1642k| 45.1 | 831M | 223 |6183 |2637 | 645 |8915 | 1 | 23k|9616 | 1.076125e+09 | -- | Inf | unknown
3061.41/3070.14 c 3070s| 34600 | 18178 | 1646k| 45.1 | 831M | 223 |6183 |2742 | 650 |8924 | 1 | 23k|9618 | 1.076125e+09 | -- | Inf | unknown
3086.35/3095.19 c 3095s| 34700 | 18202 | 1648k| 45.0 | 831M | 223 |6183 |2751 | 655 |8934 | 0 | 23k|9618 | 1.076125e+09 | -- | Inf | unknown
3149.81/3158.73 c 3159s| 34800 | 18250 | 1651k| 45.0 | 832M | 223 |6183 |2584 | 649 |8940 | 1 | 24k|9620 | 1.076125e+09 | -- | Inf | unknown
3151.01/3159.96 c 3160s| 34900 | 18298 | 1654k| 44.9 | 832M | 223 |6183 |2650 | 648 |8957 | 1 | 24k|9624 | 1.076125e+09 | -- | Inf | unknown
3153.50/3162.43 c 3162s| 35000 | 18362 | 1657k| 44.9 | 834M | 223 |6183 |2517 | 644 |9023 | 1 | 24k|9688 | 1.076125e+09 | -- | Inf | unknown
3161.19/3170.13 c 3170s| 35100 | 18426 | 1659k| 44.8 | 835M | 223 |6183 |2556 | 646 |9037 | 0 | 24k|9713 | 1.076125e+09 | -- | Inf | unknown
3163.27/3172.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3163.27/3172.22 c 3172s| 35200 | 18468 | 1668k| 44.9 | 836M | 223 |6183 |2670 | 647 |9046 | 1 | 24k|9729 | 1.076125e+09 | -- | Inf | unknown
3164.57/3173.53 c 3174s| 35300 | 18502 | 1670k| 44.9 | 836M | 223 |6183 |2709 | 643 |9053 | 1 | 24k|9729 | 1.076125e+09 | -- | Inf | unknown
3194.50/3203.57 c 3204s| 35400 | 18540 | 1678k| 45.0 | 836M | 223 |6183 |2861 | 650 |9079 | 1 | 24k|9733 | 1.076125e+09 | -- | Inf | unknown
3195.70/3204.70 c 3205s| 35500 | 18586 | 1681k| 44.9 | 837M | 223 |6183 |2905 | 653 |9082 | 0 | 24k|9733 | 1.076125e+09 | -- | Inf | unknown
3197.69/3206.74 c 3207s| 35600 | 18628 | 1689k| 45.0 | 838M | 223 |6183 |3075 | 645 |9092 | 1 | 24k|9742 | 1.076125e+09 | -- | Inf | unknown
3199.38/3208.44 c 3208s| 35700 | 18670 | 1694k| 45.1 | 838M | 223 |6183 |3225 | 647 |9098 | 1 | 25k|9746 | 1.076125e+09 | -- | Inf | unknown
3200.48/3209.57 c 3210s| 35800 | 18718 | 1697k| 45.0 | 840M | 223 |6183 |3267 | 643 |9106 | 0 | 25k|9746 | 1.076125e+09 | -- | Inf | unknown
3202.77/3211.86 c 3212s| 35900 | 18769 | 1699k| 44.9 | 841M | 223 |6183 |3346 | 643 |9111 | 0 | 25k|9747 | 1.076125e+09 | -- | Inf | unknown
3204.08/3213.11 c 3213s| 36000 | 18823 | 1701k| 44.9 | 843M | 223 |6183 |3392 | 646 |9119 | 1 | 25k|9751 | 1.076125e+09 | -- | Inf | unknown
3204.67/3213.79 c 3214s| 36100 | 18889 | 1702k| 44.8 | 843M | 223 |6183 |3398 | 643 |9120 | 1 | 25k|9752 | 1.076125e+09 | -- | Inf | unknown
3210.16/3219.20 c 3219s| 36200 | 18929 | 1704k| 44.7 | 847M | 223 |6183 |3219 | 646 |9133 | 0 | 25k|9761 | 1.076125e+09 | -- | Inf | unknown
3253.76/3262.97 c 3263s| 36300 | 18963 | 1706k| 44.6 | 848M | 223 |6183 |3259 | 645 |9143 | 1 | 25k|9761 | 1.076125e+09 | -- | Inf | unknown
3255.06/3264.25 c 3264s| 36400 | 19007 | 1707k| 44.6 | 852M | 223 |6183 |3287 | 646 |9156 | 1 | 25k|9768 | 1.076125e+09 | -- | Inf | unknown
3256.45/3265.64 c 3266s| 36500 | 19061 | 1709k| 44.5 | 854M | 223 |6183 |2977 | 0 |9165 | 0 | 25k|9782 | 1.076125e+09 | -- | Inf | unknown
3259.04/3268.25 c 3268s| 36600 | 19124 | 1711k| 44.4 | 855M | 223 |6183 |2834 | 648 |9236 | 0 | 25k|9816 | 1.076125e+09 | -- | Inf | unknown
3263.73/3272.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3263.73/3272.97 c 3273s| 36700 | 19176 | 1712k| 44.3 | 855M | 223 |6183 |2707 | 656 |9260 | 8 | 25k|9831 | 1.076125e+09 | -- | Inf | unknown
3295.56/3304.82 c 3305s| 36800 | 19220 | 1714k| 44.3 | 856M | 223 |6183 |2726 | 644 |9271 | 1 | 25k|9831 | 1.076125e+09 | -- | Inf | unknown
3333.08/3342.42 c 3342s| 36900 | 19258 | 1716k| 44.2 | 858M | 223 |6183 |2758 | 643 |9287 | 1 | 25k|9845 | 1.076125e+09 | -- | Inf | unknown
3335.37/3344.71 c 3345s| 37000 | 19318 | 1719k| 44.2 | 860M | 223 |6183 |2758 | 645 |9375 | 1 | 25k|9886 | 1.076125e+09 | -- | Inf | unknown
3338.57/3348.00 c 3348s| 37100 | 19368 | 1720k| 44.1 | 860M | 223 |6183 |2805 | 644 |9386 | 1 | 25k|9888 | 1.076125e+09 | -- | Inf | unknown
3342.56/3351.92 c 3352s| 37200 | 19406 | 1721k| 44.0 | 865M | 223 |6183 |2825 | 650 |9404 | 1 | 25k|9903 | 1.076125e+09 | -- | Inf | unknown
3344.35/3353.70 c 3354s| 37300 | 19456 | 1724k| 43.9 | 867M | 223 |6183 |2803 | 643 |9468 | 1 | 25k|9925 | 1.076125e+09 | -- | Inf | unknown
3346.04/3355.46 c 3355s| 37400 | 19504 | 1725k| 43.9 | 867M | 223 |6183 |2802 | 648 |9483 | 4 | 25k|9942 | 1.076125e+09 | -- | Inf | unknown
3357.02/3366.48 c 3366s| 37500 | 19563 | 1728k| 43.8 | 868M | 223 |6183 |2793 | 653 |9558 | 2 | 25k|9974 | 1.076126e+09 | -- | Inf | unknown
3361.21/3370.69 c 3371s| 37600 | 19611 | 1729k| 43.7 | 871M | 223 |6183 |2826 | 650 |9588 | 0 | 25k|9993 | 1.076126e+09 | -- | Inf | unknown
3367.29/3376.70 c 3377s| 37700 | 19653 | 1734k| 43.8 | 871M | 223 |6183 |2864 | 645 |9597 | 0 | 25k|9994 | 1.076126e+09 | -- | Inf | unknown
3430.66/3440.28 c 3440s| 37800 | 19707 | 1736k| 43.7 | 871M | 223 |6183 |2832 | 643 |9602 | 1 | 25k| 10k| 1.076126e+09 | -- | Inf | unknown
3432.65/3442.26 c 3442s| 37900 | 19755 | 1741k| 43.7 | 871M | 223 |6183 |2885 | 647 |9610 | 1 | 26k| 10k| 1.076126e+09 | -- | Inf | unknown
3439.74/3449.36 c 3449s| 38000 | 19805 | 1745k| 43.7 | 871M | 223 |6183 |2807 | 648 |9625 | 1 | 26k| 10k| 1.076126e+09 | -- | Inf | unknown
3440.93/3450.52 c 3451s| 38100 | 19855 | 1748k| 43.7 | 871M | 223 |6183 |2691 | 646 |9630 | 1 | 26k| 10k| 1.076126e+09 | -- | Inf | unknown
3441.63/3451.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3441.63/3451.23 c 3451s| 38200 | 19901 | 1750k| 43.6 | 872M | 223 |6183 |2593 | 648 |9632 | 1 | 26k| 10k| 1.076126e+09 | -- | Inf | unknown
3445.82/3455.47 c 3455s| 38300 | 19943 | 1753k| 43.6 | 872M | 223 |6183 |2453 | 643 |9635 | 0 | 26k| 10k| 1.076126e+09 | -- | Inf | unknown
3451.21/3460.82 c 3461s| 38400 | 19999 | 1757k| 43.6 | 873M | 223 |6183 |2394 | 643 |9639 | 0 | 26k| 10k| 1.076126e+09 | -- | Inf | unknown
3452.80/3462.44 c 3462s| 38500 | 20033 | 1762k| 43.6 | 873M | 223 |6183 |2398 | 643 |9647 | 1 | 26k| 10k| 1.076126e+09 | -- | Inf | unknown
3454.30/3463.92 c 3464s| 38600 | 20069 | 1766k| 43.6 | 874M | 223 |6183 |2408 | 647 |9653 | 1 | 26k| 10k| 1.076126e+09 | -- | Inf | unknown
3462.38/3472.04 c 3472s| 38700 | 20115 | 1770k| 43.6 | 875M | 223 |6183 |2231 | 643 |9662 | 0 | 26k| 10k| 1.076126e+09 | -- | Inf | unknown
3464.17/3473.83 c 3474s| 38800 | 20153 | 1775k| 43.6 | 875M | 223 |6183 |2247 | 644 |9669 | 1 | 26k| 10k| 1.076126e+09 | -- | Inf | unknown
3465.66/3475.33 c 3475s| 38900 | 20187 | 1780k| 43.6 | 875M | 223 |6183 |2343 | 645 |9670 | 1 | 26k| 10k| 1.076126e+09 | -- | Inf | unknown
3466.86/3476.58 c 3477s| 39000 | 20227 | 1785k| 43.6 | 876M | 223 |6183 |2359 | 644 |9671 | 1 | 26k| 10k| 1.076126e+09 | -- | Inf | unknown
3587.68/3597.69 c
3587.68/3597.69 c SCIP Status : solving was interrupted [time limit reached]
3587.68/3597.69 c Solving Time (sec) : 3597.69
3587.68/3597.69 c Solving Nodes : 39061 (total of 40404 nodes in 2 runs)
3587.68/3597.69 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.68/3597.69 c Dual Bound : +1.07612557431971e+09
3587.68/3597.69 c Gap : infinite
3587.68/3597.69 s UNKNOWN
3587.68/3597.69 c SCIP Status : solving was interrupted [time limit reached]
3587.68/3597.69 c Total Time : 3597.69
3587.68/3597.69 c solving : 3597.69
3587.68/3597.69 c presolving : 3.12 (included in solving)
3587.68/3597.69 c reading : 0.03 (included in solving)
3587.68/3597.69 c copying : 3.83 (109 #copies) (minimal 0.02, maximal 0.05, average 0.04)
3587.68/3597.69 c Original Problem :
3587.68/3597.69 c Problem name : HOME/instance-4432570-1721061635.opb
3587.68/3597.69 c Variables : 7287 (7287 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.68/3597.69 c Constraints : 529 initial, 529 maximal
3587.68/3597.69 c Objective : minimize, 31 non-zeros (abs.min = 1, abs.max = 1.07374e+09)
3587.68/3597.69 c Presolved Problem :
3587.68/3597.69 c Problem name : t_HOME/instance-4432570-1721061635.opb
3587.68/3597.69 c Variables : 6183 (6183 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.68/3597.69 c Constraints : 1122 initial, 3954 maximal
3587.68/3597.69 c Objective : minimize, 18 non-zeros (abs.min = 1, abs.max = 131072)
3587.68/3597.69 c Nonzeros : 206578 constraint, 220977 clique table
3587.68/3597.69 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.68/3597.69 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c domcol : 0.03 0.00 3 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c dualsparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c gateextraction : 0.01 0.00 12 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c implics : 0.00 0.00 16 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c milp : 0.05 0.00 1 1 0 0 0 0 0 0 0 0
3587.68/3597.69 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c sparsify : 0.06 0.00 2 0 0 0 0 0 0 0 0 2696
3587.68/3597.69 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c trivial : 0.00 0.00 29 312 0 0 0 0 0 0 0 0
3587.68/3597.69 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c dualfix : 0.00 0.00 29 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c symmetry : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c knapsack : 0.07 0.00 36 3 0 0 0 0 35 97 10 166
3587.68/3597.69 c setppc : 0.01 0.00 50 0 0 0 0 0 18 0 0 0
3587.68/3597.69 c linear : 0.23 0.01 43 788 0 0 141 0 20 126 20473 29717
3587.68/3597.69 c logicor : 2.51 0.02 44 0 0 0 0 0 68 0 0 4366
3587.68/3597.69 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c components : 0.04 0.00 2 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c root node : - - - 338 - - 338 - - - - -
3587.68/3597.69 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.68/3597.69 c benderslp : 0 0 0 0 33105 0 0 3503 0 0 0 0 0 0 0
3587.68/3597.69 c integral : 0 0 0 0 33105 0 0 3503 0 0 6265 0 0 3572 61948
3587.68/3597.69 c knapsack : 70+ 97 37 140215 0 0 0 0 1638614 181 290830 95 5 0 0
3587.68/3597.69 c setppc : 508+ 519 69 151699 0 0 0 3498 26844 23 23684 0 0 0 0
3587.68/3597.69 c linear : 91+ 92 69 151684 0 0 0 3030 4164116 1555 1422210 687 5 0 0
3587.68/3597.69 c logicor : 453+ 3255 69 47399 0 0 0 0 72808 85 11225 1 1 0 0
3587.68/3597.69 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.68/3597.69 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3587.68/3597.69 c integral : 130.17 0.00 0.00 0.00 130.17 0.00 0.00 0.00 0.00 0.00
3587.68/3597.69 c knapsack : 25.14 0.00 8.11 8.97 0.00 0.00 0.00 0.00 3.57 4.49
3587.68/3597.69 c setppc : 0.75 0.00 0.00 0.17 0.00 0.00 0.00 0.48 0.01 0.09
3587.68/3597.69 c linear : 2602.40 0.01 20.70 2505.95 0.00 0.00 0.00 0.55 71.03 4.16
3587.68/3597.69 c logicor : 1.52 0.02 0.02 0.56 0.00 0.00 0.00 0.00 0.09 0.83
3587.68/3597.69 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.68/3597.69 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.68/3597.69 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.68/3597.69 c components : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.68/3597.69 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.68/3597.69 c dualfix : 2 0 0 0
3587.68/3597.69 c genvbounds : 0 0 0 0
3587.68/3597.69 c nlobbt : 0 0 0 0
3587.68/3597.69 c obbt : 0 0 0 0
3587.68/3597.69 c probing : 0 0 0 0
3587.68/3597.69 c pseudoobj : 138458 0 0 0
3587.68/3597.69 c redcost : 66154 0 0 0
3587.68/3597.69 c rootredcost : 2 0 0 0
3587.68/3597.69 c symmetry : 0 0 0 0
3587.68/3597.69 c vbounds : 63541 0 0 0
3587.68/3597.69 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.68/3597.69 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.68/3597.69 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3587.68/3597.69 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.68/3597.69 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.68/3597.69 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3587.68/3597.69 c pseudoobj : 0.11 0.00 0.00 0.10 0.00 0.00
3587.68/3597.69 c redcost : 5.15 0.00 0.00 5.15 0.00 0.00
3587.68/3597.69 c rootredcost : 0.04 0.00 0.00 0.03 0.00 0.01
3587.68/3597.69 c symmetry : 0.12 0.00 0.04 0.06 0.00 0.03
3587.68/3597.69 c vbounds : 1.45 0.00 0.00 1.44 0.00 0.01
3587.68/3597.69 c Symmetry :
3587.68/3597.69 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.68/3597.69 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.68/3597.69 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.68/3597.69 c shadow tree time : 0.08 s
3587.68/3597.69 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.68/3597.69 c propagation : 4.54 397 384 - 5798 435.9 10 1039.2 - - -
3587.68/3597.69 c infeasible LP : 149.74 10695 5573 - 96358 690.2 168 931.2 495 212.7 0
3587.68/3597.69 c bound exceed. LP : 0.03 8 9 - 1 1.0 0 0.0 4 1.0 73
3587.68/3597.69 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.68/3597.69 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.68/3597.69 c applied globally : 44.50 - - 296 26479 264.9 - - 499 - -
3587.68/3597.69 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.68/3597.69 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.68/3597.69 c cut pool : 12.27 - 6764 124 - - 26514 75952 - - - - - (maximal pool size: 2490)
3587.68/3597.69 c aggregation : 37.49 0.00 1172 69 0 0 21384 52796 0 9888 9888 0 0
3587.68/3597.69 c > cmir : - - - - - - - 28222 0 3944 3944 0 -
3587.68/3597.69 c > flowcover : - - - - - - - 17384 0 4463 4463 0 -
3587.68/3597.69 c > knapsackcover : - - - - - - - 7190 0 1481 1481 0 -
3587.68/3597.69 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c clique : 0.29 0.00 69 69 0 0 7 17 0 5 5 0 0
3587.68/3597.69 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c gomory : 4.61 0.00 1037 20 0 0 4661 21015 2 2205 2204 1 0
3587.68/3597.69 c > gomorymi : - - - - - - - 9027 1 713 712 1 -
3587.68/3597.69 c > strongcg : - - - - - - - 11988 1 1492 1492 0 -
3587.68/3597.69 c impliedbounds : 0.17 0.00 1172 69 0 0 2 2 0 2 2 0 0
3587.68/3597.69 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c mcf : 0.02 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c multilinear : 0.00 0.00 424 69 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c rapidlearning : 332.52 0.00 100 2 0 3607 0 0 0 0 0 0 0
3587.68/3597.69 c rlt : 0.00 0.00 383 20 0 0 0 0 0 0 0 0 0
3587.68/3597.69 c zerohalf : 0.73 0.00 1057 40 0 0 462 2122 0 609 609 0 0
3587.68/3597.69 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.68/3597.69 c hybrid : 0.62 0.00 3186 68 12722 2 63975 609 0 4948
3587.68/3597.69 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.69 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.69 c Pricers : ExecTime SetupTime Calls Vars
3587.68/3597.69 c problem variables: 0.00 - 0 0
3587.68/3597.69 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.68/3597.69 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.69 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.69 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.69 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.69 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.69 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.69 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.69 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.69 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.69 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.69 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.69 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.69 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.69 c relpscost : 130.14 0.00 33105 0 0 0 6265 0 3741 61948
3587.68/3597.69 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.69 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.68/3597.69 c LP solutions : 0.00 - - 0 0
3587.68/3597.69 c relax solutions : 0.00 - - 0 0
3587.68/3597.69 c pseudo solutions : 0.00 - - 0 0
3587.68/3597.69 c strong branching : 0.05 - - 0 0
3587.68/3597.69 c actconsdiving : 0.00 0.00 0 0 0
3587.68/3597.69 c adaptivediving : 1.18 0.00 24 0 0
3587.68/3597.69 c alns : 5.12 0.00 7 0 0
3587.68/3597.69 c bound : 0.00 0.00 0 0 0
3587.68/3597.69 c clique : 0.05 0.00 1 0 0
3587.68/3597.69 c coefdiving : 0.00 0.00 0 0 0
3587.68/3597.69 c completesol : 0.00 0.00 0 0 0
3587.68/3597.69 c conflictdiving : 0.83 0.00 13 0 0
3587.68/3597.69 c crossover : 0.01 0.00 0 0 0
3587.68/3597.69 c dins : 0.00 0.00 0 0 0
3587.68/3597.69 c distributiondivin: 1.50 0.00 12 0 0
3587.68/3597.69 c dps : 0.00 0.00 0 0 0
3587.68/3597.69 c dualval : 0.00 0.00 0 0 0
3587.68/3597.69 c farkasdiving : 1.48 0.00 2 0 0
3587.68/3597.69 c feasjump : 0.77 0.00 2 0 0
3587.68/3597.69 c feaspump : 0.43 0.00 6 0 0
3587.68/3597.69 c fixandinfer : 0.00 0.00 0 0 0
3587.68/3597.69 c fracdiving : 0.89 0.00 12 0 0
3587.68/3597.69 c gins : 0.01 0.00 0 0 0
3587.68/3597.69 c guideddiving : 0.00 0.00 0 0 0
3587.68/3597.69 c indcoefdiving : 0.00 0.00 0 0 0
3587.68/3597.69 c indicator : 0.02 0.00 0 0 0
3587.68/3597.69 c indicatordiving : 0.00 0.00 0 0 0
3587.68/3597.69 c indoneopt : 0.01 0.00 0 0 0
3587.68/3597.69 c indrounding : 0.00 0.00 0 0 0
3587.68/3597.69 c indtwoopt : 0.00 0.00 0 0 0
3587.68/3597.69 c intdiving : 0.00 0.00 0 0 0
3587.68/3597.69 c intshifting : 0.00 0.00 0 0 0
3587.68/3597.69 c linesearchdiving : 0.56 0.00 12 0 0
3587.68/3597.69 c localbranching : 0.00 0.00 0 0 0
3587.68/3597.69 c locks : 0.05 0.00 1 0 0
3587.68/3597.69 c lpface : 0.01 0.00 0 0 0
3587.68/3597.69 c mpec : 0.00 0.00 0 0 0
3587.68/3597.69 c multistart : 0.00 0.00 0 0 0
3587.68/3597.69 c mutation : 0.00 0.00 0 0 0
3587.68/3597.69 c nlpdiving : 0.00 0.00 0 0 0
3587.68/3597.69 c objpscostdiving : 1.67 0.00 7 0 0
3587.68/3597.69 c octane : 0.00 0.00 0 0 0
3587.68/3597.69 c ofins : 0.01 0.00 0 0 0
3587.68/3597.69 c oneopt : 0.02 0.00 0 0 0
3587.68/3597.69 c padm : 0.00 0.00 0 0 0
3587.68/3597.69 c proximity : 0.00 0.00 0 0 0
3587.68/3597.69 c pscostdiving : 2.38 0.00 13 0 0
3587.68/3597.69 c randrounding : 2.28 0.00 3498 0 0
3587.68/3597.69 c rens : 0.09 0.00 2 0 0
3587.68/3597.69 c reoptsols : 0.00 0.00 0 0 0
3587.68/3597.69 c repair : 0.00 0.00 0 0 0
3587.68/3597.69 c rins : 0.01 0.00 0 0 0
3587.68/3597.69 c rootsoldiving : 1.64 0.00 7 0 0
3587.68/3597.69 c rounding : 0.67 0.00 2619 0 0
3587.68/3597.69 c scheduler : 0.00 0.00 0 0 0
3587.68/3597.69 c shiftandpropagate: 0.20 0.00 2 0 0
3587.68/3597.69 c shifting : 4.29 0.00 1090 0 0
3587.68/3597.69 c simplerounding : 0.01 0.00 0 0 0
3587.68/3597.69 c smallcard : 0.00 0.00 0 0 0
3587.68/3597.69 c subnlp : 0.02 0.00 0 0 0
3587.68/3597.69 c trivial : 0.00 0.00 4 0 0
3587.68/3597.69 c trivialnegation : 0.00 0.00 0 0 0
3587.68/3597.69 c trustregion : 0.00 0.00 0 0 0
3587.68/3597.69 c trysol : 0.01 0.00 0 0 0
3587.68/3597.69 c twoopt : 0.00 0.00 0 0 0
3587.68/3597.69 c undercover : 0.00 0.00 0 0 0
3587.68/3597.69 c vbounds : 0.26 0.00 2 0 0
3587.68/3597.69 c veclendiving : 0.54 0.00 12 0 0
3587.68/3597.69 c zeroobj : 0.00 0.00 0 0 0
3587.68/3597.69 c zirounding : 0.04 0.00 1000 0 0
3587.68/3597.69 c other solutions : - - - 0 -
3587.68/3597.69 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.68/3597.69 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.68/3597.69 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.68/3597.69 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.68/3597.69 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.68/3597.69 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.68/3597.69 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.68/3597.69 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.68/3597.69 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.68/3597.69 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.68/3597.69 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.68/3597.69 c primal LP : 1.88 1217 1486 1486.00 788.94 1.65 1216
3587.68/3597.69 c dual LP : 305.07 45092 1730061 39.14 5670.98 1.08 888
3587.68/3597.69 c lex dual LP : 0.00 0 0 0.00 -
3587.68/3597.69 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.68/3597.69 c resolve instable : 0.00 0 0 0.00 -
3587.68/3597.69 c diving/probing LP: 15.65 3723 55377 14.87 3537.56
3587.68/3597.69 c strong branching : 72.49 10047 387946 38.61 5351.53 - - 1816
3587.68/3597.69 c (at root node) : - 16 3531 220.69 -
3587.68/3597.69 c conflict analysis: 0.01 8 73 9.12 5334.70
3587.68/3597.69 c B&B Tree :
3587.68/3597.69 c number of runs : 2
3587.68/3597.69 c nodes : 39061 (29664 internal, 9397 leaves)
3587.68/3597.69 c feasible leaves : 0
3587.68/3597.69 c infeas. leaves : 9396
3587.68/3597.69 c objective leaves : 0
3587.68/3597.69 c nodes (total) : 40404 (30974 internal, 9430 leaves)
3587.68/3597.69 c nodes left : 20247
3587.68/3597.69 c max depth : 223
3587.68/3597.69 c max depth (total): 223
3587.68/3597.69 c backtracks : 695 (1.8%)
3587.68/3597.69 c early backtracks : 0 (0.0%)
3587.68/3597.69 c nodes exc. ref. : 0 (0.0%)
3587.68/3597.69 c delayed cutoffs : 22
3587.68/3597.69 c repropagations : 30272 (33025 domain reductions, 19 cutoffs)
3587.68/3597.69 c avg switch length: 3.74
3587.68/3597.69 c switching time : 10.90
3587.68/3597.69 c Root Node :
3587.68/3597.69 c First LP value : +1.07602964717885e+09
3587.68/3597.69 c First LP Iters : 1554 (9889.96 Iter/sec)
3587.68/3597.69 c First LP Time : 0.16
3587.68/3597.69 c Final Dual Bound : +1.07611777913314e+09
3587.68/3597.69 c Final Root Iters : 25936
3587.68/3597.69 c Root LP Estimate : +1.07616146145189e+09
3587.68/3597.69 c Solution :
3587.68/3597.69 c Solutions found : 0 (0 improvements)
3587.68/3597.69 c Primal Bound : -
3587.68/3597.69 c Dual Bound : +1.07612557431971e+09
3587.68/3597.69 c Gap : infinite
3587.68/3597.69 c Integrals : Total Avg%
3587.68/3597.69 c primal-dual : 359769.22 100.00
3587.68/3597.69 c primal-ref : - - (not evaluated)
3587.68/3597.69 c dual-ref : - - (not evaluated)
3588.08/3598.06 c Time complete: 3588.15.