Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| npSolver inc-topDown | ? (TO) | 1800.08 | 1801.21 |
| 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.01 c run usual solver 0.00/0.07 o 45236 0.00/0.07 c fallback to adder encoding 10.15/10.23 o 45235 10.15/10.23 c fallback to adder encoding 19.67/19.80 o 45228 19.67/19.80 c fallback to adder encoding 30.67/30.76 o 45218 30.67/30.76 c fallback to adder encoding 42.24/42.33 o 45217 42.24/42.33 c fallback to adder encoding 50.74/50.82 o 45201 50.74/50.82 c fallback to adder encoding 62.84/62.94 o 45182 62.84/62.94 c fallback to adder encoding 69.17/69.30 o 45178 69.17/69.30 c fallback to adder encoding 79.16/79.28 o 45173 79.16/79.28 c fallback to adder encoding 85.88/85.90 o 45165 85.88/85.90 c fallback to adder encoding 95.55/95.63 o 45156 95.55/95.63 c fallback to adder encoding 101.08/101.16 o 45153 101.08/101.16 c fallback to adder encoding 108.87/108.96 o 45142 108.87/108.96 c fallback to adder encoding 121.26/121.34 o 45137 121.26/121.34 c fallback to adder encoding 128.22/128.32 o 45134 128.22/128.32 c fallback to adder encoding 137.85/137.95 o 45129 137.85/137.95 c fallback to adder encoding 142.53/142.62 o 45122 142.53/142.62 c fallback to adder encoding 153.51/153.60 o 45112 153.51/153.60 c fallback to adder encoding 159.42/159.51 o 45063 159.42/159.51 c fallback to adder encoding 168.75/168.86 o 45058 168.75/168.86 c fallback to adder encoding 182.45/182.59 o 45056 182.45/182.59 c fallback to adder encoding 190.05/190.18 o 45039 190.05/190.18 c fallback to adder encoding 195.65/195.74 o 45030 195.65/195.74 c fallback to adder encoding 202.14/202.30 o 45028 202.14/202.30 c fallback to adder encoding 207.56/207.64 o 45027 207.56/207.64 c fallback to adder encoding 213.66/213.77 o 45012 213.66/213.77 c fallback to adder encoding 222.05/222.11 o 45010 222.05/222.11 c fallback to adder encoding 230.86/230.97 o 45009 230.86/230.97 c fallback to adder encoding 240.54/240.69 o 44844 240.54/240.69 c fallback to adder encoding 245.80/245.94 o 44823 245.80/245.94 c fallback to adder encoding 252.97/253.12 o 44813 252.97/253.12 c fallback to adder encoding 256.67/256.82 o 44801 256.67/256.82 c fallback to adder encoding 266.01/266.17 o 43264 266.01/266.17 c fallback to adder encoding 272.70/272.88 o 43256 272.70/272.88 c fallback to adder encoding 282.10/282.29 o 43228 282.10/282.29 c fallback to adder encoding 290.60/290.78 o 43211 290.60/290.78 c fallback to adder encoding 301.20/301.39 o 43179 301.20/301.39 c fallback to adder encoding 312.19/312.34 o 43175 312.19/312.34 c fallback to adder encoding 318.66/318.80 o 43168 318.66/318.80 c fallback to adder encoding 324.70/324.87 o 43167 324.70/324.87 c fallback to adder encoding 328.25/328.41 o 43162 328.25/328.41 c fallback to adder encoding 337.11/337.25 o 42955 337.11/337.25 c fallback to adder encoding 350.48/350.68 o 42950 350.48/350.68 c fallback to adder encoding 357.39/357.52 o 42949 357.39/357.52 c fallback to adder encoding 367.08/367.25 o 42927 367.08/367.25 c fallback to adder encoding 378.79/378.98 o 42922 378.79/378.98 c fallback to adder encoding 388.20/388.38 o 42916 388.20/388.38 c fallback to adder encoding 396.48/396.68 o 42906 396.48/396.68 c fallback to adder encoding 405.88/406.08 o 40644 405.88/406.08 c fallback to adder encoding 414.36/414.56 o 38540 414.36/414.56 c fallback to adder encoding 420.16/420.32 o 38431 420.16/420.32 c fallback to adder encoding 427.25/427.42 o 38419 427.25/427.42 c fallback to adder encoding 434.48/434.66 o 38406 434.48/434.66 c fallback to adder encoding 445.07/445.24 o 38405 445.07/445.24 c fallback to adder encoding 452.25/452.41 o 38403 452.25/452.41 c fallback to adder encoding 459.75/459.93 o 38400 459.75/459.93 c fallback to adder encoding 469.58/469.73 o 38398 469.58/469.73 c fallback to adder encoding 476.16/476.33 o 38390 476.16/476.33 c fallback to adder encoding 483.23/483.40 o 38388 483.23/483.40 c fallback to adder encoding 487.44/487.63 o 38377 487.44/487.63 c fallback to adder encoding 499.04/499.26 o 38373 499.04/499.26 c fallback to adder encoding 508.66/508.88 o 38333 508.66/508.88 c fallback to adder encoding 510.73/510.92 o 38329 510.73/510.92 c fallback to adder encoding 518.45/518.66 o 38319 518.45/518.66 c fallback to adder encoding 525.05/525.28 o 38314 525.05/525.28 c fallback to adder encoding 533.86/534.06 o 38313 533.86/534.06 c fallback to adder encoding 540.35/540.57 o 38305 540.35/540.57 c fallback to adder encoding 546.55/546.71 o 38279 546.55/546.71 c fallback to adder encoding 552.75/552.96 o 37979 552.75/552.96 c fallback to adder encoding 560.92/561.13 o 37978 560.92/561.13 c fallback to adder encoding 569.55/569.78 o 37964 569.55/569.78 c fallback to adder encoding 579.24/579.44 o 37962 579.24/579.44 c fallback to adder encoding 590.00/590.22 o 37956 590.00/590.22 c fallback to adder encoding 594.11/594.32 o 22522 594.11/594.32 c fallback to adder encoding 601.01/601.22 o 22504 601.01/601.22 c fallback to adder encoding 606.71/606.97 o 22484 606.71/606.97 c fallback to adder encoding 612.62/612.90 o 22482 612.62/612.90 c fallback to adder encoding 618.30/618.68 o 22480 618.30/618.68 c fallback to adder encoding 625.02/625.35 o 22474 625.02/625.35 c fallback to adder encoding 629.20/629.58 o 22472 629.20/629.58 c fallback to adder encoding 630.82/631.18 o 22465 630.82/631.18 c fallback to adder encoding 636.71/637.07 o 22463 636.71/637.07 c fallback to adder encoding 641.07/641.41 o 22462 641.07/641.41 c fallback to adder encoding 646.41/646.78 o 22458 646.41/646.78 c fallback to adder encoding 649.69/650.07 o 22457 649.69/650.07 c fallback to adder encoding 654.70/655.07 o 22422 654.70/655.07 c fallback to adder encoding 662.86/663.20 o 22420 662.86/663.20 c fallback to adder encoding 670.40/670.79 o 22419 670.40/670.79 c fallback to adder encoding 676.21/676.60 o 22400 676.21/676.60 c fallback to adder encoding 679.51/679.89 o 22397 679.51/679.89 c fallback to adder encoding 686.30/686.64 o 22369 686.30/686.64 c fallback to adder encoding 691.82/692.19 o 22365 691.82/692.19 c fallback to adder encoding 698.30/698.69 o 22346 698.30/698.69 c fallback to adder encoding 707.81/708.10 o 22344 707.81/708.10 c fallback to adder encoding 715.19/715.55 o 22342 715.19/715.55 c fallback to adder encoding 719.37/719.72 o 22121 719.37/719.72 c fallback to adder encoding 728.49/728.85 o 22097 728.49/728.85 c fallback to adder encoding 733.68/734.08 o 22092 733.68/734.08 c fallback to adder encoding 743.50/743.80 o 22078 743.50/743.80 c fallback to adder encoding 747.59/747.99 o 22065 747.59/747.99 c fallback to adder encoding 756.88/757.23 o 22063 756.88/757.23 c fallback to adder encoding 764.07/764.47 o 22060 764.07/764.47 c fallback to adder encoding 772.07/772.48 o 22049 772.07/772.48 c fallback to adder encoding 782.95/783.33 o 22048 782.95/783.33 c fallback to adder encoding 789.07/789.48 o 22046 789.07/789.48 c fallback to adder encoding 798.66/799.07 o 22045 798.66/799.07 c fallback to adder encoding 806.66/807.07 o 22034 806.66/807.07 c fallback to adder encoding 814.45/814.88 o 22033 814.45/814.88 c fallback to adder encoding 820.74/821.16 o 20485 820.74/821.16 c fallback to adder encoding 826.35/826.79 o 20483 826.35/826.79 c fallback to adder encoding 833.75/834.15 o 20482 833.75/834.15 c fallback to adder encoding 842.31/842.72 o 20480 842.31/842.72 c fallback to adder encoding 847.15/847.50 o 20475 847.15/847.50 c fallback to adder encoding 851.34/851.74 o 20456 851.34/851.74 c fallback to adder encoding 860.63/861.09 o 20454 860.63/861.09 c fallback to adder encoding 864.14/864.57 o 20453 864.14/864.57 c fallback to adder encoding 872.70/873.11 o 20451 872.70/873.11 c fallback to adder encoding 878.43/878.86 o 20417 878.43/878.86 c fallback to adder encoding 888.32/888.73 o 20399 888.32/888.73 c fallback to adder encoding 891.41/891.82 o 20393 891.41/891.82 c fallback to adder encoding 897.73/898.16 o 20391 897.73/898.16 c fallback to adder encoding 902.53/902.96 o 20387 902.53/902.96 c fallback to adder encoding 909.22/909.66 o 20367 909.22/909.66 c fallback to adder encoding 916.39/916.91 o 20364 916.39/916.91 c fallback to adder encoding 924.11/924.67 o 17949 924.11/924.67 c fallback to adder encoding 927.61/928.16 o 17948 927.61/928.16 c fallback to adder encoding 937.37/937.90 o 17947 937.37/937.90 c fallback to adder encoding 944.21/944.76 o 17937 944.21/944.76 c fallback to adder encoding 955.39/955.95 o 17931 955.39/955.95 c fallback to adder encoding 961.70/962.24 o 17930 961.70/962.24 c fallback to adder encoding 970.09/970.64 o 17928 970.09/970.64 c fallback to adder encoding 972.89/973.48 o 17924 972.89/973.48 c fallback to adder encoding 979.79/980.36 o 17920 979.79/980.36 c fallback to adder encoding 985.36/985.92 o 17902 985.36/985.92 c fallback to adder encoding 990.00/990.58 o 17896 990.00/990.58 c fallback to adder encoding 994.41/995.06 o 17895 994.41/995.06 c fallback to adder encoding 999.32/1000.00 o 17894 999.32/1000.00 c fallback to adder encoding 1011.62/1012.20 o 17891 1011.62/1012.20 c fallback to adder encoding 1018.40/1019.09 o 17857 1018.40/1019.09 c fallback to adder encoding 1025.68/1026.35 o 17853 1025.68/1026.35 c fallback to adder encoding 1032.28/1032.91 o 17844 1032.28/1032.91 c fallback to adder encoding 1042.28/1042.97 o 17829 1042.28/1042.97 c fallback to adder encoding 1058.98/1059.66 o 17828 1058.98/1059.66 c fallback to adder encoding 1067.89/1068.55 o 17827 1067.89/1068.55 c fallback to adder encoding 1073.75/1074.49 o 17821 1073.75/1074.49 c fallback to adder encoding 1078.14/1078.81 o 17816 1078.14/1078.81 c fallback to adder encoding 1084.67/1085.30 o 17812 1084.67/1085.30 c fallback to adder encoding 1090.27/1090.98 o 17796 1090.27/1090.98 c fallback to adder encoding 1101.93/1102.65 o 17795 1101.93/1102.65 c fallback to adder encoding 1107.99/1108.70 o 17791 1107.99/1108.70 c fallback to adder encoding 1113.48/1114.20 o 17784 1113.48/1114.20 c fallback to adder encoding 1119.62/1120.37 o 17780 1119.62/1120.37 c fallback to adder encoding 1126.41/1127.17 o 17779 1126.41/1127.17 c fallback to adder encoding 1130.19/1130.92 o 17773 1130.19/1130.92 c fallback to adder encoding 1136.29/1137.03 o 17769 1136.29/1137.03 c fallback to adder encoding 1144.09/1144.82 o 17762 1144.09/1144.82 c fallback to adder encoding 1148.62/1149.35 o 17760 1148.62/1149.35 c fallback to adder encoding 1155.59/1156.32 o 17753 1155.59/1156.32 c fallback to adder encoding 1160.31/1161.05 o 17752 1160.31/1161.05 c fallback to adder encoding 1167.02/1167.76 o 17748 1167.02/1167.76 c fallback to adder encoding 1170.10/1170.83 o 17738 1170.10/1170.83 c fallback to adder encoding 1175.98/1176.70 o 17736 1175.98/1176.70 c fallback to adder encoding 1182.31/1183.06 o 17723 1182.31/1183.06 c fallback to adder encoding 1191.00/1191.80 o 17715 1191.00/1191.80 c fallback to adder encoding 1201.39/1202.13 o 17699 1201.39/1202.13 c fallback to adder encoding 1207.56/1208.34 o 17697 1207.56/1208.34 c fallback to adder encoding 1214.94/1215.73 o 17695 1214.94/1215.73 c fallback to adder encoding 1220.43/1221.21 o 17686 1220.43/1221.21 c fallback to adder encoding 1227.37/1228.15 o 12138 1227.37/1228.15 c fallback to adder encoding 1233.35/1234.14 o 12128 1233.35/1234.14 c fallback to adder encoding 1235.44/1236.23 o 12126 1235.44/1236.23 c fallback to adder encoding 1240.15/1241.00 o 12125 1240.15/1241.00 c fallback to adder encoding 1245.12/1245.92 o 12114 1245.12/1245.92 c fallback to adder encoding 1247.61/1248.42 o 12091 1247.61/1248.42 c fallback to adder encoding 1252.75/1253.54 o 12090 1252.75/1253.54 c fallback to adder encoding 1261.24/1262.07 o 12085 1261.24/1262.07 c fallback to adder encoding 1266.76/1267.56 o 12084 1266.76/1267.56 c fallback to adder encoding 1269.84/1270.66 o 12061 1269.84/1270.66 c fallback to adder encoding 1280.62/1281.43 o 12056 1280.62/1281.43 c fallback to adder encoding 1287.54/1288.34 o 12051 1287.54/1288.34 c fallback to adder encoding 1295.54/1296.39 o 12048 1295.54/1296.39 c fallback to adder encoding 1303.03/1303.85 o 12042 1303.03/1303.85 c fallback to adder encoding 1309.23/1310.08 o 12038 1309.23/1310.08 c fallback to adder encoding 1321.54/1322.30 o 12032 1321.54/1322.30 c fallback to adder encoding 1327.51/1328.32 o 11981 1327.51/1328.32 c fallback to adder encoding 1333.33/1334.16 o 11978 1333.33/1334.16 c fallback to adder encoding 1341.29/1342.11 o 11766 1341.29/1342.11 c fallback to adder encoding 1345.12/1345.99 o 11744 1345.12/1345.99 c fallback to adder encoding 1347.42/1348.29 o 11742 1347.42/1348.29 c fallback to adder encoding 1351.81/1352.63 o 11737 1351.81/1352.63 c fallback to adder encoding 1358.90/1359.73 o 11724 1358.90/1359.73 c fallback to adder encoding 1366.50/1367.34 o 11707 1366.50/1367.34 c fallback to adder encoding 1371.19/1372.06 o 11705 1371.19/1372.06 c fallback to adder encoding 1374.69/1375.55 o 11697 1374.69/1375.55 c fallback to adder encoding 1380.22/1381.05 o 11695 1380.22/1381.05 c fallback to adder encoding 1386.49/1387.33 o 11691 1386.49/1387.33 c fallback to adder encoding 1396.20/1397.02 o 11690 1396.20/1397.02 c fallback to adder encoding 1402.58/1403.49 o 11684 1402.58/1403.49 c fallback to adder encoding 1406.66/1407.59 o 11657 1406.66/1407.59 c fallback to adder encoding 1415.25/1416.16 o 11656 1415.25/1416.16 c fallback to adder encoding 1418.74/1419.65 o 11655 1418.74/1419.65 c fallback to adder encoding 1423.56/1424.45 o 11648 1423.56/1424.45 c fallback to adder encoding 1429.45/1430.34 o 11644 1429.45/1430.34 c fallback to adder encoding 1434.44/1435.33 o 11642 1434.44/1435.33 c fallback to adder encoding 1439.85/1440.74 o 11636 1439.85/1440.74 c fallback to adder encoding 1447.14/1448.08 o 11610 1447.14/1448.08 c fallback to adder encoding 1457.64/1458.53 o 11602 1457.64/1458.53 c fallback to adder encoding 1463.64/1464.58 o 11598 1463.64/1464.58 c fallback to adder encoding 1471.03/1471.93 o 11585 1471.03/1471.93 c fallback to adder encoding 1479.95/1480.85 o 11581 1479.95/1480.85 c fallback to adder encoding 1483.91/1484.81 o 11577 1483.91/1484.81 c fallback to adder encoding 1489.01/1489.92 o 11575 1489.01/1489.92 c fallback to adder encoding 1492.54/1493.46 o 11570 1492.54/1493.46 c fallback to adder encoding 1500.03/1500.99 o 11538 1500.03/1500.99 c fallback to adder encoding 1503.32/1504.28 o 11530 1503.32/1504.28 c fallback to adder encoding 1516.23/1517.16 o 11526 1516.23/1517.16 c fallback to adder encoding 1521.72/1522.68 o 11520 1521.72/1522.68 c fallback to adder encoding 1527.52/1528.46 o 11519 1527.52/1528.46 c fallback to adder encoding 1533.02/1533.98 o 11507 1533.02/1533.98 c fallback to adder encoding 1540.13/1541.07 o 11503 1540.13/1541.07 c fallback to adder encoding 1549.52/1550.48 o 11501 1549.52/1550.48 c fallback to adder encoding 1556.51/1557.49 o 11500 1556.51/1557.49 c fallback to adder encoding 1563.53/1564.40 o 11498 1563.53/1564.40 c fallback to adder encoding 1569.71/1570.69 o 11488 1569.71/1570.69 c fallback to adder encoding 1576.10/1577.07 o 11456 1576.10/1577.07 c fallback to adder encoding 1588.62/1589.51 o 11445 1588.62/1589.51 c fallback to adder encoding 1592.18/1593.12 o 11428 1592.18/1593.12 c fallback to adder encoding 1598.59/1599.53 o 11421 1598.59/1599.53 c fallback to adder encoding 1604.49/1605.42 o 11414 1604.49/1605.42 c fallback to adder encoding 1610.60/1611.54 o 11413 1610.60/1611.54 c fallback to adder encoding 1615.29/1616.28 o 11405 1615.29/1616.28 c fallback to adder encoding 1619.58/1620.58 o 11394 1619.58/1620.58 c fallback to adder encoding 1631.79/1632.74 o 11393 1631.79/1632.74 c fallback to adder encoding 1637.15/1638.11 o 11392 1637.15/1638.11 c fallback to adder encoding 1643.68/1644.64 o 11389 1643.68/1644.64 c fallback to adder encoding 1649.98/1650.92 o 11387 1649.98/1650.92 c fallback to adder encoding 1656.59/1657.58 o 11384 1656.59/1657.58 c fallback to adder encoding 1659.69/1660.66 o 11360 1659.69/1660.66 c fallback to adder encoding 1669.70/1670.64 o 11352 1669.70/1670.64 c fallback to adder encoding 1674.29/1675.24 o 11346 1674.29/1675.24 c fallback to adder encoding 1681.85/1682.80 o 11305 1681.85/1682.80 c fallback to adder encoding 1691.87/1692.87 o 11302 1691.87/1692.87 c fallback to adder encoding 1698.77/1699.78 o 9278 1698.77/1699.78 c fallback to adder encoding 1705.05/1706.01 o 9264 1705.05/1706.01 c fallback to adder encoding 1711.38/1712.34 o 9253 1711.38/1712.34 c fallback to adder encoding 1719.97/1720.92 o 9252 1719.97/1720.92 c fallback to adder encoding 1727.07/1728.04 o 9250 1727.07/1728.04 c fallback to adder encoding 1731.34/1732.36 o 9248 1731.34/1732.36 c fallback to adder encoding 1736.88/1737.96 o 9245 1736.88/1737.96 c fallback to adder encoding 1744.48/1745.55 o 9244 1744.48/1745.55 c fallback to adder encoding 1749.87/1750.96 o 9241 1749.87/1750.96 c fallback to adder encoding 1756.47/1757.55 o 9237 1756.47/1757.55 c fallback to adder encoding 1763.97/1765.09 o 9224 1763.97/1765.09 c fallback to adder encoding 1770.58/1771.65 o 9218 1770.58/1771.65 c fallback to adder encoding 1778.94/1780.02 o 9217 1778.94/1780.02 c fallback to adder encoding 1792.97/1794.10 o 9216 1792.97/1794.10 c fallback to adder encoding 1798.00/1799.19 o 9212 1798.00/1799.19 c fallback to adder encoding 1800.04/1801.20 ./satsolver.sh: line 5: 30220 Terminated ./glucose $1 > $2 2> /dev/null 1800.04/1801.20 c error: unexpected solver exit code 1800.04/1801.20 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-3715123-1338224764/watcher-3715123-1338224764 -o /tmp/evaluation-result-3715123-1338224764/solver-3715123-1338224764 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715123-1338224764.wbo 1898945867 HOME HOME running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.97 1.96 1.98 3/179 26723 /proc/meminfo: memFree=29591676/32873844 swapFree=7628/7628 [pid=26723] ppid=26721 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26723/stat : 26723 (npSolver-wbo-It) S 26721 26723 12592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288600786 9367552 275 33554432000 4194304 5064252 140734008788736 140734008787648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26723/statm: 2287 275 233 213 0 72 0 [startup+0.023103 s] /proc/loadavg: 1.97 1.96 1.98 3/179 26723 /proc/meminfo: memFree=29591676/32873844 swapFree=7628/7628 [pid=26723] ppid=26721 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26723/stat : 26723 (npSolver-wbo-It) S 26721 26723 12592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288600786 9367552 275 33554432000 4194304 5064252 140734008788736 140734008787648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26723/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100263 s] /proc/loadavg: 1.97 1.96 1.98 3/179 26723 /proc/meminfo: memFree=29591676/32873844 swapFree=7628/7628 [pid=26723] ppid=26721 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26723/stat : 26723 (npSolver-wbo-It) S 26721 26723 12592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288600786 9367552 275 33554432000 4194304 5064252 140734008788736 140734008787648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26723/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300298 s] /proc/loadavg: 1.97 1.96 1.98 3/179 26723 /proc/meminfo: memFree=29591676/32873844 swapFree=7628/7628 [pid=26723] ppid=26721 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26723/stat : 26723 (npSolver-wbo-It) S 26721 26723 12592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288600786 9367552 275 33554432000 4194304 5064252 140734008788736 140734008787648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26723/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700257 s] /proc/loadavg: 1.97 1.96 1.98 3/179 26723 /proc/meminfo: memFree=29591676/32873844 swapFree=7628/7628 [pid=26723] ppid=26721 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26723/stat : 26723 (npSolver-wbo-It) S 26721 26723 12592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288600786 9367552 275 33554432000 4194304 5064252 140734008788736 140734008787648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26723/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50037 s] /proc/loadavg: 1.97 1.96 1.98 3/183 26737 /proc/meminfo: memFree=29562636/32873844 swapFree=7628/7628 [pid=26723] ppid=26721 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26723/stat : 26723 (npSolver-wbo-It) S 26721 26723 12592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288600786 9367552 275 33554432000 4194304 5064252 140734008788736 140734008787648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26723/statm: 2287 275 233 213 0 72 0 [pid=26724] ppid=26723 vsize=11352 CPUtime=0.15 cores=1,3,5,7 /proc/26724/stat : 26724 (npSolver-wbo) S 26723 26723 12592 0 -1 4202496 2778 6110 0 0 10 1 3 1 20 0 1 0 288600786 11624448 1873 33554432000 4194304 5990268 140736346577040 140736346568464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/26724/statm: 2838 1873 166 439 0 2395 0 [pid=26736] ppid=26724 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26736/stat : 26736 (satsolver.sh) S 26724 26723 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288600802 9367552 267 33554432000 4194304 5064252 140736053510576 140736053509488 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/26736/statm: 2287 267 226 213 0 72 0 [pid=26737] ppid=26736 vsize=19916 CPUtime=1.32 cores=1,3,5,7 /proc/26737/stat : 26737 (glucose) R 26736 26723 12592 0 -1 4202496 4888 0 0 0 131 1 0 0 20 0 1 0 288600802 20393984 4507 33554432000 4194304 5208918 140733486946464 140733486944296 4465902 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/26737/statm: 4979 4507 104 248 0 4728 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 49564 [startup+3.10035 s] /proc/loadavg: 1.97 1.96 1.98 3/183 26737 /proc/meminfo: memFree=29560092/32873844 swapFree=7628/7628 [pid=26723] ppid=26721 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26723/stat : 26723 (npSolver-wbo-It) S 26721 26723 12592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288600786 9367552 275 33554432000 4194304 5064252 140734008788736 140734008787648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26723/statm: 2287 275 233 213 0 72 0 [pid=26724] ppid=26723 vsize=11352 CPUtime=0.15 cores=1,3,5,7 /proc/26724/stat : 26724 (npSolver-wbo) S 26723 26723 12592 0 -1 4202496 2778 6110 0 0 10 1 3 1 20 0 1 0 288600786 11624448 1873 33554432000 4194304 5990268 140736346577040 140736346568464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/26724/statm: 2838 1873 166 439 0 2395 0 [pid=26736] ppid=26724 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26736/stat : 26736 (satsolver.sh) S 26724 26723 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288600802 9367552 267 33554432000 4194304 5064252 140736053510576 140736053509488 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/26736/statm: 2287 267 226 213 0 72 0 [pid=26737] ppid=26736 vsize=27572 CPUtime=2.92 cores=1,3,5,7 /proc/26737/stat : 26737 (glucose) R 26736 26723 12592 0 -1 4202496 6188 0 0 0 291 1 0 0 20 0 1 0 288600802 28233728 6042 33554432000 4194304 5208918 140733486946464 140733486944408 4211049 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/26737/statm: 6893 6042 104 248 0 6642 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 57220 [startup+6.30047 s] /proc/loadavg: 1.97 1.96 1.98 3/183 26737 /proc/meminfo: memFree=29549492/32873844 swapFree=7628/7628 [pid=26723] ppid=26721 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26723/stat : 26723 (npSolver-wbo-It) S 26721 26723 12592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288600786 9367552 275 33554432000 4194304 5064252 140734008788736 140734008787648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26723/statm: 2287 275 233 213 0 72 0 [pid=26724] ppid=26723 vsize=11352 CPUtime=0.15 cores=1,3,5,7 /proc/26724/stat : 26724 (npSolver-wbo) S 26723 26723 12592 0 -1 4202496 2778 6110 0 0 10 1 3 1 20 0 1 0 288600786 11624448 1873 33554432000 4194304 5990268 140736346577040 140736346568464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/26724/statm: 2838 1873 166 439 0 2395 0 [pid=26736] ppid=26724 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26736/stat : 26736 (satsolver.sh) S 26724 26723 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288600802 9367552 267 33554432000 4194304 5064252 140736053510576 140736053509488 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/26736/statm: 2287 267 226 213 0 72 0 [pid=26737] ppid=26736 vsize=31924 CPUtime=6.12 cores=1,3,5,7 /proc/26737/stat : 26737 (glucose) R 26736 26723 12592 0 -1 4202496 6890 0 0 0 610 2 0 0 20 0 1 0 288600802 32690176 7184 33554432000 4194304 5208918 140733486946464 140733486942840 4229688 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/26737/statm: 7981 7184 104 248 0 7730 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 61572 [startup+12.7004 s] /proc/loadavg: 1.97 1.96 1.98 3/183 26744 /proc/meminfo: memFree=29552532/32873844 swapFree=7628/7628 [pid=26723] ppid=26721 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26723/stat : 26723 (npSolver-wbo-It) S 26721 26723 12592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288600786 9367552 275 33554432000 4194304 5064252 140734008788736 140734008787648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26723/statm: 2287 275 233 213 0 72 0 [pid=26724] ppid=26723 vsize=19540 CPUtime=10.31 cores=1,3,5,7 /proc/26724/stat : 26724 (npSolver-wbo) S 26723 26723 12592 0 -1 4202496 4996 17181 0 0 18 2 1005 6 20 0 1 0 288600786 20008960 3925 33554432000 4194304 5990268 140736346577040 140736346568464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/26724/statm: 4885 3925 166 439 0 4442 0 [pid=26743] ppid=26724 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26743/stat : 26743 (satsolver.sh) S 26724 26723 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288601819 9367552 267 33554432000 4194304 5064252 140734214882544 140734214881456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/26743/statm: 2287 267 226 213 0 72 0 [pid=26744] ppid=26743 vsize=22892 CPUtime=2.35 cores=1,3,5,7 /proc/26744/stat : 26744 (glucose) R 26743 26723 12592 0 -1 4202496 4998 0 0 0 235 0 0 0 20 0 1 0 288601819 23441408 4620 33554432000 4194304 5208918 140736075969104 140736075966952 4231456 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/26744/statm: 5723 4620 104 248 0 5472 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 60728 [startup+25.5005 s] /proc/loadavg: 1.98 1.96 1.98 3/183 26752 /proc/meminfo: memFree=29541424/32873844 swapFree=7628/7628 [pid=26723] ppid=26721 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26723/stat : 26723 (npSolver-wbo-It) S 26721 26723 12592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288600786 9367552 275 33554432000 4194304 5064252 140734008788736 140734008787648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26723/statm: 2287 275 233 213 0 72 0 [pid=26724] ppid=26723 vsize=19540 CPUtime=19.87 cores=1,3,5,7 /proc/26724/stat : 26724 (npSolver-wbo) S 26723 26723 12592 0 -1 4202496 7214 27416 0 0 26 3 1948 10 20 0 1 0 288600786 20008960 3925 33554432000 4194304 5990268 140736346577040 140736346568464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/26724/statm: 4885 3925 166 439 0 4442 0 [pid=26750] ppid=26724 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26750/stat : 26750 (satsolver.sh) S 26724 26723 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288602776 9367552 267 33554432000 4194304 5064252 140734203852160 140734203851072 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/26750/statm: 2287 267 226 213 0 72 0 [pid=26751] ppid=26750 vsize=31800 CPUtime=5.59 cores=1,3,5,7 /proc/26751/stat : 26751 (glucose) R 26750 26723 12592 0 -1 4202496 5255 0 0 0 558 1 0 0 20 0 1 0 288602776 32563200 7297 33554432000 4194304 5208918 140737361545712 140737361542088 4215351 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/26751/statm: 7950 7297 104 248 0 7699 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 69636 [startup+51.1004 s] /proc/loadavg: 1.98 1.97 1.98 3/181 26771 /proc/meminfo: memFree=29725196/32873844 swapFree=7628/7628 [pid=26723] ppid=26721 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26723/stat : 26723 (npSolver-wbo-It) S 26721 26723 12592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288600786 9367552 275 33554432000 4194304 5064252 140734008788736 140734008787648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26723/statm: 2287 275 233 213 0 72 0 [pid=26724] ppid=26723 vsize=19540 CPUtime=50.88 cores=1,3,5,7 /proc/26724/stat : 26724 (npSolver-wbo) S 26723 26723 12592 0 -1 4202496 13868 56195 0 0 51 7 5002 28 20 0 1 0 288600786 20008960 3925 33554432000 4194304 5990268 140736346577040 140736346568464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/26724/statm: 4885 3925 166 439 0 4442 0 Current children cumulated CPU time (s) 50.88 Current children cumulated vsize (KiB) 28688 [startup+102.307 s] /proc/loadavg: 2.02 1.97 1.98 3/183 26822 /proc/meminfo: memFree=29597032/32873844 swapFree=7628/7628 [pid=26723] ppid=26721 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26723/stat : 26723 (npSolver-wbo-It) S 26721 26723 12592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288600786 9367552 275 33554432000 4194304 5064252 140734008788736 140734008787648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26723/statm: 2287 275 233 213 0 72 0 [pid=26724] ppid=26723 vsize=19540 CPUtime=101.23 cores=1,3,5,7 /proc/26724/stat : 26724 (npSolver-wbo) S 26723 26723 12592 0 -1 4202496 27176 115725 0 0 101 15 9948 59 20 0 1 0 288600786 20008960 3925 33554432000 4194304 5990268 140736346577040 140736346568464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/26724/statm: 4885 3925 166 439 0 4442 0 [pid=26821] ppid=26724 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26821/stat : 26821 (satsolver.sh) S 26724 26723 12592 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288610912 9367552 267 33554432000 4194304 5064252 140736840476176 140736840475088 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/26821/statm: 2287 267 226 213 0 72 0 [pid=26822] ppid=26821 vsize=19588 CPUtime=1.03 cores=1,3,5,7 /proc/26822/stat : 26822 (glucose) R 26821 26723 12592 0 -1 4202496 4711 0 0 0 103 0 0 0 20 0 1 0 288610912 20058112 4344 33554432000 4194304 5208918 140736552478512 140736552476360 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/26822/statm: 4897 4344 104 248 0 4646 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 57424 [startup+162.3 s] /proc/loadavg: 2.00 1.97 1.98 3/183 26871 /proc/meminfo: memFree=29591092/32873844 swapFree=7628/7628 [pid=26723] ppid=26721 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26723/stat : 26723 (npSolver-wbo-It) S 26721 26723 12592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288600786 9367552 275 33554432000 4194304 5064252 140734008788736 140734008787648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26723/statm: 2287 275 233 213 0 72 0 [pid=26724] ppid=26723 vsize=19540 CPUtime=159.57 cores=1,3,5,7 /proc/26724/stat : 26724 (npSolver-wbo) S 26723 26723 12592 0 -1 4202496 42702 186546 0 0 159 25 15680 93 20 0 1 0 288600786 20008960 3925 33554432000 4194304 5990268 140736346577040 140736346568464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/26724/statm: 4885 3925 166 439 0 4442 0 [pid=26870] ppid=26724 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26870/stat : 26870 (satsolver.sh) S 26724 26723 12592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288616746 9367552 267 33554432000 4194304 5064252 140735408812480 140735408811392 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/26870/statm: 2287 267 226 213 0 72 0 [pid=26871] ppid=26870 vsize=20552 CPUtime=2.68 cores=1,3,5,7 /proc/26871/stat : 26871 (glucose) R 26870 26723 12592 0 -1 4202496 5127 0 0 0 267 1 0 0 20 0 1 0 288616747 21045248 4631 33554432000 4194304 5208918 140735990397696 140735990395848 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/26871/statm: 5138 4631 104 248 0 4887 0 Current children cumulated CPU time (s) 162.25 ################ # More data... # ################ [startup+1422.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 29418 /proc/meminfo: memFree=29743852/32873844 swapFree=7628/7628 [pid=26723] ppid=26721 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26723/stat : 26723 (npSolver-wbo-It) S 26721 26723 12592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288600786 9367552 275 33554432000 4194304 5064252 140734008788736 140734008787648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26723/statm: 2287 275 233 213 0 72 0 [pid=26724] ppid=26723 vsize=19492 CPUtime=1418.91 cores=1,3,5,7 /proc/26724/stat : 26724 (npSolver-wbo) S 26723 26723 12592 0 -1 4202496 446378 1906113 0 0 1595 257 139060 979 20 0 1 0 288600786 19959808 3925 33554432000 4194304 5990268 140736346577040 140736346568464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 18 0 0 /proc/26724/statm: 4873 3925 166 439 0 4430 0 [pid=29417] ppid=26724 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29417/stat : 29417 (satsolver.sh) S 26724 26723 12592 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288742760 9367552 265 33554432000 4194304 5064252 140733896295232 140733896294144 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/29417/statm: 2287 265 226 213 0 72 0 [pid=29418] ppid=29417 vsize=21876 CPUtime=2.56 cores=1,3,5,7 /proc/29418/stat : 29418 (glucose) R 29417 26723 12592 0 -1 4202496 4493 0 0 0 255 1 0 0 20 0 1 0 288742760 22401024 4304 33554432000 4194304 5208918 140734776643984 140734776641656 4211665 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/29418/statm: 5469 4304 105 248 0 5218 0 Current children cumulated CPU time (s) 1421.47 Current children cumulated vsize (KiB) 59664 [startup+1482.3 s] /proc/loadavg: 1.94 1.99 1.99 3/184 29547 /proc/meminfo: memFree=29746360/32873844 swapFree=7628/7628 [pid=26723] ppid=26721 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26723/stat : 26723 (npSolver-wbo-It) S 26721 26723 12592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288600786 9367552 275 33554432000 4194304 5064252 140734008788736 140734008787648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26723/statm: 2287 275 233 213 0 72 0 [pid=26724] ppid=26723 vsize=19492 CPUtime=1480.08 cores=1,3,5,7 /proc/26724/stat : 26724 (npSolver-wbo) S 26723 26723 12592 0 -1 4202496 466340 1984709 0 0 1659 269 145060 1020 20 0 1 0 288600786 19959808 3925 33554432000 4194304 5990268 140736346577040 140736346568464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 18 0 0 /proc/26724/statm: 4873 3925 166 439 0 4430 0 [pid=29546] ppid=26724 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29546/stat : 29546 (satsolver.sh) S 26724 26723 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288748879 9367552 267 33554432000 4194304 5064252 140734798190928 140734798189840 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/29546/statm: 2287 267 226 213 0 72 0 [pid=29547] ppid=29546 vsize=18392 CPUtime=1.36 cores=1,3,5,7 /proc/29547/stat : 29547 (glucose) R 29546 26723 12592 0 -1 4202496 3598 0 0 0 136 0 0 0 20 0 1 0 288748879 18833408 3932 33554432000 4194304 5208918 140734746780096 140734746777944 4465602 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/29547/statm: 4598 3932 105 248 0 4347 0 Current children cumulated CPU time (s) 1481.44 Current children cumulated vsize (KiB) 56180 [startup+1542.31 s] /proc/loadavg: 1.97 1.99 1.99 3/183 29694 /proc/meminfo: memFree=29746440/32873844 swapFree=7628/7628 [pid=26723] ppid=26721 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26723/stat : 26723 (npSolver-wbo-It) S 26721 26723 12592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288600786 9367552 275 33554432000 4194304 5064252 140734008788736 140734008787648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26723/statm: 2287 275 233 213 0 72 0 [pid=26724] ppid=26723 vsize=19492 CPUtime=1540.3 cores=1,3,5,7 /proc/26724/stat : 26724 (npSolver-wbo) S 26723 26723 12592 0 -1 4202496 488520 2071692 0 0 1732 281 150952 1065 20 0 1 0 288600786 19959808 3925 33554432000 4194304 5990268 140736346577040 140736346568464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 18 0 0 /proc/26724/statm: 4873 3925 166 439 0 4430 0 [pid=29686] ppid=26724 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29686/stat : 29686 (satsolver.sh) S 26724 26723 12592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288754901 9367552 266 33554432000 4194304 5064252 140734442921568 140734442920480 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/29686/statm: 2287 266 226 213 0 72 0 [pid=29687] ppid=29686 vsize=18500 CPUtime=1.13 cores=1,3,5,7 /proc/29687/stat : 29687 (glucose) R 29686 26723 12592 0 -1 4202496 3657 0 0 0 112 1 0 0 20 0 1 0 288754902 18944000 3968 33554432000 4194304 5208918 140733675366688 140733675364440 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/29687/statm: 4625 3968 105 248 0 4374 0 Current children cumulated CPU time (s) 1541.43 Current children cumulated vsize (KiB) 56288 [startup+1602.3 s] /proc/loadavg: 2.04 2.00 2.00 3/183 29800 /proc/meminfo: memFree=29744100/32873844 swapFree=7628/7628 [pid=26723] ppid=26721 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26723/stat : 26723 (npSolver-wbo-It) S 26721 26723 12592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288600786 9367552 275 33554432000 4194304 5064252 140734008788736 140734008787648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26723/statm: 2287 275 233 213 0 72 0 [pid=26724] ppid=26723 vsize=19492 CPUtime=1598.73 cores=1,3,5,7 /proc/26724/stat : 26724 (npSolver-wbo) S 26723 26723 12592 0 -1 4202496 506264 2143262 0 0 1789 292 156691 1101 20 0 1 0 288600786 19959808 3925 33554432000 4194304 5990268 140736346577040 140736346568464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 18 0 0 /proc/26724/statm: 4873 3925 166 439 0 4430 0 [pid=29799] ppid=26724 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29799/stat : 29799 (satsolver.sh) S 26724 26723 12592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288760747 9367552 266 33554432000 4194304 5064252 140737189654096 140737189653008 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/29799/statm: 2287 266 226 213 0 72 0 [pid=29800] ppid=29799 vsize=19000 CPUtime=2.67 cores=1,3,5,7 /proc/29800/stat : 29800 (glucose) R 29799 26723 12592 0 -1 4202496 3849 0 0 0 267 0 0 0 20 0 1 0 288760748 19456000 4193 33554432000 4194304 5208918 140734415938000 140734415934376 4205672 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/29800/statm: 4750 4193 105 248 0 4499 0 Current children cumulated CPU time (s) 1601.4 Current children cumulated vsize (KiB) 56788 [startup+1662.3 s] /proc/loadavg: 2.01 2.00 2.00 3/183 29947 /proc/meminfo: memFree=29741768/32873844 swapFree=7628/7628 [pid=26723] ppid=26721 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26723/stat : 26723 (npSolver-wbo-It) S 26721 26723 12592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288600786 9367552 275 33554432000 4194304 5064252 140734008788736 140734008787648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26723/statm: 2287 275 233 213 0 72 0 [pid=26724] ppid=26723 vsize=19492 CPUtime=1659.86 cores=1,3,5,7 /proc/26724/stat : 26724 (npSolver-wbo) S 26723 26723 12592 0 -1 4202496 528444 2229326 0 0 1861 304 162675 1146 20 0 1 0 288600786 19959808 3925 33554432000 4194304 5990268 140736346577040 140736346568464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 18 0 0 /proc/26724/statm: 4873 3925 166 439 0 4430 0 [pid=29946] ppid=26724 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29946/stat : 29946 (satsolver.sh) S 26724 26723 12592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288766860 9367552 267 33554432000 4194304 5064252 140733362588208 140733362587120 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/29946/statm: 2287 267 226 213 0 72 0 [pid=29947] ppid=29946 vsize=18760 CPUtime=1.54 cores=1,3,5,7 /proc/29947/stat : 29947 (glucose) R 29946 26723 12592 0 -1 4202496 4198 0 0 0 153 1 0 0 20 0 1 0 288766860 19210240 4019 33554432000 4194304 5208918 140737308147200 140737308145048 4211521 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/29947/statm: 4690 4019 105 248 0 4439 0 Current children cumulated CPU time (s) 1661.4 Current children cumulated vsize (KiB) 56548 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 30059 /proc/meminfo: memFree=29739328/32873844 swapFree=7628/7628 [pid=26723] ppid=26721 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26723/stat : 26723 (npSolver-wbo-It) S 26721 26723 12592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288600786 9367552 275 33554432000 4194304 5064252 140734008788736 140734008787648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26723/statm: 2287 275 233 213 0 72 0 [pid=26724] ppid=26723 vsize=19492 CPUtime=1720.11 cores=1,3,5,7 /proc/26724/stat : 26724 (npSolver-wbo) S 26723 26723 12592 0 -1 4202496 546188 2300468 0 0 1918 314 168595 1184 20 0 1 0 288600786 19959808 3925 33554432000 4194304 5990268 140736346577040 140736346568464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 18 0 0 /proc/26724/statm: 4873 3925 166 439 0 4430 0 [pid=30058] ppid=26724 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30058/stat : 30058 (satsolver.sh) S 26724 26723 12592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288772887 9367552 266 33554432000 4194304 5064252 140735216016928 140735216015840 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/30058/statm: 2287 266 226 213 0 72 0 [pid=30059] ppid=30058 vsize=18172 CPUtime=1.27 cores=1,3,5,7 /proc/30059/stat : 30059 (glucose) R 30058 26723 12592 0 -1 4202496 3498 0 0 0 126 1 0 0 20 0 1 0 288772887 18608128 3848 33554432000 4194304 5208918 140734444484288 140734444482248 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/30059/statm: 4543 3848 104 248 0 4292 0 Current children cumulated CPU time (s) 1721.38 Current children cumulated vsize (KiB) 55960 [startup+1782.3 s] /proc/loadavg: 1.95 1.98 1.99 3/183 30178 /proc/meminfo: memFree=29740884/32873844 swapFree=7628/7628 [pid=26723] ppid=26721 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26723/stat : 26723 (npSolver-wbo-It) S 26721 26723 12592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288600786 9367552 275 33554432000 4194304 5064252 140734008788736 140734008787648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26723/statm: 2287 275 233 213 0 72 0 [pid=26724] ppid=26723 vsize=19492 CPUtime=1779.09 cores=1,3,5,7 /proc/26724/stat : 26724 (npSolver-wbo) S 26723 26723 12592 0 -1 4202496 566150 2376558 0 0 1983 326 174379 1221 20 0 1 0 288600786 19959808 3925 33554432000 4194304 5990268 140736346577040 140736346568464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 18 0 0 /proc/26724/statm: 4873 3925 166 439 0 4430 0 [pid=30177] ppid=26724 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30177/stat : 30177 (satsolver.sh) S 26724 26723 12592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288778797 9367552 267 33554432000 4194304 5064252 140735807073984 140735807072896 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/30177/statm: 2287 267 226 213 0 72 0 [pid=30178] ppid=30177 vsize=18728 CPUtime=2.17 cores=1,3,5,7 /proc/30178/stat : 30178 (glucose) R 30177 26723 12592 0 -1 4202496 4305 0 0 0 217 0 0 0 20 0 1 0 288778797 19177472 4088 33554432000 4194304 5208918 140734771612832 140734771610680 4211501 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/30178/statm: 4682 4088 105 248 0 4431 0 Current children cumulated CPU time (s) 1781.26 Current children cumulated vsize (KiB) 56516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 1.97 1.98 1.99 3/183 30220 /proc/meminfo: memFree=29738092/32873844 swapFree=7628/7628 [pid=26723] ppid=26721 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26723/stat : 26723 (npSolver-wbo-It) S 26721 26723 12592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288600786 9367552 275 33554432000 4194304 5064252 140734008788736 140734008787648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26723/statm: 2287 275 233 213 0 72 0 [pid=26724] ppid=26723 vsize=19492 CPUtime=1798.12 cores=1,3,5,7 /proc/26724/stat : 26724 (npSolver-wbo) S 26723 26723 12592 0 -1 4202496 570586 2395467 0 0 1997 328 176257 1230 20 0 1 0 288600786 19959808 3925 33554432000 4194304 5990268 140736346577040 140736346568464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 18 0 0 /proc/26724/statm: 4873 3925 166 439 0 4430 0 [pid=30219] ppid=26724 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30219/stat : 30219 (satsolver.sh) S 26724 26723 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288780714 9367552 267 33554432000 4194304 5064252 140735907087600 140735907086512 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/30219/statm: 2287 267 226 213 0 72 0 [pid=30220] ppid=30219 vsize=18776 CPUtime=1.92 cores=1,3,5,7 /proc/30220/stat : 30220 (glucose) R 30219 26723 12592 0 -1 4202496 4217 0 0 0 191 1 0 0 20 0 1 0 288780714 19226624 4024 33554432000 4194304 5208918 140733971141088 140733971139048 4229897 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/30220/statm: 4694 4024 105 248 0 4443 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 56564 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.2 s] /proc/loadavg: 1.97 1.98 1.99 3/183 30220 /proc/meminfo: memFree=29738092/32873844 swapFree=7628/7628 [pid=26723] ppid=26721 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26723/stat : 26723 (npSolver-wbo-It) S 26721 26723 12592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288600786 9367552 275 33554432000 4194304 5064252 140734008788736 140734008787648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26723/statm: 2287 275 233 213 0 72 0 [pid=26724] ppid=26723 vsize=19492 CPUtime=1798.12 cores=1,3,5,7 /proc/26724/stat : 26724 (npSolver-wbo) S 26723 26723 12592 0 -1 4202496 570586 2395467 0 0 1997 328 176257 1230 20 0 1 0 288600786 19959808 3925 33554432000 4194304 5990268 140736346577040 140736346568464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 18 0 0 /proc/26724/statm: 4873 3925 166 439 0 4430 0 [pid=30219] ppid=26724 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30219/stat : 30219 (satsolver.sh) S 26724 26723 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288780714 9367552 267 33554432000 4194304 5064252 140735907087600 140735907086512 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/30219/statm: 2287 267 226 213 0 72 0 [pid=30220] ppid=30219 vsize=18776 CPUtime=1.92 cores=1,3,5,7 /proc/30220/stat : 30220 (glucose) R 30219 26723 12592 0 -1 4202496 4217 0 0 0 191 1 0 0 20 0 1 0 288780714 19226624 4024 33554432000 4194304 5208918 140733971141088 140733971139048 4229897 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/30220/statm: 4694 4024 105 248 0 4443 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 56564 Child status: 0 Real time (s): 1801.21 CPU time (s): 1800.08 CPU user time (s): 1784.47 CPU system time (s): 15.6106 CPU usage (%): 99.9372 Max. virtual memory (cumulated for all children) (KiB): 77684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1784.47 system time used= 15.6106 maximum resident set size= 45504 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2971260 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2577696 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14133 involuntary context switches= 4782 runsolver used 3.00954 second user time and 8.73067 second system time The end
Begin job on node145 at 2012-05-28 19:06:04 IDJOB=3715123 IDBENCH=79398 IDSOLVER=2296 FILE ID=node145/3715123-1338224764 RUNJOBID= node145-1338210676-15246 PBS_JOBID= 14624578 Free space on /tmp= 71504 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-3715123-1338224764/watcher-3715123-1338224764 -o /tmp/evaluation-result-3715123-1338224764/solver-3715123-1338224764 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715123-1338224764.wbo 1898945867 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= af72756a7b8194161c8db176c46da286 RANDOM SEED=1898945867 node145.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.29 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 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 : 5313.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 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.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29591832 kB Buffers: 353792 kB Cached: 1914168 kB SwapCached: 0 kB Active: 957352 kB Inactive: 1503392 kB Active(anon): 183964 kB Inactive(anon): 10912 kB Active(file): 773388 kB Inactive(file): 1492480 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 8280 kB Writeback: 0 kB AnonPages: 199324 kB Mapped: 15144 kB Shmem: 200 kB Slab: 680828 kB SReclaimable: 121936 kB SUnreclaim: 558892 kB KernelStack: 1496 kB PageTables: 4588 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 337176 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 145408 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71532 MiB End job on node145 at 2012-05-28 19:36:05