| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | No Cert. | 3600.05 | 3641.1 |
| 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 1.99/2.05 c #variables 10000 #constraints 656900 4.28/4.37 c bounds - >= 0 @ 1.54475 4.28/4.37 c rational objective 160.199 18.62/18.75 c bounds 6672 >= 0 @ 4.76021 18.62/18.75 c bounds 6653 >= 0 @ 4.76777 18.62/18.75 c bounds 6281 >= 0 @ 4.77375 18.62/18.75 c bounds 6185 >= 0 @ 4.78117 18.62/18.75 c bounds 6100 >= 0 @ 4.78951 18.62/18.75 c bounds 6097 >= 0 @ 4.79678 18.62/18.75 c bounds 5958 >= 0 @ 4.80006 18.62/18.75 c bounds 5892 >= 0 @ 4.80701 18.62/18.75 c bounds 5781 >= 0 @ 4.81377 18.62/18.75 c bounds 5769 >= 0 @ 4.82522 18.62/18.75 c bounds 5763 >= 0 @ 4.82849 18.62/18.75 c bounds 5728 >= 0 @ 4.83261 18.62/18.75 c bounds 5673 >= 0 @ 4.83634 18.62/18.75 c bounds 5637 >= 0 @ 4.84035 18.62/18.75 c bounds 5536 >= 0 @ 4.84529 18.62/18.75 c bounds 5381 >= 0 @ 4.84952 18.62/18.75 c bounds 5379 >= 0 @ 4.85166 18.62/18.75 c bounds 5378 >= 0 @ 4.85887 18.62/18.75 c bounds 5371 >= 0 @ 4.86608 18.62/18.75 c bounds 5253 >= 0 @ 4.87084 18.62/18.75 c bounds 5174 >= 0 @ 4.87659 18.62/18.75 c bounds 5096 >= 0 @ 4.88195 18.62/18.75 c bounds 5019 >= 0 @ 4.88536 18.62/18.75 c bounds 4958 >= 0 @ 4.89187 18.62/18.75 c bounds 4926 >= 0 @ 4.8964 18.62/18.75 c bounds 4772 >= 0 @ 4.90097 18.62/18.75 c bounds 4684 >= 0 @ 4.90465 18.62/18.75 c bounds 4641 >= 0 @ 4.92781 18.62/18.75 c bounds 4546 >= 0 @ 4.93423 18.62/18.75 c bounds 4503 >= 0 @ 4.93764 18.62/18.75 c bounds 4482 >= 0 @ 4.9463 18.62/18.75 c bounds 4440 >= 0 @ 4.95315 18.62/18.75 c bounds 4330 >= 0 @ 4.95711 18.62/18.75 c bounds 4325 >= 0 @ 4.96015 18.62/18.75 c bounds 4225 >= 0 @ 4.96635 18.62/18.75 c bounds 4161 >= 0 @ 4.97177 18.62/18.75 c bounds 4126 >= 0 @ 4.97732 18.62/18.75 c bounds 4049 >= 0 @ 4.98379 18.62/18.75 c bounds 3978 >= 0 @ 4.99038 18.62/18.75 c bounds 3918 >= 0 @ 4.99527 18.62/18.75 c bounds 3885 >= 0 @ 5.00112 18.62/18.75 c bounds 3859 >= 0 @ 5.00811 18.62/18.75 c bounds 3673 >= 0 @ 5.01244 18.62/18.75 c bounds 3649 >= 0 @ 5.02742 18.62/18.75 c bounds 3546 >= 0 @ 5.03323 18.62/18.75 c bounds 3542 >= 0 @ 5.03804 18.62/18.75 c bounds 3511 >= 0 @ 5.04504 18.62/18.75 c bounds 3461 >= 0 @ 5.05013 18.62/18.75 c bounds 3456 >= 0 @ 5.06062 18.62/18.75 c bounds 3242 >= 0 @ 5.06412 18.62/18.75 c bounds 3168 >= 0 @ 5.07275 18.62/18.75 c bounds 3120 >= 0 @ 5.09595 18.62/18.75 c bounds 3014 >= 0 @ 5.10586 18.62/18.75 c bounds 2965 >= 0 @ 5.11395 18.62/18.75 c bounds 2895 >= 0 @ 5.12541 18.62/18.75 c bounds 2880 >= 0 @ 5.13038 18.62/18.75 c bounds 2818 >= 0 @ 5.13684 18.62/18.75 c bounds 2798 >= 0 @ 5.14838 18.62/18.75 c bounds 2660 >= 0 @ 5.30718 18.62/18.75 c bounds 2657 >= 0 @ 5.31532 18.62/18.75 c bounds 2646 >= 0 @ 5.32189 18.62/18.75 c bounds 2629 >= 0 @ 5.33393 18.62/18.75 c bounds 2594 >= 0 @ 5.34221 18.62/18.75 c bounds 2593 >= 0 @ 5.34625 18.62/18.75 c bounds 2583 >= 0 @ 5.35604 18.62/18.75 c bounds 2572 >= 0 @ 5.36524 18.62/18.75 c bounds 2537 >= 0 @ 5.37118 18.62/18.75 c bounds 2521 >= 0 @ 5.38044 18.62/18.75 c bounds 2479 >= 0 @ 5.38503 18.62/18.75 c bounds 2441 >= 0 @ 5.39424 18.62/18.75 c bounds 2430 >= 0 @ 5.40801 18.62/18.75 c bounds 2393 >= 0 @ 5.41367 18.62/18.75 c bounds 2328 >= 0 @ 5.42798 18.62/18.75 c bounds 2295 >= 0 @ 5.4438 18.62/18.75 c bounds 2142 >= 0 @ 5.45019 18.62/18.75 c bounds 2121 >= 0 @ 5.45738 18.62/18.75 c bounds 2112 >= 0 @ 5.46934 18.62/18.75 c bounds 2108 >= 0 @ 5.4782 18.62/18.75 c bounds 2006 >= 0 @ 5.48479 18.62/18.75 c bounds 1989 >= 0 @ 5.61576 18.62/18.75 c bounds 1973 >= 0 @ 5.62582 18.62/18.75 c bounds 1926 >= 0 @ 5.63299 18.62/18.75 c bounds 1925 >= 0 @ 5.77853 18.62/18.75 c bounds 1916 >= 0 @ 5.9134 18.62/18.75 c bounds 1911 >= 0 @ 5.92094 18.62/18.75 c bounds 1905 >= 0 @ 6.02714 18.62/18.75 c bounds 1758 >= 0 @ 6.21585 18.62/18.75 c bounds 1741 >= 0 @ 6.22387 18.62/18.75 c bounds 1732 >= 0 @ 6.22952 18.62/18.75 c bounds 1709 >= 0 @ 6.23274 18.62/18.75 c bounds 1708 >= 0 @ 6.23975 18.62/18.75 c bounds 1691 >= 0 @ 6.24519 18.62/18.75 c bounds 1682 >= 0 @ 6.25413 18.62/18.75 c bounds 1665 >= 0 @ 6.26063 18.62/18.75 c bounds 1664 >= 0 @ 6.26911 18.62/18.75 c bounds 1651 >= 0 @ 6.27872 18.62/18.75 c bounds 1636 >= 0 @ 6.2856 18.62/18.75 c bounds 1627 >= 0 @ 6.45287 18.62/18.75 c #Conflicts: 1000 | #Constraints: 658000 18.62/18.75 c bounds 1625 >= 0 @ 7.78369 18.62/18.75 c bounds 1623 >= 0 @ 8.00148 18.62/18.75 c bounds 1606 >= 0 @ 8.44528 18.62/18.75 c bounds 1599 >= 0 @ 8.63179 18.62/18.75 c bounds 1575 >= 0 @ 8.92733 18.62/18.75 c bounds 1513 >= 0 @ 8.93839 18.62/18.75 c bounds 1394 >= 0 @ 9.23384 18.62/18.75 c bounds 1388 >= 0 @ 9.64813 18.62/18.75 c bounds 1387 >= 0 @ 9.66158 18.62/18.75 c bounds 1321 >= 0 @ 9.67399 18.62/18.75 c bounds 1232 >= 0 @ 9.7842 18.62/18.75 c bounds 1199 >= 0 @ 9.79309 18.62/18.75 c bounds 1187 >= 0 @ 9.84117 18.62/18.75 c bounds 1182 >= 0 @ 9.85438 18.62/18.75 c bounds 1180 >= 0 @ 9.93291 18.62/18.75 c bounds 1108 >= 0 @ 9.9477 18.62/18.75 c bounds 1043 >= 0 @ 9.96006 18.62/18.75 c bounds 941 >= 0 @ 10.1179 18.62/18.75 c bounds 938 >= 0 @ 10.1272 18.62/18.75 c bounds 923 >= 0 @ 10.1727 18.62/18.75 c bounds 919 >= 0 @ 10.1819 18.62/18.75 c bounds 906 >= 0 @ 10.1984 18.62/18.75 c bounds 904 >= 0 @ 10.209 18.62/18.75 c bounds 874 >= 0 @ 10.222 18.62/18.75 c bounds 866 >= 0 @ 10.3347 18.62/18.75 c bounds 860 >= 0 @ 10.5621 18.62/18.75 c bounds 859 >= 0 @ 10.8581 18.62/18.75 c #Conflicts: 2000 | #Constraints: 659040 18.62/18.75 c INPROCESSING 18.62/18.75 c GARBAGE COLLECT 18.62/18.75 c bounds 838 >= 0 @ 11.8209 18.62/18.75 c #Conflicts: 3000 | #Constraints: 658912 18.62/18.75 c bounds 811 >= 0 @ 14.674 18.62/18.75 c bounds 800 >= 0 @ 15.0098 18.62/18.75 c bounds 790 >= 0 @ 15.0284 18.62/18.75 c bounds 789 >= 0 @ 15.1072 18.62/18.75 c bounds 785 >= 0 @ 15.3973 18.62/18.75 c bounds 776 >= 0 @ 16.3543 18.62/18.75 c #Conflicts: 4000 | #Constraints: 659922 18.62/18.75 c bounds 650 >= 0 @ 17.042 18.62/18.75 c INPROCESSING 18.62/18.75 c GARBAGE COLLECT 87.09/87.50 c bounds 599 >= 0 @ 20.275 87.09/87.50 c #Conflicts: 5000 | #Constraints: 659312 87.09/87.50 c #Conflicts: 6000 | #Constraints: 660312 87.09/87.50 c bounds 518 >= 0 @ 23.3606 87.09/87.50 c bounds 514 >= 0 @ 23.3726 87.09/87.50 c bounds 507 >= 0 @ 23.7552 87.09/87.50 c bounds 503 >= 0 @ 23.7711 87.09/87.50 c bounds 501 >= 0 @ 24.959 87.09/87.50 c INPROCESSING 87.09/87.50 c GARBAGE COLLECT 87.09/87.50 c #Conflicts: 7000 | #Constraints: 659321 87.09/87.50 c #Conflicts: 8000 | #Constraints: 660321 87.09/87.50 c #Conflicts: 9000 | #Constraints: 661321 87.09/87.50 c bounds 476 >= 0 @ 79.0256 87.09/87.50 c INPROCESSING 87.09/87.50 c GARBAGE COLLECT 87.09/87.50 c rational objective 160.199 103.43/103.93 c #Conflicts: 10000 | #Constraints: 660018 103.43/103.93 c #Conflicts: 11000 | #Constraints: 661018 103.43/103.93 c #Conflicts: 12000 | #Constraints: 662018 103.43/103.93 c INPROCESSING 103.43/103.93 c GARBAGE COLLECT 103.43/103.93 c rational objective 160.341 135.36/136.03 c bounds 473 >= 0 @ 101.51 135.36/136.03 c bounds 472 >= 0 @ 102.801 135.36/136.03 c #Conflicts: 13000 | #Constraints: 660490 135.36/136.03 c bounds 471 >= 0 @ 112.055 135.36/136.03 c #Conflicts: 14000 | #Constraints: 661493 135.36/136.03 c #Conflicts: 15000 | #Constraints: 662493 135.36/136.03 c INPROCESSING 135.36/136.03 c GARBAGE COLLECT 135.36/136.03 c #Conflicts: 16000 | #Constraints: 660713 135.36/136.03 c #Conflicts: 17000 | #Constraints: 661713 135.36/136.03 c #Conflicts: 18000 | #Constraints: 662713 135.36/136.03 c INPROCESSING 135.36/136.03 c GARBAGE COLLECT 135.36/136.03 c rational objective 160.419 150.40/151.12 c #Conflicts: 19000 | #Constraints: 660727 150.40/151.12 c #Conflicts: 20000 | #Constraints: 661727 150.40/151.12 c #Conflicts: 21000 | #Constraints: 662727 150.40/151.12 c INPROCESSING 150.40/151.12 c GARBAGE COLLECT 150.40/151.12 c rational objective 160.426 172.29/173.12 c bounds 469 >= 0 @ 147.973 172.29/173.12 c #Conflicts: 22000 | #Constraints: 660536 172.29/173.12 c bounds 468 >= 0 @ 152.809 172.29/173.12 c bounds 468 >= 6 @ 152.83 172.29/173.12 c #Conflicts: 23000 | #Constraints: 661547 172.29/173.12 c #Conflicts: 24000 | #Constraints: 662547 172.29/173.12 c #Conflicts: 25000 | #Constraints: 663547 172.29/173.12 c INPROCESSING 172.29/173.12 c GARBAGE COLLECT 172.29/173.12 c rational objective 160.471 194.38/195.37 c #Conflicts: 26000 | #Constraints: 661146 194.38/195.37 c #Conflicts: 27000 | #Constraints: 662146 194.38/195.37 c #Conflicts: 28000 | #Constraints: 663146 194.38/195.37 c #Conflicts: 29000 | #Constraints: 664146 194.38/195.37 c INPROCESSING 194.38/195.37 c GARBAGE COLLECT 194.38/195.37 c rational objective 160.476 311.66/313.19 c bounds 467 >= 6 @ 191.541 311.66/313.19 c bounds 461 >= 6 @ 191.599 311.66/313.19 c bounds 455 >= 6 @ 191.649 311.66/313.19 c bounds 452 >= 6 @ 193.604 311.66/313.19 c #Conflicts: 30000 | #Constraints: 661546 311.66/313.19 c #Conflicts: 31000 | #Constraints: 662546 311.66/313.19 c #Conflicts: 32000 | #Constraints: 663546 311.66/313.19 c #Conflicts: 33000 | #Constraints: 664546 311.66/313.19 c INPROCESSING 311.66/313.19 c GARBAGE COLLECT 311.66/313.19 c #Conflicts: 34000 | #Constraints: 661756 311.66/313.19 c #Conflicts: 35000 | #Constraints: 662763 311.66/313.19 c #Conflicts: 36000 | #Constraints: 663770 311.66/313.19 c #Conflicts: 37000 | #Constraints: 664780 311.66/313.19 c INPROCESSING 311.66/313.19 c GARBAGE COLLECT 311.66/313.19 c #Conflicts: 38000 | #Constraints: 661760 311.66/313.19 c #Conflicts: 39000 | #Constraints: 662760 311.66/313.19 c #Conflicts: 40000 | #Constraints: 663760 311.66/313.19 c #Conflicts: 41000 | #Constraints: 664760 311.66/313.19 c INPROCESSING 311.66/313.19 c GARBAGE COLLECT 311.66/313.19 c rational objective 160.476 343.14/344.75 c #Conflicts: 42000 | #Constraints: 661568 343.14/344.75 c #Conflicts: 43000 | #Constraints: 662568 343.14/344.75 c #Conflicts: 44000 | #Constraints: 663568 343.14/344.75 c #Conflicts: 45000 | #Constraints: 664568 343.14/344.75 c #Conflicts: 46000 | #Constraints: 665568 343.14/344.75 c INPROCESSING 343.14/344.75 c GARBAGE COLLECT 343.14/344.75 c rational objective 161.302 374.72/376.40 c #Conflicts: 47000 | #Constraints: 662162 374.72/376.40 c #Conflicts: 48000 | #Constraints: 663162 374.72/376.40 c #Conflicts: 49000 | #Constraints: 664162 374.72/376.40 c #Conflicts: 50000 | #Constraints: 665162 374.72/376.40 c #Conflicts: 51000 | #Constraints: 666162 374.72/376.40 c INPROCESSING 374.72/376.40 c GARBAGE COLLECT 374.72/376.40 c rational objective 161.667 405.31/407.15 c #Conflicts: 52000 | #Constraints: 662569 405.31/407.15 c #Conflicts: 53000 | #Constraints: 663569 405.31/407.15 c #Conflicts: 54000 | #Constraints: 664569 405.31/407.15 c #Conflicts: 55000 | #Constraints: 665569 405.31/407.15 c #Conflicts: 56000 | #Constraints: 666569 405.31/407.15 c INPROCESSING 405.31/407.15 c GARBAGE COLLECT 405.31/407.15 c rational objective 161.69 441.87/443.85 c #Conflicts: 57000 | #Constraints: 662773 441.87/443.85 c #Conflicts: 58000 | #Constraints: 663773 441.87/443.85 c #Conflicts: 59000 | #Constraints: 664773 441.87/443.85 c #Conflicts: 60000 | #Constraints: 665773 441.87/443.85 c #Conflicts: 61000 | #Constraints: 666773 441.87/443.85 c INPROCESSING 441.87/443.85 c GARBAGE COLLECT 441.87/443.85 c rational objective 161.699 483.31/485.47 c #Conflicts: 62000 | #Constraints: 662775 483.31/485.47 c #Conflicts: 63000 | #Constraints: 663775 483.31/485.47 c #Conflicts: 64000 | #Constraints: 664775 483.31/485.47 c #Conflicts: 65000 | #Constraints: 665775 483.31/485.47 c #Conflicts: 66000 | #Constraints: 666775 483.31/485.47 c INPROCESSING 483.31/485.47 c GARBAGE COLLECT 483.31/485.47 c rational objective 161.699 521.67/523.91 c #Conflicts: 67000 | #Constraints: 662584 521.67/523.91 c #Conflicts: 68000 | #Constraints: 663584 521.67/523.91 c #Conflicts: 69000 | #Constraints: 664584 521.67/523.91 c #Conflicts: 70000 | #Constraints: 665584 521.67/523.91 c #Conflicts: 71000 | #Constraints: 666584 521.67/523.91 c #Conflicts: 72000 | #Constraints: 667584 521.67/523.91 c INPROCESSING 521.67/523.91 c GARBAGE COLLECT 521.67/523.91 c rational objective 161.784 557.65/560.03 c #Conflicts: 73000 | #Constraints: 663175 557.65/560.03 c #Conflicts: 74000 | #Constraints: 664175 557.65/560.03 c #Conflicts: 75000 | #Constraints: 665175 557.65/560.03 c #Conflicts: 76000 | #Constraints: 666175 557.65/560.03 c #Conflicts: 77000 | #Constraints: 667175 557.65/560.03 c #Conflicts: 78000 | #Constraints: 668175 557.65/560.03 c INPROCESSING 557.65/560.03 c GARBAGE COLLECT 557.65/560.03 c rational objective 161.795 683.19/686.01 c #Conflicts: 79000 | #Constraints: 663574 683.19/686.01 c bounds 448 >= 6 @ 563.68 683.19/686.01 c bounds 448 >= 10 @ 563.72 683.19/686.01 c bounds 448 >= 14 @ 563.767 683.19/686.01 c bounds 448 >= 18 @ 563.843 683.19/686.01 c bounds 448 >= 22 @ 566.7 683.19/686.01 c #Conflicts: 80000 | #Constraints: 664601 683.19/686.01 c #Conflicts: 81000 | #Constraints: 665601 683.19/686.01 c #Conflicts: 82000 | #Constraints: 666601 683.19/686.01 c bounds 448 >= 26 @ 624.181 683.19/686.01 c #Conflicts: 83000 | #Constraints: 667616 683.19/686.01 c bounds 446 >= 26 @ 630.558 683.19/686.01 c bounds 444 >= 26 @ 632.754 683.19/686.01 c bounds 443 >= 26 @ 632.92 683.19/686.01 c bounds 442 >= 26 @ 633.119 683.19/686.01 c bounds 435 >= 26 @ 633.307 683.19/686.01 c bounds 433 >= 26 @ 633.489 683.19/686.01 c bounds 431 >= 26 @ 634.344 683.19/686.01 c #Conflicts: 84000 | #Constraints: 668638 683.19/686.01 c INPROCESSING 683.19/686.01 c GARBAGE COLLECT 683.19/686.01 c rational objective 161.797 822.99/826.31 c bounds 429 >= 26 @ 677.909 822.99/826.31 c bounds 426 >= 26 @ 678.771 822.99/826.31 c bounds 425 >= 26 @ 679.275 822.99/826.31 c bounds 423 >= 26 @ 679.632 822.99/826.31 c bounds 422 >= 26 @ 681.58 822.99/826.31 c bounds 414 >= 26 @ 683.041 822.99/826.31 c #Conflicts: 85000 | #Constraints: 663825 822.99/826.31 c bounds 408 >= 26 @ 690.918 822.99/826.31 c bounds 407 >= 26 @ 692.857 822.99/826.31 c bounds 406 >= 26 @ 693.172 822.99/826.31 c bounds 401 >= 26 @ 694.646 822.99/826.31 c bounds 398 >= 26 @ 694.982 822.99/826.31 c #Conflicts: 86000 | #Constraints: 664833 822.99/826.31 c #Conflicts: 87000 | #Constraints: 665833 822.99/826.31 c #Conflicts: 88000 | #Constraints: 666833 822.99/826.31 c #Conflicts: 89000 | #Constraints: 667833 822.99/826.31 c #Conflicts: 90000 | #Constraints: 668833 822.99/826.31 c INPROCESSING 822.99/826.31 c GARBAGE COLLECT 822.99/826.31 c rational objective 161.797 929.72/933.40 c bounds 395 >= 26 @ 815.068 929.72/933.40 c bounds 389 >= 26 @ 816.24 929.72/933.40 c bounds 388 >= 26 @ 819.292 929.72/933.40 c #Conflicts: 91000 | #Constraints: 663830 929.72/933.40 c bounds 381 >= 26 @ 827.879 929.72/933.40 c bounds 376 >= 26 @ 828.72 929.72/933.40 c #Conflicts: 92000 | #Constraints: 664843 929.72/933.40 c bounds 375 >= 26 @ 835.229 929.72/933.40 c bounds 374 >= 26 @ 837.935 929.72/933.40 c bounds 371 >= 26 @ 838.655 929.72/933.40 c bounds 369 >= 26 @ 838.72 929.72/933.40 c bounds 367 >= 26 @ 843.306 929.72/933.40 c #Conflicts: 93000 | #Constraints: 665865 929.72/933.40 c #Conflicts: 94000 | #Constraints: 666880 929.72/933.40 c bounds 366 >= 26 @ 862.348 929.72/933.40 c bounds 364 >= 26 @ 863.378 929.72/933.40 c bounds 360 >= 26 @ 863.534 929.72/933.40 c bounds 359 >= 26 @ 863.634 929.72/933.40 c bounds 358 >= 26 @ 873.072 929.72/933.40 c #Conflicts: 95000 | #Constraints: 667900 929.72/933.40 c #Conflicts: 96000 | #Constraints: 668913 929.72/933.40 c INPROCESSING 929.72/933.40 c GARBAGE COLLECT 929.72/933.40 c rational objective 161.847 975.77/979.60 c bounds 358 >= 29 @ 920.493 975.77/979.60 c bounds 358 >= 32 @ 920.586 975.77/979.60 c bounds 358 >= 35 @ 925.519 975.77/979.60 c #Conflicts: 97000 | #Constraints: 663661 975.77/979.60 c #Conflicts: 98000 | #Constraints: 664661 975.77/979.60 c #Conflicts: 99000 | #Constraints: 665661 975.77/979.60 c #Conflicts: 100000 | #Constraints: 666661 975.77/979.60 c #Conflicts: 101000 | #Constraints: 667661 975.77/979.60 c #Conflicts: 102000 | #Constraints: 668661 975.77/979.60 c #Conflicts: 103000 | #Constraints: 669661 975.77/979.60 c INPROCESSING 975.77/979.60 c rational objective 161.847 1051.19/1055.33 c #Conflicts: 104000 | #Constraints: 664227 1051.19/1055.33 c #Conflicts: 105000 | #Constraints: 665227 1051.19/1055.33 c #Conflicts: 106000 | #Constraints: 666228 1051.19/1055.33 c #Conflicts: 107000 | #Constraints: 667228 1051.19/1055.33 c #Conflicts: 108000 | #Constraints: 668228 1051.19/1055.33 c #Conflicts: 109000 | #Constraints: 669228 1051.19/1055.33 c #Conflicts: 110000 | #Constraints: 670228 1051.19/1055.33 c INPROCESSING 1051.19/1055.33 c GARBAGE COLLECT 1051.19/1055.33 c rational objective 161.847 1156.61/1161.15 c #Conflicts: 111000 | #Constraints: 664622 1156.61/1161.15 c #Conflicts: 112000 | #Constraints: 665622 1156.61/1161.15 c bounds 357 >= 35 @ 1083.16 1156.61/1161.15 c bounds 357 >= 37 @ 1083.22 1156.61/1161.15 c #Conflicts: 113000 | #Constraints: 666626 1156.61/1161.15 c #Conflicts: 114000 | #Constraints: 667627 1156.61/1161.15 c #Conflicts: 115000 | #Constraints: 668627 1156.61/1161.15 c #Conflicts: 116000 | #Constraints: 669627 1156.61/1161.15 c #Conflicts: 117000 | #Constraints: 670629 1156.61/1161.15 c INPROCESSING 1156.61/1161.15 c GARBAGE COLLECT 1156.61/1161.15 c rational objective 161.847 1210.01/1214.74 c #Conflicts: 118000 | #Constraints: 664815 1210.01/1214.74 c #Conflicts: 119000 | #Constraints: 665816 1210.01/1214.74 c #Conflicts: 120000 | #Constraints: 666816 1210.01/1214.74 c #Conflicts: 121000 | #Constraints: 667816 1210.01/1214.74 c #Conflicts: 122000 | #Constraints: 668816 1210.01/1214.74 c #Conflicts: 123000 | #Constraints: 669817 1210.01/1214.74 c #Conflicts: 124000 | #Constraints: 670818 1210.01/1214.74 c INPROCESSING 1210.01/1214.74 c rational objective 161.847 1314.75/1319.87 c #Conflicts: 125000 | #Constraints: 664815 1314.75/1319.87 c #Conflicts: 126000 | #Constraints: 665815 1314.75/1319.87 c #Conflicts: 127000 | #Constraints: 666815 1314.75/1319.87 c #Conflicts: 128000 | #Constraints: 667816 1314.75/1319.87 c #Conflicts: 129000 | #Constraints: 668816 1314.75/1319.87 c #Conflicts: 130000 | #Constraints: 669816 1314.75/1319.87 c #Conflicts: 131000 | #Constraints: 670817 1314.75/1319.87 c INPROCESSING 1314.75/1319.87 c GARBAGE COLLECT 1314.75/1319.87 c rational objective 161.847 1428.31/1433.84 c #Conflicts: 132000 | #Constraints: 664622 1428.31/1433.84 c #Conflicts: 133000 | #Constraints: 665634 1428.31/1433.84 c bounds 351 >= 37 @ 1334.6 1428.31/1433.84 c bounds 351 >= 38 @ 1334.64 1428.31/1433.84 c bounds 351 >= 39 @ 1334.68 1428.31/1433.84 c bounds 351 >= 40 @ 1334.71 1428.31/1433.84 c bounds 351 >= 41 @ 1334.75 1428.31/1433.84 c bounds 351 >= 42 @ 1334.8 1428.31/1433.84 c bounds 351 >= 43 @ 1334.83 1428.31/1433.84 c bounds 351 >= 44 @ 1334.87 1428.31/1433.84 c bounds 351 >= 45 @ 1334.91 1428.31/1433.84 c bounds 351 >= 46 @ 1334.94 1428.31/1433.84 c bounds 351 >= 47 @ 1334.98 1428.31/1433.84 c bounds 351 >= 48 @ 1335.02 1428.31/1433.84 c bounds 351 >= 49 @ 1335.05 1428.31/1433.84 c bounds 351 >= 50 @ 1335.09 1428.31/1433.84 c bounds 351 >= 51 @ 1335.13 1428.31/1433.84 c bounds 351 >= 52 @ 1335.16 1428.31/1433.84 c bounds 351 >= 53 @ 1335.2 1428.31/1433.84 c bounds 351 >= 54 @ 1335.24 1428.31/1433.84 c bounds 351 >= 55 @ 1335.27 1428.31/1433.84 c bounds 351 >= 56 @ 1335.31 1428.31/1433.84 c bounds 351 >= 57 @ 1335.35 1428.31/1433.84 c bounds 351 >= 58 @ 1335.4 1428.31/1433.84 c bounds 351 >= 59 @ 1335.44 1428.31/1433.84 c bounds 351 >= 60 @ 1335.47 1428.31/1433.84 c bounds 351 >= 61 @ 1335.51 1428.31/1433.84 c bounds 351 >= 62 @ 1335.55 1428.31/1433.84 c bounds 351 >= 63 @ 1335.59 1428.31/1433.84 c bounds 351 >= 64 @ 1335.64 1428.31/1433.84 c bounds 351 >= 65 @ 1335.69 1428.31/1433.84 c bounds 351 >= 66 @ 1335.83 1428.31/1433.84 c bounds 351 >= 67 @ 1337.95 1428.31/1433.84 c bounds 351 >= 68 @ 1338.57 1428.31/1433.84 c bounds 351 >= 69 @ 1339.29 1428.31/1433.84 c #Conflicts: 134000 | #Constraints: 666861 1428.31/1433.84 c bounds 351 >= 70 @ 1340.34 1428.31/1433.84 c bounds 351 >= 71 @ 1341.29 1428.31/1433.84 c bounds 351 >= 72 @ 1343.25 1428.31/1433.84 c bounds 351 >= 73 @ 1347.57 1428.31/1433.84 c #Conflicts: 135000 | #Constraints: 667951 1428.31/1433.84 c bounds 351 >= 74 @ 1361.63 1428.31/1433.84 c #Conflicts: 136000 | #Constraints: 668972 1428.31/1433.84 c bounds 351 >= 75 @ 1370.42 1428.31/1433.84 c #Conflicts: 137000 | #Constraints: 670008 1428.31/1433.84 c bounds 351 >= 76 @ 1383.13 1428.31/1433.84 c #Conflicts: 138000 | #Constraints: 671035 1428.31/1433.84 c #Conflicts: 139000 | #Constraints: 672035 1428.31/1433.84 c bounds 351 >= 77 @ 1393.33 1428.31/1433.84 c INPROCESSING 1428.31/1433.84 c GARBAGE COLLECT 1428.31/1433.84 c rational objective 161.847 1559.48/1565.57 c bounds 344 >= 77 @ 1416.03 1559.48/1565.57 c #Conflicts: 140000 | #Constraints: 665605 1559.48/1565.57 c bounds 344 >= 78 @ 1428.68 1559.48/1565.57 c bounds 338 >= 78 @ 1428.85 1559.48/1565.57 c #Conflicts: 141000 | #Constraints: 666634 1559.48/1565.57 c #Conflicts: 142000 | #Constraints: 667634 1559.48/1565.57 c #Conflicts: 143000 | #Constraints: 668636 1559.48/1565.57 c #Conflicts: 144000 | #Constraints: 669648 1559.48/1565.57 c #Conflicts: 145000 | #Constraints: 670660 1559.48/1565.57 c #Conflicts: 146000 | #Constraints: 671669 1559.48/1565.57 c #Conflicts: 147000 | #Constraints: 672682 1559.48/1565.57 c INPROCESSING 1559.48/1565.57 c GARBAGE COLLECT 1559.48/1565.57 c rational objective 161.847 1653.64/1660.00 c #Conflicts: 148000 | #Constraints: 666062 1653.64/1660.00 c #Conflicts: 149000 | #Constraints: 667062 1653.64/1660.00 c bounds 338 >= 79 @ 1561.72 1653.64/1660.00 c #Conflicts: 150000 | #Constraints: 668095 1653.64/1660.00 c #Conflicts: 151000 | #Constraints: 669095 1653.64/1660.00 c bounds 338 >= 80 @ 1591.56 1653.64/1660.00 c #Conflicts: 152000 | #Constraints: 670122 1653.64/1660.00 c #Conflicts: 153000 | #Constraints: 671122 1653.64/1660.00 c bounds 338 >= 81 @ 1613.84 1653.64/1660.00 c #Conflicts: 154000 | #Constraints: 672152 1653.64/1660.00 c #Conflicts: 155000 | #Constraints: 673152 1653.64/1660.00 c INPROCESSING 1653.64/1660.00 c GARBAGE COLLECT 1653.64/1660.00 c rational objective 161.847 1735.90/1742.68 c #Conflicts: 156000 | #Constraints: 666349 1735.90/1742.68 c #Conflicts: 157000 | #Constraints: 667349 1735.90/1742.68 c bounds 338 >= 82 @ 1655.07 1735.90/1742.68 c #Conflicts: 158000 | #Constraints: 668382 1735.90/1742.68 c #Conflicts: 159000 | #Constraints: 669382 1735.90/1742.68 c #Conflicts: 160000 | #Constraints: 670382 1735.90/1742.68 c #Conflicts: 161000 | #Constraints: 671382 1735.90/1742.68 c #Conflicts: 162000 | #Constraints: 672382 1735.90/1742.68 c #Conflicts: 163000 | #Constraints: 673382 1735.90/1742.68 c INPROCESSING 1735.90/1742.68 c GARBAGE COLLECT 1735.90/1742.68 c rational objective 161.847 2077.83/2085.83 c #Conflicts: 164000 | #Constraints: 666388 2077.83/2085.83 c bounds 338 >= 83 @ 1725.64 2077.83/2085.83 c #Conflicts: 165000 | #Constraints: 667418 2077.83/2085.83 c #Conflicts: 166000 | #Constraints: 668418 2077.83/2085.83 c #Conflicts: 167000 | #Constraints: 669418 2077.83/2085.83 c #Conflicts: 168000 | #Constraints: 670418 2077.83/2085.83 c #Conflicts: 169000 | #Constraints: 671418 2077.83/2085.83 c #Conflicts: 170000 | #Constraints: 672418 2077.83/2085.83 c #Conflicts: 171000 | #Constraints: 673418 2077.83/2085.83 c bounds 338 >= 84 @ 1802.07 2077.83/2085.83 c INPROCESSING 2077.83/2085.83 c GARBAGE COLLECT 2077.83/2085.83 c #Conflicts: 172000 | #Constraints: 666250 2077.83/2085.83 c #Conflicts: 173000 | #Constraints: 667250 2077.83/2085.83 c #Conflicts: 174000 | #Constraints: 668250 2077.83/2085.83 c #Conflicts: 175000 | #Constraints: 669250 2077.83/2085.83 c #Conflicts: 176000 | #Constraints: 670250 2077.83/2085.83 c #Conflicts: 177000 | #Constraints: 671250 2077.83/2085.83 c #Conflicts: 178000 | #Constraints: 672250 2077.83/2085.83 c #Conflicts: 179000 | #Constraints: 673250 2077.83/2085.83 c #Conflicts: 180000 | #Constraints: 674250 2077.83/2085.83 c INPROCESSING 2077.83/2085.83 c GARBAGE COLLECT 2077.83/2085.83 c rational objective 161.847 2233.41/2242.05 c #Conflicts: 181000 | #Constraints: 666853 2233.41/2242.05 c #Conflicts: 182000 | #Constraints: 667859 2233.41/2242.05 c #Conflicts: 183000 | #Constraints: 668875 2233.41/2242.05 c #Conflicts: 184000 | #Constraints: 669891 2233.41/2242.05 c #Conflicts: 185000 | #Constraints: 670904 2233.41/2242.05 c #Conflicts: 186000 | #Constraints: 671922 2233.41/2242.05 c #Conflicts: 187000 | #Constraints: 672937 2233.41/2242.05 c #Conflicts: 188000 | #Constraints: 673954 2233.41/2242.05 c #Conflicts: 189000 | #Constraints: 674964 2233.41/2242.05 c INPROCESSING 2233.41/2242.05 c GARBAGE COLLECT 2233.41/2242.05 c rational objective 161.847 2335.39/2344.42 c #Conflicts: 190000 | #Constraints: 667298 2335.39/2344.42 c #Conflicts: 191000 | #Constraints: 668298 2335.39/2344.42 c #Conflicts: 192000 | #Constraints: 669298 2335.39/2344.42 c #Conflicts: 193000 | #Constraints: 670298 2335.39/2344.42 c #Conflicts: 194000 | #Constraints: 671298 2335.39/2344.42 c #Conflicts: 195000 | #Constraints: 672298 2335.39/2344.42 c bounds 338 >= 85 @ 2280.76 2335.39/2344.42 c #Conflicts: 196000 | #Constraints: 673325 2335.39/2344.42 c #Conflicts: 197000 | #Constraints: 674325 2335.39/2344.42 c #Conflicts: 198000 | #Constraints: 675325 2335.39/2344.42 c INPROCESSING 2335.39/2344.42 c GARBAGE COLLECT 2335.39/2344.42 c rational objective 161.847 2437.83/2447.31 c #Conflicts: 199000 | #Constraints: 667519 2437.83/2447.31 c #Conflicts: 200000 | #Constraints: 668519 2437.83/2447.31 c #Conflicts: 201000 | #Constraints: 669519 2437.83/2447.31 c #Conflicts: 202000 | #Constraints: 670519 2437.83/2447.31 c #Conflicts: 203000 | #Constraints: 671519 2437.83/2447.31 c #Conflicts: 204000 | #Constraints: 672519 2437.83/2447.31 c #Conflicts: 205000 | #Constraints: 673519 2437.83/2447.31 c #Conflicts: 206000 | #Constraints: 674519 2437.83/2447.31 c #Conflicts: 207000 | #Constraints: 675519 2437.83/2447.31 c INPROCESSING 2437.83/2447.31 c GARBAGE COLLECT 2437.83/2447.31 c rational objective 161.847 2548.36/2558.33 c #Conflicts: 208000 | #Constraints: 667499 2548.36/2558.33 c #Conflicts: 209000 | #Constraints: 668499 2548.36/2558.33 c #Conflicts: 210000 | #Constraints: 669499 2548.36/2558.33 c #Conflicts: 211000 | #Constraints: 670499 2548.36/2558.33 c #Conflicts: 212000 | #Constraints: 671499 2548.36/2558.33 c #Conflicts: 213000 | #Constraints: 672499 2548.36/2558.33 c #Conflicts: 214000 | #Constraints: 673499 2548.36/2558.33 c bounds 338 >= 86 @ 2483.84 2548.36/2558.33 c #Conflicts: 215000 | #Constraints: 674535 2548.36/2558.33 c #Conflicts: 216000 | #Constraints: 675535 2548.36/2558.33 c INPROCESSING 2548.36/2558.33 c GARBAGE COLLECT 2548.36/2558.33 c rational objective 161.847 2664.21/2674.62 c #Conflicts: 217000 | #Constraints: 667329 2664.21/2674.62 c #Conflicts: 218000 | #Constraints: 668329 2664.21/2674.62 c #Conflicts: 219000 | #Constraints: 669337 2664.21/2674.62 c #Conflicts: 220000 | #Constraints: 670345 2664.21/2674.62 c bounds 336 >= 86 @ 2555.2 2664.21/2674.62 c #Conflicts: 221000 | #Constraints: 671358 2664.21/2674.62 c #Conflicts: 222000 | #Constraints: 672358 2664.21/2674.62 c #Conflicts: 223000 | #Constraints: 673358 2664.21/2674.62 c #Conflicts: 224000 | #Constraints: 674358 2664.21/2674.62 c #Conflicts: 225000 | #Constraints: 675358 2664.21/2674.62 c #Conflicts: 226000 | #Constraints: 676358 2664.21/2674.62 c INPROCESSING 2664.21/2674.62 c GARBAGE COLLECT 2664.21/2674.62 c rational objective 161.847 2825.31/2836.31 c bounds 335 >= 86 @ 2634.17 2825.31/2836.31 c #Conflicts: 227000 | #Constraints: 667954 2825.31/2836.31 c #Conflicts: 228000 | #Constraints: 668961 2825.31/2836.31 c #Conflicts: 229000 | #Constraints: 669970 2825.31/2836.31 c #Conflicts: 230000 | #Constraints: 670984 2825.31/2836.31 c #Conflicts: 231000 | #Constraints: 671992 2825.31/2836.31 c #Conflicts: 232000 | #Constraints: 673004 2825.31/2836.31 c #Conflicts: 233000 | #Constraints: 674020 2825.31/2836.31 c bounds 334 >= 86 @ 2749.25 2825.31/2836.31 c #Conflicts: 234000 | #Constraints: 675026 2825.31/2836.31 c #Conflicts: 235000 | #Constraints: 676026 2825.31/2836.31 c #Conflicts: 236000 | #Constraints: 677026 2825.31/2836.31 c INPROCESSING 2825.31/2836.31 c GARBAGE COLLECT 2825.31/2836.31 c rational objective 161.847 2950.41/2961.99 c #Conflicts: 237000 | #Constraints: 668371 2950.41/2961.99 c #Conflicts: 238000 | #Constraints: 669371 2950.41/2961.99 c #Conflicts: 239000 | #Constraints: 670371 2950.41/2961.99 c #Conflicts: 240000 | #Constraints: 671371 2950.41/2961.99 c #Conflicts: 241000 | #Constraints: 672371 2950.41/2961.99 c #Conflicts: 242000 | #Constraints: 673371 2950.41/2961.99 c #Conflicts: 243000 | #Constraints: 674371 2950.41/2961.99 c #Conflicts: 244000 | #Constraints: 675371 2950.41/2961.99 c #Conflicts: 245000 | #Constraints: 676371 2950.41/2961.99 c #Conflicts: 246000 | #Constraints: 677371 2950.41/2961.99 c INPROCESSING 2950.41/2961.99 c GARBAGE COLLECT 2950.41/2961.99 c rational objective 161.847 3087.49/3099.53 c #Conflicts: 247000 | #Constraints: 668551 3087.49/3099.53 c #Conflicts: 248000 | #Constraints: 669551 3087.49/3099.53 c #Conflicts: 249000 | #Constraints: 670551 3087.49/3099.53 c #Conflicts: 250000 | #Constraints: 671551 3087.49/3099.53 c #Conflicts: 251000 | #Constraints: 672551 3087.49/3099.53 c #Conflicts: 252000 | #Constraints: 673551 3087.49/3099.53 c bounds 334 >= 87 @ 2993.3 3087.49/3099.53 c bounds 331 >= 87 @ 2994.97 3087.49/3099.53 c #Conflicts: 253000 | #Constraints: 674593 3087.49/3099.53 c #Conflicts: 254000 | #Constraints: 675601 3087.49/3099.53 c #Conflicts: 255000 | #Constraints: 676614 3087.49/3099.53 c bounds 322 >= 87 @ 3025.31 3087.49/3099.53 c #Conflicts: 256000 | #Constraints: 677626 3087.49/3099.53 c INPROCESSING 3087.49/3099.53 c GARBAGE COLLECT 3087.49/3099.53 c rational objective 161.847 3217.77/3230.30 c #Conflicts: 257000 | #Constraints: 668597 3217.77/3230.30 c #Conflicts: 258000 | #Constraints: 669597 3217.77/3230.30 c #Conflicts: 259000 | #Constraints: 670597 3217.77/3230.30 c #Conflicts: 260000 | #Constraints: 671597 3217.77/3230.30 c #Conflicts: 261000 | #Constraints: 672597 3217.77/3230.30 c #Conflicts: 262000 | #Constraints: 673597 3217.77/3230.30 c #Conflicts: 263000 | #Constraints: 674597 3217.77/3230.30 c #Conflicts: 264000 | #Constraints: 675597 3217.77/3230.30 c #Conflicts: 265000 | #Constraints: 676597 3217.77/3230.30 c #Conflicts: 266000 | #Constraints: 677597 3217.77/3230.30 c INPROCESSING 3217.77/3230.30 c GARBAGE COLLECT 3217.77/3230.30 c rational objective 161.847 3475.68/3489.28 c #Conflicts: 267000 | #Constraints: 668388 3475.68/3489.28 c #Conflicts: 268000 | #Constraints: 669395 3475.68/3489.28 c #Conflicts: 269000 | #Constraints: 670404 3475.68/3489.28 c #Conflicts: 270000 | #Constraints: 671412 3475.68/3489.28 c #Conflicts: 271000 | #Constraints: 672420 3475.68/3489.28 c #Conflicts: 272000 | #Constraints: 673430 3475.68/3489.28 c #Conflicts: 273000 | #Constraints: 674435 3475.68/3489.28 c #Conflicts: 274000 | #Constraints: 675443 3475.68/3489.28 c #Conflicts: 275000 | #Constraints: 676454 3475.68/3489.28 c #Conflicts: 276000 | #Constraints: 677464 3475.68/3489.28 c #Conflicts: 277000 | #Constraints: 678474 3475.68/3489.28 c INPROCESSING 3475.68/3489.28 c GARBAGE COLLECT 3475.68/3489.28 c rational objective 161.847 3600.01/3614.00 c #Conflicts: 278000 | #Constraints: 669027 3600.01/3614.00 c #Conflicts: 279000 | #Constraints: 670027 3600.01/3614.00 c #Conflicts: 280000 | #Constraints: 671027 3600.01/3614.00 c #Conflicts: 281000 | #Constraints: 672027 3600.01/3614.00 c #Conflicts: 282000 | #Constraints: 673027 3600.01/3614.00 c #Conflicts: 283000 | #Constraints: 674027 3600.01/3614.00 c #Conflicts: 284000 | #Constraints: 675027 3600.01/3614.00 c #Conflicts: 285000 | #Constraints: 676027 3600.01/3614.00 c #Conflicts: 286000 | #Constraints: 677027 3600.01/3614.00 c Program interrupted by user. 3600.01/3614.00 c cpu time 3557.79 s 3600.01/3614.00 c deterministic time 382911434552 3.83e+11 3600.01/3614.00 c optimization time 123.046 s 3600.01/3614.00 c total solve time 3433.2 s 3600.01/3614.00 c core-guided solve time 2279.08 s 3600.01/3614.00 c propagation time 2053.86 s 3600.01/3614.00 c conflict analysis time 899.009 s 3600.01/3614.00 c propagations 72519122 3600.01/3614.00 c resolve steps 4488939 3600.01/3614.00 c decisions 12478663 3600.01/3614.00 c conflicts 286624 3600.01/3614.00 c restarts 683 3600.01/3614.00 c inprocessing phases 44 3600.01/3614.00 c input clauses 657103 3600.01/3614.00 c input cardinalities 60 3600.01/3614.00 c input general constraints 718 3600.01/3614.00 c input average constraint length 6.67 3600.01/3614.00 c input average constraint degree 145.97 3600.01/3614.00 c learned clauses 142593 3600.01/3614.00 c learned cardinalities 11 3600.01/3614.00 c learned general constraints 144694 3600.01/3614.00 c learned average constraint length 3621.54 3600.01/3614.00 c learned average constraint degree 73842989062.25 3600.01/3614.00 c watched constraints 29052 3600.01/3614.00 c counting constraints 116360 3600.01/3614.00 c gcd simplifications 4090 3600.01/3614.00 c detected cardinalities 0 3600.01/3614.00 c weakened non-implied lits 274272914 3600.01/3614.00 c weakened non-implying lits 70007 3600.01/3614.00 c original variables 10000 3600.01/3614.00 c clausal propagations 22657200 3600.01/3614.00 c cardinality propagations 89765 3600.01/3614.00 c watched propagations 2021045 3600.01/3614.00 c counting propagations 47177024 3600.01/3614.00 c watch lookups 21854711028 3600.01/3614.00 c watch backjump lookups 21663305539 3600.01/3614.00 c watch checks 103798087946 3600.01/3614.00 c propagation checks 230928834703 3600.01/3614.00 c constraint additions 4495780853 3600.01/3614.00 c trail pops 85274208 3600.01/3614.00 c formula constraints 656900 3600.01/3614.00 c learned constraints 285970 3600.01/3614.00 c bound constraints 252 3600.01/3614.00 c core-guided constraints 729 3600.01/3614.00 c encountered formula constraints 2736873 3600.01/3614.00 c encountered learned constraints 1711968 3600.01/3614.00 c encountered bound constraints 5794 3600.01/3614.00 c encountered core-guided constraints 272631 3600.01/3614.00 c LP total time 1059.2 s 3600.01/3614.00 c LP solve time 1019.35 s 3600.01/3614.00 c LP constraints added 656971 3600.01/3614.00 c LP constraints removed 54 3600.01/3614.00 c LP pivots internal 287583 3600.01/3614.00 c LP pivots root 154906 3600.01/3614.00 c LP calls 1471 3600.01/3614.00 c LP optimalities 802 3600.01/3614.00 c LP no pivot count 280 3600.01/3614.00 c LP infeasibilities 664 3600.01/3614.00 c LP valid Farkas constraints 664 3600.01/3614.00 c LP learned Farkas constraints 664 3600.01/3614.00 c LP basis resets 0 3600.01/3614.00 c LP cycling count 0 3600.01/3614.00 c LP singular count 0 3600.01/3614.00 c LP no primal count 0 3600.01/3614.00 c LP no farkas count 0 3600.01/3614.00 c LP other issue count 0 3600.01/3614.00 c LP Gomory cuts 0 3600.01/3614.00 c LP learned cuts 71 3600.01/3614.00 c LP deleted cuts 54 3600.01/3614.00 c LP encountered Gomory constraints 0 3600.01/3614.00 c LP encountered Farkas constraints 45962 3600.01/3614.00 c LP encountered learned Farkas constraints 1671 3600.01/3614.00 c CG auxiliary variables introduced 263 3600.01/3614.00 c CG solutions found 192 3600.01/3614.00 c CG cores constructed 60 3600.01/3614.00 c CG core cardinality constraints returned 0 3600.01/3614.00 c CG unit cores 0 3600.01/3614.00 c CG single cores 56 3600.01/3614.00 c CG blocks removed during cardinality reduction 0 3600.01/3614.00 c CG first core best 0 3600.01/3614.00 c CG decision core best 0 3600.01/3614.00 c CG core reduction tie 4 3600.01/3614.00 c CG core degree average 1.00 3600.01/3614.00 c CG core slack average 807.22 3600.01/3614.00 s SATISFIABLE 3600.01/3614.00 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 -x97
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (54669 MiB free)
memory of node 1: 64473 MiB (57411 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460186-1722064838/watcher-4460186-1722064838 -o /tmp/evaluation-result-4460186-1722064838/solver-4460186-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722064836-369756 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460186-1722064838 --lp-cut-gomory=0 HOME/instance-4460186-1722064838.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=369865, runsolver pid=369862
[startup+0.100086 s]*
/proc/loadavg: 0.09 0.09 0.09 5/256 369866
/proc/meminfo: memFree=114759220/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=41216 memory=12640 CPUtime=0.1 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 1826 0 0 0 7 3 0 0 20 0 1 0 43006378 42205184 3160 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 10304 3160 1383 992 0 2162 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41216 KiB
Current children cumulated memory: 12640 KiB
[startup+0.205647 s]*
/proc/loadavg: 0.09 0.09 0.09 5/256 369866
/proc/meminfo: memFree=114753396/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=42660 memory=13956 CPUtime=0.2 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 2184 0 0 0 14 6 0 0 20 0 1 0 43006378 43683840 3489 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 10665 3489 1383 992 0 2523 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42660 KiB
Current children cumulated memory: 13956 KiB
[startup+0.305408 s]*
/proc/loadavg: 0.09 0.09 0.09 5/256 369866
/proc/meminfo: memFree=114747208/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=45644 memory=15892 CPUtime=0.3 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 2641 0 0 0 21 9 0 0 20 0 1 0 43006378 46739456 3973 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 11411 3973 1383 992 0 3269 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45644 KiB
Current children cumulated memory: 15892 KiB
[startup+0.700173 s]
/proc/loadavg: 0.09 0.09 0.09 5/256 369866
/proc/meminfo: memFree=114733316/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=56396 memory=27500 CPUtime=0.69 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 5034 0 0 0 48 21 0 0 20 0 1 0 43006378 57749504 6875 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 14099 6875 1383 992 0 5957 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 56396 KiB
Current children cumulated memory: 27500 KiB
[startup+1.50016 s]
/proc/loadavg: 0.09 0.09 0.09 5/256 369866
/proc/meminfo: memFree=114683260/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=85088 memory=51872 CPUtime=1.48 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 8100 0 0 0 106 42 0 0 20 0 1 0 43006378 87130112 12968 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 21272 12968 1383 992 0 13130 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 85088 KiB
Current children cumulated memory: 51872 KiB
[startup+3.10553 s]
/proc/loadavg: 0.40 0.15 0.11 5/256 369868
/proc/meminfo: memFree=114253800/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=361148 memory=331000 CPUtime=3.08 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 58005 0 0 0 250 58 0 0 20 0 1 0 43006378 369815552 82750 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 90287 82750 1718 992 0 82145 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 361148 KiB
Current children cumulated memory: 331000 KiB
[startup+6.30021 s]
/proc/loadavg: 0.40 0.15 0.11 5/256 369868
/proc/meminfo: memFree=114159916/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=367240 memory=321596 CPUtime=6.27 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 59171 0 0 0 537 90 0 0 20 0 1 0 43006378 376053760 80399 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 91810 80399 1797 992 0 83668 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 367240 KiB
Current children cumulated memory: 321596 KiB
[startup+12.7002 s]
/proc/loadavg: 0.69 0.21 0.13 5/260 369872
/proc/meminfo: memFree=113933252/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=447780 memory=404216 CPUtime=12.64 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 64008 0 0 0 1127 137 0 0 20 0 1 0 43006378 458526720 101054 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 111945 101054 1878 992 0 103803 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 447780 KiB
Current children cumulated memory: 404216 KiB
[startup+25.5002 s]
/proc/loadavg: 1.42 0.40 0.19 5/255 369902
/proc/meminfo: memFree=113569572/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=458100 memory=415300 CPUtime=25.39 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 64273 0 0 0 2370 169 0 0 20 0 1 0 43006378 469094400 103825 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 114525 103825 1878 992 0 106383 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 458100 KiB
Current children cumulated memory: 415300 KiB
[startup+51.1058 s]
/proc/loadavg: 2.38 0.71 0.30 5/261 369926
/proc/meminfo: memFree=113378904/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=533396 memory=467064 CPUtime=50.85 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 68107 0 0 0 4897 188 0 0 20 0 1 0 43006378 546197504 116766 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 133349 116766 1878 992 0 125207 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 533396 KiB
Current children cumulated memory: 467064 KiB
[startup+102.3 s]
/proc/loadavg: 3.37 1.23 0.50 5/261 369935
/proc/meminfo: memFree=112825948/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=662804 memory=538664 CPUtime=101.83 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 72661 0 0 0 9953 230 0 0 20 0 1 0 43006378 678711296 134666 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 165701 134666 1878 992 0 157559 0
Current children cumulated CPU time: 101.83 s
Current children cumulated vsize: 662804 KiB
Current children cumulated memory: 538664 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 1.78 0.74 5/261 369946
/proc/meminfo: memFree=111250564/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=802504 memory=656704 CPUtime=161.53 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 78345 0 0 0 15831 322 0 0 20 0 1 0 43006378 821764096 164176 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 200626 164176 1878 992 0 192484 0
Current children cumulated CPU time: 161.53 s
Current children cumulated vsize: 802504 KiB
Current children cumulated memory: 656704 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.20 0.95 5/261 369957
/proc/meminfo: memFree=110141496/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=838736 memory=710376 CPUtime=221.28 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 86305 0 0 0 21724 404 0 0 20 0 1 0 43006378 858865664 177594 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 209684 177594 1894 992 0 201542 0
Current children cumulated CPU time: 221.28 s
Current children cumulated vsize: 838736 KiB
Current children cumulated memory: 710376 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.56 1.16 5/263 370351
/proc/meminfo: memFree=108546008/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=1518204 memory=1227196 CPUtime=280.98 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 165052 0 0 0 27597 501 0 0 20 0 1 0 43006378 1554640896 306799 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 379551 306799 1894 992 0 371409 0
Current children cumulated CPU time: 280.98 s
Current children cumulated vsize: 1518204 KiB
Current children cumulated memory: 1227196 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 2.84 1.34 5/261 370361
/proc/meminfo: memFree=108448400/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=1534172 memory=1243388 CPUtime=340.74 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 166831 0 0 0 33543 531 0 0 20 0 1 0 43006378 1570992128 310847 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 383543 310847 1894 992 0 375401 0
Current children cumulated CPU time: 340.74 s
Current children cumulated vsize: 1534172 KiB
Current children cumulated memory: 1243388 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 3.10 1.53 5/260 370372
/proc/meminfo: memFree=108346508/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=1534172 memory=1243400 CPUtime=400.53 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 166935 0 0 0 39465 588 0 0 20 0 1 0 43006378 1570992128 310850 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 383543 310850 1894 992 0 375401 0
Current children cumulated CPU time: 400.53 s
Current children cumulated vsize: 1534172 KiB
Current children cumulated memory: 1243400 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.28 1.69 5/262 370552
/proc/meminfo: memFree=107830440/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=1544436 memory=1253664 CPUtime=460.29 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 167616 0 0 0 45404 625 0 0 20 0 1 0 43006378 1581502464 313416 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 386109 313416 1894 992 0 377967 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.03 5/264 371679
/proc/meminfo: memFree=60163724/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=2666088 memory=2419304 CPUtime=3150.05 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 316442 0 0 0 311299 3706 0 0 20 0 1 0 43006378 2730074112 604826 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 666522 604826 1894 992 0 658380 0
Current children cumulated CPU time: 3150.05 s
Current children cumulated vsize: 2666088 KiB
Current children cumulated memory: 2419304 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.12 4.03 5/263 371690
/proc/meminfo: memFree=58631456/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=2666088 memory=2419304 CPUtime=3209.81 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 317624 0 0 0 317183 3798 0 0 20 0 1 0 43006378 2730074112 604826 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 666522 604826 1894 992 0 658380 0
Current children cumulated CPU time: 3209.81 s
Current children cumulated vsize: 2666088 KiB
Current children cumulated memory: 2419304 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.03 5/262 371700
/proc/meminfo: memFree=57182128/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=2666088 memory=2419304 CPUtime=3269.55 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 318766 0 0 0 323086 3869 0 0 20 0 1 0 43006378 2730074112 604826 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 666522 604826 1894 992 0 658380 0
Current children cumulated CPU time: 3269.55 s
Current children cumulated vsize: 2666088 KiB
Current children cumulated memory: 2419304 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.03 5/258 371710
/proc/meminfo: memFree=56143036/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=2666088 memory=2419304 CPUtime=3329.34 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 319747 0 0 0 329017 3917 0 0 20 0 1 0 43006378 2730074112 604826 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 666522 604826 1894 992 0 658380 0
Current children cumulated CPU time: 3329.34 s
Current children cumulated vsize: 2666088 KiB
Current children cumulated memory: 2419304 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.14 4.05 5/259 371723
/proc/meminfo: memFree=55217144/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=2666088 memory=2419304 CPUtime=3389.09 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 320894 0 0 0 334956 3953 0 0 20 0 1 0 43006378 2730074112 604826 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 666522 604826 1894 992 0 658380 0
Current children cumulated CPU time: 3389.09 s
Current children cumulated vsize: 2666088 KiB
Current children cumulated memory: 2419304 KiB
[startup+3462.3 s]
/proc/loadavg: 4.26 4.18 4.07 5/258 371733
/proc/meminfo: memFree=54238360/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=2709064 memory=2581700 CPUtime=3448.88 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 332403 0 0 0 340891 3997 0 0 20 0 1 0 43006378 2774081536 645425 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 677266 645425 1894 992 0 669124 0
Current children cumulated CPU time: 3448.88 s
Current children cumulated vsize: 2709064 KiB
Current children cumulated memory: 2581700 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.16 4.07 5/258 371743
/proc/meminfo: memFree=52891824/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=2745120 memory=2636172 CPUtime=3508.65 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 339122 0 0 0 346790 4075 0 0 20 0 1 0 43006378 2811002880 659043 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 686280 659043 1894 992 0 678138 0
Current children cumulated CPU time: 3508.65 s
Current children cumulated vsize: 2745120 KiB
Current children cumulated memory: 2636172 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.16 4.07 5/260 371756
/proc/meminfo: memFree=51471356/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=2745120 memory=2636176 CPUtime=3568.42 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 340240 0 0 0 352671 4171 0 0 20 0 1 0 43006378 2811002880 659044 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 686280 659044 1894 992 0 678138 0
Current children cumulated CPU time: 3568.42 s
Current children cumulated vsize: 2745120 KiB
Current children cumulated memory: 2636176 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614 s]*
/proc/loadavg: 4.29 4.19 4.09 4/263 371816
/proc/meminfo: memFree=70275160/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=2745120 memory=2636176 CPUtime=3600.01 cores=0,2
/proc/369865/stat : 369865 (roundingsat) R 369862 369865 369746 0 -1 4194304 340968 0 0 0 355779 4222 0 0 20 0 1 0 43006378 2811002880 659044 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 686280 659044 1894 992 0 678138 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2745120 KiB
Current children cumulated memory: 2636176 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.29 4.19 4.09 3/258 371842
/proc/meminfo: memFree=70795604/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=2745120 memory=2636176 CPUtime=3600.02 cores=0,2
/proc/369865/stat : 369865 (roundingsat) D 369862 369865 369746 0 -1 4194304 340976 0 0 0 355779 4223 0 0 20 0 1 0 43006378 2811002880 659044 134679101440 4194304 8254357 140722909243072 0 0 256 0 0 25182210 0 0 0 17 0 0 0 291 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 686280 659044 1894 992 0 678138 0
??? kill 369865 sig 9
??? end of watcher thread
[startup+3641.1 s]
# the end of solver process 369865 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3557.79 s, system=42.2557 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3614.4 s]
/proc/loadavg: 4.29 4.19 4.09 4/263 371816
/proc/meminfo: memFree=70275160/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=2745120 memory=2636176 CPUtime=3600.02 cores=0,2
/proc/369865/stat : 369865 (roundingsat) D 369862 369865 369746 0 -1 4194304 340976 0 0 0 355779 4223 0 0 20 0 1 0 43006378 2811002880 659044 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 2 0 0 45 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 686280 659044 1894 992 0 678138 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2745120 KiB
Current children cumulated memory: 2636176 KiB
[startup+3615.2 s]
/proc/loadavg: 4.29 4.19 4.09 3/258 371842
/proc/meminfo: memFree=70807416/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=2745120 memory=2636176 CPUtime=3600.02 cores=0,2
/proc/369865/stat : 369865 (roundingsat) D 369862 369865 369746 0 -1 4194304 340976 0 0 0 355779 4223 0 0 20 0 1 0 43006378 2811002880 659044 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 195 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 686280 659044 1894 992 0 678138 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2745120 KiB
Current children cumulated memory: 2636176 KiB
[startup+3615.6 s]
/proc/loadavg: 4.29 4.19 4.09 3/258 371842
/proc/meminfo: memFree=70807416/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=2745120 memory=2636176 CPUtime=3600.02 cores=0,2
/proc/369865/stat : 369865 (roundingsat) D 369862 369865 369746 0 -1 4194304 340976 0 0 0 355779 4223 0 0 20 0 1 0 43006378 2811002880 659044 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 257 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 686280 659044 1894 992 0 678138 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2745120 KiB
Current children cumulated memory: 2636176 KiB
[startup+3616 s]*
/proc/loadavg: 4.29 4.19 4.09 3/258 371842
/proc/meminfo: memFree=70795316/131524600 swapFree=131071216/131071996
[pid=369865] ppid=369862 vsize=2745120 memory=2636176 CPUtime=3600.02 cores=0,2
/proc/369865/stat : 369865 (roundingsat) D 369862 369865 369746 0 -1 4194304 340976 0 0 0 355779 4223 0 0 20 0 1 0 43006378 2811002880 659044 134679101440 4194304 8254357 140722909243072 0 0 0 0 0 25182210 0 0 0 17 0 0 0 291 0 0 9037040 9046032 30359552 140722909246299 140722909246561 140722909246561 140722909253577 0
/proc/369865/statm: 686280 659044 1894 992 0 678138 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2745120 KiB
Current children cumulated memory: 2636176 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3641.1
CPU time (s): 3600.05
CPU user time (s): 3557.79
CPU system time (s): 42.2557
CPU usage (%): 98.8727
Max. virtual memory (cumulated for all children) (KiB): 2745120
Max. memory (cumulated for all children) (KiB): 2636176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557.79
system time used= 42.2557
maximum resident set size= 2636616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 340976
page faults= 0
swaps= 0
block input operations= 0
block output operations= 84104344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5547
involuntary context switches= 25412
# summary of solver processes directly reported to runsolver:
# pid: 369865
# total CPU time (s): 3600.05
# total CPU user time (s): 3557.79
# total CPU system time (s): 42.2557
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2538 second user time and 16.6004 second system time
The end
Begin job on nodeC017 at 2024-07-27 09:20:38 IDJOB=4460186 IDBENCH=147565 IDSOLVER=3086 FILE ID=nodeC017/4460186-1722064838 RUNJOBID= nodeC017-1722064836-369756 SLURM_JOB_ID= 8248087 Free space on /tmp= 890044 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-4460186-1722064838/watcher-4460186-1722064838 -o /tmp/evaluation-result-4460186-1722064838/solver-4460186-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722064836-369756 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460186-1722064838 --lp-cut-gomory=0 HOME/instance-4460186-1722064838.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 41281aaad41c07f4dcd6eb689ad0db2a RANDOM SEED=1859590444 nodeC017.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3671.922 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3689.691 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3662.819 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.571 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3678.984 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3689.700 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3614.951 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.521 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 114774028 kB MemAvailable: 129401028 kB Buffers: 387208 kB Cached: 14979760 kB SwapCached: 88 kB Active: 2787736 kB Inactive: 13163224 kB Active(anon): 1556 kB Inactive(anon): 636312 kB Active(file): 2786180 kB Inactive(file): 12526912 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 102204 kB Writeback: 0 kB AnonPages: 582164 kB Mapped: 131080 kB Shmem: 53820 kB KReclaimable: 307460 kB Slab: 438896 kB SReclaimable: 307460 kB SUnreclaim: 131436 kB KernelStack: 4112 kB PageTables: 10624 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1013160 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21280 kB HardwareCorrupted: 0 kB AnonHugePages: 260096 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: 422612 kB DirectMap2M: 40245248 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 890040 MiB End job on nodeC017 at 2024-07-27 10:21:20