Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.05 | 1800.72 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.6.accl.ucl.opb |
MD5SUM | 9d22902ade96af236e70cdbf7d8bd853 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 23621 |
Total number of constraints | 67526 |
Number of constraints which are clauses | 65126 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2400 |
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 | 71 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 261 |
Number of bits of the biggest sum of numbers | 9 |
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.19 c PB-wave - v2 0.00/0.19 c command line = ./PB-wave 0.00/0.19 c seed = 66405471 0.00/0.19 c cutoff = 1000000 0.00/0.19 c tries = 1000000 0.00/0.19 c heuristic = c best, noise 50 / 100 0.00/0.19 #var 23621 #con 67526 0.00/0.19 mode is SAT 0.00/0.19 c tail starts after flip = 70863 0.00/0.19 c numatom = 23621, numclause = 67526, numliterals = 181984 0.00/0.19 c wff read in 0.00/0.19 c 0.00/0.19 c lowest final avg noise noise total avg mean mean 0.00/0.19 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.19 c this this this this this this success success until std 0.00/0.19 c try try try try try try rate tries assign dev 0.00/0.19 c 4.08/4.10 c 702 1041 1139.10 383.52 2.97 1000000 0 7.98/8.03 c 878 1012 1236.73 347.70 3.56 1000000 0 11.88/11.96 c 742 1029 1142.66 373.64 3.06 1000000 0 15.78/15.88 c 779 978 1159.71 342.96 3.38 1000000 0 19.69/19.79 c 838 1025 1233.47 332.61 3.71 1000000 0 23.58/23.67 c 766 890 1221.46 370.60 3.30 1000000 0 27.48/27.56 c 785 947 1171.47 348.33 3.36 1000000 0 31.37/31.49 c 775 1031 1228.46 365.62 3.36 1000000 0 35.27/35.38 c 791 838 1185.52 357.34 3.32 1000000 0 39.27/39.31 c 730 884 1183.32 356.17 3.32 1000000 0 43.17/43.28 c 730 761 1178.27 402.43 2.93 1000000 0 47.06/47.19 c 783 1026 1213.99 355.23 3.42 1000000 0 50.96/51.09 c 775 939 1200.68 356.34 3.37 1000000 0 54.97/55.05 c 748 828 1208.60 384.74 3.14 1000000 0 58.86/58.98 c 809 1082 1244.86 400.10 3.11 1000000 0 62.76/62.89 c 763 968 1193.47 397.89 3.00 1000000 0 66.76/66.84 c 733 949 1171.79 381.23 3.07 1000000 0 70.66/70.76 c 693 974 1133.92 359.37 3.16 1000000 0 74.66/74.71 c 725 1022 1212.61 366.80 3.31 1000000 0 78.55/78.64 c 792 810 1174.75 369.65 3.18 1000000 0 82.46/82.53 c 826 898 1186.23 341.41 3.47 1000000 0 86.35/86.46 c 817 994 1250.17 380.44 3.29 1000000 0 90.25/90.38 c 632 923 1165.85 397.35 2.93 1000000 0 94.15/94.27 c 798 896 1209.26 356.79 3.39 1000000 0 98.05/98.18 c 756 1082 1176.28 384.66 3.06 1000000 0 101.95/102.06 c 738 995 1172.17 365.22 3.21 1000000 0 105.94/106.01 c 752 915 1198.67 384.60 3.12 1000000 0 109.85/109.91 c 773 881 1200.30 381.58 3.15 1000000 0 113.74/113.86 c 701 1067 1181.75 390.15 3.03 1000000 0 117.74/117.83 c 695 942 1157.66 376.57 3.07 1000000 0 121.64/121.71 c 707 789 1136.39 376.34 3.02 1000000 0 125.54/125.61 c 776 897 1156.61 352.08 3.29 1000000 0 129.44/129.53 c 757 885 1139.06 341.16 3.34 1000000 0 133.33/133.43 c 762 977 1190.52 399.44 2.98 1000000 0 137.23/137.30 c 825 1009 1200.92 341.03 3.52 1000000 0 141.13/141.23 c 753 952 1157.89 347.88 3.33 1000000 0 145.04/145.15 c 812 1028 1213.40 377.65 3.21 1000000 0 149.03/149.11 c 759 806 1163.05 380.88 3.05 1000000 0 152.93/153.00 c 734 879 1178.84 374.90 3.14 1000000 0 156.83/156.91 c 777 957 1186.60 348.71 3.40 1000000 0 160.73/160.85 c 759 893 1211.42 385.61 3.14 1000000 0 164.62/164.76 c 800 912 1211.58 377.75 3.21 1000000 0 168.52/168.69 c 710 879 1135.30 388.27 2.92 1000000 0 172.53/172.61 c 621 811 1094.08 382.77 2.86 1000000 0 176.42/176.52 c 778 908 1189.92 348.25 3.42 1000000 0 180.33/180.42 c 736 968 1138.84 354.74 3.21 1000000 0 184.22/184.36 c 779 960 1234.37 424.89 2.91 1000000 0 188.12/188.29 c 767 1009 1203.85 379.37 3.17 1000000 0 192.01/192.19 c 792 952 1193.65 346.51 3.44 1000000 0 195.91/196.09 c 712 943 1147.44 346.88 3.31 1000000 0 199.92/200.00 c 760 934 1195.28 397.47 3.01 1000000 0 203.82/203.96 c 835 1034 1205.96 360.85 3.34 1000000 0 207.72/207.86 c 774 978 1161.57 352.38 3.30 1000000 0 211.72/211.83 c 746 1034 1211.64 398.64 3.04 1000000 0 215.62/215.76 c 759 808 1192.70 362.32 3.29 1000000 0 219.61/219.70 c 843 953 1213.69 385.70 3.15 1000000 0 223.51/223.62 c 803 875 1216.90 356.09 3.42 1000000 0 227.41/227.55 c 763 931 1192.59 378.64 3.15 1000000 0 231.41/231.51 c 725 919 1173.94 412.80 2.84 1000000 0 235.31/235.43 c 698 814 1151.81 408.42 2.82 1000000 0 239.20/239.34 c 772 845 1193.42 342.14 3.49 1000000 0 243.10/243.25 c 832 1041 1258.49 386.51 3.26 1000000 0 247.00/247.17 c 753 920 1137.69 380.46 2.99 1000000 0 250.90/251.08 c 738 1060 1233.50 390.13 3.16 1000000 0 254.89/255.00 c 756 947 1180.77 403.84 2.92 1000000 0 258.79/258.90 c 777 1014 1178.58 378.43 3.11 1000000 0 262.70/262.85 c 752 898 1194.66 401.64 2.97 1000000 0 266.69/266.80 c 793 972 1214.21 388.14 3.13 1000000 0 270.59/270.76 c 802 949 1214.85 359.56 3.38 1000000 0 274.49/274.65 c 795 1111 1185.15 338.39 3.50 1000000 0 278.39/278.59 c 754 922 1197.80 365.11 3.28 1000000 0 282.29/282.48 c 821 940 1184.70 388.34 3.05 1000000 0 286.28/286.40 c 656 946 1172.69 385.65 3.04 1000000 0 290.19/290.31 c 718 837 1172.93 363.42 3.23 1000000 0 294.08/294.25 c 729 916 1163.02 350.03 3.32 1000000 0 297.99/298.18 c 790 930 1179.25 360.05 3.28 1000000 0 301.88/302.08 c 787 889 1200.71 374.36 3.21 1000000 0 305.88/306.05 c 753 910 1181.31 405.52 2.91 1000000 0 309.78/309.98 c 835 1068 1190.56 368.59 3.23 1000000 0 313.67/313.89 c 774 969 1159.36 358.86 3.23 1000000 0 317.68/317.82 c 740 938 1168.57 377.80 3.09 1000000 0 321.57/321.76 c 734 904 1212.82 393.59 3.08 1000000 0 325.48/325.69 c 719 857 1150.02 367.96 3.13 1000000 0 329.37/329.59 c 741 985 1186.41 361.44 3.28 1000000 0 333.37/333.52 c 695 821 1156.20 362.47 3.19 1000000 0 337.27/337.45 c 730 950 1179.79 373.31 3.16 1000000 0 341.16/341.31 c 752 988 1161.91 346.50 3.35 1000000 0 345.06/345.20 c 753 956 1186.78 356.87 3.33 1000000 0 348.96/349.11 c 803 975 1186.35 358.99 3.30 1000000 0 352.87/353.02 c 722 870 1186.55 399.73 2.97 1000000 0 356.76/356.94 c 812 1111 1197.36 378.66 3.16 1000000 0 360.76/360.90 c 641 788 1115.02 374.01 2.98 1000000 0 364.65/364.83 c 691 872 1152.50 408.29 2.82 1000000 0 368.55/368.80 c 721 933 1180.21 407.32 2.90 1000000 0 372.55/372.71 c 824 1008 1211.17 362.01 3.35 1000000 0 376.45/376.61 c 737 969 1219.85 377.16 3.23 1000000 0 380.36/380.51 c 810 957 1193.64 319.78 3.73 1000000 0 384.25/384.42 c 702 893 1162.56 366.35 3.17 1000000 0 388.15/388.32 c 778 881 1223.47 371.38 3.29 1000000 0 392.05/392.22 c 798 996 1208.95 363.16 3.33 1000000 0 395.85/396.07 c 754 1000 1220.55 380.45 3.21 1000000 0 399.74/399.96 c 807 947 1192.65 366.95 3.25 1000000 0 403.64/403.88 c 789 946 1214.09 383.31 3.17 1000000 0 407.54/407.79 c 818 1069 1191.49 369.43 3.23 1000000 0 411.54/411.71 c 776 1026 1213.13 393.58 3.08 1000000 0 415.44/415.64 c 716 970 1168.26 390.19 2.99 1000000 0 419.34/419.56 c 771 1022 1208.18 353.51 3.42 1000000 0 423.24/423.50 c 755 908 1188.28 389.72 3.05 1000000 0 427.23/427.42 c 681 838 1193.53 413.80 2.88 1000000 0 431.13/431.33 c 791 907 1233.18 375.95 3.28 1000000 0 435.03/435.22 c 790 917 1176.27 369.84 3.18 1000000 0 438.93/439.13 c 828 1007 1219.65 386.26 3.16 1000000 0 442.83/443.04 c 858 1034 1227.56 358.00 3.43 1000000 0 446.73/446.99 c 716 974 1155.33 374.28 3.09 1000000 0 450.73/450.91 c 692 970 1174.84 402.55 2.92 1000000 0 454.62/454.81 c 792 952 1245.20 431.09 2.89 1000000 0 458.53/458.74 c 656 917 1181.61 368.54 3.21 1000000 0 462.42/462.66 c 777 990 1148.70 353.87 3.25 1000000 0 466.32/466.57 c 847 999 1256.56 377.18 3.33 1000000 0 470.22/470.45 c 735 814 1166.03 383.28 3.04 1000000 0 474.12/474.37 c 787 928 1203.74 382.92 3.14 1000000 0 478.10/478.33 c 825 933 1221.82 380.24 3.21 1000000 0 482.00/482.25 c 755 887 1149.19 375.29 3.06 1000000 0 485.91/486.15 c 719 903 1201.08 371.51 3.23 1000000 0 489.80/490.05 c 775 1006 1215.42 371.07 3.28 1000000 0 493.70/493.98 c 684 861 1202.39 410.05 2.93 1000000 0 497.69/497.92 c 717 945 1144.94 380.77 3.01 1000000 0 501.59/501.86 c 770 1029 1182.36 368.68 3.21 1000000 0 505.59/505.81 c 795 854 1190.50 366.81 3.25 1000000 0 509.49/509.73 c 733 924 1163.03 386.23 3.01 1000000 0 513.40/513.65 c 772 982 1181.81 370.89 3.19 1000000 0 517.29/517.56 c 740 776 1138.07 356.14 3.20 1000000 0 521.19/521.44 c 789 996 1212.14 358.32 3.38 1000000 0 525.08/525.40 c 813 1058 1223.75 383.47 3.19 1000000 0 529.08/529.34 c 744 928 1183.64 377.99 3.13 1000000 0 532.98/533.26 c 790 1194 1202.66 379.29 3.17 1000000 0 536.88/537.15 c 742 974 1172.27 371.32 3.16 1000000 0 540.78/541.04 c 734 854 1199.32 402.35 2.98 1000000 0 544.68/544.96 c 733 992 1143.16 402.79 2.84 1000000 0 548.58/548.86 c 786 984 1212.80 374.25 3.24 1000000 0 552.47/552.78 c 771 1036 1161.04 375.04 3.10 1000000 0 556.47/556.71 c 785 1104 1187.04 347.48 3.42 1000000 0 560.37/560.63 c 771 878 1156.49 345.59 3.35 1000000 0 564.17/564.49 c 770 1007 1166.29 374.25 3.12 1000000 0 568.17/568.41 c 689 904 1173.53 358.51 3.27 1000000 0 572.07/572.33 c 777 934 1187.55 359.09 3.31 1000000 0 575.96/576.28 c 773 954 1201.10 391.42 3.07 1000000 0 579.96/580.22 c 771 850 1169.15 372.36 3.14 1000000 0 583.87/584.16 c 784 998 1205.32 426.33 2.83 1000000 0 587.76/588.08 c 782 942 1221.67 386.35 3.16 1000000 0 591.76/592.04 c 767 917 1184.50 390.48 3.03 1000000 0 595.66/595.94 c 787 1060 1195.80 368.40 3.25 1000000 0 599.55/599.85 c 767 956 1219.89 373.02 3.27 1000000 0 603.45/603.78 c 701 840 1141.23 389.76 2.93 1000000 0 607.35/607.68 c 782 904 1185.81 374.47 3.17 1000000 0 611.26/611.60 c 729 828 1151.63 373.01 3.09 1000000 0 615.25/615.53 c 628 848 1142.92 396.73 2.88 1000000 0 619.15/619.42 c 757 928 1171.58 364.83 3.21 1000000 0 623.05/623.34 c 783 1034 1185.91 371.08 3.20 1000000 0 626.95/627.25 c 752 878 1178.31 378.70 3.11 1000000 0 630.85/631.16 c 686 838 1172.67 370.06 3.17 1000000 0 634.74/635.06 c 794 1037 1190.48 366.58 3.25 1000000 0 638.64/638.98 c 797 945 1153.90 347.83 3.32 1000000 0 642.64/642.92 c 750 882 1186.87 372.78 3.18 1000000 0 646.55/646.84 c 817 1045 1183.29 329.18 3.59 1000000 0 650.44/650.74 c 701 966 1137.03 371.01 3.06 1000000 0 654.34/654.67 c 805 957 1207.29 360.73 3.35 1000000 0 658.24/658.58 c 806 970 1192.37 336.16 3.55 1000000 0 662.13/662.48 c 781 919 1176.29 371.87 3.16 1000000 0 666.03/666.38 c 841 930 1224.51 365.76 3.35 1000000 0 669.93/670.28 c 834 902 1252.57 374.94 3.34 1000000 0 673.94/674.21 c 745 930 1215.90 412.59 2.95 1000000 0 677.83/678.11 c 758 881 1180.36 391.39 3.02 1000000 0 681.73/682.02 c 736 976 1197.96 390.93 3.06 1000000 0 685.62/685.93 c 749 904 1171.76 384.65 3.05 1000000 0 689.52/689.83 c 676 745 1215.42 368.00 3.30 1000000 0 693.42/693.73 c 732 839 1190.91 395.06 3.01 1000000 0 697.32/697.64 c 758 940 1189.02 365.73 3.25 1000000 0 701.22/701.52 c 794 1005 1168.54 351.26 3.33 1000000 0 705.12/705.44 c 825 965 1242.31 366.00 3.39 1000000 0 709.02/709.36 c 727 855 1174.63 387.65 3.03 1000000 0 712.92/713.28 c 693 880 1159.26 370.24 3.13 1000000 0 716.82/717.20 c 717 935 1207.89 375.07 3.22 1000000 0 720.81/721.15 c 762 963 1160.64 342.50 3.39 1000000 0 724.71/725.05 c 708 812 1174.82 364.69 3.22 1000000 0 728.61/728.95 c 786 876 1187.80 347.39 3.42 1000000 0 732.51/732.87 c 804 1044 1199.72 367.49 3.26 1000000 0 736.41/736.77 c 823 983 1212.87 327.08 3.71 1000000 0 740.31/740.64 c 780 1036 1186.62 348.05 3.41 1000000 0 744.21/744.57 c 709 833 1163.97 385.98 3.02 1000000 0 748.20/748.56 c 773 901 1188.82 415.35 2.86 1000000 0 752.20/752.52 c 703 873 1191.74 382.47 3.12 1000000 0 756.10/756.48 c 774 1027 1195.35 398.43 3.00 1000000 0 760.10/760.44 c 738 882 1200.94 358.06 3.35 1000000 0 764.00/764.35 c 820 1061 1190.46 323.74 3.68 1000000 0 768.00/768.31 c 729 747 1173.16 402.88 2.91 1000000 0 771.90/772.25 c 725 886 1189.25 392.27 3.03 1000000 0 775.79/776.17 c 691 801 1137.00 395.24 2.88 1000000 0 779.69/780.09 c 735 922 1184.41 384.92 3.08 1000000 0 783.69/784.01 c 792 985 1209.42 377.89 3.20 1000000 0 787.59/787.94 c 767 932 1168.54 385.92 3.03 1000000 0 791.49/791.84 c 753 846 1159.33 365.65 3.17 1000000 0 795.39/795.78 c 832 975 1239.77 346.59 3.58 1000000 0 799.29/799.70 c 765 922 1160.95 409.11 2.84 1000000 0 803.28/803.60 c 770 1029 1202.41 369.60 3.25 1000000 0 807.18/807.54 c 733 969 1150.46 373.08 3.08 1000000 0 811.08/811.49 c 683 747 1146.95 399.17 2.87 1000000 0 815.08/815.42 c 726 888 1158.58 375.58 3.08 1000000 0 818.98/819.33 c 798 831 1188.78 349.85 3.40 1000000 0 822.88/823.24 c 773 982 1165.84 372.50 3.13 1000000 0 826.78/827.12 c 796 805 1171.41 340.66 3.44 1000000 0 830.67/831.04 c 818 992 1206.17 360.07 3.35 1000000 0 834.58/834.97 c 706 904 1150.13 355.15 3.24 1000000 0 838.47/838.89 c 737 801 1203.52 385.46 3.12 1000000 0 842.47/842.83 c 744 879 1206.84 398.84 3.03 1000000 0 846.37/846.76 c 747 778 1207.00 390.34 3.09 1000000 0 850.37/850.71 c 863 953 1214.40 345.00 3.52 1000000 0 854.27/854.60 c 824 999 1223.89 372.60 3.28 1000000 0 858.06/858.49 c 733 943 1171.62 355.81 3.29 1000000 0 861.97/862.38 c 786 1011 1206.61 352.66 3.42 1000000 0 865.96/866.34 c 758 964 1230.43 410.31 3.00 1000000 0 869.86/870.26 c 792 833 1184.47 341.90 3.46 1000000 0 873.76/874.16 c 775 1003 1175.36 364.99 3.22 1000000 0 877.65/878.09 c 751 985 1194.39 383.09 3.12 1000000 0 881.55/881.99 c 762 851 1180.83 358.41 3.29 1000000 0 885.55/885.91 c 783 913 1208.14 365.76 3.30 1000000 0 889.46/889.88 c 741 982 1165.32 390.75 2.98 1000000 0 893.35/893.77 c 776 896 1203.64 370.12 3.25 1000000 0 897.35/897.71 c 703 935 1124.22 364.17 3.09 1000000 0 901.25/901.61 c 733 1002 1186.83 359.36 3.30 1000000 0 905.15/905.52 c 827 995 1226.43 383.63 3.20 1000000 0 909.04/909.43 c 746 924 1206.00 383.73 3.14 1000000 0 912.94/913.37 c 748 1000 1186.24 385.10 3.08 1000000 0 916.84/917.28 c 697 927 1175.57 406.65 2.89 1000000 0 920.84/921.22 c 818 1055 1233.00 403.25 3.06 1000000 0 924.75/925.14 c 720 956 1212.59 365.44 3.32 1000000 0 928.74/929.10 c 729 929 1122.93 380.47 2.95 1000000 0 932.64/933.03 c 784 1029 1201.53 376.42 3.19 1000000 0 936.53/936.93 c 784 1034 1201.97 359.99 3.34 1000000 0 940.43/940.86 c 757 993 1215.52 390.21 3.12 1000000 0 944.33/944.76 c 745 944 1172.30 392.10 2.99 1000000 0 948.23/948.66 c 774 954 1194.25 397.42 3.01 1000000 0 952.14/952.57 c 741 895 1178.58 362.04 3.26 1000000 0 956.03/956.49 c 740 807 1168.93 359.38 3.25 1000000 0 960.03/960.42 c 739 841 1191.39 388.18 3.07 1000000 0 963.92/964.33 c 731 1024 1180.62 357.80 3.30 1000000 0 967.82/968.23 c 718 813 1154.96 391.55 2.95 1000000 0 971.72/972.11 c 752 966 1136.92 395.30 2.88 1000000 0 975.62/976.03 c 764 947 1162.41 393.56 2.95 1000000 0 979.52/979.96 c 717 901 1142.26 388.19 2.94 1000000 0 983.42/983.86 c 800 941 1186.96 340.15 3.49 1000000 0 987.32/987.80 c 763 956 1156.17 370.94 3.12 1000000 0 991.22/991.68 c 789 855 1209.18 379.01 3.19 1000000 0 995.12/995.59 c 693 790 1193.51 358.79 3.33 1000000 0 999.11/999.50 c 723 896 1163.31 359.12 3.24 1000000 0 1003.01/1003.42 c 743 970 1203.12 395.01 3.05 1000000 0 1006.91/1007.34 c 733 889 1154.96 371.91 3.11 1000000 0 1010.81/1011.26 c 759 903 1224.36 370.56 3.30 1000000 0 1014.71/1015.17 c 723 946 1137.83 354.09 3.21 1000000 0 1018.61/1019.09 c 713 1001 1174.76 362.77 3.24 1000000 0 1022.61/1023.03 c 750 890 1166.72 350.83 3.33 1000000 0 1026.50/1026.96 c 763 1052 1191.32 395.94 3.01 1000000 0 1030.40/1030.87 c 755 1098 1123.63 358.79 3.13 1000000 0 1034.30/1034.73 c 783 896 1205.80 363.16 3.32 1000000 0 1038.20/1038.65 c 718 877 1226.44 394.59 3.11 1000000 0 1042.10/1042.55 c 784 1024 1192.25 324.26 3.68 1000000 0 1045.99/1046.45 c 803 1053 1199.62 376.44 3.19 1000000 0 1049.89/1050.37 c 754 931 1187.47 410.40 2.89 1000000 0 1053.79/1054.26 c 770 1036 1186.00 363.12 3.27 1000000 0 1057.70/1058.19 c 817 999 1214.62 345.07 3.52 1000000 0 1061.69/1062.12 c 816 1061 1225.83 368.07 3.33 1000000 0 1065.50/1065.99 c 734 781 1167.80 357.40 3.27 1000000 0 1069.49/1069.90 c 770 974 1209.02 388.40 3.11 1000000 0 1073.39/1073.82 c 746 904 1144.74 358.41 3.19 1000000 0 1077.28/1077.72 c 851 966 1212.13 329.58 3.68 1000000 0 1081.18/1081.68 c 685 962 1154.74 394.26 2.93 1000000 0 1085.19/1085.61 c 740 959 1179.09 376.05 3.14 1000000 0 1089.08/1089.52 c 724 821 1178.47 397.94 2.96 1000000 0 1092.99/1093.43 c 721 1044 1174.25 378.63 3.10 1000000 0 1096.88/1097.37 c 763 876 1156.34 365.69 3.16 1000000 0 1100.78/1101.28 c 699 897 1123.99 370.64 3.03 1000000 0 1104.78/1105.23 c 734 840 1182.99 427.76 2.77 1000000 0 1108.67/1109.14 c 729 854 1135.59 380.30 2.99 1000000 0 1112.57/1113.04 c 665 842 1099.37 386.39 2.85 1000000 0 1116.47/1116.99 c 747 954 1200.48 389.61 3.08 1000000 0 1120.38/1120.90 c 786 897 1196.44 375.42 3.19 1000000 0 1124.37/1124.82 c 799 987 1160.06 350.37 3.31 1000000 0 1128.27/1128.76 c 769 961 1193.72 409.61 2.91 1000000 0 1132.26/1132.70 c 792 1026 1201.84 376.89 3.19 1000000 0 1136.06/1136.58 c 723 748 1180.29 383.03 3.08 1000000 0 1139.96/1140.46 c 749 830 1216.93 369.06 3.30 1000000 0 1143.86/1144.39 c 816 961 1206.92 363.34 3.32 1000000 0 1147.76/1148.28 c 716 831 1170.87 355.29 3.30 1000000 0 1151.76/1152.22 c 773 993 1176.94 377.86 3.11 1000000 0 1155.66/1156.15 c 761 975 1165.69 382.20 3.05 1000000 0 1159.55/1160.08 c 779 1027 1159.24 377.16 3.07 1000000 0 1163.55/1164.00 c 740 998 1164.99 351.54 3.31 1000000 0 1167.35/1167.88 c 727 973 1179.17 378.96 3.11 1000000 0 1171.35/1171.81 c 739 893 1194.61 408.13 2.93 1000000 0 1175.25/1175.77 c 795 949 1211.91 396.79 3.05 1000000 0 1179.14/1179.66 c 711 988 1142.04 344.34 3.32 1000000 0 1183.05/1183.55 c 695 967 1198.98 368.56 3.25 1000000 0 1186.94/1187.45 c 757 1012 1145.15 347.96 3.29 1000000 0 1190.85/1191.38 c 714 897 1140.64 371.35 3.07 1000000 0 1194.84/1195.32 c 724 899 1156.38 401.55 2.88 1000000 0 1198.74/1199.27 c 732 928 1173.89 348.35 3.37 1000000 0 1202.63/1203.16 c 804 1174 1210.94 377.81 3.21 1000000 0 1206.63/1207.12 c 715 965 1195.88 384.85 3.11 1000000 0 1210.54/1211.03 c 785 874 1215.05 362.28 3.35 1000000 0 1214.43/1214.94 c 773 971 1189.46 399.36 2.98 1000000 0 1218.34/1218.84 c 772 942 1199.65 380.25 3.15 1000000 0 1222.23/1222.77 c 706 878 1192.75 394.02 3.03 1000000 0 1226.13/1226.65 c 721 933 1150.65 333.72 3.45 1000000 0 1230.03/1230.59 c 816 974 1193.41 349.31 3.42 1000000 0 1234.02/1234.50 c 722 907 1158.97 370.77 3.13 1000000 0 1237.92/1238.43 c 744 925 1155.65 386.24 2.99 1000000 0 1241.82/1242.37 c 766 1043 1164.92 355.76 3.27 1000000 0 1245.73/1246.28 c 811 1182 1205.98 354.03 3.41 1000000 0 1249.62/1250.19 c 802 917 1224.75 405.31 3.02 1000000 0 1253.62/1254.13 c 773 922 1179.46 355.98 3.31 1000000 0 1257.51/1258.06 c 730 805 1154.21 384.09 3.01 1000000 0 1261.41/1261.98 c 685 914 1154.57 370.67 3.11 1000000 0 1265.31/1265.89 c 764 941 1175.24 372.87 3.15 1000000 0 1269.21/1269.77 c 751 880 1169.85 400.77 2.92 1000000 0 1273.22/1273.70 c 737 971 1158.87 365.67 3.17 1000000 0 1277.11/1277.63 c 740 853 1186.04 377.73 3.14 1000000 0 1281.01/1281.56 c 742 989 1170.29 361.85 3.23 1000000 0 1284.90/1285.49 c 740 930 1170.27 349.48 3.35 1000000 0 1288.90/1289.43 c 738 863 1171.89 381.53 3.07 1000000 0 1292.80/1293.34 c 769 1002 1164.64 342.21 3.40 1000000 0 1296.70/1297.20 c 737 1066 1192.88 339.70 3.51 1000000 0 1300.50/1301.08 c 703 983 1125.64 360.68 3.12 1000000 0 1304.50/1305.04 c 762 840 1207.02 368.03 3.28 1000000 0 1308.41/1308.98 c 781 941 1248.32 381.18 3.27 1000000 0 1312.30/1312.89 c 759 893 1161.40 390.66 2.97 1000000 0 1316.20/1316.72 c 653 936 1121.53 384.37 2.92 1000000 0 1320.09/1320.65 c 775 854 1160.36 318.56 3.64 1000000 0 1323.99/1324.55 c 766 974 1171.80 375.94 3.12 1000000 0 1327.89/1328.41 c 657 942 1097.89 341.85 3.21 1000000 0 1331.79/1332.32 c 823 1033 1224.56 367.10 3.34 1000000 0 1335.69/1336.20 c 757 893 1140.63 363.10 3.14 1000000 0 1339.59/1340.13 c 796 1058 1177.80 373.03 3.16 1000000 0 1343.48/1344.04 c 746 974 1169.08 402.02 2.91 1000000 0 1347.38/1347.96 c 747 907 1168.33 387.97 3.01 1000000 0 1351.29/1351.86 c 806 1028 1169.54 324.00 3.61 1000000 0 1355.18/1355.75 c 826 1023 1192.11 341.44 3.49 1000000 0 1359.09/1359.68 c 724 868 1159.22 358.52 3.23 1000000 0 1363.08/1363.63 c 789 1098 1181.36 375.90 3.14 1000000 0 1366.98/1367.56 c 799 1055 1148.05 338.22 3.39 1000000 0 1370.87/1371.46 c 744 1018 1194.82 407.09 2.94 1000000 0 1374.77/1375.37 c 804 962 1177.72 369.94 3.18 1000000 0 1378.67/1379.28 c 759 967 1191.83 388.23 3.07 1000000 0 1382.67/1383.21 c 747 850 1179.29 371.80 3.17 1000000 0 1386.58/1387.16 c 705 921 1179.79 384.49 3.07 1000000 0 1390.47/1391.07 c 759 841 1140.18 345.30 3.30 1000000 0 1394.37/1394.98 c 685 878 1128.51 363.25 3.11 1000000 0 1398.36/1398.91 c 756 914 1178.03 393.46 2.99 1000000 0 1402.16/1402.79 c 796 1025 1181.47 375.81 3.14 1000000 0 1406.16/1406.72 c 770 1019 1212.51 368.69 3.29 1000000 0 1410.06/1410.65 c 741 981 1165.23 371.84 3.13 1000000 0 1413.97/1414.59 c 754 806 1186.24 370.15 3.20 1000000 0 1417.96/1418.54 c 735 870 1113.49 370.91 3.00 1000000 0 1421.86/1422.46 c 725 912 1186.24 409.80 2.89 1000000 0 1425.76/1426.37 c 796 1010 1218.78 398.24 3.06 1000000 0 1429.65/1430.29 c 737 861 1167.42 334.66 3.49 1000000 0 1433.65/1434.26 c 777 973 1182.39 383.69 3.08 1000000 0 1437.55/1438.18 c 791 1067 1192.51 366.06 3.26 1000000 0 1441.46/1442.09 c 790 1004 1199.51 381.76 3.14 1000000 0 1445.45/1446.00 c 755 959 1165.14 380.35 3.06 1000000 0 1449.35/1449.97 c 805 836 1208.35 378.06 3.20 1000000 0 1453.25/1453.87 c 770 931 1187.54 352.20 3.37 1000000 0 1457.24/1457.81 c 734 782 1139.49 376.66 3.03 1000000 0 1461.14/1461.71 c 776 941 1165.08 362.90 3.21 1000000 0 1465.04/1465.64 c 776 953 1172.05 393.08 2.98 1000000 0 1468.95/1469.57 c 786 961 1177.25 373.15 3.15 1000000 0 1472.84/1473.46 c 776 810 1187.93 361.08 3.29 1000000 0 1476.74/1477.32 c 758 963 1202.22 353.85 3.40 1000000 0 1480.64/1481.25 c 752 913 1196.30 381.62 3.13 1000000 0 1484.54/1485.18 c 812 912 1236.99 385.83 3.21 1000000 0 1488.54/1489.11 c 728 912 1174.87 387.43 3.03 1000000 0 1492.44/1493.01 c 765 917 1174.60 395.57 2.97 1000000 0 1496.34/1496.91 c 741 999 1206.68 387.54 3.11 1000000 0 1500.23/1500.84 c 794 964 1225.48 377.75 3.24 1000000 0 1504.14/1504.77 c 711 954 1170.59 378.84 3.09 1000000 0 1508.03/1508.64 c 757 946 1172.02 385.39 3.04 1000000 0 1511.94/1512.53 c 742 988 1206.88 396.76 3.04 1000000 0 1515.83/1516.43 c 814 971 1214.73 374.56 3.24 1000000 0 1519.72/1520.36 c 772 968 1235.12 392.36 3.15 1000000 0 1523.72/1524.31 c 789 963 1212.62 373.83 3.24 1000000 0 1527.62/1528.20 c 744 1112 1150.25 358.75 3.21 1000000 0 1531.52/1532.12 c 776 1053 1182.74 340.05 3.48 1000000 0 1535.42/1536.02 c 762 900 1155.81 326.92 3.54 1000000 0 1539.32/1539.92 c 789 881 1199.16 370.24 3.24 1000000 0 1543.21/1543.85 c 788 874 1201.35 387.81 3.10 1000000 0 1547.12/1547.75 c 715 979 1187.75 360.10 3.30 1000000 0 1551.01/1551.67 c 736 893 1168.55 384.84 3.04 1000000 0 1555.01/1555.60 c 713 775 1174.43 377.73 3.11 1000000 0 1558.91/1559.55 c 819 911 1236.05 365.79 3.38 1000000 0 1562.81/1563.47 c 789 843 1185.67 389.95 3.04 1000000 0 1566.81/1567.41 c 727 955 1152.38 390.65 2.95 1000000 0 1570.70/1571.31 c 812 938 1207.85 356.16 3.39 1000000 0 1574.61/1575.22 c 718 852 1184.83 422.41 2.80 1000000 0 1578.50/1579.11 c 846 1184 1214.71 366.97 3.31 1000000 0 1582.40/1583.05 c 758 845 1191.32 372.08 3.20 1000000 0 1586.30/1586.97 c 793 931 1194.11 389.48 3.07 1000000 0 1590.30/1590.91 c 718 844 1155.57 396.81 2.91 1000000 0 1594.20/1594.83 c 773 1072 1170.50 345.40 3.39 1000000 0 1598.09/1598.75 c 765 977 1196.29 354.86 3.37 1000000 0 1602.00/1602.69 c 785 959 1175.00 362.24 3.24 1000000 0 1605.99/1606.65 c 766 1054 1220.38 373.48 3.27 1000000 0 1609.89/1610.56 c 771 850 1187.29 352.76 3.37 1000000 0 1613.79/1614.49 c 801 943 1212.75 397.49 3.05 1000000 0 1617.79/1618.41 c 733 929 1172.26 363.01 3.23 1000000 0 1621.69/1622.35 c 694 925 1168.10 365.89 3.19 1000000 0 1625.58/1626.25 c 755 946 1181.69 349.80 3.38 1000000 0 1629.49/1630.20 c 711 913 1161.31 389.70 2.98 1000000 0 1633.48/1634.15 c 763 1030 1163.42 333.66 3.49 1000000 0 1637.38/1638.07 c 774 925 1206.26 391.77 3.08 1000000 0 1641.28/1641.96 c 770 962 1165.57 374.71 3.11 1000000 0 1645.18/1645.85 c 777 956 1199.12 365.35 3.28 1000000 0 1649.08/1649.75 c 721 929 1185.12 363.42 3.26 1000000 0 1652.97/1653.66 c 825 913 1239.73 351.56 3.53 1000000 0 1656.87/1657.56 c 833 1027 1217.96 344.75 3.53 1000000 0 1660.77/1661.48 c 786 948 1200.21 357.06 3.36 1000000 0 1664.68/1665.38 c 799 950 1214.20 360.18 3.37 1000000 0 1668.67/1669.30 c 802 955 1199.67 368.22 3.26 1000000 0 1672.57/1673.24 c 810 1009 1186.29 344.98 3.44 1000000 0 1676.47/1677.11 c 808 942 1201.55 324.84 3.70 1000000 0 1680.26/1680.98 c 763 867 1171.44 363.82 3.22 1000000 0 1684.26/1684.90 c 705 956 1181.28 396.42 2.98 1000000 0 1688.16/1688.80 c 657 1008 1108.57 386.19 2.87 1000000 0 1692.06/1692.72 c 724 967 1148.85 395.92 2.90 1000000 0 1695.96/1696.64 c 790 972 1171.20 368.15 3.18 1000000 0 1699.86/1700.56 c 706 943 1164.01 395.33 2.94 1000000 0 1703.76/1704.43 c 729 924 1217.62 373.99 3.26 1000000 0 1707.66/1708.31 c 723 936 1202.80 384.60 3.13 1000000 0 1711.55/1712.23 c 802 919 1189.60 350.73 3.39 1000000 0 1715.45/1716.11 c 770 922 1187.70 374.45 3.17 1000000 0 1719.35/1720.02 c 847 1043 1223.23 327.38 3.74 1000000 0 1723.25/1723.99 c 753 878 1172.84 384.05 3.05 1000000 0 1727.25/1727.92 c 727 875 1202.38 391.53 3.07 1000000 0 1731.15/1731.86 c 816 1040 1243.97 398.65 3.12 1000000 0 1735.05/1735.78 c 762 973 1194.33 385.98 3.09 1000000 0 1739.04/1739.73 c 818 1058 1218.52 386.46 3.15 1000000 0 1742.94/1743.69 c 719 922 1182.38 409.35 2.89 1000000 0 1746.94/1747.61 c 812 1039 1249.32 372.62 3.35 1000000 0 1750.74/1751.49 c 778 838 1162.44 335.78 3.46 1000000 0 1754.64/1755.38 c 803 1034 1217.07 380.53 3.20 1000000 0 1758.64/1759.32 c 796 958 1197.76 345.15 3.47 1000000 0 1762.54/1763.23 c 724 962 1176.23 388.78 3.03 1000000 0 1766.43/1767.12 c 777 984 1192.83 406.05 2.94 1000000 0 1770.34/1771.06 c 676 802 1136.67 401.36 2.83 1000000 0 1774.23/1774.93 c 793 892 1226.47 384.03 3.19 1000000 0 1778.13/1778.81 c 668 820 1123.89 371.13 3.03 1000000 0 1782.03/1782.73 c 738 820 1197.04 419.33 2.85 1000000 0 1785.93/1786.64 c 790 955 1158.84 369.67 3.13 1000000 0 1789.83/1790.57 c 745 946 1163.56 379.46 3.07 1000000 0 1793.73/1794.48 c 772 972 1165.14 348.91 3.34 1000000 0 1797.73/1798.43 c 757 1056 1155.90 363.88 3.18 1000000 0 1800.04/1800.71 HOME/run: line 2: 9808 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-2669550-1276609986/watcher-2669550-1276609986 -o /tmp/evaluation-result-2669550-1276609986/solver-2669550-1276609986 -C 1800 -W 2000 -M 1800 run HOME/instance-2669550-1276609986.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9807 /proc/meminfo: memFree=1516184/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) R 9805 9807 9422 0 -1 4202496 343 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965050773 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [startup+0.0125401 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9807 /proc/meminfo: memFree=1516184/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100551 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9807 /proc/meminfo: memFree=1516184/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300584 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9807 /proc/meminfo: memFree=1516184/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.70065 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9807 /proc/meminfo: memFree=1516184/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50078 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9809 /proc/meminfo: memFree=1508604/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=1.48 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1844 0 0 0 148 0 0 0 25 0 1 0 2289531 41422848 1773 1992294400 134512640 135071400 4292947216 18446744073709551615 134537238 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1773 62 137 0 9974 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 49152 [startup+3.10205 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9809 /proc/meminfo: memFree=1508480/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=3.09 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1844 0 0 0 309 0 0 0 25 0 1 0 2289531 41422848 1773 1992294400 134512640 135071400 4292947216 18446744073709551615 134526333 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1773 62 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30159 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9809 /proc/meminfo: memFree=1508480/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=6.28 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1852 0 0 0 628 0 0 0 25 0 1 0 2289531 41422848 1781 1992294400 134512640 135071400 4292947216 18446744073709551615 134525671 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1781 69 137 0 9974 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 49152 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9809 /proc/meminfo: memFree=1508356/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=12.68 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1852 0 0 0 1268 0 0 0 25 0 1 0 2289531 41422848 1781 1992294400 134512640 135071400 4292947216 18446744073709551615 134526712 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1781 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5008 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9809 /proc/meminfo: memFree=1508356/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=25.48 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1852 0 0 0 2548 0 0 0 25 0 1 0 2289531 41422848 1781 1992294400 134512640 135071400 4292947216 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1781 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9809 /proc/meminfo: memFree=1508356/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=51.06 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1852 0 0 0 5106 0 0 0 25 0 1 0 2289531 41422848 1781 1992294400 134512640 135071400 4292947216 18446744073709551615 134519813 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1781 69 137 0 9974 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 49152 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9811 /proc/meminfo: memFree=1508232/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=102.25 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1853 0 0 0 10225 0 0 0 25 0 1 0 2289531 41422848 1782 1992294400 134512640 135071400 4292947216 18446744073709551615 134526328 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1782 69 137 0 9974 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 1.06 1.01 1.00 2/108 9813 /proc/meminfo: memFree=1508108/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=162.22 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1853 0 0 0 16222 0 0 0 25 0 1 0 2289531 41422848 1782 1992294400 134512640 135071400 4292947216 18446744073709551615 134526261 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1782 69 137 0 9974 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 1.02 1.01 1.00 2/108 9815 /proc/meminfo: memFree=1508108/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=222.21 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1853 0 0 0 22220 1 0 0 25 0 1 0 2289531 41422848 1782 1992294400 134512640 135071400 4292947216 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1782 69 137 0 9974 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 49152 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9815 /proc/meminfo: memFree=1507984/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=282.19 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1853 0 0 0 28218 1 0 0 25 0 1 0 2289531 41422848 1782 1992294400 134512640 135071400 4292947216 18446744073709551615 134526672 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1782 69 137 0 9974 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9817 /proc/meminfo: memFree=1507860/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=342.16 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1853 0 0 0 34215 1 0 0 25 0 1 0 2289531 41422848 1782 1992294400 134512640 135071400 4292947216 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1782 69 137 0 9974 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9819 /proc/meminfo: memFree=1507860/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=402.14 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1853 0 0 0 40213 1 0 0 25 0 1 0 2289531 41422848 1782 1992294400 134512640 135071400 4292947216 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1782 69 137 0 9974 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=1121.87 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1853 0 0 0 112186 1 0 0 25 0 1 0 2289531 41422848 1782 1992294400 134512640 135071400 4292947216 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1782 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9848 /proc/meminfo: memFree=1506124/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=1181.84 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1853 0 0 0 118183 1 0 0 25 0 1 0 2289531 41422848 1782 1992294400 134512640 135071400 4292947216 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1782 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9850 /proc/meminfo: memFree=1505876/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=1241.82 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1853 0 0 0 124181 1 0 0 25 0 1 0 2289531 41422848 1782 1992294400 134512640 135071400 4292947216 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1782 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9852 /proc/meminfo: memFree=1505752/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=1301.81 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1853 0 0 0 130180 1 0 0 25 0 1 0 2289531 41422848 1782 1992294400 134512640 135071400 4292947216 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1782 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9854 /proc/meminfo: memFree=1505628/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=1361.78 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1853 0 0 0 136177 1 0 0 25 0 1 0 2289531 41422848 1782 1992294400 134512640 135071400 4292947216 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1782 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9856 /proc/meminfo: memFree=1505628/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=1421.76 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1853 0 0 0 142175 1 0 0 25 0 1 0 2289531 41422848 1782 1992294400 134512640 135071400 4292947216 18446744073709551615 134525885 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1782 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9856 /proc/meminfo: memFree=1505628/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=1481.74 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1853 0 0 0 148172 2 0 0 25 0 1 0 2289531 41422848 1782 1992294400 134512640 135071400 4292947216 18446744073709551615 134526403 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1782 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9858 /proc/meminfo: memFree=1505504/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=1541.71 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1853 0 0 0 154169 2 0 0 25 0 1 0 2289531 41422848 1782 1992294400 134512640 135071400 4292947216 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1782 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9860 /proc/meminfo: memFree=1505380/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=1601.69 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1853 0 0 0 160167 2 0 0 25 0 1 0 2289531 41422848 1782 1992294400 134512640 135071400 4292947216 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1782 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9862 /proc/meminfo: memFree=1505256/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=1661.67 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1853 0 0 0 166165 2 0 0 25 0 1 0 2289531 41422848 1782 1992294400 134512640 135071400 4292947216 18446744073709551615 134525746 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1782 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9864 /proc/meminfo: memFree=1505132/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=1721.65 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1853 0 0 0 172163 2 0 0 25 0 1 0 2289531 41422848 1782 1992294400 134512640 135071400 4292947216 18446744073709551615 134519749 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1782 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9864 /proc/meminfo: memFree=1505008/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=1781.63 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1853 0 0 0 178161 2 0 0 25 0 1 0 2289531 41422848 1782 1992294400 134512640 135071400 4292947216 18446744073709551615 134526311 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1782 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9866 /proc/meminfo: memFree=1505008/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=1800.04 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1853 0 0 0 180002 2 0 0 25 0 1 0 2289531 41422848 1782 1992294400 134512640 135071400 4292947216 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1782 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 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9866 /proc/meminfo: memFree=1505008/2059040 swapFree=4192956/4192956 [pid=9807] ppid=9805 vsize=8700 CPUtime=0 /proc/9807/stat : 9807 (run) S 9805 9807 9422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2289530 8908800 244 1992294400 4194304 4922060 140733965072240 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9807/statm: 2175 244 204 178 0 68 0 [pid=9808] ppid=9807 vsize=40452 CPUtime=1800.04 /proc/9808/stat : 9808 (PB-wave) R 9807 9807 9422 0 -1 4202496 1853 0 0 0 180002 2 0 0 25 0 1 0 2289531 41422848 1782 1992294400 134512640 135071400 4292947216 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9808/statm: 10113 1782 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.72 CPU time (s): 1800.05 CPU user time (s): 1800.02 CPU system time (s): 0.026995 CPU usage (%): 99.9628 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.02 system time used= 0.026995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2225 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= 5912 runsolver used 2.92955 second user time and 8.5807 second system time The end
Begin job on node055 at 2010-06-15 15:53:06 IDJOB=2669550 IDBENCH=1449 IDSOLVER=1171 FILE ID=node055/2669550-1276609986 PBS_JOBID= 11172274 Free space on /tmp= 62476 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669550-1276609986/watcher-2669550-1276609986 -o /tmp/evaluation-result-2669550-1276609986/solver-2669550-1276609986 -C 1800 -W 2000 -M 1800 run HOME/instance-2669550-1276609986.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9d22902ade96af236e70cdbf7d8bd853 RANDOM SEED=356038475 node055.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.258 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.51 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.258 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1516704 kB Buffers: 64664 kB Cached: 351232 kB SwapCached: 0 kB Active: 193060 kB Inactive: 282080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1516704 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2808 kB Writeback: 60 kB AnonPages: 59280 kB Mapped: 15400 kB Slab: 45648 kB PageTables: 3916 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183204 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= 62476 MiB End job on node055 at 2010-06-15 16:23:07