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-4432560-1721067025.opb>
0.09/0.15 c original problem has 74400 variables (74400 bin, 0 int, 0 impl, 0 cont) and 1408 constraints
0.09/0.15 c problem read in 0.15
0.29/0.31 c presolving:
0.39/0.43 c (round 1, fast) 36270 del vars, 0 del conss, 620 add conss, 35340 chg bounds, 0 chg sides, 1889 chg coeffs, 0 upgd conss, 0 impls, 18600 clqs
0.39/0.50 c (0.5s) running MILP presolver
0.49/0.55 c (0.6s) MILP presolver (3 rounds): 0 aggregations, 93 fixings, 0 bound changes
0.49/0.57 c (round 2, medium) 36371 del vars, 0 del conss, 620 add conss, 35340 chg bounds, 0 chg sides, 2484 chg coeffs, 0 upgd conss, 0 impls, 18600 clqs
0.49/0.57 c (round 3, fast) 36371 del vars, 0 del conss, 682 add conss, 35340 chg bounds, 0 chg sides, 3553 chg coeffs, 0 upgd conss, 0 impls, 18600 clqs
0.49/0.58 c (round 4, exhaustive) 36371 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 0 chg sides, 3553 chg coeffs, 0 upgd conss, 0 impls, 18600 clqs
0.59/0.65 c (round 5, exhaustive) 36371 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 0 chg sides, 3553 chg coeffs, 1408 upgd conss, 0 impls, 18600 clqs
0.68/0.72 c (round 6, medium) 36371 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 386 chg sides, 3939 chg coeffs, 1408 upgd conss, 0 impls, 18600 clqs
0.68/0.79 c (round 7, exhaustive) 36870 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 386 chg sides, 3939 chg coeffs, 1408 upgd conss, 0 impls, 18600 clqs
0.78/0.80 c (round 8, fast) 36870 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 431 chg sides, 4804 chg coeffs, 1408 upgd conss, 0 impls, 18600 clqs
0.78/0.82 c (round 9, medium) 36870 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 761 chg sides, 5134 chg coeffs, 1408 upgd conss, 0 impls, 18600 clqs
0.78/0.86 c (round 10, exhaustive) 36922 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 761 chg sides, 5134 chg coeffs, 1408 upgd conss, 0 impls, 18600 clqs
0.78/0.87 c (round 11, fast) 36922 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 768 chg sides, 5228 chg coeffs, 1408 upgd conss, 0 impls, 18600 clqs
0.78/0.87 c (round 12, medium) 36922 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 862 chg sides, 5322 chg coeffs, 1408 upgd conss, 0 impls, 18600 clqs
1.18/1.28 c (1.3s) probing: 51/37478 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.18/1.28 c (1.3s) probing aborted: 50/50 successive totally useless probings
1.28/1.32 c (1.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.28/1.38 c (1.4s) no symmetry present (symcode time: 0.02)
1.38/1.41 c presolving (13 rounds: 13 fast, 9 medium, 5 exhaustive):
1.38/1.41 c 36922 deleted vars, 62 deleted constraints, 682 added constraints, 35340 tightened bounds, 0 added holes, 862 changed sides, 5322 changed coefficients
1.38/1.41 c 0 implications, 18600 cliques
1.38/1.41 c presolved problem has 37478 variables (37478 bin, 0 int, 0 impl, 0 cont) and 2028 constraints
1.38/1.41 c 788 constraints of type <knapsack>
1.38/1.41 c 620 constraints of type <linear>
1.38/1.41 c 620 constraints of type <logicor>
1.38/1.41 c transformed objective value is always integral (scale: 1)
1.38/1.41 c Presolving Time: 1.13
1.38/1.41 c - non default parameters ----------------------------------------------------------------------
1.38/1.41 c # SCIP version 10.0.0
1.38/1.41 c
1.38/1.41 c # maximal time in seconds to run
1.38/1.41 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.38/1.41 c limits/time = 3596.997029
1.38/1.41 c
1.38/1.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.38/1.41 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.38/1.41 c limits/memory = 27900
1.38/1.41 c
1.38/1.41 c # belongs reading time to solving time?
1.38/1.41 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.38/1.41 c timing/reading = TRUE
1.38/1.41 c
1.38/1.41 c -----------------------------------------------------------------------------------------------
1.38/1.41 c start solving
1.38/1.42 c
2.57/2.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.57/2.65 c 2.7s| 1 | 0 | 7066 | - | 413M | 0 | 37k|2031 |2028 | 0 | 0 | 3 | 0 | 1.458176e+06 | -- | Inf | unknown
4.57/4.68 c 4.7s| 1 | 0 | 12219 | - | 438M | 0 | 37k|2031 |2395 | 367 | 1 | 3 | 0 | 1.458176e+06 | -- | Inf | unknown
5.27/5.36 c 5.4s| 1 | 0 | 13066 | - | 439M | 0 | 37k|2031 |2735 | 707 | 2 | 3 | 0 | 1.458176e+06 | -- | Inf | unknown
6.97/7.07 c 7.1s| 1 | 0 | 22402 | - | 443M | 0 | 37k|2031 |3028 |1000 | 3 | 3 | 0 | 1.458176e+06 | -- | Inf | unknown
7.46/7.55 c 7.5s| 1 | 0 | 23125 | - | 445M | 0 | 37k|2031 |3253 |1225 | 4 | 3 | 0 | 1.458176e+06 | -- | Inf | unknown
9.16/9.25 c 9.3s| 1 | 0 | 35269 | - | 450M | 0 | 37k|2031 |3460 |1432 | 5 | 3 | 0 | 1.458176e+06 | -- | Inf | unknown
9.66/9.77 c 9.8s| 1 | 0 | 36027 | - | 452M | 0 | 37k|2031 |3691 |1663 | 6 | 3 | 0 | 1.458176e+06 | -- | Inf | unknown
10.16/10.26 c 10.3s| 1 | 0 | 36811 | - | 454M | 0 | 37k|2031 |3894 |1866 | 7 | 3 | 0 | 1.458176e+06 | -- | Inf | unknown
19.83/19.91 c 19.9s| 1 | 0 | 98550 | - | 457M | 0 | 37k|2031 |4083 |2055 | 8 | 3 | 0 | 1.458176e+06 | -- | Inf | unknown
20.53/20.69 c 20.7s| 1 | 0 | 99688 | - | 459M | 0 | 37k|2031 |4428 |2400 | 9 | 3 | 0 | 1.458176e+06 | -- | Inf | unknown
21.43/21.59 c 21.6s| 1 | 0 |101506 | - | 461M | 0 | 37k|2031 |4702 |2674 | 10 | 3 | 0 | 1.458176e+06 | -- | Inf | unknown
26.81/26.95 c (node 1) unresolved numerical troubles in LP 49 -- using pseudo solution instead (loop 1)
26.81/26.96 c 27.0s| 1 | 2 |136018 | - | 462M | 0 | 37k|2031 |4104 |2921 | 11 | 3 | 0 | 1.458176e+06 | -- | Inf | unknown
241.89/242.55 c (node 70) numerical troubles in LP 229 -- unresolved
289.87/290.60 c 291s| 100 | 101 | 1579k|14580.7 | 467M | 21 | 37k|2031 |4342 |4554 | 1 | 3 | 0 | 1.458180e+06 | -- | Inf | unknown
349.73/350.66 c (node 129) numerical troubles in LP 406 -- unresolved
461.56/462.70 c 463s| 200 | 201 | 2778k|13278.5 | 470M | 39 | 37k|2031 |4484 |6162 | 1 | 3 | 0 | 1.458185e+06 | -- | Inf | unknown
593.73/595.27 c 595s| 300 | 301 | 3691k|11890.2 | 474M | 41 | 37k|2031 |4304 |7396 | 1 | 3 | 0 | 1.458185e+06 | -- | Inf | unknown
626.65/628.22 c (node 340) numerical troubles in LP 961 -- unresolved
681.21/682.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
681.21/682.92 c 683s| 400 | 401 | 4263k|10344.7 | 474M | 41 | 37k|2031 |4449 |8575 | 1 | 3 | 0 | 1.458191e+06 | -- | Inf | unknown
921.09/923.33 c 923s| 500 | 501 | 4927k|9603.1 | 478M | 41 | 37k|2031 |4274 | 10k| 1 | 3 | 0 | 1.458193e+06 | -- | Inf | unknown
1053.19/1055.79 c 1056s| 600 | 601 | 5844k|9530.7 | 479M | 41 | 37k|2031 |4370 | 11k| 1 | 3 | 0 | 1.458193e+06 | -- | Inf | unknown
1192.23/1195.12 c 1195s| 700 | 701 | 6741k|9450.1 | 481M | 43 | 37k|2032 |4433 | 13k| 1 | 4 | 0 | 1.458193e+06 | -- | Inf | unknown
1247.10/1250.15 c (node 765) numerical troubles in LP 2033 -- unresolved
1295.19/1298.37 c (node 788) numerical troubles in LP 2093 -- unresolved
1302.97/1306.11 c 1306s| 800 | 801 | 7524k|9246.9 | 482M | 43 | 37k|2032 |4439 | 14k| 1 | 4 | 0 | 1.458193e+06 | -- | Inf | unknown
1413.19/1416.64 c 1417s| 900 | 901 | 8190k|8959.4 | 483M | 43 | 37k|2032 |4368 | 16k| 1 | 4 | 0 | 1.458193e+06 | -- | Inf | unknown
1510.66/1514.31 c (node 995) numerical troubles in LP 2566 -- unresolved
1521.73/1525.44 c 1525s| 1000 | 1001 | 8952k|8825.1 | 484M | 43 | 37k|2032 |4331 | 17k| 1 | 4 | 0 | 1.458193e+06 | -- | Inf | unknown
1564.13/1567.96 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1564.13/1567.96 c (run 1, node 1049) performing user restart
1564.13/1567.96 c
1564.13/1567.97 c (restart) converted 2136 cuts from the global cut pool into linear constraints
1564.13/1567.97 c
1564.24/1568.05 c presolving:
1564.24/1568.09 c (round 1, fast) 0 del vars, 0 del conss, 620 add conss, 0 chg bounds, 52 chg sides, 3749 chg coeffs, 0 upgd conss, 0 impls, 21310 clqs
1564.34/1568.14 c (round 2, exhaustive) 0 del vars, 7 del conss, 620 add conss, 0 chg bounds, 59 chg sides, 3749 chg coeffs, 0 upgd conss, 0 impls, 21310 clqs
1564.34/1568.16 c (round 3, exhaustive) 0 del vars, 7 del conss, 620 add conss, 0 chg bounds, 59 chg sides, 3749 chg coeffs, 2578 upgd conss, 0 impls, 21310 clqs
1564.34/1568.17 c (round 4, fast) 0 del vars, 627 del conss, 620 add conss, 0 chg bounds, 70 chg sides, 5743 chg coeffs, 2578 upgd conss, 0 impls, 21310 clqs
1564.43/1568.21 c (round 5, medium) 0 del vars, 2425 del conss, 4066 add conss, 0 chg bounds, 745 chg sides, 6658 chg coeffs, 2578 upgd conss, 0 impls, 21311 clqs
1564.43/1568.21 c (round 6, fast) 0 del vars, 2434 del conss, 4071 add conss, 0 chg bounds, 746 chg sides, 6660 chg coeffs, 2578 upgd conss, 0 impls, 21311 clqs
1564.43/1568.25 c (round 7, exhaustive) 0 del vars, 2459 del conss, 4071 add conss, 0 chg bounds, 746 chg sides, 6930 chg coeffs, 2578 upgd conss, 0 impls, 21311 clqs
1564.43/1568.29 c (round 8, exhaustive) 0 del vars, 2461 del conss, 4071 add conss, 0 chg bounds, 750 chg sides, 7203 chg coeffs, 2578 upgd conss, 0 impls, 22266 clqs
1564.53/1568.30 c (round 9, fast) 0 del vars, 2461 del conss, 4071 add conss, 0 chg bounds, 757 chg sides, 7273 chg coeffs, 2578 upgd conss, 0 impls, 22266 clqs
1564.53/1568.31 c (round 10, medium) 0 del vars, 2464 del conss, 4071 add conss, 0 chg bounds, 759 chg sides, 7281 chg coeffs, 2578 upgd conss, 0 impls, 22684 clqs
1564.53/1568.34 c (round 11, exhaustive) 0 del vars, 2509 del conss, 4071 add conss, 0 chg bounds, 759 chg sides, 7400 chg coeffs, 2578 upgd conss, 0 impls, 22684 clqs
1564.63/1568.44 c presolving (12 rounds: 12 fast, 8 medium, 6 exhaustive):
1564.63/1568.44 c 0 deleted vars, 2512 deleted constraints, 4071 added constraints, 0 tightened bounds, 0 added holes, 759 changed sides, 7457 changed coefficients
1564.63/1568.44 c 0 implications, 22684 cliques
1564.63/1568.44 c presolved problem has 37478 variables (37478 bin, 0 int, 0 impl, 0 cont) and 5727 constraints
1564.63/1568.44 c 1548 constraints of type <knapsack>
1564.63/1568.44 c 2656 constraints of type <setppc>
1564.63/1568.44 c 791 constraints of type <linear>
1564.63/1568.44 c 732 constraints of type <logicor>
1564.63/1568.44 c transformed objective value is always integral (scale: 1)
1564.63/1568.44 c Presolving Time: 1.54
1564.63/1568.45 c
1569.82/1573.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1569.82/1573.60 c 1574s| 1 | 0 | 9252k| - | 488M | 0 | 37k|5728 |5723 | 0 | 0 | 5 | 0 | 1.458194e+06 | -- | Inf | unknown
1570.92/1574.71 c 1575s| 1 | 0 | 9254k| - | 490M | 0 | 37k|5728 |5915 | 192 | 1 | 5 | 0 | 1.458194e+06 | -- | Inf | unknown
1571.61/1575.49 c 1575s| 1 | 0 | 9256k| - | 491M | 0 | 37k|5728 |6114 | 391 | 2 | 5 | 0 | 1.458194e+06 | -- | Inf | unknown
1574.91/1578.78 c 1579s| 1 | 0 | 9276k| - | 492M | 0 | 37k|5728 |6302 | 579 | 3 | 5 | 0 | 1.458194e+06 | -- | Inf | unknown
1578.30/1582.18 c 1582s| 1 | 0 | 9292k| - | 494M | 0 | 37k|5728 |6493 | 770 | 4 | 5 | 0 | 1.458196e+06 | -- | Inf | unknown
1582.30/1586.16 c (node 1) unresolved numerical troubles in LP 2707 -- using pseudo solution instead (loop 1)
1582.30/1586.17 c 1586s| 1 | 2 | 9312k| - | 495M | 0 | 37k|5728 |6688 | 965 | 5 | 5 | 0 | 1.458196e+06 | -- | Inf | unknown
1724.76/1728.96 c 1729s| 100 | 101 | 10130k|8623.6 | 499M | 63 | 37k|5730 |7039 |1693 | 1 | 7 | 0 | 1.458196e+06 | -- | Inf | unknown
1754.30/1758.58 c 1759s| 200 | 201 | 10278k|8051.4 | 499M | 152 | 37k|5730 |7211 |1888 | 1 | 7 | 0 | 1.458196e+06 | -- | Inf | unknown
1788.42/1792.77 c 1793s| 300 | 301 | 10445k|7577.4 | 502M | 195 | 37k|5730 |7252 |2117 | 1 | 7 | 0 | 1.458196e+06 | -- | Inf | unknown
1845.98/1850.48 c (node 395) numerical troubles in LP 3394 -- unresolved
1846.08/1850.58 c 1851s| 400 | 401 | 10692k|7225.2 | 504M | 277 | 37k|5730 |7253 |2247 | 1 | 7 | 0 | 1.458196e+06 | -- | Inf | unknown
1853.27/1857.74 c 1858s| 500 | 501 | 10732k|6783.9 | 505M | 286 | 37k|5730 |7311 |2309 | 1 | 7 | 0 | 1.458196e+06 | -- | Inf | unknown
1860.85/1865.30 c 1865s| 600 | 601 | 10767k|6393.5 | 506M | 386 | 37k|5730 |7333 |2332 | 0 | 7 | 0 | 1.458196e+06 | -- | Inf | unknown
1875.31/1879.85 c 1880s| 700 | 701 | 10880k|6092.4 | 507M | 485 | 37k|5730 |7342 |2376 | 1 | 7 | 0 | 1.458196e+06 | -- | Inf | unknown
1881.30/1885.88 c 1886s| 800 | 801 | 10919k|5783.7 | 508M | 549 | 37k|5730 |7370 |2406 | 1 | 7 | 0 | 1.458196e+06 | -- | Inf | unknown
1884.59/1889.16 c 1889s| 900 | 901 | 10937k|5496.2 | 511M | 649 | 37k|5730 |7420 |2461 | 1 | 7 | 0 | 1.458196e+06 | -- | Inf | unknown
1888.08/1892.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1888.08/1892.68 c 1893s| 1000 | 999 | 10952k|5235.1 | 512M | 748 | 37k|5733 |7439 |2481 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1890.58/1895.13 c 1895s| 1100 | 1099 | 10958k|4994.4 | 513M | 848 | 37k|5733 |7441 |2483 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1893.57/1898.10 c 1898s| 1200 | 1199 | 10969k|4777.1 | 515M | 948 | 37k|5733 |7444 |2486 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1896.06/1900.65 c 1901s| 1300 | 1299 | 10975k|4576.2 | 516M |1048 | 37k|5733 |7447 |2489 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1897.75/1902.39 c 1902s| 1400 | 1399 | 10976k|4389.7 | 517M |1148 | 37k|5733 |7447 |2489 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1899.94/1904.54 c 1905s| 1500 | 1499 | 10982k|4219.8 | 519M |1248 | 37k|5733 |7447 |2489 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1902.64/1907.28 c 1907s| 1600 | 1599 | 10992k|4064.0 | 520M |1261 | 37k|5733 |7444 |2489 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1904.83/1909.45 c 1909s| 1700 | 1699 | 10995k|3917.3 | 520M |1261 | 37k|5733 |7445 |2490 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1907.82/1912.44 c 1912s| 1800 | 1795 | 11006k|3783.7 | 521M |1261 | 37k|5733 |7445 |2491 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1910.42/1915.06 c 1915s| 1900 | 1895 | 11016k|3658.6 | 522M |1261 | 37k|5733 |7445 |2491 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1912.91/1917.51 c 1918s| 2000 | 1995 | 11021k|3540.3 | 524M |1271 | 37k|5733 |7445 |2491 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1914.70/1919.38 c 1919s| 2100 | 2095 | 11022k|3428.2 | 525M |1371 | 37k|5733 |7445 |2491 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1916.30/1920.91 c 1921s| 2200 | 2195 | 11022k|3322.7 | 527M |1471 | 37k|5733 |7445 |2491 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1917.50/1922.16 c 1922s| 2300 | 2295 | 11023k|3223.5 | 529M |1571 | 37k|5733 |7445 |2491 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1918.79/1923.41 c 1923s| 2400 | 2395 | 11023k|3130.1 | 530M |1671 | 37k|5733 |7445 |2491 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1920.09/1924.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1920.09/1924.73 c 1925s| 2500 | 2495 | 11023k|3041.9 | 532M |1771 | 37k|5733 |7445 |2491 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1922.39/1927.01 c 1927s| 2600 | 2593 | 11030k|2960.4 | 532M |1815 | 37k|5733 |7445 |2492 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1923.98/1928.61 c 1929s| 2700 | 2693 | 11031k|2881.9 | 533M |1815 | 37k|5733 |7445 |2492 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1925.38/1930.02 c 1930s| 2800 | 2793 | 11032k|2807.1 | 534M |1815 | 37k|5733 |7445 |2492 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1926.87/1931.59 c 1932s| 2900 | 2893 | 11034k|2736.5 | 535M |1815 | 37k|5733 |7445 |2492 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1929.47/1934.15 c 1934s| 3000 | 2989 | 11039k|2670.2 | 536M |1815 | 37k|5733 |7445 |2493 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1931.86/1936.51 c 1937s| 3100 | 3085 | 11045k|2607.2 | 538M |1815 | 37k|5733 |7445 |2494 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1934.05/1938.76 c 1939s| 3200 | 3185 | 11049k|2546.7 | 539M |1815 | 37k|5733 |7445 |2494 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1935.45/1940.18 c 1940s| 3300 | 3285 | 11049k|2488.2 | 540M |1815 | 37k|5733 |7445 |2494 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1936.94/1941.64 c 1942s| 3400 | 3385 | 11050k|2432.6 | 541M |1815 | 37k|5733 |7445 |2494 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1938.34/1943.09 c 1943s| 3500 | 3485 | 11052k|2379.4 | 542M |1815 | 37k|5733 |7445 |2494 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1939.83/1944.58 c 1945s| 3600 | 3585 | 11052k|2328.2 | 542M |1815 | 37k|5733 |7445 |2494 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1941.53/1946.21 c 1946s| 3700 | 3685 | 11052k|2279.3 | 544M |1815 | 37k|5733 |7445 |2494 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1943.33/1948.02 c 1948s| 3800 | 3783 | 11056k|2233.0 | 546M |1815 | 37k|5733 |7445 |2495 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1945.71/1950.49 c 1950s| 3900 | 3879 | 11063k|2189.4 | 547M |1815 | 37k|5733 |7445 |2496 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1948.21/1952.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1948.21/1952.90 c 1953s| 4000 | 3977 | 11073k|2148.0 | 548M |1815 | 37k|5734 |7445 |2496 | 1 | 11 | 0 | 1.458196e+06 | -- | Inf | unknown
1986.62/1991.47 c 1991s| 4100 | 4073 | 11265k|2143.5 | 550M |1815 | 37k|5734 |6861 |2795 | 1 | 11 | 0 | 1.458196e+06 | -- | Inf | unknown
2031.62/2036.54 c 2037s| 4200 | 4173 | 11538k|2154.6 | 553M |1815 | 37k|5734 |7185 |3134 | 1 | 11 | 0 | 1.458196e+06 | -- | Inf | unknown
2035.91/2040.82 c 2041s| 4300 | 4273 | 11565k|2119.5 | 555M |1815 | 37k|5734 |7325 |3277 | 1 | 11 | 0 | 1.458196e+06 | -- | Inf | unknown
2037.70/2042.69 c 2043s| 4400 | 4373 | 11570k|2081.4 | 556M |1815 | 37k|5734 |7329 |3282 | 1 | 11 | 0 | 1.458196e+06 | -- | Inf | unknown
2042.19/2047.14 c 2047s| 4500 | 4473 | 11586k|2046.8 | 558M |1815 | 37k|5738 |7444 |3285 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2044.88/2049.89 c 2050s| 4600 | 4569 | 11595k|2012.2 | 559M |1815 | 37k|5738 |7449 |3295 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2047.18/2052.13 c 2052s| 4700 | 4661 | 11600k|1978.0 | 561M |1815 | 37k|5738 |7446 |3298 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2050.37/2055.34 c 2055s| 4800 | 4753 | 11612k|1946.2 | 562M |1815 | 37k|5738 |7446 |3305 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2052.86/2057.89 c 2058s| 4900 | 4837 | 11618k|1914.5 | 563M |1815 | 37k|5738 |7448 |3309 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2055.95/2060.93 c 2061s| 5000 | 4929 | 11630k|1884.9 | 563M |1815 | 37k|5738 |7445 |3310 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2094.07/2099.10 c 2099s| 5100 | 5021 | 11864k|1892.3 | 565M |1815 | 37k|5738 |7099 |3771 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2109.03/2114.17 c 2114s| 5200 | 5121 | 11956k|1876.7 | 566M |1815 | 37k|5738 |7198 |3895 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2122.60/2127.78 c 2128s| 5300 | 5221 | 12080k|1866.7 | 570M |1815 | 37k|5738 |7275 |3982 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2124.49/2129.66 c 2130s| 5400 | 5321 | 12081k|1838.0 | 572M |1815 | 37k|5738 |7275 |3982 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2126.19/2131.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2126.19/2131.38 c 2131s| 5500 | 5421 | 12083k|1810.1 | 573M |1815 | 37k|5738 |7275 |3982 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2128.38/2133.54 c 2134s| 5600 | 5521 | 12086k|1783.3 | 574M |1815 | 37k|5738 |7277 |3984 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2130.18/2135.36 c 2135s| 5700 | 5621 | 12087k|1757.1 | 577M |1815 | 37k|5738 |7305 |4017 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2132.17/2137.32 c 2137s| 5800 | 5721 | 12088k|1731.6 | 577M |1815 | 37k|5738 |7318 |4031 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2133.67/2138.80 c 2139s| 5900 | 5821 | 12089k|1706.7 | 578M |1815 | 37k|5738 |7318 |4031 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2136.16/2141.34 c 2141s| 6000 | 5921 | 12101k|1684.2 | 581M |1815 | 37k|5745 |7457 |4043 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2138.65/2143.86 c 2144s| 6100 | 6001 | 12107k|1661.6 | 582M |1815 | 37k|5745 |7445 |4076 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2140.35/2145.50 c 2146s| 6200 | 6065 | 12108k|1638.7 | 582M |1815 | 37k|5745 |7451 |4136 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2233.04/2238.46 c 2238s| 6300 | 6153 | 12546k|1676.1 | 587M |1815 | 37k|5745 |7093 |4715 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2251.50/2256.90 c 2257s| 6400 | 6253 | 12665k|1669.5 | 589M |1815 | 37k|5745 |7259 |4898 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2257.88/2263.38 c 2263s| 6500 | 6353 | 12711k|1653.5 | 591M |1815 | 37k|5745 |7289 |4928 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2260.17/2265.64 c 2266s| 6600 | 6453 | 12720k|1633.1 | 592M |1815 | 37k|5745 |7298 |4938 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2261.57/2267.07 c 2267s| 6700 | 6553 | 12721k|1612.1 | 593M |1815 | 37k|5745 |7302 |4942 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2263.16/2268.68 c 2269s| 6800 | 6653 | 12723k|1591.8 | 594M |1815 | 37k|5745 |7302 |4942 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2265.06/2270.52 c 2271s| 6900 | 6753 | 12725k|1572.0 | 596M |1815 | 37k|5745 |7373 |5023 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2266.35/2271.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2266.35/2271.88 c 2272s| 7000 | 6853 | 12725k|1552.6 | 596M |1815 | 37k|5745 |7374 |5024 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2267.85/2273.39 c 2273s| 7100 | 6953 | 12726k|1533.6 | 598M |1815 | 37k|5745 |7374 |5024 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2270.34/2275.82 c 2276s| 7200 | 7037 | 12730k|1515.5 | 600M |1815 | 37k|5745 |7452 |5059 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2271.94/2277.48 c 2277s| 7300 | 7093 | 12731k|1497.4 | 601M |1815 | 37k|5745 | 0 |5094 | 0 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2307.06/2312.60 c 2313s| 7400 | 7193 | 12927k|1503.0 | 603M |1815 | 37k|5745 |7121 |5626 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2313.45/2319.01 c 2319s| 7500 | 7293 | 12969k|1490.3 | 605M |1815 | 37k|5745 |7224 |5734 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2315.24/2320.84 c 2321s| 7600 | 7393 | 12974k|1473.6 | 606M |1815 | 37k|5745 |7226 |5736 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2317.23/2322.83 c 2323s| 7700 | 7493 | 12978k|1457.2 | 608M |1815 | 37k|5745 |7234 |5744 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2319.12/2324.71 c 2325s| 7800 | 7593 | 12981k|1441.0 | 609M |1815 | 37k|5745 |7235 |5745 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2320.62/2326.27 c 2326s| 7900 | 7693 | 12982k|1425.1 | 611M |1815 | 37k|5745 |7236 |5746 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2322.22/2327.82 c 2328s| 8000 | 7791 | 12983k|1409.4 | 613M |1815 | 37k|5751 |7281 |5796 | 1 | 28 | 0 | 1.458196e+06 | -- | Inf | unknown
2323.71/2329.35 c 2329s| 8100 | 7891 | 12983k|1394.0 | 614M |1815 | 37k|5751 |7281 |5796 | 1 | 28 | 0 | 1.458196e+06 | -- | Inf | unknown
2325.01/2330.64 c 2331s| 8200 | 7989 | 12983k|1379.0 | 616M |1815 | 37k|5752 |7281 |5796 | 1 | 29 | 0 | 1.458196e+06 | -- | Inf | unknown
2343.86/2349.52 c 2350s| 8300 | 8073 | 13073k|1373.8 | 618M |1815 | 37k|5755 |6839 |5986 | 1 | 32 | 0 | 1.458196e+06 | -- | Inf | unknown
2392.25/2398.09 c 2398s| 8400 | 8173 | 13348k|1388.5 | 622M |1815 | 37k|5755 |7143 |6302 | 1 | 32 | 0 | 1.458196e+06 | -- | Inf | unknown
2400.13/2405.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2400.13/2405.90 c 2406s| 8500 | 8273 | 13396k|1378.9 | 624M |1815 | 37k|5755 |7218 |6387 | 1 | 32 | 0 | 1.458196e+06 | -- | Inf | unknown
2403.12/2408.99 c 2409s| 8600 | 8373 | 13417k|1366.8 | 625M |1815 | 37k|5755 |7221 |6390 | 1 | 32 | 0 | 1.458196e+06 | -- | Inf | unknown
2404.71/2410.56 c 2411s| 8700 | 8473 | 13418k|1352.9 | 627M |1815 | 37k|5755 |7222 |6391 | 1 | 32 | 0 | 1.458196e+06 | -- | Inf | unknown
2406.61/2412.44 c 2412s| 8800 | 8573 | 13421k|1339.5 | 628M |1815 | 37k|5755 |7226 |6395 | 1 | 32 | 0 | 1.458196e+06 | -- | Inf | unknown
2408.10/2413.92 c 2414s| 8900 | 8673 | 13423k|1326.1 | 629M |1815 | 37k|5755 |7227 |6396 | 1 | 32 | 0 | 1.458196e+06 | -- | Inf | unknown
2409.60/2415.45 c 2415s| 9000 | 8773 | 13424k|1313.0 | 632M |1815 | 37k|5755 |7324 |6501 | 1 | 32 | 0 | 1.458196e+06 | -- | Inf | unknown
2411.60/2417.40 c 2417s| 9100 | 8857 | 13425k|1300.2 | 632M |1815 | 37k|5757 | 0 |6546 | 0 | 34 | 0 | 1.458196e+06 | -- | Inf | unknown
2413.59/2419.48 c 2419s| 9200 | 8935 | 13427k|1287.7 | 633M |1815 | 37k|5757 |7461 |6614 | 1 | 34 | 0 | 1.458196e+06 | -- | Inf | unknown
2415.98/2421.85 c 2422s| 9300 | 9007 | 13432k|1275.8 | 634M |1815 | 37k|5757 |7462 |6666 | 1 | 34 | 0 | 1.458196e+06 | -- | Inf | unknown
2478.74/2484.71 c 2485s| 9400 | 9091 | 13789k|1297.7 | 635M |1815 | 37k|5757 |6837 |6971 | 1 | 34 | 0 | 1.458196e+06 | -- | Inf | unknown
2505.08/2511.11 c 2511s| 9500 | 9191 | 13967k|1302.3 | 637M |1815 | 37k|5757 |7057 |7196 | 1 | 34 | 0 | 1.458196e+06 | -- | Inf | unknown
2511.06/2517.19 c 2517s| 9600 | 9291 | 14003k|1293.5 | 640M |1815 | 37k|5757 |7150 |7312 | 1 | 34 | 0 | 1.458196e+06 | -- | Inf | unknown
2513.65/2519.71 c 2520s| 9700 | 9391 | 14014k|1282.4 | 641M |1815 | 37k|5757 |7157 |7319 | 1 | 34 | 0 | 1.458196e+06 | -- | Inf | unknown
2515.45/2521.50 c 2521s| 9800 | 9491 | 14019k|1271.0 | 643M |1815 | 37k|5757 |7159 |7321 | 1 | 34 | 0 | 1.458196e+06 | -- | Inf | unknown
2517.24/2523.34 c 2523s| 9900 | 9591 | 14020k|1259.6 | 645M |1815 | 37k|5757 |7161 |7323 | 1 | 34 | 0 | 1.458196e+06 | -- | Inf | unknown
2519.23/2525.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2519.23/2525.37 c 2525s| 10000 | 9689 | 14023k|1248.5 | 646M |1815 | 37k|5760 |7447 |7324 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2521.44/2527.59 c 2528s| 10100 | 9757 | 14025k|1237.4 | 647M |1815 | 37k|5760 |7454 |7401 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2627.30/2633.67 c 2634s| 10200 | 9849 | 14597k|1277.3 | 651M |1815 | 37k|5760 |7150 |7887 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2647.65/2654.08 c 2654s| 10300 | 9949 | 14730k|1277.8 | 652M |1815 | 37k|5760 |7290 |8044 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2654.33/2660.72 c 2661s| 10400 | 10049 | 14788k|1271.6 | 653M |1815 | 37k|5760 |7314 |8071 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2656.03/2662.44 c 2662s| 10500 | 10149 | 14789k|1260.7 | 656M |1815 | 37k|5760 |7319 |8076 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2658.63/2665.09 c 2665s| 10600 | 10249 | 14794k|1250.3 | 657M |1815 | 37k|5760 |7325 |8083 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2661.21/2667.65 c 2668s| 10700 | 10349 | 14797k|1239.9 | 657M |1815 | 37k|5760 |7327 |8085 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2663.71/2670.12 c 2670s| 10800 | 10449 | 14797k|1229.5 | 659M |1815 | 37k|5760 |7412 |8175 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2665.50/2671.91 c 2672s| 10900 | 10549 | 14799k|1219.4 | 662M |1815 | 37k|5760 |7413 |8176 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2673.08/2679.58 c 2680s| 11000 | 10649 | 14867k|1214.8 | 663M |1815 | 37k|5760 |7413 |8176 | 0 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2677.77/2684.21 c 2684s| 11100 | 10717 | 14898k|1207.4 | 663M |1815 | 37k|5760 |7460 |8253 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2729.34/2735.90 c 2736s| 11200 | 10805 | 15191k|1221.4 | 665M |1815 | 37k|5760 |6950 |8644 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2736.91/2743.51 c 2744s| 11300 | 10905 | 15254k|1216.7 | 667M |1815 | 37k|5760 |7168 |8869 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2741.40/2748.03 c 2748s| 11400 | 11005 | 15282k|1209.1 | 669M |1815 | 37k|5760 |7200 |8906 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2743.09/2749.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2743.09/2749.77 c 2750s| 11500 | 11105 | 15283k|1199.6 | 670M |1815 | 37k|5760 |7202 |8908 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2745.88/2752.51 c 2753s| 11600 | 11205 | 15301k|1191.5 | 671M |1815 | 37k|5760 |7214 |8920 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2747.38/2754.08 c 2754s| 11700 | 11305 | 15302k|1182.3 | 671M |1815 | 37k|5760 |7214 |8920 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2749.17/2755.88 c 2756s| 11800 | 11403 | 15303k|1173.2 | 674M |1815 | 37k|5761 |7254 |8965 | 1 | 38 | 0 | 1.458196e+06 | -- | Inf | unknown
2750.57/2757.29 c 2757s| 11900 | 11499 | 15305k|1164.2 | 676M |1815 | 37k|5763 |7254 |8965 | 1 | 40 | 0 | 1.458196e+06 | -- | Inf | unknown
2752.37/2759.08 c 2759s| 12000 | 11599 | 15307k|1155.5 | 678M |1815 | 37k|5763 |7254 |8965 | 1 | 40 | 0 | 1.458196e+06 | -- | Inf | unknown
2755.75/2762.47 c 2762s| 12100 | 11691 | 15311k|1147.0 | 679M |1815 | 37k|5767 |7458 |9005 | 1 | 44 | 0 | 1.458196e+06 | -- | Inf | unknown
2824.45/2831.37 c 2831s| 12200 | 11775 | 15632k|1162.6 | 680M |1815 | 37k|5767 |7023 |9449 | 0 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
2884.18/2891.23 c 2891s| 12300 | 11875 | 15937k|1176.7 | 682M |1815 | 37k|5767 |7189 |9634 | 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
2891.45/2898.57 c 2899s| 12400 | 11975 | 15975k|1170.8 | 684M |1815 | 37k|5767 |7272 |9726 | 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
2893.64/2900.72 c 2901s| 12500 | 12075 | 15978k|1162.4 | 685M |1815 | 37k|5767 |7274 |9728 | 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
2895.24/2902.36 c 2902s| 12600 | 12175 | 15980k|1154.0 | 686M |1815 | 37k|5767 |7276 |9730 | 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
2897.13/2904.24 c 2904s| 12700 | 12275 | 15983k|1145.8 | 687M |1815 | 37k|5767 |7276 |9730 | 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
2898.83/2905.90 c 2906s| 12800 | 12375 | 15984k|1137.6 | 688M |1815 | 37k|5767 |7277 |9731 | 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
2989.77/2997.14 c 2997s| 12900 | 12459 | 16418k|1160.6 | 692M |1815 | 37k|5767 |7003 | 10k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3066.84/3074.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3066.84/3074.47 c 3074s| 13000 | 12559 | 16862k|1183.9 | 694M |1815 | 37k|5767 |7223 | 10k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3071.43/3079.07 c 3079s| 13100 | 12659 | 16886k|1177.3 | 696M |1815 | 37k|5767 |7295 | 10k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3073.52/3081.14 c 3081s| 13200 | 12759 | 16888k|1169.1 | 697M |1815 | 37k|5767 |7295 | 10k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3076.11/3083.72 c 3084s| 13300 | 12859 | 16894k|1161.4 | 699M |1815 | 37k|5767 |7302 | 10k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3078.30/3085.94 c 3086s| 13400 | 12959 | 16898k|1153.6 | 700M |1815 | 37k|5767 |7308 | 10k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3080.09/3087.70 c 3088s| 13500 | 13059 | 16901k|1145.9 | 705M |1815 | 37k|5767 |7349 | 10k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3082.99/3090.64 c 3091s| 13600 | 13159 | 16908k|1138.5 | 706M |1815 | 37k|5767 |7363 | 10k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3084.49/3092.15 c 3092s| 13700 | 13259 | 16908k|1130.9 | 706M |1815 | 37k|5767 |7363 | 10k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3087.48/3095.12 c 3095s| 13800 | 13359 | 16918k|1123.9 | 708M |1815 | 37k|5767 |7457 | 10k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3090.56/3098.29 c 3098s| 13900 | 13435 | 16934k|1117.4 | 709M |1815 | 37k|5767 |7460 | 10k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3163.45/3171.35 c 3171s| 14000 | 13531 | 17280k|1133.1 | 713M |1815 | 37k|5767 |7198 | 11k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3201.94/3209.96 c 3210s| 14100 | 13631 | 17451k|1136.8 | 715M |1815 | 37k|5767 |7294 | 11k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3204.14/3212.17 c 3212s| 14200 | 13731 | 17457k|1129.8 | 716M |1815 | 37k|5767 |7308 | 11k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3206.62/3214.68 c 3215s| 14300 | 13831 | 17461k|1122.6 | 717M |1815 | 37k|5767 |7312 | 11k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3208.82/3216.82 c 3217s| 14400 | 13931 | 17464k|1115.6 | 717M |1815 | 37k|5767 |7313 | 11k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3210.51/3218.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3210.51/3218.53 c 3219s| 14500 | 14031 | 17469k|1108.7 | 718M |1815 | 37k|5767 |7317 | 11k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3212.50/3220.54 c 3221s| 14600 | 14131 | 17474k|1102.0 | 721M |1815 | 37k|5767 |7383 | 11k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3214.00/3222.06 c 3222s| 14700 | 14231 | 17475k|1095.0 | 722M |1815 | 37k|5767 |7383 | 11k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3215.49/3223.51 c 3224s| 14800 | 14331 | 17475k|1088.1 | 723M |1815 | 37k|5767 |7384 | 11k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3220.48/3228.50 c 3228s| 14900 | 14421 | 17492k|1082.4 | 725M |1815 | 37k|5785 |7465 | 11k| 1 | 62 | 0 | 1.458199e+06 | -- | Inf | unknown
3223.57/3231.65 c 3232s| 15000 | 14501 | 17500k|1076.1 | 726M |1815 | 37k|5785 |7462 | 11k| 1 | 62 | 0 | 1.458199e+06 | -- | Inf | unknown
3283.29/3291.55 c 3292s| 15100 | 14589 | 17871k|1092.5 | 728M |1815 | 37k|5785 |6990 | 12k| 1 | 62 | 0 | 1.458199e+06 | -- | Inf | unknown
3291.07/3299.32 c 3299s| 15200 | 14689 | 17931k|1089.4 | 730M |1815 | 37k|5785 |7149 | 12k| 1 | 62 | 0 | 1.458199e+06 | -- | Inf | unknown
3297.85/3306.12 c 3306s| 15300 | 14789 | 17989k|1086.3 | 731M |1815 | 37k|5785 |7310 | 12k| 1 | 62 | 0 | 1.458199e+06 | -- | Inf | unknown
3299.94/3308.27 c 3308s| 15400 | 14889 | 17993k|1079.9 | 733M |1815 | 37k|5785 |7315 | 12k| 1 | 62 | 0 | 1.458199e+06 | -- | Inf | unknown
3301.84/3310.16 c 3310s| 15500 | 14989 | 17994k|1073.5 | 734M |1815 | 37k|5785 |7315 | 12k| 1 | 62 | 0 | 1.458199e+06 | -- | Inf | unknown
3303.23/3311.59 c 3312s| 15600 | 15089 | 17995k|1067.1 | 736M |1815 | 37k|5785 |7316 | 12k| 1 | 62 | 0 | 1.458199e+06 | -- | Inf | unknown
3304.83/3313.15 c 3313s| 15700 | 15189 | 17996k|1060.8 | 739M |1815 | 37k|5785 |7383 | 12k| 1 | 62 | 0 | 1.458199e+06 | -- | Inf | unknown
3306.22/3314.50 c 3314s| 15800 | 15289 | 17997k|1054.5 | 740M |1815 | 37k|5785 |7383 | 12k| 1 | 62 | 0 | 1.458199e+06 | -- | Inf | unknown
3307.82/3316.18 c 3316s| 15900 | 15389 | 17997k|1048.3 | 741M |1815 | 37k|5785 |7383 | 12k| 1 | 62 | 0 | 1.458199e+06 | -- | Inf | unknown
3313.20/3321.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3313.20/3321.59 c 3322s| 16000 | 15485 | 18012k|1043.0 | 743M |1815 | 37k|5796 |7464 | 12k| 1 | 73 | 0 | 1.458199e+06 | -- | Inf | unknown
3357.57/3366.01 c 3366s| 16100 | 15569 | 18235k|1050.0 | 746M |1815 | 37k|5796 |7022 | 13k| 0 | 73 | 0 | 1.458199e+06 | -- | Inf | unknown
3433.55/3442.28 c 3442s| 16200 | 15669 | 18665k|1068.8 | 748M |1815 | 37k|5796 |7244 | 13k| 1 | 73 | 0 | 1.458199e+06 | -- | Inf | unknown
3440.33/3449.02 c 3449s| 16300 | 15769 | 18707k|1065.1 | 751M |1815 | 37k|5796 |7349 | 13k| 1 | 73 | 0 | 1.458199e+06 | -- | Inf | unknown
3442.21/3450.94 c 3451s| 16400 | 15869 | 18712k|1059.2 | 752M |1815 | 37k|5796 |7353 | 13k| 1 | 73 | 0 | 1.458199e+06 | -- | Inf | unknown
3444.00/3452.70 c 3453s| 16500 | 15969 | 18715k|1053.4 | 752M |1815 | 37k|5796 |7357 | 13k| 1 | 73 | 0 | 1.458199e+06 | -- | Inf | unknown
3445.51/3454.26 c 3454s| 16600 | 16069 | 18716k|1047.5 | 755M |1815 | 37k|5796 |7357 | 13k| 1 | 73 | 0 | 1.458199e+06 | -- | Inf | unknown
3446.90/3455.61 c 3456s| 16700 | 16169 | 18717k|1041.6 | 756M |1815 | 37k|5796 |7357 | 13k| 1 | 73 | 0 | 1.458199e+06 | -- | Inf | unknown
3449.99/3458.78 c 3459s| 16800 | 16247 | 18726k|1036.3 | 758M |1815 | 37k|5797 |7448 | 13k| 1 | 74 | 0 | 1.458199e+06 | -- | Inf | unknown
3531.06/3540.08 c 3540s| 16900 | 16335 | 19151k|1054.2 | 761M |1815 | 37k|5797 |7123 | 14k| 1 | 74 | 0 | 1.458199e+06 | -- | Inf | unknown
3542.71/3551.77 c 3552s| 17000 | 16435 | 19243k|1053.4 | 762M |1815 | 37k|5797 |7239 | 14k| 0 | 74 | 0 | 1.458199e+06 | -- | Inf | unknown
3546.70/3555.72 c 3556s| 17100 | 16535 | 19273k|1049.3 | 762M |1815 | 37k|5797 |7328 | 14k| 1 | 74 | 0 | 1.458199e+06 | -- | Inf | unknown
3548.60/3557.68 c 3558s| 17200 | 16635 | 19276k|1043.7 | 764M |1815 | 37k|5797 |7335 | 14k| 1 | 74 | 0 | 1.458199e+06 | -- | Inf | unknown
3550.59/3559.64 c 3560s| 17300 | 16735 | 19280k|1038.3 | 765M |1815 | 37k|5797 |7335 | 14k| 1 | 74 | 0 | 1.458199e+06 | -- | Inf | unknown
3552.19/3561.25 c 3561s| 17400 | 16835 | 19282k|1032.7 | 766M |1815 | 37k|5797 |7336 | 14k| 1 | 74 | 0 | 1.458199e+06 | -- | Inf | unknown
3554.68/3563.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3554.68/3563.71 c 3564s| 17500 | 16935 | 19290k|1027.6 | 769M |1815 | 37k|5805 |7465 | 14k| 1 | 82 | 0 | 1.458199e+06 | -- | Inf | unknown
3557.77/3566.87 c 3567s| 17600 | 17011 | 19299k|1022.6 | 770M |1815 | 37k|5805 |7451 | 14k| 1 | 82 | 0 | 1.458199e+06 | -- | Inf | unknown
3559.76/3568.82 c 3569s| 17700 | 17079 | 19301k|1017.2 | 771M |1815 | 37k|5805 |7463 | 14k| 1 | 82 | 0 | 1.458199e+06 | -- | Inf | unknown
3587.78/3597.00 c
3587.78/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.78/3597.00 c Solving Time (sec) : 3597.00
3587.78/3597.00 c Solving Nodes : 17785 (total of 18834 nodes in 2 runs)
3587.78/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.78/3597.00 c Dual Bound : +1.45819875257449e+06
3587.78/3597.00 c Gap : infinite
3587.78/3597.00 s UNKNOWN
3587.78/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.78/3597.00 c Total Time : 3597.00
3587.78/3597.00 c solving : 3597.00
3587.78/3597.00 c presolving : 1.54 (included in solving)
3587.78/3597.00 c reading : 0.15 (included in solving)
3587.78/3597.00 c copying : 0.30 (5 #copies) (minimal 0.05, maximal 0.07, average 0.06)
3587.78/3597.00 c Original Problem :
3587.78/3597.00 c Problem name : HOME/instance-4432560-1721067025.opb
3587.78/3597.00 c Variables : 74400 (74400 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.78/3597.00 c Constraints : 1408 initial, 1408 maximal
3587.88/3597.00 c Objective : minimize, 55800 non-zeros (abs.min = 1, abs.max = 4.29497e+10)
3587.88/3597.00 c Presolved Problem :
3587.88/3597.00 c Problem name : t_HOME/instance-4432560-1721067025.opb
3587.88/3597.00 c Variables : 37478 (37478 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.88/3597.00 c Constraints : 5727 initial, 5805 maximal
3587.88/3597.00 c Objective : minimize, 30658 non-zeros (abs.min = 1, abs.max = 5.36871e+08)
3587.88/3597.00 c Nonzeros : 198587 constraint, 80681 clique table
3587.88/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.88/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c domcol : 0.15 0.00 4 551 0 0 0 0 0 0 0 0
3587.88/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c dualsparsify : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c gateextraction : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c implics : 0.01 0.00 17 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c milp : 0.10 0.00 1 93 0 0 0 0 0 0 0 0
3587.88/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c sparsify : 0.08 0.00 1 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c trivial : 0.03 0.00 25 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c dualfix : 0.03 0.00 25 938 0 0 0 0 0 0 0 0
3587.88/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c probing : 0.28 0.00 1 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c pseudoobj : 0.00 0.01 1 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c symmetry : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c vbounds : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c knapsack : 0.27 0.02 43 0 0 0 0 0 614 3451 1562 5439
3587.88/3597.00 c setppc : 0.04 0.00 19 0 0 0 0 0 1269 0 0 0
3587.88/3597.00 c linear : 0.27 0.03 34 35340 0 0 35340 0 69 1302 59 7302
3587.88/3597.00 c logicor : 0.01 0.00 39 0 0 0 0 0 622 0 0 38
3587.88/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c components : 0.06 0.00 2 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.88/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.88/3597.00 c benderslp : 0 0 0 0 18200 0 308 1547 0 0 0 0 0 0 0
3587.88/3597.00 c integral : 0 0 0 0 18200 0 0 1547 0 0 0 0 0 0 36400
3587.88/3597.00 c knapsack : 1548+ 1552 16 117015 0 0 308 1542 427 25 26947 3214 940 0 0
3587.88/3597.00 c setppc : 2656+ 2657 5 58754 0 0 0 0 3 0 4393 0 0 0 0
3587.88/3597.00 c linear : 791+ 798 16 116989 0 0 13 3 337 321 159083 324 22 0 0
3587.88/3597.00 c logicor : 732+ 798 16 2423 0 0 308 0 2 1 39 0 0 0 0
3587.88/3597.00 c benders : 0 0 0 0 0 0 308 0 0 0 0 0 0 0 0
3587.88/3597.00 c fixedvar : 0 0 0 0 0 0 308 0 0 0 0 0 0 0 0
3587.88/3597.00 c countsols : 0 0 0 0 0 0 308 0 0 0 0 0 0 0 0
3587.88/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.88/3597.00 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3587.88/3597.00 c integral : 14.31 0.00 0.00 0.00 14.30 0.00 0.00 0.00 0.00 0.00
3587.88/3597.00 c knapsack : 3.79 0.02 2.29 1.28 0.00 0.02 0.00 0.17 0.00 0.00
3587.88/3597.00 c setppc : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3587.88/3597.00 c linear : 0.75 0.03 0.03 0.68 0.00 0.00 0.00 0.01 0.00 0.00
3587.88/3597.00 c logicor : 0.04 0.00 0.00 0.01 0.00 0.03 0.00 0.00 0.00 0.00
3587.88/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.88/3597.00 c fixedvar : 0.01 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.88/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.88/3597.00 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.88/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.88/3597.00 c dualfix : 2 0 0 0
3587.88/3597.00 c genvbounds : 0 0 0 0
3587.88/3597.00 c nlobbt : 0 0 0 0
3587.88/3597.00 c obbt : 0 0 0 0
3587.88/3597.00 c probing : 0 0 0 0
3587.88/3597.00 c pseudoobj : 51611 0 0 0
3587.88/3597.00 c redcost : 16 0 0 0
3587.88/3597.00 c rootredcost : 0 0 0 0
3587.88/3597.00 c symmetry : 0 0 0 0
3587.88/3597.00 c vbounds : 42043 0 0 0
3587.88/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.88/3597.00 c dualfix : 0.03 0.00 0.03 0.00 0.00 0.00
3587.88/3597.00 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3587.88/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.88/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.88/3597.00 c probing : 0.28 0.00 0.28 0.00 0.00 0.00
3587.88/3597.00 c pseudoobj : 0.32 0.01 0.00 0.30 0.00 0.00
3587.88/3597.00 c redcost : 0.08 0.00 0.00 0.08 0.00 0.00
3587.88/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.88/3597.00 c symmetry : 0.09 0.00 0.06 0.03 0.00 0.00
3587.88/3597.00 c vbounds : 0.22 0.00 0.02 0.19 0.00 0.00
3587.88/3597.00 c Symmetry :
3587.88/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.88/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.88/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.88/3597.00 c shadow tree time : 0.00 s
3587.88/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.88/3597.00 c propagation : 0.00 26 25 - 59 27.5 1 5.0 - - -
3587.88/3597.00 c infeasible LP : 0.04 11 11 - 45 50.2 0 0.0 11 175.5 0
3587.88/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.88/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.88/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.88/3597.00 c applied globally : 0.00 - - 0 71 26.4 - - 11 - -
3587.88/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.88/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.88/3597.00 c cut pool : 0.79 - 2704 30 - - 20371 118898 - - - - - (maximal pool size: 8273)
3587.88/3597.00 c aggregation : 3.92 0.00 121 16 0 0 9757 74058 0 18699 18699 0 0
3587.88/3597.00 c > cmir : - - - - - - - 50694 0 10994 10994 0 -
3587.88/3597.00 c > flowcover : - - - - - - - 17938 0 6006 6006 0 -
3587.88/3597.00 c > knapsackcover : - - - - - - - 5426 0 1699 1699 0 -
3587.88/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c clique : 0.98 0.00 16 16 0 0 91 484 0 227 227 0 0
3587.88/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c gomory : 4.60 0.00 120 15 0 0 8298 32378 0 8370 8370 0 0
3587.88/3597.00 c > gomorymi : - - - - - - - 19566 0 5140 5140 0 -
3587.88/3597.00 c > strongcg : - - - - - - - 12812 0 3230 3230 0 -
3587.88/3597.00 c impliedbounds : 0.18 0.00 121 16 0 0 1843 9300 0 4407 4407 0 0
3587.88/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c multilinear : 0.00 0.00 111 16 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c rlt : 0.00 0.00 74 15 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c zerohalf : 1.15 0.00 121 16 0 0 381 2678 1 762 761 1 0
3587.88/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.88/3597.00 c hybrid : 0.38 0.00 1264 16 33427 0 89010 3886 0 17747
3587.88/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.88/3597.00 c problem variables: 0.00 - 0 0
3587.88/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.88/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c inference : 1.91 0.00 0 0 308 0 0 0 0 616
3587.88/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c relpscost : 14.28 0.00 18200 0 0 0 0 0 0 36400
3587.88/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.88/3597.00 c LP solutions : 0.00 - - 0 0
3587.88/3597.00 c relax solutions : 0.00 - - 0 0
3587.88/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.88/3597.00 c strong branching : 0.00 - - 0 0
3587.88/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.88/3597.00 c adaptivediving : 31.54 0.00 12 0 0
3587.88/3597.00 c alns : 3.79 0.00 5 0 0
3587.88/3597.00 c bound : 0.00 0.00 0 0 0
3587.88/3597.00 c clique : 0.29 0.00 1 0 0
3587.88/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.88/3597.00 c completesol : 0.00 0.00 0 0 0
3587.88/3597.00 c conflictdiving : 57.63 0.00 8 0 0
3587.88/3597.00 c crossover : 0.00 0.00 0 0 0
3587.88/3597.00 c dins : 0.00 0.00 0 0 0
3587.88/3597.00 c distributiondivin: 188.21 0.00 7 0 0
3587.88/3597.00 c dps : 0.00 0.00 0 0 0
3587.88/3597.00 c dualval : 0.00 0.00 0 0 0
3587.88/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.88/3597.00 c feasjump : 0.13 0.00 2 0 0
3587.88/3597.00 c feaspump : 5.86 0.00 4 0 0
3587.88/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.88/3597.00 c fracdiving : 152.82 0.00 8 0 0
3587.88/3597.00 c gins : 0.00 0.00 0 0 0
3587.88/3597.00 c guideddiving : 0.00 0.00 0 0 0
3587.88/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3587.88/3597.00 c indicator : 0.01 0.00 0 0 0
3587.88/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.88/3597.00 c indoneopt : 0.01 0.00 0 0 0
3587.88/3597.00 c indrounding : 0.00 0.00 0 0 0
3587.88/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3587.88/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.88/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.88/3597.00 c linesearchdiving : 57.76 0.00 7 0 0
3587.88/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.88/3597.00 c locks : 0.48 0.00 1 0 0
3587.88/3597.00 c lpface : 0.01 0.00 0 0 0
3587.88/3597.00 c mpec : 0.00 0.00 0 0 0
3587.88/3597.00 c multistart : 0.00 0.00 0 0 0
3587.88/3597.00 c mutation : 0.00 0.00 0 0 0
3587.88/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.88/3597.00 c objpscostdiving : 32.76 0.00 4 0 0
3587.88/3597.00 c octane : 0.00 0.00 0 0 0
3587.88/3597.00 c ofins : 0.00 0.00 0 0 0
3587.88/3597.00 c oneopt : 0.01 0.00 0 0 0
3587.88/3597.00 c padm : 0.00 0.00 0 0 0
3587.88/3597.00 c proximity : 0.00 0.00 0 0 0
3587.88/3597.00 c pscostdiving : 53.11 0.00 8 0 0
3587.88/3597.00 c randrounding : 3.43 0.00 1529 0 0
3587.88/3597.00 c rens : 0.00 0.00 0 0 0
3587.88/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.88/3597.00 c repair : 0.00 0.00 0 0 0
3587.88/3597.00 c rins : 0.00 0.00 0 0 0
3587.88/3597.00 c rootsoldiving : 75.23 0.00 4 0 0
3587.88/3597.00 c rounding : 0.54 0.00 1824 0 0
3587.88/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.88/3597.00 c shiftandpropagate: 0.26 0.00 2 0 0
3587.88/3597.00 c shifting : 49.30 0.00 637 0 0
3587.88/3597.00 c simplerounding : 0.04 0.00 17981 0 0
3587.88/3597.00 c smallcard : 0.00 0.00 0 0 0
3587.88/3597.00 c subnlp : 0.02 0.00 0 0 0
3587.88/3597.00 c trivial : 0.08 0.00 4 0 0
3587.88/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.88/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.88/3597.00 c trysol : 0.01 0.00 0 0 0
3587.88/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.88/3597.00 c undercover : 0.00 0.00 0 0 0
3587.88/3597.00 c vbounds : 0.01 0.00 0 0 0
3587.88/3597.00 c veclendiving : 75.30 0.00 7 0 0
3587.88/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.88/3597.00 c zirounding : 0.21 0.00 1000 0 0
3587.88/3597.00 c other solutions : - - - 0 -
3587.88/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.88/3597.00 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.88/3597.00 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.88/3597.00 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.88/3597.00 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.88/3597.00 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.88/3597.00 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.88/3597.00 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.88/3597.00 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.88/3597.00 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.88/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.88/3597.00 c primal LP : 87.26 400 604422 3801.40 6926.60 1.34 241
3587.88/3597.00 c dual LP : 2569.60 23307 15589046 716.28 6066.72 10.76 1543
3587.88/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.88/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.88/3597.00 c resolve instable : 840.97 1063 4709840 4430.71 5600.46
3587.88/3597.00 c diving/probing LP: 701.96 905 3251488 3592.80 4632.04
3587.88/3597.00 c strong branching : 0.00 0 0 0.00 - - - 0
3587.88/3597.00 c (at root node) : - 0 0 0.00 -
3587.88/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3587.88/3597.00 c B&B Tree :
3587.88/3597.00 c number of runs : 2
3587.88/3597.00 c nodes : 17785 (17459 internal, 326 leaves)
3587.88/3597.00 c feasible leaves : 0
3587.88/3597.00 c infeas. leaves : 325
3587.88/3597.00 c objective leaves : 0
3587.88/3597.00 c nodes (total) : 18834 (18508 internal, 326 leaves)
3587.88/3597.00 c nodes left : 17135
3587.88/3597.00 c max depth : 1815
3587.88/3597.00 c max depth (total): 1815
3587.88/3597.00 c backtracks : 182 (1.0%)
3587.88/3597.00 c early backtracks : 0 (0.0%)
3587.88/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.88/3597.00 c delayed cutoffs : 0
3587.88/3597.00 c repropagations : 614 (67 domain reductions, 0 cutoffs)
3587.88/3597.00 c avg switch length: 3.76
3587.88/3597.00 c switching time : 70.51
3587.88/3597.00 c Root Node :
3587.88/3597.00 c First LP value : +1.45817600000000e+06
3587.88/3597.00 c First LP Iters : 7066 (41889.97 Iter/sec)
3587.88/3597.00 c First LP Time : 0.17
3587.88/3597.00 c Final Dual Bound : +1.45819648590781e+06
3587.88/3597.00 c Final Root Iters : 230791
3587.88/3597.00 c Root LP Estimate : -
3587.88/3597.00 c Solution :
3587.88/3597.00 c Solutions found : 0 (0 improvements)
3587.88/3597.00 c Primal Bound : -
3587.88/3597.00 c Dual Bound : +1.45819875257449e+06
3587.88/3597.00 c Gap : infinite
3587.88/3597.00 c Integrals : Total Avg%
3587.88/3597.00 c primal-dual : 359699.78 100.00
3587.88/3597.00 c primal-ref : - - (not evaluated)
3587.88/3597.00 c dual-ref : - - (not evaluated)
3588.08/3597.24 c Time complete: 3588.13.