Welcome to IBM(R) ILOG(R) CPLEX(R) Interactive Optimizer 12.4.0.0 with Simplex, Mixed Integer & Barrier Optimizers 5725-A06 5725-A29 5724-Y48 5724-Y49 5724-Y54 5724-Y55 Copyright IBM Corp. 1988, 2011. All Rights Reserved. Type 'help' for a list of available commands. Type 'help' followed by a command name for more information on commands. CPLEX> Selected objective sense: MINIMIZE Selected objective name: Votes Selected RHS name: rhs Selected bound name: bnd Problem 'in_i.mps.gz' read. Read time = 0.31 sec. CPLEX> Available MIP parameters: cuts set types of cuts used during mixed integer optimization display set level of mixed integer node display interval set interval for printing mixed integer node display limits set limits for mixed integer optimization ordertype set type of generated priority order polishafter set starting conditions for solution polishing pool set solution pool characteristics strategy set strategy for mixed integer optimization tolerances set tolerances for mixed integer optimization MIP parameter to set: Available mixed integer limits: aggforcut set constraint aggregation limit for cut generation auxrootthreads set number of threads to use for auxiliary root tasks cutpasses set number of cutting plane passes cutsfactor set rows multiplier factor to limit cuts eachcutlimit set limit on number of cuts for each type per pass gomorycand set candidate limit for generating Gomory fractional cuts gomorypass set pass limit for generating Gomory fractional cuts nodes set branch and cut node limit polishtime set time limit for polishing best solution populate set solutions limit for each populate call probetime set time limit for probing repairtries set number of times to try repair heuristic solutions set mixed integer solutions limit strongcand set strong branching candidate limit strongit set strong branching iteration limit submipnodelim set sub-MIP node limit treememory set upper limit on size of tree in megabytes Mixed integer limit to set: Present value for mixed integer solutions limit: 9223372036800000000 New value for mixed integer solutions limit: New value for mixed integer solutions limit: 1 CPLEX> Present value for time limit in seconds: 1e+75 New value for time limit in seconds: New value for time limit in seconds: 3600 CPLEX> Tried aggregator 2 times. MIP Presolve eliminated 28685 rows and 12877 columns. MIP Presolve modified 81751 coefficients. Aggregator did 15 substitutions. Reduced MIP has 18826 rows, 7787 columns, and 198582 nonzeros. Reduced MIP has 7533 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing fixed 132 vars, tightened 0 bounds. Probing time = 0.41 sec. Tried aggregator 2 times. MIP Presolve eliminated 662 rows and 310 columns. MIP Presolve modified 1769 coefficients. Aggregator did 2 substitutions. Reduced MIP has 18162 rows, 7475 columns, and 188115 nonzeros. Reduced MIP has 7221 binaries, 0 generals, 0 SOSs, and 0 indicators. Presolve time = 0.87 sec. Probing fixed 331 vars, tightened 0 bounds. Probing time = 0.57 sec. Clique table members: 203575. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: deterministic, using up to 4 threads. Root relaxation solution time = 0.50 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 -11.9409 851 -11.9409 1225 0 0 -11.9329 434 Cuts: 251 1674 0 0 -11.9302 551 Cuts: 332 2341 0 0 -11.9295 568 Cuts: 291 3208 0 0 -11.9289 591 Cuts: 247 3940 0 0 -11.9282 601 Cuts: 230 4240 0 0 -11.9279 634 Cuts: 163 4534 0 0 -11.9276 362 Cuts: 65 4734 0 0 -11.9274 422 Cuts: 396 5097 0 2 -11.9274 354 -11.9274 5097 Elapsed real time = 17.64 sec. (tree size = 0.01 MB, solutions = 0) 7 7 -11.9252 336 -11.9272 5466 33 25 -11.9152 312 -11.9241 6663 78 46 -11.8920 292 -11.9241 8467 128 84 -11.8929 252 -11.9241 10412 140 94 -11.8914 293 -11.9241 12253 166 116 -11.8991 365 -11.9241 13966 191 137 -11.8791 263 -11.9241 15884 220 154 -11.8965 304 -11.9241 17197 282 184 -11.9074 398 -11.9241 19508 445 271 -11.8867 255 -11.9221 27562 Elapsed real time = 21.28 sec. (tree size = 4.85 MB, solutions = 0) 536 323 infeasible -11.9221 40470 763 471 -11.9215 464 -11.9216 50141 937 617 -11.9201 371 -11.9216 56534 1133 784 -11.9201 407 -11.9215 64966 1242 849 -11.9201 354 -11.9215 71469 1373 911 -11.9215 392 -11.9215 79874 1562 1020 -11.9195 404 -11.9215 89824 1621 1047 -11.9215 381 -11.9215 97591 1701 1105 -11.9188 391 -11.9215 104609 1910 1262 -11.9201 472 -11.9215 113012 Elapsed real time = 36.16 sec. (tree size = 11.87 MB, solutions = 0) 2150 1466 -11.9201 424 -11.9215 120370 2346 1615 -11.9201 455 -11.9215 130477 2474 1686 -11.9208 298 -11.9208 146516 2476 1686 -11.9208 285 -11.9208 146534 2477 1686 -11.9208 362 -11.9208 147807 2479 1687 -11.9208 342 -11.9208 147857 2486 1691 -11.9208 335 -11.9208 148465 2502 1622 -11.9208 297 -11.9208 149253 2510 1496 -11.9208 392 -11.9208 151461 2530 1477 infeasible -11.9208 153204 Elapsed real time = 109.17 sec. (tree size = 13.18 MB, solutions = 0) 2580 1285 -11.9186 272 -11.9208 154966 2609 1152 -11.9208 380 -11.9208 157592 2654 1033 -11.9160 344 -11.9208 160671 2693 1024 -11.9208 333 -11.9208 164942 2728 984 -11.9208 322 -11.9208 168415 2759 958 -11.9175 375 -11.9208 172177 2812 944 -11.9208 362 -11.9208 176789 2871 898 -11.9181 344 -11.9208 180981 2982 931 -11.9174 354 -11.9208 185407 3046 919 -11.9208 323 -11.9208 188843 Elapsed real time = 122.27 sec. (tree size = 6.19 MB, solutions = 0) 3162 897 -11.9208 397 -11.9208 194075 3299 892 -11.9208 296 -11.9208 201026 3419 918 -11.9208 294 -11.9208 206843 3519 932 -11.9208 392 -11.9208 213573 3669 918 -11.9195 290 -11.9208 220424 3791 897 -11.9182 248 -11.9208 227291 3903 874 -11.9208 248 -11.9208 234291 4100 911 -11.9135 250 -11.9208 242190 4199 963 infeasible -11.9208 248633 4341 1029 -11.9208 268 -11.9208 255707 Elapsed real time = 135.44 sec. (tree size = 3.59 MB, solutions = 0) 4538 1102 -11.9113 327 -11.9208 265348 4613 1146 -11.9127 383 -11.9208 270999 4752 1178 -11.9208 354 -11.9208 276350 4839 1199 -11.9345 382 -11.9208 281913 4840 1200 -11.9345 427 -11.9208 281977 4842 1201 -11.9318 382 -11.9208 282796 4846 1204 -11.9345 388 -11.9208 285094 4850 1207 -11.9345 474 -11.9208 287170 4857 1213 -11.9318 366 -11.9208 287525 4861 1151 -11.9318 381 -11.9208 287737 Elapsed real time = 172.14 sec. (tree size = 5.64 MB, solutions = 0) 4866 1155 -11.9345 431 -11.9208 287915 4874 1159 -11.9333 429 -11.9208 288522 4879 1164 -11.9075 349 -11.9208 288904 4889 1168 -11.9258 327 -11.9208 289318 4898 1152 -11.9112 379 -11.9208 290107 4907 1153 -11.8990 354 -11.9208 290545 4917 1159 -11.8917 299 -11.9208 291248 4930 1150 -11.8978 303 -11.9208 292173 4944 1128 -11.8806 270 -11.9208 293221 4954 1121 -11.8588 324 -11.9208 294241 Elapsed real time = 182.54 sec. (tree size = 9.10 MB, solutions = 0) 4962 1124 -11.8563 352 -11.9208 294943 4973 1116 -11.8618 294 -11.9208 295440 4983 1089 -11.8618 328 -11.9208 296352 4992 1084 -11.8618 328 -11.9208 296861 5007 1064 -11.8604 383 -11.9208 297588 5019 1068 -11.8618 293 -11.9208 298007 5031 1072 -11.8604 321 -11.9208 298698 5043 1075 -11.8546 272 -11.9208 299178 5054 1071 -11.8699 280 -11.9208 300617 5059 1074 -11.8498 318 -11.9208 300858 Elapsed real time = 193.79 sec. (tree size = 19.92 MB, solutions = 0) 5074 1048 infeasible -11.9208 301602 5083 1038 -11.8699 257 -11.9208 302003 5093 1036 -11.8513 287 -11.9208 302610 5102 1034 -11.9239 316 -11.9208 303074 5111 1023 -11.9092 301 -11.9208 303579 5125 1008 -11.9020 343 -11.9208 304712 5139 1004 -11.9020 348 -11.9208 305432 5148 1009 -11.8980 344 -11.9208 305686 5161 1016 -11.8782 322 -11.9208 306185 5173 1021 -11.8688 312 -11.9208 306892 Elapsed real time = 204.03 sec. (tree size = 31.04 MB, solutions = 0) 5184 1019 -11.9252 340 -11.9208 307728 5196 1020 -11.9020 322 -11.9208 308367 5210 1027 -11.8579 206 -11.9208 308899 5222 1033 -11.8517 206 -11.9208 309434 5232 1027 -11.8499 203 -11.9208 310076 5241 1021 -11.8497 229 -11.9208 310965 5253 1027 -11.8497 239 -11.9208 311333 5265 1022 -11.8655 315 -11.9208 311592 5276 1025 -11.8326 293 -11.9208 312161 5311 1025 -11.9283 411 -11.9208 313625 Elapsed real time = 218.79 sec. (tree size = 47.00 MB, solutions = 0) 5348 1031 -11.9121 329 -11.9208 315283 5389 1036 -11.8804 274 -11.9208 316968 5431 1034 -11.8513 284 -11.9208 318868 5479 1041 -11.8489 221 -11.9208 321093 5515 1048 -11.8489 205 -11.9208 323001 5562 1023 -11.8489 300 -11.9208 325568 5608 1023 -11.8345 224 -11.9208 327501 5652 1023 -11.9266 401 -11.9208 329240 5693 1038 -11.8970 335 -11.9208 331043 5740 1040 -11.8786 285 -11.9208 333077 Elapsed real time = 257.78 sec. (tree size = 90.84 MB, solutions = 0) 5788 1051 -11.8700 296 -11.9208 334846 5838 1059 -11.9287 370 -11.9208 336510 5883 1072 -11.8821 310 -11.9208 338718 5941 1085 -11.8679 307 -11.9208 341123 6001 1103 -11.9338 373 -11.9208 343475 6064 1130 -11.8679 256 -11.9208 345581 6121 1142 -11.8880 296 -11.9208 348564 6184 1156 -11.8648 265 -11.9208 351764 6243 1158 -11.8578 200 -11.9208 354550 6310 1173 -11.8914 291 -11.9208 356830 Elapsed real time = 294.27 sec. (tree size = 157.50 MB, solutions = 0) Nodefile size = 20.74 MB (17.83 MB after compression) 6368 1201 -11.9089 317 -11.9208 359096 6433 1223 -11.8418 240 -11.9208 361722 6482 1237 -11.8679 227 -11.9208 364178 6541 1255 -11.8092 220 -11.9208 366803 6590 1263 -11.9331 390 -11.9208 370657 6633 1272 -11.8901 284 -11.9208 376102 6678 1311 -11.8372 218 -11.9208 377851 6738 1355 -11.8297 237 -11.9208 380502 6798 1398 -11.9044 316 -11.9208 383807 6858 1448 -11.9005 320 -11.9208 386711 Elapsed real time = 331.35 sec. (tree size = 226.19 MB, solutions = 0) Nodefile size = 87.45 MB (74.51 MB after compression) 6905 1487 -11.8709 279 -11.9208 389190 6957 1520 -11.8410 247 -11.9208 392386 7014 1564 -11.9036 314 -11.9208 395495 7069 1611 -11.8968 287 -11.9208 398552 7114 1649 -11.8989 296 -11.9208 400877 7182 1694 -11.9345 396 -11.9208 404162 7279 1782 -11.9057 325 -11.9208 408807 7367 1833 -11.8555 289 -11.9208 413891 7443 1875 -11.8952 343 -11.9208 417697 7521 1940 infeasible -11.9208 421341 Elapsed real time = 366.34 sec. (tree size = 307.80 MB, solutions = 0) Nodefile size = 167.65 MB (142.51 MB after compression) 7593 1996 -11.8903 310 -11.9208 425477 7698 2075 -11.8367 175 -11.9208 429850 7774 2118 -11.9345 435 -11.9208 432967 7830 2162 -11.8679 206 -11.9208 435713 7902 2186 -11.9331 375 -11.9208 439759 7974 2237 -11.9235 315 -11.9208 442397 8045 2279 -11.8965 299 -11.9208 445867 8109 2305 -11.8999 378 -11.9208 449469 8162 2338 -11.9302 306 -11.9208 453618 8220 2377 -11.9080 297 -11.9208 456247 Elapsed real time = 400.30 sec. (tree size = 378.96 MB, solutions = 0) Nodefile size = 235.22 MB (199.50 MB after compression) 8306 2445 -11.8475 215 -11.9208 459499 8371 2480 -11.9331 395 -11.9208 463972 8443 2517 -11.9300 348 -11.9208 467215 8583 2637 -11.8871 227 -11.9208 471901 8711 2738 -11.8959 257 -11.9208 476925 8820 2830 infeasible -11.9208 479916 8914 2908 -11.9331 386 -11.9208 484103 8987 2965 -11.9319 349 -11.9208 486618 9094 3048 -11.8948 272 -11.9208 491359 9177 3110 -11.8768 238 -11.9208 495150 Elapsed real time = 434.38 sec. (tree size = 500.54 MB, solutions = 0) Nodefile size = 353.93 MB (299.51 MB after compression) 9296 3176 -11.8949 227 -11.9208 500181 9387 3241 -11.8958 208 -11.9208 504051 9481 3287 -11.8999 220 -11.9208 509071 9574 3341 -11.8728 204 -11.9208 515089 9671 3415 -11.9260 233 -11.9208 519293 9783 3482 -11.9298 249 -11.9208 523757 9886 3551 -11.8949 211 -11.9208 528143 9969 3622 -11.8679 149 -11.9208 530851 10075 3655 -11.9268 287 -11.9208 535739 10170 3722 -11.8918 202 -11.9208 540047 Elapsed real time = 468.66 sec. (tree size = 597.87 MB, solutions = 0) Nodefile size = 446.74 MB (377.68 MB after compression) 10266 3780 -11.8690 179 -11.9208 543606 10360 3836 -11.8347 127 -11.9208 546745 10464 3859 -11.9345 329 -11.9208 551613 10579 3937 -11.8599 139 -11.9208 555942 10681 3999 -11.8633 122 -11.9208 559908 10770 4049 -11.9334 321 -11.9208 564758 10861 4099 -11.9254 301 -11.9208 568377 10963 4147 -11.9345 311 -11.9208 573539 11039 4209 -11.8999 210 -11.9208 576652 11140 4257 infeasible -11.9208 583063 Elapsed real time = 502.06 sec. (tree size = 688.19 MB, solutions = 0) Nodefile size = 535.07 MB (452.27 MB after compression) 11241 4280 -11.8566 222 -11.9208 588625 11358 4351 -11.9318 281 -11.9208 592662 11485 4449 -11.9306 298 -11.9208 597077 11600 4532 -11.9345 286 -11.9208 601143 11737 4633 -11.9291 247 -11.9208 605627 11846 4690 -11.9306 279 -11.9208 609669 11950 4739 -11.9345 293 -11.9208 615014 12066 4810 -11.9345 273 -11.9208 619040 12217 4897 -11.8376 151 -11.9208 624456 12365 4959 -11.9207 238 -11.9208 629573 Elapsed real time = 534.64 sec. (tree size = 800.42 MB, solutions = 0) Nodefile size = 641.90 MB (541.15 MB after compression) 12508 5041 infeasible -11.9208 634395 12669 5121 -11.9095 227 -11.9208 641135 12816 5174 -11.9284 258 -11.9208 647971 12967 5249 -11.9273 242 -11.9208 653163 13081 5336 -11.9212 262 -11.9208 658127 13236 5418 infeasible -11.9208 663926 13381 5463 -11.9192 268 -11.9208 670509 13533 5533 -11.9345 273 -11.9208 678043 13632 5587 -11.9345 275 -11.9208 684614 13800 5668 -11.8959 208 -11.9208 691410 Elapsed real time = 567.55 sec. (tree size = 907.31 MB, solutions = 0) Nodefile size = 742.64 MB (625.44 MB after compression) 13954 5759 -11.9345 285 -11.9208 698821 14102 5824 infeasible -11.9208 706577 14229 5878 infeasible -11.9208 715136 14367 5965 -11.8843 196 -11.9208 719804 14458 6005 -11.8357 183 -11.9208 724029 14576 6093 -11.8619 201 -11.9208 728366 14688 6149 -11.9345 324 -11.9208 735275 14767 6202 -11.8838 231 -11.9208 739108 14881 6277 -11.9000 216 -11.9208 744204 14995 6352 -11.8866 218 -11.9208 749574 Elapsed real time = 602.78 sec. (tree size = 953.81 MB, solutions = 0) Nodefile size = 789.85 MB (663.57 MB after compression) 15088 6420 -11.8815 222 -11.9208 753335 15207 6473 -11.8539 151 -11.9208 760963 15360 6593 -11.8791 202 -11.9208 766528 15477 6674 -11.8856 201 -11.9208 771515 15611 6753 -11.9308 284 -11.9208 778237 15734 6835 -11.8854 242 -11.9208 784187 15861 6929 -11.9249 271 -11.9208 790343 15939 6980 -11.8818 236 -11.9208 793153 16062 7035 -11.9345 303 -11.9208 798315 16171 7098 -11.9217 228 -11.9208 803282 Elapsed real time = 635.77 sec. (tree size = 967.03 MB, solutions = 0) Nodefile size = 810.34 MB (678.99 MB after compression) 16290 7163 -11.9271 225 -11.9208 808086 16390 7217 -11.9246 273 -11.9208 811576 16492 7263 -11.9330 276 -11.9208 815963 16592 7315 -11.9345 283 -11.9208 820926 16702 7349 -11.9188 256 -11.9208 827034 16803 7385 -11.9345 278 -11.9208 831956 16924 7434 -11.9201 262 -11.9208 836999 17036 7510 -11.9211 254 -11.9208 841760 17135 7549 -11.9213 281 -11.9208 846321 17238 7603 -11.8804 192 -11.9208 850680 Elapsed real time = 667.84 sec. (tree size = 974.37 MB, solutions = 0) Nodefile size = 818.34 MB (684.58 MB after compression) 17366 7667 -11.9331 307 -11.9208 858332 17480 7746 -11.9183 280 -11.9208 863345 17594 7793 -11.9345 257 -11.9208 869531 17706 7844 -11.9267 289 -11.9208 874178 17797 7905 -11.9158 231 -11.9208 879034 17936 7938 -11.9272 241 -11.9208 886250 18042 7994 -11.9273 272 -11.9208 891014 18152 8049 -11.9287 250 -11.9208 894746 18291 8121 -11.9264 266 -11.9208 901641 18427 8188 -11.9279 285 -11.9208 908343 Elapsed real time = 700.65 sec. (tree size = 987.71 MB, solutions = 0) Nodefile size = 835.51 MB (697.69 MB after compression) 18545 8237 -11.9192 262 -11.9208 915178 18701 8326 -11.9273 241 -11.9208 924229 18806 8394 -11.9271 246 -11.9208 930371 18922 8454 -11.9176 207 -11.9208 938264 19047 8515 -11.9323 226 -11.9208 945759 19163 8592 -11.9271 233 -11.9208 950852 19270 8670 -11.8993 222 -11.9208 955159 19415 8764 -11.9292 260 -11.9208 960549 19545 8859 -11.8912 242 -11.9208 965582 19670 8926 infeasible -11.9208 974967 Elapsed real time = 734.71 sec. (tree size = 1002.05 MB, solutions = 0) Nodefile size = 852.81 MB (710.91 MB after compression) 19773 8995 -11.8912 228 -11.9208 979347 19899 9047 -11.9345 300 -11.9208 986474 20046 9142 -11.9271 259 -11.9208 992204 20167 9194 -11.9292 265 -11.9208 997928 20320 9285 -11.9345 270 -11.9208 1004820 20459 9358 -11.9345 273 -11.9208 1009806 20586 9452 -11.9345 265 -11.9208 1015257 20721 9551 -11.8620 181 -11.9208 1020884 20895 9650 -11.8522 173 -11.9208 1028024 21014 9727 -11.9019 220 -11.9208 1032551 Elapsed real time = 767.05 sec. (tree size = 1012.08 MB, solutions = 0) Nodefile size = 863.84 MB (718.81 MB after compression) 21173 9833 -11.9296 243 -11.9208 1037757 21289 9917 -11.9258 248 -11.9208 1043813 21431 10013 -11.9297 271 -11.9208 1048457 21587 10074 -11.9312 241 -11.9208 1055969 21714 10161 -11.9030 218 -11.9208 1060725 21865 10254 -11.9292 215 -11.9208 1068026 21995 10337 -11.8920 198 -11.9208 1072791 22128 10420 -11.8821 185 -11.9208 1079389 22266 10454 -11.9221 238 -11.9208 1087008 22391 10525 -11.9270 220 -11.9208 1093383 Elapsed real time = 800.14 sec. (tree size = 1019.72 MB, solutions = 0) Nodefile size = 873.79 MB (725.61 MB after compression) 22544 10562 -11.8788 181 -11.9208 1101428 22670 10603 -11.9336 298 -11.9208 1110282 22824 10670 -11.9333 272 -11.9208 1116626 22961 10698 -11.9345 252 -11.9208 1127252 23098 10753 -11.8858 226 -11.9208 1133901 23235 10796 -11.9318 277 -11.9208 1141557 23380 10873 -11.9282 297 -11.9208 1147307 23518 10930 -11.8869 188 -11.9208 1153346 23664 11003 -11.9185 259 -11.9208 1158399 23809 11044 -11.9345 274 -11.9208 1165852 Elapsed real time = 833.37 sec. (tree size = 1028.85 MB, solutions = 0) Nodefile size = 885.31 MB (734.08 MB after compression) 23952 11148 -11.8931 196 -11.9208 1170794 24145 11230 -11.9182 261 -11.9208 1177433 24285 11309 -11.9267 296 -11.9208 1183191 24431 11394 -11.9307 259 -11.9208 1190244 24578 11484 -11.9253 257 -11.9208 1195337 24719 11575 -11.9330 295 -11.9208 1200181 24861 11672 -11.9331 279 -11.9208 1206880 24988 11762 -11.9260 240 -11.9208 1212865 25109 11833 -11.9198 244 -11.9208 1218658 25239 11895 -11.9345 256 -11.9208 1224247 Elapsed real time = 865.82 sec. (tree size = 1033.94 MB, solutions = 0) Nodefile size = 890.71 MB (736.55 MB after compression) 25363 11944 -11.9269 267 -11.9208 1228969 25459 11992 -11.9164 315 -11.9208 1232510 25580 12066 -11.9119 235 -11.9208 1237781 25720 12142 -11.9307 265 -11.9208 1243244 25835 12203 -11.9253 237 -11.9208 1248196 25952 12299 -11.9255 247 -11.9208 1252730 26077 12381 -11.8906 236 -11.9208 1259021 26194 12467 -11.9126 248 -11.9208 1264215 26301 12543 -11.9048 238 -11.9208 1268744 26416 12618 -11.9231 277 -11.9208 1273046 Elapsed real time = 899.65 sec. (tree size = 1037.22 MB, solutions = 0) Nodefile size = 894.11 MB (737.28 MB after compression) 26544 12694 -11.9304 265 -11.9208 1278580 26678 12763 -11.9290 299 -11.9208 1284179 26804 12838 -11.9290 262 -11.9208 1290068 26922 12877 -11.9273 292 -11.9208 1294455 27020 12948 -11.9307 298 -11.9208 1299361 27158 13043 -11.9316 317 -11.9208 1307139 27269 13121 -11.8966 234 -11.9208 1311584 27392 13175 -11.9269 275 -11.9208 1318597 27518 13247 -11.9218 232 -11.9208 1323877 27654 13307 -11.9319 300 -11.9208 1332500 Elapsed real time = 933.42 sec. (tree size = 1040.23 MB, solutions = 0) Nodefile size = 898.53 MB (739.33 MB after compression) 27776 13356 -11.8831 216 -11.9208 1341300 27910 13386 -11.9345 266 -11.9208 1351649 28048 13423 -11.9345 301 -11.9208 1362534 28199 13492 -11.9125 237 -11.9208 1370969 28334 13541 -11.9307 273 -11.9208 1378020 28462 13584 -11.9318 283 -11.9208 1385011 28578 13658 -11.9345 263 -11.9208 1391290 28737 13721 -11.9173 248 -11.9208 1398136 28849 13779 -11.9345 332 -11.9208 1406239 28990 13793 -11.9164 238 -11.9208 1414800 Elapsed real time = 967.86 sec. (tree size = 1044.37 MB, solutions = 0) Nodefile size = 903.93 MB (742.94 MB after compression) 29100 13859 -11.9288 287 -11.9208 1420326 29287 13901 -11.9304 262 -11.9208 1431528 29396 13970 -11.8860 217 -11.9208 1438952 29501 14033 -11.8645 194 -11.9208 1443812 29627 14112 -11.9233 277 -11.9208 1450762 29746 14178 -11.9331 282 -11.9208 1457587 29871 14233 -11.9259 273 -11.9208 1464116 30008 14282 -11.9148 253 -11.9208 1471334 30129 14323 -11.9345 281 -11.9208 1481903 30267 14372 -11.9310 277 -11.9208 1488295 Elapsed real time = 1003.81 sec. (tree size = 1049.73 MB, solutions = 0) Nodefile size = 909.25 MB (745.91 MB after compression) 30404 14412 -11.9275 264 -11.9208 1496531 30550 14453 -11.9345 275 -11.9208 1504446 30686 14502 -11.9342 308 -11.9208 1512691 30830 14586 -11.8691 244 -11.9208 1519743 30996 14635 -11.9211 224 -11.9208 1526799 31140 14680 -11.9096 245 -11.9208 1534644 31279 14721 infeasible -11.9208 1542712 31429 14752 -11.9308 278 -11.9208 1549228 31543 14801 -11.9345 265 -11.9208 1554639 31682 14834 -11.9310 261 -11.9208 1560199 Elapsed real time = 1037.29 sec. (tree size = 1052.79 MB, solutions = 0) Nodefile size = 912.78 MB (747.92 MB after compression) 31841 14844 -11.9345 272 -11.9208 1568355 32001 14850 -11.9345 249 -11.9208 1578449 32193 14902 -11.9323 275 -11.9208 1586254 32363 14962 -11.9336 280 -11.9208 1598062 32513 15004 -11.9196 289 -11.9208 1610022 32645 15077 -11.8528 175 -11.9208 1617386 32763 15153 -11.8726 201 -11.9208 1623694 32892 15228 -11.9331 289 -11.9208 1633008 33027 15296 -11.9276 274 -11.9208 1640089 33147 15349 -11.9345 286 -11.9208 1649121 Elapsed real time = 1071.05 sec. (tree size = 1053.97 MB, solutions = 0) Nodefile size = 914.06 MB (748.68 MB after compression) 33282 15372 -11.9284 352 -11.9208 1659895 33437 15397 -11.9345 289 -11.9208 1671442 33597 15420 -11.9302 260 -11.9208 1682248 33731 15406 -11.9345 311 -11.9208 1694759 33841 15443 -11.9345 340 -11.9208 1705174 33999 15517 -11.9310 288 -11.9208 1712069 34153 15598 -11.9345 300 -11.9208 1719998 34299 15630 -11.9166 257 -11.9208 1728740 34374 15670 -11.9274 280 -11.9208 1733859 34521 15692 -11.9345 322 -11.9208 1746807 Elapsed real time = 1109.42 sec. (tree size = 1055.02 MB, solutions = 0) Nodefile size = 916.31 MB (749.27 MB after compression) 34664 15745 -11.9101 268 -11.9208 1754777 34782 15778 -11.8395 159 -11.9208 1759654 34935 15834 -11.8729 251 -11.9208 1764781 35096 15903 -11.8506 191 -11.9208 1774939 35222 15998 -11.8447 204 -11.9208 1780857 35356 16072 -11.8452 210 -11.9208 1787623 35494 16130 -11.8187 162 -11.9208 1795020 35652 16217 -11.9323 274 -11.9208 1803743 35816 16310 -11.9323 271 -11.9208 1810830 35972 16374 -11.9150 238 -11.9208 1819079 Elapsed real time = 1143.06 sec. (tree size = 1060.83 MB, solutions = 0) Nodefile size = 920.30 MB (751.63 MB after compression) 36097 16452 -11.8357 193 -11.9208 1825135 36242 16529 -11.7990 139 -11.9208 1831659 36392 16560 -11.9318 405 -11.9208 1843332 36545 16633 -11.9299 270 -11.9208 1851113 36671 16673 -11.9323 307 -11.9208 1859636 36828 16754 -11.9232 280 -11.9208 1867249 36917 16812 -11.8677 208 -11.9208 1871524 37098 16866 -11.9222 241 -11.9208 1881374 37199 16917 infeasible -11.9208 1889143 37292 16978 -11.8548 227 -11.9208 1893803 Elapsed real time = 1177.28 sec. (tree size = 1066.70 MB, solutions = 0) Nodefile size = 928.33 MB (756.40 MB after compression) 37413 17045 -11.8875 206 -11.9208 1898880 37525 17118 -11.8383 157 -11.9208 1904081 37629 17182 -11.9318 304 -11.9208 1909384 37705 17249 -11.8392 175 -11.9208 1912792 37804 17315 -11.8094 117 -11.9208 1917521 37892 17359 -11.8658 171 -11.9208 1921742 38012 17426 -11.8612 174 -11.9208 1928033 38125 17479 -11.8472 200 -11.9208 1933953 38238 17548 -11.9334 327 -11.9208 1939137 38352 17631 -11.8698 246 -11.9208 1944076 Elapsed real time = 1210.81 sec. (tree size = 1069.32 MB, solutions = 0) Nodefile size = 931.16 MB (757.04 MB after compression) 38428 17684 -11.8464 171 -11.9208 1948806 38523 17752 -11.8567 189 -11.9208 1953709 38609 17818 -11.8277 182 -11.9208 1957945 38702 17856 -11.9318 305 -11.9208 1962333 38801 17938 -11.8552 192 -11.9208 1967481 38913 17988 -11.8746 221 -11.9208 1972917 39023 18072 -11.8862 188 -11.9208 1976638 39120 18146 -11.8648 167 -11.9208 1981061 39201 18201 -11.9336 279 -11.9208 1984317 39311 18283 -11.8537 174 -11.9208 1989989 Elapsed real time = 1244.17 sec. (tree size = 1071.88 MB, solutions = 0) Nodefile size = 934.06 MB (757.70 MB after compression) 39407 18354 -11.8338 165 -11.9208 1993429 39524 18426 -11.8902 205 -11.9208 1998881 39631 18491 -11.9345 312 -11.9208 2003787 39764 18526 -11.9331 321 -11.9208 2012536 39885 18569 -11.9331 281 -11.9208 2020786 40025 18639 -11.9306 292 -11.9208 2028637 40152 18689 -11.9345 301 -11.9208 2036473 40289 18753 -11.9331 335 -11.9208 2045452 40407 18795 -11.9211 230 -11.9208 2053859 40528 18792 -11.9345 292 -11.9208 2064621 Elapsed real time = 1279.31 sec. (tree size = 1074.41 MB, solutions = 0) Nodefile size = 936.45 MB (758.71 MB after compression) 40682 18806 -11.9345 321 -11.9208 2075675 40820 18826 -11.9323 322 -11.9208 2086460 40907 18873 infeasible -11.9208 2092602 41042 18893 -11.9345 296 -11.9208 2101390 41195 18941 -11.9183 314 -11.9208 2111083 41336 18983 -11.9291 271 -11.9208 2120922 41451 19028 -11.9345 376 -11.9208 2130470 41588 19080 -11.9171 247 -11.9208 2140943 41744 19167 -11.8556 204 -11.9208 2148905 41831 19228 -11.8195 179 -11.9208 2153370 Elapsed real time = 1314.05 sec. (tree size = 1077.84 MB, solutions = 0) Nodefile size = 938.60 MB (759.61 MB after compression) 41958 19298 -11.9151 243 -11.9208 2159871 42113 19374 -11.9186 312 -11.9208 2167796 42222 19443 -11.8985 236 -11.9208 2172849 42341 19506 -11.8056 206 -11.9208 2180412 42484 19569 -11.8981 283 -11.9208 2188902 42593 19625 -11.9063 251 -11.9208 2195684 42719 19673 -11.9345 370 -11.9208 2206005 42880 19724 -11.9314 296 -11.9208 2216466 43004 19802 -11.9343 317 -11.9208 2222508 43152 19840 -11.9318 288 -11.9208 2230886 Elapsed real time = 1347.97 sec. (tree size = 1080.39 MB, solutions = 0) Nodefile size = 943.56 MB (762.02 MB after compression) 43265 19911 -11.7097 304 -11.9208 2236718 43339 19957 -11.8989 216 -11.9208 2240751 43450 20008 -11.8997 251 -11.9208 2249024 43567 20053 -11.9037 254 -11.9208 2258357 43661 20091 -11.8293 220 -11.9208 2263915 43783 20126 -11.9331 313 -11.9208 2270963 43938 20182 -11.9314 316 -11.9208 2280374 44058 20244 -11.9345 312 -11.9208 2287249 44217 20299 -11.9345 306 -11.9208 2295171 44354 20322 -11.9225 333 -11.9208 2303121 Elapsed real time = 1382.70 sec. (tree size = 1082.86 MB, solutions = 0) Nodefile size = 945.80 MB (762.87 MB after compression) 44508 20387 -11.9345 351 -11.9208 2310394 44626 20445 -11.8339 194 -11.9208 2316827 44771 20499 -11.8846 309 -11.9208 2322959 44887 20543 -11.9345 299 -11.9208 2329000 44996 20599 -11.9331 325 -11.9208 2334955 45149 20628 -11.9121 235 -11.9208 2344189 45294 20688 -11.9140 263 -11.9208 2353159 45418 20746 -11.8677 204 -11.9208 2358881 45508 20817 -11.8674 201 -11.9208 2363323 45581 20866 -11.9071 304 -11.9208 2367005 Elapsed real time = 1416.72 sec. (tree size = 1085.93 MB, solutions = 0) Nodefile size = 948.37 MB (763.85 MB after compression) 45652 20905 -11.8571 266 -11.9208 2370644 45772 20969 -11.9064 219 -11.9208 2375706 45865 21033 -11.9345 338 -11.9208 2380713 45975 21086 -11.9047 261 -11.9208 2386102 46087 21155 -11.9345 297 -11.9208 2393096 46202 21209 -11.9230 222 -11.9208 2400150 46303 21261 -11.9303 287 -11.9208 2408154 46387 21307 -11.8960 229 -11.9208 2416317 46472 21367 -11.8770 200 -11.9208 2420668 46626 21427 -11.9331 268 -11.9208 2430212 Elapsed real time = 1450.57 sec. (tree size = 1088.83 MB, solutions = 0) Nodefile size = 951.82 MB (765.47 MB after compression) 46763 21470 -11.9345 289 -11.9208 2440988 46856 21532 -11.8540 210 -11.9208 2446223 47001 21604 -11.9182 240 -11.9208 2453473 47103 21663 -11.8196 168 -11.9208 2458660 47246 21736 -11.9177 233 -11.9208 2466213 47307 21795 -11.8287 181 -11.9208 2469279 47391 21848 -11.9099 273 -11.9208 2473870 47484 21914 -11.8839 169 -11.9208 2478519 47608 21980 -11.9318 298 -11.9208 2486042 47716 22052 -11.8309 172 -11.9208 2491699 Elapsed real time = 1483.98 sec. (tree size = 1092.64 MB, solutions = 0) Nodefile size = 953.19 MB (765.75 MB after compression) 47831 22133 -11.9331 308 -11.9208 2497591 47944 22222 -11.9017 233 -11.9208 2503156 48042 22280 -11.8840 249 -11.9208 2508370 48176 22344 -11.9266 226 -11.9208 2515676 48299 22414 -11.8906 204 -11.9208 2522486 48402 22487 -11.9345 368 -11.9208 2527759 48493 22544 -11.8793 224 -11.9208 2531779 48624 22613 -11.8991 267 -11.9208 2538583 48757 22657 -11.9199 242 -11.9208 2547627 48882 22717 -11.9114 252 -11.9208 2555289 Elapsed real time = 1517.05 sec. (tree size = 1094.68 MB, solutions = 0) Nodefile size = 958.26 MB (767.52 MB after compression) 48987 22746 -11.9345 357 -11.9208 2563919 49140 22805 -11.9345 317 -11.9208 2571517 49238 22865 -11.9345 326 -11.9208 2576992 49373 22922 -11.8827 188 -11.9208 2587171 49522 22984 -11.9254 328 -11.9208 2596235 49641 23057 -10.8218 252 -11.9208 2603668 49759 23124 -11.9331 334 -11.9208 2612109 49869 23205 -11.9300 308 -11.9208 2617463 49947 23274 -11.8722 218 -11.9208 2620518 50045 23336 -11.8328 181 -11.9208 2625682 Elapsed real time = 1551.36 sec. (tree size = 1098.17 MB, solutions = 0) Nodefile size = 961.02 MB (768.67 MB after compression) 50130 23396 -11.9039 200 -11.9208 2629235 50234 23452 -11.8456 155 -11.9208 2633554 50353 23541 -11.9331 315 -11.9208 2638548 50447 23605 -11.8935 192 -11.9208 2643650 50590 23684 -11.9331 330 -11.9208 2650941 50728 23757 -11.9197 292 -11.9208 2657830 50842 23825 -11.8702 203 -11.9208 2662429 50950 23878 -11.9318 294 -11.9208 2668968 51061 23934 -11.9209 237 -11.9208 2674930 51162 23985 -11.9331 305 -11.9208 2679926 Elapsed real time = 1585.56 sec. (tree size = 1101.23 MB, solutions = 0) Nodefile size = 964.56 MB (769.85 MB after compression) 51305 24039 -11.9319 256 -11.9208 2687811 51446 24090 -11.9331 318 -11.9208 2695345 51547 24139 -11.8741 167 -11.9208 2700603 51682 24205 -11.9345 302 -11.9208 2707574 51836 24271 -11.9268 296 -11.9208 2713593 51970 24326 -11.8918 205 -11.9208 2721149 52110 24388 -11.9190 320 -11.9208 2728270 52248 24457 -11.8742 183 -11.9208 2734385 52399 24512 -11.9331 291 -11.9208 2743126 52527 24593 -11.9336 284 -11.9208 2748485 Elapsed real time = 1618.82 sec. (tree size = 1104.17 MB, solutions = 0) Nodefile size = 967.77 MB (770.87 MB after compression) 52631 24649 -11.9025 202 -11.9208 2753849 52755 24691 -11.8290 146 -11.9208 2760731 52923 24743 -11.9219 241 -11.9208 2768869 53062 24791 -11.9192 228 -11.9208 2775046 53211 24851 -11.9151 225 -11.9208 2781426 53357 24904 -11.9287 305 -11.9208 2790854 53479 24981 -11.8955 222 -11.9208 2798499 53609 25069 -11.8756 212 -11.9208 2802669 53764 25150 -11.9231 251 -11.9208 2809244 53911 25197 -11.9258 255 -11.9208 2815661 Elapsed real time = 1652.10 sec. (tree size = 1107.22 MB, solutions = 0) Nodefile size = 970.50 MB (771.37 MB after compression) 54042 25264 -11.9274 247 -11.9208 2822038 54180 25340 -11.9214 242 -11.9208 2827422 54322 25420 -11.9283 293 -11.9208 2832282 54431 25484 -11.9323 308 -11.9208 2836924 54573 25537 -11.9235 241 -11.9208 2843445 54711 25611 -11.9082 230 -11.9208 2849406 54843 25681 -11.9190 237 -11.9208 2855212 54982 25749 infeasible -11.9208 2861836 55103 25795 -11.9201 221 -11.9208 2869189 55227 25831 -11.9331 284 -11.9208 2876012 Elapsed real time = 1684.43 sec. (tree size = 1109.69 MB, solutions = 0) Nodefile size = 972.86 MB (771.91 MB after compression) 55385 25853 -11.9331 291 -11.9208 2884953 55506 25902 -11.9331 331 -11.9208 2894677 55648 25962 -11.9052 252 -11.9208 2903729 55772 26031 -11.9318 299 -11.9208 2911201 55888 26116 -11.9204 248 -11.9208 2916306 55977 26183 -11.8310 147 -11.9208 2921431 56094 26230 -11.8200 123 -11.9208 2927882 56244 26314 -11.9170 230 -11.9208 2935199 56373 26335 -11.9331 301 -11.9208 2943199 56490 26383 -11.9318 345 -11.9208 2950917 Elapsed real time = 1719.19 sec. (tree size = 1112.36 MB, solutions = 0) Nodefile size = 975.11 MB (772.35 MB after compression) 56652 26395 -11.9304 300 -11.9208 2962630 56786 26417 -11.9345 334 -11.9208 2971857 56937 26458 infeasible -11.9208 2982516 57078 26517 -11.9249 300 -11.9208 2991812 57187 26567 -11.8935 181 -11.9208 2999857 57306 26607 -11.8319 137 -11.9208 3004994 57418 26658 -11.9345 333 -11.9208 3013520 57581 26688 infeasible -11.9208 3024803 57735 26740 -11.9345 316 -11.9208 3032827 57845 26808 -11.9318 325 -11.9208 3040523 Elapsed real time = 1754.67 sec. (tree size = 1114.26 MB, solutions = 0) Nodefile size = 978.14 MB (773.72 MB after compression) 57939 26845 -11.8235 136 -11.9208 3046814 58071 26891 -11.9309 278 -11.9208 3053651 58203 26932 -11.9309 243 -11.9208 3063639 58331 26974 -11.9309 245 -11.9208 3075383 58464 27018 -11.9318 295 -11.9208 3082887 58597 27056 -11.8989 278 -11.9208 3089302 58724 27082 -11.9345 293 -11.9208 3096475 58816 27114 -11.8192 149 -11.9208 3102977 58931 27176 -11.9031 268 -11.9208 3109539 59022 27228 -11.8654 208 -11.9208 3114117 Elapsed real time = 1788.85 sec. (tree size = 1116.46 MB, solutions = 0) Nodefile size = 979.46 MB (773.97 MB after compression) 59128 27290 -11.8676 186 -11.9208 3120587 59230 27353 -11.8422 170 -11.9208 3125261 59336 27401 -11.8598 208 -11.9208 3131234 59459 27465 -11.8757 212 -11.9208 3137181 59538 27498 -11.9226 295 -11.9208 3142156 59667 27557 -11.8479 198 -11.9208 3148205 59780 27608 -11.8235 147 -11.9208 3154561 59932 27662 -11.9254 301 -11.9208 3161195 60056 27736 -11.8813 255 -11.9208 3166883 60177 27779 -11.8162 193 -11.9208 3173056 Elapsed real time = 1822.72 sec. (tree size = 1119.30 MB, solutions = 0) Nodefile size = 982.48 MB (774.79 MB after compression) 60294 27836 -11.8670 233 -11.9208 3178951 60381 27877 -11.8161 158 -11.9208 3183174 60475 27922 -11.8161 127 -11.9208 3187023 60588 27977 -11.8420 188 -11.9208 3192928 60723 28018 -11.9323 293 -11.9208 3199494 60849 28083 -11.8886 221 -11.9208 3204229 60973 28121 -11.9345 348 -11.9208 3212576 61128 28162 -11.9345 353 -11.9208 3223379 61253 28197 -11.9345 306 -11.9208 3233238 61401 28231 -11.9283 302 -11.9208 3239738 Elapsed real time = 1856.82 sec. (tree size = 1121.87 MB, solutions = 0) Nodefile size = 985.11 MB (775.75 MB after compression) 61526 28288 -11.8880 208 -11.9208 3244735 61625 28353 -11.9023 260 -11.9208 3248596 61732 28393 -11.8517 212 -11.9208 3253916 61841 28441 -11.8261 171 -11.9208 3257650 61991 28483 -11.9231 252 -11.9208 3265154 62123 28533 -11.9295 291 -11.9208 3271404 62250 28566 -11.9248 317 -11.9208 3279143 62369 28622 -11.9240 250 -11.9208 3285484 62532 28641 -11.9335 320 -11.9208 3294464 62661 28637 -11.9315 298 -11.9208 3305542 Elapsed real time = 1890.69 sec. (tree size = 1123.72 MB, solutions = 0) Nodefile size = 987.58 MB (776.23 MB after compression) 62782 28662 -11.9170 295 -11.9208 3311576 62924 28694 -11.8328 302 -11.9208 3322444 63057 28715 -11.9269 292 -11.9208 3329035 63195 28757 infeasible -11.9208 3334459 63317 28782 -11.9113 227 -11.9208 3339146 63436 28846 -11.9012 278 -11.9208 3344096 63549 28887 -11.8127 180 -11.9208 3348552 63676 28940 -11.9252 301 -11.9208 3355224 63786 28964 -11.9315 319 -11.9208 3366406 63881 29014 -11.9230 258 -11.9208 3372298 Elapsed real time = 1924.58 sec. (tree size = 1124.98 MB, solutions = 0) Nodefile size = 987.98 MB (776.32 MB after compression) 63985 29072 -11.9174 265 -11.9208 3377462 64123 29140 -11.9325 304 -11.9208 3384137 64231 29187 infeasible -11.9208 3390395 64386 29235 -11.9306 308 -11.9208 3399161 64552 29268 infeasible -11.9208 3407174 64689 29337 -11.9330 290 -11.9208 3412689 64817 29379 -11.9324 289 -11.9208 3420400 64942 29431 -11.9302 347 -11.9208 3426709 65105 29480 -11.9292 282 -11.9208 3434226 65246 29552 -11.9280 306 -11.9208 3441148 Elapsed real time = 1957.80 sec. (tree size = 1127.86 MB, solutions = 0) Nodefile size = 991.00 MB (777.24 MB after compression) 65384 29562 -11.9331 306 -11.9208 3450775 65511 29598 -11.9307 326 -11.9208 3458891 65667 29642 -11.9318 293 -11.9208 3467013 65785 29709 -11.9288 295 -11.9208 3474139 65868 29747 -11.8925 217 -11.9208 3478523 65999 29802 -11.8252 125 -11.9208 3485524 66179 29824 -11.9332 324 -11.9208 3496764 66316 29842 -11.9308 304 -11.9208 3505685 66460 29893 -11.9296 271 -11.9208 3515556 66624 29952 -11.9312 295 -11.9208 3523113 Elapsed real time = 1991.92 sec. (tree size = 1128.84 MB, solutions = 0) Nodefile size = 991.98 MB (777.42 MB after compression) 66801 30019 -11.9287 275 -11.9208 3530835 66953 30030 -11.9318 315 -11.9208 3544082 67088 30075 -11.9318 309 -11.9208 3549710 67209 30092 -11.9345 374 -11.9208 3560657 67372 30111 -11.9345 320 -11.9208 3570900 67508 30177 -11.9297 295 -11.9208 3580766 67640 30221 -11.9331 300 -11.9208 3590319 67782 30241 -11.9345 327 -11.9208 3600251 67894 30280 -11.9345 314 -11.9208 3607730 68046 30324 -11.9285 286 -11.9208 3615864 Elapsed real time = 2026.78 sec. (tree size = 1131.03 MB, solutions = 0) Nodefile size = 994.33 MB (778.20 MB after compression) 68190 30326 -11.9326 290 -11.9208 3625142 68331 30376 -11.9289 317 -11.9208 3633238 68471 30391 -11.9345 322 -11.9208 3642994 68591 30403 -11.9345 304 -11.9208 3651155 68675 30403 -11.9345 334 -11.9208 3658945 68767 30432 -11.9345 316 -11.9208 3667430 68847 30408 infeasible -11.9208 3697685 69014 30418 -11.9315 319 -11.9208 3711586 69119 30449 -11.9331 331 -11.9208 3721075 69216 30489 -11.9237 328 -11.9208 3731114 Elapsed real time = 2071.17 sec. (tree size = 1132.62 MB, solutions = 0) Nodefile size = 995.44 MB (778.77 MB after compression) 69364 30509 -11.9345 305 -11.9208 3741858 69435 30538 infeasible -11.9208 3753532 69597 30594 -11.9331 283 -11.9208 3761742 69741 30634 -11.9207 256 -11.9208 3771255 69891 30674 -11.9331 325 -11.9208 3779435 70014 30718 -11.9331 326 -11.9208 3789279 70129 30747 -11.9345 336 -11.9208 3795963 70245 30765 -11.9318 317 -11.9208 3804671 70366 30809 -11.9345 319 -11.9208 3814177 70504 30837 -11.9264 303 -11.9208 3823200 Elapsed real time = 2107.97 sec. (tree size = 1133.81 MB, solutions = 0) Nodefile size = 997.14 MB (779.69 MB after compression) 70643 30879 infeasible -11.9208 3830609 70751 30947 -11.9049 213 -11.9208 3835655 70864 30981 -11.9345 324 -11.9208 3842317 70958 31002 -11.9345 399 -11.9208 3849885 71125 31079 -11.9173 285 -11.9208 3857318 71251 31112 -11.9345 301 -11.9208 3864730 71370 31157 -11.9149 301 -11.9208 3870891 71513 31214 -11.9297 293 -11.9208 3878178 71656 31223 -11.9345 346 -11.9208 3889112 71776 31267 -11.9313 303 -11.9208 3895071 Elapsed real time = 2141.85 sec. (tree size = 1136.27 MB, solutions = 0) Nodefile size = 999.93 MB (780.60 MB after compression) 71887 31296 -11.9345 319 -11.9208 3906242 71996 31324 -11.9282 315 -11.9208 3916441 72127 31361 -11.9255 267 -11.9208 3926778 72259 31398 -11.9258 270 -11.9208 3938504 72377 31460 -11.9254 318 -11.9208 3945102 72485 31498 -11.9310 315 -11.9208 3952964 72604 31535 -11.9345 354 -11.9208 3966634 72728 31567 -11.9331 319 -11.9208 3975179 72857 31587 -11.9345 315 -11.9208 3987165 72979 31607 -11.9345 362 -11.9208 3996805 Elapsed real time = 2177.31 sec. (tree size = 1137.21 MB, solutions = 0) Nodefile size = 1001.10 MB (781.06 MB after compression) 73097 31615 -11.9161 307 -11.9208 4010685 73250 31646 -11.9345 342 -11.9208 4020383 73374 31679 -11.8854 210 -11.9208 4029816 73513 31706 -11.5740 307 -11.9208 4040463 73668 31743 -11.9345 312 -11.9208 4048581 73818 31765 -11.9233 286 -11.9208 4058009 73966 31800 -11.9345 346 -11.9208 4067008 74119 31858 -11.9345 286 -11.9208 4077608 74281 31946 -11.9287 274 -11.9208 4085085 74453 32039 -11.9304 277 -11.9208 4092360 Elapsed real time = 2211.69 sec. (tree size = 1139.65 MB, solutions = 0) Nodefile size = 1003.11 MB (781.67 MB after compression) 74622 32111 -11.9300 230 -11.9208 4100181 74781 32187 -11.8772 314 -11.9208 4108162 74952 32248 -11.9318 277 -11.9208 4117164 75109 32351 -11.8977 237 -11.9208 4124098 75220 32418 -11.9345 343 -11.9208 4131807 75362 32482 -11.9258 237 -11.9208 4139227 75505 32575 -11.9331 309 -11.9208 4146549 75648 32633 -11.9276 278 -11.9208 4154355 75743 32658 -11.9304 329 -11.9208 4163790 75870 32690 -11.9332 455 -11.9208 4176316 Elapsed real time = 2246.64 sec. (tree size = 1140.76 MB, solutions = 0) Nodefile size = 1005.81 MB (782.83 MB after compression) 76021 32732 -11.9345 319 -11.9208 4188905 76123 32754 -11.9268 344 -11.9208 4199356 76224 32796 -11.9265 296 -11.9208 4205741 76355 32874 -11.9203 263 -11.9208 4212037 76470 32931 -11.9260 346 -11.9208 4218978 76576 33000 -11.8826 192 -11.9208 4224810 76671 33035 -11.8517 128 -11.9208 4231081 76784 33082 -11.8472 119 -11.9208 4237766 76895 33147 -11.9279 278 -11.9208 4242780 76995 33201 -11.8637 240 -11.9208 4250869 Elapsed real time = 2281.18 sec. (tree size = 1143.03 MB, solutions = 0) Nodefile size = 1005.81 MB (782.83 MB after compression) 77080 33226 -11.8937 366 -11.9208 4271622 77087 33229 infeasible -11.9208 4286217 77225 33310 -11.9175 265 -11.9208 4293180 77327 33337 -11.8944 231 -11.9208 4301382 77438 33356 -11.9180 322 -11.9208 4310549 77525 33372 -11.9318 329 -11.9208 4318585 77654 33417 -11.9228 371 -11.9208 4330093 77744 33432 -11.9345 317 -11.9208 4338521 77839 33448 -11.9345 329 -11.9208 4349799 77985 33506 -11.9301 318 -11.9208 4359613 Elapsed real time = 2328.71 sec. (tree size = 1143.86 MB, solutions = 0) Nodefile size = 1005.81 MB (782.83 MB after compression) 78109 33552 -11.9327 362 -11.9208 4369700 78254 33618 -11.9338 316 -11.9208 4377021 78376 33636 -11.9345 307 -11.9208 4384781 78511 33688 -11.8817 193 -11.9208 4392847 78636 33748 -11.8597 169 -11.9208 4399205 78792 33800 -11.9338 337 -11.9208 4410168 78944 33847 -11.9274 218 -11.9208 4417980 79098 33872 -11.9345 305 -11.9208 4428221 79273 33883 -11.9304 299 -11.9208 4438455 79403 33929 -11.9345 294 -11.9208 4448646 Elapsed real time = 2363.29 sec. (tree size = 1145.08 MB, solutions = 0) Nodefile size = 1008.55 MB (783.45 MB after compression) 79577 33955 -11.9331 287 -11.9208 4457182 79724 33982 -11.9345 293 -11.9208 4469289 79878 34014 infeasible -11.9208 4481427 80020 34029 -11.9345 315 -11.9208 4492166 80118 34048 -11.9325 429 -11.9208 4503709 80258 34086 -11.9331 307 -11.9208 4513858 80387 34112 -11.8974 200 -11.9208 4522641 80481 34151 -11.8768 167 -11.9208 4530208 80624 34162 -11.9330 286 -11.9208 4543457 80744 34202 -11.9314 311 -11.9208 4554942 Elapsed real time = 2399.33 sec. (tree size = 1146.69 MB, solutions = 0) Nodefile size = 1010.23 MB (783.81 MB after compression) 80850 34193 -11.9198 387 -11.9208 4564878 80996 34246 -11.9262 323 -11.9208 4575886 81151 34251 -11.9345 333 -11.9208 4593331 81272 34268 -11.9345 309 -11.9208 4605140 81471 34272 -11.9345 292 -11.9208 4616785 81623 34296 -11.9217 299 -11.9208 4627325 81797 34320 -11.8811 276 -11.9208 4638522 81998 34328 -11.9322 278 -11.9208 4648309 82157 34358 -11.9345 315 -11.9208 4658183 82268 34375 -11.9331 324 -11.9208 4665966 Elapsed real time = 2434.49 sec. (tree size = 1147.77 MB, solutions = 0) Nodefile size = 1011.65 MB (784.13 MB after compression) 82405 34420 -11.9279 291 -11.9208 4678182 82562 34452 -11.9345 312 -11.9208 4688496 82635 34478 -11.9345 359 -11.9208 4695716 82728 34508 -11.9345 337 -11.9208 4708295 82780 34522 -11.9098 415 -11.9208 4718173 82895 34561 -11.9310 311 -11.9208 4726253 82976 34564 -11.9345 330 -11.9208 4736660 83117 34577 -11.9304 314 -11.9208 4747753 83183 34592 -11.8845 345 -11.9208 4753923 83270 34607 -11.9345 402 -11.9208 4766706 Elapsed real time = 2471.11 sec. (tree size = 1150.40 MB, solutions = 0) Nodefile size = 1013.34 MB (784.84 MB after compression) 83395 34643 -11.9342 337 -11.9208 4778961 83515 34693 -11.9327 305 -11.9208 4785057 83678 34740 infeasible -11.9208 4793038 83834 34732 -11.9345 311 -11.9208 4804646 83989 34735 -11.9345 308 -11.9208 4815104 84113 34758 -11.9345 282 -11.9208 4824202 84226 34792 -11.9309 278 -11.9208 4830792 84356 34820 -11.9345 349 -11.9208 4840156 84502 34837 -11.9318 307 -11.9208 4848582 84626 34879 -11.9281 267 -11.9208 4856027 Elapsed real time = 2508.49 sec. (tree size = 1153.24 MB, solutions = 0) Nodefile size = 1016.30 MB (786.76 MB after compression) 84727 34917 -11.9345 273 -11.9208 4862376 84834 34948 -11.9281 366 -11.9208 4876081 84955 34987 -11.9345 341 -11.9208 4885151 85067 35028 -11.9331 401 -11.9208 4893678 85178 35041 -11.9297 316 -11.9208 4908175 85300 35080 -11.9320 297 -11.9208 4917350 85423 35102 -11.9345 322 -11.9208 4930864 85513 35100 -11.9298 318 -11.9208 4942461 85623 35117 -11.9325 331 -11.9208 4953915 85768 35164 -11.9312 278 -11.9208 4967338 Elapsed real time = 2546.32 sec. (tree size = 1163.01 MB, solutions = 0) Nodefile size = 1026.66 MB (793.58 MB after compression) 85917 35154 -11.9345 326 -11.9208 4979872 86063 35171 -11.9330 264 -11.9208 4989454 86192 35198 -11.9345 271 -11.9208 4999767 86359 35237 -11.9292 257 -11.9208 5012528 86528 35230 -11.9331 266 -11.9208 5024496 86701 35236 -11.9331 294 -11.9208 5042608 86902 35230 -11.9345 262 -11.9208 5055979 87072 35277 -11.9296 285 -11.9208 5066037 87232 35291 -11.9328 293 -11.9208 5079476 87380 35343 -11.7297 278 -11.9208 5087821 Elapsed real time = 2581.54 sec. (tree size = 1164.10 MB, solutions = 0) Nodefile size = 1026.66 MB (793.58 MB after compression) 87538 35375 -11.9331 273 -11.9208 5097959 87670 35423 -11.8880 311 -11.9208 5105139 87773 35448 -11.9345 325 -11.9208 5116867 87919 35515 -11.9180 255 -11.9208 5124725 88069 35532 -11.9331 311 -11.9208 5137262 88177 35576 -11.9345 295 -11.9208 5145529 88315 35602 -11.9345 385 -11.9208 5158077 88443 35632 -11.9345 312 -11.9208 5167434 88566 35667 -11.9331 325 -11.9208 5177822 88690 35718 -11.9331 303 -11.9208 5185046 Elapsed real time = 2616.37 sec. (tree size = 1164.41 MB, solutions = 0) Nodefile size = 1027.89 MB (793.83 MB after compression) 88826 35764 -11.9345 331 -11.9208 5192387 88964 35800 -11.9308 286 -11.9208 5199495 89108 35868 -11.9310 305 -11.9208 5207916 89247 35915 -11.9317 322 -11.9208 5215295 89398 35971 -11.9277 337 -11.9208 5224433 89519 36040 -11.9272 291 -11.9208 5230525 89642 36086 -11.9271 308 -11.9208 5239276 89792 36130 -11.9331 308 -11.9208 5249339 89909 36184 -11.9295 297 -11.9208 5256987 90051 36262 -11.9345 289 -11.9208 5265621 Elapsed real time = 2650.10 sec. (tree size = 1167.20 MB, solutions = 0) Nodefile size = 1030.59 MB (795.16 MB after compression) 90170 36293 -11.9345 311 -11.9208 5274952 90300 36319 -11.9331 298 -11.9208 5282362 90434 36348 -11.9331 332 -11.9208 5293651 90560 36392 -11.9345 295 -11.9208 5303140 90683 36417 -11.9255 287 -11.9208 5312525 90805 36476 -11.9278 284 -11.9208 5320210 90949 36531 -11.9278 281 -11.9208 5329656 91090 36576 -11.9233 297 -11.9208 5341437 91236 36626 -11.9220 295 -11.9208 5349210 91339 36653 -11.9345 344 -11.9208 5359753 Elapsed real time = 2684.32 sec. (tree size = 1169.18 MB, solutions = 0) Nodefile size = 1032.97 MB (796.37 MB after compression) 91466 36659 -11.9345 331 -11.9208 5371739 91576 36676 -11.9345 441 -11.9208 5380964 91704 36690 -11.9345 329 -11.9208 5392810 91818 36701 -11.9242 314 -11.9208 5400782 91956 36741 -11.9345 347 -11.9208 5407432 92095 36795 -11.9264 313 -11.9208 5414163 92220 36841 -11.9289 349 -11.9208 5421612 92392 36882 -11.9318 315 -11.9208 5431555 92536 36964 -11.9326 330 -11.9208 5437200 92652 36996 -11.9233 310 -11.9208 5444024 Elapsed real time = 2718.80 sec. (tree size = 1171.19 MB, solutions = 0) Nodefile size = 1034.60 MB (797.22 MB after compression) 92782 37034 -11.9345 331 -11.9208 5453538 92900 37071 -11.9345 333 -11.9208 5459619 93010 37115 -11.9072 348 -11.9208 5466979 93178 37180 -11.9331 287 -11.9208 5480161 93351 37260 -11.9345 304 -11.9208 5490162 93514 37323 -11.8988 283 -11.9208 5503537 93677 37332 -11.9341 327 -11.9208 5515133 93819 37381 -11.9314 294 -11.9208 5523000 93936 37416 -11.9323 362 -11.9208 5535642 94082 37451 -11.9345 311 -11.9208 5546215 Elapsed real time = 2753.09 sec. (tree size = 1175.45 MB, solutions = 0) Nodefile size = 1039.16 MB (799.83 MB after compression) 94173 37473 -11.9345 314 -11.9208 5555310 94328 37510 -11.9345 336 -11.9208 5565937 94473 37517 -11.9313 325 -11.9208 5578783 94610 37520 -11.9345 309 -11.9208 5594441 94734 37538 -11.9345 357 -11.9208 5610352 94830 37540 -11.9345 293 -11.9208 5620636 94990 37551 -11.9345 316 -11.9208 5631782 95135 37560 -11.9304 335 -11.9208 5641942 95223 37589 -11.9289 320 -11.9208 5646998 95328 37616 -11.9193 345 -11.9208 5655862 Elapsed real time = 2788.82 sec. (tree size = 1174.47 MB, solutions = 0) Nodefile size = 1039.95 MB (800.33 MB after compression) 95403 37624 -11.9345 408 -11.9208 5667027 95544 37631 -11.9327 319 -11.9208 5676977 95664 37673 -11.9257 341 -11.9208 5684686 95744 37694 -11.9101 333 -11.9208 5691675 95868 37704 -11.9297 312 -11.9208 5703455 95991 37727 -11.9345 330 -11.9208 5712683 96100 37722 -11.9310 346 -11.9208 5722493 96198 37720 -11.9345 334 -11.9208 5738420 96338 37730 -11.9345 325 -11.9208 5749186 96457 37737 -11.9345 337 -11.9208 5758766 Elapsed real time = 2826.01 sec. (tree size = 1176.43 MB, solutions = 0) Nodefile size = 1040.74 MB (800.74 MB after compression) 96523 37751 -11.9345 342 -11.9208 5764786 96683 37745 infeasible -11.9208 5778691 96788 37769 -11.9318 321 -11.9208 5788941 96911 37776 -11.9216 389 -11.9208 5803824 97034 37806 -11.9320 326 -11.9208 5815830 97170 37827 -11.9331 313 -11.9208 5828336 97288 37886 -11.9323 296 -11.9208 5838717 97383 37962 -11.8874 207 -11.9208 5844425 97495 38023 -11.9309 294 -11.9208 5852546 97584 38089 -11.8884 201 -11.9208 5857859 Elapsed real time = 2863.63 sec. (tree size = 1179.65 MB, solutions = 0) Nodefile size = 1042.27 MB (801.38 MB after compression) 97678 38152 -11.9224 258 -11.9208 5863982 97757 38180 -11.8316 161 -11.9208 5869082 97879 38249 -11.9345 308 -11.9208 5878053 97996 38333 -11.8894 217 -11.9208 5885938 98094 38402 -11.9323 287 -11.9208 5891907 98197 38463 -11.9193 314 -11.9208 5899203 98289 38515 -11.9345 315 -11.9208 5906875 98385 38523 -11.8757 222 -11.9208 5917174 98490 38568 -11.9060 177 -11.9208 5924614 98592 38608 -11.9323 264 -11.9208 5933502 Elapsed real time = 2898.35 sec. (tree size = 1181.27 MB, solutions = 0) Nodefile size = 1044.84 MB (802.32 MB after compression) 98690 38682 -11.9323 280 -11.9208 5939789 98790 38749 -11.8854 214 -11.9208 5945611 98893 38815 -11.8952 223 -11.9208 5951829 98979 38878 -11.8727 189 -11.9208 5957477 99095 38922 -11.8701 223 -11.9208 5964281 99215 38989 -11.9323 325 -11.9208 5973295 99310 39032 -11.9323 268 -11.9208 5980882 99405 39064 -11.9336 331 -11.9208 5988536 99467 39115 -11.9314 289 -11.9208 5994854 99543 39161 -11.8925 224 -11.9208 5999131 Elapsed real time = 2932.88 sec. (tree size = 1183.99 MB, solutions = 0) Nodefile size = 1047.08 MB (802.77 MB after compression) 99643 39164 -11.9345 312 -11.9208 6011038 99780 39170 -11.9345 302 -11.9208 6022770 99888 39178 -11.9331 330 -11.9208 6033369 100032 39211 -11.9345 340 -11.9208 6047045 100191 39211 -11.9345 348 -11.9208 6062559 100329 39198 -11.9345 404 -11.9208 6079215 100467 39204 -11.9318 313 -11.9208 6092458 100598 39237 -11.9236 282 -11.9208 6101950 100741 39254 -11.9345 321 -11.9208 6110321 100874 39282 -11.9267 280 -11.9208 6120906 Elapsed real time = 2970.72 sec. (tree size = 1184.58 MB, solutions = 0) Nodefile size = 1047.08 MB (802.77 MB after compression) 101004 39328 -11.9259 293 -11.9208 6127118 101142 39331 -11.9345 366 -11.9208 6138787 101243 39363 -11.9331 363 -11.9208 6147682 101306 39378 -11.9161 352 -11.9208 6152086 101470 39398 -11.9345 324 -11.9208 6162555 101548 39387 -11.8795 349 -11.9208 6169894 101669 39420 -11.9345 316 -11.9208 6180110 101716 39425 infeasible -11.9208 6194451 101814 39411 -11.9343 393 -11.9208 6211017 101860 39425 -11.9288 441 -11.9208 6223384 Elapsed real time = 3012.21 sec. (tree size = 1184.51 MB, solutions = 0) Nodefile size = 1047.90 MB (803.29 MB after compression) 102040 39489 -11.9236 295 -11.9208 6231792 102131 39534 -11.9301 370 -11.9208 6236172 102270 39583 -11.9322 331 -11.9208 6242934 102408 39615 -11.9193 323 -11.9208 6251756 102522 39623 -11.9345 348 -11.9208 6260385 102616 39635 -11.9331 328 -11.9208 6266953 102734 39637 -11.9345 333 -11.9208 6277745 102875 39634 -11.9178 358 -11.9208 6290151 102983 39654 -11.9345 307 -11.9208 6302454 103126 39708 -11.9330 315 -11.9208 6309325 Elapsed real time = 3046.23 sec. (tree size = 1184.52 MB, solutions = 0) Nodefile size = 1048.68 MB (803.53 MB after compression) 103254 39708 -11.9345 376 -11.9208 6318909 103327 39720 -11.9263 439 -11.9208 6329750 103428 39754 -11.9345 408 -11.9208 6338519 103508 39803 -11.9331 331 -11.9208 6346768 103597 39872 -11.9331 286 -11.9208 6353482 103733 39964 -11.9220 234 -11.9208 6359771 103824 40042 -11.8710 207 -11.9208 6363599 103962 40118 -11.9212 293 -11.9208 6370280 104089 40185 -11.9345 323 -11.9208 6376297 104211 40249 -11.9252 285 -11.9208 6382987 Elapsed real time = 3082.03 sec. (tree size = 1189.17 MB, solutions = 0) Nodefile size = 1052.28 MB (804.45 MB after compression) 104347 40327 -11.9331 298 -11.9208 6391013 104453 40380 -11.8773 225 -11.9208 6397329 104587 40458 -11.9280 267 -11.9208 6403163 104706 40515 -11.9304 293 -11.9208 6411689 104836 40583 -11.8744 199 -11.9208 6419937 104974 40673 -11.9312 295 -11.9208 6425048 105110 40738 -11.9278 216 -11.9208 6431152 105231 40809 -11.9331 330 -11.9208 6435723 105327 40868 -11.8330 160 -11.9208 6439611 105456 40954 -11.8665 211 -11.9208 6444635 Elapsed real time = 3115.11 sec. (tree size = 1191.48 MB, solutions = 0) Nodefile size = 1055.02 MB (805.40 MB after compression) 105600 41000 -11.9285 281 -11.9208 6450768 105750 41073 -11.9275 250 -11.9208 6456785 105900 41137 -11.9224 262 -11.9208 6463596 106029 41190 -11.9298 301 -11.9208 6469881 106181 41244 -11.9221 318 -11.9208 6477787 106310 41291 -11.9302 295 -11.9208 6484778 106468 41352 -11.9187 234 -11.9208 6491679 106607 41400 -11.9309 265 -11.9208 6497444 106726 41475 -11.9331 327 -11.9208 6503833 106856 41542 -11.9318 341 -11.9208 6512485 Elapsed real time = 3148.05 sec. (tree size = 1194.99 MB, solutions = 0) Nodefile size = 1058.29 MB (805.99 MB after compression) 106965 41599 -11.9138 293 -11.9208 6516816 107097 41656 -11.9247 366 -11.9208 6525601 107251 41706 -11.9334 305 -11.9208 6533156 107387 41728 -11.9331 280 -11.9208 6538829 107528 41772 -11.9303 326 -11.9208 6546069 107653 41811 -11.9186 370 -11.9208 6555006 107784 41864 -11.9284 271 -11.9208 6563823 107885 41899 -11.8990 230 -11.9208 6573017 108011 41945 -11.8546 208 -11.9208 6581913 108158 42017 -11.9345 322 -11.9208 6593767 Elapsed real time = 3182.46 sec. (tree size = 1197.32 MB, solutions = 0) Nodefile size = 1060.85 MB (806.83 MB after compression) 108278 42069 -11.9345 332 -11.9208 6599823 108447 42110 -11.9263 311 -11.9208 6612036 108565 42162 -11.9265 320 -11.9208 6619267 108684 42211 -11.9345 373 -11.9208 6629011 108812 42275 -11.9345 321 -11.9208 6639609 108937 42369 -11.9345 303 -11.9208 6645030 109087 42475 -11.9100 293 -11.9208 6651907 109203 42523 infeasible -11.9208 6659681 109325 42577 -11.9277 339 -11.9208 6668764 109438 42606 -11.9345 326 -11.9208 6677907 Elapsed real time = 3217.08 sec. (tree size = 1200.43 MB, solutions = 0) Nodefile size = 1063.60 MB (807.80 MB after compression) 109566 42658 -11.9244 301 -11.9208 6688281 109717 42721 -11.9345 311 -11.9208 6695564 109859 42789 -11.8919 258 -11.9208 6701446 110016 42866 -11.9205 318 -11.9208 6707782 110138 42939 -11.9045 237 -11.9208 6711810 110274 42988 -11.9023 255 -11.9208 6718922 110393 43071 -11.9052 196 -11.9208 6723140 110485 43120 -11.8577 190 -11.9208 6727477 110647 43190 -11.9306 333 -11.9208 6734330 110777 43267 -11.9109 288 -11.9208 6740414 Elapsed real time = 3250.40 sec. (tree size = 1203.83 MB, solutions = 0) Nodefile size = 1067.20 MB (808.66 MB after compression) 110903 43312 -11.8526 211 -11.9208 6747604 111010 43341 -11.9045 200 -11.9208 6756168 111134 43384 -11.8903 181 -11.9208 6764205 111268 43446 -11.9279 338 -11.9208 6770857 111411 43534 -11.9215 252 -11.9208 6776712 111555 43602 -11.9345 317 -11.9208 6783383 111645 43629 infeasible -11.9208 6791430 111790 43657 -11.9318 298 -11.9208 6803245 111892 43679 -11.8625 201 -11.9208 6812687 112021 43764 -11.8462 188 -11.9208 6819974 Elapsed real time = 3284.28 sec. (tree size = 1205.45 MB, solutions = 0) Nodefile size = 1069.32 MB (809.02 MB after compression) 112133 43834 -11.9332 310 -11.9208 6827321 112236 43862 -11.8657 190 -11.9208 6835000 112338 43894 -11.9345 345 -11.9208 6851886 112457 43899 -11.9196 386 -11.9208 6867124 112581 43924 infeasible -11.9208 6879214 112707 43922 -11.9345 391 -11.9208 6898172 112815 43996 -11.9277 316 -11.9208 6905045 112925 44062 -11.9331 325 -11.9208 6912777 113011 44120 -11.9297 309 -11.9208 6916892 113145 44184 -11.9244 306 -11.9208 6925137 Elapsed real time = 3320.96 sec. (tree size = 1208.05 MB, solutions = 0) Nodefile size = 1071.02 MB (809.41 MB after compression) 113261 44263 -11.9275 257 -11.9208 6931988 113405 44374 -11.8680 237 -11.9208 6938493 113536 44420 -11.8171 173 -11.9208 6945065 113690 44500 -11.9286 297 -11.9208 6952911 113813 44549 -11.9345 309 -11.9208 6959769 113963 44571 -11.9260 292 -11.9208 6969572 114127 44589 -11.9345 324 -11.9208 6982661 114245 44605 -11.9272 308 -11.9208 6992808 114380 44631 -11.9345 399 -11.9208 7003915 114881 44907 -11.8682 172 -11.9208 7030833 Elapsed real time = 3364.63 sec. (tree size = 1211.95 MB, solutions = 0) Nodefile size = 1074.65 MB (810.29 MB after compression) 115319 45153 -11.9311 356 -11.9208 7054329 115783 45436 -11.9282 257 -11.9208 7079338 116169 45732 -11.8365 163 -11.9208 7097541 116662 45971 -11.9311 286 -11.9208 7127834 117186 46128 -11.9250 320 -11.9208 7157108 117724 46353 -11.9296 316 -11.9208 7195805 118119 46540 -11.9318 294 -11.9208 7226190 118582 46719 -11.9313 322 -11.9208 7258009 119065 46902 -11.9329 313 -11.9208 7294802 119513 47109 -11.9238 318 -11.9208 7319830 Elapsed real time = 3498.61 sec. (tree size = 1222.35 MB, solutions = 0) Nodefile size = 1086.46 MB (814.79 MB after compression) 119945 47319 -11.9331 331 -11.9208 7351153 120396 47445 -11.9307 309 -11.9208 7382373 120788 47653 -11.8788 188 -11.9208 7401970 121216 47825 infeasible -11.9208 7425206 121649 47999 -11.9266 296 -11.9208 7451167 122098 48149 -11.9306 289 -11.9208 7480947 122552 48364 -11.9261 268 -11.9208 7503985 Root node processing (before b&c): Real time = 16.75 Parallel b&c, 4 threads: Real time = 3582.84 Sync time (average) = 0.61 Wait time (average) = 0.00 ------- Total (root+branch&cut) = 3599.59 sec. MIP - Time limit exceeded, no integer solution. Current MIP best bound = -1.1920801325e+01 (gap is infinite) Solution time = 3600.46 sec. Iterations = 7525078 Nodes = 122925 (48560) Deterministic time = 4053222.33 ticks (1125.75 ticks/sec) CPLEX> 13135.30user 19.88system 1:00:00elapsed 365%CPU (0avgtext+0avgdata 5679120maxresident)k 0inputs+8200outputs (0major+15372760minor)pagefaults 0swaps