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-2692807-1277904616.wbo>
0.00/0.03 c original problem has 3945 variables (2088 bin, 0 int, 0 impl, 1857 cont) and 4565 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, 1983 impls, 5 clqs
0.06/0.09 c (round 2) 0 del vars, 62 del conss, 1857 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.06/0.09 c (round 3) 50 del vars, 124 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.09/0.11 c (round 4) 107 del vars, 131 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 834 upgd conss, 1983 impls, 5 clqs
0.09/0.12 c (round 5) 114 del vars, 131 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 834 upgd conss, 1983 impls, 5 clqs
0.09/0.16 c (0.1s) probing: 101/2031 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (6 rounds):
0.09/0.16 c 114 deleted vars, 131 deleted constraints, 1864 tightened bounds, 0 added holes, 62 changed sides, 0 changed coefficients
0.09/0.16 c 1983 implications, 5 cliques
0.09/0.16 c presolved problem has 3831 variables (2031 bin, 0 int, 0 impl, 1800 cont) and 4434 constraints
0.09/0.16 c 1800 constraints of type <indicator>
0.09/0.16 c 5 constraints of type <setppc>
0.09/0.16 c 1800 constraints of type <linear>
0.09/0.16 c 829 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.11
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.17 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.17 c 0.1s| 1 | 0 | 12 | - | 14M| 0 | 3 |3831 |4434 |3831 | 834 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 o 90731
0.09/0.18 c y 0.1s| 1 | 0 | 21 | - | 14M| 0 | 3 |3831 |4434 |3831 | 834 | 0 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.09/0.19 c 0.1s| 1 | 0 | 57 | - | 14M| 0 | 33 |3831 |4434 |3831 | 856 | 22 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 144 | - | 14M| 0 | 56 |3831 |4434 |3831 | 886 | 52 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.29/0.31 c 0.3s| 1 | 0 | 171 | - | 14M| 0 | 58 |3831 |4434 |3831 | 902 | 68 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.29/0.38 c 0.3s| 1 | 0 | 177 | - | 14M| 0 | 57 |3831 |4434 |3831 | 905 | 71 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.39/0.46 c 0.4s| 1 | 0 | 182 | - | 14M| 0 | 60 |3831 |4434 |3831 | 907 | 73 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.49/0.54 c 0.5s| 1 | 0 | 190 | - | 14M| 0 | 59 |3831 |4434 |3831 | 908 | 74 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.79/0.88 c 0.8s| 1 | 2 | 190 | - | 14M| 0 | 59 |3831 |4434 |3831 | 908 | 74 | 0 | 33 | 0.000000e+00 | 9.073100e+04 | Inf
26.18/26.24 c 25.8s| 10000 | 9987 | 37703 | 3.8 | 39M| 217 | 0 |3831 |4459 |3831 | 965 |6550 | 29 |1783 | 0.000000e+00 | 9.073100e+04 | Inf
41.38/41.47 c 40.9s| 20000 | 19983 | 54868 | 2.7 | 57M| 217 | 0 |3831 |4455 |3831 | 966 |9472 | 32 |1805 | 0.000000e+00 | 9.073100e+04 | Inf
57.28/57.32 c 56.6s| 30000 | 29981 | 78856 | 2.6 | 75M| 217 | 16 |3831 |4444 |3831 | 908 | 13k| 38 |1819 | 0.000000e+00 | 9.073100e+04 | Inf
72.68/72.78 c 71.9s| 40000 | 39971 | 99966 | 2.5 | 93M| 217 | 0 |3831 |4456 |3831 | 950 | 15k| 54 |1819 | 0.000000e+00 | 9.073100e+04 | Inf
87.28/87.31 c 86.3s| 50000 | 49965 |112057 | 2.2 | 110M| 217 | 0 |3831 |4456 |3831 | 967 | 18k| 61 |1819 | 0.000000e+00 | 9.073100e+04 | Inf
101.98/102.04 c 101s| 60000 | 59961 |125522 | 2.1 | 128M| 217 | 0 |3831 |4446 |3831 | 959 | 20k| 65 |1819 | 0.000000e+00 | 9.073100e+04 | Inf
116.79/116.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.79/116.82 c 115s| 70000 | 69957 |139131 | 2.0 | 145M| 217 | 11 |3831 |4446 |3831 | 908 | 23k| 69 |1819 | 0.000000e+00 | 9.073100e+04 | Inf
131.48/131.57 c 130s| 80000 | 79949 |152150 | 1.9 | 163M| 217 | 0 |3831 |4446 |3831 | 976 | 26k| 73 |1819 | 0.000000e+00 | 9.073100e+04 | Inf
146.88/146.92 c 145s| 90000 | 89931 |171892 | 1.9 | 180M| 217 | 0 |3831 |4461 |3831 | 953 | 29k| 89 |1819 | 0.000000e+00 | 9.073100e+04 | Inf
161.48/161.51 c 160s|100000 | 99927 |183035 | 1.8 | 198M| 217 | 0 |3831 |4459 |3831 | 998 | 32k| 91 |1819 | 0.000000e+00 | 9.073100e+04 | Inf
176.19/176.27 c 174s|110000 |109915 |194971 | 1.8 | 215M| 217 | 0 |3831 |4464 |3831 | 975 | 34k| 101 |1819 | 0.000000e+00 | 9.073100e+04 | Inf
190.78/190.89 c 189s|120000 |119911 |206933 | 1.7 | 232M| 217 | 0 |3831 |4459 |3831 | 950 | 37k| 104 |1819 | 0.000000e+00 | 9.073100e+04 | Inf
204.98/205.03 c 203s|130000 |129909 |214606 | 1.6 | 249M| 217 | 0 |3831 |4457 |3831 | 940 | 39k| 105 |1819 | 0.000000e+00 | 9.073100e+04 | Inf
219.68/219.78 c 217s|140000 |139907 |227618 | 1.6 | 267M| 217 | 0 |3831 |4454 |3831 | 964 | 41k| 106 |1819 | 0.000000e+00 | 9.073100e+04 | Inf
234.09/234.12 c 232s|150000 |149905 |237715 | 1.6 | 284M| 217 | 0 |3831 |4453 |3831 | 948 | 43k| 107 |1819 | 0.000000e+00 | 9.073100e+04 | Inf
249.48/249.52 c 247s|160000 |159901 |253855 | 1.6 | 301M| 217 | 0 |3831 |4449 |3831 | 930 | 45k| 109 |1870 | 0.000000e+00 | 9.073100e+04 | Inf
265.19/265.23 c 262s|170000 |169895 |271736 | 1.6 | 318M| 217 | 0 |3831 |4448 |3831 | 971 | 48k| 112 |1957 | 0.000000e+00 | 9.073100e+04 | Inf
279.88/279.95 c 277s|180000 |179891 |284997 | 1.6 | 336M| 217 | 0 |3831 |4450 |3831 | 946 | 52k| 115 |1997 | 0.000000e+00 | 9.073100e+04 | Inf
294.28/294.38 c 291s|190000 |189887 |295300 | 1.6 | 353M| 217 | 0 |3831 |4454 |3831 | 935 | 55k| 119 |2050 | 0.000000e+00 | 9.073100e+04 | Inf
309.09/309.14 c 306s|200000 |199883 |307600 | 1.5 | 370M| 217 | 0 |3831 |4454 |3831 | 960 | 57k| 121 |2090 | 0.000000e+00 | 9.073100e+04 | Inf
323.99/324.02 c 321s|210000 |209879 |320927 | 1.5 | 387M| 217 | 0 |3831 |4451 |3831 | 941 | 59k| 123 |2139 | 0.000000e+00 | 9.073100e+04 | Inf
338.59/338.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
338.59/338.61 c 335s|220000 |219871 |332381 | 1.5 | 405M| 217 | 7 |3831 |4452 |3831 | 936 | 61k| 128 |2197 | 0.000000e+00 | 9.073100e+04 | Inf
353.79/353.82 c 350s|230000 |229865 |347890 | 1.5 | 422M| 217 | 0 |3831 |4457 |3831 | 971 | 63k| 135 |2236 | 0.000000e+00 | 9.073100e+04 | Inf
368.49/368.57 c 365s|240000 |239859 |358820 | 1.5 | 439M| 217 | 0 |3831 |4453 |3831 | 952 | 65k| 138 |2333 | 0.000000e+00 | 9.073100e+04 | Inf
382.59/382.68 c 379s|250000 |249857 |366189 | 1.5 | 456M| 217 | 0 |3831 |4452 |3831 | 951 | 67k| 139 |2340 | 0.000000e+00 | 9.073100e+04 | Inf
396.79/396.81 c 393s|260000 |259851 |373883 | 1.4 | 474M| 217 | 0 |3831 |4455 |3831 | 954 | 69k| 143 |2349 | 0.000000e+00 | 9.073100e+04 | Inf
411.59/411.69 c 407s|270000 |269849 |386016 | 1.4 | 491M| 217 | 0 |3831 |4454 |3831 | 930 | 71k| 144 |2401 | 0.000000e+00 | 9.073100e+04 | Inf
426.09/426.11 c 422s|280000 |279849 |396436 | 1.4 | 508M| 217 | 0 |3831 |4449 |3831 | 937 | 72k| 144 |2428 | 0.000000e+00 | 9.073100e+04 | Inf
439.70/439.73 c 435s|290000 |289847 |400217 | 1.4 | 525M| 217 | 24 |3831 |4449 |3831 | 970 | 73k| 145 |2437 | 0.000000e+00 | 9.073100e+04 | Inf
454.39/454.48 c 450s|300000 |299837 |411496 | 1.4 | 542M| 217 | 0 |3831 |4454 |3831 | 947 | 75k| 151 |2532 | 0.000000e+00 | 9.073100e+04 | Inf
468.90/468.90 c 464s|310000 |309835 |419965 | 1.4 | 559M| 217 | 0 |3831 |4451 |3831 | 953 | 77k| 152 |2541 | 0.000000e+00 | 9.073100e+04 | Inf
483.20/483.21 c 478s|320000 |319833 |428938 | 1.3 | 576M| 217 | 0 |3831 |4451 |3831 | 967 | 79k| 153 |2548 | 0.000000e+00 | 9.073100e+04 | Inf
497.99/498.00 c 493s|330000 |329833 |440965 | 1.3 | 594M| 217 | 0 |3831 |4450 |3831 | 927 | 80k| 153 |2585 | 0.000000e+00 | 9.073100e+04 | Inf
511.69/511.77 c 506s|340000 |339833 |445224 | 1.3 | 611M| 217 | 0 |3831 |4450 |3831 | 956 | 81k| 153 |2592 | 0.000000e+00 | 9.073100e+04 | Inf
525.59/525.70 c 520s|350000 |349829 |451405 | 1.3 | 627M| 217 | 0 |3831 |4450 |3831 | 957 | 82k| 156 |2618 | 0.000000e+00 | 9.073100e+04 | Inf
539.59/539.68 c 534s|360000 |359827 |458645 | 1.3 | 644M| 217 | 0 |3831 |4451 |3831 | 971 | 84k| 158 |2641 | 0.000000e+00 | 9.073100e+04 | Inf
553.79/553.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
553.79/553.86 c 548s|370000 |369821 |466614 | 1.3 | 661M| 217 | 0 |3831 |4453 |3831 | 977 | 87k| 162 |2702 | 0.000000e+00 | 9.073100e+04 | Inf
567.70/567.79 c 562s|380000 |379819 |473622 | 1.2 | 678M| 217 | 0 |3831 |4452 |3831 | 958 | 90k| 163 |2703 | 0.000000e+00 | 9.073100e+04 | Inf
581.60/581.69 c 576s|390000 |389819 |480258 | 1.2 | 695M| 217 | 0 |3831 |4450 |3831 | 963 | 92k| 163 |2706 | 0.000000e+00 | 9.073100e+04 | Inf
595.59/595.62 c 589s|400000 |399817 |487160 | 1.2 | 711M| 217 | 0 |3831 |4451 |3831 | 956 | 94k| 165 |2752 | 0.000000e+00 | 9.073100e+04 | Inf
609.31/609.40 c 603s|410000 |409815 |492617 | 1.2 | 728M| 217 | 0 |3831 |4452 |3831 | 964 | 96k| 167 |2760 | 0.000000e+00 | 9.073100e+04 | Inf
623.10/623.17 c 617s|420000 |419813 |498183 | 1.2 | 745M| 217 | 0 |3831 |4451 |3831 | 970 | 98k| 168 |2763 | 0.000000e+00 | 9.073100e+04 | Inf
637.00/637.01 c 630s|430000 |429813 |504766 | 1.2 | 762M| 217 | 0 |3831 |4451 |3831 | 958 | 101k| 168 |2778 | 0.000000e+00 | 9.073100e+04 | Inf
650.50/650.59 c 644s|440000 |439811 |508721 | 1.2 | 778M| 217 | 0 |3831 |4453 |3831 | 967 | 102k| 170 |2808 | 0.000000e+00 | 9.073100e+04 | Inf
664.40/664.45 c 658s|450000 |449811 |514528 | 1.1 | 795M| 217 | 0 |3831 |4452 |3831 | 959 | 104k| 170 |2853 | 0.000000e+00 | 9.073100e+04 | Inf
678.20/678.25 c 671s|460000 |459809 |519960 | 1.1 | 812M| 217 | 0 |3831 |4451 |3831 | 976 | 106k| 171 |2874 | 0.000000e+00 | 9.073100e+04 | Inf
692.10/692.10 c 685s|470000 |469807 |525490 | 1.1 | 829M| 217 | 0 |3831 |4453 |3831 | 947 | 107k| 173 |2889 | 0.000000e+00 | 9.073100e+04 | Inf
706.20/706.26 c 699s|480000 |479805 |532222 | 1.1 | 846M| 217 | 0 |3831 |4447 |3831 | 980 | 109k| 174 |2916 | 0.000000e+00 | 9.073100e+04 | Inf
720.20/720.23 c 713s|490000 |489799 |538336 | 1.1 | 862M| 217 | 0 |3831 |4448 |3831 | 936 | 111k| 177 |2950 | 0.000000e+00 | 9.073100e+04 | Inf
733.50/733.58 c 726s|500000 |499797 |539978 | 1.1 | 879M| 217 | 0 |3831 |4449 |3831 | 962 | 111k| 178 |2957 | 0.000000e+00 | 9.073100e+04 | Inf
747.20/747.29 c 740s|510000 |509797 |545453 | 1.1 | 896M| 217 | 0 |3831 |4448 |3831 | 975 | 113k| 178 |2971 | 0.000000e+00 | 9.073100e+04 | Inf
760.70/760.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
760.70/760.72 c 753s|520000 |519797 |547667 | 1.1 | 913M| 217 | 0 |3831 |4448 |3831 | 975 | 113k| 178 |2990 | 0.000000e+00 | 9.073100e+04 | Inf
774.70/774.75 c 767s|530000 |529793 |554526 | 1.0 | 930M| 217 | 0 |3831 |4450 |3831 | 948 | 114k| 180 |2998 | 0.000000e+00 | 9.073100e+04 | Inf
789.40/789.40 c 781s|540000 |539791 |566048 | 1.0 | 947M| 217 | 0 |3831 |4449 |3831 | 948 | 116k| 181 |3032 | 0.000000e+00 | 9.073100e+04 | Inf
803.40/803.43 c 795s|550000 |549789 |572597 | 1.0 | 964M| 217 | 0 |3831 |4447 |3831 | 954 | 117k| 182 |3075 | 0.000000e+00 | 9.073100e+04 | Inf
818.11/818.16 c 810s|560000 |559787 |585046 | 1.0 | 982M| 217 | 28 |3831 |4447 |3831 | 930 | 119k| 183 |3089 | 0.000000e+00 | 9.073100e+04 | Inf
832.61/832.61 c 824s|570000 |569785 |595278 | 1.0 | 999M| 217 | 0 |3831 |4445 |3831 | 943 | 121k| 184 |3123 | 0.000000e+00 | 9.073100e+04 | Inf
846.91/846.96 c 838s|580000 |579781 |604663 | 1.0 |1016M| 217 | 0 |3831 |4446 |3831 | 944 | 122k| 186 |3167 | 0.000000e+00 | 9.073100e+04 | Inf
861.00/861.04 c 852s|590000 |589779 |612845 | 1.0 |1033M| 217 | 0 |3831 |4447 |3831 | 959 | 123k| 187 |3169 | 0.000000e+00 | 9.073100e+04 | Inf
875.70/875.70 c 867s|600000 |599779 |624895 | 1.0 |1050M| 217 | 0 |3831 |4446 |3831 | 933 | 125k| 187 |3198 | 0.000000e+00 | 9.073100e+04 | Inf
889.71/889.73 c 880s|610000 |609777 |631474 | 1.0 |1067M| 217 | 0 |3831 |4448 |3831 | 957 | 126k| 189 |3249 | 0.000000e+00 | 9.073100e+04 | Inf
904.11/904.13 c 895s|620000 |619775 |642256 | 1.0 |1084M| 217 | 0 |3831 |4449 |3831 | 960 | 128k| 190 |3256 | 0.000000e+00 | 9.073100e+04 | Inf
918.20/918.24 c 909s|630000 |629775 |650783 | 1.0 |1101M| 217 | 0 |3831 |4448 |3831 | 940 | 130k| 190 |3256 | 0.000000e+00 | 9.073100e+04 | Inf
932.30/932.31 c 923s|640000 |639771 |659304 | 1.0 |1118M| 217 | 0 |3831 |4450 |3831 | 954 | 132k| 192 |3305 | 0.000000e+00 | 9.073100e+04 | Inf
946.01/946.07 c 936s|650000 |649771 |665092 | 1.0 |1135M| 217 | 0 |3831 |4449 |3831 | 954 | 133k| 192 |3327 | 0.000000e+00 | 9.073100e+04 | Inf
959.71/959.78 c 950s|660000 |659771 |670325 | 1.0 |1152M| 217 | 0 |3831 |4449 |3831 | 950 | 134k| 192 |3330 | 0.000000e+00 | 9.073100e+04 | Inf
974.01/974.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
974.01/974.03 c 964s|670000 |669767 |680361 | 1.0 |1169M| 217 | 0 |3831 |4450 |3831 | 935 | 135k| 194 |3339 | 0.000000e+00 | 9.073100e+04 | Inf
988.61/988.65 c 978s|680000 |679763 |690785 | 1.0 |1186M| 217 | 0 |3831 |4452 |3831 | 967 | 137k| 198 |3398 | 0.000000e+00 | 9.073100e+04 | Inf
1002.51/1002.59 c 992s|690000 |689763 |698225 | 1.0 |1203M| 217 | 0 |3831 |4451 |3831 | 951 | 139k| 198 |3412 | 0.000000e+00 | 9.073100e+04 | Inf
1016.71/1016.70 c 1006s|700000 |699759 |707217 | 1.0 |1220M| 217 | 0 |3831 |4452 |3831 | 948 | 142k| 200 |3418 | 0.000000e+00 | 9.073100e+04 | Inf
1030.21/1030.23 c 1019s|710000 |709759 |711135 | 1.0 |1237M| 217 | 0 |3831 |4452 |3831 | 964 | 143k| 200 |3419 | 0.000000e+00 | 9.073100e+04 | Inf
1044.11/1044.16 c 1033s|720000 |719757 |717803 | 1.0 |1254M| 217 | 0 |3831 |4455 |3831 | 944 | 145k| 203 |3450 | 0.000000e+00 | 9.073100e+04 | Inf
1058.31/1058.35 c 1047s|730000 |729757 |726457 | 1.0 |1271M| 217 | 0 |3831 |4453 |3831 | 948 | 147k| 203 |3493 | 0.000000e+00 | 9.073100e+04 | Inf
1072.52/1072.56 c 1061s|740000 |739755 |735270 | 1.0 |1288M| 217 | 0 |3831 |4451 |3831 | 941 | 148k| 204 |3512 | 0.000000e+00 | 9.073100e+04 | Inf
1086.51/1086.59 c 1075s|750000 |749749 |742689 | 1.0 |1304M| 217 | 0 |3831 |4455 |3831 | 944 | 150k| 209 |3515 | 0.000000e+00 | 9.073100e+04 | Inf
1100.61/1100.69 c 1089s|760000 |759747 |751049 | 1.0 |1322M| 217 | 0 |3831 |4455 |3831 | 937 | 152k| 211 |3531 | 0.000000e+00 | 9.073100e+04 | Inf
1115.01/1115.06 c 1103s|770000 |769745 |760650 | 1.0 |1339M| 217 | 0 |3831 |4454 |3831 | 968 | 154k| 212 |3589 | 0.000000e+00 | 9.073100e+04 | Inf
1129.01/1129.05 c 1117s|780000 |779745 |767989 | 1.0 |1355M| 217 | 0 |3831 |4451 |3831 | 946 | 155k| 212 |3592 | 0.000000e+00 | 9.073100e+04 | Inf
1143.22/1143.29 c 1131s|790000 |789741 |779137 | 1.0 |1372M| 217 | 0 |3831 |4452 |3831 | 944 | 158k| 214 |3595 | 0.000000e+00 | 9.073100e+04 | Inf
1158.22/1158.27 c 1146s|800000 |799739 |795534 | 1.0 |1390M| 217 | 0 |3831 |4453 |3831 | 935 | 160k| 215 |3658 | 0.000000e+00 | 9.073100e+04 | Inf
1171.71/1171.76 c 1160s|810000 |809735 |801178 | 1.0 |1406M| 217 | 0 |3831 |4456 |3831 | 960 | 161k| 219 |3665 | 0.000000e+00 | 9.073100e+04 | Inf
1185.91/1185.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1185.91/1185.98 c 1174s|820000 |819735 |810243 | 1.0 |1423M| 217 | 0 |3831 |4451 |3831 | 923 | 163k| 219 |3668 | 0.000000e+00 | 9.073100e+04 | Inf
1199.91/1199.94 c 1187s|830000 |829735 |815881 | 1.0 |1440M| 217 | 0 |3831 |4451 |3831 | 955 | 165k| 219 |3714 | 0.000000e+00 | 9.073100e+04 | Inf
1213.92/1213.96 c 1201s|840000 |839733 |823462 | 1.0 |1457M| 217 | 0 |3831 |4450 |3831 | 926 | 166k| 220 |3744 | 0.000000e+00 | 9.073100e+04 | Inf
1228.52/1228.59 c 1216s|850000 |849725 |835603 | 1.0 |1474M| 217 | 0 |3831 |4453 |3831 | 941 | 168k| 224 |3754 | 0.000000e+00 | 9.073100e+04 | Inf
1242.72/1242.70 c 1230s|860000 |859725 |843911 | 1.0 |1491M| 217 | 0 |3831 |4453 |3831 | 968 | 170k| 224 |3755 | 0.000000e+00 | 9.073100e+04 | Inf
1256.92/1256.98 c 1244s|870000 |869723 |852986 | 1.0 |1508M| 217 | 0 |3831 |4454 |3831 | 959 | 171k| 225 |3818 | 0.000000e+00 | 9.073100e+04 | Inf
1270.92/1270.98 c 1258s|880000 |879723 |859724 | 1.0 |1525M| 217 | 0 |3831 |4452 |3831 | 927 | 173k| 225 |3829 | 0.000000e+00 | 9.073100e+04 | Inf
1285.11/1285.12 c 1272s|890000 |889723 |868533 | 1.0 |1542M| 217 | 0 |3831 |4452 |3831 | 963 | 175k| 225 |3830 | 0.000000e+00 | 9.073100e+04 | Inf
1299.72/1299.76 c 1286s|900000 |899723 |880620 | 1.0 |1559M| 217 | 0 |3831 |4450 |3831 | 938 | 176k| 225 |3843 | 0.000000e+00 | 9.073100e+04 | Inf
1313.92/1313.93 c 1300s|910000 |909721 |888245 | 1.0 |1576M| 217 | 0 |3831 |4449 |3831 | 959 | 177k| 226 |3891 | 0.000000e+00 | 9.073100e+04 | Inf
1327.82/1327.87 c 1314s|920000 |919717 |894420 | 1.0 |1593M| 217 | 0 |3831 |4451 |3831 | 949 | 179k| 228 |3910 | 0.000000e+00 | 9.073100e+04 | Inf
1341.71/1341.75 c 1328s|930000 |929717 |901129 | 1.0 |1610M| 217 | 0 |3831 |4451 |3831 | 958 | 180k| 228 |3911 | 0.000000e+00 | 9.073100e+04 | Inf
1356.23/1356.29 c 1342s|940000 |939713 |913423 | 1.0 |1627M| 217 | 0 |3831 |4453 |3831 | 948 | 181k| 230 |3914 | 0.000000e+00 | 9.073100e+04 | Inf
1370.81/1370.84 c 1357s|950000 |949711 |924534 | 1.0 |1644M| 217 | 0 |3831 |4454 |3831 | 979 | 183k| 232 |3972 | 0.000000e+00 | 9.073100e+04 | Inf
1384.72/1384.76 c 1370s|960000 |959705 |930241 | 1.0 |1661M| 217 | 1 |3831 |4458 |3831 | 922 | 184k| 238 |3983 | 0.000000e+00 | 9.073100e+04 | Inf
1398.92/1398.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1398.92/1398.94 c 1384s|970000 |969701 |939360 | 1.0 |1678M| 217 | 0 |3831 |4456 |3831 | 975 | 186k| 240 |3984 | 0.000000e+00 | 9.073100e+04 | Inf
1412.72/1412.71 c 1398s|980000 |979695 |945044 | 1.0 |1694M| 217 | 0 |3831 |4457 |3831 | 960 | 188k| 243 |3984 | 0.000000e+00 | 9.073100e+04 | Inf
1427.12/1427.15 c 1412s|990000 |989693 |955887 | 1.0 |1711M| 217 | 0 |3831 |4458 |3831 | 957 | 190k| 244 |4022 | 0.000000e+00 | 9.073100e+04 | Inf
1441.13/1441.16 c 1426s| 1000k|999693 |963896 | 1.0 |1728M| 217 | 0 |3831 |4457 |3831 | 947 | 192k| 244 |4041 | 0.000000e+00 | 9.073100e+04 | Inf
1455.23/1455.25 c 1440s| 1010k| 1009k|971430 | 1.0 |1745M| 217 | 0 |3831 |4455 |3831 | 955 | 194k| 244 |4049 | 0.000000e+00 | 9.073100e+04 | Inf
1469.23/1469.25 c 1454s| 1020k| 1019k|979336 | 1.0 |1762M| 217 | 8 |3831 |4454 |3831 | 978 | 195k| 245 |4050 | 0.000000e+00 | 9.073100e+04 | Inf
1483.32/1483.32 c 1468s| 1030k| 1029k|987068 | 1.0 |1779M| 217 | 0 |3831 |4454 |3831 | 961 | 198k| 245 |4084 | 0.000000e+00 | 9.073100e+04 | Inf
1497.62/1497.61 c 1482s| 1040k| 1039k|996688 | 1.0 |1796M| 217 | 0 |3831 |4456 |3831 | 946 | 200k| 247 |4114 | 0.000000e+00 | 9.073100e+04 | Inf
1510.92/1510.99 c 1495s| 1050k| 1049k|998966 | 1.0 |1813M| 217 | 0 |3831 |4456 |3831 | 950 | 200k| 247 |4114 | 0.000000e+00 | 9.073100e+04 | Inf
1524.83/1524.80 c 1509s| 1060k| 1059k| 1004k| 0.9 |1830M| 217 | 0 |3831 |4456 |3831 | 946 | 202k| 247 |4116 | 0.000000e+00 | 9.073100e+04 | Inf
1538.53/1538.59 c 1523s| 1070k| 1069k| 1011k| 0.9 |1846M| 217 | 0 |3831 |4458 |3831 | 975 | 203k| 250 |4118 | 0.000000e+00 | 9.073100e+04 | Inf
1552.72/1552.77 c 1537s| 1080k| 1079k| 1019k| 0.9 |1863M| 217 | 0 |3831 |4456 |3831 | 962 | 205k| 250 |4131 | 0.000000e+00 | 9.073100e+04 | Inf
1567.13/1567.16 c 1551s| 1090k| 1089k| 1029k| 0.9 |1880M| 217 | 0 |3831 |4457 |3831 | 940 | 207k| 252 |4170 | 0.000000e+00 | 9.073100e+04 | Inf
1581.53/1581.52 c 1565s| 1100k| 1099k| 1040k| 0.9 |1898M| 217 | 14 |3831 |4454 |3831 | 923 | 208k| 252 |4180 | 0.000000e+00 | 9.073100e+04 | Inf
1595.82/1595.84 c 1579s| 1110k| 1109k| 1051k| 0.9 |1915M| 217 | 0 |3831 |4452 |3831 | 953 | 210k| 252 |4182 | 0.000000e+00 | 9.073100e+04 | Inf
1610.13/1610.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1610.13/1610.15 c 1593s| 1120k| 1119k| 1061k| 0.9 |1932M| 217 | 0 |3831 |4450 |3831 | 949 | 211k| 253 |4208 | 0.000000e+00 | 9.073100e+04 | Inf
1624.33/1624.37 c 1608s| 1130k| 1129k| 1070k| 0.9 |1949M| 217 | 0 |3831 |4453 |3831 | 926 | 213k| 256 |4242 | 0.000000e+00 | 9.073100e+04 | Inf
1638.43/1638.43 c 1621s| 1140k| 1139k| 1079k| 0.9 |1966M| 217 | 0 |3831 |4452 |3831 | 965 | 214k| 256 |4244 | 0.000000e+00 | 9.073100e+04 | Inf
1652.33/1652.32 c 1635s| 1150k| 1149k| 1085k| 0.9 |1982M| 217 | 0 |3831 |4454 |3831 | 958 | 216k| 259 |4245 | 0.000000e+00 | 9.073100e+04 | Inf
1666.33/1666.33 c 1649s| 1160k| 1159k| 1093k| 0.9 |1999M| 217 | 0 |3831 |4454 |3831 | 965 | 218k| 260 |4259 | 0.000000e+00 | 9.073100e+04 | Inf
1680.93/1681.00 c 1664s| 1170k| 1169k| 1104k| 0.9 |2016M| 217 | 0 |3831 |4453 |3831 | 937 | 220k| 260 |4296 | 0.000000e+00 | 9.073100e+04 | Inf
1695.13/1695.12 c 1678s| 1180k| 1179k| 1113k| 0.9 |2033M| 217 | 0 |3831 |4454 |3831 | 950 | 221k| 261 |4301 | 0.000000e+00 | 9.073100e+04 | Inf
1709.13/1709.18 c 1691s| 1190k| 1189k| 1121k| 0.9 |2050M| 217 | 0 |3831 |4453 |3831 | 946 | 223k| 261 |4306 | 0.000000e+00 | 9.073100e+04 | Inf
1723.93/1723.93 c 1706s| 1200k| 1199k| 1135k| 0.9 |2067M| 217 | 0 |3831 |4454 |3831 | 949 | 225k| 263 |4347 | 0.000000e+00 | 9.073100e+04 | Inf
1738.43/1738.45 c 1720s| 1210k| 1209k| 1148k| 0.9 |2084M| 217 | 0 |3831 |4452 |3831 | 945 | 227k| 263 |4358 | 0.000000e+00 | 9.073100e+04 | Inf
1753.13/1753.17 c 1735s| 1220k| 1219k| 1161k| 1.0 |2102M| 217 | 0 |3831 |4452 |3831 | 955 | 228k| 264 |4365 | 0.000000e+00 | 9.073100e+04 | Inf
1767.33/1767.30 c 1749s| 1230k| 1229k| 1169k| 1.0 |2119M| 217 | 0 |3831 |4453 |3831 | 943 | 230k| 265 |4401 | 0.000000e+00 | 9.073100e+04 | Inf
1781.53/1781.51 c 1763s| 1240k| 1239k| 1178k| 1.0 |2136M| 217 | 0 |3831 |4452 |3831 | 949 | 232k| 268 |4435 | 0.000000e+00 | 9.073100e+04 | Inf
1795.53/1795.50 c 1777s| 1250k| 1249k| 1185k| 0.9 |2153M| 217 | 0 |3831 |4453 |3831 | 962 | 234k| 269 |4443 | 0.000000e+00 | 9.073100e+04 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1781.31
1800.03/1800.00 c Solving Nodes : 1253169
1800.03/1800.00 c Primal Bound : +9.07310000000000e+04 (100 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.05 s SATISFIABLE
1800.03/1800.05 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.03/1800.05 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190
1800.03/1800.05 v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169
1800.03/1800.05 v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1800.03/1800.05 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1800.03/1800.05 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1800.03/1800.05 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82
1800.03/1800.05 v -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
1800.03/1800.05 v x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31
1800.03/1800.05 v -x30 -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
1800.03/1800.05 v -x4 -x3 -x2 -x1
1800.03/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.05 c Solving Time : 1781.31
1800.03/1800.05 c Original Problem :
1800.03/1800.05 c Problem name : HOME/instance-2692807-1277904616.wbo
1800.03/1800.05 c Variables : 3945 (2088 binary, 0 integer, 0 implicit integer, 1857 continuous)
1800.03/1800.05 c Constraints : 4565 initial, 4565 maximal
1800.03/1800.05 c Presolved Problem :
1800.03/1800.05 c Problem name : t_HOME/instance-2692807-1277904616.wbo
1800.03/1800.05 c Variables : 3831 (2031 binary, 0 integer, 0 implicit integer, 1800 continuous)
1800.03/1800.05 c Constraints : 4434 initial, 4467 maximal
1800.03/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.05 c trivial : 0.00 57 0 0 0 0 0 0 0
1800.03/1800.05 c dualfix : 0.01 57 0 0 0 0 0 0 0
1800.03/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.05 c indicator : 0.00 0 0 0 0 0 57 0 0
1800.03/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c linear : 0.06 0 0 0 1864 0 74 62 0
1800.03/1800.05 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c root node : - 0 - - 0 - - - -
1800.03/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.05 c integral : 0 0 0 1288690 0 0 12 0 0 87674
1800.03/1800.05 c indicator : 1800 0 1741348 1244842 0 0 953409 0 0 0
1800.03/1800.05 c setppc : 5 6 591208 345154 0 60 152686 0 0 0
1800.03/1800.05 c linear : 1800 6 1673359 1183445 0 3 482908 234696 0 0
1800.03/1800.05 c logicor : 829+ 6 545235 1209156 0 110 426039 0 0 0
1800.03/1800.05 c countsols : 0 0 0 1209156 0 0 0 0 0 0
1800.03/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.05 c integral : 12.87 0.00 0.00 12.87 0.00
1800.03/1800.05 c indicator : 214.79 0.06 35.82 178.91 0.00
1800.03/1800.05 c setppc : 0.99 0.00 0.84 0.15 0.00
1800.03/1800.05 c linear : 35.78 0.00 11.24 24.54 0.00
1800.03/1800.05 c logicor : 12.52 0.00 3.32 9.20 0.00
1800.03/1800.05 c countsols : 0.33 0.00 0.00 0.33 0.00
1800.03/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.05 c vbounds : 0.72 2 0 0
1800.03/1800.05 c rootredcost : 0.49 1 0 0
1800.03/1800.05 c pseudoobj : 56.55 1741148 0 0
1800.03/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.05 c propagation : 0.01 173 173 260 9.1 31 3.8 -
1800.03/1800.05 c infeasible LP : 0.00 3 3 24 26.9 6 3.0 0
1800.03/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.05 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.05 c applied globally : - - - 269 8.6 - - -
1800.03/1800.05 c applied locally : - - - 0 0.0 - - -
1800.03/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.05 c cut pool : 0.00 5 - - 21 - (maximal pool size: 72)
1800.03/1800.05 c redcost : 96.63 1288611 0 0 0 0
1800.03/1800.05 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.05 c intobj : 0.00 0 0 0 0 0
1800.03/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.05 c gomory : 0.14 6 0 0 363 0
1800.03/1800.05 c strongcg : 0.08 6 0 0 44 0
1800.03/1800.05 c cmir : 0.03 6 0 0 0 0
1800.03/1800.05 c flowcover : 0.06 6 0 0 0 0
1800.03/1800.05 c clique : 0.00 6 0 0 0 0
1800.03/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.05 c mcf : 0.00 1 0 0 0 0
1800.03/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.05 c Pricers : Time Calls Vars
1800.03/1800.05 c problem variables: 0.00 0 0
1800.03/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.05 c relpscost : 12.33 43848 0 12 0 0 87674
1800.03/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.05 c inference : 183.72 1209156 0 0 0 0 2418312
1800.03/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.05 c random : 0.00 0 0 0 0 0 0
1800.03/1800.05 c Primal Heuristics : Time Calls Found
1800.03/1800.05 c LP solutions : 0.00 - 0
1800.03/1800.05 c pseudo solutions : 0.00 - 0
1800.03/1800.05 c oneopt : 0.80 1 0
1800.03/1800.05 c feaspump : 0.00 1 0
1800.03/1800.05 c intshifting : 0.01 3 0
1800.03/1800.05 c crossover : 0.83 12 0
1800.03/1800.05 c guideddiving : 11.14 11452 0
1800.03/1800.05 c coefdiving : 11.92 11452 0
1800.03/1800.05 c fracdiving : 11.38 11452 0
1800.03/1800.05 c veclendiving : 11.56 11452 0
1800.03/1800.05 c linesearchdiving : 11.15 11452 0
1800.03/1800.05 c pscostdiving : 11.27 11453 0
1800.03/1800.05 c objpscostdiving : 11.88 11451 0
1800.03/1800.05 c rootsoldiving : 12.22 11451 0
1800.03/1800.05 c trivial : 0.00 2 0
1800.03/1800.05 c simplerounding : 0.52 43764 0
1800.03/1800.05 c zirounding : 0.28 1000 0
1800.03/1800.05 c rounding : 0.85 2865 0
1800.03/1800.05 c shifting : 0.90 904 0
1800.03/1800.05 c twoopt : 0.00 0 0
1800.03/1800.05 c fixandinfer : 0.00 0 0
1800.03/1800.05 c intdiving : 0.00 0 0
1800.03/1800.05 c actconsdiving : 0.00 0 0
1800.03/1800.05 c octane : 0.00 0 0
1800.03/1800.05 c rens : 0.03 1 0
1800.03/1800.05 c rins : 0.00 0 0
1800.03/1800.05 c localbranching : 0.00 0 0
1800.03/1800.05 c mutation : 0.00 0 0
1800.03/1800.05 c dins : 0.00 0 0
1800.03/1800.05 c undercover : 0.00 0 0
1800.03/1800.05 c nlp : 0.40 0 0
1800.03/1800.05 c trysol : 0.69 12992 100
1800.03/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.05 c dual LP : 657.10 93519 1187828 12.70 1807.68
1800.03/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.05 c diving/probing LP: 0.06 59 310 5.25 5166.67
1800.03/1800.05 c strong branching : 11.95 4444 91449 20.58 7652.64
1800.03/1800.05 c (at root node) : - 33 2838 86.00 -
1800.03/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.05 c B&B Tree :
1800.03/1800.05 c number of runs : 1
1800.03/1800.05 c nodes : 1253169
1800.03/1800.05 c nodes (total) : 1253169
1800.03/1800.05 c nodes left : 1252818
1800.03/1800.05 c max depth : 217
1800.03/1800.05 c max depth (total): 217
1800.03/1800.05 c backtracks : 11460 (0.9%)
1800.03/1800.05 c delayed cutoffs : 0
1800.03/1800.05 c repropagations : 1045 (369 domain reductions, 0 cutoffs)
1800.03/1800.05 c avg switch length: 2.12
1800.03/1800.05 c switching time : 68.09
1800.03/1800.05 c Solution :
1800.03/1800.05 c Solutions found : 100 (1 improvements)
1800.03/1800.05 c First Solution : +9.07310000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.03/1800.05 c Primal Bound : +9.07310000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.03/1800.05 c Dual Bound : +0.00000000000000e+00
1800.03/1800.05 c Gap : infinite
1800.03/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.05 c Root Iterations : 190