0.09/0.15 c SCIP version 1.1.0.7
0.09/0.15 c LP-Solver Clp 1.8.2
0.09/0.15 c user parameter file <scip.set> not found - using default parameters
0.09/0.15 c read problem <HOME/instance-1869095-1245158440.opb>
0.09/0.15 c original problem has 4360 variables (4360 bin, 0 int, 0 impl, 0 cont) and 8958 constraints
0.20/0.20 c start presolving problem
0.20/0.20 c presolving:
0.29/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.39/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.83 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.34 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.35 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
2.99/3.08 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
2.99/3.08 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.16 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.17 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.20 c (3.0s) probing: 1000/1077 (92.9%) - 17 fixings, 210 aggregations, 54400 implications, 0 bound changes
3.19/3.21 c (3.0s) probing: 1042/1077 (96.8%) - 17 fixings, 210 aggregations, 54400 implications, 0 bound changes
3.19/3.21 c (3.0s) probing aborted: 100/100 successive totally useless probings
3.19/3.21 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.23 c (3.0s) probing: 1052/1077 (97.7%) - 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 presolving (23 rounds):
3.19/3.23 c 3517 deleted vars, 6094 deleted constraints, 403 tightened bounds, 0 added holes, 250 changed sides, 214 changed coefficients
3.19/3.23 c 342937 implications, 0 cliques
3.19/3.23 c presolved problem has 843 variables (843 bin, 0 int, 0 impl, 0 cont) and 2864 constraints
3.19/3.23 c 94 constraints of type <linear>
3.19/3.23 c 2770 constraints of type <logicor>
3.19/3.23 c transformed objective value is always integral (scale: 1)
3.19/3.23 c Presolving Time: 2.95
3.19/3.23 c OPT-LIN
3.19/3.23 c -----------------------------------------------------------------------------------------------
3.19/3.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.19/3.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.19/3.23 c limits/memory = c 1620
3.19/3.23 c # maximal time in seconds to run
3.19/3.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.19/3.23 c limits/time = c 1791
3.19/3.23 c # frequency for displaying node information lines
3.19/3.23 c # [type: int, range: [-1,2147483647], default: 100]
3.19/3.23 c display/freq = c 10000
3.19/3.23 c -----------------------------------------------------------------------------------------------
3.19/3.23 c start solving problem
3.19/3.23 c
3.29/3.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.29/3.31 c 3.1s| 1 | 0 | 895 | 17M| 0 | 560 | 843 |2864 |2864 | 843 |2646 | 0 | 0 | 0 | 2.042625e+03 | -- | Inf
10.68/10.75 c 10.5s| 1 | 0 | 3337 | 23M| 0 | 523 | 843 |2864 |2864 | 843 |4646 |2000 | 0 | 0 | 2.045375e+03 | -- | Inf
11.59/11.61 c 11.3s| 1 | 0 | 3976 | 23M| 0 | 519 | 843 |2864 |2864 | 843 |4723 |2077 | 0 | 0 | 2.049853e+03 | -- | Inf
11.99/12.08 c 11.8s| 1 | 0 | 4493 | 23M| 0 | 497 | 843 |2864 |2864 | 843 |4774 |2128 | 0 | 0 | 2.055342e+03 | -- | Inf
12.59/12.67 c 12.4s| 1 | 0 | 5194 | 24M| 0 | 458 | 843 |2864 |2864 | 843 |4878 |2232 | 0 | 0 | 2.060416e+03 | -- | Inf
13.28/13.33 c 13.0s| 1 | 0 | 5877 | 24M| 0 | 502 | 843 |2864 |2864 | 843 |4955 |2309 | 0 | 0 | 2.064348e+03 | -- | Inf
13.78/13.90 c 13.6s| 1 | 0 | 6451 | 24M| 0 | 450 | 843 |2864 |2864 | 843 |5009 |2363 | 0 | 0 | 2.068314e+03 | -- | Inf
14.99/15.10 c 14.8s| 1 | 0 | 7082 | 25M| 0 | 495 | 843 |2864 |2864 | 843 |5038 |2392 | 0 | 0 | 2.071616e+03 | -- | Inf
17.08/17.14 c 16.8s| 1 | 0 | 7552 | 25M| 0 | 492 | 843 |2864 |2864 | 843 |5053 |2407 | 0 | 0 | 2.072909e+03 | -- | Inf
18.59/18.66 c 18.3s| 1 | 0 | 8029 | 26M| 0 | 485 | 843 |2864 |2864 | 843 |5076 |2430 | 0 | 0 | 2.074846e+03 | -- | Inf
20.49/20.53 c 20.2s| 1 | 0 | 8777 | 27M| 0 | 523 | 843 |2864 |2864 | 843 |5097 |2451 | 0 | 0 | 2.076724e+03 | -- | Inf
22.68/22.70 c 22.4s| 1 | 0 | 9360 | 28M| 0 | 513 | 843 |2864 |2864 | 843 |5121 |2475 | 0 | 0 | 2.077358e+03 | -- | Inf
24.38/24.40 c 24.0s| 1 | 0 | 9738 | 29M| 0 | 509 | 843 |2864 |2864 | 843 |5146 |2500 | 0 | 0 | 2.077450e+03 | -- | Inf
27.08/27.14 c 26.8s| 1 | 0 | 10336 | 30M| 0 | 518 | 843 |2864 |2864 | 843 |5164 |2518 | 0 | 0 | 2.078290e+03 | -- | Inf
29.38/29.42 c 29.0s| 1 | 0 | 10802 | 30M| 0 | 535 | 843 |2864 |2864 | 843 |5174 |2528 | 0 | 0 | 2.078462e+03 | -- | Inf
32.08/32.13 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.08/32.13 c 31.7s| 1 | 0 | 11171 | 30M| 0 | 538 | 843 |2864 |2864 | 843 |5203 |2557 | 0 | 0 | 2.078620e+03 | -- | Inf
34.67/34.75 c 34.4s| 1 | 0 | 11518 | 30M| 0 | 509 | 843 |2864 |2864 | 843 |2965 |2565 | 0 | 0 | 2.078684e+03 | -- | Inf
36.19/36.28 c 35.9s| 1 | 0 | 11839 | 31M| 0 | 579 | 843 |2864 |2864 | 843 |2976 |2576 | 0 | 0 | 2.078755e+03 | -- | Inf
37.68/37.74 c 37.3s| 1 | 0 | 12128 | 31M| 0 | 554 | 843 |2864 |2864 | 843 |2998 |2598 | 0 | 0 | 2.078790e+03 | -- | Inf
39.08/39.19 c 38.8s| 1 | 0 | 12350 | 31M| 0 | 550 | 843 |2864 |2864 | 843 |3005 |2605 | 0 | 0 | 2.078804e+03 | -- | Inf
40.68/40.73 c 40.3s| 1 | 0 | 12717 | 31M| 0 | 566 | 843 |2864 |2864 | 843 |3015 |2615 | 0 | 0 | 2.078840e+03 | -- | Inf
42.28/42.36 c 41.9s| 1 | 0 | 13112 | 31M| 0 | 584 | 843 |2864 |2864 | 843 |3030 |2630 | 0 | 0 | 2.078927e+03 | -- | Inf
43.48/43.58 c 43.2s| 1 | 0 | 13646 | 31M| 0 | 547 | 843 |2864 |2864 | 843 |2928 |2642 | 0 | 0 | 2.079227e+03 | -- | Inf
44.38/44.44 c 44.0s| 1 | 0 | 13892 | 31M| 0 | 559 | 843 |2864 |2864 | 843 |2934 |2648 | 0 | 0 | 2.079295e+03 | -- | Inf
45.78/45.82 c 45.4s| 1 | 0 | 14132 | 31M| 0 | 585 | 843 |2864 |2864 | 843 |2944 |2658 | 0 | 0 | 2.079349e+03 | -- | Inf
46.57/46.66 c 46.2s| 1 | 0 | 14273 | 31M| 0 | 551 | 843 |2864 |2864 | 843 |2947 |2661 | 0 | 0 | 2.079373e+03 | -- | Inf
47.57/47.65 c 47.2s| 1 | 0 | 14495 | 31M| 0 | 553 | 843 |2864 |2864 | 843 |2950 |2664 | 0 | 0 | 2.079402e+03 | -- | Inf
48.57/48.68 c 48.2s| 1 | 0 | 14760 | 31M| 0 | 569 | 843 |2864 |2864 | 843 |2909 |2692 | 0 | 0 | 2.079437e+03 | -- | Inf
49.48/49.52 c 49.1s| 1 | 0 | 14966 | 31M| 0 | 572 | 843 |2864 |2864 | 843 |2913 |2696 | 0 | 0 | 2.079473e+03 | -- | Inf
50.48/50.59 c 50.2s| 1 | 0 | 15437 | 31M| 0 | 579 | 843 |2864 |2864 | 843 |2926 |2709 | 0 | 0 | 2.079622e+03 | -- | Inf
51.27/51.37 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.27/51.37 c 50.9s| 1 | 0 | 15567 | 31M| 0 | 560 | 843 |2864 |2864 | 843 |2936 |2719 | 0 | 0 | 2.079690e+03 | -- | Inf
52.07/52.15 c 51.7s| 1 | 0 | 15663 | 31M| 0 | 565 | 843 |2864 |2864 | 843 |2942 |2725 | 0 | 0 | 2.079692e+03 | -- | Inf
52.98/53.01 c 52.6s| 1 | 0 | 15920 | 31M| 0 | 555 | 843 |2864 |2864 | 843 |2966 |2749 | 0 | 0 | 2.079762e+03 | -- | Inf
54.27/54.38 c 53.9s| 1 | 0 | 16220 | 31M| 0 | 529 | 843 |2864 |2864 | 843 |2915 |2755 | 0 | 0 | 2.079802e+03 | -- | Inf
55.17/55.23 c 54.8s| 1 | 0 | 16528 | 31M| 0 | 548 | 843 |2864 |2864 | 843 |2938 |2778 | 0 | 0 | 2.079830e+03 | -- | Inf
55.98/56.08 c 55.6s| 1 | 0 | 16738 | 31M| 0 | 510 | 843 |2864 |2864 | 843 |2946 |2786 | 0 | 0 | 2.079859e+03 | -- | Inf
56.87/56.97 c 56.5s| 1 | 0 | 16952 | 31M| 0 | 557 | 843 |2864 |2864 | 843 |2954 |2794 | 0 | 0 | 2.079894e+03 | -- | Inf
57.77/57.86 c 57.4s| 1 | 0 | 17120 | 31M| 0 | 594 | 843 |2864 |2864 | 843 |2961 |2801 | 0 | 0 | 2.079921e+03 | -- | Inf
58.67/58.75 c 58.3s| 1 | 0 | 17336 | 32M| 0 | 538 | 843 |2864 |2864 | 843 |2969 |2809 | 0 | 0 | 2.079945e+03 | -- | Inf
59.57/59.67 c 59.2s| 1 | 0 | 17519 | 32M| 0 | 559 | 843 |2864 |2864 | 843 |2938 |2826 | 0 | 0 | 2.079958e+03 | -- | Inf
60.48/60.54 c 60.1s| 1 | 0 | 17861 | 32M| 0 | 579 | 843 |2864 |2864 | 843 |2943 |2831 | 0 | 0 | 2.080045e+03 | -- | Inf
61.37/61.49 c 61.0s| 1 | 0 | 18105 | 32M| 0 | 555 | 843 |2864 |2864 | 843 |2954 |2842 | 0 | 0 | 2.080076e+03 | -- | Inf
62.17/62.28 c 61.8s| 1 | 0 | 18251 | 32M| 0 | 572 | 843 |2864 |2864 | 843 |2958 |2846 | 0 | 0 | 2.080091e+03 | -- | Inf
63.17/63.23 c 62.8s| 1 | 0 | 18534 | 32M| 0 | 550 | 843 |2864 |2864 | 843 |2965 |2853 | 0 | 0 | 2.080122e+03 | -- | Inf
64.17/64.24 c 63.8s| 1 | 0 | 18752 | 32M| 0 | 550 | 843 |2864 |2864 | 843 |2968 |2856 | 0 | 0 | 2.080147e+03 | -- | Inf
65.06/65.17 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.06/65.17 c 64.7s| 1 | 0 | 18980 | 32M| 0 | 555 | 843 |2864 |2864 | 843 |2921 |2862 | 0 | 0 | 2.080160e+03 | -- | Inf
65.88/65.96 c 65.5s| 1 | 0 | 19108 | 32M| 0 | 538 | 843 |2864 |2864 | 843 |2925 |2866 | 0 | 0 | 2.080171e+03 | -- | Inf
66.97/67.05 c 66.6s| 1 | 0 | 19184 | 32M| 0 | 539 | 843 |2864 |2864 | 843 |2929 |2870 | 0 | 0 | 2.080173e+03 | -- | Inf
67.87/67.96 c 67.5s| 1 | 0 | 19261 | 32M| 0 | 545 | 843 |2864 |2864 | 843 |2932 |2873 | 0 | 0 | 2.080175e+03 | -- | Inf
68.67/68.71 c 68.2s| 1 | 0 | 19381 | 32M| 0 | 563 | 843 |2864 |2864 | 843 |2933 |2874 | 0 | 0 | 2.080184e+03 | -- | Inf
69.37/69.41 c 68.9s| 1 | 0 | 19418 | 32M| 0 | 566 | 843 |2864 |2864 | 843 |2936 |2877 | 0 | 0 | 2.080184e+03 | -- | Inf
70.28/70.32 c 69.8s| 1 | 0 | 19657 | 32M| 0 | 520 | 843 |2864 |2864 | 843 |2910 |2883 | 0 | 0 | 2.080209e+03 | -- | Inf
71.07/71.11 c 70.6s| 1 | 0 | 19817 | 32M| 0 | 563 | 843 |2864 |2864 | 843 |2919 |2892 | 0 | 0 | 2.080221e+03 | -- | Inf
71.87/71.91 c 71.4s| 1 | 0 | 19907 | 32M| 0 | 585 | 843 |2864 |2864 | 843 |2924 |2897 | 0 | 0 | 2.080227e+03 | -- | Inf
73.27/73.35 c 72.9s| 1 | 0 | 20090 | 32M| 0 | 586 | 843 |2864 |2864 | 843 |2928 |2901 | 0 | 0 | 2.080250e+03 | -- | Inf
74.16/74.27 c 73.8s| 1 | 0 | 20319 | 32M| 0 | 545 | 843 |2864 |2864 | 843 |2933 |2906 | 0 | 0 | 2.080274e+03 | -- | Inf
75.06/75.17 c 74.7s| 1 | 0 | 20321 | 32M| 0 | 545 | 843 |2864 |2864 | 843 |2938 |2911 | 0 | 0 | 2.080274e+03 | -- | Inf
76.37/76.43 c 75.9s| 1 | 0 | 20418 | 32M| 0 | 455 | 843 |2864 |2864 | 843 |2921 |2912 | 0 | 0 | 2.080280e+03 | -- | Inf
77.07/77.14 c 76.6s| 1 | 0 | 20563 | 32M| 0 | 454 | 843 |2864 |2864 | 843 |2926 |2917 | 0 | 0 | 2.080284e+03 | -- | Inf
78.17/78.25 c 77.8s| 1 | 0 | 20949 | 32M| 0 | 561 | 843 |2864 |2864 | 843 |2929 |2920 | 0 | 0 | 2.080332e+03 | -- | Inf
79.07/79.17 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.07/79.17 c 78.7s| 1 | 0 | 21071 | 32M| 0 | 567 | 843 |2864 |2864 | 843 |2933 |2924 | 0 | 0 | 2.080339e+03 | -- | Inf
81.67/81.72 c 81.2s| 1 | 0 | 21167 | 32M| 0 | 560 | 843 |2864 |2864 | 843 |2937 |2928 | 0 | 0 | 2.080340e+03 | -- | Inf
82.56/82.65 c 82.1s| 1 | 0 | 21344 | 32M| 0 | 558 | 843 |2864 |2864 | 843 |2939 |2930 | 0 | 0 | 2.080356e+03 | -- | Inf
83.86/83.93 c 83.4s| 1 | 0 | 21452 | 32M| 0 | 554 | 843 |2864 |2864 | 843 |2925 |2936 | 0 | 0 | 2.080363e+03 | -- | Inf
84.66/84.78 c 84.3s| 1 | 0 | 21505 | 32M| 0 | 557 | 843 |2864 |2864 | 843 |2929 |2940 | 0 | 0 | 2.080365e+03 | -- | Inf
86.16/86.22 c 85.7s| 1 | 0 | 21621 | 32M| 0 | 576 | 843 |2864 |2864 | 843 |2931 |2942 | 0 | 0 | 2.080371e+03 | -- | Inf
87.27/87.39 c 86.9s| 1 | 0 | 21747 | 32M| 0 | 567 | 843 |2864 |2864 | 843 |2938 |2949 | 0 | 0 | 2.080375e+03 | -- | Inf
88.56/88.61 c 88.1s| 1 | 0 | 21944 | 32M| 0 | 546 | 843 |2864 |2864 | 843 |2941 |2952 | 0 | 0 | 2.080391e+03 | -- | Inf
89.76/89.80 c 89.3s| 1 | 0 | 22157 | 32M| 0 | 560 | 843 |2864 |2864 | 843 |2944 |2955 | 0 | 0 | 2.080419e+03 | -- | Inf
90.66/90.75 c 90.2s| 1 | 0 | 22217 | 32M| 0 | 477 | 843 |2864 |2864 | 843 |2929 |2959 | 0 | 0 | 2.080419e+03 | -- | Inf
91.46/91.50 c 91.0s| 1 | 0 | 22222 | 32M| 0 | 484 | 843 |2864 |2864 | 843 |2931 |2961 | 0 | 0 | 2.080419e+03 | -- | Inf
96.86/96.94 c 96.4s| 1 | 2 | 22222 | 32M| 0 | 484 | 843 |2864 |2864 | 843 |2931 |2961 | 0 | 40 | 2.080419e+03 | -- | Inf
119.05/119.17 c
119.05/119.17 c SCIP Status : problem is solved [infeasible]
119.05/119.17 c Solving Time (sec) : 118.58
119.05/119.17 c Solving Nodes : 19
119.05/119.17 c Primal Bound : +1.00000000000000e+20 (0 solutions)
119.05/119.17 c Dual Bound : +1.00000000000000e+20
119.05/119.17 c Gap : 0.00 %
119.05/119.17 c NODE 19
119.05/119.17 c DUAL BOUND 1e+20
119.05/119.17 c PRIMAL BOUND 1e+20
119.05/119.17 c GAP 0
119.05/119.17 s UNSATISFIABLE
119.05/119.17 c SCIP Status : problem is solved [infeasible]
119.05/119.17 c Solving Time : 118.58
119.05/119.17 c Original Problem :
119.05/119.17 c Problem name : HOME/instance-1869095-1245158440.opb
119.05/119.17 c Variables : 4360 (4360 binary, 0 integer, 0 implicit integer, 0 continuous)
119.05/119.17 c Constraints : 8958 initial, 8958 maximal
119.05/119.17 c Presolved Problem :
119.05/119.17 c Problem name : t_HOME/instance-1869095-1245158440.opb
119.05/119.17 c Variables : 843 (843 binary, 0 integer, 0 implicit integer, 0 continuous)
119.05/119.17 c Constraints : 2864 initial, 2900 maximal
119.05/119.17 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
119.05/119.17 c trivial : 0.00 13 0 0 0 0 0 0 0
119.05/119.17 c dualfix : 0.00 113 0 0 0 0 0 0 0
119.05/119.17 c boundshift : 0.00 0 0 0 0 0 0 0 0
119.05/119.17 c inttobinary : 0.00 0 0 0 0 0 0 0 0
119.05/119.17 c implics : 0.16 0 2702 0 0 0 0 0 0
119.05/119.17 c probing : 2.12 17 210 0 0 0 0 0 0
119.05/119.17 c linear : 0.36 390 71 0 403 0 6003 250 214
119.05/119.17 c logicor : 0.27 1 0 0 0 0 91 0 0
119.05/119.17 c root node : - 21 - - 21 - - - -
119.05/119.17 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
119.05/119.17 c integral : 0 0 0 25 0 4 32 0 0 24
119.05/119.17 c linear : 94 71 5325 0 0 0 7 0 0 0
119.05/119.17 c logicor : 2770+ 71 5049 0 0 28 854 0 0 0
119.05/119.17 c countsols : 0 0 0 0 0 0 0 0 0 0
119.05/119.17 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
119.05/119.17 c integral : 17.96 0.00 0.00 17.96 0.00
119.05/119.17 c linear : 0.04 0.00 0.04 0.00 0.00
119.05/119.17 c logicor : 0.51 0.06 0.45 0.00 0.00
119.05/119.17 c countsols : 0.00 0.00 0.00 0.00 0.00
119.05/119.17 c Propagators : Time Calls Cutoffs DomReds
119.05/119.17 c rootredcost : 0.00 0 0 0
119.05/119.17 c pseudoobj : 0.04 972 0 0
119.05/119.17 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
119.05/119.17 c propagation : 0.01 20 19 36 3.9 5 6.6 -
119.05/119.17 c infeasible LP : 0.00 3 0 0 0.0 0 0.0 0
119.05/119.17 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
119.05/119.17 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
119.05/119.17 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
119.05/119.17 c applied globally : - - - 39 4.2 - - -
119.05/119.17 c applied locally : - - - 0 0.0 - - -
119.05/119.17 c Separators : Time Calls Cutoffs DomReds Cuts Conss
119.05/119.17 c cut pool : 0.43 70 - - 1018 - (maximal pool size: 17489)
119.05/119.17 c redcost : 0.00 91 0 0 0 0
119.05/119.17 c impliedbounds : 0.32 71 0 0 25425 0
119.05/119.17 c intobj : 0.00 0 0 0 0 0
119.05/119.17 c gomory : 48.70 70 0 0 6297 0
119.05/119.17 c strongcg : 9.84 20 0 0 7065 0
119.05/119.17 c cmir : 0.57 10 0 0 11 0
119.05/119.17 c flowcover : 0.54 10 0 0 22 0
119.05/119.17 c clique : 8.30 70 0 0 560 0
119.05/119.17 c zerohalf : 0.00 0 0 0 0 0
119.05/119.17 c mcf : 0.00 1 0 0 0 0
119.05/119.17 c Pricers : Time Calls Vars
119.05/119.17 c problem variables: 0.00 0 0
119.05/119.17 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
119.05/119.17 c relpscost : 17.96 25 4 32 0 0 24
119.05/119.17 c pscost : 0.00 0 0 0 0 0 0
119.05/119.17 c inference : 0.00 0 0 0 0 0 0
119.05/119.17 c mostinf : 0.00 0 0 0 0 0 0
119.05/119.17 c leastinf : 0.00 0 0 0 0 0 0
119.05/119.17 c fullstrong : 0.00 0 0 0 0 0 0
119.05/119.17 c allfullstrong : 0.00 0 0 0 0 0 0
119.05/119.17 c random : 0.00 0 0 0 0 0 0
119.05/119.17 c Primal Heuristics : Time Calls Found
119.05/119.17 c LP solutions : 0.00 - 0
119.05/119.17 c pseudo solutions : 0.00 - 0
119.05/119.17 c oneopt : 0.00 0 0
119.05/119.17 c fracdiving : 0.16 1 0
119.05/119.17 c objpscostdiving : 2.92 1 0
119.05/119.17 c simplerounding : 0.00 0 0
119.05/119.17 c rounding : 0.06 95 0
119.05/119.17 c shifting : 0.67 71 0
119.05/119.17 c intshifting : 0.00 0 0
119.05/119.17 c fixandinfer : 0.00 0 0
119.05/119.17 c feaspump : 0.56 1 0
119.05/119.17 c coefdiving : 0.46 2 0
119.05/119.17 c pscostdiving : 2.03 1 0
119.05/119.17 c veclendiving : 0.52 2 0
119.05/119.17 c intdiving : 0.00 0 0
119.05/119.17 c actconsdiving : 0.00 0 0
119.05/119.17 c rootsoldiving : 0.33 1 0
119.05/119.17 c linesearchdiving : 0.10 1 0
119.05/119.17 c guideddiving : 0.00 0 0
119.05/119.17 c octane : 0.00 0 0
119.05/119.17 c rens : 0.00 0 0
119.05/119.17 c rins : 0.00 0 0
119.05/119.17 c localbranching : 0.00 0 0
119.05/119.17 c mutation : 0.00 0 0
119.05/119.17 c crossover : 0.00 0 0
119.05/119.17 c dins : 0.00 0 0
119.05/119.17 c LP : Time Calls Iterations Iter/call Iter/sec
119.05/119.17 c primal LP : 1.05 0 0 0.00 0.00
119.05/119.17 c dual LP : 12.94 96 24902 259.40 1924.42
119.05/119.17 c barrier LP : 0.00 0 0 0.00 -
119.05/119.17 c diving/probing LP: 6.69 317 14000 44.16 2092.68
119.05/119.17 c strong branching : 17.94 387 37279 96.33 2077.98
119.05/119.17 c (at root node) : - 40 7501 187.53 -
119.05/119.17 c conflict analysis: 0.00 0 0 0.00 -
119.05/119.17 c B&B Tree :
119.05/119.17 c number of runs : 1
119.05/119.17 c nodes : 19
119.05/119.17 c nodes (total) : 19
119.05/119.17 c nodes left : 0
119.05/119.17 c max depth : 7
119.05/119.17 c max depth (total): 7
119.05/119.17 c backtracks : 14 (73.7%)
119.05/119.17 c delayed cutoffs : 6
119.05/119.17 c repropagations : 10 (36 domain reductions, 3 cutoffs)
119.05/119.17 c avg switch length: 3.47
119.05/119.17 c switching time : 0.11
119.05/119.17 c Solution :
119.05/119.17 c Solutions found : 0 (0 improvements)
119.05/119.17 c Primal Bound : infeasible
119.05/119.17 c Dual Bound : -
119.05/119.17 c Gap : 0.00 %
119.05/119.17 c Root Dual Bound : +2.08041944917849e+03
119.15/119.24 c Time complete: 119.19.