| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| npSolver inc-topdown-quickBound | ? (TO) | 1800.1 | 1797.91 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo |
| MD5SUM | 0a60736b8b79adacf122a04a37158c9c |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.795878 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 10100 |
| Total number of constraints | 201 |
| Number of soft constraints | 201 |
| Number of constraints which are clauses | 101 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 100 |
| Maximum length of a constraint | 101 |
| Top cost | 9959 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 9958 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 102 |
| Number of bits of the biggest sum of numbers | 7 |
| 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.85 c run usual solver 9.66/9.87 o 4030 9.66/9.87 c starting approximation 9.66/9.87 c factor = 2 9.66/9.87 c factor still to low - shrinking to 4.86018 9.66/9.87 c approx number of clauses: 1e+06 9.66/9.87 c current bound: 2015 12.76/12.90 c current bound: 2015 15.26/15.93 c current bound: 2015 18.76/18.97 c current bound: 2015 21.87/22.02 c current bound: 2015 24.40/25.07 c current bound: 2015 27.97/28.12 c current bound: 2015 30.96/31.16 c current bound: 2015 34.07/34.23 c current bound: 2015 36.59/37.26 c current bound: 2015 39.66/40.33 c current bound: 2015 43.16/43.37 c current bound: 2015 46.27/46.41 c current bound: 2015 48.79/49.46 c current bound: 2015 51.81/52.49 c current bound: 2015 55.35/55.53 c current bound: 2015 58.34/58.57 c current bound: 2015 61.46/61.62 c current bound: 2015 63.98/64.65 c current bound: 2015 67.55/67.70 c current bound: 2015 70.56/70.74 c current bound: 2015 73.67/73.81 c current bound: 2015 76.20/76.87 c current bound: 2015 79.77/79.92 c current bound: 2015 82.86/83.00 c current bound: 2015 85.86/86.01 c current bound: 2015 88.38/89.06 c current bound: 2015 91.95/92.11 c current bound: 2015 94.96/95.14 c current bound: 2015 97.95/98.18 c current bound: 2015 101.06/101.21 c current bound: 2015 103.57/104.25 c current bound: 2015 107.04/107.29 c current bound: 2015 110.16/110.33 c current bound: 2015 112.69/113.36 c current bound: 2015 116.27/116.41 c current bound: 2015 118.78/119.44 c current bound: 2015 122.36/122.51 c current bound: 2015 125.35/125.56 c current bound: 2015 128.46/128.63 c current bound: 2015 131.01/131.67 c current bound: 2015 134.57/134.73 c current bound: 2015 137.56/137.77 c current bound: 2015 140.66/140.81 c current bound: 2015 143.18/143.84 c current bound: 2015 146.65/146.89 c current bound: 2015 149.77/149.92 c current bound: 2015 152.27/152.95 c current bound: 2015 155.87/156.01 c current bound: 2015 158.38/159.04 c current bound: 2015 161.95/162.10 c current bound: 2015 164.98/165.12 c current bound: 2015 167.51/168.17 c current bound: 2015 171.07/171.20 c current bound: 2015 174.06/174.24 c current bound: 2015 177.06/177.28 c current bound: 2015 179.68/180.34 c current bound: 2015 182.73/183.39 c current bound: 2015 186.27/186.43 c current bound: 2015 189.26/189.46 c current bound: 2015 191.82/192.48 c current bound: 2015 194.89/195.55 c current bound: 2015 198.36/198.58 c current bound: 2015 201.47/201.61 c current bound: 2015 203.99/204.64 c current bound: 2015 207.02/207.68 c current bound: 2015 210.58/210.72 c current bound: 2015 213.57/213.74 c current bound: 2015 216.13/216.78 c current bound: 2015 219.19/219.84 c current bound: 2015 222.23/222.87 c current bound: 2015 225.77/225.90 c current bound: 2015 228.78/228.93 c current bound: 2015 231.33/231.98 c current bound: 2015 234.89/235.01 c current bound: 2015 237.87/238.04 c current bound: 2015 240.99/241.11 c current bound: 2015 243.52/244.15 c current bound: 2015 247.09/247.20 c current bound: 2015 250.09/250.25 c current bound: 2015 253.11/253.29 c current bound: 2015 256.20/256.32 c current bound: 2015 258.74/259.36 c current bound: 2015 262.19/262.39 c current bound: 2015 265.29/265.40 c current bound: 2015 268.31/268.42 c current bound: 2015 270.81/271.49 c current bound: 2015 273.91/274.55 c current bound: 2015 277.41/277.57 c current bound: 2015 280.53/280.63 c current bound: 2015 283.07/283.69 c current bound: 2015 286.61/286.72 c current bound: 2015 289.60/289.74 c current bound: 2015 292.60/292.79 c current bound: 2015 295.72/295.82 c current bound: 2015 298.24/298.87 c current bound: 2015 301.81/301.92 c current bound: 2015 304.79/304.96 c current bound: 2015 307.90/308.02 c current bound: 2015 310.41/311.04 c current bound: 2015 313.89/314.07 c current bound: 2015 317.00/317.11 c current bound: 2015 319.51/320.14 c current bound: 2015 322.57/323.19 c current bound: 2015 325.98/326.19 c current bound: 2015 329.12/329.23 c current bound: 2015 331.65/332.28 c current bound: 2015 335.22/335.32 c current bound: 2015 337.77/338.39 c current bound: 2015 341.30/341.44 c current bound: 2015 344.31/344.48 c current bound: 2015 347.42/347.53 c current bound: 2015 349.96/350.59 c current bound: 2015 353.49/353.64 c current bound: 2015 356.51/356.62 c current bound: 2015 359.05/359.68 c current bound: 2015 362.11/362.75 c current bound: 2015 365.72/365.81 c current bound: 2015 368.72/368.87 c current bound: 2015 371.84/371.93 c current bound: 2015 374.38/374.98 c current bound: 2015 377.94/378.02 c current bound: 2015 381.02/381.10 c current bound: 2015 384.04/384.14 c current bound: 2015 387.03/387.11 c current bound: 2015 390.03/390.12 c current bound: 2015 393.01/393.15 c current bound: 2015 396.02/396.19 c current bound: 2015 398.64/399.25 c current bound: 2015 401.67/402.28 c current bound: 2015 405.20/405.34 c current bound: 2015 408.22/408.38 c current bound: 2015 411.33/411.41 c current bound: 2015 413.84/414.45 c current bound: 2015 417.42/417.53 c current bound: 2015 420.50/420.60 c current bound: 2015 423.52/423.62 c current bound: 2015 426.05/426.67 c current bound: 2015 429.62/429.73 c current bound: 2015 432.61/432.76 c current bound: 2015 435.72/435.80 c current bound: 2015 438.23/438.83 c current bound: 2015 441.82/441.90 c current bound: 2015 444.82/444.93 c current bound: 2015 447.82/447.99 c current bound: 2015 450.92/451.01 c current bound: 2015 453.47/454.07 c current bound: 2015 457.01/457.13 c current bound: 2015 460.01/460.19 c current bound: 2015 463.13/463.22 c current bound: 2015 465.69/466.28 c current bound: 2015 469.23/469.32 c current bound: 2015 472.21/472.35 c current bound: 2015 475.21/475.39 c current bound: 2015 477.84/478.45 c current bound: 2015 481.42/481.51 c current bound: 2015 484.42/484.56 c current bound: 2015 487.52/487.61 c current bound: 2015 490.06/490.66 c current bound: 2015 493.62/493.70 c current bound: 2015 496.12/496.73 c current bound: 2015 499.62/499.78 c current bound: 2015 502.72/502.81 c current bound: 2015 505.24/505.85 c current bound: 2015 508.81/508.90 c current bound: 2015 511.80/511.95 c current bound: 2015 514.81/514.98 c current bound: 2015 517.92/518.00 c current bound: 2015 520.44/521.06 c current bound: 2015 523.91/524.09 c current bound: 2015 527.02/527.13 c current bound: 2015 529.54/530.16 c current bound: 2015 533.12/533.21 c current bound: 2015 536.10/536.25 c current bound: 2015 539.11/539.27 c current bound: 2015 542.20/542.31 c current bound: 2015 544.73/545.36 c current bound: 2015 548.20/548.39 c current bound: 2015 551.33/551.42 c current bound: 2015 553.83/554.44 c current bound: 2015 556.86/557.47 c current bound: 2015 560.41/560.50 c current bound: 2015 563.43/563.52 c current bound: 2015 565.94/566.55 c current bound: 2015 568.96/569.57 c current bound: 2015 572.52/572.60 c current bound: 2015 575.51/575.67 c current bound: 2015 578.09/578.70 c current bound: 2015 581.63/581.72 c current bound: 2015 584.17/584.78 c current bound: 2015 587.73/587.83 c current bound: 2015 590.72/590.87 c current bound: 2015 593.83/593.91 c current bound: 2015 596.27/596.89 c current bound: 2015 599.80/599.93 c current bound: 2015 602.81/602.96 c current bound: 2015 605.91/606.02 c current bound: 2015 608.46/609.07 c current bound: 2015 612.02/612.12 c current bound: 2015 615.02/615.16 c current bound: 2015 617.58/618.19 c current bound: 2015 620.61/621.24 c current bound: 2015 624.12/624.27 c current bound: 2015 627.12/627.24 c current bound: 2015 629.68/630.29 c current bound: 2015 633.22/633.33 c current bound: 2015 636.20/636.38 c current bound: 2015 639.32/639.42 c current bound: 2015 641.83/642.45 c current bound: 2015 645.40/645.50 c current bound: 2015 648.41/648.52 c current bound: 2015 651.39/651.57 c current bound: 2015 654.51/654.63 c current bound: 2015 657.05/657.69 c current bound: 2015 660.10/660.74 c current bound: 2015 663.69/663.80 c current bound: 2015 666.70/666.82 c current bound: 2015 669.21/669.86 c current bound: 2015 672.24/672.88 c current bound: 2015 675.77/675.95 c current bound: 2015 678.87/679.00 c current bound: 2015 681.39/682.05 c current bound: 2015 684.98/685.10 c current bound: 2015 687.51/688.16 c current bound: 2015 691.07/691.20 c current bound: 2015 694.08/694.24 c current bound: 2015 697.18/697.31 c current bound: 2015 699.69/700.34 c current bound: 2015 703.16/703.37 c current bound: 2015 706.16/706.36 c current bound: 2015 709.27/709.41 c current bound: 2015 711.78/712.45 c current bound: 2015 715.25/715.50 c current bound: 2015 718.38/718.53 c current bound: 2015 720.90/721.56 c current bound: 2015 724.46/724.60 c current bound: 2015 727.46/727.64 c current bound: 2015 730.45/730.68 c current bound: 2015 733.56/733.73 c current bound: 2015 736.08/736.75 c current bound: 2015 739.55/739.79 c current bound: 2015 742.65/742.84 c current bound: 2015 745.20/745.87 c current bound: 2015 748.75/748.90 c current bound: 2015 751.27/751.95 c current bound: 2015 754.85/755.00 c current bound: 2015 757.86/758.03 c current bound: 2015 760.41/761.09 c current bound: 2015 763.46/764.15 c current bound: 2015 767.04/767.20 c current bound: 2015 770.07/770.23 c current bound: 2015 772.59/773.27 c current bound: 2015 776.16/776.31 c current bound: 2015 779.14/779.35 c current bound: 2015 782.15/782.38 c current bound: 2015 785.25/785.42 c current bound: 2015 787.76/788.45 c current bound: 2015 791.24/791.49 c current bound: 2015 794.36/794.53 c current bound: 2015 796.89/797.57 c current bound: 2015 799.91/800.59 c current bound: 2015 803.45/803.62 c current bound: 2015 806.44/806.68 c current bound: 2015 809.56/809.71 c current bound: 2015 812.10/812.77 c current bound: 2015 815.65/815.80 c current bound: 2015 818.65/818.84 c current bound: 2015 821.67/821.90 c current bound: 2015 824.76/824.93 c current bound: 2015 827.30/827.96 c current bound: 2015 830.78/830.97 c current bound: 2015 833.79/834.00 c current bound: 2015 836.92/837.02 c current bound: 2015 839.44/840.06 c current bound: 2015 843.01/843.11 c current bound: 2015 846.03/846.14 c current bound: 2015 848.56/849.17 c current bound: 2015 852.13/852.21 c current bound: 2015 855.11/855.27 c current bound: 2015 858.24/858.32 c current bound: 2015 860.76/861.36 c current bound: 2015 863.79/864.39 c current bound: 2015 866.82/867.43 c current bound: 2015 870.32/870.46 c current bound: 2015 873.44/873.52 c current bound: 2015 875.96/876.57 c current bound: 2015 879.54/879.61 c current bound: 2015 882.53/882.64 c current bound: 2015 885.53/885.69 c current bound: 2015 888.15/888.74 c current bound: 2015 891.17/891.76 c current bound: 2015 894.74/894.80 c current bound: 2015 897.62/897.74 c current bound: 2015 900.17/900.78 c current bound: 2015 903.72/903.82 c current bound: 2015 906.71/906.87 c current bound: 2015 909.82/909.91 c current bound: 2015 912.34/912.96 c current bound: 2015 915.36/915.99 c current bound: 2015 918.92/919.02 c current bound: 2015 921.91/922.06 c current bound: 2015 925.01/925.11 c current bound: 2015 927.52/928.16 c current bound: 2015 931.09/931.20 c current bound: 2015 934.09/934.25 c current bound: 2015 937.20/937.30 c current bound: 2015 939.73/940.35 c current bound: 2015 942.76/943.39 c current bound: 2015 946.19/946.39 c current bound: 2015 949.29/949.45 c current bound: 2015 952.39/952.50 c current bound: 2015 954.90/955.53 c current bound: 2015 958.37/958.58 c current bound: 2015 961.48/961.64 c current bound: 2015 964.57/964.72 c current bound: 2015 967.11/967.77 c current bound: 2015 970.67/970.83 c current bound: 2015 973.66/973.86 c current bound: 2015 976.20/976.88 c current bound: 2015 979.78/979.92 c current bound: 2015 982.30/982.96 c current bound: 2015 985.85/986.04 c current bound: 2015 988.85/989.08 c current bound: 2015 991.98/992.11 c current bound: 2015 994.48/995.15 c current bound: 2015 998.07/998.20 c current bound: 2015 1001.07/1001.24 c current bound: 2015 1003.62/1004.29 c current bound: 2015 1007.16/1007.33 c current bound: 2015 1010.14/1010.37 c current bound: 2015 1013.26/1013.41 c current bound: 2015 1015.78/1016.44 c current bound: 2015 1018.79/1019.47 c current bound: 2015 1022.36/1022.50 c current bound: 2015 1025.33/1025.54 c current bound: 2015 1027.91/1028.57 c current bound: 2015 1031.45/1031.61 c current bound: 2015 1033.99/1034.66 c current bound: 2015 1037.56/1037.70 c current bound: 2015 1040.55/1040.75 c current bound: 2015 1043.10/1043.78 c current bound: 2015 1046.17/1046.85 c current bound: 2015 1049.65/1049.89 c current bound: 2015 1052.76/1052.91 c current bound: 2015 1055.28/1055.95 c current bound: 2015 1058.85/1059.01 c current bound: 2015 1061.83/1062.04 c current bound: 2015 1064.84/1065.08 c current bound: 2015 1067.46/1068.14 c current bound: 2015 1070.51/1071.19 c current bound: 2015 1074.05/1074.23 c current bound: 2015 1077.03/1077.28 c current bound: 2015 1080.14/1080.34 c current bound: 2015 1083.23/1083.40 c current bound: 2015 1085.77/1086.47 c current bound: 2015 1089.33/1089.50 c current bound: 2015 1092.35/1092.53 c current bound: 2015 1094.88/1095.57 c current bound: 2015 1098.43/1098.61 c current bound: 2015 1101.43/1101.65 c current bound: 2015 1104.43/1104.69 c current bound: 2015 1107.53/1107.73 c current bound: 2015 1110.06/1110.77 c current bound: 2015 1113.64/1113.81 c current bound: 2015 1116.64/1116.86 c current bound: 2015 1119.76/1119.92 c current bound: 2015 1122.26/1122.95 c current bound: 2015 1125.29/1125.97 c current bound: 2015 1128.86/1129.01 c current bound: 2015 1131.87/1132.03 c current bound: 2015 1134.94/1135.10 c current bound: 2015 1137.48/1138.16 c current bound: 2015 1141.06/1141.21 c current bound: 2015 1144.05/1144.25 c current bound: 2015 1147.15/1147.31 c current bound: 2015 1149.67/1150.35 c current bound: 2015 1153.27/1153.41 c current bound: 2015 1156.26/1156.45 c current bound: 2015 1158.80/1159.46 c current bound: 2015 1162.35/1162.50 c current bound: 2015 1164.88/1165.54 c current bound: 2015 1168.35/1168.56 c current bound: 2015 1170.92/1171.58 c current bound: 2015 1174.48/1174.61 c current bound: 2015 1176.99/1177.65 c current bound: 2015 1180.57/1180.70 c current bound: 2015 1183.60/1183.73 c current bound: 2015 1186.13/1186.77 c current bound: 2015 1189.68/1189.80 c current bound: 2015 1192.68/1192.83 c current bound: 2015 1195.69/1195.85 c current bound: 2015 1198.23/1198.88 c current bound: 2015 1201.77/1201.92 c current bound: 2015 1204.76/1204.96 c current bound: 2015 1207.89/1208.02 c current bound: 2015 1210.43/1211.08 c current bound: 2015 1213.98/1214.12 c current bound: 2015 1216.98/1217.11 c current bound: 2015 1219.98/1220.14 c current bound: 2015 1222.51/1223.17 c current bound: 2015 1226.07/1226.20 c current bound: 2015 1229.07/1229.25 c current bound: 2015 1232.07/1232.28 c current bound: 2015 1235.18/1235.33 c current bound: 2015 1237.69/1238.36 c current bound: 2015 1241.27/1241.41 c current bound: 2015 1244.26/1244.45 c current bound: 2015 1247.27/1247.41 c current bound: 2015 1249.79/1250.48 c current bound: 2015 1253.36/1253.51 c current bound: 2015 1256.34/1256.55 c current bound: 2015 1259.45/1259.61 c current bound: 2015 1262.45/1262.62 c current bound: 2015 1265.00/1265.69 c current bound: 2015 1268.54/1268.74 c current bound: 2015 1271.53/1271.79 c current bound: 2015 1274.66/1274.82 c current bound: 2015 1277.17/1277.87 c current bound: 2015 1280.62/1280.89 c current bound: 2015 1283.74/1283.94 c current bound: 2015 1286.28/1286.97 c current bound: 2015 1289.85/1290.03 c current bound: 2015 1292.83/1293.07 c current bound: 2015 1295.92/1296.13 c current bound: 2015 1298.45/1299.16 c current bound: 2015 1302.03/1302.21 c current bound: 2015 1304.54/1305.25 c current bound: 2015 1308.13/1308.31 c current bound: 2015 1311.13/1311.34 c current bound: 2015 1313.68/1314.37 c current bound: 2015 1316.75/1317.44 c current bound: 2015 1320.23/1320.49 c current bound: 2015 1323.34/1323.52 c current bound: 2015 1325.85/1326.55 c current bound: 2015 1329.43/1329.60 c current bound: 2015 1332.43/1332.62 c current bound: 2015 1335.43/1335.66 c current bound: 2015 1337.98/1338.68 c current bound: 2015 1341.54/1341.71 c current bound: 2015 1344.52/1344.75 c current bound: 2015 1347.63/1347.81 c current bound: 2015 1350.15/1350.87 c current bound: 2015 1353.19/1353.89 c current bound: 2015 1356.25/1356.96 c current bound: 2015 1359.71/1359.98 c current bound: 2015 1362.85/1363.02 c current bound: 2015 1365.37/1366.07 c current bound: 2015 1368.94/1369.12 c current bound: 2015 1371.92/1372.15 c current bound: 2015 1374.94/1375.19 c current bound: 2015 1377.55/1378.23 c current bound: 2015 1380.59/1381.28 c current bound: 2015 1384.12/1384.34 c current bound: 2015 1387.23/1387.40 c current bound: 2015 1389.73/1390.43 c current bound: 2015 1392.76/1393.46 c current bound: 2015 1396.32/1396.53 c current bound: 2015 1399.32/1399.59 c current bound: 2015 1402.45/1402.63 c current bound: 2015 1404.99/1405.68 c current bound: 2015 1408.54/1408.71 c current bound: 2015 1411.52/1411.77 c current bound: 2015 1414.53/1414.80 c current bound: 2015 1417.16/1417.86 c current bound: 2015 1420.19/1420.88 c current bound: 2015 1423.74/1423.92 c current bound: 2015 1426.73/1426.96 c current bound: 2015 1429.27/1429.98 c current bound: 2015 1432.85/1433.02 c current bound: 2015 1435.84/1436.07 c current bound: 2015 1438.94/1439.12 c current bound: 2015 1441.50/1442.18 c current bound: 2015 1445.07/1445.21 c current bound: 2015 1447.57/1448.24 c current bound: 2015 1451.06/1451.29 c current bound: 2015 1454.16/1454.34 c current bound: 2015 1456.72/1457.40 c current bound: 2015 1460.27/1460.43 c current bound: 2015 1463.23/1463.49 c current bound: 2015 1466.33/1466.54 c current bound: 2015 1468.89/1469.59 c current bound: 2015 1472.44/1472.62 c current bound: 2015 1475.42/1475.67 c current bound: 2015 1478.55/1478.71 c current bound: 2015 1481.06/1481.74 c current bound: 2015 1484.10/1484.78 c current bound: 2015 1487.16/1487.85 c current bound: 2015 1490.64/1490.88 c current bound: 2015 1493.76/1493.93 c current bound: 2015 1496.29/1496.97 c current bound: 2015 1499.84/1500.00 c current bound: 2015 1502.85/1503.03 c current bound: 2015 1505.85/1506.08 c current bound: 2015 1508.45/1509.17 c current bound: 2015 1512.05/1512.23 c current bound: 2015 1515.03/1515.27 c current bound: 2015 1518.02/1518.29 c current bound: 2015 1520.63/1521.34 c current bound: 2015 1523.70/1524.39 c current bound: 2015 1526.75/1527.45 c current bound: 2015 1530.22/1530.48 c current bound: 2015 1533.32/1533.54 c current bound: 2015 1535.87/1536.58 c current bound: 2015 1539.42/1539.61 c current bound: 2015 1542.48/1542.70 c current bound: 2015 1545.51/1545.72 c current bound: 2015 1548.02/1548.76 c current bound: 2015 1551.05/1551.79 c current bound: 2015 1554.58/1554.86 c current bound: 2015 1557.58/1557.89 c current bound: 2015 1560.69/1560.93 c current bound: 2015 1563.21/1563.96 c current bound: 2015 1566.66/1566.95 c current bound: 2015 1569.67/1569.99 c current bound: 2015 1572.30/1573.05 c current bound: 2015 1575.33/1576.09 c current bound: 2015 1578.38/1579.14 c current bound: 2015 1581.85/1582.18 c current bound: 2015 1584.95/1585.24 c current bound: 2015 1587.50/1588.28 c current bound: 2015 1590.56/1591.34 c current bound: 2015 1594.15/1594.40 c current bound: 2015 1597.04/1597.38 c current bound: 2015 1600.15/1600.43 c current bound: 2015 1602.69/1603.49 c current bound: 2015 1606.23/1606.55 c current bound: 2015 1609.26/1609.59 c current bound: 2015 1612.34/1612.87 c current bound: 2015 1614.92/1615.94 c current bound: 2015 1617.97/1618.97 c current bound: 2015 1621.51/1622.03 c current bound: 2015 1624.50/1625.09 c current bound: 2015 1627.60/1628.16 c current bound: 2015 1630.71/1631.22 c current bound: 2015 1633.25/1634.28 c current bound: 2015 1636.81/1637.31 c current bound: 2015 1639.80/1640.38 c current bound: 2015 1642.42/1643.44 c current bound: 2015 1645.46/1646.49 c current bound: 2015 1648.51/1649.54 c current bound: 2015 1651.98/1652.57 c current bound: 2015 1654.55/1655.59 c current bound: 2015 1657.60/1658.64 c current bound: 2015 1660.66/1661.69 c current bound: 2015 1664.19/1664.76 c current bound: 2015 1667.31/1667.82 c current bound: 2015 1669.86/1670.88 c current bound: 2015 1672.93/1673.95 c current bound: 2015 1676.45/1676.95 c current bound: 2015 1679.46/1679.99 c current bound: 2015 1682.59/1683.03 c current bound: 2015 1685.13/1686.07 c current bound: 2015 1688.71/1689.11 c current bound: 2015 1691.72/1692.17 c current bound: 2015 1694.85/1695.21 c current bound: 2015 1697.26/1698.16 c current bound: 2015 1700.85/1701.20 c current bound: 2015 1703.85/1704.25 c current bound: 2015 1706.38/1707.26 c current bound: 2015 1709.98/1710.30 c current bound: 2015 1712.49/1713.34 c current bound: 2015 1716.09/1716.41 c current bound: 2015 1719.09/1719.47 c current bound: 2015 1721.69/1722.53 c current bound: 2015 1724.75/1725.57 c current bound: 2015 1728.35/1728.64 c current bound: 2015 1731.44/1731.70 c current bound: 2015 1733.97/1734.74 c current bound: 2015 1737.58/1737.81 c current bound: 2015 1740.09/1740.83 c current bound: 2015 1743.56/1743.90 c current bound: 2015 1746.69/1746.96 c current bound: 2015 1749.79/1750.02 c current bound: 2015 1752.34/1753.08 c current bound: 2015 1755.89/1756.13 c current bound: 2015 1758.89/1759.18 c current bound: 2015 1761.99/1762.22 c current bound: 2015 1764.53/1765.27 c current bound: 2015 1768.00/1768.23 c current bound: 2015 1771.03/1771.28 c current bound: 2015 1774.14/1774.33 c current bound: 2015 1777.15/1777.31 c current bound: 2015 1780.13/1780.36 c current bound: 2015 1783.27/1783.41 c current bound: 2015 1785.77/1786.45 c current bound: 2015 1788.84/1789.49 c current bound: 2015 1791.92/1792.56 c current bound: 2015 1795.51/1795.61 c current bound: 2015 1797.80/1797.91 c error: unexpected solver exit code 1797.80/1797.91 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-3715967-1338223027/watcher-3715967-1338223027 -o /tmp/evaluation-result-3715967-1338223027/solver-3715967-1338223027 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715967-1338223027.wbo 1360766583 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: 1.99 2.00 2.00 3/179 11949 /proc/meminfo: memFree=30629984/32873844 swapFree=7108/7108 [pid=11949] ppid=11947 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11949/stat : 11949 (npSolver-wbo-It) S 11947 11949 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288431299 9367552 275 33554432000 4194304 5064252 140737405130912 140737405129824 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11949/statm: 2287 275 233 213 0 72 0 [startup+0.101262 s] /proc/loadavg: 1.99 2.00 2.00 3/179 11949 /proc/meminfo: memFree=30629984/32873844 swapFree=7108/7108 [pid=11949] ppid=11947 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11949/stat : 11949 (npSolver-wbo-It) S 11947 11949 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288431299 9367552 275 33554432000 4194304 5064252 140737405130912 140737405129824 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11949/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.200348 s] /proc/loadavg: 1.99 2.00 2.00 3/179 11949 /proc/meminfo: memFree=30629984/32873844 swapFree=7108/7108 [pid=11949] ppid=11947 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11949/stat : 11949 (npSolver-wbo-It) S 11947 11949 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288431299 9367552 275 33554432000 4194304 5064252 140737405130912 140737405129824 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11949/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300326 s] /proc/loadavg: 1.99 2.00 2.00 3/179 11949 /proc/meminfo: memFree=30629984/32873844 swapFree=7108/7108 [pid=11949] ppid=11947 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11949/stat : 11949 (npSolver-wbo-It) S 11947 11949 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288431299 9367552 275 33554432000 4194304 5064252 140737405130912 140737405129824 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11949/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700236 s] /proc/loadavg: 1.99 2.00 2.00 3/179 11949 /proc/meminfo: memFree=30629984/32873844 swapFree=7108/7108 [pid=11949] ppid=11947 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11949/stat : 11949 (npSolver-wbo-It) S 11947 11949 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288431299 9367552 275 33554432000 4194304 5064252 140737405130912 140737405129824 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11949/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50044 s] /proc/loadavg: 1.99 2.00 2.00 3/183 11953 /proc/meminfo: memFree=30476248/32873844 swapFree=7108/7108 [pid=11949] ppid=11947 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11949/stat : 11949 (npSolver-wbo-It) S 11947 11949 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288431299 9367552 275 33554432000 4194304 5064252 140737405130912 140737405129824 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11949/statm: 2287 275 233 213 0 72 0 [pid=11950] ppid=11949 vsize=35420 CPUtime=0.85 cores=1,3,5,7 /proc/11950/stat : 11950 (npSolver-wbo) S 11949 11949 30917 0 -1 4202496 4097 0 0 0 82 3 0 0 20 0 1 0 288431299 36270080 6126 33554432000 4194304 5990268 140736526117616 140736526110768 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/11950/statm: 8855 6126 156 439 0 8412 0 [pid=11952] ppid=11950 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11952/stat : 11952 (cp2_pre.sh) S 11950 11949 30917 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 288431385 9367552 277 33554432000 4194304 5064252 140734861398512 140734861397216 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/11952/statm: 2287 277 234 213 0 72 0 [pid=11953] ppid=11952 vsize=154528 CPUtime=0.63 cores=1,3,5,7 /proc/11953/stat : 11953 (coprocessor) R 11952 11949 30917 0 -1 4202496 24722 0 0 0 58 5 0 0 20 0 1 0 288431385 158236672 33864 33554432000 4194304 6586260 140733712697104 140734861397240 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0 /proc/11953/statm: 38632 33864 166 584 0 38044 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 208244 [startup+3.10034 s] /proc/loadavg: 1.99 2.00 2.00 3/183 11953 /proc/meminfo: memFree=30402256/32873844 swapFree=7108/7108 [pid=11949] ppid=11947 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11949/stat : 11949 (npSolver-wbo-It) S 11947 11949 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288431299 9367552 275 33554432000 4194304 5064252 140737405130912 140737405129824 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11949/statm: 2287 275 233 213 0 72 0 [pid=11950] ppid=11949 vsize=35420 CPUtime=0.85 cores=1,3,5,7 /proc/11950/stat : 11950 (npSolver-wbo) S 11949 11949 30917 0 -1 4202496 4097 0 0 0 82 3 0 0 20 0 1 0 288431299 36270080 6126 33554432000 4194304 5990268 140736526117616 140736526110768 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/11950/statm: 8855 6126 156 439 0 8412 0 [pid=11952] ppid=11950 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11952/stat : 11952 (cp2_pre.sh) S 11950 11949 30917 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 288431385 9367552 277 33554432000 4194304 5064252 140734861398512 140734861397216 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/11952/statm: 2287 277 234 213 0 72 0 [pid=11953] ppid=11952 vsize=195516 CPUtime=2.23 cores=1,3,5,7 /proc/11953/stat : 11953 (coprocessor) R 11952 11949 30917 0 -1 4202496 32775 0 0 0 216 7 0 0 20 0 1 0 288431385 200208384 47568 33554432000 4194304 6586260 140733712697104 140733712692424 5599298 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0 /proc/11953/statm: 48879 47568 191 584 0 48291 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 249232 [startup+6.30041 s] /proc/loadavg: 1.99 2.00 2.00 3/183 11960 /proc/meminfo: memFree=30401252/32873844 swapFree=7108/7108 [pid=11949] ppid=11947 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11949/stat : 11949 (npSolver-wbo-It) S 11947 11949 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288431299 9367552 275 33554432000 4194304 5064252 140737405130912 140737405129824 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11949/statm: 2287 275 233 213 0 72 0 [pid=11950] ppid=11949 vsize=35420 CPUtime=0.85 cores=1,3,5,7 /proc/11950/stat : 11950 (npSolver-wbo) S 11949 11949 30917 0 -1 4202496 4097 0 0 0 82 3 0 0 20 0 1 0 288431299 36270080 6126 33554432000 4194304 5990268 140736526117616 140736526110768 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/11950/statm: 8855 6126 156 439 0 8412 0 [pid=11952] ppid=11950 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11952/stat : 11952 (cp2_pre.sh) S 11950 11949 30917 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 288431385 9367552 277 33554432000 4194304 5064252 140734861398512 140734861397216 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/11952/statm: 2287 277 234 213 0 72 0 [pid=11953] ppid=11952 vsize=202116 CPUtime=5.43 cores=1,3,5,7 /proc/11953/stat : 11953 (coprocessor) R 11952 11949 30917 0 -1 4202496 33852 0 0 0 535 8 0 0 20 0 1 0 288431385 206966784 49156 33554432000 4194304 6586260 140733712697104 140733712692696 4406687 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0 /proc/11953/statm: 50529 49156 196 584 0 49941 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 255832 [startup+12.7002 s] /proc/loadavg: 1.99 2.00 2.00 3/183 11977 /proc/meminfo: memFree=30473276/32873844 swapFree=7108/7108 [pid=11949] ppid=11947 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11949/stat : 11949 (npSolver-wbo-It) S 11947 11949 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288431299 9367552 275 33554432000 4194304 5064252 140737405130912 140737405129824 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11949/statm: 2287 275 233 213 0 72 0 [pid=11950] ppid=11949 vsize=55512 CPUtime=12.23 cores=1,3,5,7 /proc/11950/stat : 11950 (npSolver-wbo) S 11949 11949 30917 0 -1 4202496 6940 78348 0 0 99 33 1004 87 20 0 1 0 288431299 56844288 10725 33554432000 4194304 5990268 140736526117616 140736526108512 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/11950/statm: 13878 10725 180 439 0 13435 0 Current children cumulated CPU time (s) 12.23 Current children cumulated vsize (KiB) 64660 [startup+25.5005 s] /proc/loadavg: 2.06 2.02 2.00 3/183 12026 /proc/meminfo: memFree=30494404/32873844 swapFree=7108/7108 [pid=11949] ppid=11947 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11949/stat : 11949 (npSolver-wbo-It) S 11947 11949 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288431299 9367552 275 33554432000 4194304 5064252 140737405130912 140737405129824 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11949/statm: 2287 275 233 213 0 72 0 [pid=11950] ppid=11949 vsize=55512 CPUtime=25.03 cores=1,3,5,7 /proc/11950/stat : 11950 (npSolver-wbo) S 11949 11949 30917 0 -1 4202496 23345 204965 0 0 144 40 2146 173 20 0 1 0 288431299 56844288 10726 33554432000 4194304 5990268 140736526117616 140736526109024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/11950/statm: 13878 10726 181 439 0 13435 0 [pid=12025] ppid=11950 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/12025/stat : 12025 (satsolver.sh) S 11950 11949 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288433815 9367552 267 33554432000 4194304 5064252 140733730362608 140733730361520 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/12025/statm: 2287 267 226 213 0 72 0 [pid=12026] ppid=12025 vsize=94964 CPUtime=0.33 cores=1,3,5,7 /proc/12026/stat : 12026 (glucose) R 12025 11949 30917 0 -1 4202496 18779 0 0 0 30 3 0 0 20 0 1 0 288433815 97243136 20882 33554432000 4194304 5208918 140735034653552 140733730361544 4212881 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/12026/statm: 23741 20882 95 248 0 23490 0 Current children cumulated CPU time (s) 25.36 Current children cumulated vsize (KiB) 168772 [startup+51.1005 s] /proc/loadavg: 2.11 2.03 2.01 3/183 12110 /proc/meminfo: memFree=30474516/32873844 swapFree=7108/7108 [pid=11949] ppid=11947 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11949/stat : 11949 (npSolver-wbo-It) S 11947 11949 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288431299 9367552 275 33554432000 4194304 5064252 140737405130912 140737405129824 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11949/statm: 2287 275 233 213 0 72 0 [pid=11950] ppid=11949 vsize=55512 CPUtime=49.4 cores=1,3,5,7 /proc/11950/stat : 11950 (npSolver-wbo) S 11949 11949 30917 0 -1 4202496 49601 443386 0 0 216 48 4349 327 20 0 1 0 288431299 56844288 10726 33554432000 4194304 5990268 140736526117616 140736526109024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/11950/statm: 13878 10726 181 439 0 13435 0 [pid=12109] ppid=11950 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/12109/stat : 12109 (satsolver.sh) S 11950 11949 30917 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288436253 9367552 267 33554432000 4194304 5064252 140734974199024 140734974197936 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/12109/statm: 2287 267 226 213 0 72 0 [pid=12110] ppid=12109 vsize=95632 CPUtime=1.54 cores=1,3,5,7 /proc/12110/stat : 12110 (glucose) R 12109 11949 30917 0 -1 4202496 19570 0 0 0 151 3 0 0 20 0 1 0 288436253 97927168 21161 33554432000 4194304 5208918 140737188931664 140737188929608 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/12110/statm: 23908 21161 103 248 0 23657 0 Current children cumulated CPU time (s) 50.94 Current children cumulated vsize (KiB) 169440 [startup+102.3 s] /proc/loadavg: 2.16 2.05 2.01 3/183 12285 /proc/meminfo: memFree=30553996/32873844 swapFree=7108/7108 [pid=11949] ppid=11947 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11949/stat : 11949 (npSolver-wbo-It) S 11947 11949 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288431299 9367552 275 33554432000 4194304 5064252 140737405130912 140737405129824 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11949/statm: 2287 275 233 213 0 72 0 [pid=11950] ppid=11949 vsize=55512 CPUtime=101.15 cores=1,3,5,7 /proc/11950/stat : 11950 (npSolver-wbo) S 11949 11949 30917 0 -1 4202496 105395 946698 0 0 370 67 9020 658 20 0 1 0 288431299 56844288 10726 33554432000 4194304 5990268 140736526117616 140736526109024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/11950/statm: 13878 10726 181 439 0 13435 0 [pid=12284] ppid=11950 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/12284/stat : 12284 (satsolver.sh) S 11950 11949 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288441428 9367552 267 33554432000 4194304 5064252 140736591095616 140736591094528 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/12284/statm: 2287 267 226 213 0 72 0 [pid=12285] ppid=12284 vsize=95228 CPUtime=1 cores=1,3,5,7 /proc/12285/stat : 12285 (glucose) R 12284 11949 30917 0 -1 4202496 18924 0 0 0 95 5 0 0 20 0 1 0 288441428 97513472 21030 33554432000 4194304 5208918 140734448005840 140734448003688 4229424 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/12285/statm: 23807 21030 103 248 0 23556 0 Current children cumulated CPU time (s) 102.15 Current children cumulated vsize (KiB) 169036 [startup+162.3 s] /proc/loadavg: 2.10 2.06 2.01 3/184 12491 /proc/meminfo: memFree=30509008/32873844 swapFree=7108/7108 [pid=11949] ppid=11947 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11949/stat : 11949 (npSolver-wbo-It) S 11947 11949 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288431299 9367552 275 33554432000 4194304 5064252 140737405130912 140737405129824 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11949/statm: 2287 275 233 213 0 72 0 [pid=11950] ppid=11949 vsize=55512 CPUtime=162.06 cores=1,3,5,7 /proc/11950/stat : 11950 (npSolver-wbo) S 11949 11949 30917 0 -1 4202496 171035 1540065 0 0 550 91 14515 1050 20 0 1 0 288431299 56844288 10726 33554432000 4194304 5990268 140736526117616 140736526109024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/11950/statm: 13878 10726 181 439 0 13435 0 Current children cumulated CPU time (s) 162.06 Current children cumulated vsize (KiB) 64660 [startup+222.3 s] /proc/loadavg: 2.14 2.07 2.02 3/184 12701 /proc/meminfo: memFree=30468632/32873844 swapFree=7108/7108 [pid=11949] ppid=11947 vsize=9148 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ /proc/meminfo: memFree=30509540/32873844 swapFree=7108/7108 [pid=11949] ppid=11947 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11949/stat : 11949 (npSolver-wbo-It) S 11947 11949 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288431299 9367552 275 33554432000 4194304 5064252 140737405130912 140737405129824 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11949/statm: 2287 275 233 213 0 72 0 [pid=11950] ppid=11949 vsize=55512 CPUtime=1600.25 cores=1,3,5,7 /proc/11950/stat : 11950 (npSolver-wbo) S 11949 11949 30917 0 -1 4202496 1723421 15473904 0 0 4796 651 144390 10188 20 0 1 0 288431299 56844288 10726 33554432000 4194304 5990268 140736526117616 140736526109024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11950/statm: 13878 10726 181 439 0 13435 0 [pid=17480] ppid=11950 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17480/stat : 17480 (satsolver.sh) S 11950 11949 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288591350 9367552 267 33554432000 4194304 5064252 140736023374032 140736023372944 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/17480/statm: 2287 267 226 213 0 72 0 [pid=17481] ppid=17480 vsize=95628 CPUtime=1.77 cores=1,3,5,7 /proc/17481/stat : 17481 (glucose) R 17480 11949 30917 0 -1 4202496 18581 0 0 0 173 4 0 0 20 0 1 0 288591350 97923072 21193 33554432000 4194304 5208918 140737140671328 140737140669272 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/17481/statm: 23907 21193 103 248 0 23656 0 Current children cumulated CPU time (s) 1602.02 Current children cumulated vsize (KiB) 169436 [startup+1662.31 s] /proc/loadavg: 2.06 2.06 2.05 3/183 17691 /proc/meminfo: memFree=30467552/32873844 swapFree=7108/7108 [pid=11949] ppid=11947 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11949/stat : 11949 (npSolver-wbo-It) S 11947 11949 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288431299 9367552 275 33554432000 4194304 5064252 140737405130912 140737405129824 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11949/statm: 2287 275 233 213 0 72 0 [pid=11950] ppid=11949 vsize=55512 CPUtime=1661.29 cores=1,3,5,7 /proc/11950/stat : 11950 (npSolver-wbo) S 11949 11949 30917 0 -1 4202496 1789061 16065856 0 0 4976 675 149903 10575 20 0 1 0 288431299 56844288 10726 33554432000 4194304 5990268 140736526117616 140736526109024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11950/statm: 13878 10726 181 439 0 13435 0 [pid=17690] ppid=11950 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17690/stat : 17690 (satsolver.sh) S 11950 11949 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288597477 9367552 267 33554432000 4194304 5064252 140734678530096 140734678529008 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/17690/statm: 2287 267 226 213 0 72 0 [pid=17691] ppid=17690 vsize=95100 CPUtime=0.52 cores=1,3,5,7 /proc/17691/stat : 17691 (glucose) R 17690 11949 30917 0 -1 4202496 19730 0 0 0 48 4 0 0 20 0 1 0 288597477 97382400 21266 33554432000 4194304 5208918 140735422936944 140735422934792 4229850 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/17691/statm: 23775 21266 95 248 0 23524 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 168908 ############ # WARNING: # current cumulated CPU time (1710.08 s) is less than in the last sample (1712.38 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (2.30005 s) to the 'lost time'. [startup+1712.7 s] /proc/loadavg: 1.98 2.03 2.04 3/183 18957 /proc/meminfo: memFree=30518552/32873844 swapFree=7108/7108 [pid=11949] ppid=11947 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11949/stat : 11949 (npSolver-wbo-It) S 11947 11949 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288431299 9367552 275 33554432000 4194304 5064252 140737405130912 140737405129824 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11949/statm: 2287 275 233 213 0 72 0 [pid=11950] ppid=11949 vsize=55512 CPUtime=1710.08 cores=1,3,5,7 /proc/11950/stat : 11950 (npSolver-wbo) S 11949 11949 30917 0 -1 4202496 1841573 16542955 0 0 5120 693 154278 10917 20 0 1 0 288431299 56844288 10726 33554432000 4194304 5990268 140736526117616 140736526109024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11950/statm: 13878 10726 181 439 0 13435 0 [pid=18921] ppid=11950 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18921/stat : 18921 (satsolver.sh) S 11950 11949 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288602337 9367552 266 33554432000 4194304 5064252 140736540015408 140736540014320 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/18921/statm: 2287 266 226 213 0 72 0 [pid=18922] ppid=18921 vsize=97896 CPUtime=2.3 cores=1,3,5,7 /proc/18922/stat : 18922 (glucose) R 18921 11949 30917 0 -1 4202496 19290 0 0 0 226 4 0 0 20 0 1 0 288602338 100245504 21910 33554432000 4194304 5208918 140737239232640 140737239229160 4686132 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/18922/statm: 24474 21910 105 248 0 24223 0 Current children cumulated CPU time (s) 1712.38 Current children cumulated vsize (KiB) 171704 [startup+1712.8 s] /proc/loadavg: 1.98 2.03 2.04 3/183 18985 /proc/meminfo: memFree=30528784/32873844 swapFree=7108/7108 [pid=11949] ppid=11947 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11949/stat : 11949 (npSolver-wbo-It) S 11947 11949 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288431299 9367552 275 33554432000 4194304 5064252 140737405130912 140737405129824 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11949/statm: 2287 275 233 213 0 72 0 [pid=11950] ppid=11949 vsize=55512 CPUtime=1710.08 cores=1,3,5,7 /proc/11950/stat : 11950 (npSolver-wbo) R 11949 11949 30917 0 -1 4202496 1841573 16542955 0 0 5120 693 154278 10917 20 0 1 0 288431299 56844288 10726 33554432000 4194304 5990268 140736526117616 140736526109024 5173822 0 65536 4102 0 0 0 0 17 5 0 0 0 0 0 /proc/11950/statm: 13878 10726 181 439 0 13435 0 Current children cumulated CPU time (s) 1710.08 Current children cumulated vsize (KiB) 64660 # ############ [startup+1722.3 s] /proc/loadavg: 1.98 2.03 2.04 3/183 19237 /proc/meminfo: memFree=30518556/32873844 swapFree=7108/7108 [pid=11949] ppid=11947 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11949/stat : 11949 (npSolver-wbo-It) S 11947 11949 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288431299 9367552 275 33554432000 4194304 5064252 140737405130912 140737405129824 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11949/statm: 2287 275 233 213 0 72 0 [pid=11950] ppid=11949 vsize=55512 CPUtime=1721.69 cores=1,3,5,7 /proc/11950/stat : 11950 (npSolver-wbo) S 11949 11949 30917 0 -1 4202496 1851425 16652282 0 0 5146 697 155344 10982 20 0 1 0 288431299 56844288 10726 33554432000 4194304 5990268 140736526117616 140736526108512 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11950/statm: 13878 10726 181 439 0 13435 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 64660 [startup+1782.3 s] /proc/loadavg: 1.99 2.02 2.04 3/183 20946 /proc/meminfo: memFree=30517668/32873844 swapFree=7108/7108 [pid=11949] ppid=11947 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11949/stat : 11949 (npSolver-wbo-It) S 11947 11949 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288431299 9367552 275 33554432000 4194304 5064252 140737405130912 140737405129824 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11949/statm: 2287 275 233 213 0 72 0 [pid=11950] ppid=11949 vsize=55512 CPUtime=1780.3 cores=1,3,5,7 /proc/11950/stat : 11950 (npSolver-wbo) S 11949 11949 30917 0 -1 4202496 1884983 17215724 0 0 5325 718 160607 11380 20 0 1 0 288431299 56844288 10726 33554432000 4194304 5990268 140736526117616 140736526109024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11950/statm: 13878 10726 181 439 0 13435 0 [pid=20900] ppid=11950 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20900/stat : 20900 (satsolver.sh) S 11950 11949 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288609344 9367552 267 33554432000 4194304 5064252 140736440727440 140736440726352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/20900/statm: 2287 267 226 213 0 72 0 [pid=20901] ppid=20900 vsize=95628 CPUtime=1.84 cores=1,3,5,7 /proc/20901/stat : 20901 (glucose) R 20900 11949 30917 0 -1 4202496 19600 0 0 0 179 5 0 0 20 0 1 0 288609344 97923072 21198 33554432000 4194304 5208918 140736282347552 140736282345496 4229254 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/20901/statm: 23907 21198 103 248 0 23656 0 Current children cumulated CPU time (s) 1782.14 Current children cumulated vsize (KiB) 169436 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.9 s] /proc/loadavg: 1.99 2.02 2.04 3/183 21398 /proc/meminfo: memFree=30504760/32873844 swapFree=7108/7108 [pid=11949] ppid=11947 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11949/stat : 11949 (npSolver-wbo-It) S 11947 11949 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288431299 9367552 275 33554432000 4194304 5064252 140737405130912 140737405129824 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11949/statm: 2287 275 233 213 0 72 0 [pid=11950] ppid=11949 vsize=55512 CPUtime=1795.6 cores=1,3,5,7 /proc/11950/stat : 11950 (npSolver-wbo) S 11949 11949 30917 0 -1 4202496 1892483 17363712 0 0 5370 723 161982 11485 20 0 1 0 288431299 56844288 10726 33554432000 4194304 5990268 140736526117616 140736526109024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11950/statm: 13878 10726 181 439 0 13435 0 [pid=21337] ppid=11950 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21337/stat : 21337 (satsolver.sh) S 11950 11949 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288610868 9367552 267 33554432000 4194304 5064252 140734951722480 140734951721392 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/21337/statm: 2287 267 226 213 0 72 0 [pid=21339] ppid=21337 vsize=96552 CPUtime=2.2 cores=1,3,5,7 /proc/21339/stat : 21339 (glucose) R 21337 11949 30917 0 -1 4202496 19338 0 0 0 217 3 0 0 20 0 1 0 288610869 98869248 21437 33554432000 4194304 5208918 140735092851376 140735092849320 4465602 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/21339/statm: 24138 21437 103 248 0 23887 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 170360 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1797.9 s] /proc/loadavg: 1.99 2.02 2.04 3/183 21398 /proc/meminfo: memFree=30504760/32873844 swapFree=7108/7108 [pid=11949] ppid=11947 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11949/stat : 11949 (npSolver-wbo-It) S 11947 11949 30917 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288431299 9367552 275 33554432000 4194304 5064252 140737405130912 140737405129824 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11949/statm: 2287 275 233 213 0 72 0 [pid=11950] ppid=11949 vsize=55512 CPUtime=1795.6 cores=1,3,5,7 /proc/11950/stat : 11950 (npSolver-wbo) S 11949 11949 30917 0 -1 4202496 1892483 17363712 0 0 5370 723 161982 11485 20 0 1 0 288431299 56844288 10726 33554432000 4194304 5990268 140736526117616 140736526109024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11950/statm: 13878 10726 181 439 0 13435 0 [pid=21337] ppid=11950 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21337/stat : 21337 (satsolver.sh) S 11950 11949 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288610868 9367552 267 33554432000 4194304 5064252 140734951722480 140734951721392 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/21337/statm: 2287 267 226 213 0 72 0 [pid=21339] ppid=21337 vsize=96552 CPUtime=2.2 cores=1,3,5,7 /proc/21339/stat : 21339 (glucose) R 21337 11949 30917 0 -1 4202496 19338 0 0 0 217 3 0 0 20 0 1 0 288610869 98869248 21437 33554432000 4194304 5208918 140735092851376 140735092849320 4465602 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/21339/statm: 24138 21437 103 248 0 23887 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 170360 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 11949 and gives # childrusage.ru_utime.tv_sec=1673 # childrusage.ru_utime.tv_usec=534584 # childrusage.ru_stime.tv_sec=122 # childrusage.ru_stime.tv_usec=96438 # CPU time returned by wait4() is 1795.63 # while last known CPU time is 1797.8 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # 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.30005 # lost CPU user time (s): 2.26001 # lost CPU system time (s): 0.0400009 Real time (s): 1797.91 CPU time (s): 1800.1 CPU user time (s): 1677.95 CPU system time (s): 122.15 CPU usage (%): 100.122 Max. virtual memory (cumulated for all children) (KiB): 285660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1673.53 system time used= 122.096 maximum resident set size= 224952 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19257171 page faults= 0 swaps= 0 block input operations= 0 block output operations= 19725360 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 472929 involuntary context switches= 11984 runsolver used 3.3025 second user time and 8.5727 second system time The end
Begin job on node103 at 2012-05-28 18:37:07 IDJOB=3715967 IDBENCH=79182 IDSOLVER=2297 FILE ID=node103/3715967-1338223027 RUNJOBID= node103-1338193626-30934 PBS_JOBID= 14624588 Free space on /tmp= 71540 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100--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-3715967-1338223027/watcher-3715967-1338223027 -o /tmp/evaluation-result-3715967-1338223027/solver-3715967-1338223027 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715967-1338223027.wbo 1360766583 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0a60736b8b79adacf122a04a37158c9c RANDOM SEED=1360766583 node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.37 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 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 : 2666.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 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 : 5411.36 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30629992 kB Buffers: 665348 kB Cached: 650500 kB SwapCached: 4492 kB Active: 1021968 kB Inactive: 364192 kB Active(anon): 58648 kB Inactive(anon): 6216 kB Active(file): 963320 kB Inactive(file): 357976 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67099580 kB Dirty: 13116 kB Writeback: 0 kB AnonPages: 74656 kB Mapped: 12796 kB Shmem: 8 kB Slab: 718688 kB SReclaimable: 160120 kB SUnreclaim: 558568 kB KernelStack: 1520 kB PageTables: 4188 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 187732 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 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= 71508 MiB End job on node103 at 2012-05-28 19:07:05