GLPSOL--GLPK LP/MIP Solver 5.0
Parameter(s) specified in the command line:
 --lp badzell.lp --fpump --cuts --tmlim 1000 -o badzell-glpk-solution.txt
 --log badzell-glpsol-result.txt
Reading problem data from 'badzell.lp'...
932 rows, 638 columns, 3272 non-zeros
319 integer variables, all of which are binary
4471 lines were read
GLPK Integer Optimizer 5.0
932 rows, 638 columns, 3272 non-zeros
319 integer variables, all of which are binary
Preprocessing...
227 constraint coefficient(s) were reduced
502 rows, 638 columns, 2001 non-zeros
319 integer variables, all of which are binary
Scaling...
 A: min|aij| =  1.000e-03  max|aij| =  1.000e+09  ratio =  1.000e+12
GM: min|aij| =  3.137e-02  max|aij| =  3.188e+01  ratio =  1.016e+03
EQ: min|aij| =  9.920e-04  max|aij| =  1.000e+00  ratio =  1.008e+03
2N: min|aij| =  4.883e-04  max|aij| =  1.373e+00  ratio =  2.812e+03
Constructing initial basis...
Size of triangular part is 502
Solving LP relaxation...
GLPK Simplex Optimizer 5.0
502 rows, 638 columns, 2001 non-zeros
*     0: obj =   0.000000000e+00 inf =   0.000e+00 (5)
*   338: obj =  -3.824202878e+05 inf =   5.151e-14 (0) 1
OPTIMAL LP SOLUTION FOUND
Integer optimization begins...
Long-step dual simplex will be used
Gomory's cuts enabled
MIR cuts enabled
Cover cuts enabled
Number of 0-1 knapsack inequalities = 30
Clique cuts enabled
Constructing conflict graph...
No conflicts found
+   338: mip =     not found yet >=              -inf        (1; 0)
Applying FPUMP heuristic...
Pass 1
Solution found by heuristic: 108889.4
Pass 1
Pass 2
Pass 3
Pass 4
Pass 5
Cuts on level 0: gmi = 3; mir = 18; cov = 5;
Cuts on level 68: gmi = 4; mir = 38; cov = 7;
+  4239: >>>>>   3.782783125e+04 >=  -3.732235241e+05        (348; 20)
Cuts on level 45: gmi = 4; mir = 29; cov = 8;
+ 10867: >>>>>   3.182269513e+04 >=  -3.713753189e+05        (821; 81)
Cuts on level 47: gmi = 5; mir = 39; cov = 7;
+ 14631: >>>>>  -4.862997796e+03 >=  -3.710809877e+05        (1119; 104)
Cuts on level 48: gmi = 4; mir = 46; cov = 7;
+ 19648: >>>>>  -1.465775655e+05 >=  -3.704127815e+05 152.7% (1528; 146)
Cuts on level 81: gmi = 5; mir = 24; cov = 6;
+ 20357: >>>>>  -1.879705608e+05 >=  -3.702713515e+05  97.0% (1566; 241)
Cuts on level 35: gmi = 3; mir = 27; cov = 8;
+ 22870: >>>>>  -3.088399068e+05 >=  -3.701291399e+05  19.8% (1823; 280)
Cuts on level 39: gmi = 5; mir = 32; cov = 8;
+ 44166: >>>>>  -3.200768762e+05 >=  -3.687415637e+05  15.2% (2923; 1181)
+ 92340: mip =  -3.200768762e+05 >=  -3.664535644e+05  14.5% (5796; 2254)
+126488: mip =  -3.200768762e+05 >=  -3.656273026e+05  14.2% (8758; 2613)
Cuts on level 76: gmi = 5; mir = 31; cov = 9;
+149387: >>>>>  -3.267797648e+05 >=  -3.650488470e+05  11.7% (10666; 2878)
+176118: mip =  -3.267797648e+05 >=  -3.645640198e+05  11.6% (12001; 4748)
+200859: mip =  -3.267797648e+05 >=  -3.642458838e+05  11.5% (14087; 5061)
+225710: mip =  -3.267797648e+05 >=  -3.640402626e+05  11.4% (16122; 5343)
+248671: mip =  -3.267797648e+05 >=  -3.639591201e+05  11.4% (17889; 5610)
+269009: mip =  -3.267797648e+05 >=  -3.638644501e+05  11.3% (19705; 5864)
+289034: mip =  -3.267797648e+05 >=  -3.638193639e+05  11.3% (21517; 6127)
+307931: mip =  -3.267797648e+05 >=  -3.637812032e+05  11.3% (23119; 6383)
+325641: mip =  -3.267797648e+05 >=  -3.637496147e+05  11.3% (24740; 6654)
Time used: 60.0 secs.  Memory used: 42.3 Mb.
+342774: mip =  -3.267797648e+05 >=  -3.637223246e+05  11.3% (26178; 6914)
+360072: mip =  -3.267797648e+05 >=  -3.636898165e+05  11.3% (27676; 7164)
+376711: mip =  -3.267797648e+05 >=  -3.636531489e+05  11.3% (29200; 7404)
+394064: mip =  -3.267797648e+05 >=  -3.636168533e+05  11.3% (30753; 7654)
+411616: mip =  -3.267797648e+05 >=  -3.635876255e+05  11.3% (32285; 7898)
+427129: mip =  -3.267797648e+05 >=  -3.635587256e+05  11.3% (33522; 8151)
+442519: mip =  -3.267797648e+05 >=  -3.635262738e+05  11.2% (34938; 8389)
+458864: mip =  -3.267797648e+05 >=  -3.634849226e+05  11.2% (36320; 8635)
+474631: mip =  -3.267797648e+05 >=  -3.634423554e+05  11.2% (37573; 8884)
+488731: mip =  -3.267797648e+05 >=  -3.633963202e+05  11.2% (38737; 9130)
+502552: mip =  -3.267797648e+05 >=  -3.633548797e+05  11.2% (39876; 9371)
+516981: mip =  -3.267797648e+05 >=  -3.633088993e+05  11.2% (41160; 9596)
Time used: 120.0 secs.  Memory used: 71.5 Mb.
+531222: mip =  -3.267797648e+05 >=  -3.632751674e+05  11.2% (42374; 9826)
+545720: mip =  -3.267797648e+05 >=  -3.632391084e+05  11.2% (43575; 10051)
+559060: mip =  -3.267797648e+05 >=  -3.632149757e+05  11.1% (44774; 10249)
+571988: mip =  -3.267797648e+05 >=  -3.631785054e+05  11.1% (45992; 10445)
+585643: mip =  -3.267797648e+05 >=  -3.631450675e+05  11.1% (47134; 10640)
+597989: mip =  -3.267797648e+05 >=  -3.631142148e+05  11.1% (48259; 10817)
+610225: mip =  -3.267797648e+05 >=  -3.630920388e+05  11.1% (49376; 10996)
+623017: mip =  -3.267797648e+05 >=  -3.630745029e+05  11.1% (50632; 11163)
+635634: mip =  -3.267797648e+05 >=  -3.630541839e+05  11.1% (51905; 11323)
+648375: mip =  -3.267797648e+05 >=  -3.630360528e+05  11.1% (53186; 11482)
+659274: mip =  -3.267797648e+05 >=  -3.630137890e+05  11.1% (54332; 11648)
+670603: mip =  -3.267797648e+05 >=  -3.629916878e+05  11.1% (55424; 11813)
Time used: 180.0 secs.  Memory used: 94.7 Mb.
+681744: mip =  -3.267797648e+05 >=  -3.629717670e+05  11.1% (56475; 11973)
Cuts on level 61: gmi = 7; mir = 44; cov = 8;
+684529: >>>>>  -3.274151866e+05 >=  -3.629672988e+05  10.9% (56784; 12012)
+695234: mip =  -3.274151866e+05 >=  -3.629424360e+05  10.9% (57213; 13261)
+706707: mip =  -3.274151866e+05 >=  -3.629146409e+05  10.8% (58257; 13425)
+717727: mip =  -3.274151866e+05 >=  -3.628929609e+05  10.8% (59303; 13584)
+728857: mip =  -3.274151866e+05 >=  -3.628775537e+05  10.8% (60403; 13732)
+739758: mip =  -3.274151866e+05 >=  -3.628578010e+05  10.8% (61560; 13885)
+750359: mip =  -3.274151866e+05 >=  -3.628316162e+05  10.8% (62654; 14036)
+761591: mip =  -3.274151866e+05 >=  -3.628094947e+05  10.8% (63850; 14172)
+772635: mip =  -3.274151866e+05 >=  -3.627848585e+05  10.8% (64725; 14332)
+784586: mip =  -3.274151866e+05 >=  -3.627655921e+05  10.8% (65662; 14483)
+794288: mip =  -3.274151866e+05 >=  -3.627481273e+05  10.8% (66632; 14634)
+804779: mip =  -3.274151866e+05 >=  -3.627181690e+05  10.8% (67682; 14782)
Time used: 240.0 secs.  Memory used: 113.1 Mb.
+815294: mip =  -3.274151866e+05 >=  -3.627003835e+05  10.8% (68779; 14926)
+826360: mip =  -3.274151866e+05 >=  -3.626786021e+05  10.8% (69893; 15068)
Warning: numerical instability (dual simplex, phase II)
Warning: numerical instability (dual simplex, phase II)
Warning: numerical instability (dual simplex, phase II)
+837419: mip =  -3.274151866e+05 >=  -3.626574739e+05  10.8% (70893; 15200)
+846521: mip =  -3.274151866e+05 >=  -3.626411975e+05  10.8% (71670; 15345)
+857180: mip =  -3.274151866e+05 >=  -3.626203942e+05  10.8% (72466; 15492)
+867275: mip =  -3.274151866e+05 >=  -3.626029823e+05  10.7% (73434; 15633)
+876847: mip =  -3.274151866e+05 >=  -3.625857228e+05  10.7% (74353; 15777)
+886865: mip =  -3.274151866e+05 >=  -3.625677777e+05  10.7% (75363; 15913)
+897098: mip =  -3.274151866e+05 >=  -3.625498812e+05  10.7% (76277; 16047)
+907384: mip =  -3.274151866e+05 >=  -3.625324576e+05  10.7% (77272; 16184)
+917335: mip =  -3.274151866e+05 >=  -3.625197413e+05  10.7% (78164; 16319)
+927136: mip =  -3.274151866e+05 >=  -3.625025463e+05  10.7% (78974; 16450)
Time used: 300.0 secs.  Memory used: 133.6 Mb.
+937245: mip =  -3.274151866e+05 >=  -3.624908708e+05  10.7% (79970; 16577)
+946230: mip =  -3.274151866e+05 >=  -3.624761626e+05  10.7% (80864; 16697)
+955123: mip =  -3.274151866e+05 >=  -3.624569464e+05  10.7% (81743; 16827)
+964345: mip =  -3.274151866e+05 >=  -3.624439250e+05  10.7% (82644; 16951)
+973300: mip =  -3.274151866e+05 >=  -3.624246902e+05  10.7% (83479; 17084)
+982786: mip =  -3.274151866e+05 >=  -3.624060142e+05  10.7% (84414; 17207)
+991636: mip =  -3.274151866e+05 >=  -3.623917840e+05  10.7% (85271; 17337)
+1000804: mip =  -3.274151866e+05 >=  -3.623742676e+05  10.7% (86153; 17463)
+1009343: mip =  -3.274151866e+05 >=  -3.623565985e+05  10.7% (86939; 17592)
+1017877: mip =  -3.274151866e+05 >=  -3.623389734e+05  10.7% (87804; 17714)
+1026281: mip =  -3.274151866e+05 >=  -3.623211304e+05  10.7% (88456; 17849)
+1035223: mip =  -3.274151866e+05 >=  -3.623059714e+05  10.7% (89261; 17976)
Time used: 360.0 secs.  Memory used: 150.0 Mb.
+1043055: mip =  -3.274151866e+05 >=  -3.622889967e+05  10.7% (89939; 18109)
+1051313: mip =  -3.274151866e+05 >=  -3.622695806e+05  10.6% (90737; 18237)
+1059835: mip =  -3.274151866e+05 >=  -3.622499355e+05  10.6% (91444; 18368)
+1067570: mip =  -3.274151866e+05 >=  -3.622296018e+05  10.6% (92254; 18498)
+1075850: mip =  -3.274151866e+05 >=  -3.622140848e+05  10.6% (92972; 18626)
+1083447: mip =  -3.274151866e+05 >=  -3.621972708e+05  10.6% (93650; 18754)
+1090949: mip =  -3.274151866e+05 >=  -3.621803450e+05  10.6% (94383; 18878)
+1098667: mip =  -3.274151866e+05 >=  -3.621645832e+05  10.6% (95100; 19007)
+1106399: mip =  -3.274151866e+05 >=  -3.621514951e+05  10.6% (95768; 19133)
+1114026: mip =  -3.274151866e+05 >=  -3.621365148e+05  10.6% (96458; 19253)
+1121438: mip =  -3.274151866e+05 >=  -3.621210077e+05  10.6% (97241; 19367)
Time used: 420.0 secs.  Memory used: 164.2 Mb.
+1128975: mip =  -3.274151866e+05 >=  -3.621071704e+05  10.6% (97871; 19490)
+1136052: mip =  -3.274151866e+05 >=  -3.620922391e+05  10.6% (98424; 19614)
+1143785: mip =  -3.274151866e+05 >=  -3.620743851e+05  10.6% (99169; 19732)
+1152094: mip =  -3.274151866e+05 >=  -3.620534073e+05  10.6% (99791; 19871)
+1159974: mip =  -3.274151866e+05 >=  -3.620341269e+05  10.6% (100482; 20007)
+1167873: mip =  -3.274151866e+05 >=  -3.620148998e+05  10.6% (101203; 20138)
+1175912: mip =  -3.274151866e+05 >=  -3.619978667e+05  10.6% (102001; 20269)
+1184142: mip =  -3.274151866e+05 >=  -3.619841210e+05  10.6% (102863; 20396)
+1192050: mip =  -3.274151866e+05 >=  -3.619664039e+05  10.6% (103621; 20529)
+1200545: mip =  -3.274151866e+05 >=  -3.619511024e+05  10.5% (104417; 20662)
+1209097: mip =  -3.274151866e+05 >=  -3.619373559e+05  10.5% (105177; 20774)
+1216870: mip =  -3.274151866e+05 >=  -3.619250264e+05  10.5% (105999; 20892)
Time used: 480.0 secs.  Memory used: 179.2 Mb.
+1224178: mip =  -3.274151866e+05 >=  -3.619111290e+05  10.5% (106659; 21000)
+1231793: mip =  -3.274151866e+05 >=  -3.618955295e+05  10.5% (107379; 21113)
+1239444: mip =  -3.274151866e+05 >=  -3.618806875e+05  10.5% (108036; 21228)
+1247063: mip =  -3.274151866e+05 >=  -3.618713756e+05  10.5% (108670; 21342)
+1254430: mip =  -3.274151866e+05 >=  -3.618567918e+05  10.5% (109316; 21462)
+1260813: mip =  -3.274151866e+05 >=  -3.618435323e+05  10.5% (109934; 21580)
+1268001: mip =  -3.274151866e+05 >=  -3.618303418e+05  10.5% (110717; 21688)
+1275919: mip =  -3.274151866e+05 >=  -3.618146340e+05  10.5% (111490; 21807)
+1283529: mip =  -3.274151866e+05 >=  -3.618013747e+05  10.5% (112268; 21926)
+1291904: mip =  -3.274151866e+05 >=  -3.617886302e+05  10.5% (113177; 22040)
+1300369: mip =  -3.274151866e+05 >=  -3.617749733e+05  10.5% (114011; 22156)
+1308115: mip =  -3.274151866e+05 >=  -3.617614027e+05  10.5% (114686; 22277)
Time used: 540.1 secs.  Memory used: 194.0 Mb.
+1317460: mip =  -3.274151866e+05 >=  -3.617515990e+05  10.5% (115404; 22399)
+1325803: mip =  -3.274151866e+05 >=  -3.617381965e+05  10.5% (116217; 22518)
+1332919: mip =  -3.274151866e+05 >=  -3.617228757e+05  10.5% (116912; 22643)
+1340888: mip =  -3.274151866e+05 >=  -3.617107742e+05  10.5% (117659; 22758)
+1348637: mip =  -3.274151866e+05 >=  -3.616986742e+05  10.5% (118449; 22868)
+1356135: mip =  -3.274151866e+05 >=  -3.616865550e+05  10.5% (119310; 22982)
+1364106: mip =  -3.274151866e+05 >=  -3.616742816e+05  10.5% (120127; 23094)
+1371510: mip =  -3.274151866e+05 >=  -3.616622719e+05  10.5% (120875; 23207)
+1379020: mip =  -3.274151866e+05 >=  -3.616504926e+05  10.5% (121550; 23323)
+1386868: mip =  -3.274151866e+05 >=  -3.616400737e+05  10.5% (122333; 23435)
+1394430: mip =  -3.274151866e+05 >=  -3.616269162e+05  10.4% (123016; 23551)
+1402138: mip =  -3.274151866e+05 >=  -3.616157953e+05  10.4% (123582; 23673)
Time used: 600.1 secs.  Memory used: 208.7 Mb.
+1410435: mip =  -3.274151866e+05 >=  -3.616053606e+05  10.4% (124376; 23790)
+1418167: mip =  -3.274151866e+05 >=  -3.615931102e+05  10.4% (125088; 23900)
+1426428: mip =  -3.274151866e+05 >=  -3.615863776e+05  10.4% (125891; 24007)
+1434271: mip =  -3.274151866e+05 >=  -3.615751107e+05  10.4% (126647; 24115)
+1442242: mip =  -3.274151866e+05 >=  -3.615607599e+05  10.4% (127404; 24228)
+1450361: mip =  -3.274151866e+05 >=  -3.615518182e+05  10.4% (128165; 24332)
+1458582: mip =  -3.274151866e+05 >=  -3.615382926e+05  10.4% (128842; 24446)
+1466581: mip =  -3.274151866e+05 >=  -3.615241395e+05  10.4% (129653; 24551)
+1473633: mip =  -3.274151866e+05 >=  -3.615110126e+05  10.4% (130411; 24654)
+1481771: mip =  -3.274151866e+05 >=  -3.614983509e+05  10.4% (131290; 24758)
+1489180: mip =  -3.274151866e+05 >=  -3.614874849e+05  10.4% (132032; 24872)
+1496528: mip =  -3.274151866e+05 >=  -3.614796069e+05  10.4% (132757; 24977)
Time used: 660.1 secs.  Memory used: 223.1 Mb.
+1503261: mip =  -3.274151866e+05 >=  -3.614703478e+05  10.4% (133501; 25081)
+1510571: mip =  -3.274151866e+05 >=  -3.614598445e+05  10.4% (134150; 25190)
+1517951: mip =  -3.274151866e+05 >=  -3.614520499e+05  10.4% (134953; 25287)
+1524643: mip =  -3.274151866e+05 >=  -3.614420600e+05  10.4% (135635; 25394)
+1530625: mip =  -3.274151866e+05 >=  -3.614364260e+05  10.4% (136256; 25486)
+1536338: mip =  -3.274151866e+05 >=  -3.614292589e+05  10.4% (136831; 25582)
+1542305: mip =  -3.274151866e+05 >=  -3.614210773e+05  10.4% (137396; 25675)
+1548628: mip =  -3.274151866e+05 >=  -3.614149634e+05  10.4% (138035; 25764)
+1554635: mip =  -3.274151866e+05 >=  -3.614061432e+05  10.4% (138632; 25856)
+1560744: mip =  -3.274151866e+05 >=  -3.614022261e+05  10.4% (139248; 25940)
+1567248: mip =  -3.274151866e+05 >=  -3.613965731e+05  10.4% (139920; 26023)
+1573819: mip =  -3.274151866e+05 >=  -3.613920031e+05  10.4% (140644; 26108)
Time used: 720.1 secs.  Memory used: 235.5 Mb.
+1580448: mip =  -3.274151866e+05 >=  -3.613882790e+05  10.4% (141247; 26201)
+1587602: mip =  -3.274151866e+05 >=  -3.613851147e+05  10.4% (141985; 26284)
+1594486: mip =  -3.274151866e+05 >=  -3.613822385e+05  10.4% (142742; 26368)
+1600374: mip =  -3.274151866e+05 >=  -3.613769018e+05  10.4% (143381; 26454)
+1606497: mip =  -3.274151866e+05 >=  -3.613715518e+05  10.4% (143914; 26545)
+1612308: mip =  -3.274151866e+05 >=  -3.613657556e+05  10.4% (144551; 26632)
+1618998: mip =  -3.274151866e+05 >=  -3.613630193e+05  10.4% (145316; 26713)
+1624888: mip =  -3.274151866e+05 >=  -3.613559262e+05  10.4% (145889; 26802)
+1631025: mip =  -3.274151866e+05 >=  -3.613500343e+05  10.4% (146398; 26893)
+1637813: mip =  -3.274151866e+05 >=  -3.613443109e+05  10.4% (147014; 26980)
+1643762: mip =  -3.274151866e+05 >=  -3.613382597e+05  10.4% (147510; 27071)
+1649674: mip =  -3.274151866e+05 >=  -3.613312589e+05  10.4% (148109; 27158)
Time used: 780.1 secs.  Memory used: 247.4 Mb.
+1655384: mip =  -3.274151866e+05 >=  -3.613233418e+05  10.4% (148699; 27245)
+1661442: mip =  -3.274151866e+05 >=  -3.613166081e+05  10.4% (149251; 27333)
+1667410: mip =  -3.274151866e+05 >=  -3.613096116e+05  10.4% (149746; 27421)
+1674236: mip =  -3.274151866e+05 >=  -3.613023518e+05  10.3% (150459; 27505)
+1680417: mip =  -3.274151866e+05 >=  -3.612960810e+05  10.3% (151130; 27588)
+1685904: mip =  -3.274151866e+05 >=  -3.612914004e+05  10.3% (151615; 27675)
+1691477: mip =  -3.274151866e+05 >=  -3.612872528e+05  10.3% (152260; 27751)
+1696806: mip =  -3.274151866e+05 >=  -3.612817632e+05  10.3% (152735; 27833)
+1701839: mip =  -3.274151866e+05 >=  -3.612764455e+05  10.3% (153284; 27914)
+1707402: mip =  -3.274151866e+05 >=  -3.612727404e+05  10.3% (153855; 27994)
+1712963: mip =  -3.274151866e+05 >=  -3.612694761e+05  10.3% (154435; 28072)
+1718777: mip =  -3.274151866e+05 >=  -3.612663207e+05  10.3% (155050; 28157)
Time used: 840.1 secs.  Memory used: 263.6 Mb.
+1725257: mip =  -3.274151866e+05 >=  -3.612617609e+05  10.3% (155702; 28254)
+1731370: mip =  -3.274151866e+05 >=  -3.612576144e+05  10.3% (156370; 28341)
+1737939: mip =  -3.274151866e+05 >=  -3.612527297e+05  10.3% (157049; 28429)
+1744416: mip =  -3.274151866e+05 >=  -3.612488107e+05  10.3% (157759; 28515)
+1750994: mip =  -3.274151866e+05 >=  -3.612451059e+05  10.3% (158470; 28609)
+1757918: mip =  -3.274151866e+05 >=  -3.612388207e+05  10.3% (159157; 28708)
+1764031: mip =  -3.274151866e+05 >=  -3.612335994e+05  10.3% (159836; 28795)
+1770449: mip =  -3.274151866e+05 >=  -3.612288375e+05  10.3% (160479; 28881)
+1776372: mip =  -3.274151866e+05 >=  -3.612247614e+05  10.3% (161070; 28977)
+1781928: mip =  -3.274151866e+05 >=  -3.612193183e+05  10.3% (161561; 29076)
+1787108: mip =  -3.274151866e+05 >=  -3.612158999e+05  10.3% (162050; 29160)
+1792451: mip =  -3.274151866e+05 >=  -3.612132774e+05  10.3% (162615; 29237)
Time used: 900.1 secs.  Memory used: 275.3 Mb.
+1798450: mip =  -3.274151866e+05 >=  -3.612097353e+05  10.3% (163229; 29315)
+1803834: mip =  -3.274151866e+05 >=  -3.612070123e+05  10.3% (163765; 29394)
+1809165: mip =  -3.274151866e+05 >=  -3.612048486e+05  10.3% (164275; 29472)
+1814354: mip =  -3.274151866e+05 >=  -3.612022509e+05  10.3% (164780; 29547)
+1819949: mip =  -3.274151866e+05 >=  -3.611994162e+05  10.3% (165384; 29623)
+1824928: mip =  -3.274151866e+05 >=  -3.611956651e+05  10.3% (165911; 29699)
+1830660: mip =  -3.274151866e+05 >=  -3.611930416e+05  10.3% (166394; 29774)
+1836151: mip =  -3.274151866e+05 >=  -3.611894143e+05  10.3% (166912; 29850)
+1841018: mip =  -3.274151866e+05 >=  -3.611870102e+05  10.3% (167418; 29926)
+1846776: mip =  -3.274151866e+05 >=  -3.611838983e+05  10.3% (168008; 30001)
+1852458: mip =  -3.274151866e+05 >=  -3.611814631e+05  10.3% (168614; 30073)
+1857543: mip =  -3.274151866e+05 >=  -3.611786622e+05  10.3% (169164; 30146)
Time used: 960.2 secs.  Memory used: 285.5 Mb.
+1862553: mip =  -3.274151866e+05 >=  -3.611757139e+05  10.3% (169584; 30225)
+1867738: mip =  -3.274151866e+05 >=  -3.611731472e+05  10.3% (170069; 30301)
+1873010: mip =  -3.274151866e+05 >=  -3.611701425e+05  10.3% (170671; 30372)
+1878021: mip =  -3.274151866e+05 >=  -3.611672866e+05  10.3% (171218; 30444)
+1883501: mip =  -3.274151866e+05 >=  -3.611627677e+05  10.3% (171821; 30514)
+1888851: mip =  -3.274151866e+05 >=  -3.611576934e+05  10.3% (172322; 30590)
+1894092: mip =  -3.274151866e+05 >=  -3.611549715e+05  10.3% (173032; 30665)
+1899434: mip =  -3.274151866e+05 >=  -3.611507191e+05  10.3% (173492; 30737)
+1900812: mip =  -3.274151866e+05 >=  -3.611499008e+05  10.3% (173621; 30759)
TIME LIMIT EXCEEDED; SEARCH TERMINATED
Time used:   1000.1 secs
Memory used: 292.4 Mb (306592056 bytes)
Writing MIP solution to 'badzell-glpk-solution.txt'...
