Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound | ? (TO) | 1800.04 | 1800.91 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-33-100-0.wbo |
MD5SUM | 0b915fd051dbce2f3b4ec1d342cdefca |
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 | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.116981 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 220 |
Total number of constraints | 42 |
Number of soft constraints | 30 |
Number of constraints which are clauses | 22 |
Number of constraints which are cardinality constraints (but not clauses) | 20 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 11 |
Top cost | 1595 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 1594 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 12 |
Number of bits of the biggest sum of numbers | 4 |
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.00 c run usual solver 0.00/0.05 o 282 0.00/0.05 c starting approximation 0.00/0.05 c factor = 2 0.00/0.05 c current bound: 141 2.98/3.04 c current bound: 141 5.87/5.99 c current bound: 141 8.97/9.01 c current bound: 141 11.97/12.00 c current bound: 141 14.87/14.99 c current bound: 141 17.96/18.00 c current bound: 141 20.95/21.01 c current bound: 141 23.96/24.01 c current bound: 141 26.96/27.02 c current bound: 141 29.86/29.97 c current bound: 141 32.86/32.98 c current bound: 141 35.84/35.92 c current bound: 141 38.85/38.90 c current bound: 141 41.76/41.90 c current bound: 141 44.86/44.91 c current bound: 141 47.86/47.91 c current bound: 141 50.74/50.86 c current bound: 141 53.75/53.87 c current bound: 141 56.74/56.83 c current bound: 141 59.74/59.81 c current bound: 141 62.66/62.77 c current bound: 141 65.65/65.79 c current bound: 141 68.60/68.79 c current bound: 141 71.60/71.73 c current bound: 141 74.61/74.74 c current bound: 141 77.50/77.69 c current bound: 141 80.50/80.65 c current bound: 141 83.50/83.65 c current bound: 141 86.49/86.65 c current bound: 141 89.50/89.60 c current bound: 141 92.39/92.59 c current bound: 141 95.39/95.56 c current bound: 141 98.38/98.56 c current bound: 141 101.40/101.51 c current bound: 141 104.29/104.49 c current bound: 141 107.29/107.45 c current bound: 141 110.29/110.46 c current bound: 141 113.29/113.43 c current bound: 141 116.29/116.44 c current bound: 141 119.29/119.43 c current bound: 141 122.20/122.37 c current bound: 141 125.20/125.37 c current bound: 141 128.19/128.35 c current bound: 141 131.19/131.33 c current bound: 141 134.19/134.33 c current bound: 141 137.08/137.29 c current bound: 141 140.08/140.29 c current bound: 141 143.08/143.25 c current bound: 141 146.10/146.21 c current bound: 141 149.09/149.21 c current bound: 141 152.08/152.23 c current bound: 141 155.08/155.22 c current bound: 141 157.98/158.19 c current bound: 141 160.98/161.18 c current bound: 141 163.99/164.14 c current bound: 141 166.88/167.08 c current bound: 141 169.87/170.05 c current bound: 141 172.88/173.05 c current bound: 141 175.89/176.01 c current bound: 141 178.87/179.01 c current bound: 141 181.89/182.01 c current bound: 141 184.78/184.99 c current bound: 141 187.78/187.93 c current bound: 141 190.77/190.91 c current bound: 141 193.77/193.91 c current bound: 141 196.68/196.90 c current bound: 141 199.67/199.89 c current bound: 141 202.67/202.85 c current bound: 141 205.58/205.79 c current bound: 141 208.57/208.74 c current bound: 141 211.56/211.75 c current bound: 141 214.46/214.68 c current bound: 141 217.46/217.63 c current bound: 141 220.35/220.59 c current bound: 141 223.35/223.60 c current bound: 141 226.34/226.56 c current bound: 141 229.33/229.51 c current bound: 141 232.25/232.48 c current bound: 141 235.34/235.51 c current bound: 141 238.24/238.47 c current bound: 141 241.24/241.43 c current bound: 141 244.14/244.37 c current bound: 141 247.14/247.39 c current bound: 141 250.14/250.37 c current bound: 141 253.14/253.35 c current bound: 141 256.14/256.34 c current bound: 141 259.13/259.33 c current bound: 141 262.13/262.33 c current bound: 141 265.15/265.30 c current bound: 141 268.05/268.22 c current bound: 141 270.94/271.19 c current bound: 141 273.93/274.19 c current bound: 141 276.93/277.16 c current bound: 141 279.93/280.10 c current bound: 141 282.92/283.12 c current bound: 141 285.93/286.11 c current bound: 141 288.92/289.11 c current bound: 141 291.82/292.06 c current bound: 141 294.83/295.07 c current bound: 141 297.83/298.10 c current bound: 141 300.83/301.02 c current bound: 141 303.74/303.96 c current bound: 141 306.74/306.96 c current bound: 141 309.73/309.94 c current bound: 141 312.64/312.88 c current bound: 141 315.62/315.87 c current bound: 141 318.62/318.80 c current bound: 141 321.63/321.82 c current bound: 141 324.61/324.81 c current bound: 141 327.63/327.82 c current bound: 141 330.50/330.79 c current bound: 141 333.60/333.83 c current bound: 141 336.55/336.82 c current bound: 141 339.57/339.81 c current bound: 141 342.56/342.81 c current bound: 141 345.56/345.84 c current bound: 141 348.53/348.82 c current bound: 141 351.50/351.82 c current bound: 141 354.46/354.81 c current bound: 141 357.48/357.80 c current bound: 141 360.37/360.79 c current bound: 141 363.38/363.74 c current bound: 141 366.38/366.70 c current bound: 141 369.38/369.70 c current bound: 141 372.26/372.69 c current bound: 141 375.27/375.69 c current bound: 141 378.38/378.70 c current bound: 141 381.29/381.68 c current bound: 141 384.27/384.67 c current bound: 141 387.26/387.62 c current bound: 141 390.26/390.62 c current bound: 141 393.28/393.60 c current bound: 141 396.16/396.54 c current bound: 141 399.18/399.52 c current bound: 141 402.17/402.52 c current bound: 141 405.16/405.51 c current bound: 141 408.17/408.50 c current bound: 141 411.17/411.50 c current bound: 141 414.07/414.45 c current bound: 141 417.07/417.44 c current bound: 141 420.07/420.43 c current bound: 141 422.96/423.38 c current bound: 141 425.96/426.36 c current bound: 141 428.97/429.34 c current bound: 141 431.87/432.29 c current bound: 141 434.86/435.28 c current bound: 141 437.86/438.22 c current bound: 141 440.88/441.20 c current bound: 141 443.77/444.14 c current bound: 141 446.66/447.09 c current bound: 141 449.66/450.09 c current bound: 141 452.67/453.07 c current bound: 141 455.67/456.02 c current bound: 141 458.56/458.97 c current bound: 141 461.58/461.91 c current bound: 141 464.48/464.86 c current bound: 141 467.47/467.82 c current bound: 141 470.47/470.82 c current bound: 141 473.45/473.81 c current bound: 141 476.34/476.79 c current bound: 141 479.31/479.73 c current bound: 141 482.32/482.73 c current bound: 141 485.31/485.74 c current bound: 141 488.31/488.71 c current bound: 141 491.21/491.70 c current bound: 141 494.21/494.69 c current bound: 141 497.21/497.63 c current bound: 141 500.22/500.64 c current bound: 141 503.22/503.63 c current bound: 141 506.11/506.57 c current bound: 141 509.10/509.51 c current bound: 141 512.00/512.48 c current bound: 141 515.01/515.42 c current bound: 141 518.01/518.40 c current bound: 141 520.91/521.39 c current bound: 141 523.90/524.37 c current bound: 141 526.91/527.38 c current bound: 141 529.89/530.39 c current bound: 141 532.90/533.38 c current bound: 141 535.91/536.36 c current bound: 141 538.91/539.36 c current bound: 141 541.92/542.34 c current bound: 141 544.91/545.34 c current bound: 141 547.91/548.32 c current bound: 141 550.92/551.34 c current bound: 141 553.81/554.29 c current bound: 141 556.80/557.29 c current bound: 141 559.81/560.25 c current bound: 141 562.71/563.20 c current bound: 141 565.80/566.20 c current bound: 141 568.70/569.19 c current bound: 141 571.70/572.18 c current bound: 141 574.71/575.15 c current bound: 141 577.70/578.14 c current bound: 141 580.70/581.14 c current bound: 141 583.70/584.13 c current bound: 141 586.59/587.09 c current bound: 141 589.59/590.09 c current bound: 141 592.60/593.08 c current bound: 141 595.71/596.11 c current bound: 141 598.70/599.10 c current bound: 141 601.59/602.08 c current bound: 141 604.60/605.02 c current bound: 141 607.61/608.03 c current bound: 141 610.51/610.97 c current bound: 141 613.50/613.90 c current bound: 141 616.40/616.86 c current bound: 141 619.40/619.81 c current bound: 141 622.40/622.80 c current bound: 141 625.40/625.82 c current bound: 141 628.27/628.77 c current bound: 141 631.27/631.70 c current bound: 141 634.17/634.65 c current bound: 141 637.16/637.65 c current bound: 141 640.15/640.65 c current bound: 141 643.17/643.65 c current bound: 141 646.16/646.64 c current bound: 141 649.16/649.62 c current bound: 141 652.15/652.62 c current bound: 141 655.16/655.63 c current bound: 141 658.15/658.63 c current bound: 141 661.07/661.59 c current bound: 141 664.06/664.56 c current bound: 141 667.06/667.52 c current bound: 141 670.06/670.50 c current bound: 141 672.95/673.48 c current bound: 141 675.95/676.49 c current bound: 141 678.94/679.48 c current bound: 141 681.95/682.48 c current bound: 141 684.97/685.49 c current bound: 141 687.96/688.45 c current bound: 141 690.95/691.44 c current bound: 141 693.95/694.45 c current bound: 141 696.87/697.40 c current bound: 141 699.86/700.36 c current bound: 141 702.86/703.36 c current bound: 141 705.85/706.37 c current bound: 141 708.86/709.31 c current bound: 141 711.86/712.30 c current bound: 141 714.76/715.24 c current bound: 141 717.75/718.26 c current bound: 141 720.74/721.25 c current bound: 141 723.75/724.22 c current bound: 141 726.66/727.15 c current bound: 141 729.65/730.10 c current bound: 141 732.54/733.05 c current bound: 141 735.46/736.00 c current bound: 141 738.45/738.93 c current bound: 141 741.45/741.95 c current bound: 141 744.45/744.90 c current bound: 141 747.35/747.85 c current bound: 141 750.35/750.82 c current bound: 141 753.32/753.81 c current bound: 141 756.33/756.82 c current bound: 141 759.22/759.78 c current bound: 141 762.22/762.78 c current bound: 141 765.23/765.74 c current bound: 141 768.13/768.68 c current bound: 141 771.12/771.68 c current bound: 141 774.12/774.65 c current bound: 141 777.12/777.64 c current bound: 141 780.13/780.60 c current bound: 141 783.13/783.60 c current bound: 141 786.03/786.54 c current bound: 141 788.92/789.48 c current bound: 141 791.92/792.43 c current bound: 141 794.91/795.43 c current bound: 141 797.92/798.41 c current bound: 141 800.92/801.42 c current bound: 141 803.92/804.43 c current bound: 141 806.83/807.39 c current bound: 141 809.82/810.32 c current bound: 141 812.82/813.31 c current bound: 141 815.83/816.30 c current bound: 141 818.71/819.28 c current bound: 141 821.71/822.27 c current bound: 141 824.71/825.27 c current bound: 141 827.72/828.27 c current bound: 141 830.72/831.25 c current bound: 141 833.72/834.26 c current bound: 141 836.71/837.21 c current bound: 141 839.72/840.20 c current bound: 141 842.62/843.12 c current bound: 141 845.51/846.07 c current bound: 141 848.52/849.08 c current bound: 141 851.51/852.06 c current bound: 141 854.52/855.07 c current bound: 141 857.51/858.07 c current bound: 141 860.51/861.02 c current bound: 141 863.51/864.00 c current bound: 141 866.40/866.93 c current bound: 141 869.29/869.89 c current bound: 141 872.29/872.89 c current bound: 141 875.31/875.86 c current bound: 141 878.30/878.82 c current bound: 141 881.20/881.79 c current bound: 141 884.16/884.78 c current bound: 141 887.16/887.76 c current bound: 141 890.16/890.72 c current bound: 141 893.07/893.69 c current bound: 141 896.06/896.69 c current bound: 141 899.06/899.64 c current bound: 141 901.97/902.57 c current bound: 141 904.96/905.59 c current bound: 141 907.97/908.57 c current bound: 141 910.96/911.50 c current bound: 141 913.97/914.50 c current bound: 141 916.86/917.45 c current bound: 141 919.87/920.44 c current bound: 141 922.87/923.48 c current bound: 141 925.88/926.40 c current bound: 141 928.77/929.39 c current bound: 141 931.76/932.37 c current bound: 141 934.76/935.35 c current bound: 141 937.68/938.28 c current bound: 141 940.66/941.23 c current bound: 141 943.66/944.22 c current bound: 141 946.56/947.17 c current bound: 141 949.56/950.10 c current bound: 141 952.44/953.04 c current bound: 141 955.46/956.05 c current bound: 141 958.35/958.99 c current bound: 141 961.35/961.98 c current bound: 141 964.34/964.96 c current bound: 141 967.35/967.97 c current bound: 141 970.33/970.97 c current bound: 141 973.35/973.96 c current bound: 141 976.35/976.95 c current bound: 141 979.34/979.94 c current bound: 141 982.34/982.94 c current bound: 141 985.34/985.91 c current bound: 141 988.36/988.92 c current bound: 141 991.36/991.90 c current bound: 141 994.25/994.87 c current bound: 141 997.25/997.87 c current bound: 141 1000.24/1000.82 c current bound: 141 1003.14/1003.76 c current bound: 141 1006.15/1006.76 c current bound: 141 1009.10/1009.75 c current bound: 141 1012.10/1012.77 c current bound: 141 1015.10/1015.75 c current bound: 141 1018.09/1018.72 c current bound: 141 1021.00/1021.66 c current bound: 141 1023.98/1024.67 c current bound: 141 1026.98/1027.61 c current bound: 141 1029.89/1030.58 c current bound: 141 1032.88/1033.57 c current bound: 141 1035.88/1036.55 c current bound: 141 1038.88/1039.54 c current bound: 141 1041.77/1042.49 c current bound: 141 1044.77/1045.44 c current bound: 141 1047.78/1048.40 c current bound: 141 1050.68/1051.39 c current bound: 141 1053.67/1054.34 c current bound: 141 1056.57/1057.26 c current bound: 141 1059.56/1060.25 c current bound: 141 1062.57/1063.25 c current bound: 141 1065.57/1066.24 c current bound: 141 1068.57/1069.23 c current bound: 141 1071.57/1072.22 c current bound: 141 1074.57/1075.20 c current bound: 141 1077.46/1078.15 c current bound: 141 1080.48/1081.10 c current bound: 141 1083.37/1084.04 c current bound: 141 1086.37/1087.05 c current bound: 141 1089.26/1089.99 c current bound: 141 1092.38/1093.00 c current bound: 141 1095.37/1096.00 c current bound: 141 1098.38/1099.00 c current bound: 141 1101.37/1102.01 c current bound: 141 1104.37/1105.00 c current bound: 141 1107.26/1107.94 c current bound: 141 1110.15/1110.90 c current bound: 141 1113.15/1113.84 c current bound: 141 1116.16/1116.82 c current bound: 141 1119.16/1119.81 c current bound: 141 1122.17/1122.80 c current bound: 141 1125.17/1125.81 c current bound: 141 1128.05/1128.77 c current bound: 141 1131.05/1131.72 c current bound: 141 1134.04/1134.72 c current bound: 141 1137.04/1137.70 c current bound: 141 1139.94/1140.64 c current bound: 141 1142.94/1143.63 c current bound: 141 1145.83/1146.56 c current bound: 141 1148.84/1149.55 c current bound: 141 1151.82/1152.55 c current bound: 141 1154.82/1155.54 c current bound: 141 1157.82/1158.52 c current bound: 141 1160.73/1161.49 c current bound: 141 1163.72/1164.47 c current bound: 141 1166.72/1167.42 c current bound: 141 1169.63/1170.36 c current bound: 141 1172.62/1173.35 c current bound: 141 1175.61/1176.34 c current bound: 141 1178.63/1179.32 c current bound: 141 1181.62/1182.33 c current bound: 141 1184.63/1185.33 c current bound: 141 1187.53/1188.29 c current bound: 141 1190.53/1191.23 c current bound: 141 1193.52/1194.23 c current bound: 141 1196.53/1197.20 c current bound: 141 1199.43/1200.19 c current bound: 141 1202.42/1203.15 c current bound: 141 1205.42/1206.15 c current bound: 141 1208.43/1209.14 c current bound: 141 1211.32/1212.10 c current bound: 141 1214.44/1215.10 c current bound: 141 1217.32/1218.09 c current bound: 141 1220.43/1221.11 c current bound: 141 1223.42/1224.10 c current bound: 141 1226.31/1227.04 c current bound: 141 1229.32/1230.03 c current bound: 141 1232.33/1233.02 c current bound: 141 1235.32/1236.00 c current bound: 141 1238.32/1239.00 c current bound: 141 1241.31/1242.02 c current bound: 141 1244.30/1245.02 c current bound: 141 1247.32/1248.00 c current bound: 141 1250.22/1250.97 c current bound: 141 1253.21/1253.96 c current bound: 141 1256.23/1256.91 c current bound: 141 1259.22/1259.91 c current bound: 141 1262.13/1262.89 c current bound: 141 1265.11/1265.89 c current bound: 141 1268.11/1268.89 c current bound: 141 1271.11/1271.89 c current bound: 141 1274.12/1274.89 c current bound: 141 1277.11/1277.89 c current bound: 141 1280.10/1280.86 c current bound: 141 1283.11/1283.85 c current bound: 141 1286.10/1286.86 c current bound: 141 1289.10/1289.80 c current bound: 141 1292.11/1292.80 c current bound: 141 1295.00/1295.79 c current bound: 141 1297.99/1298.73 c current bound: 141 1300.90/1301.70 c current bound: 141 1303.89/1304.69 c current bound: 141 1306.89/1307.69 c current bound: 141 1310.00/1310.70 c current bound: 141 1312.90/1313.68 c current bound: 141 1315.90/1316.66 c current bound: 141 1318.89/1319.62 c current bound: 141 1321.88/1322.61 c current bound: 141 1324.80/1325.59 c current bound: 141 1327.80/1328.58 c current bound: 141 1330.79/1331.59 c current bound: 141 1333.80/1334.59 c current bound: 141 1336.80/1337.55 c current bound: 141 1339.78/1340.55 c current bound: 141 1342.79/1343.58 c current bound: 141 1345.79/1346.58 c current bound: 141 1348.79/1349.59 c current bound: 141 1351.79/1352.56 c current bound: 141 1354.78/1355.56 c current bound: 141 1357.78/1358.57 c current bound: 141 1360.78/1361.55 c current bound: 141 1363.80/1364.53 c current bound: 141 1366.69/1367.49 c current bound: 141 1369.69/1370.43 c current bound: 141 1372.68/1373.43 c current bound: 141 1375.68/1376.43 c current bound: 141 1378.69/1379.41 c current bound: 141 1381.57/1382.36 c current bound: 141 1384.58/1385.30 c current bound: 141 1387.57/1388.32 c current bound: 141 1390.46/1391.26 c current bound: 141 1393.37/1394.18 c current bound: 141 1396.38/1397.14 c current bound: 141 1399.37/1400.14 c current bound: 141 1402.26/1403.08 c current bound: 141 1405.27/1406.07 c current bound: 141 1408.28/1409.03 c current bound: 141 1411.17/1411.97 c current bound: 141 1414.17/1414.97 c current bound: 141 1417.17/1417.97 c current bound: 141 1420.16/1420.93 c current bound: 141 1423.15/1423.94 c current bound: 141 1426.14/1426.95 c current bound: 141 1429.16/1429.95 c current bound: 141 1432.17/1432.94 c current bound: 141 1435.18/1435.90 c current bound: 141 1438.07/1438.86 c current bound: 141 1441.07/1441.87 c current bound: 141 1444.06/1444.83 c current bound: 141 1447.07/1447.80 c current bound: 141 1449.97/1450.80 c current bound: 141 1452.96/1453.78 c current bound: 141 1455.93/1456.74 c current bound: 141 1458.84/1459.70 c current bound: 141 1461.94/1462.70 c current bound: 141 1464.84/1465.67 c current bound: 141 1467.83/1468.67 c current bound: 141 1470.82/1471.65 c current bound: 141 1473.83/1474.60 c current bound: 141 1476.71/1477.59 c current bound: 141 1479.73/1480.57 c current bound: 141 1482.73/1483.56 c current bound: 141 1485.73/1486.51 c current bound: 141 1488.72/1489.53 c current bound: 141 1491.62/1492.48 c current bound: 141 1494.62/1495.43 c current bound: 141 1497.52/1498.39 c current bound: 141 1500.52/1501.38 c current bound: 141 1503.52/1504.32 c current bound: 141 1506.52/1507.30 c current bound: 141 1509.42/1510.30 c current bound: 141 1512.41/1513.29 c current bound: 141 1515.41/1516.28 c current bound: 141 1518.42/1519.26 c current bound: 141 1521.41/1522.23 c current bound: 141 1524.41/1525.22 c current bound: 141 1527.42/1528.22 c current bound: 141 1530.42/1531.22 c current bound: 141 1533.41/1534.21 c current bound: 141 1536.41/1537.21 c current bound: 141 1539.42/1540.22 c current bound: 141 1542.31/1543.20 c current bound: 141 1545.41/1546.22 c current bound: 141 1548.42/1549.24 c current bound: 141 1551.41/1552.22 c current bound: 141 1554.31/1555.18 c current bound: 141 1557.30/1558.13 c current bound: 141 1560.30/1561.12 c current bound: 141 1563.31/1564.13 c current bound: 141 1566.30/1567.11 c current bound: 141 1569.20/1570.09 c current bound: 141 1572.21/1573.05 c current bound: 141 1575.19/1576.08 c current bound: 141 1578.19/1579.07 c current bound: 141 1581.31/1582.10 c current bound: 141 1584.32/1585.10 c current bound: 141 1587.30/1588.10 c current bound: 141 1590.21/1591.09 c current bound: 141 1593.20/1594.07 c current bound: 141 1596.19/1597.08 c current bound: 141 1599.18/1600.07 c current bound: 141 1602.29/1603.10 c current bound: 141 1605.19/1606.04 c current bound: 141 1608.19/1609.07 c current bound: 141 1611.18/1612.04 c current bound: 141 1614.18/1615.00 c current bound: 141 1617.08/1617.95 c current bound: 141 1620.08/1620.95 c current bound: 141 1623.08/1623.96 c current bound: 141 1626.09/1626.91 c current bound: 141 1629.09/1629.90 c current bound: 141 1632.09/1632.91 c current bound: 141 1635.09/1635.91 c current bound: 141 1637.98/1638.85 c current bound: 141 1640.98/1641.82 c current bound: 141 1643.98/1644.82 c current bound: 141 1646.89/1647.78 c current bound: 141 1649.89/1650.78 c current bound: 141 1652.87/1653.77 c current bound: 141 1655.86/1656.77 c current bound: 141 1658.87/1659.73 c current bound: 141 1661.87/1662.71 c current bound: 141 1664.86/1665.71 c current bound: 141 1667.77/1668.69 c current bound: 141 1670.75/1671.67 c current bound: 141 1673.76/1674.68 c current bound: 141 1676.75/1677.63 c current bound: 141 1679.66/1680.58 c current bound: 141 1682.66/1683.52 c current bound: 141 1685.65/1686.54 c current bound: 141 1688.66/1689.53 c current bound: 141 1691.55/1692.48 c current bound: 141 1694.55/1695.46 c current bound: 141 1697.56/1698.47 c current bound: 141 1700.56/1701.46 c current bound: 141 1703.55/1704.46 c current bound: 141 1706.56/1707.46 c current bound: 141 1709.57/1710.45 c current bound: 141 1712.47/1713.39 c current bound: 141 1715.57/1716.40 c current bound: 141 1718.46/1719.34 c current bound: 141 1721.47/1722.30 c current bound: 141 1724.36/1725.29 c current bound: 141 1727.36/1728.23 c current bound: 141 1730.26/1731.17 c current bound: 141 1733.26/1734.19 c current bound: 141 1736.26/1737.19 c current bound: 141 1739.26/1740.14 c current bound: 141 1742.25/1743.14 c current bound: 141 1745.25/1746.12 c current bound: 141 1748.16/1749.07 c current bound: 141 1751.16/1752.08 c current bound: 141 1754.16/1755.01 c current bound: 141 1757.06/1757.93 c current bound: 141 1760.05/1760.94 c current bound: 141 1763.05/1763.94 c current bound: 141 1765.94/1766.87 c current bound: 141 1768.95/1769.86 c current bound: 141 1771.96/1772.84 c current bound: 141 1774.96/1775.82 c current bound: 141 1777.85/1778.78 c current bound: 141 1780.92/1781.80 c current bound: 141 1783.80/1784.76 c current bound: 141 1786.80/1787.75 c current bound: 141 1789.82/1790.74 c current bound: 141 1792.81/1793.74 c current bound: 141 1795.80/1796.73 c current bound: 141 1798.81/1799.73 c current bound: 141 1800.01/1800.90 ./satsolver.sh: line 5: 19277 Terminated ./glucose $1 > $2 2> /dev/null 1800.01/1800.90 c error: unexpected solver exit code 1800.01/1800.90 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-3715564-1338178316/watcher-3715564-1338178316 -o /tmp/evaluation-result-3715564-1338178316/solver-3715564-1338178316 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715564-1338178316.wbo 259125099 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.02 2.03 2.00 3/177 14736 /proc/meminfo: memFree=28575984/32873624 swapFree=7104/7104 [pid=14736] ppid=14734 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14736/stat : 14736 (npSolver-wbo-It) S 14734 14736 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283957091 9367552 274 33554432000 4194304 5064252 140735997230032 140735997228944 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/14736/statm: 2287 274 233 213 0 72 0 [startup+0.0921341 s] /proc/loadavg: 2.02 2.03 2.00 3/177 14736 /proc/meminfo: memFree=28575984/32873624 swapFree=7104/7104 [pid=14736] ppid=14734 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14736/stat : 14736 (npSolver-wbo-It) S 14734 14736 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283957091 9367552 274 33554432000 4194304 5064252 140735997230032 140735997228944 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/14736/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100214 s] /proc/loadavg: 2.02 2.03 2.00 3/177 14736 /proc/meminfo: memFree=28575984/32873624 swapFree=7104/7104 [pid=14736] ppid=14734 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14736/stat : 14736 (npSolver-wbo-It) S 14734 14736 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283957091 9367552 274 33554432000 4194304 5064252 140735997230032 140735997228944 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/14736/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300177 s] /proc/loadavg: 2.02 2.03 2.00 3/177 14736 /proc/meminfo: memFree=28575984/32873624 swapFree=7104/7104 [pid=14736] ppid=14734 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14736/stat : 14736 (npSolver-wbo-It) S 14734 14736 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283957091 9367552 274 33554432000 4194304 5064252 140735997230032 140735997228944 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/14736/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700173 s] /proc/loadavg: 2.02 2.03 2.00 3/177 14736 /proc/meminfo: memFree=28575984/32873624 swapFree=7104/7104 [pid=14736] ppid=14734 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14736/stat : 14736 (npSolver-wbo-It) S 14734 14736 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283957091 9367552 274 33554432000 4194304 5064252 140735997230032 140735997228944 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/14736/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50029 s] /proc/loadavg: 2.02 2.03 2.00 3/181 14750 /proc/meminfo: memFree=28569488/32873624 swapFree=7104/7104 [pid=14736] ppid=14734 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14736/stat : 14736 (npSolver-wbo-It) S 14734 14736 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283957091 9367552 274 33554432000 4194304 5064252 140735997230032 140735997228944 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/14736/statm: 2287 274 233 213 0 72 0 [pid=14737] ppid=14736 vsize=2480 CPUtime=0.05 cores=1,3,5,7 /proc/14737/stat : 14737 (npSolver-wbo) S 14736 14736 25502 0 -1 4202496 420 5781 0 0 0 0 4 1 20 0 1 0 283957091 2539520 306 33554432000 4194304 5990268 140737186469648 140737186461056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/14737/statm: 620 306 175 439 0 177 0 [pid=14749] ppid=14737 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14749/stat : 14749 (satsolver.sh) S 14737 14736 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283957097 9367552 266 33554432000 4194304 5064252 140735489436880 140735489435792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/14749/statm: 2287 266 226 213 0 72 0 [pid=14750] ppid=14749 vsize=11844 CPUtime=1.43 cores=1,3,5,7 /proc/14750/stat : 14750 (glucose) R 14749 14736 25502 0 -1 4202496 2375 0 0 0 143 0 0 0 20 0 1 0 283957097 12128256 2242 33554432000 4194304 5208918 140737117191008 140737117188952 4212829 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/14750/statm: 2961 2242 96 248 0 2710 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 32620 [startup+3.10029 s] /proc/loadavg: 2.02 2.03 2.00 3/181 14750 /proc/meminfo: memFree=28564340/32873624 swapFree=7104/7104 [pid=14736] ppid=14734 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14736/stat : 14736 (npSolver-wbo-It) S 14734 14736 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283957091 9367552 274 33554432000 4194304 5064252 140735997230032 140735997228944 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/14736/statm: 2287 274 233 213 0 72 0 [pid=14737] ppid=14736 vsize=2480 CPUtime=3.03 cores=1,3,5,7 /proc/14737/stat : 14737 (npSolver-wbo) S 14736 14736 25502 0 -1 4202496 568 11740 0 0 0 0 301 2 20 0 1 0 283957091 2539520 307 33554432000 4194304 5990268 140737186469648 140737186461056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/14737/statm: 620 307 176 439 0 177 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 11628 [startup+6.30022 s] /proc/loadavg: 2.02 2.03 2.00 3/181 14757 /proc/meminfo: memFree=28568532/32873624 swapFree=7104/7104 [pid=14736] ppid=14734 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14736/stat : 14736 (npSolver-wbo-It) S 14734 14736 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283957091 9367552 274 33554432000 4194304 5064252 140735997230032 140735997228944 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/14736/statm: 2287 274 233 213 0 72 0 [pid=14737] ppid=14736 vsize=2480 CPUtime=5.97 cores=1,3,5,7 /proc/14737/stat : 14737 (npSolver-wbo) S 14736 14736 25502 0 -1 4202496 717 17344 0 0 0 0 594 3 20 0 1 0 283957091 2539520 307 33554432000 4194304 5990268 140737186469648 140737186461056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/14737/statm: 620 307 176 439 0 177 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 11628 [startup+12.7001 s] /proc/loadavg: 2.01 2.03 2.00 4/182 14774 /proc/meminfo: memFree=28558708/32873624 swapFree=7104/7104 [pid=14736] ppid=14734 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14736/stat : 14736 (npSolver-wbo-It) S 14734 14736 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283957091 9367552 274 33554432000 4194304 5064252 140735997230032 140735997228944 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/14736/statm: 2287 274 233 213 0 72 0 [pid=14737] ppid=14736 vsize=2480 CPUtime=11.99 cores=1,3,5,7 /proc/14737/stat : 14737 (npSolver-wbo) S 14736 14736 25502 0 -1 4202496 1013 29059 0 0 0 0 1193 6 20 0 1 0 283957091 2539520 307 33554432000 4194304 5990268 140737186469648 140737186461056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/14737/statm: 620 307 176 439 0 177 0 Current children cumulated CPU time (s) 11.99 Current children cumulated vsize (KiB) 11628 [startup+25.5003 s] /proc/loadavg: 2.09 2.04 2.01 3/181 14806 /proc/meminfo: memFree=28545280/32873624 swapFree=7104/7104 [pid=14736] ppid=14734 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14736/stat : 14736 (npSolver-wbo-It) S 14734 14736 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283957091 9367552 274 33554432000 4194304 5064252 140735997230032 140735997228944 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/14736/statm: 2287 274 233 213 0 72 0 [pid=14737] ppid=14736 vsize=2480 CPUtime=23.99 cores=1,3,5,7 /proc/14737/stat : 14737 (npSolver-wbo) S 14736 14736 25502 0 -1 4202496 1605 52446 0 0 1 0 2387 11 20 0 1 0 283957091 2539520 307 33554432000 4194304 5990268 140737186469648 140737186461056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/14737/statm: 620 307 176 439 0 177 0 [pid=14805] ppid=14737 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14805/stat : 14805 (satsolver.sh) S 14737 14736 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283959492 9367552 267 33554432000 4194304 5064252 140735965198016 140735965196928 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/14805/statm: 2287 267 226 213 0 72 0 [pid=14806] ppid=14805 vsize=11848 CPUtime=1.47 cores=1,3,5,7 /proc/14806/stat : 14806 (glucose) R 14805 14736 25502 0 -1 4202496 2299 0 0 0 147 0 0 0 20 0 1 0 283959492 12132352 1756 33554432000 4194304 5208918 140736787368864 140736787366808 4215351 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/14806/statm: 2962 1756 96 248 0 2711 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 32624 [startup+51.1001 s] /proc/loadavg: 1.99 2.02 2.00 3/181 14869 /proc/meminfo: memFree=28569140/32873624 swapFree=7104/7104 [pid=14736] ppid=14734 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14736/stat : 14736 (npSolver-wbo-It) S 14734 14736 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283957091 9367552 274 33554432000 4194304 5064252 140735997230032 140735997228944 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/14736/statm: 2287 274 233 213 0 72 0 [pid=14737] ppid=14736 vsize=2480 CPUtime=50.82 cores=1,3,5,7 /proc/14737/stat : 14737 (npSolver-wbo) S 14736 14736 25502 0 -1 4202496 2936 104535 0 0 2 0 5058 22 20 0 1 0 283957091 2539520 307 33554432000 4194304 5990268 140737186469648 140737186461056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/14737/statm: 620 307 176 439 0 177 0 Current children cumulated CPU time (s) 50.82 Current children cumulated vsize (KiB) 11628 [startup+102.306 s] /proc/loadavg: 1.99 2.02 2.00 3/180 15002 /proc/meminfo: memFree=28573804/32873624 swapFree=7104/7104 [pid=14736] ppid=14734 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14736/stat : 14736 (npSolver-wbo-It) S 14734 14736 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283957091 9367552 274 33554432000 4194304 5064252 140735997230032 140735997228944 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/14736/statm: 2287 274 233 213 0 72 0 [pid=14737] ppid=14736 vsize=2480 CPUtime=101.41 cores=1,3,5,7 /proc/14737/stat : 14737 (npSolver-wbo) S 14736 14736 25502 0 -1 4202496 5453 199356 0 0 5 1 10093 42 20 0 1 0 283957091 2539520 307 33554432000 4194304 5990268 140737186469648 140737186461056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/14737/statm: 620 307 176 439 0 177 0 [pid=15001] ppid=14737 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15001/stat : 15001 (satsolver.sh) S 14737 14736 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283967242 9367552 267 33554432000 4194304 5064252 140735094463024 140735094461936 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/15001/statm: 2287 267 226 213 0 72 0 [pid=15002] ppid=15001 vsize=9164 CPUtime=0.79 cores=1,3,5,7 /proc/15002/stat : 15002 (glucose) R 15001 14736 25502 0 -1 4202496 2069 0 0 0 79 0 0 0 20 0 1 0 283967242 9383936 1435 33554432000 4194304 5208918 140733694362176 140733694360024 4229344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/15002/statm: 2291 1435 96 248 0 2040 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 29940 [startup+162.3 s] /proc/loadavg: 1.99 2.01 2.00 3/181 15150 /proc/meminfo: memFree=28572560/32873624 swapFree=7104/7104 [pid=14736] ppid=14734 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14736/stat : 14736 (npSolver-wbo-It) S 14734 14736 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283957091 9367552 274 33554432000 4194304 5064252 140735997230032 140735997228944 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/14736/statm: 2287 274 233 213 0 72 0 [pid=14737] ppid=14736 vsize=2480 CPUtime=161.09 cores=1,3,5,7 /proc/14737/stat : 14737 (npSolver-wbo) S 14736 14736 25502 0 -1 4202496 8413 313911 0 0 8 3 16033 65 20 0 1 0 283957091 2539520 307 33554432000 4194304 5990268 140737186469648 140737186461056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/14737/statm: 620 307 176 439 0 177 0 [pid=15149] ppid=14737 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15149/stat : 15149 (satsolver.sh) S 14737 14736 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283973209 9367552 267 33554432000 4194304 5064252 140736346965040 140736346963952 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/15149/statm: 2287 267 226 213 0 72 0 [pid=15150] ppid=15149 vsize=11844 CPUtime=1.1 cores=1,3,5,7 /proc/15150/stat : 15150 (glucose) R 15149 14736 25502 0 -1 4202496 1976 0 0 0 110 0 0 0 20 0 1 0 283973209 12128256 1860 33554432000 4194304 5208918 140736589187232 140736589185176 4211901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/15150/statm: 2961 1860 96 248 0 2710 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 32620 [startup+222.3 s] /proc/loadavg: 1.99 2.00 2.00 3/181 15297 /proc/meminfo: memFree=28551508/32873624 swapFree=7104/7104 [pid=14736] ppid=14734 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14736/stat : 14736 (npSolver-wbo-It) S 14734 14736 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283957091 9367552 274 33554432000 4194304 5064252 140735997230032 140735997228944 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/14736/statm: 2287 274 233 213 0 72 0 [pid=14737] ppid=14736 vsize=2480 CPUtime=220.46 cores=1,3,5,7 /proc/14737/stat : 14737 (npSolver-wbo) S 14736 14736 25502 0 -1 4202496 11373 425655 0 0 11 3 21943 89 20 0 1 0 283957091 2539520 307 33554432000 4194304 5990268 140737186469648 140737186461056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/14737/statm: 620 307 176 439 0 177 0 [pid=15296] ppid=14737 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15296/stat : 15296 (satsolver.sh) S 14737 14736 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283979151 9367552 267 33554432000 4194304 5064252 140737277011712 140737277010624 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/15296/statm: 2287 267 226 213 0 72 0 [pid=15297] ppid=15296 vsize=11844 CPUtime=1.69 cores=1,3,5,7 /proc/15297/stat : 15297 (glucose) R 15296 14736 25502 0 -1 4202496 2455 0 0 0 169 0 0 0 20 0 1 0 283979151 12128256 1893 33554432000 4194304 5208918 140734789552992 140734789550936 4229517 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/15297/statm: 2961 1893 96 248 0 2710 0 Current children cumulated CPU time (s) 222.15 ################ # More data... # ################ /proc/18142/statm: 2287 267 226 213 0 72 0 [pid=18143] ppid=18142 vsize=9164 CPUtime=0.74 cores=1,3,5,7 /proc/18143/stat : 18143 (glucose) R 18142 14736 25502 0 -1 4202496 2030 0 0 0 74 0 0 0 20 0 1 0 284093246 9383936 1398 33554432000 4194304 5208918 140736090348288 140736090346440 4229460 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/18143/statm: 2291 1398 96 248 0 2040 0 Current children cumulated CPU time (s) 1361.6 Current children cumulated vsize (KiB) 29940 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/181 18290 /proc/meminfo: memFree=28551900/32873624 swapFree=7104/7104 [pid=14736] ppid=14734 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14736/stat : 14736 (npSolver-wbo-It) S 14734 14736 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283957091 9367552 274 33554432000 4194304 5064252 140735997230032 140735997228944 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/14736/statm: 2287 274 233 213 0 72 0 [pid=14737] ppid=14736 vsize=2480 CPUtime=1420.2 cores=1,3,5,7 /proc/14737/stat : 14737 (npSolver-wbo) S 14736 14736 25502 0 -1 4202496 71016 2697551 0 0 77 19 141324 600 20 0 1 0 283957091 2539520 307 33554432000 4194304 5990268 140737186469648 140737186461056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/14737/statm: 620 307 176 439 0 177 0 [pid=18289] ppid=14737 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18289/stat : 18289 (satsolver.sh) S 14737 14736 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284099184 9367552 267 33554432000 4194304 5064252 140734474031824 140734474030736 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/18289/statm: 2287 267 226 213 0 72 0 [pid=18290] ppid=18289 vsize=11844 CPUtime=1.36 cores=1,3,5,7 /proc/18290/stat : 18290 (glucose) R 18289 14736 25502 0 -1 4202496 2400 0 0 0 136 0 0 0 20 0 1 0 284099184 12128256 1755 33554432000 4194304 5208918 140735540226096 140735540224040 4229460 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/18290/statm: 2961 1755 95 248 0 2710 0 Current children cumulated CPU time (s) 1421.56 Current children cumulated vsize (KiB) 32620 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 18437 /proc/meminfo: memFree=28531496/32873624 swapFree=7104/7104 [pid=14736] ppid=14734 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14736/stat : 14736 (npSolver-wbo-It) S 14734 14736 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283957091 9367552 274 33554432000 4194304 5064252 140735997230032 140735997228944 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/14736/statm: 2287 274 233 213 0 72 0 [pid=14737] ppid=14736 vsize=2480 CPUtime=1479.82 cores=1,3,5,7 /proc/14737/stat : 14737 (npSolver-wbo) S 14736 14736 25502 0 -1 4202496 73976 2811394 0 0 81 20 147257 624 20 0 1 0 283957091 2539520 307 33554432000 4194304 5990268 140737186469648 140737186461056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/14737/statm: 620 307 176 439 0 177 0 [pid=18436] ppid=14737 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18436/stat : 18436 (satsolver.sh) S 14737 14736 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284105149 9367552 267 33554432000 4194304 5064252 140736760702304 140736760701216 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/18436/statm: 2287 267 226 213 0 72 0 [pid=18437] ppid=18436 vsize=11848 CPUtime=1.71 cores=1,3,5,7 /proc/18437/stat : 18437 (glucose) R 18436 14736 25502 0 -1 4202496 2562 0 0 0 171 0 0 0 20 0 1 0 284105149 12132352 2422 33554432000 4194304 5208918 140733972946688 140733972944632 4229338 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/18437/statm: 2962 2422 96 248 0 2711 0 Current children cumulated CPU time (s) 1481.53 Current children cumulated vsize (KiB) 32624 [startup+1542.3 s] /proc/loadavg: 1.99 2.00 2.00 3/181 18584 /proc/meminfo: memFree=28520640/32873624 swapFree=7104/7104 [pid=14736] ppid=14734 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14736/stat : 14736 (npSolver-wbo-It) S 14734 14736 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283957091 9367552 274 33554432000 4194304 5064252 140735997230032 140735997228944 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/14736/statm: 2287 274 233 213 0 72 0 [pid=14737] ppid=14736 vsize=2480 CPUtime=1539.45 cores=1,3,5,7 /proc/14737/stat : 14737 (npSolver-wbo) S 14736 14736 25502 0 -1 4202496 76936 2924374 0 0 84 21 153192 648 20 0 1 0 283957091 2539520 307 33554432000 4194304 5990268 140737186469648 140737186461056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/14737/statm: 620 307 176 439 0 177 0 [pid=18583] ppid=14737 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18583/stat : 18583 (satsolver.sh) S 14737 14736 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284111113 9367552 267 33554432000 4194304 5064252 140736447399808 140736447398720 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/18583/statm: 2287 267 226 213 0 72 0 [pid=18584] ppid=18583 vsize=11852 CPUtime=2.06 cores=1,3,5,7 /proc/18584/stat : 18584 (glucose) R 18583 14736 25502 0 -1 4202496 2555 0 0 0 206 0 0 0 20 0 1 0 284111114 12136448 2478 33554432000 4194304 5208918 140734285890880 140734285888824 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/18584/statm: 2963 2478 96 248 0 2712 0 Current children cumulated CPU time (s) 1541.51 Current children cumulated vsize (KiB) 32628 [startup+1602.3 s] /proc/loadavg: 1.99 2.00 2.00 3/181 18738 /proc/meminfo: memFree=28564360/32873624 swapFree=7104/7104 [pid=14736] ppid=14734 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14736/stat : 14736 (npSolver-wbo-It) S 14734 14736 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283957091 9367552 274 33554432000 4194304 5064252 140735997230032 140735997228944 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/14736/statm: 2287 274 233 213 0 72 0 [pid=14737] ppid=14736 vsize=2480 CPUtime=1599.28 cores=1,3,5,7 /proc/14737/stat : 14737 (npSolver-wbo) S 14736 14736 25502 0 -1 4202496 79896 3041431 0 0 87 22 159144 675 20 0 1 0 283957091 2539520 307 33554432000 4194304 5990268 140737186469648 140737186461056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/14737/statm: 620 307 176 439 0 177 0 [pid=18737] ppid=14737 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18737/stat : 18737 (satsolver.sh) S 14737 14736 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284117098 9367552 267 33554432000 4194304 5064252 140736604813568 140736604812480 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/18737/statm: 2287 267 226 213 0 72 0 [pid=18738] ppid=18737 vsize=11844 CPUtime=2.21 cores=1,3,5,7 /proc/18738/stat : 18738 (glucose) R 18737 14736 25502 0 -1 4202496 2554 0 0 0 221 0 0 0 20 0 1 0 284117099 12128256 2414 33554432000 4194304 5208918 140734508987248 140734508985192 4229776 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/18738/statm: 2961 2414 96 248 0 2710 0 Current children cumulated CPU time (s) 1601.49 Current children cumulated vsize (KiB) 32620 [startup+1662.3 s] /proc/loadavg: 1.99 2.00 2.00 3/181 18886 /proc/meminfo: memFree=28559140/32873624 swapFree=7104/7104 [pid=14736] ppid=14734 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14736/stat : 14736 (npSolver-wbo-It) S 14734 14736 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283957091 9367552 274 33554432000 4194304 5064252 140735997230032 140735997228944 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/14736/statm: 2287 274 233 213 0 72 0 [pid=14737] ppid=14736 vsize=2480 CPUtime=1658.92 cores=1,3,5,7 /proc/14737/stat : 14737 (npSolver-wbo) S 14736 14736 25502 0 -1 4202496 82856 3150773 0 0 90 23 165079 700 20 0 1 0 283957091 2539520 307 33554432000 4194304 5990268 140737186469648 140737186461056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/14737/statm: 620 307 176 439 0 177 0 [pid=18885] ppid=14737 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18885/stat : 18885 (satsolver.sh) S 14737 14736 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284123064 9367552 267 33554432000 4194304 5064252 140735890877728 140735890876640 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/18885/statm: 2287 267 226 213 0 72 0 [pid=18886] ppid=18885 vsize=14776 CPUtime=2.55 cores=1,3,5,7 /proc/18886/stat : 18886 (glucose) R 18885 14736 25502 0 -1 4202496 2689 0 0 0 255 0 0 0 20 0 1 0 284123064 15130624 2168 33554432000 4194304 5208918 140736939258208 140736939256152 4229731 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/18886/statm: 3694 2168 95 248 0 3443 0 Current children cumulated CPU time (s) 1661.47 Current children cumulated vsize (KiB) 35552 [startup+1722.3 s] /proc/loadavg: 1.99 2.00 2.00 3/182 19036 /proc/meminfo: memFree=28541636/32873624 swapFree=7104/7104 [pid=14736] ppid=14734 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14736/stat : 14736 (npSolver-wbo-It) S 14734 14736 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283957091 9367552 274 33554432000 4194304 5064252 140735997230032 140735997228944 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/14736/statm: 2287 274 233 213 0 72 0 [pid=14737] ppid=14736 vsize=2480 CPUtime=1721.47 cores=1,3,5,7 /proc/14737/stat : 14737 (npSolver-wbo) S 14736 14736 25502 0 -1 4202496 85825 3269667 0 0 93 24 171306 724 20 0 1 0 283957091 2539520 307 33554432000 4194304 5990268 140737186469648 140737186460544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/14737/statm: 620 307 176 439 0 177 0 Current children cumulated CPU time (s) 1721.47 Current children cumulated vsize (KiB) 11628 [startup+1782.3 s] /proc/loadavg: 1.99 2.00 2.00 3/181 19190 /proc/meminfo: memFree=28562672/32873624 swapFree=7104/7104 [pid=14736] ppid=14734 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14736/stat : 14736 (npSolver-wbo-It) S 14734 14736 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283957091 9367552 274 33554432000 4194304 5064252 140735997230032 140735997228944 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/14736/statm: 2287 274 233 213 0 72 0 [pid=14737] ppid=14736 vsize=2480 CPUtime=1780.92 cores=1,3,5,7 /proc/14737/stat : 14737 (npSolver-wbo) S 14736 14736 25502 0 -1 4202496 88925 3384444 0 0 96 25 177222 749 20 0 1 0 283957091 2539520 307 33554432000 4194304 5990268 140737186469648 140737186461056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/14737/statm: 620 307 176 439 0 177 0 [pid=19189] ppid=14737 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19189/stat : 19189 (satsolver.sh) S 14737 14736 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284135271 9367552 265 33554432000 4194304 5064252 140734715364128 140734715363040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/19189/statm: 2287 265 226 213 0 72 0 [pid=19190] ppid=19189 vsize=6492 CPUtime=0.48 cores=1,3,5,7 /proc/19190/stat : 19190 (glucose) R 19189 14736 25502 0 -1 4202496 1654 0 0 0 48 0 0 0 20 0 1 0 284135272 6647808 1040 33554432000 4194304 5208918 140733800593328 140733799542760 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/19190/statm: 1623 1040 96 248 0 1372 0 Current children cumulated CPU time (s) 1781.4 Current children cumulated vsize (KiB) 27268 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.99 2.00 2.00 3/181 19280 /proc/meminfo: memFree=28559112/32873624 swapFree=7104/7104 [pid=14736] ppid=14734 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14736/stat : 14736 (npSolver-wbo-It) S 14734 14736 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283957091 9367552 274 33554432000 4194304 5064252 140735997230032 140735997228944 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/14736/statm: 2287 274 233 213 0 72 0 [pid=14737] ppid=14736 vsize=2480 CPUtime=1798.85 cores=1,3,5,7 /proc/14737/stat : 14737 (npSolver-wbo) S 14736 14736 25502 0 -1 4202496 89813 3418399 0 0 97 25 179006 757 20 0 1 0 283957091 2539520 307 33554432000 4194304 5990268 140737186469648 140737186461056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/14737/statm: 620 307 176 439 0 177 0 [pid=19276] ppid=14737 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19276/stat : 19276 (satsolver.sh) S 14737 14736 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284137064 9367552 267 33554432000 4194304 5064252 140733648317088 140733648316000 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/19276/statm: 2287 267 226 213 0 72 0 [pid=19277] ppid=19276 vsize=11844 CPUtime=1.16 cores=1,3,5,7 /proc/19277/stat : 19277 (glucose) R 19276 14736 25502 0 -1 4202496 2311 0 0 0 116 0 0 0 20 0 1 0 284137064 12128256 2178 33554432000 4194304 5208918 140735308505664 140735308503608 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/19277/statm: 2961 2178 96 248 0 2710 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 32620 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.99 2.00 2.00 3/181 19280 /proc/meminfo: memFree=28559112/32873624 swapFree=7104/7104 [pid=14736] ppid=14734 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14736/stat : 14736 (npSolver-wbo-It) S 14734 14736 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283957091 9367552 274 33554432000 4194304 5064252 140735997230032 140735997228944 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/14736/statm: 2287 274 233 213 0 72 0 [pid=14737] ppid=14736 vsize=2480 CPUtime=1798.85 cores=1,3,5,7 /proc/14737/stat : 14737 (npSolver-wbo) S 14736 14736 25502 0 -1 4202496 89813 3418399 0 0 97 25 179006 757 20 0 1 0 283957091 2539520 307 33554432000 4194304 5990268 140737186469648 140737186461056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/14737/statm: 620 307 176 439 0 177 0 [pid=19276] ppid=14737 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19276/stat : 19276 (satsolver.sh) S 14737 14736 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284137064 9367552 267 33554432000 4194304 5064252 140733648317088 140733648316000 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/19276/statm: 2287 267 226 213 0 72 0 [pid=19277] ppid=19276 vsize=11844 CPUtime=1.16 cores=1,3,5,7 /proc/19277/stat : 19277 (glucose) R 19276 14736 25502 0 -1 4202496 2311 0 0 0 116 0 0 0 20 0 1 0 284137064 12128256 2178 33554432000 4194304 5208918 140735308505664 140735308503608 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/19277/statm: 2961 2178 96 248 0 2710 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 32620 Child status: 0 Real time (s): 1800.91 CPU time (s): 1800.04 CPU user time (s): 1792.21 CPU system time (s): 7.83681 CPU usage (%): 99.952 Max. virtual memory (cumulated for all children) (KiB): 35556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.21 system time used= 7.83681 maximum resident set size= 12112 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3511510 page faults= 0 swaps= 0 block input operations= 0 block output operations= 169456 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8663 involuntary context switches= 7949 runsolver used 4.83826 second user time and 15.4067 second system time The end
Begin job on node121 at 2012-05-28 06:11:56 IDJOB=3715564 IDBENCH=78690 IDSOLVER=2297 FILE ID=node121/3715564-1338178316 RUNJOBID= node121-1338174706-27557 PBS_JOBID= 14624535 Free space on /tmp= 71664 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr--soft-33-100-0.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715564-1338178316/watcher-3715564-1338178316 -o /tmp/evaluation-result-3715564-1338178316/solver-3715564-1338178316 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715564-1338178316.wbo 259125099 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0b915fd051dbce2f3b4ec1d342cdefca RANDOM SEED=259125099 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: 28576512 kB Buffers: 523676 kB Cached: 2879756 kB SwapCached: 0 kB Active: 889188 kB Inactive: 2550452 kB Active(anon): 36792 kB Inactive(anon): 0 kB Active(file): 852396 kB Inactive(file): 2550452 kB Unevictable: 7104 kB Mlocked: 7104 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 17868 kB Writeback: 0 kB AnonPages: 47088 kB Mapped: 15316 kB Shmem: 200 kB Slab: 719448 kB SReclaimable: 163088 kB SUnreclaim: 556360 kB KernelStack: 1504 kB PageTables: 4000 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545668 kB Committed_AS: 138784 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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= 71652 MiB End job on node121 at 2012-05-28 06:41:57