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-2692859-1277907338.wbo>
0.00/0.03 c original problem has 3905 variables (2068 bin, 0 int, 0 impl, 1837 cont) and 4545 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.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1967 impls, 5 clqs
0.06/0.09 c (round 2) 0 del vars, 61 del conss, 1837 chg bounds, 45 chg sides, 0 chg coeffs, 0 upgd conss, 1967 impls, 5 clqs
0.09/0.10 c (round 3) 45 del vars, 131 del conss, 1851 chg bounds, 70 chg sides, 0 chg coeffs, 0 upgd conss, 1967 impls, 5 clqs
0.09/0.11 c (round 4) 104 del vars, 146 del conss, 1852 chg bounds, 71 chg sides, 0 chg coeffs, 0 upgd conss, 1967 impls, 5 clqs
0.09/0.12 c (round 5) 119 del vars, 147 del conss, 1852 chg bounds, 71 chg sides, 0 chg coeffs, 844 upgd conss, 1967 impls, 5 clqs
0.09/0.13 c (round 6) 120 del vars, 147 del conss, 1852 chg bounds, 71 chg sides, 0 chg coeffs, 844 upgd conss, 1967 impls, 5 clqs
0.09/0.18 c (0.1s) probing: 101/2008 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (7 rounds):
0.09/0.18 c 120 deleted vars, 147 deleted constraints, 1852 tightened bounds, 0 added holes, 71 changed sides, 0 changed coefficients
0.09/0.18 c 1967 implications, 5 cliques
0.09/0.18 c presolved problem has 3785 variables (2008 bin, 0 int, 0 impl, 1777 cont) and 4398 constraints
0.09/0.18 c 1777 constraints of type <indicator>
0.09/0.18 c 5 constraints of type <setppc>
0.09/0.18 c 1777 constraints of type <linear>
0.09/0.18 c 839 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.12
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.97
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.19 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.19 c 0.1s| 1 | 0 | 9 | - | 13M| 0 | 3 |3785 |4398 |3785 | 844 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 o 90383
0.19/0.20 c y 0.1s| 1 | 0 | 14 | - | 14M| 0 | 3 |3785 |4398 |3785 | 844 | 0 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 48 | - | 14M| 0 | 36 |3785 |4398 |3785 | 867 | 23 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 106 | - | 14M| 0 | 50 |3785 |4398 |3785 | 894 | 50 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf
0.29/0.34 c 0.3s| 1 | 0 | 156 | - | 14M| 0 | 57 |3785 |4398 |3785 | 917 | 73 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf
0.39/0.42 c 0.4s| 1 | 0 | 186 | - | 14M| 0 | 50 |3785 |4398 |3785 | 927 | 83 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf
0.49/0.50 c 0.5s| 1 | 0 | 224 | - | 14M| 0 | 60 |3785 |4398 |3785 | 932 | 88 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf
0.59/0.65 c 0.5s| 1 | 0 | 240 | - | 15M| 0 | 64 |3785 |4398 |3785 | 936 | 92 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf
1.29/1.38 c 1.3s| 1 | 2 | 240 | - | 15M| 0 | 64 |3785 |4398 |3785 | 936 | 92 | 0 | 33 | 0.000000e+00 | 9.038300e+04 | Inf
34.59/34.68 c 33.8s| 10000 | 9989 | 84763 | 8.5 | 39M| 127 | 12 |3785 |4417 |3785 | 945 |4584 | 25 |1719 | 0.000000e+00 | 9.038300e+04 | Inf
53.69/53.78 c 52.2s| 20000 | 19984 |134523 | 6.7 | 57M| 133 | 0 |3785 |4404 |3785 | 987 |7918 | 27 |1745 | 0.000000e+00 | 9.038300e+04 | Inf
73.19/73.25 c 71.0s| 30000 | 29980 |186065 | 6.2 | 76M| 133 | 0 |3785 |4405 |3785 | 959 | 11k| 39 |1754 | 0.000000e+00 | 9.038300e+04 | Inf
88.89/88.92 c 86.1s| 40000 | 39978 |205299 | 5.1 | 93M| 143 | 0 |3785 |4407 |3785 | 975 | 13k| 42 |1757 | 0.000000e+00 | 9.038300e+04 | Inf
103.40/103.42 c 100s| 50000 | 49978 |218180 | 4.4 | 111M| 173 | 0 |3785 |4405 |3785 | 973 | 16k| 42 |1758 | 0.000000e+00 | 9.038300e+04 | Inf
118.09/118.15 c 114s| 60000 | 59976 |232893 | 3.9 | 128M| 183 | 9 |3785 |4413 |3785 | 945 | 18k| 50 |1758 | 0.000000e+00 | 9.038300e+04 | Inf
132.89/132.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.89/132.90 c 129s| 70000 | 69976 |246940 | 3.5 | 145M| 183 | 0 |3785 |4405 |3785 | 982 | 21k| 50 |1760 | 0.000000e+00 | 9.038300e+04 | Inf
147.09/147.18 c 143s| 80000 | 79974 |256221 | 3.2 | 163M| 183 | 0 |3785 |4407 |3785 | 964 | 24k| 53 |1760 | 0.000000e+00 | 9.038300e+04 | Inf
161.89/161.95 c 157s| 90000 | 89972 |270019 | 3.0 | 180M| 183 | 0 |3785 |4408 |3785 | 962 | 26k| 54 |1760 | 0.000000e+00 | 9.038300e+04 | Inf
176.59/176.68 c 171s|100000 | 99970 |284386 | 2.8 | 197M| 183 | 0 |3785 |4408 |3785 | 977 | 28k| 57 |1760 | 0.000000e+00 | 9.038300e+04 | Inf
191.09/191.17 c 185s|110000 |109970 |294980 | 2.7 | 214M| 183 | 0 |3785 |4406 |3785 | 956 | 30k| 57 |1760 | 0.000000e+00 | 9.038300e+04 | Inf
205.40/205.44 c 199s|120000 |119968 |304107 | 2.5 | 231M| 183 | 0 |3785 |4410 |3785 | 992 | 32k| 62 |1760 | 0.000000e+00 | 9.038300e+04 | Inf
219.59/219.61 c 213s|130000 |129968 |311696 | 2.4 | 248M| 183 | 0 |3785 |4410 |3785 | 967 | 34k| 62 |1760 | 0.000000e+00 | 9.038300e+04 | Inf
233.69/233.74 c 227s|140000 |139966 |319059 | 2.3 | 265M| 183 | 0 |3785 |4410 |3785 | 993 | 36k| 63 |1776 | 0.000000e+00 | 9.038300e+04 | Inf
247.80/247.85 c 241s|150000 |149966 |325957 | 2.2 | 282M| 183 | 0 |3785 |4407 |3785 | 973 | 37k| 63 |1798 | 0.000000e+00 | 9.038300e+04 | Inf
262.19/262.28 c 255s|160000 |159964 |336467 | 2.1 | 299M| 183 | 0 |3785 |4412 |3785 | 978 | 40k| 68 |1809 | 0.000000e+00 | 9.038300e+04 | Inf
276.39/276.40 c 268s|170000 |169964 |344114 | 2.0 | 316M| 183 | 0 |3785 |4410 |3785 | 972 | 41k| 68 |1811 | 0.000000e+00 | 9.038300e+04 | Inf
290.60/290.65 c 282s|180000 |179961 |352494 | 2.0 | 333M| 183 | 20 |3785 |4411 |3785 | 945 | 43k| 72 |1867 | 0.000000e+00 | 9.038300e+04 | Inf
304.70/304.78 c 296s|190000 |189959 |360078 | 1.9 | 350M| 183 | 0 |3785 |4412 |3785 | 961 | 45k| 73 |1872 | 0.000000e+00 | 9.038300e+04 | Inf
319.19/319.25 c 310s|200000 |199959 |370601 | 1.9 | 368M| 183 | 0 |3785 |4409 |3785 | 970 | 47k| 73 |1875 | 0.000000e+00 | 9.038300e+04 | Inf
334.09/334.18 c 325s|210000 |209955 |384269 | 1.8 | 385M| 183 | 0 |3785 |4410 |3785 | 961 | 49k| 75 |1940 | 0.000000e+00 | 9.038300e+04 | Inf
349.59/349.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
349.59/349.68 c 340s|220000 |219951 |403325 | 1.8 | 402M| 183 | 0 |3785 |4406 |3785 | 974 | 52k| 77 |1983 | 0.000000e+00 | 9.038300e+04 | Inf
364.49/364.59 c 354s|230000 |229949 |416835 | 1.8 | 420M| 183 | 0 |3785 |4407 |3785 | 966 | 55k| 78 |2022 | 0.000000e+00 | 9.038300e+04 | Inf
379.30/379.39 c 369s|240000 |239949 |430958 | 1.8 | 437M| 183 | 0 |3785 |4407 |3785 | 971 | 57k| 78 |2031 | 0.000000e+00 | 9.038300e+04 | Inf
395.09/395.17 c 384s|250000 |249947 |452405 | 1.8 | 454M| 183 | 0 |3785 |4407 |3785 | 958 | 60k| 79 |2109 | 0.000000e+00 | 9.038300e+04 | Inf
410.09/410.13 c 398s|260000 |259945 |467700 | 1.8 | 472M| 183 | 0 |3785 |4410 |3785 | 964 | 62k| 82 |2142 | 0.000000e+00 | 9.038300e+04 | Inf
425.89/425.99 c 414s|270000 |269941 |487260 | 1.8 | 489M| 183 | 0 |3785 |4412 |3785 | 983 | 65k| 84 |2281 | 0.000000e+00 | 9.038300e+04 | Inf
440.79/440.83 c 428s|280000 |279939 |501478 | 1.8 | 507M| 183 | 0 |3785 |4414 |3785 | 957 | 68k| 88 |2283 | 0.000000e+00 | 9.038300e+04 | Inf
455.40/455.47 c 442s|290000 |289939 |513504 | 1.8 | 524M| 183 | 0 |3785 |4413 |3785 | 973 | 71k| 88 |2315 | 0.000000e+00 | 9.038300e+04 | Inf
469.90/469.92 c 457s|300000 |299937 |523871 | 1.7 | 541M| 183 | 0 |3785 |4416 |3785 | 998 | 74k| 91 |2365 | 0.000000e+00 | 9.038300e+04 | Inf
485.70/485.77 c 472s|310000 |309931 |545040 | 1.8 | 559M| 183 | 0 |3785 |4418 |3785 | 977 | 77k| 94 |2392 | 0.000000e+00 | 9.038300e+04 | Inf
500.79/500.84 c 487s|320000 |319929 |559422 | 1.7 | 576M| 183 | 0 |3785 |4418 |3785 | 973 | 79k| 97 |2473 | 0.000000e+00 | 9.038300e+04 | Inf
515.30/515.38 c 501s|330000 |329927 |571217 | 1.7 | 593M| 183 | 0 |3785 |4416 |3785 | 967 | 82k| 98 |2479 | 0.000000e+00 | 9.038300e+04 | Inf
529.60/529.67 c 515s|340000 |339927 |579969 | 1.7 | 610M| 183 | 0 |3785 |4413 |3785 | 975 | 83k| 98 |2486 | 0.000000e+00 | 9.038300e+04 | Inf
544.09/544.12 c 529s|350000 |349925 |589508 | 1.7 | 627M| 183 | 0 |3785 |4412 |3785 | 991 | 86k| 99 |2549 | 0.000000e+00 | 9.038300e+04 | Inf
558.80/558.83 c 543s|360000 |359923 |601197 | 1.7 | 645M| 183 | 0 |3785 |4413 |3785 | 954 | 88k| 100 |2578 | 0.000000e+00 | 9.038300e+04 | Inf
573.30/573.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.30/573.31 c 557s|370000 |369923 |611116 | 1.7 | 662M| 183 | 0 |3785 |4413 |3785 | 995 | 91k| 100 |2578 | 0.000000e+00 | 9.038300e+04 | Inf
587.60/587.67 c 571s|380000 |379923 |619242 | 1.6 | 679M| 183 | 0 |3785 |4413 |3785 | 994 | 92k| 100 |2631 | 0.000000e+00 | 9.038300e+04 | Inf
602.20/602.23 c 585s|390000 |389919 |629475 | 1.6 | 696M| 183 | 0 |3785 |4414 |3785 | 964 | 94k| 102 |2670 | 0.000000e+00 | 9.038300e+04 | Inf
616.40/616.48 c 599s|400000 |399919 |637848 | 1.6 | 713M| 183 | 0 |3785 |4414 |3785 | 982 | 96k| 102 |2677 | 0.000000e+00 | 9.038300e+04 | Inf
630.70/630.70 c 613s|410000 |409917 |645725 | 1.6 | 730M| 183 | 0 |3785 |4415 |3785 | 952 | 98k| 104 |2677 | 0.000000e+00 | 9.038300e+04 | Inf
645.00/645.07 c 627s|420000 |419917 |654575 | 1.6 | 747M| 183 | 0 |3785 |4412 |3785 | 966 | 101k| 104 |2722 | 0.000000e+00 | 9.038300e+04 | Inf
656.61/656.64 o 1061
656.61/656.64 c * 638s|427596 |407414 |666008 | 1.6 | 729M| 183 | - |3785 |4411 |3785 | 989 | 103k| 104 |2772 | 0.000000e+00 | 1.061000e+03 | Inf
661.60/661.62 c 643s|430000 |409800 |676180 | 1.6 | 733M| 183 | 7 |3785 |4469 |3785 | 962 | 105k| 162 |2776 | 0.000000e+00 | 1.061000e+03 | Inf
681.60/681.61 c 662s|440000 |419750 |712099 | 1.6 | 753M| 183 | 0 |3785 |4541 |3785 | 992 | 113k| 317 |2875 | 0.000000e+00 | 1.061000e+03 | Inf
702.50/702.55 c 683s|450000 |429667 |754625 | 1.7 | 772M| 183 | 0 |3785 |4560 |3785 | 977 | 123k| 597 |2967 | 0.000000e+00 | 1.061000e+03 | Inf
705.80/705.84 o 1060
705.80/705.84 c * 686s|451946 |431496 |758541 | 1.7 | 775M| 183 | - |3785 |4546 |3785 | 968 | 124k| 609 |2967 | 0.000000e+00 | 1.060000e+03 | Inf
721.20/721.27 c 701s|460000 |439491 |783017 | 1.7 | 790M| 183 | 0 |3785 |4612 |3785 | 969 | 129k| 809 |3043 | 0.000000e+00 | 1.060000e+03 | Inf
732.40/732.48 o 1059
732.40/732.48 c * 712s|465856 |445202 |801487 | 1.7 | 800M| 183 | - |3785 |4561 |3785 | 957 | 134k| 891 |3076 | 0.000000e+00 | 1.059000e+03 | Inf
740.70/740.70 c 720s|470000 |449311 |814480 | 1.7 | 808M| 183 | 0 |3785 |4577 |3785 | 983 | 136k| 996 |3118 | 0.000000e+00 | 1.059000e+03 | Inf
761.40/761.41 c 740s|480000 |459198 |855955 | 1.8 | 826M| 183 | 0 |3785 |4618 |3785 | 982 | 145k|1303 |3209 | 0.000000e+00 | 1.059000e+03 | Inf
780.60/780.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
780.60/780.65 c 759s|490000 |469115 |887756 | 1.8 | 844M| 183 | 0 |3785 |4578 |3785 | 961 | 153k|1502 |3285 | 0.000000e+00 | 1.059000e+03 | Inf
800.50/800.51 c 778s|500000 |478991 |922040 | 1.8 | 863M| 183 | 0 |3785 |4641 |3785 | 971 | 161k|1854 |3329 | 0.000000e+00 | 1.059000e+03 | Inf
819.60/819.67 c 797s|510000 |488924 |954008 | 1.9 | 880M| 183 | 0 |3785 |4575 |3785 | 979 | 167k|2018 |3368 | 0.000000e+00 | 1.059000e+03 | Inf
836.50/836.57 o 1056
836.50/836.57 c * 813s|518137 |496612 |987473 | 1.9 | 896M| 183 | - |3785 |4645 |3785 | 977 | 174k|2367 |3435 | 0.000000e+00 | 1.056000e+03 | Inf
840.50/840.58 c 817s|520000 |498469 |995320 | 1.9 | 899M| 183 | 23 |3785 |4616 |3785 | 944 | 176k|2386 |3437 | 0.000000e+00 | 1.056000e+03 | Inf
859.30/859.39 c 835s|530000 |508430 | 1022k| 1.9 | 916M| 183 | 0 |3785 |4533 |3785 | 964 | 183k|2500 |3513 | 0.000000e+00 | 1.056000e+03 | Inf
878.21/878.28 c 854s|540000 |518336 | 1053k| 1.9 | 934M| 183 | 0 |3785 |4614 |3785 | 969 | 189k|2832 |3585 | 0.000000e+00 | 1.056000e+03 | Inf
896.41/896.49 c 872s|550000 |528284 | 1079k| 2.0 | 952M| 183 | 0 |3785 |4573 |3785 | 964 | 195k|2974 |3594 | 0.000000e+00 | 1.056000e+03 | Inf
914.60/914.63 c 890s|560000 |538250 | 1103k| 2.0 | 970M| 183 | 0 |3785 |4540 |3785 | 972 | 201k|3077 |3667 | 0.000000e+00 | 1.056000e+03 | Inf
920.90/920.92 o 1054
920.90/920.92 c * 896s|563664 |541617 | 1111k| 2.0 | 976M| 183 | - |3785 |4611 |3785 | 960 | 203k|3192 |3670 | 0.000000e+00 | 1.054000e+03 | Inf
933.40/933.42 c 908s|570000 |547907 | 1132k| 2.0 | 988M| 183 | 0 |3785 |4606 |3785 | 964 | 208k|3325 |3722 | 0.000000e+00 | 1.054000e+03 | Inf
953.41/953.49 c 928s|580000 |557827 | 1171k| 2.0 |1006M| 183 | 0 |3785 |4530 |3785 | 963 | 217k|3524 |3778 | 0.000000e+00 | 1.054000e+03 | Inf
974.10/974.11 c 949s|590000 |567707 | 1213k| 2.1 |1025M| 183 | 0 |3785 |4604 |3785 | 976 | 226k|3889 |3852 | 0.000000e+00 | 1.054000e+03 | Inf
992.71/992.76 c 967s|600000 |577652 | 1241k| 2.1 |1044M| 183 | 0 |3785 |4583 |3785 | 971 | 233k|4064 |3866 | 0.000000e+00 | 1.054000e+03 | Inf
1011.91/1011.93 c 986s|610000 |587614 | 1272k| 2.1 |1062M| 183 | 0 |3785 |4497 |3785 | 978 | 240k|4143 |3934 | 0.000000e+00 | 1.054000e+03 | Inf
1030.91/1030.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1030.91/1030.91 c 1005s|620000 |597569 | 1301k| 2.1 |1079M| 183 | 0 |3785 |4513 |3785 | 968 | 247k|4246 |3988 | 0.000000e+00 | 1.054000e+03 | Inf
1050.71/1050.76 c 1024s|630000 |607477 | 1338k| 2.1 |1097M| 183 | 0 |3785 |4551 |3785 | 970 | 256k|4499 |4021 | 0.000000e+00 | 1.054000e+03 | Inf
1061.90/1061.92 o 1053
1061.90/1061.92 c *1036s|635535 |612859 | 1358k| 2.1 |1107M| 183 | - |3785 |4562 |3785 |1001 | 260k|4609 |4062 | 0.000000e+00 | 1.053000e+03 | Inf
1070.21/1070.27 c 1044s|640000 |617295 | 1371k| 2.1 |1115M| 183 | 0 |3785 |4589 |3785 | 966 | 263k|4714 |4064 | 0.000000e+00 | 1.053000e+03 | Inf
1089.20/1089.24 c 1063s|650000 |627245 | 1399k| 2.2 |1133M| 183 | 0 |3785 |4531 |3785 | 979 | 270k|4816 |4124 | 0.000000e+00 | 1.053000e+03 | Inf
1105.00/1105.08 o 1048
1105.00/1105.08 c *1078s|658337 |634948 | 1423k| 2.2 |1146M| 183 | - |3785 |4521 |3785 | 963 | 276k|4939 |4139 | 0.000000e+00 | 1.048000e+03 | Inf
1108.50/1108.55 c 1082s|660000 |636597 | 1430k| 2.2 |1149M| 183 | 0 |3785 |4543 |3785 | 960 | 278k|4983 |4162 | 0.000000e+00 | 1.048000e+03 | Inf
1131.20/1131.26 c 1104s|670000 |646285 | 1488k| 2.2 |1168M| 183 | 6 |3785 |4651 |3785 | 981 | 287k|5973 |4231 | 0.000000e+00 | 1.048000e+03 | Inf
1150.90/1150.94 c 1124s|680000 |656201 | 1522k| 2.2 |1187M| 183 | 0 |3785 |4553 |3785 | 972 | 295k|6211 |4289 | 0.000000e+00 | 1.048000e+03 | Inf
1172.40/1172.40 c 1145s|690000 |666019 | 1573k| 2.3 |1206M| 183 | 1 |3785 |4612 |3785 | 945 | 303k|6780 |4344 | 0.000000e+00 | 1.048000e+03 | Inf
1187.91/1187.98 c 1160s|700000 |676000 | 1580k| 2.3 |1223M| 270 | 0 |3785 |4540 |3785 | 954 | 305k|6846 |4344 | 0.000000e+00 | 1.048000e+03 | Inf
1189.50/1189.50 o 1046
1189.50/1189.50 c *1162s|700765 |676512 | 1584k| 2.3 |1224M| 270 | - |3785 |4544 |3785 | 975 | 305k|6865 |4344 | 0.000000e+00 | 1.046000e+03 | Inf
1193.90/1193.93 o 1045
1193.90/1193.93 c *1166s|702778 |678379 | 1596k| 2.3 |1227M| 270 | - |3785 |4574 |3785 | 979 | 306k|6941 |4345 | 0.000000e+00 | 1.045000e+03 | Inf
1207.10/1207.15 c 1179s|710000 |685556 | 1614k| 2.3 |1240M| 270 | 0 |3785 |4557 |3785 | 977 | 308k|7069 |4404 | 0.000000e+00 | 1.045000e+03 | Inf
1223.00/1223.06 c 1195s|720000 |695520 | 1624k| 2.3 |1257M| 270 | 0 |3785 |4569 |3785 | 960 | 311k|7181 |4408 | 0.000000e+00 | 1.045000e+03 | Inf
1240.10/1240.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1240.10/1240.15 c 1212s|730000 |705481 | 1641k| 2.2 |1274M| 270 | 0 |3785 |4565 |3785 | 983 | 315k|7307 |4414 | 0.000000e+00 | 1.045000e+03 | Inf
1257.80/1257.81 c 1229s|740000 |715389 | 1661k| 2.2 |1292M| 270 | 0 |3785 |4640 |3785 | 972 | 320k|7544 |4477 | 0.000000e+00 | 1.045000e+03 | Inf
1275.51/1275.57 c 1247s|750000 |725266 | 1684k| 2.2 |1310M| 270 | 0 |3785 |4690 |3785 | 965 | 325k|7923 |4482 | 0.000000e+00 | 1.045000e+03 | Inf
1294.10/1294.17 c 1265s|760000 |735110 | 1714k| 2.3 |1329M| 270 | 14 |3785 |4761 |3785 | 955 | 332k|8355 |4543 | 0.000000e+00 | 1.045000e+03 | Inf
1311.50/1311.57 c 1283s|770000 |745089 | 1736k| 2.3 |1347M| 270 | 0 |3785 |4585 |3785 | 964 | 338k|8416 |4569 | 0.000000e+00 | 1.045000e+03 | Inf
1313.41/1313.49 o 1044
1313.41/1313.49 c *1284s|771145 |746069 | 1737k| 2.3 |1349M| 270 | - |3785 |4623 |3785 | 982 | 338k|8481 |4579 | 0.000000e+00 | 1.044000e+03 | Inf
1329.20/1329.29 c 1300s|780000 |754862 | 1759k| 2.3 |1365M| 270 | 0 |3785 |4586 |3785 | 962 | 343k|8667 |4598 | 0.000000e+00 | 1.044000e+03 | Inf
1346.70/1346.70 c 1317s|790000 |764763 | 1780k| 2.3 |1382M| 270 | 0 |3785 |4658 |3785 | 972 | 348k|8948 |4628 | 0.000000e+00 | 1.044000e+03 | Inf
1363.00/1363.00 c 1333s|800000 |774741 | 1792k| 2.2 |1400M| 270 | 0 |3785 |4592 |3785 | 973 | 350k|9005 |4654 | 0.000000e+00 | 1.044000e+03 | Inf
1379.70/1379.73 c 1350s|810000 |784698 | 1810k| 2.2 |1417M| 270 | 0 |3785 |4587 |3785 | 980 | 355k|9121 |4658 | 0.000000e+00 | 1.044000e+03 | Inf
1386.20/1386.28 o 1043
1386.20/1386.28 c *1356s|813714 |788240 | 1818k| 2.2 |1423M| 270 | - |3785 |4648 |3785 | 971 | 357k|9231 |4661 | 0.000000e+00 | 1.043000e+03 | Inf
1398.40/1398.41 c 1368s|820000 |794451 | 1838k| 2.2 |1436M| 270 | 0 |3785 |4613 |3785 | 969 | 362k|9450 |4715 | 0.000000e+00 | 1.043000e+03 | Inf
1419.80/1419.83 c 1390s|830000 |804210 | 1892k| 2.3 |1456M| 270 | 0 |3785 |4643 |3785 | 972 | 369k| 10k|4758 | 0.000000e+00 | 1.043000e+03 | Inf
1436.80/1436.80 c 1406s|840000 |814175 | 1913k| 2.3 |1474M| 270 | 0 |3785 |4579 |3785 | 968 | 375k| 10k|4760 | 0.000000e+00 | 1.043000e+03 | Inf
1453.71/1453.71 c 1423s|850000 |824161 | 1931k| 2.3 |1491M| 270 | 0 |3785 |4509 |3785 | 975 | 379k| 10k|4809 | 0.000000e+00 | 1.043000e+03 | Inf
1471.20/1471.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1471.20/1471.28 c 1441s|860000 |834081 | 1954k| 2.3 |1509M| 270 | 0 |3785 |4568 |3785 | 963 | 385k| 10k|4814 | 0.000000e+00 | 1.043000e+03 | Inf
1474.10/1474.19 o 1041
1474.10/1474.19 c *1444s|861520 |835257 | 1958k| 2.3 |1511M| 270 | - |3785 |4591 |3785 | 968 | 385k| 10k|4814 | 0.000000e+00 | 1.041000e+03 | Inf
1488.61/1488.68 c 1458s|870000 |843667 | 1973k| 2.3 |1525M| 270 | 0 |3785 |4630 |3785 | 965 | 389k| 10k|4854 | 0.000000e+00 | 1.041000e+03 | Inf
1506.50/1506.52 c 1475s|880000 |853535 | 2000k| 2.3 |1543M| 270 | 0 |3785 |4641 |3785 | 966 | 394k| 11k|4865 | 0.000000e+00 | 1.041000e+03 | Inf
1521.10/1521.20 o 1038
1521.10/1521.20 c *1490s|889113 |862185 | 2010k| 2.3 |1557M| 270 | - |3785 |4613 |3785 | 974 | 397k| 11k|4878 | 0.000000e+00 | 1.038000e+03 | Inf
1521.41/1521.48 o 1036
1521.41/1521.48 c *1490s|889236 |862030 | 2011k| 2.3 |1556M| 270 | - |3785 |4633 |3785 | 976 | 397k| 11k|4878 | 0.000000e+00 | 1.036000e+03 | Inf
1522.90/1522.97 c 1492s|890000 |862776 | 2013k| 2.3 |1558M| 270 | 0 |3785 |4650 |3785 | 976 | 398k| 11k|4882 | 0.000000e+00 | 1.036000e+03 | Inf
1540.40/1540.41 c 1509s|900000 |872711 | 2034k| 2.3 |1576M| 270 | 0 |3785 |4649 |3785 | 975 | 402k| 11k|4910 | 0.000000e+00 | 1.036000e+03 | Inf
1559.40/1559.46 c 1528s|910000 |882604 | 2064k| 2.3 |1595M| 270 | 0 |3785 |4711 |3785 | 965 | 411k| 11k|4957 | 0.000000e+00 | 1.036000e+03 | Inf
1576.60/1576.69 c 1545s|920000 |892552 | 2084k| 2.3 |1612M| 270 | 0 |3785 |4689 |3785 | 971 | 416k| 12k|4971 | 0.000000e+00 | 1.036000e+03 | Inf
1594.80/1594.87 c 1563s|930000 |902501 | 2110k| 2.3 |1631M| 270 | 0 |3785 |4592 |3785 | 968 | 422k| 12k|5005 | 0.000000e+00 | 1.036000e+03 | Inf
1612.70/1612.71 c 1581s|940000 |912396 | 2132k| 2.3 |1649M| 270 | 0 |3785 |4638 |3785 | 964 | 427k| 12k|5030 | 0.000000e+00 | 1.036000e+03 | Inf
1615.91/1615.93 o 1033
1615.91/1615.93 c *1584s|941801 |913743 | 2137k| 2.3 |1651M| 270 | - |3785 |4650 |3785 | 974 | 428k| 12k|5030 | 0.000000e+00 | 1.033000e+03 | Inf
1617.61/1617.61 o 1029
1617.61/1617.61 c *1585s|942522 |913907 | 2141k| 2.3 |1651M| 270 | - |3785 |4656 |3785 | 961 | 429k| 12k|5030 | 0.000000e+00 | 1.029000e+03 | Inf
1620.91/1620.96 o 1028
1620.91/1620.96 c *1589s|944202 |915410 | 2147k| 2.3 |1653M| 270 | - |3785 |4676 |3785 | 975 | 430k| 12k|5031 | 0.000000e+00 | 1.028000e+03 | Inf
1632.11/1632.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1632.11/1632.12 c 1600s|950000 |921139 | 2165k| 2.3 |1664M| 270 | 0 |3785 |4635 |3785 | 972 | 434k| 12k|5083 | 0.000000e+00 | 1.028000e+03 | Inf
1649.00/1649.07 c 1617s|960000 |931047 | 2183k| 2.3 |1682M| 270 | 0 |3785 |4714 |3785 | 969 | 439k| 13k|5094 | 0.000000e+00 | 1.028000e+03 | Inf
1655.41/1655.46 o 1025
1655.41/1655.46 c *1623s|963659 |934193 | 2189k| 2.3 |1687M| 270 | - |3785 |4730 |3785 | 985 | 440k| 13k|5094 | 0.000000e+00 | 1.025000e+03 | Inf
1666.60/1666.61 c 1634s|970000 |940506 | 2200k| 2.3 |1699M| 270 | 0 |3785 |4698 |3785 | 954 | 443k| 13k|5098 | 0.000000e+00 | 1.025000e+03 | Inf
1681.50/1681.52 o 1024
1681.50/1681.52 c *1649s|978253 |948553 | 2219k| 2.3 |1713M| 270 | - |3785 |4657 |3785 | 986 | 448k| 13k|5152 | 0.000000e+00 | 1.024000e+03 | Inf
1684.70/1684.70 c 1652s|980000 |950296 | 2223k| 2.3 |1716M| 270 | 0 |3785 |4599 |3785 | 971 | 449k| 13k|5152 | 0.000000e+00 | 1.024000e+03 | Inf
1689.01/1689.06 o 1021
1689.01/1689.06 c *1656s|982292 |952118 | 2230k| 2.3 |1719M| 270 | - |3785 |4638 |3785 | 986 | 451k| 13k|5154 | 0.000000e+00 | 1.021000e+03 | Inf
1703.11/1703.16 c 1670s|990000 |959754 | 2250k| 2.3 |1733M| 270 | 0 |3785 |4634 |3785 | 957 | 456k| 13k|5158 | 0.000000e+00 | 1.021000e+03 | Inf
1720.41/1720.49 c 1687s| 1000k|969700 | 2271k| 2.3 |1750M| 270 | 0 |3785 |4676 |3785 | 965 | 461k| 14k|5218 | 0.000000e+00 | 1.021000e+03 | Inf
1738.11/1738.16 c 1705s| 1010k|979547 | 2294k| 2.3 |1769M| 270 | 0 |3785 |4810 |3785 | 965 | 467k| 14k|5223 | 0.000000e+00 | 1.021000e+03 | Inf
1755.01/1755.08 c 1721s| 1020k|989467 | 2311k| 2.3 |1787M| 270 | 0 |3785 |4726 |3785 | 954 | 471k| 14k|5253 | 0.000000e+00 | 1.021000e+03 | Inf
1770.01/1770.03 o 1015
1770.01/1770.03 c *1736s| 1028k|997365 | 2325k| 2.3 |1799M| 270 | - |3785 |4613 |3785 | 953 | 475k| 14k|5274 | 0.000000e+00 | 1.015000e+03 | Inf
1772.21/1772.28 c 1738s| 1030k|998529 | 2329k| 2.3 |1801M| 270 | 0 |3785 |4634 |3785 | 982 | 476k| 14k|5277 | 0.000000e+00 | 1.015000e+03 | Inf
1773.12/1773.16 o 1009
1773.12/1773.16 c *1739s| 1030k|997974 | 2331k| 2.3 |1799M| 270 | - |3785 |4630 |3785 | 982 | 476k| 14k|5278 | 0.000000e+00 | 1.009000e+03 | Inf
1789.62/1789.66 c 1756s| 1040k| 1007k| 2348k| 2.3 |1816M| 270 | 0 |3785 |4730 |3785 | 971 | 481k| 15k|5283 | 0.000000e+00 | 1.009000e+03 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1765.85
1800.02/1800.00 c Solving Nodes : 1046089
1800.02/1800.00 c Primal Bound : +1.00900000000000e+03 (122 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.02/1800.04 s SATISFIABLE
1800.02/1800.04 v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.02/1800.04 v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.02/1800.04 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.02/1800.04 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.02/1800.04 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126
1800.02/1800.04 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105
1800.02/1800.04 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81
1800.02/1800.04 v -x80 -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
1800.02/1800.04 v -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30
1800.02/1800.04 v -x29 -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
1800.02/1800.04 v -x2 -x1
1800.02/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.04 c Solving Time : 1765.85
1800.02/1800.04 c Original Problem :
1800.02/1800.04 c Problem name : HOME/instance-2692859-1277907338.wbo
1800.02/1800.04 c Variables : 3905 (2068 binary, 0 integer, 0 implicit integer, 1837 continuous)
1800.02/1800.04 c Constraints : 4545 initial, 4545 maximal
1800.02/1800.04 c Presolved Problem :
1800.02/1800.04 c Problem name : t_HOME/instance-2692859-1277907338.wbo
1800.02/1800.04 c Variables : 3785 (2008 binary, 0 integer, 0 implicit integer, 1777 continuous)
1800.02/1800.04 c Constraints : 4398 initial, 4952 maximal
1800.02/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.04 c trivial : 0.00 60 0 0 0 0 0 0 0
1800.02/1800.04 c dualfix : 0.00 60 0 0 0 0 0 0 0
1800.02/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0
1800.02/1800.04 c indicator : 0.00 0 0 0 0 0 60 0 0
1800.02/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c linear : 0.07 0 0 0 1852 0 87 71 0
1800.02/1800.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c root node : - 0 - - 0 - - - -
1800.02/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.04 c integral : 0 0 0 1122747 0 0 31 0 0 182758
1800.02/1800.04 c indicator : 1777 0 1631372 1031331 0 74 2091836 0 0 0
1800.02/1800.04 c setppc : 5 6 853435 471632 0 63 182623 0 0 0
1800.02/1800.04 c linear : 1777 6 1620181 1021336 0 677 840538 484562 0 0
1800.02/1800.05 c logicor : 839+ 6 715994 952178 0 268 728366 0 0 0
1800.02/1800.05 c bounddisjunction : 0+ 0 1955 0 0 0 0 0 0 0
1800.02/1800.05 c countsols : 0 0 0 952178 0 0 0 0 0 0
1800.02/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.05 c integral : 18.67 0.00 0.00 18.67 0.00
1800.02/1800.05 c indicator : 172.90 0.00 33.66 139.24 0.00
1800.02/1800.05 c setppc : 1.39 0.00 1.27 0.12 0.00
1800.02/1800.05 c linear : 44.22 0.00 16.84 27.38 0.00
1800.02/1800.05 c logicor : 13.39 0.00 6.60 6.79 0.00
1800.02/1800.05 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.05 c countsols : 0.09 0.00 0.00 0.09 0.00
1800.02/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.05 c vbounds : 0.27 2 0 0
1800.02/1800.05 c rootredcost : 0.18 23 0 0
1800.02/1800.05 c pseudoobj : 51.83 1632444 1261 405179
1800.02/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.05 c propagation : 0.20 2269 2269 16683 29.4 1597 4.0 -
1800.02/1800.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.05 c pseudo solution : 0.05 384 384 3746 24.2 387 4.4 -
1800.02/1800.05 c applied globally : - - - 15328 24.2 - - -
1800.02/1800.05 c applied locally : - - - 0 0.0 - - -
1800.02/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.05 c cut pool : 0.00 5 - - 66 - (maximal pool size: 217)
1800.02/1800.05 c redcost : 83.52 1124229 0 999771 0 0
1800.02/1800.05 c impliedbounds : 0.00 6 0 0 0 0
1800.02/1800.05 c intobj : 0.00 0 0 0 0 0
1800.02/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.05 c gomory : 0.14 6 0 0 882 0
1800.02/1800.05 c strongcg : 0.09 6 0 0 36 0
1800.02/1800.05 c cmir : 0.03 6 0 0 0 0
1800.02/1800.05 c flowcover : 0.08 6 0 0 0 0
1800.02/1800.05 c clique : 0.00 6 0 0 0 0
1800.02/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.05 c mcf : 0.00 1 0 0 0 0
1800.02/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.05 c Pricers : Time Calls Vars
1800.02/1800.05 c problem variables: 0.00 0 0
1800.02/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.05 c relpscost : 18.35 91408 0 31 0 0 182758
1800.02/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.05 c inference : 142.42 952156 0 0 0 0 1904312
1800.02/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.05 c random : 0.00 0 0 0 0 0 0
1800.02/1800.05 c Primal Heuristics : Time Calls Found
1800.02/1800.05 c LP solutions : 0.30 - 22
1800.02/1800.05 c pseudo solutions : 0.00 - 0
1800.02/1800.05 c feaspump : 0.01 1 0
1800.02/1800.05 c oneopt : 0.43 23 0
1800.02/1800.05 c intshifting : 0.01 12 0
1800.02/1800.05 c crossover : 1.98 78 0
1800.02/1800.05 c fracdiving : 22.69 23306 0
1800.02/1800.05 c veclendiving : 22.82 23306 0
1800.02/1800.05 c linesearchdiving : 22.72 23306 0
1800.02/1800.05 c guideddiving : 23.34 23306 0
1800.02/1800.05 c pscostdiving : 22.00 23306 0
1800.02/1800.05 c coefdiving : 22.35 23307 0
1800.02/1800.05 c objpscostdiving : 23.94 22980 0
1800.02/1800.05 c rootsoldiving : 24.90 22980 0
1800.02/1800.05 c trivial : 0.01 2 0
1800.02/1800.05 c simplerounding : 0.39 91443 0
1800.02/1800.05 c zirounding : 0.21 1000 0
1800.02/1800.05 c rounding : 1.03 4283 0
1800.02/1800.05 c shifting : 1.59 1322 0
1800.02/1800.05 c twoopt : 0.00 0 0
1800.02/1800.05 c fixandinfer : 0.00 0 0
1800.02/1800.05 c intdiving : 0.00 0 0
1800.02/1800.05 c actconsdiving : 0.00 0 0
1800.02/1800.05 c octane : 0.00 0 0
1800.02/1800.05 c rens : 0.03 1 0
1800.02/1800.05 c rins : 0.00 0 0
1800.02/1800.05 c localbranching : 0.00 0 0
1800.02/1800.05 c mutation : 0.00 0 0
1800.02/1800.05 c dins : 0.00 0 0
1800.02/1800.05 c undercover : 0.00 0 0
1800.02/1800.05 c nlp : 0.18 0 0
1800.02/1800.05 c trysol : 0.54 25634 100
1800.02/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.05 c primal LP : 0.01 0 0 0.00 0.00
1800.02/1800.05 c dual LP : 675.00 206665 2360256 11.42 3496.68
1800.02/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.05 c diving/probing LP: 0.18 127 1134 8.93 6300.00
1800.02/1800.05 c strong branching : 17.62 5310 131108 24.69 7440.86
1800.02/1800.05 c (at root node) : - 33 5873 177.97 -
1800.02/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.05 c B&B Tree :
1800.02/1800.05 c number of runs : 1
1800.02/1800.05 c nodes : 1046089
1800.02/1800.05 c nodes (total) : 1046089
1800.02/1800.05 c nodes left : 1013498
1800.02/1800.05 c max depth : 270
1800.02/1800.05 c max depth (total): 270
1800.02/1800.05 c backtracks : 23953 (2.3%)
1800.02/1800.05 c delayed cutoffs : 183
1800.02/1800.05 c repropagations : 3800 (114895 domain reductions, 181 cutoffs)
1800.02/1800.05 c avg switch length: 2.66
1800.02/1800.05 c switching time : 68.31
1800.02/1800.05 c Solution :
1800.02/1800.05 c Solutions found : 122 (23 improvements)
1800.02/1800.05 c First Solution : +9.03830000000000e+04 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.02/1800.05 c Primal Bound : +1.00900000000000e+03 (in run 1, after 1030403 nodes, 1739.29 seconds, depth 75, found by <relaxation>)
1800.02/1800.05 c Dual Bound : +0.00000000000000e+00
1800.02/1800.05 c Gap : infinite
1800.02/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.05 c Root Iterations : 240