Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| npSolver inc-topDown (fixed) | OPTIMUM | 1121.57 | 1120.25 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh11_wcsp.wbo |
| MD5SUM | 540e5098c207f1245411172896d943a2 |
| 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 | 172 |
| Best CPU time to get the best result obtained on this benchmark | 0.046992 |
| 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 | 950 |
| Number of soft constraints | 850 |
| Number of constraints which are clauses | 850 |
| 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 | 420926 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 420925 |
| 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.04 o 5892 0.00/0.04 c fallback to adder encoding 7.66/7.75 o 5890 7.66/7.75 c fallback to adder encoding 16.70/16.80 o 5889 16.70/16.80 c fallback to adder encoding 21.35/21.45 o 5888 21.35/21.45 c fallback to adder encoding 25.51/25.62 o 5870 25.51/25.62 c fallback to adder encoding 29.29/29.41 o 5780 29.29/29.41 c fallback to adder encoding 39.35/39.50 o 5773 39.35/39.50 c fallback to adder encoding 42.75/42.84 o 5768 42.75/42.84 c fallback to adder encoding 60.67/60.80 o 5766 60.67/60.80 c fallback to adder encoding 64.92/65.08 o 5765 64.92/65.08 c fallback to adder encoding 67.53/67.75 o 5752 67.53/67.75 c fallback to adder encoding 73.87/74.19 o 5714 73.87/74.19 c fallback to adder encoding 78.92/79.23 o 5713 78.92/79.23 c fallback to adder encoding 83.70/84.00 o 5690 83.70/84.00 c fallback to adder encoding 86.62/87.04 o 5674 86.62/87.04 c fallback to adder encoding 92.59/93.02 o 5664 92.59/93.02 c fallback to adder encoding 100.34/100.77 o 5663 100.34/100.77 c fallback to adder encoding 106.73/107.19 o 5639 106.73/107.19 c fallback to adder encoding 113.54/114.06 o 5632 113.54/114.06 c fallback to adder encoding 115.83/116.35 o 5582 115.83/116.35 c fallback to adder encoding 120.73/121.29 o 5571 120.73/121.29 c fallback to adder encoding 122.47/123.02 o 5570 122.47/123.02 c fallback to adder encoding 125.63/126.19 o 5568 125.63/126.19 c fallback to adder encoding 130.18/130.71 o 5563 130.18/130.71 c fallback to adder encoding 136.61/137.15 o 5555 136.61/137.15 c fallback to adder encoding 141.59/142.14 o 5509 141.59/142.14 c fallback to adder encoding 146.06/146.61 o 5504 146.06/146.61 c fallback to adder encoding 148.92/149.50 o 5475 148.92/149.50 c fallback to adder encoding 153.43/153.97 o 5474 153.43/153.97 c fallback to adder encoding 157.46/158.01 o 5469 157.46/158.01 c fallback to adder encoding 161.13/161.63 o 5464 161.13/161.63 c fallback to adder encoding 166.42/166.97 o 5441 166.42/166.97 c fallback to adder encoding 173.02/173.57 o 5440 173.02/173.57 c fallback to adder encoding 174.71/175.29 o 5430 174.71/175.29 c fallback to adder encoding 179.93/180.48 o 5429 179.93/180.48 c fallback to adder encoding 186.41/186.99 o 5414 186.41/186.99 c fallback to adder encoding 203.56/204.11 o 4192 203.56/204.11 c fallback to adder encoding 210.06/210.61 o 4191 210.06/210.61 c fallback to adder encoding 219.11/219.66 o 4184 219.11/219.66 c fallback to adder encoding 221.82/222.37 o 4179 221.82/222.37 c fallback to adder encoding 227.97/228.53 o 4176 227.97/228.53 c fallback to adder encoding 232.62/233.12 o 4173 232.62/233.12 c fallback to adder encoding 235.91/236.49 o 4171 235.91/236.49 c fallback to adder encoding 239.63/240.25 o 4165 239.63/240.25 c fallback to adder encoding 246.55/247.16 o 4113 246.55/247.16 c fallback to adder encoding 262.91/263.52 o 4112 262.91/263.52 c fallback to adder encoding 268.46/269.07 o 4109 268.46/269.07 c fallback to adder encoding 274.15/274.75 o 4108 274.15/274.75 c fallback to adder encoding 278.35/278.96 o 4105 278.35/278.96 c fallback to adder encoding 282.87/283.47 o 4102 282.87/283.47 c fallback to adder encoding 286.88/287.47 o 4089 286.88/287.47 c fallback to adder encoding 289.56/290.18 o 4083 289.56/290.18 c fallback to adder encoding 291.55/292.17 o 4080 291.55/292.17 c fallback to adder encoding 293.79/294.40 o 4078 293.79/294.40 c fallback to adder encoding 296.79/297.45 o 4077 296.79/297.45 c fallback to adder encoding 302.50/303.18 o 4069 302.50/303.18 c fallback to adder encoding 305.00/305.70 o 4063 305.00/305.70 c fallback to adder encoding 308.31/308.90 o 4045 308.31/308.90 c fallback to adder encoding 310.65/311.31 o 4001 310.65/311.31 c fallback to adder encoding 312.05/312.72 o 3968 312.05/312.72 c fallback to adder encoding 314.85/315.52 o 3957 314.85/315.52 c fallback to adder encoding 318.30/318.99 o 3887 318.30/318.99 c fallback to adder encoding 320.24/320.93 o 3862 320.24/320.93 c fallback to adder encoding 326.72/327.41 o 3817 326.72/327.41 c fallback to adder encoding 329.14/329.83 o 3057 329.14/329.83 c fallback to adder encoding 331.06/331.79 o 2931 331.06/331.79 c fallback to adder encoding 334.97/335.69 o 2926 334.97/335.69 c fallback to adder encoding 339.07/339.73 o 2920 339.07/339.73 c fallback to adder encoding 344.22/344.97 o 2891 344.22/344.97 c fallback to adder encoding 348.30/349.02 o 2887 348.30/349.02 c fallback to adder encoding 354.13/354.86 o 2886 354.13/354.86 c fallback to adder encoding 359.92/360.69 o 2867 359.92/360.69 c fallback to adder encoding 362.92/363.68 o 2866 362.92/363.68 c fallback to adder encoding 368.23/368.99 o 2864 368.23/368.99 c fallback to adder encoding 374.41/375.16 o 2858 374.41/375.16 c fallback to adder encoding 401.97/402.72 o 2829 401.97/402.72 c fallback to adder encoding 406.29/407.04 o 2811 406.29/407.04 c fallback to adder encoding 409.21/409.99 o 2810 409.21/409.99 c fallback to adder encoding 414.38/415.17 o 2809 414.38/415.17 c fallback to adder encoding 418.02/418.82 o 2803 418.02/418.82 c fallback to adder encoding 422.12/422.93 o 2800 422.12/422.93 c fallback to adder encoding 423.90/424.71 o 2792 423.90/424.71 c fallback to adder encoding 426.85/427.67 o 2789 426.85/427.67 c fallback to adder encoding 430.49/431.31 o 2788 430.49/431.31 c fallback to adder encoding 449.49/450.31 o 2765 449.49/450.31 c fallback to adder encoding 451.74/452.56 o 2761 451.74/452.56 c fallback to adder encoding 456.55/457.38 o 2760 456.55/457.38 c fallback to adder encoding 459.87/460.72 o 2752 459.87/460.72 c fallback to adder encoding 468.35/469.21 o 2751 468.35/469.21 c fallback to adder encoding 471.90/472.76 o 2728 471.90/472.76 c fallback to adder encoding 474.56/475.41 o 2539 474.56/475.41 c fallback to adder encoding 477.21/478.06 o 2537 477.21/478.06 c fallback to adder encoding 480.41/481.27 o 2498 480.41/481.27 c fallback to adder encoding 484.50/485.37 o 2485 484.50/485.37 c fallback to adder encoding 489.36/490.22 o 2479 489.36/490.22 c fallback to adder encoding 492.05/492.91 o 2440 492.05/492.91 c fallback to adder encoding 494.21/495.09 o 2409 494.21/495.09 c fallback to adder encoding 498.24/499.10 o 2402 498.24/499.10 c fallback to adder encoding 502.01/502.86 o 2401 502.01/502.86 c fallback to adder encoding 505.25/506.11 o 2400 505.25/506.11 c fallback to adder encoding 509.77/510.60 o 2393 509.77/510.60 c fallback to adder encoding 515.76/516.66 o 2385 515.76/516.66 c fallback to adder encoding 522.94/523.85 o 2378 522.94/523.85 c fallback to adder encoding 529.10/530.01 o 2371 529.10/530.01 c fallback to adder encoding 533.95/534.87 o 2311 533.95/534.87 c fallback to adder encoding 536.00/536.91 o 2307 536.00/536.91 c fallback to adder encoding 538.66/539.59 o 2305 538.66/539.59 c fallback to adder encoding 544.73/545.64 o 2293 544.73/545.64 c fallback to adder encoding 550.99/551.90 o 2282 550.99/551.90 c fallback to adder encoding 553.93/554.84 o 2272 553.93/554.84 c fallback to adder encoding 556.75/557.65 o 2267 556.75/557.65 c fallback to adder encoding 563.62/564.52 o 2264 563.62/564.52 c fallback to adder encoding 567.36/568.29 o 2243 567.36/568.29 c fallback to adder encoding 571.55/572.50 o 2242 571.55/572.50 c fallback to adder encoding 576.46/577.30 o 2207 576.46/577.30 c fallback to adder encoding 579.51/580.43 o 2199 579.51/580.43 c fallback to adder encoding 582.94/583.88 o 2198 582.94/583.88 c fallback to adder encoding 589.89/590.81 o 2193 589.89/590.81 c fallback to adder encoding 596.44/597.36 o 2187 596.44/597.36 c fallback to adder encoding 599.29/600.22 o 2180 599.29/600.22 c fallback to adder encoding 602.23/603.16 o 2120 602.23/603.16 c fallback to adder encoding 609.01/609.93 o 2114 609.01/609.93 c fallback to adder encoding 615.63/616.59 o 2112 615.63/616.59 c fallback to adder encoding 618.84/619.78 o 2110 618.84/619.78 c fallback to adder encoding 620.98/621.90 o 2076 620.98/621.90 c fallback to adder encoding 627.11/628.03 o 2074 627.11/628.03 c fallback to adder encoding 631.63/632.53 o 2073 631.63/632.53 c fallback to adder encoding 640.40/641.40 o 2070 640.40/641.40 c fallback to adder encoding 644.46/645.42 o 2068 644.46/645.42 c fallback to adder encoding 647.36/648.32 o 2066 647.36/648.32 c fallback to adder encoding 649.98/650.95 o 2065 649.98/650.95 c fallback to adder encoding 657.99/658.93 o 2059 657.99/658.93 c fallback to adder encoding 664.98/665.97 o 2058 664.98/665.97 c fallback to adder encoding 670.87/671.85 o 2052 670.87/671.85 c fallback to adder encoding 673.08/674.09 o 2050 673.08/674.09 c fallback to adder encoding 678.44/679.42 o 2049 678.44/679.42 c fallback to adder encoding 684.48/685.48 o 2048 684.48/685.48 c fallback to adder encoding 686.37/687.34 o 2034 686.37/687.34 c fallback to adder encoding 690.26/691.23 o 2031 690.26/691.23 c fallback to adder encoding 692.09/693.09 o 2030 692.09/693.09 c fallback to adder encoding 693.73/694.70 o 2022 693.73/694.70 c fallback to adder encoding 695.93/696.91 o 2017 695.93/696.91 c fallback to adder encoding 697.28/698.32 o 2016 697.28/698.32 c fallback to adder encoding 698.25/699.30 o 2010 698.25/699.30 c fallback to adder encoding 706.36/707.40 o 2000 706.36/707.40 c fallback to adder encoding 710.31/711.43 o 1997 710.31/711.43 c fallback to adder encoding 712.64/713.79 o 1996 712.64/713.79 c fallback to adder encoding 717.42/718.58 o 1985 717.42/718.58 c fallback to adder encoding 720.39/721.58 o 1980 720.39/721.58 c fallback to adder encoding 722.56/723.71 o 1957 722.56/723.71 c fallback to adder encoding 727.06/728.29 o 1956 727.06/728.29 c fallback to adder encoding 732.13/733.35 o 1953 732.13/733.35 c fallback to adder encoding 735.63/736.85 o 1951 735.63/736.85 c fallback to adder encoding 737.43/738.66 o 1941 737.43/738.66 c fallback to adder encoding 739.43/740.68 o 1932 739.43/740.68 c fallback to adder encoding 741.63/742.85 o 1926 741.63/742.85 c fallback to adder encoding 741.79/746.97 o 1920 741.79/746.97 c fallback to adder encoding 756.83/758.09 o 1914 756.83/758.09 c fallback to adder encoding 758.62/759.87 o 1908 758.62/759.87 c fallback to adder encoding 761.01/762.24 o 1901 761.01/762.24 c fallback to adder encoding 764.84/766.06 o 1876 764.84/766.06 c fallback to adder encoding 766.80/768.02 o 1859 766.80/768.02 c fallback to adder encoding 770.52/771.78 o 1856 770.52/771.78 c fallback to adder encoding 772.48/773.74 o 1855 772.48/773.74 c fallback to adder encoding 774.40/775.69 o 1853 774.40/775.69 c fallback to adder encoding 776.70/777.99 o 1840 776.70/777.99 c fallback to adder encoding 779.28/780.57 o 1830 779.28/780.57 c fallback to adder encoding 784.77/786.04 o 1820 784.77/786.04 c fallback to adder encoding 787.36/788.61 o 1817 787.36/788.61 c fallback to adder encoding 788.27/789.54 o 1816 788.27/789.54 c fallback to adder encoding 790.25/791.52 o 1801 790.25/791.52 c fallback to adder encoding 792.38/793.68 o 1738 792.38/793.68 c fallback to adder encoding 794.36/795.67 o 1737 794.36/795.67 c fallback to adder encoding 796.52/797.82 o 1685 796.52/797.82 c fallback to adder encoding 800.25/801.59 o 1683 800.25/801.59 c fallback to adder encoding 803.12/804.40 o 1627 803.12/804.40 c fallback to adder encoding 804.47/805.82 o 1625 804.47/805.82 c fallback to adder encoding 809.52/810.88 o 1624 809.52/810.88 c fallback to adder encoding 811.60/812.98 o 1623 811.60/812.98 c fallback to adder encoding 813.70/815.03 o 1605 813.70/815.03 c fallback to adder encoding 814.99/816.33 o 1598 814.99/816.33 c fallback to adder encoding 816.62/817.96 o 1594 816.62/817.96 c fallback to adder encoding 818.78/820.21 o 1585 818.78/820.21 c fallback to adder encoding 823.96/825.44 o 1584 823.96/825.44 c fallback to adder encoding 826.61/828.19 o 1580 826.61/828.19 c fallback to adder encoding 828.89/830.47 o 1579 828.89/830.47 c fallback to adder encoding 834.87/836.46 o 1577 834.87/836.46 c fallback to adder encoding 837.37/838.95 o 1563 837.37/838.95 c fallback to adder encoding 839.78/841.38 o 1544 839.78/841.38 c fallback to adder encoding 844.61/846.27 o 1541 844.61/846.27 c fallback to adder encoding 846.53/848.29 o 1540 846.53/848.29 c fallback to adder encoding 849.02/850.75 o 1533 849.02/850.75 c fallback to adder encoding 851.49/853.21 o 1522 851.49/853.21 c fallback to adder encoding 855.29/857.01 o 1519 855.29/857.01 c fallback to adder encoding 862.04/863.70 o 1518 862.04/863.70 c fallback to adder encoding 864.83/866.53 o 1516 864.83/866.53 c fallback to adder encoding 871.99/873.71 o 1514 871.99/873.71 c fallback to adder encoding 874.12/875.84 o 1505 874.12/875.84 c fallback to adder encoding 876.24/877.98 o 1151 876.24/877.98 c fallback to adder encoding 880.20/881.93 o 1150 880.20/881.93 c fallback to adder encoding 881.64/883.36 o 1146 881.64/883.36 c fallback to adder encoding 884.59/886.31 o 1145 884.59/886.31 c fallback to adder encoding 892.13/893.89 o 1136 892.13/893.89 c fallback to adder encoding 896.70/898.43 o 1113 896.70/898.43 c fallback to adder encoding 901.94/903.66 o 1105 901.94/903.66 c fallback to adder encoding 903.82/905.56 o 1104 903.82/905.56 c fallback to adder encoding 908.69/910.42 o 1070 908.69/910.42 c fallback to adder encoding 913.91/915.64 o 1069 913.91/915.64 c fallback to adder encoding 916.98/918.81 o 1051 916.98/918.81 c fallback to adder encoding 918.42/920.26 o 1050 918.42/920.26 c fallback to adder encoding 921.50/923.33 o 1048 921.50/923.33 c fallback to adder encoding 924.51/926.35 o 1046 924.51/926.35 c fallback to adder encoding 932.29/934.13 o 1044 932.29/934.13 c fallback to adder encoding 934.62/936.46 o 1041 934.62/936.46 c fallback to adder encoding 938.26/940.10 o 1040 938.26/940.10 c fallback to adder encoding 939.90/941.81 o 1032 939.90/941.81 c fallback to adder encoding 942.18/944.17 o 1025 942.18/944.17 c fallback to adder encoding 943.68/945.66 o 1024 943.68/945.66 c fallback to adder encoding 949.59/951.58 o 1010 949.59/951.58 c fallback to adder encoding 950.77/952.78 o 1008 950.77/952.78 c fallback to adder encoding 953.76/955.74 o 1006 953.76/955.74 c fallback to adder encoding 955.97/957.99 o 1005 955.97/957.99 c fallback to adder encoding 958.08/960.05 o 999 958.08/960.05 c fallback to adder encoding 966.26/968.22 o 996 966.26/968.22 c fallback to adder encoding 970.27/972.26 o 995 970.27/972.26 c fallback to adder encoding 987.64/989.61 o 993 987.64/989.61 c fallback to adder encoding 988.67/990.70 o 992 988.67/990.70 c fallback to adder encoding 1001.56/1003.53 o 990 1001.56/1003.53 c fallback to adder encoding 1004.46/1006.42 o 989 1004.46/1006.42 c fallback to adder encoding 1010.47/1012.49 o 966 1010.47/1012.49 c fallback to adder encoding 1023.18/1025.17 o 965 1023.18/1025.17 c fallback to adder encoding 1033.98/1035.99 o 964 1033.98/1035.99 c fallback to adder encoding 1038.77/1040.78 o 906 1038.77/1040.78 c fallback to adder encoding 1040.13/1042.11 o 904 1040.13/1042.11 c fallback to adder encoding 1042.70/1044.76 o 903 1042.70/1044.76 c fallback to adder encoding 1044.69/1046.80 o 901 1044.69/1046.80 c fallback to adder encoding 1046.12/1048.29 o 900 1046.12/1048.29 c fallback to adder encoding 1049.83/1051.99 o 894 1049.83/1051.99 c fallback to adder encoding 1051.83/1053.97 o 893 1051.83/1053.97 c fallback to adder encoding 1054.73/1056.89 o 890 1054.73/1056.89 c fallback to adder encoding 1056.21/1058.35 o 889 1056.21/1058.35 c fallback to adder encoding 1059.90/1062.07 o 885 1059.90/1062.07 c fallback to adder encoding 1062.09/1064.27 o 882 1062.09/1064.27 c fallback to adder encoding 1063.31/1065.48 o 863 1063.31/1065.48 c fallback to adder encoding 1065.50/1067.66 o 862 1065.50/1067.66 c fallback to adder encoding 1070.69/1072.88 o 860 1070.69/1072.88 c fallback to adder encoding 1072.18/1074.32 o 853 1072.18/1074.32 c fallback to adder encoding 1074.50/1076.69 o 780 1074.50/1076.69 c fallback to adder encoding 1076.51/1078.68 o 773 1076.51/1078.68 c fallback to adder encoding 1080.17/1082.36 o 768 1080.17/1082.36 c fallback to adder encoding 1082.28/1084.45 o 729 1082.28/1084.45 c fallback to adder encoding 1083.97/1086.15 o 724 1083.97/1086.15 c fallback to adder encoding 1086.08/1088.24 o 722 1086.08/1088.24 c fallback to adder encoding 1087.98/1090.12 o 721 1087.98/1090.12 c fallback to adder encoding 1089.46/1091.69 o 720 1089.46/1091.69 c fallback to adder encoding 1090.66/1092.82 o 719 1090.66/1092.82 c fallback to adder encoding 1093.76/1095.93 o 718 1093.76/1095.93 c fallback to adder encoding 1096.29/1098.40 o 716 1096.29/1098.40 c fallback to adder encoding 1097.59/1099.75 o 708 1097.59/1099.75 c fallback to adder encoding 1098.73/1101.07 o 511 1098.73/1101.07 c fallback to adder encoding 1099.09/1101.43 o 476 1099.09/1101.43 c fallback to adder encoding 1099.18/1101.74 o 455 1099.18/1101.74 c fallback to adder encoding 1099.67/1102.01 o 454 1099.67/1102.01 c fallback to adder encoding 1100.10/1102.46 o 437 1100.10/1102.46 c fallback to adder encoding 1102.59/1104.92 o 434 1102.59/1104.92 c fallback to adder encoding 1102.67/1105.34 o 430 1102.67/1105.34 c fallback to adder encoding 1104.17/1106.60 o 423 1104.17/1106.60 c fallback to adder encoding 1104.20/1107.06 o 414 1104.20/1107.06 c fallback to adder encoding 1105.28/1107.77 o 412 1105.28/1107.77 c fallback to adder encoding 1105.37/1108.16 o 411 1105.37/1108.16 c fallback to adder encoding 1106.65/1109.17 o 408 1106.65/1109.17 c fallback to adder encoding 1107.76/1110.20 o 407 1107.76/1110.20 c fallback to adder encoding 1107.82/1110.68 o 406 1107.82/1110.68 c fallback to adder encoding 1108.77/1111.28 o 404 1108.77/1111.28 c fallback to adder encoding 1109.30/1111.83 o 396 1109.30/1111.83 c fallback to adder encoding 1110.16/1112.75 o 395 1110.16/1112.75 c fallback to adder encoding 1110.66/1113.21 o 394 1110.66/1113.21 c fallback to adder encoding 1110.71/1113.53 o 385 1110.71/1113.53 c fallback to adder encoding 1111.04/1113.74 o 380 1111.04/1113.74 c fallback to adder encoding 1111.25/1113.95 o 364 1111.25/1113.95 c fallback to adder encoding 1111.45/1114.23 o 345 1111.45/1114.23 c fallback to adder encoding 1111.88/1114.43 o 340 1111.88/1114.43 c fallback to adder encoding 1112.25/1114.80 o 339 1112.25/1114.80 c fallback to adder encoding 1112.46/1115.01 o 337 1112.46/1115.01 c fallback to adder encoding 1112.78/1115.32 o 332 1112.78/1115.32 c fallback to adder encoding 1112.97/1115.52 o 331 1112.97/1115.52 c fallback to adder encoding 1113.03/1115.92 o 330 1113.03/1115.92 c fallback to adder encoding 1113.42/1116.47 o 328 1113.42/1116.47 c fallback to adder encoding 1114.17/1116.74 o 327 1114.17/1116.74 c fallback to adder encoding 1114.22/1116.99 o 319 1114.22/1116.99 c fallback to adder encoding 1114.47/1117.18 o 305 1114.47/1117.18 c fallback to adder encoding 1114.83/1117.40 o 304 1114.83/1117.40 c fallback to adder encoding 1115.04/1117.65 o 294 1115.04/1117.65 c fallback to adder encoding 1115.25/1117.80 o 285 1115.25/1117.80 c fallback to adder encoding 1115.26/1117.97 o 284 1115.26/1117.97 c fallback to adder encoding 1115.44/1118.33 o 256 1115.44/1118.33 c fallback to adder encoding 1115.81/1118.45 o 255 1115.81/1118.45 c fallback to adder encoding 1115.92/1118.56 o 254 1115.92/1118.56 c fallback to adder encoding 1116.15/1118.74 o 253 1116.15/1118.74 c fallback to adder encoding 1116.20/1118.85 o 252 1116.20/1118.85 c fallback to adder encoding 1116.33/1118.96 o 251 1116.33/1118.96 c fallback to adder encoding 1116.44/1119.11 o 250 1116.44/1119.11 c fallback to adder encoding 1116.59/1119.26 o 242 1116.59/1119.26 c fallback to adder encoding 1116.74/1119.35 o 227 1116.74/1119.35 c fallback to adder encoding 1116.83/1119.43 o 225 1116.83/1119.43 c fallback to adder encoding 1116.90/1119.51 o 224 1116.90/1119.51 c fallback to adder encoding 1117.05/1119.60 o 221 1117.05/1119.60 c fallback to adder encoding 1117.08/1119.75 o 217 1117.08/1119.75 c fallback to adder encoding 1117.26/1119.83 o 205 1117.26/1119.83 c fallback to adder encoding 1117.36/1119.92 o 186 1117.49/1120.13 o 172 1117.61/1120.24 c display solution 1117.61/1120.24 s OPTIMUM FOUND 1117.61/1120.24 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 172
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-3753805-1339201216/watcher-3753805-1339201216 -o /tmp/evaluation-result-3753805-1339201216/solver-3753805-1339201216 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753805-1339201216.wbo 19724759 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: 2.06 2.02 2.00 2/180 3962 /proc/meminfo: memFree=29088996/32873648 swapFree=7376/7376 [pid=3962] ppid=3960 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3962/stat : 3962 (npSolver-wbo-It) S 3960 3962 27509 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386247001 9367552 275 33554432000 4194304 5064252 140734355086016 140734355084928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3962/statm: 2287 275 233 213 0 72 0 [startup+0.011804 s] /proc/loadavg: 2.06 2.02 2.00 2/180 3962 /proc/meminfo: memFree=29088996/32873648 swapFree=7376/7376 [pid=3962] ppid=3960 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3962/stat : 3962 (npSolver-wbo-It) S 3960 3962 27509 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386247001 9367552 275 33554432000 4194304 5064252 140734355086016 140734355084928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3962/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100295 s] /proc/loadavg: 2.06 2.02 2.00 2/180 3962 /proc/meminfo: memFree=29088996/32873648 swapFree=7376/7376 [pid=3962] ppid=3960 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3962/stat : 3962 (npSolver-wbo-It) S 3960 3962 27509 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386247001 9367552 275 33554432000 4194304 5064252 140734355086016 140734355084928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3962/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300286 s] /proc/loadavg: 2.06 2.02 2.00 2/180 3962 /proc/meminfo: memFree=29088996/32873648 swapFree=7376/7376 [pid=3962] ppid=3960 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3962/stat : 3962 (npSolver-wbo-It) S 3960 3962 27509 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386247001 9367552 275 33554432000 4194304 5064252 140734355086016 140734355084928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3962/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700178 s] /proc/loadavg: 2.06 2.02 2.00 2/180 3962 /proc/meminfo: memFree=29088996/32873648 swapFree=7376/7376 [pid=3962] ppid=3960 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3962/stat : 3962 (npSolver-wbo-It) S 3960 3962 27509 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386247001 9367552 275 33554432000 4194304 5064252 140734355086016 140734355084928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3962/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50039 s] /proc/loadavg: 2.06 2.02 2.00 3/184 3976 /proc/meminfo: memFree=29042804/32873648 swapFree=7376/7376 [pid=3962] ppid=3960 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3962/stat : 3962 (npSolver-wbo-It) S 3960 3962 27509 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386247001 9367552 275 33554432000 4194304 5064252 140734355086016 140734355084928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3962/statm: 2287 275 233 213 0 72 0 [pid=3963] ppid=3962 vsize=20020 CPUtime=0.15 cores=0,2,4,6 /proc/3963/stat : 3963 (npSolver-wbo) S 3962 3962 27509 0 -1 4202496 3637 4906 0 0 12 2 1 0 20 0 1 0 386247001 20500480 4524 33554432000 4194304 6006132 140737043087856 140737043079248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3963/statm: 5005 4524 179 443 0 4558 0 [pid=3975] ppid=3963 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3975/stat : 3975 (satsolver.sh) S 3963 3962 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386247018 9367552 266 33554432000 4194304 5064252 140733670480992 140733670479904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/3975/statm: 2287 266 226 213 0 72 0 [pid=3976] ppid=3975 vsize=26592 CPUtime=1.32 cores=0,2,4,6 /proc/3976/stat : 3976 (glucose) R 3975 3962 27509 0 -1 4202496 5641 0 0 0 131 1 0 0 20 0 1 0 386247018 27230208 5713 33554432000 4194304 5208918 140735320842464 140735320840312 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/3976/statm: 6648 5713 102 248 0 6397 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 64908 [startup+3.1003 s] /proc/loadavg: 2.06 2.02 2.00 3/184 3976 /proc/meminfo: memFree=29035428/32873648 swapFree=7376/7376 [pid=3962] ppid=3960 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3962/stat : 3962 (npSolver-wbo-It) S 3960 3962 27509 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386247001 9367552 275 33554432000 4194304 5064252 140734355086016 140734355084928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3962/statm: 2287 275 233 213 0 72 0 [pid=3963] ppid=3962 vsize=20020 CPUtime=0.15 cores=0,2,4,6 /proc/3963/stat : 3963 (npSolver-wbo) S 3962 3962 27509 0 -1 4202496 3637 4906 0 0 12 2 1 0 20 0 1 0 386247001 20500480 4524 33554432000 4194304 6006132 140737043087856 140737043079248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3963/statm: 5005 4524 179 443 0 4558 0 [pid=3975] ppid=3963 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3975/stat : 3975 (satsolver.sh) S 3963 3962 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386247018 9367552 266 33554432000 4194304 5064252 140733670480992 140733670479904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/3975/statm: 2287 266 226 213 0 72 0 [pid=3976] ppid=3975 vsize=27304 CPUtime=2.92 cores=0,2,4,6 /proc/3976/stat : 3976 (glucose) R 3975 3962 27509 0 -1 4202496 5820 0 0 0 291 1 0 0 20 0 1 0 386247018 27959296 5892 33554432000 4194304 5208918 140735320842464 140735320840216 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/3976/statm: 6826 5892 103 248 0 6575 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 65620 [startup+6.30028 s] /proc/loadavg: 2.06 2.02 2.00 3/184 3976 /proc/meminfo: memFree=29033576/32873648 swapFree=7376/7376 [pid=3962] ppid=3960 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3962/stat : 3962 (npSolver-wbo-It) S 3960 3962 27509 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386247001 9367552 275 33554432000 4194304 5064252 140734355086016 140734355084928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3962/statm: 2287 275 233 213 0 72 0 [pid=3963] ppid=3962 vsize=20020 CPUtime=0.15 cores=0,2,4,6 /proc/3963/stat : 3963 (npSolver-wbo) S 3962 3962 27509 0 -1 4202496 3637 4906 0 0 12 2 1 0 20 0 1 0 386247001 20500480 4524 33554432000 4194304 6006132 140737043087856 140737043079248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3963/statm: 5005 4524 179 443 0 4558 0 [pid=3975] ppid=3963 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3975/stat : 3975 (satsolver.sh) S 3963 3962 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386247018 9367552 266 33554432000 4194304 5064252 140733670480992 140733670479904 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/3975/statm: 2287 266 226 213 0 72 0 [pid=3976] ppid=3975 vsize=28220 CPUtime=6.11 cores=0,2,4,6 /proc/3976/stat : 3976 (glucose) R 3975 3962 27509 0 -1 4202496 7089 0 0 0 610 1 0 0 20 0 1 0 386247018 28897280 6115 33554432000 4194304 5208918 140735320842464 140735320838776 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/3976/statm: 7055 6115 103 248 0 6804 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 66536 [startup+12.7003 s] /proc/loadavg: 2.05 2.02 2.00 3/184 3990 /proc/meminfo: memFree=29054184/32873648 swapFree=7376/7376 [pid=3962] ppid=3960 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3962/stat : 3962 (npSolver-wbo-It) S 3960 3962 27509 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386247001 9367552 275 33554432000 4194304 5064252 140734355086016 140734355084928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3962/statm: 2287 275 233 213 0 72 0 [pid=3963] ppid=3962 vsize=20020 CPUtime=7.85 cores=0,2,4,6 /proc/3963/stat : 3963 (npSolver-wbo) S 3962 3962 27509 0 -1 4202496 5849 16012 0 0 22 3 754 6 20 0 1 0 386247001 20500480 4524 33554432000 4194304 6006132 140737043087856 140737043079248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3963/statm: 5005 4524 179 443 0 4558 0 [pid=3989] ppid=3963 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3989/stat : 3989 (satsolver.sh) S 3963 3962 27509 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386247788 9367552 267 33554432000 4194304 5064252 140735351868000 140735351866912 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/3989/statm: 2287 267 226 213 0 72 0 [pid=3990] ppid=3989 vsize=27528 CPUtime=4.81 cores=0,2,4,6 /proc/3990/stat : 3990 (glucose) R 3989 3962 27509 0 -1 4202496 6451 0 0 0 480 1 0 0 20 0 1 0 386247789 28188672 5929 33554432000 4194304 5208918 140733624255264 140733624253016 4211122 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/3990/statm: 6882 5929 103 248 0 6631 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 65844 [startup+25.5004 s] /proc/loadavg: 2.04 2.01 2.00 3/184 4018 /proc/meminfo: memFree=29054560/32873648 swapFree=7376/7376 [pid=3962] ppid=3960 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3962/stat : 3962 (npSolver-wbo-It) S 3960 3962 27509 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386247001 9367552 275 33554432000 4194304 5064252 140734355086016 140734355084928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3962/statm: 2287 275 233 213 0 72 0 [pid=3963] ppid=3962 vsize=20020 CPUtime=21.55 cores=0,2,4,6 /proc/3963/stat : 3963 (npSolver-wbo) S 3962 3962 27509 0 -1 4202496 10273 37135 0 0 45 5 2089 16 20 0 1 0 386247001 20500480 4524 33554432000 4194304 6006132 140737043087856 140737043079248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3963/statm: 5005 4524 179 443 0 4558 0 [pid=4010] ppid=3963 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4010/stat : 4010 (satsolver.sh) S 3963 3962 27509 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386249159 9367552 266 33554432000 4194304 5064252 140736379669376 140736379668288 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/4010/statm: 2287 266 226 213 0 72 0 [pid=4011] ppid=4010 vsize=28120 CPUtime=3.91 cores=0,2,4,6 /proc/4011/stat : 4011 (glucose) R 4010 3962 27509 0 -1 4202496 6609 0 0 0 390 1 0 0 20 0 1 0 386249159 28794880 5850 33554432000 4194304 5208918 140733411788816 140733411786488 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/4011/statm: 7030 5850 103 248 0 6779 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 66436 [startup+51.1002 s] /proc/loadavg: 2.03 2.01 2.00 3/183 4053 /proc/meminfo: memFree=29037692/32873648 swapFree=7376/7376 [pid=3962] ppid=3960 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3962/stat : 3962 (npSolver-wbo-It) S 3960 3962 27509 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386247001 9367552 275 33554432000 4194304 5064252 140734355086016 140734355084928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3962/statm: 2287 275 233 213 0 72 0 [pid=3963] ppid=3962 vsize=20020 CPUtime=42.92 cores=0,2,4,6 /proc/3963/stat : 3963 (npSolver-wbo) S 3962 3962 27509 0 -1 4202496 19121 77211 0 0 89 9 4156 38 20 0 1 0 386247001 20500480 4524 33554432000 4194304 6006132 140737043087856 140737043079248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3963/statm: 5005 4524 179 443 0 4558 0 [pid=4052] ppid=3963 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4052/stat : 4052 (satsolver.sh) S 3963 3962 27509 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386251297 9367552 267 33554432000 4194304 5064252 140737366358400 140737366357312 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/4052/statm: 2287 267 226 213 0 72 0 [pid=4053] ppid=4052 vsize=27960 CPUtime=8.13 cores=0,2,4,6 /proc/4053/stat : 4053 (glucose) R 4052 3962 27509 0 -1 4202496 6744 0 0 0 812 1 0 0 20 0 1 0 386251297 28631040 6246 33554432000 4194304 5208918 140736938041824 140736938039784 4211501 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/4053/statm: 6990 6246 103 248 0 6739 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 66276 [startup+102.307 s] /proc/loadavg: 2.01 2.01 2.00 3/183 4151 /proc/meminfo: memFree=29044860/32873648 swapFree=7376/7376 [pid=3962] ppid=3960 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3962/stat : 3962 (npSolver-wbo-It) S 3960 3962 27509 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386247001 9367552 275 33554432000 4194304 5064252 140734355086016 140734355084928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3962/statm: 2287 275 233 213 0 72 0 [pid=3963] ppid=3962 vsize=20020 CPUtime=100.53 cores=0,2,4,6 /proc/3963/stat : 3963 (npSolver-wbo) S 3962 3962 27509 0 -1 4202496 39029 167292 0 0 187 18 9760 88 20 0 1 0 386247001 20500480 4524 33554432000 4194304 6006132 140737043087856 140737043079248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 10 0 0 /proc/3963/statm: 5005 4524 179 443 0 4558 0 [pid=4150] ppid=3963 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4150/stat : 4150 (satsolver.sh) S 3963 3962 27509 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386257090 9367552 267 33554432000 4194304 5064252 140734261048336 140734261047248 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/4150/statm: 2287 267 226 213 0 72 0 [pid=4151] ppid=4150 vsize=27228 CPUtime=1.4 cores=0,2,4,6 /proc/4151/stat : 4151 (glucose) R 4150 3962 27509 0 -1 4202496 5889 0 0 0 139 1 0 0 20 0 1 0 386257090 27881472 5941 33554432000 4194304 5208918 140734361825776 140734361823624 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/4151/statm: 6807 5941 103 248 0 6556 0 Current children cumulated CPU time (s) 101.93 Current children cumulated vsize (KiB) 65544 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 4287 /proc/meminfo: memFree=29073268/32873648 swapFree=7376/7376 [pid=3962] ppid=3960 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3962/stat : 3962 (npSolver-wbo-It) S 3960 3962 27509 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386247001 9367552 275 33554432000 4194304 5064252 140734355086016 140734355084928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3962/statm: 2287 275 233 213 0 72 0 [pid=3963] ppid=3962 vsize=20020 CPUtime=161.28 cores=0,2,4,6 /proc/3963/stat : 3963 (npSolver-wbo) S 3962 3962 27509 0 -1 4202496 69997 301192 0 0 337 33 15593 165 20 0 1 0 386247001 20500480 4524 33554432000 4194304 6006132 140737043087856 140737043079248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0 /proc/3963/statm: 5005 4524 179 443 0 4558 0 Current children cumulated CPU time (s) 161.28 ################ # More data... # ################ /proc/3963/statm: 5005 4525 179 443 0 4558 0 [pid=5942] ppid=3963 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5942/stat : 5942 (satsolver.sh) S 3963 3962 27509 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386335204 9367552 266 33554432000 4194304 5064252 140735859884272 140735859883184 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/5942/statm: 2287 266 226 213 0 72 0 [pid=5943] ppid=5942 vsize=20860 CPUtime=0.26 cores=0,2,4,6 /proc/5943/stat : 5943 (glucose) R 5942 3962 27509 0 -1 4202496 5325 0 0 0 25 1 0 0 20 0 1 0 386335204 21360640 4631 33554432000 4194304 5208918 140736590792064 140735859883208 4211038 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/5943/statm: 5215 4631 104 248 0 4964 0 Current children cumulated CPU time (s) 880.63 Current children cumulated vsize (KiB) 59176 [startup+942.3 s] /proc/loadavg: 2.02 2.03 2.00 4/183 6090 /proc/meminfo: memFree=29059912/32873648 swapFree=7376/7376 [pid=3962] ppid=3960 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3962/stat : 3962 (npSolver-wbo-It) S 3960 3962 27509 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386247001 9367552 275 33554432000 4194304 5064252 140734355086016 140734355084928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3962/statm: 2287 275 233 213 0 72 0 [pid=3963] ppid=3962 vsize=20020 CPUtime=940.01 cores=0,2,4,6 /proc/3963/stat : 3963 (npSolver-wbo) S 3962 3962 27509 0 -1 4202496 479217 2068026 0 0 2122 210 90576 1093 20 0 1 0 386247001 20500480 4525 33554432000 4194304 6006132 140737043087856 140737043079248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0 /proc/3963/statm: 5005 4525 179 443 0 4558 0 Current children cumulated CPU time (s) 940.01 Current children cumulated vsize (KiB) 29168 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 6209 /proc/meminfo: memFree=29046988/32873648 swapFree=7376/7376 [pid=3962] ppid=3960 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3962/stat : 3962 (npSolver-wbo-It) S 3960 3962 27509 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386247001 9367552 275 33554432000 4194304 5064252 140734355086016 140734355084928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3962/statm: 2287 275 233 213 0 72 0 [pid=3963] ppid=3962 vsize=20020 CPUtime=988.88 cores=0,2,4,6 /proc/3963/stat : 3963 (npSolver-wbo) S 3962 3962 27509 0 -1 4202496 503539 2164346 0 0 2212 220 95316 1140 20 0 1 0 386247001 20500480 4527 33554432000 4194304 6006132 140737043087856 140737043079248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0 /proc/3963/statm: 5005 4527 179 443 0 4558 0 [pid=6208] ppid=3963 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/6208/stat : 6208 (satsolver.sh) S 3963 3962 27509 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386346080 9367552 266 33554432000 4194304 5064252 140734168690496 140734168689408 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/6208/statm: 2287 266 226 213 0 72 0 [pid=6209] ppid=6208 vsize=26932 CPUtime=11.5 cores=0,2,4,6 /proc/6209/stat : 6209 (glucose) R 6208 3962 27509 0 -1 4202496 4852 0 0 0 1149 1 0 0 20 0 1 0 386346080 27578368 5420 33554432000 4194304 5208918 140735245814128 140735245812072 4211501 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/6209/statm: 6733 5420 104 248 0 6482 0 Current children cumulated CPU time (s) 1000.38 Current children cumulated vsize (KiB) 65248 [startup+1062.3 s] /proc/loadavg: 2.03 2.03 2.00 3/183 6349 /proc/meminfo: memFree=29064408/32873648 swapFree=7376/7376 [pid=3962] ppid=3960 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3962/stat : 3962 (npSolver-wbo-It) S 3960 3962 27509 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386247001 9367552 275 33554432000 4194304 5064252 140734355086016 140734355084928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3962/statm: 2287 275 233 213 0 72 0 [pid=3963] ppid=3962 vsize=20020 CPUtime=1060.06 cores=0,2,4,6 /proc/3963/stat : 3963 (npSolver-wbo) S 3962 3962 27509 0 -1 4202496 536704 2286630 0 0 2326 232 102249 1199 20 0 1 0 386247001 20500480 4533 33554432000 4194304 6006132 140737043087856 140737043079248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 15 0 0 /proc/3963/statm: 5005 4533 179 443 0 4558 0 Current children cumulated CPU time (s) 1060.06 Current children cumulated vsize (KiB) 29168 Solver just ended. Dumping a history of the last processes samples [startup+1075.2 s] /proc/loadavg: 2.03 2.03 2.00 3/183 6398 /proc/meminfo: memFree=29066880/32873648 swapFree=7376/7376 [pid=3962] ppid=3960 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3962/stat : 3962 (npSolver-wbo-It) S 3960 3962 27509 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386247001 9367552 275 33554432000 4194304 5064252 140734355086016 140734355084928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3962/statm: 2287 275 233 213 0 72 0 [pid=3963] ppid=3962 vsize=20020 CPUtime=1072.31 cores=0,2,4,6 /proc/3963/stat : 3963 (npSolver-wbo) S 3962 3962 27509 0 -1 4202496 547759 2326169 0 0 2363 236 103412 1220 20 0 1 0 386247001 20500480 4535 33554432000 4194304 6006132 140737043087856 140737043079248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 15 0 0 /proc/3963/statm: 5005 4535 179 443 0 4558 0 [pid=6397] ppid=3963 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/6397/stat : 6397 (satsolver.sh) S 3963 3962 27509 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386354441 9367552 267 33554432000 4194304 5064252 140734157055040 140734157053952 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/6397/statm: 2287 267 226 213 0 72 0 [pid=6398] ppid=6397 vsize=18476 CPUtime=0.79 cores=0,2,4,6 /proc/6398/stat : 6398 (glucose) R 6397 3962 27509 0 -1 4202496 4155 0 0 0 78 1 0 0 20 0 1 0 386354441 18919424 3835 33554432000 4194304 5208918 140733520396464 140733520394296 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/6398/statm: 4619 3835 105 248 0 4368 0 Current children cumulated CPU time (s) 1073.1 Current children cumulated vsize (KiB) 56792 [startup+1100.8 s] /proc/loadavg: 2.02 2.03 2.00 3/183 6497 /proc/meminfo: memFree=29069348/32873648 swapFree=7376/7376 [pid=3962] ppid=3960 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3962/stat : 3962 (npSolver-wbo-It) S 3960 3962 27509 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386247001 9367552 275 33554432000 4194304 5064252 140734355086016 140734355084928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3962/statm: 2287 275 233 213 0 72 0 [pid=3963] ppid=3962 vsize=20020 CPUtime=1097.7 cores=0,2,4,6 /proc/3963/stat : 3963 (npSolver-wbo) S 3962 3962 27509 0 -1 4202496 568335 2417822 0 0 2437 244 105826 1263 20 0 1 0 386247001 20500480 4535 33554432000 4194304 6006132 140737043087856 140737043079248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0 /proc/3963/statm: 5005 4535 179 443 0 4558 0 [pid=6496] ppid=3963 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/6496/stat : 6496 (satsolver.sh) S 3963 3962 27509 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386356982 9367552 267 33554432000 4194304 5064252 140737447486512 140737447485424 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/6496/statm: 2287 267 226 213 0 72 0 [pid=6497] ppid=6496 vsize=16300 CPUtime=0.97 cores=0,2,4,6 /proc/6497/stat : 6497 (glucose) R 6496 3962 27509 0 -1 4202496 3494 0 0 0 97 0 0 0 20 0 1 0 386356983 16691200 3425 33554432000 4194304 5208918 140734666489680 140734666487528 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/6497/statm: 4075 3425 105 248 0 3824 0 Current children cumulated CPU time (s) 1098.67 Current children cumulated vsize (KiB) 54616 [startup+1113.6 s] /proc/loadavg: 2.01 2.02 2.00 3/183 6633 /proc/meminfo: memFree=29078356/32873648 swapFree=7376/7376 [pid=3962] ppid=3960 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3962/stat : 3962 (npSolver-wbo-It) S 3960 3962 27509 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386247001 9367552 275 33554432000 4194304 5064252 140734355086016 140734355084928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3962/statm: 2287 275 233 213 0 72 0 [pid=3963] ppid=3962 vsize=20020 CPUtime=1111.04 cores=0,2,4,6 /proc/3963/stat : 3963 (npSolver-wbo) S 3962 3962 27509 0 -1 4202496 592131 2528571 0 0 2496 252 107049 1307 20 0 1 0 386247001 20500480 4535 33554432000 4194304 6006132 140737043087856 140737043079248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0 /proc/3963/statm: 5005 4535 179 443 0 4558 0 Current children cumulated CPU time (s) 1111.04 Current children cumulated vsize (KiB) 29168 [startup+1116.8 s] /proc/loadavg: 2.01 2.02 2.00 3/183 6714 /proc/meminfo: memFree=29073404/32873648 swapFree=7376/7376 [pid=3962] ppid=3960 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3962/stat : 3962 (npSolver-wbo-It) S 3960 3962 27509 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386247001 9367552 275 33554432000 4194304 5064252 140734355086016 140734355084928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3962/statm: 2287 275 233 213 0 72 0 [pid=3963] ppid=3962 vsize=20020 CPUtime=1114.22 cores=0,2,4,6 /proc/3963/stat : 3963 (npSolver-wbo) S 3962 3962 27509 0 -1 4202496 603465 2588712 0 0 2523 255 107315 1329 20 0 1 0 386247001 20500480 4535 33554432000 4194304 6006132 140737043087856 140737043079248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0 /proc/3963/statm: 5005 4535 179 443 0 4558 0 Current children cumulated CPU time (s) 1114.22 Current children cumulated vsize (KiB) 29168 [startup+1118.4 s] /proc/loadavg: 2.01 2.02 2.00 3/183 6742 /proc/meminfo: memFree=29068200/32873648 swapFree=7376/7376 [pid=3962] ppid=3960 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3962/stat : 3962 (npSolver-wbo-It) S 3960 3962 27509 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386247001 9367552 275 33554432000 4194304 5064252 140734355086016 140734355084928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3962/statm: 2287 275 233 213 0 72 0 [pid=3963] ppid=3962 vsize=20020 CPUtime=1115.81 cores=0,2,4,6 /proc/3963/stat : 3963 (npSolver-wbo) S 3962 3962 27509 0 -1 4202496 609869 2624101 0 0 2537 257 107446 1341 20 0 1 0 386247001 20500480 4535 33554432000 4194304 6006132 140737043087856 140737043079248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0 /proc/3963/statm: 5005 4535 179 443 0 4558 0 Current children cumulated CPU time (s) 1115.81 Current children cumulated vsize (KiB) 29168 [startup+1119.2 s] /proc/loadavg: 2.01 2.02 2.00 3/183 6784 /proc/meminfo: memFree=29067632/32873648 swapFree=7376/7376 [pid=3962] ppid=3960 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3962/stat : 3962 (npSolver-wbo-It) S 3960 3962 27509 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386247001 9367552 275 33554432000 4194304 5064252 140734355086016 140734355084928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3962/statm: 2287 275 233 213 0 72 0 [pid=3963] ppid=3962 vsize=20020 CPUtime=1116.59 cores=0,2,4,6 /proc/3963/stat : 3963 (npSolver-wbo) S 3962 3962 27509 0 -1 4202496 613482 2651025 0 0 2546 258 107507 1348 20 0 1 0 386247001 20500480 4535 33554432000 4194304 6006132 140737043087856 140737043079248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0 /proc/3963/statm: 5005 4535 179 443 0 4558 0 Current children cumulated CPU time (s) 1116.59 Current children cumulated vsize (KiB) 29168 [startup+1120 s] /proc/loadavg: 2.01 2.02 2.00 3/183 6854 /proc/meminfo: memFree=29061808/32873648 swapFree=7376/7376 [pid=3962] ppid=3960 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3962/stat : 3962 (npSolver-wbo-It) S 3960 3962 27509 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386247001 9367552 275 33554432000 4194304 5064252 140734355086016 140734355084928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3962/statm: 2287 275 233 213 0 72 0 [pid=3963] ppid=3962 vsize=20020 CPUtime=1117.41 cores=0,2,4,6 /proc/3963/stat : 3963 (npSolver-wbo) S 3962 3962 27509 0 -1 4202496 618542 2687354 0 0 2557 259 107566 1359 20 0 1 0 386247001 20500480 4536 33554432000 4194304 6006132 140737043087856 140737043079248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0 /proc/3963/statm: 5005 4536 180 443 0 4558 0 Current children cumulated CPU time (s) 1117.41 Current children cumulated vsize (KiB) 29168 [startup+1120.2 s] /proc/loadavg: 2.01 2.02 2.00 3/183 6854 /proc/meminfo: memFree=29061808/32873648 swapFree=7376/7376 [pid=3962] ppid=3960 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3962/stat : 3962 (npSolver-wbo-It) S 3960 3962 27509 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386247001 9367552 275 33554432000 4194304 5064252 140734355086016 140734355084928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3962/statm: 2287 275 233 213 0 72 0 [pid=3963] ppid=3962 vsize=20020 CPUtime=1117.61 cores=0,2,4,6 /proc/3963/stat : 3963 (npSolver-wbo) S 3962 3962 27509 0 -1 4202496 619550 2694573 0 0 2559 260 107579 1363 20 0 1 0 386247001 20500480 4536 33554432000 4194304 6006132 140737043087856 140737043079248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0 /proc/3963/statm: 5005 4536 180 443 0 4558 0 Current children cumulated CPU time (s) 1117.61 Current children cumulated vsize (KiB) 29168 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): 3.84003 # lost CPU user time (s): 3.83002 # lost CPU system time (s): 0.0100002 Real time (s): 1120.25 CPU time (s): 1121.57 CPU user time (s): 1105.3 CPU system time (s): 16.2715 CPU usage (%): 100.118 Max. virtual memory (cumulated for all children) (KiB): 78664 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1101.47 system time used= 16.2615 maximum resident set size= 36364 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3321923 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3387408 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 17453 involuntary context switches= 4355 runsolver used 2.36064 second user time and 6.54401 second system time The end
Begin job on node125 at 2012-06-09 02:20:16 IDJOB=3753805 IDBENCH=79406 IDSOLVER=2337 FILE ID=node125/3753805-1339201216 RUNJOBID= node125-1339183062-29061 PBS_JOBID= 14643842 Free space on /tmp= 70744 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh11_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753805-1339201216/watcher-3753805-1339201216 -o /tmp/evaluation-result-3753805-1339201216/solver-3753805-1339201216 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753805-1339201216.wbo 19724759 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 540e5098c207f1245411172896d943a2 RANDOM SEED=19724759 node125.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.373 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.74 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.373 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.373 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.373 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.90 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.373 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.91 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.373 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 : 5438.54 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.373 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.373 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: 29089524 kB Buffers: 752488 kB Cached: 2010808 kB SwapCached: 1248 kB Active: 2349472 kB Inactive: 475520 kB Active(anon): 51768 kB Inactive(anon): 7424 kB Active(file): 2297704 kB Inactive(file): 468096 kB Unevictable: 7376 kB Mlocked: 7376 kB SwapTotal: 67108856 kB SwapFree: 67102600 kB Dirty: 8568 kB Writeback: 0 kB AnonPages: 338208 kB Mapped: 12464 kB Shmem: 96 kB Slab: 808792 kB SReclaimable: 252304 kB SUnreclaim: 556488 kB KernelStack: 1528 kB PageTables: 4440 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 186852 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 299008 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= 70736 MiB End job on node125 at 2012-06-09 02:38:56