Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| npSolver inc-topDown | ? (TO) | 1800.05 | 1801.71 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh18_wcsp.wbo |
| MD5SUM | 11b5917216c9682d33b4eac8f024a9c6 |
| 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 | 130 |
| Best CPU time to get the best result obtained on this benchmark | 0.077987 |
| 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.01 c run usual solver 0.00/0.06 o 9471 0.00/0.06 c fallback to adder encoding 3.66/3.73 o 9470 3.66/3.73 c fallback to adder encoding 7.05/7.12 o 9450 7.05/7.12 c fallback to adder encoding 14.27/14.36 o 9449 14.27/14.36 c fallback to adder encoding 17.10/17.23 o 9440 17.10/17.23 c fallback to adder encoding 20.47/20.67 o 9435 20.47/20.67 c fallback to adder encoding 26.75/26.99 o 9434 26.75/26.99 c fallback to adder encoding 31.54/31.73 o 9398 31.54/31.73 c fallback to adder encoding 34.96/35.20 o 9372 34.96/35.20 c fallback to adder encoding 38.05/38.26 o 9370 38.05/38.26 c fallback to adder encoding 42.77/42.98 o 9369 42.77/42.98 c fallback to adder encoding 49.26/49.50 o 9368 49.26/49.50 c fallback to adder encoding 55.15/55.37 o 9365 55.15/55.37 c fallback to adder encoding 60.14/60.39 o 9361 60.14/60.39 c fallback to adder encoding 69.14/69.32 o 9352 69.14/69.32 c fallback to adder encoding 75.95/76.19 o 9347 75.95/76.19 c fallback to adder encoding 84.21/84.41 o 9346 84.21/84.41 c fallback to adder encoding 92.14/92.40 o 9344 92.14/92.40 c fallback to adder encoding 99.54/99.88 o 9343 99.54/99.88 c fallback to adder encoding 108.94/109.24 o 9340 108.94/109.24 c fallback to adder encoding 114.80/115.13 o 9339 114.80/115.13 c fallback to adder encoding 120.82/121.18 o 9334 120.82/121.18 c fallback to adder encoding 125.52/125.89 o 9327 125.52/125.89 c fallback to adder encoding 132.54/132.91 o 9321 132.54/132.91 c fallback to adder encoding 136.32/136.74 o 9317 136.32/136.74 c fallback to adder encoding 141.76/142.29 o 9316 141.76/142.29 c fallback to adder encoding 146.54/147.01 o 9313 146.54/147.01 c fallback to adder encoding 150.88/151.39 o 9288 150.88/151.39 c fallback to adder encoding 162.28/162.72 o 9287 162.28/162.72 c fallback to adder encoding 168.47/168.94 o 9283 168.47/168.94 c fallback to adder encoding 173.88/174.36 o 9281 173.88/174.36 c fallback to adder encoding 179.97/180.45 o 9280 179.97/180.45 c fallback to adder encoding 186.06/186.58 o 9268 186.06/186.58 c fallback to adder encoding 192.86/193.38 o 9261 192.86/193.38 c fallback to adder encoding 201.87/202.32 o 9260 201.87/202.32 c fallback to adder encoding 208.35/208.88 o 9255 208.35/208.88 c fallback to adder encoding 213.41/213.90 o 9251 213.41/213.90 c fallback to adder encoding 219.83/220.32 o 9242 219.83/220.32 c fallback to adder encoding 228.53/229.02 o 9240 228.53/229.02 c fallback to adder encoding 234.26/234.76 o 9238 234.26/234.76 c fallback to adder encoding 238.82/239.31 o 9234 238.82/239.31 c fallback to adder encoding 246.95/247.49 o 9225 246.95/247.49 c fallback to adder encoding 250.66/251.10 o 9217 250.66/251.10 c fallback to adder encoding 255.04/255.68 o 9216 255.04/255.68 c fallback to adder encoding 258.28/258.92 o 9211 258.28/258.92 c fallback to adder encoding 264.00/264.66 o 9182 264.00/264.66 c fallback to adder encoding 269.91/270.55 o 9174 269.91/270.55 c fallback to adder encoding 275.08/275.71 o 9168 275.08/275.71 c fallback to adder encoding 280.69/281.37 o 9156 280.69/281.37 c fallback to adder encoding 288.10/288.77 o 9144 288.10/288.77 c fallback to adder encoding 294.69/295.33 o 9139 294.69/295.33 c fallback to adder encoding 301.18/301.89 o 9136 301.18/301.89 c fallback to adder encoding 306.78/307.49 o 9125 306.78/307.49 c fallback to adder encoding 313.39/314.06 o 9116 313.39/314.06 c fallback to adder encoding 320.09/320.70 o 9113 320.09/320.70 c fallback to adder encoding 324.96/325.62 o 9103 324.96/325.62 c fallback to adder encoding 332.89/333.56 o 9097 332.89/333.56 c fallback to adder encoding 342.27/342.94 o 9088 342.27/342.94 c fallback to adder encoding 349.54/350.21 o 9087 349.54/350.21 c fallback to adder encoding 352.79/353.47 o 9084 352.79/353.47 c fallback to adder encoding 357.76/358.47 o 9080 357.76/358.47 c fallback to adder encoding 362.66/363.39 o 9078 362.66/363.39 c fallback to adder encoding 367.38/368.12 o 9074 367.38/368.12 c fallback to adder encoding 369.62/370.35 o 9064 369.62/370.35 c fallback to adder encoding 375.72/376.47 o 9060 375.72/376.47 c fallback to adder encoding 382.71/383.47 o 9058 382.71/383.47 c fallback to adder encoding 387.80/388.53 o 9056 387.80/388.53 c fallback to adder encoding 393.61/394.36 o 9051 393.61/394.36 c fallback to adder encoding 397.70/398.48 o 9047 397.70/398.48 c fallback to adder encoding 406.10/406.88 o 9038 406.10/406.88 c fallback to adder encoding 410.49/411.24 o 9028 410.49/411.24 c fallback to adder encoding 414.44/415.21 o 8989 414.44/415.21 c fallback to adder encoding 420.29/421.05 o 8984 420.29/421.05 c fallback to adder encoding 423.38/424.15 o 8983 423.38/424.15 c fallback to adder encoding 429.37/430.18 o 8974 429.37/430.18 c fallback to adder encoding 432.78/433.59 o 8906 432.78/433.59 c fallback to adder encoding 437.98/438.80 o 8901 437.98/438.80 c fallback to adder encoding 446.44/447.21 o 8895 446.44/447.21 c fallback to adder encoding 451.86/452.68 o 8893 451.86/452.68 c fallback to adder encoding 456.13/456.90 o 8886 456.13/456.90 c fallback to adder encoding 462.38/463.19 o 8881 462.38/463.19 c fallback to adder encoding 468.65/469.44 o 8880 468.65/469.44 c fallback to adder encoding 473.64/474.49 o 8878 473.64/474.49 c fallback to adder encoding 477.08/477.91 o 8873 477.08/477.91 c fallback to adder encoding 482.11/482.97 o 8857 482.11/482.97 c fallback to adder encoding 490.40/491.27 o 8849 490.40/491.27 c fallback to adder encoding 496.32/497.19 o 8846 496.32/497.19 c fallback to adder encoding 507.00/507.84 o 8842 507.00/507.84 c fallback to adder encoding 515.09/515.92 o 8744 515.09/515.92 c fallback to adder encoding 526.10/526.99 o 8737 526.10/526.99 c fallback to adder encoding 535.66/536.51 o 8732 535.66/536.51 c fallback to adder encoding 541.19/542.04 o 8726 541.19/542.04 c fallback to adder encoding 548.39/549.24 o 8724 548.39/549.24 c fallback to adder encoding 551.85/552.71 o 8722 551.85/552.71 c fallback to adder encoding 556.58/557.43 o 8721 556.58/557.43 c fallback to adder encoding 563.99/564.84 o 8716 563.99/564.84 c fallback to adder encoding 569.48/570.39 o 8713 569.48/570.39 c fallback to adder encoding 577.48/578.36 o 8712 577.48/578.36 c fallback to adder encoding 585.47/586.33 o 8710 585.47/586.33 c fallback to adder encoding 590.77/591.63 o 8708 590.77/591.63 c fallback to adder encoding 597.16/598.02 o 8706 597.16/598.02 c fallback to adder encoding 603.46/604.31 o 8705 603.46/604.31 c fallback to adder encoding 610.69/611.57 o 8704 610.69/611.57 c fallback to adder encoding 619.56/620.46 o 8689 619.56/620.46 c fallback to adder encoding 625.96/626.87 o 8687 625.96/626.87 c fallback to adder encoding 631.85/632.71 o 8684 631.85/632.71 c fallback to adder encoding 636.57/637.49 o 8682 636.57/637.49 c fallback to adder encoding 641.87/642.78 o 8679 641.87/642.78 c fallback to adder encoding 651.08/651.90 o 8672 651.08/651.90 c fallback to adder encoding 655.67/656.56 o 8660 655.67/656.56 c fallback to adder encoding 658.64/659.57 o 7123 658.64/659.57 c fallback to adder encoding 663.37/664.25 o 7120 663.37/664.25 c fallback to adder encoding 669.11/670.00 o 7115 669.11/670.00 c fallback to adder encoding 677.04/677.94 o 7114 677.04/677.94 c fallback to adder encoding 681.15/682.05 o 7111 681.15/682.05 c fallback to adder encoding 684.85/685.79 o 7105 684.85/685.79 c fallback to adder encoding 695.84/696.78 o 7104 695.84/696.78 c fallback to adder encoding 699.54/700.48 o 7094 699.54/700.48 c fallback to adder encoding 703.94/704.89 o 7092 703.94/704.89 c fallback to adder encoding 709.54/710.46 o 7088 709.54/710.46 c fallback to adder encoding 712.94/713.90 o 7087 712.94/713.90 c fallback to adder encoding 717.45/718.30 o 7079 717.45/718.30 c fallback to adder encoding 720.53/721.49 o 7078 720.53/721.49 c fallback to adder encoding 727.97/728.91 o 7074 727.97/728.91 c fallback to adder encoding 730.50/731.44 o 7061 730.50/731.44 c fallback to adder encoding 733.18/734.17 o 7060 733.18/734.17 c fallback to adder encoding 737.89/738.85 o 7058 737.89/738.85 c fallback to adder encoding 744.48/745.43 o 7046 744.48/745.43 c fallback to adder encoding 747.58/748.58 o 7041 747.58/748.58 c fallback to adder encoding 757.67/758.63 o 7040 757.67/758.63 c fallback to adder encoding 761.29/762.28 o 7012 761.29/762.28 c fallback to adder encoding 765.08/766.08 o 7009 765.08/766.08 c fallback to adder encoding 774.94/775.91 o 7008 774.94/775.91 c fallback to adder encoding 778.05/779.01 o 7005 778.05/779.01 c fallback to adder encoding 783.18/784.15 o 7004 783.18/784.15 c fallback to adder encoding 788.27/789.23 o 7001 788.27/789.23 c fallback to adder encoding 796.83/797.80 o 7000 796.83/797.80 c fallback to adder encoding 800.57/801.57 o 6993 800.57/801.57 c fallback to adder encoding 805.66/806.62 o 6992 805.66/806.62 c fallback to adder encoding 812.08/813.04 o 6989 812.08/813.04 c fallback to adder encoding 815.87/816.87 o 6978 815.87/816.87 c fallback to adder encoding 823.17/824.15 o 6977 823.17/824.15 c fallback to adder encoding 825.26/826.26 o 6965 825.26/826.26 c fallback to adder encoding 829.34/830.31 o 6961 829.34/830.31 c fallback to adder encoding 835.27/836.28 o 6945 835.27/836.28 c fallback to adder encoding 839.78/840.77 o 6942 839.78/840.77 c fallback to adder encoding 846.05/847.07 o 6926 846.05/847.07 c fallback to adder encoding 850.34/851.32 o 6924 850.34/851.32 c fallback to adder encoding 855.14/856.14 o 6916 855.14/856.14 c fallback to adder encoding 862.71/863.70 o 6914 862.71/863.70 c fallback to adder encoding 868.01/869.02 o 6913 868.01/869.02 c fallback to adder encoding 875.03/876.09 o 6899 875.03/876.09 c fallback to adder encoding 881.61/882.68 o 6888 881.61/882.68 c fallback to adder encoding 888.43/889.40 o 6885 888.43/889.40 c fallback to adder encoding 894.82/895.84 o 6883 894.82/895.84 c fallback to adder encoding 903.70/904.73 o 6882 903.70/904.73 c fallback to adder encoding 906.09/907.10 o 6880 906.09/907.10 c fallback to adder encoding 908.92/909.99 o 6879 908.92/909.99 c fallback to adder encoding 916.13/917.18 o 6877 916.13/917.18 c fallback to adder encoding 920.19/921.20 o 6875 920.19/921.20 c fallback to adder encoding 924.50/925.53 o 6872 924.50/925.53 c fallback to adder encoding 928.97/930.01 o 6857 928.97/930.01 c fallback to adder encoding 934.01/935.06 o 6856 934.01/935.06 c fallback to adder encoding 939.91/940.95 o 6853 939.91/940.95 c fallback to adder encoding 944.48/945.52 o 5149 944.48/945.52 c fallback to adder encoding 949.31/950.35 o 5145 949.31/950.35 c fallback to adder encoding 954.99/956.07 o 5144 954.99/956.07 c fallback to adder encoding 958.66/959.70 o 5143 958.66/959.70 c fallback to adder encoding 960.98/962.02 o 5140 960.98/962.02 c fallback to adder encoding 964.99/966.08 o 5139 964.99/966.08 c fallback to adder encoding 968.70/969.74 o 5134 968.70/969.74 c fallback to adder encoding 973.49/974.53 o 5132 973.49/974.53 c fallback to adder encoding 978.90/979.94 o 5129 978.90/979.94 c fallback to adder encoding 984.51/985.53 o 5125 984.51/985.53 c fallback to adder encoding 992.77/993.81 o 5124 992.77/993.81 c fallback to adder encoding 1001.60/1002.67 o 5122 1001.60/1002.67 c fallback to adder encoding 1009.38/1010.49 o 5109 1009.38/1010.49 c fallback to adder encoding 1011.88/1012.98 o 5105 1011.88/1012.98 c fallback to adder encoding 1021.06/1022.11 o 5102 1021.06/1022.11 c fallback to adder encoding 1023.89/1024.90 o 5096 1023.89/1024.90 c fallback to adder encoding 1028.86/1029.94 o 5053 1028.86/1029.94 c fallback to adder encoding 1032.21/1033.31 o 5050 1032.21/1033.31 c fallback to adder encoding 1034.73/1035.82 o 5041 1034.73/1035.82 c fallback to adder encoding 1039.30/1040.59 o 5039 1039.30/1040.59 c fallback to adder encoding 1043.42/1044.72 o 5038 1043.42/1044.72 c fallback to adder encoding 1048.33/1049.69 o 5026 1048.33/1049.69 c fallback to adder encoding 1053.34/1054.66 o 5024 1053.34/1054.66 c fallback to adder encoding 1059.63/1060.97 o 5015 1059.63/1060.97 c fallback to adder encoding 1068.51/1069.88 o 5014 1068.51/1069.88 c fallback to adder encoding 1073.33/1074.65 o 5004 1073.33/1074.65 c fallback to adder encoding 1084.89/1086.22 o 5002 1084.89/1086.22 c fallback to adder encoding 1088.00/1089.36 o 5001 1088.00/1089.36 c fallback to adder encoding 1093.70/1095.04 o 5000 1093.70/1095.04 c fallback to adder encoding 1100.51/1101.89 o 4999 1100.51/1101.89 c fallback to adder encoding 1103.30/1104.65 o 4994 1103.30/1104.65 c fallback to adder encoding 1108.40/1109.74 o 4993 1108.40/1109.74 c fallback to adder encoding 1114.01/1115.37 o 4992 1114.01/1115.37 c fallback to adder encoding 1118.59/1119.96 o 4978 1118.59/1119.96 c fallback to adder encoding 1126.50/1127.84 o 4975 1126.50/1127.84 c fallback to adder encoding 1128.78/1130.19 o 4971 1128.78/1130.19 c fallback to adder encoding 1133.19/1134.55 o 4966 1133.19/1134.55 c fallback to adder encoding 1138.96/1140.32 o 4963 1138.96/1140.32 c fallback to adder encoding 1142.78/1144.17 o 4961 1142.78/1144.17 c fallback to adder encoding 1147.57/1148.93 o 4960 1147.57/1148.93 c fallback to adder encoding 1152.79/1154.15 o 4949 1152.79/1154.15 c fallback to adder encoding 1158.89/1160.25 o 4942 1158.89/1160.25 c fallback to adder encoding 1166.15/1167.51 o 4935 1166.15/1167.51 c fallback to adder encoding 1172.68/1174.06 o 4927 1172.68/1174.06 c fallback to adder encoding 1179.23/1180.60 o 4924 1179.23/1180.60 c fallback to adder encoding 1184.76/1186.12 o 4920 1184.76/1186.12 c fallback to adder encoding 1189.27/1190.64 o 4904 1189.27/1190.64 c fallback to adder encoding 1202.65/1204.02 o 4902 1202.65/1204.02 c fallback to adder encoding 1209.47/1210.88 o 4901 1209.47/1210.88 c fallback to adder encoding 1213.77/1215.18 o 4896 1213.77/1215.18 c fallback to adder encoding 1217.38/1218.78 o 4888 1217.38/1218.78 c fallback to adder encoding 1223.07/1224.45 o 4882 1223.07/1224.45 c fallback to adder encoding 1226.97/1228.39 o 4880 1226.97/1228.39 c fallback to adder encoding 1229.63/1231.00 o 4878 1229.63/1231.00 c fallback to adder encoding 1233.35/1234.73 o 4876 1233.35/1234.73 c fallback to adder encoding 1239.66/1241.04 o 4875 1239.66/1241.04 c fallback to adder encoding 1247.07/1248.41 o 4870 1247.07/1248.41 c fallback to adder encoding 1251.47/1252.84 o 4864 1251.47/1252.84 c fallback to adder encoding 1256.42/1257.83 o 4857 1256.42/1257.83 c fallback to adder encoding 1262.94/1264.36 o 4843 1262.94/1264.36 c fallback to adder encoding 1267.00/1268.40 o 4839 1267.00/1268.40 c fallback to adder encoding 1271.34/1272.75 o 4835 1271.34/1272.75 c fallback to adder encoding 1275.92/1277.32 o 4833 1275.92/1277.32 c fallback to adder encoding 1281.70/1283.12 o 4829 1281.70/1283.12 c fallback to adder encoding 1285.00/1286.52 o 4827 1285.00/1286.52 c fallback to adder encoding 1290.92/1292.42 o 4821 1290.92/1292.42 c fallback to adder encoding 1297.53/1299.10 o 4804 1297.53/1299.10 c fallback to adder encoding 1304.50/1306.03 o 4803 1304.50/1306.03 c fallback to adder encoding 1309.30/1310.82 o 4787 1309.30/1310.82 c fallback to adder encoding 1314.12/1315.68 o 4784 1314.12/1315.68 c fallback to adder encoding 1318.71/1320.23 o 4669 1318.71/1320.23 c fallback to adder encoding 1324.32/1325.86 o 4663 1324.32/1325.86 c fallback to adder encoding 1328.61/1330.19 o 4659 1328.61/1330.19 c fallback to adder encoding 1332.37/1333.90 o 4658 1332.37/1333.90 c fallback to adder encoding 1335.41/1336.96 o 4657 1335.41/1336.96 c fallback to adder encoding 1340.39/1341.93 o 4651 1340.39/1341.93 c fallback to adder encoding 1344.32/1345.85 o 4647 1344.32/1345.85 c fallback to adder encoding 1349.31/1350.90 o 4642 1349.31/1350.90 c fallback to adder encoding 1355.21/1356.79 o 4636 1355.21/1356.79 c fallback to adder encoding 1359.21/1360.75 o 4626 1359.21/1360.75 c fallback to adder encoding 1365.96/1367.50 o 4622 1365.96/1367.50 c fallback to adder encoding 1369.00/1370.60 o 4617 1369.00/1370.60 c fallback to adder encoding 1376.49/1378.06 o 4616 1376.49/1378.06 c fallback to adder encoding 1383.70/1385.24 o 4615 1383.70/1385.24 c fallback to adder encoding 1389.90/1391.47 o 4612 1389.90/1391.47 c fallback to adder encoding 1394.87/1396.42 o 4608 1394.87/1396.42 c fallback to adder encoding 1400.40/1401.99 o 4605 1400.40/1401.99 c fallback to adder encoding 1404.48/1406.03 o 4604 1404.48/1406.03 c fallback to adder encoding 1407.80/1409.39 o 4603 1407.80/1409.39 c fallback to adder encoding 1412.79/1414.32 o 4592 1412.79/1414.32 c fallback to adder encoding 1417.79/1419.39 o 4588 1417.79/1419.39 c fallback to adder encoding 1421.90/1423.47 o 4585 1421.90/1423.47 c fallback to adder encoding 1426.80/1428.39 o 4582 1426.80/1428.39 c fallback to adder encoding 1431.40/1432.98 o 4579 1431.40/1432.98 c fallback to adder encoding 1437.89/1439.44 o 4577 1437.89/1439.44 c fallback to adder encoding 1446.85/1448.41 o 4566 1446.85/1448.41 c fallback to adder encoding 1453.99/1455.58 o 4565 1453.99/1455.58 c fallback to adder encoding 1460.07/1461.66 o 4560 1460.07/1461.66 c fallback to adder encoding 1466.90/1468.45 o 4555 1466.90/1468.45 c fallback to adder encoding 1473.58/1475.18 o 4550 1473.58/1475.18 c fallback to adder encoding 1485.09/1486.68 o 4543 1485.09/1486.68 c fallback to adder encoding 1491.78/1493.37 o 4527 1491.78/1493.37 c fallback to adder encoding 1498.78/1500.37 o 4526 1498.78/1500.37 c fallback to adder encoding 1502.04/1503.61 o 4520 1502.04/1503.61 c fallback to adder encoding 1506.94/1508.52 o 4516 1506.94/1508.52 c fallback to adder encoding 1513.84/1515.41 o 4515 1513.84/1515.41 c fallback to adder encoding 1516.65/1518.29 o 4514 1516.65/1518.29 c fallback to adder encoding 1524.46/1526.06 o 4513 1524.46/1526.06 c fallback to adder encoding 1530.82/1532.41 o 4510 1530.82/1532.41 c fallback to adder encoding 1538.48/1540.10 o 4506 1538.48/1540.10 c fallback to adder encoding 1543.74/1545.33 o 4502 1543.74/1545.33 c fallback to adder encoding 1546.57/1548.19 o 4497 1546.57/1548.19 c fallback to adder encoding 1552.37/1553.98 o 4496 1552.37/1553.98 c fallback to adder encoding 1557.65/1559.28 o 4495 1557.65/1559.28 c fallback to adder encoding 1562.75/1564.37 o 4494 1562.75/1564.37 c fallback to adder encoding 1567.89/1569.54 o 4489 1567.89/1569.54 c fallback to adder encoding 1578.07/1579.72 o 4485 1578.07/1579.72 c fallback to adder encoding 1590.28/1591.94 o 4469 1590.28/1591.94 c fallback to adder encoding 1596.26/1597.92 o 4468 1596.26/1597.92 c fallback to adder encoding 1604.38/1606.09 o 4467 1604.38/1606.09 c fallback to adder encoding 1608.47/1610.13 o 4456 1608.47/1610.13 c fallback to adder encoding 1613.87/1615.57 o 4451 1613.87/1615.57 c fallback to adder encoding 1618.96/1620.63 o 4449 1618.96/1620.63 c fallback to adder encoding 1623.96/1625.64 o 4448 1623.96/1625.64 c fallback to adder encoding 1628.37/1630.00 o 4443 1628.37/1630.00 c fallback to adder encoding 1634.08/1635.72 o 4423 1634.08/1635.72 c fallback to adder encoding 1639.07/1640.79 o 4422 1639.07/1640.79 c fallback to adder encoding 1643.27/1644.95 o 4325 1643.27/1644.95 c fallback to adder encoding 1650.22/1651.91 o 4322 1650.22/1651.91 c fallback to adder encoding 1657.36/1659.04 o 4312 1657.36/1659.04 c fallback to adder encoding 1661.13/1662.83 o 4311 1661.13/1662.83 c fallback to adder encoding 1666.75/1668.46 o 4297 1666.75/1668.46 c fallback to adder encoding 1672.92/1674.61 o 4296 1672.92/1674.61 c fallback to adder encoding 1679.63/1681.31 o 4293 1679.63/1681.31 c fallback to adder encoding 1683.95/1685.68 o 4292 1683.95/1685.68 c fallback to adder encoding 1691.05/1692.76 o 4291 1691.05/1692.76 c fallback to adder encoding 1696.76/1698.45 o 4288 1696.76/1698.45 c fallback to adder encoding 1700.94/1702.66 o 4283 1700.94/1702.66 c fallback to adder encoding 1704.04/1705.74 o 4271 1704.04/1705.74 c fallback to adder encoding 1708.85/1710.56 o 4265 1708.85/1710.56 c fallback to adder encoding 1715.94/1717.63 o 4259 1715.94/1717.63 c fallback to adder encoding 1723.13/1724.86 o 4255 1723.13/1724.86 c fallback to adder encoding 1728.32/1730.07 o 4252 1728.32/1730.07 c fallback to adder encoding 1732.13/1733.88 o 4248 1732.13/1733.88 c fallback to adder encoding 1735.63/1737.38 o 4241 1735.63/1737.38 c fallback to adder encoding 1743.75/1745.49 o 4237 1743.75/1745.49 c fallback to adder encoding 1748.44/1750.15 o 4232 1748.44/1750.15 c fallback to adder encoding 1751.74/1753.49 o 4231 1751.74/1753.49 c fallback to adder encoding 1755.03/1756.80 o 4226 1755.03/1756.80 c fallback to adder encoding 1760.71/1762.43 o 4208 1760.71/1762.43 c fallback to adder encoding 1764.13/1765.87 o 4198 1764.13/1765.87 c fallback to adder encoding 1776.22/1777.97 o 4196 1776.22/1777.97 c fallback to adder encoding 1781.71/1783.43 o 4195 1781.71/1783.43 c fallback to adder encoding 1788.70/1790.43 o 4193 1788.70/1790.43 c fallback to adder encoding 1793.37/1795.10 o 4183 1793.37/1795.10 c fallback to adder encoding 1798.20/1799.98 o 4178 1798.20/1799.98 c fallback to adder encoding 1800.00/1801.70 ./satsolver.sh: line 5: 5134 Terminated ./glucose $1 > $2 2> /dev/null 1800.00/1801.70 c error: unexpected solver exit code 1800.00/1801.70 s UNKNOWN
ERROR: no interpretation found !
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-3715122-1338225044/watcher-3715122-1338225044 -o /tmp/evaluation-result-3715122-1338225044/solver-3715122-1338225044 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715122-1338225044.wbo 1887035765 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.05 2.00 2.00 3/180 31868 /proc/meminfo: memFree=30625244/32873844 swapFree=6600/6600 [pid=31868] ppid=31866 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31868/stat : 31868 (npSolver-wbo-It) S 31866 31868 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288629256 9367552 275 33554432000 4194304 5064252 140736980235904 140736980234816 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31868/statm: 2287 275 233 213 0 72 0 [startup+0.0135701 s] /proc/loadavg: 2.05 2.00 2.00 3/180 31868 /proc/meminfo: memFree=30625244/32873844 swapFree=6600/6600 [pid=31868] ppid=31866 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31868/stat : 31868 (npSolver-wbo-It) S 31866 31868 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288629256 9367552 275 33554432000 4194304 5064252 140736980235904 140736980234816 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31868/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100211 s] /proc/loadavg: 2.05 2.00 2.00 3/180 31868 /proc/meminfo: memFree=30625244/32873844 swapFree=6600/6600 [pid=31868] ppid=31866 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31868/stat : 31868 (npSolver-wbo-It) S 31866 31868 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288629256 9367552 275 33554432000 4194304 5064252 140736980235904 140736980234816 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31868/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300267 s] /proc/loadavg: 2.05 2.00 2.00 3/180 31868 /proc/meminfo: memFree=30625244/32873844 swapFree=6600/6600 [pid=31868] ppid=31866 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31868/stat : 31868 (npSolver-wbo-It) S 31866 31868 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288629256 9367552 275 33554432000 4194304 5064252 140736980235904 140736980234816 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31868/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700236 s] /proc/loadavg: 2.05 2.00 2.00 3/180 31868 /proc/meminfo: memFree=30625244/32873844 swapFree=6600/6600 [pid=31868] ppid=31866 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31868/stat : 31868 (npSolver-wbo-It) S 31866 31868 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288629256 9367552 275 33554432000 4194304 5064252 140736980235904 140736980234816 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31868/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50037 s] /proc/loadavg: 2.05 2.00 2.00 3/184 31882 /proc/meminfo: memFree=30595720/32873844 swapFree=6600/6600 [pid=31868] ppid=31866 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31868/stat : 31868 (npSolver-wbo-It) S 31866 31868 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288629256 9367552 275 33554432000 4194304 5064252 140736980235904 140736980234816 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31868/statm: 2287 275 233 213 0 72 0 [pid=31869] ppid=31868 vsize=11360 CPUtime=0.13 cores=0,2,4,6 /proc/31869/stat : 31869 (npSolver-wbo) S 31868 31868 16422 0 -1 4202496 2758 5622 0 0 9 1 2 1 20 0 1 0 288629256 11632640 2026 33554432000 4194304 5990268 140737260024032 140737260015456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/31869/statm: 2840 2026 166 439 0 2397 0 [pid=31881] ppid=31869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31881/stat : 31881 (satsolver.sh) S 31869 31868 16422 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288629270 9367552 266 33554432000 4194304 5064252 140733380927824 140733380926736 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/31881/statm: 2287 266 226 213 0 72 0 [pid=31882] ppid=31881 vsize=18504 CPUtime=1.34 cores=0,2,4,6 /proc/31882/stat : 31882 (glucose) R 31881 31868 16422 0 -1 4202496 3700 0 0 0 133 1 0 0 20 0 1 0 288629271 18948096 4058 33554432000 4194304 5208918 140736906674848 140736906672600 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31882/statm: 4626 4058 105 248 0 4375 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 48160 [startup+3.10038 s] /proc/loadavg: 2.05 2.00 2.00 3/184 31882 /proc/meminfo: memFree=30594076/32873844 swapFree=6600/6600 [pid=31868] ppid=31866 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31868/stat : 31868 (npSolver-wbo-It) S 31866 31868 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288629256 9367552 275 33554432000 4194304 5064252 140736980235904 140736980234816 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31868/statm: 2287 275 233 213 0 72 0 [pid=31869] ppid=31868 vsize=11360 CPUtime=0.13 cores=0,2,4,6 /proc/31869/stat : 31869 (npSolver-wbo) S 31868 31868 16422 0 -1 4202496 2758 5622 0 0 9 1 2 1 20 0 1 0 288629256 11632640 2026 33554432000 4194304 5990268 140737260024032 140737260015456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/31869/statm: 2840 2026 166 439 0 2397 0 [pid=31881] ppid=31869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31881/stat : 31881 (satsolver.sh) S 31869 31868 16422 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288629270 9367552 266 33554432000 4194304 5064252 140733380927824 140733380926736 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/31881/statm: 2287 266 226 213 0 72 0 [pid=31882] ppid=31881 vsize=21892 CPUtime=2.94 cores=0,2,4,6 /proc/31882/stat : 31882 (glucose) R 31881 31868 16422 0 -1 4202496 3952 0 0 0 293 1 0 0 20 0 1 0 288629271 22417408 4310 33554432000 4194304 5208918 140736906674848 140736906671224 4229888 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31882/statm: 5473 4310 105 248 0 5222 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 51548 [startup+6.30039 s] /proc/loadavg: 2.13 2.02 2.01 3/184 31889 /proc/meminfo: memFree=30579804/32873844 swapFree=6600/6600 [pid=31868] ppid=31866 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31868/stat : 31868 (npSolver-wbo-It) S 31866 31868 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288629256 9367552 275 33554432000 4194304 5064252 140736980235904 140736980234816 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31868/statm: 2287 275 233 213 0 72 0 [pid=31869] ppid=31868 vsize=19544 CPUtime=3.81 cores=0,2,4,6 /proc/31869/stat : 31869 (npSolver-wbo) S 31868 31868 16422 0 -1 4202496 4618 12895 0 0 17 2 356 6 20 0 1 0 288629256 20013056 4086 33554432000 4194304 5990268 140737260024032 140737260015456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/31869/statm: 4886 4086 166 439 0 4443 0 [pid=31888] ppid=31869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31888/stat : 31888 (satsolver.sh) S 31869 31868 16422 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288629638 9367552 266 33554432000 4194304 5064252 140733422687024 140733422685936 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/31888/statm: 2287 266 226 213 0 72 0 [pid=31889] ppid=31888 vsize=18788 CPUtime=2.46 cores=0,2,4,6 /proc/31889/stat : 31889 (glucose) R 31888 31868 16422 0 -1 4202496 4270 0 0 0 246 0 0 0 20 0 1 0 288629638 19238912 4049 33554432000 4194304 5208918 140737476996336 140737476994296 4211160 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31889/statm: 4697 4049 105 248 0 4446 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 56628 [startup+12.7004 s] /proc/loadavg: 2.12 2.02 2.00 3/184 31903 /proc/meminfo: memFree=30584300/32873844 swapFree=6600/6600 [pid=31868] ppid=31866 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31868/stat : 31868 (npSolver-wbo-It) S 31866 31868 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288629256 9367552 275 33554432000 4194304 5064252 140736980235904 140736980234816 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31868/statm: 2287 275 233 213 0 72 0 [pid=31869] ppid=31868 vsize=19544 CPUtime=7.19 cores=0,2,4,6 /proc/31869/stat : 31869 (npSolver-wbo) S 31868 31868 16422 0 -1 4202496 6478 21061 0 0 25 3 682 9 20 0 1 0 288629256 20013056 4086 33554432000 4194304 5990268 140737260024032 140737260015456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/31869/statm: 4886 4086 166 439 0 4443 0 [pid=31895] ppid=31869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31895/stat : 31895 (satsolver.sh) S 31869 31868 16422 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288629977 9367552 267 33554432000 4194304 5064252 140735999878832 140735999877744 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/31895/statm: 2287 267 226 213 0 72 0 [pid=31896] ppid=31895 vsize=19492 CPUtime=5.48 cores=0,2,4,6 /proc/31896/stat : 31896 (glucose) R 31895 31868 16422 0 -1 4202496 5459 0 0 0 547 1 0 0 20 0 1 0 288629977 19959808 4308 33554432000 4194304 5208918 140733781172272 140733781170120 4229695 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31896/statm: 4873 4308 105 248 0 4622 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 57332 [startup+25.5004 s] /proc/loadavg: 2.09 2.01 2.00 3/183 31931 /proc/meminfo: memFree=30577348/32873844 swapFree=6600/6600 [pid=31868] ppid=31866 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31868/stat : 31868 (npSolver-wbo-It) S 31866 31868 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288629256 9367552 275 33554432000 4194304 5064252 140736980235904 140736980234816 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31868/statm: 2287 275 233 213 0 72 0 [pid=31869] ppid=31868 vsize=19544 CPUtime=20.63 cores=0,2,4,6 /proc/31869/stat : 31869 (npSolver-wbo) S 31868 31868 16422 0 -1 4202496 12058 47084 0 0 47 7 1986 23 20 0 1 0 288629256 20013056 4086 33554432000 4194304 5990268 140737260024032 140737260015456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/31869/statm: 4886 4086 166 439 0 4443 0 [pid=31930] ppid=31869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31930/stat : 31930 (satsolver.sh) S 31869 31868 16422 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288631332 9367552 267 33554432000 4194304 5064252 140734901168688 140734901167600 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/31930/statm: 2287 267 226 213 0 72 0 [pid=31931] ppid=31930 vsize=19588 CPUtime=4.72 cores=0,2,4,6 /proc/31931/stat : 31931 (glucose) R 31930 31868 16422 0 -1 4202496 5473 0 0 0 471 1 0 0 20 0 1 0 288631332 20058112 4296 33554432000 4194304 5208918 140735625282080 140735625280168 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31931/statm: 4897 4296 105 248 0 4646 0 Current children cumulated CPU time (s) 25.35 Current children cumulated vsize (KiB) 57428 [startup+51.1004 s] /proc/loadavg: 2.06 2.01 2.00 3/183 31987 /proc/meminfo: memFree=30580068/32873844 swapFree=6600/6600 [pid=31868] ppid=31866 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31868/stat : 31868 (npSolver-wbo-It) S 31866 31868 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288629256 9367552 275 33554432000 4194304 5064252 140736980235904 140736980234816 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31868/statm: 2287 275 233 213 0 72 0 [pid=31869] ppid=31868 vsize=19544 CPUtime=49.45 cores=0,2,4,6 /proc/31869/stat : 31869 (npSolver-wbo) S 31868 31868 16422 0 -1 4202496 23218 97145 0 0 93 14 4791 47 20 0 1 0 288629256 20013056 4086 33554432000 4194304 5990268 140737260024032 140737260015456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/31869/statm: 4886 4086 166 439 0 4443 0 [pid=31986] ppid=31869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31986/stat : 31986 (satsolver.sh) S 31869 31868 16422 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288634215 9367552 267 33554432000 4194304 5064252 140737344732896 140737344731808 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/31986/statm: 2287 267 226 213 0 72 0 [pid=31987] ppid=31986 vsize=18540 CPUtime=1.49 cores=0,2,4,6 /proc/31987/stat : 31987 (glucose) R 31986 31868 16422 0 -1 4202496 4105 0 0 0 149 0 0 0 20 0 1 0 288634215 18984960 3907 33554432000 4194304 5208918 140736877755472 140736877753320 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31987/statm: 4635 3907 105 248 0 4384 0 Current children cumulated CPU time (s) 50.94 Current children cumulated vsize (KiB) 56380 [startup+102.307 s] /proc/loadavg: 2.02 2.01 2.00 3/183 32072 /proc/meminfo: memFree=30587048/32873844 swapFree=6600/6600 [pid=31868] ppid=31866 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31868/stat : 31868 (npSolver-wbo-It) S 31866 31868 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288629256 9367552 275 33554432000 4194304 5064252 140736980235904 140736980234816 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31868/statm: 2287 275 233 213 0 72 0 [pid=31869] ppid=31868 vsize=19544 CPUtime=99.73 cores=0,2,4,6 /proc/31869/stat : 31869 (npSolver-wbo) S 31868 31868 16422 0 -1 4202496 36238 159640 0 0 147 22 9726 78 20 0 1 0 288629256 20013056 4086 33554432000 4194304 5990268 140737260024032 140737260015456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 9 0 0 /proc/31869/statm: 4886 4086 166 439 0 4443 0 [pid=32064] ppid=31869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32064/stat : 32064 (satsolver.sh) S 31869 31868 16422 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288639252 9367552 266 33554432000 4194304 5064252 140733596987680 140733596986592 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/32064/statm: 2287 266 226 213 0 72 0 [pid=32065] ppid=32064 vsize=19028 CPUtime=2.32 cores=0,2,4,6 /proc/32065/stat : 32065 (glucose) R 32064 31868 16422 0 -1 4202496 4423 0 0 0 232 0 0 0 20 0 1 0 288639253 19484672 4226 33554432000 4194304 5208918 140733711349936 140733711347688 4211537 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/32065/statm: 4757 4226 105 248 0 4506 0 Current children cumulated CPU time (s) 102.05 Current children cumulated vsize (KiB) 56868 [startup+162.3 s] /proc/loadavg: 2.04 2.02 2.00 3/183 32170 /proc/meminfo: memFree=30564536/32873844 swapFree=6600/6600 [pid=31868] ppid=31866 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31868/stat : 31868 (npSolver-wbo-It) S 31866 31868 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288629256 9367552 275 33554432000 4194304 5064252 140736980235904 140736980234816 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31868/statm: 2287 275 233 213 0 72 0 [pid=31869] ppid=31868 vsize=19544 CPUtime=151.05 cores=0,2,4,6 /proc/31869/stat : 31869 (npSolver-wbo) S 31868 31868 16422 0 -1 4202496 52978 236717 0 0 211 31 14744 119 20 0 1 0 288629256 20013056 4086 33554432000 4194304 5990268 140737260024032 140737260015456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0 /proc/31869/statm: 4886 4086 166 439 0 4443 0 [pid=32169] ppid=31869 vsize=9148 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ [startup+1362.3 s] /proc/loadavg: 1.91 1.98 1.99 3/181 3370 /proc/meminfo: memFree=30616744/32873844 swapFree=6600/6600 [pid=31868] ppid=31866 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31868/stat : 31868 (npSolver-wbo-It) S 31866 31868 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288629256 9367552 275 33554432000 4194304 5064252 140736980235904 140736980234816 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31868/statm: 2287 275 233 213 0 72 0 [pid=31869] ppid=31868 vsize=19496 CPUtime=1359.34 cores=0,2,4,6 /proc/31869/stat : 31869 (npSolver-wbo) S 31868 31868 16422 0 -1 4202496 454604 2019634 0 0 1713 256 132956 1009 20 0 1 0 288629256 19963904 3574 33554432000 4194304 5990268 140737260024032 140737260015456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 22 0 0 /proc/31869/statm: 4874 3574 166 439 0 4431 0 [pid=3364] ppid=31869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3364/stat : 3364 (satsolver.sh) S 31869 31868 16422 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288765338 9367552 266 33554432000 4194304 5064252 140734258069792 140734258068704 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3364/statm: 2287 266 226 213 0 72 0 [pid=3365] ppid=3364 vsize=17432 CPUtime=1.46 cores=0,2,4,6 /proc/3365/stat : 3365 (glucose) R 3364 31868 16422 0 -1 4202496 3428 0 0 0 146 0 0 0 20 0 1 0 288765338 17850368 3864 33554432000 4194304 5208918 140734811410736 140734811408696 4211156 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/3365/statm: 4358 3864 104 248 0 4107 0 Current children cumulated CPU time (s) 1360.8 Current children cumulated vsize (KiB) 55224 [startup+1422.3 s] /proc/loadavg: 1.97 1.98 1.99 3/183 3680 /proc/meminfo: memFree=30598336/32873844 swapFree=6600/6600 [pid=31868] ppid=31866 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31868/stat : 31868 (npSolver-wbo-It) S 31866 31868 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288629256 9367552 275 33554432000 4194304 5064252 140736980235904 140736980234816 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31868/statm: 2287 275 233 213 0 72 0 [pid=31869] ppid=31868 vsize=19496 CPUtime=1417.97 cores=0,2,4,6 /proc/31869/stat : 31869 (npSolver-wbo) S 31868 31868 16422 0 -1 4202496 475053 2105471 0 0 1786 266 138691 1054 20 0 1 0 288629256 19963904 3574 33554432000 4194304 5990268 140737260024032 140737260015456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 22 0 0 /proc/31869/statm: 4874 3574 166 439 0 4431 0 [pid=3665] ppid=31869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3665/stat : 3665 (satsolver.sh) S 31869 31868 16422 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288771202 9367552 266 33554432000 4194304 5064252 140733201068720 140733201067632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3665/statm: 2287 266 226 213 0 72 0 [pid=3666] ppid=3665 vsize=20972 CPUtime=2.83 cores=0,2,4,6 /proc/3666/stat : 3666 (glucose) R 3665 31868 16422 0 -1 4202496 4233 0 0 0 283 0 0 0 20 0 1 0 288771202 21475328 4118 33554432000 4194304 5208918 140737190891104 140737190888856 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/3666/statm: 5243 4118 105 248 0 4992 0 Current children cumulated CPU time (s) 1420.8 Current children cumulated vsize (KiB) 58764 [startup+1482.3 s] /proc/loadavg: 1.94 1.97 1.98 3/183 4163 /proc/meminfo: memFree=30604988/32873844 swapFree=6600/6600 [pid=31868] ppid=31866 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31868/stat : 31868 (npSolver-wbo-It) S 31866 31868 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288629256 9367552 275 33554432000 4194304 5064252 140736980235904 140736980234816 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31868/statm: 2287 275 233 213 0 72 0 [pid=31869] ppid=31868 vsize=19496 CPUtime=1473.76 cores=0,2,4,6 /proc/31869/stat : 31869 (npSolver-wbo) S 31868 31868 16422 0 -1 4202496 491784 2178133 0 0 1845 276 144164 1091 20 0 1 0 288629256 19963904 3574 33554432000 4194304 5990268 140737260024032 140737260015456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 22 0 0 /proc/31869/statm: 4874 3574 166 439 0 4431 0 [pid=4092] ppid=31869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4092/stat : 4092 (satsolver.sh) S 31869 31868 16422 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288776781 9367552 266 33554432000 4194304 5064252 140735890296256 140735890295168 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/4092/statm: 2287 266 226 213 0 72 0 [pid=4093] ppid=4092 vsize=21096 CPUtime=7.02 cores=0,2,4,6 /proc/4093/stat : 4093 (glucose) R 4092 31868 16422 0 -1 4202496 4627 0 0 0 701 1 0 0 20 0 1 0 288776782 21602304 4504 33554432000 4194304 5208918 140734545343504 140734545341656 4211570 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/4093/statm: 5274 4504 105 248 0 5023 0 Current children cumulated CPU time (s) 1480.78 Current children cumulated vsize (KiB) 58888 [startup+1542.31 s] /proc/loadavg: 2.08 2.00 2.00 3/183 4710 /proc/meminfo: memFree=30568844/32873844 swapFree=6600/6600 [pid=31868] ppid=31866 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31868/stat : 31868 (npSolver-wbo-It) S 31866 31868 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288629256 9367552 275 33554432000 4194304 5064252 140736980235904 140736980234816 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31868/statm: 2287 275 233 213 0 72 0 [pid=31869] ppid=31868 vsize=19496 CPUtime=1538.65 cores=0,2,4,6 /proc/31869/stat : 31869 (npSolver-wbo) S 31868 31868 16422 0 -1 4202496 510374 2257265 0 0 1910 286 150539 1130 20 0 1 0 288629256 19963904 3574 33554432000 4194304 5990268 140737260024032 140737260015456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 22 0 0 /proc/31869/statm: 4874 3574 166 439 0 4431 0 [pid=4709] ppid=31869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4709/stat : 4709 (satsolver.sh) S 31869 31868 16422 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288783273 9367552 267 33554432000 4194304 5064252 140733520395584 140733520394496 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/4709/statm: 2287 267 226 213 0 72 0 [pid=4710] ppid=4709 vsize=18156 CPUtime=2.12 cores=0,2,4,6 /proc/4710/stat : 4710 (glucose) R 4709 31868 16422 0 -1 4202496 4097 0 0 0 211 1 0 0 20 0 1 0 288783273 18591744 3950 33554432000 4194304 5208918 140734873655952 140734873653800 4228982 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/4710/statm: 4539 3950 105 248 0 4288 0 Current children cumulated CPU time (s) 1540.77 Current children cumulated vsize (KiB) 55948 [startup+1602.3 s] /proc/loadavg: 2.06 2.01 2.00 3/183 4794 /proc/meminfo: memFree=30564636/32873844 swapFree=6600/6600 [pid=31868] ppid=31866 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31868/stat : 31868 (npSolver-wbo-It) S 31866 31868 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288629256 9367552 275 33554432000 4194304 5064252 140736980235904 140736980234816 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31868/statm: 2287 275 233 213 0 72 0 [pid=31869] ppid=31868 vsize=19496 CPUtime=1596.39 cores=0,2,4,6 /proc/31869/stat : 31869 (npSolver-wbo) S 31868 31868 16422 0 -1 4202496 527105 2332325 0 0 1969 295 156206 1169 20 0 1 0 288629256 19963904 3574 33554432000 4194304 5990268 140737260024032 140737260015456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 22 0 0 /proc/31869/statm: 4874 3574 166 439 0 4431 0 [pid=4793] ppid=31869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4793/stat : 4793 (satsolver.sh) S 31869 31868 16422 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288789056 9367552 267 33554432000 4194304 5064252 140736847257520 140736847256432 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/4793/statm: 2287 267 226 213 0 72 0 [pid=4794] ppid=4793 vsize=18292 CPUtime=4.28 cores=0,2,4,6 /proc/4794/stat : 4794 (glucose) R 4793 31868 16422 0 -1 4202496 4747 0 0 0 427 1 0 0 20 0 1 0 288789056 18731008 4097 33554432000 4194304 5208918 140734461461920 140734461459768 4211066 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/4794/statm: 4573 4097 105 248 0 4322 0 Current children cumulated CPU time (s) 1600.67 Current children cumulated vsize (KiB) 56084 [startup+1662.3 s] /proc/loadavg: 2.02 2.01 2.00 3/183 4900 /proc/meminfo: memFree=30567464/32873844 swapFree=6600/6600 [pid=31868] ppid=31866 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31868/stat : 31868 (npSolver-wbo-It) S 31866 31868 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288629256 9367552 275 33554432000 4194304 5064252 140736980235904 140736980234816 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31868/statm: 2287 275 233 213 0 72 0 [pid=31869] ppid=31868 vsize=19496 CPUtime=1657.48 cores=0,2,4,6 /proc/31869/stat : 31869 (npSolver-wbo) S 31868 31868 16422 0 -1 4202496 547554 2416833 0 0 2042 305 162190 1211 20 0 1 0 288629256 19963904 3574 33554432000 4194304 5990268 140737260024032 140737260015456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 22 0 0 /proc/31869/statm: 4874 3574 166 439 0 4431 0 [pid=4899] ppid=31869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4899/stat : 4899 (satsolver.sh) S 31869 31868 16422 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 288795167 9367552 267 33554432000 4194304 5064252 140733716915616 140733716914528 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/4899/statm: 2287 267 226 213 0 72 0 [pid=4900] ppid=4899 vsize=18152 CPUtime=3.17 cores=0,2,4,6 /proc/4900/stat : 4900 (glucose) R 4899 31868 16422 0 -1 4202496 4561 0 0 0 317 0 0 0 20 0 1 0 288795167 18587648 3847 33554432000 4194304 5208918 140734004360080 140734004358168 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/4900/statm: 4538 3847 105 248 0 4287 0 Current children cumulated CPU time (s) 1660.65 Current children cumulated vsize (KiB) 55944 [startup+1722.3 s] /proc/loadavg: 2.01 2.00 2.00 3/183 4998 /proc/meminfo: memFree=30583136/32873844 swapFree=6600/6600 [pid=31868] ppid=31866 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31868/stat : 31868 (npSolver-wbo-It) S 31866 31868 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288629256 9367552 275 33554432000 4194304 5064252 140736980235904 140736980234816 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31868/statm: 2287 275 233 213 0 72 0 [pid=31869] ppid=31868 vsize=19496 CPUtime=1716.05 cores=0,2,4,6 /proc/31869/stat : 31869 (npSolver-wbo) S 31868 31868 16422 0 -1 4202496 568003 2504461 0 0 2115 316 167921 1253 20 0 1 0 288629256 19963904 3574 33554432000 4194304 5990268 140737260024032 140737260015456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 22 0 0 /proc/31869/statm: 4874 3574 166 439 0 4431 0 [pid=4990] ppid=31869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4990/stat : 4990 (satsolver.sh) S 31869 31868 16422 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288801026 9367552 266 33554432000 4194304 5064252 140735179140848 140735179139760 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/4990/statm: 2287 266 226 213 0 72 0 [pid=4991] ppid=4990 vsize=21084 CPUtime=4.58 cores=0,2,4,6 /proc/4991/stat : 4991 (glucose) R 4990 31868 16422 0 -1 4202496 4459 0 0 0 457 1 0 0 20 0 1 0 288801026 21590016 4350 33554432000 4194304 5208918 140733257681776 140733257679928 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/4991/statm: 5271 4350 105 248 0 5020 0 Current children cumulated CPU time (s) 1720.63 Current children cumulated vsize (KiB) 58876 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/184 5099 /proc/meminfo: memFree=30563808/32873844 swapFree=6600/6600 [pid=31868] ppid=31866 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31868/stat : 31868 (npSolver-wbo-It) S 31866 31868 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288629256 9367552 275 33554432000 4194304 5064252 140736980235904 140736980234816 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31868/statm: 2287 275 233 213 0 72 0 [pid=31869] ppid=31868 vsize=19496 CPUtime=1776.37 cores=0,2,4,6 /proc/31869/stat : 31869 (npSolver-wbo) S 31868 31868 16422 0 -1 4202496 588452 2588787 0 0 2188 326 173827 1296 20 0 1 0 288629256 19963904 3574 33554432000 4194304 5990268 140737260024032 140737260015456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 22 0 0 /proc/31869/statm: 4874 3574 166 439 0 4431 0 [pid=5098] ppid=31869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5098/stat : 5098 (satsolver.sh) S 31869 31868 16422 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288807061 9367552 266 33554432000 4194304 5064252 140735436448432 140735436447344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/5098/statm: 2287 266 226 213 0 72 0 [pid=5099] ppid=5098 vsize=21232 CPUtime=4.23 cores=0,2,4,6 /proc/5099/stat : 5099 (glucose) R 5098 31868 16422 0 -1 4202496 4372 0 0 0 423 0 0 0 20 0 1 0 288807061 21741568 4262 33554432000 4194304 5208918 140733812495872 140733812494024 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/5099/statm: 5308 4262 105 248 0 5057 0 Current children cumulated CPU time (s) 1780.6 Current children cumulated vsize (KiB) 59024 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.7 s] /proc/loadavg: 2.00 2.00 2.00 3/184 5134 /proc/meminfo: memFree=30568572/32873844 swapFree=6600/6600 [pid=31868] ppid=31866 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31868/stat : 31868 (npSolver-wbo-It) S 31866 31868 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288629256 9367552 275 33554432000 4194304 5064252 140736980235904 140736980234816 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31868/statm: 2287 275 233 213 0 72 0 [pid=31869] ppid=31868 vsize=19496 CPUtime=1798.37 cores=0,2,4,6 /proc/31869/stat : 31869 (npSolver-wbo) S 31868 31868 16422 0 -1 4202496 595888 2619787 0 0 2214 330 175983 1310 20 0 1 0 288629256 19963904 3574 33554432000 4194304 5990268 140737260024032 140737260015456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 22 0 0 /proc/31869/statm: 4874 3574 166 439 0 4431 0 [pid=5133] ppid=31869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5133/stat : 5133 (satsolver.sh) S 31869 31868 16422 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288809262 9367552 266 33554432000 4194304 5064252 140735973706848 140735973705760 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/5133/statm: 2287 266 226 213 0 72 0 [pid=5134] ppid=5133 vsize=17576 CPUtime=1.63 cores=0,2,4,6 /proc/5134/stat : 5134 (glucose) R 5133 31868 16422 0 -1 4202496 3821 0 0 0 163 0 0 0 20 0 1 0 288809262 17997824 3667 33554432000 4194304 5208918 140736877888768 140736877886728 4205752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/5134/statm: 4394 3667 104 248 0 4143 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 55368 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1801.71 CPU time (s): 1800.05 CPU user time (s): 1783.63 CPU system time (s): 16.4225 CPU usage (%): 99.9078 Max. virtual memory (cumulated for all children) (KiB): 76088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1783.63 system time used= 16.4225 maximum resident set size= 33832 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3220488 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2885848 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15443 involuntary context switches= 5940 runsolver used 2.77958 second user time and 7.08292 second system time The end
Begin job on node140 at 2012-05-28 19:10:44 IDJOB=3715122 IDBENCH=79400 IDSOLVER=2296 FILE ID=node140/3715122-1338225044 RUNJOBID= node140-1338193685-16438 PBS_JOBID= 14624590 Free space on /tmp= 71324 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh18_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715122-1338225044/watcher-3715122-1338225044 -o /tmp/evaluation-result-3715122-1338225044/solver-3715122-1338225044 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715122-1338225044.wbo 1887035765 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 11b5917216c9682d33b4eac8f024a9c6 RANDOM SEED=1887035765 node140.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.094 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.18 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.094 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.094 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.91 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.094 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.094 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 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.88 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.094 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.90 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.094 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: 32873844 kB MemFree: 30625616 kB Buffers: 545204 kB Cached: 775184 kB SwapCached: 1516 kB Active: 1055832 kB Inactive: 307656 kB Active(anon): 34920 kB Inactive(anon): 8636 kB Active(file): 1020912 kB Inactive(file): 299020 kB Unevictable: 6600 kB Mlocked: 6600 kB SwapTotal: 67108856 kB SwapFree: 67105308 kB Dirty: 13600 kB Writeback: 0 kB AnonPages: 206664 kB Mapped: 12816 kB Shmem: 8 kB Slab: 744884 kB SReclaimable: 186824 kB SUnreclaim: 558060 kB KernelStack: 1520 kB PageTables: 4248 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 163528 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 167936 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71312 MiB End job on node140 at 2012-05-28 19:40:46