| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| minisatp 2012-10-02 git-d91742b | SAT (TO) | 15757628994080000031 | 1800.03 | 1800.31 |
| Name | /OPT-BIGINT-LIN/ heinz/normalized-sp98ic.opb |
| MD5SUM | 719fde9b23d3f6b632131842d6adb45e |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 629504033759999996 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| 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 | 10894 |
| Total number of constraints | 825 |
| Number of constraints which are clauses | 20 |
| Number of constraints which are cardinality constraints (but not clauses) | 624 |
| Number of constraints which are nor clauses,nor cardinality constraints | 181 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 5038 |
| Number of terms in the objective function | 10894 |
| Biggest coefficient in the objective function | 172784353600000000 |
| Number of bits for the biggest coefficient in the objective function | 58 |
| Sum of the numbers in the objective function | 486507432685759999927 |
| Number of bits of the sum of numbers in the objective function | 69 |
| Biggest number in a constraint | 172784353600000000 |
| Number of bits of the biggest number in a constraint | 58 |
| Biggest sum of numbers in a constraint | 486507432685759999927 |
| Number of bits of the biggest sum of numbers | 69 |
| 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 Parsing PB file... 1.79/1.81 c Converting 825 PB-constraints to clauses... 1.89/1.92 c -- Unit propagations: (none) 1.89/1.92 c -- Detecting intervals from adjacent constraints: (none) 1.89/1.92 c -- Clauses(.)/Splits(s): sssssssssss.sssssss.ssss.s.s.s.ssssssssssssssssssssssssssssssssssssssssssssssss.sssssss.ss.s..sssss..sssssssssssssssssssssssssssssssss.sssss...ssssssssssssssssssssssssss... 2.59/2.65 c ---[ 976]---> BDD-cost: 3578 2.59/2.66 c ---[ 975]---> BDD-cost: 455 2.59/2.67 c ---[ 972]---> BDD-cost:11370 2.69/2.71 c ---[ 970]---> BDD-cost: 7007 2.69/2.73 c ---[ 969]---> BDD-cost: 7394 2.69/2.75 c ---[ 968]---> BDD-cost: 8650 2.69/2.78 c ---[ 965]---> BDD-cost: 4726 2.79/2.80 c ---[ 964]---> Adder-cost: 5853 maxlim: 28 bits: 6/5 2.89/2.93 c ---[ 963]---> BDD-cost: 1386 2.89/2.93 c ---[ 954]---> Adder-cost: 7394 maxlim: 4 bits: 4/3 2.99/3.05 c ---[ 949]---> BDD-cost: 0 2.99/3.06 c ---[ 948]---> Adder-cost: 0 maxlim: 31 bits: 6/5 3.09/3.20 c ---[ 947]---> BDD-cost: 3585 3.19/3.21 c ---[ 946]---> BDD-cost: 1303 3.19/3.21 c ---[ 939]---> BDD-cost: 943 3.19/3.22 c ---[ 938]---> Adder-cost: 1153 maxlim: 26 bits: 6/5 3.19/3.25 c ---[ 937]---> Adder-cost: 4861 maxlim: 4 bits: 4/3 3.30/3.31 c ---[ 927]---> BDD-cost: 6571 3.30/3.35 c ---[ 926]---> BDD-cost: 2463 3.30/3.36 c ---[ 921]---> BDD-cost:10772 3.40/3.41 c ---[ 912]---> BDD-cost:11754 3.40/3.46 c ---[ 905]---> BDD-cost: 2951 3.40/3.48 c ---[ 895]---> Adder-cost: 14907 maxlim: 25 bits: 6/5 3.79/3.88 c ---[ 894]---> Adder-cost: 4062 maxlim: 22 bits: 6/5 3.89/3.99 c ---[ 881]---> Adder-cost: 6300 maxlim: 28 bits: 6/5 4.09/4.13 c ---[ 873]---> Adder-cost: 2136 maxlim: 26 bits: 6/5 4.09/4.19 c ---[ 820]---> BDD-cost: 1551 4.09/4.19 c ---[ 818]---> Adder-cost: 1262 maxlim: 21 bits: 6/5 4.19/4.23 c ---[ 784]---> BDD-cost:10452 4.19/4.29 c ---[ 778]---> BDD-cost: 45 4.19/4.29 c ---[ 777]---> BDD-cost: 45 4.19/4.29 c ---[ 776]---> BDD-cost: 35 4.19/4.29 c ---[ 775]---> BDD-cost: 39 4.19/4.29 c ---[ 774]---> BDD-cost: 35 4.19/4.29 c ---[ 773]---> BDD-cost: 39 4.19/4.29 c ---[ 772]---> BDD-cost: 35 4.19/4.29 c ---[ 771]---> BDD-cost: 39 4.19/4.29 c ---[ 770]---> BDD-cost: 39 4.19/4.29 c ---[ 769]---> BDD-cost: 35 4.19/4.29 c ---[ 768]---> BDD-cost: 35 4.19/4.29 c ---[ 767]---> BDD-cost: 39 4.19/4.29 c ---[ 766]---> BDD-cost: 45 4.19/4.29 c ---[ 765]---> BDD-cost: 45 4.19/4.29 c ---[ 764]---> BDD-cost: 35 4.19/4.29 c ---[ 763]---> BDD-cost: 35 4.19/4.29 c ---[ 762]---> BDD-cost: 35 4.19/4.29 c ---[ 761]---> BDD-cost: 39 4.19/4.29 c ---[ 760]---> BDD-cost: 35 4.19/4.29 c ---[ 759]---> BDD-cost: 39 4.19/4.29 c ---[ 758]---> BDD-cost: 45 4.19/4.29 c ---[ 757]---> BDD-cost: 45 4.19/4.29 c ---[ 756]---> BDD-cost: 35 4.19/4.29 c ---[ 755]---> BDD-cost: 35 4.19/4.29 c ---[ 754]---> BDD-cost: 35 4.19/4.29 c ---[ 753]---> BDD-cost: 39 4.19/4.29 c ---[ 752]---> BDD-cost: 23 4.19/4.29 c ---[ 751]---> BDD-cost: 11 4.19/4.29 c ---[ 750]---> BDD-cost: 13 4.19/4.29 c ---[ 749]---> BDD-cost: 35 4.19/4.29 c ---[ 748]---> BDD-cost: 39 4.19/4.29 c ---[ 747]---> BDD-cost: 35 4.19/4.29 c ---[ 746]---> BDD-cost: 39 4.19/4.29 c ---[ 745]---> BDD-cost: 35 4.19/4.29 c ---[ 744]---> BDD-cost: 39 4.19/4.29 c ---[ 743]---> BDD-cost: 29 4.19/4.29 c ---[ 742]---> BDD-cost: 19 4.19/4.29 c ---[ 741]---> BDD-cost: 29 4.19/4.29 c ---[ 740]---> BDD-cost: 23 4.19/4.29 c ---[ 739]---> BDD-cost: 13 4.19/4.29 c ---[ 738]---> BDD-cost: 39 4.19/4.29 c ---[ 737]---> BDD-cost: 29 4.19/4.29 c ---[ 736]---> BDD-cost: 29 4.19/4.29 c ---[ 735]---> BDD-cost: 39 4.19/4.29 c ---[ 734]---> BDD-cost: 15 4.19/4.29 c ---[ 733]---> BDD-cost: 23 4.19/4.29 c ---[ 732]---> BDD-cost: 19 4.19/4.29 c ---[ 731]---> BDD-cost: 29 4.19/4.29 c ---[ 730]---> BDD-cost: 13 4.19/4.29 c ---[ 729]---> BDD-cost: 29 4.19/4.29 c ---[ 728]---> BDD-cost: 29 4.19/4.29 c ---[ 727]---> BDD-cost: 39 4.19/4.29 c ---[ 726]---> BDD-cost: 39 4.19/4.29 c ---[ 725]---> BDD-cost: 13 4.19/4.29 c ---[ 724]---> BDD-cost: 29 4.19/4.29 c ---[ 723]---> BDD-cost: 29 4.19/4.29 c ---[ 722]---> BDD-cost: 35 4.19/4.29 c ---[ 721]---> BDD-cost: 39 4.19/4.29 c ---[ 720]---> BDD-cost: 29 4.19/4.29 c ---[ 719]---> BDD-cost: 15 4.19/4.29 c ---[ 718]---> BDD-cost: 13 4.19/4.29 c ---[ 717]---> BDD-cost: 25 4.19/4.29 c ---[ 716]---> BDD-cost: 29 4.19/4.29 c ---[ 715]---> BDD-cost: 29 4.19/4.30 c ---[ 714]---> BDD-cost: 35 4.19/4.30 c ---[ 713]---> BDD-cost: 39 4.19/4.30 c ---[ 712]---> BDD-cost: 29 4.29/4.30 c ---[ 711]---> BDD-cost: 13 4.29/4.30 c ---[ 710]---> BDD-cost: 23 4.29/4.30 c ---[ 709]---> BDD-cost: 35 4.29/4.30 c ---[ 708]---> BDD-cost: 39 4.29/4.30 c ---[ 707]---> BDD-cost: 29 4.29/4.30 c ---[ 706]---> BDD-cost: 25 4.29/4.30 c ---[ 705]---> BDD-cost: 29 4.29/4.30 c ---[ 704]---> BDD-cost: 39 4.29/4.30 c ---[ 703]---> BDD-cost: 23 4.29/4.30 c ---[ 702]---> BDD-cost: 23 4.29/4.30 c ---[ 701]---> BDD-cost: 29 4.29/4.30 c ---[ 700]---> BDD-cost: 29 4.29/4.30 c ---[ 699]---> BDD-cost: 25 4.29/4.30 c ---[ 698]---> BDD-cost: 29 4.29/4.30 c ---[ 697]---> BDD-cost: 35 4.29/4.30 c ---[ 696]---> BDD-cost: 39 4.29/4.30 c ---[ 695]---> BDD-cost: 29 4.29/4.30 c ---[ 694]---> BDD-cost: 39 4.29/4.30 c ---[ 693]---> BDD-cost: 29 4.29/4.30 c ---[ 692]---> BDD-cost: 29 4.29/4.30 c ---[ 691]---> BDD-cost: 35 4.29/4.30 c ---[ 690]---> BDD-cost: 39 4.29/4.30 c ---[ 689]---> BDD-cost: 25 4.29/4.30 c ---[ 688]---> BDD-cost: 45 4.29/4.30 c ---[ 687]---> BDD-cost: 23 4.29/4.30 c ---[ 686]---> BDD-cost: 13 4.29/4.30 c ---[ 685]---> BDD-cost: 23 4.29/4.30 c ---[ 684]---> BDD-cost: 45 4.29/4.30 c ---[ 683]---> BDD-cost: 45 4.29/4.30 c ---[ 682]---> BDD-cost: 13 4.29/4.30 c ---[ 681]---> BDD-cost: 45 4.29/4.30 c ---[ 680]---> BDD-cost: 45 4.29/4.30 c ---[ 679]---> BDD-cost: 45 4.29/4.30 c ---[ 678]---> BDD-cost: 45 4.29/4.30 c ---[ 677]---> BDD-cost: 13 4.29/4.30 c ---[ 676]---> BDD-cost: 23 4.29/4.30 c ---[ 675]---> BDD-cost: 35 4.29/4.30 c ---[ 674]---> BDD-cost: 39 4.29/4.30 c ---[ 673]---> BDD-cost: 29 4.29/4.30 c ---[ 672]---> BDD-cost: 13 4.29/4.30 c ---[ 671]---> BDD-cost: 25 4.29/4.30 c ---[ 670]---> BDD-cost: 29 4.29/4.30 c ---[ 669]---> BDD-cost: 39 4.29/4.30 c ---[ 668]---> BDD-cost: 23 4.29/4.30 c ---[ 667]---> BDD-cost: 13 4.29/4.30 c ---[ 666]---> BDD-cost: 23 4.29/4.30 c ---[ 665]---> BDD-cost: 29 4.29/4.30 c ---[ 664]---> BDD-cost: 29 4.29/4.30 c ---[ 663]---> BDD-cost: 25 4.29/4.30 c ---[ 662]---> BDD-cost: 29 4.29/4.30 c ---[ 661]---> BDD-cost: 35 4.29/4.30 c ---[ 660]---> BDD-cost: 39 4.29/4.30 c ---[ 659]---> BDD-cost: 29 4.29/4.30 c ---[ 658]---> BDD-cost: 39 4.29/4.30 c ---[ 657]---> BDD-cost: 29 4.29/4.30 c ---[ 656]---> BDD-cost: 29 4.29/4.30 c ---[ 655]---> BDD-cost: 35 4.29/4.30 c ---[ 654]---> BDD-cost: 39 4.29/4.30 c ---[ 653]---> BDD-cost: 25 4.29/4.30 c ---[ 652]---> BDD-cost: 13 4.29/4.30 c ---[ 651]---> BDD-cost: 43 4.29/4.30 c ---[ 650]---> BDD-cost: 43 4.29/4.30 c ---[ 649]---> BDD-cost: 43 4.29/4.30 c ---[ 648]---> BDD-cost: 45 4.29/4.30 c ---[ 647]---> BDD-cost: 23 4.29/4.30 c ---[ 646]---> BDD-cost: 45 4.29/4.30 c ---[ 645]---> BDD-cost: 45 4.29/4.30 c ---[ 644]---> BDD-cost: 23 4.29/4.30 c ---[ 643]---> BDD-cost: 13 4.29/4.31 c ---[ 642]---> BDD-cost: 43 4.29/4.31 c ---[ 641]---> BDD-cost: 15 4.29/4.31 c ---[ 640]---> BDD-cost: 23 4.29/4.31 c ---[ 639]---> BDD-cost: 45 4.29/4.31 c ---[ 638]---> BDD-cost: 13 4.29/4.31 c ---[ 637]---> BDD-cost: 45 4.29/4.31 c ---[ 636]---> BDD-cost: 45 4.29/4.31 c ---[ 635]---> BDD-cost: 13 4.29/4.31 c ---[ 634]---> BDD-cost: 45 4.29/4.31 c ---[ 633]---> BDD-cost: 45 4.29/4.31 c ---[ 632]---> BDD-cost: 45 4.29/4.31 c ---[ 631]---> BDD-cost: 43 4.29/4.31 c ---[ 630]---> BDD-cost: 43 4.29/4.31 c ---[ 629]---> BDD-cost: 13 4.29/4.31 c ---[ 628]---> BDD-cost: 45 4.29/4.31 c ---[ 627]---> BDD-cost: 45 4.29/4.31 c ---[ 626]---> BDD-cost: 43 4.29/4.31 c ---[ 625]---> BDD-cost: 45 4.29/4.31 c ---[ 624]---> BDD-cost: 13 4.29/4.31 c ---[ 623]---> BDD-cost: 35 4.29/4.31 c ---[ 622]---> BDD-cost: 39 4.29/4.31 c ---[ 621]---> BDD-cost: 29 4.29/4.31 c ---[ 620]---> BDD-cost: 25 4.29/4.31 c ---[ 619]---> BDD-cost: 29 4.29/4.31 c ---[ 618]---> BDD-cost: 39 4.29/4.31 c ---[ 617]---> BDD-cost: 17 4.29/4.31 c ---[ 616]---> BDD-cost: 25 4.29/4.31 c ---[ 615]---> BDD-cost: 21 4.29/4.31 c ---[ 614]---> BDD-cost: 29 4.29/4.31 c ---[ 613]---> BDD-cost: 29 4.29/4.31 c ---[ 612]---> BDD-cost: 3 4.29/4.31 c ---[ 611]---> BDD-cost: 29 4.29/4.31 c ---[ 610]---> BDD-cost: 35 4.29/4.31 c ---[ 609]---> BDD-cost: 39 4.29/4.31 c ---[ 608]---> BDD-cost: 29 4.29/4.31 c ---[ 607]---> BDD-cost: 39 4.29/4.31 c ---[ 606]---> BDD-cost: 29 4.29/4.31 c ---[ 605]---> BDD-cost: 29 4.29/4.31 c ---[ 604]---> BDD-cost: 35 4.29/4.31 c ---[ 603]---> BDD-cost: 39 4.29/4.31 c ---[ 602]---> BDD-cost: 3 4.29/4.31 c ---[ 601]---> BDD-cost: 11 4.29/4.31 c ---[ 600]---> BDD-cost: 35 4.29/4.31 c ---[ 599]---> BDD-cost: 39 4.29/4.31 c ---[ 598]---> BDD-cost: 35 4.29/4.31 c ---[ 597]---> BDD-cost: 39 4.29/4.31 c ---[ 596]---> BDD-cost: 39 4.29/4.31 c ---[ 595]---> BDD-cost: 35 4.29/4.31 c ---[ 594]---> BDD-cost: 39 4.29/4.31 c ---[ 593]---> BDD-cost: 19 4.29/4.31 c ---[ 592]---> BDD-cost: 35 4.29/4.31 c ---[ 591]---> BDD-cost: 39 4.29/4.31 c ---[ 590]---> BDD-cost: 19 4.29/4.31 c ---[ 589]---> BDD-cost: 35 4.29/4.31 c ---[ 588]---> BDD-cost: 39 4.29/4.31 c ---[ 587]---> BDD-cost: 35 4.29/4.31 c ---[ 586]---> BDD-cost: 39 4.29/4.31 c ---[ 585]---> BDD-cost: 17 4.29/4.31 c ---[ 584]---> BDD-cost: 35 4.29/4.31 c ---[ 583]---> BDD-cost: 39 4.29/4.31 c ---[ 582]---> BDD-cost: 5 4.29/4.31 c ---[ 581]---> BDD-cost: 35 4.29/4.31 c ---[ 580]---> BDD-cost: 39 4.29/4.31 c ---[ 579]---> BDD-cost: 35 4.29/4.31 c ---[ 578]---> BDD-cost: 39 4.29/4.31 c ---[ 577]---> BDD-cost: 39 4.29/4.31 c ---[ 576]---> BDD-cost: 35 4.29/4.31 c ---[ 575]---> BDD-cost: 39 4.29/4.31 c ---[ 574]---> BDD-cost: 35 4.29/4.32 c ---[ 573]---> BDD-cost: 35 4.29/4.32 c ---[ 572]---> BDD-cost: 35 4.29/4.32 c ---[ 571]---> BDD-cost: 39 4.29/4.32 c ---[ 570]---> BDD-cost: 35 4.29/4.32 c ---[ 569]---> BDD-cost: 35 4.29/4.32 c ---[ 568]---> BDD-cost: 39 4.29/4.32 c ---[ 567]---> BDD-cost: 35 4.29/4.32 c ---[ 566]---> BDD-cost: 35 4.29/4.32 c ---[ 565]---> BDD-cost: 39 4.29/4.32 c ---[ 564]---> BDD-cost: 35 4.29/4.32 c ---[ 562]---> BDD-cost: 35 4.29/4.32 c ---[ 561]---> BDD-cost: 39 4.29/4.32 c ---[ 560]---> BDD-cost: 17 4.29/4.32 c ---[ 559]---> BDD-cost: 35 4.29/4.32 c ---[ 558]---> BDD-cost: 39 4.29/4.32 c ---[ 557]---> BDD-cost: 35 4.29/4.32 c ---[ 556]---> BDD-cost: 39 4.29/4.32 c ---[ 555]---> BDD-cost: 11 4.29/4.32 c ---[ 554]---> BDD-cost: 35 4.29/4.32 c ---[ 553]---> BDD-cost: 39 4.29/4.32 c ---[ 552]---> BDD-cost: 35 4.29/4.32 c ---[ 551]---> BDD-cost: 39 4.29/4.32 c ---[ 550]---> BDD-cost: 35 4.29/4.32 c ---[ 549]---> BDD-cost: 39 4.29/4.32 c ---[ 548]---> BDD-cost: 13 4.29/4.32 c ---[ 547]---> BDD-cost: 35 4.29/4.32 c ---[ 546]---> BDD-cost: 39 4.29/4.32 c ---[ 545]---> BDD-cost: 19 4.29/4.32 c ---[ 544]---> BDD-cost: 35 4.29/4.32 c ---[ 543]---> BDD-cost: 35 4.29/4.32 c ---[ 542]---> BDD-cost: 43 4.29/4.32 c ---[ 541]---> BDD-cost: 35 4.29/4.32 c ---[ 540]---> BDD-cost: 39 4.29/4.32 c ---[ 539]---> BDD-cost: 19 4.29/4.32 c ---[ 538]---> BDD-cost: 35 4.29/4.32 c ---[ 537]---> BDD-cost: 35 4.29/4.32 c ---[ 536]---> BDD-cost: 39 4.29/4.32 c ---[ 535]---> BDD-cost: 19 4.29/4.32 c ---[ 534]---> BDD-cost: 43 4.29/4.32 c ---[ 533]---> BDD-cost: 19 4.29/4.32 c ---[ 532]---> BDD-cost: 35 4.29/4.32 c ---[ 531]---> BDD-cost: 17 4.29/4.32 c ---[ 530]---> BDD-cost: 7 4.29/4.32 c ---[ 529]---> BDD-cost: 19 4.29/4.32 c ---[ 528]---> BDD-cost: 35 4.29/4.32 c ---[ 527]---> BDD-cost: 39 4.29/4.32 c ---[ 526]---> BDD-cost: 29 4.29/4.32 c ---[ 525]---> BDD-cost: 29 4.29/4.32 c ---[ 524]---> BDD-cost: 39 4.29/4.32 c ---[ 523]---> BDD-cost: 27 4.29/4.32 c ---[ 522]---> BDD-cost: 45 4.29/4.32 c ---[ 521]---> BDD-cost: 29 4.29/4.32 c ---[ 520]---> BDD-cost: 45 4.29/4.32 c ---[ 519]---> BDD-cost: 25 4.29/4.32 c ---[ 518]---> BDD-cost: 19 4.29/4.32 c ---[ 517]---> BDD-cost: 29 4.29/4.32 c ---[ 516]---> BDD-cost: 25 4.29/4.32 c ---[ 515]---> BDD-cost: 35 4.29/4.32 c ---[ 514]---> BDD-cost: 27 4.29/4.32 c ---[ 513]---> BDD-cost: 27 4.29/4.32 c ---[ 512]---> BDD-cost: 35 4.29/4.32 c ---[ 511]---> BDD-cost: 29 4.29/4.32 c ---[ 510]---> BDD-cost: 29 4.29/4.32 c ---[ 509]---> BDD-cost: 3 4.29/4.32 c ---[ 508]---> BDD-cost: 25 4.29/4.32 c ---[ 507]---> BDD-cost: 29 4.29/4.32 c ---[ 506]---> BDD-cost: 39 4.29/4.32 c ---[ 505]---> BDD-cost: 23 4.29/4.32 c ---[ 504]---> BDD-cost: 3 4.29/4.32 c ---[ 503]---> BDD-cost: 23 4.29/4.32 c ---[ 502]---> BDD-cost: 29 4.29/4.32 c ---[ 501]---> BDD-cost: 29 4.29/4.32 c ---[ 500]---> BDD-cost: 25 4.29/4.32 c ---[ 499]---> BDD-cost: 29 4.29/4.33 c ---[ 498]---> BDD-cost: 35 4.29/4.33 c ---[ 497]---> BDD-cost: 39 4.29/4.33 c ---[ 496]---> BDD-cost: 29 4.29/4.33 c ---[ 495]---> BDD-cost: 39 4.29/4.33 c ---[ 494]---> BDD-cost: 29 4.29/4.33 c ---[ 493]---> BDD-cost: 29 4.29/4.33 c ---[ 492]---> BDD-cost: 35 4.29/4.33 c ---[ 491]---> BDD-cost: 39 4.29/4.33 c ---[ 490]---> BDD-cost: 25 4.29/4.33 c ---[ 489]---> BDD-cost: 35 4.29/4.33 c ---[ 488]---> BDD-cost: 39 4.29/4.33 c ---[ 487]---> BDD-cost: 45 4.29/4.33 c ---[ 486]---> BDD-cost: 45 4.29/4.33 c ---[ 485]---> BDD-cost: 35 4.29/4.33 c ---[ 484]---> BDD-cost: 35 4.29/4.33 c ---[ 483]---> BDD-cost: 35 4.29/4.33 c ---[ 482]---> BDD-cost: 39 4.29/4.33 c ---[ 481]---> BDD-cost: 35 4.29/4.33 c ---[ 480]---> BDD-cost: 39 4.29/4.33 c ---[ 479]---> BDD-cost: 35 4.29/4.33 c ---[ 478]---> BDD-cost: 39 4.29/4.33 c ---[ 477]---> BDD-cost: 29 4.29/4.33 c ---[ 476]---> BDD-cost: 29 4.29/4.33 c ---[ 475]---> BDD-cost: 35 4.29/4.33 c ---[ 474]---> BDD-cost: 39 4.29/4.33 c ---[ 473]---> BDD-cost: 39 4.29/4.33 c ---[ 472]---> BDD-cost: 27 4.29/4.33 c ---[ 471]---> BDD-cost: 45 4.29/4.33 c ---[ 470]---> BDD-cost: 29 4.29/4.33 c ---[ 469]---> BDD-cost: 45 4.29/4.33 c ---[ 468]---> BDD-cost: 29 4.29/4.33 c ---[ 467]---> BDD-cost: 19 4.29/4.33 c ---[ 466]---> BDD-cost: 43 4.29/4.33 c ---[ 465]---> BDD-cost: 29 4.29/4.33 c ---[ 464]---> BDD-cost: 19 4.29/4.33 c ---[ 463]---> BDD-cost: 35 4.29/4.33 c ---[ 462]---> BDD-cost: 27 4.29/4.33 c ---[ 461]---> BDD-cost: 45 4.29/4.33 c ---[ 460]---> BDD-cost: 45 4.29/4.33 c ---[ 459]---> BDD-cost: 19 4.29/4.33 c ---[ 458]---> BDD-cost: 21 4.29/4.33 c ---[ 457]---> BDD-cost: 9 4.29/4.33 c ---[ 456]---> BDD-cost: 35 4.29/4.33 c ---[ 455]---> BDD-cost: 29 4.29/4.33 c ---[ 454]---> BDD-cost: 25 4.29/4.33 c ---[ 453]---> BDD-cost: 39 4.29/4.33 c ---[ 452]---> BDD-cost: 29 4.29/4.33 c ---[ 451]---> BDD-cost: 29 4.29/4.33 c ---[ 450]---> BDD-cost: 39 4.29/4.33 c ---[ 449]---> BDD-cost: 23 4.29/4.33 c ---[ 448]---> BDD-cost: 23 4.29/4.33 c ---[ 447]---> BDD-cost: 29 4.29/4.33 c ---[ 446]---> BDD-cost: 25 4.29/4.33 c ---[ 445]---> BDD-cost: 29 4.29/4.33 c ---[ 444]---> BDD-cost: 29 4.29/4.33 c ---[ 443]---> BDD-cost: 39 4.29/4.33 c ---[ 442]---> BDD-cost: 39 4.29/4.33 c ---[ 441]---> BDD-cost: 25 4.29/4.33 c ---[ 440]---> BDD-cost: 29 4.29/4.33 c ---[ 439]---> BDD-cost: 29 4.29/4.33 c ---[ 438]---> BDD-cost: 35 4.29/4.33 c ---[ 437]---> BDD-cost: 39 4.29/4.33 c ---[ 436]---> BDD-cost: 29 4.29/4.33 c ---[ 435]---> BDD-cost: 39 4.29/4.33 c ---[ 434]---> BDD-cost: 23 4.29/4.33 c ---[ 433]---> BDD-cost: 25 4.29/4.33 c ---[ 432]---> BDD-cost: 25 4.29/4.33 c ---[ 431]---> BDD-cost: 29 4.29/4.33 c ---[ 430]---> BDD-cost: 29 4.29/4.33 c ---[ 429]---> BDD-cost: 29 4.29/4.34 c ---[ 428]---> BDD-cost: 35 4.29/4.34 c ---[ 427]---> BDD-cost: 39 4.29/4.34 c ---[ 426]---> BDD-cost: 29 4.29/4.34 c ---[ 425]---> BDD-cost: 25 4.29/4.34 c ---[ 424]---> BDD-cost: 39 4.29/4.34 c ---[ 423]---> BDD-cost: 29 4.29/4.34 c ---[ 422]---> BDD-cost: 29 4.29/4.34 c ---[ 421]---> BDD-cost: 39 4.29/4.34 c ---[ 420]---> BDD-cost: 17 4.29/4.34 c ---[ 419]---> BDD-cost: 25 4.29/4.34 c ---[ 418]---> BDD-cost: 21 4.29/4.34 c ---[ 417]---> BDD-cost: 29 4.29/4.34 c ---[ 416]---> BDD-cost: 5 4.29/4.34 c ---[ 415]---> BDD-cost: 29 4.29/4.34 c ---[ 414]---> BDD-cost: 29 4.29/4.34 c ---[ 413]---> BDD-cost: 39 4.29/4.34 c ---[ 412]---> BDD-cost: 39 4.29/4.34 c ---[ 411]---> BDD-cost: 5 4.29/4.34 c ---[ 410]---> BDD-cost: 29 4.29/4.34 c ---[ 409]---> BDD-cost: 29 4.29/4.34 c ---[ 408]---> BDD-cost: 35 4.29/4.34 c ---[ 407]---> BDD-cost: 39 4.29/4.34 c ---[ 406]---> BDD-cost: 29 4.29/4.34 c ---[ 405]---> BDD-cost: 39 4.29/4.34 c ---[ 404]---> BDD-cost: 17 4.29/4.34 c ---[ 403]---> BDD-cost: 13 4.29/4.34 c ---[ 402]---> BDD-cost: 25 4.29/4.34 c ---[ 401]---> BDD-cost: 29 4.29/4.34 c ---[ 400]---> BDD-cost: 29 4.29/4.34 c ---[ 399]---> BDD-cost: 29 4.29/4.34 c ---[ 398]---> BDD-cost: 35 4.29/4.34 c ---[ 397]---> BDD-cost: 39 4.29/4.34 c ---[ 396]---> BDD-cost: 29 4.29/4.34 c ---[ 395]---> BDD-cost: 5 4.29/4.34 c ---[ 394]---> BDD-cost: 39 4.29/4.34 c ---[ 393]---> BDD-cost: 29 4.29/4.34 c ---[ 392]---> BDD-cost: 35 4.29/4.34 c ---[ 391]---> BDD-cost: 39 4.29/4.34 c ---[ 390]---> BDD-cost: 39 4.29/4.34 c ---[ 389]---> BDD-cost: 27 4.29/4.34 c ---[ 388]---> BDD-cost: 39 4.29/4.34 c ---[ 387]---> BDD-cost: 29 4.29/4.34 c ---[ 386]---> BDD-cost: 35 4.29/4.34 c ---[ 385]---> BDD-cost: 39 4.29/4.34 c ---[ 384]---> BDD-cost: 39 4.29/4.34 c ---[ 383]---> BDD-cost: 35 4.29/4.34 c ---[ 382]---> BDD-cost: 35 4.29/4.34 c ---[ 381]---> BDD-cost: 39 4.29/4.34 c ---[ 380]---> BDD-cost: 19 4.29/4.34 c ---[ 379]---> BDD-cost: 35 4.29/4.34 c ---[ 378]---> BDD-cost: 39 4.29/4.34 c ---[ 377]---> BDD-cost: 35 4.29/4.34 c ---[ 376]---> BDD-cost: 39 4.29/4.34 c ---[ 375]---> BDD-cost: 29 4.29/4.34 c ---[ 374]---> BDD-cost: 29 4.29/4.34 c ---[ 373]---> BDD-cost: 39 4.29/4.34 c ---[ 372]---> BDD-cost: 39 4.29/4.34 c ---[ 371]---> BDD-cost: 27 4.29/4.34 c ---[ 370]---> BDD-cost: 29 4.29/4.34 c ---[ 369]---> BDD-cost: 39 4.29/4.34 c ---[ 368]---> BDD-cost: 39 4.29/4.34 c ---[ 367]---> BDD-cost: 29 4.29/4.34 c ---[ 366]---> BDD-cost: 27 4.29/4.34 c ---[ 365]---> BDD-cost: 39 4.29/4.34 c ---[ 364]---> BDD-cost: 29 4.29/4.34 c ---[ 363]---> BDD-cost: 39 4.29/4.34 c ---[ 362]---> BDD-cost: 39 4.29/4.34 c ---[ 361]---> BDD-cost: 29 4.29/4.34 c ---[ 360]---> BDD-cost: 35 4.29/4.34 c ---[ 359]---> BDD-cost: 39 4.29/4.34 c ---[ 358]---> BDD-cost: 39 4.29/4.35 c ---[ 357]---> BDD-cost: 29 4.29/4.35 c ---[ 356]---> BDD-cost: 39 4.29/4.35 c ---[ 355]---> BDD-cost: 39 4.29/4.35 c ---[ 354]---> BDD-cost: 29 4.29/4.35 c ---[ 353]---> BDD-cost: 7 4.29/4.35 c ---[ 352]---> BDD-cost: 39 4.29/4.35 c ---[ 351]---> BDD-cost: 27 4.29/4.35 c ---[ 350]---> BDD-cost: 39 4.29/4.35 c ---[ 349]---> BDD-cost: 39 4.29/4.35 c ---[ 348]---> BDD-cost: 29 4.29/4.35 c ---[ 347]---> BDD-cost: 29 4.29/4.35 c ---[ 346]---> BDD-cost: 39 4.29/4.35 c ---[ 345]---> BDD-cost: 23 4.29/4.35 c ---[ 344]---> BDD-cost: 45 4.29/4.35 c ---[ 343]---> BDD-cost: 17 4.29/4.35 c ---[ 342]---> BDD-cost: 45 4.29/4.35 c ---[ 341]---> BDD-cost: 45 4.29/4.35 c ---[ 340]---> BDD-cost: 17 4.29/4.35 c ---[ 339]---> BDD-cost: 45 4.29/4.35 c ---[ 338]---> BDD-cost: 45 4.29/4.35 c ---[ 337]---> BDD-cost: 45 4.29/4.35 c ---[ 336]---> BDD-cost: 45 4.29/4.35 c ---[ 335]---> BDD-cost: 45 4.29/4.35 c ---[ 334]---> BDD-cost: 45 4.29/4.35 c ---[ 333]---> BDD-cost: 45 4.29/4.35 c ---[ 332]---> BDD-cost: 17 4.29/4.35 c ---[ 331]---> BDD-cost: 23 4.29/4.35 c ---[ 330]---> BDD-cost: 29 4.29/4.35 c ---[ 329]---> BDD-cost: 25 4.29/4.35 c ---[ 328]---> BDD-cost: 29 4.29/4.35 c ---[ 327]---> BDD-cost: 29 4.29/4.35 c ---[ 326]---> BDD-cost: 39 4.29/4.35 c ---[ 325]---> BDD-cost: 39 4.29/4.35 c ---[ 324]---> BDD-cost: 25 4.29/4.35 c ---[ 323]---> BDD-cost: 29 4.29/4.35 c ---[ 322]---> BDD-cost: 29 4.29/4.35 c ---[ 321]---> BDD-cost: 35 4.29/4.35 c ---[ 320]---> BDD-cost: 39 4.29/4.35 c ---[ 319]---> BDD-cost: 29 4.29/4.35 c ---[ 318]---> BDD-cost: 39 4.29/4.35 c ---[ 317]---> BDD-cost: 23 4.29/4.35 c ---[ 316]---> BDD-cost: 25 4.29/4.35 c ---[ 315]---> BDD-cost: 25 4.29/4.35 c ---[ 314]---> BDD-cost: 29 4.29/4.35 c ---[ 313]---> BDD-cost: 29 4.29/4.35 c ---[ 312]---> BDD-cost: 29 4.29/4.35 c ---[ 311]---> BDD-cost: 35 4.29/4.35 c ---[ 310]---> BDD-cost: 39 4.29/4.35 c ---[ 309]---> BDD-cost: 29 4.29/4.35 c ---[ 308]---> BDD-cost: 25 4.29/4.35 c ---[ 307]---> BDD-cost: 45 4.29/4.35 c ---[ 306]---> BDD-cost: 21 4.29/4.35 c ---[ 305]---> BDD-cost: 45 4.29/4.35 c ---[ 304]---> BDD-cost: 45 4.29/4.35 c ---[ 303]---> BDD-cost: 21 4.29/4.35 c ---[ 302]---> BDD-cost: 45 4.29/4.35 c ---[ 301]---> BDD-cost: 45 4.29/4.35 c ---[ 300]---> BDD-cost: 45 4.29/4.35 c ---[ 299]---> BDD-cost: 45 4.29/4.35 c ---[ 298]---> BDD-cost: 45 4.29/4.35 c ---[ 297]---> BDD-cost: 45 4.29/4.35 c ---[ 296]---> BDD-cost: 45 4.29/4.35 c ---[ 295]---> BDD-cost: 21 4.29/4.35 c ---[ 294]---> BDD-cost: 21 4.29/4.35 c ---[ 293]---> BDD-cost: 29 4.29/4.36 c ---[ 292]---> BDD-cost: 21 4.29/4.36 c ---[ 291]---> BDD-cost: 35 4.29/4.36 c ---[ 290]---> BDD-cost: 27 4.29/4.36 c ---[ 289]---> BDD-cost: 23 4.29/4.36 c ---[ 288]---> BDD-cost: 35 4.29/4.36 c ---[ 287]---> BDD-cost: 29 4.29/4.36 c ---[ 286]---> BDD-cost: 29 4.29/4.36 c ---[ 285]---> BDD-cost: 29 4.29/4.36 c ---[ 284]---> BDD-cost: 29 4.29/4.36 c ---[ 283]---> BDD-cost: 35 4.29/4.36 c ---[ 282]---> BDD-cost: 39 4.29/4.36 c ---[ 281]---> BDD-cost: 29 4.29/4.36 c ---[ 280]---> BDD-cost: 39 4.29/4.36 c ---[ 279]---> BDD-cost: 29 4.29/4.36 c ---[ 278]---> BDD-cost: 29 4.29/4.36 c ---[ 277]---> BDD-cost: 35 4.29/4.36 c ---[ 276]---> BDD-cost: 39 4.29/4.36 c ---[ 274]---> BDD-cost: 19 4.29/4.36 c ---[ 273]---> BDD-cost: 43 4.29/4.36 c ---[ 272]---> BDD-cost: 29 4.29/4.36 c ---[ 271]---> BDD-cost: 35 4.29/4.36 c ---[ 270]---> BDD-cost: 13 4.29/4.36 c ---[ 269]---> BDD-cost: 35 4.29/4.36 c ---[ 268]---> BDD-cost: 35 4.29/4.36 c ---[ 267]---> BDD-cost: 29 4.29/4.36 c ---[ 266]---> BDD-cost: 45 4.29/4.36 c ---[ 265]---> BDD-cost: 45 4.29/4.36 c ---[ 264]---> BDD-cost: 23 4.29/4.36 c ---[ 263]---> BDD-cost: 25 4.29/4.36 c ---[ 262]---> BDD-cost: 35 4.29/4.36 c ---[ 261]---> BDD-cost: 19 4.29/4.36 c ---[ 260]---> BDD-cost: 29 4.29/4.36 c ---[ 259]---> BDD-cost: 29 4.29/4.36 c ---[ 258]---> BDD-cost: 19 4.29/4.36 c ---[ 257]---> BDD-cost: 19 4.29/4.36 c ---[ 256]---> BDD-cost: 35 4.29/4.36 c ---[ 255]---> BDD-cost: 27 4.29/4.36 c ---[ 254]---> BDD-cost: 39 4.29/4.36 c ---[ 253]---> BDD-cost: 45 4.29/4.36 c ---[ 252]---> BDD-cost: 45 4.29/4.36 c ---[ 251]---> BDD-cost: 19 4.29/4.36 c ---[ 250]---> BDD-cost: 19 4.29/4.36 c ---[ 249]---> BDD-cost: 35 4.29/4.36 c ---[ 248]---> BDD-cost: 19 4.29/4.36 c ---[ 247]---> BDD-cost: 29 4.29/4.36 c ---[ 246]---> BDD-cost: 39 4.29/4.36 c ---[ 245]---> BDD-cost: 39 4.29/4.36 c ---[ 244]---> BDD-cost: 43 4.29/4.36 c ---[ 243]---> BDD-cost: 43 4.29/4.36 c ---[ 242]---> BDD-cost: 43 4.29/4.36 c ---[ 241]---> BDD-cost: 43 4.29/4.36 c ---[ 240]---> BDD-cost: 39 4.29/4.36 c ---[ 239]---> BDD-cost: 39 4.29/4.36 c ---[ 238]---> BDD-cost: 29 4.29/4.36 c ---[ 237]---> BDD-cost: 29 4.29/4.36 c ---[ 236]---> BDD-cost: 35 4.29/4.36 c ---[ 235]---> BDD-cost: 39 4.29/4.36 c ---[ 234]---> BDD-cost: 29 4.29/4.36 c ---[ 233]---> BDD-cost: 39 4.29/4.36 c ---[ 232]---> BDD-cost: 17 4.29/4.36 c ---[ 231]---> BDD-cost: 13 4.29/4.36 c ---[ 230]---> BDD-cost: 25 4.29/4.36 c ---[ 229]---> BDD-cost: 29 4.29/4.36 c ---[ 228]---> BDD-cost: 29 4.29/4.36 c ---[ 227]---> BDD-cost: 29 4.29/4.36 c ---[ 226]---> BDD-cost: 35 4.29/4.36 c ---[ 225]---> BDD-cost: 39 4.29/4.36 c ---[ 224]---> BDD-cost: 29 4.29/4.36 c ---[ 222]---> BDD-cost: 35 4.29/4.36 c ---[ 221]---> BDD-cost: 35 4.29/4.37 c ---[ 220]---> BDD-cost: 35 4.29/4.37 c ---[ 219]---> BDD-cost: 29 4.29/4.37 c ---[ 218]---> BDD-cost: 45 4.29/4.37 c ---[ 217]---> BDD-cost: 45 4.29/4.37 c ---[ 216]---> BDD-cost: 23 4.29/4.37 c ---[ 215]---> BDD-cost: 25 4.29/4.37 c ---[ 214]---> BDD-cost: 35 4.29/4.37 c ---[ 213]---> BDD-cost: 19 4.29/4.37 c ---[ 212]---> BDD-cost: 29 4.29/4.37 c ---[ 211]---> BDD-cost: 35 4.29/4.37 c ---[ 210]---> BDD-cost: 35 4.29/4.37 c ---[ 209]---> BDD-cost: 39 4.29/4.37 c ---[ 208]---> BDD-cost: 35 4.29/4.37 c ---[ 207]---> BDD-cost: 39 4.29/4.37 c ---[ 206]---> BDD-cost: 45 4.29/4.37 c ---[ 205]---> BDD-cost: 45 4.29/4.37 c ---[ 204]---> BDD-cost: 35 4.29/4.37 c ---[ 203]---> BDD-cost: 35 4.29/4.37 c ---[ 202]---> BDD-cost: 35 4.29/4.37 c ---[ 201]---> BDD-cost: 35 4.29/4.37 c ---[ 200]---> BDD-cost: 39 4.29/4.37 c ---[ 199]---> BDD-cost: 35 4.29/4.37 c ---[ 198]---> BDD-cost: 29 4.29/4.37 c ---[ 197]---> BDD-cost: 23 4.29/4.37 c ---[ 196]---> BDD-cost: 25 4.29/4.37 c ---[ 195]---> BDD-cost: 35 4.29/4.37 c ---[ 194]---> BDD-cost: 29 4.29/4.37 c ---[ 193]---> BDD-cost: 35 4.29/4.37 c ---[ 192]---> BDD-cost: 43 4.29/4.37 c ---[ 191]---> BDD-cost: 35 4.29/4.37 c ---[ 190]---> BDD-cost: 35 4.29/4.37 c ---[ 189]---> BDD-cost: 39 4.29/4.37 c ---[ 188]---> BDD-cost: 5 4.29/4.37 c ---[ 187]---> BDD-cost: 35 4.29/4.37 c ---[ 186]---> BDD-cost: 39 4.29/4.37 c ---[ 185]---> BDD-cost: 43 4.29/4.37 c ---[ 184]---> BDD-cost: 35 4.29/4.37 c ---[ 183]---> BDD-cost: 29 4.29/4.37 c ---[ 182]---> BDD-cost: 11 4.29/4.37 c ---[ 181]---> BDD-cost: 35 4.29/4.37 c ---[ 180]---> BDD-cost: 27 4.29/4.37 c ---[ 179]---> BDD-cost: 35 4.29/4.37 c ---[ 178]---> BDD-cost: 35 4.29/4.37 c ---[ 177]---> BDD-cost: 29 4.29/4.37 c ---[ 176]---> BDD-cost: 29 4.29/4.37 c ---[ 175]---> BDD-cost: 39 4.29/4.37 c ---[ 174]---> BDD-cost: 45 4.29/4.37 c ---[ 173]---> BDD-cost: 45 4.29/4.37 c ---[ 172]---> BDD-cost: 17 4.29/4.37 c ---[ 171]---> BDD-cost: 45 4.29/4.37 c ---[ 170]---> BDD-cost: 43 4.29/4.37 c ---[ 169]---> BDD-cost: 13 4.29/4.37 c ---[ 168]---> BDD-cost: 25 4.29/4.37 c ---[ 167]---> BDD-cost: 23 4.29/4.37 c ---[ 166]---> BDD-cost: 25 4.29/4.37 c ---[ 165]---> BDD-cost: 35 4.29/4.37 c ---[ 164]---> BDD-cost: 29 4.29/4.37 c ---[ 163]---> BDD-cost: 27 4.29/4.37 c ---[ 162]---> BDD-cost: 35 4.29/4.37 c ---[ 161]---> BDD-cost: 39 4.29/4.37 c ---[ 160]---> BDD-cost: 23 4.29/4.37 c ---[ 159]---> BDD-cost: 29 4.29/4.37 c ---[ 158]---> BDD-cost: 35 4.29/4.37 c ---[ 157]---> BDD-cost: 25 4.29/4.37 c ---[ 156]---> BDD-cost: 29 4.29/4.37 c ---[ 155]---> BDD-cost: 35 4.29/4.37 c ---[ 154]---> BDD-cost: 35 4.29/4.37 c ---[ 153]---> BDD-cost: 39 4.29/4.38 c ---[ 152]---> BDD-cost: 29 4.29/4.38 c ---[ 151]---> BDD-cost: 230 4.29/4.38 c ---[ 150]---> BDD-cost: 22 4.29/4.38 c ---[ 149]---> Adder-cost: 11643 maxlim: 17 bits: 6/5 4.69/4.75 c ---[ 148]---> BDD-cost: 536 4.69/4.75 c ---[ 147]---> BDD-cost: 267 4.69/4.75 c ---[ 146]---> BDD-cost: 2632 4.69/4.76 c ---[ 145]---> BDD-cost: 7837 4.79/4.81 c ---[ 144]---> BDD-cost: 265 4.79/4.81 c ---[ 143]---> BDD-cost: 607 4.79/4.81 c ---[ 142]---> BDD-cost: 614 4.79/4.81 c ---[ 141]---> BDD-cost: 2088 4.79/4.82 c ---[ 140]---> BDD-cost: 1228 4.79/4.83 c ---[ 139]---> BDD-cost: 1162 4.79/4.83 c ---[ 138]---> BDD-cost: 334 4.79/4.83 c ---[ 137]---> BDD-cost: 180 4.79/4.83 c ---[ 136]---> BDD-cost: 92 4.79/4.83 c ---[ 135]---> BDD-cost: 2964 4.79/4.84 c ---[ 134]---> BDD-cost: 8904 4.79/4.90 c ---[ 133]---> BDD-cost: 176 4.89/4.90 c ---[ 132]---> BDD-cost: 2600 4.89/4.91 c ---[ 131]---> Adder-cost: 8848 maxlim: 20 bits: 6/5 5.09/5.11 c ---[ 130]---> Adder-cost: 7947 maxlim: 20 bits: 6/5 5.29/5.35 c ---[ 129]---> BDD-cost: 80 5.29/5.35 c ---[ 128]---> BDD-cost: 238 5.29/5.35 c ---[ 127]---> BDD-cost: 88 5.29/5.35 c ---[ 126]---> BDD-cost: 98 5.29/5.35 c ---[ 125]---> BDD-cost: 4398 5.29/5.36 c ---[ 124]---> BDD-cost:10190 5.39/5.41 c ---[ 123]---> BDD-cost: 976 5.39/5.42 c ---[ 122]---> BDD-cost: 1085 5.39/5.42 c ---[ 121]---> BDD-cost: 2488 5.39/5.43 c ---[ 120]---> BDD-cost: 2414 5.39/5.44 c ---[ 119]---> BDD-cost: 36 5.39/5.45 c ---[ 118]---> BDD-cost: 1793 5.39/5.45 c ---[ 117]---> BDD-cost: 1062 5.39/5.46 c ---[ 116]---> BDD-cost: 1564 5.39/5.46 c ---[ 115]---> BDD-cost: 1314 5.39/5.47 c ---[ 114]---> BDD-cost: 1595 5.39/5.48 c ---[ 113]---> BDD-cost: 3526 5.39/5.49 c ---[ 112]---> BDD-cost: 4788 5.49/5.51 c ---[ 111]---> BDD-cost: 5964 5.49/5.53 c ---[ 110]---> BDD-cost:15262 5.49/5.60 c ---[ 109]---> BDD-cost: 724 5.59/5.60 c ---[ 108]---> BDD-cost: 1408 5.59/5.61 c ---[ 107]---> BDD-cost: 948 5.59/5.61 c ---[ 106]---> BDD-cost: 574 5.59/5.62 c ---[ 105]---> BDD-cost: 1878 5.59/5.62 c ---[ 104]---> BDD-cost: 2700 5.59/5.63 c ---[ 103]---> BDD-cost: 156 5.59/5.64 c ---[ 102]---> BDD-cost: 1769 5.59/5.65 c ---[ 101]---> BDD-cost: 4697 5.59/5.67 c ---[ 100]---> BDD-cost: 716 5.59/5.67 c ---[ 99]---> BDD-cost: 2996 5.59/5.68 c ---[ 98]---> BDD-cost: 1820 5.59/5.68 c ---[ 97]---> BDD-cost: 2080 5.59/5.69 c ---[ 96]---> BDD-cost: 4600 5.69/5.71 c ---[ 95]---> BDD-cost: 7785 5.69/5.74 c ---[ 94]---> BDD-cost: 980 5.69/5.74 c ---[ 93]---> BDD-cost: 1021 5.69/5.75 c ---[ 92]---> Adder-cost: 3341 maxlim: 18 bits: 6/5 5.79/5.83 c ---[ 91]---> BDD-cost:10003 5.79/5.90 c ---[ 90]---> BDD-cost:13821 5.89/5.98 c ---[ 89]---> BDD-cost: 2095 5.89/5.99 c ---[ 88]---> BDD-cost: 5265 5.99/6.02 c ---[ 87]---> BDD-cost:15768 6.09/6.12 c ---[ 86]---> BDD-cost:10691 6.09/6.17 c ---[ 85]---> BDD-cost: 7122 6.19/6.21 c ---[ 84]---> BDD-cost: 6722 6.19/6.25 c ---[ 83]---> BDD-cost: 2585 6.19/6.26 c ---[ 82]---> Adder-cost: 3187 maxlim: 22 bits: 6/5 6.29/6.37 c ---[ 81]---> BDD-cost: 1967 6.29/6.38 c ---[ 80]---> Adder-cost: 7401 maxlim: 13 bits: 5/4 6.60/6.68 c ---[ 79]---> BDD-cost: 4160 6.60/6.69 c ---[ 78]---> BDD-cost: 7636 6.70/6.72 c ---[ 77]---> BDD-cost: 2682 6.70/6.72 c ---[ 76]---> BDD-cost: 94 6.70/6.72 c ---[ 75]---> BDD-cost: 4 6.70/6.73 c ---[ 74]---> BDD-cost: 158 6.70/6.73 c ---[ 73]---> BDD-cost: 900 6.70/6.73 c ---[ 72]---> BDD-cost: 2288 6.70/6.74 c ---[ 71]---> BDD-cost: 1536 6.70/6.74 c ---[ 70]---> BDD-cost: 5584 6.70/6.76 c ---[ 69]---> BDD-cost: 66 6.70/6.76 c ---[ 68]---> BDD-cost: 254 6.70/6.76 c ---[ 67]---> BDD-cost: 28 6.70/6.76 c ---[ 66]---> BDD-cost: 1192 6.70/6.76 c ---[ 65]---> BDD-cost: 724 6.70/6.77 c ---[ 64]---> BDD-cost: 1030 6.70/6.77 c ---[ 63]---> BDD-cost: 2544 6.70/6.78 c ---[ 62]---> BDD-cost: 1158 6.70/6.78 c ---[ 61]---> BDD-cost: 3948 6.70/6.79 c ---[ 60]---> BDD-cost: 42 6.70/6.79 c ---[ 59]---> BDD-cost: 24 6.70/6.79 c ---[ 58]---> BDD-cost: 270 6.70/6.79 c ---[ 57]---> BDD-cost: 3125 6.79/6.80 c ---[ 56]---> BDD-cost: 4954 6.79/6.82 c ---[ 55]---> BDD-cost: 514 6.79/6.82 c ---[ 54]---> BDD-cost: 6105 6.79/6.84 c ---[ 53]---> BDD-cost: 840 6.79/6.84 c ---[ 52]---> BDD-cost: 664 6.79/6.85 c ---[ 51]---> BDD-cost: 957 6.79/6.85 c ---[ 50]---> BDD-cost: 5598 6.79/6.87 c ---[ 49]---> BDD-cost: 3217 6.79/6.88 c ---[ 48]---> BDD-cost: 6978 6.89/6.90 c ---[ 47]---> BDD-cost: 756 6.89/6.90 c ---[ 46]---> BDD-cost: 3903 6.89/6.92 c ---[ 45]---> BDD-cost: 516 6.89/6.92 c ---[ 44]---> BDD-cost: 1561 6.89/6.92 c ---[ 43]---> BDD-cost: 1132 6.89/6.93 c ---[ 42]---> BDD-cost: 2952 6.89/6.94 c ---[ 41]---> BDD-cost: 578 6.89/6.94 c ---[ 40]---> BDD-cost: 4410 6.89/6.96 c ---[ 39]---> BDD-cost: 1305 6.89/6.96 c ---[ 38]---> BDD-cost: 4943 6.89/6.99 c ---[ 37]---> BDD-cost: 1214 6.89/6.99 c ---[ 36]---> BDD-cost: 4434 6.99/7.00 c ---[ 35]---> BDD-cost: 332 6.99/7.00 c ---[ 34]---> BDD-cost: 278 6.99/7.01 c ---[ 33]---> Adder-cost: 12678 maxlim: 17 bits: 6/5 7.29/7.36 c ---[ 32]---> BDD-cost: 5436 7.39/7.40 c ---[ 31]---> Adder-cost: 2322 maxlim: 21 bits: 6/5 7.39/7.46 c ---[ 30]---> BDD-cost: 238 7.39/7.46 c ---[ 29]---> BDD-cost: 120 7.39/7.46 c ---[ 28]---> BDD-cost: 3750 7.39/7.47 c ---[ 27]---> BDD-cost: 752 7.39/7.47 c ---[ 26]---> BDD-cost: 2088 7.39/7.48 c ---[ 25]---> BDD-cost: 2622 7.39/7.49 c ---[ 24]---> BDD-cost: 392 7.39/7.49 c ---[ 23]---> BDD-cost: 2370 7.39/7.50 c ---[ 22]---> BDD-cost: 5409 7.49/7.52 c ---[ 21]---> BDD-cost: 806 7.49/7.52 c ---[ 20]---> BDD-cost: 7725 7.49/7.55 c ---[ 19]---> BDD-cost: 878 7.49/7.55 c ---[ 18]---> BDD-cost: 4566 7.49/7.57 c ---[ 17]---> BDD-cost: 219 7.49/7.57 c ---[ 16]---> BDD-cost: 1673 7.49/7.57 c ---[ 15]---> BDD-cost: 978 7.49/7.58 c ---[ 14]---> BDD-cost: 866 7.49/7.58 c ---[ 13]---> BDD-cost: 1958 7.49/7.59 c ---[ 12]---> BDD-cost: 5221 7.59/7.61 c ---[ 11]---> BDD-cost: 466 7.59/7.61 c ---[ 10]---> BDD-cost: 158 7.59/7.61 c ---[ 9]---> BDD-cost: 3018 7.59/7.62 c ---[ 8]---> BDD-cost: 916 7.59/7.62 c ---[ 7]---> BDD-cost: 1372 7.59/7.63 c ---[ 6]---> BDD-cost: 4245 7.59/7.65 c ---[ 5]---> BDD-cost: 4823 7.59/7.67 c ---[ 4]---> BDD-cost: 2536 7.59/7.68 c ---[ 3]---> BDD-cost: 2878 7.59/7.69 c ---[ 2]---> BDD-cost: 941 7.59/7.69 c ---[ 1]---> BDD-cost: 877 7.59/7.69 c ---[ 0]---> BDD-cost: 781 32.29/32.36 | Eliminated clauses: 11.20 Mb | 32.29/32.36 ============================[ Search Statistics ]============================== 32.29/32.36 | Conflicts | ORIGINAL | LEARNT | Progress | 32.29/32.36 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 32.29/32.36 =============================================================================== 32.29/32.36 | 100 | 320370 1368743 7571521 | 501872 96 6 | 0.156 % | 32.29/32.36 | 250 | 320369 1368743 7571521 | 552059 245 7 | 0.156 % | 32.29/32.36 | 475 | 320364 1368743 7571521 | 607265 465 9 | 0.157 % | 32.29/32.36 | 812 | 320364 1368743 7571521 | 667992 802 8 | 0.157 % | 32.29/32.36 | 1318 | 320364 1368743 7571521 | 734791 1308 11 | 0.157 % | 32.29/32.36 | 2077 | 320364 1368743 7571521 | 808270 2067 10 | 0.157 % | 32.29/32.36 | 3216 | 320363 1368743 7571521 | 889097 3192 13 | 0.158 % | 32.29/32.36 | 4924 | 320351 1368743 7571521 | 978007 4891 15 | 0.160 % | 32.29/32.36 | 7486 | 320347 1368743 7571521 | 1075808 7431 13 | 0.161 % | 32.29/32.36 | 11330 | 320332 1368743 7571521 | 1183388 11249 13 | 0.163 % | 32.29/32.36 | 17096 | 320305 1368743 7571521 | 1301727 16960 13 | 0.168 % | 32.29/32.36 | 25745 | 320284 1368743 7571521 | 1431900 25537 13 | 0.172 % | 32.29/32.36 =============================================================================== 32.29/32.36 c [1mFound solution: 15757628994080000031[0m 32.39/32.45 c ---[ 0]---> 1800.01/1800.30 c *** TERMINATED *** 1800.01/1800.30 s SATISFIABLE 1800.01/1800.30 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 -x2148 -x2149 -x2150 -x2151 -x2152 x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 x2712 -x2713 -x2714 x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 x3566 -x3567 -x3568 -x3569 x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 x4373 -x4374 -x4375 -x4376 x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 x4860 -x4861 -x4862 x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 x5239 -x5240 -x5241 -x5242 x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 x5892 -x5893 -x5894 -x5895 -x5896 -x5897 x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 x6142 -x6143 -x6144 -x6145 x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 x6888 -x6889 -x6890 x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 x7242 -x7243 -x7244 -x7245 -x7246 x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 x7502 -x7503 -x7504 -x7505 -x7506 x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 x7980 -x7981 -x7982 -x7983 -x7984 x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 x8033 -x8034 -x8035 -x8036 -x8037 -x8038 x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 x9056 -x9057 -x9058 -x9059 -x9060 -x9061 x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 x10068 -x10069 -x10070 x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 x10352 -x10353 -x10354 -x10355 x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894
OK 15757628994080000031
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4112144-1466599748/watcher-4112144-1466599748 -o /tmp/evaluation-result-4112144-1466599748/solver-4112144-1466599748 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466586805-30470 --watchdog 1960 minisatp HOME/instance-4112144-1466599748.opb pid=389 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.23 2.24 2.25 3/178 392 /proc/meminfo: memFree=29470832/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=6456 CPUtime=0 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 310 0 0 0 0 0 0 0 20 0 1 0 62020724 6610944 186 33554432000 4194304 5646918 140734997349792 140736769105192 4893593 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 1614 186 84 355 0 1255 0 [startup+0.100123 s] /proc/loadavg: 2.23 2.24 2.25 3/178 392 /proc/meminfo: memFree=29470832/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=12892 CPUtime=0.09 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 2176 0 0 0 9 0 0 0 20 0 1 0 62020724 13201408 1631 33554432000 4194304 5646918 140734997349792 140736769105192 4459848 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 3223 1631 94 355 0 2864 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12892 [startup+0.20032 s] /proc/loadavg: 2.23 2.24 2.25 3/178 392 /proc/meminfo: memFree=29470832/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=14612 CPUtime=0.19 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 3174 0 0 0 19 0 0 0 20 0 1 0 62020724 14962688 1860 33554432000 4194304 5646918 140734997349792 140736769105192 4953072 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 3653 1860 94 355 0 3294 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 14612 [startup+0.300334 s] /proc/loadavg: 2.23 2.24 2.25 3/178 392 /proc/meminfo: memFree=29470832/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=17132 CPUtime=0.29 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 4340 0 0 0 29 0 0 0 20 0 1 0 62020724 17543168 2415 33554432000 4194304 5646918 140734997349792 140736769105192 4823809 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 4283 2415 94 355 0 3924 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17132 [startup+0.700242 s] /proc/loadavg: 2.23 2.24 2.25 3/178 392 /proc/meminfo: memFree=29470832/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=28312 CPUtime=0.68 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 9077 0 0 0 68 0 0 0 20 0 1 0 62020724 28991488 4914 33554432000 4194304 5646918 140734997349792 140734997347800 4823257 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 7078 4914 94 355 0 6719 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 28312 [startup+1.50022 s] /proc/loadavg: 2.23 2.24 2.25 3/179 393 /proc/meminfo: memFree=29433880/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=51168 CPUtime=1.49 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 19322 0 0 0 147 2 0 0 20 0 1 0 62020724 52396032 9669 33554432000 4194304 5646918 140734997349792 140734997347960 4823342 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 12792 9669 94 355 0 12433 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 51168 [startup+3.10028 s] /proc/loadavg: 2.29 2.25 2.25 3/179 393 /proc/meminfo: memFree=29402780/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=102320 CPUtime=3.09 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 35341 0 0 0 305 4 0 0 20 0 1 0 62020724 104775680 21899 33554432000 4194304 5646918 140734997349792 140734997347560 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 25580 21899 153 355 0 25221 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 102320 [startup+6.30027 s] /proc/loadavg: 2.29 2.25 2.25 3/179 393 /proc/meminfo: memFree=29358212/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=120704 CPUtime=6.29 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 38785 0 0 0 625 4 0 0 20 0 1 0 62020724 123600896 26069 33554432000 4194304 5646918 140734997349792 140734997348264 4817515 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 30176 26069 153 355 0 29817 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 120704 [startup+12.7003 s] /proc/loadavg: 2.25 2.24 2.25 3/179 393 /proc/meminfo: memFree=29098476/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=383052 CPUtime=12.69 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 73053 0 0 0 1256 13 0 0 20 0 1 0 62020724 392245248 90390 33554432000 4194304 5646918 140734997349792 140734997348040 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 95763 90391 184 355 0 95404 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 383052 [startup+25.5004 s] /proc/loadavg: 2.28 2.25 2.25 3/179 393 /proc/meminfo: memFree=28851368/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=392832 CPUtime=25.49 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 75100 0 0 0 2535 14 0 0 20 0 1 0 62020724 402259968 92948 33554432000 4194304 5646918 140734997349792 140734997347896 4402778 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 98208 92948 184 355 0 97849 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 392832 [startup+51.1003 s] /proc/loadavg: 2.18 2.23 2.24 3/179 394 /proc/meminfo: memFree=28396484/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=51.08 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171865 0 0 0 5075 33 0 0 20 0 1 0 62020724 808738816 192151 33554432000 4194304 5646918 140734997349792 140734997347832 4824634 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 192151 185 355 0 197087 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 789784 [startup+102.3 s] /proc/loadavg: 2.31 2.25 2.25 3/180 398 /proc/meminfo: memFree=28359432/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=102.28 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171865 0 0 0 10195 33 0 0 20 0 1 0 62020724 808738816 192151 33554432000 4194304 5646918 140734997349792 140734997347832 4823374 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 192151 185 355 0 197087 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 789784 [startup+162.3 s] /proc/loadavg: 2.31 2.25 2.25 3/179 458 /proc/meminfo: memFree=28217120/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=162.26 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171865 0 0 0 16193 33 0 0 20 0 1 0 62020724 808738816 192156 33554432000 4194304 5646918 140734997349792 140734997347832 4560454 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 192156 185 355 0 197087 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 789784 [startup+222.307 s] /proc/loadavg: 2.22 2.23 2.24 3/179 459 /proc/meminfo: memFree=26812312/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=222.26 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171865 0 0 0 22193 33 0 0 20 0 1 0 62020724 808738816 192254 33554432000 4194304 5646918 140734997349792 140734997347832 4831200 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 192254 185 355 0 197087 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 789784 [startup+282.3 s] /proc/loadavg: 2.25 2.24 2.24 3/179 460 /proc/meminfo: memFree=25596256/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=282.25 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171865 0 0 0 28192 33 0 0 20 0 1 0 62020724 808738816 192993 33554432000 4194304 5646918 140734997349792 140734997347832 4823342 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 192993 185 355 0 197087 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 789784 [startup+342.3 s] /proc/loadavg: 2.30 2.26 2.25 4/179 462 /proc/meminfo: memFree=25595908/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=342.24 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171865 0 0 0 34191 33 0 0 20 0 1 0 62020724 808738816 193050 33554432000 4194304 5646918 140734997349792 140734997347832 4309821 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 193050 185 355 0 197087 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 789784 [startup+402.3 s] /proc/loadavg: 2.18 2.23 2.24 3/179 463 /proc/meminfo: memFree=25595992/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=402.23 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171865 0 0 0 40190 33 0 0 20 0 1 0 62020724 808738816 193050 33554432000 4194304 5646918 140734997349792 140734997347832 4823232 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 193050 185 355 0 197087 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 789784 [startup+462.3 s] /proc/loadavg: 2.16 2.21 2.23 3/179 464 /proc/meminfo: memFree=25595760/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=462.22 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171865 0 0 0 46189 33 0 0 20 0 1 0 62020724 808738816 193050 33554432000 4194304 5646918 140734997349792 140734997347832 4824627 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 193050 185 355 0 197087 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 789784 [startup+522.3 s] /proc/loadavg: 2.30 2.24 2.24 3/179 465 /proc/meminfo: memFree=25590044/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=522.21 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171866 0 0 0 52188 33 0 0 20 0 1 0 62020724 808738816 193050 33554432000 4194304 5646918 140734997349792 140734997347832 4817485 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 193050 185 355 0 197087 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 789784 [startup+582.3 s] /proc/loadavg: 2.31 2.25 2.24 4/179 466 /proc/meminfo: memFree=25587092/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=582.2 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171866 0 0 0 58187 33 0 0 20 0 1 0 62020724 808738816 193765 33554432000 4194304 5646918 140734997349792 140734997347832 4831296 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 193765 185 355 0 197087 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 789784 ################ # More data... # ################ [startup+942.3 s] /proc/loadavg: 2.21 2.23 2.22 4/179 500 /proc/meminfo: memFree=25560072/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=942.14 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171866 0 0 0 94181 33 0 0 20 0 1 0 62020724 808738816 193765 33554432000 4194304 5646918 140734997349792 140734997347832 4817485 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 193765 185 355 0 197087 0 Current children cumulated CPU time (s) 942.14 Current children cumulated vsize (KiB) 789784 [startup+1002.3 s] /proc/loadavg: 2.17 2.21 2.21 3/179 502 /proc/meminfo: memFree=25510020/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=1002.13 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171866 0 0 0 100180 33 0 0 20 0 1 0 62020724 808738816 193765 33554432000 4194304 5646918 140734997349792 140734997347832 4831200 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 193765 185 355 0 197087 0 Current children cumulated CPU time (s) 1002.13 Current children cumulated vsize (KiB) 789784 [startup+1062.3 s] /proc/loadavg: 2.30 2.23 2.22 3/179 503 /proc/meminfo: memFree=25508676/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=1062.13 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171866 0 0 0 106180 33 0 0 20 0 1 0 62020724 808738816 193765 33554432000 4194304 5646918 140734997349792 140734997347832 4832127 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 193765 185 355 0 197087 0 Current children cumulated CPU time (s) 1062.13 Current children cumulated vsize (KiB) 789784 [startup+1122.3 s] /proc/loadavg: 2.23 2.22 2.21 3/179 504 /proc/meminfo: memFree=25505352/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=1122.12 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171866 0 0 0 112179 33 0 0 20 0 1 0 62020724 808738816 193765 33554432000 4194304 5646918 140734997349792 140734997347832 4823258 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 193765 185 355 0 197087 0 Current children cumulated CPU time (s) 1122.12 Current children cumulated vsize (KiB) 789784 [startup+1182.3 s] /proc/loadavg: 2.28 2.24 2.21 3/179 505 /proc/meminfo: memFree=25499104/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=1182.11 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171866 0 0 0 118178 33 0 0 20 0 1 0 62020724 808738816 193765 33554432000 4194304 5646918 140734997349792 140734997347832 4823346 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 193765 185 355 0 197087 0 Current children cumulated CPU time (s) 1182.11 Current children cumulated vsize (KiB) 789784 [startup+1242.3 s] /proc/loadavg: 2.39 2.27 2.22 3/179 506 /proc/meminfo: memFree=25494104/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=1242.1 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171866 0 0 0 124177 33 0 0 20 0 1 0 62020724 808738816 193765 33554432000 4194304 5646918 140734997349792 140734997347832 4824677 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 193765 185 355 0 197087 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 789784 [startup+1302.3 s] /proc/loadavg: 2.27 2.25 2.22 3/180 511 /proc/meminfo: memFree=25493776/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=1302.09 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171866 0 0 0 130176 33 0 0 20 0 1 0 62020724 808738816 193765 33554432000 4194304 5646918 140734997349792 140734997347832 4817571 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 193765 185 355 0 197087 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 789784 [startup+1362.3 s] /proc/loadavg: 2.26 2.24 2.22 3/179 512 /proc/meminfo: memFree=25491020/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=1362.08 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171866 0 0 0 136175 33 0 0 20 0 1 0 62020724 808738816 193765 33554432000 4194304 5646918 140734997349792 140734997347832 4831369 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 193765 185 355 0 197087 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 789784 [startup+1422.3 s] /proc/loadavg: 2.29 2.25 2.22 3/179 513 /proc/meminfo: memFree=25482368/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=1422.07 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171866 0 0 0 142174 33 0 0 20 0 1 0 62020724 808738816 193765 33554432000 4194304 5646918 140734997349792 140734997347832 4831206 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 193765 185 355 0 197087 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 789784 [startup+1482.3 s] /proc/loadavg: 2.30 2.26 2.22 3/179 514 /proc/meminfo: memFree=25480100/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=1482.06 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171866 0 0 0 148173 33 0 0 20 0 1 0 62020724 808738816 193765 33554432000 4194304 5646918 140734997349792 140734997347832 4817699 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 193765 185 355 0 197087 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 789784 [startup+1542.31 s] /proc/loadavg: 2.23 2.25 2.21 3/179 515 /proc/meminfo: memFree=25479864/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=1542.06 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171866 0 0 0 154173 33 0 0 20 0 1 0 62020724 808738816 193765 33554432000 4194304 5646918 140734997349792 140734997347832 4823232 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 193765 185 355 0 197087 0 Current children cumulated CPU time (s) 1542.06 Current children cumulated vsize (KiB) 789784 [startup+1602.3 s] /proc/loadavg: 2.31 2.26 2.22 3/179 518 /proc/meminfo: memFree=25472956/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=1602.04 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171866 0 0 0 160171 33 0 0 20 0 1 0 62020724 808738816 193765 33554432000 4194304 5646918 140734997349792 140734997347832 4832112 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 193765 185 355 0 197087 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 789784 [startup+1662.3 s] /proc/loadavg: 2.25 2.26 2.22 3/179 519 /proc/meminfo: memFree=25467572/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=1662.03 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171866 0 0 0 166170 33 0 0 20 0 1 0 62020724 808738816 193765 33554432000 4194304 5646918 140734997349792 140734997347832 4476906 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 193765 185 355 0 197087 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 789784 [startup+1722.3 s] /proc/loadavg: 2.22 2.25 2.22 3/179 520 /proc/meminfo: memFree=25467728/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=1722.03 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171866 0 0 0 172170 33 0 0 20 0 1 0 62020724 808738816 193765 33554432000 4194304 5646918 140734997349792 140734997347832 4823361 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 193765 185 355 0 197087 0 Current children cumulated CPU time (s) 1722.03 Current children cumulated vsize (KiB) 789784 [startup+1782.3 s] /proc/loadavg: 2.27 2.26 2.22 3/179 521 /proc/meminfo: memFree=25464588/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=1782.02 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171866 0 0 0 178169 33 0 0 20 0 1 0 62020724 808738816 193765 33554432000 4194304 5646918 140734997349792 140734997347832 4823289 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 193765 185 355 0 197087 0 Current children cumulated CPU time (s) 1782.02 Current children cumulated vsize (KiB) 789784 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.19 2.25 2.22 4/179 521 /proc/meminfo: memFree=25464312/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=1800.01 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171866 0 0 0 179968 33 0 0 20 0 1 0 62020724 808738816 193765 33554432000 4194304 5646918 140734997349792 140734997347832 4831366 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 193765 185 355 0 197087 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 789784 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 392 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.19 2.25 2.22 4/179 521 /proc/meminfo: memFree=25464312/32872528 swapFree=1505692/1685564 [pid=392] ppid=389 vsize=789784 CPUtime=1800.01 cores=0,2,4,6 /proc/392/stat : 392 (minisatp) R 389 392 30454 0 -1 4202496 171866 0 0 0 179968 33 0 0 20 0 1 0 62020724 808738816 193765 33554432000 4194304 5646918 140734997349792 140734997347832 4831366 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/392/statm: 197446 193765 185 355 0 197087 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 789784 Child status: 0 Real time (s): 1800.31 CPU time (s): 1800.03 CPU user time (s): 1799.69 CPU system time (s): 0.339948 CPU usage (%): 99.9847 Max. virtual memory (cumulated for all children) (KiB): 873716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.69 system time used= 0.339948 maximum resident set size= 852572 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 171866 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 1859 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.82926 second user time and 6.64199 second system time The end
Begin job on node135 at 2016-06-22 14:49:08 IDJOB=4112144 IDBENCH=89881 IDSOLVER=2555 FILE ID=node135/4112144-1466599748 RUNJOBID= node135-1466586805-30470 PBS_JOBID= 19953375 Free space on /tmp= 71672 MiB SOLVER NAME= minisatp 2012-10-02 git-d91742b BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-sp98ic.opb COMMAND LINE= minisatp BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112144-1466599748/watcher-4112144-1466599748 -o /tmp/evaluation-result-4112144-1466599748/solver-4112144-1466599748 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466586805-30470 --watchdog 1960 minisatp HOME/instance-4112144-1466599748.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 719fde9b23d3f6b632131842d6adb45e RANDOM SEED=516731990 node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29475532 kB Buffers: 100036 kB Cached: 623128 kB SwapCached: 1628 kB Active: 365740 kB Inactive: 609564 kB Active(anon): 252992 kB Inactive(anon): 1164 kB Active(file): 112748 kB Inactive(file): 608400 kB Unevictable: 1685564 kB Mlocked: 1505692 kB SwapTotal: 67108856 kB SwapFree: 67099452 kB Dirty: 24740 kB Writeback: 0 kB AnonPages: 1925892 kB Mapped: 7592 kB Shmem: 0 kB Slab: 602076 kB SReclaimable: 45312 kB SUnreclaim: 556764 kB KernelStack: 1456 kB PageTables: 7904 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2059040 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 190464 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4112144-1466599748.opb Free space on /tmp at the end= 71484 MiB End job on node135 at 2016-06-22 15:19:08