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-4441545-1721293767.opb>
0.10/0.11 c original problem has 18069 variables (18069 bin, 0 int, 0 impl, 0 cont) and 52475 constraints
0.10/0.11 c problem read in 0.10
0.10/0.11 c No objective function, only one solution is needed.
0.10/0.20 c presolving:
0.20/0.27 c (round 1, fast) 32 del vars, 7 del conss, 0 add conss, 1 chg bounds, 460 chg sides, 920 chg coeffs, 0 upgd conss, 0 impls, 34755 clqs
0.20/0.27 c (round 2, fast) 59 del vars, 95 del conss, 0 add conss, 1 chg bounds, 460 chg sides, 920 chg coeffs, 0 upgd conss, 0 impls, 34780 clqs
0.30/0.34 c (0.3s) running MILP presolver
2.78/2.83 c (2.8s) MILP presolver (8 rounds): 1025 aggregations, 469 fixings, 0 bound changes
2.78/2.85 c (round 3, medium) 1553 del vars, 95 del conss, 0 add conss, 1 chg bounds, 460 chg sides, 920 chg coeffs, 0 upgd conss, 0 impls, 31817 clqs
2.78/2.87 c (round 4, fast) 1553 del vars, 3682 del conss, 0 add conss, 1 chg bounds, 460 chg sides, 920 chg coeffs, 0 upgd conss, 0 impls, 31978 clqs
2.98/3.00 c (round 5, exhaustive) 1553 del vars, 3690 del conss, 0 add conss, 1 chg bounds, 460 chg sides, 920 chg coeffs, 48783 upgd conss, 0 impls, 31978 clqs
3.18/3.22 c (round 6, exhaustive) 1555 del vars, 51338 del conss, 15876 add conss, 1 chg bounds, 460 chg sides, 920 chg coeffs, 48783 upgd conss, 0 impls, 31974 clqs
3.18/3.28 c (round 7, exhaustive) 1781 del vars, 51357 del conss, 15895 add conss, 1 chg bounds, 460 chg sides, 920 chg coeffs, 48783 upgd conss, 0 impls, 31347 clqs
3.18/3.28 c (round 8, fast) 2129 del vars, 51536 del conss, 15895 add conss, 1 chg bounds, 460 chg sides, 1081 chg coeffs, 48784 upgd conss, 0 impls, 31174 clqs
3.28/3.31 c (round 9, exhaustive) 2134 del vars, 51575 del conss, 15934 add conss, 1 chg bounds, 460 chg sides, 1081 chg coeffs, 48784 upgd conss, 0 impls, 31164 clqs
3.28/3.31 c (round 10, exhaustive) 2134 del vars, 51601 del conss, 15939 add conss, 1 chg bounds, 460 chg sides, 1081 chg coeffs, 48784 upgd conss, 0 impls, 31178 clqs
3.28/3.34 c (round 11, exhaustive) 2138 del vars, 51611 del conss, 15946 add conss, 1 chg bounds, 460 chg sides, 1081 chg coeffs, 48784 upgd conss, 0 impls, 31168 clqs
3.28/3.36 c (round 12, exhaustive) 2185 del vars, 51663 del conss, 15948 add conss, 1 chg bounds, 460 chg sides, 1083 chg coeffs, 48784 upgd conss, 0 impls, 31075 clqs
3.38/3.41 c (round 13, exhaustive) 2539 del vars, 51666 del conss, 15950 add conss, 1 chg bounds, 460 chg sides, 1086 chg coeffs, 48784 upgd conss, 0 impls, 32602 clqs
3.38/3.42 c (round 14, fast) 2718 del vars, 51871 del conss, 15950 add conss, 1 chg bounds, 460 chg sides, 1265 chg coeffs, 48817 upgd conss, 0 impls, 32328 clqs
3.38/3.44 c (round 15, exhaustive) 2740 del vars, 51881 del conss, 15956 add conss, 1 chg bounds, 460 chg sides, 1265 chg coeffs, 48817 upgd conss, 0 impls, 32313 clqs
3.38/3.47 c (round 16, exhaustive) 2751 del vars, 51916 del conss, 15980 add conss, 1 chg bounds, 460 chg sides, 1265 chg coeffs, 48817 upgd conss, 0 impls, 32292 clqs
3.38/3.49 c (round 17, exhaustive) 2757 del vars, 51927 del conss, 15986 add conss, 1 chg bounds, 460 chg sides, 1265 chg coeffs, 48817 upgd conss, 0 impls, 32278 clqs
3.48/3.52 c (round 18, exhaustive) 2771 del vars, 51941 del conss, 15986 add conss, 1 chg bounds, 460 chg sides, 1271 chg coeffs, 48817 upgd conss, 0 impls, 32256 clqs
3.48/3.56 c (round 19, exhaustive) 2806 del vars, 51945 del conss, 15990 add conss, 1 chg bounds, 460 chg sides, 1271 chg coeffs, 48817 upgd conss, 0 impls, 37410 clqs
3.48/3.57 c (round 20, fast) 2830 del vars, 51970 del conss, 15990 add conss, 1 chg bounds, 460 chg sides, 1295 chg coeffs, 48829 upgd conss, 0 impls, 37349 clqs
3.58/3.61 c (round 21, exhaustive) 2843 del vars, 51974 del conss, 15994 add conss, 1 chg bounds, 460 chg sides, 1295 chg coeffs, 48829 upgd conss, 0 impls, 37320 clqs
3.58/3.64 c (round 22, exhaustive) 2848 del vars, 51992 del conss, 16007 add conss, 1 chg bounds, 460 chg sides, 1295 chg coeffs, 48829 upgd conss, 0 impls, 37312 clqs
3.67/3.75 c (round 23, exhaustive) 3102 del vars, 51995 del conss, 16009 add conss, 1 chg bounds, 460 chg sides, 1295 chg coeffs, 48829 upgd conss, 0 impls, 45237 clqs
3.67/3.76 c (round 24, fast) 3198 del vars, 52115 del conss, 16009 add conss, 1 chg bounds, 460 chg sides, 1389 chg coeffs, 48880 upgd conss, 0 impls, 45004 clqs
3.77/3.80 c (round 25, exhaustive) 3213 del vars, 52130 del conss, 16024 add conss, 1 chg bounds, 460 chg sides, 1389 chg coeffs, 48880 upgd conss, 0 impls, 44943 clqs
3.77/3.83 c (round 26, exhaustive) 3222 del vars, 52148 del conss, 16033 add conss, 1 chg bounds, 460 chg sides, 1393 chg coeffs, 48880 upgd conss, 0 impls, 44925 clqs
3.77/3.86 c (round 27, exhaustive) 3248 del vars, 52182 del conss, 16034 add conss, 1 chg bounds, 460 chg sides, 1393 chg coeffs, 48880 upgd conss, 0 impls, 44825 clqs
3.88/3.98 c (round 28, exhaustive) 3299 del vars, 52183 del conss, 16034 add conss, 1 chg bounds, 460 chg sides, 1393 chg coeffs, 48880 upgd conss, 0 impls, 52512 clqs
3.88/3.99 c (round 29, fast) 3325 del vars, 52211 del conss, 16034 add conss, 1 chg bounds, 460 chg sides, 1419 chg coeffs, 48898 upgd conss, 0 impls, 52373 clqs
4.08/4.18 c (round 30, exhaustive) 3399 del vars, 52212 del conss, 16034 add conss, 1 chg bounds, 460 chg sides, 1420 chg coeffs, 48899 upgd conss, 0 impls, 67648 clqs
4.08/4.18 c (round 31, fast) 3437 del vars, 52257 del conss, 16034 add conss, 1 chg bounds, 460 chg sides, 1459 chg coeffs, 48921 upgd conss, 0 impls, 67481 clqs
4.18/4.24 c (round 32, exhaustive) 3475 del vars, 52260 del conss, 16037 add conss, 1 chg bounds, 460 chg sides, 1459 chg coeffs, 48921 upgd conss, 0 impls, 68683 clqs
4.18/4.24 c (round 33, fast) 3482 del vars, 52268 del conss, 16037 add conss, 1 chg bounds, 460 chg sides, 1466 chg coeffs, 48929 upgd conss, 0 impls, 68651 clqs
4.18/4.27 c (round 34, exhaustive) 3482 del vars, 52280 del conss, 16048 add conss, 1 chg bounds, 460 chg sides, 1466 chg coeffs, 48929 upgd conss, 0 impls, 68655 clqs
4.28/4.37 c (round 35, exhaustive) 3531 del vars, 52280 del conss, 16048 add conss, 1 chg bounds, 460 chg sides, 1466 chg coeffs, 48929 upgd conss, 0 impls, 78997 clqs
4.28/4.38 c (round 36, fast) 3562 del vars, 52311 del conss, 16048 add conss, 1 chg bounds, 460 chg sides, 1497 chg coeffs, 48946 upgd conss, 0 impls, 78349 clqs
4.38/4.43 c (round 37, exhaustive) 3567 del vars, 52321 del conss, 16058 add conss, 1 chg bounds, 460 chg sides, 1497 chg coeffs, 48946 upgd conss, 0 impls, 78330 clqs
4.58/4.69 c (round 38, exhaustive) 3598 del vars, 52326 del conss, 16063 add conss, 1 chg bounds, 460 chg sides, 1497 chg coeffs, 48946 upgd conss, 0 impls, 102373 clqs
4.58/4.69 c (round 39, fast) 3612 del vars, 52343 del conss, 16063 add conss, 1 chg bounds, 460 chg sides, 1511 chg coeffs, 48959 upgd conss, 0 impls, 102131 clqs
4.68/4.75 c (round 40, exhaustive) 3617 del vars, 52350 del conss, 16070 add conss, 1 chg bounds, 460 chg sides, 1511 chg coeffs, 48959 upgd conss, 0 impls, 102062 clqs
5.47/5.58 c (round 41, exhaustive) 3661 del vars, 52355 del conss, 16075 add conss, 1 chg bounds, 460 chg sides, 1511 chg coeffs, 48959 upgd conss, 0 impls, 129502 clqs
5.47/5.59 c (round 42, fast) 3672 del vars, 52371 del conss, 16075 add conss, 1 chg bounds, 460 chg sides, 1522 chg coeffs, 48966 upgd conss, 0 impls, 129456 clqs
5.57/5.66 c (round 43, exhaustive) 3678 del vars, 52381 del conss, 16085 add conss, 1 chg bounds, 460 chg sides, 1522 chg coeffs, 48966 upgd conss, 0 impls, 129445 clqs
5.67/5.77 c (round 44, exhaustive) 3767 del vars, 52387 del conss, 16091 add conss, 1 chg bounds, 460 chg sides, 1522 chg coeffs, 48966 upgd conss, 0 impls, 128949 clqs
5.67/5.78 c (round 45, fast) 3835 del vars, 52457 del conss, 16091 add conss, 1 chg bounds, 460 chg sides, 1590 chg coeffs, 48995 upgd conss, 0 impls, 128477 clqs
5.77/5.85 c (round 46, exhaustive) 3883 del vars, 52458 del conss, 16092 add conss, 1 chg bounds, 460 chg sides, 1590 chg coeffs, 48995 upgd conss, 0 impls, 128569 clqs
5.77/5.85 c (round 47, fast) 3920 del vars, 52497 del conss, 16092 add conss, 1 chg bounds, 460 chg sides, 1627 chg coeffs, 48999 upgd conss, 0 impls, 128517 clqs
5.77/5.89 c (round 48, exhaustive) 3922 del vars, 52507 del conss, 16100 add conss, 1 chg bounds, 460 chg sides, 1627 chg coeffs, 48999 upgd conss, 0 impls, 128509 clqs
5.87/5.95 c (round 49, exhaustive) 4054 del vars, 52508 del conss, 16100 add conss, 1 chg bounds, 460 chg sides, 1627 chg coeffs, 48999 upgd conss, 0 impls, 127745 clqs
5.87/5.96 c (round 50, fast) 4068 del vars, 52524 del conss, 16100 add conss, 1 chg bounds, 460 chg sides, 1641 chg coeffs, 49001 upgd conss, 0 impls, 127703 clqs
6.17/6.29 c (round 51, exhaustive) 4111 del vars, 52524 del conss, 16100 add conss, 1 chg bounds, 460 chg sides, 1641 chg coeffs, 49001 upgd conss, 0 impls, 128313 clqs
6.17/6.29 c (round 52, fast) 4144 del vars, 52562 del conss, 16100 add conss, 1 chg bounds, 460 chg sides, 1674 chg coeffs, 49008 upgd conss, 0 impls, 127816 clqs
6.27/6.33 c (round 53, exhaustive) 4148 del vars, 52574 del conss, 16110 add conss, 1 chg bounds, 460 chg sides, 1674 chg coeffs, 49008 upgd conss, 0 impls, 127794 clqs
6.27/6.36 c (round 54, exhaustive) 4162 del vars, 52592 del conss, 16114 add conss, 1 chg bounds, 460 chg sides, 1674 chg coeffs, 49008 upgd conss, 0 impls, 127623 clqs
6.57/6.63 c (round 55, exhaustive) 4187 del vars, 52592 del conss, 16114 add conss, 1 chg bounds, 460 chg sides, 1674 chg coeffs, 49008 upgd conss, 0 impls, 128554 clqs
6.57/6.64 c (round 56, fast) 4201 del vars, 52607 del conss, 16114 add conss, 1 chg bounds, 460 chg sides, 1688 chg coeffs, 49018 upgd conss, 0 impls, 127878 clqs
6.77/6.84 c (round 57, exhaustive) 4229 del vars, 52609 del conss, 16116 add conss, 1 chg bounds, 460 chg sides, 1688 chg coeffs, 49018 upgd conss, 0 impls, 129384 clqs
6.77/6.84 c (round 58, fast) 4260 del vars, 52642 del conss, 16116 add conss, 1 chg bounds, 460 chg sides, 1719 chg coeffs, 49027 upgd conss, 0 impls, 129196 clqs
6.87/6.93 c (round 59, exhaustive) 4310 del vars, 52644 del conss, 16118 add conss, 1 chg bounds, 460 chg sides, 1719 chg coeffs, 49027 upgd conss, 0 impls, 127618 clqs
6.87/6.94 c (round 60, fast) 4369 del vars, 52710 del conss, 16118 add conss, 1 chg bounds, 460 chg sides, 1778 chg coeffs, 49029 upgd conss, 0 impls, 127298 clqs
7.47/7.52 c (round 61, exhaustive) 4396 del vars, 52710 del conss, 16118 add conss, 1 chg bounds, 460 chg sides, 1778 chg coeffs, 49029 upgd conss, 0 impls, 129525 clqs
7.47/7.53 c (round 62, fast) 4412 del vars, 52726 del conss, 16118 add conss, 1 chg bounds, 460 chg sides, 1794 chg coeffs, 49039 upgd conss, 0 impls, 129451 clqs
7.47/7.56 c (round 63, exhaustive) 4412 del vars, 52732 del conss, 16124 add conss, 1 chg bounds, 460 chg sides, 1794 chg coeffs, 49039 upgd conss, 0 impls, 129461 clqs
7.57/7.69 c (round 64, exhaustive) 4441 del vars, 52732 del conss, 16124 add conss, 1 chg bounds, 460 chg sides, 1794 chg coeffs, 49039 upgd conss, 0 impls, 129576 clqs
7.57/7.69 c (round 65, fast) 4468 del vars, 52761 del conss, 16124 add conss, 1 chg bounds, 460 chg sides, 1821 chg coeffs, 49044 upgd conss, 0 impls, 129407 clqs
9.26/9.32 c (round 66, exhaustive) 4494 del vars, 52762 del conss, 16125 add conss, 1 chg bounds, 460 chg sides, 1821 chg coeffs, 49044 upgd conss, 0 impls, 129488 clqs
9.26/9.33 c (round 67, fast) 4508 del vars, 52777 del conss, 16125 add conss, 1 chg bounds, 460 chg sides, 1835 chg coeffs, 49049 upgd conss, 0 impls, 129313 clqs
10.86/10.99 c (round 68, exhaustive) 4536 del vars, 52782 del conss, 16127 add conss, 1 chg bounds, 460 chg sides, 1835 chg coeffs, 49049 upgd conss, 0 impls, 129665 clqs
10.96/11.06 c (round 69, exhaustive) 4539 del vars, 52797 del conss, 16133 add conss, 1 chg bounds, 460 chg sides, 1839 chg coeffs, 49050 upgd conss, 0 impls, 129649 clqs
11.96/12.03 c (12.0s) probing: 1000/16085 (6.2%) - 1355 fixings, 72 aggregations, 1011436 implications, 0 bound changes
14.45/14.57 c (round 70, exhaustive) 4564 del vars, 52797 del conss, 16133 add conss, 1 chg bounds, 460 chg sides, 1839 chg coeffs, 49050 upgd conss, 0 impls, 129248 clqs
14.55/14.60 c (round 71, exhaustive) 4568 del vars, 52805 del conss, 16139 add conss, 1 chg bounds, 460 chg sides, 1839 chg coeffs, 49050 upgd conss, 0 impls, 129216 clqs
14.55/14.64 c (round 72, exhaustive) 4616 del vars, 52860 del conss, 16143 add conss, 1 chg bounds, 460 chg sides, 1839 chg coeffs, 49050 upgd conss, 0 impls, 128123 clqs
18.94/19.07 c (19.1s) probing: 2000/16085 (12.4%) - 1363 fixings, 102 aggregations, 2110521 implications, 0 bound changes
23.72/23.80 c (round 73, exhaustive) 4641 del vars, 52864 del conss, 16143 add conss, 1 chg bounds, 460 chg sides, 1839 chg coeffs, 49050 upgd conss, 0 impls, 129165 clqs
23.72/23.80 c (round 74, fast) 4642 del vars, 52876 del conss, 16143 add conss, 1 chg bounds, 460 chg sides, 1851 chg coeffs, 49063 upgd conss, 0 impls, 129157 clqs
25.71/25.86 c (25.9s) probing: 3000/16085 (18.7%) - 1371 fixings, 110 aggregations, 3101636 implications, 0 bound changes
31.00/31.16 c (round 75, exhaustive) 4667 del vars, 52876 del conss, 16143 add conss, 1 chg bounds, 460 chg sides, 1851 chg coeffs, 49063 upgd conss, 0 impls, 128947 clqs
31.00/31.16 c (round 76, fast) 4671 del vars, 52888 del conss, 16143 add conss, 1 chg bounds, 460 chg sides, 1863 chg coeffs, 49073 upgd conss, 0 impls, 128923 clqs
32.19/32.37 c (round 77, exhaustive) 4698 del vars, 52891 del conss, 16146 add conss, 1 chg bounds, 460 chg sides, 1863 chg coeffs, 49073 upgd conss, 0 impls, 129545 clqs
32.19/32.37 c (round 78, fast) 4718 del vars, 52909 del conss, 16146 add conss, 1 chg bounds, 460 chg sides, 1881 chg coeffs, 49082 upgd conss, 0 impls, 129343 clqs
33.49/33.63 c (round 79, exhaustive) 4744 del vars, 52909 del conss, 16146 add conss, 1 chg bounds, 460 chg sides, 1881 chg coeffs, 49082 upgd conss, 0 impls, 129682 clqs
33.49/33.64 c (round 80, fast) 4756 del vars, 52923 del conss, 16146 add conss, 1 chg bounds, 460 chg sides, 1893 chg coeffs, 49088 upgd conss, 0 impls, 129584 clqs
33.49/33.67 c (round 81, exhaustive) 4756 del vars, 52930 del conss, 16153 add conss, 1 chg bounds, 460 chg sides, 1893 chg coeffs, 49088 upgd conss, 0 impls, 129590 clqs
34.09/34.23 c (34.2s) probing: 4000/16085 (24.9%) - 1432 fixings, 127 aggregations, 4523340 implications, 0 bound changes
35.19/35.33 c (round 82, exhaustive) 4783 del vars, 52930 del conss, 16153 add conss, 1 chg bounds, 460 chg sides, 1893 chg coeffs, 49088 upgd conss, 0 impls, 129630 clqs
35.19/35.34 c (round 83, fast) 4801 del vars, 52946 del conss, 16153 add conss, 1 chg bounds, 460 chg sides, 1909 chg coeffs, 49096 upgd conss, 0 impls, 129503 clqs
36.89/37.01 c (round 84, exhaustive) 4827 del vars, 52949 del conss, 16156 add conss, 1 chg bounds, 460 chg sides, 1909 chg coeffs, 49096 upgd conss, 0 impls, 129657 clqs
36.89/37.01 c (round 85, fast) 4843 del vars, 52965 del conss, 16156 add conss, 1 chg bounds, 460 chg sides, 1925 chg coeffs, 49104 upgd conss, 0 impls, 129532 clqs
37.58/37.70 c (round 86, exhaustive) 4870 del vars, 52967 del conss, 16158 add conss, 1 chg bounds, 460 chg sides, 1925 chg coeffs, 49104 upgd conss, 0 impls, 129579 clqs
37.58/37.70 c (round 87, fast) 4888 del vars, 52983 del conss, 16158 add conss, 1 chg bounds, 460 chg sides, 1941 chg coeffs, 49112 upgd conss, 0 impls, 129466 clqs
38.88/39.10 c (round 88, exhaustive) 4915 del vars, 52986 del conss, 16161 add conss, 1 chg bounds, 460 chg sides, 1941 chg coeffs, 49112 upgd conss, 0 impls, 129565 clqs
38.98/39.11 c (round 89, fast) 4933 del vars, 53002 del conss, 16161 add conss, 1 chg bounds, 460 chg sides, 1957 chg coeffs, 49120 upgd conss, 0 impls, 129393 clqs
39.57/39.71 c (round 90, exhaustive) 4960 del vars, 53005 del conss, 16164 add conss, 1 chg bounds, 460 chg sides, 1957 chg coeffs, 49120 upgd conss, 0 impls, 129337 clqs
39.57/39.72 c (round 91, fast) 4968 del vars, 53013 del conss, 16164 add conss, 1 chg bounds, 460 chg sides, 1965 chg coeffs, 49124 upgd conss, 0 impls, 129267 clqs
39.57/39.75 c (round 92, exhaustive) 4968 del vars, 53035 del conss, 16186 add conss, 1 chg bounds, 460 chg sides, 1965 chg coeffs, 49124 upgd conss, 0 impls, 129270 clqs
39.77/39.96 c (round 93, exhaustive) 4994 del vars, 53041 del conss, 16186 add conss, 1 chg bounds, 460 chg sides, 1965 chg coeffs, 49124 upgd conss, 0 impls, 129051 clqs
39.88/40.00 c (round 94, exhaustive) 4994 del vars, 53077 del conss, 16222 add conss, 1 chg bounds, 460 chg sides, 1965 chg coeffs, 49124 upgd conss, 0 impls, 129051 clqs
41.77/41.99 c (42.0s) probing: 5000/16085 (31.1%) - 1532 fixings, 195 aggregations, 5976774 implications, 0 bound changes
42.07/42.21 c (round 95, exhaustive) 5019 del vars, 53087 del conss, 16222 add conss, 1 chg bounds, 460 chg sides, 1965 chg coeffs, 49124 upgd conss, 0 impls, 129509 clqs
42.07/42.24 c (round 96, exhaustive) 5022 del vars, 53111 del conss, 16244 add conss, 1 chg bounds, 460 chg sides, 1967 chg coeffs, 49126 upgd conss, 0 impls, 129478 clqs
43.46/43.63 c (round 97, exhaustive) 5049 del vars, 53112 del conss, 16245 add conss, 1 chg bounds, 460 chg sides, 1967 chg coeffs, 49126 upgd conss, 0 impls, 129482 clqs
43.46/43.66 c (round 98, exhaustive) 5055 del vars, 53135 del conss, 16262 add conss, 1 chg bounds, 460 chg sides, 1972 chg coeffs, 49131 upgd conss, 0 impls, 129449 clqs
43.56/43.72 c (round 99, exhaustive) 5098 del vars, 53136 del conss, 16263 add conss, 1 chg bounds, 460 chg sides, 1972 chg coeffs, 49131 upgd conss, 0 impls, 129515 clqs
44.46/44.66 c (round 100, exhaustive) 5129 del vars, 53144 del conss, 16264 add conss, 1 chg bounds, 460 chg sides, 1977 chg coeffs, 49132 upgd conss, 0 impls, 129442 clqs
44.46/44.67 c (round 101, fast) 5137 del vars, 53151 del conss, 16264 add conss, 1 chg bounds, 460 chg sides, 1984 chg coeffs, 49139 upgd conss, 0 impls, 129400 clqs
44.56/44.70 c (round 102, exhaustive) 5137 del vars, 53163 del conss, 16276 add conss, 1 chg bounds, 460 chg sides, 1984 chg coeffs, 49139 upgd conss, 0 impls, 129407 clqs
46.46/46.60 c (round 103, exhaustive) 5162 del vars, 53163 del conss, 16276 add conss, 1 chg bounds, 460 chg sides, 1984 chg coeffs, 49139 upgd conss, 0 impls, 129385 clqs
46.46/46.63 c (round 104, exhaustive) 5165 del vars, 53185 del conss, 16295 add conss, 1 chg bounds, 460 chg sides, 1987 chg coeffs, 49142 upgd conss, 0 impls, 129374 clqs
47.96/48.14 c (48.1s) probing: 6000/16085 (37.3%) - 1612 fixings, 260 aggregations, 6846876 implications, 0 bound changes
48.35/48.56 c (round 105, exhaustive) 5191 del vars, 53186 del conss, 16295 add conss, 1 chg bounds, 460 chg sides, 1987 chg coeffs, 49142 upgd conss, 0 impls, 129538 clqs
48.35/48.57 c (round 106, fast) 5196 del vars, 53192 del conss, 16295 add conss, 1 chg bounds, 460 chg sides, 1992 chg coeffs, 49148 upgd conss, 0 impls, 129506 clqs
48.45/48.60 c (round 107, exhaustive) 5196 del vars, 53207 del conss, 16310 add conss, 1 chg bounds, 460 chg sides, 1992 chg coeffs, 49148 upgd conss, 0 impls, 129511 clqs
48.45/48.65 c (round 108, exhaustive) 5239 del vars, 53209 del conss, 16310 add conss, 1 chg bounds, 460 chg sides, 1992 chg coeffs, 49148 upgd conss, 0 impls, 129083 clqs
50.05/50.28 c (round 109, exhaustive) 5270 del vars, 53216 del conss, 16310 add conss, 1 chg bounds, 460 chg sides, 1997 chg coeffs, 49149 upgd conss, 0 impls, 129465 clqs
50.15/50.31 c (round 110, exhaustive) 5276 del vars, 53237 del conss, 16326 add conss, 1 chg bounds, 460 chg sides, 2002 chg coeffs, 49154 upgd conss, 0 impls, 129426 clqs
52.84/53.00 c (round 111, exhaustive) 5302 del vars, 53238 del conss, 16327 add conss, 1 chg bounds, 460 chg sides, 2002 chg coeffs, 49154 upgd conss, 0 impls, 129288 clqs
52.84/53.01 c (round 112, fast) 5311 del vars, 53248 del conss, 16327 add conss, 1 chg bounds, 460 chg sides, 2010 chg coeffs, 49162 upgd conss, 0 impls, 129131 clqs
52.84/53.04 c (round 113, exhaustive) 5311 del vars, 53258 del conss, 16337 add conss, 1 chg bounds, 460 chg sides, 2010 chg coeffs, 49162 upgd conss, 0 impls, 129138 clqs
53.84/54.10 c (54.1s) probing: 7000/16085 (43.5%) - 1687 fixings, 305 aggregations, 7707273 implications, 0 bound changes
57.63/57.84 c (round 114, exhaustive) 5336 del vars, 53258 del conss, 16337 add conss, 1 chg bounds, 460 chg sides, 2010 chg coeffs, 49162 upgd conss, 0 impls, 129430 clqs
57.63/57.85 c (round 115, fast) 5343 del vars, 53267 del conss, 16337 add conss, 1 chg bounds, 460 chg sides, 2017 chg coeffs, 49169 upgd conss, 0 impls, 129381 clqs
57.63/57.89 c (round 116, exhaustive) 5344 del vars, 53299 del conss, 16368 add conss, 1 chg bounds, 460 chg sides, 2017 chg coeffs, 49169 upgd conss, 0 impls, 129382 clqs
57.73/57.90 c (round 117, exhaustive) 5344 del vars, 53313 del conss, 16368 add conss, 1 chg bounds, 460 chg sides, 2017 chg coeffs, 49169 upgd conss, 0 impls, 129397 clqs
57.83/58.08 c (round 118, exhaustive) 5369 del vars, 53313 del conss, 16368 add conss, 1 chg bounds, 460 chg sides, 2017 chg coeffs, 49169 upgd conss, 0 impls, 129670 clqs
62.02/62.26 c (62.3s) probing: 8000/16085 (49.7%) - 1721 fixings, 305 aggregations, 9194689 implications, 0 bound changes
70.09/70.39 c (70.4s) probing: 9000/16085 (56.0%) - 1728 fixings, 306 aggregations, 10724922 implications, 0 bound changes
77.97/78.20 c (78.2s) probing: 10000/16085 (62.2%) - 1731 fixings, 310 aggregations, 12164579 implications, 0 bound changes
83.06/83.31 c (round 119, exhaustive) 5397 del vars, 53319 del conss, 16369 add conss, 1 chg bounds, 460 chg sides, 2020 chg coeffs, 49171 upgd conss, 0 impls, 129567 clqs
83.06/83.32 c (round 120, fast) 5410 del vars, 53338 del conss, 16369 add conss, 1 chg bounds, 460 chg sides, 2038 chg coeffs, 49190 upgd conss, 0 impls, 129504 clqs
83.06/83.36 c (round 121, exhaustive) 5411 del vars, 53345 del conss, 16375 add conss, 1 chg bounds, 460 chg sides, 2038 chg coeffs, 49190 upgd conss, 0 impls, 129518 clqs
85.95/86.22 c (86.2s) probing: 11000/16085 (68.4%) - 1741 fixings, 312 aggregations, 13617087 implications, 0 bound changes
93.53/93.84 c (93.8s) probing: 12000/16085 (74.6%) - 1748 fixings, 313 aggregations, 15031935 implications, 0 bound changes
99.22/99.55 c (round 122, exhaustive) 5436 del vars, 53345 del conss, 16375 add conss, 1 chg bounds, 460 chg sides, 2038 chg coeffs, 49190 upgd conss, 0 impls, 129555 clqs
99.22/99.55 c (round 123, fast) 5449 del vars, 53364 del conss, 16375 add conss, 1 chg bounds, 460 chg sides, 2055 chg coeffs, 49208 upgd conss, 0 impls, 129498 clqs
101.71/102.01 c (102.0s) probing: 13000/16085 (80.8%) - 1759 fixings, 315 aggregations, 16472037 implications, 0 bound changes
103.40/103.78 c (103.8s) probing: 13255/16085 (82.4%) - 1769 fixings, 315 aggregations, 16720713 implications, 0 bound changes
103.40/103.78 c (103.8s) probing aborted: 50/50 successive totally useless probings
103.40/103.78 c (round 124, exhaustive) 5463 del vars, 53366 del conss, 16375 add conss, 1 chg bounds, 460 chg sides, 2055 chg coeffs, 49208 upgd conss, 0 impls, 129432 clqs
103.40/103.79 c (round 125, fast) 5465 del vars, 53388 del conss, 16375 add conss, 1 chg bounds, 460 chg sides, 2057 chg coeffs, 49220 upgd conss, 0 impls, 129422 clqs
103.50/103.84 c (103.8s) probing: 13260/16085 (82.4%) - 1769 fixings, 315 aggregations, 16720713 implications, 0 bound changes
103.50/103.84 c (103.8s) probing aborted: 50/50 successive totally useless probings
103.50/103.84 c (103.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
103.61/103.90 c (103.9s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.03)
103.61/103.91 c dynamic symmetry handling statistics:
103.61/103.91 c orbitopal reduction: no components
103.61/103.91 c orbital reduction: no components
103.61/103.91 c lexicographic reduction: 1 permutations with support sizes 467
103.61/103.91 c handled 1 out of 1 symmetry components
103.61/103.92 c presolving (126 rounds: 126 fast, 87 medium, 86 exhaustive):
103.61/103.92 c 5465 deleted vars, 53389 deleted constraints, 16376 added constraints, 1 tightened bounds, 0 added holes, 460 changed sides, 2057 changed coefficients
103.61/103.92 c 0 implications, 129434 cliques
103.61/103.92 c presolved problem has 12821 variables (12821 bin, 0 int, 0 impl, 0 cont) and 13919 constraints
103.61/103.92 c 920 constraints of type <knapsack>
103.61/103.92 c 903 constraints of type <setppc>
103.61/103.92 c 12094 constraints of type <and>
103.61/103.92 c 2 constraints of type <logicor>
103.61/103.92 c transformed objective value is always integral (scale: 1)
103.61/103.92 c Presolving Time: 103.73
103.61/103.92 c - non default parameters ----------------------------------------------------------------------
103.61/103.92 c # SCIP version 10.0.0
103.61/103.92 c
103.61/103.92 c # maximal time in seconds to run
103.61/103.92 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
103.61/103.92 c limits/time = 3596.996992
103.61/103.92 c
103.61/103.92 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
103.61/103.92 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
103.61/103.92 c limits/memory = 27900
103.61/103.92 c
103.61/103.92 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
103.61/103.92 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
103.61/103.92 c limits/solutions = 1
103.61/103.92 c
103.61/103.92 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
103.61/103.92 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
103.61/103.92 c misc/usesymmetry = 3
103.61/103.92 c
103.61/103.92 c # belongs reading time to solving time?
103.61/103.92 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
103.61/103.92 c timing/reading = TRUE
103.61/103.92 c
103.61/103.92 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
103.61/103.92 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
103.61/103.92 c propagating/symmetry/detectdoublelex = FALSE
103.61/103.92 c
103.61/103.92 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
103.61/103.92 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
103.61/103.92 c propagating/symmetry/detectsubgroups = FALSE
103.61/103.92 c
103.61/103.92 c # Type of symmetries that shall be computed?
103.61/103.92 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
103.61/103.92 c propagating/symmetry/symtype = 1
103.61/103.92 c
103.61/103.92 c # Should components consisting of a single full reflection be handled?
103.61/103.92 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
103.61/103.92 c propagating/symmetry/usesimplesgncomp = FALSE
103.61/103.92 c
103.61/103.92 c -----------------------------------------------------------------------------------------------
103.61/103.92 c start solving
103.61/103.93 c
104.30/104.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
104.30/104.66 c 105s| 1 | 0 | 3660 | - | 236M | 0 | 12k| 13k| 26k| 0 | 0 | 37 | 0 | 0.000000e+00 | -- | Inf | unknown
108.10/108.42 c 108s| 1 | 0 | 13478 | - | 252M | 0 | 12k| 13k| 26k| 806 | 1 | 39 | 0 | 0.000000e+00 | -- | Inf | unknown
111.39/111.75 c 112s| 1 | 0 | 17832 | - | 270M | 0 | 12k| 13k| 27k|1721 | 2 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
115.68/116.06 c 116s| 1 | 0 | 22644 | - | 281M | 0 | 12k| 13k| 28k|2510 | 3 | 41 | 0 | 0.000000e+00 | -- | Inf | unknown
120.16/120.53 c 121s| 1 | 0 | 27525 | - | 291M | 0 | 12k| 13k| 29k|3186 | 4 | 43 | 0 | 0.000000e+00 | -- | Inf | unknown
125.34/125.70 c 126s| 1 | 0 | 32484 | - | 298M | 0 | 12k| 13k| 29k|3687 | 5 | 44 | 0 | 0.000000e+00 | -- | Inf | unknown
130.54/130.93 c 131s| 1 | 0 | 36934 | - | 315M | 0 | 12k| 13k| 30k|4220 | 6 | 46 | 0 | 0.000000e+00 | -- | Inf | unknown
136.02/136.48 c 136s| 1 | 0 | 41814 | - | 326M | 0 | 12k| 13k| 30k|4713 | 7 | 47 | 0 | 0.000000e+00 | -- | Inf | unknown
142.60/143.04 c 143s| 1 | 0 | 47364 | - | 344M | 0 | 12k| 13k| 31k|5156 | 8 | 49 | 0 | 0.000000e+00 | -- | Inf | unknown
148.39/148.87 c 149s| 1 | 0 | 52062 | - | 355M | 0 | 12k| 13k| 31k|5571 | 9 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
154.96/155.41 c 155s| 1 | 0 | 57886 | - | 366M | 0 | 12k| 13k| 32k|5992 | 10 | 52 | 0 | 0.000000e+00 | -- | Inf | unknown
158.57/159.01 c 159s| 1 | 0 | 62286 | - | 370M | 0 | 12k| 13k| 32k|6418 | 11 | 53 | 0 | 0.000000e+00 | -- | Inf | unknown
191.27/191.89 c 192s| 1 | 2 | 79721 | - | 370M | 0 | 12k| 14k| 32k|6418 | 11 | 96 | 19 | 0.000000e+00 | -- | Inf | unknown
234.75/235.48 c 235s| 100 | 19 |192164 |1311.9 | 404M | 27 | 12k| 14k| 30k| 14k| 2 | 285 | 19 | 0.000000e+00 | -- | Inf | 11.05%
251.41/252.16 c 252s| 200 | 23 |234382 | 864.8 | 441M | 27 | 12k| 14k| 30k| 18k| 2 | 513 | 19 | 0.000000e+00 | -- | Inf | 13.58%
271.36/272.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
271.36/272.17 c 272s| 300 | 20 |282574 | 736.7 | 490M | 27 | 12k| 14k| 30k| 25k| 2 | 754 | 19 | 0.000000e+00 | -- | Inf | 16.53%
315.75/316.64 c 317s| 400 | 23 |336969 | 688.4 | 497M | 27 | 12k| 14k| 31k| 30k| 2 |1038 | 19 | 0.000000e+00 | -- | Inf | 16.85%
330.52/331.50 c 331s| 500 | 27 |388014 | 652.8 | 579M | 27 | 12k| 15k| 31k| 35k| 2 |1397 | 19 | 0.000000e+00 | -- | Inf | 17.04%
342.29/343.26 c 343s| 600 | 26 |424149 | 604.1 | 589M | 27 | 12k| 15k| 30k| 40k| 2 |1619 | 19 | 0.000000e+00 | -- | Inf | 17.75%
366.53/367.54 c 368s| 700 | 14 |504112 | 632.1 | 600M | 27 | 12k| 15k| 0 | 48k| 0 |1868 | 19 | 0.000000e+00 | -- | Inf | 19.12%
392.27/393.33 c 393s| 800 | 19 |584002 | 653.0 | 615M | 27 | 12k| 16k| 0 | 56k| 0 |2297 | 19 | 0.000000e+00 | -- | Inf | 19.84%
415.52/416.67 c 417s| 900 | 26 |641290 | 644.1 | 618M | 27 | 12k| 16k| 0 | 60k| 0 |2701 | 19 | 0.000000e+00 | -- | Inf | 20.24%
418.31/419.41 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
418.31/419.41 c (run 1, node 920) performing user restart
418.31/419.41 c
418.31/419.45 c (restart) converted 2691 cuts from the global cut pool into linear constraints
418.31/419.45 c
418.41/419.51 c presolving:
418.41/419.53 c (round 1, fast) 0 del vars, 162 del conss, 0 add conss, 0 chg bounds, 53 chg sides, 73 chg coeffs, 0 upgd conss, 0 impls, 129434 clqs
418.41/419.56 c (round 2, medium) 0 del vars, 162 del conss, 2 add conss, 0 chg bounds, 75 chg sides, 97 chg coeffs, 0 upgd conss, 0 impls, 129434 clqs
418.51/419.69 c (round 3, exhaustive) 0 del vars, 166 del conss, 2 add conss, 0 chg bounds, 75 chg sides, 109 chg coeffs, 2700 upgd conss, 0 impls, 129434 clqs
418.61/419.71 c (round 4, medium) 0 del vars, 279 del conss, 162 add conss, 0 chg bounds, 147 chg sides, 248 chg coeffs, 2700 upgd conss, 0 impls, 129434 clqs
418.61/419.77 c (round 5, exhaustive) 0 del vars, 1253 del conss, 166 add conss, 0 chg bounds, 147 chg sides, 322 chg coeffs, 2701 upgd conss, 0 impls, 129434 clqs
418.71/419.84 c (round 6, exhaustive) 0 del vars, 1267 del conss, 167 add conss, 0 chg bounds, 147 chg sides, 346 chg coeffs, 2701 upgd conss, 0 impls, 129434 clqs
418.81/419.99 c presolving (7 rounds: 7 fast, 6 medium, 4 exhaustive):
418.81/419.99 c 0 deleted vars, 1267 deleted constraints, 167 added constraints, 0 tightened bounds, 0 added holes, 147 changed sides, 356 changed coefficients
418.81/419.99 c 0 implications, 129434 cliques
418.81/419.99 c presolved problem has 12821 variables (12821 bin, 0 int, 0 impl, 0 cont) and 18339 constraints
418.81/419.99 c 1126 constraints of type <knapsack>
418.81/419.99 c 3375 constraints of type <setppc>
418.81/419.99 c 12094 constraints of type <and>
418.81/419.99 c 6 constraints of type <linear>
418.81/419.99 c 1738 constraints of type <logicor>
418.81/419.99 c transformed objective value is always integral (scale: 1)
418.81/419.99 c Presolving Time: 104.22
418.81/419.99 c
419.80/420.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
419.80/420.99 c 421s| 1 | 0 |658149 | - | 611M | 0 | 12k| 18k| 28k| 0 | 0 |2862 | 19 | 0.000000e+00 | -- | Inf | unknown
423.20/424.39 c 424s| 1 | 0 |663224 | - | 615M | 0 | 12k| 18k| 29k| 850 | 1 |2863 | 19 | 0.000000e+00 | -- | Inf | unknown
428.28/429.46 c 429s| 1 | 0 |669276 | - | 624M | 0 | 12k| 18k| 30k|1509 | 2 |2866 | 19 | 0.000000e+00 | -- | Inf | unknown
433.67/434.81 c 435s| 1 | 0 |674442 | - | 628M | 0 | 12k| 18k| 30k|2136 | 3 |2868 | 19 | 0.000000e+00 | -- | Inf | unknown
439.16/440.30 c 440s| 1 | 0 |679330 | - | 631M | 0 | 12k| 18k| 31k|2657 | 4 |2872 | 19 | 0.000000e+00 | -- | Inf | unknown
445.14/446.31 c 446s| 1 | 0 |683889 | - | 638M | 0 | 12k| 18k| 31k|3155 | 5 |2875 | 19 | 0.000000e+00 | -- | Inf | unknown
451.13/452.30 c 452s| 1 | 0 |688930 | - | 641M | 0 | 12k| 18k| 32k|3553 | 6 |2876 | 19 | 0.000000e+00 | -- | Inf | unknown
456.52/457.77 c 458s| 1 | 0 |692725 | - | 646M | 0 | 12k| 18k| 32k|3946 | 7 |2877 | 19 | 0.000000e+00 | -- | Inf | unknown
462.51/463.72 c 464s| 1 | 0 |697253 | - | 658M | 0 | 12k| 18k| 33k|4291 | 8 |2880 | 19 | 0.000000e+00 | -- | Inf | unknown
468.09/469.30 c 469s| 1 | 0 |701076 | - | 666M | 0 | 12k| 18k| 33k|4606 | 9 |2881 | 19 | 0.000000e+00 | -- | Inf | unknown
474.38/475.66 c 476s| 1 | 0 |705242 | - | 680M | 0 | 12k| 18k| 32k|4909 | 10 |2882 | 19 | 0.000000e+00 | -- | Inf | unknown
476.97/478.29 c 478s| 1 | 0 |708298 | - | 683M | 0 | 12k| 18k| 32k|5142 | 11 |2883 | 19 | 0.000000e+00 | -- | Inf | unknown
509.18/510.59 c 511s| 1 | 2 |721934 | - | 683M | 0 | 12k| 18k| 32k|5142 | 11 |2888 | 38 | 0.000000e+00 | -- | Inf | unknown
736.94/738.83 c 739s| 100 | 29 | 1104k| 967.8 | 790M | 31 | 12k| 18k| 32k| 18k| 2 |3075 | 38 | 0.000000e+00 | -- | Inf | 6.32%
759.09/761.07 c 761s| 200 | 35 | 1198k| 966.1 | 793M | 33 | 12k| 18k| 0 | 27k| 0 |3353 | 38 | 0.000000e+00 | -- | Inf | 6.33%
800.97/803.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
800.97/803.07 c 803s| 300 | 34 | 1327k| 992.4 | 812M | 33 | 12k| 18k| 33k| 36k| 2 |3569 | 38 | 0.000000e+00 | -- | Inf | 7.90%
823.31/825.40 c 825s| 400 | 44 | 1417k| 985.4 | 823M | 33 | 12k| 19k| 33k| 44k| 2 |3828 | 38 | 0.000000e+00 | -- | Inf | 10.24%
855.22/857.45 c 857s| 500 | 38 | 1545k|1006.1 | 827M | 34 | 12k| 19k| 33k| 52k| 3 |4157 | 38 | 0.000000e+00 | -- | Inf | 10.93%
875.57/877.84 c 878s| 600 | 29 | 1635k| 998.9 | 831M | 34 | 12k| 19k| 30k| 61k| 2 |4346 | 38 | 0.000000e+00 | -- | Inf | 11.23%
915.78/918.17 c 918s| 700 | 42 | 1746k|1006.0 | 839M | 34 | 12k| 19k| 31k| 73k| 2 |4587 | 38 | 0.000000e+00 | -- | Inf | 14.00%
934.64/937.06 c 937s| 800 | 45 | 1828k| 995.4 | 843M | 34 | 12k| 19k| 0 | 82k| 0 |4847 | 38 | 0.000000e+00 | -- | Inf | 14.62%
957.78/960.22 c 960s| 900 | 40 | 1921k| 991.8 | 850M | 34 | 12k| 19k| 0 | 93k| 0 |5039 | 38 | 0.000000e+00 | -- | Inf | 15.10%
980.82/983.32 c 983s| 1000 | 44 | 2011k| 987.0 | 854M | 34 | 12k| 19k| 31k| 104k| 2 |5333 | 38 | 0.000000e+00 | -- | Inf | 15.57%
995.49/998.07 c 998s| 1100 | 39 | 2077k| 970.7 | 858M | 34 | 12k| 20k| 0 | 112k| 0 |5669 | 38 | 0.000000e+00 | -- | Inf | 16.23%
1022.02/1024.60 c 1025s| 1200 | 49 | 2169k| 968.4 | 862M | 34 | 12k| 20k| 32k| 120k| 1 |6175 | 38 | 0.000000e+00 | -- | Inf | 16.27%
1042.67/1045.38 c 1045s| 1300 | 50 | 2253k| 962.6 | 905M | 34 | 12k| 21k| 32k| 128k| 2 |6669 | 38 | 0.000000e+00 | -- | Inf | 16.30%
1056.54/1059.21 c 1059s| 1400 | 46 | 2305k| 943.5 | 909M | 34 | 12k| 21k| 32k| 133k| 2 |7158 | 38 | 0.000000e+00 | -- | Inf | 16.33%
1071.79/1074.56 c 1075s| 1500 | 40 | 2377k| 934.1 | 912M | 34 | 12k| 21k| 30k| 143k| 2 |7544 | 38 | 0.000000e+00 | -- | Inf | 17.57%
1093.54/1096.34 c 1096s| 1600 | 40 | 2468k| 933.2 | 918M | 34 | 12k| 21k| 32k| 153k| 2 |7938 | 38 | 0.000000e+00 | -- | Inf | 18.28%
1127.15/1130.06 c 1130s| 1700 | 57 | 2590k| 944.2 | 923M | 34 | 12k| 21k| 32k| 164k| 2 |8217 | 38 | 0.000000e+00 | -- | Inf | 19.04%
1148.18/1151.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1148.18/1151.15 c 1151s| 1800 | 44 | 2677k| 941.6 | 925M | 34 | 12k| 22k| 32k| 173k| 2 |8563 | 38 | 0.000000e+00 | -- | Inf | 19.15%
1257.36/1260.66 c 1261s| 1900 | 61 | 2798k| 950.9 | 927M | 34 | 12k| 22k| 33k| 181k| 2 |8867 | 38 | 0.000000e+00 | -- | Inf | 19.15%
1275.11/1278.43 c 1278s| 2000 | 54 | 2868k| 942.5 | 929M | 35 | 12k| 22k| 33k| 186k| 2 |9358 | 38 | 0.000000e+00 | -- | Inf | 19.15%
1288.87/1292.22 c 1292s| 2100 | 50 | 2935k| 933.2 | 930M | 35 | 12k| 23k| 0 | 190k| 0 |9890 | 38 | 0.000000e+00 | -- | Inf | 19.16%
1310.50/1313.92 c 1314s| 2200 | 45 | 3022k| 931.3 | 933M | 35 | 12k| 23k| 33k| 199k| 2 | 10k| 38 | 0.000000e+00 | -- | Inf | 19.16%
1332.54/1336.08 c 1336s| 2300 | 56 | 3109k| 929.3 | 935M | 35 | 12k| 23k| 33k| 207k| 2 | 10k| 38 | 0.000000e+00 | -- | Inf | 19.16%
1353.77/1357.35 c 1357s| 2400 | 41 | 3204k| 930.1 | 939M | 35 | 12k| 23k| 0 | 216k| 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 19.17%
1375.20/1378.85 c 1379s| 2500 | 44 | 3305k| 932.2 | 941M | 35 | 12k| 23k| 32k| 227k| 2 | 11k| 38 | 0.000000e+00 | -- | Inf | 19.18%
1396.64/1400.34 c 1400s| 2600 | 38 | 3406k| 934.4 | 943M | 35 | 12k| 23k| 32k| 237k| 2 | 11k| 38 | 0.000000e+00 | -- | Inf | 19.18%
1452.88/1456.77 c 1457s| 2700 | 38 | 3504k| 935.9 | 946M | 35 | 12k| 24k| 32k| 245k| 2 | 12k| 38 | 0.000000e+00 | -- | Inf | 19.18%
1481.70/1485.66 c 1486s| 2800 | 47 | 3594k| 934.9 | 947M | 35 | 12k| 24k| 0 | 252k| 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 19.19%
1514.29/1518.37 c 1518s| 2900 | 39 | 3709k| 940.3 | 949M | 35 | 12k| 24k| 0 | 263k| 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 19.20%
1538.60/1542.70 c 1543s| 3000 | 46 | 3794k| 938.1 | 951M | 35 | 12k| 24k| 32k| 272k| 2 | 12k| 38 | 0.000000e+00 | -- | Inf | 19.21%
1570.90/1575.14 c 1575s| 3100 | 55 | 3917k| 945.4 | 953M | 35 | 12k| 24k| 0 | 285k| 0 | 13k| 38 | 0.000000e+00 | -- | Inf | 19.21%
1597.60/1601.92 c 1602s| 3200 | 43 | 4023k| 948.3 | 955M | 35 | 12k| 24k| 33k| 296k| 2 | 13k| 38 | 0.000000e+00 | -- | Inf | 19.22%
1710.00/1714.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1710.00/1714.67 c 1715s| 3300 | 44 | 4155k| 957.0 | 957M | 35 | 12k| 25k| 33k| 309k| 2 | 14k| 38 | 0.000000e+00 | -- | Inf | 19.23%
1730.14/1734.86 c 1735s| 3400 | 46 | 4241k| 954.8 | 960M | 35 | 12k| 25k| 0 | 316k| 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 19.23%
1756.37/1761.10 c 1761s| 3500 | 42 | 4358k| 959.7 | 962M | 35 | 12k| 25k| 0 | 327k| 0 | 15k| 38 | 0.000000e+00 | -- | Inf | 19.23%
1784.78/1789.63 c 1790s| 3600 | 40 | 4464k| 961.8 | 965M | 35 | 12k| 26k| 32k| 338k| 2 | 15k| 38 | 0.000000e+00 | -- | Inf | 19.23%
1813.38/1818.31 c 1818s| 3700 | 41 | 4566k| 963.2 | 967M | 35 | 12k| 26k| 32k| 347k| 2 | 16k| 38 | 0.000000e+00 | -- | Inf | 19.24%
1835.51/1840.59 c 1841s| 3800 | 38 | 4664k| 963.4 | 968M | 35 | 12k| 26k| 33k| 357k| 2 | 16k| 38 | 0.000000e+00 | -- | Inf | 19.24%
1866.42/1871.57 c 1872s| 3900 | 45 | 4767k| 964.8 | 971M | 35 | 12k| 26k| 32k| 367k| 2 | 16k| 38 | 0.000000e+00 | -- | Inf | 19.31%
1892.44/1897.68 c 1898s| 4000 | 48 | 4847k| 961.6 | 972M | 35 | 12k| 26k| 0 | 374k| 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 19.31%
1909.68/1914.91 c 1915s| 4100 | 44 | 4918k| 956.5 | 975M | 35 | 12k| 26k| 32k| 381k| 2 | 17k| 38 | 0.000000e+00 | -- | Inf | 19.33%
1926.91/1932.21 c 1932s| 4200 | 40 | 4979k| 949.7 | 976M | 35 | 12k| 26k| 0 | 388k| 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 19.34%
1946.05/1951.44 c 1951s| 4300 | 48 | 5058k| 946.6 | 979M | 35 | 12k| 26k| 32k| 396k| 2 | 18k| 38 | 0.000000e+00 | -- | Inf | 19.36%
1965.68/1971.16 c 1971s| 4400 | 45 | 5137k| 943.7 | 983M | 35 | 12k| 26k| 32k| 406k| 1 | 18k| 38 | 0.000000e+00 | -- | Inf | 19.41%
1983.81/1989.31 c 1989s| 4500 | 47 | 5214k| 940.5 | 987M | 35 | 12k| 26k| 31k| 416k| 1 | 18k| 38 | 0.000000e+00 | -- | Inf | 19.57%
2233.04/2239.26 c 2239s| 4600 | 43 | 5382k| 954.0 | 1038M | 35 | 12k| 26k| 32k| 427k| 2 | 18k| 38 | 0.000000e+00 | -- | Inf | 20.03%
2253.37/2259.62 c 2260s| 4700 | 46 | 5461k| 951.0 | 1047M | 35 | 12k| 26k| 0 | 435k| 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 21.01%
2284.47/2290.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2284.47/2290.85 c 2291s| 4800 | 51 | 5558k| 951.3 | 1060M | 35 | 12k| 25k| 32k| 445k| 2 | 19k| 38 | 0.000000e+00 | -- | Inf | 23.97%
2306.10/2312.56 c 2313s| 4900 | 42 | 5655k| 951.6 | 1062M | 35 | 12k| 25k| 0 | 454k| 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 24.10%
2335.00/2341.54 c 2342s| 5000 | 40 | 5768k| 954.6 | 1064M | 35 | 12k| 25k| 32k| 464k| 2 | 19k| 38 | 0.000000e+00 | -- | Inf | 24.20%
2358.22/2364.88 c 2365s| 5100 | 42 | 5846k| 951.7 | 1068M | 35 | 12k| 25k| 31k| 473k| 2 | 20k| 38 | 0.000000e+00 | -- | Inf | 24.30%
2380.84/2387.50 c 2388s| 5200 | 44 | 5943k| 952.0 | 1071M | 35 | 12k| 25k| 32k| 484k| 2 | 20k| 38 | 0.000000e+00 | -- | Inf | 24.43%
2399.28/2406.07 c 2406s| 5300 | 36 | 6022k| 949.5 | 1074M | 35 | 12k| 25k| 32k| 494k| 2 | 20k| 38 | 0.000000e+00 | -- | Inf | 24.53%
2428.28/2435.14 c 2435s| 5400 | 43 | 6129k| 951.4 | 1076M | 35 | 12k| 25k| 0 | 506k| 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 24.73%
2446.32/2453.28 c 2453s| 5500 | 47 | 6207k| 948.7 | 1078M | 35 | 12k| 25k| 31k| 515k| 2 | 21k| 38 | 0.000000e+00 | -- | Inf | 24.84%
2470.05/2477.03 c 2477s| 5600 | 35 | 6310k| 949.9 | 1080M | 35 | 12k| 25k| 31k| 527k| 2 | 21k| 38 | 0.000000e+00 | -- | Inf | 25.29%
2499.35/2506.47 c 2506s| 5700 | 33 | 6429k| 953.6 | 1082M | 35 | 12k| 25k| 31k| 540k| 2 | 21k| 38 | 0.000000e+00 | -- | Inf | 25.68%
2539.73/2546.94 c 2547s| 5800 | 44 | 6545k| 956.6 | 1085M | 35 | 12k| 25k| 32k| 549k| 2 | 22k| 38 | 0.000000e+00 | -- | Inf | 25.80%
2556.88/2564.13 c 2564s| 5900 | 49 | 6614k| 952.7 | 1086M | 35 | 12k| 25k| 32k| 556k| 2 | 22k| 38 | 0.000000e+00 | -- | Inf | 25.81%
2656.90/2664.43 c 2664s| 6000 | 44 | 6729k| 955.6 | 1087M | 35 | 12k| 25k| 32k| 567k| 2 | 22k| 38 | 0.000000e+00 | -- | Inf | 25.90%
2690.19/2697.83 c 2698s| 6100 | 53 | 6875k| 962.8 | 1108M | 35 | 12k| 25k| 0 | 579k| 0 | 22k| 38 | 0.000000e+00 | -- | Inf | 26.03%
2717.80/2725.56 c 2726s| 6200 | 45 | 6988k| 965.1 | 1111M | 35 | 12k| 25k| 0 | 591k| 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 26.12%
2738.15/2746.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2738.15/2746.00 c 2746s| 6300 | 43 | 7072k| 963.4 | 1114M | 35 | 12k| 25k| 32k| 601k| 2 | 23k| 38 | 0.000000e+00 | -- | Inf | 26.17%
2769.33/2777.21 c 2777s| 6400 | 39 | 7163k| 962.7 | 1117M | 35 | 12k| 25k| 0 | 613k| 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 26.31%
2807.40/2815.45 c 2815s| 6500 | 47 | 7292k| 967.1 | 1120M | 35 | 12k| 25k| 0 | 623k| 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 26.34%
2828.93/2837.02 c 2837s| 6600 | 53 | 7375k| 965.2 | 1122M | 35 | 12k| 25k| 32k| 631k| 2 | 24k| 38 | 0.000000e+00 | -- | Inf | 26.35%
2848.06/2856.26 c 2856s| 6700 | 52 | 7450k| 962.4 | 1122M | 35 | 12k| 26k| 0 | 637k| 0 | 24k| 38 | 0.000000e+00 | -- | Inf | 26.37%
2883.65/2891.92 c 2892s| 6800 | 51 | 7554k| 963.5 | 1124M | 35 | 12k| 26k| 0 | 646k| 0 | 25k| 38 | 0.000000e+00 | -- | Inf | 26.37%
2904.59/2912.95 c 2913s| 6900 | 44 | 7640k| 962.1 | 1125M | 35 | 12k| 26k| 0 | 655k| 0 | 25k| 38 | 0.000000e+00 | -- | Inf | 26.37%
2956.34/2964.89 c 2965s| 7000 | 59 | 7811k| 971.5 | 1165M | 35 | 12k| 26k| 32k| 668k| 2 | 25k| 38 | 0.000000e+00 | -- | Inf | 26.42%
2988.54/2997.16 c 2997s| 7100 | 58 | 7926k| 973.8 | 1167M | 35 | 12k| 26k| 0 | 676k| 0 | 26k| 38 | 0.000000e+00 | -- | Inf | 26.43%
3011.87/3020.54 c 3021s| 7200 | 58 | 8025k| 974.0 | 1167M | 35 | 12k| 26k| 0 | 686k| 0 | 26k| 38 | 0.000000e+00 | -- | Inf | 26.44%
3033.30/3042.07 c 3042s| 7300 | 56 | 8112k| 972.7 | 1168M | 35 | 12k| 26k| 0 | 693k| 0 | 27k| 38 | 0.000000e+00 | -- | Inf | 26.46%
3067.18/3076.08 c 3076s| 7400 | 61 | 8269k| 979.8 | 1170M | 35 | 12k| 26k| 33k| 706k| 3 | 27k| 38 | 0.000000e+00 | -- | Inf | 26.52%
3112.15/3121.15 c 3121s| 7500 | 77 | 8377k| 981.0 | 1171M | 35 | 12k| 26k| 33k| 714k| 2 | 28k| 38 | 0.000000e+00 | -- | Inf | 26.52%
3134.08/3143.14 c 3143s| 7600 | 60 | 8476k| 981.2 | 1172M | 35 | 12k| 26k| 0 | 723k| 0 | 28k| 38 | 0.000000e+00 | -- | Inf | 26.53%
3155.30/3164.42 c 3164s| 7700 | 62 | 8564k| 980.0 | 1173M | 35 | 12k| 26k| 33k| 731k| 2 | 29k| 38 | 0.000000e+00 | -- | Inf | 26.53%
3185.20/3194.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3185.20/3194.40 c 3194s| 7800 | 63 | 8669k| 980.9 | 1175M | 35 | 12k| 26k| 0 | 740k| 0 | 29k| 38 | 0.000000e+00 | -- | Inf | 26.53%
3211.81/3221.17 c 3221s| 7900 | 53 | 8775k| 981.7 | 1176M | 35 | 12k| 26k| 0 | 751k| 0 | 30k| 38 | 0.000000e+00 | -- | Inf | 26.58%
3245.28/3254.78 c 3255s| 8000 | 50 | 8915k| 986.4 | 1178M | 35 | 12k| 26k| 32k| 765k| 2 | 30k| 38 | 0.000000e+00 | -- | Inf | 26.63%
3284.16/3293.73 c 3294s| 8100 | 63 | 9054k| 990.9 | 1180M | 35 | 12k| 26k| 32k| 778k| 2 | 31k| 38 | 0.000000e+00 | -- | Inf | 26.72%
3310.18/3319.80 c 3320s| 8200 | 55 | 9169k| 992.6 | 1182M | 35 | 12k| 26k| 0 | 789k| 0 | 31k| 38 | 0.000000e+00 | -- | Inf | 26.73%
3329.72/3339.44 c 3339s| 8300 | 48 | 9256k| 991.2 | 1184M | 35 | 12k| 26k| 32k| 798k| 2 | 31k| 38 | 0.000000e+00 | -- | Inf | 26.74%
3371.09/3380.96 c 3381s| 8400 | 41 | 9365k| 992.3 | 1185M | 35 | 12k| 26k| 31k| 808k| 2 | 32k| 38 | 0.000000e+00 | -- | Inf | 26.75%
3395.22/3405.13 c 3405s| 8500 | 39 | 9465k| 992.5 | 1187M | 35 | 12k| 26k| 31k| 819k| 2 | 32k| 38 | 0.000000e+00 | -- | Inf | 26.77%
3423.34/3433.30 c 3433s| 8600 | 45 | 9550k| 991.0 | 1188M | 35 | 12k| 26k| 32k| 828k| 2 | 33k| 38 | 0.000000e+00 | -- | Inf | 26.79%
3474.88/3485.04 c 3485s| 8700 | 59 | 9724k| 998.7 | 1189M | 35 | 12k| 26k| 32k| 839k| 2 | 33k| 38 | 0.000000e+00 | -- | Inf | 26.80%
3513.55/3523.81 c 3524s| 8800 | 67 | 9871k|1003.5 | 1190M | 35 | 12k| 26k| 33k| 850k| 3 | 34k| 38 | 0.000000e+00 | -- | Inf | 26.80%
3540.56/3550.95 c 3551s| 8900 | 62 | 9986k|1005.1 | 1192M | 35 | 12k| 26k| 33k| 860k| 2 | 34k| 38 | 0.000000e+00 | -- | Inf | 26.80%
3571.16/3581.61 c 3582s| 9000 | 53 | 10110k|1007.4 | 1194M | 35 | 12k| 26k| 0 | 872k| 0 | 35k| 38 | 0.000000e+00 | -- | Inf | 26.80%
3586.91/3597.41 c
3586.91/3597.41 c SCIP Status : solving was interrupted [time limit reached]
3586.91/3597.41 c Solving Time (sec) : 3597.40
3586.91/3597.41 c Solving Nodes : 9044 (total of 9964 nodes in 2 runs)
3586.91/3597.41 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.91/3597.41 c Dual Bound : +0.00000000000000e+00
3586.91/3597.41 c Gap : infinite
3586.91/3597.41 s UNKNOWN
3586.91/3597.41 c SCIP Status : solving was interrupted [time limit reached]
3586.91/3597.41 c Total Time : 3597.40
3586.91/3597.41 c solving : 3597.40
3586.91/3597.41 c presolving : 104.22 (included in solving)
3586.91/3597.41 c reading : 0.10 (included in solving)
3586.91/3597.41 c copying : 0.24 (6 #copies) (minimal 0.03, maximal 0.06, average 0.04)
3586.91/3597.41 c Original Problem :
3586.91/3597.41 c Problem name : HOME/instance-4441545-1721293767.opb
3586.91/3597.41 c Variables : 18069 (18069 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.91/3597.41 c Constraints : 52475 initial, 52475 maximal
3586.91/3597.41 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.91/3597.41 c Presolved Problem :
3586.91/3597.41 c Problem name : t_HOME/instance-4441545-1721293767.opb
3586.91/3597.41 c Variables : 12821 (12821 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.91/3597.41 c Constraints : 18339 initial, 26714 maximal
3586.91/3597.41 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.91/3597.41 c Nonzeros : 99979 constraint, 258968 clique table
3586.91/3597.41 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.91/3597.41 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c domcol : 0.00 0.00 47 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c gateextraction : 0.21 0.00 89 0 0 0 0 0 47670 15885 0 0
3586.91/3597.41 c implics : 0.01 0.00 93 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c milp : 2.55 0.00 1 469 1025 0 0 0 0 0 0 0
3586.91/3597.41 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c trivial : 0.07 0.00 133 217 0 0 0 0 0 0 0 0
3586.91/3597.41 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c dualfix : 0.05 0.00 133 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c probing : 97.28 0.00 46 1769 315 0 0 0 0 0 0 0
3586.91/3597.41 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c symmetry : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c vbounds : 0.24 0.00 10 1 0 0 0 0 0 0 0 0
3586.91/3597.41 c knapsack : 0.11 0.00 306 0 0 0 0 0 82 166 94 221
3586.91/3597.41 c setppc : 0.21 0.00 306 0 4 0 0 0 284 0 0 0
3586.91/3597.41 c and : 2.75 0.02 213 55 1386 0 0 0 1790 492 0 1134
3586.91/3597.41 c linear : 0.22 0.02 18 1 6 0 1 0 3696 0 513 993
3586.91/3597.41 c logicor : 0.24 0.02 268 0 0 0 0 0 1134 0 0 65
3586.91/3597.41 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c components : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c root node : - - - 0 - - 0 - - - - -
3586.91/3597.41 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.91/3597.41 c benderslp : 0 0 0 0 7323 0 0 1954 0 0 0 0 0 0 0
3586.91/3597.41 c integral : 0 0 0 0 7323 0 0 1954 0 0 0 0 0 0 14646
3586.91/3597.41 c knapsack : 1126 1126 22 399104 0 0 0 1949 29810 31 21623 4414 329 0 0
3586.91/3597.41 c setppc : 3375+ 3478 22 399068 0 0 0 0 457465 355 282133 28 12 0 0
3586.91/3597.41 c and : 12094 12094 14754 398718 0 0 0 0 2914398 4612 5046098 3202913 907823 0 0
3586.91/3597.41 c linear : 6+ 26 0 230807 0 0 0 3 2351 12 3468 0 0 0 0
3586.91/3597.41 c logicor : 1738+ 10017 22 91368 0 0 0 0 76070 1044 44548 23 1 0 0
3586.91/3597.41 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.91/3597.41 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.91/3597.41 c integral : 43.58 0.00 0.00 0.00 43.58 0.00 0.00 0.00 0.00 0.00
3586.91/3597.41 c knapsack : 2.55 0.00 0.04 2.48 0.00 0.00 0.00 0.01 0.02 0.00
3586.91/3597.41 c setppc : 2.81 0.00 0.01 2.56 0.00 0.00 0.00 0.00 0.24 0.01
3586.91/3597.41 c and : 90.63 0.02 22.62 66.25 0.00 0.00 0.00 0.00 1.48 0.25
3586.91/3597.41 c linear : 0.07 0.02 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
3586.91/3597.41 c logicor : 1.98 0.02 0.01 1.77 0.00 0.00 0.00 0.00 0.18 0.00
3586.91/3597.41 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.91/3597.41 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.91/3597.41 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.91/3597.41 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3586.91/3597.41 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.91/3597.41 c dualfix : 2 0 0 0
3586.91/3597.41 c genvbounds : 0 0 0 0
3586.91/3597.41 c nlobbt : 0 0 0 0
3586.91/3597.41 c obbt : 0 0 0 0
3586.91/3597.41 c probing : 0 0 0 0
3586.91/3597.41 c pseudoobj : 0 0 0 0
3586.91/3597.41 c redcost : 0 0 0 0
3586.91/3597.41 c rootredcost : 0 0 0 0
3586.91/3597.41 c symmetry : 0 0 0 0
3586.91/3597.41 c vbounds : 228368 0 0 0
3586.91/3597.41 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.91/3597.41 c dualfix : 0.05 0.00 0.05 0.00 0.00 0.00
3586.91/3597.41 c genvbounds : 0.05 0.00 0.00 0.05 0.00 0.00
3586.91/3597.41 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.91/3597.41 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.91/3597.41 c probing : 97.28 0.00 97.28 0.00 0.00 0.00
3586.91/3597.41 c pseudoobj : 0.04 0.00 0.00 0.04 0.00 0.00
3586.91/3597.41 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.91/3597.41 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
3586.91/3597.41 c symmetry : 0.14 0.00 0.07 0.07 0.00 0.00
3586.91/3597.41 c vbounds : 43.29 0.00 0.24 43.04 0.00 0.01
3586.91/3597.41 c Symmetry :
3586.91/3597.41 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.91/3597.41 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.91/3597.41 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.91/3597.41 c shadow tree time : 0.05 s
3586.91/3597.41 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.91/3597.41 c propagation : 3.09 6051 5484 - 65059 74.7 805 23.4 - - -
3586.91/3597.41 c infeasible LP : 0.34 114 113 - 458 63.6 18 20.0 113 14.5 0
3586.91/3597.41 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.91/3597.41 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.91/3597.41 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.91/3597.41 c applied globally : 7.25 - - 0 35156 44.7 - - 106 - -
3586.91/3597.41 c applied locally : - - - 0 10 85.7 - - 7 - -
3586.91/3597.41 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.91/3597.41 c cut pool : 1.40 - 1744 42 - - 31900 93703 - - - - - (maximal pool size: 17930)
3586.91/3597.41 c aggregation : 0.96 0.00 80 22 0 0 179 3664 2 1281 1280 1 0
3586.91/3597.41 c > cmir : - - - - - - - 3417 1 1215 1215 0 -
3586.91/3597.41 c > flowcover : - - - - - - - 203 1 52 51 1 -
3586.91/3597.41 c > knapsackcover : - - - - - - - 44 0 14 14 0 -
3586.91/3597.41 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c clique : 13.13 0.00 22 22 0 0 164 467 0 43 43 0 0
3586.91/3597.41 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c gomory : 12.60 0.00 83 20 0 0 7185 21211 674 3327 3271 56 0
3586.91/3597.41 c > gomorymi : - - - - - - - 7627 337 1648 1613 35 -
3586.91/3597.41 c > strongcg : - - - - - - - 13584 337 1679 1658 21 -
3586.91/3597.41 c impliedbounds : 0.96 0.00 85 22 0 0 23219 63168 0 19746 19746 0 0
3586.91/3597.41 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c mcf : 0.03 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c multilinear : 0.01 0.00 1200 22 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.41 c rlt : 66.77 0.00 171 20 0 0 4436 1564 3298 3033 1063 1970 0
3586.91/3597.41 c zerohalf : 2.26 0.00 80 22 0 0 918 3629 227 2138 2014 124 0
3586.91/3597.41 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.91/3597.41 c hybrid : 6.01 0.00 14337 22 937707 40 2367575 11560 0 50449
3586.91/3597.41 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.41 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.41 c Pricers : ExecTime SetupTime Calls Vars
3586.91/3597.41 c problem variables: 0.00 - 0 0
3586.91/3597.41 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.91/3597.41 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.41 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.41 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.41 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.41 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.41 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.41 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.41 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.41 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.41 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.41 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.41 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.41 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.41 c relpscost : 43.57 0.00 7323 0 0 0 0 0 0 14646
3586.91/3597.41 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.41 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.91/3597.41 c LP solutions : 0.00 - - 0 0
3586.91/3597.41 c relax solutions : 0.00 - - 0 0
3586.91/3597.41 c pseudo solutions : 0.00 - - 0 0
3586.91/3597.41 c strong branching : 0.00 - - 0 0
3586.91/3597.41 c actconsdiving : 0.00 0.00 0 0 0
3586.91/3597.41 c adaptivediving : 59.72 0.00 18 0 0
3586.91/3597.41 c alns : 0.64 0.00 4 0 0
3586.91/3597.41 c bound : 0.00 0.00 0 0 0
3586.91/3597.41 c clique : 0.13 0.00 1 0 0
3586.91/3597.41 c coefdiving : 0.00 0.00 0 0 0
3586.91/3597.41 c completesol : 0.00 0.00 0 0 0
3586.91/3597.41 c conflictdiving : 46.44 0.00 57 0 0
3586.91/3597.41 c crossover : 0.00 0.00 0 0 0
3586.91/3597.41 c dins : 0.00 0.00 0 0 0
3586.91/3597.41 c distributiondivin: 71.60 0.00 56 0 0
3586.91/3597.41 c dps : 0.00 0.00 0 0 0
3586.91/3597.41 c dualval : 0.00 0.00 0 0 0
3586.91/3597.41 c farkasdiving : 0.00 0.00 0 0 0
3586.91/3597.41 c feasjump : 0.06 0.00 2 0 0
3586.91/3597.41 c feaspump : 25.30 0.00 22 0 0
3586.91/3597.41 c fixandinfer : 0.00 0.00 0 0 0
3586.91/3597.41 c fracdiving : 44.78 0.00 57 0 0
3586.91/3597.41 c gins : 0.00 0.00 0 0 0
3586.91/3597.41 c guideddiving : 0.00 0.00 0 0 0
3586.91/3597.41 c indcoefdiving : 0.00 0.00 0 0 0
3586.91/3597.41 c indicator : 0.01 0.00 0 0 0
3586.91/3597.41 c indicatordiving : 0.00 0.00 0 0 0
3586.91/3597.41 c indoneopt : 0.01 0.00 0 0 0
3586.91/3597.41 c indrounding : 0.00 0.00 0 0 0
3586.91/3597.41 c indtwoopt : 0.00 0.00 0 0 0
3586.91/3597.41 c intdiving : 0.00 0.00 0 0 0
3586.91/3597.41 c intshifting : 0.00 0.00 0 0 0
3586.91/3597.41 c linesearchdiving : 48.19 0.00 57 0 0
3586.91/3597.41 c localbranching : 0.00 0.00 0 0 0
3586.91/3597.41 c locks : 0.05 0.00 1 0 0
3586.91/3597.41 c lpface : 0.29 0.00 0 0 0
3586.91/3597.41 c mpec : 0.00 0.00 0 0 0
3586.91/3597.41 c multistart : 0.00 0.00 0 0 0
3586.91/3597.41 c mutation : 0.00 0.00 0 0 0
3586.91/3597.41 c nlpdiving : 0.00 0.00 0 0 0
3586.91/3597.41 c objpscostdiving : 641.97 0.00 14 0 0
3586.91/3597.41 c octane : 0.00 0.00 0 0 0
3586.91/3597.41 c ofins : 0.00 0.00 0 0 0
3586.91/3597.41 c oneopt : 0.01 0.00 0 0 0
3586.91/3597.41 c padm : 0.00 0.00 0 0 0
3586.91/3597.41 c proximity : 0.00 0.00 0 0 0
3586.91/3597.41 c pscostdiving : 44.67 0.00 58 0 0
3586.91/3597.41 c randrounding : 2.05 0.00 1964 0 0
3586.91/3597.41 c rens : 0.40 0.00 2 0 0
3586.91/3597.41 c reoptsols : 0.00 0.00 0 0 0
3586.91/3597.41 c repair : 0.00 0.00 0 0 0
3586.91/3597.41 c rins : 0.00 0.00 0 0 0
3586.91/3597.41 c rootsoldiving : 41.47 0.00 16 0 0
3586.91/3597.41 c rounding : 3.07 0.00 2021 0 0
3586.91/3597.41 c scheduler : 0.00 0.00 0 0 0
3586.91/3597.41 c shiftandpropagate: 0.22 0.00 2 0 0
3586.91/3597.41 c shifting : 18.61 0.00 673 0 0
3586.91/3597.41 c simplerounding : 0.01 0.00 0 0 0
3586.91/3597.41 c smallcard : 0.00 0.00 0 0 0
3586.91/3597.41 c subnlp : 0.01 0.00 0 0 0
3586.91/3597.41 c trivial : 0.01 0.00 4 0 0
3586.91/3597.41 c trivialnegation : 0.00 0.00 0 0 0
3586.91/3597.41 c trustregion : 0.00 0.00 0 0 0
3586.91/3597.41 c trysol : 0.01 0.00 0 0 0
3586.91/3597.41 c twoopt : 0.00 0.00 0 0 0
3586.91/3597.41 c undercover : 0.20 0.00 1 0 0
3586.91/3597.41 c vbounds : 0.15 0.00 2 0 0
3586.91/3597.41 c veclendiving : 39.22 0.00 56 0 0
3586.91/3597.41 c zeroobj : 0.00 0.00 0 0 0
3586.91/3597.41 c zirounding : 0.76 0.00 1000 0 0
3586.91/3597.41 c other solutions : - - - 0 -
3586.91/3597.41 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.91/3597.41 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.91/3597.41 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.91/3597.41 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.91/3597.41 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.91/3597.41 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.91/3597.41 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.91/3597.41 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.91/3597.41 c zeroobjective : 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
3586.91/3597.41 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
3586.91/3597.41 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.91/3597.41 c primal LP : 1.91 511 0 0.00 0.00 1.91 511
3586.91/3597.41 c dual LP : 2002.24 21734 9208497 423.87 4599.10 0.04 9
3586.91/3597.41 c lex dual LP : 0.00 0 0 0.00 -
3586.91/3597.41 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.91/3597.41 c resolve instable : 0.00 0 0 0.00 -
3586.91/3597.41 c diving/probing LP: 1042.67 2485 956161 384.77 917.03
3586.91/3597.41 c strong branching : 28.06 38 37536 987.79 1337.62 - - 74
3586.91/3597.41 c (at root node) : - 38 37536 987.79 -
3586.91/3597.41 c conflict analysis: 0.00 0 0 0.00 -
3586.91/3597.41 c B&B Tree :
3586.91/3597.41 c number of runs : 2
3586.91/3597.41 c nodes : 9044 (6643 internal, 2401 leaves)
3586.91/3597.41 c feasible leaves : 0
3586.91/3597.41 c infeas. leaves : 2401
3586.91/3597.41 c objective leaves : 0
3586.91/3597.41 c nodes (total) : 9964 (7323 internal, 2641 leaves)
3586.91/3597.41 c nodes left : 69
3586.91/3597.41 c max depth : 35
3586.91/3597.41 c max depth (total): 35
3586.91/3597.41 c backtracks : 2841 (31.4%)
3586.91/3597.41 c early backtracks : 0 (0.0%)
3586.91/3597.41 c nodes exc. ref. : 0 (0.0%)
3586.91/3597.41 c delayed cutoffs : 4174
3586.91/3597.41 c repropagations : 7175 (1863412 domain reductions, 2352 cutoffs)
3586.91/3597.41 c avg switch length: 3.34
3586.91/3597.41 c switching time : 16.82
3586.91/3597.41 c Root Node :
3586.91/3597.41 c First LP value : +0.00000000000000e+00
3586.91/3597.41 c First LP Iters : 3660 (10437.52 Iter/sec)
3586.91/3597.41 c First LP Time : 0.35
3586.91/3597.41 c Final Dual Bound : +0.00000000000000e+00
3586.91/3597.41 c Final Root Iters : 117868
3586.91/3597.41 c Root LP Estimate : +2.98703749270890e-02
3586.91/3597.41 c Solution :
3586.91/3597.41 c Solutions found : 0 (0 improvements)
3586.91/3597.41 c Primal Bound : -
3586.91/3597.41 c Dual Bound : +0.00000000000000e+00
3586.91/3597.41 c Gap : infinite
3586.91/3597.41 c Integrals : Total Avg%
3586.91/3597.41 c primal-dual : 359740.37 100.00
3586.91/3597.41 c primal-ref : - - (not evaluated)
3586.91/3597.41 c dual-ref : - - (not evaluated)
3587.11/3597.62 c Time complete: 3587.15.