0.09/0.15 c SCIP version 1.1.0.7
0.09/0.15 c LP-Solver SoPlex 1.4.1
0.09/0.15 c user parameter file <scip.set> not found - using default parameters
0.09/0.15 c read problem <HOME/instance-1869094-1245158391.opb>
0.09/0.15 c original problem has 4360 variables (4360 bin, 0 int, 0 impl, 0 cont) and 8958 constraints
0.19/0.20 c start presolving problem
0.19/0.20 c presolving:
0.39/0.40 c (round 1) 2751 del vars, 170 del conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 162950 impls, 0 clqs
0.39/0.47 c (round 2) 2908 del vars, 4538 del conss, 160 chg bounds, 60 chg sides, 141 chg coeffs, 0 upgd conss, 165412 impls, 0 clqs
0.39/0.48 c (round 3) 2988 del vars, 4901 del conss, 213 chg bounds, 72 chg sides, 154 chg coeffs, 0 upgd conss, 166829 impls, 0 clqs
0.39/0.49 c (round 4) 3106 del vars, 5308 del conss, 293 chg bounds, 78 chg sides, 165 chg coeffs, 0 upgd conss, 167607 impls, 0 clqs
0.49/0.50 c (round 5) 3218 del vars, 5582 del conss, 366 chg bounds, 96 chg sides, 192 chg coeffs, 0 upgd conss, 167865 impls, 0 clqs
0.49/0.50 c (round 6) 3261 del vars, 5684 del conss, 390 chg bounds, 105 chg sides, 210 chg coeffs, 0 upgd conss, 167952 impls, 0 clqs
0.49/0.51 c (round 7) 3277 del vars, 5732 del conss, 401 chg bounds, 108 chg sides, 214 chg coeffs, 0 upgd conss, 167973 impls, 0 clqs
0.49/0.51 c (round 8) 3279 del vars, 5739 del conss, 402 chg bounds, 108 chg sides, 214 chg coeffs, 0 upgd conss, 167979 impls, 0 clqs
0.49/0.51 c (round 9) 3281 del vars, 5743 del conss, 403 chg bounds, 108 chg sides, 214 chg coeffs, 0 upgd conss, 167981 impls, 0 clqs
0.79/0.84 c (round 10) 3281 del vars, 6009 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2646 upgd conss, 167981 impls, 0 clqs
0.79/0.86 c (round 11) 3283 del vars, 6010 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2646 upgd conss, 167981 impls, 0 clqs
0.79/0.88 c (round 12) 3283 del vars, 6010 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2860 upgd conss, 167981 impls, 0 clqs
0.89/0.95 c (round 13) 3283 del vars, 6021 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 167981 impls, 0 clqs
1.79/1.83 c (round 14) 3333 del vars, 6021 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 281949 impls, 0 clqs
1.79/1.84 c (round 15) 3336 del vars, 6028 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 281967 impls, 0 clqs
2.29/2.36 c (round 16) 3386 del vars, 6028 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 325639 impls, 0 clqs
2.29/2.36 c (round 17) 3386 del vars, 6077 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 325639 impls, 0 clqs
3.09/3.10 c (round 18) 3436 del vars, 6077 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 342041 impls, 0 clqs
3.09/3.11 c (round 19) 3440 del vars, 6086 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 342073 impls, 0 clqs
3.09/3.19 c (round 20) 3490 del vars, 6086 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 342859 impls, 0 clqs
3.09/3.19 c (round 21) 3490 del vars, 6094 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 342859 impls, 0 clqs
3.19/3.23 c (3.0s) probing: 1000/1077 (92.9%) - 17 fixings, 210 aggregations, 54400 implications, 0 bound changes
3.19/3.23 c (3.0s) probing: 1042/1077 (96.8%) - 17 fixings, 210 aggregations, 54400 implications, 0 bound changes
3.19/3.23 c (3.0s) probing aborted: 100/100 successive totally useless probings
3.19/3.23 c (round 22) 3517 del vars, 6094 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 342937 impls, 0 clqs
3.19/3.25 c (3.0s) probing: 1052/1077 (97.7%) - 17 fixings, 210 aggregations, 54400 implications, 0 bound changes
3.19/3.25 c (3.0s) probing aborted: 100/100 successive totally useless probings
3.19/3.25 c presolving (23 rounds):
3.19/3.25 c 3517 deleted vars, 6094 deleted constraints, 403 tightened bounds, 0 added holes, 250 changed sides, 214 changed coefficients
3.19/3.25 c 342937 implications, 0 cliques
3.19/3.25 c presolved problem has 843 variables (843 bin, 0 int, 0 impl, 0 cont) and 2864 constraints
3.19/3.25 c 94 constraints of type <linear>
3.19/3.25 c 2770 constraints of type <logicor>
3.19/3.25 c transformed objective value is always integral (scale: 1)
3.19/3.25 c Presolving Time: 2.98
3.19/3.25 c OPT-LIN
3.19/3.25 c -----------------------------------------------------------------------------------------------
3.19/3.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.19/3.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.19/3.25 c limits/memory = c 1620
3.19/3.25 c # maximal time in seconds to run
3.19/3.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.19/3.25 c limits/time = c 1791
3.19/3.25 c # frequency for displaying node information lines
3.19/3.25 c # [type: int, range: [-1,2147483647], default: 100]
3.19/3.25 c display/freq = c 10000
3.19/3.25 c -----------------------------------------------------------------------------------------------
3.19/3.25 c start solving problem
3.19/3.25 c
3.30/3.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.30/3.39 c 3.1s| 1 | 0 | 990 | 17M| 0 | 542 | 843 |2864 |2864 | 843 |2646 | 0 | 0 | 0 | 2.042625e+03 | -- | Inf
10.58/10.64 c 10.4s| 1 | 0 | 5951 | 22M| 0 | 519 | 843 |2864 |2864 | 843 |4646 |2000 | 0 | 0 | 2.045375e+03 | -- | Inf
11.48/11.56 c 11.2s| 1 | 0 | 6460 | 22M| 0 | 535 | 843 |2864 |2864 | 843 |4745 |2099 | 0 | 0 | 2.049797e+03 | -- | Inf
12.18/12.23 c 11.9s| 1 | 0 | 7077 | 23M| 0 | 487 | 843 |2864 |2864 | 843 |4792 |2146 | 0 | 0 | 2.055472e+03 | -- | Inf
12.99/13.00 c 12.7s| 1 | 0 | 7605 | 24M| 0 | 471 | 843 |2864 |2864 | 843 |5027 |2381 | 0 | 0 | 2.059641e+03 | -- | Inf
13.79/13.80 c 13.5s| 1 | 0 | 8233 | 24M| 0 | 483 | 843 |2864 |2864 | 843 |5100 |2454 | 0 | 0 | 2.064486e+03 | -- | Inf
14.78/14.83 c 14.5s| 1 | 0 | 9103 | 25M| 0 | 450 | 843 |2864 |2864 | 843 |5147 |2501 | 0 | 0 | 2.071085e+03 | -- | Inf
15.99/16.03 c 15.7s| 1 | 0 | 10074 | 25M| 0 | 487 | 843 |2864 |2864 | 843 |5174 |2528 | 0 | 0 | 2.073455e+03 | -- | Inf
17.39/17.47 c 17.1s| 1 | 0 | 10814 | 26M| 0 | 435 | 843 |2864 |2864 | 843 |5215 |2569 | 0 | 0 | 2.076653e+03 | -- | Inf
19.39/19.45 c 19.1s| 1 | 0 | 11583 | 27M| 0 | 516 | 843 |2864 |2864 | 843 |5264 |2618 | 0 | 0 | 2.077269e+03 | -- | Inf
20.69/20.74 c 20.4s| 1 | 0 | 12103 | 28M| 0 | 553 | 843 |2864 |2864 | 843 |5313 |2667 | 0 | 0 | 2.077891e+03 | -- | Inf
23.38/23.46 c 23.0s| 1 | 0 | 12708 | 28M| 0 | 542 | 843 |2864 |2864 | 843 |5357 |2711 | 0 | 0 | 2.078299e+03 | -- | Inf
26.09/26.19 c 25.8s| 1 | 0 | 13109 | 28M| 0 | 540 | 843 |2864 |2864 | 843 |5388 |2742 | 0 | 0 | 2.078371e+03 | -- | Inf
29.39/29.46 c 29.0s| 1 | 0 | 13850 | 29M| 0 | 506 | 843 |2864 |2864 | 843 |3328 |2755 | 0 | 0 | 2.078441e+03 | -- | Inf
31.08/31.16 c 30.7s| 1 | 0 | 14345 | 29M| 0 | 556 | 843 |2864 |2864 | 843 |3339 |2766 | 0 | 0 | 2.078578e+03 | -- | Inf
32.98/33.09 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.98/33.09 c 32.6s| 1 | 0 | 14946 | 29M| 0 | 539 | 843 |2864 |2864 | 843 |3356 |2783 | 0 | 0 | 2.078670e+03 | -- | Inf
35.09/35.12 c 34.6s| 1 | 0 | 15557 | 29M| 0 | 553 | 843 |2864 |2864 | 843 |3370 |2797 | 0 | 0 | 2.078855e+03 | -- | Inf
36.98/37.00 c 36.5s| 1 | 0 | 16060 | 30M| 0 | 563 | 843 |2864 |2864 | 843 |3385 |2812 | 0 | 0 | 2.078979e+03 | -- | Inf
39.08/39.11 c 38.6s| 1 | 0 | 16662 | 31M| 0 | 558 | 843 |2864 |2864 | 843 |3392 |2819 | 0 | 0 | 2.079338e+03 | -- | Inf
41.17/41.29 c 40.8s| 1 | 0 | 17334 | 31M| 0 | 542 | 843 |2864 |2864 | 843 |3035 |2868 | 0 | 0 | 2.079500e+03 | -- | Inf
43.28/43.36 c 42.8s| 1 | 0 | 17913 | 32M| 0 | 474 | 843 |2864 |2864 | 843 |3048 |2881 | 0 | 0 | 2.079805e+03 | -- | Inf
45.08/45.14 c 44.6s| 1 | 0 | 18716 | 32M| 0 | 482 | 843 |2864 |2864 | 843 |3069 |2902 | 0 | 0 | 2.080054e+03 | -- | Inf
45.97/46.08 c 45.5s| 1 | 0 | 19092 | 32M| 0 | 500 | 843 |2864 |2864 | 843 |3086 |2919 | 0 | 0 | 2.080097e+03 | -- | Inf
47.18/47.24 c 46.7s| 1 | 0 | 19652 | 32M| 0 | 513 | 843 |2864 |2864 | 843 |3097 |2930 | 0 | 0 | 2.080323e+03 | -- | Inf
48.38/48.49 c 47.9s| 1 | 0 | 20334 | 32M| 0 | 510 | 843 |2864 |2864 | 843 |3110 |2943 | 0 | 0 | 2.080531e+03 | -- | Inf
49.47/49.53 c 49.0s| 1 | 0 | 20788 | 32M| 0 | 555 | 843 |2864 |2864 | 843 |2994 |2959 | 0 | 0 | 2.080669e+03 | -- | Inf
50.37/50.40 c 49.8s| 1 | 0 | 21066 | 32M| 0 | 540 | 843 |2864 |2864 | 843 |3005 |2970 | 0 | 0 | 2.080831e+03 | -- | Inf
51.37/51.43 c 50.9s| 1 | 0 | 21661 | 32M| 0 | 520 | 843 |2864 |2864 | 843 |3018 |2983 | 0 | 0 | 2.081300e+03 | -- | Inf
52.57/52.63 c 52.0s| 1 | 0 | 22411 | 33M| 0 | 534 | 843 |2864 |2864 | 843 |3031 |2996 | 0 | 0 | 2.081461e+03 | -- | Inf
53.58/53.69 c 53.1s| 1 | 0 | 22959 | 33M| 0 | 566 | 843 |2864 |2864 | 843 |3043 |3008 | 0 | 0 | 2.081613e+03 | -- | Inf
54.57/54.65 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.57/54.65 c 54.0s| 1 | 0 | 23288 | 33M| 0 | 570 | 843 |2864 |2864 | 843 |3061 |3026 | 0 | 0 | 2.081669e+03 | -- | Inf
55.58/55.64 c 55.0s| 1 | 0 | 23546 | 33M| 0 | 582 | 843 |2864 |2864 | 843 |2966 |3035 | 0 | 0 | 2.081696e+03 | -- | Inf
56.37/56.44 c 55.8s| 1 | 0 | 23603 | 33M| 0 | 593 | 843 |2864 |2864 | 843 |2986 |3055 | 0 | 0 | 2.081698e+03 | -- | Inf
57.17/57.25 c 56.6s| 1 | 0 | 23729 | 33M| 0 | 586 | 843 |2864 |2864 | 843 |2990 |3059 | 0 | 0 | 2.081704e+03 | -- | Inf
58.08/58.20 c 57.6s| 1 | 0 | 23954 | 33M| 0 | 589 | 843 |2864 |2864 | 843 |2997 |3066 | 0 | 0 | 2.081722e+03 | -- | Inf
59.07/59.14 c 58.5s| 1 | 0 | 24254 | 33M| 0 | 545 | 843 |2864 |2864 | 843 |3004 |3073 | 0 | 0 | 2.081772e+03 | -- | Inf
60.27/60.37 c 59.8s| 1 | 0 | 24491 | 33M| 0 | 580 | 843 |2864 |2864 | 843 |3012 |3081 | 0 | 0 | 2.081800e+03 | -- | Inf
61.17/61.23 c 60.6s| 1 | 0 | 24704 | 33M| 0 | 594 | 843 |2864 |2864 | 843 |2957 |3092 | 0 | 0 | 2.081824e+03 | -- | Inf
61.97/62.02 c 61.4s| 1 | 0 | 24856 | 33M| 0 | 554 | 843 |2864 |2864 | 843 |2961 |3096 | 0 | 0 | 2.081836e+03 | -- | Inf
62.67/62.78 c 62.1s| 1 | 0 | 25002 | 33M| 0 | 563 | 843 |2864 |2864 | 843 |2966 |3101 | 0 | 0 | 2.081840e+03 | -- | Inf
63.78/63.80 c 63.2s| 1 | 0 | 25432 | 33M| 0 | 579 | 843 |2864 |2864 | 843 |2970 |3105 | 0 | 0 | 2.081961e+03 | -- | Inf
64.97/65.06 c 64.4s| 1 | 0 | 25618 | 33M| 0 | 562 | 843 |2864 |2864 | 843 |2985 |3120 | 0 | 0 | 2.081974e+03 | -- | Inf
66.17/66.26 c 65.6s| 1 | 0 | 26138 | 33M| 0 | 554 | 843 |2864 |2864 | 843 |2995 |3130 | 0 | 0 | 2.082123e+03 | -- | Inf
67.27/67.31 c 66.7s| 1 | 0 | 26358 | 33M| 0 | 552 | 843 |2864 |2864 | 843 |2969 |3146 | 0 | 0 | 2.082144e+03 | -- | Inf
68.27/68.37 c 67.7s| 1 | 0 | 26611 | 33M| 0 | 535 | 843 |2864 |2864 | 843 |2979 |3156 | 0 | 0 | 2.082163e+03 | -- | Inf
69.17/69.22 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.17/69.22 c 68.5s| 1 | 0 | 26836 | 33M| 0 | 543 | 843 |2864 |2864 | 843 |2983 |3160 | 0 | 0 | 2.082176e+03 | -- | Inf
70.17/70.24 c 69.6s| 1 | 0 | 27037 | 33M| 0 | 563 | 843 |2864 |2864 | 843 |2998 |3175 | 0 | 0 | 2.082187e+03 | -- | Inf
71.07/71.18 c 70.5s| 1 | 0 | 27221 | 33M| 0 | 527 | 843 |2864 |2864 | 843 |3006 |3183 | 0 | 0 | 2.082190e+03 | -- | Inf
71.97/72.02 c 71.3s| 1 | 0 | 27419 | 33M| 0 | 538 | 843 |2864 |2864 | 843 |3009 |3186 | 0 | 0 | 2.082196e+03 | -- | Inf
78.37/78.48 c 77.8s| 1 | 0 | 27723 | 33M| 0 | 569 | 843 |2864 |2864 | 843 |2987 |3196 | 0 | 0 | 2.082212e+03 | -- | Inf
79.36/79.42 c 78.7s| 1 | 0 | 28034 | 33M| 0 | 568 | 843 |2864 |2864 | 843 |2991 |3200 | 0 | 0 | 2.082235e+03 | -- | Inf
80.17/80.29 c 79.6s| 1 | 0 | 28248 | 33M| 0 | 571 | 843 |2864 |2864 | 843 |2995 |3204 | 0 | 0 | 2.082242e+03 | -- | Inf
81.07/81.15 c 80.5s| 1 | 0 | 28382 | 33M| 0 | 575 | 843 |2864 |2864 | 843 |2998 |3207 | 0 | 0 | 2.082245e+03 | -- | Inf
81.96/82.01 c 81.3s| 1 | 0 | 28575 | 33M| 0 | 569 | 843 |2864 |2864 | 843 |3005 |3214 | 0 | 0 | 2.082254e+03 | -- | Inf
84.17/84.25 c 83.5s| 1 | 0 | 28862 | 33M| 0 | 589 | 843 |2864 |2864 | 843 |3008 |3217 | 0 | 0 | 2.082264e+03 | -- | Inf
85.16/85.21 c 84.5s| 1 | 0 | 29017 | 33M| 0 | 588 | 843 |2864 |2864 | 843 |2969 |3222 | 0 | 0 | 2.082268e+03 | -- | Inf
87.07/87.19 c 86.5s| 1 | 0 | 29057 | 33M| 0 | 581 | 843 |2864 |2864 | 843 |2971 |3224 | 0 | 0 | 2.082269e+03 | -- | Inf
88.16/88.24 c 87.5s| 1 | 0 | 29290 | 33M| 0 | 591 | 843 |2864 |2864 | 843 |2973 |3226 | 0 | 0 | 2.082275e+03 | -- | Inf
89.16/89.28 c 88.5s| 1 | 0 | 29690 | 33M| 0 | 579 | 843 |2864 |2864 | 843 |2978 |3231 | 0 | 0 | 2.082290e+03 | -- | Inf
90.67/90.76 c 90.0s| 1 | 0 | 29863 | 33M| 0 | 586 | 843 |2864 |2864 | 843 |2984 |3237 | 0 | 0 | 2.082296e+03 | -- | Inf
91.56/91.62 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.56/91.62 c 90.9s| 1 | 0 | 30061 | 33M| 0 | 581 | 843 |2864 |2864 | 843 |2989 |3242 | 0 | 0 | 2.082300e+03 | -- | Inf
92.37/92.47 c 91.7s| 1 | 0 | 30148 | 33M| 0 | 568 | 843 |2864 |2864 | 843 |2954 |3246 | 0 | 0 | 2.082301e+03 | -- | Inf
93.37/93.48 c 92.7s| 1 | 0 | 30229 | 33M| 0 | 556 | 843 |2864 |2864 | 843 |2957 |3249 | 0 | 0 | 2.082303e+03 | -- | Inf
98.16/98.24 c 97.5s| 1 | 0 | 30290 | 33M| 0 | 589 | 843 |2864 |2864 | 843 |2961 |3253 | 0 | 0 | 2.082303e+03 | -- | Inf
108.06/108.16 c 107s| 1 | 2 | 30290 | 33M| 0 | 589 | 843 |2864 |2864 | 843 |2961 |3253 | 0 | 27 | 2.082303e+03 | -- | Inf
186.24/186.36 c
186.24/186.36 c SCIP Status : problem is solved [infeasible]
186.24/186.36 c Solving Time (sec) : 185.18
186.24/186.36 c Solving Nodes : 64
186.24/186.36 c Primal Bound : +1.00000000000000e+20 (0 solutions)
186.24/186.36 c Dual Bound : +1.00000000000000e+20
186.24/186.36 c Gap : 0.00 %
186.24/186.36 c NODE 64
186.24/186.36 c DUAL BOUND 1e+20
186.24/186.36 c PRIMAL BOUND 1e+20
186.24/186.36 c GAP 0
186.24/186.36 s UNSATISFIABLE
186.24/186.36 c SCIP Status : problem is solved [infeasible]
186.24/186.36 c Solving Time : 185.18
186.24/186.36 c Original Problem :
186.24/186.36 c Problem name : HOME/instance-1869094-1245158391.opb
186.24/186.36 c Variables : 4360 (4360 binary, 0 integer, 0 implicit integer, 0 continuous)
186.24/186.36 c Constraints : 8958 initial, 8958 maximal
186.24/186.36 c Presolved Problem :
186.24/186.36 c Problem name : t_HOME/instance-1869094-1245158391.opb
186.24/186.36 c Variables : 843 (843 binary, 0 integer, 0 implicit integer, 0 continuous)
186.24/186.36 c Constraints : 2864 initial, 2917 maximal
186.24/186.36 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
186.24/186.36 c trivial : 0.00 13 0 0 0 0 0 0 0
186.24/186.36 c dualfix : 0.00 113 0 0 0 0 0 0 0
186.24/186.36 c boundshift : 0.00 0 0 0 0 0 0 0 0
186.24/186.36 c inttobinary : 0.00 0 0 0 0 0 0 0 0
186.24/186.36 c implics : 0.16 0 2702 0 0 0 0 0 0
186.24/186.36 c probing : 2.15 17 210 0 0 0 0 0 0
186.24/186.36 c linear : 0.39 390 71 0 403 0 6003 250 214
186.24/186.36 c logicor : 0.27 1 0 0 0 0 91 0 0
186.24/186.36 c root node : - 32 - - 32 - - - -
186.24/186.36 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
186.24/186.36 c integral : 0 0 0 82 0 7 99 0 0 94
186.24/186.36 c linear : 94 63 5709 0 0 0 21 0 0 0
186.24/186.36 c logicor : 2770+ 63 5381 0 0 30 1527 0 0 0
186.24/186.36 c countsols : 0 0 0 0 0 0 0 0 0 0
186.24/186.36 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
186.24/186.36 c integral : 78.12 0.00 0.00 78.12 0.00
186.24/186.36 c linear : 0.07 0.02 0.05 0.00 0.00
186.24/186.36 c logicor : 0.51 0.04 0.47 0.00 0.00
186.24/186.36 c countsols : 0.00 0.00 0.00 0.00 0.00
186.24/186.36 c Propagators : Time Calls Cutoffs DomReds
186.24/186.36 c rootredcost : 0.00 0 0 0
186.24/186.36 c pseudoobj : 0.07 1352 0 0
186.24/186.36 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
186.24/186.36 c propagation : 0.00 22 21 38 6.1 4 4.8 -
186.24/186.36 c infeasible LP : 0.01 8 8 23 16.5 3 3.7 0
186.24/186.36 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
186.24/186.36 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
186.24/186.36 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
186.24/186.36 c applied globally : - - - 55 8.3 - - -
186.24/186.36 c applied locally : - - - 0 0.0 - - -
186.24/186.36 c Separators : Time Calls Cutoffs DomReds Cuts Conss
186.24/186.36 c cut pool : 0.40 62 - - 817 - (maximal pool size: 16693)
186.24/186.36 c redcost : 0.01 134 0 0 0 0
186.24/186.36 c impliedbounds : 0.30 63 0 0 23359 0
186.24/186.36 c intobj : 0.00 0 0 0 0 0
186.24/186.36 c gomory : 40.99 62 0 0 7261 0
186.24/186.36 c strongcg : 10.18 20 0 0 7266 0
186.24/186.36 c cmir : 0.55 10 0 0 7 0
186.24/186.36 c flowcover : 0.51 10 0 0 19 0
186.24/186.36 c clique : 16.20 62 0 0 505 0
186.24/186.36 c zerohalf : 0.00 0 0 0 0 0
186.24/186.36 c mcf : 0.01 1 0 0 0 0
186.24/186.36 c Pricers : Time Calls Vars
186.24/186.36 c problem variables: 0.00 0 0
186.24/186.36 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
186.24/186.36 c relpscost : 78.12 82 7 99 0 0 94
186.24/186.36 c pscost : 0.00 0 0 0 0 0 0
186.24/186.36 c inference : 0.00 0 0 0 0 0 0
186.24/186.36 c mostinf : 0.00 0 0 0 0 0 0
186.24/186.36 c leastinf : 0.00 0 0 0 0 0 0
186.24/186.36 c fullstrong : 0.00 0 0 0 0 0 0
186.24/186.36 c allfullstrong : 0.00 0 0 0 0 0 0
186.24/186.36 c random : 0.00 0 0 0 0 0 0
186.24/186.36 c Primal Heuristics : Time Calls Found
186.24/186.36 c LP solutions : 0.00 - 0
186.24/186.36 c pseudo solutions : 0.00 - 0
186.24/186.36 c oneopt : 0.00 0 0
186.24/186.36 c crossover : 0.00 0 0
186.24/186.36 c intshifting : 0.00 0 0
186.24/186.36 c guideddiving : 0.00 0 0
186.24/186.36 c coefdiving : 2.57 1 0
186.24/186.36 c pscostdiving : 0.97 1 0
186.24/186.36 c fracdiving : 0.94 1 0
186.24/186.36 c linesearchdiving : 0.10 1 0
186.24/186.36 c objpscostdiving : 0.01 1 0
186.24/186.36 c rootsoldiving : 0.17 1 0
186.24/186.36 c veclendiving : 0.31 2 0
186.24/186.36 c simplerounding : 0.00 0 0
186.24/186.36 c rounding : 0.08 118 0
186.24/186.36 c shifting : 0.51 67 0
186.24/186.36 c fixandinfer : 0.00 0 0
186.24/186.36 c feaspump : 1.00 1 0
186.24/186.36 c intdiving : 0.00 0 0
186.24/186.36 c actconsdiving : 0.00 0 0
186.24/186.36 c octane : 0.00 0 0
186.24/186.36 c rens : 0.01 0 0
186.24/186.36 c rins : 0.00 0 0
186.24/186.36 c localbranching : 0.00 0 0
186.24/186.36 c mutation : 0.00 0 0
186.24/186.36 c dins : 0.00 0 0
186.24/186.36 c LP : Time Calls Iterations Iter/call Iter/sec
186.24/186.36 c primal LP : 0.03 0 0 0.00 0.00
186.24/186.36 c dual LP : 21.59 147 33237 226.10 1539.46
186.24/186.36 c barrier LP : 0.00 0 0 0.00 -
186.24/186.36 c diving/probing LP: 5.68 354 13402 37.86 2359.51
186.24/186.36 c strong branching : 78.10 1035 136840 132.21 1752.11
186.24/186.36 c (at root node) : - 27 14449 535.15 -
186.24/186.36 c conflict analysis: 0.00 0 0 0.00 -
186.24/186.36 c B&B Tree :
186.24/186.36 c number of runs : 1
186.24/186.36 c nodes : 64
186.24/186.36 c nodes (total) : 64
186.24/186.36 c nodes left : 0
186.24/186.36 c max depth : 17
186.24/186.36 c max depth (total): 17
186.24/186.36 c backtracks : 12 (18.8%)
186.24/186.36 c delayed cutoffs : 31
186.24/186.36 c repropagations : 28 (114 domain reductions, 5 cutoffs)
186.24/186.36 c avg switch length: 3.00
186.24/186.36 c switching time : 0.03
186.24/186.36 c Solution :
186.24/186.36 c Solutions found : 0 (0 improvements)
186.24/186.36 c Primal Bound : infeasible
186.24/186.36 c Dual Bound : -
186.24/186.36 c Gap : 0.00 %
186.24/186.36 c Root Dual Bound : +2.08230335341727e+03
186.34/186.43 c Time complete: 186.37.