0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4544462-1753217659.opb>
1.38/1.40 c original problem has 5508 variables (5508 bin, 0 int, 0 impl, 0 cont) and 408375 constraints
1.38/1.40 c problem read in 1.39
1.38/1.41 c No objective function, only one solution is needed.
1.88/1.99 c presolving:
2.87/2.93 c (2.9s) running MILP presolver
4.36/4.41 c (4.4s) MILP presolver found nothing
5.17/5.20 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 5202 chg coeffs, 408375 upgd conss, 0 impls, 312120 clqs
5.56/5.60 c (round 2, medium) 0 del vars, 5202 del conss, 10404 add conss, 0 chg bounds, 0 chg sides, 5202 chg coeffs, 408375 upgd conss, 0 impls, 322524 clqs
6.16/6.20 c (round 3, exhaustive) 0 del vars, 20031 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5202 chg coeffs, 408375 upgd conss, 0 impls, 322524 clqs
6.66/6.73 c (round 4, exhaustive) 17 del vars, 20048 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5202 chg coeffs, 408375 upgd conss, 0 impls, 322490 clqs
7.26/7.39 c (round 5, exhaustive) 17 del vars, 22632 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 322490 clqs
41.10/41.37 c (round 6, exhaustive) 42 del vars, 22632 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 381343 clqs
60.22/60.58 c (round 7, exhaustive) 67 del vars, 22700 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 407932 clqs
74.05/74.46 c (round 8, exhaustive) 92 del vars, 22806 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 423808 clqs
77.33/77.72 c (77.7s) probing: 1000/5491 (18.2%) - 0 fixings, 80 aggregations, 124474 implications, 0 bound changes
85.30/85.76 c (round 9, exhaustive) 117 del vars, 22949 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 434505 clqs
94.17/94.66 c (round 10, exhaustive) 142 del vars, 23160 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 441089 clqs
102.92/103.41 c (round 11, exhaustive) 167 del vars, 23390 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 447192 clqs
109.00/109.54 c (round 12, exhaustive) 192 del vars, 23675 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 448940 clqs
115.77/116.36 c (round 13, exhaustive) 217 del vars, 23954 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 451503 clqs
122.45/123.03 c (round 14, exhaustive) 242 del vars, 24265 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 453714 clqs
122.55/123.16 c (round 15, fast) 242 del vars, 24588 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 453714 clqs
128.21/128.86 c (round 16, exhaustive) 267 del vars, 24591 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 454498 clqs
128.31/128.99 c (round 17, fast) 267 del vars, 24987 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 454498 clqs
134.99/135.69 c (round 18, exhaustive) 292 del vars, 24989 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 456527 clqs
135.19/135.82 c (round 19, fast) 292 del vars, 25407 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 456527 clqs
140.66/141.34 c (round 20, exhaustive) 317 del vars, 25410 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 456861 clqs
140.76/141.47 c (round 21, fast) 317 del vars, 25852 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 456861 clqs
147.34/148.04 c (round 22, exhaustive) 342 del vars, 25856 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 458490 clqs
147.44/148.17 c (round 23, fast) 342 del vars, 26367 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 458490 clqs
153.71/154.47 c (round 24, exhaustive) 367 del vars, 26370 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 459647 clqs
153.91/154.60 c (round 25, fast) 367 del vars, 26922 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 459647 clqs
155.80/156.54 c (156.5s) probing: 2000/5491 (36.4%) - 0 fixings, 358 aggregations, 225951 implications, 0 bound changes
159.18/160.01 c (round 26, exhaustive) 392 del vars, 26931 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 459354 clqs
159.39/160.14 c (round 27, fast) 392 del vars, 27484 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 459354 clqs
163.97/164.75 c (round 28, exhaustive) 417 del vars, 27489 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 458146 clqs
164.07/164.88 c (round 29, fast) 417 del vars, 28085 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 458146 clqs
168.54/169.36 c (round 30, exhaustive) 442 del vars, 28093 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 456677 clqs
168.64/169.49 c (round 31, fast) 442 del vars, 28755 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 456677 clqs
173.93/174.76 c (round 32, exhaustive) 467 del vars, 28760 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 456052 clqs
174.03/174.89 c (round 33, fast) 467 del vars, 29444 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 456052 clqs
178.91/179.75 c (round 34, exhaustive) 492 del vars, 29454 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 454922 clqs
179.01/179.88 c (round 35, fast) 492 del vars, 30179 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 454922 clqs
183.68/184.55 c (round 36, exhaustive) 517 del vars, 30193 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 453496 clqs
183.78/184.68 c (round 37, fast) 517 del vars, 30917 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 453496 clqs
188.47/189.34 c (round 38, exhaustive) 542 del vars, 30930 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 452003 clqs
188.57/189.47 c (round 39, fast) 542 del vars, 31756 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 452003 clqs
193.26/194.14 c (round 40, exhaustive) 567 del vars, 31762 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 450518 clqs
193.34/194.27 c (round 41, fast) 567 del vars, 32616 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 450518 clqs
196.83/197.79 c (round 42, exhaustive) 592 del vars, 32624 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 447639 clqs
197.03/197.92 c (round 43, fast) 592 del vars, 33467 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 447639 clqs
200.81/201.78 c (round 44, exhaustive) 617 del vars, 33481 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 445101 clqs
201.01/201.91 c (round 45, fast) 617 del vars, 34335 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 445101 clqs
204.99/205.92 c (round 46, exhaustive) 642 del vars, 34345 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 442711 clqs
205.11/206.05 c (round 47, fast) 642 del vars, 35257 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 442711 clqs
209.10/210.02 c (round 48, exhaustive) 667 del vars, 35266 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 440190 clqs
209.20/210.15 c (round 49, fast) 667 del vars, 36214 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 440190 clqs
213.76/214.73 c (round 50, exhaustive) 692 del vars, 36224 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 438406 clqs
213.86/214.87 c (round 51, fast) 692 del vars, 37210 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 438406 clqs
218.44/219.44 c (round 52, exhaustive) 717 del vars, 37220 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 436442 clqs
218.54/219.58 c (round 53, fast) 717 del vars, 38237 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 436442 clqs
223.62/224.69 c (round 54, exhaustive) 742 del vars, 38254 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 435105 clqs
223.82/224.83 c (round 55, fast) 742 del vars, 39322 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 435105 clqs
227.71/228.76 c (round 56, exhaustive) 767 del vars, 39334 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 432473 clqs
227.81/228.89 c (round 57, fast) 767 del vars, 40444 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 432473 clqs
232.59/233.61 c (round 58, exhaustive) 792 del vars, 40453 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 430626 clqs
232.69/233.75 c (round 59, fast) 792 del vars, 41605 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 430626 clqs
236.27/237.35 c (round 60, exhaustive) 817 del vars, 41620 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 427633 clqs
236.37/237.48 c (round 61, fast) 817 del vars, 42835 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 427633 clqs
240.86/241.91 c (round 62, exhaustive) 842 del vars, 42849 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 425431 clqs
240.97/242.04 c (round 63, fast) 842 del vars, 44074 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 425431 clqs
244.96/246.08 c (round 64, exhaustive) 867 del vars, 44085 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 422813 clqs
245.14/246.22 c (round 65, fast) 867 del vars, 45329 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 422813 clqs
246.95/248.03 c (248.0s) probing: 3000/5491 (54.6%) - 0 fixings, 858 aggregations, 304037 implications, 0 bound changes
248.63/249.79 c (round 66, exhaustive) 892 del vars, 45341 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 419732 clqs
248.83/249.93 c (round 67, fast) 892 del vars, 46636 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 419732 clqs
252.81/253.95 c (round 68, exhaustive) 917 del vars, 46649 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 417024 clqs
252.92/254.09 c (round 69, fast) 917 del vars, 48000 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 417024 clqs
256.80/257.97 c (round 70, exhaustive) 942 del vars, 48013 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 414187 clqs
257.01/258.11 c (round 71, fast) 942 del vars, 49373 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 414187 clqs
261.08/262.28 c (round 72, exhaustive) 967 del vars, 49390 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 411634 clqs
261.28/262.42 c (round 73, fast) 967 del vars, 50809 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 411634 clqs
265.16/266.31 c (round 74, exhaustive) 992 del vars, 50819 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 408790 clqs
265.26/266.45 c (round 75, fast) 992 del vars, 52238 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 408790 clqs
268.46/269.63 c (round 76, exhaustive) 1017 del vars, 52254 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 405301 clqs
268.56/269.77 c (round 77, fast) 1017 del vars, 53721 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 405301 clqs
272.44/273.67 c (round 78, exhaustive) 1042 del vars, 53738 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 402450 clqs
272.64/273.81 c (round 79, fast) 1042 del vars, 55281 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 402450 clqs
276.93/278.11 c (round 80, exhaustive) 1067 del vars, 55300 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 399893 clqs
277.02/278.26 c (round 81, fast) 1067 del vars, 56824 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 399893 clqs
280.40/281.63 c (round 82, exhaustive) 1092 del vars, 56843 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 396500 clqs
280.50/281.77 c (round 83, fast) 1092 del vars, 58402 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 396500 clqs
283.99/285.23 c (round 84, exhaustive) 1117 del vars, 58417 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 393220 clqs
284.09/285.37 c (round 85, fast) 1117 del vars, 60043 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 393220 clqs
288.68/289.95 c (round 86, exhaustive) 1142 del vars, 60056 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 390796 clqs
288.79/290.09 c (round 87, fast) 1142 del vars, 61730 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 390796 clqs
292.56/293.86 c (round 88, exhaustive) 1167 del vars, 61752 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 387726 clqs
292.66/294.01 c (round 89, fast) 1167 del vars, 63437 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 387726 clqs
296.24/297.56 c (round 90, exhaustive) 1192 del vars, 63453 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 384501 clqs
296.44/297.70 c (round 91, fast) 1192 del vars, 65210 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 384501 clqs
300.14/301.44 c (round 92, exhaustive) 1217 del vars, 65231 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 381393 clqs
300.24/301.58 c (round 93, fast) 1217 del vars, 66973 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 381393 clqs
304.22/305.58 c (round 94, exhaustive) 1242 del vars, 66996 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 378402 clqs
304.42/305.73 c (round 95, fast) 1242 del vars, 68795 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 378402 clqs
308.30/309.65 c (round 96, exhaustive) 1267 del vars, 68812 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 375416 clqs
308.40/309.79 c (round 97, fast) 1267 del vars, 70716 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 375416 clqs
312.29/313.60 c (round 98, exhaustive) 1292 del vars, 70742 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 372283 clqs
312.39/313.75 c (round 99, fast) 1292 del vars, 72581 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 372283 clqs
316.37/317.72 c (round 100, exhaustive) 1317 del vars, 72605 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 369184 clqs
316.47/317.87 c (round 101, fast) 1317 del vars, 74481 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 369184 clqs
319.67/321.06 c (round 102, exhaustive) 1342 del vars, 74507 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 365632 clqs
319.86/321.21 c (round 103, fast) 1342 del vars, 76409 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 365632 clqs
323.25/324.61 c (round 104, exhaustive) 1367 del vars, 76434 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 362264 clqs
323.35/324.75 c (round 105, fast) 1367 del vars, 78414 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 362264 clqs
327.04/328.40 c (round 106, exhaustive) 1392 del vars, 78434 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 359028 clqs
327.14/328.54 c (round 107, fast) 1392 del vars, 80492 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 359028 clqs
330.32/331.73 c (round 108, exhaustive) 1417 del vars, 80519 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 355504 clqs
330.42/331.87 c (round 109, fast) 1417 del vars, 82586 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 355504 clqs
334.31/335.71 c (round 110, exhaustive) 1442 del vars, 82611 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 352418 clqs
334.41/335.85 c (round 111, fast) 1442 del vars, 84670 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 352418 clqs
338.00/339.46 c (round 112, exhaustive) 1467 del vars, 84695 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 349134 clqs
338.20/339.60 c (round 113, fast) 1467 del vars, 86825 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 349134 clqs
341.48/342.97 c (round 114, exhaustive) 1492 del vars, 86847 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 345767 clqs
341.69/343.11 c (round 115, fast) 1492 del vars, 89046 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 345767 clqs
345.47/346.99 c (round 116, exhaustive) 1517 del vars, 89068 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 342642 clqs
345.68/347.14 c (round 117, fast) 1517 del vars, 91259 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 342642 clqs
349.67/351.17 c (round 118, exhaustive) 1542 del vars, 91284 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 339614 clqs
349.85/351.32 c (round 119, fast) 1542 del vars, 93508 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 339614 clqs
353.14/354.66 c (round 120, exhaustive) 1567 del vars, 93542 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 336211 clqs
353.34/354.80 c (round 121, fast) 1567 del vars, 95819 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 336211 clqs
354.44/355.93 c (355.9s) probing: 4000/5491 (72.8%) - 0 fixings, 1551 aggregations, 358742 implications, 0 bound changes
357.33/358.89 c (round 122, exhaustive) 1592 del vars, 95851 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 333184 clqs
357.54/359.03 c (round 123, fast) 1592 del vars, 98146 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 333184 clqs
360.72/362.21 c (round 124, exhaustive) 1617 del vars, 98174 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 329700 clqs
360.82/362.36 c (round 125, fast) 1617 del vars, 100519 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 329700 clqs
364.10/365.60 c (round 126, exhaustive) 1642 del vars, 100542 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 326280 clqs
364.20/365.75 c (round 127, fast) 1642 del vars, 102924 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 326280 clqs
367.69/369.21 c (round 128, exhaustive) 1667 del vars, 102948 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 322969 clqs
367.79/369.36 c (round 129, fast) 1667 del vars, 105341 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 322969 clqs
371.28/372.82 c (round 130, exhaustive) 1692 del vars, 105365 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 319724 clqs
371.38/372.97 c (round 131, fast) 1692 del vars, 107825 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 319724 clqs
374.67/376.26 c (round 132, exhaustive) 1717 del vars, 107853 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 316339 clqs
374.87/376.40 c (round 133, fast) 1717 del vars, 110339 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 316339 clqs
377.95/379.56 c (round 134, exhaustive) 1742 del vars, 110371 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 312915 clqs
378.15/379.71 c (round 135, fast) 1742 del vars, 112896 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 312915 clqs
381.75/383.35 c (round 136, exhaustive) 1767 del vars, 112926 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 309745 clqs
381.85/383.50 c (round 137, fast) 1767 del vars, 115526 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 309745 clqs
385.83/387.49 c (round 138, exhaustive) 1792 del vars, 115555 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 306725 clqs
386.03/387.63 c (round 139, fast) 1792 del vars, 118146 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 306725 clqs
389.53/391.15 c (round 140, exhaustive) 1817 del vars, 118182 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 303436 clqs
389.62/391.29 c (round 141, fast) 1817 del vars, 120807 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 303436 clqs
393.20/394.88 c (round 142, exhaustive) 1842 del vars, 120836 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 300229 clqs
393.42/395.03 c (round 143, fast) 1842 del vars, 123524 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 300229 clqs
397.00/398.60 c (round 144, exhaustive) 1867 del vars, 123555 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 296983 clqs
397.10/398.75 c (round 145, fast) 1867 del vars, 126254 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 296983 clqs
400.29/401.99 c (round 146, exhaustive) 1892 del vars, 126290 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 293637 clqs
400.50/402.13 c (round 147, fast) 1892 del vars, 129034 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 293637 clqs
403.77/405.40 c (round 148, exhaustive) 1917 del vars, 129069 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 290324 clqs
403.87/405.55 c (round 149, fast) 1917 del vars, 131858 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 290324 clqs
406.96/408.65 c (round 150, exhaustive) 1942 del vars, 131891 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 286964 clqs
407.06/408.79 c (round 151, fast) 1942 del vars, 134696 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 286964 clqs
410.47/412.14 c (round 152, exhaustive) 1967 del vars, 134734 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 283739 clqs
410.55/412.29 c (round 153, fast) 1967 del vars, 137572 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 283739 clqs
413.74/415.48 c (round 154, exhaustive) 1992 del vars, 137607 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 280393 clqs
413.94/415.63 c (round 155, fast) 1992 del vars, 140476 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 280393 clqs
417.23/418.92 c (round 156, exhaustive) 2017 del vars, 140509 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 277123 clqs
417.34/419.07 c (round 157, fast) 2017 del vars, 143439 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 277123 clqs
420.43/422.19 c (round 158, exhaustive) 2042 del vars, 143471 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 273798 clqs
420.61/422.33 c (round 159, fast) 2042 del vars, 146464 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 273798 clqs
424.01/425.73 c (round 160, exhaustive) 2067 del vars, 146504 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 270626 clqs
424.11/425.88 c (round 161, fast) 2067 del vars, 149525 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 270626 clqs
427.41/429.14 c (round 162, exhaustive) 2092 del vars, 149562 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 267431 clqs
427.50/429.29 c (round 163, fast) 2092 del vars, 152622 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 267431 clqs
430.40/432.15 c (round 164, exhaustive) 2117 del vars, 152658 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 264083 clqs
430.48/432.29 c (round 165, fast) 2117 del vars, 155738 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 264083 clqs
433.47/435.21 c (round 166, exhaustive) 2142 del vars, 155772 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 260795 clqs
433.57/435.35 c (round 167, fast) 2142 del vars, 158854 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 260795 clqs
436.67/438.42 c (round 168, exhaustive) 2167 del vars, 158894 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 257562 clqs
436.77/438.55 c (round 169, fast) 2167 del vars, 162018 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 257562 clqs
439.76/441.54 c (round 170, exhaustive) 2192 del vars, 162056 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 254307 clqs
439.86/441.68 c (round 171, fast) 2192 del vars, 165241 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 254307 clqs
442.75/444.50 c (round 172, exhaustive) 2217 del vars, 165281 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 251014 clqs
442.85/444.64 c (round 173, fast) 2217 del vars, 168472 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 251014 clqs
445.83/447.60 c (round 174, exhaustive) 2242 del vars, 168507 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 247793 clqs
445.93/447.74 c (round 175, fast) 2242 del vars, 171744 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 247793 clqs
448.73/450.57 c (round 176, exhaustive) 2267 del vars, 171781 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 244528 clqs
448.93/450.71 c (round 177, fast) 2267 del vars, 175031 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 244528 clqs
451.82/453.60 c (round 178, exhaustive) 2292 del vars, 175073 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 241330 clqs
451.92/453.73 c (round 179, fast) 2292 del vars, 178378 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 241330 clqs
454.70/456.51 c (round 180, exhaustive) 2317 del vars, 178418 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 238106 clqs
454.80/456.64 c (round 181, fast) 2317 del vars, 181756 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 238106 clqs
457.70/459.54 c (round 182, exhaustive) 2342 del vars, 181792 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 234942 clqs
457.80/459.67 c (round 183, fast) 2342 del vars, 185191 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 234942 clqs
460.89/462.78 c (round 184, exhaustive) 2367 del vars, 185236 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 231860 clqs
461.09/462.91 c (round 185, fast) 2367 del vars, 188663 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 231860 clqs
463.77/465.65 c (round 186, exhaustive) 2392 del vars, 188706 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 228689 clqs
463.87/465.77 c (round 187, fast) 2392 del vars, 192156 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 228689 clqs
466.57/468.49 c (round 188, exhaustive) 2417 del vars, 192195 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 225536 clqs
466.76/468.62 c (round 189, fast) 2417 del vars, 195693 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 225536 clqs
468.86/470.76 c (470.7s) probing: 5000/5491 (91.1%) - 0 fixings, 2418 aggregations, 390289 implications, 0 bound changes
469.46/471.34 c (round 190, exhaustive) 2442 del vars, 195733 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 222403 clqs
469.56/471.46 c (round 191, fast) 2442 del vars, 199268 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 222403 clqs
472.05/473.99 c (round 192, exhaustive) 2467 del vars, 199311 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 219241 clqs
472.26/474.11 c (round 193, fast) 2467 del vars, 202889 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 219241 clqs
474.74/476.68 c (round 194, exhaustive) 2492 del vars, 202934 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 216128 clqs
474.94/476.80 c (round 195, fast) 2492 del vars, 206530 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 216128 clqs
477.34/479.26 c (round 196, exhaustive) 2517 del vars, 206573 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 213000 clqs
477.44/479.38 c (round 197, fast) 2517 del vars, 210216 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 213000 clqs
480.03/481.91 c (round 198, exhaustive) 2542 del vars, 210261 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 209905 clqs
480.14/482.02 c (round 199, fast) 2542 del vars, 213940 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 209905 clqs
482.52/484.44 c (round 200, exhaustive) 2567 del vars, 213978 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 206800 clqs
482.62/484.55 c (round 201, fast) 2567 del vars, 217696 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 206800 clqs
485.01/486.92 c (round 202, exhaustive) 2592 del vars, 217743 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 203715 clqs
485.12/487.03 c (round 203, fast) 2592 del vars, 221491 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 203715 clqs
507.24/509.25 c (509.2s) probing cycle finished: starting next cycle
510.23/512.24 c (512.2s) probing: 48/2907 (1.7%) - 0 fixings, 2584 aggregations, 396185 implications, 0 bound changes
510.23/512.24 c (512.2s) probing aborted: 50/50 successive totally useless probings
510.23/512.24 c (round 204, exhaustive) 2601 del vars, 221535 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 205479 clqs
510.33/512.35 c (round 205, fast) 2601 del vars, 222898 del conss, 15347 add conss, 0 chg bounds, 0 chg sides, 5219 chg coeffs, 408375 upgd conss, 0 impls, 205479 clqs
511.33/513.37 c (513.3s) probing: 53/2907 (1.8%) - 0 fixings, 2584 aggregations, 396185 implications, 0 bound changes
511.33/513.37 c (513.3s) probing aborted: 50/50 successive totally useless probings
511.33/513.37 c (513.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
512.22/514.22 c (514.2s) symmetry computation finished: 15 generators found (max: 1500, log10 of symmetry group size: 10.0) (symcode time: 0.54)
512.22/514.24 c dynamic symmetry handling statistics:
512.22/514.24 c orbitopal reduction: 1 components: 171x16
512.22/514.24 c orbital reduction: no components
512.22/514.24 c lexicographic reduction: no permutations
512.22/514.24 c handled 1 out of 1 symmetry components
512.33/514.37 c presolving (206 rounds: 206 fast, 110 medium, 109 exhaustive):
512.33/514.37 c 2601 deleted vars, 222931 deleted constraints, 15365 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 5219 changed coefficients
512.33/514.37 c 0 implications, 205479 cliques
512.33/514.37 c presolved problem has 2907 variables (2907 bin, 0 int, 0 impl, 0 cont) and 200809 constraints
512.33/514.37 c 156338 constraints of type <setppc>
512.33/514.37 c 2572 constraints of type <and>
512.33/514.37 c 41899 constraints of type <logicor>
512.33/514.37 c transformed objective value is always integral (scale: 1)
512.33/514.37 c Presolving Time: 512.38
512.33/514.37 c - non default parameters ----------------------------------------------------------------------
512.33/514.37 c # SCIP version 10.0.0
512.33/514.37 c
512.33/514.37 c # maximal time in seconds to run
512.33/514.37 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
512.33/514.37 c limits/time = 3596.994091
512.33/514.37 c
512.33/514.37 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
512.33/514.37 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
512.33/514.37 c limits/memory = 27900
512.33/514.37 c
512.33/514.37 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
512.33/514.37 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
512.33/514.37 c limits/solutions = 1
512.33/514.37 c
512.33/514.37 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.
512.33/514.37 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
512.33/514.37 c misc/usesymmetry = 3
512.33/514.37 c
512.33/514.37 c # belongs reading time to solving time?
512.33/514.37 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
512.33/514.37 c timing/reading = TRUE
512.33/514.37 c
512.33/514.37 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
512.33/514.37 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
512.33/514.37 c propagating/symmetry/detectdoublelex = FALSE
512.33/514.37 c
512.33/514.37 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
512.33/514.37 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
512.33/514.37 c propagating/symmetry/detectsubgroups = FALSE
512.33/514.37 c
512.33/514.37 c # Type of symmetries that shall be computed?
512.33/514.37 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
512.33/514.37 c propagating/symmetry/symtype = 1
512.33/514.37 c
512.33/514.37 c # Should components consisting of a single full reflection be handled?
512.33/514.37 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
512.33/514.37 c propagating/symmetry/usesimplesgncomp = FALSE
512.33/514.37 c
512.33/514.37 c -----------------------------------------------------------------------------------------------
512.33/514.37 c start solving
512.33/514.38 c
514.92/516.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
514.92/516.91 c 517s| 1 | 0 | 3705 | - | 1654M | 0 |2907 | 200k| 203k| 0 | 0 | 102 | 0 | 0.000000e+00 | -- | Inf | unknown
549.83/551.92 c 552s| 1 | 0 | 27231 | - | 1721M | 0 |2907 | 200k| 203k| 31 | 1 | 112 | 0 | 0.000000e+00 | -- | Inf | unknown
568.70/570.81 c 571s| 1 | 0 | 28148 | - | 1753M | 0 |2907 | 200k| 203k| 82 | 2 | 113 | 0 | 0.000000e+00 | -- | Inf | unknown
585.47/587.68 c 588s| 1 | 0 | 29448 | - | 1775M | 0 |2907 | 200k| 203k| 166 | 3 | 114 | 0 | 0.000000e+00 | -- | Inf | unknown
601.43/603.61 c 604s| 1 | 0 | 30561 | - | 1798M | 0 |2907 | 200k| 203k| 273 | 4 | 114 | 0 | 0.000000e+00 | -- | Inf | unknown
613.50/615.70 c 616s| 1 | 0 | 31844 | - | 1820M | 0 |2907 | 200k| 203k| 365 | 5 | 115 | 0 | 0.000000e+00 | -- | Inf | unknown
625.89/628.12 c 628s| 1 | 0 | 33765 | - | 1841M | 0 |2907 | 200k| 203k| 494 | 6 | 116 | 0 | 0.000000e+00 | -- | Inf | unknown
636.36/638.69 c 639s| 1 | 0 | 35649 | - | 1862M | 0 |2907 | 200k| 204k| 620 | 7 | 117 | 0 | 0.000000e+00 | -- | Inf | unknown
646.54/648.84 c 649s| 1 | 0 | 37042 | - | 1883M | 0 |2907 | 200k| 204k| 719 | 8 | 117 | 0 | 0.000000e+00 | -- | Inf | unknown
657.01/659.33 c 659s| 1 | 0 | 38473 | - | 1905M | 0 |2907 | 200k| 204k| 796 | 9 | 117 | 0 | 0.000000e+00 | -- | Inf | unknown
668.29/670.66 c 671s| 1 | 0 | 39731 | - | 1925M | 0 |2907 | 200k| 204k| 878 | 10 | 118 | 0 | 0.000000e+00 | -- | Inf | unknown
669.48/671.84 c 672s| 1 | 0 | 40969 | - | 1945M | 0 |2907 | 200k| 204k| 947 | 11 | 118 | 0 | 0.000000e+00 | -- | Inf | unknown
698.99/701.40 c 701s| 1 | 2 | 56751 | - | 1947M | 0 |2907 | 200k| 204k| 947 | 11 | 173 | 20 | 0.000000e+00 | -- | Inf | unknown
784.17/786.90 c 787s| 100 | 10 |126964 | 868.6 | 2018M | 11 |2907 | 201k| 204k|2677 | 0 | 349 | 20 | 0.000000e+00 | -- | Inf | 34.67%
885.04/888.12 c 888s| 200 | 9 |204813 | 823.3 | 2167M | 14 |2907 | 201k| 0 |4372 | 0 | 548 | 20 | 0.000000e+00 | -- | Inf | 53.88%
1075.91/1079.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1075.91/1079.67 c 1080s| 300 | 18 |309494 | 898.1 | 2503M | 15 |2907 | 201k| 204k|7192 | 2 | 785 | 20 | 0.000000e+00 | -- | Inf | 66.84%
1146.45/1150.41 c 1150s| 400 | 10 |359954 | 799.5 | 2527M | 20 |2907 | 201k| 204k|8618 | 0 |1054 | 20 | 0.000000e+00 | -- | Inf | 73.21%
1191.28/1195.47 c 1195s| 500 | 9 |387112 | 693.7 | 2530M | 22 |2907 | 201k| 0 |9646 | 0 |1290 | 20 | 0.000000e+00 | -- | Inf | 74.19%
1325.32/1329.97 c 1330s| 600 | 4 |453445 | 688.6 | 2760M | 22 |2907 | 201k| 204k| 11k| 0 |1552 | 20 | 0.000000e+00 | -- | Inf | 81.18%
1468.63/1473.72 c 1474s| 700 | 12 |535298 | 707.2 | 2950M | 22 |2907 | 201k| 204k| 13k| 0 |1906 | 20 | 0.000000e+00 | -- | Inf | 84.36%
1533.10/1538.45 c 1538s| 800 | 9 |574610 | 667.9 | 2956M | 22 |2907 | 202k| 0 | 14k| 0 |2334 | 20 | 0.000000e+00 | -- | Inf | 85.54%
1692.38/1698.21 c 1698s| 900 | 11 |670228 | 700.0 | 3081M | 22 |2907 | 202k| 204k| 17k| 2 |2527 | 20 | 0.000000e+00 | -- | Inf | 89.26%
1875.41/1881.86 c 1882s| 1000 | 10 |758927 | 718.7 | 3124M | 22 |2907 | 202k| 204k| 19k| 2 |2900 | 20 | 0.000000e+00 | -- | Inf | 89.84%
1975.18/1981.99 c 1982s| 1100 | 15 |826238 | 714.5 | 3127M | 22 |2907 | 202k| 204k| 21k| 0 |3110 | 20 | 0.000000e+00 | -- | Inf | 90.23%
2042.44/2049.42 c 2049s| 1200 | 12 |865108 | 687.4 | 3168M | 22 |2907 | 202k| 204k| 22k| 0 |3357 | 20 | 0.000000e+00 | -- | Inf | 90.40%
2175.63/2183.05 c 2183s| 1300 | 7 |935796 | 688.9 | 3253M | 22 |2907 | 202k| 204k| 24k| 0 |3656 | 20 | 0.000000e+00 | -- | Inf | 91.41%
2334.70/2342.64 c 2343s| 1400 | 14 | 1016k| 697.3 | 3340M | 22 |2907 | 202k| 204k| 27k| 0 |3976 | 20 | 0.000000e+00 | -- | Inf | 92.42%
2397.29/2405.49 c 2405s| 1500 | 19 | 1058k| 678.8 | 3345M | 22 |2907 | 202k| 204k| 28k| 2 |4265 | 20 | 0.000000e+00 | -- | Inf | 92.49%
2452.38/2460.75 c 2461s| 1600 | 16 | 1100k| 662.6 | 3347M | 22 |2907 | 203k| 204k| 30k| 2 |4627 | 20 | 0.000000e+00 | -- | Inf | 92.55%
2502.10/2510.70 c 2511s| 1700 | 13 | 1134k| 643.4 | 3348M | 26 |2907 | 203k| 204k| 31k| 0 |4933 | 20 | 0.000000e+00 | -- | Inf | 92.56%
2563.40/2572.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2563.40/2572.12 c 2572s| 1800 | 14 | 1173k| 629.5 | 3350M | 26 |2907 | 203k| 204k| 32k| 0 |5161 | 20 | 0.000000e+00 | -- | Inf | 92.67%
2628.55/2637.57 c 2638s| 1900 | 17 | 1219k| 620.5 | 3353M | 26 |2907 | 203k| 204k| 33k| 2 |5558 | 20 | 0.000000e+00 | -- | Inf | 92.69%
2661.42/2670.55 c 2671s| 2000 | 14 | 1241k| 600.5 | 3354M | 29 |2907 | 203k| 204k| 34k| 0 |5920 | 20 | 0.000000e+00 | -- | Inf | 92.69%
2723.10/2732.44 c 2732s| 2100 | 18 | 1287k| 593.9 | 3356M | 29 |2907 | 204k| 204k| 35k| 2 |6246 | 20 | 0.000000e+00 | -- | Inf | 92.71%
2781.78/2791.34 c 2791s| 2200 | 17 | 1334k| 588.1 | 3358M | 29 |2907 | 204k| 0 | 37k| 0 |6584 | 20 | 0.000000e+00 | -- | Inf | 92.71%
2809.67/2819.35 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
2810.17/2819.80 c (run 1, node 2248) performing user restart
2810.17/2819.80 c
2810.17/2819.83 c (restart) converted 484 cuts from the global cut pool into linear constraints
2810.17/2819.83 c
2810.38/2820.03 c presolving:
2810.48/2820.12 c (round 1, fast) 0 del vars, 520 del conss, 0 add conss, 0 chg bounds, 17 chg sides, 502 chg coeffs, 0 upgd conss, 0 impls, 205735 clqs
2810.96/2820.63 c (round 2, exhaustive) 0 del vars, 538 del conss, 0 add conss, 0 chg bounds, 40 chg sides, 529 chg coeffs, 490 upgd conss, 0 impls, 205735 clqs
2811.38/2821.08 c (round 3, exhaustive) 0 del vars, 1013 del conss, 191 add conss, 0 chg bounds, 93 chg sides, 676 chg coeffs, 490 upgd conss, 0 impls, 205759 clqs
2812.56/2822.22 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
2812.56/2822.22 c 0 deleted vars, 1050 deleted constraints, 192 added constraints, 0 tightened bounds, 0 added holes, 93 changed sides, 788 changed coefficients
2812.56/2822.22 c 0 implications, 205760 cliques
2812.56/2822.22 c presolved problem has 2907 variables (2907 bin, 0 int, 0 impl, 0 cont) and 203858 constraints
2812.56/2822.22 c 37 constraints of type <knapsack>
2812.56/2822.22 c 156559 constraints of type <setppc>
2812.56/2822.22 c 2714 constraints of type <and>
2812.56/2822.22 c 72 constraints of type <linear>
2812.56/2822.22 c 44476 constraints of type <logicor>
2812.56/2822.22 c transformed objective value is always integral (scale: 1)
2812.56/2822.22 c Presolving Time: 514.63
2812.56/2822.23 c
2817.05/2826.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2817.05/2826.71 c 2827s| 1 | 0 | 1363k| - | 3371M | 0 |2907 | 203k| 203k| 0 | 0 |6721 | 20 | 0.000000e+00 | -- | Inf | unknown
2837.01/2846.75 c 2847s| 1 | 0 | 1365k| - | 3393M | 0 |2907 | 203k| 203k| 154 | 1 |6721 | 20 | 0.000000e+00 | -- | Inf | unknown
2859.96/2869.72 c 2870s| 1 | 0 | 1367k| - | 3414M | 0 |2907 | 203k| 203k| 290 | 2 |6722 | 20 | 0.000000e+00 | -- | Inf | unknown
2880.01/2889.84 c 2890s| 1 | 0 | 1368k| - | 3435M | 0 |2907 | 203k| 204k| 383 | 3 |6723 | 20 | 0.000000e+00 | -- | Inf | unknown
2899.28/2909.12 c 2909s| 1 | 0 | 1369k| - | 3455M | 0 |2907 | 203k| 204k| 447 | 4 |6724 | 20 | 0.000000e+00 | -- | Inf | unknown
2913.44/2923.31 c 2923s| 1 | 0 | 1369k| - | 3475M | 0 |2907 | 203k| 204k| 506 | 5 |6724 | 20 | 0.000000e+00 | -- | Inf | unknown
2929.70/2939.64 c 2940s| 1 | 0 | 1371k| - | 3496M | 0 |2907 | 203k| 204k| 556 | 6 |6724 | 20 | 0.000000e+00 | -- | Inf | unknown
2949.64/2959.68 c 2960s| 1 | 0 | 1372k| - | 3516M | 0 |2907 | 203k| 204k| 599 | 7 |6725 | 20 | 0.000000e+00 | -- | Inf | unknown
2961.61/2971.67 c 2972s| 1 | 0 | 1374k| - | 3540M | 0 |2907 | 203k| 204k| 648 | 8 |6725 | 20 | 0.000000e+00 | -- | Inf | unknown
2976.57/2986.63 c 2987s| 1 | 0 | 1375k| - | 3563M | 0 |2907 | 203k| 204k| 689 | 9 |6725 | 20 | 0.000000e+00 | -- | Inf | unknown
2989.25/2999.37 c 2999s| 1 | 0 | 1376k| - | 3587M | 0 |2907 | 203k| 204k| 718 | 10 |6725 | 20 | 0.000000e+00 | -- | Inf | unknown
2990.45/3000.53 c 3001s| 1 | 0 | 1377k| - | 3607M | 0 |2907 | 203k| 204k| 759 | 11 |6726 | 20 | 0.000000e+00 | -- | Inf | unknown
3029.01/3039.26 c 3039s| 1 | 2 | 1387k| - | 3608M | 0 |2907 | 203k| 204k| 759 | 11 |6754 | 39 | 0.000000e+00 | -- | Inf | unknown
3434.38/3445.74 c 3446s| 100 | 39 | 1588k| 649.3 | 3692M | 26 |2907 | 203k| 204k|3148 | 2 |7095 | 39 | 0.000000e+00 | -- | Inf | unknown
3475.95/3487.46 c 3487s| 200 | 42 | 1611k| 632.2 | 3693M | 31 |2907 | 203k| 204k|3732 | 0 |7348 | 39 | 0.000000e+00 | -- | Inf | unknown
3493.79/3505.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3493.79/3505.36 c 3505s| 300 | 39 | 1620k| 611.1 | 3694M | 31 |2907 | 203k| 204k|4029 | 0 |7546 | 39 | 0.000000e+00 | -- | Inf | unknown
3517.31/3528.94 c 3529s| 400 | 42 | 1633k| 592.9 | 3694M | 31 |2907 | 203k| 204k|4399 | 2 |7785 | 39 | 0.000000e+00 | -- | Inf | unknown
3539.35/3551.09 c 3551s| 500 | 44 | 1646k| 575.9 | 3695M | 31 |2907 | 203k| 204k|4670 | 1 |7986 | 39 | 0.000000e+00 | -- | Inf | unknown
3556.48/3568.28 c 3568s| 600 | 41 | 1656k| 559.1 | 3695M | 31 |2907 | 204k| 204k|4799 | 0 |8231 | 39 | 0.000000e+00 | -- | Inf | unknown
3579.60/3591.46 c 3591s| 700 | 43 | 1669k| 544.6 | 3695M | 32 |2907 | 204k| 205k|5068 | 1 |8466 | 39 | 0.000000e+00 | -- | Inf | unknown
3585.20/3597.05 c
3585.20/3597.05 c SCIP Status : solving was interrupted [time limit reached]
3585.20/3597.05 c Solving Time (sec) : 3597.03
3585.20/3597.05 c Solving Nodes : 731 (total of 2979 nodes in 2 runs)
3585.20/3597.05 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3585.20/3597.05 c Dual Bound : +0.00000000000000e+00
3585.20/3597.05 c Gap : infinite
3585.20/3597.05 s UNKNOWN
3585.20/3597.05 c SCIP Status : solving was interrupted [time limit reached]
3585.20/3597.05 c Total Time : 3597.03
3585.20/3597.05 c solving : 3597.03
3585.20/3597.05 c presolving : 514.63 (included in solving)
3585.20/3597.05 c reading : 1.39 (included in solving)
3585.20/3597.05 c copying : 1.14 (4 #copies) (minimal 0.28, maximal 0.29, average 0.29)
3585.20/3597.05 c Original Problem :
3585.20/3597.05 c Problem name : HOME/instance-4544462-1753217659.opb
3585.20/3597.05 c Variables : 5508 (5508 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.20/3597.05 c Constraints : 408375 initial, 408375 maximal
3585.20/3597.05 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.20/3597.05 c Presolved Problem :
3585.20/3597.05 c Problem name : t_HOME/instance-4544462-1753217659.opb
3585.20/3597.05 c Variables : 2907 (2907 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.20/3597.05 c Constraints : 203858 initial, 204205 maximal
3585.20/3597.05 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.20/3597.05 c Nonzeros : 568264 constraint, 411981 clique table
3585.20/3597.05 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.20/3597.05 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c domcol : 0.00 0.00 106 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c gateextraction : 35.47 0.00 111 0 0 0 0 0 15299 5097 0 0
3585.20/3597.05 c implics : 0.01 0.00 113 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c milp : 1.94 0.00 1 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c trivial : 0.03 0.00 210 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c dualfix : 0.02 0.00 210 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c probing : 398.27 0.00 105 0 2584 0 0 0 0 0 0 0
3585.20/3597.05 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c symmetry : 0.88 0.00 1 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c vbounds : 0.53 0.00 8 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c knapsack : 0.07 0.00 11 0 0 0 0 0 5222 10441 84 676
3585.20/3597.05 c setppc : 33.47 0.04 430 0 0 0 0 0 156333 0 0 0
3585.20/3597.05 c and : 2.21 0.00 316 0 17 0 0 0 2373 19 0 0
3585.20/3597.05 c linear : 1.12 0.10 8 0 0 0 0 0 0 0 9 5211
3585.20/3597.05 c logicor : 39.26 0.12 428 0 0 0 0 0 44754 0 0 120
3585.20/3597.05 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c components : 0.13 0.00 2 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c root node : - - - 0 - - 0 - - - - -
3585.20/3597.05 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.20/3597.05 c benderslp : 0 0 0 0 1554 0 0 252 0 0 0 0 0 0 0
3585.20/3597.05 c integral : 0 0 0 0 1554 0 0 252 0 0 0 0 0 0 3108
3585.20/3597.05 c knapsack : 37+ 56 11 16194 0 0 0 0 14139 29 4119 0 0 0 0
3585.20/3597.05 c setppc : 156559 156559 22 40177 0 0 0 247 104558 74 251593 0 0 0 0
3585.20/3597.05 c and : 2714 2714 3097 40103 0 0 0 13 92467 69 65931 66894 30848 0 0
3585.20/3597.05 c linear : 72+ 80 0 16200 0 0 0 3 832 245 8629 0 0 0 0
3585.20/3597.05 c logicor : 44476+ 44817 22 22332 0 0 0 3 14326 121 173957 2 0 0 0
3585.20/3597.05 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.20/3597.05 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.20/3597.05 c integral : 32.95 0.00 0.00 0.00 32.95 0.00 0.00 0.00 0.00 0.00
3585.20/3597.05 c knapsack : 0.23 0.00 0.00 0.23 0.00 0.00 0.00 0.00 0.00 0.00
3585.20/3597.05 c setppc : 102.33 0.04 0.31 101.45 0.00 0.00 0.00 0.43 0.04 0.05
3585.20/3597.05 c and : 5.68 0.00 1.40 4.18 0.00 0.00 0.00 0.01 0.05 0.04
3585.20/3597.05 c linear : 0.43 0.10 0.00 0.32 0.00 0.00 0.00 0.00 0.01 0.00
3585.20/3597.05 c logicor : 10.89 0.12 0.23 10.48 0.00 0.00 0.00 0.00 0.01 0.04
3585.20/3597.05 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.20/3597.05 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.20/3597.05 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.20/3597.05 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.20/3597.05 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.20/3597.05 c dualfix : 2 0 0 0
3585.20/3597.05 c genvbounds : 0 0 0 0
3585.20/3597.05 c nlobbt : 0 0 0 0
3585.20/3597.05 c obbt : 0 0 0 0
3585.20/3597.05 c probing : 0 0 0 0
3585.20/3597.05 c pseudoobj : 0 0 0 0
3585.20/3597.05 c redcost : 0 0 0 0
3585.20/3597.05 c rootredcost : 0 0 0 0
3585.20/3597.05 c symmetry : 6677 0 103 4712
3585.20/3597.05 c vbounds : 16255 0 0 0
3585.20/3597.05 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.20/3597.05 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3585.20/3597.05 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3585.20/3597.05 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.20/3597.05 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.20/3597.05 c probing : 398.27 0.00 398.27 0.00 0.00 0.00
3585.20/3597.05 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3585.20/3597.05 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3585.20/3597.05 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3585.20/3597.05 c symmetry : 1.06 0.00 0.88 0.18 0.00 0.00
3585.20/3597.05 c vbounds : 0.99 0.00 0.53 0.45 0.00 0.00
3585.20/3597.05 c Symmetry :
3585.20/3597.05 c orbitopal red. : 4712 reductions applied, 103 cutoffs
3585.20/3597.05 c orbital reduction: 0 reductions applied, 0 cutoffs
3585.20/3597.05 c lexicographic red: 0 reductions applied, 0 cutoffs
3585.20/3597.05 c shadow tree time : 0.00 s
3585.20/3597.05 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.20/3597.05 c propagation : 0.05 293 286 - 2102 66.5 18 92.3 - - -
3585.20/3597.05 c infeasible LP : 3.64 985 985 - 10121 76.4 5 75.8 985 170.9 0
3585.20/3597.05 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.20/3597.05 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.20/3597.05 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.20/3597.05 c applied globally : 2.39 - - 0 7551 52.0 - - 985 - -
3585.20/3597.05 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.20/3597.05 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.20/3597.05 c cut pool : 0.44 - 451 42 - - 12055 43733 - - - - - (maximal pool size: 6145)
3585.20/3597.05 c aggregation : 1.55 0.00 98 22 0 0 3 4 0 1 1 0 0
3585.20/3597.05 c > cmir : - - - - - - - 0 0 0 0 0 -
3585.20/3597.05 c > flowcover : - - - - - - - 3 0 0 0 0 -
3585.20/3597.05 c > knapsackcover : - - - - - - - 1 0 1 1 0 -
3585.20/3597.05 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c clique : 3.94 0.00 22 22 0 0 175 1341 0 250 250 0 0
3585.20/3597.05 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c gomory : 130.74 0.00 96 20 0 0 7842 22338 0 3222 3222 0 0
3585.20/3597.05 c > gomorymi : - - - - - - - 5614 0 123 123 0 -
3585.20/3597.05 c > strongcg : - - - - - - - 16724 0 3099 3099 0 -
3585.20/3597.05 c impliedbounds : 1.80 0.00 98 22 0 0 3172 8610 0 4036 4036 0 0
3585.20/3597.05 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c mcf : 0.27 0.00 2 2 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c multilinear : 0.00 0.00 279 22 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c rlt : 505.49 0.00 101 20 0 0 0 0 0 0 0 0 0
3585.20/3597.05 c zerohalf : 5.23 0.00 98 22 0 0 863 11440 0 4967 4967 0 0
3585.20/3597.05 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.20/3597.05 c hybrid : 0.09 0.00 2725 22 43324 0 67305 1706 0 9171
3585.20/3597.05 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.20/3597.05 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.20/3597.05 c Pricers : ExecTime SetupTime Calls Vars
3585.20/3597.05 c problem variables: 0.00 - 0 0
3585.20/3597.05 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.20/3597.05 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.20/3597.05 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.20/3597.05 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.20/3597.05 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.20/3597.05 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.20/3597.05 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.20/3597.05 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.20/3597.05 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.20/3597.05 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.20/3597.05 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.20/3597.05 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.20/3597.05 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.20/3597.05 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.20/3597.05 c relpscost : 32.94 0.00 1554 0 0 0 0 0 0 3108
3585.20/3597.05 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.20/3597.05 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.20/3597.05 c LP solutions : 0.00 - - 0 0
3585.20/3597.05 c relax solutions : 0.00 - - 0 0
3585.20/3597.05 c pseudo solutions : 0.00 - - 0 0
3585.20/3597.05 c strong branching : 0.00 - - 0 0
3585.20/3597.05 c actconsdiving : 0.00 0.00 0 0 0
3585.20/3597.05 c adaptivediving : 64.95 0.00 7 0 0
3585.20/3597.05 c alns : 1.61 0.00 5 0 0
3585.20/3597.05 c bound : 0.00 0.00 0 0 0
3585.20/3597.05 c clique : 0.52 0.00 1 0 0
3585.20/3597.05 c coefdiving : 0.00 0.00 0 0 0
3585.20/3597.05 c completesol : 0.00 0.00 0 0 0
3585.20/3597.05 c conflictdiving : 47.10 0.00 5 0 0
3585.20/3597.05 c crossover : 0.00 0.00 0 0 0
3585.20/3597.05 c dins : 0.00 0.00 0 0 0
3585.20/3597.05 c distributiondivin: 47.32 0.00 4 0 0
3585.20/3597.05 c dps : 0.00 0.00 0 0 0
3585.20/3597.05 c dualval : 0.00 0.00 0 0 0
3585.20/3597.05 c farkasdiving : 0.00 0.00 0 0 0
3585.20/3597.05 c feasjump : 0.36 0.00 2 0 0
3585.20/3597.05 c feaspump : 20.50 0.00 3 0 0
3585.20/3597.05 c fixandinfer : 0.00 0.00 0 0 0
3585.20/3597.05 c fracdiving : 47.59 0.00 5 0 0
3585.20/3597.05 c gins : 0.00 0.00 0 0 0
3585.20/3597.05 c guideddiving : 0.00 0.00 0 0 0
3585.20/3597.05 c indcoefdiving : 0.00 0.00 0 0 0
3585.20/3597.05 c indicator : 0.00 0.00 0 0 0
3585.20/3597.05 c indicatordiving : 0.00 0.00 0 0 0
3585.20/3597.05 c indoneopt : 0.00 0.00 0 0 0
3585.20/3597.05 c indrounding : 0.00 0.00 0 0 0
3585.20/3597.05 c indtwoopt : 0.00 0.00 0 0 0
3585.20/3597.05 c intdiving : 0.00 0.00 0 0 0
3585.20/3597.05 c intshifting : 0.00 0.00 0 0 0
3585.20/3597.05 c linesearchdiving : 38.69 0.00 5 0 0
3585.20/3597.05 c localbranching : 0.00 0.00 0 0 0
3585.20/3597.05 c locks : 0.11 0.00 1 0 0
3585.20/3597.05 c lpface : 0.02 0.00 0 0 0
3585.20/3597.05 c mpec : 0.00 0.00 0 0 0
3585.20/3597.05 c multistart : 0.00 0.00 0 0 0
3585.20/3597.05 c mutation : 0.00 0.00 0 0 0
3585.20/3597.05 c nlpdiving : 0.00 0.00 0 0 0
3585.20/3597.05 c objpscostdiving : 295.26 0.00 3 0 0
3585.20/3597.05 c octane : 0.00 0.00 0 0 0
3585.20/3597.05 c ofins : 0.00 0.00 0 0 0
3585.20/3597.05 c oneopt : 0.00 0.00 0 0 0
3585.20/3597.05 c padm : 0.00 0.00 0 0 0
3585.20/3597.05 c proximity : 0.00 0.00 0 0 0
3585.20/3597.05 c pscostdiving : 55.71 0.00 5 0 0
3585.20/3597.05 c randrounding : 2.17 0.00 251 0 0
3585.20/3597.05 c rens : 1.98 0.00 2 0 0
3585.20/3597.05 c reoptsols : 0.00 0.00 0 0 0
3585.20/3597.05 c repair : 0.00 0.00 0 0 0
3585.20/3597.05 c rins : 0.00 0.00 0 0 0
3585.20/3597.05 c rootsoldiving : 33.09 0.00 3 0 0
3585.20/3597.05 c rounding : 5.58 0.00 834 0 0
3585.20/3597.05 c scheduler : 0.00 0.00 0 0 0
3585.20/3597.05 c shiftandpropagate: 0.62 0.00 2 0 0
3585.20/3597.05 c shifting : 6.48 0.00 247 0 0
3585.20/3597.05 c simplerounding : 0.00 0.00 0 0 0
3585.20/3597.05 c smallcard : 0.00 0.00 0 0 0
3585.20/3597.05 c subnlp : 0.00 0.00 0 0 0
3585.20/3597.05 c trivial : 0.09 0.00 4 0 0
3585.20/3597.05 c trivialnegation : 0.00 0.00 0 0 0
3585.20/3597.05 c trustregion : 0.00 0.00 0 0 0
3585.20/3597.05 c trysol : 0.00 0.00 0 0 0
3585.20/3597.05 c twoopt : 0.00 0.00 0 0 0
3585.20/3597.05 c undercover : 0.00 0.00 1 0 0
3585.20/3597.05 c vbounds : 0.44 0.00 2 0 0
3585.20/3597.05 c veclendiving : 23.52 0.00 5 0 0
3585.20/3597.05 c zeroobj : 0.00 0.00 0 0 0
3585.20/3597.05 c zirounding : 7.30 0.00 1000 0 0
3585.20/3597.05 c other solutions : - - - 0 -
3585.20/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
3585.20/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
3585.20/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
3585.20/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
3585.20/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
3585.20/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
3585.20/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
3585.20/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
3585.20/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
3585.20/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
3585.20/3597.05 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.20/3597.05 c primal LP : 3.94 190 0 0.00 0.00 3.94 190
3585.20/3597.05 c dual LP : 1574.07 5216 1303769 250.10 828.28 0.03 3
3585.20/3597.05 c lex dual LP : 0.00 0 0 0.00 -
3585.20/3597.05 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.20/3597.05 c resolve instable : 0.00 0 0 0.00 -
3585.20/3597.05 c diving/probing LP: 666.32 491 368577 750.67 553.15
3585.20/3597.05 c strong branching : 22.95 39 20264 519.59 883.03 - - 25
3585.20/3597.05 c (at root node) : - 39 20264 519.59 -
3585.20/3597.05 c conflict analysis: 0.00 0 0 0.00 -
3585.20/3597.05 c B&B Tree :
3585.20/3597.05 c number of runs : 2
3585.20/3597.05 c nodes : 731 (389 internal, 342 leaves)
3585.20/3597.05 c feasible leaves : 0
3585.20/3597.05 c infeas. leaves : 341
3585.20/3597.05 c objective leaves : 0
3585.20/3597.05 c nodes (total) : 2979 (1554 internal, 1425 leaves)
3585.20/3597.05 c nodes left : 41
3585.20/3597.05 c max depth : 32
3585.20/3597.05 c max depth (total): 32
3585.20/3597.05 c backtracks : 123 (16.8%)
3585.20/3597.05 c early backtracks : 0 (0.0%)
3585.20/3597.05 c nodes exc. ref. : 0 (0.0%)
3585.20/3597.05 c delayed cutoffs : 8
3585.20/3597.05 c repropagations : 899 (13486 domain reductions, 8 cutoffs)
3585.20/3597.05 c avg switch length: 3.84
3585.20/3597.05 c switching time : 14.94
3585.20/3597.05 c Root Node :
3585.20/3597.05 c First LP value : +0.00000000000000e+00
3585.20/3597.05 c First LP Iters : 3705 (3447.50 Iter/sec)
3585.20/3597.05 c First LP Time : 1.07
3585.20/3597.05 c Final Dual Bound : +0.00000000000000e+00
3585.20/3597.05 c Final Root Iters : 64462
3585.20/3597.05 c Root LP Estimate : +5.74577503855827e-03
3585.20/3597.05 c Solution :
3585.20/3597.05 c Solutions found : 0 (0 improvements)
3585.20/3597.05 c Primal Bound : -
3585.20/3597.05 c Dual Bound : +0.00000000000000e+00
3585.20/3597.05 c Gap : infinite
3585.20/3597.05 c Integrals : Total Avg%
3585.20/3597.05 c primal-dual : 359702.60 100.00
3585.20/3597.05 c primal-ref : - - (not evaluated)
3585.20/3597.05 c dual-ref : - - (not evaluated)
3585.88/3597.73 c Time complete: 3585.92.