Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topDown | OPTIMUM | 1257.55 | 1252.14 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh309_wcsp.wbo |
MD5SUM | 9ccb130e1efb7ba02e23bcfacb5f0a47 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 276 |
Best CPU time to get the best result obtained on this benchmark | 0.06199 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 200 |
Total number of constraints | 1000 |
Number of soft constraints | 900 |
Number of constraints which are clauses | 900 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 11 |
Top cost | 444855 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 444854 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 21 |
Number of bits of the biggest sum of numbers | 5 |
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.02 c run usual solver 0.00/0.06 o 2629 0.00/0.06 c fallback to adder encoding 15.44/15.52 o 2625 15.44/15.52 c fallback to adder encoding 20.45/20.53 o 2624 20.45/20.53 c fallback to adder encoding 26.16/26.23 o 2619 26.16/26.23 c fallback to adder encoding 30.83/30.90 o 2618 30.83/30.90 c fallback to adder encoding 35.17/35.27 o 2617 35.17/35.27 c fallback to adder encoding 40.56/40.70 o 2602 40.56/40.70 c fallback to adder encoding 46.76/46.87 o 2588 46.76/46.87 c fallback to adder encoding 52.54/52.61 o 2587 52.54/52.61 c fallback to adder encoding 58.86/58.93 o 2584 58.86/58.93 c fallback to adder encoding 62.25/62.33 o 2580 62.25/62.33 c fallback to adder encoding 67.74/67.82 o 2576 67.74/67.82 c fallback to adder encoding 77.65/77.73 o 2574 77.65/77.73 c fallback to adder encoding 86.25/86.37 o 2562 86.25/86.37 c fallback to adder encoding 97.82/97.92 o 2561 97.82/97.92 c fallback to adder encoding 104.34/104.49 o 2560 104.34/104.49 c fallback to adder encoding 107.32/107.42 o 2554 107.32/107.42 c fallback to adder encoding 110.45/110.57 o 2545 110.45/110.57 c fallback to adder encoding 114.95/115.09 o 2542 114.95/115.09 c fallback to adder encoding 120.14/120.29 o 2537 120.14/120.29 c fallback to adder encoding 128.93/129.08 o 2479 128.93/129.08 c fallback to adder encoding 131.23/131.35 o 2473 131.23/131.35 c fallback to adder encoding 135.51/135.61 o 2472 135.51/135.61 c fallback to adder encoding 141.89/142.00 o 2469 141.89/142.00 c fallback to adder encoding 144.32/144.49 o 2465 144.32/144.49 c fallback to adder encoding 150.01/150.11 o 2464 150.01/150.11 c fallback to adder encoding 157.33/157.45 o 2461 157.33/157.45 c fallback to adder encoding 162.33/162.43 o 2460 162.33/162.43 c fallback to adder encoding 168.61/168.71 o 2457 168.61/168.71 c fallback to adder encoding 173.22/173.39 o 2452 173.22/173.39 c fallback to adder encoding 179.63/179.76 o 2451 179.63/179.76 c fallback to adder encoding 186.83/186.98 o 2450 186.83/186.98 c fallback to adder encoding 193.82/193.93 o 2449 193.82/193.93 c fallback to adder encoding 197.54/197.60 o 2446 197.54/197.60 c fallback to adder encoding 204.09/204.21 o 2443 204.09/204.21 c fallback to adder encoding 210.42/210.54 o 2440 210.42/210.54 c fallback to adder encoding 215.42/215.57 o 2437 215.42/215.57 c fallback to adder encoding 219.81/219.98 o 2434 219.81/219.98 c fallback to adder encoding 227.10/227.28 o 2433 227.10/227.28 c fallback to adder encoding 231.40/231.56 o 2432 231.40/231.56 c fallback to adder encoding 235.89/236.08 o 2431 235.89/236.08 c fallback to adder encoding 241.90/242.08 o 2429 241.90/242.08 c fallback to adder encoding 247.58/247.73 o 2428 247.58/247.73 c fallback to adder encoding 250.79/250.96 o 2424 250.79/250.96 c fallback to adder encoding 255.05/255.21 o 2423 255.05/255.21 c fallback to adder encoding 262.45/262.60 o 2418 262.45/262.60 c fallback to adder encoding 268.19/268.33 o 2413 268.19/268.33 c fallback to adder encoding 273.85/274.02 o 2372 273.85/274.02 c fallback to adder encoding 278.07/278.21 o 2368 278.07/278.21 c fallback to adder encoding 285.47/285.67 o 2367 285.47/285.67 c fallback to adder encoding 289.87/290.04 o 2359 289.87/290.04 c fallback to adder encoding 294.46/294.64 o 2355 294.46/294.64 c fallback to adder encoding 305.23/305.41 o 2353 305.23/305.41 c fallback to adder encoding 308.25/308.44 o 2344 308.25/308.44 c fallback to adder encoding 317.65/317.83 o 2343 317.65/317.83 c fallback to adder encoding 324.44/324.69 o 2338 324.44/324.69 c fallback to adder encoding 331.13/331.32 o 2337 331.13/331.32 c fallback to adder encoding 335.53/335.71 o 2304 335.53/335.71 c fallback to adder encoding 337.55/337.76 o 2303 337.55/337.76 c fallback to adder encoding 344.45/344.64 o 2282 344.45/344.64 c fallback to adder encoding 347.33/347.60 o 2281 347.33/347.60 c fallback to adder encoding 351.13/351.37 o 2280 351.13/351.37 c fallback to adder encoding 355.34/355.55 o 2277 355.34/355.55 c fallback to adder encoding 362.82/363.02 o 2275 362.82/363.02 c fallback to adder encoding 365.93/366.16 o 2274 365.93/366.16 c fallback to adder encoding 372.05/372.20 o 2269 372.05/372.20 c fallback to adder encoding 378.24/378.44 o 2268 378.24/378.44 c fallback to adder encoding 384.03/384.27 o 2265 384.03/384.27 c fallback to adder encoding 393.33/393.58 o 2256 393.33/393.58 c fallback to adder encoding 398.30/398.58 o 2255 398.30/398.58 c fallback to adder encoding 401.87/402.20 o 2251 401.87/402.20 c fallback to adder encoding 408.51/408.85 o 2244 408.51/408.85 c fallback to adder encoding 412.50/412.84 o 2242 412.50/412.84 c fallback to adder encoding 415.10/415.46 o 2235 415.10/415.46 c fallback to adder encoding 419.78/420.12 o 2215 419.78/420.12 c fallback to adder encoding 424.20/424.59 o 2214 424.20/424.59 c fallback to adder encoding 434.59/434.95 o 2213 434.59/434.95 c fallback to adder encoding 440.08/440.44 o 2212 440.08/440.44 c fallback to adder encoding 453.77/454.12 o 2211 453.77/454.12 c fallback to adder encoding 462.55/463.00 o 2210 462.55/463.00 c fallback to adder encoding 470.28/470.80 o 2181 470.28/470.80 c fallback to adder encoding 476.66/477.11 o 2176 476.66/477.11 c fallback to adder encoding 478.98/479.45 o 2170 478.98/479.45 c fallback to adder encoding 482.99/483.49 o 2158 482.99/483.49 c fallback to adder encoding 487.48/487.99 o 2147 487.48/487.99 c fallback to adder encoding 493.56/494.01 o 2146 493.56/494.01 c fallback to adder encoding 499.48/499.94 o 2145 499.48/499.94 c fallback to adder encoding 504.78/505.25 o 2136 504.78/505.25 c fallback to adder encoding 509.88/510.36 o 2128 509.88/510.36 c fallback to adder encoding 516.45/516.96 o 2127 516.45/516.96 c fallback to adder encoding 522.34/522.85 o 2126 522.34/522.85 c fallback to adder encoding 526.54/527.06 o 2125 526.54/527.06 c fallback to adder encoding 531.13/531.62 o 2120 531.13/531.62 c fallback to adder encoding 535.85/536.34 o 2116 535.85/536.34 c fallback to adder encoding 542.96/543.45 o 2115 542.96/543.45 c fallback to adder encoding 552.63/553.12 o 2090 552.63/553.12 c fallback to adder encoding 561.83/562.39 o 2077 561.83/562.39 c fallback to adder encoding 574.02/574.55 o 2073 574.02/574.55 c fallback to adder encoding 580.99/581.51 o 2061 580.99/581.51 c fallback to adder encoding 585.52/586.04 o 2055 585.52/586.04 c fallback to adder encoding 590.62/591.17 o 2053 590.62/591.17 c fallback to adder encoding 594.29/594.80 o 2052 594.29/594.80 c fallback to adder encoding 604.12/604.65 o 2045 604.12/604.65 c fallback to adder encoding 608.92/609.48 o 2040 608.92/609.48 c fallback to adder encoding 614.09/614.60 o 2037 614.09/614.60 c fallback to adder encoding 616.09/616.60 o 2029 616.09/616.60 c fallback to adder encoding 619.61/620.19 o 2028 619.61/620.19 c fallback to adder encoding 624.33/624.88 o 2026 624.33/624.88 c fallback to adder encoding 630.01/630.56 o 2025 630.01/630.56 c fallback to adder encoding 631.18/631.70 o 1981 631.18/631.70 c fallback to adder encoding 641.61/642.19 o 1977 641.61/642.19 c fallback to adder encoding 650.31/650.89 o 1974 650.31/650.89 c fallback to adder encoding 653.31/653.88 o 1965 653.31/653.88 c fallback to adder encoding 656.21/656.76 o 1964 656.21/656.76 c fallback to adder encoding 661.21/661.76 o 1962 661.21/661.76 c fallback to adder encoding 663.29/663.82 o 1958 663.29/663.82 c fallback to adder encoding 670.39/670.96 o 1957 670.39/670.96 c fallback to adder encoding 675.09/675.62 o 1954 675.09/675.62 c fallback to adder encoding 677.37/677.91 o 1953 677.37/677.91 c fallback to adder encoding 684.49/685.06 o 1924 684.49/685.06 c fallback to adder encoding 689.10/689.60 o 1923 689.10/689.60 c fallback to adder encoding 694.30/694.88 o 1922 694.30/694.88 c fallback to adder encoding 699.28/699.83 o 1918 699.28/699.83 c fallback to adder encoding 703.18/703.79 o 1909 703.18/703.79 c fallback to adder encoding 706.31/706.88 o 1900 706.31/706.88 c fallback to adder encoding 708.11/708.64 o 1893 708.11/708.64 c fallback to adder encoding 711.29/711.85 o 1892 711.29/711.85 c fallback to adder encoding 714.16/714.71 o 1885 714.16/714.71 c fallback to adder encoding 719.69/720.23 o 1884 719.69/720.23 c fallback to adder encoding 725.29/725.85 o 1871 725.29/725.85 c fallback to adder encoding 729.38/729.97 o 1868 729.38/729.97 c fallback to adder encoding 738.29/738.83 o 1867 738.29/738.83 c fallback to adder encoding 742.48/743.10 o 1864 742.48/743.10 c fallback to adder encoding 747.98/748.56 o 1859 747.98/748.56 c fallback to adder encoding 752.18/752.77 o 1858 752.18/752.77 c fallback to adder encoding 755.54/756.19 o 1857 755.54/756.19 c fallback to adder encoding 758.24/758.84 o 1856 758.24/758.84 c fallback to adder encoding 760.24/760.86 o 1853 760.24/760.86 c fallback to adder encoding 762.64/763.28 o 1851 762.64/763.28 c fallback to adder encoding 767.72/768.39 o 1842 767.72/768.39 c fallback to adder encoding 772.14/772.78 o 1841 772.14/772.78 c fallback to adder encoding 775.24/775.86 o 1840 775.24/775.86 c fallback to adder encoding 780.12/780.71 o 1838 780.12/780.71 c fallback to adder encoding 783.64/784.25 o 1833 783.64/784.25 c fallback to adder encoding 788.54/789.10 o 1830 788.54/789.10 c fallback to adder encoding 795.91/796.51 o 1829 795.91/796.51 c fallback to adder encoding 798.60/799.21 o 1800 798.60/799.21 c fallback to adder encoding 804.83/805.53 o 1797 804.83/805.53 c fallback to adder encoding 808.14/808.84 o 1794 808.14/808.84 c fallback to adder encoding 813.23/813.92 o 1793 813.23/813.92 c fallback to adder encoding 818.66/819.30 o 1792 818.66/819.30 c fallback to adder encoding 820.22/820.93 o 1788 820.22/820.93 c fallback to adder encoding 827.33/828.08 o 1787 827.33/828.08 c fallback to adder encoding 832.44/833.16 o 1786 832.44/833.16 c fallback to adder encoding 835.20/835.98 o 1782 835.20/835.98 c fallback to adder encoding 838.30/839.10 o 1778 838.30/839.10 c fallback to adder encoding 841.46/842.20 o 1712 841.46/842.20 c fallback to adder encoding 844.91/845.65 o 1699 844.91/845.65 c fallback to adder encoding 853.40/854.17 o 1697 853.40/854.17 c fallback to adder encoding 858.50/859.27 o 1681 858.50/859.27 c fallback to adder encoding 863.01/863.70 o 1672 863.01/863.70 c fallback to adder encoding 866.71/867.46 o 1671 866.71/867.46 c fallback to adder encoding 871.61/872.37 o 1665 871.61/872.37 c fallback to adder encoding 876.89/877.60 o 1664 876.89/877.60 c fallback to adder encoding 879.58/880.30 o 1663 879.58/880.30 c fallback to adder encoding 881.80/882.70 o 1659 881.80/882.70 c fallback to adder encoding 889.41/890.32 o 1658 889.41/890.32 c fallback to adder encoding 891.02/891.97 o 1657 891.02/891.97 c fallback to adder encoding 895.33/896.26 o 1654 895.33/896.26 c fallback to adder encoding 901.22/902.15 o 1653 901.22/902.15 c fallback to adder encoding 905.32/906.20 o 1641 905.32/906.20 c fallback to adder encoding 908.22/909.16 o 1640 908.22/909.16 c fallback to adder encoding 911.29/912.21 o 1633 911.29/912.21 c fallback to adder encoding 911.41/919.84 o 1632 911.41/919.84 c fallback to adder encoding 923.71/924.67 o 1627 923.71/924.67 c fallback to adder encoding 929.30/930.22 o 1626 929.30/930.22 c fallback to adder encoding 932.02/932.97 o 1616 932.02/932.97 c fallback to adder encoding 935.61/936.58 o 1612 935.61/936.58 c fallback to adder encoding 941.92/942.87 o 1605 941.92/942.87 c fallback to adder encoding 946.09/947.01 o 1604 946.09/947.01 c fallback to adder encoding 948.61/949.50 o 1559 948.61/949.50 c fallback to adder encoding 951.51/952.48 o 1558 951.51/952.48 c fallback to adder encoding 955.41/956.37 o 1556 955.41/956.37 c fallback to adder encoding 958.50/959.46 o 1553 958.50/959.46 c fallback to adder encoding 961.71/962.68 o 1552 961.71/962.68 c fallback to adder encoding 964.18/965.13 o 1551 964.18/965.13 c fallback to adder encoding 970.68/971.67 o 1542 970.68/971.67 c fallback to adder encoding 974.29/975.24 o 1541 974.29/975.24 c fallback to adder encoding 979.29/980.25 o 1540 979.29/980.25 c fallback to adder encoding 985.18/986.16 o 1539 985.18/986.16 c fallback to adder encoding 988.64/989.60 o 1536 988.64/989.60 c fallback to adder encoding 992.66/993.62 o 1530 992.66/993.62 c fallback to adder encoding 996.35/997.31 o 1521 996.35/997.31 c fallback to adder encoding 998.48/999.43 o 1489 998.48/999.43 c fallback to adder encoding 1005.07/1006.09 o 1484 1005.07/1006.09 c fallback to adder encoding 1008.67/1009.66 o 1481 1008.67/1009.66 c fallback to adder encoding 1014.28/1015.26 o 1480 1014.28/1015.26 c fallback to adder encoding 1019.29/1020.40 o 1474 1019.29/1020.40 c fallback to adder encoding 1023.82/1024.99 o 1473 1023.82/1024.99 c fallback to adder encoding 1027.82/1028.97 o 1450 1027.82/1028.97 c fallback to adder encoding 1032.03/1033.16 o 1447 1032.03/1033.16 c fallback to adder encoding 1035.82/1036.93 o 984 1035.82/1036.93 c fallback to adder encoding 1038.22/1039.39 o 980 1038.22/1039.39 c fallback to adder encoding 1041.11/1042.28 o 977 1041.11/1042.28 c fallback to adder encoding 1044.12/1045.23 o 976 1044.12/1045.23 c fallback to adder encoding 1045.82/1046.93 o 975 1045.82/1046.93 c fallback to adder encoding 1048.11/1049.27 o 971 1048.11/1049.27 c fallback to adder encoding 1050.49/1051.70 o 960 1050.49/1051.70 c fallback to adder encoding 1053.17/1054.34 o 959 1053.17/1054.34 c fallback to adder encoding 1057.55/1058.73 o 957 1057.55/1058.73 c fallback to adder encoding 1059.94/1061.10 o 940 1059.94/1061.10 c fallback to adder encoding 1061.68/1062.80 o 932 1061.68/1062.80 c fallback to adder encoding 1065.65/1066.84 o 931 1065.65/1066.84 c fallback to adder encoding 1068.56/1069.76 o 926 1068.56/1069.76 c fallback to adder encoding 1071.17/1072.33 o 925 1071.17/1072.33 c fallback to adder encoding 1073.68/1074.88 o 924 1073.68/1074.88 c fallback to adder encoding 1075.17/1076.38 o 923 1075.17/1076.38 c fallback to adder encoding 1078.46/1079.61 o 919 1078.46/1079.61 c fallback to adder encoding 1081.26/1082.43 o 916 1081.26/1082.43 c fallback to adder encoding 1083.25/1084.48 o 915 1083.25/1084.48 c fallback to adder encoding 1084.41/1085.60 o 911 1084.41/1085.60 c fallback to adder encoding 1087.04/1088.25 o 910 1087.04/1088.25 c fallback to adder encoding 1089.53/1090.78 o 907 1089.53/1090.78 c fallback to adder encoding 1091.43/1092.66 o 906 1091.43/1092.66 c fallback to adder encoding 1095.83/1097.06 o 904 1095.83/1097.06 c fallback to adder encoding 1098.63/1099.87 o 899 1098.63/1099.87 c fallback to adder encoding 1101.67/1102.92 o 898 1101.67/1102.92 c fallback to adder encoding 1105.19/1106.43 o 881 1105.19/1106.43 c fallback to adder encoding 1107.26/1108.52 o 873 1107.26/1108.52 c fallback to adder encoding 1109.98/1111.24 o 870 1109.98/1111.24 c fallback to adder encoding 1112.57/1113.87 o 869 1112.57/1113.87 c fallback to adder encoding 1114.67/1115.93 o 864 1114.67/1115.93 c fallback to adder encoding 1116.79/1118.00 o 861 1116.79/1118.00 c fallback to adder encoding 1119.06/1120.31 o 857 1119.06/1120.31 c fallback to adder encoding 1121.58/1122.82 o 853 1121.58/1122.82 c fallback to adder encoding 1123.76/1125.02 o 850 1123.76/1125.02 c fallback to adder encoding 1125.36/1126.61 o 849 1125.36/1126.61 c fallback to adder encoding 1128.59/1129.83 o 848 1128.59/1129.83 c fallback to adder encoding 1130.27/1131.58 o 835 1130.27/1131.58 c fallback to adder encoding 1132.88/1134.12 o 834 1132.88/1134.12 c fallback to adder encoding 1135.57/1136.88 o 831 1135.57/1136.88 c fallback to adder encoding 1137.27/1138.57 o 830 1137.27/1138.57 c fallback to adder encoding 1138.78/1140.04 o 829 1138.78/1140.04 c fallback to adder encoding 1140.93/1142.21 o 824 1140.93/1142.21 c fallback to adder encoding 1142.71/1144.06 o 816 1142.71/1144.06 c fallback to adder encoding 1144.71/1146.05 o 815 1144.71/1146.05 c fallback to adder encoding 1147.12/1148.47 o 814 1147.12/1148.47 c fallback to adder encoding 1149.10/1150.49 o 812 1149.10/1150.49 c fallback to adder encoding 1150.71/1152.04 o 765 1150.71/1152.04 c fallback to adder encoding 1152.30/1153.60 o 757 1152.30/1153.60 c fallback to adder encoding 1153.32/1154.64 o 756 1153.32/1154.64 c fallback to adder encoding 1154.48/1155.80 o 755 1154.48/1155.80 c fallback to adder encoding 1156.60/1157.99 o 752 1156.60/1157.99 c fallback to adder encoding 1158.38/1159.78 o 751 1158.38/1159.78 c fallback to adder encoding 1160.07/1161.46 o 748 1160.07/1161.46 c fallback to adder encoding 1160.98/1162.38 o 746 1160.98/1162.38 c fallback to adder encoding 1161.97/1163.35 o 718 1161.97/1163.35 c fallback to adder encoding 1163.44/1164.82 o 712 1163.44/1164.82 c fallback to adder encoding 1165.64/1167.09 o 707 1165.64/1167.09 c fallback to adder encoding 1167.63/1169.05 o 706 1167.63/1169.05 c fallback to adder encoding 1169.25/1170.68 o 705 1169.25/1170.68 c fallback to adder encoding 1170.64/1172.09 o 701 1170.64/1172.09 c fallback to adder encoding 1172.04/1173.50 o 693 1172.04/1173.50 c fallback to adder encoding 1173.93/1175.31 o 692 1173.93/1175.31 c fallback to adder encoding 1175.34/1176.75 o 685 1175.34/1176.75 c fallback to adder encoding 1176.74/1178.11 o 682 1176.74/1178.11 c fallback to adder encoding 1179.65/1181.00 o 675 1179.65/1181.00 c fallback to adder encoding 1181.24/1182.61 o 674 1181.24/1182.61 c fallback to adder encoding 1182.94/1184.37 o 673 1182.94/1184.37 c fallback to adder encoding 1184.45/1185.88 o 664 1184.45/1185.88 c fallback to adder encoding 1186.01/1187.47 o 663 1186.01/1187.47 c fallback to adder encoding 1187.32/1188.72 o 659 1187.32/1188.72 c fallback to adder encoding 1188.49/1189.90 o 657 1188.49/1189.90 c fallback to adder encoding 1189.61/1191.04 o 656 1189.61/1191.04 c fallback to adder encoding 1190.69/1192.12 o 655 1190.69/1192.12 c fallback to adder encoding 1192.30/1193.70 o 641 1192.30/1193.70 c fallback to adder encoding 1193.68/1195.15 o 640 1193.68/1195.15 c fallback to adder encoding 1194.88/1196.36 o 639 1194.88/1196.36 c fallback to adder encoding 1195.98/1197.43 o 636 1195.98/1197.43 c fallback to adder encoding 1197.08/1198.55 o 633 1197.08/1198.55 c fallback to adder encoding 1198.39/1199.82 o 632 1198.39/1199.82 c fallback to adder encoding 1199.59/1201.02 o 631 1199.59/1201.02 c fallback to adder encoding 1200.79/1202.29 o 629 1200.79/1202.29 c fallback to adder encoding 1202.17/1203.67 o 628 1202.17/1203.67 c fallback to adder encoding 1203.48/1204.99 o 627 1203.48/1204.99 c fallback to adder encoding 1204.28/1205.79 o 623 1204.28/1205.79 c fallback to adder encoding 1205.56/1207.00 o 619 1205.56/1207.00 c fallback to adder encoding 1206.58/1208.10 o 618 1206.58/1208.10 c fallback to adder encoding 1207.86/1209.37 o 593 1207.86/1209.37 c fallback to adder encoding 1209.47/1210.96 o 592 1209.47/1210.96 c fallback to adder encoding 1210.65/1212.10 o 577 1210.65/1212.10 c fallback to adder encoding 1212.03/1213.53 o 576 1212.03/1213.53 c fallback to adder encoding 1213.25/1214.73 o 565 1213.25/1214.73 c fallback to adder encoding 1214.14/1215.63 o 562 1214.14/1215.63 c fallback to adder encoding 1214.21/1216.58 o 559 1214.21/1216.58 c fallback to adder encoding 1217.02/1218.58 o 558 1217.02/1218.58 c fallback to adder encoding 1217.93/1219.41 o 553 1217.93/1219.41 c fallback to adder encoding 1219.62/1221.14 o 552 1219.62/1221.14 c fallback to adder encoding 1220.84/1222.38 o 551 1220.84/1222.38 c fallback to adder encoding 1222.12/1223.69 o 550 1222.12/1223.69 c fallback to adder encoding 1223.42/1224.98 o 536 1223.42/1224.98 c fallback to adder encoding 1225.11/1226.66 o 531 1225.11/1226.66 c fallback to adder encoding 1226.41/1227.91 o 530 1226.41/1227.91 c fallback to adder encoding 1227.43/1228.94 o 519 1227.43/1228.94 c fallback to adder encoding 1228.64/1230.10 o 512 1228.64/1230.10 c fallback to adder encoding 1228.66/1230.54 o 507 1228.66/1230.54 c fallback to adder encoding 1229.43/1230.96 o 504 1229.43/1230.96 c fallback to adder encoding 1230.03/1231.51 o 503 1230.03/1231.51 c fallback to adder encoding 1230.08/1232.00 o 502 1230.08/1232.00 c fallback to adder encoding 1230.56/1232.53 o 501 1230.56/1232.53 c fallback to adder encoding 1231.64/1233.12 o 498 1231.64/1233.12 c fallback to adder encoding 1231.70/1233.46 o 496 1231.70/1233.46 c fallback to adder encoding 1232.03/1233.88 o 493 1232.03/1233.88 c fallback to adder encoding 1232.91/1234.40 o 489 1232.91/1234.40 c fallback to adder encoding 1232.96/1234.74 o 486 1232.96/1234.74 c fallback to adder encoding 1233.31/1235.27 o 485 1233.31/1235.27 c fallback to adder encoding 1233.83/1235.99 o 482 1233.83/1235.99 c fallback to adder encoding 1234.81/1236.31 o 471 1234.81/1236.31 c fallback to adder encoding 1235.22/1236.75 o 460 1235.22/1236.75 c fallback to adder encoding 1235.32/1237.34 o 459 1235.32/1237.34 c fallback to adder encoding 1236.32/1237.85 o 458 1236.32/1237.85 c fallback to adder encoding 1236.36/1238.45 o 441 1236.36/1238.45 c fallback to adder encoding 1237.39/1238.93 o 436 1237.39/1238.93 c fallback to adder encoding 1237.87/1239.41 o 433 1237.87/1239.41 c fallback to adder encoding 1238.18/1239.79 o 427 1238.18/1239.79 c fallback to adder encoding 1238.30/1240.16 o 421 1238.30/1240.16 c fallback to adder encoding 1238.68/1240.68 o 419 1238.68/1240.68 c fallback to adder encoding 1239.47/1241.08 o 403 1239.47/1241.08 c fallback to adder encoding 1239.98/1241.51 o 402 1239.98/1241.51 c fallback to adder encoding 1240.02/1241.89 o 399 1240.02/1241.89 c fallback to adder encoding 1240.41/1242.28 o 398 1240.41/1242.28 c fallback to adder encoding 1241.29/1243.15 o 397 1241.29/1243.15 c fallback to adder encoding 1241.31/1243.55 o 396 1241.31/1243.55 c fallback to adder encoding 1241.71/1243.95 o 392 1241.71/1243.95 c fallback to adder encoding 1242.53/1244.42 o 387 1242.53/1244.42 c fallback to adder encoding 1242.60/1244.95 o 384 1242.60/1244.95 c fallback to adder encoding 1243.12/1245.14 o 352 1243.12/1245.14 c fallback to adder encoding 1243.54/1245.49 o 351 1243.54/1245.49 c fallback to adder encoding 1243.93/1245.81 o 350 1243.93/1245.81 c fallback to adder encoding 1244.24/1246.11 o 349 1244.24/1246.11 c fallback to adder encoding 1244.52/1246.44 o 341 1244.52/1246.44 c fallback to adder encoding 1244.60/1246.68 o 340 1244.60/1246.68 c fallback to adder encoding 1245.12/1247.00 o 339 1245.12/1247.00 c fallback to adder encoding 1245.17/1247.26 o 338 1245.17/1247.26 c fallback to adder encoding 1245.63/1247.51 o 336 1245.63/1247.51 c fallback to adder encoding 1245.92/1247.94 o 333 1245.92/1247.94 c fallback to adder encoding 1245.96/1248.17 o 332 1245.96/1248.17 c fallback to adder encoding 1246.19/1248.46 o 329 1246.19/1248.46 c fallback to adder encoding 1246.69/1248.79 o 328 1246.69/1248.79 c fallback to adder encoding 1246.81/1249.07 o 327 1246.81/1249.07 c fallback to adder encoding 1247.29/1249.30 o 326 1247.29/1249.30 c fallback to adder encoding 1247.58/1249.61 o 325 1247.58/1249.61 c fallback to adder encoding 1247.61/1249.92 o 324 1247.61/1249.92 c fallback to adder encoding 1247.92/1250.22 o 323 1247.92/1250.22 c fallback to adder encoding 1248.23/1250.55 o 321 1248.23/1250.55 c fallback to adder encoding 1248.68/1250.77 o 320 1248.68/1250.77 c fallback to adder encoding 1248.98/1251.00 o 317 1248.98/1251.00 c fallback to adder encoding 1249.26/1251.30 o 309 1249.26/1251.30 c fallback to adder encoding 1249.30/1251.57 o 308 1249.80/1251.99 o 276 1250.02/1252.13 c display solution 1250.02/1252.13 s OPTIMUM FOUND 1250.02/1252.13 v x1 -x2 x3 -x4 -x5 x6 x7 -x8 -x9 x10 -x11 x12 x13 -x14 -x15 x16 x17 -x18 -x19 x20 x21 -x22 -x23 x24 x25 -x26 x27 -x28 x29 -x30 -x31 x32 -x33 x34 -x35 x36 -x37 x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 -x51 x52 -x53 x54 -x55 x56 x57 -x58 x59 -x60 -x61 x62 -x63 x64 -x65 x66 x67 -x68 -x69 x70 -x71 x72 x73 -x74 x75 -x76 -x77 x78 x79 -x80 x81 -x82 -x83 x84 -x85 x86 x87 -x88 -x89 x90 -x91 x92 x93 -x94 -x95 x96 x97 -x98 x99 -x100 x101 -x102 -x103 x104 -x105 x106 -x107 x108 -x109 x110 -x111 x112 -x113 x114 x115 -x116 -x117 x118 x119 -x120 -x121 x122 -x123 x124 -x125 x126 -x127 x128 -x129 x130 x131 -x132 -x133 x134 -x135 x136 x137 -x138 x139 -x140 -x141 x142 -x143 x144 x145 -x146 -x147 x148 -x149 x150 -x151 x152 -x153 x154 x155 -x156 -x157 x158 -x159 x160 -x161 x162 x163 -x164 -x165 x166 -x167 x168 x169 -x170 -x171 x172 x173 -x174 -x175 x176 -x177 x178 -x179 x180 -x181 x182 x183 -x184 -x185 x186 -x187 x188 -x189 x190 -x191 x192 -x193 x194 -x195 x196 -x197 x198 x199 -x200
OK 276
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715139-1338225168/watcher-3715139-1338225168 -o /tmp/evaluation-result-3715139-1338225168/solver-3715139-1338225168 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715139-1338225168.wbo 638925276 HOME HOME running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 1.98 1.99 2/179 16821 /proc/meminfo: memFree=31221504/32873648 swapFree=6852/6852 [pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16821/statm: 2287 274 233 213 0 72 0 [startup+0.0833711 s] /proc/loadavg: 1.99 1.98 1.99 2/179 16821 /proc/meminfo: memFree=31221504/32873648 swapFree=6852/6852 [pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16821/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100231 s] /proc/loadavg: 1.99 1.98 1.99 2/179 16821 /proc/meminfo: memFree=31221504/32873648 swapFree=6852/6852 [pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16821/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300233 s] /proc/loadavg: 1.99 1.98 1.99 2/179 16821 /proc/meminfo: memFree=31221504/32873648 swapFree=6852/6852 [pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16821/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700215 s] /proc/loadavg: 1.99 1.98 1.99 2/179 16821 /proc/meminfo: memFree=31221504/32873648 swapFree=6852/6852 [pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16821/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50039 s] /proc/loadavg: 1.99 1.98 1.99 3/183 16835 /proc/meminfo: memFree=31191368/32873648 swapFree=6852/6852 [pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16821/statm: 2287 274 233 213 0 72 0 [pid=16822] ppid=16821 vsize=7244 CPUtime=0.11 cores=0,2,4,6 /proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 2570 5124 0 0 8 1 2 0 20 0 1 0 288643605 7417856 1449 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16822/statm: 1811 1449 165 439 0 1368 0 [pid=16834] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16834/stat : 16834 (satsolver.sh) S 16822 16821 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288643619 9367552 267 33554432000 4194304 5064252 140734651570240 140734651569152 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/16834/statm: 2287 267 226 213 0 72 0 [pid=16835] ppid=16834 vsize=17852 CPUtime=1.35 cores=0,2,4,6 /proc/16835/stat : 16835 (glucose) R 16834 16821 29981 0 -1 4202496 4295 0 0 0 135 0 0 0 20 0 1 0 288643619 18280448 3617 33554432000 4194304 5208918 140736434292736 140736434290584 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/16835/statm: 4463 3617 105 248 0 4212 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 43392 [startup+3.10039 s] /proc/loadavg: 1.99 1.98 1.99 3/183 16835 /proc/meminfo: memFree=31190004/32873648 swapFree=6852/6852 [pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16821/statm: 2287 274 233 213 0 72 0 [pid=16822] ppid=16821 vsize=7244 CPUtime=0.11 cores=0,2,4,6 /proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 2570 5124 0 0 8 1 2 0 20 0 1 0 288643605 7417856 1449 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16822/statm: 1811 1449 165 439 0 1368 0 [pid=16834] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16834/stat : 16834 (satsolver.sh) S 16822 16821 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288643619 9367552 267 33554432000 4194304 5064252 140734651570240 140734651569152 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/16834/statm: 2287 267 226 213 0 72 0 [pid=16835] ppid=16834 vsize=17988 CPUtime=2.95 cores=0,2,4,6 /proc/16835/stat : 16835 (glucose) R 16834 16821 29981 0 -1 4202496 4605 0 0 0 295 0 0 0 20 0 1 0 288643619 18419712 3924 33554432000 4194304 5208918 140736434292736 140736434289112 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/16835/statm: 4497 3924 105 248 0 4246 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 43528 [startup+6.30037 s] /proc/loadavg: 1.99 1.98 1.99 3/183 16835 /proc/meminfo: memFree=31185100/32873648 swapFree=6852/6852 [pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16821/statm: 2287 274 233 213 0 72 0 [pid=16822] ppid=16821 vsize=7244 CPUtime=0.11 cores=0,2,4,6 /proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 2570 5124 0 0 8 1 2 0 20 0 1 0 288643605 7417856 1449 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16822/statm: 1811 1449 165 439 0 1368 0 [pid=16834] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16834/stat : 16834 (satsolver.sh) S 16822 16821 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288643619 9367552 267 33554432000 4194304 5064252 140734651570240 140734651569152 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/16834/statm: 2287 267 226 213 0 72 0 [pid=16835] ppid=16834 vsize=25320 CPUtime=6.15 cores=0,2,4,6 /proc/16835/stat : 16835 (glucose) R 16834 16821 29981 0 -1 4202496 5683 0 0 0 614 1 0 0 20 0 1 0 288643619 25927680 5794 33554432000 4194304 5208918 140736434292736 140736434290680 4211608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/16835/statm: 6330 5794 105 248 0 6079 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 50860 [startup+12.7004 s] /proc/loadavg: 1.99 1.98 1.99 3/183 16835 /proc/meminfo: memFree=31157788/32873648 swapFree=6852/6852 [pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16821/statm: 2287 274 233 213 0 72 0 [pid=16822] ppid=16821 vsize=7244 CPUtime=0.11 cores=0,2,4,6 /proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 2570 5124 0 0 8 1 2 0 20 0 1 0 288643605 7417856 1449 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16822/statm: 1811 1449 165 439 0 1368 0 [pid=16834] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16834/stat : 16834 (satsolver.sh) S 16822 16821 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288643619 9367552 267 33554432000 4194304 5064252 140734651570240 140734651569152 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/16834/statm: 2287 267 226 213 0 72 0 [pid=16835] ppid=16834 vsize=36816 CPUtime=12.55 cores=0,2,4,6 /proc/16835/stat : 16835 (glucose) R 16834 16821 29981 0 -1 4202496 6092 0 0 0 1254 1 0 0 20 0 1 0 288643619 37699584 8247 33554432000 4194304 5208918 140736434292736 140736434290728 4229456 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/16835/statm: 9204 8247 105 248 0 8953 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 62356 [startup+25.5004 s] /proc/loadavg: 1.99 1.98 1.99 3/183 16863 /proc/meminfo: memFree=31193684/32873648 swapFree=6852/6852 [pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16821/statm: 2287 274 233 213 0 72 0 [pid=16822] ppid=16821 vsize=11336 CPUtime=20.58 cores=0,2,4,6 /proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 6115 23392 0 0 22 3 2025 8 20 0 1 0 288643605 11608064 2464 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16822/statm: 2834 2464 166 439 0 2391 0 [pid=16855] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16855/stat : 16855 (satsolver.sh) S 16822 16821 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288645666 9367552 267 33554432000 4194304 5064252 140733898327136 140733898326048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/16855/statm: 2287 267 226 213 0 72 0 [pid=16856] ppid=16855 vsize=21064 CPUtime=4.87 cores=0,2,4,6 /proc/16856/stat : 16856 (glucose) R 16855 16821 29981 0 -1 4202496 4616 0 0 0 487 0 0 0 20 0 1 0 288645666 21569536 4383 33554432000 4194304 5208918 140736886309776 140736886307736 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/16856/statm: 5266 4383 105 248 0 5015 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 50696 [startup+51.1004 s] /proc/loadavg: 2.06 2.00 2.00 3/183 16912 /proc/meminfo: memFree=31184512/32873648 swapFree=6852/6852 [pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16821/statm: 2287 274 233 213 0 72 0 [pid=16822] ppid=16821 vsize=11336 CPUtime=46.93 cores=0,2,4,6 /proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 14975 64656 0 0 57 8 4600 28 20 0 1 0 288643605 11608064 2464 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16822/statm: 2834 2464 166 439 0 2391 0 [pid=16911] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16911/stat : 16911 (satsolver.sh) S 16822 16821 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288648300 9367552 267 33554432000 4194304 5064252 140735197313120 140735197312032 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/16911/statm: 2287 267 226 213 0 72 0 [pid=16912] ppid=16911 vsize=18204 CPUtime=4.14 cores=0,2,4,6 /proc/16912/stat : 16912 (glucose) R 16911 16821 29981 0 -1 4202496 4483 0 0 0 413 1 0 0 20 0 1 0 288648300 18640896 3723 33554432000 4194304 5208918 140736765304480 140736765300856 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/16912/statm: 4551 3723 105 248 0 4300 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 47836 [startup+102.307 s] /proc/loadavg: 2.02 2.00 2.00 3/183 16989 /proc/meminfo: memFree=31174956/32873648 swapFree=6852/6852 [pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16821/statm: 2287 274 233 213 0 72 0 [pid=16822] ppid=16821 vsize=11336 CPUtime=97.95 cores=0,2,4,6 /proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 27379 124494 0 0 105 14 9620 56 20 0 1 0 288643605 11608064 2464 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16822/statm: 2834 2464 166 439 0 2391 0 [pid=16988] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16988/stat : 16988 (satsolver.sh) S 16822 16821 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288653405 9367552 267 33554432000 4194304 5064252 140737335510064 140737335508976 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/16988/statm: 2287 267 226 213 0 72 0 [pid=16989] ppid=16988 vsize=18208 CPUtime=4.3 cores=0,2,4,6 /proc/16989/stat : 16989 (glucose) R 16988 16821 29981 0 -1 4202496 5204 0 0 0 429 1 0 0 20 0 1 0 288653405 18644992 3818 33554432000 4194304 5208918 140734403756240 140734403754392 4211668 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/16989/statm: 4552 3818 105 248 0 4301 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 47840 [startup+162.3 s] /proc/loadavg: 2.01 2.00 2.00 3/183 17115 /proc/meminfo: memFree=31190368/32873648 swapFree=6852/6852 [pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16821/statm: 2287 274 233 213 0 72 0 [pid=16822] ppid=16821 vsize=11336 CPUtime=157.48 cores=0,2,4,6 /proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 48643 221401 0 0 188 25 15433 102 20 0 1 0 288643605 11608064 2464 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16822/statm: 2834 2464 166 439 0 2391 0 [pid=17114] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/meminfo: memFree=31204112/32873648 swapFree=6852/6852 [pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16821/statm: 2287 274 233 213 0 72 0 [pid=16822] ppid=16821 vsize=11284 CPUtime=998.59 cores=0,2,4,6 /proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 250451 1575653 0 0 1262 161 97712 724 20 0 1 0 288643605 11554816 2463 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 8 0 0 /proc/16822/statm: 2821 2463 166 439 0 2378 0 [pid=19839] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19839/stat : 19839 (satsolver.sh) S 16822 16821 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288743555 9367552 266 33554432000 4194304 5064252 140735892669296 140735892668208 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/19839/statm: 2287 266 226 213 0 72 0 [pid=19840] ppid=19839 vsize=16456 CPUtime=2.78 cores=0,2,4,6 /proc/19840/stat : 19840 (glucose) R 19839 16821 29981 0 -1 4202496 4020 0 0 0 278 0 0 0 20 0 1 0 288743555 16850944 3446 33554432000 4194304 5208918 140735460783552 140735460781304 4211888 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/19840/statm: 4114 3446 105 248 0 3863 0 Current children cumulated CPU time (s) 1001.37 Current children cumulated vsize (KiB) 46036 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/184 20123 /proc/meminfo: memFree=31206936/32873648 swapFree=6852/6852 [pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16821/statm: 2287 274 233 213 0 72 0 [pid=16822] ppid=16821 vsize=11228 CPUtime=1060.03 cores=0,2,4,6 /proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 263185 1697761 0 0 1353 173 103695 782 20 0 1 0 288643605 11497472 2463 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 8 0 0 /proc/16822/statm: 2807 2463 166 439 0 2364 0 [pid=20122] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20122/stat : 20122 (satsolver.sh) S 16822 16821 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288749721 9367552 266 33554432000 4194304 5064252 140734527505040 140734527503952 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20122/statm: 2287 266 226 213 0 72 0 [pid=20123] ppid=20122 vsize=13380 CPUtime=1.13 cores=0,2,4,6 /proc/20123/stat : 20123 (glucose) R 20122 16821 29981 0 -1 4202496 3366 0 0 0 112 1 0 0 20 0 1 0 288749721 13701120 2902 33554432000 4194304 5208918 140734718321424 140734718319272 4229583 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/20123/statm: 3345 2902 103 248 0 3094 0 Current children cumulated CPU time (s) 1061.16 Current children cumulated vsize (KiB) 42904 [startup+1122.3 s] /proc/loadavg: 1.99 2.00 2.00 3/183 20441 /proc/meminfo: memFree=31214068/32873648 swapFree=6852/6852 [pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16821/statm: 2287 274 233 213 0 72 0 [pid=16822] ppid=16821 vsize=11196 CPUtime=1119.17 cores=0,2,4,6 /proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 280435 1852474 0 0 1461 188 109417 851 20 0 1 0 288643605 11464704 2463 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 8 0 0 /proc/16822/statm: 2799 2463 166 439 0 2356 0 [pid=20437] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20437/stat : 20437 (satsolver.sh) S 16822 16821 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288755642 9367552 266 33554432000 4194304 5064252 140737137642368 140737137641280 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/20437/statm: 2287 266 226 213 0 72 0 [pid=20438] ppid=20437 vsize=14868 CPUtime=1.92 cores=0,2,4,6 /proc/20438/stat : 20438 (glucose) R 20437 16821 29981 0 -1 4202496 3007 0 0 0 192 0 0 0 20 0 1 0 288755642 15224832 2996 33554432000 4194304 5208918 140733661260320 140733661258168 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/20438/statm: 3717 2996 105 248 0 3466 0 Current children cumulated CPU time (s) 1121.09 Current children cumulated vsize (KiB) 44360 [startup+1182.3 s] /proc/loadavg: 1.99 2.00 2.00 3/183 20866 /proc/meminfo: memFree=31215944/32873648 swapFree=6852/6852 [pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16821/statm: 2287 274 233 213 0 72 0 [pid=16822] ppid=16821 vsize=11100 CPUtime=1179.7 cores=0,2,4,6 /proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 324571 2058323 0 0 1598 209 115226 937 20 0 1 0 288643605 11366400 1952 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 8 0 0 /proc/16822/statm: 2775 1952 166 439 0 2332 0 [pid=20865] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/20865/stat : 20865 (satsolver.sh) S 16822 16821 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288761709 9367552 267 33554432000 4194304 5064252 140734257620400 140734257619312 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/20865/statm: 2287 267 226 213 0 72 0 [pid=20866] ppid=20865 vsize=11276 CPUtime=1.24 cores=0,2,4,6 /proc/20866/stat : 20866 (glucose) R 20865 16821 29981 0 -1 4202496 2943 0 0 0 124 0 0 0 20 0 1 0 288761710 11546624 2448 33554432000 4194304 5208918 140737070109216 140737070107048 4211851 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20866/statm: 2819 2448 104 248 0 2568 0 Current children cumulated CPU time (s) 1180.94 Current children cumulated vsize (KiB) 40672 [startup+1242.3 s] /proc/loadavg: 1.93 1.98 1.99 3/182 21769 /proc/meminfo: memFree=31220572/32873648 swapFree=6852/6852 [pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16821/statm: 2287 274 233 213 0 72 0 [pid=16822] ppid=16821 vsize=6976 CPUtime=1240.78 cores=0,2,4,6 /proc/16822/stat : 16822 (npSolver-wbo) R 16821 16821 29981 0 -1 4202496 394561 2412919 0 0 1798 233 120980 1067 20 0 1 0 288643605 7143424 1376 33554432000 4194304 5990268 140733328063824 140733328055824 5042551 0 0 4096 0 0 0 0 17 0 0 0 8 0 0 /proc/16822/statm: 1744 1376 166 439 0 1301 0 Current children cumulated CPU time (s) 1240.78 Current children cumulated vsize (KiB) 16124 Solver just ended. Dumping a history of the last processes samples [startup+1248 s] /proc/loadavg: 1.94 1.98 1.99 3/184 21890 /proc/meminfo: memFree=31215204/32873648 swapFree=6852/6852 [pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16821/statm: 2287 274 233 213 0 72 0 [pid=16822] ppid=16821 vsize=6976 CPUtime=1245.96 cores=0,2,4,6 /proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 405686 2484894 0 0 1828 236 121442 1090 20 0 1 0 288643605 7143424 1376 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 8 0 0 /proc/16822/statm: 1744 1376 166 439 0 1301 0 Current children cumulated CPU time (s) 1245.96 Current children cumulated vsize (KiB) 16124 [startup+1249.6 s] /proc/loadavg: 1.94 1.98 1.99 3/184 21956 /proc/meminfo: memFree=31215720/32873648 swapFree=6852/6852 [pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16821/statm: 2287 274 233 213 0 72 0 [pid=16822] ppid=16821 vsize=6976 CPUtime=1247.58 cores=0,2,4,6 /proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 408731 2509656 0 0 1837 237 121586 1098 20 0 1 0 288643605 7143424 1376 33554432000 4194304 5990268 140733328063824 140733328054736 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 8 0 0 /proc/16822/statm: 1744 1376 166 439 0 1301 0 [pid=21954] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/21954/stat : 21954 (cp2_post.sh) S 16822 16821 29981 0 -1 4202496 610 225 0 0 0 0 0 0 20 0 1 0 288768563 9367552 266 33554432000 4194304 5064252 140733647683856 140733647682144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/21954/statm: 2287 266 225 213 0 72 0 [pid=21956] ppid=21954 vsize=6264 CPUtime=0 cores=0,2,4,6 /proc/21956/stat : 21956 (coprocessor) R 21954 16821 29981 0 -1 4202496 655 0 0 0 0 0 0 0 20 0 1 0 288768564 6414336 1074 33554432000 4194304 6586260 140736536574928 140736536571496 5732496 0 0 4096 8404994 0 0 0 17 6 0 0 0 0 0 /proc/21956/statm: 1566 1074 148 584 0 978 0 Current children cumulated CPU time (s) 1247.58 Current children cumulated vsize (KiB) 31536 [startup+1251.2 s] /proc/loadavg: 1.94 1.98 1.99 3/182 21986 /proc/meminfo: memFree=31232496/32873648 swapFree=6852/6852 [pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16821/statm: 2287 274 233 213 0 72 0 [pid=16822] ppid=16821 vsize=6976 CPUtime=1249 cores=0,2,4,6 /proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 412323 2536203 0 0 1847 238 121709 1106 20 0 1 0 288643605 7143424 1376 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 8 0 0 /proc/16822/statm: 1744 1376 166 439 0 1301 0 Current children cumulated CPU time (s) 1249 Current children cumulated vsize (KiB) 16124 [startup+1251.6 s] /proc/loadavg: 1.94 1.98 1.99 3/182 21986 /proc/meminfo: memFree=31232496/32873648 swapFree=6852/6852 [pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16821/statm: 2287 274 233 213 0 72 0 [pid=16822] ppid=16821 vsize=6976 CPUtime=1249.59 cores=0,2,4,6 /proc/16822/stat : 16822 (npSolver-wbo) R 16821 16821 29981 0 -1 4202496 413933 2546037 0 0 1851 239 121760 1109 20 0 1 0 288643605 7143424 1377 33554432000 4194304 5990268 140733328063824 140733328055824 5042513 0 0 4096 0 0 0 0 17 0 0 0 8 0 0 /proc/16822/statm: 1744 1377 166 439 0 1301 0 Current children cumulated CPU time (s) 1249.59 Current children cumulated vsize (KiB) 16124 [startup+1252 s] /proc/loadavg: 1.94 1.98 1.99 3/184 22016 /proc/meminfo: memFree=31185296/32873648 swapFree=6852/6852 [pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16821/statm: 2287 274 233 213 0 72 0 [pid=16822] ppid=16821 vsize=3884 CPUtime=1249.98 cores=0,2,4,6 /proc/16822/stat : 16822 (npSolver-wbo) R 16821 16821 29981 0 -1 4202496 414867 2557028 0 0 1855 239 121785 1119 20 0 1 0 288643605 3977216 600 33554432000 4194304 5990268 140733328063824 140733328055824 5042551 0 0 4096 0 0 0 0 17 0 0 0 8 0 0 /proc/16822/statm: 971 600 166 439 0 528 0 Current children cumulated CPU time (s) 1249.98 Current children cumulated vsize (KiB) 13032 [startup+1252.1 s] /proc/loadavg: 1.94 1.98 1.99 3/184 22016 /proc/meminfo: memFree=31185296/32873648 swapFree=6852/6852 [pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16821/statm: 2287 274 233 213 0 72 0 [pid=16822] ppid=16821 vsize=11052 CPUtime=1250.02 cores=0,2,4,6 /proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 415763 2557028 0 0 1858 240 121785 1119 20 0 1 0 288643605 11317248 2005 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 8 0 0 /proc/16822/statm: 2763 2005 166 439 0 2320 0 Current children cumulated CPU time (s) 1250.02 Current children cumulated vsize (KiB) 20200 Child status: 0 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 7.41003 # lost CPU user time (s): 7.39001 # lost CPU system time (s): 0.02 Real time (s): 1252.14 CPU time (s): 1257.55 CPU user time (s): 1243.91 CPU system time (s): 13.6399 CPU usage (%): 100.432 Max. virtual memory (cumulated for all children) (KiB): 66552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1236.52 system time used= 13.6199 maximum resident set size= 34120 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2981521 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2324144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12530 involuntary context switches= 5652 runsolver used 2.69259 second user time and 7.32389 second system time The end
Begin job on node115 at 2012-05-28 19:12:48 IDJOB=3715139 IDBENCH=79405 IDSOLVER=2296 FILE ID=node115/3715139-1338225168 RUNJOBID= node115-1338195070-29997 PBS_JOBID= 14624604 Free space on /tmp= 71632 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh309_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715139-1338225168/watcher-3715139-1338225168 -o /tmp/evaluation-result-3715139-1338225168/solver-3715139-1338225168 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715139-1338225168.wbo 638925276 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9ccb130e1efb7ba02e23bcfacb5f0a47 RANDOM SEED=638925276 node115.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 31222032 kB Buffers: 434576 kB Cached: 315264 kB SwapCached: 972 kB Active: 661676 kB Inactive: 131612 kB Active(anon): 36672 kB Inactive(anon): 9244 kB Active(file): 625004 kB Inactive(file): 122368 kB Unevictable: 6852 kB Mlocked: 6852 kB SwapTotal: 67108856 kB SwapFree: 67106424 kB Dirty: 12656 kB Writeback: 0 kB AnonPages: 41024 kB Mapped: 12724 kB Shmem: 96 kB Slab: 721468 kB SReclaimable: 165444 kB SUnreclaim: 556024 kB KernelStack: 1520 kB PageTables: 4408 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 163508 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71624 MiB End job on node115 at 2012-05-28 19:33:41