Normally, CPLEX handles out of memory cases with an error message (CPLEX Error 1001).
When CPLEX exits like in your case, we can assume that the OS killed the process. This can happen if all the available memory
was used. Available memory can be all your system memory, but also if you have memory quotas ?
(3) will help diagnose the cause if the OS killed the process.
You might also be interested in available documentation on how to reduce memory usage by CPLEX:
Original Message:
Sent: Sun April 03, 2022 02:27 PM
From: John R
Subject: CPLEX python API kernel crash without error message
From my point of view it seems to be a crash. CPLEX doesn´t give me any further information. After evaluating node 5022 the curser of the cmd jumps back to the folder. Here is the full output:
CPLEX> Problem 'C:\$SOME_FOLDERS\test_model.sav' read.
Read time = 8.48 sec. (184.20 ticks)
CPLEX> Version identifier: 20.1.0.0 | 2020-11-10 | 9bedb6d68
Tried aggregator 2 times.
MIP Presolve eliminated 736691 rows and 727495 columns.
MIP Presolve added 168 rows and 42 columns.
Aggregator did 28670 substitutions.
Reduced MIP has 1176424 rows, 2026556 columns, and 16164075 nonzeros.
Reduced MIP has 1165 binaries, 0 generals, 634634 SOSs, and 756123 indicators.
Presolve time = 14.00 sec. (6504.60 ticks)
Probing time = 3.00 sec. (161.05 ticks)
Presolve has eliminated 0 rows and 0 columns...
Tried aggregator 1 time.
Detecting symmetries...
Elapsed time for symmetry detection = 9.20 sec. (10058.86 ticks)
Elapsed time for symmetry detection = 18.09 sec. (20092.51 ticks)
Elapsed time for symmetry detection = 26.86 sec. (30126.27 ticks)
Elapsed time for symmetry detection = 35.81 sec. (40160.02 ticks)
Elapsed time for symmetry detection = 44.61 sec. (50193.84 ticks)
Elapsed time for symmetry detection = 53.33 sec. (60227.70 ticks)
Elapsed time for symmetry detection = 62.17 sec. (70261.63 ticks)
Elapsed time for symmetry detection = 70.99 sec. (80295.87 ticks)
Elapsed time for symmetry detection = 79.83 sec. (90329.93 ticks)
Elapsed time for symmetry detection = 88.56 sec. (100364.44 ticks)
Elapsed time for symmetry detection = 97.66 sec. (110398.68 ticks)
Elapsed time for symmetry detection = 106.47 sec. (120433.22 ticks)
Elapsed time for symmetry detection = 115.27 sec. (130467.61 ticks)
Elapsed time for symmetry detection = 124.06 sec. (140502.02 ticks)
Elapsed time for symmetry detection = 132.78 sec. (150536.31 ticks)
Elapsed time for symmetry detection = 141.75 sec. (160570.61 ticks)
Elapsed time for symmetry detection = 150.63 sec. (170604.96 ticks)
Elapsed time for symmetry detection = 159.45 sec. (180639.50 ticks)
Elapsed time for symmetry detection = 168.28 sec. (190674.36 ticks)
Elapsed time for symmetry detection = 177.08 sec. (200708.94 ticks)
Elapsed time for symmetry detection = 185.89 sec. (210743.54 ticks)
Elapsed time for symmetry detection = 194.72 sec. (220778.11 ticks)
Elapsed time for symmetry detection = 203.56 sec. (230812.93 ticks)
Elapsed time for symmetry detection = 212.47 sec. (240847.72 ticks)
Elapsed time for symmetry detection = 221.30 sec. (250882.45 ticks)
Elapsed time for symmetry detection = 230.06 sec. (260917.39 ticks)
Elapsed time for symmetry detection = 238.89 sec. (270952.12 ticks)
Elapsed time for symmetry detection = 247.64 sec. (280986.95 ticks)
Elapsed time for symmetry detection = 256.47 sec. (291021.90 ticks)
Elapsed time for symmetry detection = 265.33 sec. (301056.94 ticks)
Elapsed time for symmetry detection = 274.11 sec. (311090.86 ticks)
Elapsed time for symmetry detection = 282.86 sec. (321125.84 ticks)
Elapsed time for symmetry detection = 291.74 sec. (331160.91 ticks)
Elapsed time for symmetry detection = 300.59 sec. (341196.08 ticks)
Elapsed time for symmetry detection = 309.34 sec. (351231.20 ticks)
Elapsed time for symmetry detection = 318.22 sec. (361266.34 ticks)
Elapsed time for symmetry detection = 326.97 sec. (371301.75 ticks)
Elapsed time for symmetry detection = 335.89 sec. (381338.01 ticks)
Elapsed time for symmetry detection = 344.59 sec. (391373.76 ticks)
Elapsed time for symmetry detection = 353.39 sec. (401410.10 ticks)
Elapsed time for symmetry detection = 362.22 sec. (411446.65 ticks)
Elapsed time for symmetry detection = 371.27 sec. (421482.76 ticks)
Elapsed time for symmetry detection = 380.14 sec. (431518.82 ticks)
Elapsed time for symmetry detection = 388.89 sec. (441554.84 ticks)
Elapsed time for symmetry detection = 397.77 sec. (451591.24 ticks)
Elapsed time for symmetry detection = 406.50 sec. (461628.32 ticks)
Elapsed time for symmetry detection = 415.39 sec. (471664.75 ticks)
Elapsed time for symmetry detection = 424.28 sec. (481701.11 ticks)
Elapsed time for symmetry detection = 433.09 sec. (491737.33 ticks)
Elapsed time for symmetry detection = 441.94 sec. (501773.91 ticks)
Elapsed time for symmetry detection = 450.84 sec. (511810.51 ticks)
Elapsed time for symmetry detection = 459.70 sec. (521846.94 ticks)
Elapsed time for symmetry detection = 468.44 sec. (531883.18 ticks)
Elapsed time for symmetry detection = 477.17 sec. (541919.37 ticks)
Elapsed time for symmetry detection = 485.95 sec. (551956.26 ticks)
Elapsed time for symmetry detection = 494.91 sec. (561992.96 ticks)
Elapsed time for symmetry detection = 503.77 sec. (572029.60 ticks)
Elapsed time for symmetry detection = 512.58 sec. (582066.06 ticks)
Elapsed time for symmetry detection = 521.42 sec. (592102.61 ticks)
Elapsed time for symmetry detection = 530.20 sec. (602139.53 ticks)
Elapsed time for symmetry detection = 539.03 sec. (612176.69 ticks)
Elapsed time for symmetry detection = 547.88 sec. (622213.51 ticks)
Elapsed time for symmetry detection = 556.75 sec. (632250.95 ticks)
Elapsed time for symmetry detection = 565.63 sec. (642288.28 ticks)
Elapsed time for symmetry detection = 574.49 sec. (652326.18 ticks)
Elapsed time for symmetry detection = 583.41 sec. (662363.74 ticks)
Elapsed time for symmetry detection = 592.34 sec. (672400.77 ticks)
Elapsed time for symmetry detection = 601.22 sec. (682438.34 ticks)
Elapsed time for symmetry detection = 610.08 sec. (692475.79 ticks)
Elapsed time for symmetry detection = 618.94 sec. (702513.31 ticks)
Elapsed time for symmetry detection = 627.95 sec. (712550.68 ticks)
Elapsed time for symmetry detection = 636.86 sec. (722587.77 ticks)
Elapsed time for symmetry detection = 645.61 sec. (732625.01 ticks)
Elapsed time for symmetry detection = 654.47 sec. (742661.94 ticks)
Elapsed time for symmetry detection = 663.24 sec. (752699.41 ticks)
Elapsed time for symmetry detection = 672.06 sec. (762736.91 ticks)
Elapsed time for symmetry detection = 681.00 sec. (772774.05 ticks)
Elapsed time for symmetry detection = 689.91 sec. (782811.23 ticks)
Elapsed time for symmetry detection = 698.75 sec. (792848.38 ticks)
Elapsed time for symmetry detection = 707.63 sec. (802886.30 ticks)
Elapsed time for symmetry detection = 716.39 sec. (812923.77 ticks)
Elapsed time for symmetry detection = 725.27 sec. (822961.03 ticks)
Elapsed time for symmetry detection = 734.14 sec. (832998.40 ticks)
Elapsed time for symmetry detection = 743.00 sec. (843035.88 ticks)
Elapsed time for symmetry detection = 751.91 sec. (853074.06 ticks)
Elapsed time for symmetry detection = 760.84 sec. (863112.23 ticks)
Elapsed time for symmetry detection = 769.64 sec. (873149.76 ticks)
Elapsed time for symmetry detection = 778.41 sec. (883187.16 ticks)
Elapsed time for symmetry detection = 787.22 sec. (893225.05 ticks)
Elapsed time for symmetry detection = 796.09 sec. (903263.36 ticks)
Elapsed time for symmetry detection = 804.92 sec. (913301.21 ticks)
Elapsed time for symmetry detection = 813.67 sec. (923338.65 ticks)
Elapsed time for symmetry detection = 822.75 sec. (933375.93 ticks)
Elapsed time for symmetry detection = 831.64 sec. (943413.58 ticks)
Elapsed time for symmetry detection = 840.42 sec. (953452.76 ticks)
Elapsed time for symmetry detection = 849.27 sec. (963491.78 ticks)
Elapsed time for symmetry detection = 858.09 sec. (973530.75 ticks)
Elapsed time for symmetry detection = 866.92 sec. (983569.74 ticks)
Elapsed time for symmetry detection = 875.77 sec. (993608.51 ticks)
Elapsed time for symmetry detection = 884.66 sec. (1003646.61 ticks)
Elapsed time for symmetry detection = 893.55 sec. (1013683.27 ticks)
Elapsed time for symmetry detection = 902.34 sec. (1023720.08 ticks)
Elapsed time for symmetry detection = 911.14 sec. (1033757.03 ticks)
Elapsed time for symmetry detection = 919.99 sec. (1043794.08 ticks)
Elapsed time for symmetry detection = 928.89 sec. (1053830.90 ticks)
Elapsed time for symmetry detection = 937.70 sec. (1063867.85 ticks)
Elapsed time for symmetry detection = 946.50 sec. (1073904.99 ticks)
Elapsed time for symmetry detection = 955.34 sec. (1083941.90 ticks)
Elapsed time for symmetry detection = 964.16 sec. (1093979.03 ticks)
Elapsed time for symmetry detection = 972.99 sec. (1104016.45 ticks)
Elapsed time for symmetry detection = 996.56 sec. (1114016.46 ticks)
Found 4.437551e+123466 symmetric permutations.
Reduced MIP has 1176424 rows, 2026556 columns, and 16164075 nonzeros.
Reduced MIP has 1165 binaries, 0 generals, 634634 SOSs, and 756123 indicators.
Presolve time = 1030.52 sec. (1134178.75 ticks)
Probing time = 2.95 sec. (161.05 ticks)
Clique table members: 7.
MIP emphasis: balance optimality and feasibility.
MIP search method: dynamic search.
Parallel mode: deterministic, using up to 24 threads.
Root relaxation solution time = 12.64 sec. (6141.99 ticks)
Nodes Cuts/
Node Left Objective IInf Best Integer Best Bound ItCnt Gap
0 0 1970.7049 645 1970.7049 7848
0 0 2451.9019 642 Impl Bds: 10000 17710
0 0 2459.0293 635 Impl Bds: 10000 24733
Elapsed time = 5.91 sec. (10000.32 ticks) for 768655 of 1196161 candidates for flow covers
0 0 2459.6042 635 Impl Bds: 10000 33770
Elapsed time = 5.66 sec. (10003.36 ticks) for 763147 of 1205759 candidates for flow covers
Elapsed time = 11.00 sec. (20004.90 ticks) for 769100 of 1205759 candidates for flow covers
0 0 2459.8136 634 Impl Bds: 10000 42662
Elapsed time = 5.56 sec. (10004.60 ticks) for 760726 of 1215213 candidates for flow covers
Elapsed time = 10.70 sec. (20005.63 ticks) for 765150 of 1215213 candidates for flow covers
Elapsed time = 15.89 sec. (30007.28 ticks) for 768456 of 1215213 candidates for flow covers
Elapsed time = 20.94 sec. (40009.48 ticks) for 770941 of 1215213 candidates for flow covers
0 0 2460.6403 636 Impl Bds: 10000 50621
Elapsed time = 5.31 sec. (10006.27 ticks) for 759561 of 1224507 candidates for flow covers
Elapsed time = 10.28 sec. (20007.16 ticks) for 762688 of 1224507 candidates for flow covers
Elapsed time = 15.33 sec. (30008.66 ticks) for 765705 of 1224507 candidates for flow covers
Elapsed time = 20.33 sec. (40009.79 ticks) for 768133 of 1224507 candidates for flow covers
Elapsed time = 25.34 sec. (50013.67 ticks) for 769816 of 1224507 candidates for flow covers
Elapsed time = 30.28 sec. (60017.89 ticks) for 771586 of 1224507 candidates for flow covers
0 0 2466.9624 614 Impl Bds: 10000 58570
Elapsed time = 4.84 sec. (10004.13 ticks) for 758923 of 1233663 candidates for flow covers
Elapsed time = 9.76 sec. (20008.11 ticks) for 761759 of 1233663 candidates for flow covers
Elapsed time = 14.67 sec. (30013.43 ticks) for 764153 of 1233663 candidates for flow covers
Elapsed time = 19.50 sec. (40013.78 ticks) for 767137 of 1233663 candidates for flow covers
Elapsed time = 24.26 sec. (50021.63 ticks) for 768397 of 1233663 candidates for flow covers
Elapsed time = 29.00 sec. (60023.03 ticks) for 769778 of 1233663 candidates for flow covers
Elapsed time = 33.86 sec. (70031.87 ticks) for 771204 of 1233663 candidates for flow covers
Elapsed time = 38.09 sec. (80031.88 ticks) for 1222436 of 1233663 candidates for flow covers
0 0 2467.1885 604 Impl Bds: 10000 67540
Elapsed time = 4.55 sec. (10003.55 ticks) for 758679 of 1242931 candidates for flow covers
Elapsed time = 9.30 sec. (20010.38 ticks) for 760708 of 1242931 candidates for flow covers
Elapsed time = 14.14 sec. (30023.01 ticks) for 762810 of 1242931 candidates for flow covers
Elapsed time = 18.92 sec. (40023.01 ticks) for 765046 of 1242931 candidates for flow covers
Elapsed time = 23.69 sec. (50031.84 ticks) for 767339 of 1242931 candidates for flow covers
Elapsed time = 28.42 sec. (60035.05 ticks) for 768416 of 1242931 candidates for flow covers
Elapsed time = 33.20 sec. (70041.86 ticks) for 769624 of 1242931 candidates for flow covers
Elapsed time = 37.91 sec. (80043.28 ticks) for 770686 of 1242931 candidates for flow covers
Elapsed time = 42.53 sec. (90043.30 ticks) for 784447 of 1242931 candidates for flow covers
0 0 2467.3061 583 Impl Bds: 10000 76487
Elapsed time = 4.39 sec. (10004.33 ticks) for 758461 of 1252269 candidates for flow covers
Elapsed time = 9.26 sec. (20016.13 ticks) for 759894 of 1252269 candidates for flow covers
Elapsed time = 14.08 sec. (30024.06 ticks) for 762020 of 1252269 candidates for flow covers
Elapsed time = 18.88 sec. (40030.12 ticks) for 763596 of 1252269 candidates for flow covers
Elapsed time = 23.78 sec. (50031.06 ticks) for 765675 of 1252269 candidates for flow covers
Elapsed time = 28.58 sec. (60034.27 ticks) for 767502 of 1252269 candidates for flow covers
Elapsed time = 33.31 sec. (70037.27 ticks) for 768472 of 1252269 candidates for flow covers
Elapsed time = 38.03 sec. (80045.08 ticks) for 769533 of 1252269 candidates for flow covers
Elapsed time = 42.78 sec. (90048.42 ticks) for 770425 of 1252269 candidates for flow covers
Elapsed time = 47.48 sec. (100057.51 ticks) for 771604 of 1252269 candidates for flow covers
Elapsed time = 51.38 sec. (110057.57 ticks) for 1190407 of 1252269 candidates for flow covers
0 0 2467.6097 566 Impl Bds: 10000 84563
Elapsed time = 4.06 sec. (10001.74 ticks) for 758267 of 1261748 candidates for flow covers
Elapsed time = 8.86 sec. (20009.98 ticks) for 759497 of 1261748 candidates for flow covers
Elapsed time = 13.72 sec. (30011.89 ticks) for 761198 of 1261748 candidates for flow covers
Elapsed time = 18.47 sec. (40016.48 ticks) for 762755 of 1261748 candidates for flow covers
Elapsed time = 23.27 sec. (50016.61 ticks) for 764628 of 1261748 candidates for flow covers
Elapsed time = 28.09 sec. (60024.34 ticks) for 766058 of 1261748 candidates for flow covers
Elapsed time = 33.09 sec. (70031.15 ticks) for 767623 of 1261748 candidates for flow covers
Elapsed time = 38.05 sec. (80034.05 ticks) for 768556 of 1261748 candidates for flow covers
Elapsed time = 42.84 sec. (90048.86 ticks) for 769492 of 1261748 candidates for flow covers
Elapsed time = 47.86 sec. (100052.91 ticks) for 770225 of 1261748 candidates for flow covers
Elapsed time = 52.78 sec. (110059.68 ticks) for 771254 of 1261748 candidates for flow covers
Elapsed time = 57.17 sec. (120059.86 ticks) for 819068 of 1261748 candidates for flow covers
0 0 2472.9285 492 Impl Bds: 10000 91686
Elapsed time = 3.89 sec. (10014.37 ticks) for 758165 of 1271280 candidates for flow covers
Elapsed time = 8.80 sec. (20018.10 ticks) for 758936 of 1271280 candidates for flow covers
Elapsed time = 13.75 sec. (30023.76 ticks) for 760699 of 1271280 candidates for flow covers
Elapsed time = 18.63 sec. (40026.09 ticks) for 762229 of 1271280 candidates for flow covers
Elapsed time = 23.58 sec. (50032.96 ticks) for 763563 of 1271280 candidates for flow covers
Elapsed time = 28.47 sec. (60047.25 ticks) for 765186 of 1271280 candidates for flow covers
Elapsed time = 33.39 sec. (70054.13 ticks) for 767167 of 1271280 candidates for flow covers
Elapsed time = 38.22 sec. (80059.01 ticks) for 767792 of 1271280 candidates for flow covers
Elapsed time = 43.00 sec. (90073.38 ticks) for 768724 of 1271280 candidates for flow covers
Elapsed time = 47.88 sec. (100080.14 ticks) for 769554 of 1271280 candidates for flow covers
Elapsed time = 52.67 sec. (110089.02 ticks) for 770224 of 1271280 candidates for flow covers
Elapsed time = 57.56 sec. (120091.55 ticks) for 771187 of 1271280 candidates for flow covers
Elapsed time = 62.30 sec. (130091.70 ticks) for 787019 of 1271280 candidates for flow covers
Elapsed time = 65.76 sec. (140091.76 ticks) for 1211777 of 1271280 candidates for flow covers
0 0 2474.7022 492 Impl Bds: 10000 100313
Elapsed time = 3.70 sec. (10000.07 ticks) for 715510 of 1280684 candidates for flow covers
Elapsed time = 8.39 sec. (20015.89 ticks) for 758726 of 1280684 candidates for flow covers
Elapsed time = 13.31 sec. (30022.30 ticks) for 759982 of 1280684 candidates for flow covers
Elapsed time = 18.28 sec. (40025.97 ticks) for 761561 of 1280684 candidates for flow covers
Elapsed time = 23.19 sec. (50040.83 ticks) for 762819 of 1280684 candidates for flow covers
Elapsed time = 28.11 sec. (60051.98 ticks) for 764163 of 1280684 candidates for flow covers
Elapsed time = 33.03 sec. (70052.13 ticks) for 765435 of 1280684 candidates for flow covers
Elapsed time = 37.98 sec. (80056.90 ticks) for 767257 of 1280684 candidates for flow covers
Elapsed time = 42.94 sec. (90065.58 ticks) for 767814 of 1280684 candidates for flow covers
Elapsed time = 47.81 sec. (100069.68 ticks) for 768666 of 1280684 candidates for flow covers
Elapsed time = 52.70 sec. (110082.50 ticks) for 769459 of 1280684 candidates for flow covers
Elapsed time = 57.59 sec. (120104.45 ticks) for 770041 of 1280684 candidates for flow covers
Elapsed time = 62.44 sec. (130109.77 ticks) for 770788 of 1280684 candidates for flow covers
Elapsed time = 67.14 sec. (140115.71 ticks) for 771624 of 1280684 candidates for flow covers
Elapsed time = 71.14 sec. (150115.71 ticks) for 834982 of 1280684 candidates for flow covers
Elapsed time = 74.50 sec. (160115.76 ticks) for 1246496 of 1280684 candidates for flow covers
0 0 2474.9584 451 Impl Bds: 10000 108835
Elapsed time = 3.84 sec. (10000.00 ticks) for 687323 of 1290296 candidates for flow covers
Elapsed time = 8.20 sec. (20002.00 ticks) for 758512 of 1290296 candidates for flow covers
Elapsed time = 13.11 sec. (30013.45 ticks) for 759518 of 1290296 candidates for flow covers
Elapsed time = 18.11 sec. (40031.42 ticks) for 760759 of 1290296 candidates for flow covers
Elapsed time = 23.09 sec. (50037.72 ticks) for 762185 of 1290296 candidates for flow covers
Elapsed time = 28.05 sec. (60043.70 ticks) for 763124 of 1290296 candidates for flow covers
Elapsed time = 32.88 sec. (70044.52 ticks) for 764576 of 1290296 candidates for flow covers
Elapsed time = 37.78 sec. (80054.87 ticks) for 765697 of 1290296 candidates for flow covers
Elapsed time = 42.64 sec. (90068.04 ticks) for 767293 of 1290296 candidates for flow covers
Elapsed time = 47.53 sec. (100086.41 ticks) for 767799 of 1290296 candidates for flow covers
Elapsed time = 52.36 sec. (110094.47 ticks) for 768575 of 1290296 candidates for flow covers
Elapsed time = 57.16 sec. (120094.86 ticks) for 769325 of 1290296 candidates for flow covers
Elapsed time = 61.88 sec. (130098.75 ticks) for 769873 of 1290296 candidates for flow covers
Elapsed time = 66.72 sec. (140105.35 ticks) for 770450 of 1290296 candidates for flow covers
Elapsed time = 71.50 sec. (150122.95 ticks) for 771217 of 1290296 candidates for flow covers
Elapsed time = 76.33 sec. (160123.14 ticks) for 777132 of 1290296 candidates for flow covers
Elapsed time = 79.53 sec. (170123.20 ticks) for 854751 of 1290296 candidates for flow covers
Elapsed time = 83.11 sec. (180123.21 ticks) for 1263384 of 1290296 candidates for flow covers
0 0 2474.9584 497 Impl Bds: 10000 117092
Elapsed time = 3.59 sec. (10000.05 ticks) for 661117 of 1299679 candidates for flow covers
Elapsed time = 7.48 sec. (20000.68 ticks) for 758340 of 1299679 candidates for flow covers
Elapsed time = 12.34 sec. (30016.14 ticks) for 758936 of 1299679 candidates for flow covers
Elapsed time = 17.22 sec. (40022.04 ticks) for 760099 of 1299679 candidates for flow covers
Elapsed time = 22.16 sec. (50026.77 ticks) for 761551 of 1299679 candidates for flow covers
Elapsed time = 27.06 sec. (60042.95 ticks) for 762666 of 1299679 candidates for flow covers
Elapsed time = 32.00 sec. (70045.77 ticks) for 763587 of 1299679 candidates for flow covers
Elapsed time = 37.00 sec. (80052.34 ticks) for 765003 of 1299679 candidates for flow covers
Elapsed time = 41.92 sec. (90063.05 ticks) for 765909 of 1299679 candidates for flow covers
Elapsed time = 46.78 sec. (100067.20 ticks) for 767377 of 1299679 candidates for flow covers
Elapsed time = 51.63 sec. (110067.74 ticks) for 767860 of 1299679 candidates for flow covers
Elapsed time = 56.33 sec. (120077.64 ticks) for 768584 of 1299679 candidates for flow covers
Elapsed time = 61.09 sec. (130077.83 ticks) for 769273 of 1299679 candidates for flow covers
Elapsed time = 65.86 sec. (140089.75 ticks) for 769800 of 1299679 candidates for flow covers
Elapsed time = 70.69 sec. (150093.01 ticks) for 770300 of 1299679 candidates for flow covers
Elapsed time = 75.41 sec. (160105.70 ticks) for 771078 of 1299679 candidates for flow covers
Elapsed time = 80.08 sec. (170118.88 ticks) for 771702 of 1299679 candidates for flow covers
Elapsed time = 83.81 sec. (180118.96 ticks) for 820859 of 1299679 candidates for flow covers
Elapsed time = 87.14 sec. (190118.97 ticks) for 1188362 of 1299679 candidates for flow covers
0 0 2485.6089 459 Impl Bds: 10000 123454
Elapsed time = 3.56 sec. (10000.01 ticks) for 648670 of 1309012 candidates for flow covers
Elapsed time = 7.09 sec. (20019.43 ticks) for 758229 of 1309012 candidates for flow covers
Elapsed time = 11.98 sec. (30031.63 ticks) for 758787 of 1309012 candidates for flow covers
Elapsed time = 16.81 sec. (40032.77 ticks) for 759857 of 1309012 candidates for flow covers
Elapsed time = 21.56 sec. (50040.17 ticks) for 761079 of 1309012 candidates for flow covers
Elapsed time = 26.47 sec. (60057.24 ticks) for 762212 of 1309012 candidates for flow covers
Elapsed time = 31.28 sec. (70069.93 ticks) for 763098 of 1309012 candidates for flow covers
Elapsed time = 36.14 sec. (80081.88 ticks) for 764450 of 1309012 candidates for flow covers
Elapsed time = 40.95 sec. (90092.21 ticks) for 765281 of 1309012 candidates for flow covers
Elapsed time = 45.80 sec. (100116.57 ticks) for 767050 of 1309012 candidates for flow covers
Elapsed time = 50.81 sec. (110128.27 ticks) for 767527 of 1309012 candidates for flow covers
Elapsed time = 55.53 sec. (120138.19 ticks) for 768047 of 1309012 candidates for flow covers
Elapsed time = 60.44 sec. (130155.55 ticks) for 768712 of 1309012 candidates for flow covers
Elapsed time = 65.27 sec. (140157.71 ticks) for 769345 of 1309012 candidates for flow covers
Elapsed time = 70.02 sec. (150168.63 ticks) for 769833 of 1309012 candidates for flow covers
Elapsed time = 74.83 sec. (160171.27 ticks) for 770327 of 1309012 candidates for flow covers
Elapsed time = 79.61 sec. (170185.89 ticks) for 771074 of 1309012 candidates for flow covers
Elapsed time = 84.44 sec. (180191.34 ticks) for 771653 of 1309012 candidates for flow covers
Elapsed time = 88.39 sec. (190191.36 ticks) for 807962 of 1309012 candidates for flow covers
Elapsed time = 91.59 sec. (200191.48 ticks) for 872084 of 1309012 candidates for flow covers
Elapsed time = 94.92 sec. (210191.50 ticks) for 1265302 of 1309012 candidates for flow covers
0 0 2578.1449 441 Impl Bds: 10000 131814
Elapsed time = 3.42 sec. (10000.00 ticks) for 636691 of 1318309 candidates for flow covers
Elapsed time = 6.55 sec. (20000.81 ticks) for 758140 of 1318309 candidates for flow covers
Elapsed time = 11.23 sec. (30020.06 ticks) for 758668 of 1318309 candidates for flow covers
Elapsed time = 15.91 sec. (40029.05 ticks) for 759508 of 1318309 candidates for flow covers
Elapsed time = 20.61 sec. (50035.88 ticks) for 760371 of 1318309 candidates for flow covers
Elapsed time = 25.30 sec. (60042.57 ticks) for 761756 of 1318309 candidates for flow covers
Elapsed time = 29.95 sec. (70047.47 ticks) for 762677 of 1318309 candidates for flow covers
Elapsed time = 34.55 sec. (80069.29 ticks) for 763557 of 1318309 candidates for flow covers
Elapsed time = 39.20 sec. (90073.00 ticks) for 764873 of 1318309 candidates for flow covers
Elapsed time = 43.95 sec. (100088.14 ticks) for 765778 of 1318309 candidates for flow covers
Elapsed time = 48.52 sec. (110091.48 ticks) for 767217 of 1318309 candidates for flow covers
Elapsed time = 53.13 sec. (120104.31 ticks) for 767619 of 1318309 candidates for flow covers
Elapsed time = 57.84 sec. (130111.89 ticks) for 768143 of 1318309 candidates for flow covers
Elapsed time = 62.38 sec. (140122.19 ticks) for 768746 of 1318309 candidates for flow covers
Elapsed time = 67.13 sec. (150124.57 ticks) for 769358 of 1318309 candidates for flow covers
Elapsed time = 71.64 sec. (160139.62 ticks) for 769822 of 1318309 candidates for flow covers
Elapsed time = 76.27 sec. (170141.82 ticks) for 770286 of 1318309 candidates for flow covers
Elapsed time = 80.75 sec. (180143.60 ticks) for 771026 of 1318309 candidates for flow covers
Elapsed time = 85.28 sec. (190151.20 ticks) for 771613 of 1318309 candidates for flow covers
Elapsed time = 89.25 sec. (200151.28 ticks) for 793918 of 1318309 candidates for flow covers
Elapsed time = 92.25 sec. (210151.48 ticks) for 852171 of 1318309 candidates for flow covers
Elapsed time = 95.33 sec. (220151.48 ticks) for 1229351 of 1318309 candidates for flow covers
0 0 2749.9283 470 Impl Bds: 10000 140189
Elapsed time = 3.33 sec. (10000.01 ticks) for 615025 of 1327295 candidates for flow covers
Elapsed time = 6.31 sec. (20000.14 ticks) for 729072 of 1327295 candidates for flow covers
Elapsed time = 10.64 sec. (30009.89 ticks) for 758509 of 1327295 candidates for flow covers
Elapsed time = 15.27 sec. (40014.25 ticks) for 758964 of 1327295 candidates for flow covers
Elapsed time = 19.94 sec. (50037.37 ticks) for 760005 of 1327295 candidates for flow covers
Elapsed time = 24.58 sec. (60060.63 ticks) for 761181 of 1327295 candidates for flow covers
Elapsed time = 29.30 sec. (70073.66 ticks) for 762204 of 1327295 candidates for flow covers
Elapsed time = 33.94 sec. (80075.84 ticks) for 762941 of 1327295 candidates for flow covers
Elapsed time = 38.53 sec. (90083.09 ticks) for 764156 of 1327295 candidates for flow covers
Elapsed time = 43.25 sec. (100097.84 ticks) for 765178 of 1327295 candidates for flow covers
Elapsed time = 48.02 sec. (110098.61 ticks) for 766053 of 1327295 candidates for flow covers
Elapsed time = 52.70 sec. (120115.60 ticks) for 767323 of 1327295 candidates for flow covers
Elapsed time = 57.27 sec. (130121.35 ticks) for 767693 of 1327295 candidates for flow covers
Elapsed time = 61.78 sec. (140129.92 ticks) for 768279 of 1327295 candidates for flow covers
Elapsed time = 66.28 sec. (150143.29 ticks) for 768802 of 1327295 candidates for flow covers
Elapsed time = 70.72 sec. (160163.16 ticks) for 769368 of 1327295 candidates for flow covers
Elapsed time = 75.16 sec. (170169.82 ticks) for 769814 of 1327295 candidates for flow covers
Elapsed time = 79.75 sec. (180171.72 ticks) for 770241 of 1327295 candidates for flow covers
Elapsed time = 84.27 sec. (190178.38 ticks) for 770964 of 1327295 candidates for flow covers
Elapsed time = 88.80 sec. (200179.51 ticks) for 771547 of 1327295 candidates for flow covers
Elapsed time = 92.98 sec. (210179.71 ticks) for 783695 of 1327295 candidates for flow covers
Elapsed time = 95.94 sec. (220179.93 ticks) for 833358 of 1327295 candidates for flow covers
Elapsed time = 98.92 sec. (230179.95 ticks) for 1186593 of 1327295 candidates for flow covers
Elapsed time = 102.06 sec. (240180.00 ticks) for 1284469 of 1327295 candidates for flow covers
0 0 3045.8806 451 Impl Bds: 10000 148465
Elapsed time = 3.39 sec. (10000.07 ticks) for 604551 of 1336003 candidates for flow covers
Elapsed time = 6.39 sec. (20000.23 ticks) for 704678 of 1336003 candidates for flow covers
Elapsed time = 10.33 sec. (30004.19 ticks) for 758408 of 1336003 candidates for flow covers
Elapsed time = 14.83 sec. (40004.56 ticks) for 758871 of 1336003 candidates for flow covers
Elapsed time = 19.45 sec. (50010.97 ticks) for 759792 of 1336003 candidates for flow covers
Elapsed time = 24.03 sec. (60027.85 ticks) for 760769 of 1336003 candidates for flow covers
Elapsed time = 28.63 sec. (70030.43 ticks) for 761877 of 1336003 candidates for flow covers
Elapsed time = 33.44 sec. (80035.31 ticks) for 762690 of 1336003 candidates for flow covers
Elapsed time = 37.99 sec. (90055.60 ticks) for 763442 of 1336003 candidates for flow covers
Elapsed time = 42.56 sec. (100067.93 ticks) for 764694 of 1336003 candidates for flow covers
Elapsed time = 47.13 sec. (110075.48 ticks) for 765372 of 1336003 candidates for flow covers
Elapsed time = 51.83 sec. (120082.38 ticks) for 767021 of 1336003 candidates for flow covers
Elapsed time = 56.31 sec. (130088.03 ticks) for 767425 of 1336003 candidates for flow covers
Elapsed time = 60.75 sec. (140092.88 ticks) for 767787 of 1336003 candidates for flow covers
Elapsed time = 65.30 sec. (150097.07 ticks) for 768373 of 1336003 candidates for flow covers
Elapsed time = 69.92 sec. (160107.48 ticks) for 768925 of 1336003 candidates for flow covers
Elapsed time = 74.33 sec. (170122.95 ticks) for 769421 of 1336003 candidates for flow covers
Elapsed time = 78.81 sec. (180147.97 ticks) for 769833 of 1336003 candidates for flow covers
Elapsed time = 83.33 sec. (190153.03 ticks) for 770231 of 1336003 candidates for flow covers
Elapsed time = 87.84 sec. (200163.13 ticks) for 770854 of 1336003 candidates for flow covers
Elapsed time = 92.31 sec. (210174.87 ticks) for 771383 of 1336003 candidates for flow covers
Elapsed time = 96.80 sec. (220178.80 ticks) for 772030 of 1336003 candidates for flow covers
Elapsed time = 99.83 sec. (230178.93 ticks) for 819366 of 1336003 candidates for flow covers
Elapsed time = 102.78 sec. (240178.94 ticks) for 865675 of 1336003 candidates for flow covers
Elapsed time = 105.81 sec. (250178.94 ticks) for 1235694 of 1336003 candidates for flow covers
Elapsed time = 108.95 sec. (260178.98 ticks) for 1330715 of 1336003 candidates for flow covers
0 0 3276.7130 452 Cuts: 7484 156232
Elapsed time = 3.34 sec. (10000.07 ticks) for 601800 of 1340903 candidates for flow covers
Elapsed time = 6.36 sec. (20000.08 ticks) for 702781 of 1340903 candidates for flow covers
Elapsed time = 10.22 sec. (30008.37 ticks) for 758385 of 1340903 candidates for flow covers
Elapsed time = 14.75 sec. (40029.10 ticks) for 758810 of 1340903 candidates for flow covers
Elapsed time = 19.38 sec. (50039.77 ticks) for 759779 of 1340903 candidates for flow covers
Elapsed time = 23.92 sec. (60055.54 ticks) for 760759 of 1340903 candidates for flow covers
Elapsed time = 28.55 sec. (70057.60 ticks) for 761865 of 1340903 candidates for flow covers
Elapsed time = 33.16 sec. (80067.28 ticks) for 762673 of 1340903 candidates for flow covers
Elapsed time = 37.75 sec. (90067.94 ticks) for 763421 of 1340903 candidates for flow covers
Elapsed time = 42.38 sec. (100074.69 ticks) for 764575 of 1340903 candidates for flow covers
Elapsed time = 46.92 sec. (110082.63 ticks) for 765258 of 1340903 candidates for flow covers
Elapsed time = 51.72 sec. (120082.69 ticks) for 766334 of 1340903 candidates for flow covers
Elapsed time = 56.25 sec. (130088.87 ticks) for 767366 of 1340903 candidates for flow covers
Elapsed time = 60.69 sec. (140102.53 ticks) for 767738 of 1340903 candidates for flow covers
Elapsed time = 65.27 sec. (150103.28 ticks) for 768319 of 1340903 candidates for flow covers
Elapsed time = 69.70 sec. (160104.27 ticks) for 768827 of 1340903 candidates for flow covers
Elapsed time = 74.20 sec. (170109.79 ticks) for 769352 of 1340903 candidates for flow covers
Elapsed time = 78.63 sec. (180128.38 ticks) for 769772 of 1340903 candidates for flow covers
Elapsed time = 83.14 sec. (190150.07 ticks) for 770158 of 1340903 candidates for flow covers
Elapsed time = 87.67 sec. (200167.34 ticks) for 770712 of 1340903 candidates for flow covers
Elapsed time = 92.13 sec. (210180.02 ticks) for 771243 of 1340903 candidates for flow covers
Elapsed time = 96.69 sec. (220180.35 ticks) for 771781 of 1340903 candidates for flow covers
Elapsed time = 100.09 sec. (230180.65 ticks) for 804804 of 1340903 candidates for flow covers
Elapsed time = 102.97 sec. (240180.93 ticks) for 847637 of 1340903 candidates for flow covers
Elapsed time = 105.97 sec. (250181.08 ticks) for 1203022 of 1340903 candidates for flow covers
Elapsed time = 109.14 sec. (260181.08 ticks) for 1295984 of 1340903 candidates for flow covers
0 0 3497.1938 527 Cuts: 5389 164084
Elapsed time = 3.28 sec. (10000.07 ticks) for 603142 of 1342167 candidates for flow covers
Elapsed time = 6.25 sec. (20000.08 ticks) for 704719 of 1342167 candidates for flow covers
Elapsed time = 10.25 sec. (30016.84 ticks) for 758408 of 1342167 candidates for flow covers
Elapsed time = 14.83 sec. (40036.06 ticks) for 758874 of 1342167 candidates for flow covers
Elapsed time = 19.41 sec. (50040.81 ticks) for 759800 of 1342167 candidates for flow covers
Elapsed time = 24.16 sec. (60050.39 ticks) for 760771 of 1342167 candidates for flow covers
Elapsed time = 28.67 sec. (70064.28 ticks) for 761878 of 1342167 candidates for flow covers
Elapsed time = 33.22 sec. (80071.93 ticks) for 762685 of 1342167 candidates for flow covers
Elapsed time = 37.80 sec. (90074.22 ticks) for 763434 of 1342167 candidates for flow covers
Elapsed time = 42.31 sec. (100078.80 ticks) for 764625 of 1342167 candidates for flow covers
Elapsed time = 46.84 sec. (110091.09 ticks) for 765302 of 1342167 candidates for flow covers
Elapsed time = 51.48 sec. (120098.57 ticks) for 767003 of 1342167 candidates for flow covers
Elapsed time = 55.98 sec. (130100.00 ticks) for 767411 of 1342167 candidates for flow covers
Elapsed time = 60.44 sec. (140122.85 ticks) for 767778 of 1342167 candidates for flow covers
Elapsed time = 64.84 sec. (150122.87 ticks) for 768361 of 1342167 candidates for flow covers
Elapsed time = 69.36 sec. (160138.77 ticks) for 768905 of 1342167 candidates for flow covers
Elapsed time = 73.84 sec. (170157.31 ticks) for 769406 of 1342167 candidates for flow covers
Elapsed time = 78.36 sec. (180185.83 ticks) for 769816 of 1342167 candidates for flow covers
Elapsed time = 83.03 sec. (190199.85 ticks) for 770210 of 1342167 candidates for flow covers
Elapsed time = 87.55 sec. (200212.30 ticks) for 770787 of 1342167 candidates for flow covers
Elapsed time = 91.95 sec. (210216.95 ticks) for 771316 of 1342167 candidates for flow covers
Elapsed time = 96.39 sec. (220226.59 ticks) for 771901 of 1342167 candidates for flow covers
Elapsed time = 99.42 sec. (230226.80 ticks) for 816175 of 1342167 candidates for flow covers
Elapsed time = 102.36 sec. (240226.81 ticks) for 861083 of 1342167 candidates for flow covers
Elapsed time = 105.39 sec. (250226.83 ticks) for 1228231 of 1342167 candidates for flow covers
Elapsed time = 108.47 sec. (260226.85 ticks) for 1323069 of 1342167 candidates for flow covers
0 0 3890.2471 550 Cuts: 6325 175539
Elapsed time = 3.25 sec. (10000.06 ticks) for 605030 of 1342638 candidates for flow covers
Elapsed time = 6.16 sec. (20000.15 ticks) for 708916 of 1342638 candidates for flow covers
Elapsed time = 10.17 sec. (30003.18 ticks) for 758435 of 1342638 candidates for flow covers
Elapsed time = 14.83 sec. (40029.68 ticks) for 758901 of 1342638 candidates for flow covers
Elapsed time = 19.38 sec. (50041.85 ticks) for 759869 of 1342638 candidates for flow covers
Elapsed time = 23.92 sec. (60054.47 ticks) for 760934 of 1342638 candidates for flow covers
Elapsed time = 28.52 sec. (70071.02 ticks) for 762004 of 1342638 candidates for flow covers
Elapsed time = 33.02 sec. (80094.90 ticks) for 762734 of 1342638 candidates for flow covers
Elapsed time = 37.73 sec. (90104.92 ticks) for 763568 of 1342638 candidates for flow covers
Elapsed time = 42.31 sec. (100110.90 ticks) for 764765 of 1342638 candidates for flow covers
Elapsed time = 46.97 sec. (110122.93 ticks) for 765517 of 1342638 candidates for flow covers
Elapsed time = 51.52 sec. (120129.36 ticks) for 767077 of 1342638 candidates for flow covers
Elapsed time = 56.03 sec. (130157.54 ticks) for 767495 of 1342638 candidates for flow covers
Elapsed time = 60.61 sec. (140160.83 ticks) for 767909 of 1342638 candidates for flow covers
Elapsed time = 65.08 sec. (150168.09 ticks) for 768469 of 1342638 candidates for flow covers
Elapsed time = 69.48 sec. (160181.43 ticks) for 769037 of 1342638 candidates for flow covers
Elapsed time = 74.05 sec. (170189.08 ticks) for 769513 of 1342638 candidates for flow covers
Elapsed time = 78.58 sec. (180204.93 ticks) for 769912 of 1342638 candidates for flow covers
Elapsed time = 82.98 sec. (190215.80 ticks) for 770371 of 1342638 candidates for flow covers
Elapsed time = 87.39 sec. (200229.69 ticks) for 771000 of 1342638 candidates for flow covers
Elapsed time = 91.91 sec. (210231.28 ticks) for 771520 of 1342638 candidates for flow covers
Elapsed time = 95.98 sec. (220231.36 ticks) for 783462 of 1342638 candidates for flow covers
Elapsed time = 98.92 sec. (230231.39 ticks) for 830920 of 1342638 candidates for flow covers
Elapsed time = 101.80 sec. (240231.39 ticks) for 878706 of 1342638 candidates for flow covers
Elapsed time = 104.86 sec. (250231.48 ticks) for 1262829 of 1342638 candidates for flow covers
0 0 4105.6691 552 Cuts: 8423 186218
Elapsed time = 3.31 sec. (10000.01 ticks) for 603143 of 1345704 candidates for flow covers
Elapsed time = 6.27 sec. (20000.05 ticks) for 705331 of 1345704 candidates for flow covers
Elapsed time = 10.27 sec. (30010.10 ticks) for 758407 of 1345704 candidates for flow covers
Elapsed time = 14.80 sec. (40038.17 ticks) for 758873 of 1345704 candidates for flow covers
Elapsed time = 19.55 sec. (50046.98 ticks) for 759813 of 1345704 candidates for flow covers
Elapsed time = 24.13 sec. (60056.34 ticks) for 760792 of 1345704 candidates for flow covers
Elapsed time = 28.84 sec. (70059.73 ticks) for 761965 of 1345704 candidates for flow covers
Elapsed time = 33.39 sec. (80078.54 ticks) for 762700 of 1345704 candidates for flow covers
Elapsed time = 37.99 sec. (90085.24 ticks) for 763540 of 1345704 candidates for flow covers
Elapsed time = 42.59 sec. (100096.44 ticks) for 764704 of 1345704 candidates for flow covers
Elapsed time = 47.30 sec. (110104.66 ticks) for 765374 of 1345704 candidates for flow covers
Elapsed time = 51.94 sec. (120119.18 ticks) for 767030 of 1345704 candidates for flow covers
Elapsed time = 56.53 sec. (130137.54 ticks) for 767433 of 1345704 candidates for flow covers
Elapsed time = 61.22 sec. (140149.10 ticks) for 767797 of 1345704 candidates for flow covers
Elapsed time = 65.86 sec. (150151.31 ticks) for 768388 of 1345704 candidates for flow covers
Elapsed time = 70.39 sec. (160157.62 ticks) for 768964 of 1345704 candidates for flow covers
Elapsed time = 75.03 sec. (170182.69 ticks) for 769440 of 1345704 candidates for flow covers
Elapsed time = 79.61 sec. (180200.54 ticks) for 769850 of 1345704 candidates for flow covers
Elapsed time = 84.36 sec. (190206.81 ticks) for 770252 of 1345704 candidates for flow covers
Elapsed time = 89.02 sec. (200213.56 ticks) for 770858 of 1345704 candidates for flow covers
Elapsed time = 93.55 sec. (210221.74 ticks) for 771375 of 1345704 candidates for flow covers
Elapsed time = 98.05 sec. (220221.79 ticks) for 772459 of 1345704 candidates for flow covers
Elapsed time = 100.92 sec. (230221.90 ticks) for 820897 of 1345704 candidates for flow covers
Elapsed time = 103.80 sec. (240221.92 ticks) for 865935 of 1345704 candidates for flow covers
Elapsed time = 106.97 sec. (250221.96 ticks) for 1239247 of 1345704 candidates for flow covers
Elapsed time = 110.09 sec. (260222.05 ticks) for 1335616 of 1345704 candidates for flow covers
0 0 4330.1348 602 Cuts: 8324 197244
Elapsed time = 3.34 sec. (10000.02 ticks) for 605487 of 1347666 candidates for flow covers
Elapsed time = 6.42 sec. (20000.04 ticks) for 709124 of 1347666 candidates for flow covers
Elapsed time = 10.45 sec. (30012.76 ticks) for 758426 of 1347666 candidates for flow covers
Elapsed time = 15.22 sec. (40037.51 ticks) for 758899 of 1347666 candidates for flow covers
Elapsed time = 19.91 sec. (50057.14 ticks) for 759863 of 1347666 candidates for flow covers
Elapsed time = 24.58 sec. (60063.19 ticks) for 760828 of 1347666 candidates for flow covers
Elapsed time = 29.28 sec. (70080.08 ticks) for 761996 of 1347666 candidates for flow covers
Elapsed time = 34.16 sec. (80089.47 ticks) for 762735 of 1347666 candidates for flow covers
Elapsed time = 38.97 sec. (90100.81 ticks) for 763570 of 1347666 candidates for flow covers
Elapsed time = 43.70 sec. (100105.82 ticks) for 764771 of 1347666 candidates for flow covers
Elapsed time = 48.36 sec. (110113.18 ticks) for 765515 of 1347666 candidates for flow covers
Elapsed time = 53.11 sec. (120128.52 ticks) for 767061 of 1347666 candidates for flow covers
Elapsed time = 57.83 sec. (130139.36 ticks) for 767483 of 1347666 candidates for flow covers
Elapsed time = 62.53 sec. (140144.61 ticks) for 767879 of 1347666 candidates for flow covers
Elapsed time = 67.08 sec. (150154.27 ticks) for 768433 of 1347666 candidates for flow covers
Elapsed time = 71.77 sec. (160176.51 ticks) for 769015 of 1347666 candidates for flow covers
Elapsed time = 76.31 sec. (170184.77 ticks) for 769503 of 1347666 candidates for flow covers
Elapsed time = 81.19 sec. (180209.05 ticks) for 769907 of 1347666 candidates for flow covers
Elapsed time = 85.80 sec. (190215.22 ticks) for 770361 of 1347666 candidates for flow covers
Elapsed time = 90.42 sec. (200223.43 ticks) for 770987 of 1347666 candidates for flow covers
Elapsed time = 94.98 sec. (210225.79 ticks) for 771500 of 1347666 candidates for flow covers
Elapsed time = 99.48 sec. (220225.89 ticks) for 781126 of 1347666 candidates for flow covers
Elapsed time = 102.61 sec. (230226.09 ticks) for 828595 of 1347666 candidates for flow covers
Elapsed time = 105.70 sec. (240226.34 ticks) for 875371 of 1347666 candidates for flow covers
Elapsed time = 108.95 sec. (250226.34 ticks) for 1257350 of 1347666 candidates for flow covers
0 0 4644.4599 596 Impl Bds: 9133 210553
Elapsed time = 3.36 sec. (10000.03 ticks) for 606569 of 1348999 candidates for flow covers
Elapsed time = 6.41 sec. (20000.09 ticks) for 712688 of 1348999 candidates for flow covers
Elapsed time = 10.56 sec. (30000.26 ticks) for 758438 of 1348999 candidates for flow covers
Elapsed time = 15.34 sec. (40008.52 ticks) for 758906 of 1348999 candidates for flow covers
Elapsed time = 20.06 sec. (50009.94 ticks) for 759874 of 1348999 candidates for flow covers
Elapsed time = 24.80 sec. (60012.27 ticks) for 760978 of 1348999 candidates for flow covers
Elapsed time = 29.44 sec. (70034.69 ticks) for 762060 of 1348999 candidates for flow covers
Elapsed time = 34.05 sec. (80046.60 ticks) for 762760 of 1348999 candidates for flow covers
Elapsed time = 38.61 sec. (90052.40 ticks) for 763736 of 1348999 candidates for flow covers
Elapsed time = 43.20 sec. (100060.75 ticks) for 764966 of 1348999 candidates for flow covers
Elapsed time = 47.83 sec. (110076.79 ticks) for 765717 of 1348999 candidates for flow covers
Elapsed time = 52.47 sec. (120094.80 ticks) for 767138 of 1348999 candidates for flow covers
Elapsed time = 56.97 sec. (130122.27 ticks) for 767546 of 1348999 candidates for flow covers
Elapsed time = 61.52 sec. (140133.01 ticks) for 767995 of 1348999 candidates for flow covers
Elapsed time = 66.05 sec. (150136.81 ticks) for 768572 of 1348999 candidates for flow covers
Elapsed time = 70.58 sec. (160138.25 ticks) for 769120 of 1348999 candidates for flow covers
Elapsed time = 75.17 sec. (170148.05 ticks) for 769605 of 1348999 candidates for flow covers
Elapsed time = 79.73 sec. (180157.55 ticks) for 769999 of 1348999 candidates for flow covers
Elapsed time = 84.16 sec. (190167.11 ticks) for 770525 of 1348999 candidates for flow covers
Elapsed time = 88.61 sec. (200184.79 ticks) for 771155 of 1348999 candidates for flow covers
Elapsed time = 93.14 sec. (210190.77 ticks) for 771667 of 1348999 candidates for flow covers
Elapsed time = 96.80 sec. (220190.89 ticks) for 794617 of 1348999 candidates for flow covers
Elapsed time = 99.72 sec. (230190.96 ticks) for 842063 of 1348999 candidates for flow covers
Elapsed time = 102.73 sec. (240190.98 ticks) for 1196504 of 1348999 candidates for flow covers
Elapsed time = 105.84 sec. (250190.99 ticks) for 1294461 of 1348999 candidates for flow covers
0 0 4925.0722 597 Impl Bds: 10000 223246
Elapsed time = 3.50 sec. (10000.03 ticks) for 604966 of 1353259 candidates for flow covers
Elapsed time = 6.53 sec. (20000.06 ticks) for 708227 of 1353259 candidates for flow covers
Elapsed time = 10.59 sec. (30024.71 ticks) for 758422 of 1353259 candidates for flow covers
Elapsed time = 15.39 sec. (40024.96 ticks) for 758884 of 1353259 candidates for flow covers
Elapsed time = 20.14 sec. (50035.61 ticks) for 759821 of 1353259 candidates for flow covers
Elapsed time = 24.84 sec. (60036.63 ticks) for 760796 of 1353259 candidates for flow covers
Elapsed time = 29.61 sec. (70037.04 ticks) for 761971 of 1353259 candidates for flow covers
Elapsed time = 34.44 sec. (80054.51 ticks) for 762711 of 1353259 candidates for flow covers
Elapsed time = 39.16 sec. (90077.72 ticks) for 763556 of 1353259 candidates for flow covers
Elapsed time = 43.88 sec. (100084.06 ticks) for 764736 of 1353259 candidates for flow covers
Elapsed time = 48.70 sec. (110100.86 ticks) for 765488 of 1353259 candidates for flow covers
Elapsed time = 53.63 sec. (120116.75 ticks) for 767051 of 1353259 candidates for flow covers
Elapsed time = 58.16 sec. (130118.94 ticks) for 767460 of 1353259 candidates for flow covers
Elapsed time = 62.78 sec. (140141.28 ticks) for 767825 of 1353259 candidates for flow covers
Elapsed time = 67.44 sec. (150160.11 ticks) for 768410 of 1353259 candidates for flow covers
Elapsed time = 71.98 sec. (160181.57 ticks) for 768983 of 1353259 candidates for flow covers
Elapsed time = 76.55 sec. (170188.57 ticks) for 769468 of 1353259 candidates for flow covers
Elapsed time = 81.09 sec. (180208.28 ticks) for 769875 of 1353259 candidates for flow covers
Elapsed time = 85.78 sec. (190220.97 ticks) for 770310 of 1353259 candidates for flow covers
Elapsed time = 90.44 sec. (200224.69 ticks) for 770941 of 1353259 candidates for flow covers
Elapsed time = 95.05 sec. (210228.91 ticks) for 771454 of 1353259 candidates for flow covers
Elapsed time = 99.50 sec. (220229.13 ticks) for 779038 of 1353259 candidates for flow covers
Elapsed time = 102.50 sec. (230229.37 ticks) for 825790 of 1353259 candidates for flow covers
Elapsed time = 105.48 sec. (240229.48 ticks) for 872598 of 1353259 candidates for flow covers
Elapsed time = 108.70 sec. (250229.49 ticks) for 1252585 of 1353259 candidates for flow covers
Elapsed time = 112.00 sec. (260229.50 ticks) for 1347981 of 1353259 candidates for flow covers
0 0 5392.2324 588 Cuts: 8557 234822
Elapsed time = 3.48 sec. (10000.11 ticks) for 603558 of 1356214 candidates for flow covers
Elapsed time = 6.45 sec. (20000.24 ticks) for 705607 of 1356214 candidates for flow covers
Elapsed time = 10.63 sec. (30021.74 ticks) for 758412 of 1356214 candidates for flow covers
Elapsed time = 15.52 sec. (40038.20 ticks) for 758877 of 1356214 candidates for flow covers
Elapsed time = 20.25 sec. (50049.57 ticks) for 759812 of 1356214 candidates for flow covers
Elapsed time = 25.05 sec. (60056.54 ticks) for 760799 of 1356214 candidates for flow covers
Elapsed time = 29.89 sec. (70058.87 ticks) for 761976 of 1356214 candidates for flow covers
Elapsed time = 34.66 sec. (80076.30 ticks) for 762712 of 1356214 candidates for flow covers
Elapsed time = 39.44 sec. (90082.32 ticks) for 763550 of 1356214 candidates for flow covers
Elapsed time = 44.13 sec. (100088.12 ticks) for 764717 of 1356214 candidates for flow covers
Elapsed time = 48.86 sec. (110089.04 ticks) for 765485 of 1356214 candidates for flow covers
Elapsed time = 53.64 sec. (120104.69 ticks) for 767043 of 1356214 candidates for flow covers
Elapsed time = 58.22 sec. (130111.97 ticks) for 767451 of 1356214 candidates for flow covers
Elapsed time = 62.80 sec. (140134.12 ticks) for 767816 of 1356214 candidates for flow covers
Elapsed time = 67.56 sec. (150155.81 ticks) for 768411 of 1356214 candidates for flow covers
Elapsed time = 72.20 sec. (160164.44 ticks) for 768987 of 1356214 candidates for flow covers
Elapsed time = 77.05 sec. (170172.48 ticks) for 769474 of 1356214 candidates for flow covers
Elapsed time = 81.72 sec. (180195.03 ticks) for 769873 of 1356214 candidates for flow covers
Elapsed time = 86.36 sec. (190202.26 ticks) for 770299 of 1356214 candidates for flow covers
Elapsed time = 91.00 sec. (200207.26 ticks) for 770917 of 1356214 candidates for flow covers
Elapsed time = 95.66 sec. (210209.68 ticks) for 771454 of 1356214 candidates for flow covers
Elapsed time = 100.16 sec. (220209.79 ticks) for 778054 of 1356214 candidates for flow covers
Elapsed time = 103.13 sec. (230209.98 ticks) for 825410 of 1356214 candidates for flow covers
Elapsed time = 106.19 sec. (240209.98 ticks) for 871382 of 1356214 candidates for flow covers
Elapsed time = 109.34 sec. (250210.02 ticks) for 1248746 of 1356214 candidates for flow covers
Elapsed time = 112.61 sec. (260210.09 ticks) for 1345006 of 1356214 candidates for flow covers
0 0 5991.0200 600 Cuts: 8098 248418
Elapsed time = 3.36 sec. (10000.08 ticks) for 605757 of 1356632 candidates for flow covers
Elapsed time = 6.38 sec. (20000.23 ticks) for 710419 of 1356632 candidates for flow covers
Elapsed time = 10.53 sec. (30002.32 ticks) for 758433 of 1356632 candidates for flow covers
Elapsed time = 15.22 sec. (40009.82 ticks) for 758897 of 1356632 candidates for flow covers
Elapsed time = 19.81 sec. (50021.85 ticks) for 759860 of 1356632 candidates for flow covers
Elapsed time = 24.81 sec. (60022.36 ticks) for 760852 of 1356632 candidates for flow covers
Elapsed time = 29.73 sec. (70024.49 ticks) for 762005 of 1356632 candidates for flow covers
Elapsed time = 34.56 sec. (80035.73 ticks) for 762742 of 1356632 candidates for flow covers
Elapsed time = 39.48 sec. (90050.36 ticks) for 763585 of 1356632 candidates for flow covers
Elapsed time = 44.19 sec. (100051.22 ticks) for 764808 of 1356632 candidates for flow covers
Elapsed time = 48.84 sec. (110067.06 ticks) for 765546 of 1356632 candidates for flow covers
Elapsed time = 53.64 sec. (120089.23 ticks) for 767093 of 1356632 candidates for flow covers
Elapsed time = 58.33 sec. (130114.75 ticks) for 767506 of 1356632 candidates for flow covers
Elapsed time = 62.92 sec. (140127.56 ticks) for 767920 of 1356632 candidates for flow covers
Elapsed time = 67.59 sec. (150136.09 ticks) for 768482 of 1356632 candidates for flow covers
Elapsed time = 72.17 sec. (160143.00 ticks) for 769050 of 1356632 candidates for flow covers
Elapsed time = 76.97 sec. (170149.44 ticks) for 769528 of 1356632 candidates for flow covers
Elapsed time = 81.69 sec. (180170.78 ticks) for 769935 of 1356632 candidates for flow covers
Elapsed time = 86.48 sec. (190176.30 ticks) for 770418 of 1356632 candidates for flow covers
Elapsed time = 91.20 sec. (200176.41 ticks) for 771059 of 1356632 candidates for flow covers
Elapsed time = 95.94 sec. (210184.89 ticks) for 771567 of 1356632 candidates for flow covers
Elapsed time = 100.06 sec. (220185.25 ticks) for 785961 of 1356632 candidates for flow covers
Elapsed time = 103.03 sec. (230185.35 ticks) for 834017 of 1356632 candidates for flow covers
Elapsed time = 106.03 sec. (240185.40 ticks) for 892832 of 1356632 candidates for flow covers
Elapsed time = 109.30 sec. (250185.43 ticks) for 1275371 of 1356632 candidates for flow covers
* 0+ 0 3.15179e+31 5991.0200 100.00%
0 0 6650.9864 571 3.15179e+31 Impl Bds: 9991 262503 100.00%
Elapsed time = 3.44 sec. (10000.02 ticks) for 605211 of 1360744 candidates for flow covers
Elapsed time = 6.41 sec. (20000.03 ticks) for 708293 of 1360744 candidates for flow covers
Elapsed time = 10.70 sec. (30006.90 ticks) for 758420 of 1360744 candidates for flow covers
Elapsed time = 15.48 sec. (40017.76 ticks) for 758884 of 1360744 candidates for flow covers
Elapsed time = 20.06 sec. (50020.58 ticks) for 759819 of 1360744 candidates for flow covers
Elapsed time = 24.69 sec. (60026.06 ticks) for 760807 of 1360744 candidates for flow covers
Elapsed time = 29.42 sec. (70038.79 ticks) for 761977 of 1360744 candidates for flow covers
Elapsed time = 34.27 sec. (80060.01 ticks) for 762714 of 1360744 candidates for flow covers
Elapsed time = 38.97 sec. (90060.60 ticks) for 763549 of 1360744 candidates for flow covers
Elapsed time = 43.73 sec. (100065.17 ticks) for 764730 of 1360744 candidates for flow covers
Elapsed time = 48.42 sec. (110068.12 ticks) for 765409 of 1360744 candidates for flow covers
Elapsed time = 53.08 sec. (120071.96 ticks) for 767038 of 1360744 candidates for flow covers
Elapsed time = 57.61 sec. (130093.53 ticks) for 767451 of 1360744 candidates for flow covers
Elapsed time = 62.27 sec. (140113.53 ticks) for 767813 of 1360744 candidates for flow covers
Elapsed time = 66.80 sec. (150114.38 ticks) for 768400 of 1360744 candidates for flow covers
Elapsed time = 71.28 sec. (160139.58 ticks) for 768980 of 1360744 candidates for flow covers
Elapsed time = 75.92 sec. (170150.17 ticks) for 769461 of 1360744 candidates for flow covers
Elapsed time = 80.47 sec. (180171.02 ticks) for 769867 of 1360744 candidates for flow covers
Elapsed time = 85.06 sec. (190177.19 ticks) for 770298 of 1360744 candidates for flow covers
Elapsed time = 89.64 sec. (200178.48 ticks) for 770910 of 1360744 candidates for flow covers
Elapsed time = 94.20 sec. (210187.83 ticks) for 771409 of 1360744 candidates for flow covers
Elapsed time = 98.88 sec. (220187.84 ticks) for 776592 of 1360744 candidates for flow covers
Elapsed time = 101.84 sec. (230188.05 ticks) for 823766 of 1360744 candidates for flow covers
Elapsed time = 104.84 sec. (240188.17 ticks) for 868534 of 1360744 candidates for flow covers
Elapsed time = 108.03 sec. (250188.25 ticks) for 1245859 of 1360744 candidates for flow covers
Elapsed time = 111.30 sec. (260188.27 ticks) for 1342049 of 1360744 candidates for flow covers
0 0 8329.0091 600 3.15179e+31 Cuts: 8473 276685 100.00%
Elapsed time = 3.36 sec. (10000.15 ticks) for 604866 of 1363848 candidates for flow covers
Elapsed time = 6.31 sec. (20000.20 ticks) for 706744 of 1363848 candidates for flow covers
Elapsed time = 10.31 sec. (30014.25 ticks) for 758415 of 1363848 candidates for flow covers
Elapsed time = 15.11 sec. (40038.15 ticks) for 758881 of 1363848 candidates for flow covers
Elapsed time = 19.83 sec. (50043.01 ticks) for 759813 of 1363848 candidates for flow covers
Elapsed time = 24.59 sec. (60051.87 ticks) for 760793 of 1363848 candidates for flow covers
Elapsed time = 29.44 sec. (70064.49 ticks) for 761967 of 1363848 candidates for flow covers
Elapsed time = 34.22 sec. (80084.97 ticks) for 762708 of 1363848 candidates for flow covers
Elapsed time = 38.58 sec. (90086.73 ticks) for 763539 of 1363848 candidates for flow covers
Elapsed time = 42.97 sec. (100095.13 ticks) for 764723 of 1363848 candidates for flow covers
Elapsed time = 47.34 sec. (110095.54 ticks) for 765414 of 1363848 candidates for flow covers
Elapsed time = 51.81 sec. (120111.29 ticks) for 767039 of 1363848 candidates for flow covers
Elapsed time = 56.08 sec. (130129.22 ticks) for 767451 of 1363848 candidates for flow covers
Elapsed time = 60.48 sec. (140133.40 ticks) for 767812 of 1363848 candidates for flow covers
Elapsed time = 65.20 sec. (150150.61 ticks) for 768397 of 1363848 candidates for flow covers
Elapsed time = 69.75 sec. (160153.09 ticks) for 768971 of 1363848 candidates for flow covers
Elapsed time = 74.31 sec. (170173.54 ticks) for 769452 of 1363848 candidates for flow covers
Elapsed time = 78.84 sec. (180198.81 ticks) for 769861 of 1363848 candidates for flow covers
Elapsed time = 83.39 sec. (190206.30 ticks) for 770281 of 1363848 candidates for flow covers
Elapsed time = 87.81 sec. (200210.18 ticks) for 770905 of 1363848 candidates for flow covers
Elapsed time = 92.06 sec. (210219.87 ticks) for 771415 of 1363848 candidates for flow covers
Elapsed time = 96.31 sec. (220220.02 ticks) for 776687 of 1363848 candidates for flow covers
Elapsed time = 99.13 sec. (230220.07 ticks) for 823197 of 1363848 candidates for flow covers
Elapsed time = 102.09 sec. (240220.14 ticks) for 868354 of 1363848 candidates for flow covers
Elapsed time = 105.36 sec. (250220.20 ticks) for 1245078 of 1363848 candidates for flow covers
Elapsed time = 108.47 sec. (260220.31 ticks) for 1340846 of 1363848 candidates for flow covers
0 0 7.14336e+08 602 3.15179e+31 Cuts: 7567 290469 100.00%
Elapsed time = 3.13 sec. (10000.11 ticks) for 604836 of 1365827 candidates for flow covers
Elapsed time = 5.92 sec. (20000.11 ticks) for 707044 of 1365827 candidates for flow covers
Elapsed time = 9.69 sec. (30024.80 ticks) for 758423 of 1365827 candidates for flow covers
Elapsed time = 14.03 sec. (40049.45 ticks) for 758885 of 1365827 candidates for flow covers
Elapsed time = 18.56 sec. (50063.09 ticks) for 759841 of 1365827 candidates for flow covers
Elapsed time = 22.95 sec. (60072.95 ticks) for 760807 of 1365827 candidates for flow covers
Elapsed time = 27.33 sec. (70091.96 ticks) for 761974 of 1365827 candidates for flow covers
Elapsed time = 31.89 sec. (80100.55 ticks) for 762709 of 1365827 candidates for flow covers
Elapsed time = 36.78 sec. (90120.96 ticks) for 763544 of 1365827 candidates for flow covers
Elapsed time = 41.63 sec. (100121.35 ticks) for 764715 of 1365827 candidates for flow covers
Elapsed time = 46.53 sec. (110129.80 ticks) for 765487 of 1365827 candidates for flow covers
Elapsed time = 51.42 sec. (120139.97 ticks) for 767054 of 1365827 candidates for flow covers
Elapsed time = 55.72 sec. (130150.12 ticks) for 767466 of 1365827 candidates for flow covers
Elapsed time = 59.98 sec. (140154.60 ticks) for 767830 of 1365827 candidates for flow covers
Elapsed time = 64.34 sec. (150170.73 ticks) for 768418 of 1365827 candidates for flow covers
Elapsed time = 68.61 sec. (160197.36 ticks) for 768990 of 1365827 candidates for flow covers
Elapsed time = 72.81 sec. (170211.89 ticks) for 769475 of 1365827 candidates for flow covers
Elapsed time = 77.06 sec. (180216.70 ticks) for 769873 of 1365827 candidates for flow covers
Elapsed time = 81.38 sec. (190223.36 ticks) for 770295 of 1365827 candidates for flow covers
Elapsed time = 85.59 sec. (200231.34 ticks) for 770923 of 1365827 candidates for flow covers
Elapsed time = 89.84 sec. (210240.74 ticks) for 771466 of 1365827 candidates for flow covers
Elapsed time = 93.97 sec. (220240.78 ticks) for 780097 of 1365827 candidates for flow covers
Elapsed time = 96.88 sec. (230241.03 ticks) for 826664 of 1365827 candidates for flow covers
Elapsed time = 99.73 sec. (240241.28 ticks) for 873700 of 1365827 candidates for flow covers
Elapsed time = 102.72 sec. (250241.32 ticks) for 1255294 of 1365827 candidates for flow covers
Elapsed time = 105.69 sec. (260241.37 ticks) for 1351159 of 1365827 candidates for flow covers
0 0 1.00966e+09 599 3.15179e+31 Cuts: 7399 304423 100.00%
Elapsed time = 3.13 sec. (10000.13 ticks) for 604623 of 1367077 candidates for flow covers
Elapsed time = 6.03 sec. (20000.13 ticks) for 706709 of 1367077 candidates for flow covers
Elapsed time = 10.00 sec. (30008.87 ticks) for 758419 of 1367077 candidates for flow covers
Elapsed time = 14.58 sec. (40023.96 ticks) for 758874 of 1367077 candidates for flow covers
Elapsed time = 19.00 sec. (50033.61 ticks) for 759796 of 1367077 candidates for flow covers
Elapsed time = 23.36 sec. (60049.96 ticks) for 760775 of 1367077 candidates for flow covers
Elapsed time = 27.77 sec. (70060.99 ticks) for 761955 of 1367077 candidates for flow covers
Elapsed time = 32.33 sec. (80061.20 ticks) for 762689 of 1367077 candidates for flow covers
Elapsed time = 36.66 sec. (90069.55 ticks) for 763444 of 1367077 candidates for flow covers
Elapsed time = 40.95 sec. (100081.09 ticks) for 764691 of 1367077 candidates for flow covers
Elapsed time = 45.31 sec. (110090.34 ticks) for 765374 of 1367077 candidates for flow covers
Elapsed time = 49.64 sec. (120097.71 ticks) for 767034 of 1367077 candidates for flow covers
Elapsed time = 53.94 sec. (130120.35 ticks) for 767439 of 1367077 candidates for flow covers
Elapsed time = 58.17 sec. (140141.14 ticks) for 767797 of 1367077 candidates for flow covers
Elapsed time = 62.67 sec. (150143.43 ticks) for 768383 of 1367077 candidates for flow covers
Elapsed time = 66.92 sec. (160149.72 ticks) for 768950 of 1367077 candidates for flow covers
Elapsed time = 71.19 sec. (170172.30 ticks) for 769435 of 1367077 candidates for flow covers
Elapsed time = 75.50 sec. (180196.40 ticks) for 769842 of 1367077 candidates for flow covers
Elapsed time = 79.92 sec. (190203.21 ticks) for 770253 of 1367077 candidates for flow covers
Elapsed time = 84.16 sec. (200208.24 ticks) for 770873 of 1367077 candidates for flow covers
Elapsed time = 88.34 sec. (210221.11 ticks) for 771404 of 1367077 candidates for flow covers
Elapsed time = 92.70 sec. (220221.35 ticks) for 776924 of 1367077 candidates for flow covers
Elapsed time = 95.50 sec. (230221.57 ticks) for 823097 of 1367077 candidates for flow covers
Elapsed time = 98.25 sec. (240221.77 ticks) for 868901 of 1367077 candidates for flow covers
Elapsed time = 101.25 sec. (250221.79 ticks) for 1247852 of 1367077 candidates for flow covers
Elapsed time = 104.41 sec. (260221.91 ticks) for 1343920 of 1367077 candidates for flow covers
0 0 1.01030e+09 588 3.15179e+31 Cuts: 7690 315376 100.00%
Elapsed time = 3.31 sec. (10000.08 ticks) for 603304 of 1370243 candidates for flow covers
Elapsed time = 6.13 sec. (20000.24 ticks) for 704364 of 1370243 candidates for flow covers
Elapsed time = 9.86 sec. (30009.09 ticks) for 758400 of 1370243 candidates for flow covers
Elapsed time = 14.16 sec. (40036.68 ticks) for 758816 of 1370243 candidates for flow covers
Elapsed time = 18.63 sec. (50038.31 ticks) for 759741 of 1370243 candidates for flow covers
Elapsed time = 23.06 sec. (60041.97 ticks) for 760749 of 1370243 candidates for flow covers
Elapsed time = 27.58 sec. (70059.67 ticks) for 761857 of 1370243 candidates for flow covers
Elapsed time = 32.14 sec. (80063.82 ticks) for 762663 of 1370243 candidates for flow covers
Elapsed time = 36.50 sec. (90064.02 ticks) for 763392 of 1370243 candidates for flow covers
Elapsed time = 40.88 sec. (100068.00 ticks) for 764607 of 1370243 candidates for flow covers
Elapsed time = 45.34 sec. (110077.69 ticks) for 765273 of 1370243 candidates for flow covers
Elapsed time = 50.02 sec. (120089.62 ticks) for 766982 of 1370243 candidates for flow covers
Elapsed time = 54.30 sec. (130104.56 ticks) for 767391 of 1370243 candidates for flow covers
Elapsed time = 58.77 sec. (140107.56 ticks) for 767749 of 1370243 candidates for flow covers
Elapsed time = 63.11 sec. (150126.62 ticks) for 768328 of 1370243 candidates for flow covers
Elapsed time = 67.42 sec. (160140.70 ticks) for 768858 of 1370243 candidates for flow covers
Elapsed time = 71.69 sec. (170150.83 ticks) for 769368 of 1370243 candidates for flow covers
Elapsed time = 75.92 sec. (180164.17 ticks) for 769787 of 1370243 candidates for flow covers
Elapsed time = 80.19 sec. (190183.14 ticks) for 770184 of 1370243 candidates for flow covers
Elapsed time = 84.38 sec. (200196.44 ticks) for 770757 of 1370243 candidates for flow covers
Elapsed time = 88.56 sec. (210205.39 ticks) for 771290 of 1370243 candidates for flow covers
Elapsed time = 92.78 sec. (220213.67 ticks) for 771864 of 1370243 candidates for flow covers
Elapsed time = 95.86 sec. (230213.87 ticks) for 812068 of 1370243 candidates for flow covers
Elapsed time = 98.72 sec. (240213.97 ticks) for 856830 of 1370243 candidates for flow covers
Elapsed time = 101.59 sec. (250214.12 ticks) for 1224039 of 1370243 candidates for flow covers
Elapsed time = 104.64 sec. (260214.16 ticks) for 1320507 of 1370243 candidates for flow covers
0 0 1.01133e+09 609 3.15179e+31 Cuts: 5952 326372 100.00%
Elapsed time = 3.33 sec. (10000.12 ticks) for 603946 of 1369778 candidates for flow covers
Elapsed time = 6.33 sec. (20000.15 ticks) for 704928 of 1369778 candidates for flow covers
Elapsed time = 10.58 sec. (30023.21 ticks) for 758410 of 1369778 candidates for flow covers
Elapsed time = 15.11 sec. (40024.27 ticks) for 758818 of 1369778 candidates for flow covers
Elapsed time = 19.66 sec. (50028.28 ticks) for 759742 of 1369778 candidates for flow covers
Elapsed time = 24.27 sec. (60050.46 ticks) for 760750 of 1369778 candidates for flow covers
Elapsed time = 28.88 sec. (70065.49 ticks) for 761859 of 1369778 candidates for flow covers
Elapsed time = 33.42 sec. (80093.24 ticks) for 762664 of 1369778 candidates for flow covers
Elapsed time = 37.95 sec. (90107.03 ticks) for 763229 of 1369778 candidates for flow covers
Elapsed time = 42.55 sec. (100117.71 ticks) for 764610 of 1369778 candidates for flow covers
Elapsed time = 47.14 sec. (110134.09 ticks) for 765288 of 1369778 candidates for flow covers
Elapsed time = 51.73 sec. (120137.38 ticks) for 767003 of 1369778 candidates for flow covers
Elapsed time = 56.25 sec. (130147.52 ticks) for 767405 of 1369778 candidates for flow covers
Elapsed time = 60.75 sec. (140150.29 ticks) for 767760 of 1369778 candidates for flow covers
Elapsed time = 65.17 sec. (150170.25 ticks) for 768339 of 1369778 candidates for flow covers
Elapsed time = 69.66 sec. (160175.13 ticks) for 768883 of 1369778 candidates for flow covers
Elapsed time = 74.22 sec. (170194.37 ticks) for 769384 of 1369778 candidates for flow covers
Elapsed time = 78.73 sec. (180218.17 ticks) for 769798 of 1369778 candidates for flow covers
Elapsed time = 83.22 sec. (190225.95 ticks) for 770188 of 1369778 candidates for flow covers
Elapsed time = 87.69 sec. (200243.15 ticks) for 770779 of 1369778 candidates for flow covers
Elapsed time = 92.22 sec. (210247.25 ticks) for 771316 of 1369778 candidates for flow covers
Elapsed time = 96.64 sec. (220252.98 ticks) for 771915 of 1369778 candidates for flow covers
Elapsed time = 99.72 sec. (230253.10 ticks) for 816597 of 1369778 candidates for flow covers
Elapsed time = 102.64 sec. (240253.32 ticks) for 862610 of 1369778 candidates for flow covers
Elapsed time = 105.70 sec. (250253.45 ticks) for 1233049 of 1369778 candidates for flow covers
Elapsed time = 108.95 sec. (260253.49 ticks) for 1328423 of 1369778 candidates for flow covers
0 0 1.01185e+09 603 3.15179e+31 Cuts: 7924 336882 100.00%
Elapsed time = 3.38 sec. (10000.00 ticks) for 603066 of 1373155 candidates for flow covers
Elapsed time = 6.28 sec. (20000.07 ticks) for 703645 of 1373155 candidates for flow covers
Elapsed time = 10.00 sec. (30016.21 ticks) for 758394 of 1373155 candidates for flow covers
Elapsed time = 14.31 sec. (40017.15 ticks) for 758806 of 1373155 candidates for flow covers
Elapsed time = 18.80 sec. (50027.25 ticks) for 759700 of 1373155 candidates for flow covers
Elapsed time = 23.28 sec. (60040.92 ticks) for 760736 of 1373155 candidates for flow covers
Elapsed time = 27.64 sec. (70041.65 ticks) for 761842 of 1373155 candidates for flow covers
Elapsed time = 31.94 sec. (80043.61 ticks) for 762647 of 1373155 candidates for flow covers
Elapsed time = 36.50 sec. (90044.62 ticks) for 763207 of 1373155 candidates for flow covers
Elapsed time = 40.91 sec. (100046.76 ticks) for 764551 of 1373155 candidates for flow covers
Elapsed time = 45.27 sec. (110056.23 ticks) for 765240 of 1373155 candidates for flow covers
Elapsed time = 49.84 sec. (120069.49 ticks) for 766156 of 1373155 candidates for flow covers
Elapsed time = 54.08 sec. (130070.50 ticks) for 767355 of 1373155 candidates for flow covers
Elapsed time = 58.28 sec. (140081.16 ticks) for 767711 of 1373155 candidates for flow covers
Elapsed time = 62.45 sec. (150081.33 ticks) for 768283 of 1373155 candidates for flow covers
Elapsed time = 66.83 sec. (160082.01 ticks) for 768779 of 1373155 candidates for flow covers
Elapsed time = 71.06 sec. (170096.47 ticks) for 769326 of 1373155 candidates for flow covers
Elapsed time = 75.23 sec. (180105.43 ticks) for 769748 of 1373155 candidates for flow covers
Elapsed time = 79.44 sec. (190119.24 ticks) for 770127 of 1373155 candidates for flow covers
Elapsed time = 83.77 sec. (200130.21 ticks) for 770692 of 1373155 candidates for flow covers
Elapsed time = 88.22 sec. (210140.56 ticks) for 771232 of 1373155 candidates for flow covers
Elapsed time = 92.44 sec. (220141.21 ticks) for 771780 of 1373155 candidates for flow covers
Elapsed time = 95.78 sec. (230141.50 ticks) for 804709 of 1373155 candidates for flow covers
Elapsed time = 98.73 sec. (240141.72 ticks) for 847988 of 1373155 candidates for flow covers
Elapsed time = 101.61 sec. (250141.75 ticks) for 1206908 of 1373155 candidates for flow covers
Elapsed time = 104.55 sec. (260141.78 ticks) for 1303525 of 1373155 candidates for flow covers
0 0 1.01189e+09 599 3.15179e+31 Cuts: 5992 345895 100.00%
Heuristic still looking.
Heuristic still looking.
0 2 1.01189e+09 599 3.15179e+31 1.01189e+09 345895 100.00%
Elapsed time = 9019.00 sec. (13847292.98 ticks, tree = 0.02 MB, solutions = 0)
1 3 1.01340e+09 595 3.15179e+31 1.01213e+09 345922 100.00%
2 4 1.01340e+09 594 3.15179e+31 1.01213e+09 345939 100.00%
3 5 1.01340e+09 593 3.15179e+31 1.01213e+09 345940 100.00%
4 6 1.01340e+09 592 3.15179e+31 1.01213e+09 345940 100.00%
5 7 1.01340e+09 591 3.15179e+31 1.01213e+09 345940 100.00%
6 3 1.01213e+09 598 3.15179e+31 1.01213e+09 345939 100.00%
7 8 1.01340e+09 590 3.15179e+31 1.01213e+09 345941 100.00%
8 6 1.45841e+14 592 3.15179e+31 1.01213e+09 345940 100.00%
9 7 9.08866e+13 591 3.15179e+31 1.01213e+09 345940 100.00%
10 8 7.12326e+13 590 3.15179e+31 1.01213e+09 345940 100.00%
Elapsed time = 9083.28 sec. (13882282.10 ticks, tree = 0.02 MB, solutions = 0)
12 4 2.17404e+10 598 3.15179e+31 1.01213e+09 346310 100.00%
13 10 1.01340e+09 588 3.15179e+31 1.01319e+09 355574 100.00%
15 16 1.01340e+09 594 3.15179e+31 1.01319e+09 357093 100.00%
18 17 1.01389e+09 595 3.15179e+31 1.01319e+09 365882 100.00%
22 23 1.01389e+09 593 3.15179e+31 1.01319e+09 375759 100.00%
26 27 1.01389e+09 591 3.15179e+31 1.01319e+09 375759 100.00%
30 30 1.01389e+09 589 3.15179e+31 1.01319e+09 375759 100.00%
34 19 1.01340e+09 592 3.15179e+31 1.01319e+09 365413 100.00%
37 32 1.01340e+09 589 3.15179e+31 1.01319e+09 375759 100.00%
42 34 2.17404e+10 569 3.15179e+31 1.01319e+09 375759 100.00%
Elapsed time = 9142.44 sec. (13899165.87 ticks, tree = 5.20 MB, solutions = 0)
51 37 2.17404e+10 566 3.15179e+31 1.01319e+09 375759 100.00%
58 40 2.17404e+10 563 3.15179e+31 1.01319e+09 375759 100.00%
64 41 1.01389e+09 578 3.15179e+31 1.01319e+09 375759 100.00%
70 41 1.01340e+09 580 3.15179e+31 1.01319e+09 375759 100.00%
74 44 1.01340e+09 577 3.15179e+31 1.01319e+09 375759 100.00%
79 47 1.01340e+09 574 3.15179e+31 1.01319e+09 375759 100.00%
81 15 3.96439e+10 594 3.15179e+31 1.01319e+09 357061 100.00%
82 10 6.34096e+13 592 3.15179e+31 1.01319e+09 356020 100.00%
83 20 6.34303e+13 579 3.15179e+31 1.01319e+09 374322 100.00%
84 18 4.96560e+13 593 3.15179e+31 1.01319e+09 365415 100.00%
Elapsed time = 9228.33 sec. (13921838.03 ticks, tree = 0.02 MB, solutions = 0)
85 9 1.03104e+09 601 3.15179e+31 1.01319e+09 356192 100.00%
88 31 7.12326e+13 588 3.15179e+31 1.01319e+09 386929 100.00%
89 32 6.27999e+13 579 3.15179e+31 1.01319e+09 390556 100.00%
92 33 1.45841e+14 591 3.15179e+31 1.01319e+09 400982 100.00%
95 83 1.01389e+09 564 3.15179e+31 1.01319e+09 427202 100.00%
97 11 2.36726e+14 595 3.15179e+31 1.01319e+09 355846 100.00%
100 14 1.45859e+14 589 3.15179e+31 1.01319e+09 355182 100.00%
101 92 6.27999e+13 587 3.15179e+31 1.01340e+09 475215 100.00%
103 94 9.08866e+13 593 3.15179e+31 1.01340e+09 501778 100.00%
105 95 1.45841e+14 585 3.15179e+31 1.01340e+09 514878 100.00%
Elapsed time = 9324.73 sec. (13949602.94 ticks, tree = 18.80 MB, solutions = 0)
106 91 7.12326e+13 582 3.15179e+31 1.01340e+09 465387 100.00%
108 98 1.01389e+09 567 3.15179e+31 1.01340e+09 554055 100.00%
110 86 6.34303e+13 558 3.15179e+31 1.01340e+09 452565 100.00%
113 99 7.12326e+13 558 3.15179e+31 1.01340e+09 569905 100.00%
114 25 4.38142e+13 592 3.15179e+31 1.01340e+09 375761 100.00%
117 23 4.43917e+13 593 3.15179e+31 1.01340e+09 375759 100.00%
120 97 1.89168e+10 571 3.15179e+31 1.01340e+09 540281 100.00%
123 108 1.45841e+14 595 3.15179e+31 1.01340e+09 652291 100.00%
125 112 6.34096e+13 583 3.15179e+31 1.01340e+09 701292 100.00%
128 105 3.96439e+10 593 3.15179e+31 1.01340e+09 630820 100.00%
Elapsed time = 9374.86 sec. (13965776.10 ticks, tree = 16.85 MB, solutions = 0)
129 116 7.12326e+13 574 3.15179e+31 1.01340e+09 728176 100.00%
132 120 6.34096e+13 574 3.15179e+31 1.01340e+09 760983 100.00%
137 124 2.17404e+10 551 3.15179e+31 1.01340e+09 787813 100.00%
144 115 4.38349e+13 572 3.15179e+31 1.01340e+09 731997 100.00%
151 127 2.17404e+10 548 3.15179e+31 1.01340e+09 787813 100.00%
160 128 1.95496e+14 584 3.15179e+31 1.01340e+09 816938 100.00%
167 121 4.43917e+13 574 3.15179e+31 1.01340e+09 776768 100.00%
173 130 1.95496e+14 582 3.15179e+31 1.01340e+09 816938 100.00%
181 138 4.38142e+13 571 3.15179e+31 1.01340e+09 1002855 100.00%
188 130 4.44125e+13 564 3.15179e+31 1.01340e+09 880358 100.00%
Elapsed time = 9417.03 sec. (13978221.96 ticks, tree = 23.33 MB, solutions = 0)
200 125 1.45841e+14 584 3.15179e+31 1.01340e+09 813572 100.00%
205 131 4.38349e+13 572 3.15179e+31 1.01340e+09 906690 100.00%
216 182 1.95496e+14 573 3.15179e+31 1.01340e+09 1083474 100.00%
228 137 6.34096e+13 582 3.15179e+31 1.01340e+09 980566 100.00%
232 127 9.08866e+13 561 3.15179e+31 1.01340e+09 838026 100.00%
238 183 1.95496e+14 572 3.15179e+31 1.01340e+09 1083474 100.00%
245 177 2.17404e+10 534 3.15179e+31 1.01340e+09 1064127 100.00%
254 179 2.17404e+10 532 3.15179e+31 1.01340e+09 1064127 100.00%
264 181 2.17404e+10 530 3.15179e+31 1.01340e+09 1064127 100.00%
272 183 2.17404e+10 528 3.15179e+31 1.01340e+09 1064127 100.00%
Elapsed time = 9458.75 sec. (13989587.68 ticks, tree = 56.40 MB, solutions = 0)
278 195 1.89168e+10 567 3.15179e+31 1.01340e+09 1135532 100.00%
279 130 7.12326e+13 584 3.15179e+31 1.01340e+09 856832 100.00%
284 252 1.03104e+09 581 3.15179e+31 1.01340e+09 1235475 100.00%
294 255 1.03104e+09 578 3.15179e+31 1.01340e+09 1235475 100.00%
302 133 1.25937e+14 578 3.15179e+31 1.01340e+09 923203 100.00%
309 276 1.89168e+10 558 3.15179e+31 1.01340e+09 1236400 100.00%
318 276 1.01389e+09 567 3.15179e+31 1.01340e+09 1239637 100.00%
337 283 1.62118e+14 585 3.15179e+31 1.01340e+09 1256280 100.00%
359 258 7.12326e+13 576 3.15179e+31 1.01340e+09 1235475 100.00%
375 263 1.03104e+09 570 3.15179e+31 1.01340e+09 1235487 100.00%
Elapsed time = 9485.98 sec. (14001836.08 ticks, tree = 85.59 MB, solutions = 0)
390 289 6.34303e+13 571 3.15179e+31 1.01340e+09 1260077 100.00%
410 284 1.89168e+10 550 3.15179e+31 1.01340e+09 1236425 100.00%
434 286 6.34096e+13 574 3.15179e+31 1.01340e+09 1249505 100.00%
459 283 6.34096e+13 558 3.15179e+31 1.01340e+09 1239640 100.00%
488 299 2.36726e+14 556 3.15179e+31 1.01340e+09 1284569 100.00%
508 269 7.12326e+13 565 3.15179e+31 1.01340e+09 1235475 100.00%
522 295 1.45859e+14 570 3.15179e+31 1.01340e+09 1261582 100.00%
538 297 6.34303e+13 563 3.15179e+31 1.01340e+09 1260077 100.00%
555 299 4.96560e+13 574 3.15179e+31 1.01340e+09 1278484 100.00%
578 291 1.25937e+14 557 3.15179e+31 1.01340e+09 1237659 100.00%
Elapsed time = 9520.88 sec. (14012059.06 ticks, tree = 98.56 MB, solutions = 0)
604 296 6.34096e+13 564 3.15179e+31 1.01340e+09 1249577 100.00%
618 306 4.38142e+13 546 3.15179e+31 1.01340e+09 1278531 100.00%
630 297 6.34096e+13 563 3.15179e+31 1.01340e+09 1249680 100.00%
641 299 6.34096e+13 561 3.15179e+31 1.01340e+09 1249682 100.00%
652 301 6.34096e+13 559 3.15179e+31 1.01340e+09 1249703 100.00%
665 363 1.25937e+14 553 3.15179e+31 1.01340e+09 1284711 100.00%
674 316 4.43917e+13 554 3.15179e+31 1.01340e+09 1284588 100.00%
682 381 7.12326e+13 554 3.15179e+31 1.01340e+09 1288377 100.00%
689 312 1.97440e+14 534 3.15179e+31 1.01340e+09 1277892 100.00%
719 429 1.45859e+14 551 3.15179e+31 1.01340e+09 1291948 100.00%
Elapsed time = 9570.91 sec. (14025163.27 ticks, tree = 155.63 MB, solutions = 0)
743 345 4.39211e+13 544 3.15179e+31 1.01340e+09 1284746 100.00%
768 513 6.34376e+13 543 3.15179e+31 1.01340e+09 1316529 100.00%
783 521 1.95496e+14 555 3.15179e+31 1.01340e+09 1330806 100.00%
* 790+ 288 2.40601e+10 1.01340e+09 95.79%
807 518 6.34376e+13 538 2.40601e+10 1.01340e+09 1316627 95.79%
826 212 1.01340e+09 501 2.40601e+10 1.01340e+09 1341845 95.79%
847 248 2.17954e+10 302 2.40601e+10 1.01340e+09 1340347 95.79%
860 231 1.01340e+09 483 2.40601e+10 1.01340e+09 1342337 95.79%
882 125 2.17954e+10 294 2.40601e+10 1.01340e+09 1447507 95.79%
898 156 1.89594e+10 414 2.40601e+10 1.01347e+09 1388906 95.79%
904 306 4.96560e+13 567 2.40601e+10 1.01347e+09 1278487 95.79%
Elapsed time = 9691.69 sec. (14068510.37 ticks, tree = 87.53 MB, solutions = 2)
925 121 1.89594e+10 369 2.40601e+10 1.01347e+09 1508598 95.79%
964 128 4.84964e+09 368 2.40601e+10 1.01347e+09 1526997 95.79%
991 136 1.89594e+10 355 2.40601e+10 1.01347e+09 1508842 95.79%
1023 131 2.26946e+10 178 2.40601e+10 1.01347e+09 1548563 95.79%
1065 137 2.26946e+10 171 2.40601e+10 1.01347e+09 1548821 95.79%
1117 198 4.88568e+09 321 2.40601e+10 1.01347e+09 1663196 95.79%
1169 165 2.27119e+10 152 2.40601e+10 1.01347e+09 1626096 95.79%
1225 174 1.92923e+09 292 2.40601e+10 1.01347e+09 1614531 95.79%
1279 302 2.29466e+10 125 2.40601e+10 1.01347e+09 1772195 95.79%
1332 178 6.61764e+09 382 2.40601e+10 1.01389e+09 1665669 95.79%
Elapsed time = 9794.11 sec. (14107157.56 ticks, tree = 55.82 MB, solutions = 3)
1377 207 5.15510e+09 280 2.40601e+10 1.01389e+09 1724544 95.79%
1421 245 1.06571e+09 370 2.40601e+10 1.01389e+09 1754271 95.79%
1457 287 2.30685e+10 110 2.40601e+10 1.01389e+09 1762117 95.79%
1490 515 2.18203e+10 176 2.40601e+10 1.01389e+09 2073652 95.79%
1537 538 2.29540e+10 114 2.40601e+10 1.01389e+09 2080322 95.79%
1574 443 8.31350e+09 247 2.40601e+10 1.01389e+09 2010889 95.79%
1622 616 1.07294e+09 307 2.40601e+10 1.03715e+09 2212925 95.69%
1652 590 1.42478e+09 269 2.40601e+10 1.03715e+09 2119751 95.69%
1723 524 2.18335e+10 164 2.40601e+10 1.03715e+09 2075393 95.69%
1775 550 2.31608e+10 95 2.40601e+10 1.03715e+09 2110138 95.69%
Elapsed time = 9913.56 sec. (14146671.60 ticks, tree = 197.32 MB, solutions = 3)
1829 518 2.23251e+10 148 2.40601e+10 1.03715e+09 2078790 95.69%
* 1869+ 451 2.12990e+10 1.03715e+09 95.13%
1882 742 2.31438e+10 89 2.12990e+10 1.03715e+09 2344955 95.13%
1940 706 1.54703e+09 242 2.12990e+10 1.03715e+09 2264421 95.13%
1982 676 2.62897e+09 257 2.12990e+10 1.03715e+09 2413293 95.13%
2026 790 2.27440e+10 122 2.12990e+10 1.03715e+09 2390973 95.13%
2074 766 1.60930e+09 411 2.12990e+10 1.03715e+09 2440277 95.13%
2124 770 1.14092e+09 255 2.12990e+10 1.03715e+09 2375017 95.13%
2173 774 3.19409e+09 211 2.12990e+10 1.03715e+09 2441191 95.13%
* 2184+ 604 4.37100e+09 1.03715e+09 76.27%
2217 780 1.15364e+09 247 4.37100e+09 1.03715e+09 2467338 76.27%
2268 671 1.08396e+09 291 4.37100e+09 1.03715e+09 2427192 76.27%
Elapsed time = 10034.63 sec. (14185472.75 ticks, tree = 183.72 MB, solutions = 5)
2359 737 1.11679e+09 390 4.37100e+09 1.03715e+09 2521767 76.27%
* 2385+ 640 3.49067e+09 1.03715e+09 70.29%
2436 420 1.85242e+09 217 3.49067e+09 1.03715e+09 2611040 70.29%
2492 405 1.43567e+09 188 3.49067e+09 1.03715e+09 2618520 70.29%
2555 765 1.27375e+09 257 3.49067e+09 1.03715e+09 2497219 70.29%
2581 414 1.43567e+09 179 3.49067e+09 1.03715e+09 2618651 70.29%
2613 489 1.41721e+09 220 3.49067e+09 1.03715e+09 2552502 70.29%
2651 488 2.24066e+09 163 3.49067e+09 1.03715e+09 2572885 70.29%
2688 364 1.13664e+09 211 3.49067e+09 1.03715e+09 2697394 70.29%
2733 422 1.98856e+09 134 3.49067e+09 1.03715e+09 2720851 70.29%
2768 400 1.10028e+09 192 3.49067e+09 1.03715e+09 2710108 70.29%
Elapsed time = 10173.34 sec. (14224134.63 ticks, tree = 120.12 MB, solutions = 10)
* 2770+ 411 3.31786e+09 1.03715e+09 68.74%
2799 397 1.60930e+09 228 3.31786e+09 1.03715e+09 2649250 68.74%
2829 389 1.54259e+09 150 3.31786e+09 1.03715e+09 2666139 68.74%
2851 378 1.25583e+09 180 3.31786e+09 1.03715e+09 2674811 68.74%
2887 442 1.44600e+09 186 3.31786e+09 1.03715e+09 2806563 68.74%
2928 522 1.61643e+09 208 3.31786e+09 1.03715e+09 2907914 68.74%
2981 495 1.63603e+09 191 3.31786e+09 1.03715e+09 2902427 68.74%
3032 593 1.13664e+09 192 3.31786e+09 1.03715e+09 2959914 68.74%
3093 502 1.63603e+09 185 3.31786e+09 1.03715e+09 2902611 68.74%
3132 457 1.63081e+09 132 3.31786e+09 1.03715e+09 2832412 68.74%
3156 512 1.63603e+09 174 3.31786e+09 1.03715e+09 2902999 68.74%
Elapsed time = 10276.69 sec. (14263031.34 ticks, tree = 179.21 MB, solutions = 14)
* 3172+ 411 2.98434e+09 1.03715e+09 65.25%
3199 442 2.51475e+09 248 2.98434e+09 1.03715e+09 2825797 65.25%
3257 587 1.16511e+09 162 2.98434e+09 1.03715e+09 2953968 65.25%
3310 552 1.50444e+09 161 2.98434e+09 1.03715e+09 2929116 65.25%
3350 684 1.44110e+09 148 2.98434e+09 1.03715e+09 3135875 65.25%
3390 849 1.18150e+09 156 2.98434e+09 1.03715e+09 3244744 65.25%
3424 662 1.57727e+09 112 2.98434e+09 1.03715e+09 3063428 65.25%
3477 856 1.18150e+09 134 2.98434e+09 1.03715e+09 3248751 65.25%
3508 893 1.56370e+09 115 2.98434e+09 1.03715e+09 3273637 65.25%
3546 934 1.85255e+09 151 2.98434e+09 1.03715e+09 3305082 65.25%
3605 796 1.13811e+09 164 2.98434e+09 1.03715e+09 3216063 65.25%
Elapsed time = 10401.28 sec. (14302106.67 ticks, tree = 282.48 MB, solutions = 16)
* 3614+ 626 2.93103e+09 1.03715e+09 64.61%
3658 768 1.13864e+09 173 2.93103e+09 1.03715e+09 3196202 64.61%
3698 1063 1.13811e+09 159 2.93103e+09 1.03715e+09 3400318 64.61%
* 3701+ 625 2.89311e+09 1.03715e+09 64.15%
3746 1090 1.58504e+09 79 2.89311e+09 1.03715e+09 3451485 64.15%
3807 1042 2.67211e+09 9 2.89311e+09 1.03715e+09 3431161 64.15%
3854 1241 2.69339e+09 79 2.89311e+09 1.03715e+09 3576670 64.15%
3890 1242 1.21753e+09 133 2.89311e+09 1.03715e+09 3549080 64.15%
3952 1180 1.15473e+09 183 2.89311e+09 1.03715e+09 3503877 64.15%
3988 1193 1.37151e+09 120 2.89311e+09 1.03715e+09 3517483 64.15%
4050 1072 1.21637e+09 103 2.89311e+09 1.03715e+09 3387466 64.15%
4104 1293 1.50912e+09 127 2.89311e+09 1.03715e+09 3605872 64.15%
Elapsed time = 10516.83 sec. (14340707.07 ticks, tree = 474.77 MB, solutions = 18)
* 4140+ 1050 2.87772e+09 1.03715e+09 63.96%
4151 1160 1.19832e+09 138 2.87772e+09 1.03715e+09 3503492 63.96%
4200 1375 1.21685e+09 99 2.87772e+09 1.03715e+09 3668736 63.96%
4267 1349 1.58504e+09 61 2.87772e+09 1.03715e+09 3654573 63.96%
4297 1352 1.58504e+09 61 2.87772e+09 1.03715e+09 3656949 63.96%
4337 1301 2.73605e+09 39 2.87772e+09 1.03715e+09 3647036 63.96%
4412 1306 2.73605e+09 14 2.87772e+09 1.03715e+09 3649067 63.96%
* 4449+ 1530 2.84479e+09 1.03715e+09 63.54%
4457 1560 1.48786e+09 101 2.84479e+09 1.03715e+09 3724699 63.54%
4523 1417 1.19914e+09 124 2.84479e+09 1.03715e+09 3686112 63.54%
4559 1193 2.33489e+09 53 2.84479e+09 1.03715e+09 3543924 63.54%
4586 1729 1.16811e+09 126 2.84479e+09 1.03715e+09 3827314 63.54%
Elapsed time = 10645.86 sec. (14379547.07 ticks, tree = 750.20 MB, solutions = 20)
* 4602+ 1648 2.83467e+09 1.03715e+09 63.41%
4632 1740 2.71445e+09 1 2.83467e+09 1.03715e+09 3843640 63.41%
4670 1370 2.71372e+09 95 2.83467e+09 1.03715e+09 3680188 63.41%
4715 1673 1.54311e+09 97 2.83467e+09 1.03715e+09 3752270 63.41%
4743 1815 1.19914e+09 95 2.83467e+09 1.03715e+09 3865219 63.41%
4772 2014 1.54311e+09 87 2.83467e+09 1.03715e+09 3969087 63.41%
* 4793+ 1738 2.82383e+09 1.03715e+09 63.27%
4818 1713 2.78192e+09 3 2.82383e+09 1.03715e+09 3821788 63.27%
4878 1837 1.18214e+09 63 2.82383e+09 1.03715e+09 3880528 63.27%
4914 2026 1.54311e+09 81 2.82383e+09 1.03715e+09 3970608 63.27%
* 4932+ 1992 2.80946e+09 1.03715e+09 63.08%
4938 1922 2.27530e+09 52 2.80946e+09 1.03715e+09 3948683 63.08%
4956 1764 cutoff 2.80946e+09 1.03715e+09 3883300 63.08%
Elapsed time = 10761.75 sec. (14420014.53 ticks, tree = 774.88 MB, solutions = 23)
4980 2034 1.15654e+09 134 2.80946e+09 1.03715e+09 4003078 63.08%
5007 2042 1.54311e+09 69 2.80946e+09 1.03715e+09 3974514 63.08%
5017 1984 1.53630e+09 84 2.80946e+09 1.03715e+09 3965996 63.08%
5019 2044 1.15654e+09 124 2.80946e+09 1.03715e+09 4003646 63.08%
5020 1831 2.11819e+09 85 2.80946e+09 1.03715e+09 3878303 63.08%
5021 832 1.64240e+09 158 2.80946e+09 1.03715e+09 3231039 63.08%
Performing restart 1
Repeating presolve.
Presolve has eliminated 206428 rows and 339232 columns...
Tried aggregator 1 time.
MIP Presolve eliminated 206428 rows and 339232 columns.
Reduced MIP has 969996 rows, 1687324 columns, and 9821943 nonzeros.
Reduced MIP has 672 binaries, 0 generals, 634634 SOSs, and 417384 indicators.
Presolve time = 17.17 sec. (16117.09 ticks)
MIP Presolve eliminated 268590 redundant SOS constraints.
Tried aggregator 1 time.
MIP Presolve eliminated 268590 rows and 537180 columns.
Reduced MIP has 701406 rows, 1150144 columns, and 9284763 nonzeros.
Reduced MIP has 672 binaries, 0 generals, 366044 SOSs, and 417384 indicators.
Presolve time = 7.64 sec. (8050.29 ticks)
Tried aggregator 1 time.
Reduced MIP has 701406 rows, 1150144 columns, and 9284763 nonzeros.
Reduced MIP has 672 binaries, 0 generals, 366044 SOSs, and 417384 indicators.
Presolve time = 207.05 sec. (264583.64 ticks)
Represolve time = 9029.50 sec. (9437411.94 ticks)
* 5022+ 0 2.80287e+09 1.56575e+09 44.14%
5022 0 1.64568e+09 173 2.80287e+09 Cuts: 3912 4584985 41.29%
* 5022+ 0 2.31193e+09 1.64568e+09 28.82%
5022 0 1.67606e+09 101 2.31193e+09 Cuts: 955 4594040 27.50%
5022 0 1.84232e+09 112 2.31193e+09 Cuts: 755 4598240 20.31%
C:\Program Files\IBM\ILOG\CPLEX_Studio201\cplex\bin\x64_win64>
------------------------------
John R
Original Message:
Sent: Thu March 31, 2022 04:59 AM
From: Viu Long Kong
Subject: CPLEX python API kernel crash without error message
What do you mean by "CPLEX just stops" ? is this a crash ? or CPLEX stops because it cannot find an improving solution ? Can you post the full log ?
------------------------------
Viu Long Kong
Original Message:
Sent: Mon March 28, 2022 03:16 AM
From: John R
Subject: CPLEX python API kernel crash without error message
Hi,
thank you very much for your suggestion. I tried to solve the problem by using the cplex interactive. There might be more progress because optimality gap is more reduced, but the problem still exists. After a certain time cplex just stops. Here are the last outputs:
Elapsed time = 10761.75 sec. (14420014.53 ticks, tree = 774.88 MB, solutions = 23)
4980 2034 1.15654e+09 134 2.80946e+09 1.03715e+09 4003078 63.08%
5007 2042 1.54311e+09 69 2.80946e+09 1.03715e+09 3974514 63.08%
5017 1984 1.53630e+09 84 2.80946e+09 1.03715e+09 3965996 63.08%
5019 2044 1.15654e+09 124 2.80946e+09 1.03715e+09 4003646 63.08%
5020 1831 2.11819e+09 85 2.80946e+09 1.03715e+09 3878303 63.08%
5021 832 1.64240e+09 158 2.80946e+09 1.03715e+09 3231039 63.08%
Performing restart 1
Repeating presolve.
Presolve has eliminated 206428 rows and 339232 columns...
Tried aggregator 1 time.
MIP Presolve eliminated 206428 rows and 339232 columns.
Reduced MIP has 969996 rows, 1687324 columns, and 9821943 nonzeros.
Reduced MIP has 672 binaries, 0 generals, 634634 SOSs, and 417384 indicators.
Presolve time = 17.17 sec. (16117.09 ticks)
MIP Presolve eliminated 268590 redundant SOS constraints.
Tried aggregator 1 time.
MIP Presolve eliminated 268590 rows and 537180 columns.
Reduced MIP has 701406 rows, 1150144 columns, and 9284763 nonzeros.
Reduced MIP has 672 binaries, 0 generals, 366044 SOSs, and 417384 indicators.
Presolve time = 7.64 sec. (8050.29 ticks)
Tried aggregator 1 time.
Reduced MIP has 701406 rows, 1150144 columns, and 9284763 nonzeros.
Reduced MIP has 672 binaries, 0 generals, 366044 SOSs, and 417384 indicators.
Presolve time = 207.05 sec. (264583.64 ticks)
Represolve time = 9029.50 sec. (9437411.94 ticks)
* 5022+ 0 2.80287e+09 1.56575e+09 44.14%
5022 0 1.64568e+09 173 2.80287e+09 Cuts: 3912 4584985 41.29%
* 5022+ 0 2.31193e+09 1.64568e+09 28.82%
5022 0 1.67606e+09 101 2.31193e+09 Cuts: 955 4594040 27.50%
5022 0 1.84232e+09 112 2.31193e+09 Cuts: 755 4598240 20.31%
Best Regards
------------------------------
John R
Original Message:
Sent: Wed March 23, 2022 10:47 AM
From: Viu Long Kong
Subject: CPLEX python API kernel crash without error message
Hi,
I'm curious to know if this is an issue with jupyter kernel, python or plain CPLEX.
To rule out anything related to jupyter/spyder: Can you export your notebook and run your model with python but outside of jupyter/spyder ?
To rule out python: One test you can do is:
- use your code to create your model, then use mdl.export_as_lp("output.lp") to export the model.
- use cplex interactive to run the .lp : cplex -c "read ouput.lp" "optimize"
(you can find cplex interactive in your $CPLEX_HOME/cplex/bin directory).
Best regards,
------------------------------
Viu Long Kong
Original Message:
Sent: Mon March 21, 2022 03:16 AM
From: John R
Subject: CPLEX python API kernel crash without error message
Hello,
I am trying to solve a large scaled MILP problem (about 4.5 mio variables) with docplex (CPLEX 20.1.0) using python 3.8.12 and spyder 5.1.5. After more than 8 hours of solving the python kernel dies without showing any error message. The problem is reproducible. It crashes always after 2+ node after ~ 8 hours.
I can model and solve less large problems of the same type and structure (e. g. with 2 million variables, solving time ~5 hours). My system runs with Windows, RAM: 128 GB, CPU: Xeon E-5 series. Maybe it is a memory issue? How can I find out? Anyone have an idea what it might be or how i can get more information about the cause of problem? If you need more information let me know.
Thank you very much!
John
Output:
Model: test
- number of variables: 4578911
- binary=1165, integer=0, continuous=4577746
- number of constraints: 3963188
- linear=2737680, indicator=1225508
- parameters: defaults
- objective: minimize
- problem type is: MILP
1+: Node=3911 Left=3533 Best Integer=1030620791389432677687214735360.0000, Best Bound=3574.8510, gap=100.00%, ItCnt=4106890 [11716.8s]
2+: Node=4514 Left=2712 Best Integer=601195461643835775563371380736.0000, Best Bound=3574.8510, gap=100.00%, ItCnt=4374907 [12214.5s]
------------------------------
John R
------------------------------
#DecisionOptimization