| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 322 | 3600.18 | 3610.37 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb |
| MD5SUM | 41281aaad41c07f4dcd6eb689ad0db2a |
| 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 | 220 |
| Best CPU time to get the best result obtained on this benchmark | 3558.15 |
| 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 | 497468 |
| 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 | 497468 |
| 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.00/3.01 c #variables 10000 #constraints 656900 5.68/5.75 c bounds - >= 0 @ 2.29031 5.68/5.75 c rational objective 160.199 20.24/20.37 c bounds 6672 >= 0 @ 6.19178 20.24/20.37 c bounds 6653 >= 0 @ 6.19976 20.24/20.37 c bounds 6281 >= 0 @ 6.20544 20.24/20.37 c bounds 6185 >= 0 @ 6.21151 20.24/20.37 c bounds 6100 >= 0 @ 6.21785 20.24/20.37 c bounds 6097 >= 0 @ 6.22273 20.24/20.37 c bounds 5958 >= 0 @ 6.2296 20.24/20.37 c bounds 5892 >= 0 @ 6.23589 20.24/20.37 c bounds 5781 >= 0 @ 6.24115 20.24/20.37 c bounds 5769 >= 0 @ 6.25338 20.24/20.37 c bounds 5763 >= 0 @ 6.25993 20.24/20.37 c bounds 5728 >= 0 @ 6.26625 20.24/20.37 c bounds 5673 >= 0 @ 6.27199 20.24/20.37 c bounds 5637 >= 0 @ 6.27862 20.24/20.37 c bounds 5536 >= 0 @ 6.28432 20.24/20.37 c bounds 5381 >= 0 @ 6.2893 20.24/20.37 c bounds 5379 >= 0 @ 6.29631 20.24/20.37 c bounds 5378 >= 0 @ 6.30451 20.24/20.37 c bounds 5371 >= 0 @ 6.31179 20.24/20.37 c bounds 5253 >= 0 @ 6.31715 20.24/20.37 c bounds 5174 >= 0 @ 6.32384 20.24/20.37 c bounds 5096 >= 0 @ 6.32946 20.24/20.37 c bounds 5019 >= 0 @ 6.33425 20.24/20.37 c bounds 4958 >= 0 @ 6.34126 20.24/20.37 c bounds 4926 >= 0 @ 6.34658 20.24/20.37 c bounds 4772 >= 0 @ 6.35203 20.24/20.37 c bounds 4684 >= 0 @ 6.35955 20.24/20.37 c bounds 4641 >= 0 @ 6.38526 20.24/20.37 c bounds 4546 >= 0 @ 6.39102 20.24/20.37 c bounds 4503 >= 0 @ 6.39716 20.24/20.37 c bounds 4482 >= 0 @ 6.40608 20.24/20.37 c bounds 4440 >= 0 @ 6.41692 20.24/20.37 c bounds 4330 >= 0 @ 6.42324 20.24/20.37 c bounds 4325 >= 0 @ 6.42949 20.24/20.37 c bounds 4225 >= 0 @ 6.43466 20.24/20.37 c bounds 4161 >= 0 @ 6.44087 20.24/20.37 c bounds 4126 >= 0 @ 6.44693 20.24/20.37 c bounds 4049 >= 0 @ 6.45317 20.24/20.37 c bounds 3978 >= 0 @ 6.45857 20.24/20.37 c bounds 3918 >= 0 @ 6.46567 20.24/20.37 c bounds 3885 >= 0 @ 6.47321 20.24/20.37 c bounds 3859 >= 0 @ 6.47898 20.24/20.37 c bounds 3673 >= 0 @ 6.48723 20.24/20.37 c bounds 3649 >= 0 @ 6.50748 20.24/20.37 c bounds 3546 >= 0 @ 6.51575 20.24/20.37 c bounds 3542 >= 0 @ 6.52308 20.24/20.37 c bounds 3511 >= 0 @ 6.5333 20.24/20.37 c bounds 3461 >= 0 @ 6.54283 20.24/20.37 c bounds 3456 >= 0 @ 6.55642 20.24/20.37 c bounds 3242 >= 0 @ 6.56338 20.24/20.37 c bounds 3168 >= 0 @ 6.56914 20.24/20.37 c bounds 3120 >= 0 @ 6.59415 20.24/20.37 c bounds 3014 >= 0 @ 6.60514 20.24/20.37 c bounds 2965 >= 0 @ 6.61507 20.24/20.37 c bounds 2895 >= 0 @ 6.62426 20.24/20.37 c bounds 2880 >= 0 @ 6.62904 20.24/20.37 c bounds 2818 >= 0 @ 6.63633 20.24/20.37 c bounds 2798 >= 0 @ 6.6469 20.24/20.37 c bounds 2660 >= 0 @ 6.80588 20.24/20.37 c bounds 2657 >= 0 @ 6.81184 20.24/20.37 c bounds 2646 >= 0 @ 6.81823 20.24/20.37 c bounds 2629 >= 0 @ 6.82911 20.24/20.37 c bounds 2594 >= 0 @ 6.8368 20.24/20.37 c bounds 2593 >= 0 @ 6.84174 20.24/20.37 c bounds 2583 >= 0 @ 6.85232 20.24/20.37 c bounds 2572 >= 0 @ 6.86332 20.24/20.37 c bounds 2537 >= 0 @ 6.87113 20.24/20.37 c bounds 2521 >= 0 @ 6.88173 20.24/20.37 c bounds 2479 >= 0 @ 6.8881 20.24/20.37 c bounds 2441 >= 0 @ 6.8941 20.24/20.37 c bounds 2430 >= 0 @ 6.90548 20.24/20.37 c bounds 2393 >= 0 @ 6.90954 20.24/20.37 c bounds 2328 >= 0 @ 6.92138 20.24/20.37 c bounds 2295 >= 0 @ 6.93499 20.24/20.37 c bounds 2142 >= 0 @ 6.94152 20.24/20.37 c bounds 2121 >= 0 @ 6.94661 20.24/20.37 c bounds 2112 >= 0 @ 6.95533 20.24/20.37 c bounds 2108 >= 0 @ 6.96378 20.24/20.37 c bounds 2006 >= 0 @ 6.96996 20.24/20.37 c bounds 1989 >= 0 @ 7.09935 20.24/20.37 c bounds 1973 >= 0 @ 7.10415 20.24/20.37 c bounds 1926 >= 0 @ 7.10983 20.24/20.37 c bounds 1925 >= 0 @ 7.25318 20.24/20.37 c bounds 1916 >= 0 @ 7.39049 20.24/20.37 c bounds 1911 >= 0 @ 7.39685 20.24/20.37 c bounds 1905 >= 0 @ 7.50055 20.24/20.37 c bounds 1758 >= 0 @ 7.68885 20.24/20.37 c bounds 1741 >= 0 @ 7.69273 20.24/20.37 c bounds 1732 >= 0 @ 7.70104 20.24/20.37 c bounds 1709 >= 0 @ 7.705 20.24/20.37 c bounds 1708 >= 0 @ 7.71045 20.24/20.37 c bounds 1691 >= 0 @ 7.71573 20.24/20.37 c bounds 1682 >= 0 @ 7.72546 20.24/20.37 c bounds 1665 >= 0 @ 7.73062 20.24/20.37 c bounds 1664 >= 0 @ 7.73964 20.24/20.37 c bounds 1651 >= 0 @ 7.74894 20.24/20.37 c bounds 1636 >= 0 @ 7.75425 20.24/20.37 c bounds 1627 >= 0 @ 7.91111 20.24/20.37 c #Conflicts: 1000 | #Constraints: 658000 20.24/20.37 c bounds 1625 >= 0 @ 9.20725 20.24/20.37 c bounds 1623 >= 0 @ 9.425 20.24/20.37 c bounds 1606 >= 0 @ 9.85818 20.24/20.37 c bounds 1599 >= 0 @ 10.0403 20.24/20.37 c bounds 1575 >= 0 @ 10.3331 20.24/20.37 c bounds 1513 >= 0 @ 10.3428 20.24/20.37 c bounds 1394 >= 0 @ 10.6347 20.24/20.37 c bounds 1388 >= 0 @ 11.0401 20.24/20.37 c bounds 1387 >= 0 @ 11.0537 20.24/20.37 c bounds 1321 >= 0 @ 11.0652 20.24/20.37 c bounds 1232 >= 0 @ 11.1749 20.24/20.37 c bounds 1199 >= 0 @ 11.1863 20.24/20.37 c bounds 1187 >= 0 @ 11.2365 20.24/20.37 c bounds 1182 >= 0 @ 11.2513 20.24/20.37 c bounds 1180 >= 0 @ 11.3306 20.24/20.37 c bounds 1108 >= 0 @ 11.3422 20.24/20.37 c bounds 1043 >= 0 @ 11.3547 20.24/20.37 c bounds 941 >= 0 @ 11.5199 20.24/20.37 c bounds 938 >= 0 @ 11.5293 20.24/20.37 c bounds 923 >= 0 @ 11.5791 20.24/20.37 c bounds 919 >= 0 @ 11.5923 20.24/20.37 c bounds 906 >= 0 @ 11.6031 20.24/20.37 c bounds 904 >= 0 @ 11.6143 20.24/20.37 c bounds 874 >= 0 @ 11.6235 20.24/20.37 c bounds 866 >= 0 @ 11.7441 20.24/20.37 c bounds 860 >= 0 @ 11.9745 20.24/20.37 c bounds 859 >= 0 @ 12.2901 20.24/20.37 c #Conflicts: 2000 | #Constraints: 659040 20.24/20.37 c INPROCESSING 20.24/20.37 c GARBAGE COLLECT 20.24/20.37 c bounds 838 >= 0 @ 13.2269 20.24/20.37 c #Conflicts: 3000 | #Constraints: 658912 20.24/20.37 c bounds 811 >= 0 @ 16.0696 20.24/20.37 c bounds 800 >= 0 @ 16.407 20.24/20.37 c bounds 790 >= 0 @ 16.4226 20.24/20.37 c bounds 789 >= 0 @ 16.5047 20.24/20.37 c bounds 785 >= 0 @ 16.8065 20.24/20.37 c bounds 776 >= 0 @ 17.7981 20.24/20.37 c #Conflicts: 4000 | #Constraints: 659922 20.24/20.37 c bounds 650 >= 0 @ 18.4995 20.24/20.37 c INPROCESSING 20.24/20.37 c GARBAGE COLLECT 90.33/90.63 c bounds 599 >= 0 @ 22.0122 90.33/90.63 c #Conflicts: 5000 | #Constraints: 659312 90.33/90.63 c #Conflicts: 6000 | #Constraints: 660312 90.33/90.63 c bounds 518 >= 0 @ 24.9554 90.33/90.63 c bounds 514 >= 0 @ 24.9628 90.33/90.63 c bounds 507 >= 0 @ 25.3439 90.33/90.63 c bounds 503 >= 0 @ 25.3582 90.33/90.63 c bounds 501 >= 0 @ 26.5335 90.33/90.63 c INPROCESSING 90.33/90.63 c GARBAGE COLLECT 90.33/90.63 c #Conflicts: 7000 | #Constraints: 659321 90.33/90.63 c #Conflicts: 8000 | #Constraints: 660321 90.33/90.63 c #Conflicts: 9000 | #Constraints: 661321 90.33/90.63 c bounds 476 >= 0 @ 81.9448 90.33/90.63 c INPROCESSING 90.33/90.63 c GARBAGE COLLECT 90.33/90.63 c rational objective 160.199 106.88/107.28 c #Conflicts: 10000 | #Constraints: 660018 106.88/107.28 c #Conflicts: 11000 | #Constraints: 661018 106.88/107.28 c #Conflicts: 12000 | #Constraints: 662018 106.88/107.28 c INPROCESSING 106.88/107.28 c GARBAGE COLLECT 106.88/107.28 c rational objective 160.341 137.47/137.91 c bounds 473 >= 0 @ 104.887 137.47/137.91 c bounds 472 >= 0 @ 106.15 137.47/137.91 c #Conflicts: 13000 | #Constraints: 660490 137.47/137.91 c bounds 471 >= 0 @ 115.648 137.47/137.91 c #Conflicts: 14000 | #Constraints: 661493 137.47/137.91 c #Conflicts: 15000 | #Constraints: 662493 137.47/137.91 c INPROCESSING 137.47/137.91 c GARBAGE COLLECT 137.47/137.91 c #Conflicts: 16000 | #Constraints: 660713 137.47/137.91 c #Conflicts: 17000 | #Constraints: 661713 137.47/137.91 c #Conflicts: 18000 | #Constraints: 662713 137.47/137.91 c INPROCESSING 137.47/137.91 c GARBAGE COLLECT 137.47/137.91 c rational objective 160.419 152.73/153.29 c #Conflicts: 19000 | #Constraints: 660727 152.73/153.29 c #Conflicts: 20000 | #Constraints: 661727 152.73/153.29 c #Conflicts: 21000 | #Constraints: 662727 152.73/153.29 c INPROCESSING 152.73/153.29 c GARBAGE COLLECT 152.73/153.29 c rational objective 160.426 174.76/175.31 c bounds 469 >= 0 @ 150.298 174.76/175.31 c #Conflicts: 22000 | #Constraints: 660536 174.76/175.31 c bounds 468 >= 0 @ 155.11 174.76/175.31 c bounds 468 >= 6 @ 155.133 174.76/175.31 c #Conflicts: 23000 | #Constraints: 661547 174.76/175.31 c #Conflicts: 24000 | #Constraints: 662547 174.76/175.31 c #Conflicts: 25000 | #Constraints: 663547 174.76/175.31 c INPROCESSING 174.76/175.31 c GARBAGE COLLECT 174.76/175.31 c rational objective 160.471 198.09/198.73 c #Conflicts: 26000 | #Constraints: 661146 198.09/198.73 c #Conflicts: 27000 | #Constraints: 662146 198.09/198.73 c #Conflicts: 28000 | #Constraints: 663146 198.09/198.73 c #Conflicts: 29000 | #Constraints: 664146 198.09/198.73 c INPROCESSING 198.09/198.73 c GARBAGE COLLECT 198.09/198.73 c rational objective 160.476 300.80/301.72 c bounds 467 >= 6 @ 195.207 300.80/301.72 c bounds 461 >= 6 @ 195.264 300.80/301.72 c bounds 455 >= 6 @ 195.313 300.80/301.72 c bounds 452 >= 6 @ 197.373 300.80/301.72 c #Conflicts: 30000 | #Constraints: 661546 300.80/301.72 c #Conflicts: 31000 | #Constraints: 662546 300.80/301.72 c #Conflicts: 32000 | #Constraints: 663546 300.80/301.72 c #Conflicts: 33000 | #Constraints: 664546 300.80/301.72 c INPROCESSING 300.80/301.72 c GARBAGE COLLECT 300.80/301.72 c #Conflicts: 34000 | #Constraints: 661756 300.80/301.72 c #Conflicts: 35000 | #Constraints: 662763 300.80/301.72 c #Conflicts: 36000 | #Constraints: 663770 300.80/301.72 c #Conflicts: 37000 | #Constraints: 664780 300.80/301.72 c INPROCESSING 300.80/301.72 c GARBAGE COLLECT 300.80/301.72 c #Conflicts: 38000 | #Constraints: 661760 300.80/301.72 c #Conflicts: 39000 | #Constraints: 662760 300.80/301.72 c #Conflicts: 40000 | #Constraints: 663760 300.80/301.72 c #Conflicts: 41000 | #Constraints: 664760 300.80/301.72 c INPROCESSING 300.80/301.72 c GARBAGE COLLECT 300.80/301.72 c rational objective 160.476 326.24/327.21 c #Conflicts: 42000 | #Constraints: 661568 326.24/327.21 c #Conflicts: 43000 | #Constraints: 662568 326.24/327.21 c #Conflicts: 44000 | #Constraints: 663568 326.24/327.21 c #Conflicts: 45000 | #Constraints: 664568 326.24/327.21 c #Conflicts: 46000 | #Constraints: 665568 326.24/327.21 c INPROCESSING 326.24/327.21 c GARBAGE COLLECT 326.24/327.21 c rational objective 161.302 351.67/352.76 c #Conflicts: 47000 | #Constraints: 662162 351.67/352.76 c #Conflicts: 48000 | #Constraints: 663162 351.67/352.76 c #Conflicts: 49000 | #Constraints: 664162 351.67/352.76 c #Conflicts: 50000 | #Constraints: 665162 351.67/352.76 c #Conflicts: 51000 | #Constraints: 666162 351.67/352.76 c INPROCESSING 351.67/352.76 c GARBAGE COLLECT 351.67/352.76 c rational objective 161.667 376.71/377.87 c #Conflicts: 52000 | #Constraints: 662569 376.71/377.87 c #Conflicts: 53000 | #Constraints: 663569 376.71/377.87 c #Conflicts: 54000 | #Constraints: 664569 376.71/377.87 c #Conflicts: 55000 | #Constraints: 665569 376.71/377.87 c #Conflicts: 56000 | #Constraints: 666569 376.71/377.87 c INPROCESSING 376.71/377.87 c GARBAGE COLLECT 376.71/377.87 c rational objective 161.69 406.42/407.61 c #Conflicts: 57000 | #Constraints: 662773 406.42/407.61 c #Conflicts: 58000 | #Constraints: 663773 406.42/407.61 c #Conflicts: 59000 | #Constraints: 664773 406.42/407.61 c #Conflicts: 60000 | #Constraints: 665773 406.42/407.61 c #Conflicts: 61000 | #Constraints: 666773 406.42/407.61 c INPROCESSING 406.42/407.61 c GARBAGE COLLECT 406.42/407.61 c rational objective 161.699 438.44/439.78 c #Conflicts: 62000 | #Constraints: 662775 438.44/439.78 c #Conflicts: 63000 | #Constraints: 663775 438.44/439.78 c #Conflicts: 64000 | #Constraints: 664775 438.44/439.78 c #Conflicts: 65000 | #Constraints: 665775 438.44/439.78 c #Conflicts: 66000 | #Constraints: 666775 438.44/439.78 c INPROCESSING 438.44/439.78 c GARBAGE COLLECT 438.44/439.78 c rational objective 161.699 469.45/470.82 c #Conflicts: 67000 | #Constraints: 662584 469.45/470.82 c #Conflicts: 68000 | #Constraints: 663584 469.45/470.82 c #Conflicts: 69000 | #Constraints: 664584 469.45/470.82 c #Conflicts: 70000 | #Constraints: 665584 469.45/470.82 c #Conflicts: 71000 | #Constraints: 666584 469.45/470.82 c #Conflicts: 72000 | #Constraints: 667584 469.45/470.82 c INPROCESSING 469.45/470.82 c GARBAGE COLLECT 469.45/470.82 c rational objective 161.784 498.58/500.06 c #Conflicts: 73000 | #Constraints: 663175 498.58/500.06 c #Conflicts: 74000 | #Constraints: 664175 498.58/500.06 c #Conflicts: 75000 | #Constraints: 665175 498.58/500.06 c #Conflicts: 76000 | #Constraints: 666175 498.58/500.06 c #Conflicts: 77000 | #Constraints: 667175 498.58/500.06 c #Conflicts: 78000 | #Constraints: 668175 498.58/500.06 c INPROCESSING 498.58/500.06 c GARBAGE COLLECT 498.58/500.06 c rational objective 161.795 607.38/609.14 c #Conflicts: 79000 | #Constraints: 663574 607.38/609.14 c bounds 448 >= 6 @ 504.529 607.38/609.14 c bounds 448 >= 10 @ 504.565 607.38/609.14 c bounds 448 >= 14 @ 504.606 607.38/609.14 c bounds 448 >= 18 @ 504.673 607.38/609.14 c bounds 448 >= 22 @ 507.082 607.38/609.14 c #Conflicts: 80000 | #Constraints: 664601 607.38/609.14 c #Conflicts: 81000 | #Constraints: 665601 607.38/609.14 c #Conflicts: 82000 | #Constraints: 666601 607.38/609.14 c bounds 448 >= 26 @ 557.76 607.38/609.14 c #Conflicts: 83000 | #Constraints: 667616 607.38/609.14 c bounds 446 >= 26 @ 563.288 607.38/609.14 c bounds 444 >= 26 @ 565.349 607.38/609.14 c bounds 443 >= 26 @ 565.52 607.38/609.14 c bounds 442 >= 26 @ 565.711 607.38/609.14 c bounds 435 >= 26 @ 565.898 607.38/609.14 c bounds 433 >= 26 @ 566.085 607.38/609.14 c bounds 431 >= 26 @ 566.863 607.38/609.14 c #Conflicts: 84000 | #Constraints: 668638 607.38/609.14 c INPROCESSING 607.38/609.14 c GARBAGE COLLECT 607.38/609.14 c rational objective 161.797 735.52/737.60 c bounds 429 >= 26 @ 602.527 735.52/737.60 c bounds 426 >= 26 @ 603.33 735.52/737.60 c bounds 425 >= 26 @ 603.795 735.52/737.60 c bounds 423 >= 26 @ 604.117 735.52/737.60 c bounds 422 >= 26 @ 605.914 735.52/737.60 c bounds 414 >= 26 @ 607.245 735.52/737.60 c #Conflicts: 85000 | #Constraints: 663825 735.52/737.60 c bounds 408 >= 26 @ 614.648 735.52/737.60 c bounds 407 >= 26 @ 616.492 735.52/737.60 c bounds 406 >= 26 @ 616.797 735.52/737.60 c bounds 401 >= 26 @ 618.181 735.52/737.60 c bounds 398 >= 26 @ 618.505 735.52/737.60 c #Conflicts: 86000 | #Constraints: 664833 735.52/737.60 c #Conflicts: 87000 | #Constraints: 665833 735.52/737.60 c #Conflicts: 88000 | #Constraints: 666833 735.52/737.60 c #Conflicts: 89000 | #Constraints: 667833 735.52/737.60 c #Conflicts: 90000 | #Constraints: 668833 735.52/737.60 c INPROCESSING 735.52/737.60 c GARBAGE COLLECT 735.52/737.60 c rational objective 161.797 833.26/835.64 c bounds 395 >= 26 @ 728.023 833.26/835.64 c bounds 389 >= 26 @ 729.119 833.26/835.64 c bounds 388 >= 26 @ 731.971 833.26/835.64 c #Conflicts: 91000 | #Constraints: 663830 833.26/835.64 c bounds 381 >= 26 @ 739.818 833.26/835.64 c bounds 376 >= 26 @ 740.6 833.26/835.64 c #Conflicts: 92000 | #Constraints: 664843 833.26/835.64 c bounds 375 >= 26 @ 746.667 833.26/835.64 c bounds 374 >= 26 @ 749.202 833.26/835.64 c bounds 371 >= 26 @ 749.882 833.26/835.64 c bounds 369 >= 26 @ 749.942 833.26/835.64 c bounds 367 >= 26 @ 754.197 833.26/835.64 c #Conflicts: 93000 | #Constraints: 665865 833.26/835.64 c #Conflicts: 94000 | #Constraints: 666880 833.26/835.64 c bounds 366 >= 26 @ 772.346 833.26/835.64 c bounds 364 >= 26 @ 773.345 833.26/835.64 c bounds 360 >= 26 @ 773.491 833.26/835.64 c bounds 359 >= 26 @ 773.584 833.26/835.64 c bounds 358 >= 26 @ 782.549 833.26/835.64 c #Conflicts: 95000 | #Constraints: 667900 833.26/835.64 c #Conflicts: 96000 | #Constraints: 668913 833.26/835.64 c INPROCESSING 833.26/835.64 c GARBAGE COLLECT 833.26/835.64 c rational objective 161.847 872.26/874.78 c bounds 358 >= 29 @ 824.604 872.26/874.78 c bounds 358 >= 32 @ 824.679 872.26/874.78 c bounds 358 >= 35 @ 828.363 872.26/874.78 c #Conflicts: 97000 | #Constraints: 663661 872.26/874.78 c #Conflicts: 98000 | #Constraints: 664661 872.26/874.78 c #Conflicts: 99000 | #Constraints: 665661 872.26/874.78 c #Conflicts: 100000 | #Constraints: 666661 872.26/874.78 c #Conflicts: 101000 | #Constraints: 667661 872.26/874.78 c #Conflicts: 102000 | #Constraints: 668661 872.26/874.78 c #Conflicts: 103000 | #Constraints: 669661 872.26/874.78 c INPROCESSING 872.26/874.78 c rational objective 161.847 937.58/940.26 c #Conflicts: 104000 | #Constraints: 664227 937.58/940.26 c #Conflicts: 105000 | #Constraints: 665227 937.58/940.26 c #Conflicts: 106000 | #Constraints: 666228 937.58/940.26 c #Conflicts: 107000 | #Constraints: 667228 937.58/940.26 c #Conflicts: 108000 | #Constraints: 668228 937.58/940.26 c #Conflicts: 109000 | #Constraints: 669228 937.58/940.26 c #Conflicts: 110000 | #Constraints: 670228 937.58/940.26 c INPROCESSING 937.58/940.26 c GARBAGE COLLECT 937.58/940.26 c rational objective 161.847 1033.42/1036.35 c #Conflicts: 111000 | #Constraints: 664622 1033.42/1036.35 c #Conflicts: 112000 | #Constraints: 665622 1033.42/1036.35 c bounds 357 >= 35 @ 968.95 1033.42/1036.35 c bounds 357 >= 37 @ 969.004 1033.42/1036.35 c #Conflicts: 113000 | #Constraints: 666626 1033.42/1036.35 c #Conflicts: 114000 | #Constraints: 667627 1033.42/1036.35 c #Conflicts: 115000 | #Constraints: 668627 1033.42/1036.35 c #Conflicts: 116000 | #Constraints: 669627 1033.42/1036.35 c #Conflicts: 117000 | #Constraints: 670629 1033.42/1036.35 c INPROCESSING 1033.42/1036.35 c GARBAGE COLLECT 1033.42/1036.35 c rational objective 161.847 1079.01/1082.10 c #Conflicts: 118000 | #Constraints: 664815 1079.01/1082.10 c #Conflicts: 119000 | #Constraints: 665816 1079.01/1082.10 c #Conflicts: 120000 | #Constraints: 666816 1079.01/1082.10 c #Conflicts: 121000 | #Constraints: 667816 1079.01/1082.10 c #Conflicts: 122000 | #Constraints: 668816 1079.01/1082.10 c #Conflicts: 123000 | #Constraints: 669817 1079.01/1082.10 c #Conflicts: 124000 | #Constraints: 670818 1079.01/1082.10 c INPROCESSING 1079.01/1082.10 c rational objective 161.847 1168.27/1171.51 c #Conflicts: 125000 | #Constraints: 664815 1168.27/1171.51 c #Conflicts: 126000 | #Constraints: 665815 1168.27/1171.51 c #Conflicts: 127000 | #Constraints: 666815 1168.27/1171.51 c #Conflicts: 128000 | #Constraints: 667816 1168.27/1171.51 c #Conflicts: 129000 | #Constraints: 668816 1168.27/1171.51 c #Conflicts: 130000 | #Constraints: 669816 1168.27/1171.51 c #Conflicts: 131000 | #Constraints: 670817 1168.27/1171.51 c INPROCESSING 1168.27/1171.51 c GARBAGE COLLECT 1168.27/1171.51 c rational objective 161.847 1268.01/1271.55 c #Conflicts: 132000 | #Constraints: 664622 1268.01/1271.55 c #Conflicts: 133000 | #Constraints: 665634 1268.01/1271.55 c bounds 351 >= 37 @ 1186.82 1268.01/1271.55 c bounds 351 >= 38 @ 1186.85 1268.01/1271.55 c bounds 351 >= 39 @ 1186.88 1268.01/1271.55 c bounds 351 >= 40 @ 1186.91 1268.01/1271.55 c bounds 351 >= 41 @ 1186.94 1268.01/1271.55 c bounds 351 >= 42 @ 1186.98 1268.01/1271.55 c bounds 351 >= 43 @ 1187.02 1268.01/1271.55 c bounds 351 >= 44 @ 1187.05 1268.01/1271.55 c bounds 351 >= 45 @ 1187.07 1268.01/1271.55 c bounds 351 >= 46 @ 1187.1 1268.01/1271.55 c bounds 351 >= 47 @ 1187.13 1268.01/1271.55 c bounds 351 >= 48 @ 1187.16 1268.01/1271.55 c bounds 351 >= 49 @ 1187.19 1268.01/1271.55 c bounds 351 >= 50 @ 1187.22 1268.01/1271.55 c bounds 351 >= 51 @ 1187.26 1268.01/1271.55 c bounds 351 >= 52 @ 1187.29 1268.01/1271.55 c bounds 351 >= 53 @ 1187.32 1268.01/1271.55 c bounds 351 >= 54 @ 1187.36 1268.01/1271.55 c bounds 351 >= 55 @ 1187.39 1268.01/1271.55 c bounds 351 >= 56 @ 1187.42 1268.01/1271.55 c bounds 351 >= 57 @ 1187.45 1268.01/1271.55 c bounds 351 >= 58 @ 1187.49 1268.01/1271.55 c bounds 351 >= 59 @ 1187.53 1268.01/1271.55 c bounds 351 >= 60 @ 1187.56 1268.01/1271.55 c bounds 351 >= 61 @ 1187.59 1268.01/1271.55 c bounds 351 >= 62 @ 1187.62 1268.01/1271.55 c bounds 351 >= 63 @ 1187.66 1268.01/1271.55 c bounds 351 >= 64 @ 1187.7 1268.01/1271.55 c bounds 351 >= 65 @ 1187.74 1268.01/1271.55 c bounds 351 >= 66 @ 1187.86 1268.01/1271.55 c bounds 351 >= 67 @ 1189.42 1268.01/1271.55 c bounds 351 >= 68 @ 1189.97 1268.01/1271.55 c bounds 351 >= 69 @ 1190.61 1268.01/1271.55 c #Conflicts: 134000 | #Constraints: 666861 1268.01/1271.55 c bounds 351 >= 70 @ 1191.5 1268.01/1271.55 c bounds 351 >= 71 @ 1192.33 1268.01/1271.55 c bounds 351 >= 72 @ 1194.02 1268.01/1271.55 c bounds 351 >= 73 @ 1197.92 1268.01/1271.55 c #Conflicts: 135000 | #Constraints: 667951 1268.01/1271.55 c bounds 351 >= 74 @ 1209.53 1268.01/1271.55 c #Conflicts: 136000 | #Constraints: 668972 1268.01/1271.55 c bounds 351 >= 75 @ 1217.43 1268.01/1271.55 c #Conflicts: 137000 | #Constraints: 670008 1268.01/1271.55 c bounds 351 >= 76 @ 1228.48 1268.01/1271.55 c #Conflicts: 138000 | #Constraints: 671035 1268.01/1271.55 c #Conflicts: 139000 | #Constraints: 672035 1268.01/1271.55 c bounds 351 >= 77 @ 1237.75 1268.01/1271.55 c INPROCESSING 1268.01/1271.55 c GARBAGE COLLECT 1268.01/1271.55 c rational objective 161.847 1390.69/1394.55 c bounds 344 >= 77 @ 1256.39 1390.69/1394.55 c #Conflicts: 140000 | #Constraints: 665605 1390.69/1394.55 c bounds 344 >= 78 @ 1266.92 1390.69/1394.55 c bounds 338 >= 78 @ 1267.08 1390.69/1394.55 c #Conflicts: 141000 | #Constraints: 666634 1390.69/1394.55 c #Conflicts: 142000 | #Constraints: 667634 1390.69/1394.55 c #Conflicts: 143000 | #Constraints: 668636 1390.69/1394.55 c #Conflicts: 144000 | #Constraints: 669648 1390.69/1394.55 c #Conflicts: 145000 | #Constraints: 670660 1390.69/1394.55 c #Conflicts: 146000 | #Constraints: 671669 1390.69/1394.55 c #Conflicts: 147000 | #Constraints: 672682 1390.69/1394.55 c INPROCESSING 1390.69/1394.55 c GARBAGE COLLECT 1390.69/1394.55 c rational objective 161.847 1472.10/1476.15 c #Conflicts: 148000 | #Constraints: 666062 1472.10/1476.15 c #Conflicts: 149000 | #Constraints: 667062 1472.10/1476.15 c bounds 338 >= 79 @ 1391.26 1472.10/1476.15 c #Conflicts: 150000 | #Constraints: 668095 1472.10/1476.15 c #Conflicts: 151000 | #Constraints: 669095 1472.10/1476.15 c bounds 338 >= 80 @ 1417.31 1472.10/1476.15 c #Conflicts: 152000 | #Constraints: 670122 1472.10/1476.15 c #Conflicts: 153000 | #Constraints: 671122 1472.10/1476.15 c bounds 338 >= 81 @ 1436.27 1472.10/1476.15 c #Conflicts: 154000 | #Constraints: 672152 1472.10/1476.15 c #Conflicts: 155000 | #Constraints: 673152 1472.10/1476.15 c INPROCESSING 1472.10/1476.15 c GARBAGE COLLECT 1472.10/1476.15 c rational objective 161.847 1546.28/1550.52 c #Conflicts: 156000 | #Constraints: 666349 1546.28/1550.52 c #Conflicts: 157000 | #Constraints: 667349 1546.28/1550.52 c bounds 338 >= 82 @ 1473.34 1546.28/1550.52 c #Conflicts: 158000 | #Constraints: 668382 1546.28/1550.52 c #Conflicts: 159000 | #Constraints: 669382 1546.28/1550.52 c #Conflicts: 160000 | #Constraints: 670382 1546.28/1550.52 c #Conflicts: 161000 | #Constraints: 671382 1546.28/1550.52 c #Conflicts: 162000 | #Constraints: 672382 1546.28/1550.52 c #Conflicts: 163000 | #Constraints: 673382 1546.28/1550.52 c INPROCESSING 1546.28/1550.52 c GARBAGE COLLECT 1546.28/1550.52 c rational objective 161.847 1855.17/1860.28 c #Conflicts: 164000 | #Constraints: 666388 1855.17/1860.28 c bounds 338 >= 83 @ 1536.4 1855.17/1860.28 c #Conflicts: 165000 | #Constraints: 667418 1855.17/1860.28 c #Conflicts: 166000 | #Constraints: 668418 1855.17/1860.28 c #Conflicts: 167000 | #Constraints: 669418 1855.17/1860.28 c #Conflicts: 168000 | #Constraints: 670418 1855.17/1860.28 c #Conflicts: 169000 | #Constraints: 671418 1855.17/1860.28 c #Conflicts: 170000 | #Constraints: 672418 1855.17/1860.28 c #Conflicts: 171000 | #Constraints: 673418 1855.17/1860.28 c bounds 338 >= 84 @ 1603.65 1855.17/1860.28 c INPROCESSING 1855.17/1860.28 c GARBAGE COLLECT 1855.17/1860.28 c #Conflicts: 172000 | #Constraints: 666250 1855.17/1860.28 c #Conflicts: 173000 | #Constraints: 667250 1855.17/1860.28 c #Conflicts: 174000 | #Constraints: 668250 1855.17/1860.28 c #Conflicts: 175000 | #Constraints: 669250 1855.17/1860.28 c #Conflicts: 176000 | #Constraints: 670250 1855.17/1860.28 c #Conflicts: 177000 | #Constraints: 671250 1855.17/1860.28 c #Conflicts: 178000 | #Constraints: 672250 1855.17/1860.28 c #Conflicts: 179000 | #Constraints: 673250 1855.17/1860.28 c #Conflicts: 180000 | #Constraints: 674250 1855.17/1860.28 c INPROCESSING 1855.17/1860.28 c GARBAGE COLLECT 1855.17/1860.28 c rational objective 161.847 2008.28/2013.74 c #Conflicts: 181000 | #Constraints: 666853 2008.28/2013.74 c #Conflicts: 182000 | #Constraints: 667859 2008.28/2013.74 c #Conflicts: 183000 | #Constraints: 668875 2008.28/2013.74 c #Conflicts: 184000 | #Constraints: 669891 2008.28/2013.74 c #Conflicts: 185000 | #Constraints: 670904 2008.28/2013.74 c #Conflicts: 186000 | #Constraints: 671922 2008.28/2013.74 c #Conflicts: 187000 | #Constraints: 672937 2008.28/2013.74 c #Conflicts: 188000 | #Constraints: 673954 2008.28/2013.74 c #Conflicts: 189000 | #Constraints: 674964 2008.28/2013.74 c INPROCESSING 2008.28/2013.74 c GARBAGE COLLECT 2008.28/2013.74 c rational objective 161.847 2108.80/2114.54 c #Conflicts: 190000 | #Constraints: 667298 2108.80/2114.54 c #Conflicts: 191000 | #Constraints: 668298 2108.80/2114.54 c #Conflicts: 192000 | #Constraints: 669298 2108.80/2114.54 c #Conflicts: 193000 | #Constraints: 670298 2108.80/2114.54 c #Conflicts: 194000 | #Constraints: 671298 2108.80/2114.54 c #Conflicts: 195000 | #Constraints: 672298 2108.80/2114.54 c bounds 338 >= 85 @ 2055.16 2108.80/2114.54 c #Conflicts: 196000 | #Constraints: 673325 2108.80/2114.54 c #Conflicts: 197000 | #Constraints: 674325 2108.80/2114.54 c #Conflicts: 198000 | #Constraints: 675325 2108.80/2114.54 c INPROCESSING 2108.80/2114.54 c GARBAGE COLLECT 2108.80/2114.54 c rational objective 161.847 2210.92/2216.94 c #Conflicts: 199000 | #Constraints: 667519 2210.92/2216.94 c #Conflicts: 200000 | #Constraints: 668519 2210.92/2216.94 c #Conflicts: 201000 | #Constraints: 669519 2210.92/2216.94 c #Conflicts: 202000 | #Constraints: 670519 2210.92/2216.94 c #Conflicts: 203000 | #Constraints: 671519 2210.92/2216.94 c #Conflicts: 204000 | #Constraints: 672519 2210.92/2216.94 c #Conflicts: 205000 | #Constraints: 673519 2210.92/2216.94 c #Conflicts: 206000 | #Constraints: 674519 2210.92/2216.94 c #Conflicts: 207000 | #Constraints: 675519 2210.92/2216.94 c INPROCESSING 2210.92/2216.94 c GARBAGE COLLECT 2210.92/2216.94 c rational objective 161.847 2321.61/2327.94 c #Conflicts: 208000 | #Constraints: 667499 2321.61/2327.94 c #Conflicts: 209000 | #Constraints: 668499 2321.61/2327.94 c #Conflicts: 210000 | #Constraints: 669499 2321.61/2327.94 c #Conflicts: 211000 | #Constraints: 670499 2321.61/2327.94 c #Conflicts: 212000 | #Constraints: 671499 2321.61/2327.94 c #Conflicts: 213000 | #Constraints: 672499 2321.61/2327.94 c #Conflicts: 214000 | #Constraints: 673499 2321.61/2327.94 c bounds 338 >= 86 @ 2259.41 2321.61/2327.94 c #Conflicts: 215000 | #Constraints: 674535 2321.61/2327.94 c #Conflicts: 216000 | #Constraints: 675535 2321.61/2327.94 c INPROCESSING 2321.61/2327.94 c GARBAGE COLLECT 2321.61/2327.94 c rational objective 161.847 2444.16/2450.86 c #Conflicts: 217000 | #Constraints: 667329 2444.16/2450.86 c #Conflicts: 218000 | #Constraints: 668329 2444.16/2450.86 c #Conflicts: 219000 | #Constraints: 669337 2444.16/2450.86 c #Conflicts: 220000 | #Constraints: 670345 2444.16/2450.86 c bounds 336 >= 86 @ 2329.79 2444.16/2450.86 c #Conflicts: 221000 | #Constraints: 671358 2444.16/2450.86 c #Conflicts: 222000 | #Constraints: 672358 2444.16/2450.86 c #Conflicts: 223000 | #Constraints: 673358 2444.16/2450.86 c #Conflicts: 224000 | #Constraints: 674358 2444.16/2450.86 c #Conflicts: 225000 | #Constraints: 675358 2444.16/2450.86 c #Conflicts: 226000 | #Constraints: 676358 2444.16/2450.86 c INPROCESSING 2444.16/2450.86 c GARBAGE COLLECT 2444.16/2450.86 c rational objective 161.847 2605.87/2613.06 c bounds 335 >= 86 @ 2415.92 2605.87/2613.06 c #Conflicts: 227000 | #Constraints: 667954 2605.87/2613.06 c #Conflicts: 228000 | #Constraints: 668961 2605.87/2613.06 c #Conflicts: 229000 | #Constraints: 669970 2605.87/2613.06 c #Conflicts: 230000 | #Constraints: 670984 2605.87/2613.06 c #Conflicts: 231000 | #Constraints: 671992 2605.87/2613.06 c #Conflicts: 232000 | #Constraints: 673004 2605.87/2613.06 c #Conflicts: 233000 | #Constraints: 674020 2605.87/2613.06 c bounds 334 >= 86 @ 2531.3 2605.87/2613.06 c #Conflicts: 234000 | #Constraints: 675026 2605.87/2613.06 c #Conflicts: 235000 | #Constraints: 676026 2605.87/2613.06 c #Conflicts: 236000 | #Constraints: 677026 2605.87/2613.06 c INPROCESSING 2605.87/2613.06 c GARBAGE COLLECT 2605.87/2613.06 c rational objective 161.847 2721.17/2728.63 c #Conflicts: 237000 | #Constraints: 668371 2721.17/2728.63 c #Conflicts: 238000 | #Constraints: 669371 2721.17/2728.63 c #Conflicts: 239000 | #Constraints: 670371 2721.17/2728.63 c #Conflicts: 240000 | #Constraints: 671371 2721.17/2728.63 c #Conflicts: 241000 | #Constraints: 672371 2721.17/2728.63 c #Conflicts: 242000 | #Constraints: 673371 2721.17/2728.63 c #Conflicts: 243000 | #Constraints: 674371 2721.17/2728.63 c #Conflicts: 244000 | #Constraints: 675371 2721.17/2728.63 c #Conflicts: 245000 | #Constraints: 676371 2721.17/2728.63 c #Conflicts: 246000 | #Constraints: 677371 2721.17/2728.63 c INPROCESSING 2721.17/2728.63 c GARBAGE COLLECT 2721.17/2728.63 c rational objective 161.847 2848.77/2856.51 c #Conflicts: 247000 | #Constraints: 668551 2848.77/2856.51 c #Conflicts: 248000 | #Constraints: 669551 2848.77/2856.51 c #Conflicts: 249000 | #Constraints: 670551 2848.77/2856.51 c #Conflicts: 250000 | #Constraints: 671551 2848.77/2856.51 c #Conflicts: 251000 | #Constraints: 672551 2848.77/2856.51 c #Conflicts: 252000 | #Constraints: 673551 2848.77/2856.51 c bounds 334 >= 87 @ 2759.13 2848.77/2856.51 c bounds 331 >= 87 @ 2760.81 2848.77/2856.51 c #Conflicts: 253000 | #Constraints: 674593 2848.77/2856.51 c #Conflicts: 254000 | #Constraints: 675601 2848.77/2856.51 c #Conflicts: 255000 | #Constraints: 676614 2848.77/2856.51 c bounds 322 >= 87 @ 2790.29 2848.77/2856.51 c #Conflicts: 256000 | #Constraints: 677626 2848.77/2856.51 c INPROCESSING 2848.77/2856.51 c GARBAGE COLLECT 2848.77/2856.51 c rational objective 161.847 2967.10/2975.19 c #Conflicts: 257000 | #Constraints: 668597 2967.10/2975.19 c #Conflicts: 258000 | #Constraints: 669597 2967.10/2975.19 c #Conflicts: 259000 | #Constraints: 670597 2967.10/2975.19 c #Conflicts: 260000 | #Constraints: 671597 2967.10/2975.19 c #Conflicts: 261000 | #Constraints: 672597 2967.10/2975.19 c #Conflicts: 262000 | #Constraints: 673597 2967.10/2975.19 c #Conflicts: 263000 | #Constraints: 674597 2967.10/2975.19 c #Conflicts: 264000 | #Constraints: 675597 2967.10/2975.19 c #Conflicts: 265000 | #Constraints: 676597 2967.10/2975.19 c #Conflicts: 266000 | #Constraints: 677597 2967.10/2975.19 c INPROCESSING 2967.10/2975.19 c GARBAGE COLLECT 2967.10/2975.19 c rational objective 161.847 3218.96/3227.63 c #Conflicts: 267000 | #Constraints: 668388 3218.96/3227.63 c #Conflicts: 268000 | #Constraints: 669395 3218.96/3227.63 c #Conflicts: 269000 | #Constraints: 670404 3218.96/3227.63 c #Conflicts: 270000 | #Constraints: 671412 3218.96/3227.63 c #Conflicts: 271000 | #Constraints: 672420 3218.96/3227.63 c #Conflicts: 272000 | #Constraints: 673430 3218.96/3227.63 c #Conflicts: 273000 | #Constraints: 674435 3218.96/3227.63 c #Conflicts: 274000 | #Constraints: 675443 3218.96/3227.63 c #Conflicts: 275000 | #Constraints: 676454 3218.96/3227.63 c #Conflicts: 276000 | #Constraints: 677464 3218.96/3227.63 c #Conflicts: 277000 | #Constraints: 678474 3218.96/3227.63 c INPROCESSING 3218.96/3227.63 c GARBAGE COLLECT 3218.96/3227.63 c rational objective 161.847 3351.24/3360.26 c #Conflicts: 278000 | #Constraints: 669027 3351.24/3360.26 c #Conflicts: 279000 | #Constraints: 670027 3351.24/3360.26 c #Conflicts: 280000 | #Constraints: 671027 3351.24/3360.26 c #Conflicts: 281000 | #Constraints: 672027 3351.24/3360.26 c #Conflicts: 282000 | #Constraints: 673027 3351.24/3360.26 c #Conflicts: 283000 | #Constraints: 674027 3351.24/3360.26 c #Conflicts: 284000 | #Constraints: 675027 3351.24/3360.26 c #Conflicts: 285000 | #Constraints: 676027 3351.24/3360.26 c #Conflicts: 286000 | #Constraints: 677027 3351.24/3360.26 c #Conflicts: 287000 | #Constraints: 678027 3351.24/3360.26 c #Conflicts: 288000 | #Constraints: 679027 3351.24/3360.26 c INPROCESSING 3351.24/3360.26 c GARBAGE COLLECT 3351.24/3360.26 c rational objective 161.847 3543.25/3552.73 c #Conflicts: 289000 | #Constraints: 669403 3543.25/3552.73 c #Conflicts: 290000 | #Constraints: 670403 3543.25/3552.73 c #Conflicts: 291000 | #Constraints: 671403 3543.25/3552.73 c #Conflicts: 292000 | #Constraints: 672403 3543.25/3552.73 c #Conflicts: 293000 | #Constraints: 673403 3543.25/3552.73 c #Conflicts: 294000 | #Constraints: 674403 3543.25/3552.73 c #Conflicts: 295000 | #Constraints: 675403 3543.25/3552.73 c #Conflicts: 296000 | #Constraints: 676403 3543.25/3552.73 c #Conflicts: 297000 | #Constraints: 677403 3543.25/3552.73 c #Conflicts: 298000 | #Constraints: 678403 3543.25/3552.73 c bounds 322 >= 88 @ 3439.39 3543.25/3552.73 c #Conflicts: 299000 | #Constraints: 679445 3543.25/3552.73 c INPROCESSING 3543.25/3552.73 c GARBAGE COLLECT 3543.25/3552.73 c rational objective 161.847 3600.01/3609.60 c #Conflicts: 300000 | #Constraints: 669616 3600.01/3609.60 c #Conflicts: 301000 | #Constraints: 670616 3600.01/3609.60 c #Conflicts: 302000 | #Constraints: 671616 3600.01/3609.60 c #Conflicts: 303000 | #Constraints: 672616 3600.01/3609.60 c Program interrupted by user. 3600.01/3609.60 c cpu time 3554.9 s 3600.01/3609.60 c deterministic time 411525613661 4.12e+11 3600.01/3609.60 c optimization time 56.5761 s 3600.01/3609.60 c total solve time 3496.04 s 3600.01/3609.60 c core-guided solve time 2393.46 s 3600.01/3609.60 c propagation time 2008.42 s 3600.01/3609.60 c conflict analysis time 944.581 s 3600.01/3609.60 c propagations 79532226 3600.01/3609.60 c resolve steps 4702388 3600.01/3609.60 c decisions 13372180 3600.01/3609.60 c conflicts 303847 3600.01/3609.60 c restarts 738 3600.01/3609.60 c inprocessing phases 46 3600.01/3609.60 c input clauses 657116 3600.01/3609.60 c input cardinalities 61 3600.01/3609.60 c input general constraints 746 3600.01/3609.60 c input average constraint length 6.73 3600.01/3609.60 c input average constraint degree 145.98 3600.01/3609.60 c learned clauses 149175 3600.01/3609.60 c learned cardinalities 11 3600.01/3609.60 c learned general constraints 155336 3600.01/3609.60 c learned average constraint length 3562.89 3600.01/3609.60 c learned average constraint degree 69727387872.98 3600.01/3609.60 c watched constraints 32668 3600.01/3609.60 c counting constraints 123414 3600.01/3609.60 c gcd simplifications 4736 3600.01/3609.60 c detected cardinalities 0 3600.01/3609.60 c weakened non-implied lits 297852343 3600.01/3609.60 c weakened non-implying lits 76782 3600.01/3609.60 c original variables 10000 3600.01/3609.60 c clausal propagations 23380951 3600.01/3609.60 c cardinality propagations 89982 3600.01/3609.60 c watched propagations 2343013 3600.01/3609.60 c counting propagations 53115732 3600.01/3609.60 c watch lookups 23630698753 3600.01/3609.60 c watch backjump lookups 23414249901 3600.01/3609.60 c watch checks 124005759733 3600.01/3609.60 c propagation checks 235341587543 3600.01/3609.60 c constraint additions 4946745309 3600.01/3609.60 c trail pops 93198597 3600.01/3609.60 c formula constraints 656900 3600.01/3609.60 c learned constraints 303194 3600.01/3609.60 c bound constraints 253 3600.01/3609.60 c core-guided constraints 770 3600.01/3609.60 c encountered formula constraints 2752197 3600.01/3609.60 c encountered learned constraints 1889116 3600.01/3609.60 c encountered bound constraints 5794 3600.01/3609.60 c encountered core-guided constraints 310831 3600.01/3609.60 c LP total time 966.355 s 3600.01/3609.60 c LP solve time 927.38 s 3600.01/3609.60 c LP constraints added 656971 3600.01/3609.60 c LP constraints removed 54 3600.01/3609.60 c LP pivots internal 303908 3600.01/3609.60 c LP pivots root 165510 3600.01/3609.60 c LP calls 1584 3600.01/3609.60 c LP optimalities 915 3600.01/3609.60 c LP no pivot count 347 3600.01/3609.60 c LP infeasibilities 664 3600.01/3609.60 c LP valid Farkas constraints 664 3600.01/3609.60 c LP learned Farkas constraints 664 3600.01/3609.60 c LP basis resets 0 3600.01/3609.60 c LP cycling count 0 3600.01/3609.60 c LP singular count 0 3600.01/3609.60 c LP no primal count 0 3600.01/3609.60 c LP no farkas count 0 3600.01/3609.60 c LP other issue count 0 3600.01/3609.60 c LP Gomory cuts 0 3600.01/3609.60 c LP learned cuts 71 3600.01/3609.60 c LP deleted cuts 54 3600.01/3609.60 c LP encountered Gomory constraints 0 3600.01/3609.60 c LP encountered Farkas constraints 45962 3600.01/3609.60 c LP encountered learned Farkas constraints 1671 3600.01/3609.60 c CG auxiliary variables introduced 277 3600.01/3609.60 c CG solutions found 192 3600.01/3609.60 c CG cores constructed 61 3600.01/3609.60 c CG core cardinality constraints returned 0 3600.01/3609.60 c CG unit cores 0 3600.01/3609.60 c CG single cores 57 3600.01/3609.60 c CG blocks removed during cardinality reduction 0 3600.01/3609.60 c CG first core best 0 3600.01/3609.60 c CG decision core best 0 3600.01/3609.60 c CG core reduction tie 4 3600.01/3609.60 c CG core degree average 1.00 3600.01/3609.60 c CG core slack average 810.07 3600.01/3609.60 s SATISFIABLE 3600.01/3609.60 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 322
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: 64096 MiB (37495 MiB free)
memory of node 1: 64473 MiB (30225 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456768-1721772810/watcher-4456768-1721772810 -o /tmp/evaluation-result-4456768-1721772810/solver-4456768-1721772810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721765588-115810 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456768-1721772810 --lp-cut-gomory=0 HOME/instance-4456768-1721772810.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=120637, runsolver pid=120634
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.54 4.33 4.19 5/243 120638
/proc/meminfo: memFree=69317128/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=40828 memory=9200 CPUtime=0.1 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 1521 0 0 0 7 3 0 0 20 0 1 0 13270937 41807872 2300 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 10207 2300 1365 992 0 2065 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 9200 KiB
[startup+0.210835 s]*
/proc/loadavg: 4.54 4.33 4.19 6/241 120638
/proc/meminfo: memFree=69318088/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=40828 memory=9992 CPUtime=0.21 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 1691 0 0 0 15 6 0 0 20 0 1 0 13270937 41807872 2498 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 10207 2498 1365 992 0 2065 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 9992 KiB
[startup+0.311084 s]*
/proc/loadavg: 4.54 4.33 4.19 5/247 120650
/proc/meminfo: memFree=69305820/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=41216 memory=10520 CPUtime=0.31 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 1856 0 0 0 22 9 0 0 20 0 1 0 13270937 42205184 2630 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 10304 2630 1365 992 0 2162 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41216 KiB
Current children cumulated memory: 10520 KiB
[startup+0.700253 s]
/proc/loadavg: 4.54 4.33 4.19 5/247 120650
/proc/meminfo: memFree=69300984/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=42792 memory=14676 CPUtime=0.69 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 2345 0 0 0 50 19 0 0 20 0 1 0 13270937 43819008 3669 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 10698 3669 1365 992 0 2556 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42792 KiB
Current children cumulated memory: 14676 KiB
[startup+1.50026 s]
/proc/loadavg: 4.54 4.33 4.19 5/247 120650
/proc/meminfo: memFree=69292688/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=56396 memory=27428 CPUtime=1.48 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 4548 0 0 0 109 39 0 0 20 0 1 0 13270937 57749504 6857 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 14099 6857 1365 992 0 5957 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 56396 KiB
Current children cumulated memory: 27428 KiB
[startup+3.11376 s]
/proc/loadavg: 4.50 4.32 4.19 5/247 120650
/proc/meminfo: memFree=69048072/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=381980 memory=346536 CPUtime=3.1 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 47886 0 0 0 235 75 0 0 20 0 1 0 13270937 391147520 86634 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 95495 86634 1730 992 0 87353 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 381980 KiB
Current children cumulated memory: 346536 KiB
[startup+6.30031 s]
/proc/loadavg: 4.50 4.32 4.19 5/247 120650
/proc/meminfo: memFree=68899092/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=361148 memory=329736 CPUtime=6.27 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 57474 0 0 0 547 80 0 0 20 0 1 0 13270937 369815552 82434 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 90287 82434 1730 992 0 82145 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 361148 KiB
Current children cumulated memory: 329736 KiB
[startup+12.7003 s]
/proc/loadavg: 4.54 4.33 4.20 5/245 120698
/proc/meminfo: memFree=68770684/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=430828 memory=371016 CPUtime=12.66 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 60535 0 0 0 1121 145 0 0 20 0 1 0 13270937 441167872 92754 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 107707 92754 1878 992 0 99565 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 430828 KiB
Current children cumulated memory: 371016 KiB
[startup+25.5004 s]
/proc/loadavg: 4.42 4.31 4.19 4/240 120726
/proc/meminfo: memFree=68700904/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=458100 memory=416092 CPUtime=25.42 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 63190 0 0 0 2357 185 0 0 20 0 1 0 13270937 469094400 104023 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 114525 104023 1878 992 0 106383 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 458100 KiB
Current children cumulated memory: 416092 KiB
[startup+51.1145 s]
/proc/loadavg: 4.27 4.29 4.18 5/248 120754
/proc/meminfo: memFree=68177020/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=533396 memory=467896 CPUtime=50.96 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 67529 0 0 0 4893 203 0 0 20 0 1 0 13270937 546197504 116974 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 133349 116974 1878 992 0 125207 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 533396 KiB
Current children cumulated memory: 467896 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.26 4.18 5/249 120763
/proc/meminfo: memFree=67567084/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=662804 memory=539808 CPUtime=101.99 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 71689 0 0 0 9959 240 0 0 20 0 1 0 13270937 678711296 134952 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 165701 134952 1878 992 0 157559 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 662804 KiB
Current children cumulated memory: 539808 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.21 4.17 5/261 120879
/proc/meminfo: memFree=66692224/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=802504 memory=658096 CPUtime=161.79 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 77365 0 0 0 15857 322 0 0 20 0 1 0 13270937 821764096 164524 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 200626 164524 1894 992 0 192484 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 802504 KiB
Current children cumulated memory: 658096 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.18 4.16 4/253 121114
/proc/meminfo: memFree=66165520/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=813940 memory=686708 CPUtime=221.62 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 79657 0 0 0 21765 397 0 0 20 0 1 0 13270937 833474560 171677 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 203485 171677 1894 992 0 195343 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 813940 KiB
Current children cumulated memory: 686708 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.19 4.17 5/263 121319
/proc/meminfo: memFree=63909612/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=1526476 memory=1229148 CPUtime=281.45 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 164185 0 0 0 27660 485 0 0 20 0 1 0 13270937 1563111424 307287 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 381619 307287 1894 992 0 373477 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 1526476 KiB
Current children cumulated memory: 1229148 KiB
[startup+342.3 s]
/proc/loadavg: 4.52 4.28 4.20 5/262 121330
/proc/meminfo: memFree=63365812/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=1534172 memory=1252104 CPUtime=341.3 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 165961 0 0 0 33601 529 0 0 20 0 1 0 13270937 1570992128 313026 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 383543 313026 1894 992 0 375401 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 1534172 KiB
Current children cumulated memory: 1252104 KiB
[startup+402.3 s]
/proc/loadavg: 4.65 4.38 4.24 5/262 121340
/proc/meminfo: memFree=62891012/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=1544436 memory=1267332 CPUtime=401.14 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 166727 0 0 0 39526 588 0 0 20 0 1 0 13270937 1581502464 316833 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 386109 316833 1894 992 0 377967 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 1544436 KiB
Current children cumulated memory: 1267332 KiB
[startup+462.3 s]
/proc/loadavg: 4.29 4.32 4.23 5/254 121353
/proc/meminfo: memFree=62439012/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=1544436 memory=1267468 CPUtime=460.97 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 167006 0 0 0 45457 640 0 0 20 0 1 0 13270937 1581502464 316867 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 386109 316867 1894 992 0 377967 0
################
# More data... #
################
Current children cumulated memory: 2420040 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.17 4.19 5/258 123052
/proc/meminfo: memFree=13304632/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=2666088 memory=2420040 CPUtime=3034.11 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 342577 0 0 0 299647 3764 0 0 20 0 1 0 13270937 2730074112 605010 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 666522 605010 1894 992 0 658380 0
Current children cumulated CPU time: 3034.11 s
Current children cumulated vsize: 2666088 KiB
Current children cumulated memory: 2420040 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.16 4.18 5/258 123062
/proc/meminfo: memFree=12378796/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=2666088 memory=2420040 CPUtime=3093.97 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 346505 0 0 0 305587 3810 0 0 20 0 1 0 13270937 2730074112 605010 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 666522 605010 1894 992 0 658380 0
Current children cumulated CPU time: 3093.97 s
Current children cumulated vsize: 2666088 KiB
Current children cumulated memory: 2420040 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.14 4.17 5/257 123073
/proc/meminfo: memFree=11509752/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=2666088 memory=2452512 CPUtime=3153.83 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 358211 0 0 0 311530 3853 0 0 20 0 1 0 13270937 2730074112 613128 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 666522 613128 1894 992 0 658380 0
Current children cumulated CPU time: 3153.83 s
Current children cumulated vsize: 2666088 KiB
Current children cumulated memory: 2452512 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.17 5/257 123084
/proc/meminfo: memFree=10708124/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=2737688 memory=2636052 CPUtime=3213.68 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 434507 0 0 0 317465 3903 0 0 20 0 1 0 13270937 2803392512 659013 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 684422 659013 1894 992 0 676280 0
Current children cumulated CPU time: 3213.68 s
Current children cumulated vsize: 2737688 KiB
Current children cumulated memory: 2636052 KiB
[startup+3282.3 s]
/proc/loadavg: 4.24 4.16 4.18 5/255 123097
/proc/meminfo: memFree=9166176/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=2745120 memory=2636060 CPUtime=3273.52 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 439175 0 0 0 323331 4021 0 0 20 0 1 0 13270937 2811002880 659015 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 686280 659015 1894 992 0 678138 0
Current children cumulated CPU time: 3273.52 s
Current children cumulated vsize: 2745120 KiB
Current children cumulated memory: 2636060 KiB
[startup+3342.3 s]
/proc/loadavg: 4.27 4.18 4.18 5/256 123109
/proc/meminfo: memFree=7761768/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=2745120 memory=2636060 CPUtime=3333.37 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 444316 0 0 0 329211 4126 0 0 20 0 1 0 13270937 2811002880 659015 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 686280 659015 1894 992 0 678138 0
Current children cumulated CPU time: 3333.37 s
Current children cumulated vsize: 2745120 KiB
Current children cumulated memory: 2636060 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.14 4.17 5/261 123124
/proc/meminfo: memFree=6266052/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=2745120 memory=2637756 CPUtime=3393.22 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 455261 0 0 0 335084 4238 0 0 20 0 1 0 13270937 2811002880 659439 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 686280 659439 1894 992 0 678138 0
Current children cumulated CPU time: 3393.22 s
Current children cumulated vsize: 2745120 KiB
Current children cumulated memory: 2637756 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/262 123139
/proc/meminfo: memFree=4890232/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=2745120 memory=2637756 CPUtime=3453.06 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 460046 0 0 0 340971 4335 0 0 20 0 1 0 13270937 2811002880 659439 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 686280 659439 1894 992 0 678138 0
Current children cumulated CPU time: 3453.06 s
Current children cumulated vsize: 2745120 KiB
Current children cumulated memory: 2637756 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/262 123150
/proc/meminfo: memFree=4179640/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=2745120 memory=2641208 CPUtime=3512.92 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 471915 0 0 0 346899 4393 0 0 20 0 1 0 13270937 2811002880 660302 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 686280 660302 1894 992 0 678138 0
Current children cumulated CPU time: 3512.92 s
Current children cumulated vsize: 2745120 KiB
Current children cumulated memory: 2641208 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/258 123160
/proc/meminfo: memFree=3232736/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=2758704 memory=2646828 CPUtime=3572.79 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 477500 0 0 0 352818 4461 0 0 20 0 1 0 13270937 2824912896 661707 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 689676 661707 1894 992 0 681534 0
Current children cumulated CPU time: 3572.79 s
Current children cumulated vsize: 2758704 KiB
Current children cumulated memory: 2646828 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.05 4.11 4.15 5/258 123167
/proc/meminfo: memFree=2541200/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=2758704 memory=2646828 CPUtime=3600.01 cores=1,3
/proc/120637/stat : 120637 (roundingsat) R 120634 120637 115798 0 -1 4194304 480988 0 0 0 355489 4512 0 0 20 0 1 0 13270937 2824912896 661707 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 689676 661707 1894 992 0 681534 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2758704 KiB
Current children cumulated memory: 2646828 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.37 s]
# the end of solver process 120637 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3554.94 s, system=45.2452 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.05 4.11 4.15 5/258 123167
/proc/meminfo: memFree=2541200/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=2758704 memory=2646828 CPUtime=3600.08 cores=1,3
/proc/120637/stat : 120637 (roundingsat) D 120634 120637 115798 0 -1 4194304 480998 0 0 0 355490 4518 0 0 20 0 1 0 13270937 2824912896 661707 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 4 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 689676 661707 1894 992 0 681534 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2758704 KiB
Current children cumulated memory: 2646828 KiB
[startup+3610.1 s]*
/proc/loadavg: 4.05 4.11 4.15 4/258 123167
/proc/meminfo: memFree=2520704/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=2758704 memory=2646828 CPUtime=3600.12 cores=1,3
/proc/120637/stat : 120637 (roundingsat) D 120634 120637 115798 0 -1 4194304 480998 0 0 0 355492 4520 0 0 20 0 1 0 13270937 2824912896 661707 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 0 0 0 17 1 0 0 50 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 689676 661707 1894 992 0 681534 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 2758704 KiB
Current children cumulated memory: 2646828 KiB
[startup+3610.3 s]
/proc/loadavg: 4.05 4.11 4.15 4/258 123167
/proc/meminfo: memFree=2520704/131655788 swapFree=131067352/131071996
[pid=120637] ppid=120634 vsize=2758704 memory=2646828 CPUtime=3600.13 cores=1,3
/proc/120637/stat : 120637 (roundingsat) D 120634 120637 115798 0 -1 4194304 480998 0 0 0 355493 4520 0 0 20 0 1 0 13270937 2824912896 661707 134679101440 4194304 8254037 140732349198720 0 0 0 0 0 25182210 1 0 0 17 1 0 0 66 0 0 9037040 9046032 15675392 140732349207388 140732349207650 140732349207650 140732349214665 0
/proc/120637/statm: 689676 661707 1894 992 0 681534 0
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 2758704 KiB
Current children cumulated memory: 2646828 KiB
Child status: 0
Real time (s): 3610.37
CPU time (s): 3600.18
CPU user time (s): 3554.94
CPU system time (s): 45.2452
CPU usage (%): 99.7178
Max. virtual memory (cumulated for all children) (KiB): 2758704
Max. memory (cumulated for all children) (KiB): 2646828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3554.94
system time used= 45.2452
maximum resident set size= 2646828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 481537
page faults= 0
swaps= 0
block input operations= 0
block output operations= 93142032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20856
involuntary context switches= 4887
# summary of solver processes directly reported to runsolver:
# pid: 120637
# total CPU time (s): 3600.18
# total CPU user time (s): 3554.94
# total CPU system time (s): 45.2452
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9429 second user time and 38.2903 second system time
The end
Begin job on nodeC009 at 2024-07-24 00:13:31 IDJOB=4456768 IDBENCH=147565 IDSOLVER=3085 FILE ID=nodeC009/4456768-1721772810 RUNJOBID= nodeC009-1721765588-115810 SLURM_JOB_ID= 7770661 Free space on /tmp= 723740 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.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-4456768-1721772810/watcher-4456768-1721772810 -o /tmp/evaluation-result-4456768-1721772810/solver-4456768-1721772810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721765588-115810 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456768-1721772810 --lp-cut-gomory=0 HOME/instance-4456768-1721772810.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 41281aaad41c07f4dcd6eb689ad0db2a RANDOM SEED=1378268011 nodeC009.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 : 3595.258 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.96 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 : 1197.251 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.36 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.379 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.96 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 : 1596.170 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.36 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 : 3515.214 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.96 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 : 3474.073 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.36 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.410 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.96 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.257 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 69362892 kB MemAvailable: 129339740 kB Buffers: 189952 kB Cached: 60536228 kB SwapCached: 3724 kB Active: 1085548 kB Inactive: 60531996 kB Active(anon): 1592 kB Inactive(anon): 926692 kB Active(file): 1083956 kB Inactive(file): 59605304 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131067352 kB Dirty: 34208 kB Writeback: 48 kB AnonPages: 880464 kB Mapped: 94376 kB Shmem: 37508 kB KReclaimable: 255572 kB Slab: 355032 kB SReclaimable: 255572 kB SUnreclaim: 99460 kB KernelStack: 3912 kB PageTables: 10592 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1341360 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18848 kB HardwareCorrupted: 0 kB AnonHugePages: 749568 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: 291656 kB DirectMap2M: 28973056 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 723716 MiB End job on nodeC009 at 2024-07-24 01:13:41