| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB-wave alpha 2 | ? (TO) | 1800.06 | 1800.62 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb |
| MD5SUM | 6d44efaff34237725f88a3d0685c8f91 |
| 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 | 30.4184 |
| 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 | 20605 |
| Total number of constraints | 59851 |
| Number of constraints which are clauses | 58675 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1176 |
| 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 | 41 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 134 |
| 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.15 c PB-wave - v2 0.00/0.15 c command line = ./PB-wave 0.00/0.15 c seed = 78606071 0.00/0.15 c cutoff = 1000000 0.00/0.15 c tries = 1000000 0.00/0.15 c heuristic = c best, noise 50 / 100 0.00/0.15 #var 20605 #con 59851 0.00/0.15 mode is SAT 0.00/0.15 c tail starts after flip = 61815 0.00/0.15 c numatom = 20605, numclause = 59851, numliterals = 149369 0.00/0.15 c wff read in 0.00/0.15 c 0.00/0.15 c lowest final avg noise noise total avg mean mean 0.00/0.15 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.15 c this this this this this this success success until std 0.00/0.15 c try try try try try try rate tries assign dev 0.00/0.15 c 3.38/3.42 c 692 833 1155.87 410.21 2.82 1000000 0 6.59/6.66 c 644 735 1187.76 448.03 2.65 1000000 0 9.79/9.90 c 661 774 1170.72 433.26 2.70 1000000 0 13.09/13.15 c 638 756 1161.93 455.60 2.55 1000000 0 16.28/16.37 c 729 925 1145.73 389.19 2.94 1000000 0 19.58/19.61 c 703 908 1173.28 394.40 2.97 1000000 0 22.78/22.88 c 713 936 1181.20 443.78 2.66 1000000 0 26.08/26.17 c 676 785 1194.78 470.92 2.54 1000000 0 29.38/29.45 c 676 855 1186.66 421.27 2.82 1000000 0 32.67/32.71 c 730 864 1180.31 437.22 2.70 1000000 0 35.87/35.95 c 702 1042 1162.79 412.84 2.82 1000000 0 39.17/39.25 c 707 774 1244.52 439.97 2.83 1000000 0 42.47/42.55 c 714 909 1218.20 419.49 2.90 1000000 0 45.77/45.82 c 705 804 1201.94 437.13 2.75 1000000 0 48.97/49.06 c 658 999 1164.23 398.11 2.92 1000000 0 52.27/52.33 c 713 906 1216.84 447.55 2.72 1000000 0 55.57/55.60 c 697 907 1184.14 400.30 2.96 1000000 0 58.77/58.83 c 655 759 1197.51 404.29 2.96 1000000 0 61.97/62.09 c 728 860 1194.29 433.46 2.76 1000000 0 65.27/65.33 c 684 857 1150.70 407.98 2.82 1000000 0 68.56/68.62 c 790 877 1196.53 395.17 3.03 1000000 0 71.86/71.90 c 730 958 1178.61 426.56 2.76 1000000 0 75.06/75.13 c 620 889 1144.02 452.85 2.53 1000000 0 78.26/78.38 c 695 893 1184.75 430.29 2.75 1000000 0 81.56/81.63 c 719 766 1225.74 418.98 2.93 1000000 0 84.86/84.90 c 735 815 1188.18 426.81 2.78 1000000 0 88.06/88.16 c 777 860 1185.58 399.88 2.96 1000000 0 91.36/91.43 c 723 971 1203.84 417.82 2.88 1000000 0 94.56/94.67 c 686 918 1135.07 431.58 2.63 1000000 0 97.86/97.95 c 705 853 1191.32 437.45 2.72 1000000 0 101.16/101.21 c 626 825 1137.88 417.23 2.73 1000000 0 104.36/104.46 c 703 803 1209.62 456.24 2.65 1000000 0 107.66/107.70 c 687 802 1183.82 416.71 2.84 1000000 0 110.85/110.91 c 615 778 1125.20 409.77 2.75 1000000 0 114.05/114.17 c 676 928 1141.42 408.17 2.80 1000000 0 117.35/117.41 c 689 868 1183.25 418.81 2.83 1000000 0 120.55/120.67 c 662 878 1193.35 444.91 2.68 1000000 0 123.85/123.91 c 686 794 1166.88 426.95 2.73 1000000 0 127.05/127.18 c 740 842 1197.74 437.67 2.74 1000000 0 130.35/130.47 c 735 993 1219.98 419.75 2.91 1000000 0 133.64/133.72 c 645 910 1180.96 401.96 2.94 1000000 0 136.94/137.01 c 744 849 1208.75 415.31 2.91 1000000 0 140.14/140.26 c 673 982 1140.95 387.68 2.94 1000000 0 143.44/143.56 c 692 818 1227.39 421.60 2.91 1000000 0 146.74/146.82 c 750 811 1201.34 409.80 2.93 1000000 0 149.94/150.03 c 694 843 1136.90 381.40 2.98 1000000 0 153.24/153.30 c 680 901 1183.32 408.49 2.90 1000000 0 156.44/156.57 c 680 834 1212.32 421.92 2.87 1000000 0 159.74/159.82 c 687 901 1170.49 439.73 2.66 1000000 0 162.94/163.09 c 751 933 1200.62 404.87 2.97 1000000 0 166.23/166.30 c 685 774 1158.77 410.79 2.82 1000000 0 169.43/169.59 c 776 912 1222.17 403.28 3.03 1000000 0 172.73/172.81 c 627 988 1143.32 442.98 2.58 1000000 0 175.94/176.09 c 709 797 1184.31 422.42 2.80 1000000 0 179.24/179.38 c 687 917 1211.13 440.25 2.75 1000000 0 182.54/182.64 c 748 856 1193.87 433.48 2.75 1000000 0 185.84/185.93 c 782 947 1223.10 399.68 3.06 1000000 0 189.14/189.28 c 725 843 1260.76 441.85 2.85 1000000 0 192.43/192.51 c 603 771 1167.30 424.59 2.75 1000000 0 195.63/195.80 c 759 900 1188.72 402.45 2.95 1000000 0 198.93/199.06 c 725 915 1165.81 407.24 2.86 1000000 0 202.23/202.37 c 736 974 1245.27 410.87 3.03 1000000 0 205.53/205.64 c 743 797 1207.11 405.94 2.97 1000000 0 208.83/208.90 c 687 881 1149.38 419.63 2.74 1000000 0 212.13/212.20 c 723 830 1222.98 386.93 3.16 1000000 0 215.32/215.46 c 729 1080 1197.99 399.79 3.00 1000000 0 218.62/218.72 c 668 802 1173.81 440.45 2.67 1000000 0 221.82/221.99 c 709 880 1147.84 423.41 2.71 1000000 0 225.12/225.22 c 663 788 1113.76 397.86 2.80 1000000 0 228.32/228.45 c 647 902 1160.52 416.48 2.79 1000000 0 231.61/231.72 c 720 834 1213.56 387.67 3.13 1000000 0 234.81/234.96 c 734 922 1158.07 429.03 2.70 1000000 0 238.01/238.19 c 652 821 1164.62 428.22 2.72 1000000 0 241.31/241.45 c 702 940 1214.41 424.62 2.86 1000000 0 244.61/244.72 c 674 740 1160.31 443.99 2.61 1000000 0 247.81/247.99 c 646 891 1159.11 431.44 2.69 1000000 0 251.11/251.26 c 694 995 1205.35 409.19 2.95 1000000 0 254.41/254.56 c 714 962 1203.08 423.28 2.84 1000000 0 257.71/257.82 c 755 939 1222.22 432.48 2.83 1000000 0 260.91/261.08 c 716 853 1179.59 419.04 2.81 1000000 0 264.20/264.36 c 716 859 1192.06 385.39 3.09 1000000 0 267.41/267.57 c 633 936 1173.20 420.43 2.79 1000000 0 270.70/270.82 c 708 853 1171.82 406.67 2.88 1000000 0 273.90/274.08 c 714 970 1189.44 445.43 2.67 1000000 0 277.20/277.35 c 756 852 1203.42 364.93 3.30 1000000 0 280.50/280.62 c 718 966 1187.81 391.52 3.03 1000000 0 283.71/283.87 c 638 887 1175.13 428.64 2.74 1000000 0 287.01/287.14 c 744 944 1208.14 392.41 3.08 1000000 0 290.30/290.42 c 688 1015 1190.23 462.55 2.57 1000000 0 293.50/293.69 c 675 908 1188.16 441.49 2.69 1000000 0 296.80/296.98 c 716 986 1204.67 411.21 2.93 1000000 0 300.10/300.30 c 724 918 1226.88 420.69 2.92 1000000 0 303.40/303.58 c 722 879 1198.06 380.94 3.14 1000000 0 306.70/306.84 c 762 872 1170.31 404.06 2.90 1000000 0 310.00/310.12 c 653 1027 1154.75 411.37 2.81 1000000 0 313.19/313.40 c 646 862 1184.21 428.61 2.76 1000000 0 316.49/316.67 c 732 895 1181.93 446.91 2.64 1000000 0 319.79/319.97 c 747 848 1237.54 405.22 3.05 1000000 0 323.09/323.24 c 748 894 1190.24 438.16 2.72 1000000 0 326.29/326.49 c 731 928 1193.05 405.16 2.94 1000000 0 329.58/329.72 c 696 871 1165.04 400.67 2.91 1000000 0 332.88/333.01 c 684 981 1190.52 419.33 2.84 1000000 0 336.08/336.26 c 677 859 1174.19 419.67 2.80 1000000 0 339.38/339.54 c 702 813 1212.88 424.66 2.86 1000000 0 342.68/342.80 c 745 991 1189.05 422.32 2.82 1000000 0 345.88/346.07 c 659 913 1191.47 434.64 2.74 1000000 0 349.18/349.34 c 712 903 1161.30 444.77 2.61 1000000 0 352.38/352.58 c 754 949 1196.04 415.34 2.88 1000000 0 355.68/355.84 c 739 872 1190.08 395.48 3.01 1000000 0 358.98/359.14 c 698 884 1202.18 441.01 2.73 1000000 0 362.27/362.40 c 690 834 1148.81 449.85 2.55 1000000 0 365.47/365.66 c 664 936 1151.80 453.16 2.54 1000000 0 368.77/368.96 c 665 914 1236.01 440.49 2.81 1000000 0 372.07/372.23 c 661 745 1185.26 409.21 2.90 1000000 0 375.37/375.50 c 710 934 1179.78 437.01 2.70 1000000 0 378.67/378.81 c 762 851 1214.56 407.44 2.98 1000000 0 381.87/382.07 c 749 966 1216.68 426.52 2.85 1000000 0 385.17/385.33 c 679 764 1187.24 440.83 2.69 1000000 0 388.47/388.60 c 714 942 1201.33 380.45 3.16 1000000 0 391.66/391.84 c 759 992 1196.22 382.88 3.12 1000000 0 394.96/395.12 c 688 987 1192.90 424.68 2.81 1000000 0 398.16/398.38 c 702 907 1192.83 415.76 2.87 1000000 0 401.46/401.63 c 706 870 1165.35 441.03 2.64 1000000 0 404.67/404.89 c 696 942 1202.49 447.04 2.69 1000000 0 407.97/408.13 c 714 930 1190.19 401.20 2.97 1000000 0 411.17/411.38 c 735 1003 1218.38 457.85 2.66 1000000 0 414.46/414.62 c 711 833 1176.93 439.11 2.68 1000000 0 417.76/417.90 c 672 750 1198.06 421.33 2.84 1000000 0 421.06/421.22 c 779 883 1250.46 409.65 3.05 1000000 0 424.26/424.44 c 644 1022 1106.41 448.83 2.47 1000000 0 427.56/427.72 c 665 835 1198.22 462.91 2.59 1000000 0 430.85/431.03 c 732 952 1209.72 417.25 2.90 1000000 0 434.05/434.28 c 638 789 1159.57 421.22 2.75 1000000 0 437.35/437.53 c 687 886 1204.88 453.01 2.66 1000000 0 440.65/440.80 c 687 906 1150.52 430.75 2.67 1000000 0 443.95/444.10 c 696 870 1223.28 429.79 2.85 1000000 0 447.15/447.33 c 649 930 1150.82 427.06 2.69 1000000 0 450.35/450.59 c 707 961 1157.33 382.18 3.03 1000000 0 453.65/453.87 c 685 955 1177.35 451.95 2.61 1000000 0 456.95/457.14 c 751 941 1216.46 396.43 3.07 1000000 0 460.25/460.40 c 694 866 1192.78 446.14 2.67 1000000 0 463.54/463.74 c 758 866 1224.67 395.20 3.10 1000000 0 466.84/467.03 c 737 880 1208.52 434.76 2.78 1000000 0 470.03/470.28 c 700 916 1164.85 394.77 2.95 1000000 0 473.33/473.54 c 749 944 1167.89 396.55 2.95 1000000 0 476.53/476.79 c 682 799 1161.08 420.67 2.76 1000000 0 479.93/480.11 c 740 935 1240.87 433.24 2.86 1000000 0 483.13/483.38 c 766 909 1191.99 408.95 2.91 1000000 0 486.43/486.64 c 630 931 1126.53 436.33 2.58 1000000 0 489.73/489.92 c 724 906 1214.70 429.92 2.83 1000000 0 492.93/493.18 c 654 828 1155.52 414.63 2.79 1000000 0 496.23/496.49 c 762 859 1233.53 415.23 2.97 1000000 0 499.53/499.75 c 637 959 1150.51 433.00 2.66 1000000 0 502.83/503.00 c 744 983 1196.15 438.65 2.73 1000000 0 506.03/506.27 c 777 800 1213.98 378.74 3.21 1000000 0 509.32/509.54 c 685 894 1165.36 434.41 2.68 1000000 0 512.52/512.79 c 668 899 1159.01 453.54 2.56 1000000 0 515.82/516.07 c 649 839 1167.77 437.58 2.67 1000000 0 519.12/519.33 c 627 875 1130.40 412.63 2.74 1000000 0 522.33/522.54 c 677 921 1163.81 427.05 2.73 1000000 0 525.63/525.81 c 735 923 1186.09 397.37 2.98 1000000 0 528.93/529.12 c 685 915 1202.43 441.69 2.72 1000000 0 532.13/532.36 c 662 806 1143.89 447.02 2.56 1000000 0 535.42/535.61 c 694 810 1171.11 448.91 2.61 1000000 0 538.72/538.90 c 701 794 1179.08 450.00 2.62 1000000 0 542.02/542.21 c 677 804 1196.15 419.37 2.85 1000000 0 545.21/545.45 c 688 889 1176.44 415.99 2.83 1000000 0 548.51/548.70 c 698 907 1175.91 432.27 2.72 1000000 0 551.81/552.00 c 765 1029 1250.72 423.50 2.95 1000000 0 555.01/555.26 c 693 874 1157.20 471.02 2.46 1000000 0 558.31/558.56 c 749 990 1205.90 428.88 2.81 1000000 0 561.61/561.83 c 745 885 1204.50 411.52 2.93 1000000 0 564.91/565.13 c 724 875 1208.57 451.14 2.68 1000000 0 568.10/568.39 c 717 946 1177.61 390.42 3.02 1000000 0 571.41/571.69 c 732 851 1205.29 406.22 2.97 1000000 0 574.71/574.96 c 756 920 1214.41 414.99 2.93 1000000 0 578.01/578.21 c 731 825 1174.43 419.69 2.80 1000000 0 581.21/581.46 c 678 770 1142.12 446.62 2.56 1000000 0 584.51/584.75 c 679 874 1168.82 426.29 2.74 1000000 0 587.81/588.05 c 794 964 1215.04 382.19 3.18 1000000 0 591.11/591.35 c 711 794 1217.78 442.66 2.75 1000000 0 594.41/594.60 c 667 773 1157.97 437.40 2.65 1000000 0 597.61/597.90 c 720 854 1195.00 438.79 2.72 1000000 0 600.90/601.17 c 732 907 1192.89 418.82 2.85 1000000 0 604.20/604.46 c 770 953 1248.06 411.20 3.04 1000000 0 607.50/607.77 c 733 902 1215.86 422.26 2.88 1000000 0 610.80/611.03 c 711 873 1164.28 438.79 2.65 1000000 0 614.00/614.29 c 743 954 1191.85 428.80 2.78 1000000 0 617.30/617.59 c 742 937 1199.87 401.01 2.99 1000000 0 620.60/620.83 c 689 851 1172.90 427.78 2.74 1000000 0 623.80/624.08 c 738 930 1166.75 431.51 2.70 1000000 0 627.10/627.34 c 697 827 1212.82 452.81 2.68 1000000 0 630.39/630.61 c 740 942 1182.39 414.32 2.85 1000000 0 633.69/633.91 c 744 937 1205.96 380.19 3.17 1000000 0 636.89/637.19 c 696 931 1209.30 438.01 2.76 1000000 0 640.19/640.47 c 757 1007 1200.08 392.14 3.06 1000000 0 643.49/643.73 c 636 844 1153.39 406.87 2.83 1000000 0 646.79/647.02 c 764 953 1206.15 412.79 2.92 1000000 0 649.99/650.29 c 631 857 1197.59 457.28 2.62 1000000 0 653.29/653.56 c 709 936 1149.46 408.67 2.81 1000000 0 656.59/656.85 c 689 849 1202.79 401.64 2.99 1000000 0 659.89/660.13 c 682 909 1199.31 448.74 2.67 1000000 0 663.09/663.33 c 611 912 1143.54 432.98 2.64 1000000 0 666.39/666.61 c 775 905 1219.39 423.57 2.88 1000000 0 669.59/669.86 c 768 977 1194.47 402.58 2.97 1000000 0 672.78/673.09 c 721 873 1196.39 406.84 2.94 1000000 0 676.08/676.34 c 737 876 1186.18 409.86 2.89 1000000 0 679.38/679.64 c 674 901 1214.45 406.86 2.98 1000000 0 682.68/682.92 c 722 918 1180.86 425.77 2.77 1000000 0 685.88/686.17 c 738 818 1171.30 428.93 2.73 1000000 0 689.18/689.42 c 698 822 1146.23 400.42 2.86 1000000 0 692.37/692.66 c 759 941 1196.77 415.17 2.88 1000000 0 695.67/695.94 c 670 902 1190.67 403.57 2.95 1000000 0 698.97/699.22 c 692 771 1204.67 440.32 2.74 1000000 0 702.17/702.49 c 697 858 1177.48 423.91 2.78 1000000 0 705.47/705.75 c 736 930 1171.16 419.33 2.79 1000000 0 708.77/709.02 c 787 885 1196.02 378.61 3.16 1000000 0 712.07/712.34 c 762 871 1220.42 400.72 3.05 1000000 0 715.37/715.60 c 729 819 1168.73 433.20 2.70 1000000 0 718.57/718.86 c 698 992 1158.57 398.49 2.91 1000000 0 721.86/722.10 c 651 989 1152.88 440.23 2.62 1000000 0 725.06/725.35 c 718 948 1201.27 416.90 2.88 1000000 0 728.36/728.61 c 709 1020 1184.85 417.95 2.83 1000000 0 731.66/731.90 c 730 869 1230.27 416.59 2.95 1000000 0 734.86/735.16 c 657 879 1161.55 433.51 2.68 1000000 0 738.16/738.44 c 742 833 1165.02 403.87 2.88 1000000 0 741.36/741.66 c 706 935 1150.66 418.24 2.75 1000000 0 744.66/744.91 c 728 1011 1183.47 411.75 2.87 1000000 0 747.86/748.16 c 657 890 1157.78 428.43 2.70 1000000 0 751.16/751.44 c 673 843 1192.83 462.67 2.58 1000000 0 754.46/754.75 c 726 990 1227.74 405.90 3.02 1000000 0 757.75/758.02 c 714 928 1163.80 419.26 2.78 1000000 0 761.05/761.31 c 785 935 1213.79 395.28 3.07 1000000 0 764.26/764.54 c 710 896 1152.33 387.82 2.97 1000000 0 767.46/767.78 c 692 882 1183.46 415.28 2.85 1000000 0 770.76/771.04 c 752 910 1184.50 402.17 2.95 1000000 0 773.95/774.29 c 705 828 1184.13 429.91 2.75 1000000 0 777.25/777.58 c 821 883 1254.96 390.10 3.22 1000000 0 780.55/780.86 c 774 961 1212.19 397.06 3.05 1000000 0 783.85/784.11 c 698 948 1171.16 442.25 2.65 1000000 0 787.05/787.38 c 686 896 1212.16 419.47 2.89 1000000 0 790.34/790.67 c 709 893 1228.22 401.55 3.06 1000000 0 793.64/793.91 c 678 898 1165.24 435.66 2.67 1000000 0 796.84/797.19 c 674 912 1194.65 430.89 2.77 1000000 0 800.14/800.47 c 677 801 1203.46 474.22 2.54 1000000 0 803.44/803.75 c 686 904 1180.88 429.02 2.75 1000000 0 806.74/807.04 c 658 776 1178.12 450.70 2.61 1000000 0 810.04/810.34 c 681 1012 1198.57 408.67 2.93 1000000 0 813.24/813.58 c 632 956 1178.47 419.58 2.81 1000000 0 816.54/816.84 c 729 884 1206.71 418.46 2.88 1000000 0 819.74/820.08 c 722 831 1150.66 361.62 3.18 1000000 0 823.03/823.33 c 709 983 1179.26 418.41 2.82 1000000 0 826.33/826.65 c 628 758 1200.52 437.15 2.75 1000000 0 829.63/829.91 c 748 921 1185.50 394.24 3.01 1000000 0 832.83/833.16 c 624 843 1152.60 437.17 2.64 1000000 0 836.13/836.43 c 656 888 1190.04 452.52 2.63 1000000 0 839.43/839.72 c 700 816 1161.89 399.43 2.91 1000000 0 842.63/842.99 c 759 961 1208.97 469.03 2.58 1000000 0 845.93/846.25 c 754 964 1163.44 393.61 2.96 1000000 0 849.23/849.52 c 758 1069 1194.71 398.32 3.00 1000000 0 852.52/852.80 c 653 769 1212.07 444.89 2.72 1000000 0 855.72/856.07 c 777 924 1195.18 420.15 2.84 1000000 0 859.02/859.35 c 699 950 1217.46 450.35 2.70 1000000 0 862.22/862.59 c 720 763 1157.34 421.28 2.75 1000000 0 865.52/865.86 c 754 907 1183.57 405.57 2.92 1000000 0 868.82/869.14 c 686 897 1179.70 455.82 2.59 1000000 0 872.03/872.40 c 757 868 1188.38 444.92 2.67 1000000 0 875.32/875.63 c 692 722 1168.03 428.34 2.73 1000000 0 878.52/878.88 c 636 928 1165.62 437.43 2.66 1000000 0 881.82/882.17 c 737 883 1204.95 438.51 2.75 1000000 0 885.12/885.47 c 689 822 1228.54 414.62 2.96 1000000 0 888.42/888.77 c 724 833 1225.15 409.33 2.99 1000000 0 891.61/891.99 c 650 836 1171.07 404.41 2.90 1000000 0 894.91/895.22 c 691 1061 1150.46 399.63 2.88 1000000 0 898.21/898.51 c 701 940 1199.10 437.33 2.74 1000000 0 901.41/901.74 c 674 802 1187.57 444.87 2.67 1000000 0 904.71/905.01 c 732 952 1185.96 406.62 2.92 1000000 0 907.91/908.29 c 719 923 1218.04 427.20 2.85 1000000 0 911.21/911.57 c 755 912 1167.39 408.38 2.86 1000000 0 914.51/914.81 c 671 756 1151.92 444.40 2.59 1000000 0 917.71/918.08 c 738 878 1173.53 431.21 2.72 1000000 0 921.00/921.37 c 743 893 1206.89 412.54 2.93 1000000 0 924.30/924.65 c 731 923 1184.39 411.75 2.88 1000000 0 927.60/927.93 c 685 956 1216.47 412.18 2.95 1000000 0 930.80/931.17 c 704 910 1173.26 395.13 2.97 1000000 0 934.00/934.39 c 722 842 1144.64 378.80 3.02 1000000 0 937.30/937.65 c 759 894 1221.69 411.65 2.97 1000000 0 940.60/940.92 c 680 724 1200.51 463.44 2.59 1000000 0 943.80/944.17 c 733 823 1183.74 439.26 2.69 1000000 0 947.10/947.44 c 751 964 1185.02 419.57 2.82 1000000 0 950.40/950.76 c 765 957 1224.38 418.90 2.92 1000000 0 953.70/954.04 c 676 962 1171.49 407.42 2.88 1000000 0 956.99/957.35 c 674 933 1204.20 436.89 2.76 1000000 0 960.29/960.62 c 777 878 1198.16 413.70 2.90 1000000 0 963.49/963.87 c 760 847 1230.53 419.62 2.93 1000000 0 966.79/967.19 c 780 895 1236.37 452.44 2.73 1000000 0 970.09/970.43 c 659 872 1154.42 438.15 2.63 1000000 0 973.29/973.67 c 660 917 1128.58 399.62 2.82 1000000 0 976.59/976.92 c 593 912 1157.94 466.04 2.48 1000000 0 979.80/980.15 c 705 808 1165.66 438.88 2.66 1000000 0 983.09/983.41 c 722 883 1192.04 409.57 2.91 1000000 0 986.29/986.67 c 702 906 1173.42 416.55 2.82 1000000 0 989.59/989.92 c 689 818 1153.64 415.61 2.78 1000000 0 992.89/993.20 c 755 966 1207.77 403.73 2.99 1000000 0 996.08/996.43 c 690 1010 1152.88 406.12 2.84 1000000 0 999.28/999.68 c 625 815 1111.69 427.01 2.60 1000000 0 1002.58/1002.97 c 675 816 1169.03 430.55 2.72 1000000 0 1005.88/1006.24 c 704 923 1166.13 403.66 2.89 1000000 0 1009.08/1009.49 c 750 899 1165.17 391.62 2.98 1000000 0 1012.38/1012.75 c 644 776 1185.14 471.91 2.51 1000000 0 1015.68/1016.02 c 715 996 1198.91 445.64 2.69 1000000 0 1018.88/1019.22 c 709 862 1178.22 412.64 2.86 1000000 0 1022.07/1022.45 c 662 808 1137.78 400.92 2.84 1000000 0 1025.27/1025.69 c 689 902 1137.42 434.74 2.62 1000000 0 1028.57/1028.96 c 728 821 1205.37 408.88 2.95 1000000 0 1031.87/1032.22 c 736 1051 1192.03 422.19 2.82 1000000 0 1035.07/1035.47 c 724 988 1222.52 439.05 2.78 1000000 0 1038.37/1038.76 c 754 926 1212.99 389.85 3.11 1000000 0 1041.67/1042.04 c 738 871 1230.72 400.53 3.07 1000000 0 1044.97/1045.31 c 695 949 1182.11 417.99 2.83 1000000 0 1048.17/1048.59 c 722 838 1172.45 437.35 2.68 1000000 0 1051.46/1051.83 c 754 923 1182.85 404.92 2.92 1000000 0 1054.66/1055.09 c 713 831 1239.21 392.75 3.16 1000000 0 1057.96/1058.38 c 674 888 1174.78 432.25 2.72 1000000 0 1061.26/1061.68 c 688 836 1224.60 469.55 2.61 1000000 0 1064.56/1064.96 c 733 821 1194.66 424.40 2.81 1000000 0 1067.86/1068.24 c 705 832 1205.32 429.44 2.81 1000000 0 1071.16/1071.55 c 732 814 1232.60 421.77 2.92 1000000 0 1074.36/1074.78 c 680 907 1182.88 423.77 2.79 1000000 0 1077.66/1078.09 c 720 990 1202.25 397.26 3.03 1000000 0 1080.96/1081.37 c 716 837 1169.11 414.03 2.82 1000000 0 1084.26/1084.65 c 725 929 1208.11 394.23 3.06 1000000 0 1087.46/1087.89 c 698 853 1173.58 423.51 2.77 1000000 0 1090.76/1091.15 c 706 781 1170.37 391.89 2.99 1000000 0 1094.06/1094.41 c 700 824 1212.66 428.18 2.83 1000000 0 1097.36/1097.70 c 669 795 1180.97 441.97 2.67 1000000 0 1100.55/1100.93 c 664 819 1110.65 449.01 2.47 1000000 0 1103.85/1104.20 c 645 925 1193.55 438.90 2.72 1000000 0 1107.05/1107.48 c 725 886 1223.16 438.07 2.79 1000000 0 1110.34/1110.75 c 646 790 1169.77 431.74 2.71 1000000 0 1113.64/1114.02 c 676 907 1174.21 419.52 2.80 1000000 0 1116.94/1117.31 c 765 823 1225.57 433.22 2.83 1000000 0 1120.14/1120.59 c 745 956 1197.96 422.67 2.83 1000000 0 1123.44/1123.85 c 699 958 1164.67 407.78 2.86 1000000 0 1126.64/1127.08 c 708 901 1148.87 397.39 2.89 1000000 0 1129.94/1130.35 c 732 854 1240.50 444.59 2.79 1000000 0 1133.24/1133.63 c 794 997 1242.83 414.52 3.00 1000000 0 1136.54/1136.91 c 699 991 1203.74 424.61 2.83 1000000 0 1139.84/1140.21 c 713 861 1193.79 436.57 2.73 1000000 0 1143.04/1143.47 c 676 861 1190.44 442.51 2.69 1000000 0 1146.33/1146.70 c 732 879 1179.84 395.25 2.99 1000000 0 1149.53/1149.99 c 676 990 1166.16 453.18 2.57 1000000 0 1152.83/1153.23 c 674 873 1168.65 438.39 2.67 1000000 0 1156.03/1156.46 c 680 809 1152.86 446.32 2.58 1000000 0 1159.33/1159.72 c 717 841 1191.50 427.35 2.79 1000000 0 1162.63/1163.01 c 745 989 1251.00 401.32 3.12 1000000 0 1165.83/1166.26 c 634 730 1154.36 436.85 2.64 1000000 0 1169.13/1169.55 c 711 901 1209.15 460.72 2.62 1000000 0 1172.43/1172.86 c 682 1044 1219.44 442.39 2.76 1000000 0 1175.73/1176.13 c 735 960 1212.62 434.36 2.79 1000000 0 1178.93/1179.38 c 634 853 1133.36 434.22 2.61 1000000 0 1182.23/1182.67 c 680 801 1175.81 419.84 2.80 1000000 0 1185.52/1185.91 c 664 897 1214.19 446.89 2.72 1000000 0 1188.73/1189.16 c 653 910 1158.83 419.84 2.76 1000000 0 1192.03/1192.44 c 711 984 1177.10 414.46 2.84 1000000 0 1195.33/1195.73 c 710 812 1182.78 410.02 2.88 1000000 0 1198.63/1199.04 c 682 811 1202.67 428.11 2.81 1000000 0 1201.92/1202.32 c 742 907 1220.65 374.30 3.26 1000000 0 1205.12/1205.60 c 692 1009 1178.61 449.10 2.62 1000000 0 1208.42/1208.88 c 718 835 1232.51 445.53 2.77 1000000 0 1211.72/1212.13 c 661 866 1135.76 434.34 2.61 1000000 0 1215.02/1215.40 c 658 889 1159.20 417.76 2.77 1000000 0 1218.21/1218.65 c 676 953 1145.55 419.63 2.73 1000000 0 1221.51/1221.96 c 716 890 1207.12 420.55 2.87 1000000 0 1224.81/1225.23 c 756 994 1206.03 410.06 2.94 1000000 0 1228.01/1228.44 c 643 747 1129.12 421.20 2.68 1000000 0 1231.31/1231.72 c 732 955 1191.48 418.30 2.85 1000000 0 1234.51/1234.95 c 667 934 1159.36 377.36 3.07 1000000 0 1237.80/1238.28 c 686 877 1202.52 387.79 3.10 1000000 0 1241.10/1241.57 c 720 959 1182.88 411.34 2.88 1000000 0 1244.40/1244.85 c 693 810 1174.17 423.80 2.77 1000000 0 1247.60/1248.09 c 689 830 1176.17 429.45 2.74 1000000 0 1250.90/1251.32 c 702 875 1152.80 436.18 2.64 1000000 0 1254.10/1254.57 c 718 975 1180.73 423.06 2.79 1000000 0 1257.40/1257.84 c 730 875 1168.54 415.62 2.81 1000000 0 1260.70/1261.10 c 642 783 1176.07 440.51 2.67 1000000 0 1263.90/1264.36 c 695 858 1202.53 435.90 2.76 1000000 0 1267.20/1267.64 c 746 828 1183.20 402.27 2.94 1000000 0 1270.49/1270.92 c 749 815 1205.85 420.49 2.87 1000000 0 1273.69/1274.16 c 709 859 1193.51 440.15 2.71 1000000 0 1276.99/1277.40 c 717 926 1141.11 386.50 2.95 1000000 0 1280.19/1280.66 c 653 771 1184.23 460.09 2.57 1000000 0 1283.49/1283.93 c 751 851 1210.25 418.09 2.89 1000000 0 1286.79/1287.22 c 792 950 1220.41 371.98 3.28 1000000 0 1290.09/1290.50 c 649 865 1148.42 433.36 2.65 1000000 0 1293.29/1293.74 c 686 819 1149.55 439.85 2.61 1000000 0 1296.59/1297.02 c 661 969 1182.63 447.67 2.64 1000000 0 1299.79/1300.27 c 658 844 1188.23 413.34 2.87 1000000 0 1303.09/1303.55 c 752 948 1223.04 435.62 2.81 1000000 0 1306.29/1306.78 c 647 923 1125.18 437.31 2.57 1000000 0 1309.59/1310.05 c 668 800 1176.39 427.17 2.75 1000000 0 1312.78/1313.29 c 689 869 1159.09 439.66 2.64 1000000 0 1316.08/1316.59 c 764 899 1227.99 424.44 2.89 1000000 0 1319.38/1319.87 c 680 855 1185.11 440.24 2.69 1000000 0 1322.68/1323.12 c 698 868 1159.85 426.88 2.72 1000000 0 1325.98/1326.40 c 724 1001 1166.61 424.63 2.75 1000000 0 1329.18/1329.63 c 696 764 1178.55 420.39 2.80 1000000 0 1332.48/1332.91 c 662 893 1138.53 391.80 2.91 1000000 0 1335.67/1336.18 c 751 991 1210.38 423.73 2.86 1000000 0 1338.97/1339.44 c 800 884 1187.36 396.05 3.00 1000000 0 1342.17/1342.67 c 672 847 1081.83 396.96 2.73 1000000 0 1345.47/1345.91 c 616 818 1174.68 427.56 2.75 1000000 0 1348.67/1349.17 c 750 883 1162.16 383.22 3.03 1000000 0 1351.97/1352.47 c 714 950 1205.00 399.14 3.02 1000000 0 1355.27/1355.78 c 747 796 1207.09 415.59 2.90 1000000 0 1358.57/1359.09 c 697 953 1198.02 456.99 2.62 1000000 0 1361.87/1362.37 c 742 850 1204.25 392.41 3.07 1000000 0 1365.17/1365.66 c 734 830 1167.34 378.43 3.08 1000000 0 1368.46/1368.92 c 736 878 1155.02 388.02 2.98 1000000 0 1371.66/1372.19 c 721 887 1189.48 462.02 2.57 1000000 0 1374.96/1375.46 c 712 850 1172.00 415.43 2.82 1000000 0 1378.26/1378.72 c 679 906 1182.72 427.80 2.76 1000000 0 1381.56/1382.02 c 783 895 1228.95 422.55 2.91 1000000 0 1384.76/1385.28 c 640 836 1167.22 443.16 2.63 1000000 0 1388.06/1388.55 c 729 817 1260.03 415.07 3.04 1000000 0 1391.36/1391.81 c 636 799 1177.50 389.41 3.02 1000000 0 1394.56/1395.08 c 717 899 1178.08 433.95 2.71 1000000 0 1397.75/1398.29 c 708 896 1139.04 422.51 2.70 1000000 0 1401.05/1401.56 c 683 829 1176.18 437.01 2.69 1000000 0 1404.35/1404.82 c 796 961 1202.34 395.18 3.04 1000000 0 1407.56/1408.08 c 742 852 1212.17 432.11 2.81 1000000 0 1410.86/1411.32 c 624 856 1111.44 460.56 2.41 1000000 0 1414.06/1414.55 c 700 822 1191.99 436.98 2.73 1000000 0 1417.36/1417.83 c 719 954 1202.05 472.34 2.54 1000000 0 1420.55/1421.09 c 711 925 1163.31 461.37 2.52 1000000 0 1423.85/1424.35 c 718 973 1197.51 406.11 2.95 1000000 0 1427.15/1427.60 c 689 828 1147.87 427.02 2.69 1000000 0 1430.34/1430.83 c 696 786 1156.33 408.24 2.83 1000000 0 1433.64/1434.11 c 748 960 1231.59 420.58 2.93 1000000 0 1436.84/1437.39 c 708 976 1195.51 449.04 2.66 1000000 0 1440.14/1440.69 c 699 901 1211.86 444.24 2.73 1000000 0 1443.44/1443.97 c 669 954 1183.50 451.68 2.62 1000000 0 1446.74/1447.23 c 741 898 1184.04 411.01 2.88 1000000 0 1449.94/1450.48 c 719 881 1131.30 370.25 3.06 1000000 0 1453.24/1453.77 c 750 947 1229.98 409.07 3.01 1000000 0 1456.54/1457.02 c 712 816 1173.92 413.81 2.84 1000000 0 1459.74/1460.27 c 696 847 1156.26 452.39 2.56 1000000 0 1463.03/1463.52 c 679 796 1165.42 410.76 2.84 1000000 0 1466.33/1466.80 c 727 786 1183.53 390.50 3.03 1000000 0 1469.63/1470.10 c 725 777 1238.59 417.10 2.97 1000000 0 1472.83/1473.35 c 699 846 1192.23 382.69 3.12 1000000 0 1476.13/1476.62 c 680 751 1177.46 401.37 2.93 1000000 0 1479.33/1479.86 c 654 787 1136.81 433.51 2.62 1000000 0 1482.63/1483.11 c 701 1078 1210.11 420.83 2.88 1000000 0 1485.83/1486.39 c 769 1003 1223.88 392.32 3.12 1000000 0 1489.13/1489.63 c 727 907 1177.75 413.21 2.85 1000000 0 1492.43/1492.90 c 667 933 1166.62 415.93 2.80 1000000 0 1495.62/1496.16 c 678 882 1178.60 441.74 2.67 1000000 0 1498.92/1499.43 c 768 882 1170.79 416.04 2.81 1000000 0 1502.22/1502.70 c 722 900 1138.98 391.28 2.91 1000000 0 1505.43/1505.94 c 711 819 1171.31 438.57 2.67 1000000 0 1508.73/1509.21 c 690 885 1169.67 410.10 2.85 1000000 0 1511.93/1512.50 c 702 803 1188.91 390.69 3.04 1000000 0 1515.23/1515.76 c 677 944 1173.99 439.96 2.67 1000000 0 1518.52/1519.05 c 714 786 1235.97 435.82 2.84 1000000 0 1521.82/1522.34 c 664 920 1156.76 441.28 2.62 1000000 0 1525.12/1525.62 c 747 877 1200.93 412.10 2.91 1000000 0 1528.42/1528.92 c 670 803 1196.11 461.24 2.59 1000000 0 1531.72/1532.20 c 696 847 1209.95 441.89 2.74 1000000 0 1534.91/1535.46 c 687 715 1172.85 391.65 2.99 1000000 0 1538.11/1538.69 c 647 742 1123.36 418.28 2.69 1000000 0 1541.31/1541.89 c 667 807 1149.71 410.82 2.80 1000000 0 1544.61/1545.17 c 718 921 1180.69 412.72 2.86 1000000 0 1547.81/1548.39 c 650 772 1144.53 427.42 2.68 1000000 0 1551.11/1551.65 c 711 829 1155.16 428.03 2.70 1000000 0 1554.41/1554.93 c 769 909 1213.45 420.08 2.89 1000000 0 1557.71/1558.21 c 621 773 1178.31 434.02 2.71 1000000 0 1560.90/1561.49 c 749 920 1192.79 420.50 2.84 1000000 0 1564.20/1564.73 c 667 774 1137.56 428.86 2.65 1000000 0 1567.40/1567.95 c 614 870 1146.11 432.92 2.65 1000000 0 1570.70/1571.22 c 690 893 1206.85 448.14 2.69 1000000 0 1574.00/1574.50 c 741 885 1186.99 375.56 3.16 1000000 0 1577.20/1577.76 c 711 911 1187.48 440.70 2.69 1000000 0 1580.50/1581.02 c 711 848 1188.43 446.77 2.66 1000000 0 1583.70/1584.28 c 659 931 1187.58 454.27 2.61 1000000 0 1587.00/1587.56 c 738 986 1182.62 385.92 3.06 1000000 0 1590.29/1590.83 c 672 976 1162.49 406.31 2.86 1000000 0 1593.59/1594.11 c 746 948 1184.44 435.72 2.72 1000000 0 1596.79/1597.37 c 745 893 1199.93 413.08 2.90 1000000 0 1600.09/1600.65 c 732 838 1189.41 434.44 2.74 1000000 0 1603.39/1603.91 c 724 892 1193.53 421.33 2.83 1000000 0 1606.69/1607.21 c 746 945 1217.81 408.60 2.98 1000000 0 1609.80/1610.40 c 686 849 1094.36 404.68 2.70 1000000 0 1613.09/1613.67 c 703 780 1167.22 398.30 2.93 1000000 0 1616.39/1616.91 c 718 933 1156.02 391.03 2.96 1000000 0 1619.59/1620.16 c 718 927 1167.83 401.28 2.91 1000000 0 1622.79/1623.38 c 690 988 1170.00 439.17 2.66 1000000 0 1626.08/1626.66 c 671 858 1179.03 425.11 2.77 1000000 0 1629.38/1629.92 c 699 935 1141.31 411.78 2.77 1000000 0 1632.68/1633.23 c 774 972 1218.27 408.16 2.98 1000000 0 1635.88/1636.48 c 682 791 1160.11 423.65 2.74 1000000 0 1639.18/1639.77 c 680 911 1204.03 442.43 2.72 1000000 0 1642.48/1643.07 c 745 934 1223.41 439.90 2.78 1000000 0 1645.78/1646.36 c 644 866 1189.87 442.47 2.69 1000000 0 1649.08/1649.65 c 709 929 1188.30 397.10 2.99 1000000 0 1652.38/1652.93 c 737 885 1186.83 443.63 2.68 1000000 0 1655.57/1656.18 c 648 853 1139.36 435.06 2.62 1000000 0 1658.87/1659.45 c 758 880 1211.66 395.15 3.07 1000000 0 1662.17/1662.70 c 717 883 1169.34 420.43 2.78 1000000 0 1665.37/1665.99 c 689 897 1170.57 411.75 2.84 1000000 0 1668.67/1669.25 c 735 838 1196.06 402.00 2.98 1000000 0 1671.97/1672.52 c 682 904 1186.41 422.32 2.81 1000000 0 1675.17/1675.76 c 709 944 1160.03 435.90 2.66 1000000 0 1678.47/1679.05 c 747 939 1225.62 455.55 2.69 1000000 0 1681.67/1682.28 c 721 903 1198.23 428.24 2.80 1000000 0 1684.96/1685.56 c 703 865 1185.86 404.43 2.93 1000000 0 1688.26/1688.87 c 758 835 1249.03 390.55 3.20 1000000 0 1691.56/1692.13 c 736 900 1174.81 444.23 2.64 1000000 0 1694.76/1695.37 c 666 902 1152.35 383.77 3.00 1000000 0 1698.06/1698.60 c 650 896 1148.90 437.53 2.63 1000000 0 1701.26/1701.90 c 644 906 1159.69 390.38 2.97 1000000 0 1704.56/1705.16 c 585 720 1180.52 443.00 2.66 1000000 0 1707.86/1708.43 c 697 974 1208.82 459.17 2.63 1000000 0 1711.16/1711.72 c 728 930 1194.07 409.92 2.91 1000000 0 1714.45/1715.01 c 731 948 1197.93 433.46 2.76 1000000 0 1717.66/1718.27 c 697 954 1164.63 401.11 2.90 1000000 0 1720.96/1721.52 c 659 758 1149.26 414.80 2.77 1000000 0 1724.16/1724.77 c 750 944 1182.50 383.79 3.08 1000000 0 1727.46/1728.01 c 702 880 1152.03 415.65 2.77 1000000 0 1730.76/1731.33 c 644 812 1191.39 422.93 2.82 1000000 0 1733.95/1734.59 c 686 805 1182.96 437.39 2.70 1000000 0 1737.25/1737.86 c 629 903 1190.42 450.35 2.64 1000000 0 1740.55/1741.13 c 706 983 1146.70 419.92 2.73 1000000 0 1743.85/1744.42 c 682 928 1221.58 474.53 2.57 1000000 0 1747.05/1747.68 c 697 754 1152.74 417.23 2.76 1000000 0 1750.34/1750.94 c 674 862 1174.10 410.81 2.86 1000000 0 1753.54/1754.18 c 747 987 1176.13 419.20 2.81 1000000 0 1756.84/1757.44 c 721 948 1196.77 444.21 2.69 1000000 0 1760.04/1760.68 c 730 972 1169.23 412.53 2.83 1000000 0 1763.34/1763.95 c 723 983 1192.58 437.92 2.72 1000000 0 1766.54/1767.19 c 666 904 1144.54 432.83 2.64 1000000 0 1769.84/1770.46 c 706 759 1179.98 437.75 2.70 1000000 0 1773.14/1773.76 c 709 849 1202.15 436.85 2.75 1000000 0 1776.33/1776.99 c 643 754 1190.30 434.70 2.74 1000000 0 1779.63/1780.23 c 717 876 1200.43 473.07 2.54 1000000 0 1782.93/1783.50 c 698 795 1186.94 424.97 2.79 1000000 0 1786.13/1786.76 c 697 714 1151.40 415.93 2.77 1000000 0 1789.33/1789.99 c 716 848 1164.93 425.42 2.74 1000000 0 1792.63/1793.25 c 712 907 1195.78 435.71 2.74 1000000 0 1795.93/1796.53 c 703 942 1200.35 446.74 2.69 1000000 0 1799.23/1799.82 c 739 894 1159.10 402.70 2.88 1000000 0 1800.04/1800.61 HOME/run: line 2: 11697 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-2669856-1276609998/watcher-2669856-1276609998 -o /tmp/evaluation-result-2669856-1276609998/solver-2669856-1276609998 -C 1800 -W 2000 -M 1800 run HOME/instance-2669856-1276609998.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.99 0.98 0.99 3/105 11696 /proc/meminfo: memFree=1415476/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) R 11694 11696 11228 0 -1 4202496 343 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407506325 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [startup+0.0133141 s] /proc/loadavg: 0.99 0.98 0.99 3/105 11696 /proc/meminfo: memFree=1415476/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101306 s] /proc/loadavg: 0.99 0.98 0.99 3/105 11696 /proc/meminfo: memFree=1415476/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301328 s] /proc/loadavg: 0.99 0.98 0.99 3/105 11696 /proc/meminfo: memFree=1415476/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701373 s] /proc/loadavg: 0.99 0.98 0.99 3/105 11696 /proc/meminfo: memFree=1415476/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50146 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11698 /proc/meminfo: memFree=1408764/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=1.48 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1681 0 0 0 148 0 0 0 25 0 1 0 2293630 41422848 1611 1992294400 134512640 135071400 4287822656 18446744073709551615 134525865 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1611 62 137 0 9974 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 49152 [startup+3.10064 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11698 /proc/meminfo: memFree=1408640/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=3.08 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1681 0 0 0 308 0 0 0 25 0 1 0 2293630 41422848 1611 1992294400 134512640 135071400 4287822656 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1611 62 137 0 9974 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 49152 [startup+6.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11698 /proc/meminfo: memFree=1408516/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=6.28 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1690 0 0 0 628 0 0 0 25 0 1 0 2293630 41422848 1620 1992294400 134512640 135071400 4287822656 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1620 69 137 0 9974 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 49152 [startup+12.7007 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11698 /proc/meminfo: memFree=1408268/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=12.68 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1690 0 0 0 1268 0 0 0 25 0 1 0 2293630 41422848 1620 1992294400 134512640 135071400 4287822656 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1620 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5011 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11700 /proc/meminfo: memFree=1408268/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=25.48 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1690 0 0 0 2548 0 0 0 25 0 1 0 2293630 41422848 1620 1992294400 134512640 135071400 4287822656 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1620 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.101 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11700 /proc/meminfo: memFree=1408144/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=51.07 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1690 0 0 0 5107 0 0 0 25 0 1 0 2293630 41422848 1620 1992294400 134512640 135071400 4287822656 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1620 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.99 0.98 0.99 2/107 11702 /proc/meminfo: memFree=1407896/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=102.26 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1690 0 0 0 10226 0 0 0 25 0 1 0 2293630 41422848 1620 1992294400 134512640 135071400 4287822656 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1620 69 137 0 9974 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11702 /proc/meminfo: memFree=1407648/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=162.24 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1690 0 0 0 16224 0 0 0 25 0 1 0 2293630 41422848 1620 1992294400 134512640 135071400 4287822656 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1620 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: 0.99 0.98 0.99 2/107 11704 /proc/meminfo: memFree=1407648/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=222.22 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1690 0 0 0 22222 0 0 0 25 0 1 0 2293630 41422848 1620 1992294400 134512640 135071400 4287822656 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1620 69 137 0 9974 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 49152 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11706 /proc/meminfo: memFree=1407524/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=282.2 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1690 0 0 0 28220 0 0 0 25 0 1 0 2293630 41422848 1620 1992294400 134512640 135071400 4287822656 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1620 69 137 0 9974 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11708 /proc/meminfo: memFree=1407400/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=342.18 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1690 0 0 0 34218 0 0 0 25 0 1 0 2293630 41422848 1620 1992294400 134512640 135071400 4287822656 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1620 69 137 0 9974 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11710 /proc/meminfo: memFree=1407400/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=402.16 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1690 0 0 0 40216 0 0 0 25 0 1 0 2293630 41422848 1620 1992294400 134512640 135071400 4287822656 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1620 69 137 0 9974 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=1061.96 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1690 0 0 0 106195 1 0 0 25 0 1 0 2293630 41422848 1620 1992294400 134512640 135071400 4287822656 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1620 69 137 0 9974 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11737 /proc/meminfo: memFree=1405912/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=1121.94 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1690 0 0 0 112193 1 0 0 25 0 1 0 2293630 41422848 1620 1992294400 134512640 135071400 4287822656 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1620 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11739 /proc/meminfo: memFree=1405664/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=1181.93 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1690 0 0 0 118192 1 0 0 25 0 1 0 2293630 41422848 1620 1992294400 134512640 135071400 4287822656 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1620 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: 0.99 0.98 0.99 2/107 11741 /proc/meminfo: memFree=1405416/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=1241.9 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1690 0 0 0 124189 1 0 0 25 0 1 0 2293630 41422848 1620 1992294400 134512640 135071400 4287822656 18446744073709551615 134526505 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1620 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11743 /proc/meminfo: memFree=1405292/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=1301.89 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1690 0 0 0 130188 1 0 0 25 0 1 0 2293630 41422848 1620 1992294400 134512640 135071400 4287822656 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1620 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11743 /proc/meminfo: memFree=1405292/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=1361.87 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1690 0 0 0 136186 1 0 0 25 0 1 0 2293630 41422848 1620 1992294400 134512640 135071400 4287822656 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1620 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11745 /proc/meminfo: memFree=1405292/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=1421.85 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1690 0 0 0 142184 1 0 0 25 0 1 0 2293630 41422848 1620 1992294400 134512640 135071400 4287822656 18446744073709551615 134525790 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1620 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11747 /proc/meminfo: memFree=1405292/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=1481.83 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1690 0 0 0 148182 1 0 0 25 0 1 0 2293630 41422848 1620 1992294400 134512640 135071400 4287822656 18446744073709551615 134519855 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1620 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11749 /proc/meminfo: memFree=1405168/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=1541.81 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1690 0 0 0 154180 1 0 0 25 0 1 0 2293630 41422848 1620 1992294400 134512640 135071400 4287822656 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1620 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.03 1.00 1.00 2/107 11751 /proc/meminfo: memFree=1405044/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=1601.79 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1690 0 0 0 160178 1 0 0 25 0 1 0 2293630 41422848 1620 1992294400 134512640 135071400 4287822656 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1620 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 11751 /proc/meminfo: memFree=1404920/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=1661.77 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1690 0 0 0 166176 1 0 0 25 0 1 0 2293630 41422848 1620 1992294400 134512640 135071400 4287822656 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1620 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11753 /proc/meminfo: memFree=1404796/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=1721.75 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1690 0 0 0 172174 1 0 0 25 0 1 0 2293630 41422848 1620 1992294400 134512640 135071400 4287822656 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1620 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11755 /proc/meminfo: memFree=1404548/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=1781.73 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1690 0 0 0 178172 1 0 0 25 0 1 0 2293630 41422848 1620 1992294400 134512640 135071400 4287822656 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1620 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11755 /proc/meminfo: memFree=1404548/2059040 swapFree=4192956/4192956 [pid=11696] ppid=11694 vsize=8700 CPUtime=0 /proc/11696/stat : 11696 (run) S 11694 11696 11228 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2293629 8908800 244 1992294400 4194304 4922060 140736791518960 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11696/statm: 2175 244 204 178 0 68 0 [pid=11697] ppid=11696 vsize=40452 CPUtime=1800.04 /proc/11697/stat : 11697 (PB-wave) R 11696 11696 11228 0 -1 4202496 1690 0 0 0 180003 1 0 0 25 0 1 0 2293630 41422848 1620 1992294400 134512640 135071400 4287822656 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11697/statm: 10113 1620 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.62 CPU time (s): 1800.06 CPU user time (s): 1800.04 CPU system time (s): 0.021996 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.04 system time used= 0.021996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2062 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= 3295 runsolver used 2.89656 second user time and 8.61369 second system time The end
Begin job on node085 at 2010-06-15 15:53:18 IDJOB=2669856 IDBENCH=1450 IDSOLVER=1171 FILE ID=node085/2669856-1276609998 PBS_JOBID= 11172243 Free space on /tmp= 121868 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669856-1276609998/watcher-2669856-1276609998 -o /tmp/evaluation-result-2669856-1276609998/solver-2669856-1276609998 -C 1800 -W 2000 -M 1800 run HOME/instance-2669856-1276609998.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6d44efaff34237725f88a3d0685c8f91 RANDOM SEED=1097226410 node085.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.221 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.44 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.221 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 : 5999.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1415996 kB Buffers: 67668 kB Cached: 434756 kB SwapCached: 0 kB Active: 222736 kB Inactive: 339144 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1415996 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2404 kB Writeback: 0 kB AnonPages: 59444 kB Mapped: 15472 kB Slab: 59436 kB PageTables: 3964 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182284 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= 121868 MiB End job on node085 at 2010-06-15 16:23:19