0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute 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-4459469-1721898459.opb>
0.00/0.03 c original problem has 3208 variables (3208 bin, 0 int, 0 impl, 0 cont) and 4687 constraints
0.00/0.03 c problem read in 0.03
0.00/0.05 c presolving:
0.00/0.07 c (round 1, fast) 166 del vars, 10 del conss, 0 add conss, 146 chg bounds, 2744 chg sides, 2744 chg coeffs, 0 upgd conss, 0 impls, 2617 clqs
0.00/0.09 c (round 2, fast) 252 del vars, 150 del conss, 0 add conss, 196 chg bounds, 2831 chg sides, 2831 chg coeffs, 0 upgd conss, 0 impls, 2509 clqs
0.00/0.09 c (round 3, fast) 340 del vars, 288 del conss, 0 add conss, 262 chg bounds, 2879 chg sides, 2879 chg coeffs, 0 upgd conss, 0 impls, 2456 clqs
0.09/0.11 c (round 4, fast) 405 del vars, 391 del conss, 0 add conss, 315 chg bounds, 2920 chg sides, 2920 chg coeffs, 0 upgd conss, 0 impls, 2377 clqs
0.09/0.11 c (round 5, fast) 446 del vars, 461 del conss, 0 add conss, 352 chg bounds, 2957 chg sides, 2957 chg coeffs, 0 upgd conss, 0 impls, 2321 clqs
0.09/0.12 c (round 6, fast) 463 del vars, 488 del conss, 0 add conss, 369 chg bounds, 2989 chg sides, 2989 chg coeffs, 0 upgd conss, 0 impls, 2321 clqs
0.09/0.12 c (round 7, fast) 469 del vars, 496 del conss, 0 add conss, 375 chg bounds, 2998 chg sides, 2998 chg coeffs, 0 upgd conss, 0 impls, 2321 clqs
0.09/0.12 c (round 8, fast) 469 del vars, 496 del conss, 0 add conss, 375 chg bounds, 3004 chg sides, 3004 chg coeffs, 0 upgd conss, 0 impls, 2321 clqs
0.09/0.15 c (0.1s) running MILP presolver
0.30/0.39 c (0.4s) MILP presolver (29 rounds): 0 aggregations, 111 fixings, 0 bound changes
0.30/0.40 c (round 9, medium) 580 del vars, 496 del conss, 0 add conss, 375 chg bounds, 3004 chg sides, 3004 chg coeffs, 0 upgd conss, 0 impls, 2321 clqs
0.30/0.40 c (round 10, fast) 580 del vars, 607 del conss, 0 add conss, 375 chg bounds, 3017 chg sides, 3017 chg coeffs, 0 upgd conss, 0 impls, 2321 clqs
0.40/0.43 c (round 11, exhaustive) 580 del vars, 607 del conss, 0 add conss, 375 chg bounds, 3017 chg sides, 3017 chg coeffs, 4080 upgd conss, 0 impls, 2321 clqs
0.40/0.47 c (round 12, medium) 580 del vars, 1768 del conss, 2966 add conss, 375 chg bounds, 3119 chg sides, 5444 chg coeffs, 4080 upgd conss, 0 impls, 5265 clqs
0.40/0.47 c (round 13, fast) 580 del vars, 1774 del conss, 2966 add conss, 375 chg bounds, 3119 chg sides, 5444 chg coeffs, 4080 upgd conss, 0 impls, 5265 clqs
0.40/0.49 c (round 14, exhaustive) 580 del vars, 1774 del conss, 2966 add conss, 375 chg bounds, 3119 chg sides, 5669 chg coeffs, 4080 upgd conss, 0 impls, 5265 clqs
0.40/0.50 c (round 15, medium) 580 del vars, 1860 del conss, 3224 add conss, 375 chg bounds, 3119 chg sides, 5669 chg coeffs, 4080 upgd conss, 0 impls, 5551 clqs
0.49/0.53 c (round 16, exhaustive) 648 del vars, 2030 del conss, 3224 add conss, 375 chg bounds, 3119 chg sides, 5793 chg coeffs, 4080 upgd conss, 0 impls, 5438 clqs
0.49/0.53 c (round 17, fast) 648 del vars, 2168 del conss, 3224 add conss, 375 chg bounds, 3119 chg sides, 5793 chg coeffs, 4080 upgd conss, 0 impls, 5438 clqs
0.49/0.56 c (round 18, medium) 648 del vars, 2186 del conss, 3248 add conss, 375 chg bounds, 3155 chg sides, 5853 chg coeffs, 4080 upgd conss, 0 impls, 5447 clqs
0.49/0.58 c (round 19, exhaustive) 648 del vars, 2186 del conss, 3248 add conss, 375 chg bounds, 3155 chg sides, 5986 chg coeffs, 4080 upgd conss, 0 impls, 5447 clqs
0.49/0.59 c (round 20, exhaustive) 648 del vars, 2186 del conss, 3248 add conss, 375 chg bounds, 3155 chg sides, 6106 chg coeffs, 4080 upgd conss, 0 impls, 5447 clqs
0.59/0.62 c (round 21, exhaustive) 705 del vars, 2193 del conss, 3248 add conss, 375 chg bounds, 3155 chg sides, 6198 chg coeffs, 4080 upgd conss, 0 impls, 5368 clqs
0.59/0.62 c (round 22, fast) 705 del vars, 2298 del conss, 3248 add conss, 375 chg bounds, 3155 chg sides, 6198 chg coeffs, 4080 upgd conss, 0 impls, 5368 clqs
0.59/0.65 c (round 23, medium) 705 del vars, 2322 del conss, 3272 add conss, 375 chg bounds, 3203 chg sides, 6270 chg coeffs, 4080 upgd conss, 0 impls, 5368 clqs
0.59/0.69 c (round 24, exhaustive) 755 del vars, 2339 del conss, 3272 add conss, 375 chg bounds, 3203 chg sides, 6343 chg coeffs, 4080 upgd conss, 0 impls, 5225 clqs
0.59/0.69 c (round 25, fast) 756 del vars, 2439 del conss, 3272 add conss, 375 chg bounds, 3203 chg sides, 6367 chg coeffs, 4080 upgd conss, 0 impls, 5233 clqs
0.68/0.72 c (round 26, medium) 756 del vars, 2449 del conss, 3288 add conss, 375 chg bounds, 3243 chg sides, 6423 chg coeffs, 4080 upgd conss, 0 impls, 5233 clqs
0.68/0.75 c (round 27, exhaustive) 798 del vars, 2457 del conss, 3288 add conss, 375 chg bounds, 3243 chg sides, 6476 chg coeffs, 4080 upgd conss, 0 impls, 5132 clqs
0.68/0.76 c (round 28, fast) 802 del vars, 2535 del conss, 3288 add conss, 375 chg bounds, 3243 chg sides, 6491 chg coeffs, 4080 upgd conss, 0 impls, 5133 clqs
0.68/0.78 c (round 29, medium) 802 del vars, 2551 del conss, 3304 add conss, 375 chg bounds, 3291 chg sides, 6555 chg coeffs, 4080 upgd conss, 0 impls, 5133 clqs
0.78/0.81 c (round 30, exhaustive) 823 del vars, 2557 del conss, 3304 add conss, 375 chg bounds, 3291 chg sides, 6605 chg coeffs, 4080 upgd conss, 0 impls, 5101 clqs
0.78/0.81 c (round 31, fast) 823 del vars, 2598 del conss, 3304 add conss, 375 chg bounds, 3291 chg sides, 6605 chg coeffs, 4080 upgd conss, 0 impls, 5101 clqs
0.78/0.82 c (round 32, medium) 823 del vars, 2603 del conss, 3312 add conss, 375 chg bounds, 3319 chg sides, 6641 chg coeffs, 4080 upgd conss, 0 impls, 5101 clqs
0.78/0.85 c (round 33, exhaustive) 834 del vars, 2604 del conss, 3312 add conss, 375 chg bounds, 3319 chg sides, 6684 chg coeffs, 4080 upgd conss, 0 impls, 5100 clqs
0.78/0.85 c (round 34, fast) 834 del vars, 2615 del conss, 3312 add conss, 375 chg bounds, 3319 chg sides, 6684 chg coeffs, 4080 upgd conss, 0 impls, 5100 clqs
0.78/0.86 c (round 35, medium) 834 del vars, 2623 del conss, 3320 add conss, 375 chg bounds, 3351 chg sides, 6724 chg coeffs, 4080 upgd conss, 0 impls, 5100 clqs
1.28/1.38 c (round 36, exhaustive) 859 del vars, 2624 del conss, 3320 add conss, 375 chg bounds, 3351 chg sides, 6766 chg coeffs, 4080 upgd conss, 0 impls, 69376 clqs
1.28/1.38 c (round 37, fast) 859 del vars, 2703 del conss, 3323 add conss, 375 chg bounds, 3351 chg sides, 6803 chg coeffs, 4080 upgd conss, 0 impls, 69382 clqs
1.28/1.39 c (round 38, medium) 860 del vars, 2707 del conss, 3331 add conss, 375 chg bounds, 3359 chg sides, 6898 chg coeffs, 4080 upgd conss, 0 impls, 69390 clqs
1.28/1.39 c (round 39, fast) 860 del vars, 2712 del conss, 3331 add conss, 375 chg bounds, 3359 chg sides, 6898 chg coeffs, 4080 upgd conss, 0 impls, 69390 clqs
1.38/1.42 c (round 40, exhaustive) 860 del vars, 2721 del conss, 3331 add conss, 375 chg bounds, 3359 chg sides, 6984 chg coeffs, 4080 upgd conss, 0 impls, 69390 clqs
1.38/1.42 c (round 41, medium) 860 del vars, 2759 del conss, 3392 add conss, 375 chg bounds, 3420 chg sides, 7207 chg coeffs, 4080 upgd conss, 0 impls, 69449 clqs
1.38/1.42 c (round 42, fast) 860 del vars, 2785 del conss, 3392 add conss, 375 chg bounds, 3420 chg sides, 7207 chg coeffs, 4080 upgd conss, 0 impls, 69449 clqs
1.38/1.43 c (round 43, medium) 861 del vars, 2787 del conss, 3398 add conss, 375 chg bounds, 3426 chg sides, 7279 chg coeffs, 4080 upgd conss, 0 impls, 69451 clqs
1.48/1.59 c (round 44, exhaustive) 886 del vars, 2791 del conss, 3398 add conss, 375 chg bounds, 3426 chg sides, 7303 chg coeffs, 4080 upgd conss, 0 impls, 70510 clqs
1.48/1.59 c (round 45, fast) 886 del vars, 2870 del conss, 3398 add conss, 375 chg bounds, 3426 chg sides, 7307 chg coeffs, 4080 upgd conss, 0 impls, 70510 clqs
1.58/1.62 c (round 46, exhaustive) 886 del vars, 2882 del conss, 3398 add conss, 375 chg bounds, 3426 chg sides, 7331 chg coeffs, 4080 upgd conss, 0 impls, 70510 clqs
1.58/1.66 c (round 47, exhaustive) 890 del vars, 2882 del conss, 3398 add conss, 375 chg bounds, 3426 chg sides, 7355 chg coeffs, 4080 upgd conss, 0 impls, 70504 clqs
1.68/1.70 c (round 48, exhaustive) 892 del vars, 2882 del conss, 3398 add conss, 375 chg bounds, 3426 chg sides, 7379 chg coeffs, 4080 upgd conss, 0 impls, 70502 clqs
1.68/1.74 c (round 49, exhaustive) 894 del vars, 2882 del conss, 3398 add conss, 375 chg bounds, 3426 chg sides, 7403 chg coeffs, 4080 upgd conss, 0 impls, 70500 clqs
1.68/1.78 c (round 50, exhaustive) 896 del vars, 2882 del conss, 3398 add conss, 375 chg bounds, 3426 chg sides, 7427 chg coeffs, 4080 upgd conss, 0 impls, 70498 clqs
1.78/1.87 c (round 51, exhaustive) 922 del vars, 2882 del conss, 3398 add conss, 375 chg bounds, 3426 chg sides, 7455 chg coeffs, 4080 upgd conss, 0 impls, 71876 clqs
1.78/1.87 c (round 52, fast) 922 del vars, 2950 del conss, 3398 add conss, 375 chg bounds, 3426 chg sides, 7455 chg coeffs, 4080 upgd conss, 0 impls, 71876 clqs
1.88/1.99 c (round 53, exhaustive) 948 del vars, 2954 del conss, 3398 add conss, 375 chg bounds, 3426 chg sides, 7488 chg coeffs, 4080 upgd conss, 0 impls, 72693 clqs
1.88/1.99 c (round 54, fast) 948 del vars, 2992 del conss, 3398 add conss, 375 chg bounds, 3426 chg sides, 7488 chg coeffs, 4080 upgd conss, 0 impls, 72693 clqs
1.99/2.07 c (round 55, exhaustive) 974 del vars, 2994 del conss, 3399 add conss, 375 chg bounds, 3427 chg sides, 7529 chg coeffs, 4080 upgd conss, 0 impls, 72921 clqs
1.99/2.07 c (round 56, fast) 974 del vars, 3028 del conss, 3399 add conss, 375 chg bounds, 3427 chg sides, 7529 chg coeffs, 4080 upgd conss, 0 impls, 72921 clqs
2.09/2.15 c (round 57, exhaustive) 1000 del vars, 3028 del conss, 3399 add conss, 375 chg bounds, 3427 chg sides, 7561 chg coeffs, 4080 upgd conss, 0 impls, 72835 clqs
2.09/2.16 c (round 58, fast) 1000 del vars, 3066 del conss, 3399 add conss, 375 chg bounds, 3427 chg sides, 7561 chg coeffs, 4080 upgd conss, 0 impls, 72835 clqs
2.09/2.17 c (2.2s) running MILP presolver
3.18/3.21 c (3.2s) MILP presolver (180 rounds): 0 aggregations, 861 fixings, 0 bound changes
3.18/3.23 c (round 59, medium) 1862 del vars, 4564 del conss, 3429 add conss, 375 chg bounds, 3454 chg sides, 7615 chg coeffs, 4080 upgd conss, 0 impls, 51066 clqs
3.18/3.24 c (round 60, fast) 1862 del vars, 4567 del conss, 3429 add conss, 375 chg bounds, 3454 chg sides, 7615 chg coeffs, 4080 upgd conss, 0 impls, 51066 clqs
3.18/3.24 c (round 61, exhaustive) 1862 del vars, 4567 del conss, 3429 add conss, 375 chg bounds, 3454 chg sides, 7811 chg coeffs, 4080 upgd conss, 0 impls, 51066 clqs
3.18/3.25 c (round 62, exhaustive) 1862 del vars, 4567 del conss, 3429 add conss, 375 chg bounds, 3454 chg sides, 7981 chg coeffs, 4080 upgd conss, 0 impls, 51066 clqs
3.18/3.26 c (round 63, exhaustive) 1862 del vars, 4567 del conss, 3429 add conss, 375 chg bounds, 3454 chg sides, 8074 chg coeffs, 4080 upgd conss, 0 impls, 51066 clqs
3.18/3.26 c (round 64, exhaustive) 1862 del vars, 4567 del conss, 3429 add conss, 375 chg bounds, 3454 chg sides, 8145 chg coeffs, 4080 upgd conss, 0 impls, 51066 clqs
3.18/3.27 c (round 65, exhaustive) 1862 del vars, 4567 del conss, 3429 add conss, 375 chg bounds, 3454 chg sides, 8193 chg coeffs, 4080 upgd conss, 0 impls, 51066 clqs
3.18/3.29 c (round 66, exhaustive) 1863 del vars, 4628 del conss, 3429 add conss, 375 chg bounds, 3454 chg sides, 8225 chg coeffs, 4080 upgd conss, 0 impls, 50992 clqs
3.18/3.29 c (round 67, fast) 1863 del vars, 4631 del conss, 3429 add conss, 375 chg bounds, 3454 chg sides, 8225 chg coeffs, 4080 upgd conss, 0 impls, 50992 clqs
3.28/3.36 c (round 68, exhaustive) 1888 del vars, 4631 del conss, 3429 add conss, 375 chg bounds, 3454 chg sides, 8233 chg coeffs, 4080 upgd conss, 0 impls, 54710 clqs
3.28/3.36 c (round 69, fast) 1888 del vars, 4688 del conss, 3429 add conss, 375 chg bounds, 3454 chg sides, 8233 chg coeffs, 4080 upgd conss, 0 impls, 54710 clqs
3.28/3.37 c (round 70, medium) 1888 del vars, 4691 del conss, 3438 add conss, 375 chg bounds, 3472 chg sides, 8260 chg coeffs, 4080 upgd conss, 0 impls, 54710 clqs
3.28/3.39 c (round 71, exhaustive) 1888 del vars, 4696 del conss, 3438 add conss, 375 chg bounds, 3472 chg sides, 8266 chg coeffs, 4080 upgd conss, 0 impls, 54710 clqs
3.28/3.39 c (round 72, medium) 1888 del vars, 4699 del conss, 3444 add conss, 375 chg bounds, 3478 chg sides, 8278 chg coeffs, 4080 upgd conss, 0 impls, 54713 clqs
3.38/3.46 c (round 73, exhaustive) 1913 del vars, 4699 del conss, 3444 add conss, 375 chg bounds, 3478 chg sides, 8283 chg coeffs, 4080 upgd conss, 0 impls, 61369 clqs
3.38/3.46 c (round 74, fast) 1913 del vars, 4729 del conss, 3444 add conss, 375 chg bounds, 3478 chg sides, 8283 chg coeffs, 4080 upgd conss, 0 impls, 61369 clqs
3.38/3.46 c (round 75, medium) 1913 del vars, 4733 del conss, 3460 add conss, 375 chg bounds, 3498 chg sides, 8319 chg coeffs, 4080 upgd conss, 0 impls, 61369 clqs
3.38/3.48 c (round 76, exhaustive) 1913 del vars, 4737 del conss, 3460 add conss, 375 chg bounds, 3498 chg sides, 8346 chg coeffs, 4080 upgd conss, 0 impls, 61369 clqs
3.38/3.48 c (round 77, medium) 1913 del vars, 4751 del conss, 3476 add conss, 375 chg bounds, 3514 chg sides, 8378 chg coeffs, 4080 upgd conss, 0 impls, 61371 clqs
3.38/3.49 c (round 78, exhaustive) 1913 del vars, 4755 del conss, 3476 add conss, 375 chg bounds, 3514 chg sides, 8392 chg coeffs, 4080 upgd conss, 0 impls, 61371 clqs
3.48/3.50 c (round 79, exhaustive) 1913 del vars, 4759 del conss, 3476 add conss, 375 chg bounds, 3514 chg sides, 8400 chg coeffs, 4080 upgd conss, 0 impls, 61371 clqs
3.48/3.51 c (round 80, exhaustive) 1913 del vars, 4763 del conss, 3476 add conss, 375 chg bounds, 3514 chg sides, 8408 chg coeffs, 4080 upgd conss, 0 impls, 61371 clqs
3.48/3.54 c (3.5s) sparsify finished: 6/22155 (0.0%) nonzeros canceled - in total 6 canceled nonzeros, 6 changed coefficients, 0 added nonzeros
3.68/3.77 c (round 81, exhaustive) 1938 del vars, 4765 del conss, 3476 add conss, 375 chg bounds, 3514 chg sides, 8421 chg coeffs, 4080 upgd conss, 0 impls, 82680 clqs
3.68/3.77 c (round 82, fast) 1938 del vars, 4810 del conss, 3476 add conss, 375 chg bounds, 3514 chg sides, 8421 chg coeffs, 4080 upgd conss, 0 impls, 82680 clqs
3.68/3.77 c (round 83, medium) 1938 del vars, 4813 del conss, 3484 add conss, 375 chg bounds, 3526 chg sides, 8453 chg coeffs, 4080 upgd conss, 0 impls, 82681 clqs
3.68/3.79 c (round 84, exhaustive) 1938 del vars, 4815 del conss, 3484 add conss, 375 chg bounds, 3526 chg sides, 8489 chg coeffs, 4080 upgd conss, 0 impls, 82681 clqs
3.68/3.79 c (round 85, medium) 1938 del vars, 4834 del conss, 3507 add conss, 375 chg bounds, 3549 chg sides, 8535 chg coeffs, 4080 upgd conss, 0 impls, 82684 clqs
3.78/3.86 c (3.9s) probing: 1000/2425 (41.2%) - 226 fixings, 0 aggregations, 154389 implications, 0 bound changes
3.88/3.97 c (round 86, exhaustive) 1963 del vars, 4834 del conss, 3507 add conss, 375 chg bounds, 3549 chg sides, 8567 chg coeffs, 4080 upgd conss, 0 impls, 80582 clqs
3.88/3.97 c (round 87, fast) 1963 del vars, 4907 del conss, 3507 add conss, 375 chg bounds, 3549 chg sides, 8640 chg coeffs, 4080 upgd conss, 0 impls, 80596 clqs
3.88/3.97 c (round 88, medium) 1963 del vars, 4910 del conss, 3517 add conss, 375 chg bounds, 3565 chg sides, 8671 chg coeffs, 4080 upgd conss, 0 impls, 80597 clqs
4.17/4.24 c (round 89, exhaustive) 1988 del vars, 4912 del conss, 3517 add conss, 375 chg bounds, 3565 chg sides, 8692 chg coeffs, 4080 upgd conss, 0 impls, 81760 clqs
4.17/4.24 c (round 90, fast) 1988 del vars, 4981 del conss, 3517 add conss, 375 chg bounds, 3565 chg sides, 8704 chg coeffs, 4080 upgd conss, 0 impls, 81760 clqs
4.17/4.25 c (round 91, medium) 1988 del vars, 4981 del conss, 3519 add conss, 375 chg bounds, 3567 chg sides, 8709 chg coeffs, 4080 upgd conss, 0 impls, 81761 clqs
4.17/4.27 c (round 92, exhaustive) 1988 del vars, 4983 del conss, 3519 add conss, 375 chg bounds, 3567 chg sides, 8758 chg coeffs, 4080 upgd conss, 0 impls, 81761 clqs
4.17/4.27 c (round 93, medium) 1988 del vars, 4989 del conss, 3527 add conss, 375 chg bounds, 3575 chg sides, 8807 chg coeffs, 4080 upgd conss, 0 impls, 81768 clqs
4.17/4.28 c (round 94, exhaustive) 1988 del vars, 4994 del conss, 3527 add conss, 375 chg bounds, 3575 chg sides, 8832 chg coeffs, 4080 upgd conss, 0 impls, 81768 clqs
4.27/4.30 c (round 95, exhaustive) 1988 del vars, 5005 del conss, 3527 add conss, 375 chg bounds, 3575 chg sides, 8851 chg coeffs, 4080 upgd conss, 0 impls, 81774 clqs
4.27/4.39 c (round 96, exhaustive) 2013 del vars, 5005 del conss, 3527 add conss, 375 chg bounds, 3575 chg sides, 8868 chg coeffs, 4080 upgd conss, 0 impls, 81631 clqs
4.27/4.39 c (round 97, fast) 2013 del vars, 5081 del conss, 3527 add conss, 375 chg bounds, 3575 chg sides, 8868 chg coeffs, 4080 upgd conss, 0 impls, 81631 clqs
4.37/4.41 c (round 98, exhaustive) 2013 del vars, 5081 del conss, 3527 add conss, 375 chg bounds, 3575 chg sides, 8912 chg coeffs, 4080 upgd conss, 0 impls, 81633 clqs
4.37/4.42 c (round 99, medium) 2013 del vars, 5086 del conss, 3533 add conss, 375 chg bounds, 3581 chg sides, 8936 chg coeffs, 4080 upgd conss, 0 impls, 81636 clqs
4.37/4.46 c (4.5s) sparsify finished: 55/20237 (0.3%) nonzeros canceled - in total 61 canceled nonzeros, 61 changed coefficients, 0 added nonzeros
4.37/4.46 c (round 100, exhaustive) 2013 del vars, 5088 del conss, 3533 add conss, 375 chg bounds, 3581 chg sides, 9006 chg coeffs, 4080 upgd conss, 0 impls, 81636 clqs
4.37/4.46 c (round 101, exhaustive) 2013 del vars, 5089 del conss, 3533 add conss, 375 chg bounds, 3581 chg sides, 9021 chg coeffs, 4085 upgd conss, 0 impls, 81638 clqs
4.37/4.47 c (round 102, medium) 2013 del vars, 5094 del conss, 3548 add conss, 375 chg bounds, 3581 chg sides, 9021 chg coeffs, 4085 upgd conss, 0 impls, 81640 clqs
4.47/4.50 c (4.5s) sparsify finished: 35/20216 (0.2%) nonzeros canceled - in total 96 canceled nonzeros, 96 changed coefficients, 0 added nonzeros
4.47/4.50 c (round 103, exhaustive) 2013 del vars, 5094 del conss, 3548 add conss, 375 chg bounds, 3581 chg sides, 9069 chg coeffs, 4085 upgd conss, 0 impls, 81640 clqs
4.47/4.51 c (round 104, exhaustive) 2013 del vars, 5094 del conss, 3548 add conss, 375 chg bounds, 3581 chg sides, 9075 chg coeffs, 4088 upgd conss, 0 impls, 81642 clqs
4.47/4.51 c (round 105, medium) 2013 del vars, 5097 del conss, 3557 add conss, 375 chg bounds, 3581 chg sides, 9075 chg coeffs, 4088 upgd conss, 0 impls, 81645 clqs
4.47/4.58 c (round 106, exhaustive) 2038 del vars, 5097 del conss, 3557 add conss, 375 chg bounds, 3581 chg sides, 9081 chg coeffs, 4088 upgd conss, 0 impls, 79972 clqs
4.47/4.58 c (round 107, fast) 2038 del vars, 5176 del conss, 3557 add conss, 375 chg bounds, 3581 chg sides, 9081 chg coeffs, 4088 upgd conss, 0 impls, 79972 clqs
4.47/4.58 c (round 108, medium) 2038 del vars, 5181 del conss, 3572 add conss, 375 chg bounds, 3606 chg sides, 9121 chg coeffs, 4088 upgd conss, 0 impls, 79972 clqs
4.57/4.61 c (round 109, exhaustive) 2038 del vars, 5195 del conss, 3572 add conss, 375 chg bounds, 3606 chg sides, 9149 chg coeffs, 4088 upgd conss, 0 impls, 79972 clqs
4.57/4.61 c (round 110, medium) 2038 del vars, 5202 del conss, 3580 add conss, 375 chg bounds, 3614 chg sides, 9165 chg coeffs, 4088 upgd conss, 0 impls, 79974 clqs
4.57/4.65 c (round 111, exhaustive) 2063 del vars, 5202 del conss, 3580 add conss, 375 chg bounds, 3614 chg sides, 9192 chg coeffs, 4088 upgd conss, 0 impls, 76550 clqs
4.57/4.65 c (round 112, fast) 2063 del vars, 5278 del conss, 3580 add conss, 375 chg bounds, 3614 chg sides, 9192 chg coeffs, 4088 upgd conss, 0 impls, 76550 clqs
4.57/4.66 c (4.7s) running MILP presolver
4.77/4.82 c (4.8s) MILP presolver (52 rounds): 0 aggregations, 201 fixings, 0 bound changes
4.77/4.84 c (round 113, medium) 2268 del vars, 5811 del conss, 3636 add conss, 375 chg bounds, 3672 chg sides, 9340 chg coeffs, 4088 upgd conss, 0 impls, 50851 clqs
4.77/4.84 c (round 114, fast) 2271 del vars, 5852 del conss, 3638 add conss, 375 chg bounds, 3672 chg sides, 9340 chg coeffs, 4088 upgd conss, 0 impls, 50851 clqs
4.77/4.84 c (round 115, medium) 2271 del vars, 5861 del conss, 3674 add conss, 375 chg bounds, 3684 chg sides, 9365 chg coeffs, 4088 upgd conss, 0 impls, 50852 clqs
4.77/4.84 c (round 116, fast) 2271 del vars, 5864 del conss, 3675 add conss, 375 chg bounds, 3684 chg sides, 9365 chg coeffs, 4088 upgd conss, 0 impls, 50852 clqs
4.77/4.85 c (round 117, exhaustive) 2271 del vars, 5864 del conss, 3675 add conss, 375 chg bounds, 3684 chg sides, 9502 chg coeffs, 4088 upgd conss, 0 impls, 50852 clqs
4.77/4.86 c (round 118, fast) 2271 del vars, 5866 del conss, 3677 add conss, 375 chg bounds, 3684 chg sides, 9502 chg coeffs, 4088 upgd conss, 0 impls, 50852 clqs
4.77/4.86 c (round 119, medium) 2271 del vars, 5867 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 9530 chg coeffs, 4088 upgd conss, 0 impls, 50886 clqs
4.77/4.86 c (round 120, fast) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 9530 chg coeffs, 4088 upgd conss, 0 impls, 50886 clqs
4.77/4.87 c (round 121, exhaustive) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 9629 chg coeffs, 4088 upgd conss, 0 impls, 50886 clqs
4.77/4.87 c (round 122, exhaustive) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 9698 chg coeffs, 4088 upgd conss, 0 impls, 50908 clqs
4.77/4.88 c (round 123, exhaustive) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 9764 chg coeffs, 4088 upgd conss, 0 impls, 50927 clqs
4.77/4.89 c (round 124, exhaustive) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 9830 chg coeffs, 4088 upgd conss, 0 impls, 50944 clqs
4.77/4.89 c (round 125, exhaustive) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 9896 chg coeffs, 4088 upgd conss, 0 impls, 50961 clqs
4.87/4.90 c (round 126, exhaustive) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 9961 chg coeffs, 4088 upgd conss, 0 impls, 50978 clqs
4.87/4.91 c (round 127, exhaustive) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 9999 chg coeffs, 4088 upgd conss, 0 impls, 50995 clqs
4.87/4.91 c (round 128, exhaustive) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 10035 chg coeffs, 4088 upgd conss, 0 impls, 51001 clqs
4.87/4.92 c (round 129, exhaustive) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 10062 chg coeffs, 4088 upgd conss, 0 impls, 51007 clqs
4.87/4.93 c (round 130, exhaustive) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 10089 chg coeffs, 4088 upgd conss, 0 impls, 51011 clqs
4.87/4.93 c (round 131, exhaustive) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 10115 chg coeffs, 4088 upgd conss, 0 impls, 51015 clqs
4.87/4.94 c (round 132, exhaustive) 2271 del vars, 5875 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 10138 chg coeffs, 4088 upgd conss, 0 impls, 51019 clqs
4.87/4.95 c (round 133, exhaustive) 2272 del vars, 5929 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 10157 chg coeffs, 4088 upgd conss, 0 impls, 50886 clqs
4.87/4.95 c (round 134, fast) 2272 del vars, 5933 del conss, 3686 add conss, 375 chg bounds, 3693 chg sides, 10157 chg coeffs, 4088 upgd conss, 0 impls, 50886 clqs
4.87/4.95 c (round 135, medium) 2272 del vars, 5935 del conss, 3696 add conss, 375 chg bounds, 3697 chg sides, 10171 chg coeffs, 4088 upgd conss, 0 impls, 50889 clqs
4.87/4.95 c (round 136, fast) 2272 del vars, 5937 del conss, 3698 add conss, 375 chg bounds, 3697 chg sides, 10171 chg coeffs, 4088 upgd conss, 0 impls, 50890 clqs
4.87/4.96 c (round 137, exhaustive) 2274 del vars, 5939 del conss, 3698 add conss, 375 chg bounds, 3697 chg sides, 10180 chg coeffs, 4088 upgd conss, 0 impls, 50530 clqs
4.87/4.96 c (round 138, fast) 2274 del vars, 5945 del conss, 3698 add conss, 375 chg bounds, 3697 chg sides, 10180 chg coeffs, 4088 upgd conss, 0 impls, 50530 clqs
4.87/4.97 c (round 139, exhaustive) 2279 del vars, 5953 del conss, 3698 add conss, 375 chg bounds, 3697 chg sides, 10189 chg coeffs, 4088 upgd conss, 0 impls, 49399 clqs
4.87/4.97 c (round 140, fast) 2281 del vars, 5966 del conss, 3698 add conss, 375 chg bounds, 3697 chg sides, 10189 chg coeffs, 4088 upgd conss, 0 impls, 49399 clqs
4.87/4.97 c (round 141, medium) 2281 del vars, 5966 del conss, 3706 add conss, 375 chg bounds, 3705 chg sides, 10205 chg coeffs, 4088 upgd conss, 0 impls, 49399 clqs
4.87/4.99 c (round 142, exhaustive) 2281 del vars, 5967 del conss, 3706 add conss, 375 chg bounds, 3705 chg sides, 10225 chg coeffs, 4088 upgd conss, 0 impls, 49399 clqs
4.87/4.99 c (round 143, exhaustive) 2281 del vars, 5969 del conss, 3707 add conss, 375 chg bounds, 3705 chg sides, 10225 chg coeffs, 4088 upgd conss, 0 impls, 49399 clqs
4.87/5.00 c (round 144, exhaustive) 2281 del vars, 5977 del conss, 3707 add conss, 375 chg bounds, 3705 chg sides, 10234 chg coeffs, 4088 upgd conss, 0 impls, 49399 clqs
4.98/5.01 c (round 145, exhaustive) 2288 del vars, 5977 del conss, 3707 add conss, 375 chg bounds, 3705 chg sides, 10243 chg coeffs, 4088 upgd conss, 0 impls, 49225 clqs
4.98/5.01 c (round 146, exhaustive) 2288 del vars, 5978 del conss, 3707 add conss, 375 chg bounds, 3705 chg sides, 10285 chg coeffs, 4088 upgd conss, 0 impls, 49225 clqs
4.98/5.01 c (round 147, fast) 2288 del vars, 5979 del conss, 3708 add conss, 375 chg bounds, 3705 chg sides, 10285 chg coeffs, 4088 upgd conss, 0 impls, 49225 clqs
4.98/5.01 c (round 148, medium) 2288 del vars, 6001 del conss, 3787 add conss, 375 chg bounds, 3718 chg sides, 10325 chg coeffs, 4088 upgd conss, 0 impls, 49338 clqs
4.98/5.02 c (round 149, fast) 2288 del vars, 6007 del conss, 3793 add conss, 375 chg bounds, 3718 chg sides, 10325 chg coeffs, 4088 upgd conss, 0 impls, 49339 clqs
4.98/5.03 c (round 150, exhaustive) 2293 del vars, 6007 del conss, 3793 add conss, 375 chg bounds, 3718 chg sides, 10336 chg coeffs, 4088 upgd conss, 0 impls, 49229 clqs
4.98/5.03 c (round 151, fast) 2298 del vars, 6022 del conss, 3793 add conss, 375 chg bounds, 3718 chg sides, 10336 chg coeffs, 4088 upgd conss, 0 impls, 49229 clqs
4.98/5.03 c (round 152, medium) 2298 del vars, 6022 del conss, 3794 add conss, 375 chg bounds, 3719 chg sides, 10340 chg coeffs, 4088 upgd conss, 0 impls, 49231 clqs
4.98/5.03 c (round 153, fast) 2298 del vars, 6023 del conss, 3795 add conss, 375 chg bounds, 3719 chg sides, 10340 chg coeffs, 4088 upgd conss, 0 impls, 49232 clqs
4.98/5.03 c (round 154, exhaustive) 2298 del vars, 6025 del conss, 3796 add conss, 375 chg bounds, 3719 chg sides, 10340 chg coeffs, 4088 upgd conss, 0 impls, 49232 clqs
4.98/5.06 c (5.1s) probing: 2000/2425 (82.5%) - 363 fixings, 0 aggregations, 227652 implications, 0 bound changes
4.98/5.06 c (5.1s) probing cycle finished: starting next cycle
4.98/5.06 c (round 155, exhaustive) 2336 del vars, 6025 del conss, 3796 add conss, 375 chg bounds, 3719 chg sides, 10341 chg coeffs, 4088 upgd conss, 0 impls, 46378 clqs
4.98/5.06 c (round 156, fast) 2336 del vars, 6103 del conss, 3799 add conss, 375 chg bounds, 3719 chg sides, 10341 chg coeffs, 4088 upgd conss, 0 impls, 46379 clqs
4.98/5.07 c (round 157, medium) 2336 del vars, 6157 del conss, 3980 add conss, 375 chg bounds, 3744 chg sides, 10410 chg coeffs, 4088 upgd conss, 0 impls, 46583 clqs
4.98/5.07 c (round 158, fast) 2336 del vars, 6168 del conss, 3991 add conss, 375 chg bounds, 3744 chg sides, 10410 chg coeffs, 4088 upgd conss, 0 impls, 46583 clqs
4.98/5.08 c (round 159, exhaustive) 2336 del vars, 6172 del conss, 3993 add conss, 375 chg bounds, 3744 chg sides, 10410 chg coeffs, 4088 upgd conss, 0 impls, 46583 clqs
4.98/5.09 c (round 160, exhaustive) 2336 del vars, 6172 del conss, 3993 add conss, 375 chg bounds, 3744 chg sides, 10444 chg coeffs, 4088 upgd conss, 0 impls, 46583 clqs
4.98/5.09 c (round 161, exhaustive) 2336 del vars, 6172 del conss, 3993 add conss, 375 chg bounds, 3744 chg sides, 10470 chg coeffs, 4088 upgd conss, 0 impls, 46589 clqs
4.98/5.10 c (round 162, exhaustive) 2336 del vars, 6198 del conss, 3993 add conss, 375 chg bounds, 3744 chg sides, 10488 chg coeffs, 4088 upgd conss, 0 impls, 46593 clqs
5.08/5.12 c (5.1s) sparsify finished: 77/11528 (0.7%) nonzeros canceled - in total 173 canceled nonzeros, 497 changed coefficients, 0 added nonzeros
5.08/5.12 c (round 163, exhaustive) 2336 del vars, 6198 del conss, 3993 add conss, 375 chg bounds, 3744 chg sides, 10899 chg coeffs, 4088 upgd conss, 0 impls, 46595 clqs
5.08/5.12 c (round 164, exhaustive) 2336 del vars, 6213 del conss, 3993 add conss, 375 chg bounds, 3744 chg sides, 10903 chg coeffs, 4088 upgd conss, 0 impls, 46595 clqs
5.08/5.13 c (round 165, exhaustive) 2336 del vars, 6213 del conss, 3993 add conss, 375 chg bounds, 3744 chg sides, 10903 chg coeffs, 4101 upgd conss, 0 impls, 46595 clqs
5.08/5.13 c (round 166, medium) 2336 del vars, 6222 del conss, 4018 add conss, 375 chg bounds, 3757 chg sides, 11111 chg coeffs, 4101 upgd conss, 0 impls, 46595 clqs
5.08/5.13 c (round 167, fast) 2336 del vars, 6223 del conss, 4019 add conss, 375 chg bounds, 3757 chg sides, 11111 chg coeffs, 4101 upgd conss, 0 impls, 46595 clqs
5.08/5.13 c (round 168, exhaustive) 2336 del vars, 6231 del conss, 4019 add conss, 375 chg bounds, 3757 chg sides, 11115 chg coeffs, 4101 upgd conss, 0 impls, 46595 clqs
5.08/5.16 c (round 169, exhaustive) 2469 del vars, 6231 del conss, 4019 add conss, 375 chg bounds, 3757 chg sides, 11115 chg coeffs, 4101 upgd conss, 0 impls, 26608 clqs
5.08/5.17 c (round 170, fast) 2476 del vars, 6563 del conss, 4020 add conss, 375 chg bounds, 3757 chg sides, 11313 chg coeffs, 4101 upgd conss, 0 impls, 26611 clqs
5.08/5.17 c (5.2s) running MILP presolver
5.08/5.19 c (5.2s) MILP presolver (10 rounds): 0 aggregations, 24 fixings, 0 bound changes
5.08/5.19 c (round 171, medium) 2500 del vars, 6606 del conss, 4041 add conss, 375 chg bounds, 3777 chg sides, 11403 chg coeffs, 4101 upgd conss, 0 impls, 25925 clqs
5.08/5.19 c (round 172, fast) 2500 del vars, 6623 del conss, 4042 add conss, 375 chg bounds, 3777 chg sides, 11403 chg coeffs, 4101 upgd conss, 0 impls, 25925 clqs
5.17/5.20 c (round 173, exhaustive) 2500 del vars, 6623 del conss, 4042 add conss, 375 chg bounds, 3777 chg sides, 11422 chg coeffs, 4101 upgd conss, 0 impls, 25925 clqs
5.17/5.21 c (round 174, exhaustive) 2503 del vars, 6709 del conss, 4042 add conss, 375 chg bounds, 3777 chg sides, 11430 chg coeffs, 4101 upgd conss, 0 impls, 25664 clqs
5.17/5.21 c (round 175, fast) 2503 del vars, 6718 del conss, 4042 add conss, 375 chg bounds, 3777 chg sides, 11430 chg coeffs, 4101 upgd conss, 0 impls, 25664 clqs
5.17/5.21 c (round 176, exhaustive) 2509 del vars, 6721 del conss, 4042 add conss, 375 chg bounds, 3777 chg sides, 11436 chg coeffs, 4101 upgd conss, 0 impls, 24707 clqs
5.17/5.21 c (round 177, fast) 2509 del vars, 6737 del conss, 4042 add conss, 375 chg bounds, 3777 chg sides, 11436 chg coeffs, 4101 upgd conss, 0 impls, 24707 clqs
5.17/5.21 c (round 178, medium) 2509 del vars, 6737 del conss, 4050 add conss, 375 chg bounds, 3785 chg sides, 11452 chg coeffs, 4101 upgd conss, 0 impls, 24713 clqs
5.17/5.29 c (round 179, exhaustive) 2540 del vars, 6737 del conss, 4050 add conss, 375 chg bounds, 3785 chg sides, 11463 chg coeffs, 4101 upgd conss, 0 impls, 28345 clqs
5.17/5.29 c (round 180, fast) 2540 del vars, 6818 del conss, 4050 add conss, 375 chg bounds, 3785 chg sides, 11493 chg coeffs, 4101 upgd conss, 0 impls, 28347 clqs
5.17/5.29 c (round 181, medium) 2540 del vars, 6818 del conss, 4051 add conss, 375 chg bounds, 3786 chg sides, 11499 chg coeffs, 4101 upgd conss, 0 impls, 28355 clqs
5.27/5.30 c (round 182, exhaustive) 2540 del vars, 6820 del conss, 4051 add conss, 375 chg bounds, 3786 chg sides, 11499 chg coeffs, 4101 upgd conss, 0 impls, 28355 clqs
5.27/5.30 c (round 183, exhaustive) 2540 del vars, 6820 del conss, 4051 add conss, 375 chg bounds, 3786 chg sides, 11538 chg coeffs, 4101 upgd conss, 0 impls, 28355 clqs
5.27/5.31 c (round 184, exhaustive) 2541 del vars, 6831 del conss, 4051 add conss, 375 chg bounds, 3786 chg sides, 11545 chg coeffs, 4101 upgd conss, 0 impls, 28343 clqs
5.27/5.31 c (round 185, medium) 2541 del vars, 6832 del conss, 4055 add conss, 375 chg bounds, 3790 chg sides, 11565 chg coeffs, 4101 upgd conss, 0 impls, 28347 clqs
5.27/5.32 c (round 186, exhaustive) 2541 del vars, 6833 del conss, 4055 add conss, 375 chg bounds, 3790 chg sides, 11603 chg coeffs, 4101 upgd conss, 0 impls, 28347 clqs
5.27/5.32 c (round 187, exhaustive) 2541 del vars, 6833 del conss, 4055 add conss, 375 chg bounds, 3790 chg sides, 11640 chg coeffs, 4101 upgd conss, 0 impls, 28370 clqs
5.27/5.32 c (round 188, exhaustive) 2541 del vars, 6833 del conss, 4055 add conss, 375 chg bounds, 3790 chg sides, 11675 chg coeffs, 4101 upgd conss, 0 impls, 28388 clqs
5.27/5.34 c (round 189, exhaustive) 2541 del vars, 6833 del conss, 4055 add conss, 375 chg bounds, 3790 chg sides, 11688 chg coeffs, 4101 upgd conss, 0 impls, 28405 clqs
5.27/5.34 c (round 190, medium) 2541 del vars, 6833 del conss, 4057 add conss, 375 chg bounds, 3792 chg sides, 11699 chg coeffs, 4101 upgd conss, 0 impls, 28406 clqs
5.27/5.34 c (round 191, exhaustive) 2545 del vars, 6838 del conss, 4057 add conss, 375 chg bounds, 3792 chg sides, 11701 chg coeffs, 4101 upgd conss, 0 impls, 28232 clqs
5.37/5.40 c (round 192, exhaustive) 2570 del vars, 6838 del conss, 4057 add conss, 375 chg bounds, 3792 chg sides, 11703 chg coeffs, 4101 upgd conss, 0 impls, 28489 clqs
5.37/5.40 c (round 193, fast) 2570 del vars, 6893 del conss, 4057 add conss, 375 chg bounds, 3792 chg sides, 11773 chg coeffs, 4101 upgd conss, 0 impls, 28505 clqs
5.37/5.40 c (round 194, medium) 2570 del vars, 6893 del conss, 4058 add conss, 375 chg bounds, 3793 chg sides, 11779 chg coeffs, 4101 upgd conss, 0 impls, 28506 clqs
5.37/5.41 c (round 195, exhaustive) 2570 del vars, 6894 del conss, 4058 add conss, 375 chg bounds, 3793 chg sides, 11816 chg coeffs, 4101 upgd conss, 0 impls, 28506 clqs
5.37/5.42 c (round 196, exhaustive) 2571 del vars, 6912 del conss, 4058 add conss, 375 chg bounds, 3793 chg sides, 11820 chg coeffs, 4101 upgd conss, 0 impls, 28461 clqs
5.37/5.44 c (5.4s) sparsify finished: 212/7702 (2.8%) nonzeros canceled - in total 385 canceled nonzeros, 805 changed coefficients, 0 added nonzeros
5.37/5.44 c (round 197, exhaustive) 2571 del vars, 6912 del conss, 4058 add conss, 375 chg bounds, 3793 chg sides, 12132 chg coeffs, 4101 upgd conss, 0 impls, 28461 clqs
5.37/5.44 c (round 198, fast) 2571 del vars, 6917 del conss, 4058 add conss, 375 chg bounds, 3793 chg sides, 12132 chg coeffs, 4101 upgd conss, 0 impls, 28476 clqs
5.37/5.44 c (round 199, exhaustive) 2571 del vars, 6918 del conss, 4058 add conss, 375 chg bounds, 3793 chg sides, 12132 chg coeffs, 4140 upgd conss, 0 impls, 28476 clqs
5.37/5.44 c (round 200, medium) 2571 del vars, 6931 del conss, 4108 add conss, 375 chg bounds, 3820 chg sides, 12203 chg coeffs, 4140 upgd conss, 0 impls, 28561 clqs
5.37/5.44 c (round 201, fast) 2571 del vars, 6943 del conss, 4119 add conss, 375 chg bounds, 3820 chg sides, 12203 chg coeffs, 4140 upgd conss, 0 impls, 28561 clqs
5.37/5.44 c (round 202, exhaustive) 2571 del vars, 6953 del conss, 4119 add conss, 375 chg bounds, 3820 chg sides, 12208 chg coeffs, 4140 upgd conss, 0 impls, 28561 clqs
5.37/5.44 c (round 203, medium) 2571 del vars, 6953 del conss, 4121 add conss, 375 chg bounds, 3822 chg sides, 12216 chg coeffs, 4140 upgd conss, 0 impls, 28566 clqs
5.37/5.44 c (round 204, fast) 2571 del vars, 6955 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12216 chg coeffs, 4140 upgd conss, 0 impls, 28567 clqs
5.37/5.45 c (round 205, exhaustive) 2571 del vars, 6957 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12218 chg coeffs, 4140 upgd conss, 0 impls, 28567 clqs
5.37/5.48 c (round 206, exhaustive) 2596 del vars, 6957 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12218 chg coeffs, 4140 upgd conss, 0 impls, 28013 clqs
5.37/5.48 c (round 207, fast) 2596 del vars, 7017 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12285 chg coeffs, 4140 upgd conss, 0 impls, 28023 clqs
5.37/5.49 c (round 208, exhaustive) 2596 del vars, 7031 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12290 chg coeffs, 4140 upgd conss, 0 impls, 28023 clqs
5.47/5.54 c (round 209, exhaustive) 2628 del vars, 7031 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12290 chg coeffs, 4140 upgd conss, 0 impls, 26163 clqs
5.47/5.54 c (round 210, fast) 2628 del vars, 7113 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12334 chg coeffs, 4140 upgd conss, 0 impls, 26168 clqs
5.47/5.54 c (5.5s) running MILP presolver
5.47/5.55 c (5.6s) MILP presolver (7 rounds): 0 aggregations, 7 fixings, 0 bound changes
5.47/5.56 c (round 211, medium) 2635 del vars, 7130 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12334 chg coeffs, 4140 upgd conss, 0 impls, 25282 clqs
5.47/5.56 c (round 212, exhaustive) 2635 del vars, 7144 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12335 chg coeffs, 4140 upgd conss, 0 impls, 25282 clqs
5.57/5.62 c (round 213, exhaustive) 2662 del vars, 7144 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12336 chg coeffs, 4140 upgd conss, 0 impls, 26816 clqs
5.57/5.62 c (round 214, fast) 2664 del vars, 7217 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12357 chg coeffs, 4140 upgd conss, 0 impls, 26821 clqs
5.57/5.62 c (round 215, exhaustive) 2664 del vars, 7226 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12364 chg coeffs, 4140 upgd conss, 0 impls, 26821 clqs
5.57/5.63 c (round 216, exhaustive) 2664 del vars, 7226 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12375 chg coeffs, 4140 upgd conss, 0 impls, 26822 clqs
5.57/5.66 c (round 217, exhaustive) 2689 del vars, 7226 del conss, 4123 add conss, 375 chg bounds, 3822 chg sides, 12378 chg coeffs, 4140 upgd conss, 0 impls, 26065 clqs
5.57/5.67 c (round 218, fast) 2689 del vars, 7289 del conss, 4126 add conss, 375 chg bounds, 3822 chg sides, 12378 chg coeffs, 4140 upgd conss, 0 impls, 26065 clqs
5.57/5.67 c (round 219, medium) 2689 del vars, 7289 del conss, 4135 add conss, 375 chg bounds, 3831 chg sides, 12397 chg coeffs, 4140 upgd conss, 0 impls, 26067 clqs
5.57/5.67 c (round 220, exhaustive) 2689 del vars, 7292 del conss, 4136 add conss, 375 chg bounds, 3831 chg sides, 12397 chg coeffs, 4140 upgd conss, 0 impls, 26067 clqs
5.57/5.67 c (round 221, exhaustive) 2689 del vars, 7292 del conss, 4136 add conss, 375 chg bounds, 3831 chg sides, 12409 chg coeffs, 4140 upgd conss, 0 impls, 26067 clqs
5.57/5.68 c (round 222, exhaustive) 2689 del vars, 7307 del conss, 4136 add conss, 375 chg bounds, 3831 chg sides, 12414 chg coeffs, 4140 upgd conss, 0 impls, 26067 clqs
5.57/5.70 c (5.7s) probing cycle finished: starting next cycle
5.67/5.70 c (round 223, exhaustive) 2728 del vars, 7307 del conss, 4136 add conss, 375 chg bounds, 3831 chg sides, 12416 chg coeffs, 4140 upgd conss, 0 impls, 23232 clqs
5.67/5.70 c (round 224, fast) 2729 del vars, 7429 del conss, 4138 add conss, 375 chg bounds, 3831 chg sides, 12450 chg coeffs, 4140 upgd conss, 0 impls, 23192 clqs
5.67/5.70 c (5.7s) running MILP presolver
5.67/5.71 c (5.7s) MILP presolver (4 rounds): 2 aggregations, 0 fixings, 0 bound changes
5.67/5.71 c (round 225, medium) 2731 del vars, 7435 del conss, 4152 add conss, 375 chg bounds, 3845 chg sides, 12497 chg coeffs, 4140 upgd conss, 0 impls, 22968 clqs
5.67/5.71 c (round 226, fast) 2731 del vars, 7437 del conss, 4153 add conss, 375 chg bounds, 3845 chg sides, 12497 chg coeffs, 4140 upgd conss, 0 impls, 22969 clqs
5.67/5.71 c (round 227, exhaustive) 2731 del vars, 7439 del conss, 4154 add conss, 375 chg bounds, 3845 chg sides, 12497 chg coeffs, 4140 upgd conss, 0 impls, 22969 clqs
5.67/5.71 c (round 228, exhaustive) 2731 del vars, 7439 del conss, 4154 add conss, 375 chg bounds, 3845 chg sides, 12507 chg coeffs, 4140 upgd conss, 0 impls, 22969 clqs
5.67/5.72 c (round 229, exhaustive) 2731 del vars, 7439 del conss, 4154 add conss, 375 chg bounds, 3845 chg sides, 12515 chg coeffs, 4140 upgd conss, 0 impls, 22969 clqs
5.67/5.72 c (round 230, exhaustive) 2731 del vars, 7466 del conss, 4154 add conss, 375 chg bounds, 3845 chg sides, 12521 chg coeffs, 4140 upgd conss, 0 impls, 22969 clqs
5.67/5.73 c (round 231, exhaustive) 2766 del vars, 7466 del conss, 4154 add conss, 375 chg bounds, 3845 chg sides, 12524 chg coeffs, 4140 upgd conss, 0 impls, 21152 clqs
5.67/5.73 c (round 232, fast) 2767 del vars, 7562 del conss, 4154 add conss, 375 chg bounds, 3845 chg sides, 12592 chg coeffs, 4140 upgd conss, 0 impls, 21111 clqs
5.67/5.74 c (round 233, exhaustive) 2767 del vars, 7586 del conss, 4154 add conss, 375 chg bounds, 3845 chg sides, 12596 chg coeffs, 4140 upgd conss, 0 impls, 21111 clqs
5.67/5.74 c (round 234, exhaustive) 2767 del vars, 7586 del conss, 4154 add conss, 375 chg bounds, 3845 chg sides, 12602 chg coeffs, 4140 upgd conss, 0 impls, 21111 clqs
5.67/5.75 c (round 235, exhaustive) 2767 del vars, 7590 del conss, 4154 add conss, 375 chg bounds, 3845 chg sides, 12602 chg coeffs, 4140 upgd conss, 0 impls, 21111 clqs
5.67/5.75 c (round 236, exhaustive) 2770 del vars, 7590 del conss, 4154 add conss, 375 chg bounds, 3845 chg sides, 12602 chg coeffs, 4140 upgd conss, 0 impls, 20980 clqs
5.67/5.75 c (round 237, fast) 2771 del vars, 7596 del conss, 4154 add conss, 375 chg bounds, 3845 chg sides, 12604 chg coeffs, 4140 upgd conss, 0 impls, 20980 clqs
5.67/5.75 c (round 238, fast) 2772 del vars, 7599 del conss, 4154 add conss, 375 chg bounds, 3845 chg sides, 12604 chg coeffs, 4140 upgd conss, 0 impls, 20937 clqs
5.67/5.75 c (round 239, medium) 2773 del vars, 7599 del conss, 4154 add conss, 375 chg bounds, 3846 chg sides, 12605 chg coeffs, 4140 upgd conss, 0 impls, 20887 clqs
5.67/5.75 c (round 240, exhaustive) 2773 del vars, 7600 del conss, 4154 add conss, 375 chg bounds, 3846 chg sides, 12605 chg coeffs, 4140 upgd conss, 0 impls, 20887 clqs
5.67/5.79 c (round 241, exhaustive) 2799 del vars, 7600 del conss, 4154 add conss, 375 chg bounds, 3846 chg sides, 12605 chg coeffs, 4140 upgd conss, 0 impls, 19326 clqs
5.67/5.79 c (round 242, fast) 2799 del vars, 7659 del conss, 4158 add conss, 375 chg bounds, 3846 chg sides, 12662 chg coeffs, 4140 upgd conss, 0 impls, 19341 clqs
5.67/5.79 c (round 243, medium) 2799 del vars, 7662 del conss, 4164 add conss, 375 chg bounds, 3852 chg sides, 12694 chg coeffs, 4140 upgd conss, 0 impls, 19347 clqs
5.67/5.79 c (round 244, fast) 2799 del vars, 7664 del conss, 4164 add conss, 375 chg bounds, 3852 chg sides, 12694 chg coeffs, 4140 upgd conss, 0 impls, 19347 clqs
5.67/5.79 c (round 245, exhaustive) 2799 del vars, 7664 del conss, 4164 add conss, 375 chg bounds, 3852 chg sides, 12702 chg coeffs, 4140 upgd conss, 0 impls, 19347 clqs
5.77/5.80 c (round 246, exhaustive) 2799 del vars, 7670 del conss, 4164 add conss, 375 chg bounds, 3852 chg sides, 12702 chg coeffs, 4140 upgd conss, 0 impls, 19347 clqs
5.77/5.80 c (round 247, exhaustive) 2799 del vars, 7670 del conss, 4164 add conss, 375 chg bounds, 3852 chg sides, 12712 chg coeffs, 4140 upgd conss, 0 impls, 19347 clqs
5.77/5.83 c (round 248, exhaustive) 2827 del vars, 7670 del conss, 4164 add conss, 375 chg bounds, 3852 chg sides, 12712 chg coeffs, 4140 upgd conss, 0 impls, 16879 clqs
5.77/5.83 c (round 249, fast) 2831 del vars, 7740 del conss, 4167 add conss, 375 chg bounds, 3852 chg sides, 12776 chg coeffs, 4140 upgd conss, 0 impls, 16831 clqs
5.77/5.83 c (5.8s) running MILP presolver
5.77/5.83 c (5.8s) MILP presolver (4 rounds): 1 aggregations, 0 fixings, 0 bound changes
5.77/5.83 c (round 250, medium) 2832 del vars, 7742 del conss, 4167 add conss, 375 chg bounds, 3852 chg sides, 12776 chg coeffs, 4140 upgd conss, 0 impls, 16651 clqs
5.77/5.84 c (round 251, exhaustive) 2832 del vars, 7745 del conss, 4168 add conss, 375 chg bounds, 3852 chg sides, 12776 chg coeffs, 4140 upgd conss, 0 impls, 16651 clqs
5.77/5.84 c (round 252, exhaustive) 2832 del vars, 7745 del conss, 4168 add conss, 375 chg bounds, 3852 chg sides, 12780 chg coeffs, 4140 upgd conss, 0 impls, 16651 clqs
5.77/5.84 c (round 253, exhaustive) 2832 del vars, 7751 del conss, 4168 add conss, 375 chg bounds, 3852 chg sides, 12780 chg coeffs, 4140 upgd conss, 0 impls, 16651 clqs
5.77/5.85 c (round 254, exhaustive) 2832 del vars, 7751 del conss, 4168 add conss, 375 chg bounds, 3852 chg sides, 12800 chg coeffs, 4140 upgd conss, 0 impls, 16651 clqs
5.77/5.85 c (round 255, exhaustive) 2832 del vars, 7753 del conss, 4168 add conss, 375 chg bounds, 3852 chg sides, 12800 chg coeffs, 4140 upgd conss, 0 impls, 16656 clqs
5.77/5.89 c (round 256, exhaustive) 2860 del vars, 7753 del conss, 4168 add conss, 375 chg bounds, 3852 chg sides, 12800 chg coeffs, 4140 upgd conss, 0 impls, 15422 clqs
5.77/5.89 c (round 257, fast) 2863 del vars, 7809 del conss, 4169 add conss, 375 chg bounds, 3853 chg sides, 12856 chg coeffs, 4140 upgd conss, 0 impls, 15429 clqs
5.77/5.89 c presolving (258 rounds: 258 fast, 187 medium, 136 exhaustive):
5.77/5.89 c 2906 deleted vars, 7882 deleted constraints, 4177 added constraints, 375 tightened bounds, 0 added holes, 3861 changed sides, 12937 changed coefficients
5.77/5.89 c 0 implications, 15439 cliques
5.77/5.89 c presolving detected infeasibility
5.77/5.89 c Presolving Time: 5.85
5.77/5.89 c
5.77/5.89 c SCIP Status : problem is solved [infeasible]
5.77/5.89 c Solving Time (sec) : 5.89
5.77/5.89 c Solving Nodes : 0
5.77/5.89 c Primal Bound : +1.00000000000000e+20 (0 solutions)
5.77/5.89 c Dual Bound : +1.00000000000000e+20
5.77/5.89 c Gap : 0.00 %
5.77/5.89 c - non default parameters ----------------------------------------------------------------------
5.77/5.89 c # SCIP version 10.0.0
5.77/5.89 c
5.77/5.89 c # maximal time in seconds to run
5.77/5.89 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
5.77/5.89 c limits/time = 3596.99701
5.77/5.89 c
5.77/5.89 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.77/5.89 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
5.77/5.89 c limits/memory = 27900
5.77/5.89 c
5.77/5.89 c # belongs reading time to solving time?
5.77/5.89 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
5.77/5.89 c timing/reading = TRUE
5.77/5.89 c
5.77/5.89 c -----------------------------------------------------------------------------------------------
5.77/5.89 c start solving
5.77/5.89 s UNSATISFIABLE
5.77/5.89 c SCIP Status : problem is solved [infeasible]
5.77/5.89 c Total Time : 5.89
5.77/5.89 c solving : 5.89
5.77/5.89 c presolving : 5.85 (included in solving)
5.77/5.89 c reading : 0.03 (included in solving)
5.77/5.89 c copying : 0.00 (0 times copied the problem)
5.77/5.89 c Original Problem :
5.77/5.89 c Problem name : HOME/instance-4459469-1721898459.opb
5.77/5.89 c Variables : 3208 (3208 binary, 0 integer, 0 implicit integer, 0 continuous)
5.77/5.89 c Constraints : 4687 initial, 4687 maximal
5.77/5.89 c Objective : minimize, 33 non-zeros (abs.min = 1, abs.max = 33)
5.77/5.89 c Presolved Problem :
5.77/5.89 c Problem name : t_HOME/instance-4459469-1721898459.opb
5.77/5.89 c Variables : 378 (378 binary, 0 integer, 0 implicit integer, 0 continuous)
5.77/5.89 c Constraints : 933 initial, 933 maximal
5.77/5.89 c Objective : minimize, 2 non-zeros (abs.min = 1, abs.max = 2)
5.77/5.89 c Nonzeros : 3166 constraint, 31907 clique table
5.77/5.89 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
5.77/5.89 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c domcol : 0.23 0.00 37 23 0 0 0 0 0 0 0 0
5.77/5.89 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c dualsparsify : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c gateextraction : 0.14 0.00 135 0 0 0 0 0 23 7 0 0
5.77/5.89 c implics : 0.00 0.00 186 0 0 0 0 0 0 0 0 0
5.77/5.89 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c milp : 1.54 0.00 7 1204 3 0 0 0 0 0 0 0
5.77/5.89 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c sparsify : 0.17 0.00 13 0 0 0 0 0 0 0 0 805
5.77/5.89 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c trivial : 0.01 0.00 258 76 0 0 0 0 0 0 0 0
5.77/5.89 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c dualfix : 0.00 0.00 258 2 0 0 0 0 0 0 0 0
5.77/5.89 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c probing : 1.85 0.00 27 815 13 0 0 0 0 0 0 0
5.77/5.89 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c symmetry : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c vbounds : 0.02 0.00 7 1 0 0 0 0 0 0 0 0
5.77/5.89 c knapsack : 0.73 0.00 558 20 0 0 0 0 2178 4170 843 8185
5.77/5.89 c setppc : 0.58 0.00 520 289 7 0 0 0 4495 0 1 1
5.77/5.89 c and : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
5.77/5.89 c linear : 0.09 0.01 96 375 2 0 375 0 615 0 3017 3017
5.77/5.89 c logicor : 0.38 0.00 475 5 0 0 0 0 571 0 0 929
5.77/5.89 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c root node : - - - 0 - - 0 - - - - -
5.77/5.89 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
5.77/5.89 c benderslp : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
5.77/5.89 c integral : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
5.77/5.89 c knapsack : 14 14 0 14137 0 0 0 0 4886 103 0 0 0 0 0
5.77/5.89 c setppc : 324 324 0 14034 0 0 0 0 4973 380 0 0 0 0 0
5.77/5.89 c and : 1 1 0 498 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c linear : 1 1 0 2862 0 0 0 3 11 0 0 0 0 0 0
5.77/5.89 c logicor : 593 593 0 11858 0 0 0 0 388 0 0 0 0 0 0
5.77/5.89 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
5.77/5.89 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.77/5.89 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.77/5.89 c knapsack : 0.31 0.00 0.00 0.30 0.00 0.00 0.00 0.00 0.00 0.00
5.77/5.89 c setppc : 0.31 0.00 0.00 0.31 0.00 0.00 0.00 0.00 0.00 0.00
5.77/5.89 c and : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.77/5.89 c linear : 0.01 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.77/5.89 c logicor : 0.10 0.00 0.00 0.10 0.00 0.00 0.00 0.00 0.00 0.00
5.77/5.89 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.77/5.89 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.77/5.89 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.77/5.89 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.77/5.89 c Propagators : #Propagate #ResProp Cutoffs DomReds
5.77/5.89 c dualfix : 0 0 0 0
5.77/5.89 c genvbounds : 0 0 0 0
5.77/5.89 c nlobbt : 0 0 0 0
5.77/5.89 c obbt : 0 0 0 0
5.77/5.89 c probing : 0 0 0 0
5.77/5.89 c pseudoobj : 0 0 0 0
5.77/5.89 c redcost : 0 0 0 0
5.77/5.89 c rootredcost : 0 0 0 0
5.77/5.89 c symmetry : 0 0 0 0
5.77/5.89 c vbounds : 0 0 0 0
5.77/5.89 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
5.77/5.89 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
5.77/5.89 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
5.77/5.89 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
5.77/5.89 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
5.77/5.89 c probing : 1.85 0.00 1.85 0.00 0.00 0.00
5.77/5.89 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
5.77/5.89 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
5.77/5.89 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
5.77/5.89 c symmetry : 0.00 0.00 0.00 0.00 0.00 0.00
5.77/5.89 c vbounds : 0.03 0.00 0.02 0.00 0.00 0.00
5.77/5.89 c Symmetry :
5.77/5.89 c orbitopal red. : 0 reductions applied, 0 cutoffs
5.77/5.89 c orbital reduction: 0 reductions applied, 0 cutoffs
5.77/5.89 c lexicographic red: 0 reductions applied, 0 cutoffs
5.77/5.89 c shadow tree time : 0.00 s
5.77/5.89 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [--,--])
5.77/5.89 c propagation : 0.01 483 0 - 0 0.0 0 0.0 - - -
5.77/5.89 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
5.77/5.89 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
5.77/5.89 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
5.77/5.89 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
5.77/5.89 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
5.77/5.89 c applied locally : - - - 0 0 0.0 - - 0 - -
5.77/5.89 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
5.77/5.89 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
5.77/5.89 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c > cmir : - - - - - - - 0 0 0 0 0 -
5.77/5.89 c > flowcover : - - - - - - - 0 0 0 0 0 -
5.77/5.89 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
5.77/5.89 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c > gomorymi : - - - - - - - 0 0 0 0 0 -
5.77/5.89 c > strongcg : - - - - - - - 0 0 0 0 0 -
5.77/5.89 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.77/5.89 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
5.77/5.89 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
5.77/5.89 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
5.77/5.89 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
5.77/5.89 c Pricers : ExecTime SetupTime Calls Vars
5.77/5.89 c problem variables: 0.00 - 0 0
5.77/5.89 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
5.77/5.89 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
5.77/5.89 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
5.77/5.89 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
5.77/5.89 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
5.77/5.89 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
5.77/5.89 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
5.77/5.89 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
5.77/5.89 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
5.77/5.89 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
5.77/5.89 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
5.77/5.89 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
5.77/5.89 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
5.77/5.89 c random : 0.00 0.00 0 0 0 0 0 0 0 0
5.77/5.89 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
5.77/5.89 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
5.77/5.89 c Primal Heuristics : ExecTime SetupTime Calls Found Best
5.77/5.89 c LP solutions : 0.00 - - 0 0
5.77/5.89 c relax solutions : 0.00 - - 0 0
5.77/5.89 c pseudo solutions : 0.00 - - 0 0
5.77/5.89 c strong branching : 0.00 - - 0 0
5.77/5.89 c actconsdiving : 0.00 0.00 0 0 0
5.77/5.89 c adaptivediving : 0.00 0.00 0 0 0
5.77/5.89 c alns : 0.00 0.00 0 0 0
5.77/5.89 c bound : 0.00 0.00 0 0 0
5.77/5.89 c clique : 0.00 0.00 0 0 0
5.77/5.89 c coefdiving : 0.00 0.00 0 0 0
5.77/5.89 c completesol : 0.00 0.00 0 0 0
5.77/5.89 c conflictdiving : 0.00 0.00 0 0 0
5.77/5.89 c crossover : 0.00 0.00 0 0 0
5.77/5.89 c dins : 0.00 0.00 0 0 0
5.77/5.89 c distributiondivin: 0.00 0.00 0 0 0
5.77/5.89 c dps : 0.00 0.00 0 0 0
5.77/5.89 c dualval : 0.00 0.00 0 0 0
5.77/5.89 c farkasdiving : 0.00 0.00 0 0 0
5.77/5.89 c feasjump : 0.00 0.00 0 0 0
5.77/5.89 c feaspump : 0.00 0.00 0 0 0
5.77/5.89 c fixandinfer : 0.00 0.00 0 0 0
5.77/5.89 c fracdiving : 0.00 0.00 0 0 0
5.77/5.89 c gins : 0.00 0.00 0 0 0
5.77/5.89 c guideddiving : 0.00 0.00 0 0 0
5.77/5.89 c indcoefdiving : 0.00 0.00 0 0 0
5.77/5.89 c indicator : 0.00 0.00 0 0 0
5.77/5.89 c indicatordiving : 0.00 0.00 0 0 0
5.77/5.89 c indoneopt : 0.00 0.00 0 0 0
5.77/5.89 c indrounding : 0.00 0.00 0 0 0
5.77/5.89 c indtwoopt : 0.00 0.00 0 0 0
5.77/5.89 c intdiving : 0.00 0.00 0 0 0
5.77/5.89 c intshifting : 0.00 0.00 0 0 0
5.77/5.89 c linesearchdiving : 0.00 0.00 0 0 0
5.77/5.89 c localbranching : 0.00 0.00 0 0 0
5.77/5.89 c locks : 0.00 0.00 0 0 0
5.77/5.89 c lpface : 0.00 0.00 0 0 0
5.77/5.89 c mpec : 0.00 0.00 0 0 0
5.77/5.89 c multistart : 0.00 0.00 0 0 0
5.77/5.89 c mutation : 0.00 0.00 0 0 0
5.77/5.89 c nlpdiving : 0.00 0.00 0 0 0
5.77/5.89 c objpscostdiving : 0.00 0.00 0 0 0
5.77/5.89 c octane : 0.00 0.00 0 0 0
5.77/5.89 c ofins : 0.00 0.00 0 0 0
5.77/5.89 c oneopt : 0.00 0.00 0 0 0
5.77/5.89 c padm : 0.00 0.00 0 0 0
5.77/5.89 c proximity : 0.00 0.00 0 0 0
5.77/5.89 c pscostdiving : 0.00 0.00 0 0 0
5.77/5.89 c randrounding : 0.00 0.00 0 0 0
5.77/5.89 c rens : 0.00 0.00 0 0 0
5.77/5.89 c reoptsols : 0.00 0.00 0 0 0
5.77/5.89 c repair : 0.00 0.00 0 0 0
5.77/5.89 c rins : 0.00 0.00 0 0 0
5.77/5.89 c rootsoldiving : 0.00 0.00 0 0 0
5.77/5.89 c rounding : 0.00 0.00 0 0 0
5.77/5.89 c scheduler : 0.00 0.00 0 0 0
5.77/5.89 c shiftandpropagate: 0.00 0.00 0 0 0
5.77/5.89 c shifting : 0.00 0.00 0 0 0
5.77/5.89 c simplerounding : 0.00 0.00 0 0 0
5.77/5.89 c smallcard : 0.00 0.00 0 0 0
5.77/5.89 c subnlp : 0.00 0.00 0 0 0
5.77/5.89 c trivial : 0.00 0.00 1 0 0
5.77/5.89 c trivialnegation : 0.00 0.00 0 0 0
5.77/5.89 c trustregion : 0.00 0.00 0 0 0
5.77/5.89 c trysol : 0.00 0.00 0 0 0
5.77/5.89 c twoopt : 0.00 0.00 0 0 0
5.77/5.89 c undercover : 0.00 0.00 0 0 0
5.77/5.89 c vbounds : 0.00 0.00 0 0 0
5.77/5.89 c veclendiving : 0.00 0.00 0 0 0
5.77/5.89 c zeroobj : 0.00 0.00 0 0 0
5.77/5.89 c zirounding : 0.00 0.00 0 0 0
5.77/5.89 c other solutions : - - - 0 -
5.77/5.89 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
5.77/5.89 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
5.77/5.89 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
5.77/5.89 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
5.77/5.89 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
5.77/5.89 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
5.77/5.89 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
5.77/5.89 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
5.77/5.89 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
5.77/5.89 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
5.77/5.89 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
5.77/5.89 c primal LP : 0.00 0 0 0.00 - 0.00 0
5.77/5.89 c dual LP : 0.00 0 0 0.00 - 0.00 0
5.77/5.89 c lex dual LP : 0.00 0 0 0.00 -
5.77/5.89 c barrier LP : 0.00 0 0 0.00 - 0.00 0
5.77/5.89 c resolve instable : 0.00 0 0 0.00 -
5.77/5.89 c diving/probing LP: 0.00 0 0 0.00 -
5.77/5.89 c strong branching : 0.00 0 0 0.00 - - - 0
5.77/5.89 c (at root node) : - 0 0 0.00 -
5.77/5.89 c conflict analysis: 0.00 0 0 0.00 -
5.77/5.89 c B&B Tree :
5.77/5.89 c number of runs : 1
5.77/5.89 c nodes : 0 (0 internal, 0 leaves)
5.77/5.89 c feasible leaves : 0
5.77/5.89 c infeas. leaves : 0
5.77/5.89 c objective leaves : 0
5.77/5.89 c nodes (total) : 0 (0 internal, 0 leaves)
5.77/5.89 c nodes left : 1
5.77/5.89 c max depth : -1
5.77/5.89 c max depth (total): -1
5.77/5.89 c backtracks : 0 (0.0%)
5.77/5.89 c early backtracks : 0 (0.0%)
5.77/5.89 c nodes exc. ref. : 0 (0.0%)
5.77/5.89 c delayed cutoffs : 0
5.77/5.89 c repropagations : 0 (0 domain reductions, 0 cutoffs)
5.77/5.89 c avg switch length: 0.00
5.77/5.89 c switching time : 0.00
5.77/5.89 c Root Node :
5.77/5.89 c First LP value : -
5.77/5.89 c First LP Iters : 0
5.77/5.89 c First LP Time : 0.00
5.77/5.89 c Final Dual Bound : -
5.77/5.89 c Final Root Iters : 0
5.77/5.89 c Root LP Estimate : -
5.77/5.89 c Solution :
5.77/5.89 c Solutions found : 0 (0 improvements)
5.77/5.89 c Primal Bound : infeasible
5.77/5.89 c Dual Bound : -
5.77/5.89 c Gap : 0.00 %
5.77/5.89 c Integrals : Total Avg%
5.77/5.89 c primal-dual : - - (problem infeasible)
5.77/5.89 c primal-ref : - - (problem infeasible)
5.77/5.89 c dual-ref : - - (problem infeasible)
5.87/5.91 c Time complete: 5.89093.