0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4544463-1753215059.opb>
0.60/0.60 c original problem has 5508 variables (5508 bin, 0 int, 0 cont) and 408375 constraints
0.60/0.60 c problem read in 0.604 seconds
0.60/0.60 c problem without objective
0.99/1.07 c presolving:
1.78/1.88 c (1.9s) running MILP presolver
2.78/2.80 c (2.8s) MILP presolver found nothing
3.48/3.52 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
3.78/3.88 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
4.28/4.39 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
4.78/4.81 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
5.28/5.36 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
37.76/37.95 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
56.09/56.37 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
69.24/69.58 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
72.34/72.62 c (72.6s) probing: 1000/5491 (18.2%) - 0 fixings, 80 aggregations, 124474 implications, 0 bound changes
80.02/80.33 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
88.39/88.78 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
96.76/97.12 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
102.54/102.94 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
108.92/109.39 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
115.30/115.71 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
115.40/115.83 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
120.78/121.22 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
120.88/121.34 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
127.25/127.70 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
127.35/127.83 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
132.54/133.02 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
132.64/133.15 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
138.81/139.37 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
139.01/139.50 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
144.90/145.44 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
145.00/145.56 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
146.79/147.32 c (147.3s) probing: 2000/5491 (36.4%) - 0 fixings, 358 aggregations, 225951 implications, 0 bound changes
150.08/150.64 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
150.18/150.77 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
154.47/155.09 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
154.66/155.22 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
158.85/159.43 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
158.95/159.56 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
163.93/164.50 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
164.03/164.63 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
168.52/169.19 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
168.71/169.32 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
173.01/173.69 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
173.21/173.82 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
177.50/178.19 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
177.69/178.31 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
181.97/182.68 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
182.17/182.81 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
185.37/186.08 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
185.57/186.21 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
189.15/189.80 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
189.25/189.93 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
192.93/193.67 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
193.03/193.79 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
196.73/197.48 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
196.93/197.61 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
201.12/201.89 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
201.32/202.02 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
205.50/206.29 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
205.70/206.42 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
210.48/211.20 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
210.58/211.33 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
214.18/214.99 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
214.38/215.12 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
218.76/219.53 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
218.86/219.66 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
222.25/223.00 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
222.35/223.13 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
226.43/227.25 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
226.53/227.38 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
230.33/231.14 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
230.42/231.27 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
232.11/232.90 c (232.9s) probing: 3000/5491 (54.6%) - 0 fixings, 858 aggregations, 304037 implications, 0 bound changes
233.71/234.58 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
233.91/234.71 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
237.60/238.45 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
237.70/238.58 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
241.29/242.18 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
241.49/242.31 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
245.37/246.21 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
245.47/246.34 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
249.06/249.96 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
249.16/250.09 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
252.16/253.03 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
252.26/253.16 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
255.84/256.79 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
256.04/256.93 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
260.02/260.93 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
260.13/261.07 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
263.22/264.18 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
263.41/264.31 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
266.60/267.51 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
266.70/267.64 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
270.90/271.89 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
271.10/272.03 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
274.58/275.52 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
274.68/275.65 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
277.97/278.93 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
278.07/279.07 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
281.56/282.50 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
281.66/282.64 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
285.35/286.33 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
285.45/286.47 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
289.04/290.09 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
289.24/290.23 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
292.72/293.74 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
292.82/293.87 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
296.52/297.54 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
296.62/297.68 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
299.61/300.60 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
299.71/300.74 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
302.79/303.86 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
302.89/303.99 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
306.28/307.35 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
306.38/307.48 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
309.27/310.39 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
309.47/310.53 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
312.97/314.06 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
313.16/314.20 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
316.45/317.50 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
316.55/317.64 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
319.65/320.72 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
319.75/320.86 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
323.33/324.42 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
323.43/324.56 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
327.13/328.27 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
327.33/328.41 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
330.31/331.46 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
330.51/331.60 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
331.41/332.55 c (332.6s) probing: 4000/5491 (72.8%) - 0 fixings, 1551 aggregations, 358742 implications, 0 bound changes
334.20/335.34 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
334.30/335.48 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
337.19/338.38 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
337.39/338.52 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
340.28/341.48 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
340.48/341.61 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
343.57/344.79 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
343.77/344.92 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
346.86/348.08 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
347.06/348.22 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
350.05/351.22 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
350.15/351.36 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
353.04/354.23 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
353.14/354.36 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
356.43/357.68 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
356.63/357.82 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
360.23/361.46 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
360.42/361.60 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
363.51/364.79 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
363.71/364.93 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
367.00/368.21 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
367.10/368.34 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
370.29/371.59 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
370.49/371.73 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
373.39/374.65 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
373.49/374.79 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
376.48/377.75 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
376.58/377.89 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
379.36/380.69 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
379.56/380.82 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
382.56/383.86 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
382.66/383.99 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
385.55/386.88 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
385.75/387.01 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
388.64/389.99 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
388.84/390.13 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
391.63/392.94 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
391.74/393.07 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
394.83/396.15 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
394.92/396.29 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
397.91/399.23 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
398.01/399.37 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
400.60/401.94 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
400.71/402.07 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
403.29/404.69 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
403.49/404.82 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
406.18/407.58 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
406.38/407.71 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
409.08/410.40 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
409.18/410.53 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
411.68/413.07 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
411.78/413.19 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
414.46/415.86 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
414.56/415.99 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
417.15/418.52 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
417.25/418.65 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
419.85/421.24 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
419.95/421.37 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
422.44/423.85 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
422.54/423.98 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
425.13/426.57 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
425.33/426.70 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
428.02/429.48 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
428.22/429.61 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
430.62/432.05 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
430.72/432.17 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
433.12/434.59 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
433.32/434.71 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
435.21/436.60 c (436.6s) probing: 5000/5491 (91.1%) - 0 fixings, 2418 aggregations, 390289 implications, 0 bound changes
435.71/437.13 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
435.81/437.25 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
438.10/439.50 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
438.20/439.61 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
440.49/441.90 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
440.59/442.01 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
442.79/444.20 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
442.89/444.31 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
445.08/446.55 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
445.18/446.66 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
447.37/448.81 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
447.47/448.92 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
449.57/451.02 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
449.67/451.13 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
470.00/471.53 c (471.5s) probing cycle finished: starting next cycle
472.69/474.28 c (474.3s) probing: 48/2907 (1.7%) - 0 fixings, 2584 aggregations, 396185 implications, 0 bound changes
472.69/474.28 c (474.3s) probing aborted: 50/50 successive totally useless probings
472.69/474.28 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
472.79/474.38 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
473.69/475.25 c (475.2s) probing: 53/2907 (1.8%) - 0 fixings, 2584 aggregations, 396185 implications, 0 bound changes
473.69/475.25 c (475.2s) probing aborted: 50/50 successive totally useless probings
473.69/475.25 c (475.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
474.29/475.87 c (475.9s) symmetry computation finished: 15 generators found (max: 1500, log10 of symmetry group size: 787.57) (symcode time: 0.45)
474.29/475.88 c dynamic symmetry handling statistics:
474.29/475.88 c orbitopal reduction: 1 components: 171x16
474.29/475.88 c orbital reduction: no components
474.29/475.88 c lexicographic reduction: no permutations
474.29/475.88 c handled 1 out of 1 symmetry components
474.39/476.00 c presolving (206 rounds: 206 fast, 110 medium, 109 exhaustive):
474.39/476.00 c 2601 deleted vars, 222931 deleted constraints, 15365 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 5219 changed coefficients
474.39/476.00 c 0 implications, 205479 cliques
474.39/476.00 c presolved problem has 2907 variables (2907 bin, 0 int, 0 cont) and 200809 constraints
474.39/476.00 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
474.39/476.00 c 156338 constraints of type <setppc>
474.39/476.00 c 2572 constraints of type <and>
474.39/476.00 c 41899 constraints of type <logicor>
474.39/476.00 c transformed objective value is always integral (scale: 1)
474.39/476.00 c Presolving Time: 474.93
474.39/476.00 c
474.39/476.00 c - non default parameters ----------------------------------------------------------------------
474.39/476.00 c
474.39/476.00 c # SCIP version 10.0.0
474.39/476.00 c
474.39/476.00 c # maximal time in seconds to run
474.39/476.00 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
474.39/476.00 c limits/time = 3596.998382
474.39/476.00 c
474.39/476.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
474.39/476.00 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
474.39/476.00 c limits/memory = 27900
474.39/476.00 c
474.39/476.00 c # belongs reading time to solving time?
474.39/476.00 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
474.39/476.00 c timing/reading = TRUE
474.39/476.00 c
474.39/476.00 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
474.39/476.00 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
474.39/476.00 c reading/opbreader/maxintsize = 47
474.39/476.00 c
474.39/476.00 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
474.39/476.00 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
474.39/476.00 c propagating/genvbounds/timingmask = 0
474.39/476.00 c
474.39/476.00 c -----------------------------------------------------------------------------------------------
474.50/476.00 c
476.68/478.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
476.68/478.23 c 478s| 1 | 0 | 3705 | - | 1625M | 0 |2907 | 200k| 203k| 0 | 0 | 102 | 0 | 0.000000e+00 | -- | Inf | unknown
489.56/491.10 c 491s| 1 | 0 | 27231 | - | 1670M | 0 |2907 | 200k| 203k| 31 | 1 | 112 | 0 | 0.000000e+00 | -- | Inf | unknown
490.55/492.12 c 492s| 1 | 0 | 28148 | - | 1692M | 0 |2907 | 200k| 203k| 82 | 2 | 113 | 0 | 0.000000e+00 | -- | Inf | unknown
491.94/493.55 c 494s| 1 | 0 | 29448 | - | 1713M | 0 |2907 | 200k| 203k| 166 | 3 | 114 | 0 | 0.000000e+00 | -- | Inf | unknown
493.14/494.70 c 495s| 1 | 0 | 30561 | - | 1736M | 0 |2907 | 200k| 203k| 273 | 4 | 114 | 0 | 0.000000e+00 | -- | Inf | unknown
494.13/495.70 c 496s| 1 | 0 | 31844 | - | 1758M | 0 |2907 | 200k| 203k| 365 | 5 | 115 | 0 | 0.000000e+00 | -- | Inf | unknown
495.43/497.00 c 497s| 1 | 0 | 33765 | - | 1778M | 0 |2907 | 200k| 203k| 494 | 6 | 116 | 0 | 0.000000e+00 | -- | Inf | unknown
496.72/498.33 c 498s| 1 | 0 | 35649 | - | 1798M | 0 |2907 | 200k| 204k| 620 | 7 | 117 | 0 | 0.000000e+00 | -- | Inf | unknown
497.72/499.30 c 499s| 1 | 0 | 37042 | - | 1819M | 0 |2907 | 200k| 204k| 719 | 8 | 117 | 0 | 0.000000e+00 | -- | Inf | unknown
499.31/500.91 c 501s| 1 | 0 | 38473 | - | 1839M | 0 |2907 | 200k| 204k| 796 | 9 | 117 | 0 | 0.000000e+00 | -- | Inf | unknown
501.92/503.52 c 504s| 1 | 0 | 39731 | - | 1859M | 0 |2907 | 200k| 204k| 878 | 10 | 118 | 0 | 0.000000e+00 | -- | Inf | unknown
502.91/504.58 c 505s| 1 | 0 | 40969 | - | 1878M | 0 |2907 | 200k| 204k| 947 | 11 | 118 | 0 | 0.000000e+00 | -- | Inf | unknown
530.12/531.89 c 532s| 1 | 2 | 56751 | - | 1881M | 0 |2907 | 200k| 204k| 947 | 11 | 173 | 20 | 0.000000e+00 | -- | Inf | unknown
670.02/672.19 c 672s| 100 | 11 |168468 |1287.9 | 1939M | 13 |2907 | 201k| 204k|3159 | 2 | 623 | 20 | 0.000000e+00 | -- | Inf | 33.89%
768.02/770.41 c 770s| 200 | 12 |253297 |1067.0 | 2188M | 15 |2907 | 201k| 204k|5607 | 0 | 898 | 20 | 0.000000e+00 | -- | Inf | 45.39%
881.40/884.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
881.40/884.17 c 884s| 300 | 12 |320290 | 934.2 | 2413M | 21 |2907 | 201k| 0 |7454 | 0 |1186 | 20 | 0.000000e+00 | -- | Inf | 46.46%
966.94/969.99 c 970s| 400 | 9 |378663 | 846.4 | 2535M | 21 |2907 | 201k| 0 |9371 | 0 |1457 | 20 | 0.000000e+00 | -- | Inf | 48.34%
1021.37/1024.53 c 1025s| 500 | 11 |414811 | 749.2 | 2617M | 21 |2907 | 201k| 204k| 10k| 0 |1752 | 20 | 0.000000e+00 | -- | Inf | 48.87%
1052.28/1055.58 c 1056s| 600 | 11 |439906 | 666.0 | 2618M | 22 |2907 | 202k| 204k| 11k| 0 |2026 | 20 | 0.000000e+00 | -- | Inf | 48.92%
1097.34/1100.76 c 1101s| 700 | 12 |468986 | 612.3 | 2679M | 25 |2907 | 202k| 204k| 12k| 2 |2180 | 20 | 0.000000e+00 | -- | Inf | 52.20%
1124.95/1128.44 c 1128s| 800 | 14 |490688 | 562.9 | 2680M | 31 |2907 | 202k| 0 | 13k| 0 |2368 | 20 | 0.000000e+00 | -- | Inf | 52.59%
1175.30/1178.92 c 1179s| 900 | 13 |522994 | 536.2 | 2740M | 31 |2907 | 202k| 204k| 14k| 2 |2650 | 20 | 0.000000e+00 | -- | Inf | 53.13%
1224.35/1228.11 c 1228s| 1000 | 11 |555740 | 515.3 | 2760M | 31 |2907 | 202k| 0 | 15k| 0 |2956 | 20 | 0.000000e+00 | -- | Inf | 53.41%
1266.52/1270.44 c 1270s| 1100 | 13 |585235 | 495.2 | 2780M | 31 |2907 | 202k| 204k| 16k| 2 |3162 | 20 | 0.000000e+00 | -- | Inf | 53.55%
1336.21/1340.31 c 1340s| 1200 | 12 |639531 | 499.2 | 2840M | 31 |2907 | 202k| 204k| 18k| 2 |3442 | 20 | 0.000000e+00 | -- | Inf | 53.92%
1393.43/1397.70 c 1398s| 1300 | 16 |679898 | 491.9 | 2842M | 31 |2907 | 202k| 204k| 19k| 0 |3681 | 20 | 0.000000e+00 | -- | Inf | 54.09%
1403.40/1407.78 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1403.40/1407.79 c (run 1, node 1330) performing user restart
1403.40/1407.79 c
1403.50/1407.82 c (restart) converted 438 cuts from the global cut pool into linear constraints
1403.50/1407.82 c
1403.71/1408.02 c presolving:
1403.81/1408.11 c (round 1, fast) 0 del vars, 205 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 154 chg coeffs, 0 upgd conss, 0 impls, 205699 clqs
1404.20/1408.53 c (round 2, exhaustive) 0 del vars, 223 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 156 chg coeffs, 439 upgd conss, 0 impls, 205699 clqs
1404.50/1408.89 c (round 3, exhaustive) 0 del vars, 683 del conss, 186 add conss, 0 chg bounds, 56 chg sides, 303 chg coeffs, 439 upgd conss, 0 impls, 205724 clqs
1405.60/1409.96 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
1405.60/1409.96 c 0 deleted vars, 707 deleted constraints, 186 added constraints, 0 tightened bounds, 0 added holes, 56 changed sides, 353 changed coefficients
1405.60/1409.96 c 0 implications, 205724 cliques
1405.60/1409.96 c presolved problem has 2907 variables (2907 bin, 0 int, 0 cont) and 202754 constraints
1405.60/1409.96 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1405.60/1409.96 c 11 constraints of type <knapsack>
1405.60/1409.96 c 156529 constraints of type <setppc>
1405.60/1409.96 c 2710 constraints of type <and>
1405.60/1409.96 c 92 constraints of type <linear>
1405.60/1409.96 c 43412 constraints of type <logicor>
1405.60/1409.96 c transformed objective value is always integral (scale: 1)
1405.60/1409.96 c Presolving Time: 476.92
1405.60/1409.96 c
1408.88/1413.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1408.88/1413.23 c 1413s| 1 | 0 |695219 | - | 2853M | 0 |2907 | 202k| 203k| 0 | 0 |3789 | 20 | 0.000000e+00 | -- | Inf | unknown
1411.38/1415.71 c 1416s| 1 | 0 |698513 | - | 2876M | 0 |2907 | 202k| 203k| 156 | 1 |3799 | 20 | 0.000000e+00 | -- | Inf | unknown
1413.87/1418.26 c 1418s| 1 | 0 |700021 | - | 2896M | 0 |2907 | 202k| 203k| 279 | 2 |3800 | 20 | 0.000000e+00 | -- | Inf | unknown
1425.54/1429.97 c 1430s| 1 | 0 |701005 | - | 2915M | 0 |2907 | 202k| 204k| 367 | 3 |3801 | 20 | 0.000000e+00 | -- | Inf | unknown
1430.52/1434.96 c 1435s| 1 | 0 |702544 | - | 2935M | 0 |2907 | 202k| 204k| 422 | 4 |3802 | 20 | 0.000000e+00 | -- | Inf | unknown
1441.09/1445.50 c 1446s| 1 | 0 |703799 | - | 2954M | 0 |2907 | 202k| 204k| 479 | 5 |3802 | 20 | 0.000000e+00 | -- | Inf | unknown
1448.27/1452.78 c 1453s| 1 | 0 |705014 | - | 2974M | 0 |2907 | 202k| 204k| 522 | 6 |3803 | 20 | 0.000000e+00 | -- | Inf | unknown
1456.75/1461.22 c 1461s| 1 | 0 |706501 | - | 2994M | 0 |2907 | 202k| 204k| 570 | 7 |3804 | 20 | 0.000000e+00 | -- | Inf | unknown
1463.33/1467.88 c 1468s| 1 | 0 |707511 | - | 3013M | 0 |2907 | 202k| 204k| 618 | 8 |3804 | 20 | 0.000000e+00 | -- | Inf | unknown
1468.62/1473.15 c 1473s| 1 | 0 |708213 | - | 3034M | 0 |2907 | 202k| 204k| 664 | 9 |3805 | 20 | 0.000000e+00 | -- | Inf | unknown
1477.09/1481.67 c 1482s| 1 | 0 |709154 | - | 3058M | 0 |2907 | 202k| 204k| 701 | 10 |3805 | 20 | 0.000000e+00 | -- | Inf | unknown
1479.78/1484.31 c 1484s| 1 | 0 |710511 | - | 3077M | 0 |2907 | 202k| 204k| 744 | 11 |3805 | 20 | 0.000000e+00 | -- | Inf | unknown
1481.27/1485.89 c 1486s| 1 | 0 |711256 | - | 3097M | 0 |2907 | 202k| 204k| 778 | 12 |3806 | 20 | 0.000000e+00 | -- | Inf | unknown
1482.67/1487.28 c 1487s| 1 | 0 |711828 | - | 3097M | 0 |2907 | 202k| 204k| 806 | 13 |3807 | 20 | 0.000000e+00 | -- | Inf | unknown
1485.16/1489.79 c 1490s| 1 | 0 |713090 | - | 3097M | 0 |2907 | 202k| 204k| 850 | 14 |3807 | 20 | 0.000000e+00 | -- | Inf | unknown
1524.65/1529.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1524.65/1529.31 c 1529s| 1 | 2 |721904 | - | 3097M | 0 |2907 | 202k| 204k| 850 | 14 |3833 | 39 | 0.000000e+00 | -- | Inf | unknown
1886.80/1892.58 c 1893s| 100 | 65 |930462 | 604.2 | 3255M | 26 |2907 | 202k| 204k|4658 | 2 |4469 | 39 | 0.000000e+00 | -- | Inf | unknown
1909.24/1915.06 c 1915s| 200 | 73 |949475 | 577.1 | 3258M | 31 |2907 | 202k| 204k|5019 | 1 |4681 | 39 | 0.000000e+00 | -- | Inf | unknown
1944.53/1950.49 c 1950s| 300 | 77 |978531 | 559.5 | 3259M | 31 |2907 | 202k| 0 |5771 | 0 |4902 | 39 | 0.000000e+00 | -- | Inf | unknown
1982.31/1988.39 c 1988s| 400 | 80 | 1006k| 543.4 | 3267M | 31 |2907 | 202k| 0 |6440 | 0 |5147 | 39 | 0.000000e+00 | -- | Inf | unknown
2031.46/2037.62 c 2038s| 500 | 101 | 1039k| 531.4 | 3275M | 31 |2907 | 202k| 204k|7706 | 3 |5421 | 39 | 0.000000e+00 | -- | Inf | unknown
2066.76/2073.09 c 2073s| 600 | 123 | 1064k| 517.0 | 3278M | 31 |2907 | 202k| 204k|9061 | 0 |5673 | 39 | 0.000000e+00 | -- | Inf | unknown
2103.65/2110.00 c 2110s| 700 | 135 | 1093k| 505.8 | 3281M | 31 |2907 | 202k| 204k| 10k| 2 |5910 | 39 | 0.000000e+00 | -- | Inf | unknown
2130.76/2137.23 c 2137s| 800 | 134 | 1113k| 491.5 | 3285M | 31 |2907 | 203k| 204k| 11k| 2 |6112 | 39 | 0.000000e+00 | -- | Inf | unknown
2179.22/2185.88 c 2186s| 900 | 149 | 1145k| 483.8 | 3288M | 31 |2907 | 203k| 204k| 12k| 2 |6360 | 39 | 0.000000e+00 | -- | Inf | unknown
2202.55/2209.23 c 2209s| 1000 | 143 | 1161k| 470.1 | 3289M | 31 |2907 | 203k| 204k| 12k| 2 |6568 | 39 | 0.000000e+00 | -- | Inf | unknown
2226.46/2233.28 c 2233s| 1100 | 134 | 1177k| 457.2 | 3290M | 31 |2907 | 203k| 204k| 13k| 0 |6804 | 39 | 0.000000e+00 | -- | Inf | unknown
2251.88/2258.77 c 2259s| 1200 | 139 | 1198k| 447.3 | 3291M | 31 |2907 | 203k| 204k| 13k| 0 |7040 | 39 | 0.000000e+00 | -- | Inf | unknown
2285.67/2292.68 c 2293s| 1300 | 142 | 1220k| 438.8 | 3292M | 31 |2907 | 203k| 204k| 15k| 0 |7256 | 39 | 0.000000e+00 | -- | Inf | unknown
2329.83/2336.98 c 2337s| 1400 | 156 | 1246k| 432.2 | 3295M | 34 |2907 | 203k| 204k| 16k| 2 |7464 | 39 | 0.000000e+00 | -- | Inf | unknown
2357.53/2364.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2357.53/2364.74 c 2365s| 1500 | 157 | 1263k| 422.8 | 3295M | 34 |2907 | 203k| 204k| 16k| 0 |7733 | 39 | 0.000000e+00 | -- | Inf | unknown
2385.24/2392.52 c 2393s| 1600 | 167 | 1282k| 414.8 | 3297M | 34 |2907 | 203k| 204k| 17k| 0 |7974 | 39 | 0.000000e+00 | -- | Inf | unknown
2411.06/2418.49 c 2418s| 1700 | 171 | 1300k| 407.3 | 3299M | 34 |2907 | 203k| 204k| 18k| 1 |8190 | 39 | 0.000000e+00 | -- | Inf | unknown
2437.76/2445.27 c 2445s| 1800 | 170 | 1317k| 399.6 | 3299M | 34 |2907 | 204k| 204k| 19k| 0 |8423 | 39 | 0.000000e+00 | -- | Inf | unknown
2505.95/2513.63 c 2514s| 1900 | 198 | 1363k| 401.7 | 3309M | 34 |2907 | 204k| 204k| 20k| 1 |8674 | 39 | 0.000000e+00 | -- | Inf | unknown
2536.45/2544.24 c 2544s| 2000 | 211 | 1385k| 396.0 | 3313M | 35 |2907 | 204k| 204k| 21k| 2 |8947 | 39 | 0.000000e+00 | -- | Inf | unknown
2551.70/2559.58 c 2560s| 2100 | 216 | 1394k| 387.0 | 3316M | 38 |2907 | 204k| 204k| 21k| 1 |9175 | 39 | 0.000000e+00 | -- | Inf | unknown
2566.35/2574.25 c 2574s| 2200 | 210 | 1402k| 378.6 | 3316M | 38 |2907 | 204k| 204k| 21k| 1 |9404 | 39 | 0.000000e+00 | -- | Inf | unknown
2608.71/2616.71 c 2617s| 2300 | 222 | 1431k| 376.0 | 3318M | 38 |2907 | 204k| 0 | 22k| 0 |9684 | 39 | 0.000000e+00 | -- | Inf | unknown
2629.74/2637.84 c 2638s| 2400 | 226 | 1444k| 369.4 | 3322M | 38 |2907 | 204k| 204k| 22k| 0 |9999 | 39 | 0.000000e+00 | -- | Inf | unknown
2652.96/2661.19 c 2661s| 2500 | 230 | 1458k| 363.5 | 3325M | 38 |2907 | 205k| 204k| 23k| 0 | 10k| 39 | 0.000000e+00 | -- | Inf | unknown
2676.68/2684.98 c 2685s| 2600 | 236 | 1472k| 357.8 | 3325M | 38 |2907 | 205k| 204k| 23k| 0 | 10k| 39 | 0.000000e+00 | -- | Inf | unknown
2711.66/2720.07 c 2720s| 2700 | 247 | 1496k| 354.7 | 3330M | 38 |2907 | 205k| 204k| 24k| 2 | 10k| 39 | 0.000000e+00 | -- | Inf | unknown
2733.09/2741.53 c 2742s| 2800 | 242 | 1508k| 349.1 | 3330M | 38 |2907 | 205k| 204k| 24k| 1 | 11k| 39 | 0.000000e+00 | -- | Inf | unknown
2760.50/2769.01 c 2769s| 2900 | 243 | 1526k| 345.1 | 3332M | 38 |2907 | 206k| 204k| 24k| 2 | 11k| 39 | 0.000000e+00 | -- | Inf | unknown
2796.77/2805.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2796.77/2805.41 c 2805s| 3000 | 248 | 1548k| 342.3 | 3334M | 38 |2907 | 206k| 204k| 25k| 2 | 11k| 39 | 0.000000e+00 | -- | Inf | unknown
2834.06/2842.88 c 2843s| 3100 | 259 | 1572k| 339.9 | 3336M | 38 |2907 | 206k| 204k| 26k| 0 | 12k| 39 | 0.000000e+00 | -- | Inf | unknown
2874.73/2883.69 c 2884s| 3200 | 269 | 1594k| 337.4 | 3338M | 38 |2907 | 206k| 204k| 27k| 0 | 12k| 39 | 0.000000e+00 | -- | Inf | unknown
2897.65/2906.62 c 2907s| 3300 | 262 | 1606k| 332.7 | 3339M | 38 |2907 | 206k| 204k| 27k| 2 | 12k| 39 | 0.000000e+00 | -- | Inf | unknown
2916.78/2925.86 c 2926s| 3400 | 264 | 1618k| 328.0 | 3340M | 38 |2907 | 206k| 204k| 27k| 0 | 12k| 39 | 0.000000e+00 | -- | Inf | unknown
2935.12/2944.26 c 2944s| 3500 | 268 | 1629k| 323.6 | 3342M | 38 |2907 | 206k| 0 | 28k| 0 | 13k| 39 | 0.000000e+00 | -- | Inf | unknown
2966.52/2975.73 c 2976s| 3600 | 280 | 1649k| 321.0 | 3343M | 38 |2907 | 206k| 0 | 28k| 0 | 13k| 39 | 0.000000e+00 | -- | Inf | unknown
2998.31/3007.69 c 3008s| 3700 | 291 | 1667k| 318.3 | 3344M | 38 |2907 | 207k| 204k| 29k| 2 | 13k| 39 | 0.000000e+00 | -- | Inf | unknown
3018.65/3028.06 c 3028s| 3800 | 289 | 1679k| 314.4 | 3344M | 38 |2907 | 207k| 204k| 30k| 2 | 13k| 39 | 0.000000e+00 | -- | Inf | unknown
3042.58/3052.05 c 3052s| 3900 | 287 | 1697k| 311.7 | 3344M | 38 |2907 | 207k| 204k| 30k| 2 | 14k| 39 | 0.000000e+00 | -- | Inf | unknown
3067.10/3076.64 c 3077s| 4000 | 287 | 1713k| 308.9 | 3345M | 38 |2907 | 207k| 204k| 30k| 0 | 14k| 39 | 0.000000e+00 | -- | Inf | unknown
3115.86/3125.51 c 3126s| 4100 | 303 | 1750k| 310.1 | 3348M | 38 |2907 | 206k| 204k| 32k| 1 | 14k| 39 | 0.000000e+00 | -- | Inf | unknown
3175.58/3185.49 c 3185s| 4200 | 333 | 1794k| 312.4 | 3360M | 38 |2907 | 206k| 204k| 33k| 1 | 14k| 39 | 0.000000e+00 | -- | Inf | unknown
3207.77/3217.73 c 3218s| 4300 | 338 | 1815k| 310.7 | 3360M | 40 |2907 | 206k| 204k| 33k| 2 | 15k| 39 | 0.000000e+00 | -- | Inf | unknown
3250.64/3260.71 c 3261s| 4400 | 352 | 1847k| 310.8 | 3366M | 40 |2907 | 206k| 204k| 35k| 2 | 15k| 39 | 0.000000e+00 | -- | Inf | unknown
3285.43/3295.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3285.43/3295.60 c 3296s| 4500 | 356 | 1871k| 309.5 | 3369M | 40 |2907 | 207k| 204k| 36k| 2 | 15k| 39 | 0.000000e+00 | -- | Inf | unknown
3315.44/3325.77 c 3326s| 4600 | 355 | 1887k| 307.1 | 3389M | 40 |2907 | 207k| 204k| 36k| 1 | 15k| 39 | 0.000000e+00 | -- | Inf | unknown
3356.03/3366.48 c 3366s| 4700 | 364 | 1916k| 306.7 | 3392M | 40 |2907 | 207k| 204k| 37k| 0 | 16k| 39 | 0.000000e+00 | -- | Inf | unknown
3390.82/3401.38 c 3401s| 4800 | 375 | 1940k| 305.7 | 3392M | 40 |2907 | 207k| 204k| 38k| 2 | 16k| 39 | 0.000000e+00 | -- | Inf | unknown
3425.71/3436.33 c 3436s| 4900 | 383 | 1963k| 304.5 | 3397M | 40 |2907 | 207k| 204k| 39k| 0 | 16k| 39 | 0.000000e+00 | -- | Inf | unknown
3480.94/3491.78 c 3492s| 5000 | 403 | 1998k| 305.2 | 3400M | 40 |2907 | 207k| 204k| 40k| 3 | 17k| 39 | 0.000000e+00 | -- | Inf | unknown
3512.64/3523.58 c 3524s| 5100 | 413 | 2019k| 303.6 | 3402M | 40 |2907 | 207k| 204k| 41k| 2 | 17k| 39 | 0.000000e+00 | -- | Inf | unknown
3538.07/3549.07 c 3549s| 5200 | 407 | 2034k| 301.4 | 3403M | 40 |2907 | 207k| 204k| 42k| 0 | 17k| 39 | 0.000000e+00 | -- | Inf | unknown
3571.66/3582.71 c 3583s| 5300 | 417 | 2055k| 300.0 | 3407M | 40 |2907 | 207k| 204k| 42k| 2 | 17k| 39 | 0.000000e+00 | -- | Inf | unknown
3585.81/3597.00 c
3585.81/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.81/3597.00 c Solving Time (sec) : 3597.00
3585.81/3597.00 c Solving Nodes : 5354 (total of 6684 nodes in 2 runs)
3585.81/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3585.81/3597.00 c Dual Bound : +0.00000000000000e+00
3585.81/3597.00 c Gap : infinite
3585.81/3597.00 s UNKNOWN
3585.81/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.81/3597.00 c Total Time : 3597.00
3585.81/3597.00 c solving : 3597.00
3585.81/3597.00 c presolving : 476.92 (included in solving)
3585.81/3597.00 c reading : 0.60 (included in solving)
3585.81/3597.00 c copying : 0.70 (3 #copies) (minimal 0.23, maximal 0.24, average 0.23)
3585.81/3597.00 c Original Problem :
3585.81/3597.00 c Problem name : HOME/instance-4544463-1753215059.opb
3585.81/3597.00 c Variables : 5508 (5508 binary, 0 integer, 0 continuous)
3585.81/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3585.81/3597.00 c Constraints : 408375 initial, 408375 maximal
3585.81/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.81/3597.00 c Presolved Problem :
3585.81/3597.00 c Problem name : t_HOME/instance-4544463-1753215059.opb
3585.81/3597.00 c Variables : 2907 (2907 binary, 0 integer, 0 continuous)
3585.81/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3585.81/3597.00 c Constraints : 202754 initial, 207951 maximal
3585.81/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.81/3597.00 c Nonzeros : 546779 constraint, 411847 clique table
3585.81/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.81/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.81/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.81/3597.00 c domcol : 0.00 0.00 106 0 0 0 0 0 0 0 0 0
3585.81/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.81/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.81/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.81/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.81/3597.00 c gateextraction : 22.74 0.00 111 0 0 0 0 0 15284 5092 0 0
3585.81/3597.00 c implics : 0.01 0.00 113 0 0 0 0 0 0 0 0 0
3585.81/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.81/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.81/3597.00 c milp : 1.28 0.00 1 0 0 0 0 0 0 0 0 0
3585.81/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.81/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.81/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.81/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.81/3597.00 c trivial : 0.03 0.00 210 0 0 0 0 0 0 0 0 0
3585.81/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.81/3597.00 c dualfix : 0.02 0.00 210 0 0 0 0 0 0 0 0 0
3585.81/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.81/3597.00 c probing : 378.10 0.00 105 0 2584 0 0 0 0 0 0 0
3585.81/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.81/3597.00 c symmetry : 0.63 0.00 1 0 0 0 0 0 0 0 0 0
3585.81/3597.00 c vbounds : 0.49 0.00 8 0 0 0 0 0 0 0 0 0
3585.81/3597.00 c knapsack : 0.05 0.00 11 0 0 0 0 0 5222 10441 54 307
3585.81/3597.00 c setppc : 31.75 0.05 430 0 0 0 0 0 156342 0 0 0
3585.81/3597.00 c and : 2.05 0.00 316 0 17 0 0 0 2372 18 0 0
3585.81/3597.00 c linear : 1.02 0.09 8 0 0 0 0 0 0 0 2 5204
3585.81/3597.00 c logicor : 37.49 0.10 428 0 0 0 0 0 44418 0 0 61
3585.81/3597.00 c components : 0.12 0.00 2 0 0 0 0 0 0 0 0 0
3585.81/3597.00 c root node : - - - 0 - - 0 - - - - -
3585.81/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.92/3597.00 c integral : 0 0 0 0 3606 0 0 401 0 0 0 0 0 0 7212
3585.92/3597.00 c knapsack : 11+ 29 14 31313 0 0 0 0 107931 32 28138 0 0 0 0
3585.92/3597.00 c setppc : 156529+ 156535 25 56087 0 0 0 396 157012 91 258645 0 0 0 0
3585.92/3597.00 c and : 2710 2710 6947 55996 0 0 0 10 164726 96 122770 110435 54459 0 0
3585.92/3597.00 c linear : 92+ 93 0 32070 0 0 0 3 3633 312 34059 0 0 0 0
3585.92/3597.00 c logicor : 43412+ 48602 25 30378 0 0 0 3 57448 206 517571 1 0 0 0
3585.92/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.92/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.92/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.92/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.92/3597.00 c integral : 44.49 0.00 0.00 0.00 44.49 0.00 0.00 0.00 0.00 0.00
3585.92/3597.00 c knapsack : 0.69 0.00 0.00 0.66 0.00 0.00 0.00 0.00 0.02 0.00
3585.92/3597.00 c setppc : 100.60 0.05 0.29 99.79 0.00 0.00 0.00 0.38 0.05 0.05
3585.92/3597.00 c and : 8.66 0.00 2.95 5.58 0.00 0.00 0.00 0.00 0.08 0.04
3585.92/3597.00 c linear : 0.95 0.09 0.00 0.84 0.00 0.00 0.00 0.00 0.03 0.00
3585.92/3597.00 c logicor : 15.97 0.10 0.25 15.52 0.00 0.00 0.00 0.00 0.04 0.05
3585.92/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.92/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.92/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.92/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.92/3597.00 c dualfix : 2 0 0 0
3585.92/3597.00 c genvbounds : 0 0 0 0
3585.92/3597.00 c nlobbt : 0 0 0 0
3585.92/3597.00 c obbt : 0 0 0 0
3585.92/3597.00 c probing : 0 0 0 0
3585.92/3597.00 c pseudoobj : 0 0 0 0
3585.92/3597.00 c redcost : 0 0 0 0
3585.92/3597.00 c rootredcost : 0 0 0 0
3585.92/3597.00 c symmetry : 3678 0 128 2413
3585.92/3597.00 c vbounds : 30195 0 0 0
3585.92/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.92/3597.00 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3585.92/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3585.92/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.92/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.92/3597.00 c probing : 378.10 0.00 378.10 0.00 0.00 0.00
3585.92/3597.00 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3585.92/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3585.92/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3585.92/3597.00 c symmetry : 0.73 0.00 0.63 0.10 0.00 0.00
3585.92/3597.00 c vbounds : 2.07 0.00 0.49 1.58 0.00 0.00
3585.92/3597.00 c Symmetry :
3585.92/3597.00 c #affected vars : 2736 (2736 bin, 0 int, 0 cont)
3585.92/3597.00 c orbitopal red. : 2413 reductions applied, 128 cutoffs
3585.92/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3585.92/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3585.92/3597.00 c shadow tree time : 0.00 s
3585.92/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.92/3597.00 c propagation : 0.08 435 431 - 4327 67.9 15 38.4 - - -
3585.92/3597.00 c infeasible LP : 8.12 2558 2558 - 31698 69.1 22 38.6 2558 161.7 0
3585.92/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.92/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.92/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.92/3597.00 c applied globally : 4.53 - - 0 15375 45.2 - - 2558 - -
3585.92/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.92/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.92/3597.00 c cut pool : 0.38 - 895 48 - - 11756 32886 - - - - - (maximal pool size: 6299)
3585.92/3597.00 c aggregation : 1.42 0.00 93 25 0 0 2 2 0 1 1 0 0
3585.92/3597.00 c > cmir : - - - - - - - 1 0 0 0 0 -
3585.92/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3585.92/3597.00 c > knapsackcover : - - - - - - - 1 0 1 1 0 -
3585.92/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.92/3597.00 c clique : 3.71 0.00 25 25 0 0 196 2539 0 458 458 0 0
3585.92/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.92/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.92/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.92/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.92/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.92/3597.00 c gomory : 151.99 0.00 88 20 0 0 7435 16566 0 1579 1579 0 0
3585.92/3597.00 c > gomorymi : - - - - - - - 5521 0 131 131 0 -
3585.92/3597.00 c > strongcg : - - - - - - - 11045 0 1448 1448 0 -
3585.92/3597.00 c impliedbounds : 1.64 0.00 93 25 0 0 3362 8032 0 3704 3704 0 0
3585.92/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.92/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.92/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.92/3597.00 c mcf : 0.25 0.00 2 2 0 0 0 0 0 0 0 0 0
3585.92/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.92/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.92/3597.00 c multilinear : 0.00 0.00 197 25 0 0 0 0 0 0 0 0 0
3585.92/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.92/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.92/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3585.92/3597.00 c zerohalf : 4.39 0.00 93 25 0 0 760 5747 0 2842 2842 0 0
3585.92/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.92/3597.00 c hybrid : 0.09 0.00 5475 25 63043 0 80279 1797 0 9324
3585.92/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.92/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.92/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3585.92/3597.00 c problem variables: 0.00 - 0 0
3585.92/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.92/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.92/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.92/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.92/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.92/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.92/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.92/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.92/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.92/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.92/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.92/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.92/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.92/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.92/3597.00 c relpscost : 44.48 0.00 3606 0 0 0 0 0 0 7212
3585.92/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.92/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.92/3597.00 c LP solutions : 0.00 - - 0 0
3585.92/3597.00 c relax solutions : 0.00 - - 0 0
3585.92/3597.00 c pseudo solutions : 0.00 - - 0 0
3585.92/3597.00 c strong branching : 0.00 - - 0 0
3585.92/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3585.92/3597.00 c adaptivediving : 44.65 0.00 7 0 0
3585.92/3597.00 c alns : 0.55 0.00 5 0 0
3585.92/3597.00 c bound : 0.00 0.00 0 0 0
3585.92/3597.00 c clique : 0.48 0.00 1 0 0
3585.92/3597.00 c coefdiving : 0.00 0.00 0 0 0
3585.92/3597.00 c completesol : 0.00 0.00 0 0 0
3585.92/3597.00 c conflictdiving : 85.54 0.00 12 0 0
3585.92/3597.00 c crossover : 0.00 0.00 0 0 0
3585.92/3597.00 c dins : 0.00 0.00 0 0 0
3585.92/3597.00 c distributiondivin: 68.98 0.00 12 0 0
3585.92/3597.00 c dks : 0.00 0.00 0 0 0
3585.92/3597.00 c dps : 0.00 0.00 0 0 0
3585.92/3597.00 c dualval : 0.00 0.00 0 0 0
3585.92/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3585.92/3597.00 c feaspump : 26.65 0.00 6 0 0
3585.92/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3585.92/3597.00 c fracdiving : 34.88 0.00 12 0 0
3585.92/3597.00 c gins : 0.00 0.00 0 0 0
3585.92/3597.00 c guideddiving : 0.00 0.00 0 0 0
3585.92/3597.00 c indicator : 0.00 0.00 0 0 0
3585.92/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3585.92/3597.00 c intdiving : 0.00 0.00 0 0 0
3585.92/3597.00 c intshifting : 0.00 0.00 0 0 0
3585.92/3597.00 c linesearchdiving : 47.67 0.00 12 0 0
3585.92/3597.00 c localbranching : 0.00 0.00 0 0 0
3585.92/3597.00 c locks : 0.10 0.00 1 0 0
3585.92/3597.00 c lpface : 0.04 0.00 0 0 0
3585.92/3597.00 c mpec : 0.00 0.00 0 0 0
3585.92/3597.00 c multistart : 0.00 0.00 0 0 0
3585.92/3597.00 c mutation : 0.00 0.00 0 0 0
3585.92/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3585.92/3597.00 c objpscostdiving : 115.25 0.00 6 0 0
3585.92/3597.00 c octane : 0.00 0.00 0 0 0
3585.92/3597.00 c ofins : 0.00 0.00 0 0 0
3585.92/3597.00 c oneopt : 0.01 0.00 0 0 0
3585.92/3597.00 c padm : 0.00 0.00 0 0 0
3585.92/3597.00 c proximity : 0.00 0.00 0 0 0
3585.92/3597.00 c pscostdiving : 107.91 0.00 12 0 0
3585.92/3597.00 c randrounding : 2.25 0.00 404 0 0
3585.92/3597.00 c rens : 1.78 0.00 2 0 0
3585.92/3597.00 c reoptsols : 0.00 0.00 0 0 0
3585.92/3597.00 c repair : 0.00 0.00 0 0 0
3585.92/3597.00 c rins : 0.00 0.00 0 0 0
3585.92/3597.00 c rootsoldiving : 36.80 0.00 6 0 0
3585.92/3597.00 c rounding : 8.06 0.00 1298 0 0
3585.92/3597.00 c scheduler : 0.00 0.00 0 0 0
3585.92/3597.00 c shiftandpropagate: 0.59 0.00 2 0 0
3585.92/3597.00 c shifting : 8.26 0.00 435 0 0
3585.92/3597.00 c simplerounding : 0.00 0.00 0 0 0
3585.92/3597.00 c subnlp : 0.00 0.00 0 0 0
3585.92/3597.00 c trivial : 0.08 0.00 4 0 0
3585.92/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3585.92/3597.00 c trustregion : 0.00 0.00 0 0 0
3585.92/3597.00 c trysol : 0.00 0.00 0 0 0
3585.92/3597.00 c twoopt : 0.00 0.00 0 0 0
3585.92/3597.00 c undercover : 0.00 0.00 1 0 0
3585.92/3597.00 c vbounds : 0.41 0.00 2 0 0
3585.92/3597.00 c veclendiving : 29.26 0.00 12 0 0
3585.92/3597.00 c zeroobj : 0.00 0.00 0 0 0
3585.92/3597.00 c zirounding : 7.82 0.00 1000 0 0
3585.92/3597.00 c other solutions : - - - 0 -
3585.92/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.92/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.92/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.92/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.92/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.92/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.92/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.92/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.92/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3585.92/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3585.92/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.92/3597.00 c primal LP : 5.65 285 0 0.00 0.00 5.65 285
3585.92/3597.00 c dual LP : 2017.32 11514 1693113 147.27 839.29 0.22 17
3585.92/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3585.92/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.92/3597.00 c resolve instable : 0.00 0 0 0.00 -
3585.92/3597.00 c diving/probing LP: 586.76 619 372191 601.28 634.32
3585.92/3597.00 c strong branching : 23.88 39 21393 548.54 895.74 - - 25
3585.92/3597.00 c (at root node) : - 39 21393 548.54 -
3585.92/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3585.92/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3585.92/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3585.92/3597.00 c B&B Tree :
3585.92/3597.00 c number of runs : 2
3585.92/3597.00 c nodes : 5354 (2916 internal, 2438 leaves)
3585.92/3597.00 c feasible leaves : 0
3585.92/3597.00 c infeas. leaves : 2437
3585.92/3597.00 c objective leaves : 0
3585.92/3597.00 c nodes (total) : 6684 (3606 internal, 3078 leaves)
3585.92/3597.00 c nodes left : 416
3585.92/3597.00 c max depth : 40
3585.92/3597.00 c max depth (total): 40
3585.92/3597.00 c backtracks : 947 (17.7%)
3585.92/3597.00 c early backtracks : 0 (0.0%)
3585.92/3597.00 c nodes exc. ref. : 0 (0.0%)
3585.92/3597.00 c delayed cutoffs : 64
3585.92/3597.00 c repropagations : 5000 (86851 domain reductions, 56 cutoffs)
3585.92/3597.00 c avg switch length: 4.06
3585.92/3597.00 c switching time : 27.76
3585.92/3597.00 c Root Node :
3585.92/3597.00 c First LP value : +0.00000000000000e+00
3585.92/3597.00 c First LP Iters : 3705 (3541.90 Iter/sec)
3585.92/3597.00 c First LP Time : 1.05
3585.92/3597.00 c Final Dual Bound : +0.00000000000000e+00
3585.92/3597.00 c Final Root Iters : 67027
3585.92/3597.00 c Root LP Estimate : +7.28039341343950e-03
3585.92/3597.00 c Solution :
3585.92/3597.00 c Solutions found : 0 (0 improvements)
3585.92/3597.00 c Primal Bound : -
3585.92/3597.00 c Dual Bound : +0.00000000000000e+00
3585.92/3597.00 c Gap : infinite
3585.92/3597.00 c Integrals : Total Avg%
3585.92/3597.00 c primal-dual : 359700.19 100.00
3585.92/3597.00 c primal-ref : - - (not evaluated)
3585.92/3597.00 c dual-ref : - - (not evaluated)
3586.51/3597.66 c Time complete (sec): 3586.585