| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 326 | 3600.12 | 3610.94 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb |
| MD5SUM | 9792288b3bfa4387008e61c6fa17d472 |
| 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 | 245 |
| Best CPU time to get the best result obtained on this benchmark | 3558.03 |
| 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 | 10000 |
| Total number of constraints | 656900 |
| Number of constraints which are clauses | 656900 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 99 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 495293 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 99 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 495293 |
| Number of bits of the biggest sum of numbers | 19 |
| 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 3.18/3.21 c #variables 10000 #constraints 656900 5.17/5.23 c bounds - >= 0 @ 2.44605 5.17/5.23 c rational objective 185.072 19.43/19.51 c bounds 5925 >= 0 @ 5.31188 19.43/19.51 c bounds 5563 >= 0 @ 5.31845 19.43/19.51 c bounds 5557 >= 0 @ 5.3266 19.43/19.51 c bounds 5472 >= 0 @ 5.33772 19.43/19.51 c bounds 5087 >= 0 @ 5.34656 19.43/19.51 c bounds 5063 >= 0 @ 5.35236 19.43/19.51 c bounds 5049 >= 0 @ 5.36181 19.43/19.51 c bounds 5021 >= 0 @ 5.37014 19.43/19.51 c bounds 4992 >= 0 @ 5.37833 19.43/19.51 c bounds 4980 >= 0 @ 5.73662 19.43/19.51 c bounds 4969 >= 0 @ 5.74695 19.43/19.51 c bounds 4960 >= 0 @ 5.75446 19.43/19.51 c bounds 4787 >= 0 @ 5.76008 19.43/19.51 c bounds 4772 >= 0 @ 5.76689 19.43/19.51 c bounds 4518 >= 0 @ 5.77287 19.43/19.51 c bounds 4481 >= 0 @ 5.7808 19.43/19.51 c bounds 4401 >= 0 @ 5.78803 19.43/19.51 c bounds 4325 >= 0 @ 5.79534 19.43/19.51 c bounds 4321 >= 0 @ 5.80218 19.43/19.51 c bounds 4183 >= 0 @ 5.80977 19.43/19.51 c bounds 4175 >= 0 @ 5.82245 19.43/19.51 c bounds 4109 >= 0 @ 5.82899 19.43/19.51 c bounds 4098 >= 0 @ 5.83601 19.43/19.51 c bounds 4061 >= 0 @ 5.84637 19.43/19.51 c bounds 3983 >= 0 @ 5.85457 19.43/19.51 c bounds 3829 >= 0 @ 5.85991 19.43/19.51 c bounds 3826 >= 0 @ 5.94129 19.43/19.51 c bounds 3813 >= 0 @ 5.95474 19.43/19.51 c bounds 3781 >= 0 @ 5.97078 19.43/19.51 c bounds 3747 >= 0 @ 5.97926 19.43/19.51 c bounds 3745 >= 0 @ 5.98668 19.43/19.51 c bounds 3740 >= 0 @ 5.99542 19.43/19.51 c bounds 3737 >= 0 @ 6.18948 19.43/19.51 c bounds 3727 >= 0 @ 6.27388 19.43/19.51 c bounds 3689 >= 0 @ 6.3815 19.43/19.51 c bounds 3640 >= 0 @ 6.39306 19.43/19.51 c bounds 3635 >= 0 @ 6.40037 19.43/19.51 c bounds 3632 >= 0 @ 6.60338 19.43/19.51 c bounds 3581 >= 0 @ 6.60946 19.43/19.51 c bounds 3551 >= 0 @ 6.66766 19.43/19.51 c bounds 3484 >= 0 @ 6.67573 19.43/19.51 c bounds 3444 >= 0 @ 6.78505 19.43/19.51 c bounds 3439 >= 0 @ 6.79566 19.43/19.51 c bounds 3434 >= 0 @ 6.80152 19.43/19.51 c bounds 3414 >= 0 @ 6.94981 19.43/19.51 c bounds 3401 >= 0 @ 6.95842 19.43/19.51 c bounds 3367 >= 0 @ 7.0962 19.43/19.51 c bounds 3199 >= 0 @ 7.10483 19.43/19.51 c bounds 3191 >= 0 @ 7.10949 19.43/19.51 c bounds 3114 >= 0 @ 7.11508 19.43/19.51 c bounds 3093 >= 0 @ 7.40966 19.43/19.51 c bounds 3092 >= 0 @ 7.44544 19.43/19.51 c bounds 3079 >= 0 @ 7.46695 19.43/19.51 c bounds 3073 >= 0 @ 7.5032 19.43/19.51 c bounds 3067 >= 0 @ 7.5115 19.43/19.51 c bounds 3051 >= 0 @ 7.62138 19.43/19.51 c bounds 3029 >= 0 @ 7.63777 19.43/19.51 c bounds 3027 >= 0 @ 7.65069 19.43/19.51 c bounds 3010 >= 0 @ 7.7728 19.43/19.51 c bounds 2930 >= 0 @ 7.78097 19.43/19.51 c bounds 2894 >= 0 @ 7.87149 19.43/19.51 c bounds 2786 >= 0 @ 7.87912 19.43/19.51 c bounds 2785 >= 0 @ 7.98767 19.43/19.51 c bounds 2764 >= 0 @ 7.99332 19.43/19.51 c bounds 2761 >= 0 @ 8.00605 19.43/19.51 c bounds 2737 >= 0 @ 8.01374 19.43/19.51 c bounds 2715 >= 0 @ 8.06368 19.43/19.51 c bounds 2714 >= 0 @ 8.07076 19.43/19.51 c bounds 2708 >= 0 @ 8.0834 19.43/19.51 c bounds 2682 >= 0 @ 8.09914 19.43/19.51 c bounds 2631 >= 0 @ 8.10681 19.43/19.51 c bounds 2607 >= 0 @ 8.11836 19.43/19.51 c bounds 2586 >= 0 @ 8.12832 19.43/19.51 c bounds 2566 >= 0 @ 8.22809 19.43/19.51 c bounds 2508 >= 0 @ 8.23542 19.43/19.51 c bounds 2472 >= 0 @ 8.24592 19.43/19.51 c bounds 2449 >= 0 @ 8.25896 19.43/19.51 c bounds 2397 >= 0 @ 8.26707 19.43/19.51 c bounds 2367 >= 0 @ 8.2763 19.43/19.51 c bounds 2361 >= 0 @ 8.66826 19.43/19.51 c bounds 2338 >= 0 @ 8.68654 19.43/19.51 c bounds 2324 >= 0 @ 8.7012 19.43/19.51 c bounds 2314 >= 0 @ 8.71031 19.43/19.51 c bounds 2301 >= 0 @ 8.80626 19.43/19.51 c bounds 2286 >= 0 @ 8.81692 19.43/19.51 c bounds 2256 >= 0 @ 8.96549 19.43/19.51 c bounds 2168 >= 0 @ 8.9736 19.43/19.51 c bounds 2152 >= 0 @ 9.50012 19.43/19.51 c #Conflicts: 1000 | #Constraints: 658007 19.43/19.51 c bounds 2121 >= 0 @ 12.0032 19.43/19.51 c bounds 2119 >= 0 @ 12.0147 19.43/19.51 c bounds 2118 >= 0 @ 12.2626 19.43/19.51 c bounds 2117 >= 0 @ 12.2759 19.43/19.51 c bounds 2115 >= 0 @ 12.4543 19.43/19.51 c bounds 2111 >= 0 @ 12.8533 19.43/19.51 c bounds 2108 >= 0 @ 12.8893 19.43/19.51 c bounds 2107 >= 0 @ 13.0464 19.43/19.51 c bounds 2084 >= 0 @ 13.065 19.43/19.51 c bounds 2075 >= 0 @ 13.0866 19.43/19.51 c bounds 2064 >= 0 @ 13.2721 19.43/19.51 c bounds 2053 >= 0 @ 13.4531 19.43/19.51 c bounds 2047 >= 0 @ 13.6643 19.43/19.51 c bounds 2016 >= 0 @ 13.6796 19.43/19.51 c bounds 1987 >= 0 @ 13.8438 19.43/19.51 c bounds 1877 >= 0 @ 13.8549 19.43/19.51 c bounds 1868 >= 0 @ 13.8681 19.43/19.51 c bounds 1864 >= 0 @ 13.8902 19.43/19.51 c bounds 1851 >= 0 @ 13.9128 19.43/19.51 c bounds 1832 >= 0 @ 13.9252 19.43/19.51 c bounds 1830 >= 0 @ 15.4623 19.43/19.51 c bounds 1810 >= 0 @ 15.4812 19.43/19.51 c bounds 1802 >= 0 @ 15.499 19.43/19.51 c bounds 1789 >= 0 @ 15.5166 19.43/19.51 c bounds 1711 >= 0 @ 15.5309 19.43/19.51 c bounds 1709 >= 0 @ 15.6605 19.43/19.51 c bounds 1679 >= 0 @ 15.6762 19.43/19.51 c bounds 1642 >= 0 @ 15.6959 19.43/19.51 c bounds 1582 >= 0 @ 15.714 19.43/19.51 c bounds 1460 >= 0 @ 15.737 19.43/19.51 c bounds 1278 >= 0 @ 15.7555 19.43/19.51 c bounds 1275 >= 0 @ 15.7742 19.43/19.51 c bounds 1161 >= 0 @ 15.8141 19.43/19.51 c bounds 1078 >= 0 @ 15.8391 19.43/19.51 c bounds 1030 >= 0 @ 15.856 19.43/19.51 c bounds 962 >= 0 @ 15.9725 19.43/19.51 c bounds 957 >= 0 @ 15.9916 19.43/19.51 c #Conflicts: 2000 | #Constraints: 659067 19.43/19.51 c INPROCESSING 19.43/19.51 c GARBAGE COLLECT 19.43/19.51 c bounds 956 >= 0 @ 17.0728 19.43/19.51 c bounds 838 >= 0 @ 17.1018 19.43/19.51 c bounds 831 >= 0 @ 17.1131 19.43/19.51 c bounds 788 >= 0 @ 17.13 19.43/19.51 c bounds 782 >= 0 @ 17.1434 19.43/19.51 c bounds 774 >= 0 @ 17.1529 19.43/19.51 c bounds 703 >= 0 @ 17.5437 19.43/19.51 c bounds 697 >= 0 @ 17.5557 19.43/19.51 c bounds 689 >= 0 @ 17.5722 19.43/19.51 c bounds 679 >= 0 @ 17.5934 19.43/19.51 c bounds 672 >= 0 @ 17.6103 19.43/19.51 c bounds 669 >= 0 @ 17.6301 19.43/19.51 c bounds 663 >= 0 @ 17.7937 62.21/62.40 c bounds 659 >= 0 @ 17.849 62.21/62.40 c bounds 658 >= 0 @ 17.8642 62.21/62.40 c bounds 650 >= 0 @ 17.8843 62.21/62.40 c bounds 649 >= 0 @ 19.1017 62.21/62.40 c bounds 646 >= 0 @ 19.3467 62.21/62.40 c bounds 553 >= 0 @ 19.3627 62.21/62.40 c bounds 537 >= 0 @ 19.6031 62.21/62.40 c bounds 506 >= 0 @ 20.1884 62.21/62.40 c bounds 506 >= 8 @ 20.2045 62.21/62.40 c #Conflicts: 3000 | #Constraints: 658958 62.21/62.40 c bounds 451 >= 8 @ 20.3505 62.21/62.40 c #Conflicts: 4000 | #Constraints: 659959 62.21/62.40 c INPROCESSING 62.21/62.40 c GARBAGE COLLECT 62.21/62.40 c bounds 447 >= 8 @ 24.6683 62.21/62.40 c bounds 443 >= 8 @ 24.6808 62.21/62.40 c bounds 437 >= 8 @ 24.6979 62.21/62.40 c bounds 436 >= 8 @ 24.7876 62.21/62.40 c bounds 433 >= 8 @ 24.8018 62.21/62.40 c bounds 432 >= 8 @ 24.8147 62.21/62.40 c bounds 427 >= 8 @ 26.3912 62.21/62.40 c #Conflicts: 5000 | #Constraints: 659359 62.21/62.40 c bounds 424 >= 8 @ 34.2987 62.21/62.40 c #Conflicts: 6000 | #Constraints: 660365 62.21/62.40 c INPROCESSING 62.21/62.40 c GARBAGE COLLECT 62.21/62.40 c #Conflicts: 7000 | #Constraints: 659350 62.21/62.40 c #Conflicts: 8000 | #Constraints: 660350 62.21/62.40 c #Conflicts: 9000 | #Constraints: 661350 62.21/62.40 c INPROCESSING 62.21/62.40 c GARBAGE COLLECT 62.21/62.40 c rational objective 185.072 73.79/74.11 c #Conflicts: 10000 | #Constraints: 660042 73.79/74.11 c #Conflicts: 11000 | #Constraints: 661042 73.79/74.11 c #Conflicts: 12000 | #Constraints: 662042 73.79/74.11 c INPROCESSING 73.79/74.11 c GARBAGE COLLECT 73.79/74.11 c rational objective 185.778 89.14/89.41 c #Conflicts: 13000 | #Constraints: 660490 89.14/89.41 c #Conflicts: 14000 | #Constraints: 661490 89.14/89.41 c #Conflicts: 15000 | #Constraints: 662490 89.14/89.41 c INPROCESSING 89.14/89.41 c GARBAGE COLLECT 89.14/89.41 c rational objective 185.821 110.38/110.74 c bounds 421 >= 8 @ 88.7748 110.38/110.74 c bounds 421 >= 13 @ 88.7902 110.38/110.74 c #Conflicts: 16000 | #Constraints: 660730 110.38/110.74 c #Conflicts: 17000 | #Constraints: 661730 110.38/110.74 c bounds 421 >= 18 @ 98.3557 110.38/110.74 c #Conflicts: 18000 | #Constraints: 662736 110.38/110.74 c INPROCESSING 110.38/110.74 c GARBAGE COLLECT 110.38/110.74 c rational objective 185.936 231.15/231.88 c #Conflicts: 19000 | #Constraints: 660747 231.15/231.88 c #Conflicts: 20000 | #Constraints: 661747 231.15/231.88 c #Conflicts: 21000 | #Constraints: 662747 231.15/231.88 c INPROCESSING 231.15/231.88 c GARBAGE COLLECT 231.15/231.88 c #Conflicts: 22000 | #Constraints: 660565 231.15/231.88 c bounds 420 >= 18 @ 138.886 231.15/231.88 c bounds 420 >= 22 @ 138.911 231.15/231.88 c #Conflicts: 23000 | #Constraints: 661569 231.15/231.88 c #Conflicts: 24000 | #Constraints: 662571 231.15/231.88 c #Conflicts: 25000 | #Constraints: 663573 231.15/231.88 c INPROCESSING 231.15/231.88 c GARBAGE COLLECT 231.15/231.88 c #Conflicts: 26000 | #Constraints: 661159 231.15/231.88 c #Conflicts: 27000 | #Constraints: 662159 231.15/231.88 c #Conflicts: 28000 | #Constraints: 663160 231.15/231.88 c #Conflicts: 29000 | #Constraints: 664162 231.15/231.88 c INPROCESSING 231.15/231.88 c #Conflicts: 30000 | #Constraints: 661567 231.15/231.88 c #Conflicts: 31000 | #Constraints: 662579 231.15/231.88 c bounds 419 >= 22 @ 211.847 231.15/231.88 c #Conflicts: 32000 | #Constraints: 663586 231.15/231.88 c #Conflicts: 33000 | #Constraints: 664586 231.15/231.88 c INPROCESSING 231.15/231.88 c GARBAGE COLLECT 231.15/231.88 c rational objective 186.323 261.66/262.44 c #Conflicts: 34000 | #Constraints: 661768 261.66/262.44 c #Conflicts: 35000 | #Constraints: 662768 261.66/262.44 c #Conflicts: 36000 | #Constraints: 663768 261.66/262.44 c #Conflicts: 37000 | #Constraints: 664769 261.66/262.44 c INPROCESSING 261.66/262.44 c rational objective 186.328 289.47/290.31 c #Conflicts: 38000 | #Constraints: 661761 289.47/290.31 c #Conflicts: 39000 | #Constraints: 662761 289.47/290.31 c #Conflicts: 40000 | #Constraints: 663761 289.47/290.31 c #Conflicts: 41000 | #Constraints: 664761 289.47/290.31 c INPROCESSING 289.47/290.31 c GARBAGE COLLECT 289.47/290.31 c rational objective 186.328 335.14/336.12 c #Conflicts: 42000 | #Constraints: 661557 335.14/336.12 c #Conflicts: 43000 | #Constraints: 662557 335.14/336.12 c #Conflicts: 44000 | #Constraints: 663557 335.14/336.12 c #Conflicts: 45000 | #Constraints: 664557 335.14/336.12 c #Conflicts: 46000 | #Constraints: 665557 335.14/336.12 c INPROCESSING 335.14/336.12 c GARBAGE COLLECT 335.14/336.12 c #Conflicts: 47000 | #Constraints: 662154 335.14/336.12 c #Conflicts: 48000 | #Constraints: 663154 335.14/336.12 c #Conflicts: 49000 | #Constraints: 664154 335.14/336.12 c #Conflicts: 50000 | #Constraints: 665154 335.14/336.12 c #Conflicts: 51000 | #Constraints: 666154 335.14/336.12 c INPROCESSING 335.14/336.12 c GARBAGE COLLECT 335.14/336.12 c rational objective 186.328 370.19/371.35 c #Conflicts: 52000 | #Constraints: 662552 370.19/371.35 c #Conflicts: 53000 | #Constraints: 663552 370.19/371.35 c #Conflicts: 54000 | #Constraints: 664552 370.19/371.35 c #Conflicts: 55000 | #Constraints: 665552 370.19/371.35 c #Conflicts: 56000 | #Constraints: 666552 370.19/371.35 c INPROCESSING 370.19/371.35 c GARBAGE COLLECT 370.19/371.35 c rational objective 186.328 424.62/425.95 c #Conflicts: 57000 | #Constraints: 662763 424.62/425.95 c #Conflicts: 58000 | #Constraints: 663763 424.62/425.95 c #Conflicts: 59000 | #Constraints: 664763 424.62/425.95 c #Conflicts: 60000 | #Constraints: 665763 424.62/425.95 c #Conflicts: 61000 | #Constraints: 666763 424.62/425.95 c INPROCESSING 424.62/425.95 c GARBAGE COLLECT 424.62/425.95 c #Conflicts: 62000 | #Constraints: 662770 424.62/425.95 c #Conflicts: 63000 | #Constraints: 663770 424.62/425.95 c #Conflicts: 64000 | #Constraints: 664770 424.62/425.95 c #Conflicts: 65000 | #Constraints: 665770 424.62/425.95 c #Conflicts: 66000 | #Constraints: 666770 424.62/425.95 c INPROCESSING 424.62/425.95 c GARBAGE COLLECT 424.62/425.95 c rational objective 186.328 547.03/548.70 c #Conflicts: 67000 | #Constraints: 662566 547.03/548.70 c #Conflicts: 68000 | #Constraints: 663572 547.03/548.70 c #Conflicts: 69000 | #Constraints: 664585 547.03/548.70 c bounds 416 >= 22 @ 464.151 547.03/548.70 c bounds 416 >= 24 @ 464.192 547.03/548.70 c bounds 416 >= 26 @ 464.239 547.03/548.70 c bounds 416 >= 28 @ 464.294 547.03/548.70 c bounds 416 >= 30 @ 464.353 547.03/548.70 c bounds 416 >= 32 @ 464.407 547.03/548.70 c bounds 416 >= 34 @ 464.457 547.03/548.70 c bounds 416 >= 36 @ 464.531 547.03/548.70 c bounds 416 >= 38 @ 465.435 547.03/548.70 c #Conflicts: 70000 | #Constraints: 665638 547.03/548.70 c bounds 416 >= 40 @ 480.845 547.03/548.70 c #Conflicts: 71000 | #Constraints: 666656 547.03/548.70 c #Conflicts: 72000 | #Constraints: 667656 547.03/548.70 c INPROCESSING 547.03/548.70 c GARBAGE COLLECT 547.03/548.70 c rational objective 186.328 687.77/690.00 c #Conflicts: 73000 | #Constraints: 663245 687.77/690.00 c #Conflicts: 74000 | #Constraints: 664245 687.77/690.00 c #Conflicts: 75000 | #Constraints: 665245 687.77/690.00 c #Conflicts: 76000 | #Constraints: 666245 687.77/690.00 c #Conflicts: 77000 | #Constraints: 667245 687.77/690.00 c #Conflicts: 78000 | #Constraints: 668245 687.77/690.00 c INPROCESSING 687.77/690.00 c GARBAGE COLLECT 687.77/690.00 c rational objective 186.328 791.65/794.11 c #Conflicts: 79000 | #Constraints: 663662 791.65/794.11 c #Conflicts: 80000 | #Constraints: 664685 791.65/794.11 c #Conflicts: 81000 | #Constraints: 665699 791.65/794.11 c bounds 415 >= 40 @ 728.534 791.65/794.11 c bounds 414 >= 40 @ 733.849 791.65/794.11 c #Conflicts: 82000 | #Constraints: 666720 791.65/794.11 c bounds 409 >= 40 @ 734.795 791.65/794.11 c bounds 408 >= 40 @ 750.115 791.65/794.11 c #Conflicts: 83000 | #Constraints: 667743 791.65/794.11 c bounds 404 >= 40 @ 750.924 791.65/794.11 c bounds 402 >= 40 @ 753.018 791.65/794.11 c bounds 401 >= 40 @ 755.836 791.65/794.11 c bounds 396 >= 40 @ 756.626 791.65/794.11 c bounds 395 >= 40 @ 759.795 791.65/794.11 c #Conflicts: 84000 | #Constraints: 668761 791.65/794.11 c INPROCESSING 791.65/794.11 c GARBAGE COLLECT 791.65/794.11 c rational objective 186.328 916.31/919.22 c bounds 393 >= 40 @ 794.425 916.31/919.22 c bounds 393 >= 41 @ 794.454 916.31/919.22 c bounds 393 >= 42 @ 794.484 916.31/919.22 c bounds 393 >= 43 @ 794.518 916.31/919.22 c bounds 393 >= 44 @ 794.557 916.31/919.22 c bounds 393 >= 45 @ 794.593 916.31/919.22 c bounds 393 >= 46 @ 794.629 916.31/919.22 c bounds 393 >= 47 @ 794.669 916.31/919.22 c bounds 393 >= 48 @ 794.71 916.31/919.22 c bounds 393 >= 49 @ 794.746 916.31/919.22 c bounds 393 >= 50 @ 794.788 916.31/919.22 c bounds 393 >= 51 @ 794.83 916.31/919.22 c bounds 393 >= 52 @ 794.868 916.31/919.22 c bounds 393 >= 53 @ 794.922 916.31/919.22 c bounds 393 >= 54 @ 795.019 916.31/919.22 c bounds 393 >= 55 @ 795.114 916.31/919.22 c bounds 393 >= 56 @ 795.215 916.31/919.22 c bounds 393 >= 57 @ 795.289 916.31/919.22 c bounds 393 >= 58 @ 795.364 916.31/919.22 c bounds 393 >= 59 @ 795.437 916.31/919.22 c bounds 393 >= 60 @ 795.608 916.31/919.22 c bounds 393 >= 61 @ 795.905 916.31/919.22 c bounds 393 >= 62 @ 796.394 916.31/919.22 c bounds 393 >= 63 @ 801.017 916.31/919.22 c bounds 393 >= 64 @ 801.178 916.31/919.22 c bounds 393 >= 65 @ 801.665 916.31/919.22 c #Conflicts: 85000 | #Constraints: 664054 916.31/919.22 c bounds 393 >= 66 @ 802.087 916.31/919.22 c bounds 393 >= 67 @ 802.765 916.31/919.22 c bounds 393 >= 68 @ 803.752 916.31/919.22 c bounds 393 >= 69 @ 804.928 916.31/919.22 c bounds 393 >= 70 @ 805.994 916.31/919.22 c bounds 393 >= 71 @ 807.165 916.31/919.22 c bounds 393 >= 72 @ 808.937 916.31/919.22 c #Conflicts: 86000 | #Constraints: 665198 916.31/919.22 c bounds 393 >= 73 @ 811.502 916.31/919.22 c bounds 393 >= 74 @ 813.911 916.31/919.22 c #Conflicts: 87000 | #Constraints: 666246 916.31/919.22 c bounds 393 >= 75 @ 817.686 916.31/919.22 c bounds 393 >= 76 @ 822.143 916.31/919.22 c #Conflicts: 88000 | #Constraints: 667318 916.31/919.22 c bounds 393 >= 77 @ 841.444 916.31/919.22 c #Conflicts: 89000 | #Constraints: 668336 916.31/919.22 c #Conflicts: 90000 | #Constraints: 669336 916.31/919.22 c INPROCESSING 916.31/919.22 c GARBAGE COLLECT 916.31/919.22 c rational objective 186.328 994.79/997.94 c #Conflicts: 91000 | #Constraints: 664264 994.79/997.94 c bounds 393 >= 78 @ 915.275 994.79/997.94 c #Conflicts: 92000 | #Constraints: 665297 994.79/997.94 c #Conflicts: 93000 | #Constraints: 666297 994.79/997.94 c bounds 393 >= 79 @ 933.42 994.79/997.94 c #Conflicts: 94000 | #Constraints: 667333 994.79/997.94 c #Conflicts: 95000 | #Constraints: 668336 994.79/997.94 c #Conflicts: 96000 | #Constraints: 669344 994.79/997.94 c INPROCESSING 994.79/997.94 c GARBAGE COLLECT 994.79/997.94 c rational objective 186.328 1055.72/1059.09 c #Conflicts: 97000 | #Constraints: 664134 1055.72/1059.09 c #Conflicts: 98000 | #Constraints: 665134 1055.72/1059.09 c #Conflicts: 99000 | #Constraints: 666134 1055.72/1059.09 c bounds 393 >= 80 @ 1003.5 1055.72/1059.09 c #Conflicts: 100000 | #Constraints: 667165 1055.72/1059.09 c #Conflicts: 101000 | #Constraints: 668165 1055.72/1059.09 c #Conflicts: 102000 | #Constraints: 669165 1055.72/1059.09 c bounds 391 >= 80 @ 1026.19 1055.72/1059.09 c #Conflicts: 103000 | #Constraints: 670166 1055.72/1059.09 c INPROCESSING 1055.72/1059.09 c GARBAGE COLLECT 1055.72/1059.09 c rational objective 186.328 1127.42/1130.94 c #Conflicts: 104000 | #Constraints: 664769 1127.42/1130.94 c bounds 391 >= 81 @ 1054 1127.42/1130.94 c #Conflicts: 105000 | #Constraints: 665808 1127.42/1130.94 c bounds 389 >= 81 @ 1054.62 1127.42/1130.94 c bounds 388 >= 81 @ 1054.66 1127.42/1130.94 c #Conflicts: 106000 | #Constraints: 666810 1127.42/1130.94 c bounds 385 >= 81 @ 1066.1 1127.42/1130.94 c #Conflicts: 107000 | #Constraints: 667821 1127.42/1130.94 c bounds 385 >= 82 @ 1075.54 1127.42/1130.94 c #Conflicts: 108000 | #Constraints: 668851 1127.42/1130.94 c bounds 385 >= 83 @ 1089.86 1127.42/1130.94 c bounds 384 >= 83 @ 1093.58 1127.42/1130.94 c #Conflicts: 109000 | #Constraints: 669886 1127.42/1130.94 c bounds 381 >= 83 @ 1095.17 1127.42/1130.94 c #Conflicts: 110000 | #Constraints: 670889 1127.42/1130.94 c INPROCESSING 1127.42/1130.94 c GARBAGE COLLECT 1127.42/1130.94 c rational objective 186.333 1239.98/1243.88 c bounds 380 >= 83 @ 1112.72 1239.98/1243.88 c bounds 378 >= 83 @ 1112.74 1239.98/1243.88 c #Conflicts: 111000 | #Constraints: 665271 1239.98/1243.88 c #Conflicts: 112000 | #Constraints: 666271 1239.98/1243.88 c #Conflicts: 113000 | #Constraints: 667271 1239.98/1243.88 c #Conflicts: 114000 | #Constraints: 668271 1239.98/1243.88 c #Conflicts: 115000 | #Constraints: 669271 1239.98/1243.88 c #Conflicts: 116000 | #Constraints: 670287 1239.98/1243.88 c bounds 377 >= 83 @ 1206.1 1239.98/1243.88 c #Conflicts: 117000 | #Constraints: 671289 1239.98/1243.88 c INPROCESSING 1239.98/1243.88 c GARBAGE COLLECT 1239.98/1243.88 c rational objective 187 1314.26/1318.36 c bounds 377 >= 84 @ 1227.3 1314.26/1318.36 c #Conflicts: 118000 | #Constraints: 665488 1314.26/1318.36 c #Conflicts: 119000 | #Constraints: 666488 1314.26/1318.36 c bounds 377 >= 85 @ 1240.34 1314.26/1318.36 c #Conflicts: 120000 | #Constraints: 667524 1314.26/1318.36 c #Conflicts: 121000 | #Constraints: 668524 1314.26/1318.36 c bounds 377 >= 86 @ 1263.93 1314.26/1318.36 c #Conflicts: 122000 | #Constraints: 669554 1314.26/1318.36 c #Conflicts: 123000 | #Constraints: 670554 1314.26/1318.36 c #Conflicts: 124000 | #Constraints: 671554 1314.26/1318.36 c INPROCESSING 1314.26/1318.36 c GARBAGE COLLECT 1314.26/1318.36 c rational objective 187 1399.41/1403.73 c #Conflicts: 125000 | #Constraints: 665556 1399.41/1403.73 c #Conflicts: 126000 | #Constraints: 666556 1399.41/1403.73 c #Conflicts: 127000 | #Constraints: 667556 1399.41/1403.73 c #Conflicts: 128000 | #Constraints: 668556 1399.41/1403.73 c bounds 377 >= 87 @ 1333.94 1399.41/1403.73 c #Conflicts: 129000 | #Constraints: 669598 1399.41/1403.73 c #Conflicts: 130000 | #Constraints: 670598 1399.41/1403.73 c #Conflicts: 131000 | #Constraints: 671598 1399.41/1403.73 c INPROCESSING 1399.41/1403.73 c GARBAGE COLLECT 1399.41/1403.73 c rational objective 187 1499.23/1503.87 c #Conflicts: 132000 | #Constraints: 665400 1499.23/1503.87 c #Conflicts: 133000 | #Constraints: 666400 1499.23/1503.87 c #Conflicts: 134000 | #Constraints: 667400 1499.23/1503.87 c #Conflicts: 135000 | #Constraints: 668400 1499.23/1503.87 c #Conflicts: 136000 | #Constraints: 669400 1499.23/1503.87 c bounds 377 >= 88 @ 1441.49 1499.23/1503.87 c #Conflicts: 137000 | #Constraints: 670442 1499.23/1503.87 c #Conflicts: 138000 | #Constraints: 671442 1499.23/1503.87 c #Conflicts: 139000 | #Constraints: 672442 1499.23/1503.87 c INPROCESSING 1499.23/1503.87 c GARBAGE COLLECT 1499.23/1503.87 c rational objective 187 1743.98/1749.26 c #Conflicts: 140000 | #Constraints: 666051 1743.98/1749.26 c #Conflicts: 141000 | #Constraints: 667051 1743.98/1749.26 c #Conflicts: 142000 | #Constraints: 668051 1743.98/1749.26 c #Conflicts: 143000 | #Constraints: 669051 1743.98/1749.26 c #Conflicts: 144000 | #Constraints: 670051 1743.98/1749.26 c #Conflicts: 145000 | #Constraints: 671051 1743.98/1749.26 c #Conflicts: 146000 | #Constraints: 672051 1743.98/1749.26 c bounds 377 >= 89 @ 1571.17 1743.98/1749.26 c #Conflicts: 147000 | #Constraints: 673084 1743.98/1749.26 c INPROCESSING 1743.98/1749.26 c GARBAGE COLLECT 1743.98/1749.26 c rational objective 187 1898.87/1904.53 c bounds 372 >= 89 @ 1724.27 1898.87/1904.53 c #Conflicts: 148000 | #Constraints: 666458 1898.87/1904.53 c bounds 371 >= 89 @ 1734.72 1898.87/1904.53 c bounds 370 >= 89 @ 1739.14 1898.87/1904.53 c bounds 369 >= 89 @ 1739.54 1898.87/1904.53 c #Conflicts: 149000 | #Constraints: 667481 1898.87/1904.53 c bounds 367 >= 89 @ 1741.21 1898.87/1904.53 c bounds 366 >= 89 @ 1741.57 1898.87/1904.53 c #Conflicts: 150000 | #Constraints: 668507 1898.87/1904.53 c #Conflicts: 151000 | #Constraints: 669524 1898.87/1904.53 c #Conflicts: 152000 | #Constraints: 670541 1898.87/1904.53 c #Conflicts: 153000 | #Constraints: 671554 1898.87/1904.53 c #Conflicts: 154000 | #Constraints: 672574 1898.87/1904.53 c bounds 365 >= 89 @ 1850.89 1898.87/1904.53 c #Conflicts: 155000 | #Constraints: 673577 1898.87/1904.53 c INPROCESSING 1898.87/1904.53 c GARBAGE COLLECT 1898.87/1904.53 c rational objective 187 2009.16/2015.16 c #Conflicts: 156000 | #Constraints: 666728 2009.16/2015.16 c #Conflicts: 157000 | #Constraints: 667728 2009.16/2015.16 c #Conflicts: 158000 | #Constraints: 668728 2009.16/2015.16 c #Conflicts: 159000 | #Constraints: 669728 2009.16/2015.16 c #Conflicts: 160000 | #Constraints: 670728 2009.16/2015.16 c #Conflicts: 161000 | #Constraints: 671728 2009.16/2015.16 c #Conflicts: 162000 | #Constraints: 672728 2009.16/2015.16 c #Conflicts: 163000 | #Constraints: 673728 2009.16/2015.16 c INPROCESSING 2009.16/2015.16 c GARBAGE COLLECT 2009.16/2015.16 c rational objective 187 2116.96/2123.20 c #Conflicts: 164000 | #Constraints: 666711 2116.96/2123.20 c #Conflicts: 165000 | #Constraints: 667711 2116.96/2123.20 c #Conflicts: 166000 | #Constraints: 668711 2116.96/2123.20 c #Conflicts: 167000 | #Constraints: 669711 2116.96/2123.20 c #Conflicts: 168000 | #Constraints: 670711 2116.96/2123.20 c bounds 365 >= 90 @ 2049.34 2116.96/2123.20 c bounds 363 >= 90 @ 2049.46 2116.96/2123.20 c #Conflicts: 169000 | #Constraints: 671754 2116.96/2123.20 c #Conflicts: 170000 | #Constraints: 672763 2116.96/2123.20 c bounds 359 >= 90 @ 2064.26 2116.96/2123.20 c bounds 357 >= 90 @ 2064.46 2116.96/2123.20 c bounds 356 >= 90 @ 2066.68 2116.96/2123.20 c #Conflicts: 171000 | #Constraints: 673787 2116.96/2123.20 c bounds 355 >= 90 @ 2077.93 2116.96/2123.20 c bounds 354 >= 90 @ 2080.7 2116.96/2123.20 c INPROCESSING 2116.96/2123.20 c GARBAGE COLLECT 2116.96/2123.20 c rational objective 187 2251.22/2257.83 c bounds 353 >= 90 @ 2089.75 2251.22/2257.83 c #Conflicts: 172000 | #Constraints: 666549 2251.22/2257.83 c #Conflicts: 173000 | #Constraints: 667549 2251.22/2257.83 c #Conflicts: 174000 | #Constraints: 668549 2251.22/2257.83 c #Conflicts: 175000 | #Constraints: 669549 2251.22/2257.83 c bounds 352 >= 90 @ 2134.1 2251.22/2257.83 c #Conflicts: 176000 | #Constraints: 670550 2251.22/2257.83 c #Conflicts: 177000 | #Constraints: 671550 2251.22/2257.83 c #Conflicts: 178000 | #Constraints: 672550 2251.22/2257.83 c #Conflicts: 179000 | #Constraints: 673550 2251.22/2257.83 c #Conflicts: 180000 | #Constraints: 674550 2251.22/2257.83 c INPROCESSING 2251.22/2257.83 c GARBAGE COLLECT 2251.22/2257.83 c rational objective 187 2386.49/2393.47 c #Conflicts: 181000 | #Constraints: 667160 2386.49/2393.47 c #Conflicts: 182000 | #Constraints: 668160 2386.49/2393.47 c #Conflicts: 183000 | #Constraints: 669160 2386.49/2393.47 c #Conflicts: 184000 | #Constraints: 670160 2386.49/2393.47 c #Conflicts: 185000 | #Constraints: 671160 2386.49/2393.47 c #Conflicts: 186000 | #Constraints: 672160 2386.49/2393.47 c #Conflicts: 187000 | #Constraints: 673160 2386.49/2393.47 c bounds 352 >= 91 @ 2322.99 2386.49/2393.47 c #Conflicts: 188000 | #Constraints: 674205 2386.49/2393.47 c #Conflicts: 189000 | #Constraints: 675224 2386.49/2393.47 c INPROCESSING 2386.49/2393.47 c GARBAGE COLLECT 2386.49/2393.47 c rational objective 187 2669.09/2676.86 c bounds 351 >= 91 @ 2360.85 2669.09/2676.86 c bounds 350 >= 91 @ 2360.89 2669.09/2676.86 c #Conflicts: 190000 | #Constraints: 667605 2669.09/2676.86 c #Conflicts: 191000 | #Constraints: 668614 2669.09/2676.86 c #Conflicts: 192000 | #Constraints: 669625 2669.09/2676.86 c #Conflicts: 193000 | #Constraints: 670631 2669.09/2676.86 c #Conflicts: 194000 | #Constraints: 671643 2669.09/2676.86 c #Conflicts: 195000 | #Constraints: 672651 2669.09/2676.86 c #Conflicts: 196000 | #Constraints: 673662 2669.09/2676.86 c #Conflicts: 197000 | #Constraints: 674672 2669.09/2676.86 c #Conflicts: 198000 | #Constraints: 675682 2669.09/2676.86 c INPROCESSING 2669.09/2676.86 c GARBAGE COLLECT 2669.09/2676.86 c rational objective 187 2809.36/2817.51 c #Conflicts: 199000 | #Constraints: 667837 2809.36/2817.51 c #Conflicts: 200000 | #Constraints: 668837 2809.36/2817.51 c #Conflicts: 201000 | #Constraints: 669837 2809.36/2817.51 c #Conflicts: 202000 | #Constraints: 670837 2809.36/2817.51 c #Conflicts: 203000 | #Constraints: 671837 2809.36/2817.51 c #Conflicts: 204000 | #Constraints: 672837 2809.36/2817.51 c #Conflicts: 205000 | #Constraints: 673837 2809.36/2817.51 c #Conflicts: 206000 | #Constraints: 674837 2809.36/2817.51 c #Conflicts: 207000 | #Constraints: 675837 2809.36/2817.51 c INPROCESSING 2809.36/2817.51 c GARBAGE COLLECT 2809.36/2817.51 c rational objective 187 2959.80/2968.49 c #Conflicts: 208000 | #Constraints: 667815 2959.80/2968.49 c #Conflicts: 209000 | #Constraints: 668815 2959.80/2968.49 c #Conflicts: 210000 | #Constraints: 669815 2959.80/2968.49 c #Conflicts: 211000 | #Constraints: 670815 2959.80/2968.49 c #Conflicts: 212000 | #Constraints: 671815 2959.80/2968.49 c bounds 350 >= 92 @ 2852.16 2959.80/2968.49 c #Conflicts: 213000 | #Constraints: 672857 2959.80/2968.49 c #Conflicts: 214000 | #Constraints: 673857 2959.80/2968.49 c #Conflicts: 215000 | #Constraints: 674857 2959.80/2968.49 c #Conflicts: 216000 | #Constraints: 675857 2959.80/2968.49 c INPROCESSING 2959.80/2968.49 c GARBAGE COLLECT 2959.80/2968.49 c rational objective 187 3116.51/3125.69 c #Conflicts: 217000 | #Constraints: 667652 3116.51/3125.69 c #Conflicts: 218000 | #Constraints: 668652 3116.51/3125.69 c #Conflicts: 219000 | #Constraints: 669652 3116.51/3125.69 c #Conflicts: 220000 | #Constraints: 670652 3116.51/3125.69 c #Conflicts: 221000 | #Constraints: 671652 3116.51/3125.69 c #Conflicts: 222000 | #Constraints: 672652 3116.51/3125.69 c #Conflicts: 223000 | #Constraints: 673652 3116.51/3125.69 c #Conflicts: 224000 | #Constraints: 674652 3116.51/3125.69 c #Conflicts: 225000 | #Constraints: 675652 3116.51/3125.69 c #Conflicts: 226000 | #Constraints: 676652 3116.51/3125.69 c INPROCESSING 3116.51/3125.69 c GARBAGE COLLECT 3116.51/3125.69 c rational objective 187 3308.23/3317.95 c bounds 347 >= 92 @ 3076.48 3308.23/3317.95 c bounds 346 >= 92 @ 3078.75 3308.23/3317.95 c #Conflicts: 227000 | #Constraints: 668260 3308.23/3317.95 c #Conflicts: 228000 | #Constraints: 669268 3308.23/3317.95 c #Conflicts: 229000 | #Constraints: 670276 3308.23/3317.95 c #Conflicts: 230000 | #Constraints: 671283 3308.23/3317.95 c bounds 345 >= 92 @ 3144.86 3308.23/3317.95 c #Conflicts: 231000 | #Constraints: 672290 3308.23/3317.95 c #Conflicts: 232000 | #Constraints: 673290 3308.23/3317.95 c #Conflicts: 233000 | #Constraints: 674290 3308.23/3317.95 c #Conflicts: 234000 | #Constraints: 675290 3308.23/3317.95 c #Conflicts: 235000 | #Constraints: 676290 3308.23/3317.95 c #Conflicts: 236000 | #Constraints: 677290 3308.23/3317.95 c INPROCESSING 3308.23/3317.95 c GARBAGE COLLECT 3308.23/3317.95 c rational objective 187 3480.38/3490.60 c bounds 344 >= 92 @ 3265.25 3480.38/3490.60 c bounds 343 >= 92 @ 3265.39 3480.38/3490.60 c bounds 337 >= 92 @ 3265.47 3480.38/3490.60 c bounds 336 >= 92 @ 3274.87 3480.38/3490.60 c #Conflicts: 237000 | #Constraints: 668708 3480.38/3490.60 c #Conflicts: 238000 | #Constraints: 669720 3480.38/3490.60 c bounds 335 >= 92 @ 3296.61 3480.38/3490.60 c #Conflicts: 239000 | #Constraints: 670726 3480.38/3490.60 c #Conflicts: 240000 | #Constraints: 671726 3480.38/3490.60 c #Conflicts: 241000 | #Constraints: 672726 3480.38/3490.60 c #Conflicts: 242000 | #Constraints: 673726 3480.38/3490.60 c #Conflicts: 243000 | #Constraints: 674726 3480.38/3490.60 c #Conflicts: 244000 | #Constraints: 675726 3480.38/3490.60 c #Conflicts: 245000 | #Constraints: 676726 3480.38/3490.60 c #Conflicts: 246000 | #Constraints: 677726 3480.38/3490.60 c INPROCESSING 3480.38/3490.60 c GARBAGE COLLECT 3480.38/3490.60 c rational objective 187 3600.01/3610.63 c bounds 326 >= 92 @ 3439.32 3600.01/3610.63 c #Conflicts: 247000 | #Constraints: 668895 3600.01/3610.63 c #Conflicts: 248000 | #Constraints: 669908 3600.01/3610.63 c #Conflicts: 249000 | #Constraints: 670914 3600.01/3610.63 c #Conflicts: 250000 | #Constraints: 671923 3600.01/3610.63 c #Conflicts: 251000 | #Constraints: 672932 3600.01/3610.63 c Program interrupted by user. 3600.01/3610.63 c cpu time 3552.97 s 3600.01/3610.63 c deterministic time 477626364066 4.78e+11 3600.01/3610.63 c optimization time 114.787 s 3600.01/3610.63 c total solve time 3435.74 s 3600.01/3610.63 c core-guided solve time 2194.11 s 3600.01/3610.63 c propagation time 2012.22 s 3600.01/3610.63 c conflict analysis time 966.009 s 3600.01/3610.63 c propagations 81711402 3600.01/3610.63 c resolve steps 3792667 3600.01/3610.63 c decisions 14290909 3600.01/3610.63 c conflicts 251923 3600.01/3610.63 c restarts 587 3600.01/3610.63 c inprocessing phases 41 3600.01/3610.63 c input clauses 657187 3600.01/3610.63 c input cardinalities 65 3600.01/3610.63 c input general constraints 908 3600.01/3610.63 c input average constraint length 7.22 3600.01/3610.63 c input average constraint degree 154.45 3600.01/3610.63 c learned clauses 110656 3600.01/3610.63 c learned cardinalities 10 3600.01/3610.63 c learned general constraints 141960 3600.01/3610.63 c learned average constraint length 4177.65 3600.01/3610.63 c learned average constraint degree 80344633099.33 3600.01/3610.63 c watched constraints 27728 3600.01/3610.63 c counting constraints 115140 3600.01/3610.63 c gcd simplifications 3749 3600.01/3610.63 c detected cardinalities 0 3600.01/3610.63 c weakened non-implied lits 330834604 3600.01/3610.63 c weakened non-implying lits 80231 3600.01/3610.63 c original variables 10000 3600.01/3610.63 c clausal propagations 18624960 3600.01/3610.63 c cardinality propagations 122086 3600.01/3610.63 c watched propagations 3928791 3600.01/3610.63 c counting propagations 58172043 3600.01/3610.63 c watch lookups 19322885916 3600.01/3610.63 c watch backjump lookups 19127962935 3600.01/3610.63 c watch checks 175053356789 3600.01/3610.63 c propagation checks 258633156350 3600.01/3610.63 c constraint additions 5296370018 3600.01/3610.63 c trail pops 96243842 3600.01/3610.63 c formula constraints 656900 3600.01/3610.63 c learned constraints 251232 3600.01/3610.63 c bound constraints 269 3600.01/3610.63 c core-guided constraints 991 3600.01/3610.63 c encountered formula constraints 1991143 3600.01/3610.63 c encountered learned constraints 1516057 3600.01/3610.63 c encountered bound constraints 7422 3600.01/3610.63 c encountered core-guided constraints 482499 3600.01/3610.63 c LP total time 892.67 s 3600.01/3610.63 c LP solve time 865.21 s 3600.01/3610.63 c LP constraints added 656926 3600.01/3610.63 c LP constraints removed 21 3600.01/3610.63 c LP pivots internal 252033 3600.01/3610.63 c LP pivots root 133871 3600.01/3610.63 c LP calls 1265 3600.01/3610.63 c LP optimalities 563 3600.01/3610.63 c LP no pivot count 179 3600.01/3610.63 c LP infeasibilities 698 3600.01/3610.63 c LP valid Farkas constraints 697 3600.01/3610.63 c LP learned Farkas constraints 697 3600.01/3610.63 c LP basis resets 0 3600.01/3610.63 c LP cycling count 0 3600.01/3610.63 c LP singular count 0 3600.01/3610.63 c LP no primal count 0 3600.01/3610.63 c LP no farkas count 0 3600.01/3610.63 c LP other issue count 0 3600.01/3610.63 c LP Gomory cuts 0 3600.01/3610.63 c LP learned cuts 26 3600.01/3610.63 c LP deleted cuts 21 3600.01/3610.63 c LP encountered Gomory constraints 0 3600.01/3610.63 c LP encountered Farkas constraints 45160 3600.01/3610.63 c LP encountered learned Farkas constraints 1611 3600.01/3610.63 c CG auxiliary variables introduced 352 3600.01/3610.63 c CG solutions found 204 3600.01/3610.63 c CG cores constructed 65 3600.01/3610.63 c CG core cardinality constraints returned 0 3600.01/3610.63 c CG unit cores 0 3600.01/3610.63 c CG single cores 63 3600.01/3610.63 c CG blocks removed during cardinality reduction 0 3600.01/3610.63 c CG first core best 0 3600.01/3610.63 c CG decision core best 0 3600.01/3610.63 c CG core reduction tie 2 3600.01/3610.63 c CG core degree average 1.00 3600.01/3610.63 c CG core slack average 837.55 3600.01/3610.63 s SATISFIABLE 3600.01/3610.63 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 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000
OK 326
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: 64059 MiB (1175 MiB free)
memory of node 1: 64510 MiB (13804 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456764-1721772583/watcher-4456764-1721772583 -o /tmp/evaluation-result-4456764-1721772583/solver-4456764-1721772583 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721765593-124354 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456764-1721772583 --lp-cut-gomory=0 HOME/instance-4456764-1721772583.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
solver pid=129377, runsolver pid=129374
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 4.15 4.18 4.18 6/268 129378
/proc/meminfo: memFree=15333028/131655788 swapFree=131071472/131071996
[pid=129377] ppid=129374 vsize=40828 memory=9316 CPUtime=0.1 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 1526 0 0 0 8 2 0 0 20 0 1 0 13247903 41807872 2329 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 10207 2329 1394 992 0 2065 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 9316 KiB
[startup+0.213896 s]*
/proc/loadavg: 4.15 4.18 4.18 5/268 129378
/proc/meminfo: memFree=15327680/131655788 swapFree=131071472/131071996
[pid=129377] ppid=129374 vsize=40828 memory=11624 CPUtime=0.22 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 1559 0 0 0 17 5 0 0 20 0 1 0 13247903 41807872 2906 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 10207 2906 1394 992 0 2065 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 11624 KiB
[startup+0.313333 s]*
/proc/loadavg: 4.15 4.18 4.18 5/268 129378
/proc/meminfo: memFree=15324964/131655788 swapFree=131071472/131071996
[pid=129377] ppid=129374 vsize=41216 memory=11624 CPUtime=0.32 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 1598 0 0 0 25 7 0 0 20 0 1 0 13247903 42205184 2906 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 10304 2906 1394 992 0 2162 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 41216 KiB
Current children cumulated memory: 11624 KiB
[startup+0.700333 s]
/proc/loadavg: 4.15 4.18 4.18 5/268 129378
/proc/meminfo: memFree=15318328/131655788 swapFree=131071472/131071996
[pid=129377] ppid=129374 vsize=42660 memory=14000 CPUtime=0.68 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 2193 0 0 0 53 15 0 0 20 0 1 0 13247903 43683840 3500 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 10665 3500 1394 992 0 2523 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42660 KiB
Current children cumulated memory: 14000 KiB
[startup+1.50034 s]
/proc/loadavg: 4.15 4.18 4.18 5/268 129378
/proc/meminfo: memFree=15300068/131655788 swapFree=131071472/131071996
[pid=129377] ppid=129374 vsize=54080 memory=25960 CPUtime=1.48 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 4649 0 0 0 112 36 0 0 20 0 1 0 13247903 55377920 6490 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 13520 6490 1394 992 0 5378 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 54080 KiB
Current children cumulated memory: 25960 KiB
[startup+3.11432 s]
/proc/loadavg: 4.13 4.18 4.18 5/268 129378
/proc/meminfo: memFree=15146748/131655788 swapFree=131071472/131071996
[pid=129377] ppid=129374 vsize=191432 memory=160124 CPUtime=3.1 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 35022 0 0 0 236 74 0 0 20 0 1 0 13247903 196026368 40031 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 47858 40031 1681 992 0 39716 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 191432 KiB
Current children cumulated memory: 160124 KiB
[startup+6.30031 s]
/proc/loadavg: 4.13 4.18 4.18 5/268 129378
/proc/meminfo: memFree=14880252/131655788 swapFree=131071472/131071996
[pid=129377] ppid=129374 vsize=361148 memory=331984 CPUtime=6.27 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 60853 0 0 0 538 89 0 0 20 0 1 0 13247903 369815552 82996 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 90287 82996 1824 992 0 82145 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 361148 KiB
Current children cumulated memory: 331984 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.18 4.18 5/267 129379
/proc/meminfo: memFree=14605176/131655788 swapFree=131071472/131071996
[pid=129377] ppid=129374 vsize=423764 memory=359720 CPUtime=12.66 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 64753 0 0 0 1138 128 0 0 20 0 1 0 13247903 433934336 89930 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 105941 89930 1904 992 0 97799 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 423764 KiB
Current children cumulated memory: 359720 KiB
[startup+25.5004 s]
/proc/loadavg: 4.17 4.19 4.18 6/267 129381
/proc/meminfo: memFree=14071328/131655788 swapFree=131071472/131071996
[pid=129377] ppid=129374 vsize=466452 memory=428320 CPUtime=25.42 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 69758 0 0 0 2357 185 0 0 20 0 1 0 13247903 477646848 107080 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 116613 107080 1920 992 0 108471 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 466452 KiB
Current children cumulated memory: 428320 KiB
[startup+51.1142 s]
/proc/loadavg: 4.11 4.17 4.17 6/267 129676
/proc/meminfo: memFree=13336992/131655788 swapFree=131071472/131071996
[pid=129377] ppid=129374 vsize=588872 memory=544536 CPUtime=50.96 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 78450 0 0 0 4875 221 0 0 20 0 1 0 13247903 603004928 136134 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 147218 136134 1920 992 0 139076 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 588872 KiB
Current children cumulated memory: 544536 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/266 129686
/proc/meminfo: memFree=12705060/131655788 swapFree=131071472/131071996
[pid=129377] ppid=129374 vsize=783424 memory=647612 CPUtime=102 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 81778 0 0 0 9917 283 0 0 20 0 1 0 13247903 802226176 161903 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 195856 161903 1920 992 0 187714 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 783424 KiB
Current children cumulated memory: 647612 KiB
[startup+162.3 s]
/proc/loadavg: 4.42 4.22 4.19 5/268 129708
/proc/meminfo: memFree=11138624/131655788 swapFree=131071472/131071996
[pid=129377] ppid=129374 vsize=913776 memory=829016 CPUtime=161.83 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 106372 0 0 0 15809 374 0 0 20 0 1 0 13247903 935706624 207254 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 228444 207254 1920 992 0 220302 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 913776 KiB
Current children cumulated memory: 829016 KiB
[startup+222.3 s]
/proc/loadavg: 4.32 4.23 4.19 5/266 129718
/proc/meminfo: memFree=9685892/131655788 swapFree=131071472/131071996
[pid=129377] ppid=129374 vsize=1240496 memory=1137860 CPUtime=221.67 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 149485 0 0 0 21698 469 0 0 20 0 1 0 13247903 1270267904 284465 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 310124 284465 1920 992 0 301982 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 1240496 KiB
Current children cumulated memory: 1137860 KiB
[startup+282.3 s]
/proc/loadavg: 4.34 4.24 4.20 5/267 129869
/proc/meminfo: memFree=9444556/131655788 swapFree=131071472/131071996
[pid=129377] ppid=129374 vsize=1458868 memory=1153048 CPUtime=281.49 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 150342 0 0 0 27655 494 0 0 20 0 1 0 13247903 1493880832 288262 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 364717 288262 1920 992 0 356575 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 1458868 KiB
Current children cumulated memory: 1153048 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.21 4.19 5/268 129880
/proc/meminfo: memFree=8033724/131655788 swapFree=131071472/131071996
[pid=129377] ppid=129374 vsize=1458868 memory=1153060 CPUtime=341.3 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 150458 0 0 0 33582 548 0 0 20 0 1 0 13247903 1493880832 288265 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 364717 288265 1920 992 0 356575 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 1458868 KiB
Current children cumulated memory: 1153060 KiB
[startup+402.3 s]
/proc/loadavg: 4.36 4.26 4.20 5/267 129890
/proc/meminfo: memFree=6858860/131655788 swapFree=131071472/131071996
[pid=129377] ppid=129374 vsize=1476924 memory=1167376 CPUtime=401.1 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 152127 0 0 0 39511 599 0 0 20 0 1 0 13247903 1512370176 291844 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 369231 291844 1920 992 0 361089 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 1476924 KiB
Current children cumulated memory: 1167376 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.23 4.19 5/252 129902
/proc/meminfo: memFree=4941988/131655788 swapFree=131071472/131071996
[pid=129377] ppid=129374 vsize=1518756 memory=1219356 CPUtime=460.91 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 163358 0 0 0 45419 672 0 0 20 0 1 0 13247903 1555206144 304839 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 379689 304839 1920 992 0 371547 0
################
# More data... #
################
/proc/129377/statm: 694465 662158 1920 992 0 686323 0
Current children cumulated CPU time: 2913.84 s
Current children cumulated vsize: 2777860 KiB
Current children cumulated memory: 2648632 KiB
[startup+2982.3 s]
/proc/loadavg: 4.17 4.31 4.28 5/265 131650
/proc/meminfo: memFree=612600/131655788 swapFree=131065036/131071996
[pid=129377] ppid=129374 vsize=2786056 memory=2650952 CPUtime=2973.65 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 396679 0 0 0 293561 3804 0 0 20 0 1 0 13247903 2852921344 662738 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 696514 662738 1920 992 0 688372 0
Current children cumulated CPU time: 2973.65 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2650952 KiB
[startup+3042.3 s]
/proc/loadavg: 4.27 4.31 4.28 5/265 131664
/proc/meminfo: memFree=596104/131655788 swapFree=131065036/131071996
[pid=129377] ppid=129374 vsize=2786056 memory=2650952 CPUtime=3033.47 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 397601 0 0 0 299441 3906 0 0 20 0 1 0 13247903 2852921344 662738 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 696514 662738 1920 992 0 688372 0
Current children cumulated CPU time: 3033.47 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2650952 KiB
[startup+3102.3 s]
/proc/loadavg: 4.23 4.30 4.27 5/264 131688
/proc/meminfo: memFree=604188/131655788 swapFree=131065036/131071996
[pid=129377] ppid=129374 vsize=2786056 memory=2650952 CPUtime=3093.29 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 398614 0 0 0 305326 4003 0 0 20 0 1 0 13247903 2852921344 662738 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 696514 662738 1920 992 0 688372 0
Current children cumulated CPU time: 3093.29 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2650952 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.27 4.27 5/263 131699
/proc/meminfo: memFree=690160/131655788 swapFree=131065036/131071996
[pid=129377] ppid=129374 vsize=2786056 memory=2650952 CPUtime=3153.1 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 399724 0 0 0 311217 4093 0 0 20 0 1 0 13247903 2852921344 662738 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 696514 662738 1920 992 0 688372 0
Current children cumulated CPU time: 3153.1 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2650952 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.25 4.26 5/263 131709
/proc/meminfo: memFree=540328/131655788 swapFree=131065036/131071996
[pid=129377] ppid=129374 vsize=2786056 memory=2650952 CPUtime=3212.92 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 401076 0 0 0 317125 4167 0 0 20 0 1 0 13247903 2852921344 662738 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 696514 662738 1920 992 0 688372 0
Current children cumulated CPU time: 3212.92 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2650952 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.22 4.25 5/266 131727
/proc/meminfo: memFree=576312/131655788 swapFree=131065036/131071996
[pid=129377] ppid=129374 vsize=2786056 memory=2650952 CPUtime=3272.74 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 402275 0 0 0 323013 4261 0 0 20 0 1 0 13247903 2852921344 662738 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 696514 662738 1920 992 0 688372 0
Current children cumulated CPU time: 3272.74 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2650952 KiB
[startup+3342.3 s]
/proc/loadavg: 4.33 4.25 4.26 5/262 131740
/proc/meminfo: memFree=693584/131655788 swapFree=131065036/131071996
[pid=129377] ppid=129374 vsize=2786056 memory=2650968 CPUtime=3332.56 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 403631 0 0 0 328905 4351 0 0 20 0 1 0 13247903 2852921344 662742 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 696514 662742 1920 992 0 688372 0
Current children cumulated CPU time: 3332.56 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2650968 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.22 4.25 5/269 131760
/proc/meminfo: memFree=541004/131655788 swapFree=131065036/131071996
[pid=129377] ppid=129374 vsize=2786056 memory=2650968 CPUtime=3392.35 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 404723 0 0 0 334776 4459 0 0 20 0 1 0 13247903 2852921344 662742 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 696514 662742 1920 992 0 688372 0
Current children cumulated CPU time: 3392.35 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2650968 KiB
[startup+3462.3 s]
/proc/loadavg: 4.31 4.24 4.25 5/272 131773
/proc/meminfo: memFree=576316/131655788 swapFree=131065036/131071996
[pid=129377] ppid=129374 vsize=2786056 memory=2650968 CPUtime=3452.18 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 405938 0 0 0 340661 4557 0 0 20 0 1 0 13247903 2852921344 662742 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 696514 662742 1920 992 0 688372 0
Current children cumulated CPU time: 3452.18 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2650968 KiB
[startup+3522.3 s]
/proc/loadavg: 4.29 4.24 4.25 5/272 131783
/proc/meminfo: memFree=603520/131655788 swapFree=131065036/131071996
[pid=129377] ppid=129374 vsize=2786056 memory=2650968 CPUtime=3511.98 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 407007 0 0 0 346568 4630 0 0 20 0 1 0 13247903 2852921344 662742 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 696514 662742 1920 992 0 688372 0
Current children cumulated CPU time: 3511.98 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2650968 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.21 4.24 5/272 131794
/proc/meminfo: memFree=641748/131655788 swapFree=131065036/131071996
[pid=129377] ppid=129374 vsize=2786056 memory=2650968 CPUtime=3571.8 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 408197 0 0 0 352495 4685 0 0 20 0 1 0 13247903 2852921344 662742 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 696514 662742 1920 992 0 688372 0
Current children cumulated CPU time: 3571.8 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2650968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.15 4.21 4.24 5/272 131799
/proc/meminfo: memFree=589932/131655788 swapFree=131065036/131071996
[pid=129377] ppid=129374 vsize=2786056 memory=2650968 CPUtime=3600.01 cores=1,3
/proc/129377/stat : 129377 (roundingsat) R 129374 129377 124342 0 -1 4194304 408718 0 0 0 355296 4705 0 0 20 0 1 0 13247903 2852921344 662742 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 696514 662742 1920 992 0 688372 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2650968 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.94 s]
# the end of solver process 129377 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3552.99 s, system=47.1311 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.8 s]
/proc/loadavg: 4.15 4.21 4.24 5/272 131799
/proc/meminfo: memFree=589932/131655788 swapFree=131065036/131071996
[pid=129377] ppid=129374 vsize=2786056 memory=2650968 CPUtime=3600.07 cores=1,3
/proc/129377/stat : 129377 (roundingsat) D 129374 129377 124342 0 -1 4194304 408726 0 1 0 355298 4709 0 0 20 0 1 0 13247903 2852921344 662742 134679101440 4194304 8254037 140728847695008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 16 0 0 9037040 9046032 16154624 140728847696732 140728847696994 140728847696994 140728847704009 0
/proc/129377/statm: 696514 662742 1920 992 0 688372 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2650968 KiB
[startup+3610.9 s]*
/proc/loadavg: 4.15 4.21 4.24 5/272 131799
/proc/meminfo: memFree=2138576/131655788 swapFree=131065036/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3610.94
CPU time (s): 3600.12
CPU user time (s): 3552.99
CPU system time (s): 47.1311
CPU usage (%): 99.7004
Max. virtual memory (cumulated for all children) (KiB): 2786056
Max. memory (cumulated for all children) (KiB): 2650968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3552.99
system time used= 47.1311
maximum resident set size= 2650968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 408738
page faults= 1
swaps= 0
block input operations= 4232
block output operations= 98703576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7139
involuntary context switches= 4490
# summary of solver processes directly reported to runsolver:
# pid: 129377
# total CPU time (s): 3600.12
# total CPU user time (s): 3552.99
# total CPU system time (s): 47.1311
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.0237 second user time and 35.0779 second system time
The end
Begin job on nodeC010 at 2024-07-24 00:09:43 IDJOB=4456764 IDBENCH=147558 IDSOLVER=3085 FILE ID=nodeC010/4456764-1721772583 RUNJOBID= nodeC010-1721765593-124354 SLURM_JOB_ID= 7770665 Free space on /tmp= 723732 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_0.opb.PB06.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-4456764-1721772583/watcher-4456764-1721772583 -o /tmp/evaluation-result-4456764-1721772583/solver-4456764-1721772583 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721765593-124354 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456764-1721772583 --lp-cut-gomory=0 HOME/instance-4456764-1721772583.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9792288b3bfa4387008e61c6fa17d472 RANDOM SEED=76681830 nodeC010.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 : 0xb00001f cpu MHz : 3626.851 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.61 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 : 0xb00001f cpu MHz : 1636.524 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.28 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 : 0xb00001f cpu MHz : 1197.228 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.61 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 : 0xb00001f cpu MHz : 1241.509 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.28 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 : 0xb00001f cpu MHz : 3620.281 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.61 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 : 0xb00001f cpu MHz : 3564.907 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.28 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 : 0xb00001f cpu MHz : 1197.383 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.61 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 : 0xb00001f cpu MHz : 1197.218 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 15340620 kB MemAvailable: 126672608 kB Buffers: 184868 kB Cached: 111602988 kB SwapCached: 40 kB Active: 1171576 kB Inactive: 114057108 kB Active(anon): 1640 kB Inactive(anon): 3485092 kB Active(file): 1169936 kB Inactive(file): 110572016 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 144072 kB Writeback: 0 kB AnonPages: 3432204 kB Mapped: 109096 kB Shmem: 45780 kB KReclaimable: 651780 kB Slab: 763372 kB SReclaimable: 651780 kB SUnreclaim: 111592 kB KernelStack: 4320 kB PageTables: 16272 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 4117860 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18816 kB HardwareCorrupted: 0 kB AnonHugePages: 2512896 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: 357192 kB DirectMap2M: 46733312 kB DirectMap1G: 89128960 kB Free space on /tmp at the end= 723732 MiB End job on nodeC010 at 2024-07-24 01:09:55