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