| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| npSolver inc-topdown-quickBound (fixed) | ? (TO) | 1800.04 | 1798.11 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_45_pb.cnf.cr--soft-0-100-0.wbo |
| MD5SUM | 95c5d91e3a0ca992efaa2a36118a1c06 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 10 |
| Best CPU time to get the best result obtained on this benchmark | 1.41578 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 3150 |
| Total number of constraints | 160 |
| Number of soft constraints | 160 |
| Number of constraints which are clauses | 90 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 35 |
| Maximum length of a constraint | 45 |
| Top cost | 8094 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 8093 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 46 |
| Number of bits of the biggest sum of numbers | 6 |
| 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.03 c run usual solver 0.00/0.25 o 2779 0.00/0.25 c starting approximation 0.00/0.25 c factor = 2 0.00/0.25 c factor still to low - shrinking to 2.66784 0.00/0.25 c approx number of clauses: 1e+06 0.00/0.25 c current bound: 1389 3.19/3.43 c current bound: 1389 6.57/6.63 c current bound: 1389 9.52/9.76 c current bound: 1389 12.65/12.91 c current bound: 1389 15.88/16.11 c current bound: 1389 19.06/19.29 c current bound: 1389 22.23/22.46 c current bound: 1389 25.50/25.75 c current bound: 1389 28.66/28.91 c current bound: 1389 32.07/32.10 c current bound: 1389 35.16/35.27 c current bound: 1389 38.37/38.50 c current bound: 1389 41.66/41.76 c current bound: 1389 44.68/44.92 c current bound: 1389 47.82/48.06 c current bound: 1389 51.05/51.29 c current bound: 1389 53.76/53.83 c current bound: 1389 56.78/57.03 c current bound: 1389 59.98/60.22 c current bound: 1389 62.81/63.06 c current bound: 1389 65.96/66.20 c current bound: 1389 69.27/69.36 c current bound: 1389 72.14/72.39 c current bound: 1389 75.30/75.54 c current bound: 1389 78.47/78.71 c current bound: 1389 81.61/81.86 c current bound: 1389 84.78/85.03 c current bound: 1389 87.95/88.20 c current bound: 1389 91.27/91.34 c current bound: 1389 94.46/94.53 c current bound: 1389 97.44/97.69 c current bound: 1389 100.61/100.85 c current bound: 1389 103.72/103.96 c current bound: 1389 106.89/107.14 c current bound: 1389 110.11/110.35 c current bound: 1389 113.28/113.30 c current bound: 1389 116.19/116.45 c current bound: 1389 119.34/119.59 c current bound: 1389 122.27/122.53 c current bound: 1389 125.47/125.72 c current bound: 1389 128.62/128.87 c current bound: 1389 131.96/132.06 c current bound: 1389 135.18/135.20 c current bound: 1389 138.10/138.34 c current bound: 1389 141.35/141.61 c current bound: 1389 144.58/144.84 c current bound: 1389 147.75/148.03 c current bound: 1389 150.91/151.16 c current bound: 1389 154.04/154.29 c current bound: 1389 157.27/157.52 c current bound: 1389 160.50/160.75 c current bound: 1389 163.76/163.89 c current bound: 1389 166.84/167.09 c current bound: 1389 170.03/170.27 c current bound: 1389 173.18/173.42 c current bound: 1389 176.41/176.65 c current bound: 1389 179.59/179.82 c current bound: 1389 182.79/183.02 c current bound: 1389 185.91/186.16 c current bound: 1389 189.13/189.37 c current bound: 1389 192.37/192.48 c current bound: 1389 195.45/195.68 c current bound: 1389 198.59/198.83 c current bound: 1389 201.73/201.96 c current bound: 1389 204.86/205.08 c current bound: 1389 207.99/208.23 c current bound: 1389 211.13/211.36 c current bound: 1389 214.49/214.51 c current bound: 1389 217.43/217.66 c current bound: 1389 220.64/220.87 c current bound: 1389 223.57/223.60 c current bound: 1389 226.56/226.80 c current bound: 1389 229.86/229.96 c current bound: 1389 232.82/233.06 c current bound: 1389 236.01/236.26 c current bound: 1389 239.17/239.41 c current bound: 1389 242.17/242.41 c current bound: 1389 245.32/245.56 c current bound: 1389 248.66/248.71 c current bound: 1389 251.88/251.90 c current bound: 1389 254.78/255.04 c current bound: 1389 258.01/258.26 c current bound: 1389 261.17/261.42 c current bound: 1389 264.32/264.57 c current bound: 1389 267.51/267.77 c current bound: 1389 270.68/270.94 c current bound: 1389 273.81/274.07 c current bound: 1389 277.15/277.21 c current bound: 1389 280.09/280.35 c current bound: 1389 283.29/283.56 c current bound: 1389 286.48/286.74 c current bound: 1389 289.61/289.88 c current bound: 1389 292.78/293.05 c current bound: 1389 295.95/296.21 c current bound: 1389 299.16/299.41 c current bound: 1389 302.45/302.55 c current bound: 1389 305.66/305.72 c current bound: 1389 308.61/308.87 c current bound: 1389 311.74/311.99 c current bound: 1389 314.87/315.13 c current bound: 1389 318.08/318.34 c current bound: 1389 321.24/321.51 c current bound: 1389 324.40/324.66 c current bound: 1389 327.66/327.79 c current bound: 1389 330.73/330.98 c current bound: 1389 333.87/334.13 c current bound: 1389 337.26/337.30 c current bound: 1389 340.25/340.51 c current bound: 1389 343.44/343.69 c current bound: 1389 346.56/346.82 c current bound: 1389 349.74/349.99 c current bound: 1389 352.56/352.83 c current bound: 1389 355.73/355.99 c current bound: 1389 358.89/359.14 c current bound: 1389 362.05/362.31 c current bound: 1389 365.47/365.50 c current bound: 1389 368.39/368.64 c current bound: 1389 371.65/371.76 c current bound: 1389 374.68/374.94 c current bound: 1389 377.83/378.08 c current bound: 1389 380.98/381.23 c current bound: 1389 384.13/384.38 c current bound: 1389 387.25/387.52 c current bound: 1389 390.59/390.84 c current bound: 1389 393.74/393.99 c current bound: 1389 397.06/397.14 c current bound: 1389 400.01/400.25 c current bound: 1389 403.24/403.49 c current bound: 1389 406.45/406.69 c current bound: 1389 409.59/409.84 c current bound: 1389 412.75/412.98 c current bound: 1389 415.88/416.12 c current bound: 1389 419.08/419.32 c current bound: 1389 422.46/422.50 c current bound: 1389 425.56/425.64 c current bound: 1389 428.54/428.79 c current bound: 1389 431.72/431.96 c current bound: 1389 434.87/435.12 c current bound: 1389 438.04/438.28 c current bound: 1389 441.21/441.45 c current bound: 1389 444.36/444.61 c current bound: 1389 447.76/447.82 c current bound: 1389 450.97/451.04 c current bound: 1389 453.42/453.68 c current bound: 1389 456.62/456.87 c current bound: 1389 459.77/460.02 c current bound: 1389 462.70/462.95 c current bound: 1389 465.90/466.15 c current bound: 1389 469.05/469.30 c current bound: 1389 472.16/472.43 c current bound: 1389 475.29/475.56 c current bound: 1389 478.49/478.74 c current bound: 1389 481.85/481.90 c current bound: 1389 484.96/485.09 c current bound: 1389 488.00/488.26 c current bound: 1389 491.15/491.42 c current bound: 1389 493.85/493.95 c current bound: 1389 496.82/497.08 c current bound: 1389 499.98/500.23 c current bound: 1389 502.79/503.05 c current bound: 1389 505.96/506.21 c current bound: 1389 509.16/509.42 c current bound: 1389 512.45/512.53 c current bound: 1389 515.43/515.69 c current bound: 1389 518.59/518.85 c current bound: 1389 521.77/522.03 c current bound: 1389 524.93/525.18 c current bound: 1389 528.12/528.38 c current bound: 1389 531.33/531.59 c current bound: 1389 534.52/534.78 c current bound: 1389 537.85/537.92 c current bound: 1389 541.06/541.13 c current bound: 1389 544.03/544.30 c current bound: 1389 547.22/547.48 c current bound: 1389 550.38/550.64 c current bound: 1389 553.54/553.80 c current bound: 1389 556.74/556.99 c current bound: 1389 560.02/560.29 c current bound: 1389 563.21/563.47 c current bound: 1389 566.41/566.67 c current bound: 1389 569.76/569.85 c current bound: 1389 572.95/573.01 c current bound: 1389 575.91/576.18 c current bound: 1389 579.09/579.33 c current bound: 1389 582.25/582.51 c current bound: 1389 585.36/585.63 c current bound: 1389 588.58/588.83 c current bound: 1389 591.75/592.04 c current bound: 1389 594.96/595.23 c current bound: 1389 598.26/598.38 c current bound: 1389 601.33/601.58 c current bound: 1389 604.46/604.73 c current bound: 1389 607.61/607.87 c current bound: 1389 610.74/611.01 c current bound: 1389 614.16/614.20 c current bound: 1389 617.13/617.38 c current bound: 1389 620.32/620.58 c current bound: 1389 623.54/623.70 c current bound: 1389 626.83/626.99 c current bound: 1389 629.91/630.18 c current bound: 1389 633.14/633.20 c current bound: 1389 636.11/636.39 c current bound: 1389 639.30/639.57 c current bound: 1389 642.33/642.59 c current bound: 1389 645.63/645.77 c current bound: 1389 648.83/648.93 c current bound: 1389 651.84/652.12 c current bound: 1389 655.01/655.28 c current bound: 1389 658.22/658.50 c current bound: 1389 661.64/661.76 c current bound: 1389 664.56/664.89 c current bound: 1389 667.75/668.09 c current bound: 1389 670.88/671.22 c current bound: 1389 674.10/674.43 c current bound: 1389 677.49/677.68 c current bound: 1389 680.66/680.86 c current bound: 1389 683.75/684.08 c current bound: 1389 686.96/687.30 c current bound: 1389 690.13/690.48 c current bound: 1389 693.27/693.61 c current bound: 1389 696.48/696.82 c current bound: 1389 699.68/700.02 c current bound: 1389 702.93/703.26 c current bound: 1389 706.11/706.45 c current bound: 1389 709.41/709.74 c current bound: 1389 712.55/712.72 c current bound: 1389 715.62/715.96 c current bound: 1389 718.85/719.19 c current bound: 1389 722.03/722.38 c current bound: 1389 725.25/725.60 c current bound: 1389 728.44/728.78 c current bound: 1389 731.65/731.99 c current bound: 1389 734.90/735.25 c current bound: 1389 738.11/738.46 c current bound: 1389 741.31/741.66 c current bound: 1389 744.51/744.85 c current bound: 1389 747.86/748.03 c current bound: 1389 751.06/751.21 c current bound: 1389 754.07/754.42 c current bound: 1389 757.26/757.62 c current bound: 1389 760.47/760.81 c current bound: 1389 763.68/764.03 c current bound: 1389 766.91/767.26 c current bound: 1389 770.10/770.45 c current bound: 1389 773.29/773.64 c current bound: 1389 776.49/776.84 c current bound: 1389 779.68/780.03 c current bound: 1389 782.96/783.18 c current bound: 1389 786.02/786.37 c current bound: 1389 789.25/789.60 c current bound: 1389 792.49/792.83 c current bound: 1389 795.73/796.08 c current bound: 1389 798.99/799.34 c current bound: 1389 802.04/802.38 c current bound: 1389 805.19/805.54 c current bound: 1389 808.39/808.74 c current bound: 1389 811.59/811.93 c current bound: 1389 814.98/815.13 c current bound: 1389 818.17/818.34 c current bound: 1389 821.22/821.59 c current bound: 1389 824.47/824.84 c current bound: 1389 827.69/828.05 c current bound: 1389 831.06/831.43 c current bound: 1389 834.28/834.65 c current bound: 1389 837.50/837.87 c current bound: 1389 840.67/841.04 c current bound: 1389 843.81/844.18 c current bound: 1389 847.03/847.39 c current bound: 1389 850.19/850.56 c current bound: 1389 853.38/853.75 c current bound: 1389 856.76/856.92 c current bound: 1389 859.70/860.06 c current bound: 1389 862.83/863.19 c current bound: 1389 866.00/866.37 c current bound: 1389 869.19/869.55 c current bound: 1389 872.41/872.78 c current bound: 1389 875.57/875.94 c current bound: 1389 878.72/879.09 c current bound: 1389 882.06/882.24 c current bound: 1389 885.02/885.39 c current bound: 1389 888.15/888.52 c current bound: 1389 891.31/891.69 c current bound: 1389 894.47/894.86 c current bound: 1389 897.64/898.01 c current bound: 1389 900.81/901.18 c current bound: 1389 903.98/904.36 c current bound: 1389 907.25/907.49 c current bound: 1389 910.28/910.65 c current bound: 1389 913.46/913.83 c current bound: 1389 916.63/916.99 c current bound: 1389 919.85/920.21 c current bound: 1389 923.27/923.40 c current bound: 1389 926.20/926.56 c current bound: 1389 929.39/929.76 c current bound: 1389 932.77/932.94 c current bound: 1389 935.96/936.12 c current bound: 1389 939.17/939.31 c current bound: 1389 942.17/942.53 c current bound: 1389 945.33/945.69 c current bound: 1389 948.52/948.88 c current bound: 1389 951.64/952.01 c current bound: 1389 954.81/955.20 c current bound: 1389 958.27/958.40 c current bound: 1389 961.18/961.56 c current bound: 1389 964.57/964.77 c current bound: 1389 967.77/967.93 c current bound: 1389 970.75/971.12 c current bound: 1389 973.91/974.29 c current bound: 1389 977.09/977.46 c current bound: 1389 980.29/980.67 c current bound: 1389 983.26/983.49 c current bound: 1389 986.46/986.67 c current bound: 1389 989.50/989.86 c current bound: 1389 992.49/992.88 c current bound: 1389 995.63/996.01 c current bound: 1389 998.86/999.24 c current bound: 1389 1001.94/1002.33 c current bound: 1389 1005.25/1005.47 c current bound: 1389 1008.45/1008.62 c current bound: 1389 1011.62/1011.80 c current bound: 1389 1014.53/1014.95 c current bound: 1389 1017.93/1018.10 c current bound: 1389 1020.90/1021.31 c current bound: 1389 1024.07/1024.49 c current bound: 1389 1027.19/1027.61 c current bound: 1389 1030.61/1030.80 c current bound: 1389 1033.71/1033.97 c current bound: 1389 1037.02/1037.27 c current bound: 1389 1040.30/1040.56 c current bound: 1389 1043.59/1043.85 c current bound: 1389 1046.90/1047.19 c current bound: 1389 1050.19/1050.43 c current bound: 1389 1053.49/1053.76 c current bound: 1389 1056.79/1057.08 c current bound: 1389 1059.82/1060.25 c current bound: 1389 1063.01/1063.44 c current bound: 1389 1066.32/1066.76 c current bound: 1389 1069.60/1070.05 c current bound: 1389 1072.95/1073.39 c current bound: 1389 1076.25/1076.69 c current bound: 1389 1079.60/1080.05 c current bound: 1389 1083.07/1083.30 c current bound: 1389 1086.22/1086.68 c current bound: 1389 1089.45/1089.91 c current bound: 1389 1092.60/1093.06 c current bound: 1389 1095.82/1096.28 c current bound: 1389 1098.99/1099.46 c current bound: 1389 1102.13/1102.59 c current bound: 1389 1105.34/1105.82 c current bound: 1389 1108.61/1109.09 c current bound: 1389 1111.79/1112.26 c current bound: 1389 1115.06/1115.55 c current bound: 1389 1118.39/1118.86 c current bound: 1389 1121.66/1122.15 c current bound: 1389 1125.03/1125.32 c current bound: 1389 1128.22/1128.52 c current bound: 1389 1131.61/1131.92 c current bound: 1389 1134.80/1135.18 c current bound: 1389 1138.11/1138.49 c current bound: 1389 1141.43/1141.78 c current bound: 1389 1144.71/1145.09 c current bound: 1389 1148.01/1148.39 c current bound: 1389 1151.30/1151.64 c current bound: 1389 1154.60/1154.93 c current bound: 1389 1157.66/1158.17 c current bound: 1389 1160.91/1161.42 c current bound: 1389 1164.14/1164.66 c current bound: 1389 1167.46/1167.99 c current bound: 1389 1170.80/1171.32 c current bound: 1389 1174.13/1174.66 c current bound: 1389 1177.34/1177.87 c current bound: 1389 1180.68/1181.21 c current bound: 1389 1183.81/1184.33 c current bound: 1389 1187.15/1187.69 c current bound: 1389 1190.45/1190.98 c current bound: 1389 1193.75/1194.31 c current bound: 1389 1197.09/1197.64 c current bound: 1389 1200.26/1200.81 c current bound: 1389 1203.58/1204.12 c current bound: 1389 1206.74/1207.29 c current bound: 1389 1210.10/1210.64 c current bound: 1389 1213.11/1213.66 c current bound: 1389 1216.47/1217.02 c current bound: 1389 1219.67/1220.23 c current bound: 1389 1222.75/1223.19 c current bound: 1389 1226.05/1226.49 c current bound: 1389 1229.34/1229.71 c current bound: 1389 1232.26/1232.83 c current bound: 1389 1235.75/1236.10 c current bound: 1389 1238.87/1239.45 c current bound: 1389 1242.14/1242.72 c current bound: 1389 1245.43/1246.02 c current bound: 1389 1248.64/1249.24 c current bound: 1389 1251.93/1252.53 c current bound: 1389 1255.28/1255.87 c current bound: 1389 1258.57/1259.18 c current bound: 1389 1261.75/1262.35 c current bound: 1389 1265.15/1265.75 c current bound: 1389 1268.42/1269.04 c current bound: 1389 1271.59/1272.21 c current bound: 1389 1274.76/1275.38 c current bound: 1389 1277.93/1278.54 c current bound: 1389 1281.18/1281.81 c current bound: 1389 1284.70/1285.10 c current bound: 1389 1287.69/1288.32 c current bound: 1389 1290.99/1291.62 c current bound: 1389 1294.35/1294.98 c current bound: 1389 1297.66/1298.29 c current bound: 1389 1300.83/1301.45 c current bound: 1389 1304.10/1304.74 c current bound: 1389 1307.38/1308.03 c current bound: 1389 1310.78/1311.28 c current bound: 1389 1314.06/1314.53 c current bound: 1389 1317.27/1317.79 c current bound: 1389 1320.35/1321.00 c current bound: 1389 1323.51/1324.16 c current bound: 1389 1326.83/1327.49 c current bound: 1389 1330.19/1330.85 c current bound: 1389 1333.44/1334.11 c current bound: 1389 1336.64/1337.32 c current bound: 1389 1340.07/1340.74 c current bound: 1389 1342.84/1343.52 c current bound: 1389 1346.03/1346.71 c current bound: 1389 1349.29/1349.97 c current bound: 1389 1352.59/1353.28 c current bound: 1389 1355.92/1356.61 c current bound: 1389 1359.21/1359.90 c current bound: 1389 1362.51/1363.21 c current bound: 1389 1365.86/1366.56 c current bound: 1389 1369.13/1369.82 c current bound: 1389 1372.31/1372.83 c current bound: 1389 1375.60/1376.13 c current bound: 1389 1378.89/1379.48 c current bound: 1389 1382.10/1382.69 c current bound: 1389 1385.50/1386.01 c current bound: 1389 1388.69/1389.28 c current bound: 1389 1391.73/1392.46 c current bound: 1389 1395.03/1395.76 c current bound: 1389 1398.23/1398.96 c current bound: 1389 1401.52/1402.25 c current bound: 1389 1404.86/1405.60 c current bound: 1389 1408.11/1408.86 c current bound: 1389 1411.46/1412.21 c current bound: 1389 1414.80/1415.56 c current bound: 1389 1417.98/1418.75 c current bound: 1389 1421.15/1421.92 c current bound: 1389 1424.50/1425.28 c current bound: 1389 1427.82/1428.62 c current bound: 1389 1431.03/1431.82 c current bound: 1389 1434.35/1435.14 c current bound: 1389 1437.67/1438.46 c current bound: 1389 1440.93/1441.73 c current bound: 1389 1444.21/1445.01 c current bound: 1389 1447.60/1448.39 c current bound: 1389 1450.96/1451.77 c current bound: 1389 1454.33/1455.14 c current bound: 1389 1457.60/1458.43 c current bound: 1389 1460.94/1461.75 c current bound: 1389 1464.18/1465.00 c current bound: 1389 1467.56/1468.36 c current bound: 1389 1470.81/1471.62 c current bound: 1389 1474.39/1475.02 c current bound: 1389 1477.44/1478.27 c current bound: 1389 1480.77/1481.59 c current bound: 1389 1483.39/1484.21 c current bound: 1389 1486.66/1487.49 c current bound: 1389 1490.01/1490.84 c current bound: 1389 1492.80/1493.63 c current bound: 1389 1496.15/1496.99 c current bound: 1389 1499.40/1500.25 c current bound: 1389 1502.62/1503.47 c current bound: 1389 1506.17/1506.80 c current bound: 1389 1509.22/1510.08 c current bound: 1389 1512.35/1513.22 c current bound: 1389 1515.50/1516.37 c current bound: 1389 1518.73/1519.61 c current bound: 1389 1521.91/1522.77 c current bound: 1389 1525.18/1526.05 c current bound: 1389 1528.42/1529.31 c current bound: 1389 1531.66/1532.54 c current bound: 1389 1534.96/1535.84 c current bound: 1389 1538.26/1539.14 c current bound: 1389 1541.45/1542.33 c current bound: 1389 1544.76/1545.66 c current bound: 1389 1548.22/1548.92 c current bound: 1389 1551.41/1552.18 c current bound: 1389 1554.71/1555.45 c current bound: 1389 1558.01/1558.77 c current bound: 1389 1561.32/1562.04 c current bound: 1389 1564.50/1565.27 c current bound: 1389 1567.79/1568.55 c current bound: 1389 1571.10/1571.84 c current bound: 1389 1574.39/1575.14 c current bound: 1389 1577.67/1578.44 c current bound: 1389 1580.97/1581.71 c current bound: 1389 1584.29/1585.04 c current bound: 1389 1587.25/1588.18 c current bound: 1389 1590.58/1591.50 c current bound: 1389 1593.90/1594.85 c current bound: 1389 1597.25/1598.19 c current bound: 1389 1600.50/1601.45 c current bound: 1389 1603.82/1604.77 c current bound: 1389 1607.12/1608.07 c current bound: 1389 1610.38/1611.35 c current bound: 1389 1613.64/1614.60 c current bound: 1389 1617.15/1617.90 c current bound: 1389 1620.29/1621.27 c current bound: 1389 1623.52/1624.48 c current bound: 1389 1626.92/1627.88 c current bound: 1389 1630.20/1631.17 c current bound: 1389 1633.49/1634.48 c current bound: 1389 1637.03/1637.81 c current bound: 1389 1640.32/1641.11 c current bound: 1389 1642.94/1643.93 c current bound: 1389 1646.38/1647.37 c current bound: 1389 1649.68/1650.68 c current bound: 1389 1652.59/1653.59 c current bound: 1389 1655.88/1656.89 c current bound: 1389 1659.13/1660.14 c current bound: 1389 1662.30/1663.16 c current bound: 1389 1665.61/1666.44 c current bound: 1389 1668.90/1669.74 c current bound: 1389 1671.88/1672.89 c current bound: 1389 1675.15/1676.18 c current bound: 1389 1678.34/1679.37 c current bound: 1389 1681.57/1682.61 c current bound: 1389 1684.70/1685.73 c current bound: 1389 1688.02/1689.06 c current bound: 1389 1691.33/1692.38 c current bound: 1389 1694.88/1695.70 c current bound: 1389 1697.96/1699.02 c current bound: 1389 1701.18/1702.23 c current bound: 1389 1704.48/1705.54 c current bound: 1389 1707.70/1708.77 c current bound: 1389 1711.01/1712.09 c current bound: 1389 1714.35/1715.42 c current bound: 1389 1717.68/1718.76 c current bound: 1389 1720.98/1722.07 c current bound: 1389 1724.28/1725.36 c current bound: 1389 1727.61/1728.71 c current bound: 1389 1730.92/1732.02 c current bound: 1389 1734.27/1735.37 c current bound: 1389 1737.53/1738.63 c current bound: 1389 1740.81/1741.92 c current bound: 1389 1744.11/1745.22 c current bound: 1389 1747.33/1748.44 c current bound: 1389 1750.64/1751.78 c current bound: 1389 1753.95/1755.09 c current bound: 1389 1757.21/1758.35 c current bound: 1389 1760.58/1761.72 c current bound: 1389 1763.88/1765.03 c current bound: 1389 1767.11/1768.26 c current bound: 1389 1770.47/1771.62 c current bound: 1389 1773.80/1774.94 c current bound: 1389 1777.12/1778.27 c current bound: 1389 1780.45/1781.61 c current bound: 1389 1783.79/1784.95 c current bound: 1389 1787.12/1788.27 c current bound: 1389 1790.43/1791.58 c current bound: 1389 1793.62/1794.78 c current bound: 1389 1797.15/1798.10 c current bound: 1389 1797.16/1798.10 HOME/npSolver-wbo-Itdqb.sh: line 18: 31730 Terminated ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1
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-3753202-1339207781/watcher-3753202-1339207781 -o /tmp/evaluation-result-3753202-1339207781/solver-3753202-1339207781 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753202-1339207781.wbo 684084970 HOME HOME running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.72 2.00 1.86 3/179 31729 /proc/meminfo: memFree=29891392/32873844 swapFree=7628/7628 [pid=31729] ppid=31727 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31729/stat : 31729 (npSolver-wbo-It) S 31727 31729 28946 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386903072 9367552 274 33554432000 4194304 5064252 140736310775104 140736310774016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31729/statm: 2287 274 233 213 0 72 0 [startup+0.027357 s] /proc/loadavg: 1.72 2.00 1.86 3/179 31729 /proc/meminfo: memFree=29891392/32873844 swapFree=7628/7628 [pid=31729] ppid=31727 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31729/stat : 31729 (npSolver-wbo-It) S 31727 31729 28946 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386903072 9367552 274 33554432000 4194304 5064252 140736310775104 140736310774016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31729/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100333 s] /proc/loadavg: 1.72 2.00 1.86 3/179 31729 /proc/meminfo: memFree=29891392/32873844 swapFree=7628/7628 [pid=31729] ppid=31727 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31729/stat : 31729 (npSolver-wbo-It) S 31727 31729 28946 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386903072 9367552 274 33554432000 4194304 5064252 140736310775104 140736310774016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31729/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300198 s] /proc/loadavg: 1.72 2.00 1.86 3/179 31729 /proc/meminfo: memFree=29891392/32873844 swapFree=7628/7628 [pid=31729] ppid=31727 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31729/stat : 31729 (npSolver-wbo-It) S 31727 31729 28946 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386903072 9367552 274 33554432000 4194304 5064252 140736310775104 140736310774016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31729/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700236 s] /proc/loadavg: 1.72 2.00 1.86 3/179 31729 /proc/meminfo: memFree=29891392/32873844 swapFree=7628/7628 [pid=31729] ppid=31727 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31729/stat : 31729 (npSolver-wbo-It) S 31727 31729 28946 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386903072 9367552 274 33554432000 4194304 5064252 140736310775104 140736310774016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31729/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50035 s] /proc/loadavg: 1.72 2.00 1.86 3/183 31743 /proc/meminfo: memFree=29834560/32873844 swapFree=7628/7628 [pid=31729] ppid=31727 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31729/stat : 31729 (npSolver-wbo-It) S 31727 31729 28946 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386903072 9367552 274 33554432000 4194304 5064252 140736310775104 140736310774016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31729/statm: 2287 274 233 213 0 72 0 [pid=31730] ppid=31729 vsize=19996 CPUtime=0.31 cores=0,2,4,6 /proc/31730/stat : 31730 (npSolver-wbo) S 31729 31729 28946 0 -1 4202496 4767 5765 0 0 10 2 18 1 20 0 1 0 386903073 20475904 4036 33554432000 4194304 6006132 140736640027424 140736640018784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/31730/statm: 4999 4036 177 443 0 4552 0 [pid=31742] ppid=31730 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31742/stat : 31742 (satsolver.sh) S 31730 31729 28946 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386903106 9367552 267 33554432000 4194304 5064252 140733561568528 140733561567440 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/31742/statm: 2287 267 226 213 0 72 0 [pid=31743] ppid=31742 vsize=45432 CPUtime=1.15 cores=0,2,4,6 /proc/31743/stat : 31743 (glucose) R 31742 31729 28946 0 -1 4202496 9106 0 0 0 114 1 0 0 20 0 1 0 386903106 46522368 9265 33554432000 4194304 5208918 140736567207936 140736567206344 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31743/statm: 11358 9265 95 248 0 11107 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 83724 [startup+3.10042 s] /proc/loadavg: 1.72 2.00 1.86 3/183 31743 /proc/meminfo: memFree=29829024/32873844 swapFree=7628/7628 [pid=31729] ppid=31727 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31729/stat : 31729 (npSolver-wbo-It) S 31727 31729 28946 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386903072 9367552 274 33554432000 4194304 5064252 140736310775104 140736310774016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31729/statm: 2287 274 233 213 0 72 0 [pid=31730] ppid=31729 vsize=19996 CPUtime=0.31 cores=0,2,4,6 /proc/31730/stat : 31730 (npSolver-wbo) S 31729 31729 28946 0 -1 4202496 4767 5765 0 0 10 2 18 1 20 0 1 0 386903073 20475904 4036 33554432000 4194304 6006132 140736640027424 140736640018784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/31730/statm: 4999 4036 177 443 0 4552 0 [pid=31742] ppid=31730 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31742/stat : 31742 (satsolver.sh) S 31730 31729 28946 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386903106 9367552 267 33554432000 4194304 5064252 140733561568528 140733561567440 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/31742/statm: 2287 267 226 213 0 72 0 [pid=31743] ppid=31742 vsize=45828 CPUtime=2.75 cores=0,2,4,6 /proc/31743/stat : 31743 (glucose) R 31742 31729 28946 0 -1 4202496 9519 0 0 0 274 1 0 0 20 0 1 0 386903106 46927872 9676 33554432000 4194304 5208918 140736567207936 140736567205608 4210975 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31743/statm: 11457 9676 103 248 0 11206 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 84120 [startup+6.30041 s] /proc/loadavg: 1.83 2.02 1.86 3/183 31750 /proc/meminfo: memFree=29827904/32873844 swapFree=7628/7628 [pid=31729] ppid=31727 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31729/stat : 31729 (npSolver-wbo-It) S 31727 31729 28946 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386903072 9367552 274 33554432000 4194304 5064252 140736310775104 140736310774016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31729/statm: 2287 274 233 213 0 72 0 [pid=31730] ppid=31729 vsize=19996 CPUtime=3.49 cores=0,2,4,6 /proc/31730/stat : 31730 (npSolver-wbo) S 31729 31729 28946 0 -1 4202496 7005 20090 0 0 17 3 315 14 20 0 1 0 386903073 20475904 4036 33554432000 4194304 6006132 140736640027424 140736640018784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/31730/statm: 4999 4036 177 443 0 4552 0 [pid=31749] ppid=31730 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31749/stat : 31749 (satsolver.sh) S 31730 31729 28946 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386903424 9367552 267 33554432000 4194304 5064252 140733826106768 140733826105680 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/31749/statm: 2287 267 226 213 0 72 0 [pid=31750] ppid=31749 vsize=45832 CPUtime=2.77 cores=0,2,4,6 /proc/31750/stat : 31750 (glucose) R 31749 31729 28946 0 -1 4202496 8995 0 0 0 275 2 0 0 20 0 1 0 386903424 46931968 9701 33554432000 4194304 5208918 140736098192976 140736098190648 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31750/statm: 11458 9701 103 248 0 11207 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 84124 [startup+12.7003 s] /proc/loadavg: 1.84 2.02 1.86 3/183 31764 /proc/meminfo: memFree=29828572/32873844 swapFree=7628/7628 [pid=31729] ppid=31727 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31729/stat : 31729 (npSolver-wbo-It) S 31727 31729 28946 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386903072 9367552 274 33554432000 4194304 5064252 140736310775104 140736310774016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31729/statm: 2287 274 233 213 0 72 0 [pid=31730] ppid=31729 vsize=19996 CPUtime=12.65 cores=0,2,4,6 /proc/31730/stat : 31730 (npSolver-wbo) S 31729 31729 28946 0 -1 4202496 11488 56850 0 0 32 5 1185 43 20 0 1 0 386903073 20475904 4036 33554432000 4194304 6006132 140736640027424 140736640018272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/31730/statm: 4999 4036 177 443 0 4552 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 29144 [startup+25.5004 s] /proc/loadavg: 1.87 2.02 1.86 3/184 31795 /proc/meminfo: memFree=29828004/32873844 swapFree=7628/7628 [pid=31729] ppid=31727 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31729/stat : 31729 (npSolver-wbo-It) S 31727 31729 28946 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386903072 9367552 274 33554432000 4194304 5064252 140736310775104 140736310774016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31729/statm: 2287 274 233 213 0 72 0 [pid=31730] ppid=31729 vsize=19996 CPUtime=22.53 cores=0,2,4,6 /proc/31730/stat : 31730 (npSolver-wbo) S 31729 31729 28946 0 -1 4202496 20433 101116 0 0 62 8 2091 92 20 0 1 0 386903073 20475904 4036 33554432000 4194304 6006132 140736640027424 140736640018784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/31730/statm: 4999 4036 177 443 0 4552 0 [pid=31794] ppid=31730 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31794/stat : 31794 (satsolver.sh) S 31730 31729 28946 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386905328 9367552 267 33554432000 4194304 5064252 140734883821312 140734883820224 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/31794/statm: 2287 267 226 213 0 72 0 [pid=31795] ppid=31794 vsize=50720 CPUtime=2.94 cores=0,2,4,6 /proc/31795/stat : 31795 (glucose) R 31794 31729 28946 0 -1 4202496 9608 0 0 0 293 1 0 0 20 0 1 0 386905328 51937280 9818 33554432000 4194304 5208918 140735136164080 140735136161752 4607488 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31795/statm: 12680 9818 105 248 0 12429 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 89012 [startup+51.1003 s] /proc/loadavg: 1.92 2.01 1.87 3/184 31852 /proc/meminfo: memFree=29818764/32873844 swapFree=7628/7628 [pid=31729] ppid=31727 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31729/stat : 31729 (npSolver-wbo-It) S 31727 31729 28946 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386903072 9367552 274 33554432000 4194304 5064252 140736310775104 140736310774016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31729/statm: 2287 274 233 213 0 72 0 [pid=31730] ppid=31729 vsize=19996 CPUtime=51.05 cores=0,2,4,6 /proc/31730/stat : 31730 (npSolver-wbo) S 31729 31729 28946 0 -1 4202496 38344 222552 0 0 122 16 4779 188 20 0 1 0 386903073 20475904 4036 33554432000 4194304 6006132 140736640027424 140736640018272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/31730/statm: 4999 4036 177 443 0 4552 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 29144 [startup+102.307 s] /proc/loadavg: 1.96 2.01 1.87 3/183 31971 /proc/meminfo: memFree=29810876/32873844 swapFree=7628/7628 [pid=31729] ppid=31727 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31729/stat : 31729 (npSolver-wbo-It) S 31727 31729 28946 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386903072 9367552 274 33554432000 4194304 5064252 140736310775104 140736310774016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31729/statm: 2287 274 233 213 0 72 0 [pid=31730] ppid=31729 vsize=19996 CPUtime=100.92 cores=0,2,4,6 /proc/31730/stat : 31730 (npSolver-wbo) S 31729 31729 28946 0 -1 4202496 76383 449100 0 0 248 31 9418 395 20 0 1 0 386903073 20475904 4036 33554432000 4194304 6006132 140736640027424 140736640018784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/31730/statm: 4999 4036 177 443 0 4552 0 [pid=31970] ppid=31730 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31970/stat : 31970 (satsolver.sh) S 31730 31729 28946 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386913166 9367552 266 33554432000 4194304 5064252 140734561520384 140734561519296 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/31970/statm: 2287 266 226 213 0 72 0 [pid=31971] ppid=31970 vsize=45436 CPUtime=1.35 cores=0,2,4,6 /proc/31971/stat : 31971 (glucose) R 31970 31729 28946 0 -1 4202496 9158 0 0 0 134 1 0 0 20 0 1 0 386913167 46526464 9311 33554432000 4194304 5208918 140736686608656 140736686607064 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31971/statm: 11359 9311 95 248 0 11108 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 83728 [startup+162.3 s] /proc/loadavg: 1.98 2.00 1.88 3/183 32104 /proc/meminfo: memFree=29804060/32873844 swapFree=7628/7628 [pid=31729] ppid=31727 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31729/stat : 31729 (npSolver-wbo-It) S 31727 31729 28946 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386903072 9367552 274 33554432000 4194304 5064252 140736310775104 140736310774016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31729/statm: 2287 274 233 213 0 72 0 [pid=31730] ppid=31729 vsize=19996 CPUtime=160.8 cores=0,2,4,6 /proc/31730/stat : 31730 (npSolver-wbo) S 31729 31729 28946 0 -1 4202496 118905 710602 0 0 388 48 15023 621 20 0 1 0 386903073 20475904 4036 33554432000 4194304 6006132 140736640027424 140736640018784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/31730/statm: 4999 4036 177 443 0 4552 0 [pid=32103] ppid=31730 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32103/stat : 32103 (satsolver.sh) S 31730 31729 28946 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386919156 9367552 267 33554432000 4194304 5064252 140735685390976 140735685389888 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/32103/statm: 2287 267 226 213 0 72 0 [pid=32104] ppid=32103 vsize=45436 CPUtime=1.45 cores=0,2,4,6 /proc/32104/stat : 32104 (glucose) R 32103 31729 28946 0 -1 4202496 8845 0 0 0 144 1 0 0 20 0 1 0 386919156 46526464 9552 33554432000 4194304 5208918 140737444169760 140737444168168 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/32104/statm: 11359 9552 95 248 0 11108 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 83728 ############ # WARNING: # current cumulated CPU time (198.59 s) is less than in the last sample (198.59 s) # The time of a child was probably not reported to its father. ################ # More data... # ################ /proc/31730/statm: 4999 4045 177 443 0 4552 0 [pid=2225] ppid=31730 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/2225/stat : 2225 (satsolver.sh) S 31730 31729 28946 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387033226 9367552 266 33554432000 4194304 5064252 140735751627648 140735751626560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/2225/statm: 2287 266 226 213 0 72 0 [pid=2226] ppid=2225 vsize=45436 CPUtime=0.76 cores=0,2,4,6 /proc/2226/stat : 2226 (glucose) R 2225 31729 28946 0 -1 4202496 8969 0 0 0 75 1 0 0 20 0 1 0 387033226 46526464 9694 33554432000 4194304 5208918 140733353757152 140733353755560 4211501 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/2226/statm: 11359 9694 95 248 0 11108 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 83728 [startup+1362.3 s] /proc/loadavg: 2.09 2.14 2.04 3/183 2359 /proc/meminfo: memFree=29826496/32873844 swapFree=7628/7628 [pid=31729] ppid=31727 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31729/stat : 31729 (npSolver-wbo-It) S 31727 31729 28946 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386903072 9367552 274 33554432000 4194304 5064252 140736310775104 140736310774016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31729/statm: 2287 274 233 213 0 72 0 [pid=31730] ppid=31729 vsize=19996 CPUtime=1359.5 cores=0,2,4,6 /proc/31730/stat : 31730 (npSolver-wbo) S 31729 31729 28946 0 -1 4202496 598605 5892902 0 0 3086 339 127353 5172 20 0 1 0 386903073 20475904 4045 33554432000 4194304 6006132 140736640027424 140736640018784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31730/statm: 4999 4045 177 443 0 4552 0 [pid=2358] ppid=31730 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/2358/stat : 2358 (satsolver.sh) S 31730 31729 28946 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387039070 9367552 266 33554432000 4194304 5064252 140737241566176 140737241565088 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/2358/statm: 2287 266 226 213 0 72 0 [pid=2359] ppid=2358 vsize=45568 CPUtime=2.31 cores=0,2,4,6 /proc/2359/stat : 2359 (glucose) R 2358 31729 28946 0 -1 4202496 9265 0 0 0 230 1 0 0 20 0 1 0 387039070 46661632 9475 33554432000 4194304 5208918 140733786466720 140733786465128 4211656 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/2359/statm: 11392 9475 95 248 0 11141 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 83860 [startup+1422.31 s] /proc/loadavg: 2.07 2.12 2.04 3/183 2492 /proc/meminfo: memFree=29811928/32873844 swapFree=7628/7628 [pid=31729] ppid=31727 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31729/stat : 31729 (npSolver-wbo-It) S 31727 31729 28946 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386903072 9367552 274 33554432000 4194304 5064252 140736310775104 140736310774016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31729/statm: 2287 274 233 213 0 72 0 [pid=31730] ppid=31729 vsize=19996 CPUtime=1421.45 cores=0,2,4,6 /proc/31730/stat : 31730 (npSolver-wbo) S 31729 31729 28946 0 -1 4202496 612000 6155545 0 0 3215 353 133179 5398 20 0 1 0 386903073 20475904 4045 33554432000 4194304 6006132 140736640027424 140736640018784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31730/statm: 4999 4045 177 443 0 4552 0 [pid=2491] ppid=31730 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/2491/stat : 2491 (satsolver.sh) S 31730 31729 28946 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387045273 9367552 267 33554432000 4194304 5064252 140736078092784 140736078091696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/2491/statm: 2287 267 226 213 0 72 0 [pid=2492] ppid=2491 vsize=45440 CPUtime=0.29 cores=0,2,4,6 /proc/2492/stat : 2492 (glucose) R 2491 31729 28946 0 -1 4202496 8863 0 0 0 28 1 0 0 20 0 1 0 387045273 46530560 9091 33554432000 4194304 5208918 140734444889648 140734444888056 4211570 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/2492/statm: 11360 9091 95 248 0 11109 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 83732 [startup+1482.3 s] /proc/loadavg: 2.02 2.10 2.04 3/181 2616 /proc/meminfo: memFree=29848108/32873844 swapFree=7628/7628 [pid=31729] ppid=31727 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31729/stat : 31729 (npSolver-wbo-It) S 31727 31729 28946 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386903072 9367552 274 33554432000 4194304 5064252 140736310775104 140736310774016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31729/statm: 2287 274 233 213 0 72 0 [pid=31730] ppid=31729 vsize=19996 CPUtime=1481.08 cores=0,2,4,6 /proc/31730/stat : 31730 (npSolver-wbo) S 31729 31729 28946 0 -1 4202496 624690 6404128 0 0 3338 366 138789 5615 20 0 1 0 386903073 20475904 4045 33554432000 4194304 6006132 140736640027424 140736640018784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31730/statm: 4999 4045 177 443 0 4552 0 Current children cumulated CPU time (s) 1481.08 Current children cumulated vsize (KiB) 29144 [startup+1542.3 s] /proc/loadavg: 2.07 2.09 2.04 3/184 2745 /proc/meminfo: memFree=29798408/32873844 swapFree=7628/7628 [pid=31729] ppid=31727 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31729/stat : 31729 (npSolver-wbo-It) S 31727 31729 28946 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386903072 9367552 274 33554432000 4194304 5064252 140736310775104 140736310774016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31729/statm: 2287 274 233 213 0 72 0 [pid=31730] ppid=31729 vsize=19996 CPUtime=1541.45 cores=0,2,4,6 /proc/31730/stat : 31730 (npSolver-wbo) S 31729 31729 28946 0 -1 4202496 637387 6658524 0 0 3461 378 144469 5837 20 0 1 0 386903073 20475904 4045 33554432000 4194304 6006132 140736640027424 140736640018272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31730/statm: 4999 4045 177 443 0 4552 0 Current children cumulated CPU time (s) 1541.45 Current children cumulated vsize (KiB) 29144 [startup+1602.3 s] /proc/loadavg: 2.03 2.07 2.03 3/181 2877 /proc/meminfo: memFree=29837728/32873844 swapFree=7628/7628 [pid=31729] ppid=31727 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31729/stat : 31729 (npSolver-wbo-It) S 31727 31729 28946 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386903072 9367552 274 33554432000 4194304 5064252 140736310775104 140736310774016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31729/statm: 2287 274 233 213 0 72 0 [pid=31730] ppid=31729 vsize=19996 CPUtime=1600.81 cores=0,2,4,6 /proc/31730/stat : 31730 (npSolver-wbo) S 31729 31729 28946 0 -1 4202496 650775 6911205 0 0 3590 391 150036 6064 20 0 1 0 386903073 20475904 4045 33554432000 4194304 6006132 140736640027424 140736640018784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31730/statm: 4999 4045 177 443 0 4552 0 Current children cumulated CPU time (s) 1600.81 Current children cumulated vsize (KiB) 29144 [startup+1662.3 s] /proc/loadavg: 2.08 2.07 2.03 3/183 3005 /proc/meminfo: memFree=29777260/32873844 swapFree=7628/7628 [pid=31729] ppid=31727 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31729/stat : 31729 (npSolver-wbo-It) S 31727 31729 28946 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386903072 9367552 274 33554432000 4194304 5064252 140736310775104 140736310774016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31729/statm: 2287 274 233 213 0 72 0 [pid=31730] ppid=31729 vsize=19996 CPUtime=1659.44 cores=0,2,4,6 /proc/31730/stat : 31730 (npSolver-wbo) S 31729 31729 28946 0 -1 4202496 663465 7160004 0 0 3712 404 155550 6278 20 0 1 0 386903073 20475904 4045 33554432000 4194304 6006132 140736640027424 140736640018784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31730/statm: 4999 4045 177 443 0 4552 0 [pid=3004] ppid=31730 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3004/stat : 3004 (satsolver.sh) S 31730 31729 28946 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387069095 9367552 267 33554432000 4194304 5064252 140733569656896 140733569655808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/3004/statm: 2287 267 226 213 0 72 0 [pid=3005] ppid=3004 vsize=45436 CPUtime=2.06 cores=0,2,4,6 /proc/3005/stat : 3005 (glucose) R 3004 31729 28946 0 -1 4202496 8749 0 0 0 205 1 0 0 20 0 1 0 387069095 46526464 9452 33554432000 4194304 5208918 140735348374432 140735348372840 4211901 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/3005/statm: 11359 9452 95 248 0 11108 0 Current children cumulated CPU time (s) 1661.5 Current children cumulated vsize (KiB) 83728 [startup+1722.3 s] /proc/loadavg: 2.03 2.06 2.03 3/183 3131 /proc/meminfo: memFree=29775288/32873844 swapFree=7628/7628 [pid=31729] ppid=31727 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31729/stat : 31729 (npSolver-wbo-It) S 31727 31729 28946 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386903072 9367552 274 33554432000 4194304 5064252 140736310775104 140736310774016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31729/statm: 2287 274 233 213 0 72 0 [pid=31730] ppid=31729 vsize=19996 CPUtime=1721.29 cores=0,2,4,6 /proc/31730/stat : 31730 (npSolver-wbo) S 31729 31729 28946 0 -1 4202496 676860 7421944 0 0 3842 418 161369 6500 20 0 1 0 386903073 20475904 4045 33554432000 4194304 6006132 140736640027424 140736640018784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31730/statm: 4999 4045 177 443 0 4552 0 Current children cumulated CPU time (s) 1721.29 Current children cumulated vsize (KiB) 29144 [startup+1782.3 s] /proc/loadavg: 2.01 2.04 2.02 3/183 3316 /proc/meminfo: memFree=29809948/32873844 swapFree=7628/7628 [pid=31729] ppid=31727 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31729/stat : 31729 (npSolver-wbo-It) S 31727 31729 28946 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386903072 9367552 274 33554432000 4194304 5064252 140736310775104 140736310774016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31729/statm: 2287 274 233 213 0 72 0 [pid=31730] ppid=31729 vsize=19996 CPUtime=1780.76 cores=0,2,4,6 /proc/31730/stat : 31730 (npSolver-wbo) S 31729 31729 28946 0 -1 4202496 689550 7671840 0 0 3964 430 166960 6722 20 0 1 0 386903073 20475904 4045 33554432000 4194304 6006132 140736640027424 140736640018784 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31730/statm: 4999 4045 177 443 0 4552 0 [pid=3315] ppid=31730 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3315/stat : 3315 (satsolver.sh) S 31730 31729 28946 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387081241 9367552 267 33554432000 4194304 5064252 140736427870544 140736427869456 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/3315/statm: 2287 267 226 213 0 72 0 [pid=3316] ppid=3315 vsize=45436 CPUtime=0.6 cores=0,2,4,6 /proc/3316/stat : 3316 (glucose) R 3315 31729 28946 0 -1 4202496 8861 0 0 0 59 1 0 0 20 0 1 0 387081241 46526464 9568 33554432000 4194304 5208918 140734305159296 140734305157704 4211553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/3316/statm: 11359 9568 95 248 0 11108 0 Current children cumulated CPU time (s) 1781.36 Current children cumulated vsize (KiB) 83728 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1798.1 s] /proc/loadavg: 2.14 2.07 2.03 3/182 3349 /proc/meminfo: memFree=29845144/32873844 swapFree=7628/7628 [pid=31729] ppid=31727 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31729/stat : 31729 (npSolver-wbo-It) S 31727 31729 28946 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386903072 9367552 274 33554432000 4194304 5064252 140736310775104 140736310774016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31729/statm: 2287 274 233 213 0 72 0 [pid=31730] ppid=31729 vsize=19996 CPUtime=1797.16 cores=0,2,4,6 /proc/31730/stat : 31730 (npSolver-wbo) R 31729 31729 28946 0 -1 4202496 692556 7740671 0 0 3992 433 168510 6781 20 0 1 0 386903073 20475904 4045 33554432000 4194304 6006132 140736640027424 140736640019360 5056737 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/31730/statm: 4999 4045 177 443 0 4552 0 Current children cumulated CPU time (s) 1797.16 Current children cumulated vsize (KiB) 29144 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1798.1 s] /proc/loadavg: 2.14 2.07 2.03 3/182 3349 /proc/meminfo: memFree=29845144/32873844 swapFree=7628/7628 [pid=31729] ppid=31727 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31729/stat : 31729 (npSolver-wbo-It) S 31727 31729 28946 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386903072 9367552 274 33554432000 4194304 5064252 140736310775104 140736310774016 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31729/statm: 2287 274 233 213 0 72 0 [pid=31730] ppid=31729 vsize=19996 CPUtime=1797.16 cores=0,2,4,6 /proc/31730/stat : 31730 (npSolver-wbo) R 31729 31729 28946 0 -1 4202496 692556 7740671 0 0 3992 433 168510 6781 20 0 1 0 386903073 20475904 4045 33554432000 4194304 6006132 140736640027424 140736640019360 5056737 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/31730/statm: 4999 4045 177 443 0 4552 0 Current children cumulated CPU time (s) 1797.16 Current children cumulated vsize (KiB) 29144 Child status: 0 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 2.86006 # lost CPU user time (s): 2.84004 # lost CPU system time (s): 0.0200005 Real time (s): 1798.11 CPU time (s): 1800.04 CPU user time (s): 1727.87 CPU system time (s): 72.172 CPU usage (%): 100.108 Max. virtual memory (cumulated for all children) (KiB): 89016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1725.03 system time used= 72.152 maximum resident set size= 41320 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8433600 page faults= 0 swaps= 0 block input operations= 0 block output operations= 6684216 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 134734 involuntary context switches= 10406 runsolver used 6.69198 second user time and 16.5975 second system time The end
Begin job on node146 at 2012-06-09 04:09:41 IDJOB=3753202 IDBENCH=79156 IDSOLVER=2336 FILE ID=node146/3753202-1339207781 RUNJOBID= node146-1339205958-28962 PBS_JOBID= 14643879 Free space on /tmp= 70776 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr--soft-0-100-0.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753202-1339207781/watcher-3753202-1339207781 -o /tmp/evaluation-result-3753202-1339207781/solver-3753202-1339207781 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753202-1339207781.wbo 684084970 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 95c5d91e3a0ca992efaa2a36118a1c06 RANDOM SEED=684084970 node146.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.034 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.06 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.034 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.92 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.034 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.034 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.034 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.034 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.034 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29891920 kB Buffers: 486908 kB Cached: 1524024 kB SwapCached: 2168 kB Active: 1971888 kB Inactive: 71848 kB Active(anon): 31396 kB Inactive(anon): 3272 kB Active(file): 1940492 kB Inactive(file): 68576 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67099984 kB Dirty: 18028 kB Writeback: 0 kB AnonPages: 38700 kB Mapped: 10076 kB Shmem: 0 kB Slab: 797220 kB SReclaimable: 235408 kB SUnreclaim: 561812 kB KernelStack: 1464 kB PageTables: 4140 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 155300 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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= 70764 MiB End job on node146 at 2012-06-09 04:39:40