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 | 1171.28 | 1173.22 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh14_wcsp.wbo |
| MD5SUM | a9c1b78c2cafd61259a4392acdb09fa2 |
| 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 | 101 |
| Best CPU time to get the best result obtained on this benchmark | 0.020996 |
| 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 7883 0.00/0.04 c fallback to adder encoding 8.03/8.12 o 7882 8.03/8.12 c fallback to adder encoding 12.64/12.73 o 7690 12.64/12.73 c fallback to adder encoding 17.06/17.15 o 7687 17.06/17.15 c fallback to adder encoding 22.29/22.40 o 7677 22.29/22.40 c fallback to adder encoding 25.33/25.48 o 7586 25.33/25.48 c fallback to adder encoding 36.04/36.18 o 7564 36.04/36.18 c fallback to adder encoding 45.04/45.19 o 7449 45.04/45.19 c fallback to adder encoding 49.04/49.15 o 7429 49.04/49.15 c fallback to adder encoding 55.83/55.97 o 7425 55.83/55.97 c fallback to adder encoding 59.25/59.35 o 7380 59.25/59.35 c fallback to adder encoding 62.71/62.84 o 7379 62.71/62.84 c fallback to adder encoding 67.28/67.40 o 7376 67.28/67.40 c fallback to adder encoding 77.24/77.36 o 7375 77.24/77.36 c fallback to adder encoding 80.84/80.95 o 7367 80.84/80.95 c fallback to adder encoding 84.18/84.35 o 7365 84.18/84.35 c fallback to adder encoding 90.36/90.58 o 7177 90.36/90.58 c fallback to adder encoding 99.27/99.48 o 7118 99.27/99.48 c fallback to adder encoding 104.66/104.83 o 7104 104.66/104.83 c fallback to adder encoding 116.88/117.06 o 7095 116.88/117.06 c fallback to adder encoding 121.45/121.63 o 7084 121.45/121.63 c fallback to adder encoding 135.08/135.20 o 7083 135.08/135.20 c fallback to adder encoding 139.15/139.39 o 7072 139.15/139.39 c fallback to adder encoding 145.57/145.70 o 7051 145.57/145.70 c fallback to adder encoding 147.47/147.65 o 6861 147.47/147.65 c fallback to adder encoding 155.76/155.97 o 6860 155.76/155.97 c fallback to adder encoding 160.06/160.28 o 6793 160.06/160.28 c fallback to adder encoding 166.57/166.76 o 6790 166.57/166.76 c fallback to adder encoding 175.47/175.60 o 6785 175.47/175.60 c fallback to adder encoding 181.90/182.10 o 4399 181.90/182.10 c fallback to adder encoding 185.86/186.05 o 4396 185.86/186.05 c fallback to adder encoding 193.00/193.21 o 4395 193.00/193.21 c fallback to adder encoding 197.94/198.19 o 4364 197.94/198.19 c fallback to adder encoding 204.31/204.57 o 4338 204.31/204.57 c fallback to adder encoding 210.62/210.85 o 4141 210.62/210.85 c fallback to adder encoding 214.68/214.93 o 4138 214.68/214.93 c fallback to adder encoding 218.69/218.94 o 4127 218.69/218.94 c fallback to adder encoding 224.70/224.98 o 4126 224.70/224.98 c fallback to adder encoding 229.81/230.06 o 4124 229.81/230.06 c fallback to adder encoding 232.86/233.11 o 4103 232.86/233.11 c fallback to adder encoding 239.32/239.55 o 4101 239.32/239.55 c fallback to adder encoding 247.88/248.11 o 4100 247.88/248.11 c fallback to adder encoding 255.12/255.39 o 4099 255.12/255.39 c fallback to adder encoding 257.96/258.22 o 4087 257.96/258.22 c fallback to adder encoding 264.75/265.00 o 4080 264.75/265.00 c fallback to adder encoding 266.98/267.27 o 4070 266.98/267.27 c fallback to adder encoding 271.28/271.56 o 4001 271.28/271.56 c fallback to adder encoding 278.09/278.40 o 3977 278.09/278.40 c fallback to adder encoding 283.06/283.32 o 3967 283.06/283.32 c fallback to adder encoding 285.53/285.80 o 3892 285.53/285.80 c fallback to adder encoding 289.36/289.62 o 3866 289.36/289.62 c fallback to adder encoding 292.17/292.43 o 3785 292.17/292.43 c fallback to adder encoding 294.46/294.70 o 3784 294.46/294.70 c fallback to adder encoding 297.14/297.48 o 3776 297.14/297.48 c fallback to adder encoding 301.93/302.24 o 3723 301.93/302.24 c fallback to adder encoding 304.74/305.09 o 3714 304.74/305.09 c fallback to adder encoding 310.33/310.69 o 3705 310.33/310.69 c fallback to adder encoding 322.70/323.02 o 3677 322.70/323.02 c fallback to adder encoding 334.93/335.28 o 3676 334.93/335.28 c fallback to adder encoding 341.20/341.51 o 3675 341.20/341.51 c fallback to adder encoding 344.04/344.36 o 3669 344.04/344.36 c fallback to adder encoding 346.81/347.12 o 3648 346.81/347.12 c fallback to adder encoding 350.02/350.38 o 3622 350.02/350.38 c fallback to adder encoding 353.62/353.97 o 3542 353.62/353.97 c fallback to adder encoding 359.01/359.39 o 3521 359.01/359.39 c fallback to adder encoding 362.52/362.84 o 3511 362.52/362.84 c fallback to adder encoding 370.91/371.23 o 3473 370.91/371.23 c fallback to adder encoding 381.53/381.85 o 3466 381.53/381.85 c fallback to adder encoding 385.92/386.27 o 3359 385.92/386.27 c fallback to adder encoding 389.62/389.97 o 3358 389.62/389.97 c fallback to adder encoding 393.81/394.17 o 3338 393.81/394.17 c fallback to adder encoding 397.52/397.85 o 3300 397.52/397.85 c fallback to adder encoding 413.43/413.76 o 3232 413.43/413.76 c fallback to adder encoding 421.26/421.60 o 3225 421.26/421.60 c fallback to adder encoding 437.50/437.85 o 3224 437.50/437.85 c fallback to adder encoding 447.11/447.45 o 3190 447.11/447.45 c fallback to adder encoding 450.70/451.06 o 3189 450.70/451.06 c fallback to adder encoding 453.09/453.46 o 3178 453.09/453.46 c fallback to adder encoding 458.75/459.11 o 3151 458.75/459.11 c fallback to adder encoding 464.55/464.90 o 3134 464.55/464.90 c fallback to adder encoding 466.88/467.23 o 3100 466.88/467.23 c fallback to adder encoding 469.40/469.70 o 3059 469.40/469.70 c fallback to adder encoding 472.18/472.58 o 3050 472.18/472.58 c fallback to adder encoding 478.20/478.58 o 3031 478.20/478.58 c fallback to adder encoding 487.98/488.37 o 3030 487.98/488.37 c fallback to adder encoding 492.85/493.21 o 3029 492.85/493.21 c fallback to adder encoding 499.08/499.49 o 3007 499.08/499.49 c fallback to adder encoding 503.96/504.32 o 3002 503.96/504.32 c fallback to adder encoding 509.36/509.73 o 2999 509.36/509.73 c fallback to adder encoding 513.13/513.55 o 2991 513.13/513.55 c fallback to adder encoding 524.08/524.51 o 2990 524.08/524.51 c fallback to adder encoding 531.10/531.53 o 2986 531.10/531.53 c fallback to adder encoding 535.22/535.67 o 2982 535.22/535.67 c fallback to adder encoding 543.12/543.58 o 2803 543.12/543.58 c fallback to adder encoding 547.52/547.98 o 2788 547.52/547.98 c fallback to adder encoding 551.41/551.84 o 2785 551.41/551.84 c fallback to adder encoding 556.02/556.48 o 2745 556.02/556.48 c fallback to adder encoding 567.47/567.91 o 2553 567.47/567.91 c fallback to adder encoding 572.16/572.64 o 2544 572.16/572.64 c fallback to adder encoding 576.08/576.55 o 2528 576.08/576.55 c fallback to adder encoding 579.05/579.52 o 2519 579.05/579.52 c fallback to adder encoding 585.68/586.18 o 2516 585.68/586.18 c fallback to adder encoding 591.63/592.10 o 2515 591.63/592.10 c fallback to adder encoding 597.58/598.08 o 2308 597.58/598.08 c fallback to adder encoding 602.47/603.10 o 2241 602.47/603.10 c fallback to adder encoding 607.72/608.38 o 2240 607.72/608.38 c fallback to adder encoding 618.84/619.59 o 2239 618.84/619.59 c fallback to adder encoding 620.46/621.17 o 2231 620.46/621.17 c fallback to adder encoding 625.46/626.15 o 2229 625.46/626.15 c fallback to adder encoding 629.67/630.33 o 2228 629.67/630.33 c fallback to adder encoding 634.25/634.96 o 2225 634.25/634.96 c fallback to adder encoding 637.04/637.74 o 2224 637.04/637.74 c fallback to adder encoding 646.94/647.63 o 2207 646.94/647.63 c fallback to adder encoding 653.61/654.30 o 2205 653.61/654.30 c fallback to adder encoding 657.36/658.05 o 2184 657.36/658.05 c fallback to adder encoding 660.75/661.49 o 2166 660.75/661.49 c fallback to adder encoding 663.94/664.64 o 2165 663.94/664.64 c fallback to adder encoding 667.04/667.72 o 2162 667.04/667.72 c fallback to adder encoding 670.41/671.12 o 2156 670.41/671.12 c fallback to adder encoding 672.84/673.55 o 2135 672.84/673.55 c fallback to adder encoding 678.82/679.53 o 2133 678.82/679.53 c fallback to adder encoding 684.54/685.25 o 2132 684.54/685.25 c fallback to adder encoding 689.23/689.97 o 2121 689.23/689.97 c fallback to adder encoding 695.83/696.59 o 2120 695.83/696.59 c fallback to adder encoding 702.63/703.35 o 2119 702.63/703.35 c fallback to adder encoding 711.13/711.84 o 2112 711.13/711.84 c fallback to adder encoding 719.63/720.36 o 2106 719.63/720.36 c fallback to adder encoding 722.99/723.86 o 2105 722.99/723.86 c fallback to adder encoding 727.34/728.27 o 2097 727.34/728.27 c fallback to adder encoding 730.52/731.50 o 2093 730.52/731.50 c fallback to adder encoding 733.12/734.05 o 2085 733.12/734.05 c fallback to adder encoding 735.82/736.75 o 2080 735.82/736.75 c fallback to adder encoding 738.33/739.30 o 2079 738.33/739.30 c fallback to adder encoding 743.49/744.49 o 2071 743.49/744.49 c fallback to adder encoding 751.14/752.10 o 2042 751.14/752.10 c fallback to adder encoding 752.08/753.05 o 2032 752.08/753.05 c fallback to adder encoding 757.89/758.89 o 1997 757.89/758.89 c fallback to adder encoding 765.26/766.22 o 1996 765.26/766.22 c fallback to adder encoding 766.64/767.60 o 1994 766.64/767.60 c fallback to adder encoding 769.35/770.47 o 1990 769.35/770.47 c fallback to adder encoding 771.73/772.85 o 1987 771.73/772.85 c fallback to adder encoding 777.84/778.98 o 1984 777.84/778.98 c fallback to adder encoding 782.63/783.76 o 1959 782.63/783.76 c fallback to adder encoding 789.63/790.79 o 1955 789.63/790.79 c fallback to adder encoding 794.22/795.37 o 1952 794.22/795.37 c fallback to adder encoding 797.92/799.05 o 1950 797.92/799.05 c fallback to adder encoding 801.31/802.46 o 1929 801.31/802.46 c fallback to adder encoding 806.61/807.79 o 1922 806.61/807.79 c fallback to adder encoding 817.99/819.12 o 1909 817.99/819.12 c fallback to adder encoding 822.30/823.47 o 1908 822.30/823.47 c fallback to adder encoding 825.26/826.42 o 1902 825.26/826.42 c fallback to adder encoding 827.88/829.09 o 1886 827.88/829.09 c fallback to adder encoding 830.39/831.55 o 1885 830.39/831.55 c fallback to adder encoding 831.60/832.80 o 1878 831.60/832.80 c fallback to adder encoding 835.27/836.43 o 1871 835.27/836.43 c fallback to adder encoding 840.04/841.20 o 1860 840.04/841.20 c fallback to adder encoding 842.38/843.54 o 1854 842.38/843.54 c fallback to adder encoding 846.27/847.43 o 1511 846.27/847.43 c fallback to adder encoding 850.74/851.90 o 1498 850.74/851.90 c fallback to adder encoding 853.38/854.59 o 1497 853.38/854.59 c fallback to adder encoding 855.34/856.50 o 1491 855.34/856.50 c fallback to adder encoding 856.67/857.83 o 1485 856.67/857.83 c fallback to adder encoding 861.84/863.02 o 1484 861.84/863.02 c fallback to adder encoding 864.59/865.80 o 1479 864.59/865.80 c fallback to adder encoding 868.33/869.51 o 1477 868.33/869.51 c fallback to adder encoding 869.78/870.95 o 1458 869.78/870.95 c fallback to adder encoding 874.35/875.51 o 1453 874.35/875.51 c fallback to adder encoding 879.85/881.03 o 1445 879.85/881.03 c fallback to adder encoding 881.44/882.61 o 1430 881.44/882.61 c fallback to adder encoding 884.00/885.35 o 1425 884.00/885.35 c fallback to adder encoding 886.48/887.83 o 1414 886.48/887.83 c fallback to adder encoding 891.66/893.00 o 1410 891.66/893.00 c fallback to adder encoding 893.88/895.22 o 1408 893.88/895.22 c fallback to adder encoding 895.86/897.21 o 1407 895.86/897.21 c fallback to adder encoding 898.17/899.58 o 1398 898.17/899.58 c fallback to adder encoding 903.19/904.58 o 1394 903.19/904.58 c fallback to adder encoding 907.39/908.76 o 1393 907.39/908.76 c fallback to adder encoding 913.07/914.41 o 1389 913.07/914.41 c fallback to adder encoding 915.69/917.08 o 1387 915.69/917.08 c fallback to adder encoding 917.78/919.14 o 1382 917.78/919.14 c fallback to adder encoding 921.94/923.30 o 1354 921.94/923.30 c fallback to adder encoding 925.08/926.46 o 1351 925.08/926.46 c fallback to adder encoding 926.78/928.16 o 1350 926.78/928.16 c fallback to adder encoding 932.17/933.54 o 1349 932.17/933.54 c fallback to adder encoding 939.77/941.19 o 1348 939.77/941.19 c fallback to adder encoding 946.67/948.06 o 1330 946.67/948.06 c fallback to adder encoding 951.04/952.40 o 1327 951.04/952.40 c fallback to adder encoding 955.58/956.99 o 1326 955.58/956.99 c fallback to adder encoding 958.47/959.83 o 1323 958.47/959.83 c fallback to adder encoding 962.87/964.28 o 1316 962.87/964.28 c fallback to adder encoding 965.35/966.72 o 1314 965.35/966.72 c fallback to adder encoding 970.66/972.06 o 1309 970.66/972.06 c fallback to adder encoding 974.95/976.33 o 1308 974.95/976.33 c fallback to adder encoding 979.16/980.55 o 1295 979.16/980.55 c fallback to adder encoding 981.53/982.91 o 1294 981.53/982.91 c fallback to adder encoding 987.04/988.42 o 1289 987.04/988.42 c fallback to adder encoding 990.27/991.69 o 1132 990.27/991.69 c fallback to adder encoding 992.86/994.29 o 1131 992.86/994.29 c fallback to adder encoding 998.14/999.54 o 1122 998.14/999.54 c fallback to adder encoding 1008.66/1010.05 o 1121 1008.66/1010.05 c fallback to adder encoding 1010.33/1011.72 o 1115 1010.33/1011.72 c fallback to adder encoding 1012.62/1014.01 o 1112 1012.62/1014.01 c fallback to adder encoding 1015.57/1016.95 o 1105 1015.57/1016.95 c fallback to adder encoding 1019.65/1021.07 o 1102 1019.65/1021.07 c fallback to adder encoding 1022.54/1023.94 o 1081 1022.54/1023.94 c fallback to adder encoding 1026.65/1028.05 o 1080 1026.65/1028.05 c fallback to adder encoding 1030.94/1032.33 o 1079 1030.94/1032.33 c fallback to adder encoding 1034.74/1036.12 o 1077 1034.74/1036.12 c fallback to adder encoding 1037.35/1038.78 o 1073 1037.35/1038.78 c fallback to adder encoding 1041.11/1042.50 o 1072 1041.11/1042.50 c fallback to adder encoding 1043.55/1044.95 o 1067 1043.55/1044.95 c fallback to adder encoding 1047.33/1048.77 o 1058 1047.33/1048.77 c fallback to adder encoding 1053.75/1055.15 o 1023 1053.75/1055.15 c fallback to adder encoding 1055.92/1057.32 o 1019 1055.92/1057.32 c fallback to adder encoding 1058.75/1060.17 o 1000 1058.75/1060.17 c fallback to adder encoding 1063.14/1064.55 o 983 1063.14/1064.55 c fallback to adder encoding 1069.14/1070.54 o 961 1069.14/1070.54 c fallback to adder encoding 1077.24/1078.68 o 960 1077.24/1078.68 c fallback to adder encoding 1081.63/1083.06 o 957 1081.63/1083.06 c fallback to adder encoding 1084.69/1086.11 o 951 1084.69/1086.11 c fallback to adder encoding 1089.16/1090.68 o 946 1089.16/1090.68 c fallback to adder encoding 1090.46/1092.09 o 945 1090.46/1092.09 c fallback to adder encoding 1094.76/1096.35 o 937 1094.76/1096.35 c fallback to adder encoding 1096.45/1098.01 o 894 1096.45/1098.01 c fallback to adder encoding 1097.87/1099.43 o 891 1097.87/1099.43 c fallback to adder encoding 1098.95/1100.56 o 883 1098.95/1100.56 c fallback to adder encoding 1100.56/1102.12 o 871 1100.56/1102.12 c fallback to adder encoding 1102.38/1103.95 o 857 1102.38/1103.95 c fallback to adder encoding 1103.87/1105.45 o 838 1103.87/1105.45 c fallback to adder encoding 1105.36/1106.99 o 830 1105.36/1106.99 c fallback to adder encoding 1106.58/1108.13 o 828 1106.58/1108.13 c fallback to adder encoding 1108.87/1110.44 o 821 1108.87/1110.44 c fallback to adder encoding 1110.79/1112.44 o 800 1110.79/1112.44 c fallback to adder encoding 1114.22/1115.92 o 797 1114.22/1115.92 c fallback to adder encoding 1115.87/1117.63 o 792 1115.87/1117.63 c fallback to adder encoding 1117.54/1119.34 o 779 1117.54/1119.34 c fallback to adder encoding 1119.51/1121.30 o 774 1119.51/1121.30 c fallback to adder encoding 1120.42/1122.28 o 773 1120.42/1122.28 c fallback to adder encoding 1122.72/1124.58 o 770 1122.72/1124.58 c fallback to adder encoding 1123.62/1125.48 o 763 1123.62/1125.48 c fallback to adder encoding 1124.52/1126.32 o 753 1124.52/1126.32 c fallback to adder encoding 1125.92/1127.76 o 735 1125.92/1127.76 c fallback to adder encoding 1127.30/1129.11 o 731 1127.30/1129.11 c fallback to adder encoding 1128.27/1130.14 o 683 1128.27/1130.14 c fallback to adder encoding 1130.02/1131.94 o 675 1130.02/1131.94 c fallback to adder encoding 1134.51/1136.46 o 674 1134.51/1136.46 c fallback to adder encoding 1135.92/1137.88 o 668 1135.92/1137.88 c fallback to adder encoding 1136.82/1138.73 o 667 1136.82/1138.73 c fallback to adder encoding 1138.43/1140.39 o 666 1138.43/1140.39 c fallback to adder encoding 1139.91/1141.88 o 663 1139.91/1141.88 c fallback to adder encoding 1141.22/1143.17 o 643 1141.22/1143.17 c fallback to adder encoding 1143.11/1145.01 o 642 1143.11/1145.01 c fallback to adder encoding 1143.81/1145.75 o 627 1143.81/1145.75 c fallback to adder encoding 1146.30/1148.20 o 626 1146.30/1148.20 c fallback to adder encoding 1146.93/1148.88 o 625 1146.93/1148.88 c fallback to adder encoding 1148.21/1150.16 o 624 1148.21/1150.16 c fallback to adder encoding 1149.02/1150.96 o 623 1149.02/1150.96 c fallback to adder encoding 1149.81/1151.73 o 619 1149.81/1151.73 c fallback to adder encoding 1151.61/1153.55 o 617 1151.61/1153.55 c fallback to adder encoding 1153.87/1155.83 o 616 1153.87/1155.83 c fallback to adder encoding 1155.37/1157.31 o 615 1155.37/1157.31 c fallback to adder encoding 1155.45/1158.06 o 614 1155.45/1158.06 c fallback to adder encoding 1156.94/1158.90 o 607 1156.94/1158.90 c fallback to adder encoding 1157.82/1159.87 o 596 1157.82/1159.87 c fallback to adder encoding 1158.72/1160.77 o 573 1158.72/1160.77 c fallback to adder encoding 1159.83/1161.89 o 566 1159.83/1161.89 c fallback to adder encoding 1161.33/1163.30 o 565 1161.33/1163.30 c fallback to adder encoding 1161.39/1163.74 o 560 1161.39/1163.74 c fallback to adder encoding 1162.81/1164.80 o 552 1162.81/1164.80 c fallback to adder encoding 1163.91/1165.90 o 529 1163.91/1165.90 c fallback to adder encoding 1164.93/1166.92 o 528 1164.93/1166.92 c fallback to adder encoding 1165.43/1167.49 o 523 1165.43/1167.49 c fallback to adder encoding 1166.34/1168.39 o 521 1166.34/1168.39 c fallback to adder encoding 1166.47/1169.30 o 518 1166.47/1169.30 c fallback to adder encoding 1167.39/1169.74 o 512 1167.39/1169.74 c fallback to adder encoding 1168.22/1170.21 o 510 1168.22/1170.21 c fallback to adder encoding 1168.53/1170.56 o 505 1168.53/1170.56 c fallback to adder encoding 1168.65/1171.19 o 501 1168.65/1171.19 c fallback to adder encoding 1169.72/1171.75 o 500 1169.72/1171.75 c fallback to adder encoding 1169.84/1172.18 o 252 1169.84/1172.18 c fallback to adder encoding 1170.24/1172.35 o 251 1170.24/1172.35 c fallback to adder encoding 1170.40/1172.48 o 249 1170.40/1172.48 c fallback to adder encoding 1170.63/1172.61 o 223 1170.63/1172.61 c fallback to adder encoding 1170.65/1172.93 o 221 1170.65/1172.93 c fallback to adder encoding 1170.98/1173.03 o 207 1170.98/1173.03 c fallback to adder encoding 1171.08/1173.11 o 115 1171.08/1173.18 o 101 1171.23/1173.22 c display solution 1171.23/1173.22 s OPTIMUM FOUND 1171.23/1173.22 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 101
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-3753807-1339200486/watcher-3753807-1339200486 -o /tmp/evaluation-result-3753807-1339200486/solver-3753807-1339200486 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753807-1339200486.wbo 867945294 HOME HOME running on 4 cores: 1,3,5,7 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.00 2.00 2.00 3/177 19794 /proc/meminfo: memFree=29544984/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 [startup+0.059021 s] /proc/loadavg: 2.00 2.00 2.00 3/177 19794 /proc/meminfo: memFree=29544984/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100278 s] /proc/loadavg: 2.00 2.00 2.00 3/177 19794 /proc/meminfo: memFree=29544984/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300179 s] /proc/loadavg: 2.00 2.00 2.00 3/177 19794 /proc/meminfo: memFree=29544984/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700183 s] /proc/loadavg: 2.00 2.00 2.00 3/177 19794 /proc/meminfo: memFree=29544984/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50038 s] /proc/loadavg: 2.00 2.00 2.00 3/181 19808 /proc/meminfo: memFree=29497156/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 [pid=19795] ppid=19794 vsize=20020 CPUtime=0.15 cores=1,3,5,7 /proc/19795/stat : 19795 (npSolver-wbo) S 19794 19794 14131 0 -1 4202496 4211 4897 0 0 11 2 1 1 20 0 1 0 386174028 20500480 4579 33554432000 4194304 6006132 140736401577520 140736401568912 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/19795/statm: 5005 4579 179 443 0 4558 0 [pid=19807] ppid=19795 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19807/stat : 19807 (satsolver.sh) S 19795 19794 14131 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386174044 9367552 266 33554432000 4194304 5064252 140737269660880 140737269659792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/19807/statm: 2287 266 226 213 0 72 0 [pid=19808] ppid=19807 vsize=27084 CPUtime=1.31 cores=1,3,5,7 /proc/19808/stat : 19808 (glucose) R 19807 19794 14131 0 -1 4202496 5616 0 0 0 130 1 0 0 20 0 1 0 386174044 27734016 5889 33554432000 4194304 5208918 140736034032320 140736034030072 4211027 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/19808/statm: 6771 5889 103 248 0 6520 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 65400 [startup+3.10041 s] /proc/loadavg: 2.00 2.00 2.00 3/181 19808 /proc/meminfo: memFree=29496288/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 [pid=19795] ppid=19794 vsize=20020 CPUtime=0.15 cores=1,3,5,7 /proc/19795/stat : 19795 (npSolver-wbo) S 19794 19794 14131 0 -1 4202496 4211 4897 0 0 11 2 1 1 20 0 1 0 386174028 20500480 4579 33554432000 4194304 6006132 140736401577520 140736401568912 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/19795/statm: 5005 4579 179 443 0 4558 0 [pid=19807] ppid=19795 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19807/stat : 19807 (satsolver.sh) S 19795 19794 14131 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386174044 9367552 266 33554432000 4194304 5064252 140737269660880 140737269659792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/19807/statm: 2287 266 226 213 0 72 0 [pid=19808] ppid=19807 vsize=27536 CPUtime=2.91 cores=1,3,5,7 /proc/19808/stat : 19808 (glucose) R 19807 19794 14131 0 -1 4202496 5746 0 0 0 290 1 0 0 20 0 1 0 386174044 28196864 6019 33554432000 4194304 5208918 140736034032320 140736034029992 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/19808/statm: 6884 6019 103 248 0 6633 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 65852 [startup+6.3003 s] /proc/loadavg: 2.00 2.00 2.00 3/181 19808 /proc/meminfo: memFree=29495004/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 [pid=19795] ppid=19794 vsize=20020 CPUtime=0.15 cores=1,3,5,7 /proc/19795/stat : 19795 (npSolver-wbo) S 19794 19794 14131 0 -1 4202496 4211 4897 0 0 11 2 1 1 20 0 1 0 386174028 20500480 4579 33554432000 4194304 6006132 140736401577520 140736401568912 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/19795/statm: 5005 4579 179 443 0 4558 0 [pid=19807] ppid=19795 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19807/stat : 19807 (satsolver.sh) S 19795 19794 14131 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386174044 9367552 266 33554432000 4194304 5064252 140737269660880 140737269659792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/19807/statm: 2287 266 226 213 0 72 0 [pid=19808] ppid=19807 vsize=28196 CPUtime=6.12 cores=1,3,5,7 /proc/19808/stat : 19808 (glucose) R 19807 19794 14131 0 -1 4202496 6095 0 0 0 610 2 0 0 20 0 1 0 386174044 28872704 6146 33554432000 4194304 5208918 140736034032320 140736034030168 4211568 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/19808/statm: 7049 6146 103 248 0 6798 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 66512 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/181 19815 /proc/meminfo: memFree=29494808/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 [pid=19795] ppid=19794 vsize=20020 CPUtime=12.64 cores=1,3,5,7 /proc/19795/stat : 19795 (npSolver-wbo) S 19794 19794 14131 0 -1 4202496 6485 21457 0 0 22 3 1232 7 20 0 1 0 386174028 20500480 4579 33554432000 4194304 6006132 140736401577520 140736401568400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/19795/statm: 5005 4579 179 443 0 4558 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 29168 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/181 19843 /proc/meminfo: memFree=29500352/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 [pid=19795] ppid=19794 vsize=20020 CPUtime=25.45 cores=1,3,5,7 /proc/19795/stat : 19795 (npSolver-wbo) R 19794 19794 14131 0 -1 4202496 14363 54581 0 0 56 6 2461 22 20 0 1 0 386174028 20500480 4579 33554432000 4194304 6006132 140736401577520 140736401569488 5056727 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/19795/statm: 5005 4579 179 443 0 4558 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 29168 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 2.00 3/181 19871 /proc/meminfo: memFree=29498608/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 [pid=19795] ppid=19794 vsize=20020 CPUtime=49.22 cores=1,3,5,7 /proc/19795/stat : 19795 (npSolver-wbo) S 19794 19794 14131 0 -1 4202496 22347 83534 0 0 97 10 4781 34 20 0 1 0 386174028 20500480 4579 33554432000 4194304 6006132 140736401577520 140736401568912 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/19795/statm: 5005 4579 179 443 0 4558 0 [pid=19870] ppid=19795 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19870/stat : 19870 (satsolver.sh) S 19795 19794 14131 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386178955 9367552 266 33554432000 4194304 5064252 140733398708832 140733398707744 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/19870/statm: 2287 266 226 213 0 72 0 [pid=19871] ppid=19870 vsize=27648 CPUtime=1.81 cores=1,3,5,7 /proc/19871/stat : 19871 (glucose) R 19870 19794 14131 0 -1 4202496 6267 0 0 0 180 1 0 0 20 0 1 0 386178955 28311552 5937 33554432000 4194304 5208918 140733804600784 140733804598744 4205148 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/19871/statm: 6912 5937 103 248 0 6661 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 65964 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/181 19934 /proc/meminfo: memFree=29494224/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 [pid=19795] ppid=19794 vsize=20020 CPUtime=99.48 cores=1,3,5,7 /proc/19795/stat : 19795 (npSolver-wbo) S 19794 19794 14131 0 -1 4202496 35597 172534 0 0 194 20 9662 72 20 0 1 0 386174028 20500480 4579 33554432000 4194304 6006132 140736401577520 140736401568912 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/19795/statm: 5005 4579 179 443 0 4558 0 [pid=19933] ppid=19795 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19933/stat : 19933 (satsolver.sh) S 19795 19794 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386183987 9367552 267 33554432000 4194304 5064252 140737275131024 140737275129936 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/19933/statm: 2287 267 226 213 0 72 0 [pid=19934] ppid=19933 vsize=27576 CPUtime=2.7 cores=1,3,5,7 /proc/19934/stat : 19934 (glucose) R 19933 19794 14131 0 -1 4202496 5806 0 0 0 269 1 0 0 20 0 1 0 386183987 28237824 6067 33554432000 4194304 5208918 140736893949408 140736893947256 4229347 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/19934/statm: 6894 6067 103 248 0 6643 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 65892 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/182 20007 /proc/meminfo: memFree=29497796/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 [pid=19795] ppid=19794 vsize=20020 CPUtime=160.28 cores=1,3,5,7 /proc/19795/stat : 19795 (npSolver-wbo) S 19794 19794 14131 0 -1 4202496 46802 263742 0 0 290 29 15598 111 20 0 1 0 386174028 20500480 4579 33554432000 4194304 6006132 140736401577520 140736401568912 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/19795/statm: 5005 4579 179 443 0 4558 0 [pid=20006] ppid=19795 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20006/stat : 20006 (satsolver.sh) S 19795 19794 14131 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386190068 9367552 267 33554432000 4194304 5064252 140735784385136 140735784384048 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/20006/statm: 2287 267 226 213 0 72 0 [pid=20007] ppid=20006 vsize=27284 CPUtime=1.88 cores=1,3,5,7 /proc/20007/stat : 20007 (glucose) R 20006 19794 14131 0 -1 4202496 5792 0 0 0 187 1 0 0 20 0 1 0 386190068 27938816 6045 33554432000 4194304 5208918 140736338479136 140736338476984 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/20007/statm: 6821 6045 103 248 0 6570 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 65600 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 20084 /proc/meminfo: memFree=29500328/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ [startup+942.3 s] /proc/loadavg: 2.04 2.03 2.00 3/181 21836 /proc/meminfo: memFree=29697936/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 [pid=19795] ppid=19794 vsize=20020 CPUtime=939.97 cores=1,3,5,7 /proc/19795/stat : 19795 (npSolver-wbo) S 19794 19794 14131 0 -1 4202496 243461 1779555 0 0 1815 180 91287 715 20 0 1 0 386174028 20500480 4580 33554432000 4194304 6006132 140736401577520 140736401568912 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0 /proc/19795/statm: 5005 4580 179 443 0 4558 0 [pid=21835] ppid=19795 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21835/stat : 21835 (satsolver.sh) S 19795 19794 14131 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386268157 9367552 266 33554432000 4194304 5064252 140733645274256 140733645273168 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/21835/statm: 2287 266 226 213 0 72 0 [pid=21836] ppid=21835 vsize=21136 CPUtime=0.99 cores=1,3,5,7 /proc/21836/stat : 21836 (glucose) R 21835 19794 14131 0 -1 4202496 4649 0 0 0 99 0 0 0 20 0 1 0 386268157 21643264 4700 33554432000 4194304 5208918 140736072006320 140736072004168 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/21836/statm: 5284 4700 105 248 0 5033 0 Current children cumulated CPU time (s) 940.96 Current children cumulated vsize (KiB) 59452 [startup+1002.3 s] /proc/loadavg: 2.06 2.04 2.00 3/181 22039 /proc/meminfo: memFree=29695072/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 [pid=19795] ppid=19794 vsize=20020 CPUtime=998.3 cores=1,3,5,7 /proc/19795/stat : 19795 (npSolver-wbo) S 19794 19794 14131 0 -1 4202496 260877 1909242 0 0 1942 191 96932 765 20 0 1 0 386174028 20500480 4580 33554432000 4194304 6006132 140736401577520 140736401568912 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0 /proc/19795/statm: 5005 4580 179 443 0 4558 0 [pid=22031] ppid=19795 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22031/stat : 22031 (satsolver.sh) S 19795 19794 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386273991 9367552 267 33554432000 4194304 5064252 140737065366992 140737065365904 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/22031/statm: 2287 267 226 213 0 72 0 [pid=22032] ppid=22031 vsize=24044 CPUtime=2.65 cores=1,3,5,7 /proc/22032/stat : 22032 (glucose) R 22031 19794 14131 0 -1 4202496 5503 0 0 0 264 1 0 0 20 0 1 0 386273991 24621056 5092 33554432000 4194304 5208918 140735512471984 140735512469832 4213115 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/22032/statm: 6011 5092 105 248 0 5760 0 Current children cumulated CPU time (s) 1000.95 Current children cumulated vsize (KiB) 62360 [startup+1062.3 s] /proc/loadavg: 2.02 2.03 2.00 3/181 22256 /proc/meminfo: memFree=29697028/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 [pid=19795] ppid=19794 vsize=20020 CPUtime=1058.91 cores=1,3,5,7 /proc/19795/stat : 19795 (npSolver-wbo) S 19794 19794 14131 0 -1 4202496 280781 2057535 0 0 2083 205 102778 825 20 0 1 0 386174028 20500480 4581 33554432000 4194304 6006132 140736401577520 140736401568912 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0 /proc/19795/statm: 5005 4581 179 443 0 4558 0 [pid=22255] ppid=19795 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22255/stat : 22255 (satsolver.sh) S 19795 19794 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386280054 9367552 267 33554432000 4194304 5064252 140733707187904 140733707186816 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/22255/statm: 2287 267 226 213 0 72 0 [pid=22256] ppid=22255 vsize=22584 CPUtime=2.03 cores=1,3,5,7 /proc/22256/stat : 22256 (glucose) R 22255 19794 14131 0 -1 4202496 5026 0 0 0 202 1 0 0 20 0 1 0 386280054 23126016 4624 33554432000 4194304 5208918 140735455012176 140735455010008 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/22256/statm: 5646 4624 104 248 0 5395 0 Current children cumulated CPU time (s) 1060.94 Current children cumulated vsize (KiB) 60900 [startup+1122.3 s] /proc/loadavg: 2.01 2.02 2.00 3/181 22529 /proc/meminfo: memFree=29706284/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 [pid=19795] ppid=19794 vsize=20020 CPUtime=1120.53 cores=1,3,5,7 /proc/19795/stat : 19795 (npSolver-wbo) R 19794 19794 14131 0 -1 4202496 307374 2237130 0 0 2243 220 108698 892 20 0 1 0 386174028 20500480 4595 33554432000 4194304 6006132 140736401577520 140736401569488 4580448 0 0 4096 0 0 0 0 17 1 0 0 1 0 0 /proc/19795/statm: 5005 4595 179 443 0 4558 0 Current children cumulated CPU time (s) 1120.53 Current children cumulated vsize (KiB) 29168 Solver just ended. Dumping a history of the last processes samples [startup+1126.4 s] /proc/loadavg: 2.00 2.02 2.00 3/181 22564 /proc/meminfo: memFree=29722644/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 [pid=19795] ppid=19794 vsize=20020 CPUtime=1124.63 cores=1,3,5,7 /proc/19795/stat : 19795 (npSolver-wbo) S 19794 19794 14131 0 -1 4202496 310103 2258577 0 0 2267 223 109072 901 20 0 1 0 386174028 20500480 4595 33554432000 4194304 6006132 140736401577520 140736401568912 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0 /proc/19795/statm: 5005 4595 179 443 0 4558 0 [pid=22563] ppid=19795 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22563/stat : 22563 (satsolver.sh) S 19795 19794 14131 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386286667 9367552 267 33554432000 4194304 5064252 140735172050816 140735172049728 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/22563/statm: 2287 267 226 213 0 72 0 [pid=22564] ppid=22563 vsize=7852 CPUtime=0 cores=1,3,5,7 /proc/22564/stat : 22564 (glucose) R 22563 19794 14131 0 -1 4202496 834 0 0 0 0 0 0 0 20 0 1 0 386286667 8040448 751 33554432000 4194304 5208918 140735079163872 140735172049752 4237172 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/22564/statm: 1963 751 69 248 0 1712 0 Current children cumulated CPU time (s) 1124.63 Current children cumulated vsize (KiB) 46168 [startup+1152 s] /proc/loadavg: 2.00 2.02 2.00 3/183 22750 /proc/meminfo: memFree=29721724/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 [pid=19795] ppid=19794 vsize=20020 CPUtime=1149.91 cores=1,3,5,7 /proc/19795/stat : 19795 (npSolver-wbo) S 19794 19794 14131 0 -1 4202496 322501 2376024 0 0 2359 232 111457 943 20 0 1 0 386174028 20500480 4595 33554432000 4194304 6006132 140736401577520 140736401568912 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0 /proc/19795/statm: 5005 4595 179 443 0 4558 0 Current children cumulated CPU time (s) 1149.91 Current children cumulated vsize (KiB) 29168 [startup+1164.8 s] /proc/loadavg: 2.00 2.02 2.00 3/182 22845 /proc/meminfo: memFree=29719780/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 [pid=19795] ppid=19794 vsize=20020 CPUtime=1162.81 cores=1,3,5,7 /proc/19795/stat : 19795 (npSolver-wbo) S 19794 19794 14131 0 -1 4202496 329798 2445113 0 0 2406 237 112671 967 20 0 1 0 386174028 20500480 4595 33554432000 4194304 6006132 140736401577520 140736401568400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0 /proc/19795/statm: 5005 4595 179 443 0 4558 0 Current children cumulated CPU time (s) 1162.81 Current children cumulated vsize (KiB) 29168 [startup+1168 s] /proc/loadavg: 2.00 2.02 2.00 3/182 22880 /proc/meminfo: memFree=29715020/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 [pid=19795] ppid=19794 vsize=20020 CPUtime=1165.59 cores=1,3,5,7 /proc/19795/stat : 19795 (npSolver-wbo) S 19794 19794 14131 0 -1 4202496 332707 2466429 0 0 2424 239 112921 975 20 0 1 0 386174028 20500480 4595 33554432000 4194304 6006132 140736401577520 140736401568912 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0 /proc/19795/statm: 5005 4595 179 443 0 4558 0 Current children cumulated CPU time (s) 1165.59 Current children cumulated vsize (KiB) 29168 [startup+1171.2 s] /proc/loadavg: 2.00 2.02 2.00 3/182 22922 /proc/meminfo: memFree=29714440/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 [pid=19795] ppid=19794 vsize=20020 CPUtime=1169.24 cores=1,3,5,7 /proc/19795/stat : 19795 (npSolver-wbo) R 19794 19794 14131 0 -1 4202496 336566 2503170 0 0 2444 241 113254 985 20 0 1 0 386174028 20500480 4595 33554432000 4194304 6006132 140736401577520 140736401569488 5057363 0 0 4096 0 0 0 0 17 1 0 0 1 0 0 /proc/19795/statm: 5005 4595 179 443 0 4558 0 Current children cumulated CPU time (s) 1169.24 Current children cumulated vsize (KiB) 29168 [startup+1172 s] /proc/loadavg: 2.00 2.02 2.00 3/182 22943 /proc/meminfo: memFree=29714932/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 [pid=19795] ppid=19794 vsize=20020 CPUtime=1169.84 cores=1,3,5,7 /proc/19795/stat : 19795 (npSolver-wbo) S 19794 19794 14131 0 -1 4202496 337810 2508701 0 0 2451 242 113304 987 20 0 1 0 386174028 20500480 4595 33554432000 4194304 6006132 140736401577520 140736401568912 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0 /proc/19795/statm: 5005 4595 179 443 0 4558 0 Current children cumulated CPU time (s) 1169.84 Current children cumulated vsize (KiB) 29168 [startup+1172.8 s] /proc/loadavg: 1.92 2.00 1.99 3/182 22974 /proc/meminfo: memFree=29719992/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 [pid=19795] ppid=19794 vsize=20020 CPUtime=1170.65 cores=1,3,5,7 /proc/19795/stat : 19795 (npSolver-wbo) S 19794 19794 14131 0 -1 4202496 338671 2528989 0 0 2456 242 113374 993 20 0 1 0 386174028 20500480 4595 33554432000 4194304 6006132 140736401577520 140736401568912 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0 /proc/19795/statm: 5005 4595 179 443 0 4558 0 Current children cumulated CPU time (s) 1170.65 Current children cumulated vsize (KiB) 29168 [startup+1173.2 s] /proc/loadavg: 1.92 2.00 1.99 3/182 22974 /proc/meminfo: memFree=29719992/32873624 swapFree=7112/7112 [pid=19794] ppid=19792 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19794/stat : 19794 (npSolver-wbo-It) S 19792 19794 14131 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386174027 9367552 274 33554432000 4194304 5064252 140737393159952 140737393158864 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/19794/statm: 2287 274 233 213 0 72 0 [pid=19795] ppid=19794 vsize=20020 CPUtime=1171.23 cores=1,3,5,7 /proc/19795/stat : 19795 (npSolver-wbo) S 19794 19794 14131 0 -1 4202496 339532 2547914 0 0 2460 243 113421 999 20 0 1 0 386174028 20500480 4596 33554432000 4194304 6006132 140736401577520 140736401568912 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0 /proc/19795/statm: 5005 4596 180 443 0 4558 0 Current children cumulated CPU time (s) 1171.23 Current children cumulated vsize (KiB) 29168 Child status: 0 Real time (s): 1173.22 CPU time (s): 1171.28 CPU user time (s): 1158.84 CPU system time (s): 12.4391 CPU usage (%): 99.8343 Max. virtual memory (cumulated for all children) (KiB): 78444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1158.84 system time used= 12.4391 maximum resident set size= 39508 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2893206 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3286160 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16923 involuntary context switches= 4499 runsolver used 2.34164 second user time and 6.71398 second system time The end
Begin job on node121 at 2012-06-09 02:08:06 IDJOB=3753807 IDBENCH=79389 IDSOLVER=2337 FILE ID=node121/3753807-1339200486 RUNJOBID= node121-1339184277-15569 PBS_JOBID= 14643801 Free space on /tmp= 71172 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh14_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753807-1339200486/watcher-3753807-1339200486 -o /tmp/evaluation-result-3753807-1339200486/solver-3753807-1339200486 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753807-1339200486.wbo 867945294 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a9c1b78c2cafd61259a4392acdb09fa2 RANDOM SEED=867945294 node121.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 : 2667.042 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 : 5334.08 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 : 2667.042 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 : 2667.042 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 : 2667.042 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 : 2667.042 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 : 2667.042 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 : 2667.042 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 : 5438.55 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 : 2667.042 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: 32873624 kB MemFree: 29545736 kB Buffers: 951468 kB Cached: 1218896 kB SwapCached: 340 kB Active: 2337620 kB Inactive: 50416 kB Active(anon): 196664 kB Inactive(anon): 8880 kB Active(file): 2140956 kB Inactive(file): 41536 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67106508 kB Dirty: 8164 kB Writeback: 0 kB AnonPages: 303988 kB Mapped: 12696 kB Shmem: 40 kB Slab: 801764 kB SReclaimable: 245816 kB SUnreclaim: 555948 kB KernelStack: 1504 kB PageTables: 4120 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545668 kB Committed_AS: 334372 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 245760 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= 71208 MiB End job on node121 at 2012-06-09 02:27:39