Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.05 | 1800.62 |
Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12041_4-unsat.opb |
MD5SUM | 79ac6c83623058381a8b74cdf49b52af |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 1.57376 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 28072 |
Total number of constraints | 97590 |
Number of constraints which are clauses | 97130 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 460 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 36 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 13 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 231 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.24 c PB-wave - v2 0.00/0.24 c command line = ./PB-wave 0.00/0.24 c seed = 29041626 0.00/0.24 c cutoff = 1000000 0.00/0.24 c tries = 1000000 0.00/0.24 c heuristic = c best, noise 50 / 100 0.00/0.24 #var 28072 #con 97590 0.00/0.24 mode is SAT 0.00/0.24 c tail starts after flip = 84216 0.00/0.24 c numatom = 28072, numclause = 97590, numliterals = 220640 0.00/0.24 c wff read in 0.00/0.24 c 0.00/0.24 c lowest final avg noise noise total avg mean mean 0.00/0.24 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.24 c this this this this this this success success until std 0.00/0.24 c try try try try try try rate tries assign dev 0.00/0.24 c 2.19/2.26 c 685 918 905.42 149.41 6.06 1000000 0 4.18/4.27 c 641 963 898.70 160.38 5.60 1000000 0 6.18/6.25 c 635 834 861.46 146.21 5.89 1000000 0 8.18/8.25 c 613 786 863.35 131.18 6.58 1000000 0 10.18/10.26 c 625 907 888.02 161.92 5.48 1000000 0 12.18/12.26 c 600 804 861.25 127.80 6.74 1000000 0 14.18/14.28 c 625 799 906.27 180.58 5.02 1000000 0 16.18/16.27 c 592 875 871.31 135.82 6.42 1000000 0 18.18/18.28 c 652 818 890.39 143.61 6.20 1000000 0 20.18/20.28 c 642 990 882.45 127.11 6.94 1000000 0 22.18/22.27 c 641 711 853.00 123.76 6.89 1000000 0 24.18/24.26 c 624 868 859.15 123.73 6.94 1000000 0 26.18/26.26 c 643 827 872.79 128.14 6.81 1000000 0 28.17/28.25 c 623 827 869.29 142.12 6.12 1000000 0 30.17/30.26 c 656 882 897.02 119.95 7.48 1000000 0 32.17/32.27 c 606 879 882.00 124.60 7.08 1000000 0 34.17/34.27 c 598 775 867.82 155.22 5.59 1000000 0 36.18/36.27 c 647 775 876.26 146.78 5.97 1000000 0 38.17/38.27 c 600 811 878.71 126.84 6.93 1000000 0 40.17/40.28 c 605 723 889.85 127.02 7.01 1000000 0 42.17/42.28 c 636 839 870.65 163.99 5.31 1000000 0 44.17/44.28 c 588 767 869.18 120.79 7.20 1000000 0 46.18/46.28 c 633 726 873.56 150.83 5.79 1000000 0 48.17/48.28 c 596 869 882.98 159.59 5.53 1000000 0 50.17/50.29 c 632 965 884.92 134.57 6.58 1000000 0 52.17/52.28 c 611 953 859.14 151.83 5.66 1000000 0 54.17/54.27 c 621 907 868.18 118.97 7.30 1000000 0 56.17/56.27 c 649 884 871.24 125.78 6.93 1000000 0 58.17/58.27 c 545 801 880.75 166.52 5.29 1000000 0 60.16/60.27 c 610 839 877.47 134.18 6.54 1000000 0 62.16/62.27 c 598 827 878.70 117.94 7.45 1000000 0 64.16/64.25 c 625 859 837.85 112.74 7.43 1000000 0 66.16/66.25 c 625 875 872.48 119.36 7.31 1000000 0 68.17/68.24 c 616 905 876.15 121.94 7.19 1000000 0 70.16/70.25 c 626 815 885.92 122.38 7.24 1000000 0 72.16/72.26 c 638 864 875.73 144.02 6.08 1000000 0 74.16/74.26 c 637 858 878.08 113.65 7.73 1000000 0 76.16/76.27 c 633 834 883.02 144.93 6.09 1000000 0 78.16/78.25 c 606 848 861.25 127.37 6.76 1000000 0 80.17/80.25 c 657 888 872.34 134.06 6.51 1000000 0 82.16/82.27 c 688 778 887.48 119.04 7.46 1000000 0 84.16/84.28 c 682 887 899.04 132.00 6.81 1000000 0 86.16/86.26 c 582 885 855.34 155.51 5.50 1000000 0 88.16/88.26 c 657 764 892.44 139.97 6.38 1000000 0 90.16/90.26 c 592 805 864.01 152.71 5.66 1000000 0 92.16/92.26 c 655 818 882.72 154.80 5.70 1000000 0 94.16/94.25 c 553 864 872.28 164.58 5.30 1000000 0 96.15/96.25 c 627 820 867.54 139.14 6.24 1000000 0 98.15/98.24 c 625 731 864.25 159.09 5.43 1000000 0 100.15/100.25 c 607 930 886.28 131.74 6.73 1000000 0 102.16/102.25 c 626 906 869.67 138.31 6.29 1000000 0 104.15/104.26 c 673 903 895.67 146.51 6.11 1000000 0 106.15/106.25 c 632 839 877.00 156.25 5.61 1000000 0 108.15/108.25 c 631 875 876.08 146.26 5.99 1000000 0 110.15/110.25 c 646 850 874.62 113.01 7.74 1000000 0 112.16/112.24 c 648 788 861.59 125.24 6.88 1000000 0 114.15/114.25 c 640 808 885.06 148.23 5.97 1000000 0 116.15/116.26 c 608 999 875.46 144.19 6.07 1000000 0 118.15/118.25 c 632 791 868.11 126.51 6.86 1000000 0 120.15/120.24 c 614 789 860.56 113.76 7.56 1000000 0 122.15/122.24 c 652 806 885.89 147.15 6.02 1000000 0 124.15/124.22 c 621 822 854.40 132.63 6.44 1000000 0 126.15/126.21 c 556 848 874.84 134.10 6.52 1000000 0 128.15/128.22 c 676 776 897.61 127.16 7.06 1000000 0 130.15/130.23 c 637 905 892.85 152.93 5.84 1000000 0 132.14/132.24 c 609 765 876.29 177.82 4.93 1000000 0 134.15/134.25 c 639 788 876.17 158.91 5.51 1000000 0 136.14/136.24 c 640 840 863.96 142.04 6.08 1000000 0 138.14/138.23 c 647 767 868.61 132.86 6.54 1000000 0 140.14/140.24 c 624 811 887.38 124.04 7.15 1000000 0 142.14/142.23 c 598 755 871.44 141.13 6.17 1000000 0 144.15/144.24 c 603 966 885.94 159.86 5.54 1000000 0 146.16/146.23 c 552 773 867.07 138.68 6.25 1000000 0 148.15/148.24 c 633 863 861.74 135.99 6.34 1000000 0 150.15/150.24 c 640 861 886.49 125.33 7.07 1000000 0 152.15/152.24 c 597 827 876.43 171.56 5.11 1000000 0 154.15/154.24 c 643 985 872.15 148.44 5.88 1000000 0 156.15/156.24 c 642 997 877.02 116.84 7.51 1000000 0 158.15/158.23 c 636 870 877.74 138.57 6.33 1000000 0 160.15/160.23 c 639 1011 879.92 154.79 5.68 1000000 0 162.15/162.24 c 654 794 895.42 131.39 6.82 1000000 0 164.14/164.24 c 606 865 880.26 135.81 6.48 1000000 0 166.14/166.21 c 587 749 847.87 112.89 7.51 1000000 0 168.15/168.22 c 647 829 882.99 147.69 5.98 1000000 0 170.14/170.21 c 629 766 850.20 119.80 7.10 1000000 0 172.14/172.23 c 619 836 895.39 162.45 5.51 1000000 0 174.14/174.24 c 636 888 892.45 146.32 6.10 1000000 0 176.14/176.24 c 634 789 865.92 139.42 6.21 1000000 0 178.15/178.25 c 614 850 889.69 161.66 5.50 1000000 0 180.14/180.24 c 625 732 874.58 145.15 6.03 1000000 0 182.14/182.24 c 631 895 855.55 125.21 6.83 1000000 0 184.14/184.26 c 631 947 912.39 153.18 5.96 1000000 0 186.14/186.27 c 664 889 897.05 172.88 5.19 1000000 0 188.14/188.26 c 660 813 866.73 106.80 8.12 1000000 0 190.14/190.26 c 549 803 877.43 108.00 8.12 1000000 0 192.14/192.27 c 627 868 887.30 147.36 6.02 1000000 0 194.12/194.28 c 615 767 880.47 155.04 5.68 1000000 0 196.12/196.28 c 609 682 867.15 137.51 6.31 1000000 0 198.12/198.29 c 626 890 889.47 119.68 7.43 1000000 0 200.13/200.29 c 657 861 876.85 141.28 6.21 1000000 0 202.12/202.28 c 650 884 879.33 126.49 6.95 1000000 0 204.12/204.28 c 526 889 887.82 143.08 6.21 1000000 0 206.12/206.29 c 625 886 886.14 145.42 6.09 1000000 0 208.22/208.31 c 647 913 895.83 150.89 5.94 1000000 0 210.22/210.30 c 612 764 864.73 147.85 5.85 1000000 0 212.22/212.31 c 656 861 882.87 120.17 7.35 1000000 0 214.22/214.31 c 611 923 863.19 139.59 6.18 1000000 0 216.21/216.30 c 626 900 867.83 127.05 6.83 1000000 0 218.11/218.29 c 584 827 861.50 130.05 6.62 1000000 0 220.11/220.30 c 670 773 888.26 138.99 6.39 1000000 0 222.12/222.28 c 592 766 849.46 155.83 5.45 1000000 0 224.11/224.27 c 552 837 865.06 127.40 6.79 1000000 0 226.11/226.27 c 608 851 883.20 120.93 7.30 1000000 0 228.11/228.28 c 618 897 894.95 132.37 6.76 1000000 0 230.11/230.28 c 651 810 896.66 143.08 6.27 1000000 0 232.11/232.29 c 608 865 872.58 161.26 5.41 1000000 0 234.11/234.29 c 629 964 894.22 186.07 4.81 1000000 0 236.21/236.30 c 679 992 896.07 114.22 7.85 1000000 0 238.21/238.30 c 587 875 871.79 123.22 7.08 1000000 0 240.21/240.31 c 666 891 897.44 136.59 6.57 1000000 0 242.21/242.33 c 633 848 888.38 159.31 5.58 1000000 0 244.20/244.33 c 669 753 884.35 128.79 6.87 1000000 0 246.21/246.32 c 597 885 860.35 146.81 5.86 1000000 0 248.20/248.33 c 650 941 887.28 121.27 7.32 1000000 0 250.20/250.31 c 600 876 834.22 121.93 6.84 1000000 0 252.20/252.30 c 605 846 864.50 112.31 7.70 1000000 0 254.10/254.28 c 618 743 854.80 114.39 7.47 1000000 0 256.11/256.28 c 618 768 853.74 146.04 5.85 1000000 0 258.10/258.29 c 623 858 891.37 160.52 5.55 1000000 0 260.20/260.30 c 605 814 900.24 174.55 5.16 1000000 0 262.10/262.29 c 645 839 856.09 147.71 5.80 1000000 0 264.20/264.30 c 649 815 895.46 139.75 6.41 1000000 0 266.20/266.32 c 691 846 903.46 153.06 5.90 1000000 0 268.21/268.31 c 628 880 875.18 130.73 6.69 1000000 0 270.20/270.32 c 645 793 883.50 155.93 5.67 1000000 0 272.20/272.33 c 608 898 883.71 150.49 5.87 1000000 0 274.20/274.34 c 580 912 883.59 146.77 6.02 1000000 0 276.20/276.33 c 656 763 872.70 137.01 6.37 1000000 0 278.20/278.32 c 632 737 862.12 137.92 6.25 1000000 0 280.20/280.31 c 655 816 875.41 120.72 7.25 1000000 0 282.20/282.33 c 619 1017 904.04 151.92 5.95 1000000 0 284.19/284.33 c 634 845 880.22 158.44 5.56 1000000 0 286.19/286.34 c 620 859 879.20 150.13 5.86 1000000 0 288.19/288.34 c 598 911 873.57 130.38 6.70 1000000 0 290.20/290.33 c 611 986 869.25 118.68 7.32 1000000 0 292.19/292.34 c 619 902 880.62 153.77 5.73 1000000 0 294.19/294.34 c 590 880 868.52 135.16 6.43 1000000 0 296.19/296.32 c 569 690 855.62 132.26 6.47 1000000 0 298.19/298.33 c 633 826 885.62 162.88 5.44 1000000 0 300.20/300.34 c 626 745 893.31 171.94 5.20 1000000 0 302.19/302.34 c 634 864 869.75 138.07 6.30 1000000 0 304.19/304.34 c 646 828 878.24 146.91 5.98 1000000 0 306.19/306.33 c 613 778 866.73 130.50 6.64 1000000 0 308.19/308.34 c 643 794 880.41 142.98 6.16 1000000 0 310.18/310.33 c 632 850 865.28 132.53 6.53 1000000 0 312.19/312.33 c 620 996 878.41 148.33 5.92 1000000 0 314.18/314.32 c 573 752 865.12 170.68 5.07 1000000 0 316.18/316.32 c 592 945 873.25 126.10 6.92 1000000 0 318.18/318.33 c 575 861 876.87 136.43 6.43 1000000 0 320.18/320.32 c 642 892 879.66 183.47 4.79 1000000 0 322.19/322.33 c 627 840 869.86 125.23 6.95 1000000 0 324.18/324.34 c 638 962 896.65 139.12 6.45 1000000 0 326.18/326.33 c 608 859 877.94 120.34 7.30 1000000 0 328.18/328.32 c 643 790 869.28 135.40 6.42 1000000 0 330.18/330.31 c 622 904 866.50 128.11 6.76 1000000 0 332.18/332.32 c 642 934 884.20 123.27 7.17 1000000 0 334.19/334.33 c 623 926 884.31 161.13 5.49 1000000 0 336.18/336.33 c 594 874 871.28 149.34 5.83 1000000 0 338.18/338.32 c 625 968 863.39 114.63 7.53 1000000 0 340.18/340.33 c 671 822 892.25 123.14 7.25 1000000 0 342.18/342.33 c 643 850 876.52 138.01 6.35 1000000 0 344.18/344.33 c 640 902 887.14 154.41 5.75 1000000 0 346.17/346.32 c 607 732 861.71 122.11 7.06 1000000 0 348.17/348.31 c 626 797 875.63 144.92 6.04 1000000 0 350.17/350.32 c 584 971 879.03 147.46 5.96 1000000 0 352.17/352.33 c 617 898 888.02 150.08 5.92 1000000 0 354.17/354.33 c 635 940 880.51 144.47 6.09 1000000 0 356.18/356.34 c 609 1000 889.44 142.46 6.24 1000000 0 358.17/358.34 c 642 915 894.87 147.85 6.05 1000000 0 360.17/360.35 c 595 1026 890.88 168.73 5.28 1000000 0 362.17/362.35 c 647 856 891.95 157.52 5.66 1000000 0 364.17/364.36 c 626 848 885.57 167.57 5.28 1000000 0 366.18/366.37 c 649 837 896.56 138.16 6.49 1000000 0 368.17/368.36 c 601 890 852.46 149.72 5.69 1000000 0 370.17/370.36 c 645 751 880.42 126.28 6.97 1000000 0 372.17/372.36 c 615 859 878.29 138.09 6.36 1000000 0 374.17/374.37 c 668 915 905.66 117.92 7.68 1000000 0 376.16/376.37 c 638 800 866.47 138.27 6.27 1000000 0 378.17/378.36 c 611 752 871.82 149.81 5.82 1000000 0 380.16/380.37 c 603 824 876.00 146.74 5.97 1000000 0 382.16/382.38 c 641 804 875.19 135.12 6.48 1000000 0 384.16/384.36 c 580 754 857.09 137.67 6.23 1000000 0 386.16/386.36 c 604 989 877.36 167.56 5.24 1000000 0 388.17/388.37 c 650 858 888.08 122.03 7.28 1000000 0 390.16/390.36 c 590 895 873.37 135.20 6.46 1000000 0 392.16/392.38 c 657 949 907.55 140.12 6.48 1000000 0 394.16/394.38 c 653 929 879.79 138.19 6.37 1000000 0 396.16/396.37 c 622 780 859.70 133.82 6.42 1000000 0 398.16/398.35 c 606 748 858.60 128.22 6.70 1000000 0 400.17/400.35 c 629 749 872.38 138.77 6.29 1000000 0 402.16/402.36 c 619 837 905.87 146.24 6.19 1000000 0 404.16/404.35 c 604 776 854.21 122.79 6.96 1000000 0 406.16/406.35 c 622 871 893.73 163.78 5.46 1000000 0 408.16/408.36 c 615 910 882.30 150.61 5.86 1000000 0 410.16/410.37 c 621 882 879.41 155.01 5.67 1000000 0 412.15/412.36 c 606 761 852.72 132.20 6.45 1000000 0 414.15/414.36 c 631 820 869.82 160.55 5.42 1000000 0 416.15/416.34 c 583 987 849.26 129.60 6.55 1000000 0 418.15/418.34 c 623 802 880.18 160.13 5.50 1000000 0 420.15/420.32 c 670 820 862.93 127.31 6.78 1000000 0 422.16/422.33 c 631 894 874.43 144.79 6.04 1000000 0 424.15/424.33 c 597 919 867.70 133.15 6.52 1000000 0 426.15/426.32 c 598 704 854.54 163.30 5.23 1000000 0 428.15/428.31 c 587 828 860.59 144.99 5.94 1000000 0 430.15/430.30 c 600 822 857.56 127.10 6.75 1000000 0 432.06/432.29 c 613 817 870.59 122.73 7.09 1000000 0 434.05/434.30 c 640 926 878.30 154.27 5.69 1000000 0 436.05/436.29 c 641 839 880.18 143.58 6.13 1000000 0 438.05/438.28 c 625 897 878.64 128.97 6.81 1000000 0 440.05/440.28 c 659 785 872.62 112.25 7.77 1000000 0 442.05/442.27 c 593 841 864.79 130.78 6.61 1000000 0 444.05/444.27 c 637 812 878.73 131.71 6.67 1000000 0 446.04/446.26 c 655 756 874.72 107.06 8.17 1000000 0 448.04/448.28 c 636 837 898.88 144.69 6.21 1000000 0 450.04/450.29 c 692 815 900.96 114.35 7.88 1000000 0 452.04/452.29 c 598 785 874.93 160.45 5.45 1000000 0 454.05/454.30 c 610 808 882.80 137.12 6.44 1000000 0 456.14/456.30 c 613 839 892.25 150.88 5.91 1000000 0 458.14/458.30 c 588 829 868.07 156.19 5.56 1000000 0 460.04/460.30 c 612 900 868.92 127.41 6.82 1000000 0 462.04/462.29 c 589 955 863.95 126.88 6.81 1000000 0 464.05/464.29 c 649 909 874.70 119.32 7.33 1000000 0 466.15/466.30 c 643 800 882.21 126.15 6.99 1000000 0 468.14/468.31 c 657 844 898.49 141.24 6.36 1000000 0 470.14/470.30 c 604 918 868.93 114.14 7.61 1000000 0 472.14/472.30 c 598 748 876.38 146.66 5.98 1000000 0 474.14/474.31 c 637 814 887.01 138.15 6.42 1000000 0 476.14/476.32 c 617 846 891.68 123.60 7.21 1000000 0 478.14/478.31 c 643 805 876.27 121.04 7.24 1000000 0 480.14/480.30 c 590 798 856.30 122.51 6.99 1000000 0 482.13/482.30 c 623 883 874.05 115.25 7.58 1000000 0 484.13/484.30 c 648 779 867.55 121.28 7.15 1000000 0 486.13/486.31 c 642 891 873.81 170.50 5.13 1000000 0 488.03/488.30 c 571 831 870.01 131.85 6.60 1000000 0 490.03/490.28 c 585 805 848.17 108.07 7.85 1000000 0 492.03/492.28 c 648 861 883.04 174.67 5.06 1000000 0 494.03/494.28 c 615 861 863.37 144.07 5.99 1000000 0 496.03/496.29 c 545 861 883.20 143.76 6.14 1000000 0 498.04/498.28 c 607 873 888.08 118.49 7.49 1000000 0 500.03/500.28 c 607 912 879.10 156.21 5.63 1000000 0 502.03/502.28 c 603 907 886.24 166.64 5.32 1000000 0 504.03/504.28 c 606 740 879.84 123.38 7.13 1000000 0 506.03/506.27 c 578 845 856.31 131.16 6.53 1000000 0 508.03/508.28 c 577 871 886.93 162.11 5.47 1000000 0 510.03/510.28 c 606 902 867.45 132.96 6.52 1000000 0 512.03/512.28 c 603 1021 876.32 146.20 5.99 1000000 0 514.03/514.27 c 638 918 867.26 143.88 6.03 1000000 0 516.02/516.28 c 589 837 888.42 134.35 6.61 1000000 0 518.02/518.27 c 623 990 863.00 141.01 6.12 1000000 0 520.03/520.28 c 655 701 885.68 152.50 5.81 1000000 0 522.12/522.30 c 671 771 903.90 187.95 4.81 1000000 0 524.02/524.29 c 613 732 858.11 111.61 7.69 1000000 0 526.02/526.29 c 660 823 883.10 122.36 7.22 1000000 0 528.02/528.29 c 671 867 873.13 118.03 7.40 1000000 0 530.03/530.28 c 633 849 868.43 131.30 6.61 1000000 0 532.02/532.27 c 603 759 863.00 123.90 6.97 1000000 0 534.02/534.25 c 636 809 848.36 122.23 6.94 1000000 0 536.02/536.25 c 586 922 864.68 110.34 7.84 1000000 0 538.02/538.26 c 681 863 891.77 131.21 6.80 1000000 0 540.02/540.26 c 596 965 879.80 129.19 6.81 1000000 0 542.02/542.25 c 640 730 871.55 118.57 7.35 1000000 0 544.02/544.25 c 615 954 861.61 137.19 6.28 1000000 0 546.02/546.25 c 631 944 877.01 149.33 5.87 1000000 0 548.02/548.25 c 613 725 870.40 135.69 6.41 1000000 0 550.01/550.25 c 664 751 878.53 133.32 6.59 1000000 0 552.02/552.24 c 612 860 876.11 133.50 6.56 1000000 0 554.01/554.24 c 630 785 873.86 134.85 6.48 1000000 0 556.01/556.23 c 607 768 861.87 127.11 6.78 1000000 0 558.01/558.22 c 583 898 878.21 140.76 6.24 1000000 0 560.01/560.21 c 612 834 865.73 112.16 7.72 1000000 0 562.01/562.21 c 652 696 884.05 131.95 6.70 1000000 0 564.02/564.22 c 639 926 898.42 138.40 6.49 1000000 0 566.01/566.22 c 623 851 871.17 164.33 5.30 1000000 0 568.01/568.23 c 644 964 889.45 152.81 5.82 1000000 0 570.01/570.22 c 614 805 860.36 138.64 6.21 1000000 0 572.01/572.20 c 582 667 865.44 162.97 5.31 1000000 0 573.91/574.19 c 599 727 871.00 139.54 6.24 1000000 0 575.91/576.18 c 628 884 855.60 129.51 6.61 1000000 0 577.91/578.18 c 632 892 881.37 157.49 5.60 1000000 0 579.91/580.17 c 631 781 867.10 134.25 6.46 1000000 0 581.91/582.16 c 633 768 865.93 135.43 6.39 1000000 0 583.91/584.16 c 629 845 875.00 150.78 5.80 1000000 0 585.90/586.15 c 596 881 851.12 128.44 6.63 1000000 0 587.90/588.15 c 648 1002 880.38 131.83 6.68 1000000 0 589.90/590.14 c 626 721 870.43 133.32 6.53 1000000 0 591.90/592.15 c 637 900 877.97 159.10 5.52 1000000 0 593.90/594.17 c 638 848 902.81 151.83 5.95 1000000 0 595.91/596.15 c 639 779 871.34 141.86 6.14 1000000 0 597.90/598.13 c 619 940 861.87 114.92 7.50 1000000 0 599.90/600.15 c 634 824 891.63 161.27 5.53 1000000 0 601.90/602.15 c 602 843 873.49 159.91 5.46 1000000 0 603.90/604.15 c 604 805 882.07 126.30 6.98 1000000 0 605.91/606.15 c 561 756 870.74 139.60 6.24 1000000 0 607.90/608.15 c 615 855 889.20 130.83 6.80 1000000 0 609.90/610.15 c 638 816 871.66 129.88 6.71 1000000 0 611.89/612.17 c 618 859 890.46 149.35 5.96 1000000 0 613.89/614.15 c 652 920 853.43 114.66 7.44 1000000 0 615.89/616.15 c 650 800 870.38 141.01 6.17 1000000 0 617.90/618.15 c 619 799 882.28 142.95 6.17 1000000 0 619.89/620.15 c 634 839 873.50 118.21 7.39 1000000 0 621.89/622.16 c 632 671 884.88 165.51 5.35 1000000 0 623.89/624.16 c 658 849 885.24 126.26 7.01 1000000 0 625.89/626.18 c 637 880 889.36 148.66 5.98 1000000 0 627.90/628.16 c 609 719 863.46 144.88 5.96 1000000 0 629.89/630.16 c 606 873 875.07 122.13 7.17 1000000 0 631.89/632.16 c 623 824 877.37 155.27 5.65 1000000 0 633.89/634.16 c 608 865 861.64 151.91 5.67 1000000 0 635.89/636.15 c 590 855 860.23 127.43 6.75 1000000 0 637.89/638.15 c 632 815 881.15 151.57 5.81 1000000 0 639.89/640.13 c 588 864 847.76 127.94 6.63 1000000 0 641.89/642.14 c 642 762 890.28 134.60 6.61 1000000 0 643.89/644.14 c 658 901 890.84 142.32 6.26 1000000 0 645.89/646.14 c 644 876 887.34 128.55 6.90 1000000 0 647.89/648.14 c 661 833 884.57 117.79 7.51 1000000 0 649.89/650.14 c 626 907 870.97 112.37 7.75 1000000 0 651.88/652.13 c 610 945 857.63 176.70 4.85 1000000 0 653.88/654.14 c 666 825 887.94 142.87 6.21 1000000 0 655.88/656.15 c 661 773 882.42 120.08 7.35 1000000 0 657.88/658.14 c 623 907 880.56 125.65 7.01 1000000 0 659.88/660.14 c 603 984 881.49 152.35 5.79 1000000 0 661.89/662.15 c 640 820 897.85 122.29 7.34 1000000 0 663.88/664.16 c 633 811 881.08 141.84 6.21 1000000 0 665.88/666.16 c 659 793 869.95 138.95 6.26 1000000 0 667.88/668.16 c 635 885 877.90 157.44 5.58 1000000 0 669.88/670.16 c 628 762 892.64 135.10 6.61 1000000 0 671.88/672.15 c 627 903 857.88 118.16 7.26 1000000 0 673.88/674.14 c 635 737 869.64 134.50 6.47 1000000 0 675.88/676.17 c 641 778 912.56 171.24 5.33 1000000 0 677.87/678.17 c 637 847 883.42 141.81 6.23 1000000 0 679.87/680.17 c 666 836 880.63 115.34 7.63 1000000 0 681.87/682.17 c 607 763 871.11 139.43 6.25 1000000 0 683.88/684.17 c 579 839 874.56 165.05 5.30 1000000 0 685.87/686.17 c 639 898 881.42 134.63 6.55 1000000 0 687.87/688.18 c 674 921 889.30 135.44 6.57 1000000 0 689.87/690.19 c 609 846 893.25 136.13 6.56 1000000 0 691.97/692.20 c 628 911 876.06 147.94 5.92 1000000 0 693.88/694.18 c 623 786 864.45 124.25 6.96 1000000 0 695.98/696.20 c 667 1057 889.79 153.59 5.79 1000000 0 697.97/698.20 c 609 909 889.01 151.60 5.86 1000000 0 699.87/700.19 c 600 837 864.29 144.16 6.00 1000000 0 701.87/702.19 c 641 831 865.24 128.27 6.75 1000000 0 703.87/704.19 c 629 760 883.98 155.57 5.68 1000000 0 705.87/706.19 c 611 865 868.42 134.87 6.44 1000000 0 707.97/708.21 c 653 792 899.23 155.34 5.79 1000000 0 709.97/710.21 c 625 814 888.56 135.62 6.55 1000000 0 711.86/712.19 c 657 897 847.21 114.61 7.39 1000000 0 713.86/714.19 c 638 776 884.87 137.28 6.45 1000000 0 715.87/716.18 c 609 800 873.06 133.31 6.55 1000000 0 717.86/718.18 c 615 909 864.01 119.72 7.22 1000000 0 719.86/720.17 c 627 717 865.33 122.13 7.09 1000000 0 721.86/722.16 c 586 737 853.81 130.97 6.52 1000000 0 723.86/724.17 c 643 931 885.13 138.17 6.41 1000000 0 725.86/726.16 c 623 790 875.95 148.46 5.90 1000000 0 727.87/728.16 c 620 1029 873.84 149.38 5.85 1000000 0 729.86/730.16 c 607 915 873.68 136.52 6.40 1000000 0 731.86/732.14 c 578 856 854.18 119.09 7.17 1000000 0 733.86/734.15 c 607 853 877.94 124.54 7.05 1000000 0 735.86/736.14 c 631 939 872.15 145.09 6.01 1000000 0 737.86/738.15 c 629 842 870.36 126.64 6.87 1000000 0 739.86/740.16 c 589 747 884.73 164.75 5.37 1000000 0 741.86/742.14 c 576 837 849.60 142.43 5.96 1000000 0 743.85/744.15 c 587 730 883.18 167.61 5.27 1000000 0 745.85/746.15 c 658 866 882.61 144.83 6.09 1000000 0 747.85/748.14 c 594 796 867.34 131.21 6.61 1000000 0 749.86/750.14 c 544 966 866.70 153.85 5.63 1000000 0 751.85/752.15 c 578 765 890.79 147.33 6.05 1000000 0 753.85/754.16 c 574 822 876.39 157.10 5.58 1000000 0 755.85/756.15 c 580 846 882.95 128.42 6.88 1000000 0 757.85/758.14 c 678 896 869.63 128.54 6.77 1000000 0 759.86/760.14 c 604 934 869.33 149.50 5.82 1000000 0 761.85/762.13 c 638 879 869.50 121.75 7.14 1000000 0 763.85/764.13 c 622 775 876.85 127.90 6.86 1000000 0 765.85/766.13 c 620 942 870.73 112.97 7.71 1000000 0 767.85/768.14 c 664 953 886.53 145.06 6.11 1000000 0 769.85/770.14 c 646 880 890.75 153.90 5.79 1000000 0 771.85/772.14 c 643 779 879.89 156.96 5.61 1000000 0 773.84/774.14 c 535 808 873.94 163.44 5.35 1000000 0 775.84/776.14 c 611 882 866.91 127.63 6.79 1000000 0 777.84/778.13 c 642 950 875.32 145.51 6.02 1000000 0 779.84/780.13 c 556 914 876.84 162.81 5.39 1000000 0 781.85/782.13 c 640 899 877.49 155.63 5.64 1000000 0 783.84/784.13 c 626 729 872.56 142.23 6.13 1000000 0 785.84/786.12 c 586 903 866.01 132.56 6.53 1000000 0 787.84/788.11 c 608 859 881.13 136.50 6.46 1000000 0 789.83/790.11 c 609 907 864.81 161.39 5.36 1000000 0 791.83/792.10 c 654 818 856.48 113.13 7.57 1000000 0 793.84/794.10 c 640 870 869.49 99.51 8.74 1000000 0 795.83/796.10 c 622 741 885.32 122.52 7.23 1000000 0 797.83/798.11 c 681 873 887.24 139.78 6.35 1000000 0 799.83/800.10 c 603 869 856.69 120.20 7.13 1000000 0 801.73/802.09 c 612 795 851.71 119.89 7.10 1000000 0 803.74/804.09 c 623 937 892.98 133.76 6.68 1000000 0 805.73/806.09 c 641 723 873.46 146.30 5.97 1000000 0 807.73/808.09 c 612 874 869.17 117.81 7.38 1000000 0 809.83/810.10 c 565 856 875.62 147.17 5.95 1000000 0 811.73/812.09 c 637 876 858.94 134.41 6.39 1000000 0 813.74/814.08 c 637 830 864.31 119.58 7.23 1000000 0 815.73/816.08 c 678 691 883.21 161.15 5.48 1000000 0 817.73/818.09 c 619 816 881.06 121.69 7.24 1000000 0 819.73/820.08 c 636 823 870.18 127.28 6.84 1000000 0 821.73/822.06 c 603 721 848.59 115.94 7.32 1000000 0 823.73/824.06 c 646 835 863.86 124.44 6.94 1000000 0 825.73/826.05 c 631 875 858.20 116.44 7.37 1000000 0 827.73/828.05 c 644 855 876.51 153.00 5.73 1000000 0 829.72/830.05 c 648 718 879.96 138.38 6.36 1000000 0 831.72/832.06 c 622 735 871.45 174.12 5.00 1000000 0 833.72/834.05 c 592 930 865.89 127.73 6.78 1000000 0 835.73/836.04 c 606 790 865.22 142.47 6.07 1000000 0 837.72/838.04 c 590 837 875.65 126.22 6.94 1000000 0 839.72/840.03 c 567 758 861.44 132.67 6.49 1000000 0 841.72/842.02 c 601 921 858.45 156.96 5.47 1000000 0 843.72/844.01 c 598 790 863.33 134.17 6.43 1000000 0 845.72/846.01 c 617 994 893.52 130.77 6.83 1000000 0 847.73/848.02 c 638 855 889.74 146.13 6.09 1000000 0 849.72/850.01 c 638 835 878.95 107.29 8.19 1000000 0 851.72/852.01 c 594 935 870.42 148.01 5.88 1000000 0 853.72/854.00 c 585 758 868.46 147.99 5.87 1000000 0 855.62/856.00 c 629 827 861.46 133.33 6.46 1000000 0 857.62/858.00 c 620 784 879.49 132.16 6.65 1000000 0 859.62/859.99 c 615 804 862.93 142.17 6.07 1000000 0 861.72/862.00 c 576 818 882.62 159.95 5.52 1000000 0 863.61/864.00 c 665 877 871.60 143.97 6.05 1000000 0 865.61/865.99 c 629 824 870.78 137.91 6.31 1000000 0 867.71/868.00 c 643 700 877.09 123.28 7.11 1000000 0 869.61/869.98 c 645 793 857.17 141.86 6.04 1000000 0 871.61/871.98 c 595 828 879.86 135.09 6.51 1000000 0 873.61/873.99 c 644 880 899.43 146.63 6.13 1000000 0 875.61/875.98 c 576 729 862.04 152.62 5.65 1000000 0 877.61/877.98 c 637 793 877.39 127.31 6.89 1000000 0 879.62/879.98 c 620 871 858.37 123.74 6.94 1000000 0 881.61/881.99 c 594 845 889.05 143.90 6.18 1000000 0 883.61/883.98 c 647 830 870.88 121.76 7.15 1000000 0 885.61/885.97 c 590 844 875.26 123.85 7.07 1000000 0 887.61/888.00 c 642 910 908.07 108.56 8.36 1000000 0 889.61/889.99 c 589 920 869.18 108.95 7.98 1000000 0 891.60/891.98 c 625 713 876.31 139.58 6.28 1000000 0 893.60/893.99 c 608 1044 866.71 138.18 6.27 1000000 0 895.60/895.98 c 632 701 867.46 122.02 7.11 1000000 0 897.70/898.01 c 664 865 906.86 179.36 5.06 1000000 0 899.70/900.01 c 637 863 868.18 113.33 7.66 1000000 0 901.70/902.01 c 665 725 884.47 152.47 5.80 1000000 0 903.70/904.01 c 594 905 866.28 136.19 6.36 1000000 0 905.70/906.00 c 617 970 872.22 145.12 6.01 1000000 0 907.69/908.00 c 586 780 872.37 139.11 6.27 1000000 0 909.69/910.00 c 658 842 885.56 150.10 5.90 1000000 0 911.69/912.01 c 572 935 882.07 166.17 5.31 1000000 0 913.70/914.00 c 574 816 860.91 124.62 6.91 1000000 0 915.69/916.01 c 656 793 893.55 155.79 5.74 1000000 0 917.69/918.01 c 640 862 864.00 108.15 7.99 1000000 0 919.59/919.99 c 586 924 857.99 122.67 6.99 1000000 0 921.69/922.02 c 633 842 905.72 151.51 5.98 1000000 0 923.70/924.01 c 576 843 876.36 166.70 5.26 1000000 0 925.69/926.01 c 662 785 886.62 135.08 6.56 1000000 0 927.69/928.01 c 646 812 876.76 124.26 7.06 1000000 0 929.69/930.01 c 577 848 878.12 139.05 6.32 1000000 0 931.69/932.02 c 635 807 894.80 155.84 5.74 1000000 0 933.68/934.02 c 584 883 875.48 124.83 7.01 1000000 0 935.69/936.04 c 656 989 898.99 155.55 5.78 1000000 0 937.68/938.03 c 640 826 878.35 119.08 7.38 1000000 0 939.68/940.04 c 594 882 888.33 139.72 6.36 1000000 0 941.68/942.04 c 578 831 870.96 128.55 6.78 1000000 0 943.68/944.02 c 601 698 857.09 161.94 5.29 1000000 0 945.69/946.01 c 595 870 867.43 112.50 7.71 1000000 0 947.68/948.01 c 639 779 870.21 139.73 6.23 1000000 0 949.68/950.02 c 624 864 871.62 115.90 7.52 1000000 0 951.68/952.02 c 683 926 891.10 120.71 7.38 1000000 0 953.68/954.02 c 600 851 873.20 132.92 6.57 1000000 0 955.68/956.02 c 625 778 884.45 154.69 5.72 1000000 0 957.69/958.03 c 596 830 875.23 140.33 6.24 1000000 0 959.68/960.03 c 647 835 877.57 129.39 6.78 1000000 0 961.68/962.02 c 622 825 862.39 124.19 6.94 1000000 0 963.68/964.01 c 602 822 872.96 127.64 6.84 1000000 0 965.68/966.00 c 633 821 872.93 133.26 6.55 1000000 0 967.58/968.00 c 619 899 871.31 128.12 6.80 1000000 0 969.67/970.00 c 684 915 874.57 108.37 8.07 1000000 0 971.67/972.00 c 627 763 881.70 138.21 6.38 1000000 0 973.67/974.01 c 620 893 885.26 134.34 6.59 1000000 0 975.67/976.00 c 618 974 869.10 147.63 5.89 1000000 0 977.58/977.99 c 618 824 872.05 120.99 7.21 1000000 0 979.57/979.98 c 585 763 866.02 131.17 6.60 1000000 0 981.57/981.97 c 627 731 856.88 119.70 7.16 1000000 0 983.57/983.97 c 636 781 859.67 139.24 6.17 1000000 0 985.57/985.96 c 649 868 879.07 139.40 6.31 1000000 0 987.57/987.96 c 613 813 871.70 150.36 5.80 1000000 0 989.58/989.96 c 611 871 891.83 138.27 6.45 1000000 0 991.57/991.96 c 618 783 874.22 134.38 6.51 1000000 0 993.57/993.96 c 611 1059 884.81 135.30 6.54 1000000 0 995.57/995.94 c 633 849 858.66 116.69 7.36 1000000 0 997.57/997.94 c 626 810 876.33 132.09 6.63 1000000 0 999.57/999.94 c 608 880 880.84 166.54 5.29 1000000 0 1001.57/1001.93 c 616 902 873.04 134.28 6.50 1000000 0 1003.56/1003.94 c 641 961 886.09 139.16 6.37 1000000 0 1005.56/1005.94 c 616 721 885.72 141.24 6.27 1000000 0 1007.56/1007.93 c 662 822 868.86 141.84 6.13 1000000 0 1009.56/1009.94 c 639 880 887.32 128.54 6.90 1000000 0 1011.57/1011.95 c 620 824 869.81 140.46 6.19 1000000 0 1013.56/1013.96 c 616 855 873.77 162.40 5.38 1000000 0 1015.56/1015.94 c 602 765 855.66 134.87 6.34 1000000 0 1017.56/1017.93 c 636 950 874.17 122.17 7.16 1000000 0 1019.56/1019.94 c 609 892 896.73 146.24 6.13 1000000 0 1021.56/1021.95 c 684 809 903.02 135.68 6.66 1000000 0 1023.56/1023.94 c 590 823 868.36 136.80 6.35 1000000 0 1025.56/1025.96 c 652 839 892.57 136.45 6.54 1000000 0 1027.56/1027.97 c 626 983 899.19 130.37 6.90 1000000 0 1029.56/1029.97 c 605 784 861.64 130.15 6.62 1000000 0 1031.56/1031.97 c 621 840 876.98 146.07 6.00 1000000 0 1033.56/1033.98 c 632 774 880.49 144.03 6.11 1000000 0 1035.55/1035.99 c 649 902 894.96 160.29 5.58 1000000 0 1037.55/1037.99 c 660 881 871.95 126.92 6.87 1000000 0 1039.65/1040.00 c 648 842 903.54 127.84 7.07 1000000 0 1041.65/1042.00 c 632 822 877.09 133.56 6.57 1000000 0 1043.65/1044.00 c 605 912 896.20 142.82 6.27 1000000 0 1045.66/1046.02 c 573 853 874.34 143.25 6.10 1000000 0 1047.65/1048.02 c 638 849 874.27 127.75 6.84 1000000 0 1049.65/1050.01 c 646 845 866.93 120.32 7.20 1000000 0 1051.65/1052.00 c 623 821 860.30 110.48 7.79 1000000 0 1053.65/1054.00 c 585 855 881.93 139.45 6.32 1000000 0 1055.65/1056.01 c 668 946 885.30 143.45 6.17 1000000 0 1057.65/1058.02 c 638 833 892.80 132.28 6.75 1000000 0 1059.65/1060.02 c 637 831 877.36 145.90 6.01 1000000 0 1061.65/1062.01 c 638 751 861.29 142.38 6.05 1000000 0 1063.65/1064.00 c 692 875 889.75 134.05 6.64 1000000 0 1065.64/1066.01 c 621 890 884.53 146.73 6.03 1000000 0 1067.65/1068.02 c 639 822 905.80 154.75 5.85 1000000 0 1069.64/1070.02 c 592 849 880.54 143.41 6.14 1000000 0 1071.64/1072.04 c 640 979 897.04 136.20 6.59 1000000 0 1073.64/1074.04 c 609 898 877.80 155.42 5.65 1000000 0 1075.64/1076.04 c 620 920 870.15 129.38 6.73 1000000 0 1077.65/1078.02 c 606 940 862.26 114.00 7.56 1000000 0 1079.64/1080.03 c 603 910 877.36 157.63 5.57 1000000 0 1081.64/1082.03 c 629 751 886.47 143.67 6.17 1000000 0 1083.64/1084.04 c 632 835 885.74 128.72 6.88 1000000 0 1085.64/1086.04 c 630 770 879.12 168.42 5.22 1000000 0 1087.64/1088.04 c 543 880 867.93 157.48 5.51 1000000 0 1089.65/1090.03 c 585 721 867.65 135.89 6.39 1000000 0 1091.64/1092.04 c 624 795 879.56 150.36 5.85 1000000 0 1093.64/1094.04 c 601 952 867.73 124.23 6.99 1000000 0 1095.64/1096.05 c 599 918 897.33 116.73 7.69 1000000 0 1097.63/1098.05 c 614 771 868.36 117.29 7.40 1000000 0 1099.64/1100.04 c 605 794 857.26 149.60 5.73 1000000 0 1101.63/1102.04 c 668 751 888.69 122.95 7.23 1000000 0 1103.63/1104.05 c 651 895 878.27 142.57 6.16 1000000 0 1105.63/1106.04 c 650 793 872.12 125.18 6.97 1000000 0 1107.63/1108.05 c 641 878 897.63 166.75 5.38 1000000 0 1109.63/1110.05 c 636 840 875.88 165.76 5.28 1000000 0 1111.64/1112.05 c 571 702 880.76 158.17 5.57 1000000 0 1113.63/1114.05 c 614 823 869.15 120.34 7.22 1000000 0 1115.63/1116.07 c 609 903 894.60 155.86 5.74 1000000 0 1117.63/1118.08 c 607 838 887.60 135.21 6.56 1000000 0 1119.63/1120.09 c 639 857 884.18 162.49 5.44 1000000 0 1121.63/1122.09 c 620 924 880.47 128.37 6.86 1000000 0 1123.63/1124.08 c 556 872 869.03 139.73 6.22 1000000 0 1125.63/1126.06 c 604 685 849.88 111.43 7.63 1000000 0 1127.63/1128.06 c 649 828 880.67 137.49 6.41 1000000 0 1129.63/1130.06 c 654 868 869.46 132.26 6.57 1000000 0 1131.62/1132.06 c 611 902 870.43 117.77 7.39 1000000 0 1133.63/1134.06 c 610 838 877.15 143.67 6.11 1000000 0 1135.62/1136.08 c 622 849 901.04 138.94 6.48 1000000 0 1137.62/1138.09 c 624 888 884.96 149.53 5.92 1000000 0 1139.62/1140.09 c 613 853 882.25 138.77 6.36 1000000 0 1141.62/1142.07 c 625 820 853.57 134.16 6.36 1000000 0 1143.63/1144.08 c 653 841 882.38 143.10 6.17 1000000 0 1145.62/1146.07 c 617 740 876.80 148.62 5.90 1000000 0 1147.62/1148.07 c 648 802 884.22 140.66 6.29 1000000 0 1149.62/1150.07 c 642 842 883.95 153.81 5.75 1000000 0 1151.62/1152.08 c 657 940 900.10 139.53 6.45 1000000 0 1153.62/1154.08 c 628 754 866.09 145.45 5.95 1000000 0 1155.62/1156.09 c 645 1016 884.01 148.49 5.95 1000000 0 1157.72/1158.10 c 622 891 900.51 150.20 6.00 1000000 0 1159.72/1160.11 c 600 948 878.42 141.83 6.19 1000000 0 1161.72/1162.10 c 625 906 882.67 123.95 7.12 1000000 0 1163.72/1164.11 c 674 846 895.29 112.88 7.93 1000000 0 1165.71/1166.12 c 585 970 871.78 148.57 5.87 1000000 0 1167.72/1168.11 c 624 799 871.64 146.47 5.95 1000000 0 1169.71/1170.14 c 627 930 897.06 148.25 6.05 1000000 0 1171.71/1172.14 c 615 950 888.02 143.28 6.20 1000000 0 1173.71/1174.14 c 623 768 890.74 130.78 6.81 1000000 0 1175.71/1176.13 c 601 862 853.27 146.43 5.83 1000000 0 1177.72/1178.12 c 606 953 865.75 134.38 6.44 1000000 0 1179.71/1180.11 c 601 874 863.88 115.57 7.48 1000000 0 1181.71/1182.11 c 637 874 871.52 137.35 6.35 1000000 0 1183.71/1184.11 c 673 922 886.24 127.28 6.96 1000000 0 1185.61/1186.09 c 660 942 873.71 121.17 7.21 1000000 0 1187.61/1188.09 c 613 801 882.17 143.08 6.17 1000000 0 1189.61/1190.07 c 653 801 871.19 132.64 6.57 1000000 0 1191.60/1192.07 c 612 730 886.05 119.13 7.44 1000000 0 1193.61/1194.07 c 608 812 872.02 118.50 7.36 1000000 0 1195.61/1196.07 c 609 905 881.97 138.01 6.39 1000000 0 1197.60/1198.07 c 610 843 884.50 131.59 6.72 1000000 0 1199.61/1200.08 c 640 806 886.50 139.56 6.35 1000000 0 1201.60/1202.07 c 616 787 874.51 145.70 6.00 1000000 0 1203.60/1204.07 c 621 739 874.89 130.25 6.72 1000000 0 1205.60/1206.07 c 676 737 883.42 126.59 6.98 1000000 0 1207.60/1208.07 c 617 809 875.36 127.27 6.88 1000000 0 1209.61/1210.06 c 621 787 884.12 136.42 6.48 1000000 0 1211.60/1212.06 c 620 769 880.23 142.09 6.19 1000000 0 1213.60/1214.06 c 579 803 869.61 146.30 5.94 1000000 0 1215.60/1216.07 c 612 801 881.27 135.40 6.51 1000000 0 1217.60/1218.06 c 635 938 868.70 125.03 6.95 1000000 0 1219.60/1220.07 c 673 818 909.42 147.40 6.17 1000000 0 1221.60/1222.07 c 603 707 861.14 145.20 5.93 1000000 0 1223.61/1224.06 c 585 769 874.00 135.97 6.43 1000000 0 1225.60/1226.06 c 602 862 871.47 139.77 6.23 1000000 0 1227.60/1228.07 c 645 846 890.51 153.93 5.79 1000000 0 1229.60/1230.06 c 608 769 868.17 137.24 6.33 1000000 0 1231.61/1232.05 c 639 892 856.73 121.62 7.04 1000000 0 1233.60/1234.05 c 590 829 878.62 139.81 6.28 1000000 0 1235.60/1236.03 c 627 928 855.18 125.55 6.81 1000000 0 1237.60/1238.02 c 622 860 855.70 123.57 6.92 1000000 0 1239.60/1240.01 c 646 893 871.14 116.91 7.45 1000000 0 1241.60/1242.03 c 680 890 893.47 133.22 6.71 1000000 0 1243.61/1244.03 c 583 936 860.85 137.67 6.25 1000000 0 1245.60/1246.02 c 639 838 865.03 146.31 5.91 1000000 0 1247.60/1248.02 c 620 786 863.92 128.14 6.74 1000000 0 1249.60/1250.02 c 637 967 874.89 140.23 6.24 1000000 0 1251.59/1252.03 c 634 902 871.74 144.75 6.02 1000000 0 1253.60/1254.04 c 614 884 878.94 127.87 6.87 1000000 0 1255.59/1256.06 c 612 898 877.89 125.27 7.01 1000000 0 1257.59/1258.09 c 617 852 890.82 156.85 5.68 1000000 0 1259.69/1260.10 c 597 1155 866.75 139.92 6.19 1000000 0 1261.59/1262.08 c 612 870 850.11 128.33 6.62 1000000 0 1263.59/1264.08 c 599 911 875.56 138.03 6.34 1000000 0 1265.60/1266.07 c 677 722 874.52 124.40 7.03 1000000 0 1267.59/1268.08 c 639 907 878.66 148.95 5.90 1000000 0 1269.59/1270.08 c 603 832 888.51 130.58 6.80 1000000 0 1271.59/1272.08 c 658 989 859.31 130.45 6.59 1000000 0 1273.59/1274.07 c 623 824 868.31 138.26 6.28 1000000 0 1275.59/1276.06 c 653 786 873.91 145.06 6.02 1000000 0 1277.59/1278.06 c 646 883 881.31 138.18 6.38 1000000 0 1279.59/1280.07 c 657 941 894.09 148.53 6.02 1000000 0 1281.59/1282.06 c 616 807 874.99 140.03 6.25 1000000 0 1283.59/1284.06 c 649 894 866.02 135.34 6.40 1000000 0 1285.58/1286.06 c 614 944 887.81 172.99 5.13 1000000 0 1287.59/1288.06 c 603 734 874.05 131.61 6.64 1000000 0 1289.58/1290.06 c 657 912 876.42 135.55 6.47 1000000 0 1291.58/1292.06 c 624 891 870.91 143.70 6.06 1000000 0 1293.58/1294.04 c 656 874 850.96 126.01 6.75 1000000 0 1295.58/1296.04 c 586 869 882.15 147.82 5.97 1000000 0 1297.59/1298.05 c 637 784 887.52 184.99 4.80 1000000 0 1299.58/1300.04 c 630 897 861.37 132.25 6.51 1000000 0 1301.58/1302.05 c 652 895 897.46 128.52 6.98 1000000 0 1303.58/1304.04 c 610 737 868.17 130.64 6.65 1000000 0 1305.58/1306.05 c 620 886 881.86 153.20 5.76 1000000 0 1307.58/1308.05 c 642 797 878.39 135.67 6.47 1000000 0 1309.58/1310.04 c 592 854 870.76 118.67 7.34 1000000 0 1311.58/1312.03 c 637 772 853.08 127.25 6.70 1000000 0 1313.58/1314.03 c 631 676 874.56 130.51 6.70 1000000 0 1315.58/1316.01 c 635 708 857.97 129.39 6.63 1000000 0 1317.58/1318.02 c 634 773 875.17 146.04 5.99 1000000 0 1319.58/1320.01 c 597 832 873.77 156.39 5.59 1000000 0 1321.57/1322.02 c 609 900 889.95 125.94 7.07 1000000 0 1323.57/1324.00 c 630 799 868.02 128.00 6.78 1000000 0 1325.57/1326.01 c 642 688 887.81 129.25 6.87 1000000 0 1327.57/1328.01 c 574 821 878.82 133.79 6.57 1000000 0 1329.57/1330.02 c 647 1005 887.40 138.82 6.39 1000000 0 1331.58/1332.02 c 604 861 877.23 138.50 6.33 1000000 0 1333.57/1334.02 c 654 857 871.90 128.99 6.76 1000000 0 1335.57/1336.02 c 637 839 865.61 139.66 6.20 1000000 0 1337.57/1338.01 c 610 759 875.99 147.25 5.95 1000000 0 1339.57/1340.01 c 609 818 883.36 145.14 6.09 1000000 0 1341.58/1342.01 c 630 870 877.23 147.71 5.94 1000000 0 1343.57/1344.01 c 640 923 889.08 163.12 5.45 1000000 0 1345.57/1346.01 c 572 737 866.22 136.14 6.36 1000000 0 1347.57/1348.01 c 611 870 882.82 142.27 6.21 1000000 0 1349.56/1350.01 c 599 793 862.37 131.20 6.57 1000000 0 1351.56/1352.01 c 633 786 879.19 141.07 6.23 1000000 0 1353.57/1354.02 c 559 692 887.58 147.94 6.00 1000000 0 1355.56/1356.02 c 629 864 868.72 122.16 7.11 1000000 0 1357.56/1358.00 c 631 886 859.66 98.21 8.75 1000000 0 1359.56/1360.00 c 659 808 883.34 143.61 6.15 1000000 0 1361.56/1362.00 c 612 877 871.03 134.66 6.47 1000000 0 1363.47/1364.00 c 602 882 874.99 141.26 6.19 1000000 0 1365.46/1365.99 c 609 993 855.84 122.78 6.97 1000000 0 1367.46/1367.96 c 594 768 857.40 134.39 6.38 1000000 0 1369.46/1369.97 c 631 759 869.67 157.48 5.52 1000000 0 1371.46/1371.97 c 613 817 877.64 135.37 6.48 1000000 0 1373.46/1373.96 c 594 806 862.82 157.23 5.49 1000000 0 1375.46/1375.96 c 624 894 870.50 132.34 6.58 1000000 0 1377.46/1377.96 c 638 746 886.77 140.78 6.30 1000000 0 1379.45/1379.96 c 628 879 870.38 164.97 5.28 1000000 0 1381.45/1381.95 c 613 865 876.88 133.38 6.57 1000000 0 1383.45/1383.95 c 628 795 869.80 123.96 7.02 1000000 0 1385.46/1385.96 c 578 840 881.37 179.17 4.92 1000000 0 1387.45/1387.95 c 655 884 854.40 140.67 6.07 1000000 0 1389.45/1389.93 c 650 837 857.12 108.30 7.91 1000000 0 1391.45/1391.92 c 660 847 870.57 100.20 8.69 1000000 0 1393.45/1393.93 c 573 766 879.31 140.85 6.24 1000000 0 1395.46/1395.92 c 595 795 866.47 143.85 6.02 1000000 0 1397.45/1397.92 c 620 837 873.55 116.34 7.51 1000000 0 1399.45/1399.92 c 646 825 880.19 130.46 6.75 1000000 0 1401.45/1401.93 c 631 726 903.54 155.39 5.81 1000000 0 1403.45/1403.93 c 620 872 878.82 139.41 6.30 1000000 0 1405.45/1405.92 c 605 965 862.20 154.52 5.58 1000000 0 1407.46/1407.92 c 641 890 876.50 131.22 6.68 1000000 0 1409.45/1409.92 c 603 847 884.40 181.19 4.88 1000000 0 1411.45/1411.92 c 581 905 871.43 144.91 6.01 1000000 0 1413.45/1413.93 c 613 874 887.87 151.56 5.86 1000000 0 1415.44/1415.92 c 618 841 857.79 132.79 6.46 1000000 0 1417.45/1417.92 c 638 885 881.59 115.77 7.62 1000000 0 1419.44/1419.92 c 566 858 868.09 140.68 6.17 1000000 0 1421.44/1421.92 c 631 782 872.44 130.94 6.66 1000000 0 1423.44/1423.92 c 651 757 877.67 114.25 7.68 1000000 0 1425.44/1425.92 c 666 888 886.24 155.84 5.69 1000000 0 1427.44/1427.92 c 642 868 873.02 148.53 5.88 1000000 0 1429.45/1429.92 c 643 924 885.63 131.25 6.75 1000000 0 1431.44/1431.93 c 625 875 894.02 143.09 6.25 1000000 0 1433.44/1433.94 c 615 877 867.48 136.97 6.33 1000000 0 1435.44/1435.94 c 644 768 895.70 148.43 6.03 1000000 0 1437.44/1437.93 c 630 932 858.20 152.30 5.63 1000000 0 1439.45/1439.93 c 637 923 870.34 137.95 6.31 1000000 0 1441.44/1441.92 c 601 912 877.17 138.07 6.35 1000000 0 1443.44/1443.93 c 669 829 886.52 126.64 7.00 1000000 0 1445.44/1445.93 c 626 838 870.91 151.23 5.76 1000000 0 1447.44/1447.92 c 622 873 863.31 124.76 6.92 1000000 0 1449.44/1449.92 c 635 854 877.17 127.71 6.87 1000000 0 1451.44/1451.92 c 664 840 869.22 124.70 6.97 1000000 0 1453.43/1453.92 c 586 995 881.55 139.72 6.31 1000000 0 1455.43/1455.93 c 632 821 887.94 149.57 5.94 1000000 0 1457.43/1457.92 c 632 838 871.34 115.89 7.52 1000000 0 1459.43/1459.94 c 665 936 902.81 130.33 6.93 1000000 0 1461.44/1461.94 c 626 973 874.91 131.55 6.65 1000000 0 1463.43/1463.93 c 653 953 862.83 154.64 5.58 1000000 0 1465.43/1465.93 c 664 809 876.15 123.20 7.11 1000000 0 1467.43/1467.92 c 620 876 869.61 131.09 6.63 1000000 0 1469.43/1469.91 c 540 746 873.10 160.77 5.43 1000000 0 1471.43/1471.92 c 643 843 887.02 108.50 8.18 1000000 0 1473.43/1473.92 c 555 900 883.10 150.91 5.85 1000000 0 1475.43/1475.93 c 643 771 887.65 125.07 7.10 1000000 0 1477.43/1477.91 c 549 889 856.35 126.20 6.79 1000000 0 1479.43/1479.92 c 650 899 888.95 141.55 6.28 1000000 0 1481.42/1481.93 c 626 757 886.09 133.07 6.66 1000000 0 1483.43/1483.93 c 608 753 874.56 147.69 5.92 1000000 0 1485.42/1485.93 c 642 816 884.12 142.52 6.20 1000000 0 1487.42/1487.94 c 590 781 876.12 127.58 6.87 1000000 0 1489.42/1489.95 c 620 872 896.44 160.55 5.58 1000000 0 1491.42/1491.94 c 590 918 863.44 136.90 6.31 1000000 0 1493.42/1493.94 c 666 729 872.97 126.47 6.90 1000000 0 1495.43/1495.93 c 635 955 864.85 117.95 7.33 1000000 0 1497.42/1497.92 c 617 730 856.89 161.95 5.29 1000000 0 1499.42/1499.93 c 664 899 892.91 150.64 5.93 1000000 0 1501.42/1501.94 c 676 909 892.27 129.76 6.88 1000000 0 1503.42/1503.92 c 545 683 868.83 139.63 6.22 1000000 0 1505.42/1505.91 c 685 787 859.12 124.13 6.92 1000000 0 1507.42/1507.90 c 595 817 870.51 140.15 6.21 1000000 0 1509.32/1509.89 c 660 760 859.09 130.08 6.60 1000000 0 1511.32/1511.89 c 657 753 886.13 128.71 6.88 1000000 0 1513.31/1513.89 c 603 1037 876.35 149.20 5.87 1000000 0 1515.41/1515.91 c 651 902 894.74 134.67 6.64 1000000 0 1517.42/1517.91 c 641 725 888.78 154.98 5.74 1000000 0 1519.41/1519.92 c 676 840 886.31 129.71 6.83 1000000 0 1521.41/1521.92 c 652 823 885.14 118.00 7.50 1000000 0 1523.41/1523.92 c 621 804 875.69 123.27 7.10 1000000 0 1525.41/1525.92 c 640 935 876.30 153.08 5.72 1000000 0 1527.42/1527.92 c 630 867 879.68 157.09 5.60 1000000 0 1529.41/1529.93 c 663 791 891.56 114.04 7.82 1000000 0 1531.41/1531.94 c 588 842 877.39 160.00 5.48 1000000 0 1533.41/1533.93 c 639 991 865.81 134.75 6.43 1000000 0 1535.41/1535.92 c 643 748 875.91 123.96 7.07 1000000 0 1537.41/1537.92 c 634 842 865.06 128.60 6.73 1000000 0 1539.41/1539.91 c 637 1022 873.20 119.18 7.33 1000000 0 1541.41/1541.90 c 584 820 866.48 141.84 6.11 1000000 0 1543.31/1543.88 c 599 846 849.48 130.55 6.51 1000000 0 1545.31/1545.88 c 646 770 874.16 111.29 7.85 1000000 0 1547.30/1547.86 c 624 833 861.14 126.20 6.82 1000000 0 1549.31/1549.84 c 657 752 869.00 128.48 6.76 1000000 0 1551.30/1551.83 c 627 872 863.65 117.86 7.33 1000000 0 1553.30/1553.82 c 622 807 868.32 146.10 5.94 1000000 0 1555.30/1555.84 c 593 764 892.06 156.09 5.71 1000000 0 1557.30/1557.83 c 597 850 862.99 135.64 6.36 1000000 0 1559.31/1559.83 c 651 827 874.09 155.28 5.63 1000000 0 1561.30/1561.83 c 641 836 866.38 138.37 6.26 1000000 0 1563.30/1563.82 c 558 896 858.79 146.12 5.88 1000000 0 1565.30/1565.82 c 601 1037 887.58 143.35 6.19 1000000 0 1567.30/1567.82 c 655 716 870.13 133.28 6.53 1000000 0 1569.30/1569.83 c 647 873 871.90 153.97 5.66 1000000 0 1571.30/1571.82 c 610 771 852.38 111.57 7.64 1000000 0 1573.30/1573.82 c 630 899 868.12 132.00 6.58 1000000 0 1575.29/1575.82 c 584 921 871.83 157.24 5.54 1000000 0 1577.29/1577.81 c 612 915 869.22 124.96 6.96 1000000 0 1579.29/1579.81 c 661 802 870.09 122.02 7.13 1000000 0 1581.20/1581.80 c 632 764 856.18 127.99 6.69 1000000 0 1583.19/1583.79 c 542 827 853.56 150.34 5.68 1000000 0 1585.19/1585.78 c 611 779 872.47 125.89 6.93 1000000 0 1587.19/1587.78 c 629 778 869.85 130.73 6.65 1000000 0 1589.19/1589.77 c 613 771 870.64 134.47 6.47 1000000 0 1591.20/1591.76 c 640 825 863.21 135.19 6.39 1000000 0 1593.19/1593.76 c 596 994 876.64 144.48 6.07 1000000 0 1595.19/1595.76 c 590 860 870.32 158.59 5.49 1000000 0 1597.19/1597.76 c 612 790 875.88 128.38 6.82 1000000 0 1599.19/1599.76 c 600 794 882.85 177.13 4.98 1000000 0 1601.19/1601.76 c 621 716 867.68 136.38 6.36 1000000 0 1603.19/1603.75 c 628 905 858.75 142.33 6.03 1000000 0 1605.19/1605.75 c 627 930 873.02 120.65 7.24 1000000 0 1607.19/1607.74 c 641 974 869.23 120.42 7.22 1000000 0 1609.19/1609.75 c 656 869 891.55 121.60 7.33 1000000 0 1611.18/1611.75 c 658 815 880.33 130.44 6.75 1000000 0 1613.19/1613.75 c 615 823 868.80 158.51 5.48 1000000 0 1615.18/1615.74 c 648 874 868.03 114.78 7.56 1000000 0 1617.18/1617.74 c 573 858 863.25 147.23 5.86 1000000 0 1619.18/1619.74 c 591 996 870.73 129.27 6.74 1000000 0 1621.18/1621.75 c 600 890 893.89 162.63 5.50 1000000 0 1623.18/1623.75 c 605 872 854.40 128.01 6.67 1000000 0 1625.19/1625.75 c 653 945 886.59 141.15 6.28 1000000 0 1627.18/1627.76 c 630 814 885.91 145.49 6.09 1000000 0 1629.18/1629.75 c 597 756 880.28 152.18 5.78 1000000 0 1631.18/1631.76 c 622 861 888.30 131.51 6.75 1000000 0 1633.18/1633.78 c 657 930 891.83 152.44 5.85 1000000 0 1635.18/1635.77 c 643 875 864.17 124.79 6.93 1000000 0 1637.18/1637.77 c 653 885 867.91 151.71 5.72 1000000 0 1639.18/1639.77 c 579 783 884.32 158.90 5.57 1000000 0 1641.18/1641.77 c 615 800 880.25 110.00 8.00 1000000 0 1643.18/1643.76 c 597 787 863.60 123.36 7.00 1000000 0 1645.17/1645.75 c 564 942 871.99 149.07 5.85 1000000 0 1647.18/1647.74 c 627 850 856.80 142.24 6.02 1000000 0 1649.17/1649.74 c 620 782 867.14 151.20 5.73 1000000 0 1651.17/1651.73 c 626 775 859.72 134.64 6.39 1000000 0 1653.17/1653.73 c 630 769 877.67 152.63 5.75 1000000 0 1655.17/1655.73 c 644 667 870.01 131.93 6.59 1000000 0 1657.18/1657.72 c 600 844 859.55 134.99 6.37 1000000 0 1659.17/1659.71 c 617 1017 867.79 141.04 6.15 1000000 0 1661.17/1661.72 c 621 879 886.36 140.90 6.29 1000000 0 1663.17/1663.72 c 646 874 873.47 146.41 5.97 1000000 0 1665.17/1665.72 c 658 874 884.94 143.51 6.17 1000000 0 1667.17/1667.71 c 614 872 868.55 131.14 6.62 1000000 0 1669.17/1669.70 c 600 1006 866.31 142.53 6.08 1000000 0 1671.16/1671.70 c 585 773 867.17 126.18 6.87 1000000 0 1673.16/1673.70 c 578 898 873.44 129.51 6.74 1000000 0 1675.16/1675.70 c 617 825 872.18 137.43 6.35 1000000 0 1677.06/1677.69 c 547 853 847.35 141.23 6.00 1000000 0 1679.17/1679.71 c 685 786 896.71 135.25 6.63 1000000 0 1681.16/1681.71 c 623 894 872.40 134.62 6.48 1000000 0 1683.06/1683.69 c 587 860 842.65 117.39 7.18 1000000 0 1685.06/1685.69 c 566 854 867.05 163.33 5.31 1000000 0 1687.06/1687.69 c 654 768 881.00 158.18 5.57 1000000 0 1689.07/1689.68 c 629 728 873.55 101.41 8.61 1000000 0 1691.06/1691.66 c 577 750 840.64 116.80 7.20 1000000 0 1693.06/1693.65 c 624 695 875.13 115.46 7.58 1000000 0 1695.06/1695.65 c 640 801 858.20 131.11 6.55 1000000 0 1697.06/1697.65 c 626 851 883.38 163.40 5.41 1000000 0 1699.06/1699.65 c 655 785 888.29 140.90 6.30 1000000 0 1701.06/1701.64 c 622 866 856.34 152.98 5.60 1000000 0 1703.06/1703.63 c 622 801 870.41 139.31 6.25 1000000 0 1705.05/1705.64 c 652 695 881.03 163.90 5.38 1000000 0 1707.05/1707.63 c 643 872 876.60 135.05 6.49 1000000 0 1709.05/1709.63 c 582 888 881.53 130.53 6.75 1000000 0 1711.06/1711.63 c 602 969 875.82 131.77 6.65 1000000 0 1713.05/1713.63 c 656 897 876.88 153.03 5.73 1000000 0 1715.05/1715.62 c 641 844 872.63 142.40 6.13 1000000 0 1717.05/1717.63 c 621 854 874.91 150.35 5.82 1000000 0 1719.05/1719.64 c 625 889 894.40 145.49 6.15 1000000 0 1721.05/1721.65 c 638 801 891.59 154.90 5.76 1000000 0 1723.06/1723.65 c 652 894 868.12 133.22 6.52 1000000 0 1725.05/1725.66 c 602 876 884.01 141.24 6.26 1000000 0 1727.05/1727.67 c 655 751 895.88 131.08 6.83 1000000 0 1729.05/1729.67 c 649 913 889.07 144.36 6.16 1000000 0 1731.05/1731.67 c 661 876 890.65 159.30 5.59 1000000 0 1733.05/1733.68 c 655 872 892.27 115.33 7.74 1000000 0 1735.05/1735.67 c 606 976 857.74 149.50 5.74 1000000 0 1737.04/1737.67 c 656 889 869.72 111.68 7.79 1000000 0 1739.04/1739.66 c 688 790 891.26 110.78 8.05 1000000 0 1741.04/1741.66 c 637 791 866.46 132.40 6.54 1000000 0 1743.04/1743.66 c 607 829 876.11 132.40 6.62 1000000 0 1745.05/1745.66 c 646 935 887.56 147.40 6.02 1000000 0 1747.04/1747.66 c 655 858 870.07 132.15 6.58 1000000 0 1749.04/1749.66 c 633 726 873.18 134.99 6.47 1000000 0 1751.04/1751.65 c 634 838 867.89 125.27 6.93 1000000 0 1753.04/1753.65 c 633 787 874.34 133.96 6.53 1000000 0 1755.05/1755.65 c 651 795 888.35 119.90 7.41 1000000 0 1757.04/1757.65 c 661 810 878.03 157.27 5.58 1000000 0 1759.04/1759.66 c 587 1051 901.13 160.58 5.61 1000000 0 1761.04/1761.66 c 625 825 874.25 139.02 6.29 1000000 0 1763.04/1763.67 c 629 739 899.31 143.16 6.28 1000000 0 1765.04/1765.67 c 600 873 864.43 108.40 7.97 1000000 0 1767.04/1767.67 c 669 736 892.62 129.64 6.89 1000000 0 1769.04/1769.65 c 634 866 861.03 121.64 7.08 1000000 0 1771.03/1771.66 c 657 758 893.83 154.75 5.78 1000000 0 1773.03/1773.67 c 669 959 892.35 126.07 7.08 1000000 0 1775.03/1775.66 c 582 948 861.35 124.35 6.93 1000000 0 1777.04/1777.65 c 592 923 851.47 121.48 7.01 1000000 0 1779.03/1779.64 c 642 853 878.20 150.44 5.84 1000000 0 1781.03/1781.66 c 683 965 899.02 147.27 6.10 1000000 0 1783.03/1783.67 c 669 936 900.34 148.18 6.08 1000000 0 1785.03/1785.67 c 605 665 869.71 150.63 5.77 1000000 0 1787.03/1787.66 c 577 697 873.48 140.52 6.22 1000000 0 1789.04/1789.68 c 615 920 893.26 162.63 5.49 1000000 0 1791.03/1791.68 c 624 895 868.35 137.82 6.30 1000000 0 1793.03/1793.68 c 646 724 883.63 118.11 7.48 1000000 0 1795.03/1795.69 c 656 889 894.89 121.14 7.39 1000000 0 1797.03/1797.68 c 666 887 867.32 118.12 7.34 1000000 0 1799.03/1799.69 c 621 860 865.13 152.14 5.69 1000000 0 1800.04/1800.61 HOME/run: line 2: 21909 Terminated ./PB-wave < $1
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2685056-1278439068/watcher-2685056-1278439068 -o /tmp/evaluation-result-2685056-1278439068/solver-2685056-1278439068 -C 1800 -W 2000 -M 1800 run HOME/instance-2685056-1278439068.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 21908 /proc/meminfo: memFree=1404972/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [startup+0.049484 s] /proc/loadavg: 0.92 0.98 0.99 3/106 21908 /proc/meminfo: memFree=1404972/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101488 s] /proc/loadavg: 0.92 0.98 0.99 3/106 21908 /proc/meminfo: memFree=1404972/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.30151 s] /proc/loadavg: 0.92 0.98 0.99 3/106 21908 /proc/meminfo: memFree=1404972/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701554 s] /proc/loadavg: 0.92 0.98 0.99 3/106 21908 /proc/meminfo: memFree=1404972/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50065 s] /proc/loadavg: 0.92 0.98 0.99 2/108 21910 /proc/meminfo: memFree=1396400/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=1.48 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2190 0 0 0 148 0 0 0 21 0 1 0 12120455 41422848 2119 1992294400 134512640 135071400 4291553088 18446744073709551615 134519876 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2119 62 137 0 9974 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 49152 [startup+3.10082 s] /proc/loadavg: 0.92 0.98 0.99 2/108 21910 /proc/meminfo: memFree=1396152/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=3.08 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2198 0 0 0 308 0 0 0 25 0 1 0 12120455 41422848 2127 1992294400 134512640 135071400 4291553088 18446744073709551615 134526261 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2127 69 137 0 9974 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 49152 [startup+6.30118 s] /proc/loadavg: 0.93 0.98 0.99 2/108 21910 /proc/meminfo: memFree=1396028/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=6.28 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2198 0 0 0 628 0 0 0 25 0 1 0 12120455 41422848 2127 1992294400 134512640 135071400 4291553088 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2127 69 137 0 9974 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 49152 [startup+12.7009 s] /proc/loadavg: 0.93 0.98 0.99 2/108 21911 /proc/meminfo: memFree=1395780/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=12.68 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2198 0 0 0 1268 0 0 0 25 0 1 0 12120455 41422848 2127 1992294400 134512640 135071400 4291553088 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2127 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/108 21912 /proc/meminfo: memFree=1395780/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=25.48 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2198 0 0 0 2548 0 0 0 25 0 1 0 12120455 41422848 2127 1992294400 134512640 135071400 4291553088 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2127 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.99 2/108 21912 /proc/meminfo: memFree=1395780/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=51.07 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2199 0 0 0 5107 0 0 0 25 0 1 0 12120455 41422848 2128 1992294400 134512640 135071400 4291553088 18446744073709551615 134571201 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2128 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/108 21914 /proc/meminfo: memFree=1395532/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=102.26 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2199 0 0 0 10226 0 0 0 25 0 1 0 12120455 41422848 2128 1992294400 134512640 135071400 4291553088 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2128 69 137 0 9974 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49152 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/108 21915 /proc/meminfo: memFree=1395408/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=162.25 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2199 0 0 0 16224 1 0 0 25 0 1 0 12120455 41422848 2128 1992294400 134512640 135071400 4291553088 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2128 69 137 0 9974 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 21925 /proc/meminfo: memFree=1394788/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=222.21 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2199 0 0 0 22220 1 0 0 25 0 1 0 12120455 41422848 2128 1992294400 134512640 135071400 4291553088 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2128 69 137 0 9974 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 49152 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/108 21927 /proc/meminfo: memFree=1394912/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=282.2 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2199 0 0 0 28219 1 0 0 25 0 1 0 12120455 41422848 2128 1992294400 134512640 135071400 4291553088 18446744073709551615 134571983 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2128 69 137 0 9974 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 49152 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/108 21929 /proc/meminfo: memFree=1394912/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=342.18 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2199 0 0 0 34217 1 0 0 25 0 1 0 12120455 41422848 2128 1992294400 134512640 135071400 4291553088 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2128 69 137 0 9974 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 21931 /proc/meminfo: memFree=1394912/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=402.16 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2199 0 0 0 40215 1 0 0 25 0 1 0 12120455 41422848 2128 1992294400 134512640 135071400 4291553088 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2128 69 137 0 9974 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 49152 [startup+462.302 s] ################ # More data... # ################ /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=1061.95 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2199 0 0 0 106194 1 0 0 25 0 1 0 12120455 41422848 2128 1992294400 134512640 135071400 4291553088 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2128 69 137 0 9974 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 1.04 1.00 1.00 2/108 21949 /proc/meminfo: memFree=1394292/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=1121.93 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2199 0 0 0 112192 1 0 0 25 0 1 0 12120455 41422848 2128 1992294400 134512640 135071400 4291553088 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2128 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.01 1.00 1.00 2/108 21951 /proc/meminfo: memFree=1394292/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=1181.91 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2199 0 0 0 118190 1 0 0 25 0 1 0 12120455 41422848 2128 1992294400 134512640 135071400 4291553088 18446744073709551615 134525870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2128 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21953 /proc/meminfo: memFree=1393920/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=1241.9 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2199 0 0 0 124188 2 0 0 25 0 1 0 12120455 41422848 2128 1992294400 134512640 135071400 4291553088 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2128 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21958 /proc/meminfo: memFree=1393424/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=1301.89 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2199 0 0 0 130187 2 0 0 25 0 1 0 12120455 41422848 2128 1992294400 134512640 135071400 4291553088 18446744073709551615 134526054 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2128 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21959 /proc/meminfo: memFree=1393424/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=1361.86 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2199 0 0 0 136184 2 0 0 25 0 1 0 12120455 41422848 2128 1992294400 134512640 135071400 4291553088 18446744073709551615 134525865 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2128 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21960 /proc/meminfo: memFree=1393424/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=1421.85 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2199 0 0 0 142183 2 0 0 25 0 1 0 12120455 41422848 2128 1992294400 134512640 135071400 4291553088 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2128 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21962 /proc/meminfo: memFree=1393424/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=1481.82 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2199 0 0 0 148180 2 0 0 25 0 1 0 12120455 41422848 2128 1992294400 134512640 135071400 4291553088 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2128 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21964 /proc/meminfo: memFree=1393424/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=1541.81 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2199 0 0 0 154179 2 0 0 25 0 1 0 12120455 41422848 2128 1992294400 134512640 135071400 4291553088 18446744073709551615 134525746 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2128 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21966 /proc/meminfo: memFree=1393424/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=1601.79 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2199 0 0 0 160177 2 0 0 25 0 1 0 12120455 41422848 2128 1992294400 134512640 135071400 4291553088 18446744073709551615 134526505 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2128 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21967 /proc/meminfo: memFree=1393300/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=1661.77 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2199 0 0 0 166175 2 0 0 25 0 1 0 12120455 41422848 2128 1992294400 134512640 135071400 4291553088 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2128 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21968 /proc/meminfo: memFree=1393176/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=1721.75 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2199 0 0 0 172173 2 0 0 25 0 1 0 12120455 41422848 2128 1992294400 134512640 135071400 4291553088 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2128 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21970 /proc/meminfo: memFree=1392928/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=1781.73 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2199 0 0 0 178171 2 0 0 25 0 1 0 12120455 41422848 2128 1992294400 134512640 135071400 4291553088 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2128 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 3/108 21970 /proc/meminfo: memFree=1392928/2059040 swapFree=4192956/4192956 [pid=21908] ppid=21906 vsize=8700 CPUtime=0 /proc/21908/stat : 21908 (run) S 21906 21908 21236 0 -1 4202496 360 0 0 0 0 0 0 0 17 0 1 0 12120455 8908800 244 1992294400 4194304 4922060 140735092562160 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21908/statm: 2175 244 204 178 0 68 0 [pid=21909] ppid=21908 vsize=40452 CPUtime=1800.04 /proc/21909/stat : 21909 (PB-wave) R 21908 21908 21236 0 -1 4202496 2199 0 0 0 180002 2 0 0 25 0 1 0 12120455 41422848 2128 1992294400 134512640 135071400 4291553088 18446744073709551615 134525938 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21909/statm: 10113 2128 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.62 CPU time (s): 1800.05 CPU user time (s): 1800.03 CPU system time (s): 0.027995 CPU usage (%): 99.9687 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.03 system time used= 0.027995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2572 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 3045 runsolver used 2.82457 second user time and 8.72267 second system time The end
Begin job on node005 at 2010-07-06 19:57:49 IDJOB=2685056 IDBENCH=74354 IDSOLVER=1171 FILE ID=node005/2685056-1278439068 PBS_JOBID= 11233465 Free space on /tmp= 62540 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12041_4-unsat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685056-1278439068/watcher-2685056-1278439068 -o /tmp/evaluation-result-2685056-1278439068/solver-2685056-1278439068 -C 1800 -W 2000 -M 1800 run HOME/instance-2685056-1278439068.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 79ac6c83623058381a8b74cdf49b52af RANDOM SEED=1885202225 node005.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1405492 kB Buffers: 108212 kB Cached: 407196 kB SwapCached: 0 kB Active: 176028 kB Inactive: 399584 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1405492 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3376 kB Writeback: 0 kB AnonPages: 60164 kB Mapped: 14540 kB Slab: 55868 kB PageTables: 4196 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179620 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62540 MiB End job on node005 at 2010-07-06 20:27:49