Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| npSolver inc-topDown (fixed) | OPTIMUM | 1538.85 | 1539.79 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh19_wcsp.wbo |
| MD5SUM | af72756a7b8194161c8db176c46da286 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 166 |
| Best CPU time to get the best result obtained on this benchmark | 0.019996 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 200 |
| Total number of constraints | 950 |
| Number of soft constraints | 850 |
| Number of constraints which are clauses | 850 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 11 |
| Top cost | 420926 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 420925 |
| Biggest number in a constraint | 10 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.02 c run usual solver 0.00/0.05 o 18677 0.00/0.05 c fallback to adder encoding 18.07/18.19 o 18675 18.07/18.19 c fallback to adder encoding 27.66/27.79 o 18667 27.66/27.79 c fallback to adder encoding 33.54/33.65 o 18659 33.54/33.65 c fallback to adder encoding 45.45/45.56 o 18658 45.45/45.56 c fallback to adder encoding 56.07/56.21 o 18607 56.07/56.21 c fallback to adder encoding 60.27/60.47 o 18605 60.27/60.47 c fallback to adder encoding 73.24/73.44 o 18601 73.24/73.44 c fallback to adder encoding 87.67/87.87 o 18598 87.67/87.87 c fallback to adder encoding 97.05/97.25 o 18592 97.05/97.25 c fallback to adder encoding 105.53/105.74 o 18585 105.53/105.74 c fallback to adder encoding 119.77/120.00 o 18572 119.77/120.00 c fallback to adder encoding 129.24/129.45 o 18566 129.24/129.45 c fallback to adder encoding 133.33/133.55 o 18563 133.33/133.55 c fallback to adder encoding 145.80/146.01 o 18561 145.80/146.01 c fallback to adder encoding 151.95/152.17 o 18552 151.95/152.17 c fallback to adder encoding 156.39/156.60 o 18549 156.39/156.60 c fallback to adder encoding 161.12/161.34 o 18538 161.12/161.34 c fallback to adder encoding 166.26/166.48 o 18509 166.26/166.48 c fallback to adder encoding 170.78/171.01 o 17595 170.78/171.01 c fallback to adder encoding 174.15/174.49 o 17588 174.15/174.49 c fallback to adder encoding 184.10/184.45 o 17539 184.10/184.45 c fallback to adder encoding 196.91/197.26 o 17538 196.91/197.26 c fallback to adder encoding 204.65/205.01 o 17506 204.65/205.01 c fallback to adder encoding 219.72/220.04 o 17505 219.72/220.04 c fallback to adder encoding 226.77/227.13 o 17504 226.77/227.13 c fallback to adder encoding 239.14/239.51 o 17497 239.14/239.51 c fallback to adder encoding 246.51/246.89 o 17494 246.51/246.89 c fallback to adder encoding 255.65/256.01 o 17487 255.65/256.01 c fallback to adder encoding 264.35/264.71 o 17472 264.35/264.71 c fallback to adder encoding 270.80/271.16 o 17452 270.80/271.16 c fallback to adder encoding 278.02/278.37 o 17438 278.02/278.37 c fallback to adder encoding 287.45/287.83 o 17430 287.45/287.83 c fallback to adder encoding 290.99/291.36 o 17429 290.99/291.36 c fallback to adder encoding 298.96/299.33 o 17417 298.96/299.33 c fallback to adder encoding 307.44/307.81 o 17414 307.44/307.81 c fallback to adder encoding 319.13/319.50 o 17413 319.13/319.50 c fallback to adder encoding 336.08/336.46 o 17391 336.08/336.46 c fallback to adder encoding 350.41/350.77 o 17330 350.41/350.77 c fallback to adder encoding 360.79/361.17 o 17327 360.79/361.17 c fallback to adder encoding 377.89/378.29 o 17326 377.89/378.29 c fallback to adder encoding 387.16/387.55 o 17304 387.16/387.55 c fallback to adder encoding 398.03/398.40 o 17294 398.03/398.40 c fallback to adder encoding 409.29/409.77 o 17119 409.29/409.77 c fallback to adder encoding 437.46/437.94 o 17118 437.46/437.94 c fallback to adder encoding 446.80/447.28 o 17099 446.80/447.28 c fallback to adder encoding 450.79/451.28 o 17098 450.79/451.28 c fallback to adder encoding 456.33/456.81 o 17091 456.33/456.81 c fallback to adder encoding 468.41/468.91 o 17090 468.41/468.91 c fallback to adder encoding 478.69/479.18 o 17089 478.69/479.18 c fallback to adder encoding 500.12/500.61 o 17084 500.12/500.61 c fallback to adder encoding 510.92/511.42 o 17083 510.92/511.42 c fallback to adder encoding 519.12/519.62 o 17081 519.12/519.62 c fallback to adder encoding 540.83/541.35 o 17075 540.83/541.35 c fallback to adder encoding 550.81/551.32 o 17074 550.81/551.32 c fallback to adder encoding 556.61/557.12 o 17063 556.61/557.12 c fallback to adder encoding 569.41/569.92 o 17043 569.41/569.92 c fallback to adder encoding 574.71/575.22 o 17035 574.71/575.22 c fallback to adder encoding 579.91/580.51 o 17028 579.91/580.51 c fallback to adder encoding 594.59/595.16 o 17026 594.59/595.16 c fallback to adder encoding 612.18/612.73 o 17012 612.18/612.73 c fallback to adder encoding 616.12/616.72 o 17002 616.12/616.72 c fallback to adder encoding 621.13/621.73 o 16998 621.13/621.73 c fallback to adder encoding 631.17/631.76 o 16974 631.17/631.76 c fallback to adder encoding 635.53/636.13 o 16963 635.53/636.13 c fallback to adder encoding 640.85/641.46 o 16962 640.85/641.46 c fallback to adder encoding 657.85/658.46 o 16961 657.85/658.46 c fallback to adder encoding 663.07/663.69 o 16960 663.07/663.69 c fallback to adder encoding 674.57/675.17 o 16955 674.57/675.17 c fallback to adder encoding 687.26/687.87 o 16948 687.26/687.87 c fallback to adder encoding 698.10/698.70 o 16932 698.10/698.70 c fallback to adder encoding 716.50/717.11 o 16931 716.50/717.11 c fallback to adder encoding 721.26/721.87 o 16918 721.26/721.87 c fallback to adder encoding 737.96/738.58 o 16901 737.96/738.58 c fallback to adder encoding 746.36/746.95 o 16900 746.36/746.95 c fallback to adder encoding 750.77/751.32 o 16899 750.77/751.32 c fallback to adder encoding 759.15/759.76 o 16898 759.15/759.76 c fallback to adder encoding 769.25/769.89 o 16896 769.25/769.89 c fallback to adder encoding 786.07/786.60 o 16824 786.07/786.60 c fallback to adder encoding 790.57/791.19 o 16814 790.57/791.19 c fallback to adder encoding 797.93/798.55 o 16807 797.93/798.55 c fallback to adder encoding 805.22/805.84 o 16782 805.22/805.84 c fallback to adder encoding 815.73/816.34 o 16780 815.73/816.34 c fallback to adder encoding 825.55/826.15 o 16769 825.55/826.15 c fallback to adder encoding 848.35/848.99 o 16768 848.35/848.99 c fallback to adder encoding 857.45/858.06 o 16765 857.45/858.06 c fallback to adder encoding 866.86/867.48 o 16761 866.86/867.48 c fallback to adder encoding 870.78/871.40 o 16712 870.78/871.40 c fallback to adder encoding 882.96/883.50 o 16710 882.96/883.50 c fallback to adder encoding 899.53/900.15 o 16704 899.53/900.15 c fallback to adder encoding 913.78/914.41 o 16698 913.78/914.41 c fallback to adder encoding 919.38/920.02 o 16683 919.38/920.02 c fallback to adder encoding 932.29/932.93 o 16656 932.29/932.93 c fallback to adder encoding 938.87/939.51 o 16650 938.87/939.51 c fallback to adder encoding 950.38/951.03 o 16649 950.38/951.03 c fallback to adder encoding 957.58/958.24 o 16646 957.58/958.24 c fallback to adder encoding 962.34/962.99 o 16644 962.34/962.99 c fallback to adder encoding 970.29/970.94 o 16642 970.29/970.94 c fallback to adder encoding 978.64/979.30 o 16641 978.64/979.30 c fallback to adder encoding 982.83/983.41 o 16640 982.83/983.41 c fallback to adder encoding 997.82/998.49 o 16608 997.82/998.49 c fallback to adder encoding 1003.56/1004.22 o 16605 1003.56/1004.22 c fallback to adder encoding 1011.69/1012.35 o 16596 1011.69/1012.35 c fallback to adder encoding 1037.41/1038.09 o 16592 1037.41/1038.09 c fallback to adder encoding 1042.27/1042.93 o 16587 1042.27/1042.93 c fallback to adder encoding 1052.10/1052.72 o 3071 1052.10/1052.72 c fallback to adder encoding 1055.79/1056.44 o 3057 1055.79/1056.44 c fallback to adder encoding 1068.09/1068.75 o 3049 1068.09/1068.75 c fallback to adder encoding 1072.80/1073.48 o 3048 1072.80/1073.48 c fallback to adder encoding 1077.80/1078.56 o 3028 1077.80/1078.56 c fallback to adder encoding 1085.31/1086.07 o 2939 1085.31/1086.07 c fallback to adder encoding 1089.09/1089.89 o 2938 1089.09/1089.89 c fallback to adder encoding 1092.80/1093.59 o 2923 1092.80/1093.59 c fallback to adder encoding 1100.69/1101.46 o 2919 1100.69/1101.46 c fallback to adder encoding 1108.77/1109.53 o 2556 1108.77/1109.53 c fallback to adder encoding 1114.70/1115.46 o 2551 1114.70/1115.46 c fallback to adder encoding 1123.69/1124.44 o 2550 1123.69/1124.44 c fallback to adder encoding 1128.88/1129.64 o 2547 1128.88/1129.64 c fallback to adder encoding 1132.47/1133.22 o 2519 1132.47/1133.22 c fallback to adder encoding 1135.76/1136.57 o 2518 1135.76/1136.57 c fallback to adder encoding 1141.12/1141.95 o 2514 1141.12/1141.95 c fallback to adder encoding 1146.23/1147.06 o 2504 1146.23/1147.06 c fallback to adder encoding 1149.89/1150.72 o 2496 1149.89/1150.72 c fallback to adder encoding 1154.91/1155.75 o 2487 1154.91/1155.75 c fallback to adder encoding 1161.33/1162.16 o 2481 1161.33/1162.16 c fallback to adder encoding 1165.83/1166.66 o 2472 1165.83/1166.66 c fallback to adder encoding 1175.43/1176.20 o 2463 1175.43/1176.20 c fallback to adder encoding 1178.42/1179.26 o 2447 1178.42/1179.26 c fallback to adder encoding 1187.86/1188.71 o 2440 1187.86/1188.71 c fallback to adder encoding 1194.52/1195.37 o 2430 1194.52/1195.37 c fallback to adder encoding 1200.62/1201.46 o 2426 1200.62/1201.46 c fallback to adder encoding 1203.63/1204.46 o 2425 1203.63/1204.46 c fallback to adder encoding 1207.73/1208.56 o 2424 1207.73/1208.56 c fallback to adder encoding 1212.22/1213.00 o 2415 1212.22/1213.00 c fallback to adder encoding 1215.94/1216.80 o 2413 1215.94/1216.80 c fallback to adder encoding 1220.80/1221.65 o 2403 1220.80/1221.65 c fallback to adder encoding 1238.69/1239.58 o 2384 1238.69/1239.58 c fallback to adder encoding 1249.59/1250.45 o 2366 1249.59/1250.45 c fallback to adder encoding 1257.05/1257.92 o 2357 1257.05/1257.92 c fallback to adder encoding 1261.65/1262.51 o 2354 1261.65/1262.51 c fallback to adder encoding 1263.55/1264.41 o 2348 1263.55/1264.41 c fallback to adder encoding 1269.70/1270.53 o 2346 1269.70/1270.53 c fallback to adder encoding 1277.20/1278.06 o 2345 1277.20/1278.06 c fallback to adder encoding 1281.67/1282.54 o 2341 1281.67/1282.54 c fallback to adder encoding 1285.70/1286.57 o 2340 1285.70/1286.57 c fallback to adder encoding 1295.37/1296.23 o 2335 1295.37/1296.23 c fallback to adder encoding 1298.07/1298.97 o 2328 1298.07/1298.97 c fallback to adder encoding 1307.46/1308.38 o 2327 1307.46/1308.38 c fallback to adder encoding 1313.27/1314.18 o 2321 1313.27/1314.18 c fallback to adder encoding 1316.96/1317.86 o 2311 1316.96/1317.86 c fallback to adder encoding 1324.21/1325.12 o 2310 1324.21/1325.12 c fallback to adder encoding 1332.71/1333.62 o 2309 1332.71/1333.62 c fallback to adder encoding 1344.67/1345.50 o 2308 1344.67/1345.50 c fallback to adder encoding 1361.14/1362.04 o 2304 1361.14/1362.04 c fallback to adder encoding 1366.64/1367.54 o 2299 1366.64/1367.54 c fallback to adder encoding 1371.66/1372.57 o 2289 1371.66/1372.57 c fallback to adder encoding 1374.85/1375.76 o 2271 1374.85/1375.76 c fallback to adder encoding 1377.76/1378.67 o 2251 1377.76/1378.67 c fallback to adder encoding 1386.72/1387.63 o 2214 1386.72/1387.63 c fallback to adder encoding 1392.21/1393.12 o 2208 1392.21/1393.12 c fallback to adder encoding 1397.00/1397.90 o 2205 1397.00/1397.90 c fallback to adder encoding 1402.34/1403.28 o 2047 1402.34/1403.28 c fallback to adder encoding 1408.41/1409.32 o 2046 1408.41/1409.32 c fallback to adder encoding 1411.82/1412.73 o 2044 1411.82/1412.73 c fallback to adder encoding 1417.05/1417.92 o 2035 1417.05/1417.92 c fallback to adder encoding 1421.63/1422.53 o 2034 1421.63/1422.53 c fallback to adder encoding 1426.85/1427.75 o 965 1426.85/1427.75 c fallback to adder encoding 1429.85/1430.78 o 964 1429.85/1430.78 c fallback to adder encoding 1431.62/1432.52 o 885 1431.62/1432.52 c fallback to adder encoding 1432.73/1433.69 o 881 1432.73/1433.69 c fallback to adder encoding 1437.14/1438.06 o 880 1437.14/1438.06 c fallback to adder encoding 1438.74/1439.67 o 873 1438.74/1439.67 c fallback to adder encoding 1440.21/1441.11 o 870 1440.21/1441.11 c fallback to adder encoding 1441.43/1442.37 o 866 1441.43/1442.37 c fallback to adder encoding 1448.73/1449.62 o 859 1448.73/1449.62 c fallback to adder encoding 1450.15/1451.07 o 858 1450.15/1451.07 c fallback to adder encoding 1452.54/1453.49 o 855 1452.54/1453.49 c fallback to adder encoding 1454.34/1455.29 o 847 1454.34/1455.29 c fallback to adder encoding 1456.65/1457.55 o 829 1456.65/1457.55 c fallback to adder encoding 1458.14/1459.08 o 828 1458.14/1459.08 c fallback to adder encoding 1460.75/1461.64 o 823 1460.75/1461.64 c fallback to adder encoding 1463.24/1464.16 o 795 1463.24/1464.16 c fallback to adder encoding 1466.62/1467.52 o 786 1466.62/1467.52 c fallback to adder encoding 1468.16/1469.06 o 785 1468.16/1469.06 c fallback to adder encoding 1470.95/1471.86 o 778 1470.95/1471.86 c fallback to adder encoding 1473.81/1474.71 o 774 1473.81/1474.71 c fallback to adder encoding 1475.25/1476.14 o 767 1475.25/1476.14 c fallback to adder encoding 1476.64/1477.52 o 763 1476.64/1477.52 c fallback to adder encoding 1478.65/1479.60 o 759 1478.65/1479.60 c fallback to adder encoding 1480.86/1481.77 o 744 1480.86/1481.77 c fallback to adder encoding 1482.24/1483.12 o 736 1482.24/1483.12 c fallback to adder encoding 1483.72/1484.60 o 723 1483.72/1484.60 c fallback to adder encoding 1485.06/1485.95 o 720 1485.06/1485.95 c fallback to adder encoding 1487.17/1488.05 o 719 1487.17/1488.05 c fallback to adder encoding 1488.93/1489.83 o 714 1488.93/1489.83 c fallback to adder encoding 1490.12/1491.07 o 713 1490.12/1491.07 c fallback to adder encoding 1492.12/1493.03 o 711 1492.12/1493.03 c fallback to adder encoding 1495.30/1496.21 o 709 1495.30/1496.21 c fallback to adder encoding 1498.01/1498.91 o 701 1498.01/1498.91 c fallback to adder encoding 1499.54/1500.41 o 697 1499.54/1500.41 c fallback to adder encoding 1500.42/1501.32 o 687 1500.42/1501.32 c fallback to adder encoding 1501.09/1502.05 o 680 1501.09/1502.05 c fallback to adder encoding 1503.36/1504.31 o 676 1503.36/1504.31 c fallback to adder encoding 1505.05/1506.01 o 675 1505.05/1506.01 c fallback to adder encoding 1508.59/1509.56 o 668 1508.59/1509.56 c fallback to adder encoding 1511.48/1512.46 o 661 1511.48/1512.46 c fallback to adder encoding 1514.49/1515.47 o 639 1514.49/1515.47 c fallback to adder encoding 1515.59/1516.53 o 638 1515.59/1516.53 c fallback to adder encoding 1516.17/1517.11 o 637 1516.17/1517.11 c fallback to adder encoding 1518.59/1519.55 o 636 1518.59/1519.55 c fallback to adder encoding 1519.67/1520.61 o 625 1519.67/1520.61 c fallback to adder encoding 1520.39/1521.35 o 621 1520.39/1521.35 c fallback to adder encoding 1520.50/1522.19 o 614 1520.50/1522.19 c fallback to adder encoding 1522.59/1523.59 o 612 1522.59/1523.59 c fallback to adder encoding 1523.58/1524.51 o 603 1523.58/1524.51 c fallback to adder encoding 1524.99/1525.92 o 590 1524.99/1525.92 c fallback to adder encoding 1526.04/1527.00 o 586 1526.04/1527.00 c fallback to adder encoding 1527.16/1528.18 o 574 1527.16/1528.18 c fallback to adder encoding 1528.36/1529.35 o 571 1528.36/1529.35 c fallback to adder encoding 1528.96/1529.91 o 568 1528.96/1529.91 c fallback to adder encoding 1530.06/1531.01 o 567 1530.06/1531.01 c fallback to adder encoding 1531.15/1532.17 o 545 1531.15/1532.17 c fallback to adder encoding 1532.53/1533.51 o 544 1532.53/1533.51 c fallback to adder encoding 1532.63/1534.28 o 540 1532.63/1534.28 c fallback to adder encoding 1534.34/1535.39 o 517 1534.34/1535.39 c fallback to adder encoding 1535.05/1536.08 o 513 1535.05/1536.08 c fallback to adder encoding 1536.03/1537.00 o 512 1536.03/1537.00 c fallback to adder encoding 1536.70/1537.70 o 511 1536.70/1537.70 c fallback to adder encoding 1537.03/1538.07 o 255 1537.03/1538.07 c fallback to adder encoding 1537.13/1538.16 o 252 1537.13/1538.16 c fallback to adder encoding 1537.22/1538.24 o 247 1537.22/1538.24 c fallback to adder encoding 1537.30/1538.37 o 246 1537.30/1538.37 c fallback to adder encoding 1537.43/1538.46 o 245 1537.43/1538.46 c fallback to adder encoding 1537.53/1538.57 o 235 1537.53/1538.57 c fallback to adder encoding 1537.62/1538.73 o 232 1537.62/1538.73 c fallback to adder encoding 1537.83/1538.81 o 231 1537.83/1538.81 c fallback to adder encoding 1537.93/1538.91 o 222 1537.93/1538.91 c fallback to adder encoding 1537.97/1539.03 o 221 1537.97/1539.03 c fallback to adder encoding 1538.09/1539.12 o 212 1538.09/1539.12 c fallback to adder encoding 1538.22/1539.20 o 209 1538.22/1539.20 c fallback to adder encoding 1538.22/1539.29 o 198 1538.22/1539.29 c fallback to adder encoding 1538.32/1539.38 o 196 1538.61/1539.67 o 166 1538.73/1539.79 c display solution 1538.73/1539.79 s OPTIMUM FOUND 1538.73/1539.79 v -x1 x2 -x3 x4 -x5 x6 -x7 x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 -x17 x18 x19 -x20 -x21 x22 -x23 x24 -x25 x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 -x35 x36 -x37 x38 -x39 x40 -x41 x42 -x43 x44 -x45 x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 -x55 x56 -x57 x58 x59 -x60 -x61 x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 -x73 x74 -x75 x76 -x77 x78 -x79 x80 -x81 x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 -x107 x108 x109 -x110 -x111 x112 -x113 x114 -x115 x116 -x117 x118 -x119 x120 x121 -x122 -x123 x124 x125 -x126 -x127 x128 -x129 x130 x131 -x132 x133 -x134 -x135 x136 x137 -x138 -x139 x140 -x141 x142 x143 -x144 -x145 x146 -x147 x148 -x149 x150 -x151 x152 x153 -x154 -x155 x156 -x157 x158 x159 -x160 x161 -x162 -x163 x164 -x165 x166 -x167 x168 -x169 x170 x171 -x172 -x173 x174 -x175 x176 x177 -x178 -x179 x180 -x181 x182 x183 -x184 -x185 x186 -x187 x188 -x189 x190 -x191 x192 -x193 x194 x195 -x196 -x197 x198 x199 -x200
OK 166
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-3753811-1339200971/watcher-3753811-1339200971 -o /tmp/evaluation-result-3753811-1339200971/solver-3753811-1339200971 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753811-1339200971.wbo 591399085 HOME HOME running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.05 2.02 2.00 3/179 25575 /proc/meminfo: memFree=27530072/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 [startup+0.006895 s] /proc/loadavg: 2.05 2.02 2.00 3/179 25575 /proc/meminfo: memFree=27530072/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100144 s] /proc/loadavg: 2.05 2.02 2.00 3/179 25575 /proc/meminfo: memFree=27530072/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300144 s] /proc/loadavg: 2.05 2.02 2.00 3/179 25575 /proc/meminfo: memFree=27530072/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700107 s] /proc/loadavg: 2.05 2.02 2.00 3/179 25575 /proc/meminfo: memFree=27530072/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50021 s] /proc/loadavg: 2.05 2.02 2.00 3/183 25589 /proc/meminfo: memFree=27478524/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 [pid=25576] ppid=25575 vsize=20128 CPUtime=0.17 cores=0,2,4,6 /proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 4293 5451 0 0 13 2 1 1 20 0 1 0 386223056 20611072 4643 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25576/statm: 5032 4643 179 443 0 4585 0 [pid=25588] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25588/stat : 25588 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386223075 9367552 267 33554432000 4194304 5064252 140735348687936 140735348686848 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/25588/statm: 2287 267 226 213 0 72 0 [pid=25589] ppid=25588 vsize=28248 CPUtime=1.29 cores=0,2,4,6 /proc/25589/stat : 25589 (glucose) R 25588 25575 19535 0 -1 4202496 6647 0 0 0 128 1 0 0 20 0 1 0 386223076 28925952 6370 33554432000 4194304 5208918 140735649146048 140735649143896 4211122 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/25589/statm: 7062 6370 104 248 0 6811 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 66672 [startup+3.10027 s] /proc/loadavg: 2.04 2.02 2.00 3/183 25589 /proc/meminfo: memFree=27477400/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 [pid=25576] ppid=25575 vsize=20128 CPUtime=0.17 cores=0,2,4,6 /proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 4293 5451 0 0 13 2 1 1 20 0 1 0 386223056 20611072 4643 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25576/statm: 5032 4643 179 443 0 4585 0 [pid=25588] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25588/stat : 25588 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386223075 9367552 267 33554432000 4194304 5064252 140735348687936 140735348686848 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/25588/statm: 2287 267 226 213 0 72 0 [pid=25589] ppid=25588 vsize=29248 CPUtime=2.89 cores=0,2,4,6 /proc/25589/stat : 25589 (glucose) R 25588 25575 19535 0 -1 4202496 6952 0 0 0 288 1 0 0 20 0 1 0 386223076 29949952 6674 33554432000 4194304 5208918 140735649146048 140735649143896 4211732 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/25589/statm: 7312 6674 105 248 0 7061 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 67672 [startup+6.3002 s] /proc/loadavg: 2.04 2.02 2.00 3/183 25589 /proc/meminfo: memFree=27460344/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 [pid=25576] ppid=25575 vsize=20128 CPUtime=0.17 cores=0,2,4,6 /proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 4293 5451 0 0 13 2 1 1 20 0 1 0 386223056 20611072 4643 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25576/statm: 5032 4643 179 443 0 4585 0 [pid=25588] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25588/stat : 25588 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386223075 9367552 267 33554432000 4194304 5064252 140735348687936 140735348686848 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/25588/statm: 2287 267 226 213 0 72 0 [pid=25589] ppid=25588 vsize=48460 CPUtime=6.09 cores=0,2,4,6 /proc/25589/stat : 25589 (glucose) R 25588 25575 19535 0 -1 4202496 8682 0 0 0 607 2 0 0 20 0 1 0 386223076 49623040 10655 33554432000 4194304 5208918 140735649146048 140735649143912 4211792 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/25589/statm: 12115 10655 105 248 0 11864 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 86884 [startup+12.7003 s] /proc/loadavg: 2.04 2.02 2.00 3/183 25589 /proc/meminfo: memFree=27458072/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 [pid=25576] ppid=25575 vsize=20128 CPUtime=0.17 cores=0,2,4,6 /proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 4293 5451 0 0 13 2 1 1 20 0 1 0 386223056 20611072 4643 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25576/statm: 5032 4643 179 443 0 4585 0 [pid=25588] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25588/stat : 25588 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386223075 9367552 267 33554432000 4194304 5064252 140735348687936 140735348686848 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/25588/statm: 2287 267 226 213 0 72 0 [pid=25589] ppid=25588 vsize=48460 CPUtime=12.49 cores=0,2,4,6 /proc/25589/stat : 25589 (glucose) R 25588 25575 19535 0 -1 4202496 8739 0 0 0 1247 2 0 0 20 0 1 0 386223076 49623040 11223 33554432000 4194304 5208918 140735649146048 140735649143912 4211888 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/25589/statm: 12115 11223 105 248 0 11864 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 86884 [startup+25.5004 s] /proc/loadavg: 2.03 2.02 2.00 3/183 25596 /proc/meminfo: memFree=27474188/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 [pid=25576] ppid=25575 vsize=20128 CPUtime=18.3 cores=0,2,4,6 /proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 6628 17984 0 0 26 3 1794 7 20 0 1 0 386223056 20611072 4643 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25576/statm: 5032 4643 179 443 0 4585 0 [pid=25595] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25595/stat : 25595 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386224889 9367552 267 33554432000 4194304 5064252 140734677000144 140734676999056 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/25595/statm: 2287 267 226 213 0 72 0 [pid=25596] ppid=25595 vsize=42036 CPUtime=7.16 cores=0,2,4,6 /proc/25596/stat : 25596 (glucose) R 25595 25575 19535 0 -1 4202496 7976 0 0 0 714 2 0 0 20 0 1 0 386224889 43044864 9272 33554432000 4194304 5208918 140736379053616 140736379051464 4228947 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/25596/statm: 10509 9272 105 248 0 10258 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 80460 [startup+51.1003 s] /proc/loadavg: 2.09 2.03 2.00 3/183 25617 /proc/meminfo: memFree=27471576/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 [pid=25576] ppid=25575 vsize=20128 CPUtime=45.67 cores=0,2,4,6 /proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 13633 54194 0 0 65 6 4468 28 20 0 1 0 386223056 20611072 4643 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25576/statm: 5032 4643 179 443 0 4585 0 [pid=25616] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25616/stat : 25616 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386227626 9367552 267 33554432000 4194304 5064252 140733958215808 140733958214720 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/25616/statm: 2287 267 226 213 0 72 0 [pid=25617] ppid=25616 vsize=30620 CPUtime=5.38 cores=0,2,4,6 /proc/25617/stat : 25617 (glucose) R 25616 25575 19535 0 -1 4202496 8786 0 0 0 537 1 0 0 20 0 1 0 386227627 31354880 6872 33554432000 4194304 5208918 140735939003872 140735939001960 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/25617/statm: 7655 6872 105 248 0 7404 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 69044 [startup+102.3 s] /proc/loadavg: 2.03 2.03 2.00 3/182 25652 /proc/meminfo: memFree=27471424/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 [pid=25576] ppid=25575 vsize=20128 CPUtime=97.27 cores=0,2,4,6 /proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 25308 116534 0 0 128 13 9528 58 20 0 1 0 386223056 20611072 4643 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25576/statm: 5032 4643 179 443 0 4585 0 [pid=25651] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25651/stat : 25651 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386232795 9367552 267 33554432000 4194304 5064252 140735873857968 140735873856880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/25651/statm: 2287 267 226 213 0 72 0 [pid=25652] ppid=25651 vsize=30320 CPUtime=4.9 cores=0,2,4,6 /proc/25652/stat : 25652 (glucose) R 25651 25575 19535 0 -1 4202496 8123 0 0 0 488 2 0 0 20 0 1 0 386232796 31047680 6860 33554432000 4194304 5208918 140734634609168 140734634607016 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/25652/statm: 7580 6860 105 248 0 7329 0 Current children cumulated CPU time (s) 102.17 Current children cumulated vsize (KiB) 68744 [startup+162.3 s] /proc/loadavg: 2.09 2.04 2.01 3/183 25709 /proc/meminfo: memFree=27468920/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 [pid=25576] ppid=25575 vsize=20128 CPUtime=161.35 cores=0,2,4,6 /proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 43988 211809 0 0 230 23 15771 111 20 0 1 0 386223056 20611072 4643 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/25576/statm: 5032 4643 179 443 0 4585 0 [pid=25708] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ [startup+1422.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 26801 /proc/meminfo: memFree=24508976/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 [pid=25576] ppid=25575 vsize=20128 CPUtime=1417.19 cores=0,2,4,6 /proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 382909 1850901 0 0 1904 195 138591 1029 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/25576/statm: 5032 4645 179 443 0 4585 0 [pid=26800] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26800/stat : 26800 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386364858 9367552 267 33554432000 4194304 5064252 140736888329344 140736888328256 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26800/statm: 2287 267 226 213 0 72 0 [pid=26801] ppid=26800 vsize=28808 CPUtime=4.27 cores=0,2,4,6 /proc/26801/stat : 26801 (glucose) R 26800 25575 19535 0 -1 4202496 6389 0 0 0 426 1 0 0 20 0 1 0 386364859 29499392 6053 33554432000 4194304 5208918 140734925108512 140734925106456 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/26801/statm: 7202 6053 104 248 0 6951 0 Current children cumulated CPU time (s) 1421.46 Current children cumulated vsize (KiB) 67232 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/184 26972 /proc/meminfo: memFree=24515336/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 [pid=25576] ppid=25575 vsize=20128 CPUtime=1481.02 cores=0,2,4,6 /proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 436425 2045732 0 0 2079 214 144677 1132 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/25576/statm: 5032 4645 179 443 0 4585 0 Current children cumulated CPU time (s) 1481.02 Current children cumulated vsize (KiB) 29276 Solver just ended. Dumping a history of the last processes samples [startup+1484.8 s] /proc/loadavg: 2.00 2.01 2.00 3/184 26986 /proc/meminfo: memFree=24517720/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 [pid=25576] ppid=25575 vsize=20128 CPUtime=1483.84 cores=0,2,4,6 /proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 439919 2060677 0 0 2092 215 144939 1138 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/25576/statm: 5032 4645 179 443 0 4585 0 Current children cumulated CPU time (s) 1483.84 Current children cumulated vsize (KiB) 29276 [startup+1510.41 s] /proc/loadavg: 2.00 2.01 2.00 3/183 27084 /proc/meminfo: memFree=24518944/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 [pid=25576] ppid=25575 vsize=20128 CPUtime=1508.72 cores=0,2,4,6 /proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 462617 2157430 0 0 2167 224 147293 1188 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/25576/statm: 5032 4645 179 443 0 4585 0 [pid=27083] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27083/stat : 27083 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386374018 9367552 267 33554432000 4194304 5064252 140734487480800 140734487479712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27083/statm: 2287 267 226 213 0 72 0 [pid=27084] ppid=27083 vsize=15476 CPUtime=0.77 cores=0,2,4,6 /proc/27084/stat : 27084 (glucose) R 27083 25575 19535 0 -1 4202496 3400 0 0 0 77 0 0 0 20 0 1 0 386374018 15847424 3150 33554432000 4194304 5208918 140737212279936 140737212277688 4228952 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/27084/statm: 3869 3150 104 248 0 3618 0 Current children cumulated CPU time (s) 1509.49 Current children cumulated vsize (KiB) 53900 [startup+1523.2 s] /proc/loadavg: 2.00 2.01 2.00 3/183 27140 /proc/meminfo: memFree=24520248/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 [pid=25576] ppid=25575 vsize=20128 CPUtime=1521.35 cores=0,2,4,6 /proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 476584 2212481 0 0 2210 228 148484 1213 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/25576/statm: 5032 4645 179 443 0 4585 0 [pid=27139] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27139/stat : 27139 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386375281 9367552 266 33554432000 4194304 5064252 140733584740400 140733584739312 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27139/statm: 2287 266 226 213 0 72 0 [pid=27140] ppid=27139 vsize=15024 CPUtime=0.93 cores=0,2,4,6 /proc/27140/stat : 27140 (glucose) R 27139 25575 19535 0 -1 4202496 3833 0 0 0 93 0 0 0 20 0 1 0 386375281 15384576 3026 33554432000 4194304 5208918 140737125158880 140737125156712 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/27140/statm: 3756 3026 104 248 0 3505 0 Current children cumulated CPU time (s) 1522.28 Current children cumulated vsize (KiB) 53448 [startup+1529.6 s] /proc/loadavg: 2.00 2.01 2.00 3/183 27175 /proc/meminfo: memFree=24518376/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 [pid=25576] ppid=25575 vsize=20128 CPUtime=1528.5 cores=0,2,4,6 /proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 487058 2253241 0 0 2238 232 149149 1231 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/25576/statm: 5032 4645 179 443 0 4585 0 Current children cumulated CPU time (s) 1528.5 Current children cumulated vsize (KiB) 29276 [startup+1536 s] /proc/loadavg: 2.00 2.01 2.00 3/183 27224 /proc/meminfo: memFree=24519364/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 [pid=25576] ppid=25575 vsize=20128 CPUtime=1534.51 cores=0,2,4,6 /proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 497534 2292119 0 0 2265 235 149704 1247 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/25576/statm: 5032 4645 179 443 0 4585 0 [pid=27223] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27223/stat : 27223 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386376600 9367552 266 33554432000 4194304 5064252 140733660733008 140733660731920 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27223/statm: 2287 266 226 213 0 72 0 [pid=27224] ppid=27223 vsize=12352 CPUtime=0.54 cores=0,2,4,6 /proc/27224/stat : 27224 (glucose) R 27223 25575 19535 0 -1 4202496 2283 0 0 0 54 0 0 0 20 0 1 0 386376600 12648448 2686 33554432000 4194304 5208918 140733470808960 140733660731944 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/27224/statm: 3088 2686 105 248 0 2837 0 Current children cumulated CPU time (s) 1535.05 Current children cumulated vsize (KiB) 50776 [startup+1537.6 s] /proc/loadavg: 2.00 2.01 2.00 3/183 27231 /proc/meminfo: memFree=24518792/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 [pid=25576] ppid=25575 vsize=20128 CPUtime=1536.07 cores=0,2,4,6 /proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 501026 2304197 0 0 2273 235 149847 1252 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/25576/statm: 5032 4645 179 443 0 4585 0 Current children cumulated CPU time (s) 1536.07 Current children cumulated vsize (KiB) 29276 [startup+1538.4 s] /proc/loadavg: 2.00 2.01 2.00 3/183 27245 /proc/meminfo: memFree=24521164/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 [pid=25576] ppid=25575 vsize=20128 CPUtime=1537.43 cores=0,2,4,6 /proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 505178 2329476 0 0 2283 237 149962 1261 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/25576/statm: 5032 4645 179 443 0 4585 0 Current children cumulated CPU time (s) 1537.43 Current children cumulated vsize (KiB) 29276 [startup+1539.2 s] /proc/loadavg: 2.00 2.01 2.00 3/182 27302 /proc/meminfo: memFree=24530076/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 [pid=25576] ppid=25575 vsize=20128 CPUtime=1538.22 cores=0,2,4,6 /proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 509231 2364051 0 0 2292 238 150021 1271 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/25576/statm: 5032 4645 179 443 0 4585 0 Current children cumulated CPU time (s) 1538.22 Current children cumulated vsize (KiB) 29276 [startup+1539.6 s] /proc/loadavg: 2.00 2.01 2.00 3/182 27302 /proc/meminfo: memFree=24530076/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 [pid=25576] ppid=25575 vsize=20128 CPUtime=1538.61 cores=0,2,4,6 /proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 511466 2381175 0 0 2297 239 150049 1276 20 0 1 0 386223056 20611072 4646 33554432000 4194304 6006132 140736368994528 140736368985408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/25576/statm: 5032 4646 180 443 0 4585 0 Current children cumulated CPU time (s) 1538.61 Current children cumulated vsize (KiB) 29276 [startup+1539.7 s] /proc/loadavg: 2.00 2.01 2.00 3/182 27302 /proc/meminfo: memFree=24530076/32873648 swapFree=7628/7628 [pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/25575/statm: 2287 275 233 213 0 72 0 [pid=25576] ppid=25575 vsize=20128 CPUtime=1538.73 cores=0,2,4,6 /proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 512439 2384427 0 0 2299 239 150054 1281 20 0 1 0 386223056 20611072 4646 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/25576/statm: 5032 4646 180 443 0 4585 0 Current children cumulated CPU time (s) 1538.73 Current children cumulated vsize (KiB) 29276 Child status: 0 Real time (s): 1539.79 CPU time (s): 1538.85 CPU user time (s): 1523.62 CPU system time (s): 15.2297 CPU usage (%): 99.9386 Max. virtual memory (cumulated for all children) (KiB): 98560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1523.62 system time used= 15.2297 maximum resident set size= 48752 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2903960 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3065648 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16116 involuntary context switches= 4625 runsolver used 3.47247 second user time and 8.42272 second system time The end
Begin job on node122 at 2012-06-09 02:16:11 IDJOB=3753811 IDBENCH=79398 IDSOLVER=2337 FILE ID=node122/3753811-1339200971 RUNJOBID= node122-1339184574-20817 PBS_JOBID= 14643846 Free space on /tmp= 68592 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh19_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753811-1339200971/watcher-3753811-1339200971 -o /tmp/evaluation-result-3753811-1339200971/solver-3753811-1339200971 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753811-1339200971.wbo 591399085 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= af72756a7b8194161c8db176c46da286 RANDOM SEED=591399085 node122.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.533 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.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 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.533 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 : 5332.04 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.533 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.533 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.533 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 : 5438.54 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.533 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.533 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: 27530600 kB Buffers: 291892 kB Cached: 3666740 kB SwapCached: 2140 kB Active: 3376604 kB Inactive: 1010920 kB Active(anon): 429308 kB Inactive(anon): 2228 kB Active(file): 2947296 kB Inactive(file): 1008692 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67099488 kB Dirty: 8564 kB Writeback: 0 kB AnonPages: 541056 kB Mapped: 9812 kB Shmem: 0 kB Slab: 815772 kB SReclaimable: 259672 kB SUnreclaim: 556100 kB KernelStack: 1520 kB PageTables: 4780 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 605080 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 301056 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= 67872 MiB End job on node122 at 2012-06-09 02:41:51