Presolve removed 0 rows and 0 columns (presolve time = 537s) ...
Presolve removed 0 rows and 0 columns (presolve time = 1162s) ...
Presolve removed 0 rows and 0 columns (presolve time = 1165s) ...
Presolve removed 0 rows and 0 columns (presolve time = 1170s) ...
Presolve removed 0 rows and 0 columns (presolve time = 1175s) ...
Presolve removed 0 rows and 0 columns (presolve time = 1180s) ...
Presolve removed 0 rows and 0 columns (presolve time = 1185s) ...
Presolve removed 0 rows and 0 columns (presolve time = 1190s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3795s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3882s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3885s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3890s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3895s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3900s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3905s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3910s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3915s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3920s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3925s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3930s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3935s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3940s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3946s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3952s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3957s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3963s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3965s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3971s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3975s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3980s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3986s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3990s) ...
Presolve removed 0 rows and 0 columns (presolve time = 3996s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4001s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4005s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4012s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4017s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4021s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4027s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4030s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4035s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4040s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4045s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4050s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4055s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4060s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4065s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4070s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4075s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4080s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4085s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4090s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4095s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4100s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4105s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4110s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4115s) ...
Presolve removed 0 rows and 0 columns (presolve time = 4120s) ...
Presolve time: 4680.42s
Explored 0 nodes (0 simplex iterations) in 4999.83 seconds