Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.07 | 1800.62 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb |
MD5SUM | f3a2fcfec289719ed724c9b755cd6805 |
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 | 0.71389 |
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 | 20445 |
Total number of constraints | 58444 |
Number of constraints which are clauses | 56420 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2024 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13 |
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 | 65 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 254 |
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.16 c PB-wave - v2 0.00/0.16 c command line = ./PB-wave 0.00/0.16 c seed = 74522159 0.00/0.16 c cutoff = 1000000 0.00/0.16 c tries = 1000000 0.00/0.16 c heuristic = c best, noise 50 / 100 0.00/0.16 #var 20445 #con 58444 0.00/0.16 mode is SAT 0.00/0.16 c tail starts after flip = 61335 0.00/0.16 c numatom = 20445, numclause = 58444, numliterals = 155174 0.00/0.16 c wff read in 0.00/0.16 c 0.00/0.16 c lowest final avg noise noise total avg mean mean 0.00/0.16 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.16 c this this this this this this success success until std 0.00/0.16 c try try try try try try rate tries assign dev 0.00/0.16 c 3.58/3.64 c 739 896 1039.15 284.78 3.65 1000000 0 7.08/7.11 c 635 750 1021.67 348.34 2.93 1000000 0 10.48/10.56 c 654 831 1034.93 337.55 3.07 1000000 0 13.98/14.01 c 662 763 1030.91 327.06 3.15 1000000 0 17.38/17.46 c 613 901 1001.82 340.17 2.95 1000000 0 20.88/20.92 c 610 738 977.36 336.20 2.91 1000000 0 24.28/24.38 c 692 814 1044.58 301.70 3.46 1000000 0 27.77/27.85 c 631 768 1035.99 346.56 2.99 1000000 0 31.27/31.32 c 662 898 1027.06 323.83 3.17 1000000 0 34.67/34.77 c 651 863 1040.09 317.09 3.28 1000000 0 38.17/38.25 c 700 916 1038.85 304.09 3.42 1000000 0 41.57/41.68 c 659 920 1014.46 313.10 3.24 1000000 0 45.08/45.14 c 621 775 1014.62 332.97 3.05 1000000 0 48.47/48.59 c 686 861 1013.49 336.88 3.01 1000000 0 51.97/52.05 c 648 747 1018.53 304.77 3.34 1000000 0 55.47/55.53 c 655 698 1054.73 365.33 2.89 1000000 0 58.97/59.01 c 676 790 1011.43 332.19 3.04 1000000 0 62.36/62.47 c 664 833 1039.48 343.79 3.02 1000000 0 65.87/65.91 c 658 802 1040.17 350.37 2.97 1000000 0 69.27/69.38 c 642 862 1007.11 325.38 3.10 1000000 0 72.76/72.87 c 667 849 1060.80 318.01 3.34 1000000 0 76.26/76.36 c 676 867 1042.87 325.14 3.21 1000000 0 79.76/79.81 c 649 897 1011.41 314.13 3.22 1000000 0 83.16/83.25 c 668 868 1020.13 316.00 3.23 1000000 0 86.65/86.73 c 638 821 1012.65 354.97 2.85 1000000 0 90.06/90.18 c 645 795 1021.95 334.81 3.05 1000000 0 93.55/93.62 c 668 747 1047.43 327.41 3.20 1000000 0 96.95/97.08 c 573 711 1045.79 325.71 3.21 1000000 0 100.45/100.51 c 645 857 1038.45 329.41 3.15 1000000 0 103.85/103.96 c 693 814 1030.60 295.11 3.49 1000000 0 107.35/107.41 c 661 806 1041.04 329.39 3.16 1000000 0 110.75/110.84 c 631 789 969.63 304.73 3.18 1000000 0 114.15/114.29 c 586 797 1009.42 328.40 3.07 1000000 0 117.65/117.79 c 664 842 1029.47 341.24 3.02 1000000 0 121.14/121.26 c 630 761 1021.37 333.72 3.06 1000000 0 124.64/124.70 c 618 706 1025.49 313.42 3.27 1000000 0 128.04/128.12 c 618 770 1017.95 332.71 3.06 1000000 0 131.54/131.61 c 633 750 1025.56 335.61 3.06 1000000 0 134.94/135.09 c 719 891 1036.38 302.83 3.42 1000000 0 138.44/138.55 c 651 859 1008.03 304.54 3.31 1000000 0 141.94/142.01 c 632 843 1027.72 338.00 3.04 1000000 0 145.34/145.48 c 723 824 1069.64 324.06 3.30 1000000 0 148.84/148.96 c 654 826 1016.84 341.03 2.98 1000000 0 152.33/152.41 c 678 900 1026.17 333.53 3.08 1000000 0 155.73/155.86 c 669 853 1043.07 352.92 2.96 1000000 0 159.23/159.36 c 640 794 1054.56 332.33 3.17 1000000 0 162.74/162.80 c 665 838 1007.62 292.77 3.44 1000000 0 166.13/166.28 c 661 825 1012.65 301.76 3.36 1000000 0 169.63/169.72 c 621 909 1006.67 303.41 3.32 1000000 0 173.13/173.20 c 667 825 1024.91 319.61 3.21 1000000 0 176.53/176.64 c 595 795 1018.90 363.30 2.80 1000000 0 180.03/180.11 c 702 867 1037.96 317.78 3.27 1000000 0 183.43/183.57 c 676 741 1045.75 329.39 3.17 1000000 0 186.93/187.06 c 633 811 1034.25 337.90 3.06 1000000 0 190.42/190.52 c 702 762 1057.43 312.59 3.38 1000000 0 193.82/193.96 c 691 893 1036.63 320.32 3.24 1000000 0 197.32/197.43 c 636 790 1023.50 322.55 3.17 1000000 0 200.82/200.92 c 680 822 1069.63 321.67 3.33 1000000 0 204.22/204.38 c 624 779 1057.24 346.17 3.05 1000000 0 207.73/207.83 c 687 880 1051.07 313.44 3.35 1000000 0 211.12/211.27 c 686 833 1017.44 298.19 3.41 1000000 0 214.62/214.75 c 637 736 1016.33 323.61 3.14 1000000 0 218.01/218.18 c 612 666 999.94 331.63 3.02 1000000 0 221.51/221.64 c 666 928 1010.25 322.20 3.14 1000000 0 225.01/225.10 c 644 751 1033.86 350.02 2.95 1000000 0 228.41/228.57 c 630 731 992.07 304.50 3.26 1000000 0 231.92/232.01 c 654 812 1010.60 338.87 2.98 1000000 0 235.32/235.47 c 657 843 1020.57 330.28 3.09 1000000 0 238.81/238.92 c 701 850 1042.60 287.12 3.63 1000000 0 242.21/242.39 c 700 925 1032.49 318.28 3.24 1000000 0 245.72/245.87 c 613 730 1010.19 333.42 3.03 1000000 0 249.21/249.32 c 644 813 973.03 314.74 3.09 1000000 0 252.61/252.75 c 639 902 1011.24 310.79 3.25 1000000 0 256.12/256.22 c 655 894 1010.94 339.80 2.98 1000000 0 259.52/259.67 c 634 686 995.28 330.03 3.02 1000000 0 263.01/263.13 c 678 790 1056.08 318.86 3.31 1000000 0 266.51/266.61 c 697 844 1037.11 322.31 3.22 1000000 0 269.91/270.04 c 680 831 1024.86 308.04 3.33 1000000 0 273.41/273.50 c 597 746 1012.47 347.12 2.92 1000000 0 276.81/276.95 c 641 795 1032.95 329.61 3.13 1000000 0 280.31/280.43 c 616 854 1038.98 363.34 2.86 1000000 0 283.71/283.89 c 663 724 1053.83 333.32 3.16 1000000 0 287.20/287.36 c 697 860 1085.08 329.83 3.29 1000000 0 290.70/290.82 c 671 785 1024.11 326.37 3.14 1000000 0 294.20/294.31 c 621 930 1019.37 354.45 2.88 1000000 0 297.60/297.78 c 636 778 1052.94 354.21 2.97 1000000 0 301.10/301.24 c 711 848 1044.87 299.68 3.49 1000000 0 304.60/304.72 c 678 913 1032.18 326.94 3.16 1000000 0 308.00/308.16 c 627 793 993.92 306.07 3.25 1000000 0 311.50/311.63 c 660 745 1057.00 325.93 3.24 1000000 0 314.90/315.10 c 622 811 1014.42 336.73 3.01 1000000 0 318.39/318.54 c 666 845 1020.90 297.60 3.43 1000000 0 321.79/321.99 c 597 741 1001.81 304.46 3.29 1000000 0 325.29/325.47 c 647 826 1011.12 310.64 3.25 1000000 0 328.80/328.93 c 671 847 1036.35 339.59 3.05 1000000 0 332.19/332.38 c 660 802 1044.41 348.20 3.00 1000000 0 335.69/335.85 c 631 878 1038.50 329.34 3.15 1000000 0 339.19/339.31 c 644 878 1015.69 305.80 3.32 1000000 0 342.59/342.78 c 654 729 1018.95 328.99 3.10 1000000 0 346.08/346.25 c 667 796 1011.90 321.14 3.15 1000000 0 349.59/349.72 c 617 876 992.29 373.53 2.66 1000000 0 352.99/353.19 c 675 892 1057.78 318.12 3.33 1000000 0 356.48/356.64 c 654 836 1029.68 326.45 3.15 1000000 0 359.98/360.11 c 650 837 1022.74 305.19 3.35 1000000 0 363.38/363.57 c 656 764 996.67 313.45 3.18 1000000 0 366.88/367.05 c 691 825 1061.59 321.51 3.30 1000000 0 370.38/370.52 c 607 672 1012.14 331.52 3.05 1000000 0 373.78/373.99 c 710 903 1068.14 320.53 3.33 1000000 0 377.27/377.45 c 646 798 997.98 333.10 3.00 1000000 0 380.77/380.93 c 731 862 1042.13 315.41 3.30 1000000 0 384.17/384.39 c 644 827 1014.85 349.46 2.90 1000000 0 387.67/387.85 c 648 864 1004.65 336.29 2.99 1000000 0 391.17/391.32 c 670 794 1024.96 327.61 3.13 1000000 0 394.57/394.77 c 704 784 1049.26 333.49 3.15 1000000 0 398.08/398.20 c 603 845 992.84 320.04 3.10 1000000 0 401.47/401.66 c 659 844 1032.63 338.17 3.05 1000000 0 404.97/405.12 c 698 867 1054.68 339.61 3.11 1000000 0 408.37/408.56 c 671 713 1037.42 313.46 3.31 1000000 0 411.76/411.99 c 623 808 991.55 323.19 3.07 1000000 0 415.26/415.44 c 679 827 1028.28 299.22 3.44 1000000 0 418.76/418.92 c 625 830 1029.30 354.25 2.91 1000000 0 422.17/422.39 c 660 797 1040.10 345.51 3.01 1000000 0 425.66/425.86 c 698 770 1042.12 329.25 3.17 1000000 0 429.16/429.30 c 681 812 1047.14 338.83 3.09 1000000 0 432.56/432.75 c 690 964 1014.41 309.81 3.27 1000000 0 436.06/436.21 c 638 877 989.94 335.48 2.95 1000000 0 439.46/439.64 c 672 867 1034.62 329.10 3.14 1000000 0 442.96/443.11 c 647 864 1018.97 320.55 3.18 1000000 0 446.36/446.56 c 618 792 1011.46 326.64 3.10 1000000 0 449.85/450.03 c 664 840 1042.76 315.89 3.30 1000000 0 453.35/453.50 c 650 818 1009.78 342.70 2.95 1000000 0 456.75/456.97 c 652 837 1009.73 328.23 3.08 1000000 0 460.25/460.41 c 709 763 1046.06 337.19 3.10 1000000 0 463.65/463.88 c 639 812 1005.20 325.87 3.08 1000000 0 467.15/467.33 c 648 840 1012.14 307.19 3.29 1000000 0 470.55/470.80 c 625 749 1008.70 314.65 3.21 1000000 0 474.04/474.27 c 650 800 1022.67 326.42 3.13 1000000 0 477.54/477.74 c 714 912 1049.60 313.82 3.34 1000000 0 480.94/481.16 c 602 837 983.93 345.92 2.84 1000000 0 484.44/484.64 c 628 811 1009.79 350.50 2.88 1000000 0 487.94/488.12 c 711 852 1059.20 341.61 3.10 1000000 0 491.34/491.57 c 610 841 1013.99 336.48 3.01 1000000 0 494.85/495.02 c 627 743 1016.29 362.82 2.80 1000000 0 498.24/498.48 c 665 770 1012.24 332.61 3.04 1000000 0 501.74/501.94 c 647 773 1037.76 340.57 3.05 1000000 0 505.14/505.40 c 739 910 1045.43 291.82 3.58 1000000 0 508.63/508.87 c 668 935 1043.95 325.60 3.21 1000000 0 512.13/512.33 c 666 928 1037.32 324.62 3.20 1000000 0 515.64/515.80 c 610 804 1004.09 342.88 2.93 1000000 0 519.04/519.28 c 670 898 1030.13 347.11 2.97 1000000 0 522.53/522.76 c 673 779 1016.46 320.08 3.18 1000000 0 526.03/526.21 c 621 760 1011.60 332.19 3.05 1000000 0 529.43/529.66 c 636 820 1018.32 344.14 2.96 1000000 0 532.93/533.14 c 683 911 1042.18 309.08 3.37 1000000 0 536.43/536.60 c 628 850 1049.85 329.17 3.19 1000000 0 539.83/540.06 c 668 732 1068.42 362.09 2.95 1000000 0 543.32/543.52 c 670 858 1023.06 323.93 3.16 1000000 0 546.72/546.99 c 642 720 1019.37 312.93 3.26 1000000 0 550.22/550.45 c 675 907 1033.88 321.95 3.21 1000000 0 553.62/553.89 c 632 815 992.82 303.80 3.27 1000000 0 557.22/557.40 c 657 750 1039.46 345.54 3.01 1000000 0 560.62/560.85 c 701 813 1036.05 317.10 3.27 1000000 0 564.13/564.31 c 647 862 1029.35 314.32 3.27 1000000 0 567.52/567.75 c 637 815 1010.99 320.11 3.16 1000000 0 571.02/571.20 c 674 847 1036.37 319.45 3.24 1000000 0 574.42/574.64 c 638 881 1017.36 337.32 3.02 1000000 0 577.91/578.12 c 680 877 1038.36 326.93 3.18 1000000 0 581.31/581.59 c 644 868 1024.88 346.63 2.96 1000000 0 584.81/585.05 c 624 854 1031.72 323.26 3.19 1000000 0 588.22/588.47 c 650 926 1037.98 338.50 3.07 1000000 0 591.71/591.94 c 660 761 1000.18 316.76 3.16 1000000 0 595.11/595.39 c 698 799 1041.34 297.95 3.50 1000000 0 598.61/598.86 c 675 820 1053.15 329.72 3.19 1000000 0 602.11/602.33 c 734 960 1062.06 288.25 3.68 1000000 0 605.51/605.78 c 691 792 1035.07 305.51 3.39 1000000 0 609.00/609.24 c 631 673 1043.62 336.73 3.10 1000000 0 612.41/612.69 c 671 836 1036.70 331.28 3.13 1000000 0 615.90/616.16 c 677 772 1032.91 324.12 3.19 1000000 0 619.40/619.61 c 659 975 1033.51 317.86 3.25 1000000 0 622.90/623.10 c 670 938 1014.26 321.25 3.16 1000000 0 626.30/626.54 c 635 792 1009.02 312.82 3.23 1000000 0 629.80/630.03 c 603 925 1055.60 326.16 3.24 1000000 0 633.30/633.51 c 683 880 1055.41 321.33 3.28 1000000 0 636.70/636.97 c 668 754 1022.87 360.30 2.84 1000000 0 640.20/640.45 c 705 830 1045.56 298.94 3.50 1000000 0 643.70/643.91 c 686 870 1051.42 326.13 3.22 1000000 0 647.09/647.36 c 681 824 1027.15 321.72 3.19 1000000 0 650.59/650.86 c 630 928 1039.44 341.03 3.05 1000000 0 654.09/654.33 c 672 819 1019.08 327.79 3.11 1000000 0 657.60/657.80 c 630 921 991.37 312.86 3.17 1000000 0 660.99/661.26 c 644 849 1023.51 343.07 2.98 1000000 0 664.49/664.70 c 645 944 1038.09 328.44 3.16 1000000 0 667.89/668.15 c 714 857 1046.16 321.82 3.25 1000000 0 671.29/671.58 c 626 845 1006.66 317.37 3.17 1000000 0 674.79/675.01 c 626 775 981.35 338.14 2.90 1000000 0 678.18/678.44 c 660 743 1010.22 330.67 3.06 1000000 0 681.69/681.91 c 654 961 1018.90 335.88 3.03 1000000 0 685.09/685.35 c 598 793 1026.60 319.43 3.21 1000000 0 688.48/688.78 c 650 861 1023.79 314.04 3.26 1000000 0 691.98/692.27 c 650 823 1017.75 318.97 3.19 1000000 0 695.48/695.72 c 665 863 1010.55 322.23 3.14 1000000 0 698.88/699.18 c 547 900 1009.53 344.41 2.93 1000000 0 702.38/702.63 c 637 819 1033.77 337.30 3.06 1000000 0 705.78/706.08 c 637 869 1035.71 349.54 2.96 1000000 0 709.28/709.55 c 664 920 1033.10 367.26 2.81 1000000 0 712.77/713.02 c 731 849 1053.81 310.98 3.39 1000000 0 716.17/716.46 c 640 788 1025.34 331.71 3.09 1000000 0 719.67/719.92 c 627 759 1018.65 322.14 3.16 1000000 0 723.07/723.37 c 655 817 1048.13 305.21 3.43 1000000 0 726.57/726.84 c 707 934 1048.97 315.41 3.33 1000000 0 730.08/730.32 c 637 776 991.74 313.64 3.16 1000000 0 733.48/733.76 c 634 728 992.87 322.11 3.08 1000000 0 736.97/737.21 c 662 759 1017.65 332.03 3.06 1000000 0 740.37/740.65 c 617 954 1022.89 318.14 3.22 1000000 0 743.87/744.11 c 633 780 996.06 313.84 3.17 1000000 0 747.26/747.57 c 666 790 1060.61 357.42 2.97 1000000 0 750.76/751.04 c 685 761 1038.59 308.35 3.37 1000000 0 754.16/754.47 c 702 809 1051.04 308.09 3.41 1000000 0 757.57/757.90 c 642 794 1002.76 324.02 3.09 1000000 0 761.06/761.37 c 667 907 1017.65 304.82 3.34 1000000 0 764.56/764.84 c 638 766 1034.42 337.64 3.06 1000000 0 768.06/768.30 c 605 802 1006.39 322.13 3.12 1000000 0 771.46/771.73 c 684 761 997.72 348.17 2.87 1000000 0 774.86/775.18 c 688 768 1024.89 328.40 3.12 1000000 0 778.35/778.66 c 683 841 1046.66 332.20 3.15 1000000 0 781.76/782.09 c 705 872 1039.87 334.39 3.11 1000000 0 785.25/785.55 c 653 723 1022.13 364.53 2.80 1000000 0 788.75/789.02 c 625 757 1003.77 363.70 2.76 1000000 0 792.25/792.50 c 661 705 1064.40 338.52 3.14 1000000 0 795.65/795.97 c 666 715 1070.04 347.40 3.08 1000000 0 799.15/799.42 c 658 799 1038.82 343.57 3.02 1000000 0 802.55/802.86 c 620 722 1003.01 326.72 3.07 1000000 0 806.05/806.34 c 638 821 1026.93 323.12 3.18 1000000 0 809.55/809.80 c 619 749 1044.15 326.36 3.20 1000000 0 812.95/813.25 c 653 833 1021.49 368.41 2.77 1000000 0 816.44/816.74 c 675 847 1022.88 308.96 3.31 1000000 0 819.94/820.21 c 644 747 1032.30 326.41 3.16 1000000 0 823.34/823.69 c 661 811 1027.67 326.38 3.15 1000000 0 826.85/827.14 c 617 817 1013.98 306.36 3.31 1000000 0 830.25/830.58 c 665 856 1028.74 314.40 3.27 1000000 0 833.74/834.03 c 630 736 1035.03 330.06 3.14 1000000 0 837.24/837.51 c 660 784 1044.76 363.26 2.88 1000000 0 840.64/840.96 c 687 826 1040.04 306.27 3.40 1000000 0 844.14/844.45 c 672 814 1041.62 338.37 3.08 1000000 0 847.64/847.90 c 616 841 998.85 314.91 3.17 1000000 0 851.04/851.36 c 638 885 1026.04 337.19 3.04 1000000 0 854.53/854.83 c 680 890 1027.30 342.90 3.00 1000000 0 858.03/858.31 c 665 779 1040.08 330.76 3.14 1000000 0 861.43/861.77 c 596 832 996.71 302.93 3.29 1000000 0 864.93/865.24 c 676 897 1003.83 322.02 3.12 1000000 0 868.43/868.72 c 624 686 985.84 328.49 3.00 1000000 0 871.83/872.18 c 681 806 1017.38 312.78 3.25 1000000 0 875.33/875.64 c 717 854 1040.95 315.74 3.30 1000000 0 878.73/879.09 c 613 708 1029.81 350.65 2.94 1000000 0 882.22/882.57 c 672 770 1051.04 345.54 3.04 1000000 0 885.72/886.04 c 634 877 995.35 331.22 3.01 1000000 0 889.22/889.50 c 660 838 1015.89 309.35 3.28 1000000 0 892.62/892.97 c 607 728 1029.34 325.92 3.16 1000000 0 896.13/896.44 c 635 962 1015.33 345.49 2.94 1000000 0 899.62/899.91 c 684 785 1035.05 349.92 2.96 1000000 0 903.02/903.37 c 685 971 1026.52 296.71 3.46 1000000 0 906.52/906.83 c 650 787 1023.97 331.30 3.09 1000000 0 910.02/910.31 c 654 795 1028.13 339.90 3.02 1000000 0 913.42/913.77 c 636 721 1060.11 325.69 3.25 1000000 0 916.91/917.21 c 666 845 1031.86 310.25 3.33 1000000 0 920.32/920.66 c 610 778 1024.43 336.43 3.04 1000000 0 923.72/924.09 c 686 765 1042.89 353.06 2.95 1000000 0 927.21/927.53 c 704 803 1054.72 305.05 3.46 1000000 0 930.61/930.96 c 631 900 1017.15 310.70 3.27 1000000 0 934.11/934.40 c 667 854 1025.15 332.99 3.08 1000000 0 937.51/937.86 c 642 840 997.21 333.18 2.99 1000000 0 941.01/941.32 c 662 737 1016.54 308.27 3.30 1000000 0 944.41/944.77 c 654 756 1015.46 305.61 3.32 1000000 0 947.91/948.23 c 645 767 1015.60 345.81 2.94 1000000 0 951.40/951.70 c 666 881 1041.64 339.66 3.07 1000000 0 954.80/955.16 c 696 849 1026.89 307.64 3.34 1000000 0 958.30/958.64 c 686 837 1074.06 309.41 3.47 1000000 0 961.70/962.09 c 682 813 1042.46 324.45 3.21 1000000 0 965.20/965.58 c 590 805 1005.24 330.59 3.04 1000000 0 968.71/969.02 c 690 878 1035.99 344.49 3.01 1000000 0 972.11/972.47 c 647 714 1022.24 342.24 2.99 1000000 0 975.60/975.96 c 641 929 1033.94 319.36 3.24 1000000 0 979.10/979.41 c 677 891 1022.49 326.30 3.13 1000000 0 982.49/982.88 c 625 907 1000.08 299.40 3.34 1000000 0 985.99/986.36 c 691 841 1045.81 328.41 3.18 1000000 0 989.49/989.83 c 641 793 1015.76 370.55 2.74 1000000 0 992.90/993.29 c 686 700 1040.08 324.24 3.21 1000000 0 996.39/996.75 c 633 804 1015.57 311.67 3.26 1000000 0 999.79/1000.18 c 674 886 1012.40 339.99 2.98 1000000 0 1003.29/1003.64 c 694 844 1028.15 309.26 3.32 1000000 0 1006.69/1007.08 c 677 865 1016.12 327.73 3.10 1000000 0 1010.19/1010.52 c 677 847 1018.88 308.67 3.30 1000000 0 1013.58/1013.98 c 668 839 1050.75 299.25 3.51 1000000 0 1017.09/1017.44 c 650 840 1038.44 297.19 3.49 1000000 0 1020.58/1020.90 c 621 822 1013.90 326.98 3.10 1000000 0 1023.98/1024.36 c 633 724 1013.57 329.13 3.08 1000000 0 1027.48/1027.80 c 581 898 1013.35 340.43 2.98 1000000 0 1030.88/1031.27 c 609 795 997.17 329.82 3.02 1000000 0 1034.38/1034.74 c 687 806 1034.15 338.48 3.06 1000000 0 1037.78/1038.16 c 658 771 1015.07 321.89 3.15 1000000 0 1041.28/1041.63 c 646 811 1016.08 348.25 2.92 1000000 0 1044.77/1045.10 c 697 927 1053.96 313.46 3.36 1000000 0 1048.17/1048.55 c 687 790 1008.78 305.06 3.31 1000000 0 1051.67/1052.00 c 668 846 1035.61 325.15 3.19 1000000 0 1055.07/1055.46 c 668 866 1033.90 317.62 3.26 1000000 0 1058.57/1058.92 c 668 814 1035.54 315.17 3.29 1000000 0 1061.97/1062.38 c 656 836 1039.55 331.71 3.13 1000000 0 1065.48/1065.86 c 619 816 1007.62 345.98 2.91 1000000 0 1068.97/1069.32 c 655 750 1027.31 321.68 3.19 1000000 0 1072.37/1072.77 c 660 854 1033.99 337.93 3.06 1000000 0 1075.87/1076.23 c 647 789 995.97 331.05 3.01 1000000 0 1079.26/1079.69 c 662 889 1012.96 307.38 3.30 1000000 0 1082.76/1083.15 c 652 847 1013.99 306.50 3.31 1000000 0 1086.16/1086.60 c 680 819 1045.82 318.94 3.28 1000000 0 1089.67/1090.06 c 713 947 1042.67 305.27 3.42 1000000 0 1093.16/1093.51 c 621 831 1014.33 357.85 2.83 1000000 0 1096.66/1097.00 c 673 812 1034.22 308.21 3.36 1000000 0 1100.06/1100.48 c 681 779 1042.39 333.29 3.13 1000000 0 1103.56/1103.92 c 656 775 1013.28 309.47 3.27 1000000 0 1106.96/1107.37 c 655 690 1013.56 336.78 3.01 1000000 0 1110.46/1110.86 c 641 871 1036.96 344.95 3.01 1000000 0 1113.96/1114.31 c 625 860 987.61 325.53 3.03 1000000 0 1117.35/1117.76 c 649 872 1024.00 314.23 3.26 1000000 0 1120.85/1121.22 c 682 906 1034.75 329.03 3.14 1000000 0 1124.35/1124.71 c 729 922 1098.70 359.01 3.06 1000000 0 1127.75/1128.19 c 639 864 983.22 343.20 2.86 1000000 0 1131.25/1131.64 c 642 715 994.76 349.98 2.84 1000000 0 1134.76/1135.10 c 689 888 1060.66 337.79 3.14 1000000 0 1138.15/1138.58 c 694 809 1052.09 335.41 3.14 1000000 0 1141.65/1142.01 c 652 942 997.33 286.28 3.48 1000000 0 1145.04/1145.47 c 640 836 1010.49 320.76 3.15 1000000 0 1148.54/1148.91 c 680 822 1050.69 326.34 3.22 1000000 0 1151.94/1152.38 c 643 808 1047.07 345.58 3.03 1000000 0 1155.44/1155.87 c 655 787 1054.62 338.52 3.12 1000000 0 1158.95/1159.33 c 699 911 1035.22 310.10 3.34 1000000 0 1162.35/1162.78 c 604 722 991.69 339.75 2.92 1000000 0 1165.84/1166.23 c 660 768 1019.63 311.00 3.28 1000000 0 1169.34/1169.70 c 640 759 1014.94 335.58 3.02 1000000 0 1172.74/1173.15 c 650 787 1025.81 320.77 3.20 1000000 0 1176.24/1176.63 c 709 879 1082.04 336.30 3.22 1000000 0 1179.63/1180.08 c 669 908 1036.71 329.32 3.15 1000000 0 1183.14/1183.52 c 601 785 982.87 330.95 2.97 1000000 0 1186.54/1186.99 c 620 776 995.84 323.15 3.08 1000000 0 1190.03/1190.46 c 641 895 969.88 308.13 3.15 1000000 0 1193.53/1193.90 c 652 873 1016.25 340.05 2.99 1000000 0 1196.93/1197.39 c 608 806 1024.17 347.85 2.94 1000000 0 1200.43/1200.86 c 712 937 1022.59 302.05 3.39 1000000 0 1203.93/1204.33 c 688 835 1051.52 335.23 3.14 1000000 0 1207.33/1207.79 c 634 767 992.02 342.04 2.90 1000000 0 1210.83/1211.29 c 644 823 1040.05 315.02 3.30 1000000 0 1214.33/1214.78 c 605 903 991.25 334.44 2.96 1000000 0 1217.82/1218.22 c 655 812 1013.48 324.56 3.12 1000000 0 1221.22/1221.68 c 645 847 1039.21 324.77 3.20 1000000 0 1224.72/1225.12 c 627 717 1020.20 330.13 3.09 1000000 0 1228.23/1228.60 c 663 839 1061.60 365.38 2.91 1000000 0 1231.63/1232.06 c 695 888 1010.71 312.75 3.23 1000000 0 1235.12/1235.54 c 700 825 1068.09 319.56 3.34 1000000 0 1238.52/1238.96 c 669 834 1016.92 315.40 3.22 1000000 0 1242.02/1242.40 c 674 881 1052.05 327.06 3.22 1000000 0 1245.41/1245.83 c 676 876 1014.45 339.58 2.99 1000000 0 1248.91/1249.31 c 689 898 1029.12 324.81 3.17 1000000 0 1252.31/1252.77 c 645 840 1031.83 286.25 3.60 1000000 0 1255.82/1256.21 c 636 854 1054.13 308.70 3.41 1000000 0 1259.21/1259.68 c 677 857 1031.09 322.63 3.20 1000000 0 1262.71/1263.11 c 650 908 991.61 310.08 3.20 1000000 0 1266.11/1266.59 c 688 786 1055.74 331.21 3.19 1000000 0 1269.61/1270.07 c 650 778 1025.59 336.28 3.05 1000000 0 1273.11/1273.53 c 647 870 1023.49 345.19 2.97 1000000 0 1276.61/1277.02 c 636 870 1031.42 337.11 3.06 1000000 0 1280.10/1280.50 c 690 785 1033.12 330.23 3.13 1000000 0 1283.50/1283.97 c 624 683 1026.80 311.90 3.29 1000000 0 1287.00/1287.43 c 601 839 1034.13 335.76 3.08 1000000 0 1290.40/1290.89 c 677 907 1034.88 329.16 3.14 1000000 0 1293.90/1294.33 c 640 813 1025.28 339.62 3.02 1000000 0 1297.40/1297.82 c 677 862 1016.42 336.14 3.02 1000000 0 1300.91/1301.30 c 694 780 1013.90 325.04 3.12 1000000 0 1304.30/1304.76 c 645 774 1003.73 331.84 3.02 1000000 0 1307.80/1308.22 c 662 851 1026.54 335.71 3.06 1000000 0 1311.19/1311.66 c 649 749 1037.73 312.08 3.33 1000000 0 1314.69/1315.12 c 702 846 1037.60 295.40 3.51 1000000 0 1318.19/1318.60 c 659 804 1040.61 354.82 2.93 1000000 0 1321.59/1322.06 c 640 755 1016.31 350.73 2.90 1000000 0 1325.10/1325.51 c 647 821 983.56 302.36 3.25 1000000 0 1328.49/1328.95 c 607 775 1023.58 353.42 2.90 1000000 0 1331.99/1332.43 c 646 728 1038.57 347.03 2.99 1000000 0 1335.49/1335.92 c 669 935 1032.36 345.06 2.99 1000000 0 1338.89/1339.37 c 661 900 1022.28 337.27 3.03 1000000 0 1342.39/1342.83 c 648 849 1003.31 362.20 2.77 1000000 0 1345.79/1346.30 c 659 817 1069.70 324.83 3.29 1000000 0 1349.29/1349.75 c 685 867 1046.61 320.13 3.27 1000000 0 1352.78/1353.21 c 632 813 1037.51 307.33 3.38 1000000 0 1356.18/1356.68 c 645 726 1007.99 313.70 3.21 1000000 0 1359.68/1360.15 c 721 874 1074.60 331.51 3.24 1000000 0 1363.18/1363.62 c 634 793 1020.64 341.30 2.99 1000000 0 1366.58/1367.06 c 712 949 1024.31 304.43 3.36 1000000 0 1369.98/1370.48 c 676 832 1001.42 308.96 3.24 1000000 0 1373.49/1373.97 c 645 804 1037.11 343.14 3.02 1000000 0 1376.98/1377.44 c 644 955 1032.64 344.32 3.00 1000000 0 1380.48/1380.90 c 631 871 1046.28 340.05 3.08 1000000 0 1383.87/1384.37 c 652 799 1036.45 322.54 3.21 1000000 0 1387.37/1387.85 c 580 803 1005.43 328.09 3.06 1000000 0 1390.87/1391.32 c 637 787 1045.55 329.94 3.17 1000000 0 1394.28/1394.79 c 724 843 1052.53 315.27 3.34 1000000 0 1397.77/1398.24 c 701 825 1041.72 321.85 3.24 1000000 0 1401.17/1401.70 c 638 709 1017.95 299.95 3.39 1000000 0 1404.67/1405.17 c 618 902 1006.19 344.68 2.92 1000000 0 1408.17/1408.64 c 669 807 1036.67 330.86 3.13 1000000 0 1411.67/1412.12 c 635 801 1020.38 348.18 2.93 1000000 0 1415.07/1415.59 c 694 825 1073.68 338.74 3.17 1000000 0 1418.57/1419.05 c 696 752 1048.51 279.47 3.75 1000000 0 1422.06/1422.50 c 669 818 1028.95 320.11 3.21 1000000 0 1425.46/1425.99 c 682 888 1056.35 316.67 3.34 1000000 0 1428.96/1429.43 c 647 800 990.92 328.69 3.01 1000000 0 1432.36/1432.87 c 651 766 1025.97 328.34 3.12 1000000 0 1435.86/1436.32 c 625 774 1022.80 322.26 3.17 1000000 0 1439.26/1439.80 c 688 827 1042.84 326.58 3.19 1000000 0 1442.76/1443.25 c 670 832 1061.74 315.70 3.36 1000000 0 1446.26/1446.70 c 691 835 1074.59 317.16 3.39 1000000 0 1449.66/1450.11 c 666 818 1002.69 309.81 3.24 1000000 0 1453.06/1453.58 c 654 836 1035.00 339.39 3.05 1000000 0 1456.55/1457.03 c 681 876 1040.55 313.54 3.32 1000000 0 1460.05/1460.50 c 646 791 1039.22 341.23 3.05 1000000 0 1463.45/1463.95 c 644 853 1022.72 355.55 2.88 1000000 0 1466.96/1467.44 c 636 733 1020.84 332.40 3.07 1000000 0 1470.45/1470.91 c 632 808 1028.95 320.89 3.21 1000000 0 1473.85/1474.35 c 650 765 1019.59 340.42 3.00 1000000 0 1477.25/1477.79 c 668 766 1050.42 349.10 3.01 1000000 0 1480.75/1481.26 c 667 833 1037.20 323.83 3.20 1000000 0 1484.24/1484.73 c 645 760 1004.72 313.07 3.21 1000000 0 1487.64/1488.17 c 620 847 1013.57 343.30 2.95 1000000 0 1491.15/1491.62 c 686 793 1028.95 338.70 3.04 1000000 0 1494.54/1495.09 c 669 851 1052.86 331.20 3.18 1000000 0 1498.04/1498.54 c 628 771 1011.08 351.95 2.87 1000000 0 1501.54/1502.03 c 629 845 1041.26 343.71 3.03 1000000 0 1504.94/1505.48 c 655 926 1025.34 353.49 2.90 1000000 0 1508.44/1508.93 c 637 826 959.17 322.46 2.97 1000000 0 1511.84/1512.39 c 649 791 1028.41 350.50 2.93 1000000 0 1515.34/1515.83 c 710 940 1032.82 301.82 3.42 1000000 0 1518.73/1519.30 c 609 714 1008.80 347.00 2.91 1000000 0 1522.23/1522.76 c 645 885 1051.59 335.48 3.13 1000000 0 1525.73/1526.22 c 641 830 1018.74 339.57 3.00 1000000 0 1529.13/1529.66 c 658 789 1033.63 307.43 3.36 1000000 0 1532.63/1533.10 c 643 783 1022.85 322.49 3.17 1000000 0 1536.03/1536.54 c 650 703 1019.89 309.18 3.30 1000000 0 1539.53/1540.01 c 687 843 1032.18 313.71 3.29 1000000 0 1542.93/1543.44 c 682 952 1015.07 305.07 3.33 1000000 0 1546.32/1546.89 c 646 824 1028.98 306.10 3.36 1000000 0 1549.82/1550.36 c 621 828 1019.61 308.35 3.31 1000000 0 1553.32/1553.80 c 681 850 1046.38 334.56 3.13 1000000 0 1556.72/1557.29 c 635 777 1004.70 341.57 2.94 1000000 0 1560.22/1560.75 c 700 840 1032.79 334.52 3.09 1000000 0 1563.73/1564.22 c 680 811 1015.07 317.91 3.19 1000000 0 1567.12/1567.67 c 647 819 993.23 320.74 3.10 1000000 0 1570.62/1571.13 c 664 769 1031.16 367.06 2.81 1000000 0 1574.12/1574.60 c 661 864 1013.28 314.38 3.22 1000000 0 1577.51/1578.02 c 628 882 988.96 321.36 3.08 1000000 0 1580.91/1581.46 c 623 713 1018.77 339.54 3.00 1000000 0 1584.41/1584.92 c 563 634 1029.96 335.96 3.07 1000000 0 1587.81/1588.38 c 635 797 989.29 326.84 3.03 1000000 0 1591.31/1591.85 c 684 734 1054.69 328.37 3.21 1000000 0 1594.80/1595.31 c 664 828 1056.34 317.29 3.33 1000000 0 1598.20/1598.77 c 650 831 1006.86 335.19 3.00 1000000 0 1601.70/1602.23 c 633 835 1030.36 329.51 3.13 1000000 0 1605.20/1605.73 c 708 812 1069.07 302.98 3.53 1000000 0 1608.60/1609.18 c 620 807 1004.96 355.97 2.82 1000000 0 1612.11/1612.62 c 661 823 1017.44 336.67 3.02 1000000 0 1615.50/1616.07 c 656 838 1012.63 287.40 3.52 1000000 0 1619.00/1619.52 c 631 773 1024.06 349.21 2.93 1000000 0 1622.40/1622.96 c 637 771 1017.65 328.26 3.10 1000000 0 1625.89/1626.41 c 641 852 996.19 326.37 3.05 1000000 0 1629.29/1629.86 c 611 831 977.34 339.53 2.88 1000000 0 1632.69/1633.29 c 662 764 987.18 302.06 3.27 1000000 0 1636.20/1636.77 c 602 821 999.26 328.03 3.05 1000000 0 1639.69/1640.23 c 680 817 1056.48 317.41 3.33 1000000 0 1643.09/1643.68 c 590 827 987.75 320.06 3.09 1000000 0 1646.59/1647.15 c 668 801 1025.64 312.41 3.28 1000000 0 1650.09/1650.64 c 670 809 1065.87 305.44 3.49 1000000 0 1653.49/1654.09 c 619 911 1027.51 331.31 3.10 1000000 0 1656.98/1657.56 c 671 959 1050.65 346.39 3.03 1000000 0 1660.49/1661.02 c 666 989 1000.63 303.34 3.30 1000000 0 1663.88/1664.49 c 638 737 1041.86 331.06 3.15 1000000 0 1667.38/1667.96 c 648 846 1052.11 345.38 3.05 1000000 0 1670.88/1671.41 c 637 807 1039.70 327.49 3.17 1000000 0 1674.28/1674.84 c 669 938 1028.71 324.54 3.17 1000000 0 1677.78/1678.31 c 668 922 1036.17 320.54 3.23 1000000 0 1681.18/1681.76 c 651 740 1007.04 352.66 2.86 1000000 0 1684.68/1685.23 c 630 863 1004.75 332.39 3.02 1000000 0 1688.08/1688.68 c 692 811 1033.01 325.29 3.18 1000000 0 1691.57/1692.13 c 635 775 1011.63 340.69 2.97 1000000 0 1694.97/1695.60 c 664 884 1011.91 324.43 3.12 1000000 0 1698.47/1699.05 c 670 777 1052.19 339.75 3.10 1000000 0 1701.97/1702.52 c 691 806 1049.78 322.74 3.25 1000000 0 1705.36/1705.97 c 676 754 1039.50 345.61 3.01 1000000 0 1708.87/1709.45 c 645 900 1017.98 317.57 3.21 1000000 0 1712.36/1712.92 c 625 717 1012.97 319.28 3.17 1000000 0 1715.86/1716.40 c 697 852 1033.94 320.16 3.23 1000000 0 1719.27/1719.83 c 658 795 1007.06 300.32 3.35 1000000 0 1722.67/1723.28 c 688 923 1054.63 346.98 3.04 1000000 0 1726.17/1726.74 c 683 839 1003.30 307.70 3.26 1000000 0 1729.57/1730.19 c 638 863 1003.26 325.49 3.08 1000000 0 1733.07/1733.62 c 711 859 1026.60 326.13 3.15 1000000 0 1736.46/1737.09 c 640 798 1012.48 354.70 2.85 1000000 0 1739.96/1740.53 c 661 850 1019.99 309.20 3.30 1000000 0 1743.36/1743.99 c 676 759 1052.15 329.73 3.19 1000000 0 1746.86/1747.44 c 685 869 1042.66 297.34 3.51 1000000 0 1750.26/1750.88 c 662 767 1026.64 317.52 3.23 1000000 0 1753.76/1754.35 c 678 907 1025.24 326.57 3.14 1000000 0 1757.26/1757.82 c 666 761 1045.77 335.22 3.12 1000000 0 1760.66/1761.26 c 613 795 1003.48 315.55 3.18 1000000 0 1764.06/1764.68 c 576 752 981.99 333.19 2.95 1000000 0 1767.56/1768.16 c 644 839 1031.15 346.38 2.98 1000000 0 1771.05/1771.63 c 656 758 1024.71 333.63 3.07 1000000 0 1774.45/1775.09 c 663 796 1032.75 327.20 3.16 1000000 0 1777.95/1778.55 c 661 807 1007.48 306.82 3.28 1000000 0 1781.46/1782.01 c 616 708 1023.96 344.80 2.97 1000000 0 1784.85/1785.48 c 651 813 1014.65 353.46 2.87 1000000 0 1788.35/1788.94 c 655 811 1009.34 309.05 3.27 1000000 0 1791.75/1792.37 c 638 775 1028.03 321.18 3.20 1000000 0 1795.25/1795.83 c 670 791 1042.43 354.91 2.94 1000000 0 1798.64/1799.29 c 628 866 998.14 338.43 2.95 1000000 0 1800.06/1800.61 HOME/run: line 2: 2453 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-2669876-1276610890/watcher-2669876-1276610890 -o /tmp/evaluation-result-2669876-1276610890/solver-2669876-1276610890 -C 1800 -W 2000 -M 1800 run HOME/instance-2669876-1276610890.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 2452 /proc/meminfo: memFree=1821532/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [startup+0.0287111 s] /proc/loadavg: 0.92 0.98 0.99 3/106 2452 /proc/meminfo: memFree=1821532/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101718 s] /proc/loadavg: 0.92 0.98 0.99 3/106 2452 /proc/meminfo: memFree=1821532/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.30174 s] /proc/loadavg: 0.92 0.98 0.99 3/106 2452 /proc/meminfo: memFree=1821532/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701784 s] /proc/loadavg: 0.92 0.98 0.99 3/106 2452 /proc/meminfo: memFree=1821532/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50087 s] /proc/loadavg: 0.93 0.98 0.99 2/108 2454 /proc/meminfo: memFree=1814960/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=1.48 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1689 0 0 0 148 0 0 0 25 0 1 0 36692720 41422848 1618 1992294400 134512640 135071400 4287460256 18446744073709551615 134526164 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1618 62 137 0 9974 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 49152 [startup+3.10105 s] /proc/loadavg: 0.93 0.98 0.99 2/108 2454 /proc/meminfo: memFree=1814712/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=3.08 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1689 0 0 0 308 0 0 0 25 0 1 0 36692720 41422848 1618 1992294400 134512640 135071400 4287460256 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1618 62 137 0 9974 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 49152 [startup+6.30141 s] /proc/loadavg: 0.93 0.98 0.99 2/108 2454 /proc/meminfo: memFree=1814588/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=6.28 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1697 0 0 0 628 0 0 0 25 0 1 0 36692720 41422848 1626 1992294400 134512640 135071400 4287460256 18446744073709551615 134525915 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1626 69 137 0 9974 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 49152 [startup+12.7011 s] /proc/loadavg: 0.94 0.98 0.99 2/108 2454 /proc/meminfo: memFree=1814340/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=12.68 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1697 0 0 0 1268 0 0 0 25 0 1 0 36692720 41422848 1626 1992294400 134512640 135071400 4287460256 18446744073709551615 134526690 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1626 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.99 2/108 2456 /proc/meminfo: memFree=1814340/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=25.48 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1697 0 0 0 2548 0 0 0 25 0 1 0 36692720 41422848 1626 1992294400 134512640 135071400 4287460256 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1626 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/108 2456 /proc/meminfo: memFree=1814340/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=51.07 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1697 0 0 0 5107 0 0 0 25 0 1 0 36692720 41422848 1626 1992294400 134512640 135071400 4287460256 18446744073709551615 134526098 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1626 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 2458 /proc/meminfo: memFree=1814216/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=102.26 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1697 0 0 0 10226 0 0 0 25 0 1 0 36692720 41422848 1626 1992294400 134512640 135071400 4287460256 18446744073709551615 134526505 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1626 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 2458 /proc/meminfo: memFree=1813968/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=162.23 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1697 0 0 0 16223 0 0 0 25 0 1 0 36692720 41422848 1626 1992294400 134512640 135071400 4287460256 18446744073709551615 134525790 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1626 69 137 0 9974 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 2460 /proc/meminfo: memFree=1813968/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=222.21 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1697 0 0 0 22221 0 0 0 25 0 1 0 36692720 41422848 1626 1992294400 134512640 135071400 4287460256 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1626 69 137 0 9974 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 2462 /proc/meminfo: memFree=1813844/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=282.21 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1697 0 0 0 28220 1 0 0 25 0 1 0 36692720 41422848 1626 1992294400 134512640 135071400 4287460256 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1626 69 137 0 9974 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 49152 [startup+342.302 s] /proc/loadavg: 1.07 1.00 1.00 2/108 2467 /proc/meminfo: memFree=1813100/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=342.19 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1697 0 0 0 34218 1 0 0 25 0 1 0 36692720 41422848 1626 1992294400 134512640 135071400 4287460256 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1626 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.02 1.00 1.00 2/108 2469 /proc/meminfo: memFree=1813100/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=402.17 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1697 0 0 0 40216 1 0 0 25 0 1 0 36692720 41422848 1626 1992294400 134512640 135071400 4287460256 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1626 69 137 0 9974 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=1061.97 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1698 0 0 0 106196 1 0 0 25 0 1 0 36692720 41422848 1627 1992294400 134512640 135071400 4287460256 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1627 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 2487 /proc/meminfo: memFree=1812232/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=1121.95 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1698 0 0 0 112194 1 0 0 25 0 1 0 36692720 41422848 1627 1992294400 134512640 135071400 4287460256 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1627 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 2489 /proc/meminfo: memFree=1811984/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=1181.93 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1698 0 0 0 118192 1 0 0 25 0 1 0 36692720 41422848 1627 1992294400 134512640 135071400 4287460256 18446744073709551615 134526553 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1627 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 2491 /proc/meminfo: memFree=1811736/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=1241.92 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1698 0 0 0 124191 1 0 0 25 0 1 0 36692720 41422848 1627 1992294400 134512640 135071400 4287460256 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1627 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 2493 /proc/meminfo: memFree=1811488/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=1301.9 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1698 0 0 0 130189 1 0 0 25 0 1 0 36692720 41422848 1627 1992294400 134512640 135071400 4287460256 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1627 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 2493 /proc/meminfo: memFree=1811612/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=1361.88 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1698 0 0 0 136187 1 0 0 25 0 1 0 36692720 41422848 1627 1992294400 134512640 135071400 4287460256 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1627 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 2495 /proc/meminfo: memFree=1811612/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=1421.87 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1698 0 0 0 142186 1 0 0 25 0 1 0 36692720 41422848 1627 1992294400 134512640 135071400 4287460256 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1627 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 2497 /proc/meminfo: memFree=1811488/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=1481.84 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1698 0 0 0 148183 1 0 0 25 0 1 0 36692720 41422848 1627 1992294400 134512640 135071400 4287460256 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1627 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 2499 /proc/meminfo: memFree=1811488/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=1541.83 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1698 0 0 0 154182 1 0 0 25 0 1 0 36692720 41422848 1627 1992294400 134512640 135071400 4287460256 18446744073709551615 134525931 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1627 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 2501 /proc/meminfo: memFree=1811364/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=1601.8 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1698 0 0 0 160179 1 0 0 25 0 1 0 36692720 41422848 1627 1992294400 134512640 135071400 4287460256 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1627 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 2501 /proc/meminfo: memFree=1811240/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=1661.78 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1698 0 0 0 166177 1 0 0 25 0 1 0 36692720 41422848 1627 1992294400 134512640 135071400 4287460256 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1627 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 2503 /proc/meminfo: memFree=1811116/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=1721.77 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1698 0 0 0 172175 2 0 0 25 0 1 0 36692720 41422848 1627 1992294400 134512640 135071400 4287460256 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1627 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 2505 /proc/meminfo: memFree=1810744/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=1781.75 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1698 0 0 0 178173 2 0 0 25 0 1 0 36692720 41422848 1627 1992294400 134512640 135071400 4287460256 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1627 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.75 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 2505 /proc/meminfo: memFree=1810868/2059040 swapFree=4140532/4192956 [pid=2452] ppid=2450 vsize=8700 CPUtime=0 /proc/2452/stat : 2452 (run) S 2450 2452 2427 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36692720 8908800 244 1992294400 4194304 4922060 140735693759872 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2452/statm: 2175 244 204 178 0 68 0 [pid=2453] ppid=2452 vsize=40452 CPUtime=1800.06 /proc/2453/stat : 2453 (PB-wave) R 2452 2452 2427 0 -1 4202496 1698 0 0 0 180004 2 0 0 25 0 1 0 36692720 41422848 1627 1992294400 134512640 135071400 4287460256 18446744073709551615 134526851 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/2453/statm: 10113 1627 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.62 CPU time (s): 1800.07 CPU user time (s): 1800.04 CPU system time (s): 0.023996 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.04 system time used= 0.023996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2071 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= 4810 runsolver used 3.02654 second user time and 8.48771 second system time The end
Begin job on node005 at 2010-06-15 16:08:10 IDJOB=2669876 IDBENCH=1472 IDSOLVER=1171 FILE ID=node005/2669876-1276610890 PBS_JOBID= 11172290 Free space on /tmp= 62564 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669876-1276610890/watcher-2669876-1276610890 -o /tmp/evaluation-result-2669876-1276610890/solver-2669876-1276610890 -C 1800 -W 2000 -M 1800 run HOME/instance-2669876-1276610890.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f3a2fcfec289719ed724c9b755cd6805 RANDOM SEED=334661983 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.246 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.49 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.246 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1822052 kB Buffers: 57708 kB Cached: 97296 kB SwapCached: 6800 kB Active: 90840 kB Inactive: 78196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1822052 kB SwapTotal: 4192956 kB SwapFree: 4140532 kB Dirty: 2624 kB Writeback: 0 kB AnonPages: 11520 kB Mapped: 13104 kB Slab: 46204 kB PageTables: 4088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182432 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= 62564 MiB End job on node005 at 2010-06-15 16:38:11