Numerical problem encountered while solving non-convex QCQP

Dear Sir/Madam,

I encountered a confused problem while solving a low-dimensional non-convex QCQP problem on Matlab with gurobi. 

We suppose the objective function is non-convex, and constraints are convex

Given dimension n=20, the number of constraints m=20, and the number of negative eigenvalues of the quadratic term matrix of the objective function, r=4. For such low-dimensional instances, we find that it can't be solved by gurobi within one hour. Is it normal?

My code and the result of one instance are listed below, from the result, we find that gurobi reach a value -2.0100980 very early, and it has been running continuously and has not changed much in the subsequent process, and the best objective obtained is still the value -2.0100980 when time limit one hour reached. Why? Is it a local optimal value?

Since it is a low-dimensional instance, I think the global optimal solutions should be obtained quickly by gurobi, but through our instances, it need more than one hour, Is it normal or what should I do to make it within one hour? Because gurobi does not terminate within one hour, we cannot say that it can be solved successfully with gurobi within one hour even if the value obtained very early like -2.0100980 does not change in the subsequent process.

Thanks

Yuanyi

code:

dim=20;
m=20;
r=4;
%Generate a test instance
Q=rand(dim)*2-1;
Q=(Q+Q')/2;
[P,D]=eig(Q);
for i=1:1:r
D(i,i)=rand()*10-10;
end
for i=r+1:1:dim
D(i,i)=rand()*10;
end
Q=P*D*P';% the number of negative eigenvalues of Q equals r
c=rand(dim,1)*2-1;
%generate 20 convex constraints
for j=1:m
J=rand(dim)*2-1;
J=(J+J')/2;
[P,D]=eig(J);
for i=1:1:dim
D(i,i)=rand()*99+1;
end
M=P*D*P';
z=rand(dim,1)*200-100;
Qr(j).mat=M;
cr(j).vec=z;
br(j)=rand()*49+1;
end
%solve by gurobi globally
tic
model.obj = [ 1,zeros(1,dim) ];
model.modelsense = 'min';
model.A = sparse(zeros(1,dim+1));
model.rhs = 0.0;
model.sense = '=';
model.lb=-Inf*ones(1,dim+1);
Qcn=zeros(dim+1);
Qcn(2:dim+1,2:dim+1)=Q;
model.quadcon(1).Qc = sparse(Qcn);
model.quadcon(1).q = sparse([-1;c]); 
model.quadcon(1).rhs = 0.0;
%x'Qix+ci'x-bi<=0
for i=1:m
Qcm=zeros(dim+1);
Qcm(2:dim+1,2:dim+1)=Qr(i).mat;
model.quadcon(i+1).Qc = sparse(Qcm);
model.quadcon(i+1).q = sparse([0;cr(i).vec]);
model.quadcon(i+1).rhs = br(i);
end
params.Nonconvex = 2;
params.timelimit = 3600;
result = gurobi(model,params);
y_global=result.objval;
x_global=result.x(2:dim+1);
cpuGU=toc;

result:

Gurobi Optimizer version 9.5.0 build v9.5.0rc5 (win64)
Thread count: 4 physical cores, 8 logical processors, using up to 8 threads
Optimize a model with 1 rows, 21 columns and 0 nonzeros
Model fingerprint: 0x99a5d556
Model has 21 quadratic constraints
Coefficient statistics:
Matrix range [0e+00, 0e+00]
QMatrix range [2e-03, 8e+01]
QLMatrix range [7e-03, 1e+02]
Objective range [1e+00, 1e+00]
Bounds range [0e+00, 0e+00]
RHS range [0e+00, 0e+00]
QRHS range [6e+00, 5e+01]
Presolve removed 1 rows and 0 columns

Continuous model is non-convex -- solving as a MIP

Found heuristic solution: objective 0.0000000
Presolve removed 1 rows and 0 columns
Presolve time: 0.00s
Presolved: 381 rows, 232 columns, 991 nonzeros
Presolved model has 40 quadratic constraint(s)
Presolved model has 190 bilinear constraint(s)
Variable types: 232 continuous, 0 integer (0 binary)

Root relaxation: unbounded, 191 iterations, 0.00 seconds (0.00 work units)

Nodes | Current Node | Objective Bounds | Work
Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time

0 0 postponed 0 0.00000 - - - 0s
0 0 postponed 0 0.00000 - - - 0s
H 0 0 -2.0100980 - - - 0s
0 2 postponed 0 -2.01010 - - - 0s
10321 6880 postponed 355 -2.01010 - - 25.1 5s
21325 13315 postponed 322 -2.01010 - - 21.1 10s
33001 20174 postponed 630 -2.01010 - - 16.1 15s
53322 24469 postponed 784 -2.01010 - - 11.7 20s
84468 27462 -9.641e+17 805 42 -2.01010 - - 9.3 25s
99013 30418 postponed 305 -2.01010 - - 9.9 30s
107107 32719 infeasible 460 -2.01010 - - 10.2 35s
116747 35641 postponed 592 -2.01010 - - 10.5 40s
128066 37871 infeasible 647 -2.01010 - - 10.5 45s
139175 39988 postponed 598 -2.01010 - - 11.3 50s
157708 41228 postponed 462 -2.01010 - - 11.1 55s
170759 42727 -4.459e+16 496 64 -2.01010 - - 11.7 60s
182453 42905 infeasible 65 -2.01010 - - 12.5 65s
188805 45205 postponed 615 -2.01010 - - 12.4 70s
196542 47500 postponed 609 -2.01010 - - 12.4 75s
203331 49148 infeasible 450 -2.01010 - - 12.3 80s
210277 51285 infeasible 484 -2.01010 - - 12.4 85s
218468 53517 postponed 538 -2.01010 - - 12.3 90s
225935 54662 postponed 347 -2.01010 - - 12.3 95s
233378 55952 infeasible 603 -2.01010 - - 12.2 100s
241544 56862 infeasible 415 -2.01010 - - 12.2 105s
250118 57726 postponed 683 -2.01010 - - 12.1 110s
258845 58576 postponed 598 -2.01010 - - 12.0 115s
267570 59048 postponed 673 -2.01010 - - 11.9 120s
276356 59072 infeasible 688 -2.01010 - - 11.7 125s
285249 58745 infeasible 691 -2.01010 - - 11.6 130s
295600 58519 postponed 688 -2.01010 - - 11.5 135s
303260 58584 infeasible 474 -2.01010 - - 11.4 140s
312183 59397 infeasible 676 -2.01010 - - 11.3 145s
321456 59939 infeasible 646 -2.01010 - - 11.3 150s
329609 60178 postponed 665 -2.01010 - - 11.2 155s
339231 60305 infeasible 682 -2.01010 - - 11.1 160s
348579 60763 postponed 678 -2.01010 - - 11.0 165s
357018 60719 infeasible 690 -2.01010 - - 10.9 170s
367426 60448 postponed 559 -2.01010 - - 10.7 175s
376987 60784 postponed 692 -2.01010 - - 10.7 180s
385741 60582 infeasible 657 -2.01010 - - 10.6 185s
394389 60242 infeasible 690 -2.01010 - - 10.5 190s
404586 60258 infeasible 664 -2.01010 - - 10.3 195s
414293 60161 infeasible 682 -2.01010 - - 10.3 200s
422368 59874 infeasible 601 -2.01010 - - 10.2 205s
432206 59965 postponed 664 -2.01010 - - 10.1 210s
442270 59786 infeasible 688 -2.01010 - - 10.0 215s
449713 59931 infeasible 665 -2.01010 - - 10.3 220s
457782 60298 infeasible 637 -2.01010 - - 10.6 225s
466604 60456 infeasible 673 -2.01010 - - 10.7 230s
475601 60728 infeasible 653 -2.01010 - - 10.7 235s
484520 61018 postponed 681 -2.01010 - - 10.6 240s
494793 61031 infeasible 689 -2.01010 - - 10.6 245s
503776 61016 postponed 690 -2.01010 - - 10.5 250s
512713 60784 postponed 642 -2.01010 - - 10.5 255s
521042 60794 postponed 678 -2.01010 - - 10.4 260s
531409 61110 postponed 668 -2.01010 - - 10.3 265s
540078 61037 infeasible 691 -2.01010 - - 10.2 270s
550012 60693 postponed 663 -2.01010 - - 10.2 275s
560319 60386 infeasible 685 -2.01010 - - 10.1 280s
568886 60352 infeasible 616 -2.01010 - - 10.0 285s
578732 60209 postponed 671 -2.01010 - - 10.0 290s
587815 60310 infeasible 678 -2.01010 - - 9.9 295s
595662 60221 postponed 670 -2.01010 - - 9.9 300s
604218 60329 postponed 663 -2.01010 - - 9.9 305s
612868 60323 postponed 640 -2.01010 - - 9.9 310s
621666 60003 infeasible 630 -2.01010 - - 9.9 315s
630960 60128 infeasible 683 -2.01010 - - 9.8 320s
641155 60322 postponed 644 -2.01010 - - 9.8 325s
650179 60429 infeasible 669 -2.01010 - - 9.8 330s
658885 60522 postponed 665 -2.01010 - - 9.7 335s
667876 60288 postponed 702 -2.01010 - - 9.7 340s
678121 60130 infeasible 684 -2.01010 - - 9.6 345s
686749 60268 infeasible 681 -2.01010 - - 9.6 350s
697545 59978 postponed 677 -2.01010 - - 9.5 355s
705652 59711 infeasible 648 -2.01010 - - 9.5 360s
715781 59528 postponed 703 -2.01010 - - 9.4 365s
725578 59692 infeasible 670 -2.01010 - - 9.4 370s
733768 60046 postponed 671 -2.01010 - - 9.4 375s
743664 60230 postponed 680 -2.01010 - - 9.4 380s
752373 60373 postponed 671 -2.01010 - - 9.3 385s
762394 60138 infeasible 648 -2.01010 - - 9.3 390s
772422 60203 postponed 614 -2.01010 - - 9.3 395s
780583 60123 postponed 667 -2.01010 - - 9.2 400s
789057 60123 postponed 654 -2.01010 - - 9.2 405s
799362 60191 postponed 703 -2.01010 - - 9.2 410s
809369 60217 infeasible 668 -2.01010 - - 9.1 415s
817716 60099 infeasible 639 -2.01010 - - 9.1 420s
827867 59795 postponed 691 -2.01010 - - 9.0 425s
837644 59366 infeasible 665 -2.01010 - - 9.0 430s
847358 59247 postponed 598 -2.01010 - - 9.0 435s
856675 59248 postponed 687 -2.01010 - - 9.0 440s
864609 58978 postponed 661 -2.01010 - - 8.9 445s
873947 59272 infeasible 611 -2.01010 - - 8.9 450s
883252 59738 postponed 688 -2.01010 - - 8.9 455s
892892 59744 infeasible 674 -2.01010 - - 8.9 460s
900741 59917 infeasible 643 -2.01010 - - 8.9 465s
910453 60140 postponed 690 -2.01010 - - 8.9 470s
919990 59961 infeasible 680 -2.01010 - - 8.9 475s
928635 59628 infeasible 599 -2.01010 - - 8.9 480s
935624 59506 postponed 679 -2.01010 - - 8.9 485s
944770 59477 postponed 690 -2.01010 - - 8.9 490s
952677 59388 postponed 689 -2.01010 - - 8.9 495s
963628 59352 infeasible 704 -2.01010 - - 8.9 500s
972696 59224 postponed 672 -2.01010 - - 8.9 505s
981357 59213 infeasible 691 -2.01010 - - 8.8 510s
990050 59303 infeasible 675 -2.01010 - - 8.8 515s
1000171 59538 postponed 671 -2.01010 - - 8.8 520s
1008469 59590 postponed 701 -2.01010 - - 8.8 525s
1017518 59667 postponed 667 -2.01010 - - 8.8 530s
1026368 59658 infeasible 666 -2.01010 - - 8.8 535s
1036965 59167 postponed 690 -2.01010 - - 8.7 540s
1045454 59041 infeasible 683 -2.01010 - - 8.7 545s
1055464 59007 postponed 668 -2.01010 - - 8.7 550s
1064259 59065 postponed 622 -2.01010 - - 8.7 555s
1072874 59288 postponed 630 -2.01010 - - 8.7 560s
1081859 59378 postponed 596 -2.01010 - - 8.6 565s
1090917 59577 infeasible 671 -2.01010 - - 8.6 570s
1099814 59420 infeasible 679 -2.01010 - - 8.6 575s
1110829 59098 infeasible 670 -2.01010 - - 8.6 580s
1119536 58901 infeasible 666 -2.01010 - - 8.6 585s
1129606 59717 infeasible 618 -2.01010 - - 8.6 590s
1138429 59703 postponed 597 -2.01010 - - 8.6 595s
1147181 60075 postponed 671 -2.01010 - - 8.5 600s
1156032 60284 infeasible 669 -2.01010 - - 8.5 605s
1166627 60552 postponed 635 -2.01010 - - 8.5 610s
1175378 60162 infeasible 651 -2.01010 - - 8.5 615s
1184057 60128 infeasible 666 -2.01010 - - 8.5 620s
1194736 60170 postponed 676 -2.01010 - - 8.5 625s
1203836 59648 infeasible 698 -2.01010 - - 8.4 630s
1213552 59755 postponed 619 -2.01010 - - 8.4 635s
1221974 59967 infeasible 679 -2.01010 - - 8.4 640s
1232771 59671 infeasible 681 -2.01010 - - 8.4 645s
1241274 59306 postponed 698 -2.01010 - - 8.4 650s
1251688 59071 infeasible 694 -2.01010 - - 8.3 655s
1259359 59610 postponed 611 -2.01010 - - 8.3 660s
1268957 59926 infeasible 583 -2.01010 - - 8.3 665s
1279257 60065 infeasible 671 -2.01010 - - 8.3 670s
1287170 60033 infeasible 691 -2.01010 - - 8.3 675s
1295255 60245 infeasible 663 -2.01010 - - 8.3 680s
1303733 60201 infeasible 665 -2.01010 - - 8.3 685s
1312706 60128 postponed 660 -2.01010 - - 8.4 690s
1323947 59939 postponed 662 -2.01010 - - 8.3 695s
1332309 59802 postponed 667 -2.01010 - - 8.3 700s
1342543 59646 infeasible 629 -2.01010 - - 8.3 705s
1352162 59721 infeasible 633 -2.01010 - - 8.3 710s
1360040 59781 postponed 673 -2.01010 - - 8.3 715s
1370342 60028 postponed 674 -2.01010 - - 8.3 720s
1378945 59842 infeasible 606 -2.01010 - - 8.3 725s
1388922 59796 postponed 664 -2.01010 - - 8.3 730s
1398897 59535 infeasible 657 -2.01010 - - 8.2 735s
1408402 59501 infeasible 631 -2.01010 - - 8.2 740s
1416638 59426 infeasible 649 -2.01010 - - 8.2 745s
1426208 59362 infeasible 671 -2.01010 - - 8.2 750s
1436197 59220 infeasible 693 -2.01010 - - 8.2 755s
1445554 59031 postponed 707 -2.01010 - - 8.2 760s
1454617 59084 postponed 675 -2.01010 - - 8.2 765s
1464629 58870 postponed 664 -2.01010 - - 8.2 770s
1474106 59024 postponed 686 -2.01010 - - 8.1 775s
1483575 58721 postponed 637 -2.01010 - - 8.1 780s
1492697 58697 postponed 686 -2.01010 - - 8.1 785s
1501723 59130 infeasible 638 -2.01010 - - 8.1 790s
1511096 59324 infeasible 684 -2.01010 - - 8.1 795s
1518956 59360 infeasible 664 -2.01010 - - 8.1 800s
1528626 59389 infeasible 686 -2.01010 - - 8.1 805s
1538297 59362 infeasible 686 -2.01010 - - 8.1 810s
1546956 59116 postponed 664 -2.01010 - - 8.1 815s
1556186 59228 postponed 665 -2.01010 - - 8.1 820s
1565994 59459 infeasible 634 -2.01010 - - 8.1 825s
1574532 59310 postponed 698 -2.01010 - - 8.1 830s
1584834 58971 postponed 681 -2.01010 - - 8.1 835s
1593389 58977 infeasible 674 -2.01010 - - 8.0 840s
1603135 58657 postponed 633 -2.01010 - - 8.0 845s
1611296 58437 postponed 645 -2.01010 - - 8.0 850s
1621556 58403 postponed 672 -2.01010 - - 8.0 855s
1629806 58129 infeasible 669 -2.01010 - - 8.0 860s
1639580 58243 infeasible 607 -2.01010 - - 8.0 865s
1648484 58338 infeasible 675 -2.01010 - - 8.0 870s
1657477 58221 postponed 654 -2.01010 - - 8.0 875s
1666194 58240 infeasible 540 -2.01010 - - 8.0 880s
1674743 58111 infeasible 648 -2.01010 - - 8.0 885s
1685358 58023 postponed 598 -2.01010 - - 8.0 890s
1693972 58018 infeasible 674 -2.01010 - - 8.0 895s
1702609 58338 postponed 670 -2.01010 - - 8.0 900s
1711663 58258 infeasible 683 -2.01010 - - 8.0 905s
1720692 58059 infeasible 675 -2.01010 - - 8.0 910s
1729660 58038 infeasible 679 -2.01010 - - 8.0 915s
1738645 57791 infeasible 672 -2.01010 - - 8.0 920s
1747784 57657 postponed 612 -2.01010 - - 8.0 925s
1758009 58138 postponed 662 -2.01010 - - 8.0 931s
1765564 58298 postponed 675 -2.01010 - - 8.0 935s
1776065 58599 infeasible 668 -2.01010 - - 8.0 940s
1784712 59072 infeasible 681 -2.01010 - - 8.0 945s
1793512 59536 infeasible 673 -2.01010 - - 8.0 951s
1800933 60049 postponed 642 -2.01010 - - 8.0 955s
1809885 60464 postponed 636 -2.01010 - - 8.0 960s
1818942 60674 infeasible 700 -2.01010 - - 8.0 965s
1829978 60938 postponed 689 -2.01010 - - 8.0 970s
1839176 60724 infeasible 684 -2.01010 - - 8.0 975s
1848203 60321 postponed 685 -2.01010 - - 7.9 980s
1858516 60369 postponed 667 -2.01010 - - 7.9 985s
1867091 60444 postponed 688 -2.01010 - - 7.9 990s
1877718 60578 infeasible 679 -2.01010 - - 7.9 995s
1886426 60252 infeasible 670 -2.01010 - - 7.9 1000s
1896671 60264 postponed 680 -2.01010 - - 7.9 1005s
1905306 60353 infeasible 691 -2.01010 - - 7.9 1010s
1915793 60137 infeasible 681 -2.01010 - - 7.9 1015s
1924360 60071 infeasible 625 -2.01010 - - 7.9 1020s
1932705 60196 postponed 690 -2.01010 - - 7.9 1025s
1942744 60244 infeasible 682 -2.01010 - - 7.9 1030s
1951288 60297 infeasible 680 -2.01010 - - 7.9 1035s
1961832 60271 infeasible 631 -2.01010 - - 7.8 1040s
1970190 60301 infeasible 679 -2.01010 - - 7.8 1045s
1980788 60418 infeasible 600 -2.01010 - - 7.8 1050s
1989319 60372 infeasible 704 -2.01010 - - 7.8 1055s
1999584 60121 infeasible 651 -2.01010 - - 7.8 1060s
2007960 60078 postponed 663 -2.01010 - - 7.8 1065s
2017984 59910 infeasible 668 -2.01010 - - 7.8 1070s
2027787 59751 postponed 607 -2.01010 - - 7.8 1075s
2035772 59867 postponed 660 -2.01010 - - 7.8 1080s
2045225 60244 infeasible 582 -2.01010 - - 7.8 1085s
2053965 61015 postponed 559 -2.01010 - - 7.8 1090s
2062051 61074 postponed 675 -2.01010 - - 7.8 1095s
2068957 61145 infeasible 652 -2.01010 - - 7.8 1100s
2078054 61024 postponed 681 -2.01010 - - 7.8 1105s
2087715 60877 infeasible 522 -2.01010 - - 7.8 1110s
2096612 61183 infeasible 675 -2.01010 - - 7.8 1115s
2105395 61524 postponed 646 -2.01010 - - 7.8 1120s
2114981 61720 postponed 608 -2.01010 - - 7.8 1125s
2124249 61909 infeasible 666 -2.01010 - - 7.8 1130s
2133441 62036 postponed 662 -2.01010 - - 7.8 1135s
2144361 61878 postponed 649 -2.01010 - - 7.8 1140s
2153597 61783 infeasible 631 -2.01010 - - 7.8 1145s
2162436 61574 postponed 638 -2.01010 - - 7.8 1150s
2173065 61542 postponed 632 -2.01010 - - 7.8 1155s
2182014 61517 infeasible 688 -2.01010 - - 7.7 1160s
2191261 61349 postponed 645 -2.01010 - - 7.7 1165s
2200146 61356 infeasible 671 -2.01010 - - 7.7 1170s
2210905 61154 postponed 623 -2.01010 - - 7.7 1175s
2219395 61039 infeasible 701 -2.01010 - - 7.7 1180s
2230125 60929 postponed 667 -2.01010 - - 7.7 1185s
2238909 60757 infeasible 678 -2.01010 - - 7.7 1190s
2248977 60838 infeasible 681 -2.01010 - - 7.7 1195s
2258137 60752 infeasible 677 -2.01010 - - 7.7 1200s
2268173 60835 infeasible 681 -2.01010 - - 7.6 1205s
2276921 60908 postponed 608 -2.01010 - - 7.6 1210s
2287488 60753 postponed 700 -2.01010 - - 7.6 1215s
2296388 60664 postponed 675 -2.01010 - - 7.6 1220s
2306024 60681 postponed 678 -2.01010 - - 7.6 1225s
2314335 60974 infeasible 631 -2.01010 - - 7.6 1230s
2324658 61111 infeasible 668 -2.01010 - - 7.6 1235s
2333244 61359 infeasible 675 -2.01010 - - 7.6 1240s
2341935 61277 infeasible 670 -2.01010 - - 7.6 1245s
2352598 60970 infeasible 684 -2.01010 - - 7.6 1250s
2360983 61014 infeasible 669 -2.01010 - - 7.6 1255s
2371558 60740 postponed 692 -2.01010 - - 7.6 1260s
2381484 60627 infeasible 625 -2.01010 - - 7.6 1265s
2389866 60397 infeasible 592 -2.01010 - - 7.6 1270s
2399287 60954 infeasible 692 -2.01010 - - 7.6 1275s
2407507 60995 postponed 690 -2.01010 - - 7.6 1280s
2417704 60957 infeasible 688 -2.01010 - - 7.5 1285s
2426063 60845 infeasible 673 -2.01010 - - 7.5 1290s
2436195 60616 postponed 637 -2.01010 - - 7.5 1295s
2444043 60442 infeasible 670 -2.01010 - - 7.5 1300s
2452425 60628 postponed 607 -2.01010 - - 7.5 1305s
2462823 60343 postponed 689 -2.01010 - - 7.5 1310s
2469604 60685 postponed 630 -2.01010 - - 7.6 1315s
2477345 60509 infeasible 677 -2.01010 - - 7.6 1321s
2485231 60748 infeasible 600 -2.01010 - - 7.6 1325s
2494833 60797 postponed 664 -2.01010 - - 7.6 1330s
2503791 61052 postponed 689 -2.01010 - - 7.6 1335s
2513757 61231 postponed 692 -2.01010 - - 7.6 1340s
2522146 61194 postponed 654 -2.01010 - - 7.6 1345s
2531964 61108 postponed 667 -2.01010 - - 7.6 1350s
2541709 60933 postponed 678 -2.01010 - - 7.6 1355s
2549743 61004 postponed 663 -2.01010 - - 7.6 1360s
2559424 60787 infeasible 683 -2.01010 - - 7.6 1365s
2569261 60570 postponed 668 -2.01010 - - 7.6 1370s
2577334 60572 postponed 603 -2.01010 - - 7.6 1375s
2586801 60847 infeasible 673 -2.01010 - - 7.6 1380s
2596419 60318 postponed 681 -2.01010 - - 7.6 1385s
2605731 60578 infeasible 678 -2.01010 - - 7.5 1390s
2614967 60873 infeasible 683 -2.01010 - - 7.5 1395s
2624659 60923 infeasible 651 -2.01010 - - 7.5 1400s
2634075 60672 infeasible 645 -2.01010 - - 7.5 1405s
2643508 60540 infeasible 654 -2.01010 - - 7.5 1410s
2653036 60202 postponed 699 -2.01010 - - 7.5 1415s
2662288 60232 infeasible 588 -2.01010 - - 7.5 1420s
2670267 60461 postponed 663 -2.01010 - - 7.5 1425s
2680305 60533 infeasible 665 -2.01010 - - 7.5 1430s
2690381 60708 infeasible 674 -2.01010 - - 7.5 1435s
2698886 60490 postponed 682 -2.01010 - - 7.5 1440s
2708435 60083 infeasible 615 -2.01010 - - 7.5 1445s
2718072 59818 infeasible 638 -2.01010 - - 7.5 1450s
2728815 59713 postponed 678 -2.01010 - - 7.5 1455s
2737927 59935 postponed 680 -2.01010 - - 7.5 1460s
2747243 59914 infeasible 671 -2.01010 - - 7.5 1465s
2756572 59312 postponed 592 -2.01010 - - 7.5 1470s
2764139 59751 postponed 669 -2.01010 - - 7.5 1475s
2773361 60251 postponed 688 -2.01010 - - 7.5 1480s
2782832 60466 postponed 670 -2.01010 - - 7.5 1485s
2792658 60134 infeasible 563 -2.01010 - - 7.5 1490s
2800671 59959 infeasible 652 -2.01010 - - 7.5 1495s
2809932 59933 infeasible 674 -2.01010 - - 7.5 1500s
2819502 60115 postponed 676 -2.01010 - - 7.5 1505s
2829221 60465 postponed 627 -2.01010 - - 7.5 1510s
2837332 60838 postponed 689 -2.01010 - - 7.5 1515s
2847269 60804 infeasible 664 -2.01010 - - 7.5 1520s
2857164 60754 postponed 613 -2.01010 - - 7.5 1525s
2866755 60805 postponed 683 -2.01010 - - 7.5 1530s
2874988 60833 infeasible 688 -2.01010 - - 7.5 1535s
2884512 60697 postponed 643 -2.01010 - - 7.5 1540s
2893716 60638 infeasible 716 -2.01010 - - 7.5 1545s
2903310 60588 postponed 691 -2.01010 - - 7.4 1550s
2913010 60290 postponed 677 -2.01010 - - 7.4 1555s
2922513 60089 infeasible 673 -2.01010 - - 7.4 1560s
2931814 59668 infeasible 689 -2.01010 - - 7.4 1565s
2941741 59599 postponed 670 -2.01010 - - 7.4 1570s
2948991 59461 postponed 682 -2.01010 - - 7.4 1575s
2958556 59504 infeasible 681 -2.01010 - - 7.5 1580s
2966599 59622 postponed 666 -2.01010 - - 7.5 1585s
2975407 59354 postponed 607 -2.01010 - - 7.5 1590s
2981757 59143 infeasible 696 -2.01010 - - 7.5 1595s
2990679 58981 infeasible 666 -2.01010 - - 7.5 1600s
3000009 59161 postponed 655 -2.01010 - - 7.5 1605s
3008761 59079 infeasible 671 -2.01010 - - 7.5 1610s
3018601 59426 postponed 607 -2.01010 - - 7.5 1615s
3026819 59543 infeasible 675 -2.01010 - - 7.5 1620s
3036884 59511 infeasible 704 -2.01010 - - 7.5 1625s
3045174 59230 postponed 695 -2.01010 - - 7.5 1630s
3054694 59020 infeasible 681 -2.01010 - - 7.5 1635s
3063687 58923 postponed 670 -2.01010 - - 7.5 1640s
3071407 59045 postponed 619 -2.01010 - - 7.5 1645s
3079727 58976 infeasible 669 -2.01010 - - 7.5 1650s
3087713 58887 infeasible 687 -2.01010 - - 7.5 1655s
3095543 59042 infeasible 595 -2.01010 - - 7.5 1660s
3105603 59322 infeasible 645 -2.01010 - - 7.5 1665s
3113342 59748 postponed 680 -2.01010 - - 7.5 1670s
3122644 60135 postponed 680 -2.01010 - - 7.5 1675s
3130501 60377 postponed 596 -2.01010 - - 7.5 1680s
3140121 60189 postponed 692 -2.01010 - - 7.5 1685s
3149380 60297 postponed 644 -2.01010 - - 7.5 1690s
3158562 60316 infeasible 701 -2.01010 - - 7.5 1695s
3167780 60146 infeasible 654 -2.01010 - - 7.5 1700s
3176301 60034 infeasible 678 -2.01010 - - 7.5 1705s
3185127 60109 postponed 663 -2.01010 - - 7.5 1710s
3193477 60274 postponed 682 -2.01010 - - 7.5 1715s
3202161 60327 infeasible 693 -2.01010 - - 7.5 1720s
3211169 60051 infeasible 681 -2.01010 - - 7.5 1725s
3221102 60044 postponed 678 -2.01010 - - 7.5 1730s
3229193 59840 infeasible 665 -2.01010 - - 7.5 1735s
3238602 59477 infeasible 686 -2.01010 - - 7.5 1740s
3249048 59908 postponed 667 -2.01010 - - 7.5 1745s
3258322 60156 postponed 684 -2.01010 - - 7.5 1750s
3267608 59970 postponed 679 -2.01010 - - 7.5 1755s
3277333 59741 infeasible 665 -2.01010 - - 7.5 1760s
3286349 59738 postponed 683 -2.01010 - - 7.5 1765s
3295551 59348 postponed 629 -2.01010 - - 7.5 1770s
3304912 59334 infeasible 682 -2.01010 - - 7.5 1775s
3313706 59417 postponed 616 -2.01010 - - 7.5 1780s
3321904 59726 infeasible 682 -2.01010 - - 7.5 1785s
3330742 60145 postponed 656 -2.01010 - - 7.5 1790s
3338565 60109 infeasible 571 -2.01010 - - 7.5 1795s
3347065 60167 infeasible 695 -2.01010 - - 7.5 1800s
3356981 59927 postponed 688 -2.01010 - - 7.5 1805s
3366155 59396 infeasible 670 -2.01010 - - 7.5 1810s
3376271 59528 postponed 665 -2.01010 - - 7.5 1815s
3385600 59249 infeasible 651 -2.01010 - - 7.5 1820s
3394587 59043 infeasible 676 -2.01010 - - 7.5 1825s
3403686 58729 postponed 651 -2.01010 - - 7.5 1830s
3414069 58671 postponed 664 -2.01010 - - 7.5 1835s
3422530 58846 infeasible 615 -2.01010 - - 7.5 1840s
3431435 59068 postponed 686 -2.01010 - - 7.5 1845s
3440847 59432 postponed 693 -2.01010 - - 7.5 1850s
3448772 59380 infeasible 614 -2.01010 - - 7.5 1855s
3458167 59076 postponed 681 -2.01010 - - 7.5 1860s
3468784 58794 postponed 682 -2.01010 - - 7.5 1865s
3476030 58876 postponed 667 -2.01010 - - 7.5 1870s
3485540 58869 postponed 665 -2.01010 - - 7.5 1875s
3494810 59160 postponed 617 -2.01010 - - 7.5 1880s
3504093 59095 infeasible 647 -2.01010 - - 7.5 1885s
3513432 59101 infeasible 691 -2.01010 - - 7.5 1890s
3522855 58836 postponed 637 -2.01010 - - 7.5 1895s
3532562 58322 postponed 695 -2.01010 - - 7.5 1900s
3540735 58314 infeasible 688 -2.01010 - - 7.5 1905s
3550455 58380 postponed 547 -2.01010 - - 7.4 1910s
3559667 58675 infeasible 674 -2.01010 - - 7.4 1915s
3569185 58366 postponed 693 -2.01010 - - 7.4 1920s
3577160 58330 postponed 678 -2.01010 - - 7.4 1925s
3586562 58260 infeasible 691 -2.01010 - - 7.4 1930s
3595852 58472 postponed 598 -2.01010 - - 7.4 1935s
3603686 58487 infeasible 610 -2.01010 - - 7.4 1940s
3613488 58783 infeasible 684 -2.01010 - - 7.4 1945s
3623694 58467 infeasible 634 -2.01010 - - 7.4 1950s
3632919 58528 infeasible 670 -2.01010 - - 7.4 1955s
3642527 58322 postponed 690 -2.01010 - - 7.4 1960s
3651880 58177 postponed 676 -2.01010 - - 7.4 1965s
3660936 58210 postponed 655 -2.01010 - - 7.4 1970s
3669478 58450 postponed 697 -2.01010 - - 7.4 1975s
3678133 58957 postponed 629 -2.01010 - - 7.4 1980s
3687502 59237 infeasible 615 -2.01010 - - 7.4 1985s
3697203 59355 postponed 669 -2.01010 - - 7.4 1990s
3706424 59538 postponed 700 -2.01010 - - 7.4 1995s
3715663 59529 postponed 670 -2.01010 - - 7.4 2000s
3724893 59531 infeasible 644 -2.01010 - - 7.4 2005s
3734241 59306 postponed 687 -2.01010 - - 7.4 2010s
3744820 59224 infeasible 636 -2.01010 - - 7.4 2015s
3753892 58959 infeasible 694 -2.01010 - - 7.4 2020s
3762556 58813 infeasible 572 -2.01010 - - 7.4 2025s
3771663 58659 postponed 680 -2.01010 - - 7.4 2030s
3781862 58742 infeasible 689 -2.01010 - - 7.4 2035s
3790896 58356 infeasible 611 -2.01010 - - 7.4 2040s
3799608 58523 infeasible 689 -2.01010 - - 7.4 2045s
3809346 58771 infeasible 682 -2.01010 - - 7.4 2050s
3818108 58919 postponed 690 -2.01010 - - 7.4 2055s
3827198 58934 postponed 677 -2.01010 - - 7.4 2060s
3835627 58839 infeasible 675 -2.01010 - - 7.4 2065s
3845405 58613 postponed 611 -2.01010 - - 7.4 2070s
3855106 58632 infeasible 684 -2.01010 - - 7.4 2075s
3864600 58846 postponed 672 -2.01010 - - 7.4 2080s
3874056 58501 infeasible 684 -2.01010 - - 7.4 2085s
3883423 58329 postponed 666 -2.01010 - - 7.4 2090s
3892710 58263 postponed 688 -2.01010 - - 7.4 2095s
3900481 58321 postponed 622 -2.01010 - - 7.4 2100s
3909505 58391 infeasible 683 -2.01010 - - 7.4 2105s
3918512 58510 infeasible 600 -2.01010 - - 7.4 2110s
3925860 58870 postponed 672 -2.01010 - - 7.4 2115s
3934819 58682 postponed 668 -2.01010 - - 7.4 2120s
3942761 58651 infeasible 675 -2.01010 - - 7.4 2125s
3952161 58499 infeasible 698 -2.01010 - - 7.4 2130s
3960338 58435 infeasible 685 -2.01010 - - 7.4 2135s
3969498 58597 infeasible 669 -2.01010 - - 7.4 2140s
3979010 58458 infeasible 620 -2.01010 - - 7.4 2145s
3988380 58161 postponed 696 -2.01010 - - 7.4 2150s
3997597 57933 postponed 674 -2.01010 - - 7.4 2155s
4005820 58362 postponed 667 -2.01010 - - 7.4 2160s
4013991 58634 infeasible 571 -2.01010 - - 7.4 2165s
4023233 59073 postponed 669 -2.01010 - - 7.4 2170s
4032134 59404 postponed 656 -2.01010 - - 7.4 2175s
4041069 59845 infeasible 679 -2.01010 - - 7.4 2180s
4050007 60041 postponed 655 -2.01010 - - 7.4 2185s
4059151 60121 infeasible 682 -2.01010 - - 7.4 2190s
4068108 60549 postponed 551 -2.01010 - - 7.4 2195s
4076825 60710 infeasible 652 -2.01010 - - 7.4 2200s
4086241 60927 infeasible 669 -2.01010 - - 7.4 2205s
4095723 61119 infeasible 679 -2.01010 - - 7.4 2210s
4103807 61177 postponed 687 -2.01010 - - 7.4 2215s
4113591 60928 postponed 680 -2.01010 - - 7.4 2220s
4123245 60705 postponed 665 -2.01010 - - 7.4 2225s
4132551 60435 infeasible 684 -2.01010 - - 7.4 2230s
4140468 60181 infeasible 649 -2.01010 - - 7.4 2235s
4148363 60114 postponed 685 -2.01010 - - 7.4 2240s
4155851 60473 infeasible 541 -2.01010 - - 7.4 2246s
4161624 60665 infeasible 663 -2.01010 - - 7.5 2250s
4169271 60995 postponed 682 -2.01010 - - 7.5 2255s
4178692 61122 infeasible 666 -2.01010 - - 7.5 2260s
4188495 60976 infeasible 600 -2.01010 - - 7.5 2265s
4196831 60939 infeasible 636 -2.01010 - - 7.5 2270s
4205813 60897 infeasible 675 -2.01010 - - 7.5 2275s
4215015 60611 infeasible 656 -2.01010 - - 7.5 2280s
4225563 60780 infeasible 608 -2.01010 - - 7.5 2285s
4233796 60697 postponed 688 -2.01010 - - 7.5 2290s
4243738 60722 postponed 689 -2.01010 - - 7.5 2295s
4252813 60525 postponed 671 -2.01010 - - 7.5 2300s
4261419 60523 postponed 583 -2.01010 - - 7.5 2305s
4271184 60533 postponed 631 -2.01010 - - 7.5 2310s
4279889 60856 infeasible 670 -2.01010 - - 7.5 2315s
4289906 60355 infeasible 674 -2.01010 - - 7.4 2320s
4298167 60269 postponed 684 -2.01010 - - 7.4 2325s
4307785 60224 infeasible 607 -2.01010 - - 7.4 2330s
4317505 60450 postponed 666 -2.01010 - - 7.4 2335s
4325959 60616 infeasible 697 -2.01010 - - 7.4 2340s
4335808 60792 postponed 669 -2.01010 - - 7.4 2345s
4344090 60867 infeasible 684 -2.01010 - - 7.4 2350s
4354255 60778 postponed 687 -2.01010 - - 7.4 2355s
4364287 60359 postponed 662 -2.01010 - - 7.4 2360s
4374057 60166 postponed 680 -2.01010 - - 7.4 2365s
4383356 60073 infeasible 666 -2.01010 - - 7.4 2370s
4390605 60133 postponed 677 -2.01010 - - 7.4 2375s
4399921 59704 infeasible 648 -2.01010 - - 7.4 2380s
4406781 59774 postponed 634 -2.01010 - - 7.4 2385s
4415207 60003 postponed 637 -2.01010 - - 7.4 2390s
4423496 60274 postponed 676 -2.01010 - - 7.5 2396s
4430298 60348 postponed 658 -2.01010 - - 7.5 2400s
4438659 60178 postponed 688 -2.01010 - - 7.5 2405s
4445404 60450 postponed 674 -2.01010 - - 7.5 2410s
4453135 60447 infeasible 691 -2.01010 - - 7.5 2415s
4459732 60430 postponed 605 -2.01010 - - 7.5 2420s
4467111 60494 infeasible 675 -2.01010 - - 7.5 2425s
4476279 60757 postponed 675 -2.01010 - - 7.5 2430s
4483495 60477 postponed 689 -2.01010 - - 7.5 2435s
4492232 60305 postponed 667 -2.01010 - - 7.5 2440s
4500840 60139 infeasible 678 -2.01010 - - 7.5 2445s
4507939 60122 infeasible 532 -2.01010 - - 7.6 2450s
4516903 59841 postponed 679 -2.01010 - - 7.6 2455s
4526461 59569 infeasible 561 -2.01010 - - 7.6 2460s
4534933 59608 infeasible 700 -2.01010 - - 7.6 2465s
4542968 60279 postponed 677 -2.01010 - - 7.6 2470s
4552739 60894 infeasible 691 -2.01010 - - 7.6 2475s
4560729 61455 infeasible 703 -2.01010 - - 7.6 2480s
4570497 61788 infeasible 607 -2.01010 - - 7.6 2485s
4578367 61748 postponed 665 -2.01010 - - 7.6 2490s
4586451 61629 infeasible 614 -2.01010 - - 7.6 2495s
4594896 61567 postponed 630 -2.01010 - - 7.6 2500s
4603366 61490 infeasible 677 -2.01010 - - 7.6 2505s
4611788 61243 postponed 656 -2.01010 - - 7.6 2510s
4620088 61087 infeasible 620 -2.01010 - - 7.6 2515s
4628241 61020 postponed 671 -2.01010 - - 7.6 2520s
4636422 60914 infeasible 681 -2.01010 - - 7.6 2525s
4644611 60825 postponed 688 -2.01010 - - 7.6 2530s
4652718 60739 infeasible 691 -2.01010 - - 7.6 2535s
4662376 60532 postponed 682 -2.01010 - - 7.6 2540s
4670578 60373 infeasible 664 -2.01010 - - 7.6 2545s
4678234 60503 infeasible 656 -2.01010 - - 7.6 2550s
4686500 60839 postponed 673 -2.01010 - - 7.6 2555s
4694540 60874 infeasible 648 -2.01010 - - 7.6 2560s
4702979 61151 infeasible 678 -2.01010 - - 7.6 2565s
4711603 61207 postponed 690 -2.01010 - - 7.6 2570s
4718653 61019 postponed 683 -2.01010 - - 7.6 2575s
4728090 61046 postponed 665 -2.01010 - - 7.6 2580s
4736849 61121 infeasible 679 -2.01010 - - 7.6 2585s
4746348 60970 infeasible 691 -2.01010 - - 7.7 2590s
4754606 60702 postponed 684 -2.01010 - - 7.7 2595s
4763089 60848 postponed 682 -2.01010 - - 7.7 2600s
4772888 60673 infeasible 679 -2.01010 - - 7.7 2605s
4781606 60327 postponed 703 -2.01010 - - 7.7 2610s
4791074 60351 infeasible 688 -2.01010 - - 7.7 2615s
4799337 60359 postponed 549 -2.01010 - - 7.7 2620s
4809787 60567 infeasible 686 -2.01010 - - 7.7 2625s
4818452 60336 infeasible 688 -2.01010 - - 7.7 2630s
4828045 60551 infeasible 658 -2.01010 - - 7.7 2635s
4837478 60644 postponed 666 -2.01010 - - 7.7 2640s
4845422 60762 infeasible 597 -2.01010 - - 7.7 2645s
4853927 60863 infeasible 685 -2.01010 - - 7.7 2650s
4862875 60688 postponed 671 -2.01010 - - 7.7 2655s
4869925 60454 infeasible 686 -2.01010 - - 7.7 2660s
4878846 60291 postponed 660 -2.01010 - - 7.7 2665s
4888173 60064 infeasible 678 -2.01010 - - 7.7 2670s
4896974 60242 infeasible 664 -2.01010 - - 7.7 2675s
4905684 60699 postponed 660 -2.01010 - - 7.7 2680s
4916181 60523 postponed 641 -2.01010 - - 7.7 2685s
4925203 60395 infeasible 688 -2.01010 - - 7.7 2690s
4935044 60359 postponed 680 -2.01010 - - 7.7 2695s
4943359 60532 infeasible 681 -2.01010 - - 7.7 2700s
4953743 60246 infeasible 629 -2.01010 - - 7.7 2705s
4962144 59936 infeasible 660 -2.01010 - - 7.7 2710s
4971932 59800 infeasible 688 -2.01010 - - 7.7 2715s
4980272 59830 infeasible 699 -2.01010 - - 7.7 2720s
4990139 59865 infeasible 671 -2.01010 - - 7.7 2725s
4999893 60165 postponed 677 -2.01010 - - 7.7 2730s
5007881 60423 postponed 604 -2.01010 - - 7.7 2735s
5018077 60346 infeasible 653 -2.01010 - - 7.7 2740s
5026554 60390 infeasible 660 -2.01010 - - 7.7 2745s
5035278 60384 postponed 690 -2.01010 - - 7.7 2750s
5045486 60065 infeasible 700 -2.01010 - - 7.7 2755s
5054497 59911 postponed 652 -2.01010 - - 7.7 2760s
5063261 59668 infeasible 685 -2.01010 - - 7.7 2765s
5071999 59662 postponed 689 -2.01010 - - 7.6 2770s
5081975 59277 infeasible 687 -2.01010 - - 7.6 2775s
5090497 59115 infeasible 592 -2.01010 - - 7.6 2780s
5100582 59120 infeasible 626 -2.01010 - - 7.6 2785s
5108929 58933 infeasible 630 -2.01010 - - 7.6 2790s
5119128 58627 postponed 672 -2.01010 - - 7.6 2795s
5127213 58691 infeasible 681 -2.01010 - - 7.6 2800s
5137328 58567 postponed 567 -2.01010 - - 7.6 2805s
5145767 58611 postponed 678 -2.01010 - - 7.6 2810s
5154098 58687 infeasible 647 -2.01010 - - 7.6 2815s
5162623 58971 postponed 588 -2.01010 - - 7.6 2820s
5171609 58962 postponed 692 -2.01010 - - 7.6 2825s
5180352 59286 infeasible 684 -2.01010 - - 7.6 2830s
5190720 59410 infeasible 690 -2.01010 - - 7.6 2835s
5199839 59236 infeasible 681 -2.01010 - - 7.6 2840s
5208399 59113 infeasible 671 -2.01010 - - 7.6 2845s
5218772 59102 postponed 634 -2.01010 - - 7.6 2850s
5227411 59078 postponed 673 -2.01010 - - 7.6 2855s
5237651 59068 infeasible 637 -2.01010 - - 7.6 2860s
5246045 58901 infeasible 685 -2.01010 - - 7.6 2865s
5254742 58608 postponed 669 -2.01010 - - 7.6 2870s
5264199 58728 postponed 661 -2.01010 - - 7.6 2875s
5272135 58687 infeasible 680 -2.01010 - - 7.6 2880s
5279882 58546 postponed 637 -2.01010 - - 7.6 2885s
5287917 58335 postponed 636 -2.01010 - - 7.6 2890s
5296211 57877 infeasible 604 -2.01010 - - 7.6 2895s
5304253 58143 infeasible 607 -2.01010 - - 7.6 2900s
5311476 58286 postponed 628 -2.01010 - - 7.6 2905s
5320925 59053 postponed 680 -2.01010 - - 7.7 2910s
5328520 59535 infeasible 669 -2.01010 - - 7.7 2915s
5337174 60012 infeasible 689 -2.01010 - - 7.7 2920s
5345113 60364 postponed 677 -2.01010 - - 7.7 2925s
5353880 60519 infeasible 629 -2.01010 - - 7.7 2930s
5363967 60594 infeasible 683 -2.01010 - - 7.7 2935s
5373395 60539 infeasible 675 -2.01010 - - 7.7 2940s
5382723 60452 infeasible 698 -2.01010 - - 7.7 2945s
5391886 60431 postponed 675 -2.01010 - - 7.7 2950s
5401085 60363 postponed 665 -2.01010 - - 7.7 2955s
5410117 60525 infeasible 638 -2.01010 - - 7.7 2960s
5419532 60304 postponed 680 -2.01010 - - 7.7 2965s
5428727 59929 infeasible 576 -2.01010 - - 7.7 2970s
5437120 60201 postponed 655 -2.01010 - - 7.7 2975s
5446371 60207 postponed 661 -2.01010 - - 7.7 2980s
5455224 60441 postponed 625 -2.01010 - - 7.7 2985s
5464601 60755 postponed 677 -2.01010 - - 7.7 2990s
5473654 60993 infeasible 687 -2.01010 - - 7.7 2995s
5482560 61107 postponed 663 -2.01010 - - 7.6 3000s
5491862 61116 postponed 670 -2.01010 - - 7.6 3005s
5500895 61364 postponed 638 -2.01010 - - 7.6 3010s
5509928 61040 infeasible 686 -2.01010 - - 7.6 3015s
5520872 60654 postponed 601 -2.01010 - - 7.6 3020s
5529567 60787 postponed 657 -2.01010 - - 7.6 3025s
5538528 60740 infeasible 675 -2.01010 - - 7.6 3030s
5549202 60470 infeasible 643 -2.01010 - - 7.6 3035s
5558024 60526 postponed 663 -2.01010 - - 7.6 3040s
5568398 60666 infeasible 598 -2.01010 - - 7.6 3045s
5577437 60490 postponed 695 -2.01010 - - 7.6 3050s
5586327 60144 postponed 671 -2.01010 - - 7.6 3055s
5596608 59787 infeasible 604 -2.01010 - - 7.6 3060s
5605240 59797 postponed 665 -2.01010 - - 7.6 3065s
5615539 59892 infeasible 693 -2.01010 - - 7.6 3070s
5624091 59849 postponed 629 -2.01010 - - 7.6 3075s
5632491 59818 infeasible 662 -2.01010 - - 7.6 3080s
5642680 59713 infeasible 689 -2.01010 - - 7.6 3085s
5651290 59370 infeasible 671 -2.01010 - - 7.6 3090s
5660183 59165 infeasible 663 -2.01010 - - 7.6 3095s
5669901 59636 infeasible 601 -2.01010 - - 7.6 3100s
5678275 60154 postponed 604 -2.01010 - - 7.6 3105s
5687021 60327 postponed 601 -2.01010 - - 7.6 3110s
5695075 60310 postponed 690 -2.01010 - - 7.6 3115s
5704733 60417 postponed 655 -2.01010 - - 7.6 3120s
5713192 60585 infeasible 701 -2.01010 - - 7.6 3125s
5722096 60388 postponed 681 -2.01010 - - 7.6 3130s
5731314 60603 postponed 670 -2.01010 - - 7.6 3135s
5740363 60727 postponed 657 -2.01010 - - 7.6 3140s
5750902 60557 infeasible 600 -2.01010 - - 7.6 3145s
5761111 60502 postponed 664 -2.01010 - - 7.6 3150s
5769652 60416 infeasible 670 -2.01010 - - 7.6 3155s
5779557 60214 postponed 700 -2.01010 - - 7.6 3160s
5789208 60219 infeasible 677 -2.01010 - - 7.6 3165s
5799185 60035 postponed 663 -2.01010 - - 7.6 3170s
5808656 60074 postponed 690 -2.01010 - - 7.6 3175s
5816672 60212 infeasible 686 -2.01010 - - 7.5 3180s
5825962 60333 postponed 631 -2.01010 - - 7.5 3185s
5835645 60199 infeasible 619 -2.01010 - - 7.6 3190s
5843928 60009 postponed 657 -2.01010 - - 7.6 3195s
5852549 59813 infeasible 674 -2.01010 - - 7.5 3200s
5862700 59914 infeasible 671 -2.01010 - - 7.5 3205s
5872077 60006 postponed 662 -2.01010 - - 7.5 3210s
5881733 59970 postponed 678 -2.01010 - - 7.5 3215s
5891177 60053 infeasible 687 -2.01010 - - 7.5 3220s
5900809 59854 postponed 657 -2.01010 - - 7.5 3225s
5910512 59746 infeasible 685 -2.01010 - - 7.5 3230s
5920044 59428 infeasible 703 -2.01010 - - 7.5 3235s
5927879 59229 infeasible 654 -2.01010 - - 7.5 3240s
5936903 59685 infeasible 668 -2.01010 - - 7.5 3245s
5946311 60034 infeasible 704 -2.01010 - - 7.5 3250s
5955970 60053 infeasible 679 -2.01010 - - 7.5 3255s
5965594 59884 postponed 688 -2.01010 - - 7.5 3260s
5974728 59641 infeasible 685 -2.01010 - - 7.5 3265s
5984209 59858 infeasible 680 -2.01010 - - 7.5 3270s
5993831 59525 infeasible 672 -2.01010 - - 7.5 3275s
6003131 59332 infeasible 660 -2.01010 - - 7.5 3280s
6012311 59295 postponed 689 -2.01010 - - 7.5 3285s
6023122 59294 infeasible 681 -2.01010 - - 7.5 3290s
6032341 59135 postponed 670 -2.01010 - - 7.5 3295s
6041301 58830 postponed 628 -2.01010 - - 7.5 3300s
6050436 58856 infeasible 625 -2.01010 - - 7.5 3305s
6059130 59433 infeasible 693 -2.01010 - - 7.5 3310s
6068234 59577 postponed 688 -2.01010 - - 7.5 3315s
6077807 60012 postponed 674 -2.01010 - - 7.5 3320s
6087397 60304 infeasible 664 -2.01010 - - 7.5 3325s
6097327 60207 infeasible 668 -2.01010 - - 7.5 3330s
6106843 60062 infeasible 690 -2.01010 - - 7.5 3335s
6115691 60079 infeasible 704 -2.01010 - - 7.5 3340s
6124808 60276 infeasible 691 -2.01010 - - 7.5 3345s
6133128 59975 infeasible 602 -2.01010 - - 7.5 3350s
6142473 60046 infeasible 684 -2.01010 - - 7.5 3355s
6151506 60271 postponed 662 -2.01010 - - 7.5 3360s
6159881 59822 infeasible 682 -2.01010 - - 7.5 3365s
6169278 59965 infeasible 704 -2.01010 - - 7.5 3370s
6178270 59899 infeasible 691 -2.01010 - - 7.5 3375s
6187511 59913 postponed 674 -2.01010 - - 7.5 3380s
6198685 59783 postponed 671 -2.01010 - - 7.5 3385s
6207814 59665 infeasible 679 -2.01010 - - 7.5 3390s
6216678 59591 postponed 681 -2.01010 - - 7.5 3395s
6226865 59286 infeasible 679 -2.01010 - - 7.5 3400s
6235390 59059 postponed 599 -2.01010 - - 7.5 3405s
6244391 59121 infeasible 690 -2.01010 - - 7.5 3410s
6253403 59205 postponed 683 -2.01010 - - 7.5 3415s
6260976 59274 postponed 662 -2.01010 - - 7.5 3420s
6262456 59213 postponed 675 -2.01010 - - 7.5 4396s

Explored 6263183 nodes (46691592 simplex iterations) in 4396.33 seconds (1837.01 work units)
Thread count was 8 (of 8 available processors)

Solution count 2: -2.0101 0

Time limit reached
Best objective -2.010098030302e+00, best bound -, gap -