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-4446375-1721332366.opb>
1.79/1.87 c original problem has 35834 variables (35834 bin, 0 int, 0 impl, 0 cont) and 835510 constraints
1.79/1.87 c problem read in 1.87
1.79/1.88 c No objective function, only one solution is needed.
3.18/3.22 c presolving:
4.38/4.44 c (round 1, fast) 7012 del vars, 119964 del conss, 0 add conss, 7012 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 102369 clqs
4.58/4.67 c (round 2, fast) 7492 del vars, 202716 del conss, 0 add conss, 7012 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 101889 clqs
5.77/5.83 c (5.8s) running MILP presolver
7.17/7.26 c (7.2s) MILP presolver (4 rounds): 902 aggregations, 0 fixings, 0 bound changes
7.26/7.31 c (round 3, medium) 10959 del vars, 202716 del conss, 0 add conss, 7012 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 94955 clqs
7.47/7.57 c (round 4, fast) 10959 del vars, 217251 del conss, 0 add conss, 7012 chg bounds, 3091 chg sides, 3700 chg coeffs, 0 upgd conss, 0 impls, 95020 clqs
9.26/9.33 c (round 5, exhaustive) 10959 del vars, 217260 del conss, 0 add conss, 7012 chg bounds, 3100 chg sides, 3700 chg coeffs, 618249 upgd conss, 0 impls, 95020 clqs
11.36/11.42 c (round 6, exhaustive) 10959 del vars, 229347 del conss, 33 add conss, 7012 chg bounds, 3165 chg sides, 22684 chg coeffs, 618249 upgd conss, 0 impls, 95020 clqs
15.55/15.63 c (round 7, exhaustive) 10989 del vars, 229348 del conss, 34 add conss, 7012 chg bounds, 3165 chg sides, 22896 chg coeffs, 618249 upgd conss, 0 impls, 94960 clqs
15.74/15.81 c (round 8, fast) 10989 del vars, 229853 del conss, 124 add conss, 7012 chg bounds, 3165 chg sides, 23252 chg coeffs, 618249 upgd conss, 0 impls, 94992 clqs
19.23/19.38 c (round 9, exhaustive) 11019 del vars, 229855 del conss, 124 add conss, 7012 chg bounds, 3165 chg sides, 23442 chg coeffs, 618249 upgd conss, 0 impls, 94932 clqs
19.43/19.57 c (round 10, fast) 11019 del vars, 230355 del conss, 214 add conss, 7012 chg bounds, 3165 chg sides, 23794 chg coeffs, 618249 upgd conss, 0 impls, 94934 clqs
23.04/23.12 c (round 11, exhaustive) 11049 del vars, 230355 del conss, 214 add conss, 7012 chg bounds, 3165 chg sides, 23801 chg coeffs, 618249 upgd conss, 0 impls, 94874 clqs
23.23/23.31 c (round 12, fast) 11049 del vars, 230836 del conss, 305 add conss, 7012 chg bounds, 3165 chg sides, 24137 chg coeffs, 618249 upgd conss, 0 impls, 94881 clqs
27.52/27.64 c (round 13, exhaustive) 11079 del vars, 230836 del conss, 305 add conss, 7012 chg bounds, 3165 chg sides, 24162 chg coeffs, 618249 upgd conss, 0 impls, 94821 clqs
27.72/27.83 c (round 14, fast) 11079 del vars, 231334 del conss, 397 add conss, 7012 chg bounds, 3165 chg sides, 24509 chg coeffs, 618249 upgd conss, 0 impls, 94830 clqs
31.31/31.40 c (round 15, exhaustive) 11109 del vars, 231337 del conss, 397 add conss, 7012 chg bounds, 3165 chg sides, 24546 chg coeffs, 618249 upgd conss, 0 impls, 94770 clqs
31.41/31.59 c (round 16, fast) 11109 del vars, 231830 del conss, 490 add conss, 7012 chg bounds, 3165 chg sides, 24881 chg coeffs, 618249 upgd conss, 0 impls, 94784 clqs
35.01/35.16 c (round 17, exhaustive) 11139 del vars, 231836 del conss, 490 add conss, 7012 chg bounds, 3165 chg sides, 24937 chg coeffs, 618249 upgd conss, 0 impls, 94724 clqs
35.20/35.35 c (round 18, fast) 11139 del vars, 232336 del conss, 589 add conss, 7012 chg bounds, 3165 chg sides, 25272 chg coeffs, 618249 upgd conss, 0 impls, 94744 clqs
38.79/38.93 c (round 19, exhaustive) 11169 del vars, 232342 del conss, 589 add conss, 7012 chg bounds, 3165 chg sides, 25371 chg coeffs, 618249 upgd conss, 0 impls, 94684 clqs
39.00/39.12 c (round 20, fast) 11169 del vars, 232854 del conss, 689 add conss, 7012 chg bounds, 3165 chg sides, 25716 chg coeffs, 618249 upgd conss, 0 impls, 94700 clqs
42.48/42.68 c (round 21, exhaustive) 11199 del vars, 232867 del conss, 689 add conss, 7012 chg bounds, 3165 chg sides, 25833 chg coeffs, 618249 upgd conss, 0 impls, 94640 clqs
42.68/42.87 c (round 22, fast) 11199 del vars, 233379 del conss, 785 add conss, 7012 chg bounds, 3165 chg sides, 26183 chg coeffs, 618249 upgd conss, 0 impls, 94650 clqs
47.07/47.20 c (round 23, exhaustive) 11229 del vars, 233398 del conss, 785 add conss, 7012 chg bounds, 3165 chg sides, 26278 chg coeffs, 618249 upgd conss, 0 impls, 94590 clqs
47.17/47.39 c (round 24, fast) 11229 del vars, 233906 del conss, 878 add conss, 7012 chg bounds, 3165 chg sides, 26628 chg coeffs, 618249 upgd conss, 0 impls, 94597 clqs
50.77/50.96 c (round 25, exhaustive) 11259 del vars, 233917 del conss, 878 add conss, 7012 chg bounds, 3165 chg sides, 26688 chg coeffs, 618249 upgd conss, 0 impls, 94537 clqs
50.97/51.15 c (round 26, fast) 11259 del vars, 234422 del conss, 972 add conss, 7012 chg bounds, 3165 chg sides, 27040 chg coeffs, 618249 upgd conss, 0 impls, 94543 clqs
54.56/54.74 c (round 27, exhaustive) 11289 del vars, 234427 del conss, 972 add conss, 7012 chg bounds, 3165 chg sides, 27084 chg coeffs, 618249 upgd conss, 0 impls, 94483 clqs
54.76/54.93 c (round 28, fast) 11289 del vars, 234939 del conss, 1063 add conss, 7012 chg bounds, 3165 chg sides, 27444 chg coeffs, 618249 upgd conss, 0 impls, 94485 clqs
58.35/58.50 c (round 29, exhaustive) 11319 del vars, 234950 del conss, 1063 add conss, 7012 chg bounds, 3165 chg sides, 27467 chg coeffs, 618249 upgd conss, 0 impls, 94425 clqs
58.55/58.70 c (round 30, fast) 11319 del vars, 235460 del conss, 1153 add conss, 7012 chg bounds, 3165 chg sides, 27827 chg coeffs, 618249 upgd conss, 0 impls, 94425 clqs
61.84/62.08 c (round 31, exhaustive) 11349 del vars, 235461 del conss, 1153 add conss, 7012 chg bounds, 3165 chg sides, 27831 chg coeffs, 618249 upgd conss, 0 impls, 94365 clqs
62.04/62.26 c (round 32, fast) 11349 del vars, 235971 del conss, 1243 add conss, 7012 chg bounds, 3165 chg sides, 28191 chg coeffs, 618249 upgd conss, 0 impls, 94365 clqs
65.42/65.64 c (round 33, exhaustive) 11379 del vars, 235971 del conss, 1243 add conss, 7012 chg bounds, 3165 chg sides, 28191 chg coeffs, 618249 upgd conss, 0 impls, 94305 clqs
65.62/65.83 c (round 34, fast) 11379 del vars, 236481 del conss, 1333 add conss, 7012 chg bounds, 3165 chg sides, 28551 chg coeffs, 618249 upgd conss, 0 impls, 94305 clqs
69.02/69.21 c (round 35, exhaustive) 11409 del vars, 236481 del conss, 1333 add conss, 7012 chg bounds, 3165 chg sides, 28551 chg coeffs, 618249 upgd conss, 0 impls, 94245 clqs
69.11/69.39 c (round 36, fast) 11409 del vars, 236991 del conss, 1423 add conss, 7012 chg bounds, 3165 chg sides, 28911 chg coeffs, 618249 upgd conss, 0 impls, 94245 clqs
73.30/73.54 c (round 37, exhaustive) 11439 del vars, 236991 del conss, 1423 add conss, 7012 chg bounds, 3165 chg sides, 28911 chg coeffs, 618249 upgd conss, 0 impls, 94185 clqs
73.50/73.73 c (round 38, fast) 11439 del vars, 237501 del conss, 1513 add conss, 7012 chg bounds, 3165 chg sides, 29271 chg coeffs, 618249 upgd conss, 0 impls, 94185 clqs
76.81/77.10 c (round 39, exhaustive) 11469 del vars, 237501 del conss, 1513 add conss, 7012 chg bounds, 3165 chg sides, 29271 chg coeffs, 618249 upgd conss, 0 impls, 94125 clqs
77.00/77.28 c (round 40, fast) 11469 del vars, 238011 del conss, 1603 add conss, 7012 chg bounds, 3165 chg sides, 29631 chg coeffs, 618249 upgd conss, 0 impls, 94125 clqs
80.39/80.67 c (round 41, exhaustive) 11499 del vars, 238011 del conss, 1603 add conss, 7012 chg bounds, 3165 chg sides, 29631 chg coeffs, 618249 upgd conss, 0 impls, 94065 clqs
80.59/80.85 c (round 42, fast) 11499 del vars, 238521 del conss, 1693 add conss, 7012 chg bounds, 3165 chg sides, 29991 chg coeffs, 618249 upgd conss, 0 impls, 94065 clqs
83.98/84.23 c (round 43, exhaustive) 11529 del vars, 238521 del conss, 1693 add conss, 7012 chg bounds, 3165 chg sides, 29991 chg coeffs, 618249 upgd conss, 0 impls, 94005 clqs
84.18/84.42 c (round 44, fast) 11529 del vars, 239031 del conss, 1783 add conss, 7012 chg bounds, 3165 chg sides, 30351 chg coeffs, 618249 upgd conss, 0 impls, 94005 clqs
87.57/87.80 c (round 45, exhaustive) 11559 del vars, 239031 del conss, 1783 add conss, 7012 chg bounds, 3165 chg sides, 30351 chg coeffs, 618249 upgd conss, 0 impls, 93945 clqs
87.67/88.00 c (round 46, fast) 11559 del vars, 239541 del conss, 1873 add conss, 7012 chg bounds, 3165 chg sides, 30711 chg coeffs, 618249 upgd conss, 0 impls, 93945 clqs
91.06/91.39 c (round 47, exhaustive) 11589 del vars, 239541 del conss, 1873 add conss, 7012 chg bounds, 3165 chg sides, 30711 chg coeffs, 618249 upgd conss, 0 impls, 93885 clqs
91.26/91.58 c (round 48, fast) 11589 del vars, 240051 del conss, 1963 add conss, 7012 chg bounds, 3165 chg sides, 31071 chg coeffs, 618249 upgd conss, 0 impls, 93885 clqs
94.66/94.96 c (round 49, exhaustive) 11619 del vars, 240051 del conss, 1963 add conss, 7012 chg bounds, 3165 chg sides, 31071 chg coeffs, 618249 upgd conss, 0 impls, 93825 clqs
94.86/95.14 c (round 50, fast) 11619 del vars, 240561 del conss, 2053 add conss, 7012 chg bounds, 3165 chg sides, 31431 chg coeffs, 618249 upgd conss, 0 impls, 93825 clqs
98.25/98.52 c (round 51, exhaustive) 11649 del vars, 240561 del conss, 2053 add conss, 7012 chg bounds, 3165 chg sides, 31431 chg coeffs, 618249 upgd conss, 0 impls, 93765 clqs
98.45/98.70 c (round 52, fast) 11649 del vars, 241071 del conss, 2143 add conss, 7012 chg bounds, 3165 chg sides, 31791 chg coeffs, 618249 upgd conss, 0 impls, 93765 clqs
101.74/102.08 c (round 53, exhaustive) 11679 del vars, 241071 del conss, 2143 add conss, 7012 chg bounds, 3165 chg sides, 31791 chg coeffs, 618249 upgd conss, 0 impls, 93705 clqs
101.94/102.28 c (round 54, fast) 11679 del vars, 241581 del conss, 2233 add conss, 7012 chg bounds, 3165 chg sides, 32151 chg coeffs, 618249 upgd conss, 0 impls, 93705 clqs
106.13/106.43 c (round 55, exhaustive) 11709 del vars, 241581 del conss, 2233 add conss, 7012 chg bounds, 3165 chg sides, 32151 chg coeffs, 618249 upgd conss, 0 impls, 93645 clqs
106.33/106.62 c (round 56, fast) 11709 del vars, 242091 del conss, 2323 add conss, 7012 chg bounds, 3165 chg sides, 32511 chg coeffs, 618249 upgd conss, 0 impls, 93645 clqs
109.62/109.98 c (round 57, exhaustive) 11739 del vars, 242091 del conss, 2323 add conss, 7012 chg bounds, 3165 chg sides, 32511 chg coeffs, 618249 upgd conss, 0 impls, 93585 clqs
109.82/110.17 c (round 58, fast) 11739 del vars, 242601 del conss, 2413 add conss, 7012 chg bounds, 3165 chg sides, 32871 chg coeffs, 618249 upgd conss, 0 impls, 93585 clqs
113.31/113.64 c (round 59, exhaustive) 11769 del vars, 242601 del conss, 2413 add conss, 7012 chg bounds, 3165 chg sides, 32871 chg coeffs, 618249 upgd conss, 0 impls, 93525 clqs
113.51/113.83 c (round 60, fast) 11769 del vars, 243111 del conss, 2503 add conss, 7012 chg bounds, 3165 chg sides, 33231 chg coeffs, 618249 upgd conss, 0 impls, 93525 clqs
117.10/117.42 c (round 61, exhaustive) 11799 del vars, 243111 del conss, 2503 add conss, 7012 chg bounds, 3165 chg sides, 33231 chg coeffs, 618249 upgd conss, 0 impls, 93465 clqs
117.30/117.63 c (round 62, fast) 11799 del vars, 243621 del conss, 2593 add conss, 7012 chg bounds, 3165 chg sides, 33591 chg coeffs, 618249 upgd conss, 0 impls, 93465 clqs
120.89/121.26 c (round 63, exhaustive) 11829 del vars, 243621 del conss, 2593 add conss, 7012 chg bounds, 3165 chg sides, 33591 chg coeffs, 618249 upgd conss, 0 impls, 93405 clqs
121.09/121.46 c (round 64, fast) 11829 del vars, 244131 del conss, 2683 add conss, 7012 chg bounds, 3165 chg sides, 33951 chg coeffs, 618249 upgd conss, 0 impls, 93405 clqs
124.79/125.11 c (round 65, exhaustive) 11859 del vars, 244131 del conss, 2683 add conss, 7012 chg bounds, 3165 chg sides, 33951 chg coeffs, 618249 upgd conss, 0 impls, 93345 clqs
124.98/125.31 c (round 66, fast) 11859 del vars, 244641 del conss, 2773 add conss, 7012 chg bounds, 3165 chg sides, 34311 chg coeffs, 618249 upgd conss, 0 impls, 93345 clqs
128.57/128.93 c (round 67, exhaustive) 11889 del vars, 244641 del conss, 2773 add conss, 7012 chg bounds, 3165 chg sides, 34311 chg coeffs, 618249 upgd conss, 0 impls, 93285 clqs
128.78/129.13 c (round 68, fast) 11889 del vars, 245151 del conss, 2863 add conss, 7012 chg bounds, 3165 chg sides, 34671 chg coeffs, 618249 upgd conss, 0 impls, 93285 clqs
132.36/132.75 c (round 69, exhaustive) 11919 del vars, 245151 del conss, 2863 add conss, 7012 chg bounds, 3165 chg sides, 34671 chg coeffs, 618249 upgd conss, 0 impls, 93225 clqs
132.56/132.96 c (round 70, fast) 11919 del vars, 245661 del conss, 2953 add conss, 7012 chg bounds, 3165 chg sides, 35031 chg coeffs, 618249 upgd conss, 0 impls, 93225 clqs
136.15/136.60 c (round 71, exhaustive) 11949 del vars, 245661 del conss, 2953 add conss, 7012 chg bounds, 3165 chg sides, 35031 chg coeffs, 618249 upgd conss, 0 impls, 93165 clqs
136.44/136.80 c (round 72, fast) 11949 del vars, 246171 del conss, 3043 add conss, 7012 chg bounds, 3165 chg sides, 35391 chg coeffs, 618249 upgd conss, 0 impls, 93165 clqs
139.94/140.34 c (round 73, exhaustive) 11979 del vars, 246171 del conss, 3043 add conss, 7012 chg bounds, 3165 chg sides, 35391 chg coeffs, 618249 upgd conss, 0 impls, 93105 clqs
140.14/140.54 c (round 74, fast) 11979 del vars, 246681 del conss, 3133 add conss, 7012 chg bounds, 3165 chg sides, 35751 chg coeffs, 618249 upgd conss, 0 impls, 93105 clqs
143.64/144.07 c (round 75, exhaustive) 12005 del vars, 246681 del conss, 3133 add conss, 7012 chg bounds, 3165 chg sides, 35751 chg coeffs, 618249 upgd conss, 0 impls, 93053 clqs
143.83/144.27 c (round 76, fast) 12005 del vars, 247178 del conss, 3229 add conss, 7012 chg bounds, 3165 chg sides, 36107 chg coeffs, 618249 upgd conss, 0 impls, 93060 clqs
148.32/148.77 c (round 77, exhaustive) 12030 del vars, 247180 del conss, 3229 add conss, 7012 chg bounds, 3165 chg sides, 36128 chg coeffs, 618249 upgd conss, 0 impls, 93010 clqs
148.52/148.97 c (round 78, fast) 12030 del vars, 247605 del conss, 3304 add conss, 7012 chg bounds, 3165 chg sides, 36428 chg coeffs, 618249 upgd conss, 0 impls, 93013 clqs
152.21/152.65 c (round 79, exhaustive) 12056 del vars, 247606 del conss, 3304 add conss, 7012 chg bounds, 3165 chg sides, 36447 chg coeffs, 618249 upgd conss, 0 impls, 92961 clqs
152.41/152.86 c (round 80, fast) 12056 del vars, 248200 del conss, 3418 add conss, 7012 chg bounds, 3165 chg sides, 36877 chg coeffs, 618249 upgd conss, 0 impls, 92970 clqs
156.39/156.87 c (round 81, exhaustive) 12084 del vars, 248201 del conss, 3418 add conss, 7012 chg bounds, 3165 chg sides, 36908 chg coeffs, 618249 upgd conss, 0 impls, 92914 clqs
156.60/157.07 c (round 82, fast) 12084 del vars, 248682 del conss, 3503 add conss, 7012 chg bounds, 3165 chg sides, 37240 chg coeffs, 618249 upgd conss, 0 impls, 92923 clqs
160.59/161.03 c (round 83, exhaustive) 12112 del vars, 248685 del conss, 3503 add conss, 7012 chg bounds, 3165 chg sides, 37297 chg coeffs, 618249 upgd conss, 0 impls, 92867 clqs
160.78/161.24 c (round 84, fast) 12112 del vars, 249164 del conss, 3588 add conss, 7012 chg bounds, 3165 chg sides, 37631 chg coeffs, 618249 upgd conss, 0 impls, 92873 clqs
164.77/165.26 c (round 85, exhaustive) 12140 del vars, 249169 del conss, 3588 add conss, 7012 chg bounds, 3165 chg sides, 37678 chg coeffs, 618249 upgd conss, 0 impls, 92817 clqs
164.97/165.46 c (round 86, fast) 12140 del vars, 249652 del conss, 3674 add conss, 7012 chg bounds, 3165 chg sides, 38009 chg coeffs, 618249 upgd conss, 0 impls, 92827 clqs
168.86/169.34 c (round 87, exhaustive) 12168 del vars, 249665 del conss, 3674 add conss, 7012 chg bounds, 3165 chg sides, 38072 chg coeffs, 618249 upgd conss, 0 impls, 92771 clqs
169.06/169.54 c (round 88, fast) 12168 del vars, 250147 del conss, 3759 add conss, 7012 chg bounds, 3165 chg sides, 38405 chg coeffs, 618249 upgd conss, 0 impls, 92779 clqs
172.85/173.38 c (round 89, exhaustive) 12196 del vars, 250176 del conss, 3759 add conss, 7012 chg bounds, 3165 chg sides, 38488 chg coeffs, 618249 upgd conss, 0 impls, 92723 clqs
173.05/173.58 c (round 90, fast) 12196 del vars, 250654 del conss, 3843 add conss, 7012 chg bounds, 3165 chg sides, 38822 chg coeffs, 618249 upgd conss, 0 impls, 92729 clqs
176.84/177.36 c (round 91, exhaustive) 12224 del vars, 250666 del conss, 3843 add conss, 7012 chg bounds, 3165 chg sides, 38857 chg coeffs, 618249 upgd conss, 0 impls, 92673 clqs
177.04/177.56 c (round 92, fast) 12224 del vars, 251143 del conss, 3927 add conss, 7012 chg bounds, 3165 chg sides, 39192 chg coeffs, 618249 upgd conss, 0 impls, 92676 clqs
180.93/181.41 c (round 93, exhaustive) 12252 del vars, 251150 del conss, 3927 add conss, 7012 chg bounds, 3165 chg sides, 39219 chg coeffs, 618249 upgd conss, 0 impls, 92620 clqs
181.13/181.60 c (round 94, fast) 12252 del vars, 251628 del conss, 4011 add conss, 7012 chg bounds, 3165 chg sides, 39553 chg coeffs, 618249 upgd conss, 0 impls, 92622 clqs
184.91/185.46 c (round 95, exhaustive) 12280 del vars, 251630 del conss, 4011 add conss, 7012 chg bounds, 3165 chg sides, 39577 chg coeffs, 618249 upgd conss, 0 impls, 92566 clqs
185.11/185.66 c (round 96, fast) 12280 del vars, 252106 del conss, 4095 add conss, 7012 chg bounds, 3165 chg sides, 39913 chg coeffs, 618249 upgd conss, 0 impls, 92566 clqs
188.91/189.40 c (round 97, exhaustive) 12308 del vars, 252106 del conss, 4095 add conss, 7012 chg bounds, 3165 chg sides, 39921 chg coeffs, 618249 upgd conss, 0 impls, 92510 clqs
189.11/189.60 c (round 98, fast) 12308 del vars, 252582 del conss, 4179 add conss, 7012 chg bounds, 3165 chg sides, 40257 chg coeffs, 618249 upgd conss, 0 impls, 92510 clqs
192.70/193.26 c (round 99, exhaustive) 12336 del vars, 252582 del conss, 4179 add conss, 7012 chg bounds, 3165 chg sides, 40257 chg coeffs, 618249 upgd conss, 0 impls, 92454 clqs
192.90/193.46 c (round 100, fast) 12336 del vars, 253058 del conss, 4263 add conss, 7012 chg bounds, 3165 chg sides, 40593 chg coeffs, 618249 upgd conss, 0 impls, 92454 clqs
196.69/197.22 c (round 101, exhaustive) 12364 del vars, 253058 del conss, 4263 add conss, 7012 chg bounds, 3165 chg sides, 40593 chg coeffs, 618249 upgd conss, 0 impls, 92398 clqs
196.89/197.42 c (round 102, fast) 12364 del vars, 253534 del conss, 4347 add conss, 7012 chg bounds, 3165 chg sides, 40929 chg coeffs, 618249 upgd conss, 0 impls, 92398 clqs
201.28/201.83 c (round 103, exhaustive) 12392 del vars, 253534 del conss, 4347 add conss, 7012 chg bounds, 3165 chg sides, 40929 chg coeffs, 618249 upgd conss, 0 impls, 92342 clqs
201.48/202.02 c (round 104, fast) 12392 del vars, 254010 del conss, 4431 add conss, 7012 chg bounds, 3165 chg sides, 41265 chg coeffs, 618249 upgd conss, 0 impls, 92342 clqs
205.06/205.62 c (round 105, exhaustive) 12420 del vars, 254010 del conss, 4431 add conss, 7012 chg bounds, 3165 chg sides, 41265 chg coeffs, 618249 upgd conss, 0 impls, 92286 clqs
205.26/205.82 c (round 106, fast) 12420 del vars, 254486 del conss, 4515 add conss, 7012 chg bounds, 3165 chg sides, 41601 chg coeffs, 618249 upgd conss, 0 impls, 92286 clqs
208.86/209.43 c (round 107, exhaustive) 12448 del vars, 254486 del conss, 4515 add conss, 7012 chg bounds, 3165 chg sides, 41601 chg coeffs, 618249 upgd conss, 0 impls, 92230 clqs
209.06/209.63 c (round 108, fast) 12448 del vars, 254962 del conss, 4599 add conss, 7012 chg bounds, 3165 chg sides, 41937 chg coeffs, 618249 upgd conss, 0 impls, 92230 clqs
212.75/213.35 c (round 109, exhaustive) 12476 del vars, 254962 del conss, 4599 add conss, 7012 chg bounds, 3165 chg sides, 41937 chg coeffs, 618249 upgd conss, 0 impls, 92174 clqs
212.95/213.55 c (round 110, fast) 12476 del vars, 255438 del conss, 4683 add conss, 7012 chg bounds, 3165 chg sides, 42273 chg coeffs, 618249 upgd conss, 0 impls, 92174 clqs
216.63/217.29 c (round 111, exhaustive) 12504 del vars, 255438 del conss, 4683 add conss, 7012 chg bounds, 3165 chg sides, 42273 chg coeffs, 618249 upgd conss, 0 impls, 92118 clqs
216.83/217.48 c (round 112, fast) 12504 del vars, 255914 del conss, 4767 add conss, 7012 chg bounds, 3165 chg sides, 42609 chg coeffs, 618249 upgd conss, 0 impls, 92118 clqs
220.53/221.17 c (round 113, exhaustive) 12532 del vars, 255914 del conss, 4767 add conss, 7012 chg bounds, 3165 chg sides, 42609 chg coeffs, 618249 upgd conss, 0 impls, 92062 clqs
220.72/221.37 c (round 114, fast) 12532 del vars, 256390 del conss, 4851 add conss, 7012 chg bounds, 3165 chg sides, 42945 chg coeffs, 618249 upgd conss, 0 impls, 92062 clqs
221.92/222.58 c (222.6s) running MILP presolver
223.02/223.63 c (223.6s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
226.61/227.24 c (round 115, exhaustive) 12560 del vars, 256390 del conss, 4851 add conss, 7012 chg bounds, 3165 chg sides, 42945 chg coeffs, 618249 upgd conss, 0 impls, 92006 clqs
226.81/227.43 c (round 116, fast) 12560 del vars, 256866 del conss, 4935 add conss, 7012 chg bounds, 3165 chg sides, 43281 chg coeffs, 618249 upgd conss, 0 impls, 92006 clqs
230.40/231.09 c (round 117, exhaustive) 12588 del vars, 256866 del conss, 4935 add conss, 7012 chg bounds, 3165 chg sides, 43281 chg coeffs, 618249 upgd conss, 0 impls, 91950 clqs
230.60/231.29 c (round 118, fast) 12588 del vars, 257342 del conss, 5019 add conss, 7012 chg bounds, 3165 chg sides, 43617 chg coeffs, 618249 upgd conss, 0 impls, 91950 clqs
234.29/234.95 c (round 119, exhaustive) 12616 del vars, 257342 del conss, 5019 add conss, 7012 chg bounds, 3165 chg sides, 43617 chg coeffs, 618249 upgd conss, 0 impls, 91894 clqs
234.50/235.15 c (round 120, fast) 12616 del vars, 257818 del conss, 5103 add conss, 7012 chg bounds, 3165 chg sides, 43953 chg coeffs, 618249 upgd conss, 0 impls, 91894 clqs
238.18/238.81 c (round 121, exhaustive) 12644 del vars, 257818 del conss, 5103 add conss, 7012 chg bounds, 3165 chg sides, 43953 chg coeffs, 618249 upgd conss, 0 impls, 91838 clqs
238.38/239.01 c (round 122, fast) 12644 del vars, 258294 del conss, 5187 add conss, 7012 chg bounds, 3165 chg sides, 44289 chg coeffs, 618249 upgd conss, 0 impls, 91838 clqs
241.97/242.66 c (round 123, exhaustive) 12672 del vars, 258294 del conss, 5187 add conss, 7012 chg bounds, 3165 chg sides, 44289 chg coeffs, 618249 upgd conss, 0 impls, 91782 clqs
242.17/242.86 c (round 124, fast) 12672 del vars, 258770 del conss, 5271 add conss, 7012 chg bounds, 3165 chg sides, 44625 chg coeffs, 618249 upgd conss, 0 impls, 91782 clqs
245.86/246.51 c (round 125, exhaustive) 12700 del vars, 258770 del conss, 5271 add conss, 7012 chg bounds, 3165 chg sides, 44625 chg coeffs, 618249 upgd conss, 0 impls, 91726 clqs
246.06/246.71 c (round 126, fast) 12700 del vars, 259246 del conss, 5355 add conss, 7012 chg bounds, 3165 chg sides, 44961 chg coeffs, 618249 upgd conss, 0 impls, 91726 clqs
249.65/250.36 c (round 127, exhaustive) 12728 del vars, 259246 del conss, 5355 add conss, 7012 chg bounds, 3165 chg sides, 44961 chg coeffs, 618249 upgd conss, 0 impls, 91670 clqs
249.85/250.55 c (round 128, fast) 12728 del vars, 259722 del conss, 5439 add conss, 7012 chg bounds, 3165 chg sides, 45297 chg coeffs, 618249 upgd conss, 0 impls, 91670 clqs
253.53/254.22 c (round 129, exhaustive) 12756 del vars, 259722 del conss, 5439 add conss, 7012 chg bounds, 3165 chg sides, 45297 chg coeffs, 618249 upgd conss, 0 impls, 91614 clqs
253.73/254.41 c (round 130, fast) 12756 del vars, 260198 del conss, 5523 add conss, 7012 chg bounds, 3165 chg sides, 45633 chg coeffs, 618249 upgd conss, 0 impls, 91614 clqs
257.34/258.08 c (round 131, exhaustive) 12784 del vars, 260198 del conss, 5523 add conss, 7012 chg bounds, 3165 chg sides, 45633 chg coeffs, 618249 upgd conss, 0 impls, 91558 clqs
257.53/258.27 c (round 132, fast) 12784 del vars, 260674 del conss, 5607 add conss, 7012 chg bounds, 3165 chg sides, 45969 chg coeffs, 618249 upgd conss, 0 impls, 91558 clqs
261.91/262.68 c (round 133, exhaustive) 12812 del vars, 260674 del conss, 5607 add conss, 7012 chg bounds, 3165 chg sides, 45969 chg coeffs, 618249 upgd conss, 0 impls, 91502 clqs
262.11/262.87 c (round 134, fast) 12812 del vars, 261150 del conss, 5691 add conss, 7012 chg bounds, 3165 chg sides, 46305 chg coeffs, 618249 upgd conss, 0 impls, 91502 clqs
265.70/266.46 c (round 135, exhaustive) 12838 del vars, 261150 del conss, 5691 add conss, 7012 chg bounds, 3165 chg sides, 46305 chg coeffs, 618249 upgd conss, 0 impls, 91450 clqs
265.90/266.65 c (round 136, fast) 12838 del vars, 261832 del conss, 5823 add conss, 7012 chg bounds, 3165 chg sides, 46809 chg coeffs, 618249 upgd conss, 0 impls, 91456 clqs
269.79/270.54 c (round 137, exhaustive) 12866 del vars, 261832 del conss, 5823 add conss, 7012 chg bounds, 3165 chg sides, 46829 chg coeffs, 618249 upgd conss, 0 impls, 91400 clqs
269.99/270.73 c (round 138, fast) 12866 del vars, 262308 del conss, 5907 add conss, 7012 chg bounds, 3165 chg sides, 47165 chg coeffs, 618249 upgd conss, 0 impls, 91402 clqs
273.69/274.41 c (round 139, exhaustive) 12894 del vars, 262308 del conss, 5907 add conss, 7012 chg bounds, 3165 chg sides, 47183 chg coeffs, 618249 upgd conss, 0 impls, 91346 clqs
273.88/274.61 c (round 140, fast) 12894 del vars, 262784 del conss, 5991 add conss, 7012 chg bounds, 3165 chg sides, 47519 chg coeffs, 618249 upgd conss, 0 impls, 91346 clqs
277.47/278.29 c (round 141, exhaustive) 12922 del vars, 262784 del conss, 5991 add conss, 7012 chg bounds, 3165 chg sides, 47519 chg coeffs, 618249 upgd conss, 0 impls, 91290 clqs
277.67/278.48 c (round 142, fast) 12922 del vars, 263260 del conss, 6075 add conss, 7012 chg bounds, 3165 chg sides, 47855 chg coeffs, 618249 upgd conss, 0 impls, 91290 clqs
281.37/282.11 c (round 143, exhaustive) 12950 del vars, 263260 del conss, 6075 add conss, 7012 chg bounds, 3165 chg sides, 47855 chg coeffs, 618249 upgd conss, 0 impls, 91234 clqs
281.57/282.31 c (round 144, fast) 12950 del vars, 263736 del conss, 6159 add conss, 7012 chg bounds, 3165 chg sides, 48191 chg coeffs, 618249 upgd conss, 0 impls, 91234 clqs
285.16/285.98 c (round 145, exhaustive) 12978 del vars, 263736 del conss, 6159 add conss, 7012 chg bounds, 3165 chg sides, 48191 chg coeffs, 618249 upgd conss, 0 impls, 91178 clqs
285.36/286.18 c (round 146, fast) 12978 del vars, 264212 del conss, 6243 add conss, 7012 chg bounds, 3165 chg sides, 48527 chg coeffs, 618249 upgd conss, 0 impls, 91178 clqs
289.04/289.85 c (round 147, exhaustive) 13006 del vars, 264212 del conss, 6243 add conss, 7012 chg bounds, 3165 chg sides, 48527 chg coeffs, 618249 upgd conss, 0 impls, 91122 clqs
289.25/290.04 c (round 148, fast) 13006 del vars, 264688 del conss, 6327 add conss, 7012 chg bounds, 3165 chg sides, 48863 chg coeffs, 618249 upgd conss, 0 impls, 91122 clqs
292.93/293.73 c (round 149, exhaustive) 13034 del vars, 264688 del conss, 6327 add conss, 7012 chg bounds, 3165 chg sides, 48863 chg coeffs, 618249 upgd conss, 0 impls, 91066 clqs
293.13/293.93 c (round 150, fast) 13034 del vars, 265164 del conss, 6411 add conss, 7012 chg bounds, 3165 chg sides, 49199 chg coeffs, 618249 upgd conss, 0 impls, 91066 clqs
296.73/297.57 c (round 151, exhaustive) 13062 del vars, 265164 del conss, 6411 add conss, 7012 chg bounds, 3165 chg sides, 49199 chg coeffs, 618249 upgd conss, 0 impls, 91010 clqs
296.93/297.77 c (round 152, fast) 13062 del vars, 265640 del conss, 6495 add conss, 7012 chg bounds, 3165 chg sides, 49535 chg coeffs, 618249 upgd conss, 0 impls, 91010 clqs
303.60/304.49 c (304.5s) probing: 494/24875 (2.0%) - 2127 fixings, 0 aggregations, 0 implications, 0 bound changes
303.60/304.49 c (304.5s) probing aborted: 50/50 successive totally useless probings
303.60/304.49 c (round 153, exhaustive) 13086 del vars, 265640 del conss, 6495 add conss, 7012 chg bounds, 3165 chg sides, 49535 chg coeffs, 618249 upgd conss, 0 impls, 90962 clqs
303.80/304.69 c (round 154, fast) 13086 del vars, 266048 del conss, 6567 add conss, 7012 chg bounds, 3165 chg sides, 49823 chg coeffs, 618249 upgd conss, 0 impls, 90962 clqs
307.39/308.22 c (308.2s) probing: 499/24875 (2.0%) - 2127 fixings, 0 aggregations, 0 implications, 0 bound changes
307.39/308.22 c (308.2s) probing aborted: 50/50 successive totally useless probings
311.09/311.91 c (311.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
312.68/313.56 c (313.6s) no symmetry present (symcode time: 0.22)
313.78/314.69 c presolving (155 rounds: 155 fast, 78 medium, 77 exhaustive):
313.78/314.69 c 13086 deleted vars, 266048 deleted constraints, 6567 added constraints, 7012 tightened bounds, 0 added holes, 3165 changed sides, 49823 changed coefficients
313.78/314.69 c 0 implications, 90962 cliques
313.78/314.69 c presolved problem has 22748 variables (22748 bin, 0 int, 0 impl, 0 cont) and 576029 constraints
313.78/314.69 c 75187 constraints of type <knapsack>
313.78/314.69 c 90911 constraints of type <setppc>
313.78/314.69 c 1 constraints of type <linear>
313.78/314.69 c 409930 constraints of type <logicor>
313.78/314.69 c transformed objective value is always integral (scale: 1)
313.78/314.69 c Presolving Time: 311.48
313.78/314.69 c - non default parameters ----------------------------------------------------------------------
313.78/314.69 c # SCIP version 10.0.0
313.78/314.69 c
313.78/314.69 c # maximal time in seconds to run
313.78/314.69 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
313.78/314.69 c limits/time = 3596.997014
313.78/314.69 c
313.78/314.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
313.78/314.69 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
313.78/314.69 c limits/memory = 27900
313.78/314.69 c
313.78/314.69 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
313.78/314.69 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
313.78/314.69 c limits/solutions = 1
313.78/314.69 c
313.78/314.69 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.
313.78/314.69 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
313.78/314.69 c misc/usesymmetry = 3
313.78/314.69 c
313.78/314.69 c # belongs reading time to solving time?
313.78/314.69 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
313.78/314.69 c timing/reading = TRUE
313.78/314.69 c
313.78/314.69 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
313.78/314.69 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
313.78/314.69 c propagating/symmetry/detectdoublelex = FALSE
313.78/314.69 c
313.78/314.69 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
313.78/314.69 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
313.78/314.69 c propagating/symmetry/detectsubgroups = FALSE
313.78/314.69 c
313.78/314.69 c # Type of symmetries that shall be computed?
313.78/314.69 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
313.78/314.69 c propagating/symmetry/symtype = 1
313.78/314.69 c
313.78/314.69 c # Should components consisting of a single full reflection be handled?
313.78/314.69 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
313.78/314.69 c propagating/symmetry/usesimplesgncomp = FALSE
313.78/314.69 c
313.78/314.69 c -----------------------------------------------------------------------------------------------
313.78/314.69 c start solving
313.88/314.72 c
318.47/319.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
318.47/319.38 c 319s| 1 | 0 | 3004 | - | 3559M | 0 | 22k| 576k| 576k| 0 | 0 | 114 | 0 | 0.000000e+00 | -- | Inf | unknown
478.71/480.19 c 480s| 1 | 0 | 8742 | - | 3635M | 0 | 22k| 575k| 576k| 8 | 1 | 115 | 0 | 0.000000e+00 | -- | Inf | unknown
599.08/600.96 c 601s| 1 | 0 | 9466 | - | 3691M | 0 | 22k| 575k| 576k| 24 | 2 | 115 | 0 | 0.000000e+00 | -- | Inf | unknown
694.15/696.36 c 696s| 1 | 0 | 9620 | - | 3747M | 0 | 22k| 575k| 576k| 31 | 3 | 116 | 0 | 0.000000e+00 | -- | Inf | unknown
880.70/883.50 c 883s| 1 | 0 | 9792 | - | 3818M | 0 | 22k| 575k| 576k| 37 | 4 | 118 | 0 | 0.000000e+00 | -- | Inf | unknown
1044.60/1048.02 c 1048s| 1 | 0 | 9903 | - | 3890M | 0 | 22k| 575k| 576k| 48 | 5 | 118 | 0 | 0.000000e+00 | -- | Inf | unknown
1256.17/1260.47 c 1260s| 1 | 0 | 10836 | - | 3968M | 0 | 22k| 575k| 576k| 55 | 6 | 118 | 0 | 0.000000e+00 | -- | Inf | unknown
1335.93/1340.58 c 1341s| 1 | 0 | 11459 | - | 4024M | 0 | 22k| 575k| 576k| 65 | 7 | 119 | 0 | 0.000000e+00 | -- | Inf | unknown
1357.73/1362.47 c 1362s| 1 | 0 | 11701 | - | 4080M | 0 | 22k| 575k| 576k| 79 | 8 | 121 | 0 | 0.000000e+00 | -- | Inf | unknown
1374.06/1378.90 c 1379s| 1 | 0 | 12170 | - | 4137M | 0 | 22k| 575k| 576k| 88 | 9 | 122 | 0 | 0.000000e+00 | -- | Inf | unknown
1387.31/1392.12 c 1392s| 1 | 0 | 12916 | - | 4192M | 0 | 22k| 575k| 576k| 98 | 10 | 129 | 0 | 0.000000e+00 | -- | Inf | unknown
1391.69/1396.54 c 1397s| 1 | 0 | 13637 | - | 4247M | 0 | 22k| 575k| 576k| 112 | 11 | 139 | 0 | 0.000000e+00 | -- | Inf | unknown
1395.19/1400.06 c 1400s| 1 | 0 | 14213 | - | 4303M | 0 | 22k| 575k| 576k| 129 | 12 | 147 | 0 | 0.000000e+00 | -- | Inf | unknown
1397.08/1402.00 c 1402s| 1 | 0 | 14435 | - | 4358M | 0 | 22k| 575k| 576k| 142 | 13 | 148 | 0 | 0.000000e+00 | -- | Inf | unknown
1398.18/1403.07 c 1403s| 1 | 0 | 14502 | - | 4413M | 0 | 22k| 575k| 576k| 152 | 14 | 151 | 0 | 0.000000e+00 | -- | Inf | unknown
1452.50/1457.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1452.50/1457.56 c 1458s| 1 | 2 | 25843 | - | 4422M | 0 | 22k| 575k| 576k| 152 | 14 | 163 | 19 | 0.000000e+00 | -- | Inf | unknown
3586.43/3597.05 c
3586.43/3597.05 c SCIP Status : solving was interrupted [time limit reached]
3586.43/3597.05 c Solving Time (sec) : 3597.04
3586.43/3597.05 c Solving Nodes : 11
3586.43/3597.05 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.43/3597.05 c Dual Bound : +0.00000000000000e+00
3586.43/3597.05 c Gap : infinite
3586.43/3597.05 s UNKNOWN
3586.43/3597.05 c SCIP Status : solving was interrupted [time limit reached]
3586.43/3597.05 c Total Time : 3597.04
3586.43/3597.05 c solving : 3597.04
3586.43/3597.05 c presolving : 311.48 (included in solving)
3586.43/3597.05 c reading : 1.87 (included in solving)
3586.43/3597.05 c copying : 1.82 (2 #copies) (minimal 0.89, maximal 0.93, average 0.91)
3586.43/3597.05 c Original Problem :
3586.43/3597.05 c Problem name : HOME/instance-4446375-1721332366.opb
3586.43/3597.05 c Variables : 35834 (35834 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.43/3597.05 c Constraints : 835510 initial, 835510 maximal
3586.43/3597.05 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.43/3597.05 c Presolved Problem :
3586.43/3597.05 c Problem name : t_HOME/instance-4446375-1721332366.opb
3586.43/3597.05 c Variables : 22748 (22748 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.43/3597.05 c Constraints : 576029 initial, 576124 maximal
3586.43/3597.05 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.43/3597.05 c Nonzeros : 2360116 constraint, 188174 clique table
3586.43/3597.05 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.43/3597.05 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c domcol : 29.22 0.00 75 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c dualsparsify : 3.69 0.00 1 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c gateextraction : 24.22 0.00 76 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c implics : 0.04 0.00 78 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c milp : 4.63 0.00 2 0 902 0 0 0 0 0 0 0
3586.43/3597.05 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c sparsify : 6.08 0.00 8 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c trivial : 0.13 0.00 155 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c dualfix : 0.12 0.00 155 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c probing : 31.03 0.00 75 2127 0 0 0 0 0 0 0 0
3586.43/3597.05 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c symmetry : 1.65 0.00 1 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c vbounds : 0.05 0.00 1 427 2138 0 0 0 0 0 0 0
3586.43/3597.05 c knapsack : 4.67 0.01 302 0 0 0 0 0 6566 6567 65 200
3586.43/3597.05 c setppc : 11.12 0.01 302 0 0 0 0 0 4287 0 0 0
3586.43/3597.05 c linear : 2.78 0.34 232 7012 480 0 7012 0 217260 0 3100 3700
3586.43/3597.05 c logicor : 190.14 0.84 302 0 0 0 0 0 37935 0 0 45923
3586.43/3597.05 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c components : 0.25 0.00 1 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c root node : - - - 21 - - 21 - - - - -
3586.43/3597.05 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.43/3597.05 c benderslp : 0 0 0 0 11 0 0 10 0 0 0 0 0 0 0
3586.43/3597.05 c integral : 0 0 0 0 11 0 0 10 0 0 0 0 0 0 22
3586.43/3597.05 c knapsack : 75187 75187 14 20189 0 0 0 6 95 11 0 136 21 0 0
3586.43/3597.05 c setppc : 90911+ 90924 14 20178 0 0 0 3 853 67 3348 0 0 0 0
3586.43/3597.05 c linear : 1 1 14 20111 0 0 0 3 0 1 0 0 0 0 0
3586.43/3597.05 c logicor : 409930+ 410017 14 9509 0 0 0 0 449 17 9 23 5 0 0
3586.43/3597.05 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.43/3597.05 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c integral : 26.66 0.00 0.00 0.00 26.66 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c knapsack : 9.20 0.01 0.74 8.37 0.00 0.00 0.00 0.09 0.00 0.00
3586.43/3597.05 c setppc : 4.74 0.01 0.09 4.61 0.00 0.00 0.00 0.00 0.00 0.03
3586.43/3597.05 c linear : 0.34 0.34 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c logicor : 3.03 0.84 0.81 1.34 0.00 0.00 0.00 0.00 0.00 0.04
3586.43/3597.05 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.43/3597.05 c dualfix : 1 0 0 0
3586.43/3597.05 c genvbounds : 0 0 0 0
3586.43/3597.05 c nlobbt : 0 0 0 0
3586.43/3597.05 c obbt : 0 0 0 0
3586.43/3597.05 c probing : 0 0 0 0
3586.43/3597.05 c pseudoobj : 0 0 0 0
3586.43/3597.05 c redcost : 0 0 0 0
3586.43/3597.05 c rootredcost : 0 0 0 0
3586.43/3597.05 c symmetry : 0 0 0 0
3586.43/3597.05 c vbounds : 7015 0 0 0
3586.43/3597.05 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.43/3597.05 c dualfix : 0.12 0.00 0.12 0.00 0.00 0.00
3586.43/3597.05 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c probing : 31.04 0.00 31.03 0.00 0.00 0.00
3586.43/3597.05 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c symmetry : 1.65 0.00 1.65 0.00 0.00 0.00
3586.43/3597.05 c vbounds : 0.06 0.00 0.05 0.01 0.00 0.00
3586.43/3597.05 c Symmetry :
3586.43/3597.05 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.43/3597.05 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.43/3597.05 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.43/3597.05 c shadow tree time : 0.00 s
3586.43/3597.05 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.43/3597.05 c propagation : 0.00 85 85 - 284 71.8 8 8.1 - - -
3586.43/3597.05 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.43/3597.05 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.43/3597.05 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.43/3597.05 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.43/3597.05 c applied globally : 0.00 - - 0 223 20.4 - - 0 - -
3586.43/3597.05 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.43/3597.05 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.43/3597.05 c cut pool : 0.01 - 27 27 - - 1761 2837 - - - - - (maximal pool size: 1761)
3586.43/3597.05 c aggregation : 0.56 0.00 14 14 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.43/3597.05 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.43/3597.05 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.43/3597.05 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c clique : 2.15 0.00 14 14 0 0 87 191 0 50 50 0 0
3586.43/3597.05 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c gomory : 1047.09 0.00 10 10 0 0 1617 2573 0 27 27 0 0
3586.43/3597.05 c > gomorymi : - - - - - - - 1292 0 9 9 0 -
3586.43/3597.05 c > strongcg : - - - - - - - 1281 0 18 18 0 -
3586.43/3597.05 c impliedbounds : 0.08 0.00 14 14 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c mcf : 0.38 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c multilinear : 0.00 0.00 16 14 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c zerohalf : 0.74 0.00 14 14 0 0 57 73 0 49 49 0 0
3586.43/3597.05 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.43/3597.05 c hybrid : 0.01 0.00 14 14 152 0 2844 152 0 2844
3586.43/3597.05 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c Pricers : ExecTime SetupTime Calls Vars
3586.43/3597.05 c problem variables: 0.00 - 0 0
3586.43/3597.05 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.43/3597.05 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c relpscost : 26.66 0.00 11 0 0 0 0 0 0 22
3586.43/3597.05 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.43/3597.05 c LP solutions : 0.00 - - 0 0
3586.43/3597.05 c relax solutions : 0.00 - - 0 0
3586.43/3597.05 c pseudo solutions : 0.00 - - 0 0
3586.43/3597.05 c strong branching : 0.00 - - 0 0
3586.43/3597.05 c actconsdiving : 0.00 0.00 0 0 0
3586.43/3597.05 c adaptivediving : 44.92 0.00 2 0 0
3586.43/3597.05 c alns : 2.34 0.00 1 0 0
3586.43/3597.05 c bound : 0.00 0.00 0 0 0
3586.43/3597.05 c clique : 1.25 0.00 1 0 0
3586.43/3597.05 c coefdiving : 0.00 0.00 0 0 0
3586.43/3597.05 c completesol : 0.00 0.00 0 0 0
3586.43/3597.05 c conflictdiving : 22.06 0.00 1 0 0
3586.43/3597.05 c crossover : 0.00 0.00 0 0 0
3586.43/3597.05 c dins : 0.00 0.00 0 0 0
3586.43/3597.05 c distributiondivin: 127.91 0.00 2 0 0
3586.43/3597.05 c dps : 0.00 0.00 0 0 0
3586.43/3597.05 c dualval : 0.00 0.00 0 0 0
3586.43/3597.05 c farkasdiving : 0.00 0.00 0 0 0
3586.43/3597.05 c feasjump : 0.62 0.00 1 0 0
3586.43/3597.05 c feaspump : 6.10 0.00 1 0 0
3586.43/3597.05 c fixandinfer : 0.00 0.00 0 0 0
3586.43/3597.05 c fracdiving : 1.00 0.00 3 0 0
3586.43/3597.05 c gins : 0.00 0.00 0 0 0
3586.43/3597.05 c guideddiving : 0.00 0.00 0 0 0
3586.43/3597.05 c indcoefdiving : 0.00 0.00 0 0 0
3586.43/3597.05 c indicator : 0.00 0.00 0 0 0
3586.43/3597.05 c indicatordiving : 0.00 0.00 0 0 0
3586.43/3597.05 c indoneopt : 0.00 0.00 0 0 0
3586.43/3597.05 c indrounding : 0.00 0.00 0 0 0
3586.43/3597.05 c indtwoopt : 0.00 0.00 0 0 0
3586.43/3597.05 c intdiving : 0.00 0.00 0 0 0
3586.43/3597.05 c intshifting : 0.00 0.00 0 0 0
3586.43/3597.05 c linesearchdiving : 0.00 0.00 0 0 0
3586.43/3597.05 c localbranching : 0.00 0.00 0 0 0
3586.43/3597.05 c locks : 0.45 0.00 1 0 0
3586.43/3597.05 c lpface : 0.00 0.00 0 0 0
3586.43/3597.05 c mpec : 0.00 0.00 0 0 0
3586.43/3597.05 c multistart : 0.00 0.00 0 0 0
3586.43/3597.05 c mutation : 0.00 0.00 0 0 0
3586.43/3597.05 c nlpdiving : 0.00 0.00 0 0 0
3586.43/3597.05 c objpscostdiving : 1887.82 0.00 1 0 0
3586.43/3597.05 c octane : 0.00 0.00 0 0 0
3586.43/3597.05 c ofins : 0.00 0.00 0 0 0
3586.43/3597.05 c oneopt : 0.00 0.00 0 0 0
3586.43/3597.05 c padm : 0.00 0.00 0 0 0
3586.43/3597.05 c proximity : 0.00 0.00 0 0 0
3586.43/3597.05 c pscostdiving : 47.63 0.00 1 0 0
3586.43/3597.05 c randrounding : 0.94 0.00 15 0 0
3586.43/3597.05 c rens : 2.43 0.00 1 0 0
3586.43/3597.05 c reoptsols : 0.00 0.00 0 0 0
3586.43/3597.05 c repair : 0.00 0.00 0 0 0
3586.43/3597.05 c rins : 0.00 0.00 0 0 0
3586.43/3597.05 c rootsoldiving : 0.00 0.00 0 0 0
3586.43/3597.05 c rounding : 0.62 0.00 25 0 0
3586.43/3597.05 c scheduler : 0.00 0.00 0 0 0
3586.43/3597.05 c shiftandpropagate: 0.35 0.00 1 0 0
3586.43/3597.05 c shifting : 4.79 0.00 15 0 0
3586.43/3597.05 c simplerounding : 0.00 0.00 0 0 0
3586.43/3597.05 c smallcard : 0.00 0.00 0 0 0
3586.43/3597.05 c subnlp : 0.00 0.00 0 0 0
3586.43/3597.05 c trivial : 0.05 0.00 2 0 0
3586.43/3597.05 c trivialnegation : 0.00 0.00 0 0 0
3586.43/3597.05 c trustregion : 0.00 0.00 0 0 0
3586.43/3597.05 c trysol : 0.00 0.00 0 0 0
3586.43/3597.05 c twoopt : 0.00 0.00 0 0 0
3586.43/3597.05 c undercover : 0.00 0.00 0 0 0
3586.43/3597.05 c vbounds : 1.25 0.00 1 0 0
3586.43/3597.05 c veclendiving : 0.15 0.00 1 0 0
3586.43/3597.05 c zeroobj : 0.00 0.00 0 0 0
3586.43/3597.05 c zirounding : 0.17 0.00 10 0 0
3586.43/3597.05 c other solutions : - - - 0 -
3586.43/3597.05 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.43/3597.05 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.43/3597.05 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.43/3597.05 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.43/3597.05 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.43/3597.05 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.43/3597.05 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.43/3597.05 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.43/3597.05 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.43/3597.05 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.43/3597.05 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.43/3597.05 c primal LP : 0.13 2 0 0.00 0.00 0.13 2
3586.43/3597.05 c dual LP : 48.78 25 28934 1157.36 593.19 0.00 0
3586.43/3597.05 c lex dual LP : 0.00 0 0 0.00 -
3586.43/3597.05 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.43/3597.05 c resolve instable : 0.00 0 0 0.00 -
3586.43/3597.05 c diving/probing LP: 2118.49 578 131160 226.92 61.91
3586.43/3597.05 c strong branching : 23.33 19 11706 616.11 501.78 - - 18
3586.43/3597.05 c (at root node) : - 19 11706 616.11 -
3586.43/3597.05 c conflict analysis: 0.00 0 0 0.00 -
3586.43/3597.05 c B&B Tree :
3586.43/3597.05 c number of runs : 1
3586.43/3597.05 c nodes : 11 (11 internal, 0 leaves)
3586.43/3597.05 c feasible leaves : 0
3586.43/3597.05 c infeas. leaves : 0
3586.43/3597.05 c objective leaves : 0
3586.43/3597.05 c nodes (total) : 11 (11 internal, 0 leaves)
3586.43/3597.05 c nodes left : 12
3586.43/3597.05 c max depth : 6
3586.43/3597.05 c max depth (total): 6
3586.43/3597.05 c backtracks : 5 (45.5%)
3586.43/3597.05 c early backtracks : 0 (0.0%)
3586.43/3597.05 c nodes exc. ref. : 0 (0.0%)
3586.43/3597.05 c delayed cutoffs : 0
3586.43/3597.05 c repropagations : 1 (0 domain reductions, 0 cutoffs)
3586.43/3597.05 c avg switch length: 2.09
3586.43/3597.05 c switching time : 0.14
3586.43/3597.05 c Root Node :
3586.43/3597.05 c First LP value : +0.00000000000000e+00
3586.43/3597.05 c First LP Iters : 3004 (4406.12 Iter/sec)
3586.43/3597.05 c First LP Time : 0.68
3586.43/3597.05 c Final Dual Bound : +0.00000000000000e+00
3586.43/3597.05 c Final Root Iters : 14502
3586.43/3597.05 c Root LP Estimate : +2.88776739993828e-03
3586.43/3597.05 c Solution :
3586.43/3597.05 c Solutions found : 0 (0 improvements)
3586.43/3597.05 c Primal Bound : -
3586.43/3597.05 c Dual Bound : +0.00000000000000e+00
3586.43/3597.05 c Gap : infinite
3586.43/3597.05 c Integrals : Total Avg%
3586.43/3597.05 c primal-dual : 359704.02 100.00
3586.43/3597.05 c primal-ref : - - (not evaluated)
3586.43/3597.05 c dual-ref : - - (not evaluated)
3587.92/3598.53 c Time complete: 3587.96.