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-4452425-1721442110.opb>
0.00/0.06 c original problem has 21582 variables (21582 bin, 0 int, 0 impl, 0 cont) and 17547 constraints
0.00/0.06 c problem read in 0.06
0.00/0.06 c No objective function, only one solution is needed.
0.09/0.11 c presolving:
0.09/0.16 c (round 1, fast) 5373 del vars, 4070 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 13083 clqs
0.09/0.17 c (round 2, fast) 5988 del vars, 4604 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 12942 clqs
0.09/0.20 c (0.2s) running MILP presolver
0.49/0.53 c (0.5s) MILP presolver (16 rounds): 2 aggregations, 213 fixings, 0 bound changes
0.49/0.54 c (round 3, medium) 6217 del vars, 4604 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 12808 clqs
0.49/0.54 c (round 4, fast) 6290 del vars, 4759 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 12775 clqs
0.49/0.54 c (round 5, fast) 6290 del vars, 4771 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 12775 clqs
0.49/0.60 c (round 6, exhaustive) 6290 del vars, 4771 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 12775 clqs
0.89/0.99 c (round 7, exhaustive) 6316 del vars, 4771 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 27492 clqs
0.89/0.99 c (round 8, fast) 6316 del vars, 4784 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 27492 clqs
1.19/1.25 c (round 9, exhaustive) 6341 del vars, 4784 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 39918 clqs
1.19/1.25 c (round 10, fast) 6341 del vars, 4808 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 39918 clqs
1.59/1.64 c (round 11, exhaustive) 6367 del vars, 4808 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 55555 clqs
1.59/1.64 c (round 12, fast) 6367 del vars, 4825 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 55555 clqs
2.18/2.22 c (round 13, exhaustive) 6401 del vars, 4825 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70058 clqs
2.18/2.22 c (round 14, fast) 6410 del vars, 4843 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70058 clqs
2.48/2.51 c (round 15, exhaustive) 6435 del vars, 4843 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70550 clqs
2.48/2.52 c (round 16, fast) 6435 del vars, 4861 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70550 clqs
2.58/2.61 c (2.6s) probing: 1000/15766 (6.3%) - 132 fixings, 0 aggregations, 87596 implications, 0 bound changes
2.68/2.75 c (round 17, exhaustive) 6461 del vars, 4861 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70544 clqs
2.68/2.76 c (round 18, fast) 6461 del vars, 4880 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70544 clqs
2.99/3.03 c (round 19, exhaustive) 6486 del vars, 4880 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70674 clqs
2.99/3.03 c (round 20, fast) 6486 del vars, 4901 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70674 clqs
2.99/3.05 c (round 21, exhaustive) 6486 del vars, 5005 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70674 clqs
2.99/3.06 c (round 22, medium) 6501 del vars, 5010 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 70522 clqs
3.48/3.55 c (round 23, exhaustive) 6528 del vars, 5011 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 70718 clqs
3.48/3.56 c (round 24, fast) 6528 del vars, 5030 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 70718 clqs
3.58/3.69 c (round 25, exhaustive) 6528 del vars, 7302 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 70718 clqs
3.58/3.70 c (round 26, fast) 6701 del vars, 7353 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 70048 clqs
3.68/3.70 c (round 27, fast) 6769 del vars, 7417 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 69740 clqs
3.68/3.70 c (round 28, fast) 6854 del vars, 7448 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 69424 clqs
3.68/3.71 c (round 29, fast) 6886 del vars, 7476 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 69305 clqs
3.68/3.71 c (round 30, fast) 6926 del vars, 7490 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 69134 clqs
3.68/3.71 c (round 31, fast) 6940 del vars, 7503 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 69036 clqs
3.68/3.72 c (round 32, fast) 6959 del vars, 7508 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 68955 clqs
3.68/3.73 c (round 33, medium) 7069 del vars, 7607 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 65510 clqs
3.68/3.73 c (round 34, fast) 7073 del vars, 7631 del conss, 24 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 65516 clqs
3.68/3.77 c (round 35, exhaustive) 7074 del vars, 7794 del conss, 24 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 65490 clqs
3.68/3.78 c (round 36, medium) 7090 del vars, 7802 del conss, 24 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12776 upgd conss, 0 impls, 65429 clqs
3.78/3.80 c (round 37, exhaustive) 7095 del vars, 7806 del conss, 24 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12800 upgd conss, 0 impls, 65416 clqs
3.78/3.80 c (round 38, medium) 7112 del vars, 7823 del conss, 24 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12800 upgd conss, 0 impls, 64738 clqs
3.78/3.82 c (round 39, exhaustive) 7114 del vars, 7827 del conss, 26 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12802 upgd conss, 0 impls, 64627 clqs
4.18/4.25 c (round 40, exhaustive) 7141 del vars, 7830 del conss, 27 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12803 upgd conss, 0 impls, 71457 clqs
4.18/4.26 c (round 41, fast) 7144 del vars, 7854 del conss, 27 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12803 upgd conss, 0 impls, 71420 clqs
4.18/4.28 c (round 42, medium) 7162 del vars, 7870 del conss, 27 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12803 upgd conss, 0 impls, 71279 clqs
4.18/4.29 c (round 43, fast) 7162 del vars, 7874 del conss, 31 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12803 upgd conss, 0 impls, 71289 clqs
4.58/4.65 c (4.6s) probing: 2000/15766 (12.7%) - 245 fixings, 0 aggregations, 181005 implications, 0 bound changes
4.77/4.81 c (round 44, exhaustive) 7188 del vars, 7875 del conss, 31 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12807 upgd conss, 0 impls, 71427 clqs
4.77/4.82 c (round 45, fast) 7188 del vars, 7895 del conss, 31 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12807 upgd conss, 0 impls, 71427 clqs
4.77/4.83 c (round 46, medium) 7209 del vars, 7910 del conss, 31 add conss, 4883 chg bounds, 3 chg sides, 3 chg coeffs, 12807 upgd conss, 0 impls, 71321 clqs
4.77/4.83 c (round 47, fast) 7212 del vars, 7918 del conss, 38 add conss, 4883 chg bounds, 3 chg sides, 3 chg coeffs, 12807 upgd conss, 0 impls, 71326 clqs
4.77/4.85 c (round 48, exhaustive) 7213 del vars, 7932 del conss, 38 add conss, 4883 chg bounds, 3 chg sides, 3 chg coeffs, 12807 upgd conss, 0 impls, 71324 clqs
5.37/5.40 c (round 49, exhaustive) 7239 del vars, 7932 del conss, 38 add conss, 4883 chg bounds, 3 chg sides, 3 chg coeffs, 12814 upgd conss, 0 impls, 71274 clqs
5.37/5.41 c (round 50, fast) 7241 del vars, 7950 del conss, 38 add conss, 4883 chg bounds, 3 chg sides, 3 chg coeffs, 12814 upgd conss, 0 impls, 71239 clqs
5.37/5.42 c (round 51, medium) 7263 del vars, 7961 del conss, 38 add conss, 4883 chg bounds, 6 chg sides, 6 chg coeffs, 12814 upgd conss, 0 impls, 71189 clqs
5.37/5.42 c (round 52, fast) 7291 del vars, 7968 del conss, 42 add conss, 4883 chg bounds, 6 chg sides, 6 chg coeffs, 12814 upgd conss, 0 impls, 71056 clqs
5.37/5.43 c (round 53, exhaustive) 7293 del vars, 7971 del conss, 43 add conss, 4883 chg bounds, 6 chg sides, 6 chg coeffs, 12819 upgd conss, 0 impls, 71052 clqs
6.08/6.12 c (round 54, exhaustive) 7326 del vars, 7975 del conss, 44 add conss, 4883 chg bounds, 7 chg sides, 7 chg coeffs, 12820 upgd conss, 0 impls, 71583 clqs
6.08/6.13 c (round 55, fast) 7348 del vars, 8001 del conss, 44 add conss, 4883 chg bounds, 7 chg sides, 7 chg coeffs, 12820 upgd conss, 0 impls, 71534 clqs
6.08/6.14 c (round 56, medium) 7357 del vars, 8010 del conss, 44 add conss, 4883 chg bounds, 7 chg sides, 7 chg coeffs, 12820 upgd conss, 0 impls, 71372 clqs
6.08/6.15 c (round 57, exhaustive) 7358 del vars, 8018 del conss, 44 add conss, 4883 chg bounds, 7 chg sides, 7 chg coeffs, 12820 upgd conss, 0 impls, 71372 clqs
6.17/6.25 c (6.3s) probing: 3000/15766 (19.0%) - 307 fixings, 0 aggregations, 280909 implications, 0 bound changes
6.67/6.72 c (round 58, exhaustive) 7383 del vars, 8018 del conss, 44 add conss, 4883 chg bounds, 7 chg sides, 7 chg coeffs, 12820 upgd conss, 0 impls, 71611 clqs
6.67/6.72 c (round 59, fast) 7385 del vars, 8040 del conss, 44 add conss, 4883 chg bounds, 7 chg sides, 7 chg coeffs, 12820 upgd conss, 0 impls, 71605 clqs
6.67/6.73 c (round 60, medium) 7401 del vars, 8046 del conss, 44 add conss, 4883 chg bounds, 8 chg sides, 8 chg coeffs, 12820 upgd conss, 0 impls, 71521 clqs
6.67/6.74 c (round 61, fast) 7414 del vars, 8047 del conss, 44 add conss, 4883 chg bounds, 8 chg sides, 8 chg coeffs, 12820 upgd conss, 0 impls, 71465 clqs
7.37/7.46 c (round 62, exhaustive) 7805 del vars, 8048 del conss, 44 add conss, 4883 chg bounds, 8 chg sides, 8 chg coeffs, 12820 upgd conss, 0 impls, 70027 clqs
7.37/7.47 c (round 63, fast) 7877 del vars, 8363 del conss, 44 add conss, 4883 chg bounds, 8 chg sides, 8 chg coeffs, 12820 upgd conss, 0 impls, 69763 clqs
7.37/7.47 c (round 64, fast) 7978 del vars, 8413 del conss, 44 add conss, 4883 chg bounds, 8 chg sides, 8 chg coeffs, 12820 upgd conss, 0 impls, 69222 clqs
7.37/7.48 c (round 65, fast) 8053 del vars, 8461 del conss, 44 add conss, 4883 chg bounds, 8 chg sides, 8 chg coeffs, 12820 upgd conss, 0 impls, 68851 clqs
7.37/7.48 c (round 66, fast) 8092 del vars, 8480 del conss, 44 add conss, 4883 chg bounds, 8 chg sides, 8 chg coeffs, 12820 upgd conss, 0 impls, 68696 clqs
7.37/7.48 c (round 67, fast) 8105 del vars, 8490 del conss, 44 add conss, 4883 chg bounds, 8 chg sides, 8 chg coeffs, 12820 upgd conss, 0 impls, 68656 clqs
7.47/7.51 c (7.5s) running MILP presolver
7.47/7.59 c (7.6s) MILP presolver (6 rounds): 1 aggregations, 63 fixings, 0 bound changes
7.47/7.60 c (round 68, medium) 8211 del vars, 8570 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 9 chg coeffs, 12820 upgd conss, 0 impls, 67654 clqs
7.56/7.64 c (round 69, exhaustive) 8579 del vars, 8571 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 9 chg coeffs, 12821 upgd conss, 0 impls, 70860 clqs
7.56/7.64 c (round 70, fast) 8649 del vars, 8874 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 9 chg coeffs, 12821 upgd conss, 0 impls, 70532 clqs
7.56/7.65 c (round 71, fast) 8743 del vars, 8927 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 9 chg coeffs, 12821 upgd conss, 0 impls, 69994 clqs
7.56/7.65 c (round 72, fast) 8814 del vars, 8967 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 9 chg coeffs, 12821 upgd conss, 0 impls, 69561 clqs
7.56/7.65 c (round 73, fast) 8841 del vars, 8983 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 9 chg coeffs, 12821 upgd conss, 0 impls, 69427 clqs
7.56/7.66 c (round 74, medium) 8857 del vars, 8997 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 9 chg coeffs, 12821 upgd conss, 0 impls, 69202 clqs
7.66/7.76 c (round 75, exhaustive) 9249 del vars, 8997 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 11 chg coeffs, 12821 upgd conss, 0 impls, 70971 clqs
7.66/7.76 c (round 76, fast) 9337 del vars, 9331 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 11 chg coeffs, 12821 upgd conss, 0 impls, 70589 clqs
7.66/7.77 c (round 77, fast) 9444 del vars, 9386 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 11 chg coeffs, 12821 upgd conss, 0 impls, 69872 clqs
7.66/7.77 c (round 78, fast) 9525 del vars, 9434 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 11 chg coeffs, 12821 upgd conss, 0 impls, 69350 clqs
7.66/7.78 c (round 79, fast) 9560 del vars, 9456 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 11 chg coeffs, 12821 upgd conss, 0 impls, 69180 clqs
7.66/7.78 c (round 80, fast) 9571 del vars, 9463 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 11 chg coeffs, 12821 upgd conss, 0 impls, 69073 clqs
7.76/7.80 c (round 81, medium) 9583 del vars, 9475 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 11 chg coeffs, 12821 upgd conss, 0 impls, 68740 clqs
7.86/7.91 c (round 82, exhaustive) 9977 del vars, 9476 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 12 chg coeffs, 12821 upgd conss, 0 impls, 68347 clqs
7.86/7.92 c (round 83, fast) 10059 del vars, 9806 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 12 chg coeffs, 12821 upgd conss, 0 impls, 67850 clqs
7.86/7.92 c (round 84, fast) 10162 del vars, 9856 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 12 chg coeffs, 12821 upgd conss, 0 impls, 67001 clqs
7.86/7.93 c (round 85, fast) 10240 del vars, 9907 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 12 chg coeffs, 12821 upgd conss, 0 impls, 66293 clqs
7.86/7.93 c (round 86, fast) 10269 del vars, 9927 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 12 chg coeffs, 12821 upgd conss, 0 impls, 66132 clqs
7.86/7.95 c (round 87, medium) 10296 del vars, 9961 del conss, 53 add conss, 4883 chg bounds, 20 chg sides, 31 chg coeffs, 12821 upgd conss, 0 impls, 58736 clqs
8.16/8.21 c (8.2s) probing: 4000/15766 (25.4%) - 1871 fixings, 0 aggregations, 426754 implications, 0 bound changes
9.46/9.53 c (9.5s) probing: 5000/15766 (31.7%) - 1873 fixings, 0 aggregations, 529394 implications, 0 bound changes
10.85/10.96 c (11.0s) probing: 6000/15766 (38.1%) - 1874 fixings, 0 aggregations, 642735 implications, 0 bound changes
12.15/12.22 c (12.2s) probing: 6917/15766 (43.9%) - 1874 fixings, 0 aggregations, 741953 implications, 0 bound changes
12.15/12.22 c (12.2s) probing aborted: 1000/1000 successive useless probings
12.15/12.24 c (12.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
12.15/12.26 c (12.3s) no symmetry present (symcode time: 0.01)
12.15/12.27 c presolving (88 rounds: 88 fast, 41 medium, 27 exhaustive):
12.15/12.27 c 10301 deleted vars, 9961 deleted constraints, 53 added constraints, 4883 tightened bounds, 0 added holes, 20 changed sides, 31 changed coefficients
12.15/12.27 c 0 implications, 75616 cliques
12.15/12.27 c presolved problem has 11764 variables (11764 bin, 0 int, 0 impl, 0 cont) and 7639 constraints
12.15/12.27 c 7639 constraints of type <setppc>
12.15/12.27 c transformed objective value is always integral (scale: 1)
12.15/12.27 c Presolving Time: 12.16
12.15/12.27 c - non default parameters ----------------------------------------------------------------------
12.15/12.27 c # SCIP version 10.0.0
12.15/12.27 c
12.15/12.27 c # maximal time in seconds to run
12.15/12.27 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
12.15/12.27 c limits/time = 3596.997011
12.15/12.27 c
12.15/12.27 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
12.15/12.27 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
12.15/12.27 c limits/memory = 27900
12.15/12.27 c
12.15/12.27 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
12.15/12.27 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
12.15/12.27 c limits/solutions = 1
12.15/12.27 c
12.15/12.27 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.
12.15/12.27 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
12.15/12.27 c misc/usesymmetry = 3
12.15/12.27 c
12.15/12.27 c # belongs reading time to solving time?
12.15/12.27 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
12.15/12.27 c timing/reading = TRUE
12.15/12.27 c
12.15/12.27 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
12.15/12.27 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
12.15/12.27 c propagating/symmetry/detectdoublelex = FALSE
12.15/12.27 c
12.15/12.27 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
12.15/12.27 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
12.15/12.27 c propagating/symmetry/detectsubgroups = FALSE
12.15/12.27 c
12.15/12.27 c # Type of symmetries that shall be computed?
12.15/12.27 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
12.15/12.27 c propagating/symmetry/symtype = 1
12.15/12.27 c
12.15/12.27 c # Should components consisting of a single full reflection be handled?
12.15/12.27 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
12.15/12.27 c propagating/symmetry/usesimplesgncomp = FALSE
12.15/12.27 c
12.15/12.27 c -----------------------------------------------------------------------------------------------
12.15/12.27 c start solving
12.15/12.27 c
17.14/17.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.14/17.28 c 17.3s| 1 | 0 | 13222 | - | 148M | 0 | 11k|7675 |7639 | 0 | 0 | 35 | 0 | 0.000000e+00 | -- | Inf | unknown
26.40/26.53 c 26.5s| 1 | 0 | 37181 | - | 158M | 0 | 11k|7681 |7658 | 19 | 1 | 41 | 0 | 0.000000e+00 | -- | Inf | unknown
28.69/28.82 c 28.8s| 1 | 0 | 40066 | - | 162M | 0 | 11k|7682 |7668 | 29 | 2 | 42 | 0 | 0.000000e+00 | -- | Inf | unknown
38.17/38.36 c 38.4s| 1 | 0 | 54143 | - | 165M | 0 | 11k|7683 |7677 | 38 | 3 | 43 | 0 | 0.000000e+00 | -- | Inf | unknown
47.93/48.10 c 48.1s| 1 | 0 | 67797 | - | 168M | 0 | 11k|7684 |7689 | 50 | 4 | 44 | 0 | 0.000000e+00 | -- | Inf | unknown
57.49/57.75 c 57.7s| 1 | 0 | 81514 | - | 169M | 0 | 11k|7687 |7706 | 67 | 5 | 47 | 0 | 0.000000e+00 | -- | Inf | unknown
66.77/67.07 c 67.1s| 1 | 0 | 94584 | - | 170M | 0 | 11k|7692 |7723 | 84 | 6 | 52 | 0 | 0.000000e+00 | -- | Inf | unknown
76.74/77.09 c 77.1s| 1 | 0 |108146 | - | 172M | 0 | 11k|7693 |7735 | 96 | 7 | 53 | 0 | 0.000000e+00 | -- | Inf | unknown
86.49/86.84 c 86.8s| 1 | 0 |121247 | - | 173M | 0 | 11k|7695 |7747 | 108 | 8 | 55 | 0 | 0.000000e+00 | -- | Inf | unknown
96.46/96.80 c 96.8s| 1 | 0 |134444 | - | 175M | 0 | 11k|7698 |7756 | 117 | 9 | 58 | 0 | 0.000000e+00 | -- | Inf | unknown
100.75/101.15 c 101s| 1 | 0 |139816 | - | 176M | 0 | 11k|7700 |7765 | 126 | 10 | 60 | 0 | 0.000000e+00 | -- | Inf | unknown
103.23/103.61 c 104s| 1 | 0 |143250 | - | 177M | 0 | 11k|7701 |7782 | 143 | 11 | 61 | 0 | 0.000000e+00 | -- | Inf | unknown
104.13/104.58 c 105s| 1 | 0 |144359 | - | 179M | 0 | 11k|7711 |7788 | 149 | 12 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown
106.82/107.21 c 107s| 1 | 0 |148045 | - | 180M | 0 | 11k|7712 |7771 | 161 | 13 | 72 | 0 | 0.000000e+00 | -- | Inf | unknown
189.05/189.79 c 190s| 1 | 2 |273557 | - | 182M | 0 | 11k|7735 |7771 | 161 | 13 | 95 | 19 | 0.000000e+00 | -- | Inf | unknown
1172.62/1176.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1172.62/1176.67 c 1177s| 100 | 101 | 1778k|16473.8 | 260M | 32 | 11k|8154 |7713 | 284 | 1 | 517 | 19 | 0.000000e+00 | -- | Inf | unknown
1335.37/1339.95 c 1340s| 200 | 155 | 2082k|9719.7 | 268M | 61 | 11k|8261 |7739 | 351 | 0 | 624 | 19 | 0.000000e+00 | -- | Inf | unknown
1490.48/1495.58 c 1496s| 300 | 161 | 2361k|7404.5 | 271M | 61 | 11k|8289 |7739 | 390 | 1 | 654 | 19 | 0.000000e+00 | -- | Inf | unknown
1583.10/1588.40 c 1588s| 400 | 175 | 2542k|6002.1 | 274M | 61 | 11k|8352 |7740 | 415 | 2 | 720 | 19 | 0.000000e+00 | -- | Inf | unknown
1643.21/1648.70 c 1649s| 500 | 185 | 2668k|5050.6 | 275M | 61 | 11k|8378 |7740 | 430 | 0 | 750 | 19 | 0.000000e+00 | -- | Inf | unknown
1709.00/1714.71 c 1715s| 600 | 179 | 2804k|4435.6 | 277M | 61 | 11k|8417 |7737 | 448 | 1 | 790 | 19 | 0.000000e+00 | -- | Inf | unknown
1779.78/1785.77 c 1786s| 700 | 179 | 2952k|4012.5 | 278M | 61 | 11k|8447 |7741 | 462 | 0 | 872 | 19 | 0.000000e+00 | -- | Inf | unknown
1841.29/1847.43 c 1847s| 800 | 197 | 3082k|3673.0 | 280M | 61 | 11k|8506 |7739 | 490 | 0 | 957 | 19 | 0.000000e+00 | -- | Inf | unknown
1907.98/1914.34 c 1914s| 900 | 185 | 3222k|3419.6 | 282M | 63 | 11k|8566 |7739 | 501 | 0 |1041 | 19 | 0.000000e+00 | -- | Inf | unknown
1981.94/1988.54 c 1989s| 1000 | 193 | 3377k|3232.3 | 283M | 63 | 11k|8592 |7738 | 537 | 1 |1085 | 19 | 0.000000e+00 | -- | Inf | unknown
2051.61/2058.45 c 2058s| 1100 | 197 | 3521k|3070.0 | 284M | 63 | 11k|8603 |7739 | 550 | 1 |1113 | 19 | 0.000000e+00 | -- | Inf | unknown
2124.57/2131.67 c 2132s| 1200 | 193 | 3674k|2941.2 | 285M | 63 | 11k|8711 |7738 | 572 | 0 |1241 | 19 | 0.000000e+00 | -- | Inf | unknown
2194.64/2201.91 c 2202s| 1300 | 189 | 3821k|2827.7 | 285M | 63 | 11k|8708 |7736 | 576 | 0 |1290 | 19 | 0.000000e+00 | -- | Inf | unknown
2271.19/2278.75 c 2279s| 1400 | 171 | 3983k|2741.4 | 287M | 63 | 11k|8769 |7736 | 594 | 1 |1420 | 19 | 0.000000e+00 | -- | Inf | unknown
2354.13/2361.98 c 2362s| 1500 | 179 | 4155k|2673.7 | 289M | 63 | 11k|8817 |7736 | 634 | 1 |1557 | 19 | 0.000000e+00 | -- | Inf | unknown
2449.51/2457.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2449.51/2457.67 c 2458s| 1600 | 193 | 4353k|2630.2 | 292M | 63 | 11k|8955 |7739 | 683 | 0 |1733 | 19 | 0.000000e+00 | -- | Inf | unknown
2526.07/2534.49 c 2534s| 1700 | 179 | 4515k|2570.4 | 293M | 63 | 11k|9020 |7736 | 702 | 1 |1850 | 19 | 0.000000e+00 | -- | Inf | unknown
2600.72/2609.38 c 2609s| 1800 | 169 | 4670k|2514.1 | 294M | 63 | 11k|9000 |7736 | 718 | 1 |1898 | 19 | 0.000000e+00 | -- | Inf | unknown
2694.71/2703.68 c 2704s| 1900 | 190 | 4861k|2482.2 | 295M | 63 | 11k|8957 |7711 | 747 | 1 |1947 | 19 | 0.000000e+00 | -- | Inf | unknown
2811.83/2821.11 c 2821s| 2000 | 179 | 5097k|2475.8 | 297M | 63 | 11k|9025 |7708 | 779 | 1 |2084 | 19 | 0.000000e+00 | -- | Inf | unknown
2897.05/2906.69 c 2907s| 2100 | 180 | 5268k|2439.5 | 297M | 63 | 11k|9000 |7707 | 810 | 1 |2094 | 19 | 0.000000e+00 | -- | Inf | unknown
2978.78/2988.64 c 2989s| 2200 | 168 | 5429k|2401.9 | 297M | 63 | 11k|9009 |7707 | 825 | 0 |2114 | 19 | 0.000000e+00 | -- | Inf | unknown
3126.01/3136.32 c 3136s| 2300 | 172 | 5711k|2420.0 | 301M | 63 | 11k|9008 |7744 | 863 | 1 |2173 | 19 | 0.000000e+00 | -- | Inf | unknown
3190.40/3200.92 c 3201s| 2400 | 210 | 5844k|2374.6 | 302M | 68 | 11k|9037 |7746 | 874 | 1 |2211 | 19 | 0.000000e+00 | -- | Inf | unknown
3243.52/3254.27 c 3254s| 2500 | 228 | 5955k|2323.8 | 303M | 74 | 11k|9078 |7746 | 874 | 1 |2261 | 19 | 0.000000e+00 | -- | Inf | unknown
3299.45/3310.36 c 3310s| 2600 | 210 | 6073k|2279.9 | 304M | 75 | 11k|9127 |7746 | 876 | 0 |2358 | 19 | 0.000000e+00 | -- | Inf | unknown
3362.23/3373.31 c 3373s| 2700 | 206 | 6205k|2244.5 | 305M | 75 | 11k|9191 |7748 | 881 | 0 |2461 | 19 | 0.000000e+00 | -- | Inf | unknown
3420.83/3432.18 c 3432s| 2800 | 208 | 6330k|2208.6 | 305M | 75 | 11k|9114 |7749 | 885 | 1 |2473 | 19 | 0.000000e+00 | -- | Inf | unknown
3490.39/3501.96 c 3502s| 2900 | 246 | 6472k|2181.7 | 305M | 80 | 11k|9003 |7745 | 892 | 1 |2484 | 19 | 0.000000e+00 | -- | Inf | unknown
3542.83/3554.56 c 3555s| 3000 | 236 | 6586k|2146.9 | 306M | 83 | 11k|9029 |7745 | 892 | 1 |2521 | 19 | 0.000000e+00 | -- | Inf | unknown
3585.11/3597.00 c
3585.11/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.11/3597.00 c Solving Time (sec) : 3597.00
3585.11/3597.00 c Solving Nodes : 3082
3585.11/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3585.11/3597.00 c Dual Bound : +0.00000000000000e+00
3585.11/3597.00 c Gap : infinite
3585.11/3597.00 s UNKNOWN
3585.11/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.11/3597.00 c Total Time : 3597.00
3585.11/3597.00 c solving : 3597.00
3585.11/3597.00 c presolving : 12.16 (included in solving)
3585.11/3597.00 c reading : 0.06 (included in solving)
3585.11/3597.00 c copying : 0.12 (4 #copies) (minimal 0.02, maximal 0.03, average 0.03)
3585.11/3597.00 c Original Problem :
3585.11/3597.00 c Problem name : HOME/instance-4452425-1721442110.opb
3585.11/3597.00 c Variables : 21582 (21582 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.11/3597.00 c Constraints : 17547 initial, 17547 maximal
3585.11/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.11/3597.00 c Presolved Problem :
3585.11/3597.00 c Problem name : t_HOME/instance-4452425-1721442110.opb
3585.11/3597.00 c Variables : 11764 (11764 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.11/3597.00 c Constraints : 7639 initial, 9191 maximal
3585.21/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.21/3597.00 c Nonzeros : 45893 constraint, 182127 clique table
3585.21/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.21/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c domcol : 0.20 0.00 18 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c implics : 0.00 0.00 41 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c milp : 0.46 0.00 2 276 3 0 0 0 0 0 0 0
3585.21/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c sparsify : 0.21 0.00 4 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c trivial : 0.02 0.00 88 523 0 0 0 0 0 0 0 0
3585.21/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c dualfix : 0.02 0.00 88 54 0 0 0 0 0 0 0 0
3585.21/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c probing : 10.17 0.00 18 1874 0 0 0 0 0 0 0 0
3585.21/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c vbounds : 0.06 0.00 7 15 0 0 0 0 0 0 0 0
3585.21/3597.00 c knapsack : 0.00 0.00 144 0 0 0 0 0 1 8 11 22
3585.21/3597.00 c setppc : 0.77 0.00 147 1227 773 0 0 0 5189 45 9 9
3585.21/3597.00 c linear : 0.10 0.01 28 4883 190 0 4883 0 4771 0 0 0
3585.21/3597.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c root node : - - - 0 - - 0 - - - - -
3585.21/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.21/3597.00 c benderslp : 0 0 0 0 1661 0 0 107 0 0 0 0 0 0 0
3585.21/3597.00 c integral : 0 0 0 0 1661 0 0 107 0 0 0 0 0 0 3322
3585.21/3597.00 c knapsack : 0+ 3 0 78441 0 0 0 0 5 6 0 0 0 0 0
3585.21/3597.00 c setppc : 7639+ 7669 13 129486 0 0 0 103 663070 99 140278 0 0 0 0
3585.21/3597.00 c logicor : 0+ 1523 13 4666 0 0 0 0 1726 13 1055 2 1 0 0
3585.21/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.21/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.21/3597.00 c integral : 10.18 0.00 0.00 0.00 10.18 0.00 0.00 0.00 0.00 0.00
3585.21/3597.00 c knapsack : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3585.21/3597.00 c setppc : 2.71 0.00 0.01 2.50 0.00 0.00 0.00 0.00 0.19 0.00
3585.21/3597.00 c logicor : 0.06 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
3585.21/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.21/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.21/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.21/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.21/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.21/3597.00 c dualfix : 1 0 0 0
3585.21/3597.00 c genvbounds : 0 0 0 0
3585.21/3597.00 c nlobbt : 0 0 0 0
3585.21/3597.00 c obbt : 0 0 0 0
3585.21/3597.00 c probing : 0 0 0 0
3585.21/3597.00 c pseudoobj : 0 0 0 0
3585.21/3597.00 c redcost : 0 0 0 0
3585.21/3597.00 c rootredcost : 0 0 0 0
3585.21/3597.00 c symmetry : 0 0 0 0
3585.21/3597.00 c vbounds : 46218 0 0 0
3585.21/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.21/3597.00 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3585.21/3597.00 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3585.21/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.21/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.21/3597.00 c probing : 10.17 0.00 10.17 0.00 0.00 0.00
3585.21/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3585.21/3597.00 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3585.21/3597.00 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3585.21/3597.00 c symmetry : 0.03 0.00 0.02 0.01 0.00 0.00
3585.21/3597.00 c vbounds : 0.37 0.00 0.06 0.31 0.00 0.00
3585.21/3597.00 c Symmetry :
3585.21/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.21/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3585.21/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3585.21/3597.00 c shadow tree time : 0.00 s
3585.21/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.21/3597.00 c propagation : 0.01 109 95 - 454 107.7 28 5.8 - - -
3585.21/3597.00 c infeasible LP : 5.68 1484 236 - 10901 1395.1 51 25.5 4 734.5 0
3585.21/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.21/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.21/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.21/3597.00 c applied globally : 0.12 - - 0 2554 644.1 - - 4 - -
3585.21/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.21/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.21/3597.00 c cut pool : 0.05 - 333 25 - - 1403 4734 - - - - - (maximal pool size: 1249)
3585.21/3597.00 c aggregation : 0.08 0.00 29 13 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3585.21/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3585.21/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3585.21/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c clique : 1.59 0.00 13 13 0 0 82 162 0 35 35 0 0
3585.21/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c gomory : 6.86 0.00 26 10 0 0 889 3721 50 469 466 3 0
3585.21/3597.00 c > gomorymi : - - - - - - - 2112 25 302 299 3 -
3585.21/3597.00 c > strongcg : - - - - - - - 1609 25 167 167 0 -
3585.21/3597.00 c impliedbounds : 0.13 0.00 29 13 0 0 376 484 0 68 68 0 0
3585.21/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c multilinear : 0.00 0.00 49 13 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c rlt : 0.00 0.00 19 10 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c zerohalf : 1.96 0.00 29 13 0 0 165 367 59 324 273 51 0
3585.21/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.21/3597.00 c hybrid : 0.00 0.00 205 13 897 0 3948 161 0 796
3585.21/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3585.21/3597.00 c problem variables: 0.00 - 0 0
3585.21/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.21/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c relpscost : 10.18 0.00 1661 0 0 0 0 0 0 3322
3585.21/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.21/3597.00 c LP solutions : 0.00 - - 0 0
3585.21/3597.00 c relax solutions : 0.00 - - 0 0
3585.21/3597.00 c pseudo solutions : 0.00 - - 0 0
3585.21/3597.00 c strong branching : 0.00 - - 0 0
3585.21/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3585.21/3597.00 c adaptivediving : 40.11 0.00 9 0 0
3585.21/3597.00 c alns : 15.37 0.00 4 0 0
3585.21/3597.00 c bound : 0.00 0.00 0 0 0
3585.21/3597.00 c clique : 0.03 0.00 1 0 0
3585.21/3597.00 c coefdiving : 0.00 0.00 0 0 0
3585.21/3597.00 c completesol : 0.00 0.00 0 0 0
3585.21/3597.00 c conflictdiving : 151.19 0.00 7 0 0
3585.21/3597.00 c crossover : 0.00 0.00 0 0 0
3585.21/3597.00 c dins : 0.00 0.00 0 0 0
3585.21/3597.00 c distributiondivin: 76.91 0.00 6 0 0
3585.21/3597.00 c dps : 0.00 0.00 0 0 0
3585.21/3597.00 c dualval : 0.00 0.00 0 0 0
3585.21/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3585.21/3597.00 c feasjump : 0.02 0.00 1 0 0
3585.21/3597.00 c feaspump : 17.31 0.00 3 0 0
3585.21/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3585.21/3597.00 c fracdiving : 66.76 0.00 6 0 0
3585.21/3597.00 c gins : 0.00 0.00 0 0 0
3585.21/3597.00 c guideddiving : 0.00 0.00 0 0 0
3585.21/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3585.21/3597.00 c indicator : 0.00 0.00 0 0 0
3585.21/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3585.21/3597.00 c indoneopt : 0.00 0.00 0 0 0
3585.21/3597.00 c indrounding : 0.00 0.00 0 0 0
3585.21/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3585.21/3597.00 c intdiving : 0.00 0.00 0 0 0
3585.21/3597.00 c intshifting : 0.00 0.00 0 0 0
3585.21/3597.00 c linesearchdiving : 73.91 0.00 7 0 0
3585.21/3597.00 c localbranching : 0.00 0.00 0 0 0
3585.21/3597.00 c locks : 0.00 0.00 1 0 0
3585.21/3597.00 c lpface : 0.04 0.00 0 0 0
3585.21/3597.00 c mpec : 0.00 0.00 0 0 0
3585.21/3597.00 c multistart : 0.00 0.00 0 0 0
3585.21/3597.00 c mutation : 0.00 0.00 0 0 0
3585.21/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3585.21/3597.00 c objpscostdiving : 177.58 0.00 3 0 0
3585.21/3597.00 c octane : 0.00 0.00 0 0 0
3585.21/3597.00 c ofins : 0.00 0.00 0 0 0
3585.21/3597.00 c oneopt : 0.00 0.00 0 0 0
3585.21/3597.00 c padm : 0.00 0.00 0 0 0
3585.21/3597.00 c proximity : 0.00 0.00 0 0 0
3585.21/3597.00 c pscostdiving : 66.03 0.00 7 0 0
3585.21/3597.00 c randrounding : 0.17 0.00 114 0 0
3585.21/3597.00 c rens : 0.09 0.00 1 0 0
3585.21/3597.00 c reoptsols : 0.00 0.00 0 0 0
3585.21/3597.00 c repair : 0.00 0.00 0 0 0
3585.21/3597.00 c rins : 0.00 0.00 0 0 0
3585.21/3597.00 c rootsoldiving : 33.06 0.00 3 0 0
3585.21/3597.00 c rounding : 0.29 0.00 562 0 0
3585.21/3597.00 c scheduler : 0.00 0.00 0 0 0
3585.21/3597.00 c shiftandpropagate: 0.01 0.00 1 0 0
3585.21/3597.00 c shifting : 0.38 0.00 221 0 0
3585.21/3597.00 c simplerounding : 0.00 0.00 0 0 0
3585.21/3597.00 c smallcard : 0.00 0.00 0 0 0
3585.21/3597.00 c subnlp : 0.00 0.00 0 0 0
3585.21/3597.00 c trivial : 0.01 0.00 2 0 0
3585.21/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3585.21/3597.00 c trustregion : 0.00 0.00 0 0 0
3585.21/3597.00 c trysol : 0.00 0.00 0 0 0
3585.21/3597.00 c twoopt : 0.00 0.00 0 0 0
3585.21/3597.00 c undercover : 0.00 0.00 0 0 0
3585.21/3597.00 c vbounds : 0.02 0.00 1 0 0
3585.21/3597.00 c veclendiving : 79.10 0.00 6 0 0
3585.21/3597.00 c zeroobj : 0.00 0.00 0 0 0
3585.21/3597.00 c zirounding : 0.12 0.00 1000 0 0
3585.21/3597.00 c other solutions : - - - 0 -
3585.21/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.21/3597.00 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
3585.21/3597.00 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
3585.21/3597.00 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
3585.21/3597.00 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
3585.21/3597.00 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
3585.21/3597.00 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
3585.21/3597.00 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
3585.21/3597.00 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
3585.21/3597.00 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
3585.21/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.21/3597.00 c primal LP : 0.88 139 0 0.00 0.00 0.88 139
3585.21/3597.00 c dual LP : 2752.26 3283 5399095 1645.06 1961.70 0.00 1
3585.21/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3585.21/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.21/3597.00 c resolve instable : 25.85 28 51289 1831.75 1984.39
3585.21/3597.00 c diving/probing LP: 775.32 2036 1280169 628.77 1651.15
3585.21/3597.00 c strong branching : 8.80 19 12836 675.58 1458.57 - - 21
3585.21/3597.00 c (at root node) : - 19 12836 675.58 -
3585.21/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3585.21/3597.00 c B&B Tree :
3585.21/3597.00 c number of runs : 1
3585.21/3597.00 c nodes : 3082 (1661 internal, 1421 leaves)
3585.21/3597.00 c feasible leaves : 0
3585.21/3597.00 c infeas. leaves : 1420
3585.21/3597.00 c objective leaves : 0
3585.21/3597.00 c nodes (total) : 3082 (1661 internal, 1421 leaves)
3585.21/3597.00 c nodes left : 239
3585.21/3597.00 c max depth : 83
3585.21/3597.00 c max depth (total): 83
3585.21/3597.00 c backtracks : 777 (25.2%)
3585.21/3597.00 c early backtracks : 0 (0.0%)
3585.21/3597.00 c nodes exc. ref. : 0 (0.0%)
3585.21/3597.00 c delayed cutoffs : 3
3585.21/3597.00 c repropagations : 650 (4548 domain reductions, 1 cutoffs)
3585.21/3597.00 c avg switch length: 4.09
3585.21/3597.00 c switching time : 1.56
3585.21/3597.00 c Root Node :
3585.21/3597.00 c First LP value : +0.00000000000000e+00
3585.21/3597.00 c First LP Iters : 13222 (2688.20 Iter/sec)
3585.21/3597.00 c First LP Time : 4.92
3585.21/3597.00 c Final Dual Bound : +0.00000000000000e+00
3585.21/3597.00 c Final Root Iters : 148045
3585.21/3597.00 c Root LP Estimate : +3.32821658502563e-02
3585.21/3597.00 c Solution :
3585.21/3597.00 c Solutions found : 0 (0 improvements)
3585.21/3597.00 c Primal Bound : -
3585.21/3597.00 c Dual Bound : +0.00000000000000e+00
3585.21/3597.00 c Gap : infinite
3585.21/3597.00 c Integrals : Total Avg%
3585.21/3597.00 c primal-dual : 359699.79 100.00
3585.21/3597.00 c primal-ref : - - (not evaluated)
3585.21/3597.00 c dual-ref : - - (not evaluated)
3585.21/3597.08 c Time complete: 3585.3.