Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
npSolver inc-topdown-quickBound (fixed) | ? (TO) | 1800.02 | 1792.11 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_2.opb |
MD5SUM | c0264878059fff5e6fa5f51839a60b24 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 1789.77 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | NO |
Number of variables | 120 |
Total number of constraints | 10 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 10 |
Minimum length of a constraint | 54 |
Maximum length of a constraint | 56 |
Number of terms in the objective function | 80 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 2550 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1196 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4099 |
Number of bits of the biggest sum of numbers | 13 |
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.31 c run inc solver 0.00/0.31 c [INC SYSTEM] run initial solver 0.00/0.31 c [INC SYSTEM] preprocess with white file 2.08/2.17 c [INC SYSTEM] finished preprocessing in 1 s 2.08/2.17 c [INC SYSTEM] execute solver 2.15/2.38 c [INC SEARCH] formula is SAT 2.15/2.39 c [INC SYSTEM] solved the initial formula 2.15/2.39 c model valid 2.15/2.39 c current solution ok 2.67/3.05 o 1385 2.67/3.05 c starting approximation 2.67/3.05 c factor = 2 2.67/3.05 c current bound: 692 11.21/11.48 c model valid 11.21/11.48 c current solution ok 11.21/11.50 c current bound: 692 19.81/20.07 c model valid 19.81/20.07 c current solution ok 19.81/20.08 c current bound: 692 28.35/28.62 c model valid 28.35/28.62 c current solution ok 28.35/28.63 c current bound: 692 36.97/37.24 c model valid 36.97/37.24 c current solution ok 36.97/37.25 c current bound: 692 45.48/45.76 c model valid 45.48/45.76 c current solution ok 45.48/45.77 c current bound: 692 54.03/54.31 c model valid 54.03/54.31 c current solution ok 54.03/54.32 c current bound: 692 62.62/62.89 c model valid 62.62/62.89 c current solution ok 62.74/62.91 c current bound: 692 71.24/71.46 c model valid 71.24/71.46 c current solution ok 71.24/71.47 c current bound: 692 79.64/79.80 c model valid 79.64/79.80 c current solution ok 79.64/79.81 c current bound: 692 88.01/88.28 c model valid 88.01/88.28 c current solution ok 88.01/88.29 c current bound: 692 96.73/96.91 c model valid 96.73/96.91 c current solution ok 96.73/96.92 c current bound: 692 105.18/105.44 c model valid 105.18/105.44 c current solution ok 105.18/105.45 c current bound: 692 113.73/114.01 c model valid 113.73/114.01 c current solution ok 113.73/114.02 c current bound: 692 122.41/122.69 c model valid 122.41/122.69 c current solution ok 122.53/122.70 c current bound: 692 131.18/131.46 c model valid 131.18/131.46 c current solution ok 131.18/131.47 c current bound: 692 139.79/140.09 c model valid 139.79/140.09 c current solution ok 139.91/140.10 c current bound: 692 148.39/148.68 c model valid 148.39/148.68 c current solution ok 148.39/148.69 c current bound: 692 157.04/157.32 c model valid 157.04/157.32 c current solution ok 157.04/157.33 c current bound: 692 166.01/166.31 c model valid 166.01/166.31 c current solution ok 166.01/166.32 c current bound: 692 174.84/175.15 c model valid 174.84/175.15 c current solution ok 174.84/175.16 c current bound: 692 183.79/184.01 c model valid 183.79/184.01 c current solution ok 183.79/184.02 c current bound: 692 192.42/192.74 c model valid 192.42/192.74 c current solution ok 192.42/192.76 c current bound: 692 201.08/201.42 c model valid 201.08/201.42 c current solution ok 201.08/201.43 c current bound: 692 209.68/209.90 c model valid 209.68/209.90 c current solution ok 209.68/209.91 c current bound: 692 218.17/218.51 c model valid 218.17/218.51 c current solution ok 218.17/218.52 c current bound: 692 226.66/227.01 c model valid 226.66/227.01 c current solution ok 226.66/227.02 c current bound: 692 235.60/235.95 c model valid 235.60/235.95 c current solution ok 235.60/235.96 c current bound: 692 244.55/244.80 c model valid 244.55/244.80 c current solution ok 244.55/244.81 c current bound: 692 253.29/253.66 c model valid 253.29/253.66 c current solution ok 253.29/253.68 c current bound: 692 262.07/262.45 c model valid 262.07/262.45 c current solution ok 262.07/262.46 c current bound: 692 270.78/271.16 c model valid 270.78/271.16 c current solution ok 270.78/271.18 c current bound: 692 279.51/279.80 c model valid 279.51/279.80 c current solution ok 279.51/279.81 c current bound: 692 288.04/288.44 c model valid 288.04/288.44 c current solution ok 288.04/288.45 c current bound: 692 296.93/297.33 c model valid 296.93/297.33 c current solution ok 296.93/297.34 c current bound: 692 305.91/306.31 c model valid 305.91/306.31 c current solution ok 305.91/306.32 c current bound: 692 314.80/315.22 c model valid 314.80/315.22 c current solution ok 314.80/315.23 c current bound: 692 323.67/324.09 c model valid 323.67/324.09 c current solution ok 323.78/324.10 c current bound: 692 332.57/332.90 c model valid 332.57/332.90 c current solution ok 332.57/332.91 c current bound: 692 341.26/341.60 c model valid 341.26/341.60 c current solution ok 341.26/341.61 c current bound: 692 349.83/350.29 c model valid 349.83/350.29 c current solution ok 349.95/350.30 c current bound: 692 358.40/358.86 c model valid 358.40/358.86 c current solution ok 358.40/358.87 c current bound: 692 367.01/367.48 c model valid 367.01/367.48 c current solution ok 367.01/367.49 c current bound: 692 375.93/376.42 c model valid 375.93/376.42 c current solution ok 375.93/376.43 c current bound: 692 384.81/385.28 c model valid 384.81/385.28 c current solution ok 384.81/385.29 c current bound: 692 393.70/394.17 c model valid 393.70/394.17 c current solution ok 393.70/394.18 c current bound: 692 402.42/402.91 c model valid 402.42/402.91 c current solution ok 402.42/402.92 c current bound: 692 411.15/411.66 c model valid 411.15/411.66 c current solution ok 411.15/411.67 c current bound: 692 419.84/420.35 c model valid 419.84/420.35 c current solution ok 419.84/420.36 c current bound: 692 428.37/428.88 c model valid 428.37/428.88 c current solution ok 428.37/428.89 c current bound: 692 436.92/437.43 c model valid 436.92/437.43 c current solution ok 436.92/437.44 c current bound: 692 445.86/446.38 c model valid 445.86/446.38 c current solution ok 445.86/446.39 c current bound: 692 454.78/455.30 c model valid 454.78/455.30 c current solution ok 454.90/455.31 c current bound: 692 463.68/464.16 c model valid 463.68/464.16 c current solution ok 463.68/464.17 c current bound: 692 472.23/472.77 c model valid 472.23/472.77 c current solution ok 472.23/472.78 c current bound: 692 480.97/481.51 c model valid 480.97/481.51 c current solution ok 480.97/481.52 c current bound: 692 489.66/490.21 c model valid 489.66/490.21 c current solution ok 489.66/490.22 c current bound: 692 498.27/498.82 c model valid 498.27/498.82 c current solution ok 498.27/498.84 c current bound: 692 506.96/507.40 c model valid 506.96/507.40 c current solution ok 506.96/507.41 c current bound: 692 515.38/515.94 c model valid 515.38/515.94 c current solution ok 515.38/515.95 c current bound: 692 524.02/524.58 c model valid 524.02/524.58 c current solution ok 524.02/524.59 c current bound: 692 532.76/533.21 c model valid 532.76/533.21 c current solution ok 532.76/533.22 c current bound: 692 541.23/541.77 c model valid 541.23/541.77 c current solution ok 541.23/541.79 c current bound: 692 549.83/550.38 c model valid 549.83/550.38 c current solution ok 549.83/550.39 c current bound: 692 558.47/559.01 c model valid 558.47/559.01 c current solution ok 558.47/559.02 c current bound: 692 567.04/567.54 c model valid 567.04/567.54 c current solution ok 567.04/567.55 c current bound: 692 575.16/575.72 c model valid 575.16/575.72 c current solution ok 575.16/575.73 c current bound: 692 583.70/584.25 c model valid 583.70/584.25 c current solution ok 583.70/584.26 c current bound: 692 592.26/592.70 c model valid 592.26/592.70 c current solution ok 592.26/592.71 c current bound: 692 600.72/601.28 c model valid 600.72/601.28 c current solution ok 600.72/601.29 c current bound: 692 609.13/609.69 c model valid 609.13/609.69 c current solution ok 609.24/609.71 c current bound: 692 617.85/618.31 c model valid 617.85/618.31 c current solution ok 617.85/618.32 c current bound: 692 626.45/626.94 c model valid 626.45/626.94 c current solution ok 626.45/626.95 c current bound: 692 635.02/635.57 c model valid 635.02/635.57 c current solution ok 635.02/635.58 c current bound: 692 643.54/644.09 c model valid 643.54/644.09 c current solution ok 643.65/644.10 c current bound: 692 652.17/652.73 c model valid 652.17/652.73 c current solution ok 652.17/652.74 c current bound: 692 660.61/661.16 c model valid 660.61/661.16 c current solution ok 660.61/661.18 c current bound: 692 669.13/669.69 c model valid 669.13/669.69 c current solution ok 669.24/669.70 c current bound: 692 677.72/678.28 c model valid 677.72/678.28 c current solution ok 677.83/678.30 c current bound: 692 686.45/686.90 c model valid 686.45/686.90 c current solution ok 686.45/686.91 c current bound: 692 694.96/695.52 c model valid 694.96/695.52 c current solution ok 694.96/695.53 c current bound: 692 703.49/704.05 c model valid 703.49/704.05 c current solution ok 703.49/704.06 c current bound: 692 711.95/712.52 c model valid 711.95/712.52 c current solution ok 711.95/712.53 c current bound: 692 720.57/721.14 c model valid 720.57/721.14 c current solution ok 720.57/721.15 c current bound: 692 729.18/729.75 c model valid 729.18/729.75 c current solution ok 729.18/729.76 c current bound: 692 737.76/738.33 c model valid 737.76/738.33 c current solution ok 737.76/738.34 c current bound: 692 746.34/746.88 c model valid 746.34/746.88 c current solution ok 746.34/746.89 c current bound: 692 754.85/755.42 c model valid 754.85/755.42 c current solution ok 754.85/755.43 c current bound: 692 763.39/763.96 c model valid 763.39/763.96 c current solution ok 763.39/763.97 c current bound: 692 771.88/772.46 c model valid 771.88/772.46 c current solution ok 771.88/772.47 c current bound: 692 780.51/781.08 c model valid 780.51/781.08 c current solution ok 780.51/781.09 c current bound: 692 789.11/789.70 c model valid 789.11/789.70 c current solution ok 789.22/789.71 c current bound: 692 797.66/798.25 c model valid 797.66/798.25 c current solution ok 797.66/798.26 c current bound: 692 806.28/806.85 c model valid 806.28/806.85 c current solution ok 806.28/806.86 c current bound: 692 814.89/815.47 c model valid 814.89/815.47 c current solution ok 814.89/815.48 c current bound: 692 823.43/824.01 c model valid 823.43/824.01 c current solution ok 823.43/824.02 c current bound: 692 831.93/832.51 c model valid 831.93/832.51 c current solution ok 831.93/832.52 c current bound: 692 840.50/841.09 c model valid 840.50/841.09 c current solution ok 840.61/841.10 c current bound: 692 849.13/849.72 c model valid 849.13/849.72 c current solution ok 849.13/849.73 c current bound: 692 857.59/858.18 c model valid 857.59/858.18 c current solution ok 857.59/858.19 c current bound: 692 866.21/866.75 c model valid 866.21/866.75 c current solution ok 866.21/866.76 c current bound: 692 874.78/875.37 c model valid 874.78/875.37 c current solution ok 874.78/875.38 c current bound: 692 883.39/883.99 c model valid 883.39/883.99 c current solution ok 883.51/884.00 c current bound: 692 892.02/892.61 c model valid 892.02/892.61 c current solution ok 892.02/892.62 c current bound: 692 900.63/901.10 c model valid 900.63/901.10 c current solution ok 900.63/901.11 c current bound: 692 909.23/909.71 c model valid 909.23/909.71 c current solution ok 909.23/909.72 c current bound: 692 917.67/918.26 c model valid 917.67/918.26 c current solution ok 917.67/918.27 c current bound: 692 926.27/926.85 c model valid 926.27/926.85 c current solution ok 926.27/926.86 c current bound: 692 934.73/935.32 c model valid 934.73/935.32 c current solution ok 934.73/935.33 c current bound: 692 943.30/943.89 c model valid 943.30/943.89 c current solution ok 943.41/943.90 c current bound: 692 952.03/952.51 c model valid 952.03/952.51 c current solution ok 952.03/952.53 c current bound: 692 960.48/961.06 c model valid 960.48/961.06 c current solution ok 960.48/961.07 c current bound: 692 968.86/969.46 c model valid 968.86/969.46 c current solution ok 968.86/969.47 c current bound: 692 977.49/978.08 c model valid 977.49/978.08 c current solution ok 977.49/978.09 c current bound: 692 986.21/986.70 c model valid 986.21/986.70 c current solution ok 986.21/986.72 c current bound: 692 994.74/995.32 c model valid 994.74/995.32 c current solution ok 994.74/995.33 c current bound: 692 1003.27/1003.85 c model valid 1003.27/1003.85 c current solution ok 1003.27/1003.87 c current bound: 692 1011.89/1012.48 c model valid 1011.89/1012.48 c current solution ok 1011.89/1012.49 c current bound: 692 1020.50/1021.09 c model valid 1020.50/1021.09 c current solution ok 1020.61/1021.10 c current bound: 692 1029.01/1029.59 c model valid 1029.01/1029.59 c current solution ok 1029.11/1029.60 c current bound: 692 1037.59/1038.18 c model valid 1037.59/1038.18 c current solution ok 1037.59/1038.19 c current bound: 692 1046.03/1046.62 c model valid 1046.03/1046.62 c current solution ok 1046.03/1046.64 c current bound: 692 1054.66/1055.25 c model valid 1054.66/1055.25 c current solution ok 1054.66/1055.26 c current bound: 692 1063.11/1063.71 c model valid 1063.11/1063.71 c current solution ok 1063.11/1063.72 c current bound: 692 1071.66/1072.26 c model valid 1071.66/1072.26 c current solution ok 1071.66/1072.27 c current bound: 692 1080.28/1080.88 c model valid 1080.28/1080.88 c current solution ok 1080.28/1080.90 c current bound: 692 1088.91/1089.51 c model valid 1088.91/1089.51 c current solution ok 1088.91/1089.52 c current bound: 692 1097.36/1097.97 c model valid 1097.36/1097.97 c current solution ok 1097.36/1097.98 c current bound: 692 1106.00/1106.55 c model valid 1106.00/1106.55 c current solution ok 1106.00/1106.56 c current bound: 692 1114.42/1115.02 c model valid 1114.42/1115.02 c current solution ok 1114.42/1115.03 c current bound: 692 1122.97/1123.58 c model valid 1122.97/1123.58 c current solution ok 1122.97/1123.59 c current bound: 692 1131.47/1132.08 c model valid 1131.47/1132.08 c current solution ok 1131.47/1132.09 c current bound: 692 1140.11/1140.61 c model valid 1140.11/1140.61 c current solution ok 1140.11/1140.62 c current bound: 692 1148.66/1149.26 c model valid 1148.66/1149.26 c current solution ok 1148.66/1149.27 c current bound: 692 1157.20/1157.70 c model valid 1157.20/1157.70 c current solution ok 1157.20/1157.71 c current bound: 692 1165.65/1166.25 c model valid 1165.65/1166.25 c current solution ok 1165.65/1166.26 c current bound: 692 1174.24/1174.85 c model valid 1174.24/1174.85 c current solution ok 1174.24/1174.86 c current bound: 692 1182.80/1183.30 c model valid 1182.80/1183.30 c current solution ok 1182.80/1183.32 c current bound: 692 1191.15/1191.75 c model valid 1191.15/1191.75 c current solution ok 1191.15/1191.77 c current bound: 692 1199.73/1200.33 c model valid 1199.73/1200.33 c current solution ok 1199.73/1200.34 c current bound: 692 1208.35/1208.96 c model valid 1208.35/1208.96 c current solution ok 1208.35/1208.97 c current bound: 692 1216.98/1217.59 c model valid 1216.98/1217.59 c current solution ok 1216.98/1217.60 c current bound: 692 1225.52/1226.12 c model valid 1225.52/1226.12 c current solution ok 1225.52/1226.13 c current bound: 692 1234.15/1234.75 c model valid 1234.15/1234.75 c current solution ok 1234.15/1234.76 c current bound: 692 1242.80/1243.30 c model valid 1242.80/1243.30 c current solution ok 1242.80/1243.31 c current bound: 692 1251.19/1251.73 c model valid 1251.19/1251.73 c current solution ok 1251.19/1251.74 c current bound: 692 1259.71/1260.20 c model valid 1259.71/1260.20 c current solution ok 1259.71/1260.21 c current bound: 692 1268.24/1268.84 c model valid 1268.24/1268.84 c current solution ok 1268.24/1268.85 c current bound: 692 1276.81/1277.30 c model valid 1276.81/1277.30 c current solution ok 1276.81/1277.31 c current bound: 692 1285.30/1285.83 c model valid 1285.30/1285.83 c current solution ok 1285.30/1285.84 c current bound: 692 1293.72/1294.34 c model valid 1293.72/1294.34 c current solution ok 1293.72/1294.35 c current bound: 692 1302.40/1302.90 c model valid 1302.40/1302.90 c current solution ok 1302.40/1302.91 c current bound: 692 1310.91/1311.52 c model valid 1310.91/1311.52 c current solution ok 1310.91/1311.54 c current bound: 692 1319.59/1320.10 c model valid 1319.59/1320.10 c current solution ok 1319.59/1320.11 c current bound: 692 1327.98/1328.59 c model valid 1327.98/1328.59 c current solution ok 1328.10/1328.60 c current bound: 692 1336.56/1337.17 c model valid 1336.56/1337.17 c current solution ok 1336.56/1337.18 c current bound: 692 1345.18/1345.79 c model valid 1345.18/1345.79 c current solution ok 1345.29/1345.80 c current bound: 692 1353.77/1354.37 c model valid 1353.77/1354.37 c current solution ok 1353.77/1354.39 c current bound: 692 1362.34/1362.96 c model valid 1362.34/1362.96 c current solution ok 1362.34/1362.97 c current bound: 692 1370.97/1371.58 c model valid 1370.97/1371.58 c current solution ok 1370.97/1371.59 c current bound: 692 1379.58/1380.20 c model valid 1379.58/1380.20 c current solution ok 1379.70/1380.21 c current bound: 692 1388.29/1388.80 c model valid 1388.29/1388.80 c current solution ok 1388.29/1388.81 c current bound: 692 1396.78/1397.39 c model valid 1396.78/1397.39 c current solution ok 1396.89/1397.41 c current bound: 692 1405.41/1406.03 c model valid 1405.41/1406.03 c current solution ok 1405.41/1406.04 c current bound: 692 1413.99/1414.57 c model valid 1413.99/1414.57 c current solution ok 1413.99/1414.58 c current bound: 692 1422.52/1423.13 c model valid 1422.52/1423.13 c current solution ok 1422.52/1423.14 c current bound: 692 1430.95/1431.57 c model valid 1430.95/1431.57 c current solution ok 1430.95/1431.58 c current bound: 692 1439.52/1440.13 c model valid 1439.52/1440.13 c current solution ok 1439.52/1440.14 c current bound: 692 1448.15/1448.76 c model valid 1448.15/1448.76 c current solution ok 1448.15/1448.78 c current bound: 692 1456.72/1457.33 c model valid 1456.72/1457.33 c current solution ok 1456.72/1457.35 c current bound: 692 1465.23/1465.84 c model valid 1465.23/1465.84 c current solution ok 1465.23/1465.85 c current bound: 692 1473.79/1474.30 c model valid 1473.79/1474.30 c current solution ok 1473.79/1474.31 c current bound: 692 1482.32/1482.93 c model valid 1482.32/1482.93 c current solution ok 1482.32/1482.95 c current bound: 692 1490.99/1491.52 c model valid 1490.99/1491.52 c current solution ok 1490.99/1491.53 c current bound: 692 1499.46/1500.06 c model valid 1499.46/1500.06 c current solution ok 1499.46/1500.07 c current bound: 692 1508.20/1508.70 c model valid 1508.20/1508.70 c current solution ok 1508.20/1508.71 c current bound: 692 1516.65/1517.27 c model valid 1516.65/1517.27 c current solution ok 1516.65/1517.28 c current bound: 692 1525.12/1525.73 c model valid 1525.12/1525.73 c current solution ok 1525.12/1525.74 c current bound: 692 1533.75/1534.36 c model valid 1533.75/1534.36 c current solution ok 1533.75/1534.37 c current bound: 692 1542.40/1542.90 c model valid 1542.40/1542.90 c current solution ok 1542.40/1542.91 c current bound: 692 1550.90/1551.52 c model valid 1550.90/1551.52 c current solution ok 1550.90/1551.53 c current bound: 692 1559.38/1559.99 c model valid 1559.38/1559.99 c current solution ok 1559.48/1560.00 c current bound: 692 1567.97/1568.55 c model valid 1567.97/1568.55 c current solution ok 1567.97/1568.56 c current bound: 692 1576.49/1577.00 c model valid 1576.49/1577.00 c current solution ok 1576.49/1577.01 c current bound: 692 1585.00/1585.62 c model valid 1585.00/1585.62 c current solution ok 1585.00/1585.63 c current bound: 692 1593.44/1594.05 c model valid 1593.44/1594.05 c current solution ok 1593.44/1594.06 c current bound: 692 1601.97/1602.58 c model valid 1601.97/1602.58 c current solution ok 1601.97/1602.59 c current bound: 692 1610.52/1611.14 c model valid 1610.52/1611.14 c current solution ok 1610.52/1611.15 c current bound: 692 1619.18/1619.70 c model valid 1619.18/1619.70 c current solution ok 1619.18/1619.71 c current bound: 692 1627.65/1628.27 c model valid 1627.65/1628.27 c current solution ok 1627.65/1628.28 c current bound: 692 1636.21/1636.83 c model valid 1636.21/1636.83 c current solution ok 1636.21/1636.84 c current bound: 692 1644.77/1645.39 c model valid 1644.77/1645.39 c current solution ok 1644.89/1645.40 c current bound: 692 1653.35/1653.97 c model valid 1653.35/1653.97 c current solution ok 1653.35/1653.98 c current bound: 692 1662.09/1662.60 c model valid 1662.09/1662.60 c current solution ok 1662.09/1662.61 c current bound: 692 1670.60/1671.21 c model valid 1670.60/1671.21 c current solution ok 1670.60/1671.23 c current bound: 692 1679.22/1679.84 c model valid 1679.22/1679.84 c current solution ok 1679.22/1679.85 c current bound: 692 1687.88/1688.43 c model valid 1687.88/1688.43 c current solution ok 1687.88/1688.44 c current bound: 692 1696.44/1697.05 c model valid 1696.44/1697.05 c current solution ok 1696.44/1697.06 c current bound: 692 1705.05/1705.66 c model valid 1705.05/1705.66 c current solution ok 1705.05/1705.67 c current bound: 692 1713.54/1714.15 c model valid 1713.54/1714.15 c current solution ok 1713.54/1714.17 c current bound: 692 1721.99/1722.56 c model valid 1721.99/1722.56 c current solution ok 1721.99/1722.57 c current bound: 692 1730.55/1731.17 c model valid 1730.55/1731.17 c current solution ok 1730.55/1731.19 c current bound: 692 1739.11/1739.72 c model valid 1739.11/1739.72 c current solution ok 1739.11/1739.73 c current bound: 692 1747.79/1748.31 c model valid 1747.79/1748.31 c current solution ok 1747.79/1748.32 c current bound: 692 1756.30/1756.80 c model valid 1756.30/1756.80 c current solution ok 1756.30/1756.82 c current bound: 692 1764.74/1765.36 c model valid 1764.74/1765.36 c current solution ok 1764.74/1765.37 c current bound: 692 1773.31/1773.92 c model valid 1773.31/1773.92 c current solution ok 1773.31/1773.93 c current bound: 692 1781.82/1782.44 c model valid 1781.82/1782.44 c current solution ok 1781.82/1782.45 c current bound: 692 1790.40/1791.02 c model valid 1790.40/1791.02 c current solution ok 1790.40/1791.03 c current bound: 692 1791.58/1792.11 ./satsolver.sh: line 5: 17099 Terminated ./glucose $1 > $2 2> /dev/null 1791.58/1792.11 c error: unexpected solver exit code 1791.58/1792.11 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-3752130-1339128876/watcher-3752130-1339128876 -o /tmp/evaluation-result-3752130-1339128876/solver-3752130-1339128876 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752130-1339128876.opb 777716284 HOME HOME running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.84 3/178 15573 /proc/meminfo: memFree=29150340/32873648 swapFree=6860/6860 [pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15573/statm: 2287 275 233 213 0 72 0 [startup+0.0798131 s] /proc/loadavg: 2.00 2.00 1.84 3/178 15573 /proc/meminfo: memFree=29150340/32873648 swapFree=6860/6860 [pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15573/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.10027 s] /proc/loadavg: 2.00 2.00 1.84 3/178 15573 /proc/meminfo: memFree=29150340/32873648 swapFree=6860/6860 [pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15573/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300199 s] /proc/loadavg: 2.00 2.00 1.84 3/178 15573 /proc/meminfo: memFree=29150340/32873648 swapFree=6860/6860 [pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15573/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700247 s] /proc/loadavg: 2.00 2.00 1.84 3/178 15573 /proc/meminfo: memFree=29150340/32873648 swapFree=6860/6860 [pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15573/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50038 s] /proc/loadavg: 2.00 2.00 1.84 3/182 15577 /proc/meminfo: memFree=29014136/32873648 swapFree=6860/6860 [pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15573/statm: 2287 275 233 213 0 72 0 [pid=15574] ppid=15573 vsize=17292 CPUtime=0.3 cores=1,3,5,7 /proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 4041 0 0 0 29 1 0 0 20 0 1 0 379013667 17707008 3536 33554432000 4194304 6004724 140737386467616 140737386462080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/15574/statm: 4323 3536 148 442 0 3877 0 [pid=15576] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15576/stat : 15576 (cp2_pre.sh) S 15574 15573 12337 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 379013698 9367552 277 33554432000 4194304 5064252 140736638113936 140736638112640 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/15576/statm: 2287 277 234 213 0 72 0 [pid=15577] ppid=15576 vsize=123324 CPUtime=1.17 cores=1,3,5,7 /proc/15577/stat : 15577 (coprocessor) R 15576 15573 12337 0 -1 4202496 24148 0 0 0 113 4 0 0 20 0 1 0 379013699 126283776 29784 33554432000 4194304 6586260 140733581747520 140733581743112 4677155 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0 /proc/15577/statm: 30831 29784 190 584 0 30243 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 158912 [startup+3.10016 s] /proc/loadavg: 2.00 2.00 1.84 3/182 15577 /proc/meminfo: memFree=29007052/32873648 swapFree=6860/6860 [pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15573/statm: 2287 275 233 213 0 72 0 [pid=15574] ppid=15573 vsize=17296 CPUtime=2.71 cores=1,3,5,7 /proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 5058 26105 0 0 41 44 179 7 20 0 1 0 379013667 17711104 3564 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0 /proc/15574/statm: 4324 3564 175 442 0 3878 0 Current children cumulated CPU time (s) 2.71 Current children cumulated vsize (KiB) 26444 [startup+6.30035 s] /proc/loadavg: 2.00 2.00 1.84 3/183 15582 /proc/meminfo: memFree=29025624/32873648 swapFree=6860/6860 [pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15573/statm: 2287 275 233 213 0 72 0 [pid=15574] ppid=15573 vsize=17296 CPUtime=2.71 cores=1,3,5,7 /proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 5058 26105 0 0 41 44 179 7 20 0 1 0 379013667 17711104 3564 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0 /proc/15574/statm: 4324 3564 175 442 0 3878 0 [pid=15579] ppid=15574 vsize=53152 CPUtime=0.19 cores=1,3,5,7 /proc/15579/stat : 15579 (glucosInc) S 15574 15573 12337 0 -1 4202496 11711 0 0 0 18 1 0 0 20 0 1 0 379013885 54427648 12290 33554432000 4194304 5654031 140736419814848 140736419813160 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/15579/statm: 13288 12290 145 357 0 12928 0 [pid=15581] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15581/stat : 15581 (satsolver.sh) S 15574 15573 12337 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379013973 9367552 267 33554432000 4194304 5064252 140736323414672 140736323413584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/15581/statm: 2287 267 226 213 0 72 0 [pid=15582] ppid=15581 vsize=57948 CPUtime=3.23 cores=1,3,5,7 /proc/15582/stat : 15582 (glucose) R 15581 15573 12337 0 -1 4202496 11914 0 0 0 321 2 0 0 20 0 1 0 379013973 59338752 12981 33554432000 4194304 5208918 140737312599712 140737312597656 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/15582/statm: 14487 12981 95 248 0 14236 0 Current children cumulated CPU time (s) 6.13 Current children cumulated vsize (KiB) 146692 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 1.85 3/183 15589 /proc/meminfo: memFree=29025488/32873648 swapFree=6860/6860 [pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15573/statm: 2287 275 233 213 0 72 0 [pid=15574] ppid=15573 vsize=17680 CPUtime=11.16 cores=1,3,5,7 /proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 5672 43743 0 0 43 44 1016 13 20 0 1 0 379013667 18104320 3566 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0 /proc/15574/statm: 4420 3566 176 442 0 3974 0 [pid=15579] ppid=15574 vsize=53152 CPUtime=0.19 cores=1,3,5,7 /proc/15579/stat : 15579 (glucosInc) S 15574 15573 12337 0 -1 4202496 11711 0 0 0 18 1 0 0 20 0 1 0 379013885 54427648 12290 33554432000 4194304 5654031 140736419814848 140736419813160 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/15579/statm: 13288 12290 145 357 0 12928 0 [pid=15588] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15588/stat : 15588 (satsolver.sh) S 15574 15573 12337 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379014817 9367552 267 33554432000 4194304 5064252 140734278954816 140734278953728 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/15588/statm: 2287 267 226 213 0 72 0 [pid=15589] ppid=15588 vsize=57952 CPUtime=1.18 cores=1,3,5,7 /proc/15589/stat : 15589 (glucose) R 15588 15573 12337 0 -1 4202496 12866 0 0 0 116 2 0 0 20 0 1 0 379014817 59342848 12793 33554432000 4194304 5208918 140736998986176 140736998984120 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/15589/statm: 14488 12793 95 248 0 14237 0 Current children cumulated CPU time (s) 12.53 Current children cumulated vsize (KiB) 147080 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 1.85 3/183 15596 /proc/meminfo: memFree=29023552/32873648 swapFree=6860/6860 [pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15573/statm: 2287 275 233 213 0 72 0 [pid=15574] ppid=15573 vsize=17680 CPUtime=19.74 cores=1,3,5,7 /proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 6284 62376 0 0 44 44 1867 19 20 0 1 0 379013667 18104320 3566 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0 /proc/15574/statm: 4420 3566 176 442 0 3974 0 [pid=15579] ppid=15574 vsize=53152 CPUtime=0.19 cores=1,3,5,7 /proc/15579/stat : 15579 (glucosInc) S 15574 15573 12337 0 -1 4202496 11711 0 0 0 18 1 0 0 20 0 1 0 379013885 54427648 12290 33554432000 4194304 5654031 140736419814848 140736419813160 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/15579/statm: 13288 12290 145 357 0 12928 0 [pid=15595] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15595/stat : 15595 (satsolver.sh) S 15574 15573 12337 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379015676 9367552 267 33554432000 4194304 5064252 140734304126400 140734304125312 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/15595/statm: 2287 267 226 213 0 72 0 [pid=15596] ppid=15595 vsize=57956 CPUtime=5.4 cores=1,3,5,7 /proc/15596/stat : 15596 (glucose) R 15595 15573 12337 0 -1 4202496 12339 0 0 0 538 2 0 0 20 0 1 0 379015676 59346944 12866 33554432000 4194304 5208918 140736925602896 140736925600840 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/15596/statm: 14489 12866 95 248 0 14238 0 Current children cumulated CPU time (s) 25.33 Current children cumulated vsize (KiB) 147084 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 1.85 3/183 15617 /proc/meminfo: memFree=29025236/32873648 swapFree=6860/6860 [pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15573/statm: 2287 275 233 213 0 72 0 [pid=15574] ppid=15573 vsize=17680 CPUtime=45.42 cores=1,3,5,7 /proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 8120 115452 0 0 49 44 4413 36 20 0 1 0 379013667 18104320 3566 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0 /proc/15574/statm: 4420 3566 176 442 0 3974 0 [pid=15579] ppid=15574 vsize=53152 CPUtime=0.19 cores=1,3,5,7 /proc/15579/stat : 15579 (glucosInc) S 15574 15573 12337 0 -1 4202496 11711 0 0 0 18 1 0 0 20 0 1 0 379013885 54427648 12290 33554432000 4194304 5654031 140736419814848 140736419813160 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/15579/statm: 13288 12290 145 357 0 12928 0 [pid=15616] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15616/stat : 15616 (satsolver.sh) S 15574 15573 12337 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 379018244 9367552 266 33554432000 4194304 5064252 140735588061488 140735588060400 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/15616/statm: 2287 266 226 213 0 72 0 [pid=15617] ppid=15616 vsize=57952 CPUtime=5.31 cores=1,3,5,7 /proc/15617/stat : 15617 (glucose) R 15616 15573 12337 0 -1 4202496 12446 0 0 0 529 2 0 0 20 0 1 0 379018244 59342848 12953 33554432000 4194304 5208918 140736493486768 140736493484712 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/15617/statm: 14488 12953 95 248 0 14237 0 Current children cumulated CPU time (s) 50.92 Current children cumulated vsize (KiB) 147080 [startup+102.307 s] /proc/loadavg: 2.00 2.00 1.85 3/183 15659 /proc/meminfo: memFree=28997596/32873648 swapFree=6860/6860 [pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15573/statm: 2287 275 233 213 0 72 0 [pid=15574] ppid=15573 vsize=17680 CPUtime=96.58 cores=1,3,5,7 /proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 11792 222779 0 0 59 46 9480 73 20 0 1 0 379013667 18104320 3566 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0 /proc/15574/statm: 4420 3566 176 442 0 3974 0 [pid=15579] ppid=15574 vsize=53152 CPUtime=0.19 cores=1,3,5,7 /proc/15579/stat : 15579 (glucosInc) S 15574 15573 12337 0 -1 4202496 11711 0 0 0 18 1 0 0 20 0 1 0 379013885 54427648 12290 33554432000 4194304 5654031 140736419814848 140736419813160 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/15579/statm: 13288 12290 145 357 0 12928 0 [pid=15658] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15658/stat : 15658 (satsolver.sh) S 15574 15573 12337 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379023359 9367552 266 33554432000 4194304 5064252 140736309255680 140736309254592 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/15658/statm: 2287 266 226 213 0 72 0 [pid=15659] ppid=15658 vsize=57956 CPUtime=5.37 cores=1,3,5,7 /proc/15659/stat : 15659 (glucose) R 15658 15573 12337 0 -1 4202496 12328 0 0 0 535 2 0 0 20 0 1 0 379023360 59346944 12866 33554432000 4194304 5208918 140734918517824 140734918515768 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/15659/statm: 14489 12866 95 248 0 14238 0 Current children cumulated CPU time (s) 102.14 Current children cumulated vsize (KiB) 147084 [startup+162.3 s] ################ # More data... # ################ /proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 113996 3241965 0 0 330 73 151897 1069 20 0 1 0 379013667 18104320 3566 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0 /proc/15574/statm: 4420 3566 176 442 0 3974 0 [pid=15579] ppid=15574 vsize=53152 CPUtime=0.19 cores=1,3,5,7 /proc/15579/stat : 15579 (glucosInc) S 15574 15573 12337 0 -1 4202496 11711 0 0 0 18 1 0 0 20 0 1 0 379013885 54427648 12521 33554432000 4194304 5654031 140736419814848 140736419813160 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/15579/statm: 13288 12521 145 357 0 12928 0 [pid=16887] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/16887/stat : 16887 (satsolver.sh) S 15574 15573 12337 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379167105 9367552 266 33554432000 4194304 5064252 140735240147056 140735240145968 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/16887/statm: 2287 266 226 213 0 72 0 [pid=16888] ppid=16887 vsize=58088 CPUtime=7.9 cores=1,3,5,7 /proc/16888/stat : 16888 (glucose) R 16887 15573 12337 0 -1 4202496 12402 0 0 0 788 2 0 0 20 0 1 0 379167105 59482112 12915 33554432000 4194304 5208918 140733385439936 140733385437896 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/16888/statm: 14522 12915 95 248 0 14271 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 147216 [startup+1602.3 s] /proc/loadavg: 1.95 1.98 1.95 3/183 16937 /proc/meminfo: memFree=26500880/32873648 swapFree=6860/6860 [pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15573/statm: 2287 275 233 213 0 72 0 [pid=15574] ppid=15573 vsize=17680 CPUtime=1593.38 cores=1,3,5,7 /proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 118280 3367723 0 0 342 74 157811 1111 20 0 1 0 379013667 18104320 3566 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0 /proc/15574/statm: 4420 3566 176 442 0 3974 0 [pid=15579] ppid=15574 vsize=53152 CPUtime=0.19 cores=1,3,5,7 /proc/15579/stat : 15579 (glucosInc) S 15574 15573 12337 0 -1 4202496 11711 0 0 0 18 1 0 0 20 0 1 0 379013885 54427648 12521 33554432000 4194304 5654031 140736419814848 140736419813160 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/15579/statm: 13288 12521 145 357 0 12928 0 [pid=16936] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/16936/stat : 16936 (satsolver.sh) S 15574 15573 12337 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 379173073 9367552 267 33554432000 4194304 5064252 140736553015504 140736553014416 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/16936/statm: 2287 267 226 213 0 72 0 [pid=16937] ppid=16936 vsize=58088 CPUtime=8.22 cores=1,3,5,7 /proc/16937/stat : 16937 (glucose) R 16936 15573 12337 0 -1 4202496 12405 0 0 0 820 2 0 0 20 0 1 0 379173074 59482112 12939 33554432000 4194304 5208918 140736145890784 140736145888744 4229344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/16937/statm: 14522 12939 95 248 0 14271 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 147216 [startup+1662.3 s] /proc/loadavg: 1.98 1.98 1.95 3/182 16986 /proc/meminfo: memFree=26493028/32873648 swapFree=6860/6860 [pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15573/statm: 2287 275 233 213 0 72 0 [pid=15574] ppid=15573 vsize=17680 CPUtime=1653.31 cores=1,3,5,7 /proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 122564 3493218 0 0 353 76 163750 1152 20 0 1 0 379013667 18104320 3566 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0 /proc/15574/statm: 4420 3566 176 442 0 3974 0 [pid=15579] ppid=15574 vsize=53152 CPUtime=0.19 cores=1,3,5,7 /proc/15579/stat : 15579 (glucosInc) S 15574 15573 12337 0 -1 4202496 11711 0 0 0 18 1 0 0 20 0 1 0 379013885 54427648 12521 33554432000 4194304 5654031 140736419814848 140736419813160 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/15579/statm: 13288 12521 145 357 0 12928 0 [pid=16985] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/16985/stat : 16985 (satsolver.sh) S 15574 15573 12337 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379179066 9367552 267 33554432000 4194304 5064252 140735292679872 140735292678784 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/16985/statm: 2287 267 226 213 0 72 0 [pid=16986] ppid=16985 vsize=58084 CPUtime=8.29 cores=1,3,5,7 /proc/16986/stat : 16986 (glucose) R 16985 15573 12337 0 -1 4202496 13022 0 0 0 827 2 0 0 20 0 1 0 379179066 59478016 12938 33554432000 4194304 5208918 140733717492576 140733717490536 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/16986/statm: 14521 12938 95 248 0 14270 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 147212 [startup+1722.3 s] /proc/loadavg: 1.99 1.98 1.95 3/183 17036 /proc/meminfo: memFree=26489956/32873648 swapFree=6860/6860 [pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15573/statm: 2287 275 233 213 0 72 0 [pid=15574] ppid=15573 vsize=17680 CPUtime=1713.48 cores=1,3,5,7 /proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 126848 3619265 0 0 364 77 169714 1193 20 0 1 0 379013667 18104320 3566 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0 /proc/15574/statm: 4420 3566 176 442 0 3974 0 [pid=15579] ppid=15574 vsize=53152 CPUtime=0.19 cores=1,3,5,7 /proc/15579/stat : 15579 (glucosInc) S 15574 15573 12337 0 -1 4202496 11711 0 0 0 18 1 0 0 20 0 1 0 379013885 54427648 12521 33554432000 4194304 5654031 140736419814848 140736419813160 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/15579/statm: 13288 12521 145 357 0 12928 0 [pid=17035] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17035/stat : 17035 (satsolver.sh) S 15574 15573 12337 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379185084 9367552 267 33554432000 4194304 5064252 140737384834336 140737384833248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17035/statm: 2287 267 226 213 0 72 0 [pid=17036] ppid=17035 vsize=58088 CPUtime=8.11 cores=1,3,5,7 /proc/17036/stat : 17036 (glucose) R 17035 15573 12337 0 -1 4202496 12022 0 0 0 809 2 0 0 20 0 1 0 379185084 59482112 13085 33554432000 4194304 5208918 140733967612704 140733967610664 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/17036/statm: 14522 13085 95 248 0 14271 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 147216 [startup+1782.3 s] /proc/loadavg: 1.99 1.98 1.95 3/183 17085 /proc/meminfo: memFree=26477980/32873648 swapFree=6860/6860 [pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15573/statm: 2287 275 233 213 0 72 0 [pid=15574] ppid=15573 vsize=17680 CPUtime=1773.24 cores=1,3,5,7 /proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 131132 3743827 0 0 375 78 175635 1236 20 0 1 0 379013667 18104320 3566 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0 /proc/15574/statm: 4420 3566 176 442 0 3974 0 [pid=15579] ppid=15574 vsize=53152 CPUtime=0.19 cores=1,3,5,7 /proc/15579/stat : 15579 (glucosInc) S 15574 15573 12337 0 -1 4202496 11711 0 0 0 18 1 0 0 20 0 1 0 379013885 54427648 12521 33554432000 4194304 5654031 140736419814848 140736419813160 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/15579/statm: 13288 12521 145 357 0 12928 0 [pid=17084] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17084/stat : 17084 (satsolver.sh) S 15574 15573 12337 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379191061 9367552 267 33554432000 4194304 5064252 140734519705184 140734519704096 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17084/statm: 2287 267 226 213 0 72 0 [pid=17085] ppid=17084 vsize=58968 CPUtime=8.34 cores=1,3,5,7 /proc/17085/stat : 17085 (glucose) R 17084 15573 12337 0 -1 4202496 12673 0 0 0 832 2 0 0 20 0 1 0 379191061 60383232 13201 33554432000 4194304 5208918 140734095015136 140734095013096 4436724 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/17085/statm: 14742 13201 105 248 0 14491 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 148096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1792.1 s] /proc/loadavg: 1.99 1.98 1.95 3/183 17099 /proc/meminfo: memFree=26478052/32873648 swapFree=6860/6860 [pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15573/statm: 2287 275 233 213 0 72 0 [pid=15574] ppid=15573 vsize=17680 CPUtime=1790.34 cores=1,3,5,7 /proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 132356 3779467 0 0 379 79 177329 1247 20 0 1 0 379013667 18104320 3566 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0 /proc/15574/statm: 4420 3566 176 442 0 3974 0 [pid=15579] ppid=15574 vsize=53152 CPUtime=0.19 cores=1,3,5,7 /proc/15579/stat : 15579 (glucosInc) S 15574 15573 12337 0 -1 4202496 11711 0 0 0 18 1 0 0 20 0 1 0 379013885 54427648 12521 33554432000 4194304 5654031 140736419814848 140736419813160 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/15579/statm: 13288 12521 145 357 0 12928 0 [pid=17098] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17098/stat : 17098 (satsolver.sh) S 15574 15573 12337 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379192770 9367552 267 33554432000 4194304 5064252 140736286833040 140736286831952 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17098/statm: 2287 267 226 213 0 72 0 [pid=17099] ppid=17098 vsize=57952 CPUtime=1.05 cores=1,3,5,7 /proc/17099/stat : 17099 (glucose) R 17098 15573 12337 0 -1 4202496 12863 0 0 0 104 1 0 0 20 0 1 0 379192771 59342848 12788 33554432000 4194304 5208918 140736587827184 140736587825128 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/17099/statm: 14488 12788 95 248 0 14237 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (KiB) 147080 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1792.1 s] /proc/loadavg: 1.99 1.98 1.95 3/183 17099 /proc/meminfo: memFree=26478052/32873648 swapFree=6860/6860 [pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15573/statm: 2287 275 233 213 0 72 0 [pid=15574] ppid=15573 vsize=17680 CPUtime=1790.34 cores=1,3,5,7 /proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 132356 3779467 0 0 379 79 177329 1247 20 0 1 0 379013667 18104320 3566 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0 /proc/15574/statm: 4420 3566 176 442 0 3974 0 [pid=15579] ppid=15574 vsize=53152 CPUtime=0.19 cores=1,3,5,7 /proc/15579/stat : 15579 (glucosInc) S 15574 15573 12337 0 -1 4202496 11711 0 0 0 18 1 0 0 20 0 1 0 379013885 54427648 12521 33554432000 4194304 5654031 140736419814848 140736419813160 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/15579/statm: 13288 12521 145 357 0 12928 0 [pid=17098] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/17098/stat : 17098 (satsolver.sh) S 15574 15573 12337 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379192770 9367552 267 33554432000 4194304 5064252 140736286833040 140736286831952 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17098/statm: 2287 267 226 213 0 72 0 [pid=17099] ppid=17098 vsize=57952 CPUtime=1.05 cores=1,3,5,7 /proc/17099/stat : 17099 (glucose) R 17098 15573 12337 0 -1 4202496 12863 0 0 0 104 1 0 0 20 0 1 0 379192771 59342848 12788 33554432000 4194304 5208918 140736587827184 140736587825128 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/17099/statm: 14488 12788 95 248 0 14237 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (KiB) 147080 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 15573 and gives # childrusage.ru_utime.tv_sec=1778 # childrusage.ru_utime.tv_usec=138681 # childrusage.ru_stime.tv_sec=13 # childrusage.ru_stime.tv_usec=292979 # CPU time returned by wait4() is 1791.43 # while last known CPU time is 1791.58 # # 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): 8.44 # lost CPU user time (s): 8.42001 # lost CPU system time (s): 0.02 Real time (s): 1792.11 CPU time (s): 1800.02 CPU user time (s): 1786.72 CPU system time (s): 13.3 CPU usage (%): 100.441 Max. virtual memory (cumulated for all children) (KiB): 158916 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1778.14 system time used= 13.293 maximum resident set size= 123324 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3925675 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3680184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 67306 involuntary context switches= 3996 runsolver used 5.8901 second user time and 19.0801 second system time The end
Begin job on node116 at 2012-06-08 06:14:36 IDJOB=3752130 IDBENCH=2926 IDSOLVER=2335 FILE ID=node116/3752130-1339128876 RUNJOBID= node116-1339112627-14158 PBS_JOBID= 14643737 Free space on /tmp= 70968 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_2.opb COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3752130-1339128876/watcher-3752130-1339128876 -o /tmp/evaluation-result-3752130-1339128876/solver-3752130-1339128876 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752130-1339128876.opb 777716284 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c0264878059fff5e6fa5f51839a60b24 RANDOM SEED=777716284 node116.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.556 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 : 5333.11 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.556 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.556 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 : 5438.54 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.556 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.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 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.92 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.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 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: 32873648 kB MemFree: 29150596 kB Buffers: 369404 kB Cached: 2371280 kB SwapCached: 3172 kB Active: 1067204 kB Inactive: 1778216 kB Active(anon): 101660 kB Inactive(anon): 3392 kB Active(file): 965544 kB Inactive(file): 1774824 kB Unevictable: 6860 kB Mlocked: 6860 kB SwapTotal: 67108856 kB SwapFree: 67100544 kB Dirty: 25728 kB Writeback: 0 kB AnonPages: 262544 kB Mapped: 12036 kB Shmem: 0 kB Slab: 734356 kB SReclaimable: 178328 kB SUnreclaim: 556028 kB KernelStack: 1504 kB PageTables: 3952 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 232188 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 182272 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70412 MiB End job on node116 at 2012-06-08 06:44:28