| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 4261888 | 3600.08 | 3609.77 |
| 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.20/0.29 c #variables 7812 #constraints 316 2.78/2.86 c bounds - >= 0 @ 0.264557 2.78/2.86 c bounds 7346171 >= 0 @ 0.318704 2.78/2.86 c #Conflicts: 1000 | #Constraints: 1319 2.78/2.86 c #Conflicts: 2000 | #Constraints: 2322 2.78/2.86 c INPROCESSING 2.78/2.86 c GARBAGE COLLECT 2.78/2.86 c rational objective 3.08935e+06 11.75/11.82 c bounds 7278587 >= 0 @ 2.7496 11.75/11.82 c bounds 7278379 >= 0 @ 2.75803 11.75/11.82 c bounds 7278275 >= 0 @ 2.81806 11.75/11.82 c bounds 7261891 >= 0 @ 2.83376 11.75/11.82 c bounds 7186115 >= 0 @ 3.59763 11.75/11.82 c bounds 7186111 >= 0 @ 4.80659 11.75/11.82 c #Conflicts: 3000 | #Constraints: 2344 11.75/11.82 c #Conflicts: 4000 | #Constraints: 3347 11.75/11.82 c INPROCESSING 11.75/11.82 c GARBAGE COLLECT 11.75/11.82 c bounds 7186059 >= 0 @ 7.15343 11.75/11.82 c bounds 7186046 >= 0 @ 7.84557 11.75/11.82 c bounds 7186033 >= 0 @ 7.87893 11.75/11.82 c bounds 7186020 >= 0 @ 8.28251 11.75/11.82 c #Conflicts: 5000 | #Constraints: 2752 11.75/11.82 c #Conflicts: 6000 | #Constraints: 3756 11.75/11.82 c INPROCESSING 11.75/11.82 c GARBAGE COLLECT 11.75/11.82 c rational objective 3.08939e+06 17.63/17.74 c bounds 7158372 >= 0 @ 12.1477 17.63/17.74 c bounds 6892128 >= 0 @ 12.35 17.63/17.74 c #Conflicts: 7000 | #Constraints: 2758 17.63/17.74 c bounds 6824544 >= 0 @ 12.5103 17.63/17.74 c bounds 6824533 >= 0 @ 12.7239 17.63/17.74 c bounds 6824511 >= 0 @ 12.7884 17.63/17.74 c bounds 6824505 >= 0 @ 12.9121 17.63/17.74 c bounds 6824483 >= 0 @ 12.927 17.63/17.74 c bounds 6824449 >= 0 @ 12.9885 17.63/17.74 c bounds 6824427 >= 0 @ 13.0964 17.63/17.74 c #Conflicts: 8000 | #Constraints: 3768 17.63/17.74 c #Conflicts: 9000 | #Constraints: 4768 17.63/17.74 c INPROCESSING 17.63/17.74 c GARBAGE COLLECT 17.63/17.74 c rational objective 3.08939e+06 24.51/24.68 c bounds 6824024 >= 0 @ 17.1354 24.51/24.68 c bounds 6824016 >= 0 @ 17.4303 24.51/24.68 c bounds 6824003 >= 0 @ 17.8547 24.51/24.68 c bounds 6824000 >= 0 @ 18.111 24.51/24.68 c bounds 6821734 >= 0 @ 18.7536 24.51/24.68 c bounds 6821721 >= 0 @ 18.7707 24.51/24.68 c bounds 6821710 >= 0 @ 18.9563 24.51/24.68 c bounds 6821687 >= 0 @ 19.0053 24.51/24.68 c #Conflicts: 10000 | #Constraints: 3459 24.51/24.68 c bounds 6821674 >= 0 @ 20.0862 24.51/24.68 c bounds 6821650 >= 0 @ 20.2559 24.51/24.68 c bounds 6821622 >= 0 @ 20.2747 24.51/24.68 c #Conflicts: 11000 | #Constraints: 4464 24.51/24.68 c #Conflicts: 12000 | #Constraints: 5470 24.51/24.68 c INPROCESSING 24.51/24.68 c GARBAGE COLLECT 24.51/24.68 c rational objective 3.08939e+06 31.39/31.51 c bounds 6821398 >= 0 @ 23.8564 31.39/31.51 c bounds 6821396 >= 0 @ 25.0915 31.39/31.51 c bounds 6821385 >= 0 @ 25.1065 31.39/31.51 c bounds 6821359 >= 0 @ 25.2885 31.39/31.51 c bounds 6821151 >= 0 @ 25.3561 31.39/31.51 c bounds 6821099 >= 0 @ 25.3814 31.39/31.51 c bounds 6821079 >= 0 @ 25.7718 31.39/31.51 c bounds 6787287 >= 0 @ 25.8131 31.39/31.51 c bounds 6774999 >= 0 @ 25.8282 31.39/31.51 c bounds 6666455 >= 0 @ 25.8599 31.39/31.51 c bounds 6666433 >= 0 @ 25.9186 31.39/31.51 c bounds 6661313 >= 0 @ 25.9474 31.39/31.51 c #Conflicts: 13000 | #Constraints: 3914 31.39/31.51 c bounds 6661307 >= 0 @ 26.6916 31.39/31.51 c #Conflicts: 14000 | #Constraints: 4921 31.39/31.51 c #Conflicts: 15000 | #Constraints: 5924 31.39/31.51 c INPROCESSING 31.39/31.51 c GARBAGE COLLECT 31.39/31.51 c rational objective 3.08939e+06 39.27/39.45 c bounds 6587995 >= 0 @ 30.516 39.27/39.45 c bounds 6565457 >= 0 @ 30.8892 39.27/39.45 c bounds 6565297 >= 0 @ 30.9032 39.27/39.45 c bounds 6565277 >= 0 @ 31.7533 39.27/39.45 c bounds 6565274 >= 0 @ 31.9531 39.27/39.45 c #Conflicts: 16000 | #Constraints: 4142 39.27/39.45 c bounds 6565264 >= 0 @ 33.0999 39.27/39.45 c bounds 6565247 >= 0 @ 33.2346 39.27/39.45 c #Conflicts: 17000 | #Constraints: 5151 39.27/39.45 c #Conflicts: 18000 | #Constraints: 6153 39.27/39.45 c INPROCESSING 39.27/39.45 c GARBAGE COLLECT 39.27/39.45 c rational objective 3.08939e+06 48.13/48.32 c bounds 6565237 >= 0 @ 38.2133 48.13/48.32 c bounds 6565157 >= 0 @ 38.4882 48.13/48.32 c bounds 6564837 >= 0 @ 38.4999 48.13/48.32 c bounds 6502373 >= 0 @ 40.0899 48.13/48.32 c #Conflicts: 19000 | #Constraints: 4170 48.13/48.32 c bounds 6422504 >= 0 @ 40.5626 48.13/48.32 c bounds 6422490 >= 0 @ 40.5874 48.13/48.32 c #Conflicts: 20000 | #Constraints: 5176 48.13/48.32 c #Conflicts: 21000 | #Constraints: 6181 48.13/48.32 c INPROCESSING 48.13/48.32 c GARBAGE COLLECT 48.13/48.32 c rational objective 3.08948e+06 58.20/58.45 c bounds 6422489 >= 0 @ 46.7943 58.20/58.45 c bounds 6422487 >= 0 @ 46.9289 58.20/58.45 c bounds 6422465 >= 0 @ 47.0947 58.20/58.45 c bounds 6422443 >= 0 @ 47.1083 58.20/58.45 c bounds 6422421 >= 0 @ 47.1196 58.20/58.45 c bounds 6422377 >= 0 @ 47.5945 58.20/58.45 c bounds 6422367 >= 0 @ 47.8116 58.20/58.45 c bounds 6422357 >= 0 @ 47.8557 58.20/58.45 c bounds 6422347 >= 0 @ 47.8695 58.20/58.45 c #Conflicts: 22000 | #Constraints: 3981 58.20/58.45 c bounds 6418692 >= 0 @ 49.6318 58.20/58.45 c #Conflicts: 23000 | #Constraints: 4986 58.20/58.45 c bounds 6418572 >= 0 @ 51.4729 58.20/58.45 c #Conflicts: 24000 | #Constraints: 5990 58.20/58.45 c #Conflicts: 25000 | #Constraints: 6994 58.20/58.45 c INPROCESSING 58.20/58.45 c GARBAGE COLLECT 58.20/58.45 c rational objective 3.08948e+06 69.27/69.50 c bounds 6418530 >= 0 @ 57.1092 69.27/69.50 c bounds 6418516 >= 0 @ 57.1245 69.27/69.50 c bounds 6418508 >= 0 @ 58.4487 69.27/69.50 c bounds 6418494 >= 0 @ 58.8091 69.27/69.50 c #Conflicts: 26000 | #Constraints: 4567 69.27/69.50 c bounds 6418488 >= 0 @ 59.0377 69.27/69.50 c bounds 6418480 >= 0 @ 59.8314 69.27/69.50 c bounds 6418471 >= 0 @ 59.8613 69.27/69.50 c #Conflicts: 27000 | #Constraints: 5573 69.27/69.50 c bounds 6418465 >= 0 @ 62.8369 69.27/69.50 c #Conflicts: 28000 | #Constraints: 6578 69.27/69.50 c #Conflicts: 29000 | #Constraints: 7581 69.27/69.50 c INPROCESSING 69.27/69.50 c GARBAGE COLLECT 69.27/69.50 c rational objective 3.08948e+06 77.85/78.18 c #Conflicts: 30000 | #Constraints: 4962 77.85/78.18 c #Conflicts: 31000 | #Constraints: 5966 77.85/78.18 c #Conflicts: 32000 | #Constraints: 6970 77.85/78.18 c #Conflicts: 33000 | #Constraints: 7973 77.85/78.18 c INPROCESSING 77.85/78.18 c GARBAGE COLLECT 77.85/78.18 c rational objective 3.08948e+06 90.40/90.71 c bounds 6418409 >= 0 @ 75.7655 90.40/90.71 c bounds 6418406 >= 0 @ 76.1614 90.40/90.71 c bounds 6418307 >= 0 @ 76.2548 90.40/90.71 c bounds 6418293 >= 0 @ 76.2732 90.40/90.71 c bounds 6418265 >= 0 @ 76.288 90.40/90.71 c bounds 6418241 >= 0 @ 77.6013 90.40/90.71 c bounds 6418193 >= 0 @ 78.6041 90.40/90.71 c bounds 6417809 >= 0 @ 78.6565 90.40/90.71 c #Conflicts: 34000 | #Constraints: 5174 90.40/90.71 c bounds 6416913 >= 0 @ 79.3279 90.40/90.71 c bounds 6416145 >= 0 @ 79.9173 90.40/90.71 c bounds 6413329 >= 0 @ 80.19 90.40/90.71 c bounds 6407185 >= 0 @ 80.6257 90.40/90.71 c #Conflicts: 35000 | #Constraints: 6180 90.40/90.71 c #Conflicts: 36000 | #Constraints: 7184 90.40/90.71 c #Conflicts: 37000 | #Constraints: 8188 90.40/90.71 c INPROCESSING 90.40/90.71 c GARBAGE COLLECT 90.40/90.71 c rational objective 3.08948e+06 103.67/104.07 c bounds 6407174 >= 0 @ 89.6364 103.67/104.07 c #Conflicts: 38000 | #Constraints: 5173 103.67/104.07 c bounds 6407158 >= 0 @ 92.6637 103.67/104.07 c #Conflicts: 39000 | #Constraints: 6175 103.67/104.07 c #Conflicts: 40000 | #Constraints: 7180 103.67/104.07 c #Conflicts: 41000 | #Constraints: 8191 103.67/104.07 c INPROCESSING 103.67/104.07 c GARBAGE COLLECT 103.67/104.07 c rational objective 3.08948e+06 120.71/121.19 c bounds 6407144 >= 0 @ 100.851 120.71/121.19 c #Conflicts: 42000 | #Constraints: 4981 120.71/121.19 c #Conflicts: 43000 | #Constraints: 5982 120.71/121.19 c #Conflicts: 44000 | #Constraints: 6983 120.71/121.19 c bounds 6407112 >= 0 @ 113.271 120.71/121.19 c #Conflicts: 45000 | #Constraints: 7985 120.71/121.19 c #Conflicts: 46000 | #Constraints: 8991 120.71/121.19 c INPROCESSING 120.71/121.19 c GARBAGE COLLECT 120.71/121.19 c rational objective 3.08948e+06 131.17/131.68 c #Conflicts: 47000 | #Constraints: 5574 131.17/131.68 c #Conflicts: 48000 | #Constraints: 6576 131.17/131.68 c #Conflicts: 49000 | #Constraints: 7579 131.17/131.68 c #Conflicts: 50000 | #Constraints: 8579 131.17/131.68 c #Conflicts: 51000 | #Constraints: 9582 131.17/131.68 c INPROCESSING 131.17/131.68 c GARBAGE COLLECT 131.17/131.68 c rational objective 3.08948e+06 146.33/146.89 c bounds 6405432 >= 0 @ 127.68 146.33/146.89 c bounds 6393144 >= 0 @ 128.79 146.33/146.89 c bounds 6393138 >= 0 @ 128.842 146.33/146.89 c bounds 6393126 >= 0 @ 128.86 146.33/146.89 c bounds 6393123 >= 0 @ 128.882 146.33/146.89 c bounds 6393103 >= 0 @ 129.73 146.33/146.89 c bounds 6393063 >= 0 @ 129.947 146.33/146.89 c bounds 6393058 >= 0 @ 130.522 146.33/146.89 c bounds 6393048 >= 0 @ 130.647 146.33/146.89 c bounds 6393045 >= 0 @ 130.799 146.33/146.89 c #Conflicts: 52000 | #Constraints: 5980 146.33/146.89 c bounds 6393034 >= 0 @ 133.134 146.33/146.89 c bounds 6393031 >= 0 @ 133.173 146.33/146.89 c #Conflicts: 53000 | #Constraints: 6984 146.33/146.89 c #Conflicts: 54000 | #Constraints: 7987 146.33/146.89 c #Conflicts: 55000 | #Constraints: 8993 146.33/146.89 c #Conflicts: 56000 | #Constraints: 9997 146.33/146.89 c INPROCESSING 146.33/146.89 c GARBAGE COLLECT 146.33/146.89 c rational objective 3.08948e+06 162.67/163.20 c bounds 6393026 >= 0 @ 142.551 162.67/163.20 c bounds 6393023 >= 0 @ 142.851 162.67/163.20 c bounds 6393018 >= 0 @ 142.908 162.67/163.20 c bounds 6393008 >= 0 @ 142.923 162.67/163.20 c #Conflicts: 57000 | #Constraints: 6178 162.67/163.20 c bounds 6393005 >= 0 @ 147.042 162.67/163.20 c bounds 6393000 >= 0 @ 147.068 162.67/163.20 c bounds 6392997 >= 0 @ 147.386 162.67/163.20 c bounds 6392991 >= 0 @ 147.447 162.67/163.20 c bounds 6392988 >= 0 @ 147.475 162.67/163.20 c bounds 6392973 >= 0 @ 147.56 162.67/163.20 c #Conflicts: 58000 | #Constraints: 7190 162.67/163.20 c #Conflicts: 59000 | #Constraints: 8194 162.67/163.20 c #Conflicts: 60000 | #Constraints: 9195 162.67/163.20 c #Conflicts: 61000 | #Constraints: 10198 162.67/163.20 c INPROCESSING 162.67/163.20 c GARBAGE COLLECT 162.67/163.20 c rational objective 3.08948e+06 180.91/181.58 c bounds 6392951 >= 0 @ 158.445 180.91/181.58 c bounds 6392939 >= 0 @ 159.278 180.91/181.58 c bounds 6392936 >= 0 @ 159.326 180.91/181.58 c bounds 6392933 >= 0 @ 159.339 180.91/181.58 c bounds 6392928 >= 0 @ 159.829 180.91/181.58 c bounds 6392893 >= 0 @ 160.541 180.91/181.58 c bounds 6392888 >= 0 @ 160.558 180.91/181.58 c bounds 6392886 >= 0 @ 160.784 180.91/181.58 c bounds 6392880 >= 0 @ 161.013 180.91/181.58 c #Conflicts: 62000 | #Constraints: 6189 180.91/181.58 c bounds 6392240 >= 0 @ 162.307 180.91/181.58 c bounds 6392237 >= 0 @ 162.359 180.91/181.58 c bounds 6392222 >= 0 @ 162.857 180.91/181.58 c bounds 6392219 >= 0 @ 163.122 180.91/181.58 c bounds 6392208 >= 0 @ 163.147 180.91/181.58 c bounds 6390928 >= 0 @ 163.165 180.91/181.58 c bounds 6390906 >= 0 @ 164.397 180.91/181.58 c #Conflicts: 63000 | #Constraints: 7197 180.91/181.58 c bounds 6390900 >= 0 @ 165.616 180.91/181.58 c bounds 6390830 >= 0 @ 165.708 180.91/181.58 c bounds 6390745 >= 0 @ 167.032 180.91/181.58 c bounds 6390735 >= 0 @ 167.068 180.91/181.58 c #Conflicts: 64000 | #Constraints: 8205 180.91/181.58 c #Conflicts: 65000 | #Constraints: 9209 180.91/181.58 c #Conflicts: 66000 | #Constraints: 10210 180.91/181.58 c INPROCESSING 180.91/181.58 c GARBAGE COLLECT 180.91/181.58 c rational objective 3.08948e+06 197.37/198.02 c bounds 6390715 >= 0 @ 176.259 197.37/198.02 c bounds 6390710 >= 0 @ 176.271 197.37/198.02 c bounds 6351646 >= 0 @ 176.797 197.37/198.02 c bounds 6351641 >= 0 @ 177.574 197.37/198.02 c bounds 6351621 >= 0 @ 177.593 197.37/198.02 c bounds 6351611 >= 0 @ 177.619 197.37/198.02 c #Conflicts: 67000 | #Constraints: 5974 197.37/198.02 c bounds 6351515 >= 0 @ 180.417 197.37/198.02 c bounds 6297243 >= 0 @ 180.615 197.37/198.02 c bounds 6242119 >= 0 @ 181.115 197.37/198.02 c #Conflicts: 68000 | #Constraints: 6982 197.37/198.02 c bounds 6176770 >= 0 @ 182.591 197.37/198.02 c bounds 6176768 >= 0 @ 183.227 197.37/198.02 c bounds 6173706 >= 0 @ 183.431 197.37/198.02 c bounds 6173700 >= 0 @ 184.131 197.37/198.02 c bounds 6173696 >= 0 @ 184.157 197.37/198.02 c #Conflicts: 69000 | #Constraints: 7990 197.37/198.02 c #Conflicts: 70000 | #Constraints: 8994 197.37/198.02 c #Conflicts: 71000 | #Constraints: 9997 197.37/198.02 c #Conflicts: 72000 | #Constraints: 10999 197.37/198.02 c INPROCESSING 197.37/198.02 c GARBAGE COLLECT 197.37/198.02 c rational objective 3.08948e+06 212.82/213.55 c bounds 6173695 >= 0 @ 192.271 212.82/213.55 c bounds 6173693 >= 0 @ 192.529 212.82/213.55 c bounds 6173677 >= 0 @ 193.496 212.82/213.55 c bounds 6173669 >= 0 @ 193.943 212.82/213.55 c bounds 6173664 >= 0 @ 194.102 212.82/213.55 c bounds 6173519 >= 0 @ 194.12 212.82/213.55 c bounds 6173509 >= 0 @ 194.137 212.82/213.55 c bounds 6173504 >= 0 @ 194.267 212.82/213.55 c bounds 6173317 >= 0 @ 194.293 212.82/213.55 c bounds 6173312 >= 0 @ 194.662 212.82/213.55 c #Conflicts: 73000 | #Constraints: 6583 212.82/213.55 c bounds 6173142 >= 0 @ 196.907 212.82/213.55 c bounds 6173122 >= 0 @ 196.934 212.82/213.55 c bounds 6173117 >= 0 @ 197.124 212.82/213.55 c bounds 6173116 >= 0 @ 197.689 212.82/213.55 c bounds 6173111 >= 0 @ 197.748 212.82/213.55 c bounds 6173107 >= 0 @ 198.486 212.82/213.55 c bounds 6173101 >= 0 @ 198.672 212.82/213.55 c bounds 6173085 >= 0 @ 198.73 212.82/213.55 c bounds 6173005 >= 0 @ 199.042 212.82/213.55 c #Conflicts: 74000 | #Constraints: 7593 212.82/213.55 c #Conflicts: 75000 | #Constraints: 8598 212.82/213.55 c #Conflicts: 76000 | #Constraints: 9603 212.82/213.55 c #Conflicts: 77000 | #Constraints: 10606 212.82/213.55 c #Conflicts: 78000 | #Constraints: 11610 212.82/213.55 c INPROCESSING 212.82/213.55 c GARBAGE COLLECT 212.82/213.55 c rational objective 3.08948e+06 232.16/232.97 c bounds 6172983 >= 0 @ 207.621 232.16/232.97 c bounds 6172943 >= 0 @ 208.112 232.16/232.97 c bounds 6172935 >= 0 @ 208.181 232.16/232.97 c #Conflicts: 79000 | #Constraints: 6991 232.16/232.97 c #Conflicts: 80000 | #Constraints: 7996 232.16/232.97 c bounds 6154834 >= 0 @ 215.781 232.16/232.97 c #Conflicts: 81000 | #Constraints: 9002 232.16/232.97 c #Conflicts: 82000 | #Constraints: 10009 232.16/232.97 c #Conflicts: 83000 | #Constraints: 11014 232.16/232.97 c #Conflicts: 84000 | #Constraints: 12026 232.16/232.97 c INPROCESSING 232.16/232.97 c GARBAGE COLLECT 232.16/232.97 c rational objective 3.08948e+06 252.79/253.61 c bounds 6154821 >= 0 @ 226.821 252.79/253.61 c bounds 6154652 >= 0 @ 227.053 252.79/253.61 c bounds 6154639 >= 0 @ 227.07 252.79/253.61 c bounds 6154638 >= 0 @ 227.12 252.79/253.61 c #Conflicts: 85000 | #Constraints: 7208 252.79/253.61 c bounds 6149158 >= 0 @ 233.421 252.79/253.61 c bounds 6074580 >= 0 @ 233.735 252.79/253.61 c bounds 6074568 >= 0 @ 233.76 252.79/253.61 c bounds 6074556 >= 0 @ 233.796 252.79/253.61 c #Conflicts: 86000 | #Constraints: 8214 252.79/253.61 c #Conflicts: 87000 | #Constraints: 9220 252.79/253.61 c #Conflicts: 88000 | #Constraints: 10224 252.79/253.61 c #Conflicts: 89000 | #Constraints: 11231 252.79/253.61 c #Conflicts: 90000 | #Constraints: 12239 252.79/253.61 c INPROCESSING 252.79/253.61 c GARBAGE COLLECT 252.79/253.61 c rational objective 3.08948e+06 338.12/339.24 c bounds 6074550 >= 0 @ 246.504 338.12/339.24 c bounds 6074538 >= 0 @ 246.552 338.12/339.24 c bounds 6074535 >= 0 @ 246.655 338.12/339.24 c bounds 6074151 >= 0 @ 246.673 338.12/339.24 c bounds 6071079 >= 0 @ 247.425 338.12/339.24 c bounds 6069543 >= 0 @ 247.48 338.12/339.24 c #Conflicts: 91000 | #Constraints: 7197 338.12/339.24 c #Conflicts: 92000 | #Constraints: 8199 338.12/339.24 c #Conflicts: 93000 | #Constraints: 9201 338.12/339.24 c #Conflicts: 94000 | #Constraints: 10201 338.12/339.24 c #Conflicts: 95000 | #Constraints: 11202 338.12/339.24 c #Conflicts: 96000 | #Constraints: 12202 338.12/339.24 c INPROCESSING 338.12/339.24 c GARBAGE COLLECT 338.12/339.24 c rational objective 3.08953e+06 354.47/355.62 c #Conflicts: 97000 | #Constraints: 7004 354.47/355.62 c #Conflicts: 98000 | #Constraints: 8009 354.47/355.62 c #Conflicts: 99000 | #Constraints: 9013 354.47/355.62 c #Conflicts: 100000 | #Constraints: 10018 354.47/355.62 c #Conflicts: 101000 | #Constraints: 11023 354.47/355.62 c #Conflicts: 102000 | #Constraints: 12027 354.47/355.62 c #Conflicts: 103000 | #Constraints: 13032 354.47/355.62 c INPROCESSING 354.47/355.62 c GARBAGE COLLECT 354.47/355.62 c rational objective 3.08953e+06 369.52/370.72 c #Conflicts: 104000 | #Constraints: 7593 369.52/370.72 c #Conflicts: 105000 | #Constraints: 8597 369.52/370.72 c #Conflicts: 106000 | #Constraints: 9600 369.52/370.72 c #Conflicts: 107000 | #Constraints: 10603 369.52/370.72 c #Conflicts: 108000 | #Constraints: 11605 369.52/370.72 c #Conflicts: 109000 | #Constraints: 12609 369.52/370.72 c #Conflicts: 110000 | #Constraints: 13614 369.52/370.72 c INPROCESSING 369.52/370.72 c GARBAGE COLLECT 369.52/370.72 c rational objective 3.08989e+06 384.88/386.11 c #Conflicts: 111000 | #Constraints: 7994 384.88/386.11 c #Conflicts: 112000 | #Constraints: 8999 384.88/386.11 c #Conflicts: 113000 | #Constraints: 10004 384.88/386.11 c #Conflicts: 114000 | #Constraints: 11008 384.88/386.11 c #Conflicts: 115000 | #Constraints: 12012 384.88/386.11 c #Conflicts: 116000 | #Constraints: 13017 384.88/386.11 c #Conflicts: 117000 | #Constraints: 14020 384.88/386.11 c INPROCESSING 384.88/386.11 c GARBAGE COLLECT 384.88/386.11 c rational objective 3.09016e+06 402.82/404.14 c #Conflicts: 118000 | #Constraints: 8198 402.82/404.14 c #Conflicts: 119000 | #Constraints: 9203 402.82/404.14 c #Conflicts: 120000 | #Constraints: 10207 402.82/404.14 c #Conflicts: 121000 | #Constraints: 11213 402.82/404.14 c #Conflicts: 122000 | #Constraints: 12218 402.82/404.14 c #Conflicts: 123000 | #Constraints: 13223 402.82/404.14 c #Conflicts: 124000 | #Constraints: 14229 402.82/404.14 c INPROCESSING 402.82/404.14 c GARBAGE COLLECT 402.82/404.14 c rational objective 3.09016e+06 420.96/422.33 c #Conflicts: 125000 | #Constraints: 8204 420.96/422.33 c #Conflicts: 126000 | #Constraints: 9206 420.96/422.33 c #Conflicts: 127000 | #Constraints: 10209 420.96/422.33 c #Conflicts: 128000 | #Constraints: 11216 420.96/422.33 c #Conflicts: 129000 | #Constraints: 12225 420.96/422.33 c #Conflicts: 130000 | #Constraints: 13229 420.96/422.33 c #Conflicts: 131000 | #Constraints: 14234 420.96/422.33 c INPROCESSING 420.96/422.33 c GARBAGE COLLECT 420.96/422.33 c rational objective 3.09016e+06 439.00/440.42 c #Conflicts: 132000 | #Constraints: 8014 439.00/440.42 c #Conflicts: 133000 | #Constraints: 9020 439.00/440.42 c #Conflicts: 134000 | #Constraints: 10024 439.00/440.42 c #Conflicts: 135000 | #Constraints: 11030 439.00/440.42 c #Conflicts: 136000 | #Constraints: 12033 439.00/440.42 c #Conflicts: 137000 | #Constraints: 13036 439.00/440.42 c #Conflicts: 138000 | #Constraints: 14040 439.00/440.42 c #Conflicts: 139000 | #Constraints: 15046 439.00/440.42 c INPROCESSING 439.00/440.42 c GARBAGE COLLECT 439.00/440.42 c rational objective 3.09017e+06 457.65/459.17 c #Conflicts: 140000 | #Constraints: 8606 457.65/459.17 c #Conflicts: 141000 | #Constraints: 9609 457.65/459.17 c #Conflicts: 142000 | #Constraints: 10611 457.65/459.17 c #Conflicts: 143000 | #Constraints: 11616 457.65/459.17 c #Conflicts: 144000 | #Constraints: 12625 457.65/459.17 c #Conflicts: 145000 | #Constraints: 13640 457.65/459.17 c #Conflicts: 146000 | #Constraints: 14655 457.65/459.17 c #Conflicts: 147000 | #Constraints: 15668 457.65/459.17 c INPROCESSING 457.65/459.17 c GARBAGE COLLECT 457.65/459.17 c rational objective 3.09018e+06 477.09/478.60 c #Conflicts: 148000 | #Constraints: 9022 477.09/478.60 c #Conflicts: 149000 | #Constraints: 10024 477.09/478.60 c #Conflicts: 150000 | #Constraints: 11028 477.09/478.60 c #Conflicts: 151000 | #Constraints: 12030 477.09/478.60 c #Conflicts: 152000 | #Constraints: 13031 477.09/478.60 c #Conflicts: 153000 | #Constraints: 14032 477.09/478.60 c #Conflicts: 154000 | #Constraints: 15035 477.09/478.60 c #Conflicts: 155000 | #Constraints: 16040 477.09/478.60 c INPROCESSING 477.09/478.60 c GARBAGE COLLECT 477.09/478.60 c rational objective 3.09018e+06 496.92/498.54 c #Conflicts: 156000 | #Constraints: 9209 496.92/498.54 c #Conflicts: 157000 | #Constraints: 10211 496.92/498.54 c #Conflicts: 158000 | #Constraints: 11216 496.92/498.54 c #Conflicts: 159000 | #Constraints: 12220 496.92/498.54 c #Conflicts: 160000 | #Constraints: 13226 496.92/498.54 c #Conflicts: 161000 | #Constraints: 14232 496.92/498.54 c #Conflicts: 162000 | #Constraints: 15234 496.92/498.54 c #Conflicts: 163000 | #Constraints: 16238 496.92/498.54 c INPROCESSING 496.92/498.54 c GARBAGE COLLECT 496.92/498.54 c rational objective 3.09018e+06 522.94/524.63 c bounds 6058279 >= 0 @ 485.572 522.94/524.63 c bounds 6058276 >= 0 @ 486.061 522.94/524.63 c bounds 5943588 >= 0 @ 486.106 522.94/524.63 c bounds 5942823 >= 0 @ 486.3 522.94/524.63 c bounds 5942820 >= 0 @ 486.372 522.94/524.63 c bounds 5942724 >= 0 @ 486.392 522.94/524.63 c bounds 5942676 >= 0 @ 486.41 522.94/524.63 c bounds 5942646 >= 0 @ 486.665 522.94/524.63 c bounds 5942634 >= 0 @ 486.718 522.94/524.63 c bounds 5942628 >= 0 @ 486.874 522.94/524.63 c bounds 5942610 >= 0 @ 487.199 522.94/524.63 c bounds 5942604 >= 0 @ 487.238 522.94/524.63 c #Conflicts: 164000 | #Constraints: 9227 522.94/524.63 c bounds 5942415 >= 0 @ 490.163 522.94/524.63 c #Conflicts: 165000 | #Constraints: 10230 522.94/524.63 c #Conflicts: 166000 | #Constraints: 11236 522.94/524.63 c #Conflicts: 167000 | #Constraints: 12240 522.94/524.63 c #Conflicts: 168000 | #Constraints: 13244 522.94/524.63 c #Conflicts: 169000 | #Constraints: 14246 522.94/524.63 c #Conflicts: 170000 | #Constraints: 15250 522.94/524.63 c #Conflicts: 171000 | #Constraints: 16255 522.94/524.63 c INPROCESSING 522.94/524.63 c GARBAGE COLLECT 522.94/524.63 c rational objective 3.09019e+06 551.25/553.09 c bounds 5942412 >= 0 @ 510.928 551.25/553.09 c bounds 5942031 >= 0 @ 511.003 551.25/553.09 c bounds 5942028 >= 0 @ 511.096 551.25/553.09 c bounds 5940492 >= 0 @ 512.046 551.25/553.09 c bounds 5939730 >= 0 @ 512.112 551.25/553.09 c bounds 5939727 >= 0 @ 512.204 551.25/553.09 c bounds 5939724 >= 0 @ 512.226 551.25/553.09 c bounds 5901836 >= 0 @ 512.249 551.25/553.09 c #Conflicts: 172000 | #Constraints: 9014 551.25/553.09 c bounds 5899784 >= 0 @ 512.883 551.25/553.09 c bounds 5875720 >= 0 @ 513.926 551.25/553.09 c bounds 5858104 >= 0 @ 514.03 551.25/553.09 c bounds 5858098 >= 0 @ 514.05 551.25/553.09 c bounds 5858086 >= 0 @ 515.425 551.25/553.09 c #Conflicts: 173000 | #Constraints: 10024 551.25/553.09 c bounds 5858077 >= 0 @ 517.354 551.25/553.09 c bounds 5857563 >= 0 @ 517.852 551.25/553.09 c bounds 5857557 >= 0 @ 518.041 551.25/553.09 c bounds 5850389 >= 0 @ 519.966 551.25/553.09 c #Conflicts: 174000 | #Constraints: 11032 551.25/553.09 c bounds 5850386 >= 0 @ 521.526 551.25/553.09 c bounds 5850383 >= 0 @ 521.58 551.25/553.09 c bounds 5850378 >= 0 @ 522.553 551.25/553.09 c bounds 5850372 >= 0 @ 523.151 551.25/553.09 c #Conflicts: 175000 | #Constraints: 12038 551.25/553.09 c #Conflicts: 176000 | #Constraints: 13045 551.25/553.09 c #Conflicts: 177000 | #Constraints: 14047 551.25/553.09 c #Conflicts: 178000 | #Constraints: 15052 551.25/553.09 c #Conflicts: 179000 | #Constraints: 16058 551.25/553.09 c #Conflicts: 180000 | #Constraints: 17063 551.25/553.09 c INPROCESSING 551.25/553.09 c GARBAGE COLLECT 551.25/553.09 c rational objective 3.09022e+06 584.15/586.04 c bounds 5850369 >= 0 @ 538.772 584.15/586.04 c bounds 5850363 >= 0 @ 539.675 584.15/586.04 c bounds 5850360 >= 0 @ 539.706 584.15/586.04 c #Conflicts: 181000 | #Constraints: 9615 584.15/586.04 c bounds 5850050 >= 0 @ 541.722 584.15/586.04 c bounds 5850044 >= 0 @ 542.455 584.15/586.04 c bounds 5850039 >= 0 @ 542.673 584.15/586.04 c bounds 5850029 >= 0 @ 542.707 584.15/586.04 c bounds 5850028 >= 0 @ 544.113 584.15/586.04 c bounds 5825452 >= 0 @ 544.268 584.15/586.04 c bounds 5825451 >= 0 @ 544.679 584.15/586.04 c bounds 5825448 >= 0 @ 544.71 584.15/586.04 c bounds 5792680 >= 0 @ 544.931 584.15/586.04 c #Conflicts: 182000 | #Constraints: 10626 584.15/586.04 c bounds 5792668 >= 0 @ 546.406 584.15/586.04 c bounds 5792650 >= 0 @ 546.545 584.15/586.04 c bounds 5792647 >= 0 @ 546.591 584.15/586.04 c bounds 5792644 >= 0 @ 546.654 584.15/586.04 c bounds 5791108 >= 0 @ 549.31 584.15/586.04 c bounds 5791102 >= 0 @ 549.394 584.15/586.04 c bounds 5791099 >= 0 @ 549.432 584.15/586.04 c bounds 5791096 >= 0 @ 549.46 584.15/586.04 c bounds 5791090 >= 0 @ 550.985 584.15/586.04 c #Conflicts: 183000 | #Constraints: 11638 584.15/586.04 c #Conflicts: 184000 | #Constraints: 12641 584.15/586.04 c #Conflicts: 185000 | #Constraints: 13647 584.15/586.04 c #Conflicts: 186000 | #Constraints: 14653 584.15/586.04 c #Conflicts: 187000 | #Constraints: 15658 584.15/586.04 c #Conflicts: 188000 | #Constraints: 16664 584.15/586.04 c #Conflicts: 189000 | #Constraints: 17670 584.15/586.04 c INPROCESSING 584.15/586.04 c GARBAGE COLLECT 584.15/586.04 c rational objective 3.09022e+06 621.23/623.21 c bounds 5791084 >= 0 @ 570.999 621.23/623.21 c bounds 5791081 >= 0 @ 571.025 621.23/623.21 c bounds 5791057 >= 0 @ 571.052 621.23/623.21 c bounds 5790961 >= 0 @ 571.073 621.23/623.21 c bounds 5787889 >= 0 @ 572.032 621.23/623.21 c bounds 5787697 >= 0 @ 572.071 621.23/623.21 c #Conflicts: 190000 | #Constraints: 10021 621.23/623.21 c bounds 5787313 >= 0 @ 577.265 621.23/623.21 c bounds 5781169 >= 0 @ 577.718 621.23/623.21 c bounds 5780977 >= 0 @ 577.778 621.23/623.21 c #Conflicts: 191000 | #Constraints: 11024 621.23/623.21 c bounds 5780965 >= 0 @ 580.754 621.23/623.21 c bounds 5780959 >= 0 @ 580.783 621.23/623.21 c bounds 5780953 >= 0 @ 581.423 621.23/623.21 c bounds 5780948 >= 0 @ 582.368 621.23/623.21 c bounds 5780930 >= 0 @ 582.498 621.23/623.21 c bounds 5780924 >= 0 @ 582.533 621.23/623.21 c bounds 5780914 >= 0 @ 582.677 621.23/623.21 c bounds 5780908 >= 0 @ 584.803 621.23/623.21 c bounds 5780902 >= 0 @ 584.852 621.23/623.21 c #Conflicts: 192000 | #Constraints: 12034 621.23/623.21 c bounds 5780868 >= 0 @ 587.433 621.23/623.21 c bounds 5780862 >= 0 @ 587.622 621.23/623.21 c #Conflicts: 193000 | #Constraints: 13039 621.23/623.21 c #Conflicts: 194000 | #Constraints: 14042 621.23/623.21 c #Conflicts: 195000 | #Constraints: 15045 621.23/623.21 c #Conflicts: 196000 | #Constraints: 16048 621.23/623.21 c #Conflicts: 197000 | #Constraints: 17050 621.23/623.21 c #Conflicts: 198000 | #Constraints: 18052 621.23/623.21 c INPROCESSING 621.23/623.21 c GARBAGE COLLECT 621.23/623.21 c rational objective 3.09022e+06 655.71/657.85 c bounds 5753864 >= 0 @ 608.54 655.71/657.85 c #Conflicts: 199000 | #Constraints: 10211 655.71/657.85 c bounds 5753858 >= 0 @ 611.964 655.71/657.85 c bounds 5753852 >= 0 @ 611.985 655.71/657.85 c bounds 5753660 >= 0 @ 612.006 655.71/657.85 c bounds 5753636 >= 0 @ 612.037 655.71/657.85 c bounds 5753630 >= 0 @ 612.512 655.71/657.85 c bounds 5753627 >= 0 @ 614.175 655.71/657.85 c bounds 5753623 >= 0 @ 614.245 655.71/657.85 c bounds 5687063 >= 0 @ 614.293 655.71/657.85 c #Conflicts: 200000 | #Constraints: 11222 655.71/657.85 c bounds 5687021 >= 0 @ 614.642 655.71/657.85 c #Conflicts: 201000 | #Constraints: 12225 655.71/657.85 c bounds 5687017 >= 0 @ 619.463 655.71/657.85 c bounds 5687011 >= 0 @ 619.519 655.71/657.85 c #Conflicts: 202000 | #Constraints: 13230 655.71/657.85 c #Conflicts: 203000 | #Constraints: 14232 655.71/657.85 c #Conflicts: 204000 | #Constraints: 15235 655.71/657.85 c #Conflicts: 205000 | #Constraints: 16238 655.71/657.85 c bounds 5682835 >= 0 @ 635.764 655.71/657.85 c #Conflicts: 206000 | #Constraints: 17242 655.71/657.85 c #Conflicts: 207000 | #Constraints: 18244 655.71/657.85 c INPROCESSING 655.71/657.85 c GARBAGE COLLECT 655.71/657.85 c rational objective 3.09024e+06 679.85/682.08 c #Conflicts: 208000 | #Constraints: 10219 679.85/682.08 c #Conflicts: 209000 | #Constraints: 11224 679.85/682.08 c #Conflicts: 210000 | #Constraints: 12228 679.85/682.08 c #Conflicts: 211000 | #Constraints: 13232 679.85/682.08 c #Conflicts: 212000 | #Constraints: 14236 679.85/682.08 c #Conflicts: 213000 | #Constraints: 15238 679.85/682.08 c #Conflicts: 214000 | #Constraints: 16241 679.85/682.08 c #Conflicts: 215000 | #Constraints: 17246 679.85/682.08 c #Conflicts: 216000 | #Constraints: 18252 679.85/682.08 c INPROCESSING 679.85/682.08 c GARBAGE COLLECT 679.85/682.08 c rational objective 3.09024e+06 717.83/720.19 c bounds 5606035 >= 0 @ 665.122 717.83/720.19 c #Conflicts: 217000 | #Constraints: 10031 717.83/720.19 c bounds 5603149 >= 0 @ 666.344 717.83/720.19 c bounds 5603137 >= 0 @ 666.363 717.83/720.19 c bounds 5603113 >= 0 @ 666.38 717.83/720.19 c bounds 5571369 >= 0 @ 667.363 717.83/720.19 c bounds 5571321 >= 0 @ 668.23 717.83/720.19 c bounds 5571319 >= 0 @ 668.429 717.83/720.19 c bounds 5571315 >= 0 @ 668.45 717.83/720.19 c bounds 5571314 >= 0 @ 668.476 717.83/720.19 c bounds 5545516 >= 0 @ 669.249 717.83/720.19 c bounds 5545514 >= 0 @ 669.279 717.83/720.19 c bounds 5545512 >= 0 @ 669.301 717.83/720.19 c #Conflicts: 218000 | #Constraints: 11044 717.83/720.19 c bounds 5527080 >= 0 @ 671.019 717.83/720.19 c bounds 5527078 >= 0 @ 671.091 717.83/720.19 c bounds 5527076 >= 0 @ 671.155 717.83/720.19 c bounds 5527074 >= 0 @ 671.556 717.83/720.19 c #Conflicts: 219000 | #Constraints: 12053 717.83/720.19 c #Conflicts: 220000 | #Constraints: 13058 717.83/720.19 c #Conflicts: 221000 | #Constraints: 14062 717.83/720.19 c #Conflicts: 222000 | #Constraints: 15066 717.83/720.19 c #Conflicts: 223000 | #Constraints: 16067 717.83/720.19 c #Conflicts: 224000 | #Constraints: 17070 717.83/720.19 c #Conflicts: 225000 | #Constraints: 18073 717.83/720.19 c #Conflicts: 226000 | #Constraints: 19074 717.83/720.19 c INPROCESSING 717.83/720.19 c GARBAGE COLLECT 717.83/720.19 c rational objective 3.09024e+06 758.70/761.15 c bounds 5526978 >= 0 @ 702.921 758.70/761.15 c bounds 5526976 >= 0 @ 703.087 758.70/761.15 c bounds 5526970 >= 0 @ 703.127 758.70/761.15 c bounds 5518634 >= 0 @ 703.557 758.70/761.15 c bounds 5518586 >= 0 @ 704.531 758.70/761.15 c bounds 5518544 >= 0 @ 704.594 758.70/761.15 c #Conflicts: 227000 | #Constraints: 10619 758.70/761.15 c bounds 5518538 >= 0 @ 705.278 758.70/761.15 c bounds 5518532 >= 0 @ 705.342 758.70/761.15 c #Conflicts: 228000 | #Constraints: 11625 758.70/761.15 c bounds 5513420 >= 0 @ 711.259 758.70/761.15 c bounds 5513402 >= 0 @ 711.449 758.70/761.15 c bounds 5513396 >= 0 @ 711.484 758.70/761.15 c #Conflicts: 229000 | #Constraints: 12629 758.70/761.15 c #Conflicts: 230000 | #Constraints: 13629 758.70/761.15 c #Conflicts: 231000 | #Constraints: 14629 758.70/761.15 c bounds 5513388 >= 0 @ 723.048 758.70/761.15 c bounds 5513380 >= 0 @ 724.163 758.70/761.15 c bounds 5513252 >= 0 @ 724.848 758.70/761.15 c bounds 5513220 >= 0 @ 724.918 758.70/761.15 c bounds 5513196 >= 0 @ 725.708 758.70/761.15 c bounds 5513190 >= 0 @ 726.07 758.70/761.15 c bounds 5513186 >= 0 @ 727.356 758.70/761.15 c bounds 5513174 >= 0 @ 727.431 758.70/761.15 c bounds 5513168 >= 0 @ 728.582 758.70/761.15 c bounds 5513162 >= 0 @ 728.662 758.70/761.15 c bounds 5513156 >= 0 @ 728.727 758.70/761.15 c #Conflicts: 232000 | #Constraints: 15641 758.70/761.15 c #Conflicts: 233000 | #Constraints: 16646 758.70/761.15 c #Conflicts: 234000 | #Constraints: 17648 758.70/761.15 c #Conflicts: 235000 | #Constraints: 18652 758.70/761.15 c #Conflicts: 236000 | #Constraints: 19656 758.70/761.15 c INPROCESSING 758.70/761.15 c GARBAGE COLLECT 758.70/761.15 c rational objective 3.09024e+06 794.88/797.47 c bounds 5513114 >= 0 @ 742.116 794.88/797.47 c bounds 5513094 >= 0 @ 742.782 794.88/797.47 c bounds 5513026 >= 0 @ 742.809 794.88/797.47 c bounds 5513022 >= 0 @ 742.83 794.88/797.47 c bounds 5511449 >= 0 @ 743.027 794.88/797.47 c bounds 5511448 >= 0 @ 743.052 794.88/797.47 c bounds 5511442 >= 0 @ 743.892 794.88/797.47 c bounds 5511250 >= 0 @ 744.373 794.88/797.47 c bounds 5511248 >= 0 @ 744.895 794.88/797.47 c #Conflicts: 237000 | #Constraints: 11023 794.88/797.47 c bounds 5511206 >= 0 @ 749.713 794.88/797.47 c bounds 5511201 >= 0 @ 752.902 794.88/797.47 c #Conflicts: 238000 | #Constraints: 12027 794.88/797.47 c #Conflicts: 239000 | #Constraints: 13030 794.88/797.47 c #Conflicts: 240000 | #Constraints: 14034 794.88/797.47 c #Conflicts: 241000 | #Constraints: 15038 794.88/797.47 c #Conflicts: 242000 | #Constraints: 16044 794.88/797.47 c #Conflicts: 243000 | #Constraints: 17048 794.88/797.47 c #Conflicts: 244000 | #Constraints: 18053 794.88/797.47 c #Conflicts: 245000 | #Constraints: 19056 794.88/797.47 c #Conflicts: 246000 | #Constraints: 20060 794.88/797.47 c INPROCESSING 794.88/797.47 c GARBAGE COLLECT 794.88/797.47 c rational objective 3.09025e+06 837.54/840.27 c bounds 5511195 >= 0 @ 777.578 837.54/840.27 c bounds 5511183 >= 0 @ 778.453 837.54/840.27 c bounds 5511159 >= 0 @ 778.492 837.54/840.27 c bounds 5511119 >= 0 @ 778.593 837.54/840.27 c #Conflicts: 247000 | #Constraints: 11228 837.54/840.27 c bounds 5511055 >= 0 @ 782.561 837.54/840.27 c bounds 5510799 >= 0 @ 783.451 837.54/840.27 c bounds 5510751 >= 0 @ 783.504 837.54/840.27 c bounds 5510655 >= 0 @ 783.552 837.54/840.27 c #Conflicts: 248000 | #Constraints: 12233 837.54/840.27 c bounds 5510649 >= 0 @ 792.307 837.54/840.27 c bounds 5443065 >= 0 @ 792.439 837.54/840.27 c #Conflicts: 249000 | #Constraints: 13235 837.54/840.27 c bounds 5442905 >= 0 @ 793.32 837.54/840.27 c bounds 5442899 >= 0 @ 793.881 837.54/840.27 c #Conflicts: 250000 | #Constraints: 14240 837.54/840.27 c bounds 5441619 >= 0 @ 799.365 837.54/840.27 c #Conflicts: 251000 | #Constraints: 15245 837.54/840.27 c #Conflicts: 252000 | #Constraints: 16252 837.54/840.27 c #Conflicts: 253000 | #Constraints: 17257 837.54/840.27 c #Conflicts: 254000 | #Constraints: 18260 837.54/840.27 c #Conflicts: 255000 | #Constraints: 19266 837.54/840.27 c #Conflicts: 256000 | #Constraints: 20274 837.54/840.27 c INPROCESSING 837.54/840.27 c GARBAGE COLLECT 837.54/840.27 c rational objective 3.09025e+06 870.25/873.03 c bounds 5441614 >= 0 @ 819.821 870.25/873.03 c bounds 5441529 >= 0 @ 820.517 870.25/873.03 c bounds 5441514 >= 0 @ 820.54 870.25/873.03 c bounds 5441494 >= 0 @ 820.631 870.25/873.03 c bounds 5441450 >= 0 @ 821.93 870.25/873.03 c #Conflicts: 257000 | #Constraints: 11218 870.25/873.03 c bounds 5441444 >= 0 @ 824.322 870.25/873.03 c bounds 5441408 >= 0 @ 824.616 870.25/873.03 c bounds 5441402 >= 0 @ 824.649 870.25/873.03 c bounds 5441306 >= 0 @ 828.091 870.25/873.03 c #Conflicts: 258000 | #Constraints: 12224 870.25/873.03 c bounds 5441273 >= 0 @ 830.359 870.25/873.03 c bounds 5441262 >= 0 @ 830.833 870.25/873.03 c #Conflicts: 259000 | #Constraints: 13228 870.25/873.03 c #Conflicts: 260000 | #Constraints: 14231 870.25/873.03 c #Conflicts: 261000 | #Constraints: 15235 870.25/873.03 c #Conflicts: 262000 | #Constraints: 16240 870.25/873.03 c #Conflicts: 263000 | #Constraints: 17243 870.25/873.03 c #Conflicts: 264000 | #Constraints: 18245 870.25/873.03 c #Conflicts: 265000 | #Constraints: 19251 870.25/873.03 c #Conflicts: 266000 | #Constraints: 20257 870.25/873.03 c INPROCESSING 870.25/873.03 c GARBAGE COLLECT 870.25/873.03 c rational objective 3.09025e+06 915.70/918.64 c #Conflicts: 267000 | #Constraints: 11009 915.70/918.64 c bounds 5441242 >= 0 @ 858.81 915.70/918.64 c bounds 5441202 >= 0 @ 858.862 915.70/918.64 c bounds 5441122 >= 0 @ 858.912 915.70/918.64 c #Conflicts: 268000 | #Constraints: 12013 915.70/918.64 c #Conflicts: 269000 | #Constraints: 13014 915.70/918.64 c bounds 5441107 >= 0 @ 866.661 915.70/918.64 c #Conflicts: 270000 | #Constraints: 14016 915.70/918.64 c #Conflicts: 271000 | #Constraints: 15020 915.70/918.64 c #Conflicts: 272000 | #Constraints: 16023 915.70/918.64 c #Conflicts: 273000 | #Constraints: 17028 915.70/918.64 c #Conflicts: 274000 | #Constraints: 18031 915.70/918.64 c #Conflicts: 275000 | #Constraints: 19033 915.70/918.64 c #Conflicts: 276000 | #Constraints: 20039 915.70/918.64 c #Conflicts: 277000 | #Constraints: 21044 915.70/918.64 c INPROCESSING 915.70/918.64 c GARBAGE COLLECT 915.70/918.64 c rational objective 3.09025e+06 954.78/957.84 c bounds 5409420 >= 0 @ 895.864 954.78/957.84 c bounds 5409390 >= 0 @ 898.534 954.78/957.84 c bounds 5409358 >= 0 @ 898.566 954.78/957.84 c bounds 5405268 >= 0 @ 899.814 954.78/957.84 c bounds 5405262 >= 0 @ 899.856 954.78/957.84 c #Conflicts: 278000 | #Constraints: 11608 954.78/957.84 c bounds 5405206 >= 0 @ 902.332 954.78/957.84 c bounds 5405204 >= 0 @ 902.452 954.78/957.84 c bounds 5399066 >= 0 @ 903.126 954.78/957.84 c bounds 5392922 >= 0 @ 903.672 954.78/957.84 c bounds 5392916 >= 0 @ 903.711 954.78/957.84 c bounds 5386784 >= 0 @ 903.732 954.78/957.84 c bounds 5386778 >= 0 @ 904.246 954.78/957.84 c bounds 5386772 >= 0 @ 904.494 954.78/957.84 c bounds 5380640 >= 0 @ 904.518 954.78/957.84 c bounds 5380634 >= 0 @ 904.552 954.78/957.84 c #Conflicts: 279000 | #Constraints: 12618 954.78/957.84 c bounds 5380632 >= 0 @ 905.837 954.78/957.84 c bounds 5380630 >= 0 @ 905.882 954.78/957.84 c bounds 5374486 >= 0 @ 906.293 954.78/957.84 c bounds 5368342 >= 0 @ 906.348 954.78/957.84 c bounds 5368340 >= 0 @ 906.587 954.78/957.84 c bounds 5368338 >= 0 @ 906.619 954.78/957.84 c bounds 5367828 >= 0 @ 906.952 954.78/957.84 c bounds 5367826 >= 0 @ 907.225 954.78/957.84 c bounds 5367822 >= 0 @ 908.159 954.78/957.84 c bounds 5367814 >= 0 @ 908.202 954.78/957.84 c bounds 5367798 >= 0 @ 908.426 954.78/957.84 c bounds 5367794 >= 0 @ 908.464 954.78/957.84 c bounds 5367778 >= 0 @ 908.497 954.78/957.84 c bounds 5367762 >= 0 @ 909.346 954.78/957.84 c bounds 5367698 >= 0 @ 909.395 954.78/957.84 c bounds 5334930 >= 0 @ 909.506 954.78/957.84 c #Conflicts: 280000 | #Constraints: 13639 954.78/957.84 c bounds 5334866 >= 0 @ 913.189 954.78/957.84 c bounds 5334860 >= 0 @ 913.975 954.78/957.84 c bounds 5334858 >= 0 @ 915.208 954.78/957.84 c bounds 5334850 >= 0 @ 915.253 954.78/957.84 c bounds 5334848 >= 0 @ 915.337 954.78/957.84 c #Conflicts: 281000 | #Constraints: 14648 954.78/957.84 c #Conflicts: 282000 | #Constraints: 15651 954.78/957.84 c #Conflicts: 283000 | #Constraints: 16655 954.78/957.84 c #Conflicts: 284000 | #Constraints: 17658 954.78/957.84 c #Conflicts: 285000 | #Constraints: 18660 954.78/957.84 c #Conflicts: 286000 | #Constraints: 19664 954.78/957.84 c #Conflicts: 287000 | #Constraints: 20668 954.78/957.84 c #Conflicts: 288000 | #Constraints: 21673 954.78/957.84 c INPROCESSING 954.78/957.84 c GARBAGE COLLECT 954.78/957.84 c rational objective 3.09025e+06 989.58/992.75 c bounds 5328704 >= 0 @ 936.231 989.58/992.75 c bounds 5168960 >= 0 @ 936.734 989.58/992.75 c #Conflicts: 289000 | #Constraints: 12020 989.58/992.75 c bounds 5168956 >= 0 @ 937.551 989.58/992.75 c bounds 5159192 >= 0 @ 938.213 989.58/992.75 c bounds 5159174 >= 0 @ 939.462 989.58/992.75 c bounds 5159150 >= 0 @ 939.518 989.58/992.75 c bounds 5159144 >= 0 @ 940.429 989.58/992.75 c #Conflicts: 290000 | #Constraints: 13027 989.58/992.75 c bounds 5158760 >= 0 @ 943.943 989.58/992.75 c #Conflicts: 291000 | #Constraints: 14031 989.58/992.75 c #Conflicts: 292000 | #Constraints: 15035 989.58/992.75 c #Conflicts: 293000 | #Constraints: 16038 989.58/992.75 c #Conflicts: 294000 | #Constraints: 17042 989.58/992.75 c #Conflicts: 295000 | #Constraints: 18046 989.58/992.75 c #Conflicts: 296000 | #Constraints: 19052 989.58/992.75 c #Conflicts: 297000 | #Constraints: 20053 989.58/992.75 c #Conflicts: 298000 | #Constraints: 21054 989.58/992.75 c #Conflicts: 299000 | #Constraints: 22056 989.58/992.75 c INPROCESSING 989.58/992.75 c GARBAGE COLLECT 989.58/992.75 c rational objective 3.09025e+06 1027.78/1031.03 c bounds 5158670 >= 0 @ 968.974 1027.78/1031.03 c bounds 5158664 >= 0 @ 970.112 1027.78/1031.03 c #Conflicts: 300000 | #Constraints: 12214 1027.78/1031.03 c bounds 5158270 >= 0 @ 972.147 1027.78/1031.03 c bounds 5158206 >= 0 @ 972.171 1027.78/1031.03 c bounds 5158202 >= 0 @ 972.204 1027.78/1031.03 c bounds 5158194 >= 0 @ 974.72 1027.78/1031.03 c bounds 5156658 >= 0 @ 975.551 1027.78/1031.03 c bounds 5156656 >= 0 @ 975.624 1027.78/1031.03 c bounds 5156652 >= 0 @ 975.67 1027.78/1031.03 c #Conflicts: 301000 | #Constraints: 13222 1027.78/1031.03 c bounds 5156644 >= 0 @ 977.439 1027.78/1031.03 c bounds 5156632 >= 0 @ 977.602 1027.78/1031.03 c bounds 5153560 >= 0 @ 977.638 1027.78/1031.03 c bounds 5153558 >= 0 @ 979.223 1027.78/1031.03 c bounds 5153552 >= 0 @ 980.518 1027.78/1031.03 c #Conflicts: 302000 | #Constraints: 14229 1027.78/1031.03 c bounds 5153550 >= 0 @ 982.105 1027.78/1031.03 c bounds 5153544 >= 0 @ 982.137 1027.78/1031.03 c #Conflicts: 303000 | #Constraints: 15237 1027.78/1031.03 c #Conflicts: 304000 | #Constraints: 16244 1027.78/1031.03 c #Conflicts: 305000 | #Constraints: 17248 1027.78/1031.03 c #Conflicts: 306000 | #Constraints: 18251 1027.78/1031.03 c #Conflicts: 307000 | #Constraints: 19255 1027.78/1031.03 c #Conflicts: 308000 | #Constraints: 20258 1027.78/1031.03 c #Conflicts: 309000 | #Constraints: 21261 1027.78/1031.03 c #Conflicts: 310000 | #Constraints: 22267 1027.78/1031.03 c INPROCESSING 1027.78/1031.03 c GARBAGE COLLECT 1027.78/1031.03 c rational objective 3.09032e+06 1080.14/1083.56 c bounds 5153536 >= 0 @ 1005.71 1080.14/1083.56 c bounds 5153528 >= 0 @ 1005.74 1080.14/1083.56 c bounds 5153520 >= 0 @ 1005.76 1080.14/1083.56 c #Conflicts: 311000 | #Constraints: 12223 1080.14/1083.56 c bounds 5153514 >= 0 @ 1008.54 1080.14/1083.56 c bounds 5153466 >= 0 @ 1008.88 1080.14/1083.56 c bounds 5153424 >= 0 @ 1009.17 1080.14/1083.56 c bounds 5153418 >= 0 @ 1009.19 1080.14/1083.56 c #Conflicts: 312000 | #Constraints: 13227 1080.14/1083.56 c bounds 5153406 >= 0 @ 1014.2 1080.14/1083.56 c bounds 5153382 >= 0 @ 1014.23 1080.14/1083.56 c #Conflicts: 313000 | #Constraints: 14229 1080.14/1083.56 c #Conflicts: 314000 | #Constraints: 15230 1080.14/1083.56 c bounds 5153370 >= 0 @ 1025.2 1080.14/1083.56 c #Conflicts: 315000 | #Constraints: 16233 1080.14/1083.56 c #Conflicts: 316000 | #Constraints: 17238 1080.14/1083.56 c #Conflicts: 317000 | #Constraints: 18242 1080.14/1083.56 c #Conflicts: 318000 | #Constraints: 19246 1080.14/1083.56 c #Conflicts: 319000 | #Constraints: 20251 1080.14/1083.56 c #Conflicts: 320000 | #Constraints: 21256 1080.14/1083.56 c #Conflicts: 321000 | #Constraints: 22263 1080.14/1083.56 c INPROCESSING 1080.14/1083.56 c GARBAGE COLLECT 1080.14/1083.56 c rational objective 3.09037e+06 1128.83/1132.39 c bounds 5153368 >= 0 @ 1056.83 1128.83/1132.39 c bounds 5153364 >= 0 @ 1058 1128.83/1132.39 c #Conflicts: 322000 | #Constraints: 12026 1128.83/1132.39 c #Conflicts: 323000 | #Constraints: 13026 1128.83/1132.39 c #Conflicts: 324000 | #Constraints: 14028 1128.83/1132.39 c #Conflicts: 325000 | #Constraints: 15029 1128.83/1132.39 c bounds 5153360 >= 0 @ 1075.63 1128.83/1132.39 c #Conflicts: 326000 | #Constraints: 16032 1128.83/1132.39 c #Conflicts: 327000 | #Constraints: 17035 1128.83/1132.39 c #Conflicts: 328000 | #Constraints: 18036 1128.83/1132.39 c #Conflicts: 329000 | #Constraints: 19037 1128.83/1132.39 c #Conflicts: 330000 | #Constraints: 20041 1128.83/1132.39 c #Conflicts: 331000 | #Constraints: 21048 1128.83/1132.39 c #Conflicts: 332000 | #Constraints: 22052 1128.83/1132.39 c #Conflicts: 333000 | #Constraints: 23054 1128.83/1132.39 c INPROCESSING 1128.83/1132.39 c GARBAGE COLLECT 1128.83/1132.39 c rational objective 3.09037e+06 1183.20/1186.80 c bounds 5153354 >= 0 @ 1106.3 1183.20/1186.80 c bounds 5074528 >= 0 @ 1106.4 1183.20/1186.80 c #Conflicts: 334000 | #Constraints: 12641 1183.20/1186.80 c bounds 5074486 >= 0 @ 1109.01 1183.20/1186.80 c bounds 5074438 >= 0 @ 1109.04 1183.20/1186.80 c bounds 5074436 >= 0 @ 1109.7 1183.20/1186.80 c bounds 5074430 >= 0 @ 1110.3 1183.20/1186.80 c bounds 5074426 >= 0 @ 1110.71 1183.20/1186.80 c bounds 5074424 >= 0 @ 1111.02 1183.20/1186.80 c bounds 5074422 >= 0 @ 1111.17 1183.20/1186.80 c bounds 5074418 >= 0 @ 1113.34 1183.20/1186.80 c bounds 5074412 >= 0 @ 1113.49 1183.20/1186.80 c bounds 5074394 >= 0 @ 1113.99 1183.20/1186.80 c bounds 5074388 >= 0 @ 1114.04 1183.20/1186.80 c bounds 5074382 >= 0 @ 1114.17 1183.20/1186.80 c #Conflicts: 335000 | #Constraints: 13653 1183.20/1186.80 c bounds 5074376 >= 0 @ 1114.52 1183.20/1186.80 c bounds 5074370 >= 0 @ 1116.28 1183.20/1186.80 c bounds 5074364 >= 0 @ 1116.32 1183.20/1186.80 c bounds 5074352 >= 0 @ 1116.35 1183.20/1186.80 c bounds 5074348 >= 0 @ 1119.89 1183.20/1186.80 c bounds 5074346 >= 0 @ 1119.92 1183.20/1186.80 c #Conflicts: 336000 | #Constraints: 14660 1183.20/1186.80 c bounds 5074340 >= 0 @ 1120.07 1183.20/1186.80 c bounds 5074334 >= 0 @ 1120.7 1183.20/1186.80 c bounds 5074332 >= 0 @ 1121.33 1183.20/1186.80 c bounds 5074330 >= 0 @ 1121.38 1183.20/1186.80 c bounds 5074328 >= 0 @ 1121.42 1183.20/1186.80 c bounds 5074322 >= 0 @ 1121.5 1183.20/1186.80 c #Conflicts: 337000 | #Constraints: 15669 1183.20/1186.80 c bounds 5074316 >= 0 @ 1128.54 1183.20/1186.80 c bounds 5074310 >= 0 @ 1128.74 1183.20/1186.80 c bounds 5074286 >= 0 @ 1129.46 1183.20/1186.80 c bounds 5074190 >= 0 @ 1129.78 1183.20/1186.80 c #Conflicts: 338000 | #Constraints: 16674 1183.20/1186.80 c bounds 5074182 >= 0 @ 1136.5 1183.20/1186.80 c bounds 5073158 >= 0 @ 1136.55 1183.20/1186.80 c bounds 5071038 >= 0 @ 1136.91 1183.20/1186.80 c bounds 5071022 >= 0 @ 1137 1183.20/1186.80 c bounds 5071016 >= 0 @ 1137.09 1183.20/1186.80 c #Conflicts: 339000 | #Constraints: 17682 1183.20/1186.80 c #Conflicts: 340000 | #Constraints: 18687 1183.20/1186.80 c #Conflicts: 341000 | #Constraints: 19688 1183.20/1186.80 c #Conflicts: 342000 | #Constraints: 20691 1183.20/1186.80 c #Conflicts: 343000 | #Constraints: 21695 1183.20/1186.80 c #Conflicts: 344000 | #Constraints: 22698 1183.20/1186.80 c #Conflicts: 345000 | #Constraints: 23701 1183.20/1186.80 c INPROCESSING 1183.20/1186.80 c GARBAGE COLLECT 1183.20/1186.80 c rational objective 3.0904e+06 1228.79/1232.52 c bounds 5071008 >= 0 @ 1159.44 1228.79/1232.52 c bounds 5071000 >= 0 @ 1159.61 1228.79/1232.52 c bounds 5070984 >= 0 @ 1159.63 1228.79/1232.52 c bounds 5070976 >= 0 @ 1159.79 1228.79/1232.52 c #Conflicts: 346000 | #Constraints: 13024 1228.79/1232.52 c bounds 5066944 >= 0 @ 1162.71 1228.79/1232.52 c bounds 5066880 >= 0 @ 1162.74 1228.79/1232.52 c bounds 5066488 >= 0 @ 1164.36 1228.79/1232.52 c bounds 5066424 >= 0 @ 1164.39 1228.79/1232.52 c bounds 5066408 >= 0 @ 1164.44 1228.79/1232.52 c bounds 5066376 >= 0 @ 1164.95 1228.79/1232.52 c #Conflicts: 347000 | #Constraints: 14030 1228.79/1232.52 c bounds 5066374 >= 0 @ 1168.26 1228.79/1232.52 c bounds 5066358 >= 0 @ 1168.31 1228.79/1232.52 c #Conflicts: 348000 | #Constraints: 15032 1228.79/1232.52 c bounds 5066352 >= 0 @ 1172.89 1228.79/1232.52 c bounds 5066334 >= 0 @ 1172.96 1228.79/1232.52 c bounds 5066308 >= 0 @ 1173.31 1228.79/1232.52 c bounds 5066292 >= 0 @ 1173.37 1228.79/1232.52 c #Conflicts: 349000 | #Constraints: 16039 1228.79/1232.52 c #Conflicts: 350000 | #Constraints: 17042 1228.79/1232.52 c #Conflicts: 351000 | #Constraints: 18044 1228.79/1232.52 c #Conflicts: 352000 | #Constraints: 19048 1228.79/1232.52 c #Conflicts: 353000 | #Constraints: 20052 1228.79/1232.52 c #Conflicts: 354000 | #Constraints: 21057 1228.79/1232.52 c #Conflicts: 355000 | #Constraints: 22060 1228.79/1232.52 c #Conflicts: 356000 | #Constraints: 23061 1228.79/1232.52 c #Conflicts: 357000 | #Constraints: 24063 1228.79/1232.52 c INPROCESSING 1228.79/1232.52 c GARBAGE COLLECT 1228.79/1232.52 c rational objective 3.0904e+06 1283.46/1287.32 c bounds 5042732 >= 0 @ 1202.84 1283.46/1287.32 c bounds 5042636 >= 0 @ 1202.86 1283.46/1287.32 c bounds 5000939 >= 0 @ 1202.89 1283.46/1287.32 c bounds 5000855 >= 0 @ 1207.08 1283.46/1287.32 c bounds 5000843 >= 0 @ 1207.13 1283.46/1287.32 c bounds 5000840 >= 0 @ 1208.1 1283.46/1287.32 c bounds 4913800 >= 0 @ 1208.17 1283.46/1287.32 c #Conflicts: 358000 | #Constraints: 13229 1283.46/1287.32 c bounds 4913796 >= 0 @ 1210.7 1283.46/1287.32 c bounds 4913788 >= 0 @ 1211.67 1283.46/1287.32 c #Conflicts: 359000 | #Constraints: 14232 1283.46/1287.32 c bounds 4913776 >= 0 @ 1222.3 1283.46/1287.32 c bounds 4913772 >= 0 @ 1222.37 1283.46/1287.32 c #Conflicts: 360000 | #Constraints: 15235 1283.46/1287.32 c #Conflicts: 361000 | #Constraints: 16241 1283.46/1287.32 c #Conflicts: 362000 | #Constraints: 17243 1283.46/1287.32 c #Conflicts: 363000 | #Constraints: 18245 1283.46/1287.32 c #Conflicts: 364000 | #Constraints: 19247 1283.46/1287.32 c #Conflicts: 365000 | #Constraints: 20252 1283.46/1287.32 c #Conflicts: 366000 | #Constraints: 21258 1283.46/1287.32 c #Conflicts: 367000 | #Constraints: 22261 1283.46/1287.32 c #Conflicts: 368000 | #Constraints: 23264 1283.46/1287.32 c #Conflicts: 369000 | #Constraints: 24268 1283.46/1287.32 c INPROCESSING 1283.46/1287.32 c GARBAGE COLLECT 1283.46/1287.32 c rational objective 3.09074e+06 1336.14/1340.15 c bounds 4913764 >= 0 @ 1256.72 1336.14/1340.15 c #Conflicts: 370000 | #Constraints: 13209 1336.14/1340.15 c #Conflicts: 371000 | #Constraints: 14210 1336.14/1340.15 c bounds 4913732 >= 0 @ 1265.59 1336.14/1340.15 c bounds 4913728 >= 0 @ 1265.66 1336.14/1340.15 c #Conflicts: 372000 | #Constraints: 15215 1336.14/1340.15 c bounds 4913696 >= 0 @ 1267.82 1336.14/1340.15 c bounds 4913692 >= 0 @ 1267.88 1336.14/1340.15 c bounds 4913684 >= 0 @ 1267.92 1336.14/1340.15 c bounds 4913668 >= 0 @ 1269.85 1336.14/1340.15 c #Conflicts: 373000 | #Constraints: 16222 1336.14/1340.15 c bounds 4913156 >= 0 @ 1274.97 1336.14/1340.15 c bounds 4831236 >= 0 @ 1275.36 1336.14/1340.15 c bounds 4830212 >= 0 @ 1276.14 1336.14/1340.15 c #Conflicts: 374000 | #Constraints: 17231 1336.14/1340.15 c bounds 4782084 >= 0 @ 1279.88 1336.14/1340.15 c #Conflicts: 375000 | #Constraints: 18237 1336.14/1340.15 c #Conflicts: 376000 | #Constraints: 19241 1336.14/1340.15 c #Conflicts: 377000 | #Constraints: 20248 1336.14/1340.15 c #Conflicts: 378000 | #Constraints: 21255 1336.14/1340.15 c #Conflicts: 379000 | #Constraints: 22259 1336.14/1340.15 c #Conflicts: 380000 | #Constraints: 23263 1336.14/1340.15 c #Conflicts: 381000 | #Constraints: 24265 1336.14/1340.15 c INPROCESSING 1336.14/1340.15 c GARBAGE COLLECT 1336.14/1340.15 c rational objective 3.09074e+06 1376.64/1380.79 c bounds 4782080 >= 0 @ 1308.12 1376.64/1380.79 c bounds 4781056 >= 0 @ 1309.02 1376.64/1380.79 c bounds 4780032 >= 0 @ 1309.63 1376.64/1380.79 c #Conflicts: 382000 | #Constraints: 13013 1376.64/1380.79 c bounds 4778492 >= 0 @ 1312.09 1376.64/1380.79 c bounds 4778484 >= 0 @ 1312.11 1376.64/1380.79 c bounds 4778468 >= 0 @ 1312.14 1376.64/1380.79 c bounds 4778436 >= 0 @ 1312.5 1376.64/1380.79 c bounds 4778432 >= 0 @ 1312.62 1376.64/1380.79 c #Conflicts: 383000 | #Constraints: 14020 1376.64/1380.79 c bounds 4778404 >= 0 @ 1314.59 1376.64/1380.79 c bounds 4778400 >= 0 @ 1314.62 1376.64/1380.79 c bounds 4778372 >= 0 @ 1314.65 1376.64/1380.79 c bounds 4778368 >= 0 @ 1314.73 1376.64/1380.79 c bounds 4778112 >= 0 @ 1316.5 1376.64/1380.79 c bounds 4778108 >= 0 @ 1316.69 1376.64/1380.79 c bounds 4778100 >= 0 @ 1316.73 1376.64/1380.79 c bounds 4778096 >= 0 @ 1317.64 1376.64/1380.79 c #Conflicts: 384000 | #Constraints: 15031 1376.64/1380.79 c bounds 4778032 >= 0 @ 1318.73 1376.64/1380.79 c bounds 4778016 >= 0 @ 1318.77 1376.64/1380.79 c #Conflicts: 385000 | #Constraints: 16035 1376.64/1380.79 c bounds 4777996 >= 0 @ 1321.93 1376.64/1380.79 c #Conflicts: 386000 | #Constraints: 17036 1376.64/1380.79 c bounds 4777992 >= 0 @ 1329.09 1376.64/1380.79 c #Conflicts: 387000 | #Constraints: 18040 1376.64/1380.79 c #Conflicts: 388000 | #Constraints: 19043 1376.64/1380.79 c #Conflicts: 389000 | #Constraints: 20047 1376.64/1380.79 c #Conflicts: 390000 | #Constraints: 21051 1376.64/1380.79 c #Conflicts: 391000 | #Constraints: 22055 1376.64/1380.79 c #Conflicts: 392000 | #Constraints: 23059 1376.64/1380.79 c #Conflicts: 393000 | #Constraints: 24063 1376.64/1380.79 c #Conflicts: 394000 | #Constraints: 25066 1376.64/1380.79 c INPROCESSING 1376.64/1380.79 c GARBAGE COLLECT 1376.64/1380.79 c rational objective 3.09074e+06 1415.94/1420.15 c bounds 4777988 >= 0 @ 1347.71 1415.94/1420.15 c #Conflicts: 395000 | #Constraints: 13617 1415.94/1420.15 c bounds 4777984 >= 0 @ 1353.37 1415.94/1420.15 c #Conflicts: 396000 | #Constraints: 14622 1415.94/1420.15 c #Conflicts: 397000 | #Constraints: 15627 1415.94/1420.15 c #Conflicts: 398000 | #Constraints: 16631 1415.94/1420.15 c #Conflicts: 399000 | #Constraints: 17635 1415.94/1420.15 c #Conflicts: 400000 | #Constraints: 18639 1415.94/1420.15 c #Conflicts: 401000 | #Constraints: 19642 1415.94/1420.15 c #Conflicts: 402000 | #Constraints: 20647 1415.94/1420.15 c #Conflicts: 403000 | #Constraints: 21650 1415.94/1420.15 c #Conflicts: 404000 | #Constraints: 22654 1415.94/1420.15 c #Conflicts: 405000 | #Constraints: 23660 1415.94/1420.15 c #Conflicts: 406000 | #Constraints: 24664 1415.94/1420.15 c #Conflicts: 407000 | #Constraints: 25668 1415.94/1420.15 c INPROCESSING 1415.94/1420.15 c GARBAGE COLLECT 1415.94/1420.15 c rational objective 3.09074e+06 1508.62/1513.05 c bounds 4758528 >= 0 @ 1386.35 1508.62/1513.05 c bounds 4669440 >= 0 @ 1386.4 1508.62/1513.05 c #Conflicts: 408000 | #Constraints: 14020 1508.62/1513.05 c #Conflicts: 409000 | #Constraints: 15020 1508.62/1513.05 c #Conflicts: 410000 | #Constraints: 16021 1508.62/1513.05 c bounds 4654080 >= 0 @ 1402.86 1508.62/1513.05 c bounds 4572160 >= 0 @ 1403.83 1508.62/1513.05 c bounds 4539392 >= 0 @ 1405.49 1508.62/1513.05 c #Conflicts: 411000 | #Constraints: 17026 1508.62/1513.05 c #Conflicts: 412000 | #Constraints: 18030 1508.62/1513.05 c #Conflicts: 413000 | #Constraints: 19032 1508.62/1513.05 c #Conflicts: 414000 | #Constraints: 20034 1508.62/1513.05 c #Conflicts: 415000 | #Constraints: 21040 1508.62/1513.05 c #Conflicts: 416000 | #Constraints: 22045 1508.62/1513.05 c bounds 4525056 >= 0 @ 1455.6 1508.62/1513.05 c #Conflicts: 417000 | #Constraints: 23048 1508.62/1513.05 c #Conflicts: 418000 | #Constraints: 24050 1508.62/1513.05 c #Conflicts: 419000 | #Constraints: 25055 1508.62/1513.05 c #Conflicts: 420000 | #Constraints: 26060 1508.62/1513.05 c INPROCESSING 1508.62/1513.05 c GARBAGE COLLECT 1508.62/1513.05 c rational objective 3.09077e+06 1549.41/1553.94 c #Conflicts: 421000 | #Constraints: 14216 1549.41/1553.94 c #Conflicts: 422000 | #Constraints: 15219 1549.41/1553.94 c #Conflicts: 423000 | #Constraints: 16223 1549.41/1553.94 c #Conflicts: 424000 | #Constraints: 17226 1549.41/1553.94 c #Conflicts: 425000 | #Constraints: 18231 1549.41/1553.94 c #Conflicts: 426000 | #Constraints: 19235 1549.41/1553.94 c #Conflicts: 427000 | #Constraints: 20239 1549.41/1553.94 c #Conflicts: 428000 | #Constraints: 21247 1549.41/1553.94 c #Conflicts: 429000 | #Constraints: 22252 1549.41/1553.94 c #Conflicts: 430000 | #Constraints: 23256 1549.41/1553.94 c #Conflicts: 431000 | #Constraints: 24259 1549.41/1553.94 c #Conflicts: 432000 | #Constraints: 25264 1549.41/1553.94 c #Conflicts: 433000 | #Constraints: 26266 1549.41/1553.94 c INPROCESSING 1549.41/1553.94 c GARBAGE COLLECT 1549.41/1553.94 c rational objective 3.09077e+06 1600.20/1604.81 c #Conflicts: 434000 | #Constraints: 14235 1600.20/1604.81 c #Conflicts: 435000 | #Constraints: 15241 1600.20/1604.81 c #Conflicts: 436000 | #Constraints: 16245 1600.20/1604.81 c #Conflicts: 437000 | #Constraints: 17249 1600.20/1604.81 c #Conflicts: 438000 | #Constraints: 18253 1600.20/1604.81 c #Conflicts: 439000 | #Constraints: 19255 1600.20/1604.81 c #Conflicts: 440000 | #Constraints: 20259 1600.20/1604.81 c #Conflicts: 441000 | #Constraints: 21262 1600.20/1604.81 c #Conflicts: 442000 | #Constraints: 22263 1600.20/1604.81 c #Conflicts: 443000 | #Constraints: 23266 1600.20/1604.81 c #Conflicts: 444000 | #Constraints: 24269 1600.20/1604.81 c #Conflicts: 445000 | #Constraints: 25273 1600.20/1604.81 c #Conflicts: 446000 | #Constraints: 26276 1600.20/1604.81 c INPROCESSING 1600.20/1604.81 c GARBAGE COLLECT 1600.20/1604.81 c rational objective 3.09081e+06 1771.68/1776.74 c #Conflicts: 447000 | #Constraints: 14068 1771.68/1776.74 c #Conflicts: 448000 | #Constraints: 15070 1771.68/1776.74 c #Conflicts: 449000 | #Constraints: 16072 1771.68/1776.74 c #Conflicts: 450000 | #Constraints: 17073 1771.68/1776.74 c #Conflicts: 451000 | #Constraints: 18073 1771.68/1776.74 c #Conflicts: 452000 | #Constraints: 19073 1771.68/1776.74 c #Conflicts: 453000 | #Constraints: 20074 1771.68/1776.74 c #Conflicts: 454000 | #Constraints: 21074 1771.68/1776.74 c #Conflicts: 455000 | #Constraints: 22074 1771.68/1776.74 c #Conflicts: 456000 | #Constraints: 23074 1771.68/1776.74 c #Conflicts: 457000 | #Constraints: 24074 1771.68/1776.74 c #Conflicts: 458000 | #Constraints: 25074 1771.68/1776.74 c #Conflicts: 459000 | #Constraints: 26075 1771.68/1776.74 c #Conflicts: 460000 | #Constraints: 27075 1771.68/1776.74 c INPROCESSING 1771.68/1776.74 c GARBAGE COLLECT 1771.68/1776.74 c rational objective 3.09082e+06 1831.94/1837.19 c #Conflicts: 461000 | #Constraints: 14645 1831.94/1837.19 c #Conflicts: 462000 | #Constraints: 15652 1831.94/1837.19 c #Conflicts: 463000 | #Constraints: 16655 1831.94/1837.19 c #Conflicts: 464000 | #Constraints: 17657 1831.94/1837.19 c #Conflicts: 465000 | #Constraints: 18661 1831.94/1837.19 c #Conflicts: 466000 | #Constraints: 19665 1831.94/1837.19 c #Conflicts: 467000 | #Constraints: 20669 1831.94/1837.19 c #Conflicts: 468000 | #Constraints: 21672 1831.94/1837.19 c #Conflicts: 469000 | #Constraints: 22676 1831.94/1837.19 c #Conflicts: 470000 | #Constraints: 23678 1831.94/1837.19 c #Conflicts: 471000 | #Constraints: 24681 1831.94/1837.19 c #Conflicts: 472000 | #Constraints: 25685 1831.94/1837.19 c #Conflicts: 473000 | #Constraints: 26688 1831.94/1837.19 c #Conflicts: 474000 | #Constraints: 27689 1831.94/1837.19 c INPROCESSING 1831.94/1837.19 c GARBAGE COLLECT 1831.94/1837.19 c rational objective 3.09082e+06 1883.90/1889.28 c #Conflicts: 475000 | #Constraints: 15068 1883.90/1889.28 c #Conflicts: 476000 | #Constraints: 16070 1883.90/1889.28 c #Conflicts: 477000 | #Constraints: 17070 1883.90/1889.28 c #Conflicts: 478000 | #Constraints: 18076 1883.90/1889.28 c #Conflicts: 479000 | #Constraints: 19080 1883.90/1889.28 c #Conflicts: 480000 | #Constraints: 20084 1883.90/1889.28 c #Conflicts: 481000 | #Constraints: 21087 1883.90/1889.28 c #Conflicts: 482000 | #Constraints: 22091 1883.90/1889.28 c #Conflicts: 483000 | #Constraints: 23095 1883.90/1889.28 c #Conflicts: 484000 | #Constraints: 24098 1883.90/1889.28 c #Conflicts: 485000 | #Constraints: 25102 1883.90/1889.28 c #Conflicts: 486000 | #Constraints: 26107 1883.90/1889.28 c #Conflicts: 487000 | #Constraints: 27112 1883.90/1889.28 c #Conflicts: 488000 | #Constraints: 28113 1883.90/1889.28 c INPROCESSING 1883.90/1889.28 c GARBAGE COLLECT 1883.90/1889.28 c rational objective 3.09082e+06 1930.29/1935.78 c #Conflicts: 489000 | #Constraints: 15276 1930.29/1935.78 c #Conflicts: 490000 | #Constraints: 16277 1930.29/1935.78 c #Conflicts: 491000 | #Constraints: 17281 1930.29/1935.78 c #Conflicts: 492000 | #Constraints: 18283 1930.29/1935.78 c #Conflicts: 493000 | #Constraints: 19283 1930.29/1935.78 c #Conflicts: 494000 | #Constraints: 20287 1930.29/1935.78 c #Conflicts: 495000 | #Constraints: 21288 1930.29/1935.78 c #Conflicts: 496000 | #Constraints: 22292 1930.29/1935.78 c #Conflicts: 497000 | #Constraints: 23294 1930.29/1935.78 c #Conflicts: 498000 | #Constraints: 24299 1930.29/1935.78 c #Conflicts: 499000 | #Constraints: 25304 1930.29/1935.78 c #Conflicts: 500000 | #Constraints: 26306 1930.29/1935.78 c #Conflicts: 501000 | #Constraints: 27308 1930.29/1935.78 c #Conflicts: 502000 | #Constraints: 28312 1930.29/1935.78 c INPROCESSING 1930.29/1935.78 c GARBAGE COLLECT 1930.29/1935.78 c rational objective 3.09099e+06 1981.87/1987.46 c #Conflicts: 503000 | #Constraints: 15260 1981.87/1987.46 c #Conflicts: 504000 | #Constraints: 16264 1981.87/1987.46 c #Conflicts: 505000 | #Constraints: 17270 1981.87/1987.46 c #Conflicts: 506000 | #Constraints: 18276 1981.87/1987.46 c #Conflicts: 507000 | #Constraints: 19282 1981.87/1987.46 c #Conflicts: 508000 | #Constraints: 20291 1981.87/1987.46 c #Conflicts: 509000 | #Constraints: 21296 1981.87/1987.46 c #Conflicts: 510000 | #Constraints: 22301 1981.87/1987.46 c #Conflicts: 511000 | #Constraints: 23303 1981.87/1987.46 c #Conflicts: 512000 | #Constraints: 24306 1981.87/1987.46 c #Conflicts: 513000 | #Constraints: 25311 1981.87/1987.46 c #Conflicts: 514000 | #Constraints: 26313 1981.87/1987.46 c #Conflicts: 515000 | #Constraints: 27316 1981.87/1987.46 c #Conflicts: 516000 | #Constraints: 28317 1981.87/1987.46 c INPROCESSING 1981.87/1987.46 c GARBAGE COLLECT 1981.87/1987.46 c rational objective 3.091e+06 2042.62/2048.30 c #Conflicts: 517000 | #Constraints: 15065 2042.62/2048.30 c #Conflicts: 518000 | #Constraints: 16066 2042.62/2048.30 c #Conflicts: 519000 | #Constraints: 17067 2042.62/2048.30 c #Conflicts: 520000 | #Constraints: 18070 2042.62/2048.30 c bounds 4500480 >= 0 @ 1961.62 2042.62/2048.30 c #Conflicts: 521000 | #Constraints: 19074 2042.62/2048.30 c #Conflicts: 522000 | #Constraints: 20077 2042.62/2048.30 c bounds 4497408 >= 0 @ 1971.61 2042.62/2048.30 c #Conflicts: 523000 | #Constraints: 21078 2042.62/2048.30 c #Conflicts: 524000 | #Constraints: 22085 2042.62/2048.30 c #Conflicts: 525000 | #Constraints: 23089 2042.62/2048.30 c #Conflicts: 526000 | #Constraints: 24091 2042.62/2048.30 c #Conflicts: 527000 | #Constraints: 25095 2042.62/2048.30 c #Conflicts: 528000 | #Constraints: 26100 2042.62/2048.30 c #Conflicts: 529000 | #Constraints: 27101 2042.62/2048.30 c #Conflicts: 530000 | #Constraints: 28107 2042.62/2048.30 c #Conflicts: 531000 | #Constraints: 29112 2042.62/2048.30 c INPROCESSING 2042.62/2048.30 c GARBAGE COLLECT 2042.62/2048.30 c rational objective 3.091e+06 2096.59/2102.45 c #Conflicts: 532000 | #Constraints: 15649 2096.59/2102.45 c #Conflicts: 533000 | #Constraints: 16649 2096.59/2102.45 c bounds 4443136 >= 0 @ 2016.57 2096.59/2102.45 c #Conflicts: 534000 | #Constraints: 17653 2096.59/2102.45 c bounds 4379648 >= 0 @ 2020.06 2096.59/2102.45 c #Conflicts: 535000 | #Constraints: 18659 2096.59/2102.45 c #Conflicts: 536000 | #Constraints: 19662 2096.59/2102.45 c #Conflicts: 537000 | #Constraints: 20666 2096.59/2102.45 c #Conflicts: 538000 | #Constraints: 21671 2096.59/2102.45 c #Conflicts: 539000 | #Constraints: 22676 2096.59/2102.45 c #Conflicts: 540000 | #Constraints: 23679 2096.59/2102.45 c #Conflicts: 541000 | #Constraints: 24681 2096.59/2102.45 c #Conflicts: 542000 | #Constraints: 25686 2096.59/2102.45 c #Conflicts: 543000 | #Constraints: 26691 2096.59/2102.45 c #Conflicts: 544000 | #Constraints: 27697 2096.59/2102.45 c #Conflicts: 545000 | #Constraints: 28701 2096.59/2102.45 c #Conflicts: 546000 | #Constraints: 29705 2096.59/2102.45 c INPROCESSING 2096.59/2102.45 c GARBAGE COLLECT 2096.59/2102.45 c rational objective 3.09111e+06 2204.23/2210.34 c #Conflicts: 547000 | #Constraints: 16048 2204.23/2210.34 c #Conflicts: 548000 | #Constraints: 17051 2204.23/2210.34 c bounds 4365312 >= 0 @ 2068.27 2204.23/2210.34 c #Conflicts: 549000 | #Constraints: 18055 2204.23/2210.34 c bounds 4298752 >= 0 @ 2072.49 2204.23/2210.34 c #Conflicts: 550000 | #Constraints: 19061 2204.23/2210.34 c #Conflicts: 551000 | #Constraints: 20063 2204.23/2210.34 c #Conflicts: 552000 | #Constraints: 21065 2204.23/2210.34 c #Conflicts: 553000 | #Constraints: 22067 2204.23/2210.34 c #Conflicts: 554000 | #Constraints: 23068 2204.23/2210.34 c #Conflicts: 555000 | #Constraints: 24069 2204.23/2210.34 c #Conflicts: 556000 | #Constraints: 25073 2204.23/2210.34 c #Conflicts: 557000 | #Constraints: 26078 2204.23/2210.34 c #Conflicts: 558000 | #Constraints: 27080 2204.23/2210.34 c #Conflicts: 559000 | #Constraints: 28082 2204.23/2210.34 c #Conflicts: 560000 | #Constraints: 29086 2204.23/2210.34 c #Conflicts: 561000 | #Constraints: 30089 2204.23/2210.34 c INPROCESSING 2204.23/2210.34 c GARBAGE COLLECT 2204.23/2210.34 c rational objective 3.09111e+06 2244.14/2250.37 c #Conflicts: 562000 | #Constraints: 16258 2244.14/2250.37 c #Conflicts: 563000 | #Constraints: 17260 2244.14/2250.37 c #Conflicts: 564000 | #Constraints: 18265 2244.14/2250.37 c #Conflicts: 565000 | #Constraints: 19271 2244.14/2250.37 c #Conflicts: 566000 | #Constraints: 20275 2244.14/2250.37 c #Conflicts: 567000 | #Constraints: 21277 2244.14/2250.37 c #Conflicts: 568000 | #Constraints: 22281 2244.14/2250.37 c #Conflicts: 569000 | #Constraints: 23286 2244.14/2250.37 c #Conflicts: 570000 | #Constraints: 24290 2244.14/2250.37 c #Conflicts: 571000 | #Constraints: 25294 2244.14/2250.37 c #Conflicts: 572000 | #Constraints: 26298 2244.14/2250.37 c #Conflicts: 573000 | #Constraints: 27301 2244.14/2250.37 c #Conflicts: 574000 | #Constraints: 28302 2244.14/2250.37 c #Conflicts: 575000 | #Constraints: 29302 2244.14/2250.37 c #Conflicts: 576000 | #Constraints: 30304 2244.14/2250.37 c INPROCESSING 2244.14/2250.37 c GARBAGE COLLECT 2244.14/2250.37 c rational objective 3.09111e+06 2286.03/2292.37 c #Conflicts: 577000 | #Constraints: 16261 2286.03/2292.37 c #Conflicts: 578000 | #Constraints: 17265 2286.03/2292.37 c #Conflicts: 579000 | #Constraints: 18268 2286.03/2292.37 c #Conflicts: 580000 | #Constraints: 19271 2286.03/2292.37 c #Conflicts: 581000 | #Constraints: 20274 2286.03/2292.37 c #Conflicts: 582000 | #Constraints: 21277 2286.03/2292.37 c #Conflicts: 583000 | #Constraints: 22278 2286.03/2292.37 c #Conflicts: 584000 | #Constraints: 23282 2286.03/2292.37 c #Conflicts: 585000 | #Constraints: 24285 2286.03/2292.37 c #Conflicts: 586000 | #Constraints: 25290 2286.03/2292.37 c #Conflicts: 587000 | #Constraints: 26293 2286.03/2292.37 c #Conflicts: 588000 | #Constraints: 27294 2286.03/2292.37 c #Conflicts: 589000 | #Constraints: 28299 2286.03/2292.37 c #Conflicts: 590000 | #Constraints: 29303 2286.03/2292.37 c #Conflicts: 591000 | #Constraints: 30307 2286.03/2292.37 c INPROCESSING 2286.03/2292.37 c GARBAGE COLLECT 2286.03/2292.37 c rational objective 3.09112e+06 2342.39/2348.82 c #Conflicts: 592000 | #Constraints: 16048 2342.39/2348.82 c #Conflicts: 593000 | #Constraints: 17053 2342.39/2348.82 c #Conflicts: 594000 | #Constraints: 18057 2342.39/2348.82 c #Conflicts: 595000 | #Constraints: 19059 2342.39/2348.82 c #Conflicts: 596000 | #Constraints: 20060 2342.39/2348.82 c #Conflicts: 597000 | #Constraints: 21065 2342.39/2348.82 c #Conflicts: 598000 | #Constraints: 22068 2342.39/2348.82 c #Conflicts: 599000 | #Constraints: 23072 2342.39/2348.82 c #Conflicts: 600000 | #Constraints: 24078 2342.39/2348.82 c #Conflicts: 601000 | #Constraints: 25080 2342.39/2348.82 c #Conflicts: 602000 | #Constraints: 26086 2342.39/2348.82 c #Conflicts: 603000 | #Constraints: 27087 2342.39/2348.82 c #Conflicts: 604000 | #Constraints: 28091 2342.39/2348.82 c #Conflicts: 605000 | #Constraints: 29094 2342.39/2348.82 c #Conflicts: 606000 | #Constraints: 30098 2342.39/2348.82 c #Conflicts: 607000 | #Constraints: 31102 2342.39/2348.82 c INPROCESSING 2342.39/2348.82 c GARBAGE COLLECT 2342.39/2348.82 c rational objective 3.09112e+06 2659.71/2666.97 c bounds 4292608 >= 0 @ 2299.83 2659.71/2666.97 c #Conflicts: 608000 | #Constraints: 16652 2659.71/2666.97 c #Conflicts: 609000 | #Constraints: 17654 2659.71/2666.97 c #Conflicts: 610000 | #Constraints: 18655 2659.71/2666.97 c #Conflicts: 611000 | #Constraints: 19655 2659.71/2666.97 c #Conflicts: 612000 | #Constraints: 20655 2659.71/2666.97 c #Conflicts: 613000 | #Constraints: 21657 2659.71/2666.97 c #Conflicts: 614000 | #Constraints: 22657 2659.71/2666.97 c #Conflicts: 615000 | #Constraints: 23659 2659.71/2666.97 c #Conflicts: 616000 | #Constraints: 24659 2659.71/2666.97 c #Conflicts: 617000 | #Constraints: 25661 2659.71/2666.97 c #Conflicts: 618000 | #Constraints: 26661 2659.71/2666.97 c #Conflicts: 619000 | #Constraints: 27661 2659.71/2666.97 c #Conflicts: 620000 | #Constraints: 28661 2659.71/2666.97 c #Conflicts: 621000 | #Constraints: 29661 2659.71/2666.97 c #Conflicts: 622000 | #Constraints: 30661 2659.71/2666.97 c #Conflicts: 623000 | #Constraints: 31663 2659.71/2666.97 c INPROCESSING 2659.71/2666.97 c GARBAGE COLLECT 2659.71/2666.97 c rational objective 3.09112e+06 2709.39/2716.71 c #Conflicts: 624000 | #Constraints: 17056 2709.39/2716.71 c #Conflicts: 625000 | #Constraints: 18061 2709.39/2716.71 c #Conflicts: 626000 | #Constraints: 19066 2709.39/2716.71 c #Conflicts: 627000 | #Constraints: 20069 2709.39/2716.71 c #Conflicts: 628000 | #Constraints: 21074 2709.39/2716.71 c #Conflicts: 629000 | #Constraints: 22078 2709.39/2716.71 c #Conflicts: 630000 | #Constraints: 23082 2709.39/2716.71 c #Conflicts: 631000 | #Constraints: 24086 2709.39/2716.71 c #Conflicts: 632000 | #Constraints: 25089 2709.39/2716.71 c #Conflicts: 633000 | #Constraints: 26091 2709.39/2716.71 c #Conflicts: 634000 | #Constraints: 27095 2709.39/2716.71 c #Conflicts: 635000 | #Constraints: 28099 2709.39/2716.71 c #Conflicts: 636000 | #Constraints: 29105 2709.39/2716.71 c #Conflicts: 637000 | #Constraints: 30108 2709.39/2716.71 c #Conflicts: 638000 | #Constraints: 31111 2709.39/2716.71 c #Conflicts: 639000 | #Constraints: 32115 2709.39/2716.71 c INPROCESSING 2709.39/2716.71 c GARBAGE COLLECT 2709.39/2716.71 c rational objective 3.09112e+06 2758.17/2765.68 c #Conflicts: 640000 | #Constraints: 17238 2758.17/2765.68 c #Conflicts: 641000 | #Constraints: 18241 2758.17/2765.68 c #Conflicts: 642000 | #Constraints: 19246 2758.17/2765.68 c #Conflicts: 643000 | #Constraints: 20250 2758.17/2765.68 c #Conflicts: 644000 | #Constraints: 21253 2758.17/2765.68 c #Conflicts: 645000 | #Constraints: 22256 2758.17/2765.68 c #Conflicts: 646000 | #Constraints: 23260 2758.17/2765.68 c #Conflicts: 647000 | #Constraints: 24264 2758.17/2765.68 c #Conflicts: 648000 | #Constraints: 25267 2758.17/2765.68 c #Conflicts: 649000 | #Constraints: 26270 2758.17/2765.68 c #Conflicts: 650000 | #Constraints: 27275 2758.17/2765.68 c #Conflicts: 651000 | #Constraints: 28277 2758.17/2765.68 c #Conflicts: 652000 | #Constraints: 29286 2758.17/2765.68 c #Conflicts: 653000 | #Constraints: 30288 2758.17/2765.68 c #Conflicts: 654000 | #Constraints: 31291 2758.17/2765.68 c #Conflicts: 655000 | #Constraints: 32293 2758.17/2765.68 c INPROCESSING 2758.17/2765.68 c GARBAGE COLLECT 2758.17/2765.68 c rational objective 3.09112e+06 2806.85/2814.41 c #Conflicts: 656000 | #Constraints: 17255 2806.85/2814.41 c #Conflicts: 657000 | #Constraints: 18257 2806.85/2814.41 c #Conflicts: 658000 | #Constraints: 19260 2806.85/2814.41 c #Conflicts: 659000 | #Constraints: 20261 2806.85/2814.41 c #Conflicts: 660000 | #Constraints: 21265 2806.85/2814.41 c #Conflicts: 661000 | #Constraints: 22267 2806.85/2814.41 c #Conflicts: 662000 | #Constraints: 23270 2806.85/2814.41 c #Conflicts: 663000 | #Constraints: 24272 2806.85/2814.41 c #Conflicts: 664000 | #Constraints: 25276 2806.85/2814.41 c #Conflicts: 665000 | #Constraints: 26280 2806.85/2814.41 c #Conflicts: 666000 | #Constraints: 27283 2806.85/2814.41 c #Conflicts: 667000 | #Constraints: 28287 2806.85/2814.41 c #Conflicts: 668000 | #Constraints: 29288 2806.85/2814.41 c #Conflicts: 669000 | #Constraints: 30293 2806.85/2814.41 c #Conflicts: 670000 | #Constraints: 31297 2806.85/2814.41 c #Conflicts: 671000 | #Constraints: 32299 2806.85/2814.41 c INPROCESSING 2806.85/2814.41 c GARBAGE COLLECT 2806.85/2814.41 c rational objective 3.09113e+06 2857.62/2865.37 c #Conflicts: 672000 | #Constraints: 17047 2857.62/2865.37 c #Conflicts: 673000 | #Constraints: 18050 2857.62/2865.37 c #Conflicts: 674000 | #Constraints: 19052 2857.62/2865.37 c #Conflicts: 675000 | #Constraints: 20057 2857.62/2865.37 c #Conflicts: 676000 | #Constraints: 21059 2857.62/2865.37 c #Conflicts: 677000 | #Constraints: 22063 2857.62/2865.37 c #Conflicts: 678000 | #Constraints: 23066 2857.62/2865.37 c #Conflicts: 679000 | #Constraints: 24071 2857.62/2865.37 c #Conflicts: 680000 | #Constraints: 25073 2857.62/2865.37 c #Conflicts: 681000 | #Constraints: 26079 2857.62/2865.37 c #Conflicts: 682000 | #Constraints: 27083 2857.62/2865.37 c #Conflicts: 683000 | #Constraints: 28085 2857.62/2865.37 c #Conflicts: 684000 | #Constraints: 29091 2857.62/2865.37 c #Conflicts: 685000 | #Constraints: 30094 2857.62/2865.37 c #Conflicts: 686000 | #Constraints: 31094 2857.62/2865.37 c #Conflicts: 687000 | #Constraints: 32095 2857.62/2865.37 c #Conflicts: 688000 | #Constraints: 33101 2857.62/2865.37 c INPROCESSING 2857.62/2865.37 c GARBAGE COLLECT 2857.62/2865.37 c rational objective 3.09125e+06 2915.37/2923.24 c #Conflicts: 689000 | #Constraints: 17652 2915.37/2923.24 c #Conflicts: 690000 | #Constraints: 18653 2915.37/2923.24 c #Conflicts: 691000 | #Constraints: 19656 2915.37/2923.24 c #Conflicts: 692000 | #Constraints: 20660 2915.37/2923.24 c #Conflicts: 693000 | #Constraints: 21661 2915.37/2923.24 c #Conflicts: 694000 | #Constraints: 22661 2915.37/2923.24 c #Conflicts: 695000 | #Constraints: 23667 2915.37/2923.24 c #Conflicts: 696000 | #Constraints: 24668 2915.37/2923.24 c #Conflicts: 697000 | #Constraints: 25673 2915.37/2923.24 c #Conflicts: 698000 | #Constraints: 26674 2915.37/2923.24 c #Conflicts: 699000 | #Constraints: 27676 2915.37/2923.24 c #Conflicts: 700000 | #Constraints: 28679 2915.37/2923.24 c #Conflicts: 701000 | #Constraints: 29683 2915.37/2923.24 c #Conflicts: 702000 | #Constraints: 30686 2915.37/2923.24 c #Conflicts: 703000 | #Constraints: 31690 2915.37/2923.24 c #Conflicts: 704000 | #Constraints: 32690 2915.37/2923.24 c #Conflicts: 705000 | #Constraints: 33697 2915.37/2923.24 c INPROCESSING 2915.37/2923.24 c GARBAGE COLLECT 2915.37/2923.24 c rational objective 3.09159e+06 2985.60/2993.64 c #Conflicts: 706000 | #Constraints: 18070 2985.60/2993.64 c #Conflicts: 707000 | #Constraints: 19076 2985.60/2993.64 c #Conflicts: 708000 | #Constraints: 20080 2985.60/2993.64 c #Conflicts: 709000 | #Constraints: 21084 2985.60/2993.64 c #Conflicts: 710000 | #Constraints: 22086 2985.60/2993.64 c #Conflicts: 711000 | #Constraints: 23089 2985.60/2993.64 c #Conflicts: 712000 | #Constraints: 24092 2985.60/2993.64 c #Conflicts: 713000 | #Constraints: 25093 2985.60/2993.64 c #Conflicts: 714000 | #Constraints: 26097 2985.60/2993.64 c #Conflicts: 715000 | #Constraints: 27099 2985.60/2993.64 c #Conflicts: 716000 | #Constraints: 28100 2985.60/2993.64 c #Conflicts: 717000 | #Constraints: 29104 2985.60/2993.64 c #Conflicts: 718000 | #Constraints: 30108 2985.60/2993.64 c #Conflicts: 719000 | #Constraints: 31109 2985.60/2993.64 c #Conflicts: 720000 | #Constraints: 32113 2985.60/2993.64 c #Conflicts: 721000 | #Constraints: 33115 2985.60/2993.64 c #Conflicts: 722000 | #Constraints: 34120 2985.60/2993.64 c INPROCESSING 2985.60/2993.64 c GARBAGE COLLECT 2985.60/2993.64 c rational objective 3.09159e+06 3087.03/3095.36 c #Conflicts: 723000 | #Constraints: 18275 3087.03/3095.36 c #Conflicts: 724000 | #Constraints: 19277 3087.03/3095.36 c #Conflicts: 725000 | #Constraints: 20279 3087.03/3095.36 c #Conflicts: 726000 | #Constraints: 21284 3087.03/3095.36 c #Conflicts: 727000 | #Constraints: 22289 3087.03/3095.36 c #Conflicts: 728000 | #Constraints: 23292 3087.03/3095.36 c #Conflicts: 729000 | #Constraints: 24295 3087.03/3095.36 c #Conflicts: 730000 | #Constraints: 25299 3087.03/3095.36 c #Conflicts: 731000 | #Constraints: 26301 3087.03/3095.36 c #Conflicts: 732000 | #Constraints: 27305 3087.03/3095.36 c #Conflicts: 733000 | #Constraints: 28308 3087.03/3095.36 c #Conflicts: 734000 | #Constraints: 29311 3087.03/3095.36 c #Conflicts: 735000 | #Constraints: 30312 3087.03/3095.36 c #Conflicts: 736000 | #Constraints: 31318 3087.03/3095.36 c #Conflicts: 737000 | #Constraints: 32319 3087.03/3095.36 c #Conflicts: 738000 | #Constraints: 33322 3087.03/3095.36 c #Conflicts: 739000 | #Constraints: 34325 3087.03/3095.36 c INPROCESSING 3087.03/3095.36 c GARBAGE COLLECT 3087.03/3095.36 c rational objective 3.09159e+06 3174.81/3183.37 c #Conflicts: 740000 | #Constraints: 18272 3174.81/3183.37 c #Conflicts: 741000 | #Constraints: 19275 3174.81/3183.37 c #Conflicts: 742000 | #Constraints: 20280 3174.81/3183.37 c #Conflicts: 743000 | #Constraints: 21282 3174.81/3183.37 c #Conflicts: 744000 | #Constraints: 22286 3174.81/3183.37 c #Conflicts: 745000 | #Constraints: 23287 3174.81/3183.37 c #Conflicts: 746000 | #Constraints: 24287 3174.81/3183.37 c #Conflicts: 747000 | #Constraints: 25289 3174.81/3183.37 c #Conflicts: 748000 | #Constraints: 26293 3174.81/3183.37 c #Conflicts: 749000 | #Constraints: 27298 3174.81/3183.37 c #Conflicts: 750000 | #Constraints: 28302 3174.81/3183.37 c #Conflicts: 751000 | #Constraints: 29305 3174.81/3183.37 c #Conflicts: 752000 | #Constraints: 30306 3174.81/3183.37 c #Conflicts: 753000 | #Constraints: 31311 3174.81/3183.37 c bounds 4261888 >= 0 @ 3105.71 3174.81/3183.37 c #Conflicts: 754000 | #Constraints: 32314 3174.81/3183.37 c #Conflicts: 755000 | #Constraints: 33316 3174.81/3183.37 c #Conflicts: 756000 | #Constraints: 34320 3174.81/3183.37 c INPROCESSING 3174.81/3183.37 c GARBAGE COLLECT 3174.81/3183.37 c rational objective 3.09159e+06 3225.78/3234.41 c #Conflicts: 757000 | #Constraints: 18069 3225.78/3234.41 c #Conflicts: 758000 | #Constraints: 19073 3225.78/3234.41 c #Conflicts: 759000 | #Constraints: 20076 3225.78/3234.41 c #Conflicts: 760000 | #Constraints: 21079 3225.78/3234.41 c #Conflicts: 761000 | #Constraints: 22083 3225.78/3234.41 c #Conflicts: 762000 | #Constraints: 23087 3225.78/3234.41 c #Conflicts: 763000 | #Constraints: 24091 3225.78/3234.41 c #Conflicts: 764000 | #Constraints: 25092 3225.78/3234.41 c #Conflicts: 765000 | #Constraints: 26095 3225.78/3234.41 c #Conflicts: 766000 | #Constraints: 27098 3225.78/3234.41 c #Conflicts: 767000 | #Constraints: 28102 3225.78/3234.41 c #Conflicts: 768000 | #Constraints: 29106 3225.78/3234.41 c #Conflicts: 769000 | #Constraints: 30108 3225.78/3234.41 c #Conflicts: 770000 | #Constraints: 31112 3225.78/3234.41 c #Conflicts: 771000 | #Constraints: 32115 3225.78/3234.41 c #Conflicts: 772000 | #Constraints: 33118 3225.78/3234.41 c #Conflicts: 773000 | #Constraints: 34122 3225.78/3234.41 c #Conflicts: 774000 | #Constraints: 35126 3225.78/3234.41 c INPROCESSING 3225.78/3234.41 c GARBAGE COLLECT 3225.78/3234.41 c rational objective 3.0916e+06 3600.06/3609.73 c #Conflicts: 775000 | #Constraints: 18669 3600.06/3609.73 c #Conflicts: 776000 | #Constraints: 19669 3600.06/3609.73 c #Conflicts: 777000 | #Constraints: 20671 3600.06/3609.73 c #Conflicts: 778000 | #Constraints: 21671 3600.06/3609.73 c #Conflicts: 779000 | #Constraints: 22671 3600.06/3609.73 c #Conflicts: 780000 | #Constraints: 23671 3600.06/3609.73 c #Conflicts: 781000 | #Constraints: 24671 3600.06/3609.73 c #Conflicts: 782000 | #Constraints: 25674 3600.06/3609.73 c #Conflicts: 783000 | #Constraints: 26675 3600.06/3609.73 c #Conflicts: 784000 | #Constraints: 27677 3600.06/3609.73 c #Conflicts: 785000 | #Constraints: 28681 3600.06/3609.73 c #Conflicts: 786000 | #Constraints: 29681 3600.06/3609.73 c #Conflicts: 787000 | #Constraints: 30681 3600.06/3609.73 c #Conflicts: 788000 | #Constraints: 31684 3600.06/3609.73 c #Conflicts: 789000 | #Constraints: 32685 3600.06/3609.73 c Program interrupted by user. 3600.06/3609.73 c cpu time 3537.27 s 3600.06/3609.73 c deterministic time 414245791669 4.14e+11 3600.06/3609.73 c optimization time 372.726 s 3600.06/3609.73 c total solve time 3164.28 s 3600.06/3609.73 c core-guided solve time 1837.31 s 3600.06/3609.73 c propagation time 2184.85 s 3600.06/3609.73 c conflict analysis time 1203.99 s 3600.06/3609.73 c propagations 455895305 3600.06/3609.73 c resolve steps 8600007 3600.06/3609.73 c decisions 11493338 3600.06/3609.73 c conflicts 789834 3600.06/3609.73 c restarts 1665 3600.06/3609.73 c inprocessing phases 79 3600.06/3609.73 c input clauses 0 3600.06/3609.73 c input cardinalities 0 3600.06/3609.73 c input general constraints 848 3600.06/3609.73 c input average constraint length 2440.33 3600.06/3609.73 c input average constraint degree 360621843.41 3600.06/3609.73 c learned clauses 374463 3600.06/3609.73 c learned cardinalities 54 3600.06/3609.73 c learned general constraints 417927 3600.06/3609.73 c learned average constraint length 1470.03 3600.06/3609.73 c learned average constraint degree 6079130189.54 3600.06/3609.73 c watched constraints 413035 3600.06/3609.73 c counting constraints 5740 3600.06/3609.73 c gcd simplifications 99768 3600.06/3609.73 c detected cardinalities 43 3600.06/3609.73 c weakened non-implied lits 247093471 3600.06/3609.73 c weakened non-implying lits 12385545 3600.06/3609.73 c original variables 7812 3600.06/3609.73 c clausal propagations 1200552 3600.06/3609.73 c cardinality propagations 108 3600.06/3609.73 c watched propagations 110143795 3600.06/3609.73 c counting propagations 342769992 3600.06/3609.73 c watch lookups 24099834085 3600.06/3609.73 c watch backjump lookups 20469124814 3600.06/3609.73 c watch checks 319287487506 3600.06/3609.73 c propagation checks 41625588679 3600.06/3609.73 c constraint additions 7827293373 3600.06/3609.73 c trail pops 468168230 3600.06/3609.73 c formula constraints 316 3600.06/3609.73 c learned constraints 787222 3600.06/3609.73 c bound constraints 532 3600.06/3609.73 c core-guided constraints 0 3600.06/3609.73 c encountered formula constraints 4936101 3600.06/3609.73 c encountered learned constraints 3791298 3600.06/3609.73 c encountered bound constraints 33763 3600.06/3609.73 c encountered core-guided constraints 0 3600.06/3609.73 c LP total time 78.4559 s 3600.06/3609.73 c LP solve time 58.22 s 3600.06/3609.73 c LP constraints added 1918 3600.06/3609.73 c LP constraints removed 1515 3600.06/3609.73 c LP pivots internal 789905 3600.06/3609.73 c LP pivots root 116433 3600.06/3609.73 c LP calls 4653 3600.06/3609.73 c LP optimalities 2021 3600.06/3609.73 c LP no pivot count 202 3600.06/3609.73 c LP infeasibilities 2628 3600.06/3609.73 c LP valid Farkas constraints 2611 3600.06/3609.73 c LP learned Farkas constraints 2611 3600.06/3609.73 c LP basis resets 19 3600.06/3609.73 c LP cycling count 0 3600.06/3609.73 c LP singular count 2 3600.06/3609.73 c LP no primal count 0 3600.06/3609.73 c LP no farkas count 17 3600.06/3609.73 c LP other issue count 0 3600.06/3609.73 c LP Gomory cuts 0 3600.06/3609.73 c LP learned cuts 1602 3600.06/3609.73 c LP deleted cuts 1515 3600.06/3609.73 c LP encountered Gomory constraints 0 3600.06/3609.73 c LP encountered Farkas constraints 589293 3600.06/3609.73 c LP encountered learned Farkas constraints 36775 3600.06/3609.73 c CG auxiliary variables introduced 0 3600.06/3609.73 c CG solutions found 532 3600.06/3609.73 c CG cores constructed 0 3600.06/3609.73 c CG core cardinality constraints returned 0 3600.06/3609.73 c CG unit cores 0 3600.06/3609.73 c CG single cores 0 3600.06/3609.73 c CG blocks removed during cardinality reduction 0 3600.06/3609.73 c CG first core best 0 3600.06/3609.73 c CG decision core best 0 3600.06/3609.73 c CG core reduction tie 0 3600.06/3609.73 c CG core degree average 0.00 3600.06/3609.73 c CG core slack average 0.00 3600.06/3609.73 s SATISFIABLE 3600.06/3609.73 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 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 x7512 -x7513 -x7514 x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 x7585 -x7586 x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 x7646 x7647 -x7648 -x7649 -x7650 -x7651 x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 x7662 -x7663 -x7664 -x7665 -x7666 x7667 x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 x7675 -x7676 -x7677 -x7678 -x7679 x7680 -x7681 -x7682 x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 x7731 -x7732 -x7733 -x7734 -x7735 -x7736 x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 x7747 -x7748 -x7749 x7750 -x7751 x7752 x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 x7768 -x7769 -x7770 -x7771 -x7772 x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 x7797 -x7798 -x7799 x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 x7811 -x7812
OK 4261888
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 (53256 MiB free)
memory of node 1: 64473 MiB (52035 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456671-1721765643/watcher-4456671-1721765643 -o /tmp/evaluation-result-4456671-1721765643/solver-4456671-1721765643 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721765643-132586 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456671-1721765643 --lp-cut-gomory=0 HOME/instance-4456671-1721765643.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=132632, runsolver pid=132624
[startup+0.100157 s]*
/proc/loadavg: 2.27 2.17 2.11 7/265 132647
/proc/meminfo: memFree=107733024/131524600 swapFree=131071996/131071996
[pid=132632] ppid=132624 vsize=39496 memory=7500 CPUtime=0.08 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 1032 0 0 0 8 0 0 0 20 0 1 0 13087211 40443904 1875 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 9874 1875 1345 992 0 1732 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 39496 KiB
Current children cumulated memory: 7500 KiB
[startup+0.205919 s]*
/proc/loadavg: 2.27 2.17 2.11 5/265 132647
/proc/meminfo: memFree=107708548/131524600 swapFree=131071996/131071996
[pid=132632] ppid=132624 vsize=39636 memory=7500 CPUtime=0.2 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 1067 0 0 0 19 1 0 0 20 0 1 0 13087211 40587264 1875 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 9909 1875 1345 992 0 1767 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 7500 KiB
[startup+0.305603 s]*
/proc/loadavg: 2.27 2.17 2.11 6/265 132647
/proc/meminfo: memFree=107683416/131524600 swapFree=131071996/131071996
[pid=132632] ppid=132624 vsize=45172 memory=14844 CPUtime=0.29 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 2711 0 0 0 28 1 0 0 20 0 1 0 13087211 46256128 3711 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 11293 3711 1791 992 0 3151 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 45172 KiB
Current children cumulated memory: 14844 KiB
[startup+0.700211 s]
/proc/loadavg: 2.27 2.17 2.11 7/265 132647
/proc/meminfo: memFree=107634044/131524600 swapFree=131071996/131071996
[pid=132632] ppid=132624 vsize=49048 memory=19376 CPUtime=0.68 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 3783 0 0 0 64 4 0 0 20 0 1 0 13087211 50225152 4844 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 12262 4844 1874 992 0 4120 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49048 KiB
Current children cumulated memory: 19376 KiB
[startup+1.50022 s]
/proc/loadavg: 2.27 2.17 2.11 7/265 132647
/proc/meminfo: memFree=107502676/131524600 swapFree=131071996/131071996
[pid=132632] ppid=132624 vsize=51364 memory=24648 CPUtime=1.47 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 4563 0 0 0 141 6 0 0 20 0 1 0 13087211 52596736 6162 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 12841 6162 1890 992 0 4699 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 51364 KiB
Current children cumulated memory: 24648 KiB
[startup+3.10646 s]
/proc/loadavg: 2.27 2.17 2.11 6/265 132647
/proc/meminfo: memFree=107138452/131524600 swapFree=131071996/131071996
[pid=132632] ppid=132624 vsize=60928 memory=33484 CPUtime=3.08 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 5760 0 0 0 295 13 0 0 20 0 1 0 13087211 62390272 8371 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 15232 8371 1890 992 0 7090 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 60928 KiB
Current children cumulated memory: 33484 KiB
[startup+6.30021 s]
/proc/loadavg: 2.41 2.20 2.12 6/268 132650
/proc/meminfo: memFree=106703156/131524600 swapFree=131071996/131071996
[pid=132632] ppid=132624 vsize=76076 memory=48060 CPUtime=6.27 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 7868 0 0 0 603 24 0 0 20 0 1 0 13087211 77901824 12015 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 19019 12015 1890 992 0 10877 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 76076 KiB
Current children cumulated memory: 48060 KiB
[startup+12.7002 s]
/proc/loadavg: 2.54 2.23 2.13 6/268 132652
/proc/meminfo: memFree=105891160/131524600 swapFree=131071996/131071996
[pid=132632] ppid=132624 vsize=92460 memory=56592 CPUtime=12.64 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 9471 0 0 0 1220 44 0 0 20 0 1 0 13087211 94679040 14148 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 23115 14148 1890 992 0 14973 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 92460 KiB
Current children cumulated memory: 56592 KiB
[startup+25.5002 s]
/proc/loadavg: 2.86 2.32 2.16 6/268 132653
/proc/meminfo: memFree=104128128/131524600 swapFree=131071996/131071996
[pid=132632] ppid=132624 vsize=115540 memory=75632 CPUtime=25.41 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 10693 0 0 0 2456 85 0 0 20 0 1 0 13087211 118312960 18908 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 28885 18908 1890 992 0 20743 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 115540 KiB
Current children cumulated memory: 75632 KiB
[startup+51.1068 s]
/proc/loadavg: 3.32 2.47 2.22 6/268 132658
/proc/meminfo: memFree=102149464/131524600 swapFree=131071996/131071996
[pid=132632] ppid=132624 vsize=124828 memory=90976 CPUtime=50.93 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 13013 0 0 0 4939 154 0 0 20 0 1 0 13087211 127823872 22744 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 31207 22744 1890 992 0 23065 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 124828 KiB
Current children cumulated memory: 90976 KiB
[startup+102.3 s]
/proc/loadavg: 3.76 2.73 2.32 6/268 132666
/proc/meminfo: memFree=98547828/131524600 swapFree=131071996/131071996
[pid=132632] ppid=132624 vsize=161988 memory=113888 CPUtime=101.97 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 15177 0 0 0 9902 295 0 0 20 0 1 0 13087211 165875712 28472 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 40497 28472 1890 992 0 32355 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 161988 KiB
Current children cumulated memory: 113888 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 2.99 2.44 7/265 132677
/proc/meminfo: memFree=95202348/131524600 swapFree=131071996/131071996
[pid=132632] ppid=132624 vsize=169732 memory=136368 CPUtime=161.77 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 18579 0 0 0 15737 440 0 0 20 0 1 0 13087211 173805568 34092 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 42433 34092 1890 992 0 34291 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 169732 KiB
Current children cumulated memory: 136368 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 3.24 2.56 6/263 132687
/proc/meminfo: memFree=91896312/131524600 swapFree=131071996/131071996
[pid=132632] ppid=132624 vsize=176020 memory=142784 CPUtime=221.59 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 22736 0 0 0 21579 580 0 0 20 0 1 0 13087211 180244480 35696 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 44005 35696 1890 992 0 35863 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 176020 KiB
Current children cumulated memory: 142784 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 3.42 2.67 6/260 132698
/proc/meminfo: memFree=89106148/131524600 swapFree=131071996/131071996
[pid=132632] ppid=132624 vsize=238580 memory=164896 CPUtime=281.4 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 27550 0 0 0 27445 695 0 0 20 0 1 0 13087211 244305920 41224 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 59645 41224 1991 992 0 51503 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 238580 KiB
Current children cumulated memory: 164896 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 3.56 2.76 6/259 132708
/proc/meminfo: memFree=87179704/131524600 swapFree=131071996/131071996
[pid=132632] ppid=132624 vsize=257080 memory=230844 CPUtime=341.21 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 32331 0 0 0 33372 749 0 0 20 0 1 0 13087211 263249920 57711 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 64270 57711 1991 992 0 56128 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 257080 KiB
Current children cumulated memory: 230844 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.66 2.85 6/263 132724
/proc/meminfo: memFree=83910240/131524600 swapFree=131071996/131071996
[pid=132632] ppid=132624 vsize=259836 memory=233648 CPUtime=401.02 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 34041 0 0 0 39199 903 0 0 20 0 1 0 13087211 266072064 58412 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 64959 58412 1991 992 0 56817 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 259836 KiB
Current children cumulated memory: 233648 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.74 2.93 6/263 132735
/proc/meminfo: memFree=80057864/131524600 swapFree=131071996/131071996
[pid=132632] ppid=132624 vsize=263892 memory=237476 CPUtime=460.83 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 37061 0 0 0 45024 1059 0 0 20 0 1 0 13087211 270225408 59369 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 65973 59369 1991 992 0 57831 0
################
# More data... #
################
Current children cumulated memory: 531180 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.16 4.07 6/266 134379
/proc/meminfo: memFree=652740/131524600 swapFree=131071996/131071996
[pid=132632] ppid=132624 vsize=616760 memory=531180 CPUtime=2914.47 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 102967 0 0 0 286014 5433 0 0 20 0 1 0 13087211 631562240 132795 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 154190 132795 1991 992 0 146048 0
Current children cumulated CPU time: 2914.47 s
Current children cumulated vsize: 616760 KiB
Current children cumulated memory: 531180 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.14 4.07 6/266 134390
/proc/meminfo: memFree=641248/131524600 swapFree=131071996/131071996
[pid=132632] ppid=132624 vsize=619544 memory=533964 CPUtime=2974.32 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 104863 0 0 0 291892 5540 0 0 20 0 1 0 13087211 634413056 133491 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 154886 133491 1991 992 0 146744 0
Current children cumulated CPU time: 2974.32 s
Current children cumulated vsize: 619544 KiB
Current children cumulated memory: 533964 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.13 4.07 7/266 134400
/proc/meminfo: memFree=552852/131524600 swapFree=131071996/131071996
[pid=132632] ppid=132624 vsize=618764 memory=533184 CPUtime=3034.16 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 106007 0 0 0 297787 5629 0 0 20 0 1 0 13087211 633614336 133296 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 154691 133296 1991 992 0 146549 0
Current children cumulated CPU time: 3034.16 s
Current children cumulated vsize: 618764 KiB
Current children cumulated memory: 533184 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.07 6/265 134410
/proc/meminfo: memFree=587628/131524600 swapFree=131071996/131071996
[pid=132632] ppid=132624 vsize=618764 memory=533184 CPUtime=3094.01 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 106180 0 0 0 303698 5703 0 0 20 0 1 0 13087211 633614336 133296 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 154691 133296 1991 992 0 146549 0
Current children cumulated CPU time: 3094.01 s
Current children cumulated vsize: 618764 KiB
Current children cumulated memory: 533184 KiB
[startup+3162.3 s]
/proc/loadavg: 4.05 4.11 4.07 6/263 134421
/proc/meminfo: memFree=551388/131524600 swapFree=131071996/131071996
[pid=132632] ppid=132624 vsize=618764 memory=533184 CPUtime=3153.85 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 106255 0 0 0 309588 5797 0 0 20 0 1 0 13087211 633614336 133296 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 154691 133296 1991 992 0 146549 0
Current children cumulated CPU time: 3153.85 s
Current children cumulated vsize: 618764 KiB
Current children cumulated memory: 533184 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.07 6/259 134432
/proc/meminfo: memFree=643256/131524600 swapFree=131071984/131071996
[pid=132632] ppid=132624 vsize=618764 memory=533184 CPUtime=3213.71 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 106508 0 0 0 315449 5922 0 0 20 0 1 0 13087211 633614336 133296 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 154691 133296 1991 992 0 146549 0
Current children cumulated CPU time: 3213.71 s
Current children cumulated vsize: 618764 KiB
Current children cumulated memory: 533184 KiB
[startup+3282.3 s]
/proc/loadavg: 4.30 4.16 4.09 7/259 134443
/proc/meminfo: memFree=620456/131524600 swapFree=131071984/131071996
[pid=132632] ppid=132624 vsize=618764 memory=533184 CPUtime=3273.56 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 106745 0 0 0 321321 6035 0 0 20 0 1 0 13087211 633614336 133296 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 154691 133296 1991 992 0 146549 0
Current children cumulated CPU time: 3273.56 s
Current children cumulated vsize: 618764 KiB
Current children cumulated memory: 533184 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.09 6/260 134454
/proc/meminfo: memFree=547184/131524600 swapFree=131071984/131071996
[pid=132632] ppid=132624 vsize=618764 memory=533184 CPUtime=3333.4 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 106948 0 0 0 327233 6107 0 0 20 0 1 0 13087211 633614336 133296 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 154691 133296 1991 992 0 146549 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 618764 KiB
Current children cumulated memory: 533184 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.09 6/262 134469
/proc/meminfo: memFree=613264/131524600 swapFree=131071984/131071996
[pid=132632] ppid=132624 vsize=619388 memory=533684 CPUtime=3393.24 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 107311 0 0 0 333162 6162 0 0 20 0 1 0 13087211 634253312 133421 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 154847 133421 1991 992 0 146705 0
Current children cumulated CPU time: 3393.24 s
Current children cumulated vsize: 619388 KiB
Current children cumulated memory: 533684 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.09 6/262 134479
/proc/meminfo: memFree=486612/131524600 swapFree=131071984/131071996
[pid=132632] ppid=132624 vsize=622876 memory=539164 CPUtime=3453.07 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 108450 0 0 0 339115 6192 0 0 20 0 1 0 13087211 637825024 134791 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 155719 134791 1991 992 0 147577 0
Current children cumulated CPU time: 3453.07 s
Current children cumulated vsize: 622876 KiB
Current children cumulated memory: 539164 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/262 134490
/proc/meminfo: memFree=501572/131524600 swapFree=131071984/131071996
[pid=132632] ppid=132624 vsize=625820 memory=542024 CPUtime=3512.9 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 109393 0 0 0 345059 6231 0 0 20 0 1 0 13087211 640839680 135506 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 156455 135506 1991 992 0 148313 0
Current children cumulated CPU time: 3512.9 s
Current children cumulated vsize: 625820 KiB
Current children cumulated memory: 542024 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.11 4.09 6/262 134502
/proc/meminfo: memFree=564016/131524600 swapFree=131071984/131071996
[pid=132632] ppid=132624 vsize=631600 memory=547684 CPUtime=3572.73 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 111131 0 0 0 351009 6264 0 0 20 0 1 0 13087211 646758400 136921 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 157900 136921 1991 992 0 149758 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 631600 KiB
Current children cumulated memory: 547684 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.13 4.12 4.09 6/259 134522
/proc/meminfo: memFree=1302460/131524600 swapFree=131071984/131071996
[pid=132632] ppid=132624 vsize=638188 memory=559560 CPUtime=3600.06 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 112584 0 0 0 353726 6280 0 0 20 0 1 0 13087211 653504512 139890 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 159547 139890 1991 992 0 151405 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 638188 KiB
Current children cumulated memory: 559560 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.77 s]
# the end of solver process 132632 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3537.27 s, system=62.8086 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.13 4.12 4.09 6/259 134522
/proc/meminfo: memFree=1302460/131524600 swapFree=131071984/131071996
[pid=132632] ppid=132624 vsize=638188 memory=559560 CPUtime=3600.06 cores=1,3
/proc/132632/stat : 132632 (roundingsat) R 132624 132632 132574 0 -1 4194304 112584 0 0 0 353726 6280 0 0 20 0 1 0 13087211 653504512 139890 134679101440 4194304 8254037 140728959086192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 42426368 140728959091548 140728959091810 140728959091810 140728959098825 0
/proc/132632/statm: 159547 139890 1991 992 0 151405 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 638188 KiB
Current children cumulated memory: 559560 KiB
Child status: 0
Real time (s): 3609.77
CPU time (s): 3600.08
CPU user time (s): 3537.27
CPU system time (s): 62.8086
CPU usage (%): 99.7314
Max. virtual memory (cumulated for all children) (KiB): 638188
Max. memory (cumulated for all children) (KiB): 559560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3537.27
system time used= 62.8086
maximum resident set size= 559560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112594
page faults= 1
swaps= 0
block input operations= 3552
block output operations= 153474528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 436
involuntary context switches= 4881
# summary of solver processes directly reported to runsolver:
# pid: 132632
# total CPU time (s): 3600.08
# total CPU user time (s): 3537.27
# total CPU system time (s): 62.8086
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.73513 second user time and 19.8968 second system time
The end
Begin job on nodeC015 at 2024-07-23 22:14:03 IDJOB=4456671 IDBENCH=146763 IDSOLVER=3085 FILE ID=nodeC015/4456671-1721765643 RUNJOBID= nodeC015-1721765643-132586 SLURM_JOB_ID= 7770672 Free space on /tmp= 890084 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-4456671-1721765643/watcher-4456671-1721765643 -o /tmp/evaluation-result-4456671-1721765643/solver-4456671-1721765643 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721765643-132586 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456671-1721765643 --lp-cut-gomory=0 HOME/instance-4456671-1721765643.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5c8d8ce64a950076da07daccd75facb4 RANDOM SEED=2138154298 nodeC015.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 : 3491.924 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.37 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 : 3521.181 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.17 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 : 3593.659 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.37 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 : 3481.895 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.17 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 : 3545.226 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.37 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 : 3338.947 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.17 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 : 3564.596 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.37 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 : 3596.609 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.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 107825244 kB MemAvailable: 129680096 kB Buffers: 191544 kB Cached: 22392168 kB SwapCached: 0 kB Active: 1277844 kB Inactive: 21639824 kB Active(anon): 1472 kB Inactive(anon): 378480 kB Active(file): 1276372 kB Inactive(file): 21261344 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 24976 kB Writeback: 16 kB AnonPages: 333368 kB Mapped: 108140 kB Shmem: 45912 kB KReclaimable: 313920 kB Slab: 428268 kB SReclaimable: 313920 kB SUnreclaim: 114348 kB KernelStack: 4000 kB PageTables: 9592 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 653392 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20224 kB HardwareCorrupted: 0 kB AnonHugePages: 212992 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: 303828 kB DirectMap2M: 30926848 kB DirectMap1G: 104857600 kB Free space on /tmp at the end= 890052 MiB End job on nodeC015 at 2024-07-23 23:14:13