| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB-wave alpha 2 | ? (TO) | 1800.09 | 1800.62 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb |
| MD5SUM | 631c705feb60dcd8a1b144825a73a754 |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| 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 | 22.6336 |
| Has Objective Function | NO |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 18069 |
| Total number of constraints | 52475 |
| Number of constraints which are clauses | 51555 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 920 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 11 |
| 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 | 39 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 132 |
| 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.14 c PB-wave - v2 0.00/0.14 c command line = ./PB-wave 0.00/0.14 c seed = 10641795 0.00/0.14 c cutoff = 1000000 0.00/0.14 c tries = 1000000 0.00/0.14 c heuristic = c best, noise 50 / 100 0.00/0.14 #var 18069 #con 52475 0.00/0.14 mode is SAT 0.00/0.14 c tail starts after flip = 54207 0.00/0.14 c numatom = 18069, numclause = 52475, numliterals = 129951 0.00/0.14 c wff read in 0.00/0.14 c 0.00/0.14 c lowest final avg noise noise total avg mean mean 0.00/0.14 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.14 c this this this this this this success success until std 0.00/0.14 c try try try try try try rate tries assign dev 0.00/0.14 c 2.69/2.70 c 761 822 1113.14 294.73 3.78 1000000 0 5.19/5.29 c 692 896 1113.49 320.20 3.48 1000000 0 7.79/7.86 c 659 897 1091.76 333.05 3.28 1000000 0 10.39/10.41 c 713 934 1074.21 331.51 3.24 1000000 0 12.88/12.96 c 713 969 1083.02 336.60 3.22 1000000 0 15.48/15.52 c 685 893 1117.64 327.09 3.42 1000000 0 18.08/18.10 c 671 831 1098.31 329.48 3.33 1000000 0 20.58/20.68 c 720 843 1083.02 329.59 3.29 1000000 0 23.18/23.23 c 732 923 1105.16 298.89 3.70 1000000 0 25.78/25.81 c 704 833 1097.58 326.35 3.36 1000000 0 28.28/28.38 c 714 743 1106.61 312.29 3.54 1000000 0 30.88/30.98 c 795 947 1148.59 318.42 3.61 1000000 0 33.48/33.57 c 833 905 1152.96 290.50 3.97 1000000 0 36.08/36.14 c 677 852 1073.92 348.14 3.08 1000000 0 38.58/38.69 c 616 863 1031.86 372.36 2.77 1000000 0 41.18/41.26 c 761 960 1154.84 314.41 3.67 1000000 0 43.78/43.81 c 748 944 1107.32 314.42 3.52 1000000 0 46.27/46.37 c 684 871 1078.48 288.17 3.74 1000000 0 48.87/48.94 c 605 795 1090.68 346.76 3.15 1000000 0 51.47/51.51 c 693 774 1131.31 317.13 3.57 1000000 0 53.97/54.08 c 714 881 1128.51 338.60 3.33 1000000 0 56.57/56.61 c 715 926 1072.63 326.56 3.28 1000000 0 59.07/59.18 c 735 893 1094.41 322.16 3.40 1000000 0 61.67/61.77 c 752 918 1112.77 315.15 3.53 1000000 0 64.27/64.32 c 771 899 1121.89 346.93 3.23 1000000 0 66.77/66.89 c 778 891 1113.37 317.60 3.51 1000000 0 69.37/69.45 c 730 967 1118.49 311.24 3.59 1000000 0 71.97/72.03 c 738 850 1132.67 344.61 3.29 1000000 0 74.47/74.59 c 680 775 1081.12 334.10 3.24 1000000 0 77.07/77.17 c 725 840 1110.79 346.13 3.21 1000000 0 79.66/79.75 c 680 759 1087.35 332.93 3.27 1000000 0 82.16/82.29 c 641 766 1042.69 345.38 3.02 1000000 0 84.76/84.86 c 659 865 1110.44 362.92 3.06 1000000 0 87.26/87.40 c 746 939 1079.74 302.02 3.58 1000000 0 89.86/89.94 c 728 922 1081.33 335.39 3.22 1000000 0 92.46/92.50 c 741 877 1094.94 319.39 3.43 1000000 0 94.96/95.08 c 706 838 1104.68 355.69 3.11 1000000 0 97.56/97.62 c 703 837 1054.82 307.53 3.43 1000000 0 100.07/100.19 c 643 835 1095.80 356.45 3.07 1000000 0 102.66/102.75 c 689 821 1052.22 330.13 3.19 1000000 0 105.16/105.29 c 740 874 1079.35 321.86 3.35 1000000 0 107.76/107.86 c 670 830 1102.59 342.53 3.22 1000000 0 110.36/110.44 c 738 970 1115.63 308.37 3.62 1000000 0 112.86/112.99 c 781 972 1158.89 315.86 3.67 1000000 0 115.46/115.55 c 637 784 1057.10 367.73 2.87 1000000 0 118.05/118.11 c 701 766 1062.97 331.56 3.21 1000000 0 120.55/120.66 c 649 788 1113.43 355.55 3.13 1000000 0 123.16/123.23 c 792 953 1148.88 301.09 3.82 1000000 0 125.65/125.79 c 759 961 1117.35 298.23 3.75 1000000 0 128.25/128.33 c 680 760 1099.95 340.18 3.23 1000000 0 130.76/130.86 c 761 881 1095.51 326.33 3.36 1000000 0 133.35/133.40 c 741 925 1110.24 325.66 3.41 1000000 0 135.85/135.97 c 702 836 1113.26 324.62 3.43 1000000 0 138.46/138.52 c 672 795 1073.66 342.16 3.14 1000000 0 140.95/141.08 c 695 1046 1081.21 299.51 3.61 1000000 0 143.55/143.64 c 684 743 1087.83 332.55 3.27 1000000 0 146.04/146.18 c 730 867 1066.47 326.36 3.27 1000000 0 148.64/148.75 c 792 1007 1135.64 297.43 3.82 1000000 0 151.24/151.31 c 682 1001 1115.60 342.87 3.25 1000000 0 153.74/153.89 c 607 829 1056.97 352.87 3.00 1000000 0 156.34/156.45 c 761 851 1134.82 313.05 3.63 1000000 0 158.94/159.01 c 688 960 1058.96 349.17 3.03 1000000 0 161.44/161.58 c 715 972 1113.73 347.43 3.21 1000000 0 164.04/164.17 c 704 868 1119.57 343.56 3.26 1000000 0 166.64/166.75 c 720 935 1101.75 308.58 3.57 1000000 0 169.25/169.35 c 783 830 1171.96 336.34 3.48 1000000 0 171.84/171.91 c 760 883 1115.37 301.39 3.70 1000000 0 174.34/174.49 c 725 856 1057.80 347.73 3.04 1000000 0 176.94/177.03 c 665 841 1061.48 356.32 2.98 1000000 0 179.54/179.61 c 737 915 1130.67 292.61 3.86 1000000 0 182.14/182.21 c 746 844 1106.37 323.93 3.42 1000000 0 184.64/184.77 c 682 820 1058.54 316.48 3.34 1000000 0 187.23/187.34 c 757 1001 1142.17 352.32 3.24 1000000 0 189.83/189.90 c 748 940 1148.74 314.52 3.65 1000000 0 192.34/192.46 c 627 831 1048.35 350.36 2.99 1000000 0 194.93/195.01 c 611 754 1077.78 370.23 2.91 1000000 0 197.43/197.58 c 666 763 1104.79 328.56 3.36 1000000 0 200.04/200.15 c 738 908 1108.56 335.44 3.30 1000000 0 202.63/202.72 c 788 992 1137.34 335.19 3.39 1000000 0 205.23/205.30 c 774 915 1095.44 285.63 3.84 1000000 0 207.73/207.88 c 730 820 1098.30 342.00 3.21 1000000 0 210.33/210.47 c 669 834 1084.86 354.17 3.06 1000000 0 212.93/213.07 c 710 987 1135.36 369.48 3.07 1000000 0 215.53/215.62 c 660 819 1053.42 317.06 3.32 1000000 0 218.12/218.20 c 678 768 1096.62 346.97 3.16 1000000 0 220.62/220.76 c 735 783 1096.95 327.96 3.34 1000000 0 223.23/223.36 c 728 865 1111.51 329.23 3.38 1000000 0 225.82/225.93 c 642 792 1092.90 356.65 3.06 1000000 0 228.42/228.52 c 686 891 1115.74 366.63 3.04 1000000 0 230.93/231.08 c 716 984 1126.65 284.17 3.96 1000000 0 233.52/233.65 c 646 767 1066.17 357.79 2.98 1000000 0 236.12/236.23 c 740 918 1130.73 348.04 3.25 1000000 0 238.63/238.79 c 773 976 1112.62 318.71 3.49 1000000 0 241.23/241.34 c 689 807 1068.56 348.33 3.07 1000000 0 243.82/243.92 c 722 945 1120.11 335.54 3.34 1000000 0 246.33/246.47 c 731 905 1069.16 318.61 3.36 1000000 0 248.92/249.03 c 692 825 1082.52 337.71 3.21 1000000 0 251.52/251.60 c 707 886 1119.14 336.67 3.32 1000000 0 254.03/254.17 c 734 906 1085.78 312.59 3.47 1000000 0 256.62/256.75 c 738 946 1113.98 352.20 3.16 1000000 0 259.22/259.32 c 665 689 1122.47 336.85 3.33 1000000 0 261.73/261.88 c 589 787 1066.18 361.70 2.95 1000000 0 264.32/264.45 c 737 878 1086.59 321.70 3.38 1000000 0 266.82/266.99 c 640 725 1019.00 352.52 2.89 1000000 0 269.42/269.53 c 685 818 1076.64 305.56 3.52 1000000 0 271.92/272.08 c 727 905 1134.29 316.66 3.58 1000000 0 274.52/274.64 c 786 984 1132.96 319.66 3.54 1000000 0 277.02/277.20 c 677 825 1115.96 350.07 3.19 1000000 0 279.61/279.78 c 704 856 1145.47 338.33 3.39 1000000 0 282.21/282.36 c 717 862 1088.47 308.07 3.53 1000000 0 284.82/284.92 c 646 805 1050.44 377.48 2.78 1000000 0 287.31/287.48 c 648 847 1074.25 346.83 3.10 1000000 0 289.91/290.06 c 765 996 1147.65 312.48 3.67 1000000 0 292.52/292.65 c 750 831 1161.57 356.83 3.26 1000000 0 295.11/295.21 c 676 904 1109.29 347.21 3.19 1000000 0 297.61/297.78 c 718 876 1086.92 330.61 3.29 1000000 0 300.22/300.34 c 757 850 1094.09 335.62 3.26 1000000 0 302.80/302.93 c 743 938 1148.97 340.84 3.37 1000000 0 305.30/305.46 c 763 863 1107.71 316.97 3.49 1000000 0 307.91/308.04 c 787 925 1135.54 318.67 3.56 1000000 0 310.40/310.59 c 654 774 1050.27 348.79 3.01 1000000 0 313.00/313.14 c 689 851 1100.98 331.86 3.32 1000000 0 315.50/315.70 c 660 757 1054.40 365.05 2.89 1000000 0 318.10/318.26 c 744 903 1104.24 341.42 3.23 1000000 0 320.69/320.82 c 696 832 1101.87 352.65 3.12 1000000 0 323.20/323.34 c 748 984 1087.66 294.50 3.69 1000000 0 325.79/325.90 c 739 847 1110.88 323.98 3.43 1000000 0 328.29/328.47 c 721 934 1131.78 346.58 3.27 1000000 0 330.90/331.02 c 677 824 1111.75 329.33 3.38 1000000 0 333.39/333.57 c 772 888 1101.52 295.68 3.73 1000000 0 335.99/336.14 c 735 1047 1111.11 314.34 3.53 1000000 0 338.60/338.72 c 668 887 1102.94 349.97 3.15 1000000 0 341.19/341.30 c 783 856 1154.89 332.68 3.47 1000000 0 343.69/343.83 c 679 755 1058.40 334.11 3.17 1000000 0 346.29/346.40 c 764 861 1116.48 307.66 3.63 1000000 0 348.79/348.96 c 764 1051 1149.07 337.63 3.40 1000000 0 351.39/351.55 c 723 880 1158.93 319.22 3.63 1000000 0 353.89/354.09 c 706 921 1069.81 340.65 3.14 1000000 0 356.48/356.64 c 665 858 1051.25 338.95 3.10 1000000 0 359.08/359.20 c 617 882 1106.94 343.20 3.23 1000000 0 361.58/361.76 c 633 751 1055.24 342.97 3.08 1000000 0 364.18/364.33 c 742 930 1105.50 325.32 3.40 1000000 0 366.68/366.88 c 781 881 1107.58 313.08 3.54 1000000 0 369.28/369.45 c 754 926 1112.31 344.71 3.23 1000000 0 371.88/372.02 c 697 802 1101.46 314.71 3.50 1000000 0 374.38/374.55 c 704 855 1067.91 337.16 3.17 1000000 0 376.98/377.13 c 676 750 1093.26 303.72 3.60 1000000 0 379.47/379.67 c 669 974 1040.78 322.40 3.23 1000000 0 382.07/382.23 c 802 883 1136.76 305.90 3.72 1000000 0 384.57/384.79 c 705 851 1114.20 305.59 3.65 1000000 0 387.17/387.36 c 708 832 1071.76 334.69 3.20 1000000 0 389.77/389.91 c 731 789 1056.63 312.82 3.38 1000000 0 392.27/392.47 c 761 954 1101.03 302.05 3.65 1000000 0 394.87/395.03 c 772 949 1124.32 316.78 3.55 1000000 0 397.37/397.59 c 719 1009 1108.53 339.90 3.26 1000000 0 399.97/400.16 c 729 906 1121.32 330.64 3.39 1000000 0 402.57/402.74 c 674 741 1100.04 318.72 3.45 1000000 0 405.17/405.31 c 721 836 1080.74 330.02 3.27 1000000 0 407.67/407.86 c 687 872 1072.67 346.26 3.10 1000000 0 410.17/410.40 c 783 959 1118.29 315.23 3.55 1000000 0 412.77/412.95 c 684 855 1056.31 334.29 3.16 1000000 0 415.37/415.52 c 701 871 1081.43 338.34 3.20 1000000 0 417.97/418.10 c 660 852 1098.26 345.32 3.18 1000000 0 420.47/420.66 c 595 956 1053.65 346.14 3.04 1000000 0 423.06/423.22 c 552 725 1059.14 348.19 3.04 1000000 0 425.56/425.76 c 735 901 1094.18 338.47 3.23 1000000 0 428.16/428.30 c 737 760 1077.65 328.26 3.28 1000000 0 430.65/430.87 c 670 743 1077.38 359.13 3.00 1000000 0 433.26/433.44 c 659 829 1072.31 337.77 3.17 1000000 0 435.75/435.99 c 664 960 1089.57 321.07 3.39 1000000 0 438.35/438.57 c 767 1000 1123.08 310.59 3.62 1000000 0 440.96/441.11 c 804 879 1131.55 300.20 3.77 1000000 0 443.45/443.69 c 718 852 1085.22 321.24 3.38 1000000 0 446.05/446.27 c 678 812 1109.25 353.21 3.14 1000000 0 448.66/448.83 c 657 860 1102.85 331.84 3.32 1000000 0 451.25/451.40 c 798 946 1109.80 334.79 3.31 1000000 0 453.75/453.97 c 706 761 1100.93 351.23 3.13 1000000 0 456.36/456.55 c 661 802 1086.85 380.88 2.85 1000000 0 458.95/459.14 c 696 936 1116.68 352.71 3.17 1000000 0 461.55/461.71 c 798 992 1125.71 314.94 3.57 1000000 0 464.05/464.25 c 709 880 1069.60 336.58 3.18 1000000 0 466.64/466.82 c 672 815 1087.54 350.47 3.10 1000000 0 469.24/469.40 c 742 910 1119.95 328.08 3.41 1000000 0 471.75/471.96 c 669 886 1074.18 371.51 2.89 1000000 0 474.34/474.54 c 635 882 1100.93 329.03 3.35 1000000 0 476.84/477.09 c 727 935 1126.94 356.46 3.16 1000000 0 479.45/479.66 c 651 920 1052.58 342.53 3.07 1000000 0 482.04/482.20 c 702 807 1078.78 324.54 3.32 1000000 0 484.54/484.79 c 725 933 1152.69 320.49 3.60 1000000 0 487.15/487.37 c 651 763 1092.76 331.59 3.30 1000000 0 489.74/489.95 c 713 850 1136.49 349.39 3.25 1000000 0 492.34/492.51 c 798 904 1108.84 290.83 3.81 1000000 0 494.84/495.08 c 717 930 1099.73 338.21 3.25 1000000 0 497.44/497.63 c 635 839 1074.34 358.32 3.00 1000000 0 499.93/500.16 c 624 718 1042.92 340.10 3.07 1000000 0 502.44/502.70 c 690 800 1068.59 347.49 3.08 1000000 0 505.03/505.26 c 687 862 1056.14 332.53 3.18 1000000 0 507.63/507.83 c 721 854 1104.43 335.80 3.29 1000000 0 510.14/510.39 c 689 829 1125.71 333.08 3.38 1000000 0 512.73/512.97 c 686 823 1090.90 336.17 3.25 1000000 0 515.33/515.56 c 761 880 1097.43 308.00 3.56 1000000 0 517.94/518.14 c 747 850 1103.20 311.73 3.54 1000000 0 520.43/520.69 c 683 733 1061.89 321.02 3.31 1000000 0 523.03/523.25 c 737 890 1065.61 336.46 3.17 1000000 0 525.53/525.80 c 717 956 1067.22 302.54 3.53 1000000 0 528.13/528.35 c 742 980 1106.99 312.71 3.54 1000000 0 530.73/530.91 c 748 851 1110.63 322.90 3.44 1000000 0 533.23/533.46 c 561 638 1045.90 345.79 3.02 1000000 0 535.83/536.03 c 721 922 1118.20 327.33 3.42 1000000 0 538.43/538.60 c 703 876 1096.45 360.04 3.05 1000000 0 540.93/541.18 c 753 886 1113.34 312.99 3.56 1000000 0 543.52/543.72 c 621 776 1059.20 342.85 3.09 1000000 0 546.01/546.25 c 662 879 1057.69 330.02 3.20 1000000 0 548.51/548.79 c 736 804 1092.97 324.05 3.37 1000000 0 551.11/551.35 c 750 971 1104.17 324.58 3.40 1000000 0 553.71/553.91 c 723 971 1101.36 325.70 3.38 1000000 0 556.21/556.48 c 724 862 1098.01 332.18 3.31 1000000 0 558.81/559.01 c 690 696 1078.68 330.47 3.26 1000000 0 561.31/561.57 c 733 992 1073.74 330.53 3.25 1000000 0 563.91/564.13 c 736 868 1110.71 287.97 3.86 1000000 0 566.51/566.70 c 728 806 1086.49 314.77 3.45 1000000 0 569.01/569.24 c 673 899 1068.65 326.60 3.27 1000000 0 571.51/571.78 c 723 861 1101.78 315.93 3.49 1000000 0 574.11/574.37 c 730 887 1129.03 291.67 3.87 1000000 0 576.71/576.92 c 664 903 1078.04 333.45 3.23 1000000 0 579.21/579.46 c 739 962 1103.11 312.77 3.53 1000000 0 581.81/582.01 c 606 768 1034.75 350.99 2.95 1000000 0 584.31/584.57 c 632 815 1037.02 350.83 2.96 1000000 0 586.90/587.10 c 625 815 1087.16 333.00 3.26 1000000 0 589.41/589.69 c 779 901 1107.52 340.71 3.25 1000000 0 592.00/592.28 c 747 929 1106.09 334.71 3.30 1000000 0 594.60/594.85 c 817 956 1157.25 295.55 3.92 1000000 0 597.20/597.42 c 708 908 1080.36 314.46 3.44 1000000 0 599.70/599.96 c 700 800 1071.47 339.04 3.16 1000000 0 602.30/602.50 c 685 814 1077.01 378.96 2.84 1000000 0 604.81/605.06 c 708 869 1056.36 312.65 3.38 1000000 0 607.40/607.63 c 844 946 1183.33 313.95 3.77 1000000 0 609.90/610.18 c 603 810 1018.26 384.09 2.65 1000000 0 612.50/612.76 c 707 908 1116.51 325.77 3.43 1000000 0 615.10/615.30 c 621 833 1028.77 354.16 2.90 1000000 0 617.60/617.87 c 747 881 1111.95 351.12 3.17 1000000 0 620.20/620.42 c 754 1004 1106.24 319.69 3.46 1000000 0 622.79/623.00 c 729 948 1105.64 339.23 3.26 1000000 0 625.29/625.59 c 814 851 1146.80 309.85 3.70 1000000 0 627.90/628.14 c 700 932 1096.53 333.26 3.29 1000000 0 630.49/630.71 c 755 983 1151.59 320.55 3.59 1000000 0 632.99/633.26 c 735 905 1097.11 334.46 3.28 1000000 0 635.59/635.84 c 742 960 1130.33 348.89 3.24 1000000 0 638.19/638.40 c 679 743 1101.97 332.20 3.32 1000000 0 640.69/640.96 c 667 817 1099.46 362.28 3.03 1000000 0 643.29/643.54 c 657 899 1133.23 323.34 3.50 1000000 0 645.88/646.12 c 737 888 1176.06 332.59 3.54 1000000 0 648.38/648.65 c 631 734 1081.88 342.91 3.16 1000000 0 650.99/651.23 c 674 933 1081.75 374.87 2.89 1000000 0 653.48/653.79 c 740 896 1108.90 326.60 3.40 1000000 0 656.08/656.36 c 703 976 1097.09 359.04 3.06 1000000 0 658.69/658.93 c 733 867 1099.74 327.84 3.35 1000000 0 661.18/661.49 c 667 902 1096.98 326.72 3.36 1000000 0 663.78/664.02 c 683 941 1059.85 316.54 3.35 1000000 0 666.28/666.60 c 703 892 1104.11 330.63 3.34 1000000 0 668.88/669.15 c 703 920 1103.80 316.27 3.49 1000000 0 671.48/671.72 c 703 819 1091.15 323.91 3.37 1000000 0 673.98/674.28 c 790 899 1137.10 326.16 3.49 1000000 0 676.58/676.85 c 746 968 1115.55 304.23 3.67 1000000 0 679.17/679.41 c 762 850 1136.27 327.56 3.47 1000000 0 681.68/681.98 c 753 883 1146.39 342.28 3.35 1000000 0 684.27/684.50 c 739 841 1089.64 344.15 3.17 1000000 0 686.77/687.05 c 639 846 1068.04 330.44 3.23 1000000 0 689.38/689.62 c 713 870 1093.56 315.56 3.47 1000000 0 691.87/692.19 c 681 777 1087.82 346.75 3.14 1000000 0 694.47/694.74 c 667 783 1090.04 329.27 3.31 1000000 0 697.08/697.30 c 768 974 1115.69 329.84 3.38 1000000 0 699.57/699.88 c 689 865 1105.25 339.34 3.26 1000000 0 702.17/702.46 c 677 808 1076.22 347.46 3.10 1000000 0 704.77/705.04 c 828 940 1160.18 308.13 3.77 1000000 0 707.37/707.62 c 758 957 1126.67 334.41 3.37 1000000 0 709.87/710.16 c 739 809 1105.24 328.34 3.37 1000000 0 712.47/712.72 c 654 861 1073.55 349.86 3.07 1000000 0 714.96/715.29 c 750 929 1112.89 319.64 3.48 1000000 0 717.56/717.86 c 593 720 1072.38 344.43 3.11 1000000 0 720.17/720.43 c 717 869 1115.45 349.62 3.19 1000000 0 722.76/723.02 c 734 906 1111.00 351.34 3.16 1000000 0 725.36/725.62 c 729 979 1123.14 312.65 3.59 1000000 0 727.87/728.19 c 605 826 1095.68 349.26 3.14 1000000 0 730.46/730.74 c 694 868 1055.05 336.39 3.14 1000000 0 733.06/733.31 c 731 823 1104.24 329.50 3.35 1000000 0 735.57/735.88 c 709 796 1101.84 300.38 3.67 1000000 0 738.16/738.45 c 722 882 1081.84 338.43 3.20 1000000 0 740.66/740.99 c 686 834 1077.20 344.87 3.12 1000000 0 743.26/743.55 c 709 861 1084.20 343.76 3.15 1000000 0 745.85/746.11 c 672 858 1096.68 347.42 3.16 1000000 0 748.35/748.66 c 685 833 1092.84 322.38 3.39 1000000 0 750.96/751.23 c 683 882 1081.28 299.21 3.61 1000000 0 753.45/753.77 c 662 953 1081.46 358.31 3.02 1000000 0 756.05/756.34 c 663 855 1094.29 319.95 3.42 1000000 0 758.66/758.90 c 716 772 1096.24 341.82 3.21 1000000 0 761.15/761.47 c 748 836 1110.61 340.19 3.26 1000000 0 763.75/764.03 c 713 924 1071.03 330.30 3.24 1000000 0 766.25/766.58 c 707 927 1075.60 307.53 3.50 1000000 0 768.85/769.14 c 677 796 1039.98 328.50 3.17 1000000 0 771.45/771.72 c 767 931 1137.17 304.19 3.74 1000000 0 773.95/774.28 c 766 1005 1136.94 297.68 3.82 1000000 0 776.55/776.82 c 604 736 1041.22 353.71 2.94 1000000 0 779.05/779.39 c 752 930 1091.19 320.05 3.41 1000000 0 781.65/781.96 c 704 882 1062.70 326.48 3.26 1000000 0 784.24/784.52 c 682 800 1095.26 343.13 3.19 1000000 0 786.74/787.07 c 770 940 1106.71 312.73 3.54 1000000 0 789.34/789.62 c 724 858 1090.71 304.98 3.58 1000000 0 791.84/792.18 c 661 890 1012.85 344.97 2.94 1000000 0 794.44/794.76 c 684 864 1095.45 325.23 3.37 1000000 0 797.04/797.33 c 753 876 1117.30 307.79 3.63 1000000 0 799.64/799.92 c 668 975 1101.91 316.39 3.48 1000000 0 802.24/802.50 c 679 834 1076.11 358.09 3.01 1000000 0 804.74/805.05 c 669 766 1071.36 336.39 3.18 1000000 0 807.34/807.63 c 767 933 1115.57 323.71 3.45 1000000 0 809.94/810.21 c 759 864 1114.88 316.79 3.52 1000000 0 812.54/812.82 c 716 819 1124.36 322.21 3.49 1000000 0 815.04/815.36 c 680 1121 1098.55 315.65 3.48 1000000 0 817.63/817.90 c 744 865 1096.50 332.86 3.29 1000000 0 820.13/820.48 c 702 918 1128.21 376.26 3.00 1000000 0 822.73/823.05 c 759 977 1100.53 323.18 3.41 1000000 0 825.23/825.59 c 691 879 1054.69 318.06 3.32 1000000 0 827.83/828.15 c 668 809 1076.84 332.86 3.24 1000000 0 830.43/830.70 c 688 787 1080.78 338.60 3.19 1000000 0 832.93/833.26 c 657 854 1044.11 352.50 2.96 1000000 0 835.53/835.84 c 773 891 1145.59 330.35 3.47 1000000 0 838.13/838.41 c 793 871 1119.44 280.21 4.00 1000000 0 840.63/840.97 c 749 806 1083.78 324.17 3.34 1000000 0 843.23/843.55 c 788 952 1153.87 307.53 3.75 1000000 0 845.83/846.11 c 713 858 1061.10 318.36 3.33 1000000 0 848.43/848.70 c 767 1123 1155.21 296.42 3.90 1000000 0 850.92/851.27 c 752 890 1128.91 321.27 3.51 1000000 0 853.52/853.83 c 698 890 1086.40 327.23 3.32 1000000 0 856.02/856.37 c 688 779 1046.76 318.13 3.29 1000000 0 858.62/858.94 c 696 864 1113.52 348.94 3.19 1000000 0 861.22/861.50 c 706 890 1071.27 304.34 3.52 1000000 0 863.72/864.08 c 745 954 1136.77 329.52 3.45 1000000 0 866.32/866.68 c 668 858 1116.34 344.48 3.24 1000000 0 868.92/869.23 c 711 924 1113.53 319.70 3.48 1000000 0 871.42/871.78 c 687 828 1095.01 332.42 3.29 1000000 0 874.02/874.34 c 774 889 1126.96 322.91 3.49 1000000 0 876.62/876.91 c 681 726 1093.45 312.01 3.50 1000000 0 879.12/879.47 c 711 955 1112.99 320.14 3.48 1000000 0 881.71/882.05 c 773 914 1096.77 303.73 3.61 1000000 0 884.31/884.64 c 766 985 1141.57 325.58 3.51 1000000 0 886.81/887.18 c 688 850 1077.28 337.94 3.19 1000000 0 889.41/889.76 c 653 740 1107.79 361.31 3.07 1000000 0 892.01/892.30 c 738 795 1070.42 295.59 3.62 1000000 0 894.51/894.86 c 597 778 1077.70 320.85 3.36 1000000 0 897.11/897.43 c 702 904 1101.01 334.06 3.30 1000000 0 899.71/900.01 c 783 897 1167.23 326.33 3.58 1000000 0 902.21/902.56 c 697 859 1078.80 304.85 3.54 1000000 0 904.81/905.13 c 706 883 1096.66 334.07 3.28 1000000 0 907.31/907.69 c 727 831 1078.76 296.50 3.64 1000000 0 909.91/910.27 c 770 854 1161.39 343.10 3.38 1000000 0 912.51/912.86 c 744 802 1121.45 358.56 3.13 1000000 0 915.11/915.44 c 635 815 1066.73 320.51 3.33 1000000 0 917.71/918.01 c 715 871 1109.07 330.64 3.35 1000000 0 920.20/920.58 c 724 767 1117.01 330.20 3.38 1000000 0 922.80/923.17 c 698 928 1095.88 351.43 3.12 1000000 0 925.40/925.72 c 706 945 1041.99 317.58 3.28 1000000 0 927.90/928.26 c 700 837 1070.11 311.78 3.43 1000000 0 930.50/930.86 c 832 945 1174.17 301.24 3.90 1000000 0 933.10/933.42 c 754 895 1102.72 326.32 3.38 1000000 0 935.60/935.99 c 741 979 1111.93 335.83 3.31 1000000 0 938.20/938.54 c 607 818 1064.24 372.02 2.86 1000000 0 940.70/941.09 c 677 808 1100.48 340.98 3.23 1000000 0 943.30/943.69 c 765 975 1160.34 330.43 3.51 1000000 0 945.90/946.23 c 698 959 1056.79 301.49 3.51 1000000 0 948.40/948.76 c 692 829 1042.89 320.34 3.26 1000000 0 951.00/951.31 c 689 774 1091.34 369.76 2.95 1000000 0 953.49/953.86 c 733 946 1109.26 337.23 3.29 1000000 0 955.99/956.39 c 703 810 1074.71 324.68 3.31 1000000 0 958.59/958.98 c 730 908 1124.57 328.25 3.43 1000000 0 961.19/961.55 c 717 932 1098.22 308.89 3.56 1000000 0 963.69/964.09 c 731 948 1077.62 310.73 3.47 1000000 0 966.29/966.67 c 711 846 1121.25 355.85 3.15 1000000 0 968.89/969.24 c 755 946 1107.60 308.67 3.59 1000000 0 971.49/971.82 c 667 825 1088.51 331.35 3.29 1000000 0 973.99/974.38 c 712 961 1092.82 316.72 3.45 1000000 0 976.59/976.96 c 690 802 1089.63 326.18 3.34 1000000 0 979.19/979.51 c 627 871 1084.89 332.10 3.27 1000000 0 981.69/982.05 c 647 912 1038.01 364.21 2.85 1000000 0 984.29/984.61 c 770 999 1131.05 342.98 3.30 1000000 0 986.78/987.15 c 706 822 1071.63 318.99 3.36 1000000 0 989.38/989.70 c 692 860 1066.54 354.90 3.01 1000000 0 991.89/992.26 c 676 1013 1080.98 310.27 3.48 1000000 0 994.48/994.82 c 679 798 1089.59 353.14 3.09 1000000 0 996.98/997.38 c 738 808 1119.81 323.59 3.46 1000000 0 999.59/999.97 c 742 863 1092.73 331.69 3.29 1000000 0 1002.18/1002.51 c 677 795 1088.27 320.94 3.39 1000000 0 1004.68/1005.05 c 726 1008 1084.60 323.74 3.35 1000000 0 1007.29/1007.63 c 696 943 1110.22 317.91 3.49 1000000 0 1009.88/1010.21 c 721 947 1109.88 326.50 3.40 1000000 0 1012.38/1012.74 c 703 939 1058.01 319.01 3.32 1000000 0 1014.88/1015.28 c 627 789 1054.08 345.14 3.05 1000000 0 1017.48/1017.86 c 701 854 1081.62 347.29 3.11 1000000 0 1020.08/1020.41 c 598 785 1034.34 388.59 2.66 1000000 0 1022.58/1022.97 c 606 846 1074.91 356.05 3.02 1000000 0 1025.17/1025.54 c 789 1033 1157.81 327.61 3.53 1000000 0 1027.77/1028.12 c 771 889 1091.14 303.77 3.59 1000000 0 1030.28/1030.69 c 725 838 1142.84 338.48 3.38 1000000 0 1032.87/1033.24 c 720 777 1111.62 328.60 3.38 1000000 0 1035.47/1035.80 c 765 941 1138.93 302.95 3.76 1000000 0 1037.98/1038.36 c 674 1048 1089.23 332.47 3.28 1000000 0 1040.57/1040.93 c 713 799 1086.59 334.55 3.25 1000000 0 1043.07/1043.48 c 665 791 1016.79 306.96 3.31 1000000 0 1045.68/1046.04 c 707 884 1082.71 336.70 3.22 1000000 0 1048.17/1048.58 c 668 875 1043.58 341.87 3.05 1000000 0 1050.77/1051.14 c 804 878 1132.11 327.49 3.46 1000000 0 1053.37/1053.74 c 780 916 1125.53 337.84 3.33 1000000 0 1055.87/1056.29 c 619 824 1029.85 337.78 3.05 1000000 0 1058.47/1058.88 c 718 927 1115.50 319.80 3.49 1000000 0 1061.07/1061.44 c 746 797 1096.44 308.61 3.55 1000000 0 1063.66/1064.02 c 751 887 1144.18 350.37 3.27 1000000 0 1066.16/1066.59 c 657 795 1103.13 366.27 3.01 1000000 0 1068.77/1069.17 c 692 992 1063.82 360.72 2.95 1000000 0 1071.36/1071.71 c 739 787 1123.51 332.99 3.37 1000000 0 1073.86/1074.29 c 792 902 1153.74 327.02 3.53 1000000 0 1076.47/1076.88 c 713 897 1131.40 346.12 3.27 1000000 0 1079.06/1079.45 c 746 1032 1120.06 305.62 3.66 1000000 0 1081.66/1082.02 c 666 771 1117.18 330.62 3.38 1000000 0 1084.16/1084.60 c 653 787 1119.53 369.17 3.03 1000000 0 1086.76/1087.14 c 657 822 1056.82 337.00 3.14 1000000 0 1089.36/1089.70 c 720 931 1121.14 316.30 3.54 1000000 0 1091.86/1092.23 c 663 774 1060.94 319.49 3.32 1000000 0 1094.46/1094.80 c 703 982 1096.95 346.24 3.17 1000000 0 1096.96/1097.34 c 672 913 1053.20 341.54 3.08 1000000 0 1099.56/1099.92 c 793 973 1121.35 308.69 3.63 1000000 0 1102.05/1102.47 c 744 842 1094.29 334.12 3.28 1000000 0 1104.65/1105.00 c 658 788 1012.85 344.50 2.94 1000000 0 1107.15/1107.57 c 727 916 1112.86 323.81 3.44 1000000 0 1109.75/1110.14 c 737 909 1112.98 305.61 3.64 1000000 0 1112.35/1112.72 c 671 820 1116.19 337.83 3.30 1000000 0 1114.85/1115.27 c 675 923 1062.05 354.23 3.00 1000000 0 1117.45/1117.84 c 668 941 1155.97 370.91 3.12 1000000 0 1120.05/1120.42 c 737 862 1119.99 344.82 3.25 1000000 0 1122.55/1122.95 c 669 782 1061.00 337.10 3.15 1000000 0 1125.14/1125.55 c 833 889 1133.52 285.50 3.97 1000000 0 1127.74/1128.11 c 792 1069 1094.08 296.69 3.69 1000000 0 1130.24/1130.69 c 634 846 1083.27 377.61 2.87 1000000 0 1132.84/1133.23 c 633 722 1090.77 342.02 3.19 1000000 0 1135.44/1135.81 c 697 819 1153.53 365.41 3.16 1000000 0 1137.94/1138.36 c 684 800 1070.39 323.55 3.31 1000000 0 1140.54/1140.94 c 776 929 1139.93 305.85 3.73 1000000 0 1143.14/1143.51 c 707 936 1096.29 325.00 3.37 1000000 0 1145.64/1146.08 c 761 882 1112.63 318.70 3.49 1000000 0 1148.24/1148.63 c 628 765 1077.65 344.42 3.13 1000000 0 1150.84/1151.20 c 733 869 1113.06 309.91 3.59 1000000 0 1153.34/1153.77 c 696 814 1074.03 387.91 2.77 1000000 0 1155.94/1156.34 c 784 878 1143.78 340.41 3.36 1000000 0 1158.53/1158.90 c 685 908 1106.02 316.84 3.49 1000000 0 1161.03/1161.48 c 738 852 1125.15 324.89 3.46 1000000 0 1163.63/1164.05 c 716 947 1126.91 300.49 3.75 1000000 0 1166.23/1166.62 c 724 797 1106.50 334.52 3.31 1000000 0 1168.73/1169.18 c 608 786 1079.14 327.19 3.30 1000000 0 1171.33/1171.75 c 742 923 1144.19 324.19 3.53 1000000 0 1173.93/1174.30 c 666 967 1082.84 331.50 3.27 1000000 0 1176.43/1176.88 c 621 667 1044.79 356.29 2.93 1000000 0 1179.03/1179.44 c 680 782 1098.86 358.67 3.06 1000000 0 1181.53/1181.98 c 652 727 1069.06 348.03 3.07 1000000 0 1184.13/1184.54 c 744 912 1112.78 312.54 3.56 1000000 0 1186.73/1187.12 c 697 829 1094.41 324.23 3.38 1000000 0 1189.23/1189.69 c 667 808 1099.64 365.68 3.01 1000000 0 1191.83/1192.28 c 792 1132 1134.66 333.01 3.41 1000000 0 1194.43/1194.83 c 712 857 1095.25 320.67 3.42 1000000 0 1197.03/1197.40 c 717 981 1145.27 346.24 3.31 1000000 0 1199.52/1199.95 c 652 959 1088.62 375.90 2.90 1000000 0 1202.12/1202.54 c 738 923 1124.38 324.78 3.46 1000000 0 1204.72/1205.10 c 688 782 1079.51 318.65 3.39 1000000 0 1207.22/1207.66 c 640 784 1071.69 336.85 3.18 1000000 0 1209.82/1210.22 c 745 870 1096.63 313.58 3.50 1000000 0 1212.42/1212.80 c 663 893 1076.93 354.02 3.04 1000000 0 1214.92/1215.35 c 741 854 1106.92 346.73 3.19 1000000 0 1217.52/1217.91 c 687 822 1066.10 331.87 3.21 1000000 0 1220.02/1220.44 c 718 808 1068.34 297.73 3.59 1000000 0 1222.62/1223.02 c 681 887 1090.48 369.81 2.95 1000000 0 1225.12/1225.57 c 745 955 1124.46 288.29 3.90 1000000 0 1227.72/1228.14 c 674 776 1062.76 347.94 3.05 1000000 0 1230.32/1230.70 c 645 746 1064.49 351.21 3.03 1000000 0 1232.81/1233.26 c 679 825 1102.73 318.61 3.46 1000000 0 1235.41/1235.82 c 712 958 1094.54 331.73 3.30 1000000 0 1237.91/1238.39 c 678 695 1084.50 320.26 3.39 1000000 0 1240.51/1240.95 c 646 823 1055.30 330.13 3.20 1000000 0 1243.11/1243.53 c 787 889 1141.20 329.91 3.46 1000000 0 1245.71/1246.12 c 706 817 1106.01 359.64 3.08 1000000 0 1248.21/1248.69 c 724 894 1104.74 352.71 3.13 1000000 0 1250.81/1251.24 c 752 939 1120.18 343.64 3.26 1000000 0 1253.41/1253.81 c 674 837 1051.67 327.69 3.21 1000000 0 1255.91/1256.36 c 727 846 1092.12 309.12 3.53 1000000 0 1258.51/1258.91 c 651 871 1044.24 338.77 3.08 1000000 0 1261.01/1261.47 c 729 883 1093.69 311.47 3.51 1000000 0 1263.61/1264.05 c 761 861 1128.33 319.84 3.53 1000000 0 1266.21/1266.61 c 807 943 1141.98 311.61 3.66 1000000 0 1268.70/1269.18 c 786 987 1144.60 321.68 3.56 1000000 0 1271.30/1271.75 c 638 763 1036.06 332.75 3.11 1000000 0 1273.90/1274.30 c 659 693 1051.69 334.77 3.14 1000000 0 1276.40/1276.86 c 703 847 1074.49 348.32 3.08 1000000 0 1279.00/1279.40 c 668 791 1086.73 335.40 3.24 1000000 0 1281.50/1281.98 c 715 951 1123.63 315.37 3.56 1000000 0 1284.10/1284.56 c 762 871 1107.42 341.43 3.24 1000000 0 1286.70/1287.12 c 741 844 1095.37 316.49 3.46 1000000 0 1289.20/1289.68 c 662 845 1052.02 356.91 2.95 1000000 0 1291.80/1292.23 c 662 860 1095.73 343.07 3.19 1000000 0 1294.40/1294.82 c 675 799 1079.32 348.38 3.10 1000000 0 1297.00/1297.41 c 684 842 1139.26 346.83 3.28 1000000 0 1299.50/1299.98 c 686 791 1093.15 331.86 3.29 1000000 0 1302.10/1302.55 c 672 1034 1096.37 335.69 3.27 1000000 0 1304.69/1305.12 c 719 748 1115.79 345.00 3.23 1000000 0 1307.19/1307.68 c 706 838 1097.92 308.61 3.56 1000000 0 1309.79/1310.28 c 744 928 1156.02 335.15 3.45 1000000 0 1312.39/1312.85 c 761 958 1137.20 303.87 3.74 1000000 0 1314.99/1315.42 c 675 908 1106.04 326.65 3.39 1000000 0 1317.49/1317.98 c 777 1032 1130.50 308.57 3.66 1000000 0 1320.09/1320.54 c 703 814 1091.37 308.10 3.54 1000000 0 1322.69/1323.10 c 701 903 1074.72 338.81 3.17 1000000 0 1325.19/1325.67 c 767 817 1119.97 317.72 3.52 1000000 0 1327.79/1328.23 c 672 739 1093.87 343.63 3.18 1000000 0 1330.29/1330.79 c 736 919 1124.37 341.18 3.30 1000000 0 1332.89/1333.36 c 786 928 1116.09 315.31 3.54 1000000 0 1335.48/1335.92 c 742 854 1107.31 319.03 3.47 1000000 0 1337.98/1338.47 c 759 808 1097.71 333.02 3.30 1000000 0 1340.58/1341.05 c 674 816 1061.41 352.60 3.01 1000000 0 1343.08/1343.59 c 694 811 1063.15 352.67 3.01 1000000 0 1345.68/1346.16 c 734 869 1105.69 324.52 3.41 1000000 0 1348.28/1348.71 c 672 887 1122.04 312.40 3.59 1000000 0 1350.88/1351.31 c 772 895 1149.61 310.99 3.70 1000000 0 1353.48/1353.90 c 771 819 1161.44 292.88 3.97 1000000 0 1355.98/1356.48 c 763 1008 1137.59 288.41 3.94 1000000 0 1358.58/1359.05 c 757 848 1110.97 357.24 3.11 1000000 0 1361.18/1361.63 c 741 925 1097.70 327.41 3.35 1000000 0 1363.78/1364.21 c 674 887 1083.79 378.93 2.86 1000000 0 1366.28/1366.78 c 781 951 1134.27 315.67 3.59 1000000 0 1368.88/1369.34 c 635 827 1060.08 358.05 2.96 1000000 0 1371.47/1371.92 c 758 977 1131.04 334.21 3.38 1000000 0 1373.97/1374.47 c 634 792 1077.22 338.34 3.18 1000000 0 1376.57/1377.03 c 766 959 1118.50 297.45 3.76 1000000 0 1379.07/1379.59 c 752 1029 1148.09 316.10 3.63 1000000 0 1381.67/1382.15 c 709 853 1095.66 333.27 3.29 1000000 0 1384.27/1384.71 c 616 766 1040.82 344.26 3.02 1000000 0 1386.77/1387.29 c 697 1003 1101.35 333.87 3.30 1000000 0 1389.37/1389.86 c 692 1010 1113.25 342.58 3.25 1000000 0 1391.97/1392.43 c 664 935 1072.31 327.74 3.27 1000000 0 1394.47/1394.99 c 696 853 1076.10 337.46 3.19 1000000 0 1397.07/1397.56 c 755 848 1126.23 341.96 3.29 1000000 0 1399.67/1400.14 c 732 879 1114.94 348.45 3.20 1000000 0 1402.27/1402.72 c 732 871 1116.91 342.80 3.26 1000000 0 1404.77/1405.29 c 712 992 1092.73 342.45 3.19 1000000 0 1407.37/1407.87 c 745 936 1110.62 320.05 3.47 1000000 0 1409.96/1410.41 c 650 869 1061.70 331.91 3.20 1000000 0 1412.46/1412.99 c 707 873 1094.42 340.88 3.21 1000000 0 1415.06/1415.55 c 764 962 1100.89 301.25 3.65 1000000 0 1417.66/1418.12 c 765 925 1113.84 306.99 3.63 1000000 0 1420.16/1420.69 c 760 882 1142.93 329.03 3.47 1000000 0 1422.76/1423.25 c 712 904 1084.98 322.21 3.37 1000000 0 1425.36/1425.81 c 759 874 1095.69 338.61 3.24 1000000 0 1427.86/1428.39 c 627 875 1103.41 377.96 2.92 1000000 0 1430.47/1430.95 c 704 929 1128.20 351.36 3.21 1000000 0 1433.07/1433.51 c 695 737 1100.87 320.03 3.44 1000000 0 1435.57/1436.05 c 723 841 1075.87 340.62 3.16 1000000 0 1438.16/1438.61 c 685 849 1086.36 333.65 3.26 1000000 0 1440.76/1441.20 c 706 839 1114.75 364.27 3.06 1000000 0 1443.26/1443.77 c 676 745 1107.10 326.48 3.39 1000000 0 1445.86/1446.32 c 673 836 1048.61 351.18 2.99 1000000 0 1448.36/1448.88 c 729 888 1117.34 319.13 3.50 1000000 0 1450.96/1451.46 c 674 871 1109.62 352.96 3.14 1000000 0 1453.56/1454.02 c 716 928 1083.90 339.54 3.19 1000000 0 1456.06/1456.59 c 727 961 1092.82 350.07 3.12 1000000 0 1458.66/1459.15 c 747 795 1133.14 335.66 3.38 1000000 0 1461.26/1461.72 c 677 888 1103.67 351.83 3.14 1000000 0 1463.76/1464.28 c 681 867 1060.04 336.09 3.15 1000000 0 1466.36/1466.83 c 685 830 1074.78 350.75 3.06 1000000 0 1468.85/1469.39 c 682 880 1045.47 297.23 3.52 1000000 0 1471.45/1471.95 c 732 813 1093.70 337.01 3.25 1000000 0 1474.05/1474.51 c 687 884 1101.92 353.19 3.12 1000000 0 1476.55/1477.09 c 752 899 1108.80 287.86 3.85 1000000 0 1479.15/1479.65 c 793 872 1127.65 314.69 3.58 1000000 0 1481.75/1482.23 c 717 903 1122.47 317.70 3.53 1000000 0 1484.35/1484.83 c 771 848 1133.15 331.87 3.41 1000000 0 1486.95/1487.42 c 712 876 1122.73 333.48 3.37 1000000 0 1489.45/1489.99 c 728 1004 1080.24 323.51 3.34 1000000 0 1492.05/1492.54 c 749 989 1085.60 331.31 3.28 1000000 0 1494.65/1495.10 c 769 874 1091.96 309.79 3.52 1000000 0 1497.15/1497.67 c 729 868 1102.04 388.15 2.84 1000000 0 1499.75/1500.22 c 677 785 1047.84 363.17 2.89 1000000 0 1502.35/1502.81 c 749 950 1096.62 329.26 3.33 1000000 0 1504.85/1505.39 c 726 966 1131.75 325.05 3.48 1000000 0 1507.44/1507.95 c 678 737 1052.33 317.78 3.31 1000000 0 1510.04/1510.50 c 708 800 1072.24 322.17 3.33 1000000 0 1512.54/1513.05 c 689 860 1088.14 352.58 3.09 1000000 0 1515.14/1515.61 c 740 863 1132.02 331.54 3.41 1000000 0 1517.64/1518.16 c 657 826 1076.14 352.54 3.05 1000000 0 1520.24/1520.73 c 740 859 1111.54 341.05 3.26 1000000 0 1522.84/1523.30 c 671 846 1106.42 350.31 3.16 1000000 0 1525.34/1525.86 c 721 908 1081.45 339.48 3.19 1000000 0 1527.94/1528.41 c 692 743 1091.61 367.06 2.97 1000000 0 1530.44/1530.97 c 689 874 1092.31 350.91 3.11 1000000 0 1533.04/1533.53 c 715 933 1094.97 361.79 3.03 1000000 0 1535.54/1536.07 c 699 900 1053.23 318.78 3.30 1000000 0 1538.14/1538.63 c 712 1011 1100.40 321.93 3.42 1000000 0 1540.64/1541.18 c 709 1064 1097.19 293.48 3.74 1000000 0 1543.23/1543.77 c 791 879 1175.55 306.83 3.83 1000000 0 1545.83/1546.34 c 699 967 1102.00 347.73 3.17 1000000 0 1548.34/1548.89 c 612 699 1072.55 347.49 3.09 1000000 0 1550.93/1551.45 c 632 832 1028.87 317.31 3.24 1000000 0 1553.53/1554.00 c 705 918 1085.27 346.50 3.13 1000000 0 1556.04/1556.55 c 688 766 1104.66 343.42 3.22 1000000 0 1558.63/1559.11 c 747 839 1106.80 351.99 3.14 1000000 0 1561.13/1561.66 c 727 926 1080.41 310.84 3.48 1000000 0 1563.74/1564.22 c 721 930 1129.82 339.01 3.33 1000000 0 1566.23/1566.80 c 784 894 1166.99 320.73 3.64 1000000 0 1568.83/1569.35 c 702 764 1110.46 357.05 3.11 1000000 0 1571.44/1571.92 c 724 955 1091.79 321.23 3.40 1000000 0 1573.93/1574.49 c 775 875 1121.83 349.14 3.21 1000000 0 1576.53/1577.07 c 727 848 1097.46 316.88 3.46 1000000 0 1579.13/1579.63 c 770 930 1151.96 326.66 3.53 1000000 0 1581.72/1582.21 c 685 925 1080.77 349.29 3.09 1000000 0 1584.22/1584.76 c 708 821 1090.50 328.91 3.32 1000000 0 1586.83/1587.31 c 683 924 1056.08 316.13 3.34 1000000 0 1589.32/1589.89 c 831 974 1144.91 299.70 3.82 1000000 0 1591.92/1592.46 c 746 926 1126.54 304.16 3.70 1000000 0 1594.53/1595.01 c 737 882 1078.98 317.23 3.40 1000000 0 1597.02/1597.58 c 697 893 1096.72 340.16 3.22 1000000 0 1599.62/1600.15 c 731 972 1111.94 316.48 3.51 1000000 0 1602.23/1602.71 c 680 780 1083.64 323.59 3.35 1000000 0 1604.82/1605.31 c 801 928 1149.81 328.26 3.50 1000000 0 1607.32/1607.87 c 743 956 1115.77 347.24 3.21 1000000 0 1609.92/1610.42 c 666 827 1073.55 310.24 3.46 1000000 0 1612.41/1612.99 c 648 868 1073.31 335.30 3.20 1000000 0 1615.01/1615.56 c 691 886 1097.27 331.29 3.31 1000000 0 1617.62/1618.14 c 765 911 1160.17 334.95 3.46 1000000 0 1620.21/1620.72 c 712 864 1088.74 332.00 3.28 1000000 0 1622.71/1623.29 c 685 875 1086.04 335.27 3.24 1000000 0 1625.32/1625.84 c 701 894 1061.05 328.51 3.23 1000000 0 1627.91/1628.42 c 728 894 1112.35 335.42 3.32 1000000 0 1630.51/1631.00 c 661 802 1100.59 302.21 3.64 1000000 0 1633.02/1633.58 c 766 912 1113.78 317.78 3.50 1000000 0 1635.61/1636.13 c 674 804 1055.60 349.59 3.02 1000000 0 1638.11/1638.67 c 712 881 1094.67 335.21 3.27 1000000 0 1640.71/1641.22 c 671 827 1081.29 337.61 3.20 1000000 0 1643.31/1643.81 c 657 897 1106.77 343.72 3.22 1000000 0 1645.80/1646.39 c 795 1012 1151.44 289.97 3.97 1000000 0 1648.41/1648.97 c 674 859 1063.40 334.54 3.18 1000000 0 1651.00/1651.53 c 793 978 1121.77 302.87 3.70 1000000 0 1653.50/1654.08 c 678 849 1065.41 330.07 3.23 1000000 0 1656.11/1656.64 c 697 995 1069.47 351.89 3.04 1000000 0 1658.70/1659.21 c 739 881 1131.99 352.04 3.22 1000000 0 1661.20/1661.77 c 679 903 1115.04 344.04 3.24 1000000 0 1663.81/1664.35 c 730 859 1114.52 340.36 3.27 1000000 0 1666.40/1666.90 c 651 924 1093.20 352.74 3.10 1000000 0 1668.90/1669.46 c 693 823 1110.44 321.76 3.45 1000000 0 1671.50/1672.01 c 677 834 1045.72 355.23 2.94 1000000 0 1674.00/1674.57 c 742 793 1118.13 319.45 3.50 1000000 0 1676.60/1677.16 c 693 903 1096.94 334.83 3.28 1000000 0 1679.20/1679.70 c 687 882 1055.04 349.55 3.02 1000000 0 1681.69/1682.27 c 719 798 1134.82 353.12 3.21 1000000 0 1684.29/1684.84 c 722 988 1054.79 339.46 3.11 1000000 0 1686.80/1687.38 c 684 747 1064.84 320.52 3.32 1000000 0 1689.39/1689.95 c 742 847 1094.80 332.85 3.29 1000000 0 1691.99/1692.52 c 742 840 1105.36 308.15 3.59 1000000 0 1694.50/1695.09 c 711 852 1111.41 335.30 3.31 1000000 0 1697.09/1697.65 c 798 881 1118.44 297.60 3.76 1000000 0 1699.69/1700.20 c 675 887 1101.86 328.58 3.35 1000000 0 1702.20/1702.78 c 694 815 1106.58 361.50 3.06 1000000 0 1704.79/1705.33 c 625 724 1084.92 357.58 3.03 1000000 0 1707.29/1707.87 c 680 827 1094.03 356.06 3.07 1000000 0 1709.89/1710.42 c 737 953 1120.21 332.44 3.37 1000000 0 1712.39/1712.98 c 813 898 1134.95 284.59 3.99 1000000 0 1714.99/1715.55 c 814 909 1125.08 286.29 3.93 1000000 0 1717.59/1718.10 c 604 673 1079.27 356.09 3.03 1000000 0 1720.08/1720.68 c 685 916 1124.22 337.45 3.33 1000000 0 1722.68/1723.27 c 784 933 1124.90 322.25 3.49 1000000 0 1725.29/1725.83 c 733 883 1102.60 331.98 3.32 1000000 0 1727.88/1728.41 c 744 859 1117.24 315.65 3.54 1000000 0 1730.38/1730.96 c 655 771 1066.70 343.56 3.10 1000000 0 1732.99/1733.54 c 742 871 1134.09 319.95 3.54 1000000 0 1735.58/1736.11 c 745 889 1106.56 347.33 3.19 1000000 0 1738.08/1738.67 c 685 985 1075.05 321.13 3.35 1000000 0 1740.69/1741.26 c 720 954 1112.70 355.41 3.13 1000000 0 1743.28/1743.83 c 776 1032 1122.52 308.69 3.64 1000000 0 1745.78/1746.39 c 774 853 1123.86 314.01 3.58 1000000 0 1748.38/1748.96 c 663 797 1084.25 339.14 3.20 1000000 0 1750.97/1751.52 c 733 865 1127.92 320.06 3.52 1000000 0 1753.47/1754.07 c 746 860 1128.99 317.80 3.55 1000000 0 1756.08/1756.62 c 685 869 1086.15 340.78 3.19 1000000 0 1758.57/1759.17 c 697 913 1089.66 338.73 3.22 1000000 0 1761.17/1761.73 c 732 897 1124.56 325.18 3.46 1000000 0 1763.67/1764.29 c 673 896 1092.08 361.86 3.02 1000000 0 1766.27/1766.85 c 727 1005 1096.19 336.05 3.26 1000000 0 1768.87/1769.43 c 749 840 1127.19 345.91 3.26 1000000 0 1771.37/1771.97 c 665 718 1033.51 302.10 3.42 1000000 0 1773.97/1774.53 c 681 854 1061.98 323.36 3.28 1000000 0 1776.47/1777.08 c 719 908 1081.79 327.34 3.30 1000000 0 1779.07/1779.66 c 754 968 1112.89 324.14 3.43 1000000 0 1781.67/1782.20 c 719 908 1075.34 361.91 2.97 1000000 0 1784.16/1784.78 c 720 870 1055.38 315.44 3.35 1000000 0 1786.76/1787.34 c 722 765 1113.99 318.36 3.50 1000000 0 1789.36/1789.90 c 699 897 1118.91 326.92 3.42 1000000 0 1791.86/1792.45 c 660 938 1082.43 337.22 3.21 1000000 0 1794.36/1795.00 c 707 888 1048.63 324.00 3.24 1000000 0 1796.96/1797.56 c 671 772 1072.88 320.52 3.35 1000000 0 1799.56/1800.11 c 719 826 1082.34 327.66 3.30 1000000 0 1800.07/1800.61 HOME/run: line 2: 9857 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-2669891-1276611466/watcher-2669891-1276611466 -o /tmp/evaluation-result-2669891-1276611466/solver-2669891-1276611466 -C 1800 -W 2000 -M 1800 run HOME/instance-2669891-1276611466.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: 1.07 1.02 1.00 3/106 9856 /proc/meminfo: memFree=1794588/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) R 9854 9856 9414 0 -1 4202496 343 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393754517 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [startup+0.0499351 s] /proc/loadavg: 1.07 1.02 1.00 3/106 9856 /proc/meminfo: memFree=1794588/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100938 s] /proc/loadavg: 1.07 1.02 1.00 3/106 9856 /proc/meminfo: memFree=1794588/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300956 s] /proc/loadavg: 1.07 1.02 1.00 3/106 9856 /proc/meminfo: memFree=1794588/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700993 s] /proc/loadavg: 1.07 1.02 1.00 3/106 9856 /proc/meminfo: memFree=1794588/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50107 s] /proc/loadavg: 1.07 1.02 1.00 2/108 9858 /proc/meminfo: memFree=1788496/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=1.49 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1562 0 0 0 149 0 0 0 25 0 1 0 2439009 41422848 1491 1992294400 134512640 135071400 4290483200 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1491 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10021 s] /proc/loadavg: 1.07 1.02 1.00 2/108 9858 /proc/meminfo: memFree=1788248/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=3.09 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 309 0 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134526505 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.3015 s] /proc/loadavg: 1.07 1.02 1.00 2/108 9860 /proc/meminfo: memFree=1788124/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=6.29 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 629 0 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134526719 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7011 s] /proc/loadavg: 1.06 1.02 1.00 2/108 9860 /proc/meminfo: memFree=1787876/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=12.68 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 1268 0 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5012 s] /proc/loadavg: 1.11 1.03 1.01 2/108 9860 /proc/meminfo: memFree=1787876/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=25.48 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 2548 0 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1016 s] /proc/loadavg: 1.07 1.03 1.01 2/108 9860 /proc/meminfo: memFree=1787884/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=51.07 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 5107 0 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 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: 1.08 1.04 1.01 2/108 9862 /proc/meminfo: memFree=1787760/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=102.27 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 10227 0 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134526047 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 69 137 0 9974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49152 [startup+162.302 s] /proc/loadavg: 1.07 1.04 1.01 2/108 9864 /proc/meminfo: memFree=1787636/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=162.24 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 16224 0 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 69 137 0 9974 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 1.12 1.06 1.01 2/108 9864 /proc/meminfo: memFree=1787636/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=222.22 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 22222 0 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134526498 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 69 137 0 9974 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 1.08 1.06 1.01 2/108 9866 /proc/meminfo: memFree=1787512/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=282.21 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 28220 1 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 69 137 0 9974 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 1.03 1.05 1.00 2/108 9868 /proc/meminfo: memFree=1787264/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=342.19 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 34218 1 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 69 137 0 9974 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.01 1.04 1.00 2/108 9870 /proc/meminfo: memFree=1787264/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=402.17 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 40216 1 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134519831 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 69 137 0 9974 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 49152 [startup+462.302 s] ################ # More data... # ################ /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=1061.97 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 106196 1 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 69 137 0 9974 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9891 /proc/meminfo: memFree=1785652/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=1121.95 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 112194 1 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134526625 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9893 /proc/meminfo: memFree=1785528/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=1181.93 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 118192 1 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134525870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9895 /proc/meminfo: memFree=1785280/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=1241.91 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 124190 1 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134572074 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9897 /proc/meminfo: memFree=1785032/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=1301.9 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 130189 1 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134519883 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9899 /proc/meminfo: memFree=1785032/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=1361.88 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 136187 1 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134537141 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9899 /proc/meminfo: memFree=1784784/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=1421.87 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 142186 1 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9901 /proc/meminfo: memFree=1784660/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=1481.85 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 148183 2 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134525783 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9903 /proc/meminfo: memFree=1784536/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=1541.84 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 154182 2 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9905 /proc/meminfo: memFree=1784412/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=1601.82 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 160180 2 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9907 /proc/meminfo: memFree=1784288/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=1661.8 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 166178 2 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9907 /proc/meminfo: memFree=1784164/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=1721.78 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 172176 2 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9909 /proc/meminfo: memFree=1783916/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=1781.77 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 178175 2 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.77 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 2/108 9909 /proc/meminfo: memFree=1783916/2059040 swapFree=4165000/4192956 [pid=9856] ppid=9854 vsize=8700 CPUtime=0 /proc/9856/stat : 9856 (run) S 9854 9856 9414 0 -1 4202496 360 0 0 0 0 0 0 0 23 0 1 0 2439009 8908800 244 1992294400 4194304 4922060 140735301522864 18446744073709551615 273393753221 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9856/statm: 2175 244 204 178 0 68 0 [pid=9857] ppid=9856 vsize=40452 CPUtime=1800.07 /proc/9857/stat : 9857 (PB-wave) R 9856 9856 9414 0 -1 4202496 1570 0 0 0 180005 2 0 0 25 0 1 0 2439009 41422848 1499 1992294400 134512640 135071400 4290483200 18446744073709551615 134525977 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9857/statm: 10113 1499 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.07 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.09 CPU user time (s): 1800.06 CPU system time (s): 0.027995 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.06 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= 1942 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= 3 involuntary context switches= 5523 runsolver used 2.96055 second user time and 8.5757 second system time The end
Begin job on node043 at 2010-06-15 16:17:46 IDJOB=2669891 IDBENCH=1493 IDSOLVER=1171 FILE ID=node043/2669891-1276611466 PBS_JOBID= 11172267 Free space on /tmp= 62296 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669891-1276611466/watcher-2669891-1276611466 -o /tmp/evaluation-result-2669891-1276611466/solver-2669891-1276611466 -C 1800 -W 2000 -M 1800 run HOME/instance-2669891-1276611466.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 631c705feb60dcd8a1b144825a73a754 RANDOM SEED=600377542 node043.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.241 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.241 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.37 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1795116 kB Buffers: 37848 kB Cached: 129232 kB SwapCached: 1408 kB Active: 75332 kB Inactive: 124656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1795116 kB SwapTotal: 4192956 kB SwapFree: 4165000 kB Dirty: 2244 kB Writeback: 60 kB AnonPages: 31416 kB Mapped: 15428 kB Slab: 42200 kB PageTables: 4080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183360 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= 62292 MiB End job on node043 at 2010-06-15 16:47:47