| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | No Cert. | 3600.1 | 3666.07 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran14x18.opb |
| MD5SUM | 5c8d8ce64a950076da07daccd75facb4 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4052992 |
| Best CPU time to get the best result obtained on this benchmark | 71226.5 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 7812 |
| Total number of constraints | 284 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 284 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 540 |
| Number of terms in the objective function | 7812 |
| Biggest coefficient in the objective function | 5368709120 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 1450667950777 |
| Number of bits of the sum of numbers in the objective function | 41 |
| Biggest number in a constraint | 5368709120 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 1450667950777 |
| Number of bits of the biggest sum of numbers | 41 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.26/1.52 c #variables 7812 #constraints 316 2.83/4.15 c bounds - >= 0 @ 0.280267 2.83/4.15 c bounds 7346171 >= 0 @ 0.332419 2.83/4.15 c #Conflicts: 1000 | #Constraints: 1319 2.83/4.15 c #Conflicts: 2000 | #Constraints: 2322 2.83/4.15 c INPROCESSING 2.83/4.15 c GARBAGE COLLECT 2.83/4.15 c rational objective 3.08935e+06 11.68/13.08 c bounds 7278587 >= 0 @ 2.78496 11.68/13.08 c bounds 7278379 >= 0 @ 2.79206 11.68/13.08 c bounds 7278275 >= 0 @ 2.84881 11.68/13.08 c bounds 7261891 >= 0 @ 2.86382 11.68/13.08 c bounds 7186115 >= 0 @ 3.61681 11.68/13.08 c bounds 7186111 >= 0 @ 4.79726 11.68/13.08 c #Conflicts: 3000 | #Constraints: 2344 11.68/13.08 c #Conflicts: 4000 | #Constraints: 3347 11.68/13.08 c INPROCESSING 11.68/13.08 c GARBAGE COLLECT 11.68/13.08 c bounds 7186059 >= 0 @ 7.1848 11.68/13.08 c bounds 7186046 >= 0 @ 7.86889 11.68/13.08 c bounds 7186033 >= 0 @ 7.89938 11.68/13.08 c bounds 7186020 >= 0 @ 8.30045 11.68/13.08 c #Conflicts: 5000 | #Constraints: 2752 11.68/13.08 c #Conflicts: 6000 | #Constraints: 3756 11.68/13.08 c INPROCESSING 11.68/13.08 c GARBAGE COLLECT 11.68/13.08 c rational objective 3.08939e+06 17.56/18.93 c bounds 7158372 >= 0 @ 12.1465 17.56/18.93 c bounds 6892128 >= 0 @ 12.3429 17.56/18.93 c #Conflicts: 7000 | #Constraints: 2758 17.56/18.93 c bounds 6824544 >= 0 @ 12.502 17.56/18.93 c bounds 6824533 >= 0 @ 12.7063 17.56/18.93 c bounds 6824511 >= 0 @ 12.7649 17.56/18.93 c bounds 6824505 >= 0 @ 12.8826 17.56/18.93 c bounds 6824483 >= 0 @ 12.8945 17.56/18.93 c bounds 6824449 >= 0 @ 12.9505 17.56/18.93 c bounds 6824427 >= 0 @ 13.057 17.56/18.93 c #Conflicts: 8000 | #Constraints: 3768 17.56/18.93 c #Conflicts: 9000 | #Constraints: 4768 17.56/18.93 c INPROCESSING 17.56/18.93 c GARBAGE COLLECT 17.56/18.93 c rational objective 3.08939e+06 24.23/25.66 c bounds 6824024 >= 0 @ 17.0815 24.23/25.66 c bounds 6824016 >= 0 @ 17.3667 24.23/25.66 c bounds 6824003 >= 0 @ 17.7817 24.23/25.66 c bounds 6824000 >= 0 @ 18.0214 24.23/25.66 c bounds 6821734 >= 0 @ 18.6497 24.23/25.66 c bounds 6821721 >= 0 @ 18.6651 24.23/25.66 c bounds 6821710 >= 0 @ 18.8375 24.23/25.66 c bounds 6821687 >= 0 @ 18.8805 24.23/25.66 c #Conflicts: 10000 | #Constraints: 3459 24.23/25.66 c bounds 6821674 >= 0 @ 19.9258 24.23/25.66 c bounds 6821650 >= 0 @ 20.0858 24.23/25.66 c bounds 6821622 >= 0 @ 20.101 24.23/25.66 c #Conflicts: 11000 | #Constraints: 4464 24.23/25.66 c #Conflicts: 12000 | #Constraints: 5470 24.23/25.66 c INPROCESSING 24.23/25.66 c GARBAGE COLLECT 24.23/25.66 c rational objective 3.08939e+06 30.91/32.31 c bounds 6821398 >= 0 @ 23.5696 30.91/32.31 c bounds 6821396 >= 0 @ 24.771 30.91/32.31 c bounds 6821385 >= 0 @ 24.7848 30.91/32.31 c bounds 6821359 >= 0 @ 24.9574 30.91/32.31 c bounds 6821151 >= 0 @ 25.023 30.91/32.31 c bounds 6821099 >= 0 @ 25.0439 30.91/32.31 c bounds 6821079 >= 0 @ 25.4154 30.91/32.31 c bounds 6787287 >= 0 @ 25.4515 30.91/32.31 c bounds 6774999 >= 0 @ 25.4643 30.91/32.31 c bounds 6666455 >= 0 @ 25.4917 30.91/32.31 c bounds 6666433 >= 0 @ 25.5482 30.91/32.31 c bounds 6661313 >= 0 @ 25.5754 30.91/32.31 c #Conflicts: 13000 | #Constraints: 3914 30.91/32.31 c bounds 6661307 >= 0 @ 26.2923 30.91/32.31 c #Conflicts: 14000 | #Constraints: 4921 30.91/32.31 c #Conflicts: 15000 | #Constraints: 5924 30.91/32.31 c INPROCESSING 30.91/32.31 c GARBAGE COLLECT 30.91/32.31 c rational objective 3.08939e+06 38.69/40.11 c bounds 6587995 >= 0 @ 30.032 38.69/40.11 c bounds 6565457 >= 0 @ 30.3886 38.69/40.11 c bounds 6565297 >= 0 @ 30.4021 38.69/40.11 c bounds 6565277 >= 0 @ 31.211 38.69/40.11 c bounds 6565274 >= 0 @ 31.3999 38.69/40.11 c #Conflicts: 16000 | #Constraints: 4142 38.69/40.11 c bounds 6565264 >= 0 @ 32.5028 38.69/40.11 c bounds 6565247 >= 0 @ 32.629 38.69/40.11 c #Conflicts: 17000 | #Constraints: 5151 38.69/40.11 c #Conflicts: 18000 | #Constraints: 6153 38.69/40.11 c INPROCESSING 38.69/40.11 c GARBAGE COLLECT 38.69/40.11 c rational objective 3.08939e+06 47.55/49.05 c bounds 6565237 >= 0 @ 37.5759 47.55/49.05 c bounds 6565157 >= 0 @ 37.8665 47.55/49.05 c bounds 6564837 >= 0 @ 37.8787 47.55/49.05 c bounds 6502373 >= 0 @ 39.5093 47.55/49.05 c #Conflicts: 19000 | #Constraints: 4170 47.55/49.05 c bounds 6422504 >= 0 @ 39.9679 47.55/49.05 c bounds 6422490 >= 0 @ 39.9914 47.55/49.05 c #Conflicts: 20000 | #Constraints: 5176 47.55/49.05 c #Conflicts: 21000 | #Constraints: 6181 47.55/49.05 c INPROCESSING 47.55/49.05 c GARBAGE COLLECT 47.55/49.05 c rational objective 3.08948e+06 57.61/59.16 c bounds 6422489 >= 0 @ 46.2112 57.61/59.16 c bounds 6422487 >= 0 @ 46.3441 57.61/59.16 c bounds 6422465 >= 0 @ 46.5087 57.61/59.16 c bounds 6422443 >= 0 @ 46.519 57.61/59.16 c bounds 6422421 >= 0 @ 46.5276 57.61/59.16 c bounds 6422377 >= 0 @ 47.019 57.61/59.16 c bounds 6422367 >= 0 @ 47.2321 57.61/59.16 c bounds 6422357 >= 0 @ 47.2729 57.61/59.16 c bounds 6422347 >= 0 @ 47.2856 57.61/59.16 c #Conflicts: 22000 | #Constraints: 3981 57.61/59.16 c bounds 6418692 >= 0 @ 49.0802 57.61/59.16 c #Conflicts: 23000 | #Constraints: 4986 57.61/59.16 c bounds 6418572 >= 0 @ 50.918 57.61/59.16 c #Conflicts: 24000 | #Constraints: 5990 57.61/59.16 c #Conflicts: 25000 | #Constraints: 6994 57.61/59.16 c INPROCESSING 57.61/59.16 c GARBAGE COLLECT 57.61/59.16 c rational objective 3.08948e+06 68.57/70.18 c bounds 6418530 >= 0 @ 56.4755 68.57/70.18 c bounds 6418516 >= 0 @ 56.489 68.57/70.18 c bounds 6418508 >= 0 @ 57.7895 68.57/70.18 c bounds 6418494 >= 0 @ 58.1456 68.57/70.18 c #Conflicts: 26000 | #Constraints: 4567 68.57/70.18 c bounds 6418488 >= 0 @ 58.3771 68.57/70.18 c bounds 6418480 >= 0 @ 59.1579 68.57/70.18 c bounds 6418471 >= 0 @ 59.1833 68.57/70.18 c #Conflicts: 27000 | #Constraints: 5573 68.57/70.18 c bounds 6418465 >= 0 @ 62.1604 68.57/70.18 c #Conflicts: 28000 | #Constraints: 6578 68.57/70.18 c #Conflicts: 29000 | #Constraints: 7581 68.57/70.18 c INPROCESSING 68.57/70.18 c GARBAGE COLLECT 68.57/70.18 c rational objective 3.08948e+06 77.33/78.92 c #Conflicts: 30000 | #Constraints: 4962 77.33/78.92 c #Conflicts: 31000 | #Constraints: 5966 77.33/78.92 c #Conflicts: 32000 | #Constraints: 6970 77.33/78.92 c #Conflicts: 33000 | #Constraints: 7973 77.33/78.92 c INPROCESSING 77.33/78.92 c GARBAGE COLLECT 77.33/78.92 c rational objective 3.08948e+06 89.59/91.21 c bounds 6418409 >= 0 @ 75.1636 89.59/91.21 c bounds 6418406 >= 0 @ 75.5605 89.59/91.21 c bounds 6418307 >= 0 @ 75.6538 89.59/91.21 c bounds 6418293 >= 0 @ 75.6711 89.59/91.21 c bounds 6418265 >= 0 @ 75.6832 89.59/91.21 c bounds 6418241 >= 0 @ 77.0166 89.59/91.21 c bounds 6418193 >= 0 @ 78.0255 89.59/91.21 c bounds 6417809 >= 0 @ 78.0736 89.59/91.21 c #Conflicts: 34000 | #Constraints: 5174 89.59/91.21 c bounds 6416913 >= 0 @ 78.7146 89.59/91.21 c bounds 6416145 >= 0 @ 79.2856 89.59/91.21 c bounds 6413329 >= 0 @ 79.547 89.59/91.21 c bounds 6407185 >= 0 @ 79.9623 89.59/91.21 c #Conflicts: 35000 | #Constraints: 6180 89.59/91.21 c #Conflicts: 36000 | #Constraints: 7184 89.59/91.21 c #Conflicts: 37000 | #Constraints: 8188 89.59/91.21 c INPROCESSING 89.59/91.21 c GARBAGE COLLECT 89.59/91.21 c rational objective 3.08948e+06 102.74/104.42 c bounds 6407174 >= 0 @ 88.8135 102.74/104.42 c #Conflicts: 38000 | #Constraints: 5173 102.74/104.42 c bounds 6407158 >= 0 @ 91.8163 102.74/104.42 c #Conflicts: 39000 | #Constraints: 6175 102.74/104.42 c #Conflicts: 40000 | #Constraints: 7180 102.74/104.42 c #Conflicts: 41000 | #Constraints: 8191 102.74/104.42 c INPROCESSING 102.74/104.42 c GARBAGE COLLECT 102.74/104.42 c rational objective 3.08948e+06 119.18/120.92 c bounds 6407144 >= 0 @ 99.8713 119.18/120.92 c #Conflicts: 42000 | #Constraints: 4981 119.18/120.92 c #Conflicts: 43000 | #Constraints: 5982 119.18/120.92 c #Conflicts: 44000 | #Constraints: 6983 119.18/120.92 c bounds 6407112 >= 0 @ 111.885 119.18/120.92 c #Conflicts: 45000 | #Constraints: 7985 119.18/120.92 c #Conflicts: 46000 | #Constraints: 8991 119.18/120.92 c INPROCESSING 119.18/120.92 c GARBAGE COLLECT 119.18/120.92 c rational objective 3.08948e+06 129.44/131.22 c #Conflicts: 47000 | #Constraints: 5574 129.44/131.22 c #Conflicts: 48000 | #Constraints: 6576 129.44/131.22 c #Conflicts: 49000 | #Constraints: 7579 129.44/131.22 c #Conflicts: 50000 | #Constraints: 8579 129.44/131.22 c #Conflicts: 51000 | #Constraints: 9582 129.44/131.22 c INPROCESSING 129.44/131.22 c GARBAGE COLLECT 129.44/131.22 c rational objective 3.08948e+06 144.18/146.06 c bounds 6405432 >= 0 @ 125.948 144.18/146.06 c bounds 6393144 >= 0 @ 127.031 144.18/146.06 c bounds 6393138 >= 0 @ 127.079 144.18/146.06 c bounds 6393126 >= 0 @ 127.095 144.18/146.06 c bounds 6393123 >= 0 @ 127.114 144.18/146.06 c bounds 6393103 >= 0 @ 127.917 144.18/146.06 c bounds 6393063 >= 0 @ 128.118 144.18/146.06 c bounds 6393058 >= 0 @ 128.664 144.18/146.06 c bounds 6393048 >= 0 @ 128.784 144.18/146.06 c bounds 6393045 >= 0 @ 128.916 144.18/146.06 c #Conflicts: 52000 | #Constraints: 5980 144.18/146.06 c bounds 6393034 >= 0 @ 131.233 144.18/146.06 c bounds 6393031 >= 0 @ 131.269 144.18/146.06 c #Conflicts: 53000 | #Constraints: 6984 144.18/146.06 c #Conflicts: 54000 | #Constraints: 7987 144.18/146.06 c #Conflicts: 55000 | #Constraints: 8993 144.18/146.06 c #Conflicts: 56000 | #Constraints: 9997 144.18/146.06 c INPROCESSING 144.18/146.06 c GARBAGE COLLECT 144.18/146.06 c rational objective 3.08948e+06 160.13/162.07 c bounds 6393026 >= 0 @ 140.478 160.13/162.07 c bounds 6393023 >= 0 @ 140.764 160.13/162.07 c bounds 6393018 >= 0 @ 140.814 160.13/162.07 c bounds 6393008 >= 0 @ 140.826 160.13/162.07 c #Conflicts: 57000 | #Constraints: 6178 160.13/162.07 c bounds 6393005 >= 0 @ 144.754 160.13/162.07 c bounds 6393000 >= 0 @ 144.778 160.13/162.07 c bounds 6392997 >= 0 @ 145.075 160.13/162.07 c bounds 6392991 >= 0 @ 145.134 160.13/162.07 c bounds 6392988 >= 0 @ 145.156 160.13/162.07 c bounds 6392973 >= 0 @ 145.233 160.13/162.07 c #Conflicts: 58000 | #Constraints: 7190 160.13/162.07 c #Conflicts: 59000 | #Constraints: 8194 160.13/162.07 c #Conflicts: 60000 | #Constraints: 9195 160.13/162.07 c #Conflicts: 61000 | #Constraints: 10198 160.13/162.07 c INPROCESSING 160.13/162.07 c GARBAGE COLLECT 160.13/162.07 c rational objective 3.08948e+06 178.25/180.24 c bounds 6392951 >= 0 @ 156.058 178.25/180.24 c bounds 6392939 >= 0 @ 156.893 178.25/180.24 c bounds 6392936 >= 0 @ 156.939 178.25/180.24 c bounds 6392933 >= 0 @ 156.955 178.25/180.24 c bounds 6392928 >= 0 @ 157.455 178.25/180.24 c bounds 6392893 >= 0 @ 158.171 178.25/180.24 c bounds 6392888 >= 0 @ 158.185 178.25/180.24 c bounds 6392886 >= 0 @ 158.416 178.25/180.24 c bounds 6392880 >= 0 @ 158.651 178.25/180.24 c #Conflicts: 62000 | #Constraints: 6189 178.25/180.24 c bounds 6392240 >= 0 @ 160.013 178.25/180.24 c bounds 6392237 >= 0 @ 160.069 178.25/180.24 c bounds 6392222 >= 0 @ 160.597 178.25/180.24 c bounds 6392219 >= 0 @ 160.877 178.25/180.24 c bounds 6392208 >= 0 @ 160.902 178.25/180.24 c bounds 6390928 >= 0 @ 160.919 178.25/180.24 c bounds 6390906 >= 0 @ 162.198 178.25/180.24 c #Conflicts: 63000 | #Constraints: 7197 178.25/180.24 c bounds 6390900 >= 0 @ 163.452 178.25/180.24 c bounds 6390830 >= 0 @ 163.543 178.25/180.24 c bounds 6390745 >= 0 @ 164.828 178.25/180.24 c bounds 6390735 >= 0 @ 164.861 178.25/180.24 c #Conflicts: 64000 | #Constraints: 8205 178.25/180.24 c #Conflicts: 65000 | #Constraints: 9209 178.25/180.24 c #Conflicts: 66000 | #Constraints: 10210 178.25/180.24 c INPROCESSING 178.25/180.24 c GARBAGE COLLECT 178.25/180.24 c rational objective 3.08948e+06 193.90/195.96 c bounds 6390715 >= 0 @ 173.646 193.90/195.96 c bounds 6390710 >= 0 @ 173.657 193.90/195.96 c bounds 6351646 >= 0 @ 174.161 193.90/195.96 c bounds 6351641 >= 0 @ 174.89 193.90/195.96 c bounds 6351621 >= 0 @ 174.908 193.90/195.96 c bounds 6351611 >= 0 @ 174.933 193.90/195.96 c #Conflicts: 67000 | #Constraints: 5974 193.90/195.96 c bounds 6351515 >= 0 @ 177.583 193.90/195.96 c bounds 6297243 >= 0 @ 177.766 193.90/195.96 c bounds 6242119 >= 0 @ 178.236 193.90/195.96 c #Conflicts: 68000 | #Constraints: 6982 193.90/195.96 c bounds 6176770 >= 0 @ 179.641 193.90/195.96 c bounds 6176768 >= 0 @ 180.245 193.90/195.96 c bounds 6173706 >= 0 @ 180.425 193.90/195.96 c bounds 6173700 >= 0 @ 181.07 193.90/195.96 c bounds 6173696 >= 0 @ 181.09 193.90/195.96 c #Conflicts: 69000 | #Constraints: 7990 193.90/195.96 c #Conflicts: 70000 | #Constraints: 8994 193.90/195.96 c #Conflicts: 71000 | #Constraints: 9997 193.90/195.96 c #Conflicts: 72000 | #Constraints: 10999 193.90/195.96 c INPROCESSING 193.90/195.96 c GARBAGE COLLECT 193.90/195.96 c rational objective 3.08948e+06 209.33/211.44 c bounds 6173695 >= 0 @ 188.895 209.33/211.44 c bounds 6173693 >= 0 @ 189.151 209.33/211.44 c bounds 6173677 >= 0 @ 190.089 209.33/211.44 c bounds 6173669 >= 0 @ 190.523 209.33/211.44 c bounds 6173664 >= 0 @ 190.684 209.33/211.44 c bounds 6173519 >= 0 @ 190.699 209.33/211.44 c bounds 6173509 >= 0 @ 190.714 209.33/211.44 c bounds 6173504 >= 0 @ 190.835 209.33/211.44 c bounds 6173317 >= 0 @ 190.86 209.33/211.44 c bounds 6173312 >= 0 @ 191.22 209.33/211.44 c #Conflicts: 73000 | #Constraints: 6583 209.33/211.44 c bounds 6173142 >= 0 @ 193.448 209.33/211.44 c bounds 6173122 >= 0 @ 193.473 209.33/211.44 c bounds 6173117 >= 0 @ 193.656 209.33/211.44 c bounds 6173116 >= 0 @ 194.211 209.33/211.44 c bounds 6173111 >= 0 @ 194.268 209.33/211.44 c bounds 6173107 >= 0 @ 194.998 209.33/211.44 c bounds 6173101 >= 0 @ 195.17 209.33/211.44 c bounds 6173085 >= 0 @ 195.223 209.33/211.44 c bounds 6173005 >= 0 @ 195.52 209.33/211.44 c #Conflicts: 74000 | #Constraints: 7593 209.33/211.44 c #Conflicts: 75000 | #Constraints: 8598 209.33/211.44 c #Conflicts: 76000 | #Constraints: 9603 209.33/211.44 c #Conflicts: 77000 | #Constraints: 10606 209.33/211.44 c #Conflicts: 78000 | #Constraints: 11610 209.33/211.44 c INPROCESSING 209.33/211.44 c GARBAGE COLLECT 209.33/211.44 c rational objective 3.08948e+06 228.87/231.08 c bounds 6172983 >= 0 @ 204.187 228.87/231.08 c bounds 6172943 >= 0 @ 204.692 228.87/231.08 c bounds 6172935 >= 0 @ 204.762 228.87/231.08 c #Conflicts: 79000 | #Constraints: 6991 228.87/231.08 c #Conflicts: 80000 | #Constraints: 7996 228.87/231.08 c bounds 6154834 >= 0 @ 212.519 228.87/231.08 c #Conflicts: 81000 | #Constraints: 9002 228.87/231.08 c #Conflicts: 82000 | #Constraints: 10009 228.87/231.08 c #Conflicts: 83000 | #Constraints: 11014 228.87/231.08 c #Conflicts: 84000 | #Constraints: 12026 228.87/231.08 c INPROCESSING 228.87/231.08 c GARBAGE COLLECT 228.87/231.08 c rational objective 3.08948e+06 248.50/250.78 c bounds 6154821 >= 0 @ 223.602 248.50/250.78 c bounds 6154652 >= 0 @ 223.829 248.50/250.78 c bounds 6154639 >= 0 @ 223.846 248.50/250.78 c bounds 6154638 >= 0 @ 223.894 248.50/250.78 c #Conflicts: 85000 | #Constraints: 7208 248.50/250.78 c bounds 6149158 >= 0 @ 229.901 248.50/250.78 c bounds 6074580 >= 0 @ 230.198 248.50/250.78 c bounds 6074568 >= 0 @ 230.219 248.50/250.78 c bounds 6074556 >= 0 @ 230.25 248.50/250.78 c #Conflicts: 86000 | #Constraints: 8214 248.50/250.78 c #Conflicts: 87000 | #Constraints: 9220 248.50/250.78 c #Conflicts: 88000 | #Constraints: 10224 248.50/250.78 c #Conflicts: 89000 | #Constraints: 11231 248.50/250.78 c #Conflicts: 90000 | #Constraints: 12239 248.50/250.78 c INPROCESSING 248.50/250.78 c GARBAGE COLLECT 248.50/250.78 c rational objective 3.08948e+06 330.02/332.59 c bounds 6074550 >= 0 @ 242.351 330.02/332.59 c bounds 6074538 >= 0 @ 242.396 330.02/332.59 c bounds 6074535 >= 0 @ 242.495 330.02/332.59 c bounds 6074151 >= 0 @ 242.508 330.02/332.59 c bounds 6071079 >= 0 @ 243.22 330.02/332.59 c bounds 6069543 >= 0 @ 243.271 330.02/332.59 c #Conflicts: 91000 | #Constraints: 7197 330.02/332.59 c #Conflicts: 92000 | #Constraints: 8199 330.02/332.59 c #Conflicts: 93000 | #Constraints: 9201 330.02/332.59 c #Conflicts: 94000 | #Constraints: 10201 330.02/332.59 c #Conflicts: 95000 | #Constraints: 11202 330.02/332.59 c #Conflicts: 96000 | #Constraints: 12202 330.02/332.59 c INPROCESSING 330.02/332.59 c GARBAGE COLLECT 330.02/332.59 c rational objective 3.08953e+06 345.86/348.41 c #Conflicts: 97000 | #Constraints: 7004 345.86/348.41 c #Conflicts: 98000 | #Constraints: 8009 345.86/348.41 c #Conflicts: 99000 | #Constraints: 9013 345.86/348.41 c #Conflicts: 100000 | #Constraints: 10018 345.86/348.41 c #Conflicts: 101000 | #Constraints: 11023 345.86/348.41 c #Conflicts: 102000 | #Constraints: 12027 345.86/348.41 c #Conflicts: 103000 | #Constraints: 13032 345.86/348.41 c INPROCESSING 345.86/348.41 c GARBAGE COLLECT 345.86/348.41 c rational objective 3.08953e+06 360.43/363.05 c #Conflicts: 104000 | #Constraints: 7593 360.43/363.05 c #Conflicts: 105000 | #Constraints: 8597 360.43/363.05 c #Conflicts: 106000 | #Constraints: 9600 360.43/363.05 c #Conflicts: 107000 | #Constraints: 10603 360.43/363.05 c #Conflicts: 108000 | #Constraints: 11605 360.43/363.05 c #Conflicts: 109000 | #Constraints: 12609 360.43/363.05 c #Conflicts: 110000 | #Constraints: 13614 360.43/363.05 c INPROCESSING 360.43/363.05 c GARBAGE COLLECT 360.43/363.05 c rational objective 3.08989e+06 375.17/377.88 c #Conflicts: 111000 | #Constraints: 7994 375.17/377.88 c #Conflicts: 112000 | #Constraints: 8999 375.17/377.88 c #Conflicts: 113000 | #Constraints: 10004 375.17/377.88 c #Conflicts: 114000 | #Constraints: 11008 375.17/377.88 c #Conflicts: 115000 | #Constraints: 12012 375.17/377.88 c #Conflicts: 116000 | #Constraints: 13017 375.17/377.88 c #Conflicts: 117000 | #Constraints: 14020 375.17/377.88 c INPROCESSING 375.17/377.88 c GARBAGE COLLECT 375.17/377.88 c rational objective 3.09016e+06 392.61/395.37 c #Conflicts: 118000 | #Constraints: 8198 392.61/395.37 c #Conflicts: 119000 | #Constraints: 9203 392.61/395.37 c #Conflicts: 120000 | #Constraints: 10207 392.61/395.37 c #Conflicts: 121000 | #Constraints: 11213 392.61/395.37 c #Conflicts: 122000 | #Constraints: 12218 392.61/395.37 c #Conflicts: 123000 | #Constraints: 13223 392.61/395.37 c #Conflicts: 124000 | #Constraints: 14229 392.61/395.37 c INPROCESSING 392.61/395.37 c GARBAGE COLLECT 392.61/395.37 c rational objective 3.09016e+06 410.26/413.05 c #Conflicts: 125000 | #Constraints: 8204 410.26/413.05 c #Conflicts: 126000 | #Constraints: 9206 410.26/413.05 c #Conflicts: 127000 | #Constraints: 10209 410.26/413.05 c #Conflicts: 128000 | #Constraints: 11216 410.26/413.05 c #Conflicts: 129000 | #Constraints: 12225 410.26/413.05 c #Conflicts: 130000 | #Constraints: 13229 410.26/413.05 c #Conflicts: 131000 | #Constraints: 14234 410.26/413.05 c INPROCESSING 410.26/413.05 c GARBAGE COLLECT 410.26/413.05 c rational objective 3.09016e+06 427.79/430.66 c #Conflicts: 132000 | #Constraints: 8014 427.79/430.66 c #Conflicts: 133000 | #Constraints: 9020 427.79/430.66 c #Conflicts: 134000 | #Constraints: 10024 427.79/430.66 c #Conflicts: 135000 | #Constraints: 11030 427.79/430.66 c #Conflicts: 136000 | #Constraints: 12033 427.79/430.66 c #Conflicts: 137000 | #Constraints: 13036 427.79/430.66 c #Conflicts: 138000 | #Constraints: 14040 427.79/430.66 c #Conflicts: 139000 | #Constraints: 15046 427.79/430.66 c INPROCESSING 427.79/430.66 c GARBAGE COLLECT 427.79/430.66 c rational objective 3.09017e+06 446.02/448.99 c #Conflicts: 140000 | #Constraints: 8606 446.02/448.99 c #Conflicts: 141000 | #Constraints: 9609 446.02/448.99 c #Conflicts: 142000 | #Constraints: 10611 446.02/448.99 c #Conflicts: 143000 | #Constraints: 11616 446.02/448.99 c #Conflicts: 144000 | #Constraints: 12625 446.02/448.99 c #Conflicts: 145000 | #Constraints: 13640 446.02/448.99 c #Conflicts: 146000 | #Constraints: 14655 446.02/448.99 c #Conflicts: 147000 | #Constraints: 15668 446.02/448.99 c INPROCESSING 446.02/448.99 c GARBAGE COLLECT 446.02/448.99 c rational objective 3.09018e+06 464.74/467.72 c #Conflicts: 148000 | #Constraints: 9022 464.74/467.72 c #Conflicts: 149000 | #Constraints: 10024 464.74/467.72 c #Conflicts: 150000 | #Constraints: 11028 464.74/467.72 c #Conflicts: 151000 | #Constraints: 12030 464.74/467.72 c #Conflicts: 152000 | #Constraints: 13031 464.74/467.72 c #Conflicts: 153000 | #Constraints: 14032 464.74/467.72 c #Conflicts: 154000 | #Constraints: 15035 464.74/467.72 c #Conflicts: 155000 | #Constraints: 16040 464.74/467.72 c INPROCESSING 464.74/467.72 c GARBAGE COLLECT 464.74/467.72 c rational objective 3.09018e+06 483.99/487.09 c #Conflicts: 156000 | #Constraints: 9209 483.99/487.09 c #Conflicts: 157000 | #Constraints: 10211 483.99/487.09 c #Conflicts: 158000 | #Constraints: 11216 483.99/487.09 c #Conflicts: 159000 | #Constraints: 12220 483.99/487.09 c #Conflicts: 160000 | #Constraints: 13226 483.99/487.09 c #Conflicts: 161000 | #Constraints: 14232 483.99/487.09 c #Conflicts: 162000 | #Constraints: 15234 483.99/487.09 c #Conflicts: 163000 | #Constraints: 16238 483.99/487.09 c INPROCESSING 483.99/487.09 c GARBAGE COLLECT 483.99/487.09 c rational objective 3.09018e+06 508.60/511.93 c bounds 6058279 >= 0 @ 472.885 508.60/511.93 c bounds 6058276 >= 0 @ 473.351 508.60/511.93 c bounds 5943588 >= 0 @ 473.392 508.60/511.93 c bounds 5942823 >= 0 @ 473.573 508.60/511.93 c bounds 5942820 >= 0 @ 473.639 508.60/511.93 c bounds 5942724 >= 0 @ 473.654 508.60/511.93 c bounds 5942676 >= 0 @ 473.668 508.60/511.93 c bounds 5942646 >= 0 @ 473.905 508.60/511.93 c bounds 5942634 >= 0 @ 473.949 508.60/511.93 c bounds 5942628 >= 0 @ 474.086 508.60/511.93 c bounds 5942610 >= 0 @ 474.373 508.60/511.93 c bounds 5942604 >= 0 @ 474.405 508.60/511.93 c #Conflicts: 164000 | #Constraints: 9227 508.60/511.93 c bounds 5942415 >= 0 @ 477.241 508.60/511.93 c #Conflicts: 165000 | #Constraints: 10230 508.60/511.93 c #Conflicts: 166000 | #Constraints: 11236 508.60/511.93 c #Conflicts: 167000 | #Constraints: 12240 508.60/511.93 c #Conflicts: 168000 | #Constraints: 13244 508.60/511.93 c #Conflicts: 169000 | #Constraints: 14246 508.60/511.93 c #Conflicts: 170000 | #Constraints: 15250 508.60/511.93 c #Conflicts: 171000 | #Constraints: 16255 508.60/511.93 c INPROCESSING 508.60/511.93 c GARBAGE COLLECT 508.60/511.93 c rational objective 3.09019e+06 534.83/538.43 c bounds 5942412 >= 0 @ 496.834 534.83/538.43 c bounds 5942031 >= 0 @ 496.899 534.83/538.43 c bounds 5942028 >= 0 @ 496.98 534.83/538.43 c bounds 5940492 >= 0 @ 497.858 534.83/538.43 c bounds 5939730 >= 0 @ 497.919 534.83/538.43 c bounds 5939727 >= 0 @ 498.005 534.83/538.43 c bounds 5939724 >= 0 @ 498.018 534.83/538.43 c bounds 5901836 >= 0 @ 498.036 534.83/538.43 c #Conflicts: 172000 | #Constraints: 9014 534.83/538.43 c bounds 5899784 >= 0 @ 498.64 534.83/538.43 c bounds 5875720 >= 0 @ 499.629 534.83/538.43 c bounds 5858104 >= 0 @ 499.716 534.83/538.43 c bounds 5858098 >= 0 @ 499.731 534.83/538.43 c bounds 5858086 >= 0 @ 501.005 534.83/538.43 c #Conflicts: 173000 | #Constraints: 10024 534.83/538.43 c bounds 5858077 >= 0 @ 502.78 534.83/538.43 c bounds 5857563 >= 0 @ 503.238 534.83/538.43 c bounds 5857557 >= 0 @ 503.408 534.83/538.43 c bounds 5850389 >= 0 @ 505.166 534.83/538.43 c #Conflicts: 174000 | #Constraints: 11032 534.83/538.43 c bounds 5850386 >= 0 @ 506.578 534.83/538.43 c bounds 5850383 >= 0 @ 506.624 534.83/538.43 c bounds 5850378 >= 0 @ 507.495 534.83/538.43 c bounds 5850372 >= 0 @ 508.025 534.83/538.43 c #Conflicts: 175000 | #Constraints: 12038 534.83/538.43 c #Conflicts: 176000 | #Constraints: 13045 534.83/538.43 c #Conflicts: 177000 | #Constraints: 14048 534.83/538.43 c #Conflicts: 178000 | #Constraints: 15052 534.83/538.43 c #Conflicts: 179000 | #Constraints: 16057 534.83/538.43 c #Conflicts: 180000 | #Constraints: 17060 534.83/538.43 c INPROCESSING 534.83/538.43 c GARBAGE COLLECT 534.83/538.43 c rational objective 3.09022e+06 564.18/567.91 c bounds 5850366 >= 0 @ 522.433 564.18/567.91 c bounds 5850354 >= 0 @ 522.455 564.18/567.91 c bounds 5850306 >= 0 @ 522.484 564.18/567.91 c bounds 5850258 >= 0 @ 522.605 564.18/567.91 c bounds 5850246 >= 0 @ 522.91 564.18/567.91 c bounds 5850228 >= 0 @ 523.116 564.18/567.91 c bounds 5850225 >= 0 @ 523.144 564.18/567.91 c bounds 5850222 >= 0 @ 523.165 564.18/567.91 c bounds 5850129 >= 0 @ 524.205 564.18/567.91 c bounds 5850126 >= 0 @ 524.239 564.18/567.91 c bounds 5849937 >= 0 @ 524.262 564.18/567.91 c bounds 5744025 >= 0 @ 524.494 564.18/567.91 c bounds 5744022 >= 0 @ 525.083 564.18/567.91 c #Conflicts: 181000 | #Constraints: 9621 564.18/567.91 c bounds 5744017 >= 0 @ 528.08 564.18/567.91 c bounds 5640593 >= 0 @ 529.092 564.18/567.91 c #Conflicts: 182000 | #Constraints: 10627 564.18/567.91 c bounds 5640588 >= 0 @ 530.303 564.18/567.91 c bounds 5640204 >= 0 @ 530.326 564.18/567.91 c bounds 5640199 >= 0 @ 533.084 564.18/567.91 c bounds 5640194 >= 0 @ 533.118 564.18/567.91 c bounds 5640184 >= 0 @ 533.149 564.18/567.91 c #Conflicts: 183000 | #Constraints: 11635 564.18/567.91 c #Conflicts: 184000 | #Constraints: 12642 564.18/567.91 c #Conflicts: 185000 | #Constraints: 13648 564.18/567.91 c #Conflicts: 186000 | #Constraints: 14653 564.18/567.91 c #Conflicts: 187000 | #Constraints: 15660 564.18/567.91 c #Conflicts: 188000 | #Constraints: 16664 564.18/567.91 c #Conflicts: 189000 | #Constraints: 17669 564.18/567.91 c INPROCESSING 564.18/567.91 c GARBAGE COLLECT 564.18/567.91 c rational objective 3.09022e+06 595.38/599.21 c bounds 5640160 >= 0 @ 551.101 595.38/599.21 c bounds 5638621 >= 0 @ 552.312 595.38/599.21 c bounds 5638615 >= 0 @ 552.326 595.38/599.21 c bounds 5638612 >= 0 @ 552.342 595.38/599.21 c #Conflicts: 190000 | #Constraints: 10028 595.38/599.21 c bounds 5638607 >= 0 @ 555.54 595.38/599.21 c bounds 5638559 >= 0 @ 555.649 595.38/599.21 c bounds 5638535 >= 0 @ 555.847 595.38/599.21 c bounds 5638439 >= 0 @ 557.556 595.38/599.21 c bounds 5638427 >= 0 @ 558.092 595.38/599.21 c bounds 5638331 >= 0 @ 558.352 595.38/599.21 c bounds 5638328 >= 0 @ 558.41 595.38/599.21 c bounds 5638322 >= 0 @ 558.433 595.38/599.21 c bounds 5638319 >= 0 @ 558.462 595.38/599.21 c #Conflicts: 191000 | #Constraints: 11037 595.38/599.21 c bounds 5570735 >= 0 @ 561.81 595.38/599.21 c bounds 5570639 >= 0 @ 563.022 595.38/599.21 c #Conflicts: 192000 | #Constraints: 12039 595.38/599.21 c #Conflicts: 193000 | #Constraints: 13046 595.38/599.21 c #Conflicts: 194000 | #Constraints: 14047 595.38/599.21 c #Conflicts: 195000 | #Constraints: 15049 595.38/599.21 c #Conflicts: 196000 | #Constraints: 16053 595.38/599.21 c #Conflicts: 197000 | #Constraints: 17058 595.38/599.21 c #Conflicts: 198000 | #Constraints: 18060 595.38/599.21 c INPROCESSING 595.38/599.21 c GARBAGE COLLECT 595.38/599.21 c rational objective 3.09022e+06 630.76/634.71 c bounds 5570519 >= 0 @ 581.79 630.76/634.71 c bounds 5570516 >= 0 @ 581.872 630.76/634.71 c bounds 5570492 >= 0 @ 581.895 630.76/634.71 c bounds 5569436 >= 0 @ 582.33 630.76/634.71 c bounds 5569424 >= 0 @ 582.559 630.76/634.71 c #Conflicts: 199000 | #Constraints: 10234 630.76/634.71 c bounds 5537200 >= 0 @ 585.488 630.76/634.71 c bounds 5537199 >= 0 @ 585.531 630.76/634.71 c bounds 5537197 >= 0 @ 585.593 630.76/634.71 c bounds 5537176 >= 0 @ 585.897 630.76/634.71 c bounds 5519778 >= 0 @ 587.004 630.76/634.71 c bounds 5519774 >= 0 @ 587.987 630.76/634.71 c bounds 5519771 >= 0 @ 588.015 630.76/634.71 c bounds 5519765 >= 0 @ 588.035 630.76/634.71 c bounds 5519741 >= 0 @ 588.054 630.76/634.71 c bounds 5513789 >= 0 @ 589.594 630.76/634.71 c bounds 5513741 >= 0 @ 589.62 630.76/634.71 c #Conflicts: 200000 | #Constraints: 11246 630.76/634.71 c bounds 5469701 >= 0 @ 590.411 630.76/634.71 c bounds 5469698 >= 0 @ 591.519 630.76/634.71 c bounds 5469686 >= 0 @ 591.542 630.76/634.71 c bounds 5462513 >= 0 @ 592.107 630.76/634.71 c bounds 5462510 >= 0 @ 592.229 630.76/634.71 c bounds 5462504 >= 0 @ 592.255 630.76/634.71 c bounds 5462489 >= 0 @ 592.277 630.76/634.71 c bounds 5462486 >= 0 @ 592.303 630.76/634.71 c bounds 5458395 >= 0 @ 593.063 630.76/634.71 c bounds 5458389 >= 0 @ 593.439 630.76/634.71 c #Conflicts: 201000 | #Constraints: 12257 630.76/634.71 c bounds 5458384 >= 0 @ 594.083 630.76/634.71 c bounds 5458382 >= 0 @ 594.305 630.76/634.71 c bounds 5458334 >= 0 @ 594.726 630.76/634.71 c bounds 5458322 >= 0 @ 594.822 630.76/634.71 c bounds 5458314 >= 0 @ 595.023 630.76/634.71 c bounds 5458298 >= 0 @ 595.421 630.76/634.71 c bounds 5458292 >= 0 @ 596.998 630.76/634.71 c bounds 5458286 >= 0 @ 597.219 630.76/634.71 c bounds 5458274 >= 0 @ 597.268 630.76/634.71 c #Conflicts: 202000 | #Constraints: 13270 630.76/634.71 c #Conflicts: 203000 | #Constraints: 14276 630.76/634.71 c #Conflicts: 204000 | #Constraints: 15277 630.76/634.71 c #Conflicts: 205000 | #Constraints: 16281 630.76/634.71 c #Conflicts: 206000 | #Constraints: 17285 630.76/634.71 c #Conflicts: 207000 | #Constraints: 18291 630.76/634.71 c INPROCESSING 630.76/634.71 c GARBAGE COLLECT 630.76/634.71 c rational objective 3.09023e+06 665.75/669.81 c bounds 5458262 >= 0 @ 616.205 665.75/669.81 c bounds 5452138 >= 0 @ 616.252 665.75/669.81 c bounds 5452120 >= 0 @ 616.539 665.75/669.81 c bounds 5452108 >= 0 @ 617.109 665.75/669.81 c bounds 5451852 >= 0 @ 617.155 665.75/669.81 c bounds 5451212 >= 0 @ 617.187 665.75/669.81 c #Conflicts: 208000 | #Constraints: 10224 665.75/669.81 c bounds 5451202 >= 0 @ 618.857 665.75/669.81 c bounds 5395874 >= 0 @ 620.093 665.75/669.81 c bounds 5395810 >= 0 @ 620.174 665.75/669.81 c bounds 5377378 >= 0 @ 620.417 665.75/669.81 c bounds 5377372 >= 0 @ 620.915 665.75/669.81 c bounds 5377367 >= 0 @ 620.938 665.75/669.81 c bounds 5377361 >= 0 @ 621.514 665.75/669.81 c bounds 5377355 >= 0 @ 621.566 665.75/669.81 c #Conflicts: 209000 | #Constraints: 11233 665.75/669.81 c #Conflicts: 210000 | #Constraints: 12233 665.75/669.81 c bounds 5377349 >= 0 @ 630.625 665.75/669.81 c bounds 5370238 >= 0 @ 630.691 665.75/669.81 c bounds 5288330 >= 0 @ 630.753 665.75/669.81 c bounds 5288324 >= 0 @ 630.782 665.75/669.81 c #Conflicts: 211000 | #Constraints: 13240 665.75/669.81 c #Conflicts: 212000 | #Constraints: 14245 665.75/669.81 c #Conflicts: 213000 | #Constraints: 15248 665.75/669.81 c #Conflicts: 214000 | #Constraints: 16251 665.75/669.81 c #Conflicts: 215000 | #Constraints: 17254 665.75/669.81 c #Conflicts: 216000 | #Constraints: 18257 665.75/669.81 c INPROCESSING 665.75/669.81 c GARBAGE COLLECT 665.75/669.81 c rational objective 3.09023e+06 702.84/707.02 c bounds 5288322 >= 0 @ 650.811 702.84/707.02 c bounds 5288294 >= 0 @ 651.441 702.84/707.02 c bounds 5288292 >= 0 @ 651.483 702.84/707.02 c #Conflicts: 217000 | #Constraints: 10020 702.84/707.02 c bounds 5288164 >= 0 @ 652.484 702.84/707.02 c bounds 5287844 >= 0 @ 652.567 702.84/707.02 c bounds 5287588 >= 0 @ 654.413 702.84/707.02 c bounds 5287586 >= 0 @ 655.336 702.84/707.02 c #Conflicts: 218000 | #Constraints: 11024 702.84/707.02 c bounds 5287580 >= 0 @ 657.378 702.84/707.02 c bounds 5287548 >= 0 @ 657.421 702.84/707.02 c bounds 5287546 >= 0 @ 657.448 702.84/707.02 c bounds 5287522 >= 0 @ 657.577 702.84/707.02 c bounds 5287516 >= 0 @ 657.862 702.84/707.02 c bounds 5287514 >= 0 @ 658.58 702.84/707.02 c bounds 5287510 >= 0 @ 658.661 702.84/707.02 c #Conflicts: 219000 | #Constraints: 12035 702.84/707.02 c bounds 5240382 >= 0 @ 662.522 702.84/707.02 c bounds 5240373 >= 0 @ 663.279 702.84/707.02 c #Conflicts: 220000 | #Constraints: 13038 702.84/707.02 c bounds 5240093 >= 0 @ 668.266 702.84/707.02 c bounds 5111069 >= 0 @ 668.301 702.84/707.02 c #Conflicts: 221000 | #Constraints: 14042 702.84/707.02 c #Conflicts: 222000 | #Constraints: 15048 702.84/707.02 c #Conflicts: 223000 | #Constraints: 16053 702.84/707.02 c #Conflicts: 224000 | #Constraints: 17061 702.84/707.02 c #Conflicts: 225000 | #Constraints: 18076 702.84/707.02 c #Conflicts: 226000 | #Constraints: 19083 702.84/707.02 c INPROCESSING 702.84/707.02 c GARBAGE COLLECT 702.84/707.02 c rational objective 3.09023e+06 733.13/737.43 c bounds 5111067 >= 0 @ 689.371 733.13/737.43 c bounds 5111065 >= 0 @ 689.389 733.13/737.43 c bounds 5111063 >= 0 @ 689.406 733.13/737.43 c #Conflicts: 227000 | #Constraints: 10649 733.13/737.43 c bounds 5111061 >= 0 @ 691.838 733.13/737.43 c bounds 5111054 >= 0 @ 691.966 733.13/737.43 c bounds 5111052 >= 0 @ 692.345 733.13/737.43 c bounds 5111044 >= 0 @ 692.369 733.13/737.43 c bounds 5111040 >= 0 @ 692.39 733.13/737.43 c bounds 5088512 >= 0 @ 692.734 733.13/737.43 c bounds 5088510 >= 0 @ 692.982 733.13/737.43 c bounds 5088496 >= 0 @ 693.039 733.13/737.43 c bounds 5088491 >= 0 @ 693.069 733.13/737.43 c #Conflicts: 228000 | #Constraints: 11662 733.13/737.43 c bounds 5088427 >= 0 @ 694.903 733.13/737.43 c bounds 5088420 >= 0 @ 695.104 733.13/737.43 c bounds 5088292 >= 0 @ 696.042 733.13/737.43 c #Conflicts: 229000 | #Constraints: 12667 733.13/737.43 c #Conflicts: 230000 | #Constraints: 13669 733.13/737.43 c bounds 5088036 >= 0 @ 704.932 733.13/737.43 c bounds 5088022 >= 0 @ 704.998 733.13/737.43 c #Conflicts: 231000 | #Constraints: 14672 733.13/737.43 c #Conflicts: 232000 | #Constraints: 15675 733.13/737.43 c #Conflicts: 233000 | #Constraints: 16679 733.13/737.43 c #Conflicts: 234000 | #Constraints: 17682 733.13/737.43 c #Conflicts: 235000 | #Constraints: 18687 733.13/737.43 c #Conflicts: 236000 | #Constraints: 19690 733.13/737.43 c INPROCESSING 733.13/737.43 c GARBAGE COLLECT 733.13/737.43 c rational objective 3.09023e+06 761.04/765.42 c bounds 5087126 >= 0 @ 716.636 761.04/765.42 c bounds 5086902 >= 0 @ 717.425 761.04/765.42 c #Conflicts: 237000 | #Constraints: 11035 761.04/765.42 c #Conflicts: 238000 | #Constraints: 12042 761.04/765.42 c #Conflicts: 239000 | #Constraints: 13049 761.04/765.42 c #Conflicts: 240000 | #Constraints: 14053 761.04/765.42 c #Conflicts: 241000 | #Constraints: 15058 761.04/765.42 c #Conflicts: 242000 | #Constraints: 16065 761.04/765.42 c #Conflicts: 243000 | #Constraints: 17071 761.04/765.42 c #Conflicts: 244000 | #Constraints: 18078 761.04/765.42 c #Conflicts: 245000 | #Constraints: 19084 761.04/765.42 c #Conflicts: 246000 | #Constraints: 20087 761.04/765.42 c INPROCESSING 761.04/765.42 c GARBAGE COLLECT 761.04/765.42 c rational objective 3.09023e+06 797.43/801.91 c bounds 5086884 >= 0 @ 744.314 797.43/801.91 c bounds 5086882 >= 0 @ 744.365 797.43/801.91 c bounds 5086880 >= 0 @ 746.889 797.43/801.91 c bounds 5086366 >= 0 @ 747.117 797.43/801.91 c bounds 5086364 >= 0 @ 747.14 797.43/801.91 c bounds 5086360 >= 0 @ 747.278 797.43/801.91 c bounds 5086350 >= 0 @ 747.306 797.43/801.91 c #Conflicts: 247000 | #Constraints: 11226 797.43/801.91 c bounds 5086310 >= 0 @ 749.012 797.43/801.91 c bounds 5085030 >= 0 @ 749.038 797.43/801.91 c bounds 5085023 >= 0 @ 749.07 797.43/801.91 c bounds 5085015 >= 0 @ 749.772 797.43/801.91 c bounds 5084983 >= 0 @ 749.955 797.43/801.91 c bounds 5084981 >= 0 @ 750.758 797.43/801.91 c bounds 5084977 >= 0 @ 750.775 797.43/801.91 c bounds 5084969 >= 0 @ 750.81 797.43/801.91 c #Conflicts: 248000 | #Constraints: 12236 797.43/801.91 c #Conflicts: 249000 | #Constraints: 13240 797.43/801.91 c bounds 5084967 >= 0 @ 756.705 797.43/801.91 c bounds 5084915 >= 0 @ 756.808 797.43/801.91 c bounds 5084913 >= 0 @ 756.837 797.43/801.91 c bounds 5084911 >= 0 @ 757.069 797.43/801.91 c bounds 5084907 >= 0 @ 757.099 797.43/801.91 c bounds 5084900 >= 0 @ 758.572 797.43/801.91 c bounds 5084898 >= 0 @ 759.15 797.43/801.91 c bounds 5084891 >= 0 @ 759.725 797.43/801.91 c bounds 5084884 >= 0 @ 761.175 797.43/801.91 c #Conflicts: 250000 | #Constraints: 14252 797.43/801.91 c #Conflicts: 251000 | #Constraints: 15255 797.43/801.91 c #Conflicts: 252000 | #Constraints: 16256 797.43/801.91 c #Conflicts: 253000 | #Constraints: 17259 797.43/801.91 c #Conflicts: 254000 | #Constraints: 18263 797.43/801.91 c #Conflicts: 255000 | #Constraints: 19268 797.43/801.91 c #Conflicts: 256000 | #Constraints: 20274 797.43/801.91 c INPROCESSING 797.43/801.91 c GARBAGE COLLECT 797.43/801.91 c rational objective 3.09023e+06 831.41/836.05 c bounds 5084756 >= 0 @ 779.52 831.41/836.05 c bounds 5084500 >= 0 @ 779.54 831.41/836.05 c bounds 5084496 >= 0 @ 781.842 831.41/836.05 c bounds 5084486 >= 0 @ 782.394 831.41/836.05 c bounds 5084479 >= 0 @ 782.419 831.41/836.05 c #Conflicts: 257000 | #Constraints: 11215 831.41/836.05 c bounds 5075256 >= 0 @ 783.148 831.41/836.05 c bounds 5075252 >= 0 @ 783.192 831.41/836.05 c bounds 5054781 >= 0 @ 784.365 831.41/836.05 c bounds 4990267 >= 0 @ 784.672 831.41/836.05 c #Conflicts: 258000 | #Constraints: 12222 831.41/836.05 c bounds 4990260 >= 0 @ 790.092 831.41/836.05 c bounds 4990246 >= 0 @ 790.138 831.41/836.05 c bounds 4990218 >= 0 @ 791.236 831.41/836.05 c #Conflicts: 259000 | #Constraints: 13227 831.41/836.05 c #Conflicts: 260000 | #Constraints: 14232 831.41/836.05 c #Conflicts: 261000 | #Constraints: 15234 831.41/836.05 c #Conflicts: 262000 | #Constraints: 16242 831.41/836.05 c #Conflicts: 263000 | #Constraints: 17245 831.41/836.05 c #Conflicts: 264000 | #Constraints: 18246 831.41/836.05 c #Conflicts: 265000 | #Constraints: 19250 831.41/836.05 c #Conflicts: 266000 | #Constraints: 20254 831.41/836.05 c INPROCESSING 831.41/836.05 c GARBAGE COLLECT 831.41/836.05 c rational objective 3.09023e+06 877.46/882.23 c bounds 4988426 >= 0 @ 812.866 877.46/882.23 c bounds 4988419 >= 0 @ 813.899 877.46/882.23 c bounds 4988412 >= 0 @ 813.921 877.46/882.23 c bounds 4988411 >= 0 @ 813.999 877.46/882.23 c bounds 4988404 >= 0 @ 814.023 877.46/882.23 c #Conflicts: 267000 | #Constraints: 11023 877.46/882.23 c bounds 4988376 >= 0 @ 814.904 877.46/882.23 c bounds 4988320 >= 0 @ 814.928 877.46/882.23 c bounds 4988208 >= 0 @ 814.956 877.46/882.23 c bounds 4988202 >= 0 @ 815.07 877.46/882.23 c bounds 4988199 >= 0 @ 815.585 877.46/882.23 c bounds 4915495 >= 0 @ 815.612 877.46/882.23 c #Conflicts: 268000 | #Constraints: 12032 877.46/882.23 c #Conflicts: 269000 | #Constraints: 13036 877.46/882.23 c bounds 4865319 >= 0 @ 823.999 877.46/882.23 c #Conflicts: 270000 | #Constraints: 14039 877.46/882.23 c bounds 4865088 >= 0 @ 830.489 877.46/882.23 c bounds 4865074 >= 0 @ 830.53 877.46/882.23 c #Conflicts: 271000 | #Constraints: 15046 877.46/882.23 c #Conflicts: 272000 | #Constraints: 16053 877.46/882.23 c #Conflicts: 273000 | #Constraints: 17061 877.46/882.23 c #Conflicts: 274000 | #Constraints: 18070 877.46/882.23 c #Conflicts: 275000 | #Constraints: 19076 877.46/882.23 c #Conflicts: 276000 | #Constraints: 20080 877.46/882.23 c #Conflicts: 277000 | #Constraints: 21087 877.46/882.23 c INPROCESSING 877.46/882.23 c GARBAGE COLLECT 877.46/882.23 c rational objective 3.09025e+06 915.64/920.55 c bounds 4865018 >= 0 @ 859.169 915.64/920.55 c bounds 4865011 >= 0 @ 859.201 915.64/920.55 c bounds 4829171 >= 0 @ 859.803 915.64/920.55 c bounds 4697225 >= 0 @ 860.128 915.64/920.55 c bounds 4697205 >= 0 @ 860.251 915.64/920.55 c #Conflicts: 278000 | #Constraints: 11628 915.64/920.55 c #Conflicts: 279000 | #Constraints: 12629 915.64/920.55 c bounds 4697200 >= 0 @ 864.866 915.64/920.55 c bounds 4697190 >= 0 @ 864.915 915.64/920.55 c bounds 4697150 >= 0 @ 864.937 915.64/920.55 c bounds 4697130 >= 0 @ 864.963 915.64/920.55 c bounds 4697125 >= 0 @ 865.449 915.64/920.55 c bounds 4673573 >= 0 @ 866.109 915.64/920.55 c bounds 4673568 >= 0 @ 866.139 915.64/920.55 c bounds 4640800 >= 0 @ 866.394 915.64/920.55 c bounds 4640640 >= 0 @ 866.613 915.64/920.55 c bounds 4640630 >= 0 @ 866.763 915.64/920.55 c bounds 4640625 >= 0 @ 866.787 915.64/920.55 c #Conflicts: 280000 | #Constraints: 13642 915.64/920.55 c bounds 4640605 >= 0 @ 869.609 915.64/920.55 c bounds 4640565 >= 0 @ 869.693 915.64/920.55 c bounds 4640560 >= 0 @ 871.632 915.64/920.55 c bounds 4640550 >= 0 @ 872.401 915.64/920.55 c bounds 4640530 >= 0 @ 872.431 915.64/920.55 c bounds 4640525 >= 0 @ 872.458 915.64/920.55 c #Conflicts: 281000 | #Constraints: 14650 915.64/920.55 c bounds 4640365 >= 0 @ 875.148 915.64/920.55 c bounds 4640325 >= 0 @ 875.26 915.64/920.55 c #Conflicts: 282000 | #Constraints: 15653 915.64/920.55 c #Conflicts: 283000 | #Constraints: 16656 915.64/920.55 c #Conflicts: 284000 | #Constraints: 17658 915.64/920.55 c #Conflicts: 285000 | #Constraints: 18661 915.64/920.55 c #Conflicts: 286000 | #Constraints: 19666 915.64/920.55 c #Conflicts: 287000 | #Constraints: 20671 915.64/920.55 c #Conflicts: 288000 | #Constraints: 21674 915.64/920.55 c INPROCESSING 915.64/920.55 c GARBAGE COLLECT 915.64/920.55 c rational objective 3.09034e+06 956.11/961.14 c bounds 4640320 >= 0 @ 895.444 956.11/961.14 c #Conflicts: 289000 | #Constraints: 11999 956.11/961.14 c #Conflicts: 290000 | #Constraints: 13001 956.11/961.14 c bounds 4640000 >= 0 @ 905.638 956.11/961.14 c bounds 4638725 >= 0 @ 905.831 956.11/961.14 c bounds 4638720 >= 0 @ 905.871 956.11/961.14 c #Conflicts: 291000 | #Constraints: 14008 956.11/961.14 c #Conflicts: 292000 | #Constraints: 15011 956.11/961.14 c #Conflicts: 293000 | #Constraints: 16014 956.11/961.14 c #Conflicts: 294000 | #Constraints: 17022 956.11/961.14 c #Conflicts: 295000 | #Constraints: 18027 956.11/961.14 c #Conflicts: 296000 | #Constraints: 19030 956.11/961.14 c #Conflicts: 297000 | #Constraints: 20034 956.11/961.14 c #Conflicts: 298000 | #Constraints: 21037 956.11/961.14 c #Conflicts: 299000 | #Constraints: 22042 956.11/961.14 c INPROCESSING 956.11/961.14 c GARBAGE COLLECT 956.11/961.14 c rational objective 3.09034e+06 993.39/998.52 c bounds 4638660 >= 0 @ 938.251 993.39/998.52 c bounds 4638640 >= 0 @ 938.28 993.39/998.52 c #Conflicts: 300000 | #Constraints: 12201 993.39/998.52 c bounds 4638630 >= 0 @ 939.183 993.39/998.52 c bounds 4638625 >= 0 @ 939.205 993.39/998.52 c bounds 4638605 >= 0 @ 939.23 993.39/998.52 c bounds 4638565 >= 0 @ 939.253 993.39/998.52 c bounds 4638560 >= 0 @ 940.056 993.39/998.52 c bounds 4637280 >= 0 @ 942.866 993.39/998.52 c bounds 4637200 >= 0 @ 942.918 993.39/998.52 c #Conflicts: 301000 | #Constraints: 13209 993.39/998.52 c bounds 4637160 >= 0 @ 943.403 993.39/998.52 c bounds 4637140 >= 0 @ 943.426 993.39/998.52 c bounds 4637135 >= 0 @ 943.449 993.39/998.52 c bounds 4637125 >= 0 @ 945.269 993.39/998.52 c bounds 4636805 >= 0 @ 945.306 993.39/998.52 c #Conflicts: 302000 | #Constraints: 14215 993.39/998.52 c #Conflicts: 303000 | #Constraints: 15218 993.39/998.52 c #Conflicts: 304000 | #Constraints: 16218 993.39/998.52 c bounds 4636800 >= 0 @ 955.782 993.39/998.52 c bounds 4636790 >= 0 @ 955.821 993.39/998.52 c bounds 4636760 >= 0 @ 955.861 993.39/998.52 c bounds 4636750 >= 0 @ 955.897 993.39/998.52 c bounds 4636670 >= 0 @ 955.928 993.39/998.52 c #Conflicts: 305000 | #Constraints: 17227 993.39/998.52 c #Conflicts: 306000 | #Constraints: 18231 993.39/998.52 c #Conflicts: 307000 | #Constraints: 19233 993.39/998.52 c #Conflicts: 308000 | #Constraints: 20237 993.39/998.52 c #Conflicts: 309000 | #Constraints: 21242 993.39/998.52 c #Conflicts: 310000 | #Constraints: 22247 993.39/998.52 c INPROCESSING 993.39/998.52 c GARBAGE COLLECT 993.39/998.52 c rational objective 3.09034e+06 1040.34/1045.65 c bounds 4633598 >= 0 @ 971.495 1040.34/1045.65 c #Conflicts: 311000 | #Constraints: 12194 1040.34/1045.65 c #Conflicts: 312000 | #Constraints: 13197 1040.34/1045.65 c #Conflicts: 313000 | #Constraints: 14198 1040.34/1045.65 c #Conflicts: 314000 | #Constraints: 15198 1040.34/1045.65 c #Conflicts: 315000 | #Constraints: 16203 1040.34/1045.65 c bounds 4602878 >= 0 @ 991.995 1040.34/1045.65 c #Conflicts: 316000 | #Constraints: 17209 1040.34/1045.65 c #Conflicts: 317000 | #Constraints: 18214 1040.34/1045.65 c #Conflicts: 318000 | #Constraints: 19220 1040.34/1045.65 c #Conflicts: 319000 | #Constraints: 20224 1040.34/1045.65 c #Conflicts: 320000 | #Constraints: 21228 1040.34/1045.65 c #Conflicts: 321000 | #Constraints: 22235 1040.34/1045.65 c INPROCESSING 1040.34/1045.65 c GARBAGE COLLECT 1040.34/1045.65 c rational objective 3.09066e+06 1135.92/1141.51 c bounds 4602858 >= 0 @ 1018.57 1135.92/1141.51 c #Conflicts: 322000 | #Constraints: 12017 1135.92/1141.51 c #Conflicts: 323000 | #Constraints: 13019 1135.92/1141.51 c #Conflicts: 324000 | #Constraints: 14019 1135.92/1141.51 c #Conflicts: 325000 | #Constraints: 15019 1135.92/1141.51 c #Conflicts: 326000 | #Constraints: 16019 1135.92/1141.51 c #Conflicts: 327000 | #Constraints: 17019 1135.92/1141.51 c #Conflicts: 328000 | #Constraints: 18020 1135.92/1141.51 c #Conflicts: 329000 | #Constraints: 19020 1135.92/1141.51 c #Conflicts: 330000 | #Constraints: 20020 1135.92/1141.51 c #Conflicts: 331000 | #Constraints: 21020 1135.92/1141.51 c #Conflicts: 332000 | #Constraints: 22020 1135.92/1141.51 c #Conflicts: 333000 | #Constraints: 23020 1135.92/1141.51 c INPROCESSING 1135.92/1141.51 c GARBAGE COLLECT 1135.92/1141.51 c rational objective 3.09086e+06 1164.03/1169.79 c #Conflicts: 334000 | #Constraints: 12616 1164.03/1169.79 c #Conflicts: 335000 | #Constraints: 13620 1164.03/1169.79 c #Conflicts: 336000 | #Constraints: 14624 1164.03/1169.79 c #Conflicts: 337000 | #Constraints: 15628 1164.03/1169.79 c #Conflicts: 338000 | #Constraints: 16632 1164.03/1169.79 c #Conflicts: 339000 | #Constraints: 17636 1164.03/1169.79 c #Conflicts: 340000 | #Constraints: 18639 1164.03/1169.79 c #Conflicts: 341000 | #Constraints: 19643 1164.03/1169.79 c #Conflicts: 342000 | #Constraints: 20646 1164.03/1169.79 c #Conflicts: 343000 | #Constraints: 21650 1164.03/1169.79 c #Conflicts: 344000 | #Constraints: 22655 1164.03/1169.79 c #Conflicts: 345000 | #Constraints: 23659 1164.03/1169.79 c INPROCESSING 1164.03/1169.79 c GARBAGE COLLECT 1164.03/1169.79 c rational objective 3.09086e+06 1193.34/1199.17 c #Conflicts: 346000 | #Constraints: 13030 1193.34/1199.17 c #Conflicts: 347000 | #Constraints: 14033 1193.34/1199.17 c #Conflicts: 348000 | #Constraints: 15037 1193.34/1199.17 c #Conflicts: 349000 | #Constraints: 16041 1193.34/1199.17 c #Conflicts: 350000 | #Constraints: 17045 1193.34/1199.17 c #Conflicts: 351000 | #Constraints: 18047 1193.34/1199.17 c #Conflicts: 352000 | #Constraints: 19052 1193.34/1199.17 c #Conflicts: 353000 | #Constraints: 20054 1193.34/1199.17 c #Conflicts: 354000 | #Constraints: 21059 1193.34/1199.17 c #Conflicts: 355000 | #Constraints: 22063 1193.34/1199.17 c #Conflicts: 356000 | #Constraints: 23070 1193.34/1199.17 c #Conflicts: 357000 | #Constraints: 24075 1193.34/1199.17 c INPROCESSING 1193.34/1199.17 c GARBAGE COLLECT 1193.34/1199.17 c rational objective 3.09087e+06 1223.79/1229.78 c #Conflicts: 358000 | #Constraints: 13231 1223.79/1229.78 c #Conflicts: 359000 | #Constraints: 14235 1223.79/1229.78 c #Conflicts: 360000 | #Constraints: 15239 1223.79/1229.78 c #Conflicts: 361000 | #Constraints: 16244 1223.79/1229.78 c #Conflicts: 362000 | #Constraints: 17249 1223.79/1229.78 c #Conflicts: 363000 | #Constraints: 18253 1223.79/1229.78 c #Conflicts: 364000 | #Constraints: 19255 1223.79/1229.78 c #Conflicts: 365000 | #Constraints: 20258 1223.79/1229.78 c #Conflicts: 366000 | #Constraints: 21262 1223.79/1229.78 c #Conflicts: 367000 | #Constraints: 22267 1223.79/1229.78 c #Conflicts: 368000 | #Constraints: 23272 1223.79/1229.78 c #Conflicts: 369000 | #Constraints: 24274 1223.79/1229.78 c INPROCESSING 1223.79/1229.78 c GARBAGE COLLECT 1223.79/1229.78 c rational objective 3.09087e+06 1252.90/1258.94 c #Conflicts: 370000 | #Constraints: 13241 1252.90/1258.94 c #Conflicts: 371000 | #Constraints: 14246 1252.90/1258.94 c #Conflicts: 372000 | #Constraints: 15251 1252.90/1258.94 c #Conflicts: 373000 | #Constraints: 16255 1252.90/1258.94 c #Conflicts: 374000 | #Constraints: 17259 1252.90/1258.94 c #Conflicts: 375000 | #Constraints: 18262 1252.90/1258.94 c #Conflicts: 376000 | #Constraints: 19268 1252.90/1258.94 c #Conflicts: 377000 | #Constraints: 20272 1252.90/1258.94 c #Conflicts: 378000 | #Constraints: 21275 1252.90/1258.94 c #Conflicts: 379000 | #Constraints: 22278 1252.90/1258.94 c #Conflicts: 380000 | #Constraints: 23283 1252.90/1258.94 c #Conflicts: 381000 | #Constraints: 24287 1252.90/1258.94 c INPROCESSING 1252.90/1258.94 c GARBAGE COLLECT 1252.90/1258.94 c rational objective 3.09098e+06 1283.90/1290.02 c #Conflicts: 382000 | #Constraints: 13036 1283.90/1290.02 c #Conflicts: 383000 | #Constraints: 14037 1283.90/1290.02 c #Conflicts: 384000 | #Constraints: 15041 1283.90/1290.02 c #Conflicts: 385000 | #Constraints: 16043 1283.90/1290.02 c #Conflicts: 386000 | #Constraints: 17048 1283.90/1290.02 c #Conflicts: 387000 | #Constraints: 18052 1283.90/1290.02 c #Conflicts: 388000 | #Constraints: 19056 1283.90/1290.02 c #Conflicts: 389000 | #Constraints: 20060 1283.90/1290.02 c #Conflicts: 390000 | #Constraints: 21065 1283.90/1290.02 c #Conflicts: 391000 | #Constraints: 22069 1283.90/1290.02 c #Conflicts: 392000 | #Constraints: 23072 1283.90/1290.02 c #Conflicts: 393000 | #Constraints: 24076 1283.90/1290.02 c #Conflicts: 394000 | #Constraints: 25080 1283.90/1290.02 c INPROCESSING 1283.90/1290.02 c GARBAGE COLLECT 1283.90/1290.02 c rational objective 3.09103e+06 1312.90/1319.15 c #Conflicts: 395000 | #Constraints: 13645 1312.90/1319.15 c #Conflicts: 396000 | #Constraints: 14650 1312.90/1319.15 c #Conflicts: 397000 | #Constraints: 15654 1312.90/1319.15 c #Conflicts: 398000 | #Constraints: 16657 1312.90/1319.15 c #Conflicts: 399000 | #Constraints: 17661 1312.90/1319.15 c #Conflicts: 400000 | #Constraints: 18663 1312.90/1319.15 c #Conflicts: 401000 | #Constraints: 19666 1312.90/1319.15 c #Conflicts: 402000 | #Constraints: 20669 1312.90/1319.15 c #Conflicts: 403000 | #Constraints: 21670 1312.90/1319.15 c #Conflicts: 404000 | #Constraints: 22673 1312.90/1319.15 c #Conflicts: 405000 | #Constraints: 23678 1312.90/1319.15 c #Conflicts: 406000 | #Constraints: 24683 1312.90/1319.15 c #Conflicts: 407000 | #Constraints: 25686 1312.90/1319.15 c INPROCESSING 1312.90/1319.15 c GARBAGE COLLECT 1312.90/1319.15 c rational objective 3.09103e+06 1343.70/1350.07 c #Conflicts: 408000 | #Constraints: 14036 1343.70/1350.07 c #Conflicts: 409000 | #Constraints: 15039 1343.70/1350.07 c #Conflicts: 410000 | #Constraints: 16044 1343.70/1350.07 c #Conflicts: 411000 | #Constraints: 17050 1343.70/1350.07 c #Conflicts: 412000 | #Constraints: 18053 1343.70/1350.07 c #Conflicts: 413000 | #Constraints: 19056 1343.70/1350.07 c #Conflicts: 414000 | #Constraints: 20061 1343.70/1350.07 c #Conflicts: 415000 | #Constraints: 21063 1343.70/1350.07 c #Conflicts: 416000 | #Constraints: 22067 1343.70/1350.07 c #Conflicts: 417000 | #Constraints: 23072 1343.70/1350.07 c #Conflicts: 418000 | #Constraints: 24077 1343.70/1350.07 c #Conflicts: 419000 | #Constraints: 25082 1343.70/1350.07 c #Conflicts: 420000 | #Constraints: 26084 1343.70/1350.07 c INPROCESSING 1343.70/1350.07 c GARBAGE COLLECT 1343.70/1350.07 c rational objective 3.09103e+06 1394.34/1400.82 c #Conflicts: 421000 | #Constraints: 14249 1394.34/1400.82 c #Conflicts: 422000 | #Constraints: 15255 1394.34/1400.82 c #Conflicts: 423000 | #Constraints: 16258 1394.34/1400.82 c #Conflicts: 424000 | #Constraints: 17260 1394.34/1400.82 c #Conflicts: 425000 | #Constraints: 18264 1394.34/1400.82 c #Conflicts: 426000 | #Constraints: 19269 1394.34/1400.82 c #Conflicts: 427000 | #Constraints: 20272 1394.34/1400.82 c #Conflicts: 428000 | #Constraints: 21276 1394.34/1400.82 c #Conflicts: 429000 | #Constraints: 22281 1394.34/1400.82 c #Conflicts: 430000 | #Constraints: 23285 1394.34/1400.82 c #Conflicts: 431000 | #Constraints: 24288 1394.34/1400.82 c #Conflicts: 432000 | #Constraints: 25292 1394.34/1400.82 c #Conflicts: 433000 | #Constraints: 26293 1394.34/1400.82 c INPROCESSING 1394.34/1400.82 c GARBAGE COLLECT 1394.34/1400.82 c rational objective 3.09105e+06 1451.92/1458.60 c bounds 4602853 >= 0 @ 1364.94 1451.92/1458.60 c #Conflicts: 434000 | #Constraints: 14249 1451.92/1458.60 c #Conflicts: 435000 | #Constraints: 15251 1451.92/1458.60 c #Conflicts: 436000 | #Constraints: 16255 1451.92/1458.60 c bounds 4600293 >= 0 @ 1376.98 1451.92/1458.60 c bounds 4600133 >= 0 @ 1377.48 1451.92/1458.60 c bounds 4599813 >= 0 @ 1377.51 1451.92/1458.60 c #Conflicts: 437000 | #Constraints: 17261 1451.92/1458.60 c #Conflicts: 438000 | #Constraints: 18262 1451.92/1458.60 c #Conflicts: 439000 | #Constraints: 19263 1451.92/1458.60 c #Conflicts: 440000 | #Constraints: 20265 1451.92/1458.60 c bounds 4599808 >= 0 @ 1392.76 1451.92/1458.60 c #Conflicts: 441000 | #Constraints: 21267 1451.92/1458.60 c #Conflicts: 442000 | #Constraints: 22268 1451.92/1458.60 c bounds 4593664 >= 0 @ 1401.1 1451.92/1458.60 c bounds 4578304 >= 0 @ 1401.22 1451.92/1458.60 c #Conflicts: 443000 | #Constraints: 23273 1451.92/1458.60 c #Conflicts: 444000 | #Constraints: 24275 1451.92/1458.60 c bounds 4570112 >= 0 @ 1411.49 1451.92/1458.60 c #Conflicts: 445000 | #Constraints: 25277 1451.92/1458.60 c #Conflicts: 446000 | #Constraints: 26280 1451.92/1458.60 c INPROCESSING 1451.92/1458.60 c GARBAGE COLLECT 1451.92/1458.60 c rational objective 3.09105e+06 1508.30/1515.22 c #Conflicts: 447000 | #Constraints: 14034 1508.30/1515.22 c #Conflicts: 448000 | #Constraints: 15036 1508.30/1515.22 c #Conflicts: 449000 | #Constraints: 16038 1508.30/1515.22 c #Conflicts: 450000 | #Constraints: 17043 1508.30/1515.22 c #Conflicts: 451000 | #Constraints: 18047 1508.30/1515.22 c #Conflicts: 452000 | #Constraints: 19051 1508.30/1515.22 c #Conflicts: 453000 | #Constraints: 20053 1508.30/1515.22 c #Conflicts: 454000 | #Constraints: 21057 1508.30/1515.22 c #Conflicts: 455000 | #Constraints: 22058 1508.30/1515.22 c #Conflicts: 456000 | #Constraints: 23062 1508.30/1515.22 c #Conflicts: 457000 | #Constraints: 24064 1508.30/1515.22 c #Conflicts: 458000 | #Constraints: 25065 1508.30/1515.22 c #Conflicts: 459000 | #Constraints: 26067 1508.30/1515.22 c #Conflicts: 460000 | #Constraints: 27073 1508.30/1515.22 c INPROCESSING 1508.30/1515.22 c GARBAGE COLLECT 1508.30/1515.22 c rational objective 3.09108e+06 1591.01/1598.29 c bounds 4570107 >= 0 @ 1477.56 1591.01/1598.29 c bounds 4570087 >= 0 @ 1477.59 1591.01/1598.29 c bounds 4569767 >= 0 @ 1477.62 1591.01/1598.29 c #Conflicts: 461000 | #Constraints: 14659 1591.01/1598.29 c #Conflicts: 462000 | #Constraints: 15661 1591.01/1598.29 c bounds 4569127 >= 0 @ 1487 1591.01/1598.29 c #Conflicts: 463000 | #Constraints: 16662 1591.01/1598.29 c #Conflicts: 464000 | #Constraints: 17664 1591.01/1598.29 c #Conflicts: 465000 | #Constraints: 18667 1591.01/1598.29 c #Conflicts: 466000 | #Constraints: 19670 1591.01/1598.29 c #Conflicts: 467000 | #Constraints: 20673 1591.01/1598.29 c #Conflicts: 468000 | #Constraints: 21677 1591.01/1598.29 c bounds 4558887 >= 0 @ 1516.51 1591.01/1598.29 c bounds 4558877 >= 0 @ 1517.02 1591.01/1598.29 c bounds 4558797 >= 0 @ 1519.06 1591.01/1598.29 c #Conflicts: 469000 | #Constraints: 22683 1591.01/1598.29 c bounds 4558757 >= 0 @ 1524.47 1591.01/1598.29 c bounds 4558597 >= 0 @ 1524.52 1591.01/1598.29 c #Conflicts: 470000 | #Constraints: 23685 1591.01/1598.29 c #Conflicts: 471000 | #Constraints: 24687 1591.01/1598.29 c #Conflicts: 472000 | #Constraints: 25689 1591.01/1598.29 c #Conflicts: 473000 | #Constraints: 26690 1591.01/1598.29 c #Conflicts: 474000 | #Constraints: 27690 1591.01/1598.29 c INPROCESSING 1591.01/1598.29 c GARBAGE COLLECT 1591.01/1598.29 c rational objective 3.0911e+06 1636.54/1643.98 c #Conflicts: 475000 | #Constraints: 15056 1636.54/1643.98 c #Conflicts: 476000 | #Constraints: 16060 1636.54/1643.98 c #Conflicts: 477000 | #Constraints: 17066 1636.54/1643.98 c #Conflicts: 478000 | #Constraints: 18070 1636.54/1643.98 c #Conflicts: 479000 | #Constraints: 19071 1636.54/1643.98 c #Conflicts: 480000 | #Constraints: 20077 1636.54/1643.98 c #Conflicts: 481000 | #Constraints: 21080 1636.54/1643.98 c #Conflicts: 482000 | #Constraints: 22086 1636.54/1643.98 c #Conflicts: 483000 | #Constraints: 23091 1636.54/1643.98 c #Conflicts: 484000 | #Constraints: 24094 1636.54/1643.98 c #Conflicts: 485000 | #Constraints: 25099 1636.54/1643.98 c #Conflicts: 486000 | #Constraints: 26103 1636.54/1643.98 c #Conflicts: 487000 | #Constraints: 27104 1636.54/1643.98 c #Conflicts: 488000 | #Constraints: 28108 1636.54/1643.98 c INPROCESSING 1636.54/1643.98 c GARBAGE COLLECT 1636.54/1643.98 c rational objective 3.0911e+06 1686.59/1694.11 c bounds 4557317 >= 0 @ 1603.38 1686.59/1694.11 c #Conflicts: 489000 | #Constraints: 15267 1686.59/1694.11 c #Conflicts: 490000 | #Constraints: 16268 1686.59/1694.11 c #Conflicts: 491000 | #Constraints: 17269 1686.59/1694.11 c bounds 4554757 >= 0 @ 1615.92 1686.59/1694.11 c #Conflicts: 492000 | #Constraints: 18274 1686.59/1694.11 c #Conflicts: 493000 | #Constraints: 19277 1686.59/1694.11 c #Conflicts: 494000 | #Constraints: 20279 1686.59/1694.11 c #Conflicts: 495000 | #Constraints: 21283 1686.59/1694.11 c #Conflicts: 496000 | #Constraints: 22286 1686.59/1694.11 c #Conflicts: 497000 | #Constraints: 23292 1686.59/1694.11 c #Conflicts: 498000 | #Constraints: 24297 1686.59/1694.11 c #Conflicts: 499000 | #Constraints: 25302 1686.59/1694.11 c #Conflicts: 500000 | #Constraints: 26304 1686.59/1694.11 c #Conflicts: 501000 | #Constraints: 27306 1686.59/1694.11 c #Conflicts: 502000 | #Constraints: 28310 1686.59/1694.11 c INPROCESSING 1686.59/1694.11 c GARBAGE COLLECT 1686.59/1694.11 c rational objective 3.09112e+06 1745.79/1753.58 c bounds 4549637 >= 0 @ 1652.31 1745.79/1753.58 c bounds 4548606 >= 0 @ 1652.94 1745.79/1753.58 c #Conflicts: 503000 | #Constraints: 15241 1745.79/1753.58 c bounds 4548604 >= 0 @ 1656.86 1745.79/1753.58 c bounds 4496380 >= 0 @ 1656.98 1745.79/1753.58 c bounds 4496364 >= 0 @ 1658.12 1745.79/1753.58 c #Conflicts: 504000 | #Constraints: 16246 1745.79/1753.58 c #Conflicts: 505000 | #Constraints: 17249 1745.79/1753.58 c bounds 4485150 >= 0 @ 1665.5 1745.79/1753.58 c #Conflicts: 506000 | #Constraints: 18252 1745.79/1753.58 c #Conflicts: 507000 | #Constraints: 19253 1745.79/1753.58 c #Conflicts: 508000 | #Constraints: 20254 1745.79/1753.58 c #Conflicts: 509000 | #Constraints: 21255 1745.79/1753.58 c #Conflicts: 510000 | #Constraints: 22259 1745.79/1753.58 c #Conflicts: 511000 | #Constraints: 23262 1745.79/1753.58 c #Conflicts: 512000 | #Constraints: 24266 1745.79/1753.58 c #Conflicts: 513000 | #Constraints: 25269 1745.79/1753.58 c bounds 4485144 >= 0 @ 1699.07 1745.79/1753.58 c bounds 4485132 >= 0 @ 1699.11 1745.79/1753.58 c #Conflicts: 514000 | #Constraints: 26274 1745.79/1753.58 c #Conflicts: 515000 | #Constraints: 27278 1745.79/1753.58 c #Conflicts: 516000 | #Constraints: 28283 1745.79/1753.58 c INPROCESSING 1745.79/1753.58 c GARBAGE COLLECT 1745.79/1753.58 c rational objective 3.09112e+06 1779.38/1787.20 c #Conflicts: 517000 | #Constraints: 15033 1779.38/1787.20 c #Conflicts: 518000 | #Constraints: 16037 1779.38/1787.20 c #Conflicts: 519000 | #Constraints: 17042 1779.38/1787.20 c #Conflicts: 520000 | #Constraints: 18043 1779.38/1787.20 c #Conflicts: 521000 | #Constraints: 19047 1779.38/1787.20 c #Conflicts: 522000 | #Constraints: 20049 1779.38/1787.20 c #Conflicts: 523000 | #Constraints: 21052 1779.38/1787.20 c #Conflicts: 524000 | #Constraints: 22057 1779.38/1787.20 c #Conflicts: 525000 | #Constraints: 23061 1779.38/1787.20 c #Conflicts: 526000 | #Constraints: 24065 1779.38/1787.20 c #Conflicts: 527000 | #Constraints: 25068 1779.38/1787.20 c #Conflicts: 528000 | #Constraints: 26070 1779.38/1787.20 c #Conflicts: 529000 | #Constraints: 27074 1779.38/1787.20 c #Conflicts: 530000 | #Constraints: 28079 1779.38/1787.20 c #Conflicts: 531000 | #Constraints: 29084 1779.38/1787.20 c INPROCESSING 1779.38/1787.20 c GARBAGE COLLECT 1779.38/1787.20 c rational objective 3.09112e+06 1812.77/1820.70 c #Conflicts: 532000 | #Constraints: 15648 1812.77/1820.70 c #Conflicts: 533000 | #Constraints: 16653 1812.77/1820.70 c #Conflicts: 534000 | #Constraints: 17657 1812.77/1820.70 c #Conflicts: 535000 | #Constraints: 18660 1812.77/1820.70 c #Conflicts: 536000 | #Constraints: 19664 1812.77/1820.70 c #Conflicts: 537000 | #Constraints: 20667 1812.77/1820.70 c #Conflicts: 538000 | #Constraints: 21669 1812.77/1820.70 c #Conflicts: 539000 | #Constraints: 22673 1812.77/1820.70 c #Conflicts: 540000 | #Constraints: 23680 1812.77/1820.70 c #Conflicts: 541000 | #Constraints: 24683 1812.77/1820.70 c #Conflicts: 542000 | #Constraints: 25688 1812.77/1820.70 c #Conflicts: 543000 | #Constraints: 26693 1812.77/1820.70 c #Conflicts: 544000 | #Constraints: 27697 1812.77/1820.70 c #Conflicts: 545000 | #Constraints: 28699 1812.77/1820.70 c #Conflicts: 546000 | #Constraints: 29703 1812.77/1820.70 c INPROCESSING 1812.77/1820.70 c GARBAGE COLLECT 1812.77/1820.70 c rational objective 3.0912e+06 2017.21/2025.86 c bounds 4485123 >= 0 @ 1777.13 2017.21/2025.86 c bounds 4485120 >= 0 @ 1777.28 2017.21/2025.86 c bounds 4408320 >= 0 @ 1778.25 2017.21/2025.86 c #Conflicts: 547000 | #Constraints: 16055 2017.21/2025.86 c bounds 4384768 >= 0 @ 1781.93 2017.21/2025.86 c #Conflicts: 548000 | #Constraints: 17058 2017.21/2025.86 c #Conflicts: 549000 | #Constraints: 18059 2017.21/2025.86 c #Conflicts: 550000 | #Constraints: 19061 2017.21/2025.86 c #Conflicts: 551000 | #Constraints: 20061 2017.21/2025.86 c #Conflicts: 552000 | #Constraints: 21061 2017.21/2025.86 c #Conflicts: 553000 | #Constraints: 22061 2017.21/2025.86 c #Conflicts: 554000 | #Constraints: 23061 2017.21/2025.86 c #Conflicts: 555000 | #Constraints: 24061 2017.21/2025.86 c #Conflicts: 556000 | #Constraints: 25063 2017.21/2025.86 c #Conflicts: 557000 | #Constraints: 26063 2017.21/2025.86 c #Conflicts: 558000 | #Constraints: 27063 2017.21/2025.86 c #Conflicts: 559000 | #Constraints: 28063 2017.21/2025.86 c #Conflicts: 560000 | #Constraints: 29065 2017.21/2025.86 c #Conflicts: 561000 | #Constraints: 30065 2017.21/2025.86 c INPROCESSING 2017.21/2025.86 c GARBAGE COLLECT 2017.21/2025.86 c rational objective 3.09131e+06 2051.89/2060.61 c #Conflicts: 562000 | #Constraints: 16239 2051.89/2060.61 c #Conflicts: 563000 | #Constraints: 17242 2051.89/2060.61 c #Conflicts: 564000 | #Constraints: 18245 2051.89/2060.61 c #Conflicts: 565000 | #Constraints: 19247 2051.89/2060.61 c #Conflicts: 566000 | #Constraints: 20248 2051.89/2060.61 c #Conflicts: 567000 | #Constraints: 21251 2051.89/2060.61 c #Conflicts: 568000 | #Constraints: 22255 2051.89/2060.61 c #Conflicts: 569000 | #Constraints: 23258 2051.89/2060.61 c #Conflicts: 570000 | #Constraints: 24263 2051.89/2060.61 c #Conflicts: 571000 | #Constraints: 25267 2051.89/2060.61 c #Conflicts: 572000 | #Constraints: 26269 2051.89/2060.61 c #Conflicts: 573000 | #Constraints: 27272 2051.89/2060.61 c #Conflicts: 574000 | #Constraints: 28276 2051.89/2060.61 c #Conflicts: 575000 | #Constraints: 29279 2051.89/2060.61 c #Conflicts: 576000 | #Constraints: 30281 2051.89/2060.61 c INPROCESSING 2051.89/2060.61 c GARBAGE COLLECT 2051.89/2060.61 c rational objective 3.09139e+06 2092.06/2100.99 c #Conflicts: 577000 | #Constraints: 16246 2092.06/2100.99 c #Conflicts: 578000 | #Constraints: 17250 2092.06/2100.99 c #Conflicts: 579000 | #Constraints: 18254 2092.06/2100.99 c #Conflicts: 580000 | #Constraints: 19257 2092.06/2100.99 c #Conflicts: 581000 | #Constraints: 20260 2092.06/2100.99 c #Conflicts: 582000 | #Constraints: 21265 2092.06/2100.99 c #Conflicts: 583000 | #Constraints: 22268 2092.06/2100.99 c #Conflicts: 584000 | #Constraints: 23270 2092.06/2100.99 c #Conflicts: 585000 | #Constraints: 24272 2092.06/2100.99 c #Conflicts: 586000 | #Constraints: 25274 2092.06/2100.99 c #Conflicts: 587000 | #Constraints: 26279 2092.06/2100.99 c #Conflicts: 588000 | #Constraints: 27282 2092.06/2100.99 c #Conflicts: 589000 | #Constraints: 28287 2092.06/2100.99 c #Conflicts: 590000 | #Constraints: 29289 2092.06/2100.99 c #Conflicts: 591000 | #Constraints: 30293 2092.06/2100.99 c INPROCESSING 2092.06/2100.99 c GARBAGE COLLECT 2092.06/2100.99 c rational objective 3.0914e+06 2137.20/2146.20 c #Conflicts: 592000 | #Constraints: 16051 2137.20/2146.20 c #Conflicts: 593000 | #Constraints: 17053 2137.20/2146.20 c #Conflicts: 594000 | #Constraints: 18057 2137.20/2146.20 c #Conflicts: 595000 | #Constraints: 19060 2137.20/2146.20 c #Conflicts: 596000 | #Constraints: 20063 2137.20/2146.20 c #Conflicts: 597000 | #Constraints: 21069 2137.20/2146.20 c #Conflicts: 598000 | #Constraints: 22073 2137.20/2146.20 c #Conflicts: 599000 | #Constraints: 23077 2137.20/2146.20 c #Conflicts: 600000 | #Constraints: 24080 2137.20/2146.20 c #Conflicts: 601000 | #Constraints: 25084 2137.20/2146.20 c #Conflicts: 602000 | #Constraints: 26089 2137.20/2146.20 c #Conflicts: 603000 | #Constraints: 27095 2137.20/2146.20 c #Conflicts: 604000 | #Constraints: 28101 2137.20/2146.20 c #Conflicts: 605000 | #Constraints: 29105 2137.20/2146.20 c #Conflicts: 606000 | #Constraints: 30108 2137.20/2146.20 c #Conflicts: 607000 | #Constraints: 31117 2137.20/2146.20 c INPROCESSING 2137.20/2146.20 c GARBAGE COLLECT 2137.20/2146.20 c rational objective 3.09146e+06 2194.21/2203.40 c #Conflicts: 608000 | #Constraints: 16669 2194.21/2203.40 c #Conflicts: 609000 | #Constraints: 17670 2194.21/2203.40 c #Conflicts: 610000 | #Constraints: 18679 2194.21/2203.40 c #Conflicts: 611000 | #Constraints: 19681 2194.21/2203.40 c #Conflicts: 612000 | #Constraints: 20684 2194.21/2203.40 c #Conflicts: 613000 | #Constraints: 21687 2194.21/2203.40 c #Conflicts: 614000 | #Constraints: 22690 2194.21/2203.40 c #Conflicts: 615000 | #Constraints: 23695 2194.21/2203.40 c #Conflicts: 616000 | #Constraints: 24699 2194.21/2203.40 c #Conflicts: 617000 | #Constraints: 25702 2194.21/2203.40 c #Conflicts: 618000 | #Constraints: 26706 2194.21/2203.40 c #Conflicts: 619000 | #Constraints: 27709 2194.21/2203.40 c #Conflicts: 620000 | #Constraints: 28711 2194.21/2203.40 c #Conflicts: 621000 | #Constraints: 29714 2194.21/2203.40 c #Conflicts: 622000 | #Constraints: 30718 2194.21/2203.40 c #Conflicts: 623000 | #Constraints: 31720 2194.21/2203.40 c INPROCESSING 2194.21/2203.40 c GARBAGE COLLECT 2194.21/2203.40 c rational objective 3.09146e+06 2241.65/2251.05 c #Conflicts: 624000 | #Constraints: 17051 2241.65/2251.05 c #Conflicts: 625000 | #Constraints: 18055 2241.65/2251.05 c #Conflicts: 626000 | #Constraints: 19057 2241.65/2251.05 c #Conflicts: 627000 | #Constraints: 20059 2241.65/2251.05 c #Conflicts: 628000 | #Constraints: 21062 2241.65/2251.05 c #Conflicts: 629000 | #Constraints: 22066 2241.65/2251.05 c #Conflicts: 630000 | #Constraints: 23068 2241.65/2251.05 c #Conflicts: 631000 | #Constraints: 24070 2241.65/2251.05 c #Conflicts: 632000 | #Constraints: 25073 2241.65/2251.05 c #Conflicts: 633000 | #Constraints: 26079 2241.65/2251.05 c #Conflicts: 634000 | #Constraints: 27083 2241.65/2251.05 c #Conflicts: 635000 | #Constraints: 28087 2241.65/2251.05 c #Conflicts: 636000 | #Constraints: 29093 2241.65/2251.05 c #Conflicts: 637000 | #Constraints: 30097 2241.65/2251.05 c #Conflicts: 638000 | #Constraints: 31099 2241.65/2251.05 c #Conflicts: 639000 | #Constraints: 32102 2241.65/2251.05 c INPROCESSING 2241.65/2251.05 c GARBAGE COLLECT 2241.65/2251.05 c rational objective 3.09146e+06 2283.20/2292.73 c #Conflicts: 640000 | #Constraints: 17241 2283.20/2292.73 c #Conflicts: 641000 | #Constraints: 18244 2283.20/2292.73 c #Conflicts: 642000 | #Constraints: 19248 2283.20/2292.73 c #Conflicts: 643000 | #Constraints: 20251 2283.20/2292.73 c #Conflicts: 644000 | #Constraints: 21254 2283.20/2292.73 c #Conflicts: 645000 | #Constraints: 22258 2283.20/2292.73 c #Conflicts: 646000 | #Constraints: 23259 2283.20/2292.73 c #Conflicts: 647000 | #Constraints: 24263 2283.20/2292.73 c #Conflicts: 648000 | #Constraints: 25266 2283.20/2292.73 c #Conflicts: 649000 | #Constraints: 26270 2283.20/2292.73 c #Conflicts: 650000 | #Constraints: 27273 2283.20/2292.73 c #Conflicts: 651000 | #Constraints: 28278 2283.20/2292.73 c #Conflicts: 652000 | #Constraints: 29281 2283.20/2292.73 c #Conflicts: 653000 | #Constraints: 30284 2283.20/2292.73 c #Conflicts: 654000 | #Constraints: 31287 2283.20/2292.73 c #Conflicts: 655000 | #Constraints: 32291 2283.20/2292.73 c INPROCESSING 2283.20/2292.73 c GARBAGE COLLECT 2283.20/2292.73 c rational objective 3.09147e+06 2336.01/2345.79 c #Conflicts: 656000 | #Constraints: 17252 2336.01/2345.79 c #Conflicts: 657000 | #Constraints: 18255 2336.01/2345.79 c #Conflicts: 658000 | #Constraints: 19258 2336.01/2345.79 c #Conflicts: 659000 | #Constraints: 20263 2336.01/2345.79 c #Conflicts: 660000 | #Constraints: 21268 2336.01/2345.79 c #Conflicts: 661000 | #Constraints: 22272 2336.01/2345.79 c #Conflicts: 662000 | #Constraints: 23276 2336.01/2345.79 c #Conflicts: 663000 | #Constraints: 24280 2336.01/2345.79 c #Conflicts: 664000 | #Constraints: 25284 2336.01/2345.79 c #Conflicts: 665000 | #Constraints: 26287 2336.01/2345.79 c #Conflicts: 666000 | #Constraints: 27291 2336.01/2345.79 c #Conflicts: 667000 | #Constraints: 28295 2336.01/2345.79 c #Conflicts: 668000 | #Constraints: 29297 2336.01/2345.79 c #Conflicts: 669000 | #Constraints: 30299 2336.01/2345.79 c #Conflicts: 670000 | #Constraints: 31300 2336.01/2345.79 c #Conflicts: 671000 | #Constraints: 32300 2336.01/2345.79 c INPROCESSING 2336.01/2345.79 c GARBAGE COLLECT 2336.01/2345.79 c rational objective 3.09149e+06 2384.84/2394.78 c #Conflicts: 672000 | #Constraints: 17035 2384.84/2394.78 c #Conflicts: 673000 | #Constraints: 18040 2384.84/2394.78 c #Conflicts: 674000 | #Constraints: 19043 2384.84/2394.78 c #Conflicts: 675000 | #Constraints: 20045 2384.84/2394.78 c #Conflicts: 676000 | #Constraints: 21049 2384.84/2394.78 c #Conflicts: 677000 | #Constraints: 22052 2384.84/2394.78 c #Conflicts: 678000 | #Constraints: 23056 2384.84/2394.78 c #Conflicts: 679000 | #Constraints: 24059 2384.84/2394.78 c #Conflicts: 680000 | #Constraints: 25061 2384.84/2394.78 c #Conflicts: 681000 | #Constraints: 26065 2384.84/2394.78 c #Conflicts: 682000 | #Constraints: 27069 2384.84/2394.78 c #Conflicts: 683000 | #Constraints: 28070 2384.84/2394.78 c #Conflicts: 684000 | #Constraints: 29074 2384.84/2394.78 c #Conflicts: 685000 | #Constraints: 30075 2384.84/2394.78 c #Conflicts: 686000 | #Constraints: 31078 2384.84/2394.78 c #Conflicts: 687000 | #Constraints: 32083 2384.84/2394.78 c #Conflicts: 688000 | #Constraints: 33087 2384.84/2394.78 c INPROCESSING 2384.84/2394.78 c GARBAGE COLLECT 2384.84/2394.78 c rational objective 3.09154e+06 2559.55/2570.02 c #Conflicts: 689000 | #Constraints: 17641 2559.55/2570.02 c #Conflicts: 690000 | #Constraints: 18642 2559.55/2570.02 c #Conflicts: 691000 | #Constraints: 19642 2559.55/2570.02 c #Conflicts: 692000 | #Constraints: 20644 2559.55/2570.02 c #Conflicts: 693000 | #Constraints: 21644 2559.55/2570.02 c #Conflicts: 694000 | #Constraints: 22645 2559.55/2570.02 c #Conflicts: 695000 | #Constraints: 23646 2559.55/2570.02 c #Conflicts: 696000 | #Constraints: 24646 2559.55/2570.02 c #Conflicts: 697000 | #Constraints: 25646 2559.55/2570.02 c bounds 4350976 >= 0 @ 2462.95 2559.55/2570.02 c #Conflicts: 698000 | #Constraints: 26652 2559.55/2570.02 c #Conflicts: 699000 | #Constraints: 27656 2559.55/2570.02 c #Conflicts: 700000 | #Constraints: 28659 2559.55/2570.02 c #Conflicts: 701000 | #Constraints: 29661 2559.55/2570.02 c #Conflicts: 702000 | #Constraints: 30663 2559.55/2570.02 c #Conflicts: 703000 | #Constraints: 31666 2559.55/2570.02 c #Conflicts: 704000 | #Constraints: 32668 2559.55/2570.02 c #Conflicts: 705000 | #Constraints: 33671 2559.55/2570.02 c INPROCESSING 2559.55/2570.02 c GARBAGE COLLECT 2559.55/2570.02 c rational objective 3.0917e+06 2606.48/2617.15 c #Conflicts: 706000 | #Constraints: 18041 2606.48/2617.15 c #Conflicts: 707000 | #Constraints: 19043 2606.48/2617.15 c #Conflicts: 708000 | #Constraints: 20046 2606.48/2617.15 c #Conflicts: 709000 | #Constraints: 21047 2606.48/2617.15 c #Conflicts: 710000 | #Constraints: 22048 2606.48/2617.15 c #Conflicts: 711000 | #Constraints: 23054 2606.48/2617.15 c #Conflicts: 712000 | #Constraints: 24057 2606.48/2617.15 c #Conflicts: 713000 | #Constraints: 25060 2606.48/2617.15 c #Conflicts: 714000 | #Constraints: 26063 2606.48/2617.15 c #Conflicts: 715000 | #Constraints: 27068 2606.48/2617.15 c #Conflicts: 716000 | #Constraints: 28072 2606.48/2617.15 c #Conflicts: 717000 | #Constraints: 29077 2606.48/2617.15 c #Conflicts: 718000 | #Constraints: 30079 2606.48/2617.15 c #Conflicts: 719000 | #Constraints: 31081 2606.48/2617.15 c #Conflicts: 720000 | #Constraints: 32084 2606.48/2617.15 c #Conflicts: 721000 | #Constraints: 33090 2606.48/2617.15 c #Conflicts: 722000 | #Constraints: 34094 2606.48/2617.15 c INPROCESSING 2606.48/2617.15 c GARBAGE COLLECT 2606.48/2617.15 c rational objective 3.09178e+06 2688.99/2699.97 c #Conflicts: 723000 | #Constraints: 18243 2688.99/2699.97 c #Conflicts: 724000 | #Constraints: 19244 2688.99/2699.97 c #Conflicts: 725000 | #Constraints: 20248 2688.99/2699.97 c #Conflicts: 726000 | #Constraints: 21250 2688.99/2699.97 c #Conflicts: 727000 | #Constraints: 22254 2688.99/2699.97 c #Conflicts: 728000 | #Constraints: 23257 2688.99/2699.97 c #Conflicts: 729000 | #Constraints: 24259 2688.99/2699.97 c #Conflicts: 730000 | #Constraints: 25259 2688.99/2699.97 c #Conflicts: 731000 | #Constraints: 26260 2688.99/2699.97 c #Conflicts: 732000 | #Constraints: 27261 2688.99/2699.97 c #Conflicts: 733000 | #Constraints: 28262 2688.99/2699.97 c #Conflicts: 734000 | #Constraints: 29262 2688.99/2699.97 c #Conflicts: 735000 | #Constraints: 30265 2688.99/2699.97 c #Conflicts: 736000 | #Constraints: 31265 2688.99/2699.97 c #Conflicts: 737000 | #Constraints: 32267 2688.99/2699.97 c #Conflicts: 738000 | #Constraints: 33270 2688.99/2699.97 c #Conflicts: 739000 | #Constraints: 34272 2688.99/2699.97 c INPROCESSING 2688.99/2699.97 c GARBAGE COLLECT 2688.99/2699.97 c rational objective 3.09179e+06 2826.41/2837.81 c bounds 4334592 >= 0 @ 2637.48 2826.41/2837.81 c #Conflicts: 740000 | #Constraints: 18250 2826.41/2837.81 c #Conflicts: 741000 | #Constraints: 19250 2826.41/2837.81 c #Conflicts: 742000 | #Constraints: 20251 2826.41/2837.81 c #Conflicts: 743000 | #Constraints: 21255 2826.41/2837.81 c #Conflicts: 744000 | #Constraints: 22258 2826.41/2837.81 c #Conflicts: 745000 | #Constraints: 23258 2826.41/2837.81 c #Conflicts: 746000 | #Constraints: 24258 2826.41/2837.81 c #Conflicts: 747000 | #Constraints: 25258 2826.41/2837.81 c #Conflicts: 748000 | #Constraints: 26258 2826.41/2837.81 c #Conflicts: 749000 | #Constraints: 27260 2826.41/2837.81 c bounds 4298752 >= 0 @ 2740.32 2826.41/2837.81 c #Conflicts: 750000 | #Constraints: 28267 2826.41/2837.81 c #Conflicts: 751000 | #Constraints: 29269 2826.41/2837.81 c #Conflicts: 752000 | #Constraints: 30271 2826.41/2837.81 c #Conflicts: 753000 | #Constraints: 31273 2826.41/2837.81 c #Conflicts: 754000 | #Constraints: 32275 2826.41/2837.81 c #Conflicts: 755000 | #Constraints: 33278 2826.41/2837.81 c #Conflicts: 756000 | #Constraints: 34283 2826.41/2837.81 c INPROCESSING 2826.41/2837.81 c GARBAGE COLLECT 2826.41/2837.81 c rational objective 3.09182e+06 2880.71/2892.38 c #Conflicts: 757000 | #Constraints: 18030 2880.71/2892.38 c #Conflicts: 758000 | #Constraints: 19034 2880.71/2892.38 c #Conflicts: 759000 | #Constraints: 20038 2880.71/2892.38 c #Conflicts: 760000 | #Constraints: 21041 2880.71/2892.38 c #Conflicts: 761000 | #Constraints: 22047 2880.71/2892.38 c #Conflicts: 762000 | #Constraints: 23050 2880.71/2892.38 c #Conflicts: 763000 | #Constraints: 24053 2880.71/2892.38 c #Conflicts: 764000 | #Constraints: 25056 2880.71/2892.38 c #Conflicts: 765000 | #Constraints: 26060 2880.71/2892.38 c #Conflicts: 766000 | #Constraints: 27062 2880.71/2892.38 c #Conflicts: 767000 | #Constraints: 28065 2880.71/2892.38 c #Conflicts: 768000 | #Constraints: 29068 2880.71/2892.38 c #Conflicts: 769000 | #Constraints: 30070 2880.71/2892.38 c #Conflicts: 770000 | #Constraints: 31072 2880.71/2892.38 c #Conflicts: 771000 | #Constraints: 32076 2880.71/2892.38 c #Conflicts: 772000 | #Constraints: 33080 2880.71/2892.38 c #Conflicts: 773000 | #Constraints: 34083 2880.71/2892.38 c #Conflicts: 774000 | #Constraints: 35086 2880.71/2892.38 c INPROCESSING 2880.71/2892.38 c GARBAGE COLLECT 2880.71/2892.38 c rational objective 3.09191e+06 2981.27/2993.27 c #Conflicts: 775000 | #Constraints: 18637 2981.27/2993.27 c #Conflicts: 776000 | #Constraints: 19637 2981.27/2993.27 c #Conflicts: 777000 | #Constraints: 20639 2981.27/2993.27 c #Conflicts: 778000 | #Constraints: 21641 2981.27/2993.27 c bounds 4284416 >= 0 @ 2853.95 2981.27/2993.27 c #Conflicts: 779000 | #Constraints: 22644 2981.27/2993.27 c #Conflicts: 780000 | #Constraints: 23648 2981.27/2993.27 c #Conflicts: 781000 | #Constraints: 24648 2981.27/2993.27 c #Conflicts: 782000 | #Constraints: 25648 2981.27/2993.27 c #Conflicts: 783000 | #Constraints: 26649 2981.27/2993.27 c #Conflicts: 784000 | #Constraints: 27653 2981.27/2993.27 c #Conflicts: 785000 | #Constraints: 28653 2981.27/2993.27 c bounds 4262912 >= 0 @ 2896.08 2981.27/2993.27 c #Conflicts: 786000 | #Constraints: 29657 2981.27/2993.27 c #Conflicts: 787000 | #Constraints: 30661 2981.27/2993.27 c #Conflicts: 788000 | #Constraints: 31662 2981.27/2993.27 c #Conflicts: 789000 | #Constraints: 32663 2981.27/2993.27 c #Conflicts: 790000 | #Constraints: 33665 2981.27/2993.27 c #Conflicts: 791000 | #Constraints: 34666 2981.27/2993.27 c #Conflicts: 792000 | #Constraints: 35670 2981.27/2993.27 c INPROCESSING 2981.27/2993.27 c GARBAGE COLLECT 2981.27/2993.27 c rational objective 3.09191e+06 3033.89/3046.09 c #Conflicts: 793000 | #Constraints: 19036 3033.89/3046.09 c #Conflicts: 794000 | #Constraints: 20038 3033.89/3046.09 c #Conflicts: 795000 | #Constraints: 21039 3033.89/3046.09 c #Conflicts: 796000 | #Constraints: 22039 3033.89/3046.09 c #Conflicts: 797000 | #Constraints: 23041 3033.89/3046.09 c #Conflicts: 798000 | #Constraints: 24044 3033.89/3046.09 c #Conflicts: 799000 | #Constraints: 25046 3033.89/3046.09 c #Conflicts: 800000 | #Constraints: 26051 3033.89/3046.09 c #Conflicts: 801000 | #Constraints: 27055 3033.89/3046.09 c #Conflicts: 802000 | #Constraints: 28059 3033.89/3046.09 c #Conflicts: 803000 | #Constraints: 29063 3033.89/3046.09 c #Conflicts: 804000 | #Constraints: 30065 3033.89/3046.09 c #Conflicts: 805000 | #Constraints: 31068 3033.89/3046.09 c #Conflicts: 806000 | #Constraints: 32074 3033.89/3046.09 c #Conflicts: 807000 | #Constraints: 33077 3033.89/3046.09 c #Conflicts: 808000 | #Constraints: 34081 3033.89/3046.09 c #Conflicts: 809000 | #Constraints: 35087 3033.89/3046.09 c #Conflicts: 810000 | #Constraints: 36090 3033.89/3046.09 c INPROCESSING 3033.89/3046.09 c GARBAGE COLLECT 3033.89/3046.09 c rational objective 3.09193e+06 3286.45/3299.58 c #Conflicts: 811000 | #Constraints: 19229 3286.45/3299.58 c #Conflicts: 812000 | #Constraints: 20231 3286.45/3299.58 c #Conflicts: 813000 | #Constraints: 21233 3286.45/3299.58 c #Conflicts: 814000 | #Constraints: 22235 3286.45/3299.58 c #Conflicts: 815000 | #Constraints: 23237 3286.45/3299.58 c #Conflicts: 816000 | #Constraints: 24242 3286.45/3299.58 c #Conflicts: 817000 | #Constraints: 25244 3286.45/3299.58 c #Conflicts: 818000 | #Constraints: 26246 3286.45/3299.58 c #Conflicts: 819000 | #Constraints: 27249 3286.45/3299.58 c #Conflicts: 820000 | #Constraints: 28251 3286.45/3299.58 c #Conflicts: 821000 | #Constraints: 29253 3286.45/3299.58 c #Conflicts: 822000 | #Constraints: 30254 3286.45/3299.58 c #Conflicts: 823000 | #Constraints: 31257 3286.45/3299.58 c #Conflicts: 824000 | #Constraints: 32259 3286.45/3299.58 c #Conflicts: 825000 | #Constraints: 33260 3286.45/3299.58 c #Conflicts: 826000 | #Constraints: 34263 3286.45/3299.58 c #Conflicts: 827000 | #Constraints: 35264 3286.45/3299.58 c #Conflicts: 828000 | #Constraints: 36265 3286.45/3299.58 c INPROCESSING 3286.45/3299.58 c GARBAGE COLLECT 3286.45/3299.58 c rational objective 3.09213e+06 3358.58/3371.91 c #Conflicts: 829000 | #Constraints: 19239 3358.58/3371.91 c #Conflicts: 830000 | #Constraints: 20242 3358.58/3371.91 c #Conflicts: 831000 | #Constraints: 21245 3358.58/3371.91 c #Conflicts: 832000 | #Constraints: 22247 3358.58/3371.91 c #Conflicts: 833000 | #Constraints: 23251 3358.58/3371.91 c #Conflicts: 834000 | #Constraints: 24255 3358.58/3371.91 c #Conflicts: 835000 | #Constraints: 25259 3358.58/3371.91 c #Conflicts: 836000 | #Constraints: 26265 3358.58/3371.91 c #Conflicts: 837000 | #Constraints: 27269 3358.58/3371.91 c #Conflicts: 838000 | #Constraints: 28274 3358.58/3371.91 c #Conflicts: 839000 | #Constraints: 29278 3358.58/3371.91 c #Conflicts: 840000 | #Constraints: 30282 3358.58/3371.91 c #Conflicts: 841000 | #Constraints: 31286 3358.58/3371.91 c #Conflicts: 842000 | #Constraints: 32289 3358.58/3371.91 c #Conflicts: 843000 | #Constraints: 33290 3358.58/3371.91 c #Conflicts: 844000 | #Constraints: 34293 3358.58/3371.91 c #Conflicts: 845000 | #Constraints: 35296 3358.58/3371.91 c #Conflicts: 846000 | #Constraints: 36302 3358.58/3371.91 c INPROCESSING 3358.58/3371.91 c GARBAGE COLLECT 3358.58/3371.91 c rational objective 3.09213e+06 3417.11/3430.75 c #Conflicts: 847000 | #Constraints: 19069 3417.11/3430.75 c #Conflicts: 848000 | #Constraints: 20073 3417.11/3430.75 c #Conflicts: 849000 | #Constraints: 21074 3417.11/3430.75 c #Conflicts: 850000 | #Constraints: 22077 3417.11/3430.75 c #Conflicts: 851000 | #Constraints: 23082 3417.11/3430.75 c #Conflicts: 852000 | #Constraints: 24085 3417.11/3430.75 c #Conflicts: 853000 | #Constraints: 25088 3417.11/3430.75 c #Conflicts: 854000 | #Constraints: 26091 3417.11/3430.75 c #Conflicts: 855000 | #Constraints: 27093 3417.11/3430.75 c #Conflicts: 856000 | #Constraints: 28096 3417.11/3430.75 c #Conflicts: 857000 | #Constraints: 29101 3417.11/3430.75 c #Conflicts: 858000 | #Constraints: 30102 3417.11/3430.75 c #Conflicts: 859000 | #Constraints: 31104 3417.11/3430.75 c #Conflicts: 860000 | #Constraints: 32109 3417.11/3430.75 c #Conflicts: 861000 | #Constraints: 33112 3417.11/3430.75 c #Conflicts: 862000 | #Constraints: 34117 3417.11/3430.75 c #Conflicts: 863000 | #Constraints: 35120 3417.11/3430.75 c #Conflicts: 864000 | #Constraints: 36125 3417.11/3430.75 c #Conflicts: 865000 | #Constraints: 37130 3417.11/3430.75 c INPROCESSING 3417.11/3430.75 c GARBAGE COLLECT 3417.11/3430.75 c rational objective 3.09214e+06 3474.66/3488.51 c #Conflicts: 866000 | #Constraints: 19673 3474.66/3488.51 c #Conflicts: 867000 | #Constraints: 20677 3474.66/3488.51 c #Conflicts: 868000 | #Constraints: 21680 3474.66/3488.51 c #Conflicts: 869000 | #Constraints: 22683 3474.66/3488.51 c #Conflicts: 870000 | #Constraints: 23686 3474.66/3488.51 c #Conflicts: 871000 | #Constraints: 24690 3474.66/3488.51 c #Conflicts: 872000 | #Constraints: 25692 3474.66/3488.51 c #Conflicts: 873000 | #Constraints: 26694 3474.66/3488.51 c #Conflicts: 874000 | #Constraints: 27698 3474.66/3488.51 c #Conflicts: 875000 | #Constraints: 28699 3474.66/3488.51 c #Conflicts: 876000 | #Constraints: 29701 3474.66/3488.51 c #Conflicts: 877000 | #Constraints: 30704 3474.66/3488.51 c #Conflicts: 878000 | #Constraints: 31707 3474.66/3488.51 c #Conflicts: 879000 | #Constraints: 32709 3474.66/3488.51 c #Conflicts: 880000 | #Constraints: 33712 3474.66/3488.51 c #Conflicts: 881000 | #Constraints: 34715 3474.66/3488.51 c #Conflicts: 882000 | #Constraints: 35719 3474.66/3488.51 c #Conflicts: 883000 | #Constraints: 36723 3474.66/3488.51 c #Conflicts: 884000 | #Constraints: 37724 3474.66/3488.51 c INPROCESSING 3474.66/3488.51 c GARBAGE COLLECT 3474.66/3488.51 c rational objective 3.09214e+06 3558.03/3572.27 c #Conflicts: 885000 | #Constraints: 20066 3558.03/3572.27 c #Conflicts: 886000 | #Constraints: 21070 3558.03/3572.27 c #Conflicts: 887000 | #Constraints: 22072 3558.03/3572.27 c #Conflicts: 888000 | #Constraints: 23074 3558.03/3572.27 c #Conflicts: 889000 | #Constraints: 24076 3558.03/3572.27 c #Conflicts: 890000 | #Constraints: 25079 3558.03/3572.27 c #Conflicts: 891000 | #Constraints: 26083 3558.03/3572.27 c #Conflicts: 892000 | #Constraints: 27085 3558.03/3572.27 c #Conflicts: 893000 | #Constraints: 28088 3558.03/3572.27 c #Conflicts: 894000 | #Constraints: 29091 3558.03/3572.27 c #Conflicts: 895000 | #Constraints: 30092 3558.03/3572.27 c #Conflicts: 896000 | #Constraints: 31094 3558.03/3572.27 c #Conflicts: 897000 | #Constraints: 32098 3558.03/3572.27 c #Conflicts: 898000 | #Constraints: 33102 3558.03/3572.27 c #Conflicts: 899000 | #Constraints: 34106 3558.03/3572.27 c #Conflicts: 900000 | #Constraints: 35110 3558.03/3572.27 c #Conflicts: 901000 | #Constraints: 36115 3558.03/3572.27 c #Conflicts: 902000 | #Constraints: 37121 3558.03/3572.27 c #Conflicts: 903000 | #Constraints: 38124 3558.03/3572.27 c INPROCESSING 3558.03/3572.27 c GARBAGE COLLECT 3558.03/3572.27 c rational objective 3.09214e+06 3600.05/3614.44 c #Conflicts: 904000 | #Constraints: 20253 3600.05/3614.44 c #Conflicts: 905000 | #Constraints: 21255 3600.05/3614.44 c #Conflicts: 906000 | #Constraints: 22256 3600.05/3614.44 c #Conflicts: 907000 | #Constraints: 23258 3600.05/3614.44 c #Conflicts: 908000 | #Constraints: 24259 3600.05/3614.44 c #Conflicts: 909000 | #Constraints: 25264 3600.05/3614.44 c #Conflicts: 910000 | #Constraints: 26267 3600.05/3614.44 c #Conflicts: 911000 | #Constraints: 27270 3600.05/3614.44 c #Conflicts: 912000 | #Constraints: 28274 3600.05/3614.44 c #Conflicts: 913000 | #Constraints: 29277 3600.05/3614.44 c #Conflicts: 914000 | #Constraints: 30281 3600.05/3614.44 c #Conflicts: 915000 | #Constraints: 31286 3600.05/3614.44 c #Conflicts: 916000 | #Constraints: 32291 3600.05/3614.44 c Program interrupted by user. 3600.05/3614.44 c cpu time 3531.51 s 3600.05/3614.44 c deterministic time 429714090551 4.30e+11 3600.05/3614.44 c optimization time 42.0667 s 3600.05/3614.44 c total solve time 3489.17 s 3600.05/3614.44 c core-guided solve time 2057.32 s 3600.05/3614.44 c propagation time 2042.75 s 3600.05/3614.44 c conflict analysis time 1328.98 s 3600.05/3614.44 c propagations 564831208 3600.05/3614.44 c resolve steps 10034229 3600.05/3614.44 c decisions 10997814 3600.05/3614.44 c conflicts 916860 3600.05/3614.44 c restarts 2006 3600.05/3614.44 c inprocessing phases 86 3600.05/3614.44 c input clauses 0 3600.05/3614.44 c input cardinalities 0 3600.05/3614.44 c input general constraints 796 3600.05/3614.44 c input average constraint length 2348.89 3600.05/3614.44 c input average constraint degree 379892609.16 3600.05/3614.44 c learned clauses 448918 3600.05/3614.44 c learned cardinalities 56 3600.05/3614.44 c learned general constraints 470927 3600.05/3614.44 c learned average constraint length 1376.94 3600.05/3614.44 c learned average constraint degree 5956413400.41 3600.05/3614.44 c watched constraints 463718 3600.05/3614.44 c counting constraints 8005 3600.05/3614.44 c gcd simplifications 115744 3600.05/3614.44 c detected cardinalities 52 3600.05/3614.44 c weakened non-implied lits 286576051 3600.05/3614.44 c weakened non-implying lits 13961158 3600.05/3614.44 c original variables 7812 3600.05/3614.44 c clausal propagations 1415188 3600.05/3614.44 c cardinality propagations 21476 3600.05/3614.44 c watched propagations 126102045 3600.05/3614.44 c counting propagations 435183800 3600.05/3614.44 c watch lookups 23826640350 3600.05/3614.44 c watch backjump lookups 20051490616 3600.05/3614.44 c watch checks 336282197382 3600.05/3614.44 c propagation checks 39763953973 3600.05/3614.44 c constraint additions 8636188890 3600.05/3614.44 c trail pops 576735581 3600.05/3614.44 c formula constraints 316 3600.05/3614.44 c learned constraints 913817 3600.05/3614.44 c bound constraints 480 3600.05/3614.44 c core-guided constraints 0 3600.05/3614.44 c encountered formula constraints 5827878 3600.05/3614.44 c encountered learned constraints 4329803 3600.05/3614.44 c encountered bound constraints 35200 3600.05/3614.44 c encountered core-guided constraints 0 3600.05/3614.44 c LP total time 92.1273 s 3600.05/3614.44 c LP solve time 69.03 s 3600.05/3614.44 c LP constraints added 2180 3600.05/3614.44 c LP constraints removed 1746 3600.05/3614.44 c LP pivots internal 916928 3600.05/3614.44 c LP pivots root 137808 3600.05/3614.44 c LP calls 5522 3600.05/3614.44 c LP optimalities 2465 3600.05/3614.44 c LP no pivot count 555 3600.05/3614.44 c LP infeasibilities 3052 3600.05/3614.44 c LP valid Farkas constraints 3042 3600.05/3614.44 c LP learned Farkas constraints 3042 3600.05/3614.44 c LP basis resets 13 3600.05/3614.44 c LP cycling count 0 3600.05/3614.44 c LP singular count 3 3600.05/3614.44 c LP no primal count 0 3600.05/3614.44 c LP no farkas count 10 3600.05/3614.44 c LP other issue count 0 3600.05/3614.44 c LP Gomory cuts 0 3600.05/3614.44 c LP learned cuts 1864 3600.05/3614.44 c LP deleted cuts 1746 3600.05/3614.44 c LP encountered Gomory constraints 0 3600.05/3614.44 c LP encountered Farkas constraints 713417 3600.05/3614.44 c LP encountered learned Farkas constraints 41749 3600.05/3614.44 c CG auxiliary variables introduced 0 3600.05/3614.44 c CG solutions found 480 3600.05/3614.44 c CG cores constructed 0 3600.05/3614.44 c CG core cardinality constraints returned 0 3600.05/3614.44 c CG unit cores 0 3600.05/3614.44 c CG single cores 0 3600.05/3614.44 c CG blocks removed during cardinality reduction 0 3600.05/3614.44 c CG first core best 0 3600.05/3614.44 c CG decision core best 0 3600.05/3614.44 c CG core reduction tie 0 3600.05/3614.44 c CG core degree average 0.00 3600.05/3614.44 c CG core slack average 0.00 3600.05/3614.44 s SATISFIABLE 3600.05/3614.44 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 x1152 x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 -x1813 -x1814 x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 x2411 x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 -x2593 -x2594 -x2595 x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 x3043 x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 x3162 x3163 -x3164 x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 x3431 -x3432 x3433 -x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 x3461 x3462 x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 x3671 -x3672 x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 x4153 -x4154 x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 x4902 -x4903 -x4904 x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 x5411 x5412 x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 x5593 -x5594 x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 x5861 x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 x5983 -x5984 x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 x6881 -x6882 x6883 x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 x7062 -x7063 x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x74
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (63404 MiB free)
memory of node 1: 64473 MiB (63872 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462493-1722340764/watcher-4462493-1722340764 -o /tmp/evaluation-result-4462493-1722340764/solver-4462493-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722340763-6790 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462493-1722340764 --lp-cut-gomory=0 HOME/instance-4462493-1722340764.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6823, runsolver pid=6820
[startup+0.100087 s]*
/proc/loadavg: 0.20 0.12 0.10 2/251 6832
/proc/meminfo: memFree=130324096/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=37376 memory=2564 CPUtime=0 cores=0,2
/proc/6823/stat : 6823 (roundingsat) D 6820 6823 6778 0 -1 4194304 220 0 0 0 0 0 0 0 20 0 1 0 678362 38273024 641 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 9344 641 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2564 KiB
[startup+0.205491 s]*
/proc/loadavg: 0.20 0.12 0.10 1/254 6839
/proc/meminfo: memFree=130322116/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=37376 memory=2564 CPUtime=0 cores=0,2
/proc/6823/stat : 6823 (roundingsat) D 6820 6823 6778 0 -1 4194304 220 0 0 0 0 0 0 0 20 0 1 0 678362 38273024 641 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 9344 641 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2564 KiB
[startup+0.304852 s]*
/proc/loadavg: 0.20 0.12 0.10 1/254 6841
/proc/meminfo: memFree=130321760/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=37376 memory=2564 CPUtime=0 cores=0,2
/proc/6823/stat : 6823 (roundingsat) D 6820 6823 6778 0 -1 4194304 220 0 0 0 0 0 0 0 20 0 1 0 678362 38273024 641 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 9344 641 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2564 KiB
[startup+0.700157 s]
/proc/loadavg: 0.20 0.12 0.10 1/260 6854
/proc/meminfo: memFree=130314024/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=37376 memory=2564 CPUtime=0 cores=0,2
/proc/6823/stat : 6823 (roundingsat) D 6820 6823 6778 0 -1 4194304 220 0 0 0 0 0 0 0 20 0 1 0 678362 38273024 641 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 9344 641 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2564 KiB
[startup+1.50046 s]
/proc/loadavg: 0.20 0.12 0.10 1/260 6854
/proc/meminfo: memFree=130313512/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=39768 memory=7936 CPUtime=0.26 cores=0,2
/proc/6823/stat : 6823 (roundingsat) R 6820 6823 6778 0 -1 4194304 1086 0 0 0 25 1 0 0 20 0 1 0 678362 40722432 1984 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 9942 1984 1392 992 0 1800 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 39768 KiB
Current children cumulated memory: 7936 KiB
[startup+3.10545 s]
/proc/loadavg: 0.51 0.18 0.12 4/255 6862
/proc/meminfo: memFree=130106576/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=54568 memory=26152 CPUtime=1.85 cores=0,2
/proc/6823/stat : 6823 (roundingsat) R 6820 6823 6778 0 -1 4194304 4931 0 0 0 177 8 0 0 20 0 1 0 678362 55877632 6538 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 13642 6538 1871 992 0 5500 0
Current children cumulated CPU time: 1.85 s
Current children cumulated vsize: 54568 KiB
Current children cumulated memory: 26152 KiB
heavy processes:
[startup+6.30047 s]
/proc/loadavg: 0.51 0.18 0.12 5/260 6901
/proc/meminfo: memFree=129869072/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=73712 memory=42316 CPUtime=5.01 cores=0,2
/proc/6823/stat : 6823 (roundingsat) R 6820 6823 6778 0 -1 4194304 7989 0 0 0 481 20 0 0 20 0 1 0 678362 75481088 10579 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 18428 10579 1871 992 0 10286 0
Current children cumulated CPU time: 5.01 s
Current children cumulated vsize: 73712 KiB
Current children cumulated memory: 42316 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 0.79 0.25 0.14 5/261 6903
/proc/meminfo: memFree=129426576/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=90984 memory=53604 CPUtime=11.38 cores=0,2
/proc/6823/stat : 6823 (roundingsat) R 6820 6823 6778 0 -1 4194304 9803 0 0 0 1099 39 0 0 20 0 1 0 678362 93167616 13401 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 22746 13401 1871 992 0 14604 0
Current children cumulated CPU time: 11.38 s
Current children cumulated vsize: 90984 KiB
Current children cumulated memory: 53604 KiB
[startup+25.5002 s]
/proc/loadavg: 1.50 0.43 0.20 5/261 6905
/proc/meminfo: memFree=128562004/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=115312 memory=74084 CPUtime=24.13 cores=0,2
/proc/6823/stat : 6823 (roundingsat) R 6820 6823 6778 0 -1 4194304 11850 0 0 0 2332 81 0 0 20 0 1 0 678362 118079488 18521 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 28828 18521 1871 992 0 20686 0
Current children cumulated CPU time: 24.13 s
Current children cumulated vsize: 115312 KiB
Current children cumulated memory: 74084 KiB
[startup+51.1057 s]
/proc/loadavg: 2.42 0.74 0.31 5/262 6911
/proc/meminfo: memFree=127029556/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=124760 memory=89696 CPUtime=49.64 cores=0,2
/proc/6823/stat : 6823 (roundingsat) R 6820 6823 6778 0 -1 4194304 14210 0 0 0 4809 155 0 0 20 0 1 0 678362 127754240 22424 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 31190 22424 1871 992 0 23048 0
Current children cumulated CPU time: 49.64 s
Current children cumulated vsize: 124760 KiB
Current children cumulated memory: 89696 KiB
[startup+102.3 s]
/proc/loadavg: 3.42 1.27 0.52 5/263 6935
/proc/meminfo: memFree=124349756/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=161648 memory=112380 CPUtime=100.65 cores=0,2
/proc/6823/stat : 6823 (roundingsat) R 6820 6823 6778 0 -1 4194304 16303 0 0 0 9769 296 0 0 20 0 1 0 678362 165527552 28095 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 40412 28095 1871 992 0 32270 0
Current children cumulated CPU time: 100.65 s
Current children cumulated vsize: 161648 KiB
Current children cumulated memory: 112380 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 1.83 0.76 5/263 6947
/proc/meminfo: memFree=121588744/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=170676 memory=138060 CPUtime=160.42 cores=0,2
/proc/6823/stat : 6823 (roundingsat) R 6820 6823 6778 0 -1 4194304 20004 0 0 0 15608 434 0 0 20 0 1 0 678362 174772224 34515 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 42669 34515 1871 992 0 34527 0
Current children cumulated CPU time: 160.42 s
Current children cumulated vsize: 170676 KiB
Current children cumulated memory: 138060 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 2.26 0.97 5/263 6958
/proc/meminfo: memFree=119159776/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=175928 memory=143392 CPUtime=220.2 cores=0,2
/proc/6823/stat : 6823 (roundingsat) R 6820 6823 6778 0 -1 4194304 23926 0 0 0 21442 578 0 0 20 0 1 0 678362 180150272 35848 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 43982 35848 1871 992 0 35840 0
Current children cumulated CPU time: 220.2 s
Current children cumulated vsize: 175928 KiB
Current children cumulated memory: 143392 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 2.61 1.18 5/261 6968
/proc/meminfo: memFree=117225092/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=241528 memory=172668 CPUtime=279.99 cores=0,2
/proc/6823/stat : 6823 (roundingsat) R 6820 6823 6778 0 -1 4194304 30030 0 1 0 27311 688 0 0 20 0 1 0 678362 247324672 43167 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 60382 43167 1970 992 0 52240 0
Current children cumulated CPU time: 279.99 s
Current children cumulated vsize: 241528 KiB
Current children cumulated memory: 172668 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 2.88 1.36 5/261 6979
/proc/meminfo: memFree=115945936/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=257456 memory=231152 CPUtime=339.79 cores=0,2
/proc/6823/stat : 6823 (roundingsat) R 6820 6823 6778 0 -1 4194304 34434 0 1 0 33225 754 0 0 20 0 1 0 678362 263634944 57788 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 64364 57788 1970 992 0 56222 0
Current children cumulated CPU time: 339.79 s
Current children cumulated vsize: 257456 KiB
Current children cumulated memory: 231152 KiB
[startup+402.3 s]
/proc/loadavg: 4.23 3.14 1.55 5/258 6990
/proc/meminfo: memFree=112906504/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=260260 memory=233992 CPUtime=399.59 cores=0,2
/proc/6823/stat : 6823 (roundingsat) R 6820 6823 6778 0 -1 4194304 36602 0 1 0 39040 919 0 0 20 0 1 0 678362 266506240 58498 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 65065 58498 1970 992 0 56923 0
Current children cumulated CPU time: 399.59 s
Current children cumulated vsize: 260260 KiB
Current children cumulated memory: 233992 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.32 1.71 5/258 7003
/proc/meminfo: memFree=109794424/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=262088 memory=235948 CPUtime=459.37 cores=0,2
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.21 4.15 4.03 5/264 8125
/proc/meminfo: memFree=17935044/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=596644 memory=479692 CPUtime=3090 cores=0,2
/proc/6823/stat : 6823 (roundingsat) R 6820 6823 6778 0 -1 4194304 105896 0 1 0 303033 5967 0 0 20 0 1 0 678362 610963456 119923 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 149161 119923 1970 992 0 141019 0
Current children cumulated CPU time: 3090 s
Current children cumulated vsize: 596644 KiB
Current children cumulated memory: 479692 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.13 4.03 5/265 8136
/proc/meminfo: memFree=16960760/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=597096 memory=481360 CPUtime=3149.79 cores=0,2
/proc/6823/stat : 6823 (roundingsat) R 6820 6823 6778 0 -1 4194304 106174 0 1 0 308948 6031 0 0 20 0 1 0 678362 611426304 120340 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 149274 120340 1970 992 0 141132 0
Current children cumulated CPU time: 3149.79 s
Current children cumulated vsize: 597096 KiB
Current children cumulated memory: 481360 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.03 5/265 8146
/proc/meminfo: memFree=15833848/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=597096 memory=481432 CPUtime=3209.58 cores=0,2
/proc/6823/stat : 6823 (roundingsat) R 6820 6823 6778 0 -1 4194304 106341 0 1 0 314871 6087 0 0 20 0 1 0 678362 611426304 120358 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 149274 120358 1970 992 0 141132 0
Current children cumulated CPU time: 3209.58 s
Current children cumulated vsize: 597096 KiB
Current children cumulated memory: 481432 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.14 4.04 5/265 8156
/proc/meminfo: memFree=14775724/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=601452 memory=502176 CPUtime=3269.33 cores=0,2
/proc/6823/stat : 6823 (roundingsat) R 6820 6823 6778 0 -1 4194304 111090 0 1 0 320789 6144 0 0 20 0 1 0 678362 615886848 125544 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 150363 125544 1970 992 0 142221 0
Current children cumulated CPU time: 3269.33 s
Current children cumulated vsize: 601452 KiB
Current children cumulated memory: 502176 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.04 5/263 8167
/proc/meminfo: memFree=12712856/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=612120 memory=525480 CPUtime=3329.1 cores=0,2
/proc/6823/stat : 6823 (roundingsat) R 6820 6823 6778 0 -1 4194304 115961 0 1 0 326660 6250 0 0 20 0 1 0 678362 626810880 131370 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 153030 131370 1970 992 0 144888 0
Current children cumulated CPU time: 3329.1 s
Current children cumulated vsize: 612120 KiB
Current children cumulated memory: 525480 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.05 5/261 8564
/proc/meminfo: memFree=10264460/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=611092 memory=526028 CPUtime=3388.84 cores=0,2
/proc/6823/stat : 6823 (roundingsat) R 6820 6823 6778 0 -1 4194304 117308 0 1 0 332500 6384 0 0 20 0 1 0 678362 625758208 131507 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 152773 131507 1970 992 0 144631 0
Current children cumulated CPU time: 3388.84 s
Current children cumulated vsize: 611092 KiB
Current children cumulated memory: 526028 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.14 4.05 5/260 8575
/proc/meminfo: memFree=7493564/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=611092 memory=526028 CPUtime=3448.57 cores=0,2
/proc/6823/stat : 6823 (roundingsat) R 6820 6823 6778 0 -1 4194304 119090 0 1 0 338318 6539 0 0 20 0 1 0 678362 625758208 131507 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 152773 131507 1970 992 0 144631 0
Current children cumulated CPU time: 3448.57 s
Current children cumulated vsize: 611092 KiB
Current children cumulated memory: 526028 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.14 4.06 5/260 8586
/proc/meminfo: memFree=5288732/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=611092 memory=526028 CPUtime=3508.32 cores=0,2
/proc/6823/stat : 6823 (roundingsat) R 6820 6823 6778 0 -1 4194304 120795 0 1 0 344158 6674 0 0 20 0 1 0 678362 625758208 131507 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 152773 131507 1970 992 0 144631 0
Current children cumulated CPU time: 3508.32 s
Current children cumulated vsize: 611092 KiB
Current children cumulated memory: 526028 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.16 4.07 5/262 8767
/proc/meminfo: memFree=3275328/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=611092 memory=526028 CPUtime=3568.09 cores=0,2
/proc/6823/stat : 6823 (roundingsat) R 6820 6823 6778 0 -1 4194304 122376 0 1 0 350024 6785 0 0 20 0 1 0 678362 625758208 131507 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 152773 131507 1970 992 0 144631 0
Current children cumulated CPU time: 3568.09 s
Current children cumulated vsize: 611092 KiB
Current children cumulated memory: 526028 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.4 s]
/proc/loadavg: 4.24 4.17 4.08 2/256 8800
/proc/meminfo: memFree=2079600/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=611092 memory=526028 CPUtime=3600.05 cores=0,2
/proc/6823/stat : 6823 (roundingsat) R 6820 6823 6778 0 -1 4194304 122748 0 1 0 353150 6855 0 0 20 0 1 0 678362 625758208 131507 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 152773 131507 1970 992 0 144631 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 611092 KiB
Current children cumulated memory: 526028 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.24 4.17 4.08 1/255 8800
/proc/meminfo: memFree=2067692/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=611092 memory=526028 CPUtime=3600.08 cores=0,2
/proc/6823/stat : 6823 (roundingsat) D 6820 6823 6778 0 -1 4194304 122751 0 2 0 353151 6857 0 0 20 0 1 0 678362 625758208 131507 134679101440 4194304 8255733 140730594048144 0 0 256 0 0 25182210 0 0 0 17 0 0 0 319 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 152773 131507 1970 992 0 144631 0
??? kill 6823 sig 9
??? end of watcher thread
[startup+3666.07 s]
# the end of solver process 6823 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3531.52 s, system=68.585 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3615.2 s]
/proc/loadavg: 4.24 4.17 4.08 1/256 8800
/proc/meminfo: memFree=2067776/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=611092 memory=526028 CPUtime=3600.08 cores=0,2
/proc/6823/stat : 6823 (roundingsat) D 6820 6823 6778 0 -1 4194304 122751 0 2 0 353151 6857 0 0 20 0 1 0 678362 625758208 131507 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 3 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 152773 131507 1970 992 0 144631 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 611092 KiB
Current children cumulated memory: 526028 KiB
[startup+3616 s]*
/proc/loadavg: 4.24 4.17 4.08 1/255 8800
/proc/meminfo: memFree=2067044/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=611092 memory=526028 CPUtime=3600.08 cores=0,2
/proc/6823/stat : 6823 (roundingsat) D 6820 6823 6778 0 -1 4194304 122751 0 2 0 353151 6857 0 0 20 0 1 0 678362 625758208 131507 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 304 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 152773 131507 1970 992 0 144631 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 611092 KiB
Current children cumulated memory: 526028 KiB
[startup+3616.4 s]
/proc/loadavg: 4.24 4.17 4.08 1/255 8800
/proc/meminfo: memFree=2067044/131524600 swapFree=131071996/131071996
[pid=6823] ppid=6820 vsize=611092 memory=526028 CPUtime=3600.08 cores=0,2
/proc/6823/stat : 6823 (roundingsat) D 6820 6823 6778 0 -1 4194304 122751 0 2 0 353151 6857 0 0 20 0 1 0 678362 625758208 131507 134679101440 4194304 8255733 140730594048144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 319 0 0 9037040 9046032 15335424 140730594050910 140730594051172 140730594051172 140730594058185 0
/proc/6823/statm: 152773 131507 1970 992 0 144631 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 611092 KiB
Current children cumulated memory: 526028 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3666.07
CPU time (s): 3600.1
CPU user time (s): 3531.52
CPU system time (s): 68.585
CPU usage (%): 98.2005
Max. virtual memory (cumulated for all children) (KiB): 612120
Max. memory (cumulated for all children) (KiB): 526028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3531.52
system time used= 68.585
maximum resident set size= 526212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122751
page faults= 2
swaps= 0
block input operations= 3744
block output operations= 174036808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5204
involuntary context switches= 25971
# summary of solver processes directly reported to runsolver:
# pid: 6823
# total CPU time (s): 3600.1
# total CPU user time (s): 3531.52
# total CPU system time (s): 68.585
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.8074 second user time and 17.7515 second system time
The end
Begin job on nodeC032 at 2024-07-30 13:59:24 IDJOB=4462493 IDBENCH=146763 IDSOLVER=3089 FILE ID=nodeC032/4462493-1722340764 RUNJOBID= nodeC032-1722340763-6790 SLURM_JOB_ID= 8249005 Free space on /tmp= 890076 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462493-1722340764/watcher-4462493-1722340764 -o /tmp/evaluation-result-4462493-1722340764/solver-4462493-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722340763-6790 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462493-1722340764 --lp-cut-gomory=0 HOME/instance-4462493-1722340764.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5c8d8ce64a950076da07daccd75facb4 RANDOM SEED=727532140 nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3594.682 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.77 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3125.112 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.64 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3564.395 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.77 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2313.400 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.64 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3485.600 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.77 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3517.874 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.64 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2954.975 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.77 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3485.983 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.64 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 130333020 kB MemAvailable: 129916392 kB Buffers: 39444 kB Cached: 341228 kB SwapCached: 0 kB Active: 142836 kB Inactive: 592956 kB Active(anon): 1412 kB Inactive(anon): 375032 kB Active(file): 141424 kB Inactive(file): 217924 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 14840 kB Writeback: 0 kB AnonPages: 355160 kB Mapped: 87660 kB Shmem: 21332 kB KReclaimable: 43872 kB Slab: 117480 kB SReclaimable: 43872 kB SUnreclaim: 73608 kB KernelStack: 3860 kB PageTables: 8868 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 637236 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8928 kB HardwareCorrupted: 0 kB AnonHugePages: 233472 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 182996 kB DirectMap2M: 7979008 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 890044 MiB End job on nodeC032 at 2024-07-30 15:00:30