0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2692825-1277905601.wbo>
0.00/0.03 c original problem has 3957 variables (2094 bin, 0 int, 0 impl, 1863 cont) and 4571 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.05 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.00/0.09 c (round 2) 0 del vars, 66 del conss, 1863 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.10 c (round 3) 51 del vars, 136 del conss, 1876 chg bounds, 70 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.10 c (round 4) 115 del vars, 151 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.12 c (round 5) 130 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 2001 impls, 5 clqs
0.09/0.13 c (round 6) 132 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 2001 impls, 5 clqs
0.09/0.17 c (0.1s) probing: 101/2028 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (7 rounds):
0.09/0.17 c 132 deleted vars, 153 deleted constraints, 1878 tightened bounds, 0 added holes, 72 changed sides, 0 changed coefficients
0.09/0.17 c 2001 implications, 5 cliques
0.09/0.17 c presolved problem has 3825 variables (2028 bin, 0 int, 0 impl, 1797 cont) and 4418 constraints
0.09/0.17 c 1797 constraints of type <indicator>
0.09/0.17 c 5 constraints of type <setppc>
0.09/0.17 c 1797 constraints of type <linear>
0.09/0.17 c 819 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.11
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 0 | 6 | - | 14M| 0 | 0 |3825 |4418 |3825 | 824 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.1s| 1 | 0 | 58 | - | 14M| 0 | 20 |3825 |4418 |3825 | 842 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 90811
0.09/0.19 c y 0.1s| 1 | 0 | 58 | - | 14M| 0 | 20 |3825 |4418 |3825 | 842 | 18 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 96 | - | 14M| 0 | 44 |3825 |4418 |3825 | 872 | 48 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.19/0.29 c 0.2s| 1 | 0 | 144 | - | 14M| 0 | 49 |3825 |4418 |3825 | 883 | 59 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.29/0.36 c 0.3s| 1 | 0 | 162 | - | 15M| 0 | 51 |3825 |4418 |3825 | 886 | 62 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.39/0.44 c 0.4s| 1 | 0 | 177 | - | 15M| 0 | 53 |3825 |4418 |3825 | 895 | 71 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.49/0.52 c 0.4s| 1 | 0 | 198 | - | 15M| 0 | 56 |3825 |4418 |3825 | 901 | 77 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.99/1.02 c 0.9s| 1 | 2 | 198 | - | 15M| 0 | 56 |3825 |4418 |3825 | 901 | 77 | 0 | 33 | 0.000000e+00 | 9.081100e+04 | Inf
21.38/21.49 c 20.6s| 10000 | 9991 | 17800 | 1.8 | 38M| 229 | 0 |3825 |4436 |3825 | 932 |2536 | 18 |1546 | 0.000000e+00 | 9.081100e+04 | Inf
35.98/36.06 c 34.7s| 20000 | 19991 | 29243 | 1.5 | 55M| 229 | 0 |3825 |4430 |3825 | 940 |5205 | 18 |1656 | 0.000000e+00 | 9.081100e+04 | Inf
50.09/50.17 c 48.5s| 30000 | 29983 | 37600 | 1.2 | 72M| 229 | 0 |3825 |4448 |3825 | 945 |7638 | 44 |1696 | 0.000000e+00 | 9.081100e+04 | Inf
64.19/64.28 c 62.1s| 40000 | 39981 | 46560 | 1.2 | 89M| 229 | 0 |3825 |4441 |3825 | 917 | 10k| 50 |1742 | 0.000000e+00 | 9.081100e+04 | Inf
78.59/78.65 c 76.0s| 50000 | 49977 | 57132 | 1.1 | 107M| 229 | 0 |3825 |4436 |3825 | 935 | 12k| 54 |1774 | 0.000000e+00 | 9.081100e+04 | Inf
92.69/92.73 c 89.6s| 60000 | 59973 | 65270 | 1.1 | 124M| 229 | 0 |3825 |4433 |3825 | 926 | 15k| 56 |1788 | 0.000000e+00 | 9.081100e+04 | Inf
106.59/106.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.59/106.69 c 103s| 70000 | 69973 | 73309 | 1.0 | 141M| 229 | 0 |3825 |4430 |3825 | 912 | 17k| 56 |1789 | 0.000000e+00 | 9.081100e+04 | Inf
120.80/120.82 c 117s| 80000 | 79971 | 81960 | 1.0 | 158M| 229 | 0 |3825 |4436 |3825 | 907 | 20k| 66 |1789 | 0.000000e+00 | 9.081100e+04 | Inf
134.79/134.84 c 130s| 90000 | 89971 | 90136 | 1.0 | 175M| 229 | 0 |3825 |4429 |3825 | 913 | 22k| 66 |1789 | 0.000000e+00 | 9.081100e+04 | Inf
148.89/148.95 c 144s|100000 | 99971 | 98978 | 1.0 | 193M| 233 | 0 |3825 |4425 |3825 | 935 | 25k| 66 |1789 | 0.000000e+00 | 9.081100e+04 | Inf
163.00/163.00 c 158s|110000 |109967 |106855 | 1.0 | 210M| 233 | 0 |3825 |4426 |3825 | 921 | 27k| 69 |1789 | 0.000000e+00 | 9.081100e+04 | Inf
177.39/177.43 c 172s|120000 |119965 |118491 | 1.0 | 227M| 233 | 0 |3825 |4425 |3825 | 921 | 30k| 70 |1814 | 0.000000e+00 | 9.081100e+04 | Inf
191.20/191.29 c 185s|130000 |129963 |125916 | 1.0 | 244M| 233 | 0 |3825 |4427 |3825 | 930 | 31k| 73 |1815 | 0.000000e+00 | 9.081100e+04 | Inf
205.60/205.63 c 199s|140000 |139961 |135683 | 1.0 | 261M| 233 | 0 |3825 |4425 |3825 | 914 | 34k| 74 |1815 | 0.000000e+00 | 9.081100e+04 | Inf
219.80/219.84 c 213s|150000 |149959 |144601 | 1.0 | 279M| 233 | 0 |3825 |4425 |3825 | 928 | 37k| 75 |1821 | 0.000000e+00 | 9.081100e+04 | Inf
234.10/234.18 c 226s|160000 |159947 |153774 | 1.0 | 296M| 233 | 0 |3825 |4431 |3825 | 921 | 39k| 81 |1821 | 0.000000e+00 | 9.081100e+04 | Inf
248.40/248.40 c 240s|170000 |169941 |162873 | 1.0 | 313M| 233 | 0 |3825 |4433 |3825 | 926 | 42k| 84 |1821 | 0.000000e+00 | 9.081100e+04 | Inf
263.10/263.13 c 254s|180000 |179941 |176159 | 1.0 | 331M| 233 | 0 |3825 |4429 |3825 | 993 | 44k| 84 |1821 | 0.000000e+00 | 9.081100e+04 | Inf
277.60/277.64 c 268s|190000 |189937 |187315 | 1.0 | 348M| 233 | 0 |3825 |4430 |3825 | 917 | 47k| 86 |1821 | 0.000000e+00 | 9.081100e+04 | Inf
292.00/292.02 c 282s|200000 |199933 |197436 | 1.0 | 365M| 233 | 0 |3825 |4433 |3825 | 932 | 50k| 89 |1821 | 0.000000e+00 | 9.081100e+04 | Inf
306.60/306.69 c 297s|210000 |209931 |209437 | 1.0 | 383M| 233 | 0 |3825 |4433 |3825 | 928 | 53k| 90 |1887 | 0.000000e+00 | 9.081100e+04 | Inf
321.21/321.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
321.21/321.27 c 311s|220000 |219929 |220792 | 1.0 | 400M| 233 | 0 |3825 |4434 |3825 | 964 | 56k| 91 |1942 | 0.000000e+00 | 9.081100e+04 | Inf
325.80/325.87 o 663
325.80/325.87 c * 315s|223085 |151885 |224686 | 1.0 | 291M| 233 | - |3825 |4433 |3825 | 928 | 58k| 92 |1958 | 0.000000e+00 | 6.630000e+02 | Inf
326.60/326.66 o 654
326.60/326.66 c * 316s|223409 |149715 |226571 | 1.0 | 288M| 233 | - |3825 |4499 |3825 | 943 | 59k| 159 |1959 | 0.000000e+00 | 6.540000e+02 | Inf
327.20/327.28 o 635
327.20/327.28 c * 316s|223660 |144721 |228180 | 1.0 | 280M| 233 | - |3825 |4604 |3825 | 942 | 59k| 265 |1966 | 0.000000e+00 | 6.350000e+02 | Inf
332.30/332.30 o 624
332.30/332.30 c * 321s|225922 |143749 |237954 | 1.1 | 281M| 233 | - |3825 |4853 |3825 | 953 | 62k| 621 |2003 | 0.000000e+00 | 6.240000e+02 | Inf
332.90/332.98 o 620
332.90/332.98 c * 322s|226207 |142890 |239119 | 1.1 | 280M| 233 | - |3825 |4837 |3825 | 933 | 62k| 629 |2022 | 0.000000e+00 | 6.200000e+02 | Inf
334.41/334.45 o 617
334.41/334.45 c * 323s|226859 |142707 |241371 | 1.1 | 280M| 233 | - |3825 |4889 |3825 | 904 | 63k| 757 |2033 | 0.000000e+00 | 6.170000e+02 | Inf
341.51/341.59 c 330s|230000 |145584 |256062 | 1.1 | 287M| 233 | 0 |3825 |5119 |3825 | 912 | 67k|1421 |2074 | 0.000000e+00 | 6.170000e+02 | Inf
344.60/344.68 o 613
344.60/344.68 c * 333s|231478 |145686 |260754 | 1.1 | 289M| 233 | - |3825 |5261 |3825 | 944 | 69k|1787 |2116 | 0.000000e+00 | 6.130000e+02 | Inf
345.80/345.87 o 608
345.80/345.87 c * 334s|232062 |144783 |262637 | 1.1 | 287M| 233 | - |3825 |5206 |3825 | 922 | 70k|1818 |2119 | 0.000000e+00 | 6.080000e+02 | Inf
358.71/358.78 o 607
358.71/358.78 c * 347s|238020 |150119 |289350 | 1.2 | 300M| 233 | - |3825 |4956 |3825 | 930 | 76k|2463 |2189 | 0.000000e+00 | 6.070000e+02 | Inf
358.71/358.79 o 590
358.71/358.79 c * 347s|238021 |145113 |289350 | 1.2 | 290M| 233 | - |3825 |4956 |3825 | 930 | 76k|2463 |2189 | 0.000000e+00 | 5.900000e+02 | Inf
359.50/359.55 o 581
359.50/359.55 c * 348s|238380 |142709 |290401 | 1.2 | 286M| 233 | - |3825 |4957 |3825 | 908 | 77k|2480 |2189 | 0.000000e+00 | 5.810000e+02 | Inf
360.90/360.97 o 572
360.90/360.97 c * 349s|238971 |140436 |293091 | 1.2 | 282M| 233 | - |3825 |5001 |3825 | 939 | 78k|2617 |2229 | 0.000000e+00 | 5.720000e+02 | Inf
363.40/363.41 c 351s|240000 |141388 |298836 | 1.2 | 285M| 233 | 0 |3825 |5039 |3825 | 926 | 79k|2787 |2262 | 0.000000e+00 | 5.720000e+02 | Inf
365.00/365.08 o 567
365.00/365.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
365.00/365.08 c * 353s|240743 |140533 |302342 | 1.3 | 284M| 233 | - |3825 |4995 |3825 | 930 | 80k|2818 |2264 | 0.000000e+00 | 5.670000e+02 | Inf
371.60/371.64 o 565
371.60/371.64 c * 359s|243619 |142506 |316305 | 1.3 | 289M| 233 | - |3825 |5269 |3825 | 953 | 84k|3524 |2341 | 0.000000e+00 | 5.650000e+02 | Inf
377.41/377.44 o 564
377.41/377.44 c * 365s|246220 |144555 |328376 | 1.3 | 294M| 233 | - |3825 |5381 |3825 | 942 | 87k|4145 |2349 | 0.000000e+00 | 5.640000e+02 | Inf
377.41/377.47 o 561
377.41/377.47 c * 365s|246222 |143564 |328438 | 1.3 | 292M| 233 | - |3825 |5381 |3825 | 942 | 87k|4145 |2349 | 0.000000e+00 | 5.610000e+02 | Inf
382.91/382.99 o 555
382.91/382.99 c * 370s|248675 |144022 |339677 | 1.4 | 295M| 233 | - |3825 |5239 |3825 | 928 | 90k|4508 |2426 | 0.000000e+00 | 5.550000e+02 | Inf
383.81/383.84 o 543
383.81/383.84 c * 371s|249044 |140464 |341351 | 1.4 | 288M| 233 | - |3825 |5246 |3825 | 923 | 90k|4570 |2428 | 0.000000e+00 | 5.430000e+02 | Inf
384.80/384.86 o 541
384.80/384.86 c * 372s|249457 |140105 |343692 | 1.4 | 287M| 233 | - |3825 |5279 |3825 | 924 | 91k|4697 |2429 | 0.000000e+00 | 5.410000e+02 | Inf
385.31/385.37 o 539
385.31/385.37 c * 372s|249732 |139678 |344362 | 1.4 | 287M| 233 | - |3825 |5299 |3825 | 943 | 91k|4733 |2429 | 0.000000e+00 | 5.390000e+02 | Inf
385.91/385.97 c 373s|250000 |139918 |345453 | 1.4 | 287M| 233 | 0 |3825 |5317 |3825 | 915 | 91k|4794 |2429 | 0.000000e+00 | 5.390000e+02 | Inf
386.01/386.03 o 536
386.01/386.03 c * 373s|250018 |138959 |345512 | 1.4 | 285M| 233 | - |3825 |5322 |3825 | 929 | 92k|4800 |2429 | 0.000000e+00 | 5.360000e+02 | Inf
392.31/392.33 o 534
392.31/392.33 c * 379s|252953 |141031 |355854 | 1.4 | 291M| 233 | - |3825 |5296 |3825 | 940 | 95k|5186 |2471 | 0.000000e+00 | 5.340000e+02 | Inf
393.71/393.73 o 519
393.71/393.73 c * 381s|253526 |136439 |358156 | 1.4 | 283M| 233 | - |3825 |5305 |3825 | 943 | 96k|5345 |2495 | 0.000000e+00 | 5.190000e+02 | Inf
393.71/393.74 o 509
393.71/393.74 c * 381s|253527 |132803 |358156 | 1.4 | 275M| 233 | - |3825 |5305 |3825 | 943 | 96k|5345 |2495 | 0.000000e+00 | 5.090000e+02 | Inf
393.81/393.87 o 500
393.81/393.87 c * 381s|253558 |129489 |358648 | 1.4 | 269M| 233 | - |3825 |5290 |3825 | 918 | 96k|5361 |2497 | 0.000000e+00 | 5.000000e+02 | Inf
396.01/396.02 o 487
396.01/396.02 c * 383s|254476 |125456 |363568 | 1.4 | 263M| 233 | - |3825 |5307 |3825 | 920 | 97k|5634 |2504 | 0.000000e+00 | 4.870000e+02 | Inf
396.01/396.03 o 484
396.01/396.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
396.01/396.03 c * 383s|254477 |124407 |363568 | 1.4 | 260M| 233 | - |3825 |5307 |3825 | 920 | 97k|5634 |2504 | 0.000000e+00 | 4.840000e+02 | Inf
397.80/397.88 o 483
397.80/397.88 c * 385s|255320 |124746 |367169 | 1.4 | 262M| 233 | - |3825 |5349 |3825 | 944 | 97k|5856 |2506 | 0.000000e+00 | 4.830000e+02 | Inf
399.91/399.94 o 462
399.91/399.94 c * 387s|256144 |117609 |372698 | 1.5 | 249M| 233 | - |3825 |5519 |3825 | 924 | 99k|6266 |2521 | 0.000000e+00 | 4.620000e+02 | Inf
403.90/403.94 o 453
403.90/403.94 c * 390s|257701 |115426 |381988 | 1.5 | 247M| 233 | - |3825 |5546 |3825 | 943 | 101k|6803 |2581 | 0.000000e+00 | 4.530000e+02 | Inf
404.00/404.05 o 443
404.00/404.05 c * 390s|257746 |111586 |382210 | 1.5 | 240M| 233 | - |3825 |5558 |3825 | 921 | 101k|6831 |2581 | 0.000000e+00 | 4.430000e+02 | Inf
404.00/404.07 o 425
404.00/404.07 c * 391s|257747 |105030 |382210 | 1.5 | 227M| 233 | - |3825 |5558 |3825 | 921 | 101k|6831 |2581 | 0.000000e+00 | 4.250000e+02 | Inf
404.10/404.13 o 423
404.10/404.13 c * 391s|257761 |104314 |382368 | 1.5 | 226M| 233 | - |3825 |5562 |3825 | 934 | 101k|6839 |2581 | 0.000000e+00 | 4.230000e+02 | Inf
404.91/404.90 o 410
404.91/404.90 c * 391s|258088 |100080 |383936 | 1.5 | 218M| 233 | - |3825 |5608 |3825 | 916 | 102k|6968 |2581 | 0.000000e+00 | 4.100000e+02 | Inf
405.20/405.28 o 408
405.20/405.28 c * 392s|258251 | 99533 |384424 | 1.5 | 217M| 233 | - |3825 |5584 |3825 | 909 | 102k|7006 |2581 | 0.000000e+00 | 4.080000e+02 | Inf
405.51/405.56 o 406
405.51/405.56 c * 392s|258369 | 98892 |384810 | 1.5 | 216M| 233 | - |3825 |5580 |3825 | 913 | 102k|7024 |2581 | 0.000000e+00 | 4.060000e+02 | Inf
405.61/405.67 o 403
405.61/405.67 c * 392s|258410 | 97843 |385040 | 1.5 | 215M| 233 | - |3825 |5576 |3825 | 916 | 102k|7031 |2581 | 0.000000e+00 | 4.030000e+02 | Inf
406.60/406.61 o 398
406.60/406.61 c * 393s|258721 | 96191 |387620 | 1.5 | 212M| 233 | - |3825 |5540 |3825 | 927 | 103k|7163 |2582 | 0.000000e+00 | 3.980000e+02 | Inf
406.60/406.66 o 391
406.60/406.66 c * 393s|258737 | 93788 |387707 | 1.5 | 208M| 233 | - |3825 |5543 |3825 | 928 | 103k|7167 |2582 | 0.000000e+00 | 3.910000e+02 | Inf
407.20/407.20 o 390
407.20/407.20 c * 394s|258937 | 93479 |389195 | 1.5 | 207M| 233 | - |3825 |5575 |3825 | 925 | 103k|7315 |2583 | 0.000000e+00 | 3.900000e+02 | Inf
407.40/407.41 o 388
407.40/407.41 c * 394s|259027 | 92924 |389663 | 1.5 | 206M| 233 | - |3825 |5544 |3825 | 926 | 103k|7332 |2583 | 0.000000e+00 | 3.880000e+02 | Inf
409.01/409.10 o 381
409.01/409.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
409.01/409.10 c * 395s|259686 | 90871 |393643 | 1.5 | 203M| 233 | - |3825 |5635 |3825 | 911 | 104k|7670 |2588 | 0.000000e+00 | 3.810000e+02 | Inf
409.81/409.88 c 396s|260000 | 91109 |395247 | 1.5 | 204M| 233 | 0 |3825 |5716 |3825 | 917 | 105k|7817 |2605 | 0.000000e+00 | 3.810000e+02 | Inf
410.41/410.47 o 379
410.41/410.47 c * 397s|260242 | 90586 |396301 | 1.5 | 204M| 233 | - |3825 |5722 |3825 | 933 | 105k|7903 |2621 | 0.000000e+00 | 3.790000e+02 | Inf
410.41/410.47 o 376
410.41/410.47 c * 397s|260243 | 89570 |396301 | 1.5 | 202M| 233 | - |3825 |5722 |3825 | 933 | 105k|7903 |2621 | 0.000000e+00 | 3.760000e+02 | Inf
410.80/410.83 o 375
410.80/410.83 c * 397s|260384 | 89335 |396896 | 1.5 | 202M| 233 | - |3825 |5731 |3825 | 932 | 105k|7948 |2627 | 0.000000e+00 | 3.750000e+02 | Inf
412.60/412.65 o 374
412.60/412.65 c * 399s|261085 | 89516 |401031 | 1.5 | 203M| 233 | - |3825 |5757 |3825 | 962 | 106k|8305 |2645 | 0.000000e+00 | 3.740000e+02 | Inf
412.60/412.66 o 371
412.60/412.66 c * 399s|261086 | 88429 |401033 | 1.5 | 201M| 233 | - |3825 |5757 |3825 | 962 | 106k|8305 |2645 | 0.000000e+00 | 3.710000e+02 | Inf
414.61/414.62 o 370
414.61/414.62 c * 401s|261893 | 88640 |405006 | 1.5 | 202M| 233 | - |3825 |5733 |3825 | 939 | 107k|8687 |2650 | 0.000000e+00 | 3.700000e+02 | Inf
414.81/414.82 o 369
414.81/414.82 c * 401s|261983 | 88361 |405374 | 1.5 | 201M| 233 | - |3825 |5740 |3825 | 918 | 107k|8707 |2650 | 0.000000e+00 | 3.690000e+02 | Inf
414.81/414.83 o 366
414.81/414.83 c * 401s|261984 | 87332 |405374 | 1.5 | 199M| 233 | - |3825 |5740 |3825 | 918 | 107k|8707 |2650 | 0.000000e+00 | 3.660000e+02 | Inf
416.70/416.77 o 355
416.70/416.77 c * 403s|262773 | 84178 |408993 | 1.6 | 194M| 233 | - |3825 |5593 |3825 | 928 | 108k|8885 |2651 | 0.000000e+00 | 3.550000e+02 | Inf
416.70/416.78 o 352
416.70/416.78 c * 403s|262774 | 83085 |408993 | 1.6 | 192M| 233 | - |3825 |5593 |3825 | 928 | 108k|8885 |2651 | 0.000000e+00 | 3.520000e+02 | Inf
416.91/416.94 o 347
416.91/416.94 c * 403s|262842 | 81283 |409332 | 1.6 | 189M| 233 | - |3825 |5607 |3825 | 949 | 108k|8916 |2651 | 0.000000e+00 | 3.470000e+02 | Inf
416.91/416.95 o 344
416.91/416.95 c * 403s|262843 | 80201 |409332 | 1.6 | 187M| 233 | - |3825 |5607 |3825 | 949 | 108k|8916 |2651 | 0.000000e+00 | 3.440000e+02 | Inf
417.30/417.38 o 341
417.30/417.38 c * 403s|263010 | 79201 |410334 | 1.6 | 185M| 233 | - |3825 |5639 |3825 | 924 | 109k|8979 |2651 | 0.000000e+00 | 3.410000e+02 | Inf
417.41/417.42 o 333
417.41/417.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
417.41/417.42 c * 403s|263022 | 76258 |410339 | 1.6 | 179M| 233 | - |3825 |5639 |3825 | 924 | 109k|8979 |2651 | 0.000000e+00 | 3.330000e+02 | Inf
418.41/418.40 o 329
418.41/418.40 c * 404s|263364 | 74981 |412828 | 1.6 | 177M| 233 | - |3825 |5708 |3825 | 948 | 109k|9206 |2651 | 0.000000e+00 | 3.290000e+02 | Inf
418.41/418.41 o 326
418.41/418.41 c * 404s|263365 | 73837 |412828 | 1.6 | 175M| 233 | - |3825 |5708 |3825 | 948 | 109k|9206 |2651 | 0.000000e+00 | 3.260000e+02 | Inf
418.60/418.61 o 320
418.60/418.61 c * 404s|263440 | 71747 |413183 | 1.6 | 172M| 233 | - |3825 |5729 |3825 | 952 | 110k|9247 |2651 | 0.000000e+00 | 3.200000e+02 | Inf
418.71/418.77 o 316
418.71/418.77 c * 405s|263494 | 70376 |413515 | 1.6 | 169M| 233 | - |3825 |5713 |3825 | 917 | 110k|9247 |2651 | 0.000000e+00 | 3.160000e+02 | Inf
418.71/418.78 o 313
418.71/418.78 c * 405s|263495 | 69266 |413515 | 1.6 | 167M| 233 | - |3825 |5713 |3825 | 917 | 110k|9247 |2651 | 0.000000e+00 | 3.130000e+02 | Inf
418.90/418.91 o 310
418.90/418.91 c * 405s|263542 | 68251 |413756 | 1.6 | 165M| 233 | - |3825 |5704 |3825 | 948 | 110k|9261 |2651 | 0.000000e+00 | 3.100000e+02 | Inf
418.90/418.92 o 307
418.90/418.92 c * 405s|263543 | 67206 |413756 | 1.6 | 163M| 233 | - |3825 |5704 |3825 | 948 | 110k|9261 |2651 | 0.000000e+00 | 3.070000e+02 | Inf
419.41/419.41 o 302
419.41/419.41 c * 405s|263725 | 65626 |414845 | 1.6 | 160M| 233 | - |3825 |5735 |3825 | 937 | 110k|9346 |2651 | 0.000000e+00 | 3.020000e+02 | Inf
419.41/419.41 o 299
419.41/419.41 c * 405s|263726 | 64678 |414845 | 1.6 | 158M| 233 | - |3825 |5735 |3825 | 937 | 110k|9346 |2651 | 0.000000e+00 | 2.990000e+02 | Inf
420.30/420.30 o 298
420.30/420.30 c * 406s|264046 | 64595 |416579 | 1.6 | 159M| 233 | - |3825 |5771 |3825 | 917 | 110k|9545 |2664 | 0.000000e+00 | 2.980000e+02 | Inf
420.41/420.49 o 286
420.41/420.49 c * 406s|264120 | 60510 |416906 | 1.6 | 151M| 233 | - |3825 |5769 |3825 | 915 | 111k|9561 |2667 | 0.000000e+00 | 2.860000e+02 | Inf
420.51/420.50 o 283
420.51/420.50 c * 406s|264121 | 59445 |416906 | 1.6 | 148M| 233 | - |3825 |5769 |3825 | 915 | 111k|9561 |2667 | 0.000000e+00 | 2.830000e+02 | Inf
420.80/420.87 o 281
420.80/420.87 c * 407s|264272 | 58884 |417353 | 1.6 | 147M| 233 | - |3825 |5757 |3825 | 928 | 111k|9577 |2670 | 0.000000e+00 | 2.810000e+02 | Inf
420.80/420.88 o 278
420.80/420.88 c * 407s|264273 | 57891 |417353 | 1.6 | 145M| 233 | - |3825 |5757 |3825 | 928 | 111k|9577 |2670 | 0.000000e+00 | 2.780000e+02 | Inf
420.90/420.93 o 271
420.90/420.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
420.90/420.93 c * 407s|264288 | 55562 |417419 | 1.6 | 141M| 233 | - |3825 |5755 |3825 | 916 | 111k|9577 |2670 | 0.000000e+00 | 2.710000e+02 | Inf
420.90/420.93 o 268
420.90/420.93 c * 407s|264289 | 54559 |417419 | 1.6 | 139M| 233 | - |3825 |5755 |3825 | 916 | 111k|9577 |2670 | 0.000000e+00 | 2.680000e+02 | Inf
421.31/421.31 o 267
421.31/421.31 c * 407s|264436 | 54354 |417800 | 1.6 | 139M| 233 | - |3825 |5762 |3825 | 912 | 111k|9599 |2670 | 0.000000e+00 | 2.670000e+02 | Inf
421.31/421.31 o 264
421.31/421.31 c * 407s|264437 | 53214 |417800 | 1.6 | 137M| 233 | - |3825 |5762 |3825 | 912 | 111k|9599 |2670 | 0.000000e+00 | 2.640000e+02 | Inf
421.51/421.59 o 250
421.51/421.59 c * 407s|264544 | 48660 |418135 | 1.6 | 127M| 233 | - |3825 |5769 |3825 | 905 | 111k|9625 |2677 | 0.000000e+00 | 2.500000e+02 | Inf
421.51/421.59 o 247
421.51/421.59 c * 407s|264545 | 47727 |418135 | 1.6 | 126M| 233 | - |3825 |5769 |3825 | 905 | 111k|9625 |2677 | 0.000000e+00 | 2.470000e+02 | Inf
421.60/421.64 o 242
421.60/421.64 c * 407s|264558 | 46034 |418204 | 1.6 | 122M| 233 | - |3825 |5769 |3825 | 917 | 111k|9625 |2677 | 0.000000e+00 | 2.420000e+02 | Inf
421.60/421.65 o 239
421.60/421.65 c * 407s|264559 | 45159 |418204 | 1.6 | 121M| 233 | - |3825 |5769 |3825 | 917 | 111k|9625 |2677 | 0.000000e+00 | 2.390000e+02 | Inf
421.71/421.70 o 233
421.71/421.70 c * 407s|264573 | 43223 |418288 | 1.6 | 117M| 233 | - |3825 |5768 |3825 | 916 | 111k|9627 |2677 | 0.000000e+00 | 2.330000e+02 | Inf
421.71/421.70 o 230
421.71/421.70 c * 407s|264574 | 42204 |418288 | 1.6 | 114M| 233 | - |3825 |5768 |3825 | 916 | 111k|9627 |2677 | 0.000000e+00 | 2.300000e+02 | Inf
421.91/421.93 o 214
421.91/421.93 c * 408s|264642 | 37310 |418766 | 1.6 | 105M| 233 | - |3825 |5760 |3825 | 920 | 111k|9664 |2695 | 0.000000e+00 | 2.140000e+02 | Inf
422.11/422.11 o 210
422.11/422.11 c * 408s|264703 | 36264 |419182 | 1.6 | 103M| 233 | - |3825 |5752 |3825 | 942 | 111k|9683 |2699 | 0.000000e+00 | 2.100000e+02 | Inf
422.11/422.11 o 207
422.11/422.11 c * 408s|264704 | 35373 |419182 | 1.6 | 101M| 233 | - |3825 |5752 |3825 | 942 | 111k|9683 |2699 | 0.000000e+00 | 2.070000e+02 | Inf
422.11/422.17 o 192
422.11/422.17 c * 408s|264715 | 31129 |419263 | 1.6 | 92M| 233 | - |3825 |5745 |3825 | 901 | 111k|9685 |2700 | 0.000000e+00 | 1.920000e+02 | Inf
424.62/424.61 o 188
424.62/424.61 c * 410s|265389 | 30476 |428030 | 1.6 | 93M| 233 | - |3825 |5786 |3825 | 946 | 112k| 10k|2723 | 0.000000e+00 | 1.880000e+02 | Inf
425.00/425.00 o 162
425.00/425.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
425.00/425.00 c * 411s|265502 | 23983 |429026 | 1.6 | 79M| 233 | - |3825 |5725 |3825 | 927 | 112k| 10k|2723 | 0.000000e+00 | 1.620000e+02 | Inf
425.21/425.23 o 145
425.21/425.23 c * 411s|265593 | 20245 |429245 | 1.6 | 72M| 233 | - |3825 |5714 |3825 | 912 | 112k| 10k|2723 | 0.000000e+00 | 1.450000e+02 | Inf
425.21/425.23 o 142
425.21/425.23 c * 411s|265594 | 19285 |429245 | 1.6 | 69M| 233 | - |3825 |5714 |3825 | 912 | 112k| 10k|2723 | 0.000000e+00 | 1.420000e+02 | Inf
425.21/425.27 o 139
425.21/425.27 c * 411s|265599 | 18579 |429304 | 1.6 | 68M| 233 | - |3825 |5711 |3825 | 918 | 112k| 10k|2723 | 0.000000e+00 | 1.390000e+02 | Inf
425.50/425.54 o 134
425.50/425.54 c * 411s|265695 | 17080 |429721 | 1.6 | 64M| 233 | - |3825 |5692 |3825 | 911 | 112k| 10k|2724 | 0.000000e+00 | 1.340000e+02 | Inf
425.50/425.54 o 131
425.50/425.54 c * 411s|265696 | 16441 |429721 | 1.6 | 63M| 233 | - |3825 |5692 |3825 | 911 | 112k| 10k|2724 | 0.000000e+00 | 1.310000e+02 | Inf
425.61/425.62 o 117
425.61/425.62 c * 411s|265720 | 13624 |429855 | 1.6 | 57M| 233 | - |3825 |5676 |3825 | 928 | 112k| 10k|2724 | 0.000000e+00 | 1.170000e+02 | Inf
425.61/425.62 o 114
425.61/425.62 c * 411s|265721 | 13103 |429855 | 1.6 | 56M| 233 | - |3825 |5676 |3825 | 928 | 112k| 10k|2724 | 0.000000e+00 | 1.140000e+02 | Inf
427.51/427.57 o 112
427.51/427.57 c * 413s|266380 | 13086 |434641 | 1.6 | 58M| 233 | - |3825 |5593 |3825 | 918 | 113k| 10k|2728 | 0.000000e+00 | 1.120000e+02 | Inf
428.10/428.15 o 111
428.10/428.15 c * 414s|266508 | 13050 |437271 | 1.6 | 58M| 233 | - |3825 |5462 |3825 | 900 | 113k| 10k|2729 | 0.000000e+00 | 1.110000e+02 | Inf
428.60/428.65 o 107
428.60/428.65 c * 414s|266690 | 12157 |438142 | 1.6 | 57M| 233 | - |3825 |5426 |3825 | 901 | 113k| 11k|2729 | 0.000000e+00 | 1.070000e+02 | Inf
429.01/429.03 o 95
429.01/429.03 c * 414s|266807 | 10829 |438631 | 1.6 | 54M| 233 | - |3825 |5406 |3825 | 897 | 113k| 11k|2740 | 0.000000e+00 | 9.500000e+01 | Inf
429.21/429.28 o 83
429.21/429.28 c * 415s|266894 | 9271 |438930 | 1.6 | 50M| 233 | - |3825 |5288 |3825 | 910 | 113k| 11k|2745 | 0.000000e+00 | 8.300000e+01 | Inf
429.21/429.28 o 80
429.21/429.28 c * 415s|266895 | 8692 |438930 | 1.6 | 48M| 233 | - |3825 |5288 |3825 | 910 | 113k| 11k|2745 | 0.000000e+00 | 8.000000e+01 | Inf
429.40/429.44 o 52
429.40/429.44 c * 415s|266925 | 6384 |439160 | 1.6 | 42M| 233 | - |3825 |4870 |3825 | 913 | 113k| 11k|2745 | 0.000000e+00 | 5.200000e+01 | Inf
430.40/430.46 o 51
430.40/430.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
430.40/430.46 c * 416s|267187 | 6051 |441992 | 1.7 | 43M| 233 | - |3825 |4474 |3825 | 902 | 114k| 11k|2765 | 0.000000e+00 | 5.100000e+01 | Inf
430.40/430.48 o 48
430.40/430.48 c * 416s|267188 | 2757 |441992 | 1.7 | 33M| 233 | - |3825 |4474 |3825 | 902 | 114k| 11k|2765 | 0.000000e+00 | 4.800000e+01 | Inf
437.01/437.08 c 422s|270000 | 2476 |456391 | 1.7 | 36M| 233 | - |3825 |6119 | 0 | 0 | 114k| 15k|2798 | 0.000000e+00 | 4.800000e+01 | Inf
438.71/438.80 o 45
438.71/438.80 c * 424s|270922 | 2149 |458659 | 1.7 | 36M| 233 | - |3825 |6879 |3825 | 896 | 114k| 16k|2798 | 0.000000e+00 | 4.500000e+01 | Inf
440.70/440.73 o 31
440.70/440.73 c * 426s|271816 | 1790 |462340 | 1.7 | 35M| 233 | - |3825 |6266 |3825 | 907 | 114k| 17k|2799 | 0.000000e+00 | 3.100000e+01 | Inf
440.70/440.73 o 29
440.70/440.73 c * 426s|271817 | 1755 |462341 | 1.7 | 35M| 233 | - |3825 |6266 |3825 | 907 | 114k| 17k|2799 | 0.000000e+00 | 2.900000e+01 | Inf
450.01/450.00 o 27
450.01/450.00 c * 434s|277100 | 1777 |481514 | 1.7 | 37M| 233 | - |3825 |7905 |3825 | 896 | 115k| 25k|2842 | 0.000000e+00 | 2.700000e+01 | Inf
455.51/455.57 c 440s|280000 | 1739 |493737 | 1.8 | 37M| 233 | 14 |3825 |6005 |3825 | 896 | 116k| 29k|2899 | 0.000000e+00 | 2.700000e+01 | Inf
473.21/473.21 c 457s|290000 | 1790 |526287 | 1.8 | 41M| 233 | 24 |3825 |8693 |3825 | 896 | 117k| 42k|2954 | 0.000000e+00 | 2.700000e+01 | Inf
492.01/492.05 c 475s|300000 | 1846 |562018 | 1.9 | 45M| 233 | - |3825 |9944 | 0 | 0 | 118k| 55k|3061 | 0.000000e+00 | 2.700000e+01 | Inf
510.61/510.64 c 492s|310000 | 2072 |597880 | 1.9 | 49M| 233 | 17 |3825 | 12k|3825 | 896 | 120k| 68k|3119 | 0.000000e+00 | 2.700000e+01 | Inf
517.11/517.10 o 25
517.11/517.10 c * 499s|313557 | 2044 |609080 | 1.9 | 49M| 233 | - |3825 | 12k|3825 | 896 | 120k| 73k|3171 | 0.000000e+00 | 2.500000e+01 | Inf
529.02/529.00 c 510s|320000 | 2063 |631106 | 2.0 | 50M| 233 | 1 |3825 | 11k|3825 | 896 | 121k| 82k|3218 | 0.000000e+00 | 2.500000e+01 | Inf
531.92/531.97 o 24
531.92/531.97 c * 513s|321657 | 2066 |637057 | 2.0 | 51M| 233 | - |3825 | 11k|3825 | 915 | 121k| 84k|3220 | 0.000000e+00 | 2.400000e+01 | Inf
546.72/546.78 c 527s|330000 | 2156 |663271 | 2.0 | 53M| 233 | - |3825 | 12k| 0 | 0 | 122k| 96k|3265 | 0.000000e+00 | 2.400000e+01 | Inf
561.91/561.91 o 23
561.91/561.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
561.91/561.91 c * 541s|338315 | 2134 |688972 | 2.0 | 54M| 233 | - |3825 | 13k|3825 | 907 | 123k| 108k|3314 | 0.000000e+00 | 2.300000e+01 | Inf
561.91/561.92 o 18
561.91/561.92 c * 541s|338316 | 1894 |688972 | 2.0 | 49M| 233 | - |3825 | 13k|3825 | 907 | 123k| 108k|3314 | 0.000000e+00 | 1.800000e+01 | Inf
564.82/564.85 c 544s|340000 | 1895 |693786 | 2.0 | 49M| 233 | - |3825 | 12k| 0 | 0 | 123k| 110k|3333 | 0.000000e+00 | 1.800000e+01 | Inf
579.41/579.43 o 13
579.41/579.43 c * 558s|348148 | 1634 |723337 | 2.1 | 46M| 233 | - |3825 | 10k|3825 | 909 | 124k| 121k|3408 | 0.000000e+00 | 1.300000e+01 | Inf
582.71/582.77 c 561s|350000 | 1634 |730774 | 2.1 | 47M| 233 | 10 |3825 | 10k|3825 | 896 | 124k| 124k|3416 | 0.000000e+00 | 1.300000e+01 | Inf
599.32/599.30 c 577s|360000 | 1729 |769328 | 2.1 | 48M| 233 | 1 |3825 | 11k|3825 | 904 | 126k| 138k|3498 | 0.000000e+00 | 1.300000e+01 | Inf
615.52/615.55 c 592s|370000 | 1741 |801703 | 2.2 | 49M| 233 | 20 |3825 | 10k|3825 | 896 | 127k| 151k|3584 | 0.000000e+00 | 1.300000e+01 | Inf
632.42/632.40 c 608s|380000 | 1808 |839140 | 2.2 | 50M| 233 | 8 |3825 | 12k|3825 | 896 | 129k| 165k|3678 | 0.000000e+00 | 1.300000e+01 | Inf
635.51/635.52 o 11
635.51/635.52 c * 611s|381851 | 1714 |846369 | 2.2 | 47M| 233 | - |3825 | 13k|3825 | 896 | 129k| 168k|3680 | 0.000000e+00 | 1.100000e+01 | Inf
648.82/648.85 c 624s|390000 | 1773 |874375 | 2.2 | 49M| 233 | 17 |3825 | 15k|3825 | 896 | 130k| 179k|3729 | 0.000000e+00 | 1.100000e+01 | Inf
655.52/655.53 o 8
655.52/655.53 c * 630s|394120 | 1706 |888877 | 2.3 | 47M| 233 | - |3825 | 15k|3825 | 896 | 131k| 186k|3766 | 0.000000e+00 | 8.000000e+00 | Inf
665.52/665.59 c 640s|400000 | 1672 |911586 | 2.3 | 46M| 233 | 18 |3825 | 11k|3825 | 896 | 131k| 195k|3824 | 0.000000e+00 | 8.000000e+00 | Inf
682.12/682.14 c 656s|410000 | 1677 |947998 | 2.3 | 46M| 233 | - |3825 | 12k| 0 | 0 | 133k| 209k|3894 | 0.000000e+00 | 8.000000e+00 | Inf
699.52/699.54 c 672s|420000 | 1682 |988705 | 2.4 | 47M| 233 | 11 |3825 | 14k|3825 | 896 | 134k| 223k|3941 | 0.000000e+00 | 8.000000e+00 | Inf
716.82/716.89 c 689s|430000 | 1692 | 1027k| 2.4 | 48M| 233 | 21 |3825 | 15k|3825 | 911 | 136k| 237k|4035 | 0.000000e+00 | 8.000000e+00 | Inf
727.62/727.61 o 6
727.62/727.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
727.62/727.61 c * 699s|436216 | 1576 | 1050k| 2.4 | 46M| 233 | - |3825 | 14k|3825 | 903 | 136k| 246k|4069 | 0.000000e+00 | 6.000000e+00 | Inf
734.22/734.25 c 705s|440000 | 1591 | 1065k| 2.4 | 45M| 233 | 19 |3825 | 12k|3825 | 896 | 137k| 251k|4141 | 0.000000e+00 | 6.000000e+00 | Inf
750.82/750.84 c 721s|450000 | 1589 | 1101k| 2.4 | 46M| 233 | 27 |3825 | 13k|3825 | 900 | 138k| 264k|4212 | 0.000000e+00 | 6.000000e+00 | Inf
767.92/767.94 c 738s|460000 | 1622 | 1140k| 2.5 | 47M| 233 | - |3825 | 16k| 0 | 0 | 139k| 279k|4274 | 0.000000e+00 | 6.000000e+00 | Inf
785.93/785.98 c 755s|470000 | 1600 | 1176k| 2.5 | 46M| 233 | 1 |3825 | 11k|3825 | 896 | 141k| 293k|4340 | 0.000000e+00 | 6.000000e+00 | Inf
803.12/803.10 c 771s|480000 | 1612 | 1218k| 2.5 | 46M| 233 | 9 |3825 | 12k|3825 | 896 | 142k| 307k|4411 | 0.000000e+00 | 6.000000e+00 | Inf
819.92/819.93 c 787s|490000 | 1646 | 1257k| 2.6 | 47M| 233 | - |3825 | 12k|3825 | 913 | 143k| 321k|4494 | 0.000000e+00 | 6.000000e+00 | Inf
836.42/836.46 c 803s|500000 | 1649 | 1294k| 2.6 | 47M| 233 | - |3825 | 10k| 0 | 0 | 144k| 334k|4578 | 0.000000e+00 | 6.000000e+00 | Inf
853.12/853.11 c 819s|510000 | 1653 | 1331k| 2.6 | 48M| 233 | 17 |3825 | 14k|3825 | 896 | 145k| 348k|4656 | 0.000000e+00 | 6.000000e+00 | Inf
870.23/870.27 c 835s|520000 | 1730 | 1368k| 2.6 | 51M| 233 | 8 |3825 | 19k|3825 | 896 | 146k| 362k|4742 | 0.000000e+00 | 6.000000e+00 | Inf
888.53/888.59 c 853s|530000 | 1728 | 1404k| 2.6 | 52M| 233 | 19 |3825 | 21k|3825 | 902 | 148k| 376k|4814 | 0.000000e+00 | 6.000000e+00 | Inf
906.13/906.12 c 869s|540000 | 1753 | 1440k| 2.7 | 51M| 233 | - |3825 | 18k| 0 | 0 | 149k| 392k|4880 | 0.000000e+00 | 6.000000e+00 | Inf
923.63/923.60 c 886s|550000 | 1791 | 1478k| 2.7 | 51M| 233 | 1 |3825 | 15k|3825 | 896 | 151k| 406k|4949 | 0.000000e+00 | 6.000000e+00 | Inf
940.63/940.60 c 902s|560000 | 1760 | 1516k| 2.7 | 51M| 233 | 18 |3825 | 13k|3825 | 896 | 152k| 421k|5024 | 0.000000e+00 | 6.000000e+00 | Inf
957.23/957.22 c 918s|570000 | 1730 | 1551k| 2.7 | 51M| 233 | 9 |3825 | 12k|3825 | 896 | 153k| 436k|5082 | 0.000000e+00 | 6.000000e+00 | Inf
974.03/974.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
974.03/974.01 c 934s|580000 | 1764 | 1590k| 2.7 | 51M| 233 | - |3825 | 11k| 0 | 0 | 154k| 450k|5161 | 0.000000e+00 | 6.000000e+00 | Inf
990.43/990.40 c 950s|590000 | 1793 | 1629k| 2.8 | 53M| 233 | 1 |3825 | 16k|3825 | 896 | 155k| 466k|5227 | 0.000000e+00 | 6.000000e+00 | Inf
1008.43/1008.41 c 967s|600000 | 1787 | 1670k| 2.8 | 52M| 233 | - |3825 | 13k| 0 | 0 | 157k| 479k|5311 | 0.000000e+00 | 6.000000e+00 | Inf
1025.73/1025.78 c 984s|610000 | 1738 | 1708k| 2.8 | 53M| 233 | 15 |3825 | 15k|3825 | 902 | 158k| 494k|5373 | 0.000000e+00 | 6.000000e+00 | Inf
1043.33/1043.31 c 1000s|620000 | 1746 | 1746k| 2.8 | 53M| 233 | 1 |3825 | 15k|3825 | 896 | 159k| 508k|5432 | 0.000000e+00 | 6.000000e+00 | Inf
1061.03/1061.02 c 1017s|630000 | 1755 | 1783k| 2.8 | 55M| 233 | 1 |3825 | 19k|3825 | 896 | 160k| 523k|5485 | 0.000000e+00 | 6.000000e+00 | Inf
1066.73/1066.76 o 4
1066.73/1066.76 c *1023s|633108 | 1414 | 1795k| 2.8 | 49M| 233 | - |3825 | 21k|3825 | 896 | 161k| 528k|5507 | 0.000000e+00 | 4.000000e+00 | Inf
1072.04/1072.00 o 3
1072.04/1072.00 c *1028s|635906 | 1373 | 1807k| 2.8 | 48M| 233 | - |3825 | 19k|3825 | 896 | 162k| 532k|5516 | 0.000000e+00 | 3.000000e+00 | Inf
1079.44/1079.44 c 1035s|640000 | 1356 | 1823k| 2.8 | 46M| 233 | 6 |3825 | 14k|3825 | 896 | 162k| 538k|5552 | 0.000000e+00 | 3.000000e+00 | Inf
1097.43/1097.40 c 1052s|650000 | 1376 | 1864k| 2.9 | 49M| 233 | 15 |3825 | 20k|3825 | 896 | 164k| 553k|5617 | 0.000000e+00 | 3.000000e+00 | Inf
1115.04/1115.07 c 1069s|660000 | 1353 | 1900k| 2.9 | 47M| 233 | 1 |3825 | 16k|3825 | 896 | 165k| 567k|5661 | 0.000000e+00 | 3.000000e+00 | Inf
1132.84/1132.84 c 1086s|670000 | 1371 | 1940k| 2.9 | 48M| 233 | 18 |3825 | 17k|3825 | 896 | 166k| 581k|5732 | 0.000000e+00 | 3.000000e+00 | Inf
1151.04/1151.01 c 1103s|680000 | 1423 | 1980k| 2.9 | 48M| 233 | 13 |3825 | 18k|3825 | 896 | 167k| 595k|5793 | 0.000000e+00 | 3.000000e+00 | Inf
1170.34/1170.32 c 1122s|690000 | 1459 | 2020k| 2.9 | 51M| 233 | 14 |3825 | 24k|3825 | 896 | 168k| 608k|5851 | 0.000000e+00 | 3.000000e+00 | Inf
1190.94/1190.94 c 1142s|700000 | 1427 | 2061k| 2.9 | 50M| 233 | - |3825 | 22k|3825 | 907 | 169k| 622k|5928 | 0.000000e+00 | 3.000000e+00 | Inf
1210.94/1210.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1210.94/1210.97 c 1161s|710000 | 1422 | 2101k| 3.0 | 51M| 233 | - |3825 | 23k| 0 | 0 | 171k| 636k|5995 | 0.000000e+00 | 3.000000e+00 | Inf
1230.95/1230.96 c 1180s|720000 | 1441 | 2142k| 3.0 | 52M| 233 | 15 |3825 | 26k|3825 | 896 | 172k| 651k|6063 | 0.000000e+00 | 3.000000e+00 | Inf
1251.04/1251.09 c 1199s|730000 | 1433 | 2185k| 3.0 | 52M| 233 | - |3825 | 26k| 0 | 0 | 173k| 666k|6129 | 0.000000e+00 | 3.000000e+00 | Inf
1272.34/1272.31 c 1220s|740000 | 1432 | 2223k| 3.0 | 53M| 233 | - |3825 | 30k| 0 | 0 | 174k| 681k|6191 | 0.000000e+00 | 3.000000e+00 | Inf
1294.85/1294.84 c 1242s|750000 | 1440 | 2268k| 3.0 | 55M| 233 | - |3825 | 33k| 0 | 0 | 175k| 696k|6236 | 0.000000e+00 | 3.000000e+00 | Inf
1316.75/1316.76 c 1263s|760000 | 1448 | 2311k| 3.0 | 57M| 233 | 1 |3825 | 39k|3825 | 896 | 176k| 711k|6300 | 0.000000e+00 | 3.000000e+00 | Inf
1339.94/1339.95 c 1285s|770000 | 1420 | 2355k| 3.1 | 54M| 233 | 11 |3825 | 29k|3825 | 896 | 178k| 725k|6362 | 0.000000e+00 | 3.000000e+00 | Inf
1360.95/1360.96 c 1305s|780000 | 1478 | 2401k| 3.1 | 54M| 233 | - |3825 | 30k| 0 | 0 | 179k| 740k|6413 | 0.000000e+00 | 3.000000e+00 | Inf
1380.95/1380.93 c 1325s|790000 | 1431 | 2444k| 3.1 | 54M| 233 | 18 |3825 | 31k|3825 | 896 | 180k| 756k|6468 | 0.000000e+00 | 3.000000e+00 | Inf
1401.25/1401.26 c 1344s|800000 | 1480 | 2487k| 3.1 | 55M| 233 | 21 |3825 | 32k|3825 | 896 | 181k| 771k|6523 | 0.000000e+00 | 3.000000e+00 | Inf
1422.85/1422.83 c 1365s|810000 | 1444 | 2530k| 3.1 | 55M| 233 | 1 |3825 | 32k|3825 | 896 | 183k| 787k|6578 | 0.000000e+00 | 3.000000e+00 | Inf
1444.15/1444.15 c 1385s|820000 | 1436 | 2573k| 3.1 | 54M| 233 | 2 |3825 | 30k|3825 | 896 | 184k| 802k|6692 | 0.000000e+00 | 3.000000e+00 | Inf
1464.35/1464.38 c 1405s|830000 | 1478 | 2609k| 3.1 | 57M| 233 | 1 |3825 | 36k|3825 | 896 | 186k| 817k|6717 | 0.000000e+00 | 3.000000e+00 | Inf
1485.36/1485.33 c 1425s|840000 | 1472 | 2645k| 3.1 | 56M| 233 | - |3825 | 32k| 0 | 0 | 187k| 833k|6790 | 0.000000e+00 | 3.000000e+00 | Inf
1506.46/1506.43 c 1445s|850000 | 1450 | 2684k| 3.2 | 55M| 233 | 15 |3825 | 31k|3825 | 896 | 189k| 848k|6854 | 0.000000e+00 | 3.000000e+00 | Inf
1528.56/1528.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1528.56/1528.55 c 1467s|860000 | 1443 | 2725k| 3.2 | 55M| 233 | 9 |3825 | 30k|3825 | 896 | 190k| 863k|6902 | 0.000000e+00 | 3.000000e+00 | Inf
1550.15/1550.14 c 1488s|870000 | 1451 | 2761k| 3.2 | 57M| 233 | 7 |3825 | 34k|3825 | 904 | 192k| 879k|6932 | 0.000000e+00 | 3.000000e+00 | Inf
1571.05/1571.05 c 1508s|880000 | 1446 | 2798k| 3.2 | 54M| 233 | 6 |3825 | 28k|3825 | 896 | 193k| 893k|7026 | 0.000000e+00 | 3.000000e+00 | Inf
1590.85/1590.87 c 1527s|890000 | 1432 | 2843k| 3.2 | 54M| 233 | - |3825 | 28k| 0 | 0 | 195k| 908k|7086 | 0.000000e+00 | 3.000000e+00 | Inf
1610.76/1610.79 c 1546s|900000 | 1447 | 2889k| 3.2 | 53M| 233 | 10 |3825 | 25k|3825 | 896 | 196k| 924k|7153 | 0.000000e+00 | 3.000000e+00 | Inf
1631.56/1631.59 c 1566s|910000 | 1431 | 2932k| 3.2 | 54M| 233 | - |3825 | 29k| 0 | 0 | 197k| 938k|7196 | 0.000000e+00 | 3.000000e+00 | Inf
1652.16/1652.12 c 1586s|920000 | 1466 | 2968k| 3.2 | 56M| 233 | - |3825 | 34k| 0 | 0 | 198k| 954k|7218 | 0.000000e+00 | 3.000000e+00 | Inf
1673.26/1673.20 c 1606s|930000 | 1447 | 3005k| 3.2 | 54M| 233 | 1 |3825 | 28k|3825 | 896 | 200k| 970k|7288 | 0.000000e+00 | 3.000000e+00 | Inf
1693.46/1693.47 c 1625s|940000 | 1417 | 3045k| 3.2 | 51M| 233 | - |3825 | 21k| 0 | 0 | 201k| 985k|7354 | 0.000000e+00 | 3.000000e+00 | Inf
1711.46/1711.40 c 1642s|950000 | 1423 | 3086k| 3.2 | 54M| 233 | - |3825 | 27k| 0 | 0 | 202k|1001k|7386 | 0.000000e+00 | 3.000000e+00 | Inf
1731.06/1731.00 c 1661s|960000 | 1435 | 3124k| 3.3 | 54M| 233 | 10 |3825 | 29k|3825 | 896 | 203k|1016k|7437 | 0.000000e+00 | 3.000000e+00 | Inf
1750.87/1750.87 c 1680s|970000 | 1443 | 3167k| 3.3 | 55M| 233 | 1 |3825 | 30k|3825 | 896 | 205k|1031k|7486 | 0.000000e+00 | 3.000000e+00 | Inf
1755.57/1755.57 o 2
1755.57/1755.57 c *1685s|972393 | 904 | 3178k| 3.3 | 48M| 233 | - |3825 | 32k|3825 | 896 | 205k|1035k|7486 | 0.000000e+00 | 2.000000e+00 | Inf
1769.36/1769.33 c 1698s|980000 | 903 | 3208k| 3.3 | 47M| 233 | - |3825 | 27k| 0 | 0 | 206k|1048k|7540 | 0.000000e+00 | 2.000000e+00 | Inf
1788.07/1788.04 c 1716s|990000 | 872 | 3248k| 3.3 | 45M| 233 | 13 |3825 | 24k|3825 | 896 | 207k|1064k|7604 | 0.000000e+00 | 2.000000e+00 | Inf
1800.08/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.00 c
1800.08/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.00 c Solving Time (sec) : 1727.43
1800.08/1800.00 c Solving Nodes : 995820
1800.08/1800.00 c Primal Bound : +2.00000000000000e+00 (221 solutions)
1800.08/1800.00 c Dual Bound : +0.00000000000000e+00
1800.08/1800.00 c Gap : infinite
1800.08/1800.03 s SATISFIABLE
1800.08/1800.03 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210
1800.08/1800.03 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.08/1800.03 v -x188 x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168
1800.08/1800.03 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.08/1800.03 v -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125
1800.08/1800.03 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.08/1800.03 v -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80
1800.08/1800.03 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 x54
1800.08/1800.03 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29
1800.08/1800.03 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.08/1800.03 v -x1
1800.08/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.03 c Solving Time : 1727.43
1800.08/1800.03 c Original Problem :
1800.08/1800.03 c Problem name : HOME/instance-2692825-1277905601.wbo
1800.08/1800.03 c Variables : 3957 (2094 binary, 0 integer, 0 implicit integer, 1863 continuous)
1800.08/1800.03 c Constraints : 4571 initial, 4571 maximal
1800.08/1800.03 c Presolved Problem :
1800.08/1800.03 c Problem name : t_HOME/instance-2692825-1277905601.wbo
1800.08/1800.03 c Variables : 3825 (2028 binary, 0 integer, 0 implicit integer, 1797 continuous)
1800.08/1800.03 c Constraints : 4418 initial, 40173 maximal
1800.08/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.03 c trivial : 0.01 66 0 0 0 0 0 0 0
1800.08/1800.03 c dualfix : 0.00 66 0 0 0 0 0 0 0
1800.08/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.08/1800.03 c indicator : 0.00 0 0 0 0 0 66 0 0
1800.08/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.03 c linear : 0.04 0 0 0 1878 0 87 72 0
1800.08/1800.03 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.03 c root node : - 1791 - - 3582 - - - -
1800.08/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.03 c integral : 0 0 0 699750 0 14 404 0 0 847214
1800.08/1800.03 c indicator : 1797 0 4022454 275409 0 271 3387609 0 0 0
1800.08/1800.03 c setppc : 5 6 3813001 103474 0 2691 688560 0 0 0
1800.08/1800.03 c linear : 1797 6 4078836 264196 0 251227 17747100 208338 0 0
1800.08/1800.03 c logicor : 819+ 6 1583989 245634 0 133887 3552980 0 0 0
1800.08/1800.03 c bounddisjunction : 0+ 0 7575 0 0 0 609 0 0 0
1800.08/1800.03 c countsols : 0 0 0 245634 0 0 0 0 0 0
1800.08/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.03 c integral : 20.52 0.00 0.00 20.52 0.00
1800.08/1800.03 c indicator : 48.29 0.00 15.04 33.25 0.00
1800.08/1800.03 c setppc : 3.60 0.00 3.60 0.00 0.00
1800.08/1800.03 c linear : 132.82 0.00 126.87 5.95 0.00
1800.08/1800.03 c logicor : 199.61 0.00 197.58 2.03 0.00
1800.08/1800.03 c bounddisjunction : 0.04 0.00 0.04 0.00 0.00
1800.08/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.03 c vbounds : 0.00 2 0 0
1800.08/1800.03 c rootredcost : 0.03 118 0 1791
1800.08/1800.03 c pseudoobj : 136.53 4100244 5538 2173676
1800.08/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.03 c propagation : 20.79 393343 393239 2679943 30.4 16079 21.5 -
1800.08/1800.03 c infeasible LP : 3.20 11124 11124 97168 44.2 104 18.6 0
1800.08/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.03 c pseudo solution : 0.04 179 179 938 14.5 133 5.3 -
1800.08/1800.03 c applied globally : - - - 1074304 22.7 - - -
1800.08/1800.03 c applied locally : - - - 0 0.0 - - -
1800.08/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.03 c cut pool : 0.00 4 - - 102 - (maximal pool size: 237)
1800.08/1800.03 c redcost : 40.86 705938 0 937085 0 0
1800.08/1800.03 c impliedbounds : 0.00 5 0 0 0 0
1800.08/1800.03 c intobj : 0.00 0 0 0 0 0
1800.08/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.03 c gomory : 0.13 5 0 0 1214 0
1800.08/1800.03 c strongcg : 0.05 5 0 0 0 0
1800.08/1800.03 c cmir : 0.03 5 0 0 1 0
1800.08/1800.03 c flowcover : 0.06 5 0 0 0 0
1800.08/1800.03 c clique : 0.00 5 0 0 0 0
1800.08/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.03 c mcf : 0.00 1 0 0 0 0
1800.08/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.03 c Pricers : Time Calls Vars
1800.08/1800.03 c problem variables: 0.00 0 0
1800.08/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.03 c relpscost : 20.47 423956 14 404 0 0 847214
1800.08/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.03 c inference : 36.62 245517 0 0 0 0 491034
1800.08/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.03 c random : 0.00 0 0 0 0 0 0
1800.08/1800.03 c Primal Heuristics : Time Calls Found
1800.08/1800.03 c LP solutions : 0.59 - 117
1800.08/1800.03 c pseudo solutions : 0.00 - 0
1800.08/1800.03 c feaspump : 0.00 0 0
1800.08/1800.03 c intshifting : 0.01 8 0
1800.08/1800.03 c oneopt : 0.50 90 0
1800.08/1800.03 c crossover : 2.60 132 0
1800.08/1800.03 c coefdiving : 3.12 3169 0
1800.08/1800.03 c pscostdiving : 3.26 3169 0
1800.08/1800.03 c fracdiving : 3.02 3169 0
1800.08/1800.03 c veclendiving : 3.31 3169 0
1800.08/1800.03 c guideddiving : 3.31 3169 0
1800.08/1800.03 c linesearchdiving : 3.12 3169 0
1800.08/1800.03 c objpscostdiving : 3.34 3164 0
1800.08/1800.03 c rootsoldiving : 3.25 3164 0
1800.08/1800.03 c trivial : 0.01 2 0
1800.08/1800.03 c simplerounding : 0.24 425328 0
1800.08/1800.03 c zirounding : 0.17 1000 0
1800.08/1800.03 c rounding : 1.71 9221 0
1800.08/1800.03 c shifting : 1.27 2907 0
1800.08/1800.03 c twoopt : 0.00 0 0
1800.08/1800.03 c fixandinfer : 0.00 0 0
1800.08/1800.03 c intdiving : 0.00 0 0
1800.08/1800.03 c actconsdiving : 0.00 0 0
1800.08/1800.03 c octane : 0.00 0 0
1800.08/1800.03 c rens : 0.02 1 0
1800.08/1800.03 c rins : 0.00 0 0
1800.08/1800.03 c localbranching : 0.00 0 0
1800.08/1800.03 c mutation : 0.00 0 0
1800.08/1800.03 c dins : 0.00 0 0
1800.08/1800.03 c undercover : 0.00 0 0
1800.08/1800.03 c nlp : 0.00 0 0
1800.08/1800.03 c trysol : 1.02 9651 104
1800.08/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.03 c dual LP : 575.96 474537 3271926 6.89 5680.82
1800.08/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.03 c diving/probing LP: 0.31 162 3311 20.44 10680.65
1800.08/1800.03 c strong branching : 17.60 7621 112685 14.79 6402.56
1800.08/1800.03 c (at root node) : - 33 4084 123.76 -
1800.08/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.03 c B&B Tree :
1800.08/1800.03 c number of runs : 1
1800.08/1800.03 c nodes : 995820
1800.08/1800.03 c nodes (total) : 995820
1800.08/1800.03 c nodes left : 867
1800.08/1800.03 c max depth : 233
1800.08/1800.03 c max depth (total): 233
1800.08/1800.03 c backtracks : 89103 (8.9%)
1800.08/1800.03 c delayed cutoffs : 80537
1800.08/1800.03 c repropagations : 1599587 (5655955 domain reductions, 78257 cutoffs)
1800.08/1800.03 c avg switch length: 4.84
1800.08/1800.03 c switching time : 224.60
1800.08/1800.03 c Solution :
1800.08/1800.03 c Solutions found : 221 (118 improvements)
1800.08/1800.03 c First Solution : +9.08110000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.08/1800.03 c Primal Bound : +2.00000000000000e+00 (in run 1, after 972393 nodes, 1684.83 seconds, depth 52, found by <relaxation>)
1800.08/1800.03 c Dual Bound : +0.00000000000000e+00
1800.08/1800.03 c Gap : infinite
1800.08/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.03 c Root Iterations : 198
1800.17/1800.10 c Time complete: 1800.17.