Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| npSolver inc-topDown (fixed) | ? (TO) | 1800.07 | 1801.61 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh18_wcsp.wbo |
| MD5SUM | 11b5917216c9682d33b4eac8f024a9c6 |
| 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 | 130 |
| Best CPU time to get the best result obtained on this benchmark | 0.077987 |
| 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 9568 0.00/0.05 c fallback to adder encoding 10.07/10.18 o 9475 10.07/10.18 c fallback to adder encoding 18.04/18.14 o 9473 18.04/18.14 c fallback to adder encoding 25.17/25.26 o 9472 25.17/25.26 c fallback to adder encoding 30.57/30.67 o 9213 30.57/30.67 c fallback to adder encoding 37.00/37.11 o 9193 37.00/37.11 c fallback to adder encoding 41.15/41.26 o 9170 41.15/41.26 c fallback to adder encoding 54.20/54.32 o 9169 54.20/54.32 c fallback to adder encoding 59.96/60.09 o 9159 59.96/60.09 c fallback to adder encoding 69.29/69.40 o 9017 69.29/69.40 c fallback to adder encoding 78.40/78.52 o 9015 78.40/78.52 c fallback to adder encoding 87.23/87.33 o 9009 87.23/87.33 c fallback to adder encoding 95.81/95.93 o 8997 95.81/95.93 c fallback to adder encoding 104.87/104.90 o 8984 104.87/104.90 c fallback to adder encoding 116.61/116.72 o 8969 116.61/116.72 c fallback to adder encoding 132.69/132.80 o 8953 132.69/132.80 c fallback to adder encoding 141.42/141.54 o 8939 141.42/141.54 c fallback to adder encoding 147.25/147.36 o 8921 147.25/147.36 c fallback to adder encoding 155.24/155.38 o 8920 155.24/155.38 c fallback to adder encoding 160.46/160.54 o 8699 160.46/160.54 c fallback to adder encoding 163.45/163.52 o 8651 163.45/163.52 c fallback to adder encoding 179.80/179.99 o 8428 179.80/179.99 c fallback to adder encoding 187.92/188.02 o 8427 187.92/188.02 c fallback to adder encoding 191.25/191.43 o 8361 191.25/191.43 c fallback to adder encoding 195.76/195.93 o 8348 195.76/195.93 c fallback to adder encoding 211.79/211.99 o 8338 211.79/211.99 c fallback to adder encoding 217.86/218.02 o 8333 217.86/218.02 c fallback to adder encoding 223.20/223.38 o 8321 223.20/223.38 c fallback to adder encoding 252.25/252.43 o 8300 252.25/252.43 c fallback to adder encoding 260.85/261.03 o 8298 260.85/261.03 c fallback to adder encoding 269.10/269.33 o 8180 269.10/269.33 c fallback to adder encoding 271.49/271.71 o 8091 271.49/271.71 c fallback to adder encoding 274.24/274.43 o 8070 274.24/274.43 c fallback to adder encoding 280.70/280.99 o 8067 280.70/280.99 c fallback to adder encoding 285.30/285.58 o 8066 285.30/285.58 c fallback to adder encoding 289.69/289.96 o 7752 289.69/289.96 c fallback to adder encoding 296.71/296.98 o 7747 296.71/296.98 c fallback to adder encoding 311.45/311.72 o 7740 311.45/311.72 c fallback to adder encoding 316.28/316.55 o 7722 316.28/316.55 c fallback to adder encoding 320.90/321.12 o 7706 320.90/321.12 c fallback to adder encoding 328.03/328.32 o 7509 328.03/328.32 c fallback to adder encoding 333.04/333.35 o 7508 333.04/333.35 c fallback to adder encoding 344.97/345.30 o 7469 344.97/345.30 c fallback to adder encoding 350.60/350.91 o 7466 350.60/350.91 c fallback to adder encoding 359.76/360.09 o 7465 359.76/360.09 c fallback to adder encoding 365.76/366.07 o 7457 365.76/366.07 c fallback to adder encoding 368.86/369.17 o 7426 368.86/369.17 c fallback to adder encoding 379.40/379.71 o 7324 379.40/379.71 c fallback to adder encoding 383.34/383.69 o 7323 383.34/383.69 c fallback to adder encoding 387.81/388.18 o 7322 387.81/388.18 c fallback to adder encoding 390.80/391.16 o 7311 390.80/391.16 c fallback to adder encoding 412.80/413.16 o 7310 412.80/413.16 c fallback to adder encoding 417.30/417.66 o 7301 417.30/417.66 c fallback to adder encoding 439.89/440.26 o 7280 439.89/440.26 c fallback to adder encoding 443.54/443.92 o 7267 443.54/443.92 c fallback to adder encoding 451.96/452.33 o 7253 451.96/452.33 c fallback to adder encoding 457.87/458.25 o 7241 457.87/458.25 c fallback to adder encoding 462.15/462.54 o 7224 462.15/462.54 c fallback to adder encoding 468.66/469.05 o 7196 468.66/469.05 c fallback to adder encoding 475.14/475.52 o 7194 475.14/475.52 c fallback to adder encoding 478.57/478.99 o 7188 478.57/478.99 c fallback to adder encoding 481.86/482.20 o 7169 481.86/482.20 c fallback to adder encoding 494.21/494.62 o 7168 494.21/494.62 c fallback to adder encoding 504.61/505.03 o 7167 504.61/505.03 c fallback to adder encoding 517.53/517.96 o 7164 517.53/517.96 c fallback to adder encoding 520.31/520.75 o 7143 520.31/520.75 c fallback to adder encoding 523.53/523.90 o 7139 523.53/523.90 c fallback to adder encoding 534.69/535.15 o 7107 534.69/535.15 c fallback to adder encoding 542.25/542.71 o 7100 542.25/542.71 c fallback to adder encoding 554.02/554.40 o 7096 554.02/554.40 c fallback to adder encoding 562.40/562.87 o 7090 562.40/562.87 c fallback to adder encoding 568.33/568.80 o 7082 568.33/568.80 c fallback to adder encoding 577.46/577.94 o 7081 577.46/577.94 c fallback to adder encoding 583.78/584.28 o 7078 583.78/584.28 c fallback to adder encoding 594.88/595.30 o 7027 594.88/595.30 c fallback to adder encoding 601.50/602.01 o 7026 601.50/602.01 c fallback to adder encoding 604.66/605.18 o 6964 604.66/605.18 c fallback to adder encoding 612.94/613.44 o 6947 612.94/613.44 c fallback to adder encoding 620.67/621.17 o 6944 620.67/621.17 c fallback to adder encoding 625.01/625.52 o 6936 625.01/625.52 c fallback to adder encoding 629.54/630.06 o 6932 629.54/630.06 c fallback to adder encoding 633.25/633.70 o 6931 633.25/633.70 c fallback to adder encoding 637.44/637.99 o 6925 637.44/637.99 c fallback to adder encoding 644.14/644.69 o 6922 644.14/644.69 c fallback to adder encoding 685.83/686.36 o 6919 685.83/686.36 c fallback to adder encoding 697.64/698.20 o 6915 697.64/698.20 c fallback to adder encoding 716.81/717.30 o 6914 716.81/717.30 c fallback to adder encoding 730.00/730.59 o 6898 730.00/730.59 c fallback to adder encoding 735.69/736.27 o 6897 735.69/736.27 c fallback to adder encoding 745.93/746.51 o 6892 745.93/746.51 c fallback to adder encoding 767.69/768.27 o 6890 767.69/768.27 c fallback to adder encoding 781.78/782.38 o 6888 781.78/782.38 c fallback to adder encoding 788.08/788.61 o 6742 788.08/788.61 c fallback to adder encoding 793.43/794.03 o 6738 793.43/794.03 c fallback to adder encoding 804.16/804.77 o 6734 804.16/804.77 c fallback to adder encoding 815.34/815.98 o 6720 815.34/815.98 c fallback to adder encoding 824.41/825.03 o 6685 824.41/825.03 c fallback to adder encoding 829.44/830.07 o 6682 829.44/830.07 c fallback to adder encoding 842.83/843.49 o 6678 842.83/843.49 c fallback to adder encoding 854.42/855.09 o 6673 854.42/855.09 c fallback to adder encoding 861.21/861.85 o 6671 861.21/861.85 c fallback to adder encoding 866.22/866.88 o 6661 866.22/866.88 c fallback to adder encoding 870.80/871.45 o 6659 870.80/871.45 c fallback to adder encoding 875.91/876.56 o 6656 875.91/876.56 c fallback to adder encoding 880.95/881.60 o 6639 880.95/881.60 c fallback to adder encoding 887.31/887.99 o 6638 887.31/887.99 c fallback to adder encoding 890.59/891.26 o 6636 890.59/891.26 c fallback to adder encoding 898.85/899.52 o 6628 898.85/899.52 c fallback to adder encoding 901.42/902.24 o 6510 901.42/902.24 c fallback to adder encoding 910.32/911.15 o 6508 910.32/911.15 c fallback to adder encoding 920.14/920.98 o 6485 920.14/920.98 c fallback to adder encoding 933.82/934.69 o 6484 933.82/934.69 c fallback to adder encoding 936.83/937.67 o 6479 936.83/937.67 c fallback to adder encoding 941.63/942.40 o 6472 941.63/942.40 c fallback to adder encoding 948.99/949.85 o 6471 948.99/949.85 c fallback to adder encoding 957.75/958.61 o 6470 957.75/958.61 c fallback to adder encoding 960.40/961.30 o 6460 960.40/961.30 c fallback to adder encoding 965.84/966.71 o 6408 965.84/966.71 c fallback to adder encoding 975.08/975.99 o 6407 975.08/975.99 c fallback to adder encoding 980.98/981.85 o 6400 980.98/981.85 c fallback to adder encoding 984.55/985.43 o 6399 984.55/985.43 c fallback to adder encoding 987.25/988.13 o 6384 987.25/988.13 c fallback to adder encoding 994.17/995.08 o 6382 994.17/995.08 c fallback to adder encoding 999.02/999.92 o 6189 999.02/999.92 c fallback to adder encoding 1015.47/1016.30 o 6156 1015.47/1016.30 c fallback to adder encoding 1024.15/1025.08 o 6155 1024.15/1025.08 c fallback to adder encoding 1028.32/1029.23 o 6154 1028.32/1029.23 c fallback to adder encoding 1033.90/1034.81 o 6149 1033.90/1034.81 c fallback to adder encoding 1040.13/1041.09 o 6148 1040.13/1041.09 c fallback to adder encoding 1042.62/1043.56 o 6146 1042.62/1043.56 c fallback to adder encoding 1053.18/1054.11 o 6145 1053.18/1054.11 c fallback to adder encoding 1060.72/1061.66 o 6144 1060.72/1061.66 c fallback to adder encoding 1065.72/1066.69 o 6133 1065.72/1066.69 c fallback to adder encoding 1068.29/1069.29 o 6129 1068.29/1069.29 c fallback to adder encoding 1092.06/1093.06 o 6059 1092.06/1093.06 c fallback to adder encoding 1097.67/1098.66 o 6054 1097.67/1098.66 c fallback to adder encoding 1106.08/1107.07 o 6048 1106.08/1107.07 c fallback to adder encoding 1118.68/1119.68 o 6040 1118.68/1119.68 c fallback to adder encoding 1125.81/1126.81 o 6032 1125.81/1126.81 c fallback to adder encoding 1134.46/1135.46 o 6027 1134.46/1135.46 c fallback to adder encoding 1139.11/1140.12 o 6024 1139.11/1140.12 c fallback to adder encoding 1150.06/1151.09 o 6015 1150.06/1151.09 c fallback to adder encoding 1157.15/1158.18 o 6005 1157.15/1158.18 c fallback to adder encoding 1161.44/1162.46 o 5990 1161.44/1162.46 c fallback to adder encoding 1164.77/1165.80 o 5981 1164.77/1165.80 c fallback to adder encoding 1171.12/1172.16 o 5972 1171.12/1172.16 c fallback to adder encoding 1175.28/1176.33 o 5971 1175.28/1176.33 c fallback to adder encoding 1180.17/1181.26 o 5955 1180.17/1181.26 c fallback to adder encoding 1187.07/1188.15 o 5953 1187.07/1188.15 c fallback to adder encoding 1193.39/1194.40 o 5943 1193.39/1194.40 c fallback to adder encoding 1197.12/1198.21 o 5921 1197.12/1198.21 c fallback to adder encoding 1203.06/1204.18 o 5918 1203.06/1204.18 c fallback to adder encoding 1211.16/1212.29 o 5901 1211.16/1212.29 c fallback to adder encoding 1218.46/1219.58 o 5834 1218.46/1219.58 c fallback to adder encoding 1225.99/1227.11 o 5828 1225.99/1227.11 c fallback to adder encoding 1228.94/1230.07 o 5792 1228.94/1230.07 c fallback to adder encoding 1231.84/1232.97 o 5791 1231.84/1232.97 c fallback to adder encoding 1240.03/1241.19 o 5767 1240.03/1241.19 c fallback to adder encoding 1243.36/1244.50 o 5683 1243.36/1244.50 c fallback to adder encoding 1252.01/1253.18 o 5679 1252.01/1253.18 c fallback to adder encoding 1255.40/1256.54 o 5663 1255.40/1256.54 c fallback to adder encoding 1266.57/1267.72 o 5662 1266.57/1267.72 c fallback to adder encoding 1271.91/1273.09 o 5527 1271.91/1273.09 c fallback to adder encoding 1282.86/1284.03 o 5526 1282.86/1284.03 c fallback to adder encoding 1289.15/1290.31 o 5519 1289.15/1290.31 c fallback to adder encoding 1294.66/1295.84 o 5512 1294.66/1295.84 c fallback to adder encoding 1298.12/1299.30 o 5510 1298.12/1299.30 c fallback to adder encoding 1300.34/1301.53 o 5400 1300.34/1301.53 c fallback to adder encoding 1303.87/1305.05 o 5395 1303.87/1305.05 c fallback to adder encoding 1308.37/1309.59 o 5381 1308.37/1309.59 c fallback to adder encoding 1315.58/1316.77 o 5360 1315.58/1316.77 c fallback to adder encoding 1325.47/1326.67 o 5338 1325.47/1326.67 c fallback to adder encoding 1330.86/1332.03 o 5082 1330.86/1332.03 c fallback to adder encoding 1336.66/1337.88 o 5068 1336.66/1337.88 c fallback to adder encoding 1343.89/1345.10 o 5059 1343.89/1345.10 c fallback to adder encoding 1353.10/1354.32 o 5051 1353.10/1354.32 c fallback to adder encoding 1356.86/1358.07 o 5029 1356.86/1358.07 c fallback to adder encoding 1363.74/1364.97 o 4909 1363.74/1364.97 c fallback to adder encoding 1371.07/1372.31 o 4900 1371.07/1372.31 c fallback to adder encoding 1378.28/1379.51 o 4878 1378.28/1379.51 c fallback to adder encoding 1384.07/1385.31 o 4856 1384.07/1385.31 c fallback to adder encoding 1438.06/1439.31 o 4855 1438.06/1439.31 c fallback to adder encoding 1444.81/1446.09 o 4850 1444.81/1446.09 c fallback to adder encoding 1464.04/1465.31 o 4849 1464.04/1465.31 c fallback to adder encoding 1472.35/1473.61 o 4842 1472.35/1473.61 c fallback to adder encoding 1487.68/1488.96 o 4833 1487.68/1488.96 c fallback to adder encoding 1492.38/1493.70 o 4772 1492.38/1493.70 c fallback to adder encoding 1508.56/1509.85 o 4747 1508.56/1509.85 c fallback to adder encoding 1516.97/1518.29 o 4740 1516.97/1518.29 c fallback to adder encoding 1522.92/1524.22 o 4739 1522.92/1524.22 c fallback to adder encoding 1531.56/1532.89 o 4736 1531.56/1532.89 c fallback to adder encoding 1547.73/1549.04 o 4734 1547.73/1549.04 c fallback to adder encoding 1554.56/1555.86 o 4728 1554.56/1555.86 c fallback to adder encoding 1557.92/1559.23 o 4727 1557.92/1559.23 c fallback to adder encoding 1561.61/1562.94 o 4726 1561.61/1562.94 c fallback to adder encoding 1569.06/1570.37 o 4723 1569.06/1570.37 c fallback to adder encoding 1573.72/1575.05 o 4718 1573.72/1575.05 c fallback to adder encoding 1579.72/1581.05 o 4713 1579.72/1581.05 c fallback to adder encoding 1584.33/1585.68 o 4708 1584.33/1585.68 c fallback to adder encoding 1595.23/1596.59 o 4703 1595.23/1596.59 c fallback to adder encoding 1598.62/1599.98 o 4702 1598.62/1599.98 c fallback to adder encoding 1607.32/1608.66 o 4690 1607.32/1608.66 c fallback to adder encoding 1617.29/1618.63 o 4687 1617.29/1618.63 c fallback to adder encoding 1621.78/1623.12 o 4678 1621.78/1623.12 c fallback to adder encoding 1626.06/1627.41 o 4632 1626.06/1627.41 c fallback to adder encoding 1632.00/1633.40 o 4626 1632.00/1633.40 c fallback to adder encoding 1637.68/1639.05 o 4624 1637.68/1639.05 c fallback to adder encoding 1645.49/1646.88 o 4623 1645.49/1646.88 c fallback to adder encoding 1653.89/1655.27 o 4614 1653.89/1655.27 c fallback to adder encoding 1657.53/1658.90 o 4612 1657.53/1658.90 c fallback to adder encoding 1664.99/1666.30 o 4611 1664.99/1666.30 c fallback to adder encoding 1674.98/1676.31 o 4608 1674.98/1676.31 c fallback to adder encoding 1679.22/1680.61 o 4596 1679.22/1680.61 c fallback to adder encoding 1690.13/1691.53 o 4592 1690.13/1691.53 c fallback to adder encoding 1693.54/1695.03 o 4560 1693.54/1695.03 c fallback to adder encoding 1703.07/1704.62 o 4555 1703.07/1704.62 c fallback to adder encoding 1710.00/1711.52 o 4550 1710.00/1711.52 c fallback to adder encoding 1713.66/1715.21 o 4151 1713.66/1715.21 c fallback to adder encoding 1717.15/1718.71 o 4149 1717.15/1718.71 c fallback to adder encoding 1720.00/1721.57 o 4143 1720.00/1721.57 c fallback to adder encoding 1723.57/1725.14 o 4136 1723.57/1725.14 c fallback to adder encoding 1728.80/1730.38 o 4104 1728.80/1730.38 c fallback to adder encoding 1734.34/1735.92 o 4098 1734.34/1735.92 c fallback to adder encoding 1739.44/1741.02 o 4097 1739.44/1741.02 c fallback to adder encoding 1750.77/1752.35 o 4096 1750.77/1752.35 c fallback to adder encoding 1760.56/1762.11 o 4074 1760.56/1762.11 c fallback to adder encoding 1768.06/1769.66 o 4037 1768.06/1769.66 c fallback to adder encoding 1773.76/1775.40 o 3994 1773.76/1775.40 c fallback to adder encoding 1777.55/1779.19 o 3978 1777.55/1779.19 c fallback to adder encoding 1784.43/1786.05 o 3969 1784.43/1786.05 c fallback to adder encoding 1791.20/1792.81 o 3922 1791.20/1792.81 c fallback to adder encoding 1795.91/1797.55 o 3877 1795.91/1797.55 c fallback to adder encoding 1800.02/1801.60 ./satsolver.sh: line 5: 32662 Terminated ./glucose $1 > $2 2> /dev/null 1800.02/1801.60 c error: unexpected solver exit code 1800.02/1801.60 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-3753810-1339201031/watcher-3753810-1339201031 -o /tmp/evaluation-result-3753810-1339201031/solver-3753810-1339201031 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753810-1339201031.wbo 1667469161 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.00 2.00 2.00 3/179 30544 /proc/meminfo: memFree=30153768/32873844 swapFree=7632/7632 [pid=30544] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30544/stat : 30544 (npSolver-wbo-It) S 30542 30544 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386227995 9367552 274 33554432000 4194304 5064252 140736397888256 140736397887168 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30544/statm: 2287 274 233 213 0 72 0 [startup+0.012121 s] /proc/loadavg: 2.00 2.00 2.00 3/179 30544 /proc/meminfo: memFree=30153768/32873844 swapFree=7632/7632 [pid=30544] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30544/stat : 30544 (npSolver-wbo-It) S 30542 30544 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386227995 9367552 274 33554432000 4194304 5064252 140736397888256 140736397887168 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30544/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100293 s] /proc/loadavg: 2.00 2.00 2.00 3/179 30544 /proc/meminfo: memFree=30153768/32873844 swapFree=7632/7632 [pid=30544] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30544/stat : 30544 (npSolver-wbo-It) S 30542 30544 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386227995 9367552 274 33554432000 4194304 5064252 140736397888256 140736397887168 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30544/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300271 s] /proc/loadavg: 2.00 2.00 2.00 3/179 30544 /proc/meminfo: memFree=30153768/32873844 swapFree=7632/7632 [pid=30544] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30544/stat : 30544 (npSolver-wbo-It) S 30542 30544 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386227995 9367552 274 33554432000 4194304 5064252 140736397888256 140736397887168 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30544/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700272 s] /proc/loadavg: 2.00 2.00 2.00 3/179 30544 /proc/meminfo: memFree=30153768/32873844 swapFree=7632/7632 [pid=30544] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30544/stat : 30544 (npSolver-wbo-It) S 30542 30544 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386227995 9367552 274 33554432000 4194304 5064252 140736397888256 140736397887168 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30544/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50039 s] /proc/loadavg: 2.00 2.00 2.00 3/183 30558 /proc/meminfo: memFree=30105344/32873844 swapFree=7632/7632 [pid=30544] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30544/stat : 30544 (npSolver-wbo-It) S 30542 30544 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386227995 9367552 274 33554432000 4194304 5064252 140736397888256 140736397887168 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30544/statm: 2287 274 233 213 0 72 0 [pid=30545] ppid=30544 vsize=20128 CPUtime=0.17 cores=0,2,4,6 /proc/30545/stat : 30545 (npSolver-wbo) S 30544 30544 24017 0 -1 4202496 3623 4890 0 0 14 2 0 1 20 0 1 0 386227995 20611072 4504 33554432000 4194304 6006132 140734341582336 140734341573728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30545/statm: 5032 4504 179 443 0 4585 0 [pid=30557] ppid=30545 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30557/stat : 30557 (satsolver.sh) S 30545 30544 24017 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386228014 9367552 266 33554432000 4194304 5064252 140737083645216 140737083644128 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/30557/statm: 2287 266 226 213 0 72 0 [pid=30558] ppid=30557 vsize=27900 CPUtime=1.29 cores=0,2,4,6 /proc/30558/stat : 30558 (glucose) R 30557 30544 24017 0 -1 4202496 5921 0 0 0 129 0 0 0 20 0 1 0 386228015 28569600 6006 33554432000 4194304 5208918 140733941697376 140733941695224 4205128 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/30558/statm: 6975 6006 104 248 0 6724 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 66324 [startup+3.10035 s] /proc/loadavg: 2.00 2.00 2.00 3/183 30558 /proc/meminfo: memFree=30102924/32873844 swapFree=7632/7632 [pid=30544] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30544/stat : 30544 (npSolver-wbo-It) S 30542 30544 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386227995 9367552 274 33554432000 4194304 5064252 140736397888256 140736397887168 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30544/statm: 2287 274 233 213 0 72 0 [pid=30545] ppid=30544 vsize=20128 CPUtime=0.17 cores=0,2,4,6 /proc/30545/stat : 30545 (npSolver-wbo) S 30544 30544 24017 0 -1 4202496 3623 4890 0 0 14 2 0 1 20 0 1 0 386227995 20611072 4504 33554432000 4194304 6006132 140734341582336 140734341573728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30545/statm: 5032 4504 179 443 0 4585 0 [pid=30557] ppid=30545 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30557/stat : 30557 (satsolver.sh) S 30545 30544 24017 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386228014 9367552 266 33554432000 4194304 5064252 140737083645216 140737083644128 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/30557/statm: 2287 266 226 213 0 72 0 [pid=30558] ppid=30557 vsize=28164 CPUtime=2.89 cores=0,2,4,6 /proc/30558/stat : 30558 (glucose) R 30557 30544 24017 0 -1 4202496 5974 0 0 0 289 0 0 0 20 0 1 0 386228015 28839936 6059 33554432000 4194304 5208918 140733941697376 140733941695224 4229850 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/30558/statm: 7041 6059 104 248 0 6790 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 66588 [startup+6.30041 s] /proc/loadavg: 2.00 2.00 2.00 3/183 30558 /proc/meminfo: memFree=30101064/32873844 swapFree=7632/7632 [pid=30544] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30544/stat : 30544 (npSolver-wbo-It) S 30542 30544 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386227995 9367552 274 33554432000 4194304 5064252 140736397888256 140736397887168 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30544/statm: 2287 274 233 213 0 72 0 [pid=30545] ppid=30544 vsize=20128 CPUtime=0.17 cores=0,2,4,6 /proc/30545/stat : 30545 (npSolver-wbo) S 30544 30544 24017 0 -1 4202496 3623 4890 0 0 14 2 0 1 20 0 1 0 386227995 20611072 4504 33554432000 4194304 6006132 140734341582336 140734341573728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30545/statm: 5032 4504 179 443 0 4585 0 [pid=30557] ppid=30545 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30557/stat : 30557 (satsolver.sh) S 30545 30544 24017 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386228014 9367552 266 33554432000 4194304 5064252 140737083645216 140737083644128 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/30557/statm: 2287 266 226 213 0 72 0 [pid=30558] ppid=30557 vsize=29032 CPUtime=6.09 cores=0,2,4,6 /proc/30558/stat : 30558 (glucose) R 30557 30544 24017 0 -1 4202496 6352 0 0 0 609 0 0 0 20 0 1 0 386228015 29728768 6435 33554432000 4194304 5208918 140733941697376 140733941693752 4211540 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/30558/statm: 7258 6435 105 248 0 7007 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 67456 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 2.00 3/183 30565 /proc/meminfo: memFree=30101908/32873844 swapFree=7632/7632 [pid=30544] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30544/stat : 30544 (npSolver-wbo-It) S 30542 30544 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386227995 9367552 274 33554432000 4194304 5064252 140736397888256 140736397887168 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30544/statm: 2287 274 233 213 0 72 0 [pid=30545] ppid=30544 vsize=20128 CPUtime=10.3 cores=0,2,4,6 /proc/30545/stat : 30545 (npSolver-wbo) S 30544 30544 24017 0 -1 4202496 5815 16079 0 0 26 3 994 7 20 0 1 0 386227995 20611072 4504 33554432000 4194304 6006132 140734341582336 140734341573728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30545/statm: 5032 4504 179 443 0 4585 0 [pid=30564] ppid=30545 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30564/stat : 30564 (satsolver.sh) S 30545 30544 24017 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386229028 9367552 267 33554432000 4194304 5064252 140733451921648 140733451920560 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/30564/statm: 2287 267 226 213 0 72 0 [pid=30565] ppid=30564 vsize=28696 CPUtime=2.36 cores=0,2,4,6 /proc/30565/stat : 30565 (glucose) R 30564 30544 24017 0 -1 4202496 6147 0 0 0 235 1 0 0 20 0 1 0 386229028 29384704 6253 33554432000 4194304 5208918 140734495330016 140734495327864 4229512 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/30565/statm: 7174 6253 105 248 0 6923 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 67120 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 2.00 3/183 30575 /proc/meminfo: memFree=30120624/32873844 swapFree=7632/7632 [pid=30544] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30544/stat : 30544 (npSolver-wbo-It) S 30542 30544 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386227995 9367552 274 33554432000 4194304 5064252 140736397888256 140736397887168 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30544/statm: 2287 274 233 213 0 72 0 [pid=30545] ppid=30544 vsize=20128 CPUtime=25.38 cores=0,2,4,6 /proc/30545/stat : 30545 (npSolver-wbo) S 30544 30544 24017 0 -1 4202496 10199 37770 0 0 51 6 2463 18 20 0 1 0 386227995 20611072 4504 33554432000 4194304 6006132 140734341582336 140734341573728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30545/statm: 5032 4504 179 443 0 4585 0 Current children cumulated CPU time (s) 25.38 Current children cumulated vsize (KiB) 29276 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 2.00 3/183 30601 /proc/meminfo: memFree=30092972/32873844 swapFree=7632/7632 [pid=30544] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30544/stat : 30544 (npSolver-wbo-It) S 30542 30544 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386227995 9367552 274 33554432000 4194304 5064252 140736397888256 140736397887168 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30544/statm: 2287 274 233 213 0 72 0 [pid=30545] ppid=30544 vsize=20128 CPUtime=41.37 cores=0,2,4,6 /proc/30545/stat : 30545 (npSolver-wbo) S 30544 30544 24017 0 -1 4202496 16775 69121 0 0 89 9 4003 36 20 0 1 0 386227995 20611072 4504 33554432000 4194304 6006132 140734341582336 140734341573728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30545/statm: 5032 4504 179 443 0 4585 0 [pid=30600] ppid=30545 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30600/stat : 30600 (satsolver.sh) S 30545 30544 24017 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386232136 9367552 267 33554432000 4194304 5064252 140735586236192 140735586235104 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/30600/statm: 2287 267 226 213 0 72 0 [pid=30601] ppid=30600 vsize=36564 CPUtime=9.68 cores=0,2,4,6 /proc/30601/stat : 30601 (glucose) R 30600 30544 24017 0 -1 4202496 7533 0 0 0 966 2 0 0 20 0 1 0 386232136 37441536 8305 33554432000 4194304 5208918 140733202708160 140733202706248 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/30601/statm: 9141 8305 105 248 0 8890 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 74988 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/183 30643 /proc/meminfo: memFree=30099784/32873844 swapFree=7632/7632 [pid=30544] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30544/stat : 30544 (npSolver-wbo-It) S 30542 30544 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386227995 9367552 274 33554432000 4194304 5064252 140736397888256 140736397887168 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30544/statm: 2287 274 233 213 0 72 0 [pid=30545] ppid=30544 vsize=20128 CPUtime=96.04 cores=0,2,4,6 /proc/30545/stat : 30545 (npSolver-wbo) S 30544 30544 24017 0 -1 4202496 29927 136226 0 0 165 17 9346 76 20 0 1 0 386227995 20611072 4504 33554432000 4194304 6006132 140734341582336 140734341573728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30545/statm: 5032 4504 179 443 0 4585 0 [pid=30642] ppid=30545 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30642/stat : 30642 (satsolver.sh) S 30545 30544 24017 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386237603 9367552 267 33554432000 4194304 5064252 140737235682432 140737235681344 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/30642/statm: 2287 267 226 213 0 72 0 [pid=30643] ppid=30642 vsize=29008 CPUtime=6.22 cores=0,2,4,6 /proc/30643/stat : 30643 (glucose) R 30642 30544 24017 0 -1 4202496 6194 0 0 0 621 1 0 0 20 0 1 0 386237603 29704192 6278 33554432000 4194304 5208918 140736458707216 140736458705176 4211901 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/30643/statm: 7252 6278 105 248 0 7001 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 67432 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 30692 /proc/meminfo: memFree=30101816/32873844 swapFree=7632/7632 [pid=30544] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30544/stat : 30544 (npSolver-wbo-It) S 30542 30544 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386227995 9367552 274 33554432000 4194304 5064252 140736397888256 140736397887168 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30544/statm: 2287 274 233 213 0 72 0 [pid=30545] ppid=30544 vsize=20128 CPUtime=160.64 cores=0,2,4,6 /proc/30545/stat : 30545 (npSolver-wbo) S 30544 30544 24017 0 -1 4202496 45271 213278 0 0 253 26 15666 119 20 0 1 0 386227995 20611072 4504 33554432000 4194304 6006132 140734341582336 140734341573728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30545/statm: 5032 4504 179 443 0 4585 0 [pid=30691] ppid=30545 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30691/stat : 30691 (satsolver.sh) S 30545 30544 24017 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386244063 9367552 267 33554432000 4194304 5064252 140737003212528 140737003211440 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/30691/statm: 2287 267 226 213 0 72 0 [pid=30692] ppid=30691 vsize=27864 CPUtime=1.61 cores=0,2,4,6 /proc/30692/stat : 30692 (glucose) R 30691 30544 24017 0 -1 4202496 6198 0 0 0 161 0 0 0 20 0 1 0 386244063 28532736 5775 33554432000 4194304 5208918 140733241049776 140733241047624 4211834 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/30692/statm: 6966 5775 104 248 0 6715 0 Current children cumulated CPU time (s) 162.25 ################ # More data... # ################ /proc/32209/statm: 2287 267 226 213 0 72 0 [pid=32210] ppid=32209 vsize=26968 CPUtime=0.64 cores=0,2,4,6 /proc/32210/stat : 32210 (glucose) R 32209 30544 24017 0 -1 4202496 4807 0 0 0 63 1 0 0 20 0 1 0 386358161 27615232 5593 33554432000 4194304 5208918 140734024944352 140734024942312 4211871 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/32210/statm: 6742 5593 103 248 0 6491 0 Current children cumulated CPU time (s) 1301.19 Current children cumulated vsize (KiB) 65392 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 32273 /proc/meminfo: memFree=27998540/32873844 swapFree=7632/7632 [pid=30544] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30544/stat : 30544 (npSolver-wbo-It) S 30542 30544 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386227995 9367552 274 33554432000 4194304 5064252 140736397888256 140736397887168 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30544/statm: 2287 274 233 213 0 72 0 [pid=30545] ppid=30544 vsize=20128 CPUtime=1357.05 cores=0,2,4,6 /proc/30545/stat : 30545 (npSolver-wbo) S 30544 30544 24017 0 -1 4202496 382506 1804382 0 0 1977 202 132508 1018 20 0 1 0 386227995 20611072 4505 33554432000 4194304 6006132 140734341582336 140734341573728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0 /proc/30545/statm: 5032 4505 179 443 0 4585 0 [pid=32272] ppid=30545 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32272/stat : 32272 (satsolver.sh) S 30545 30544 24017 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386363815 9367552 267 33554432000 4194304 5064252 140735833306592 140735833305504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32272/statm: 2287 267 226 213 0 72 0 [pid=32273] ppid=32272 vsize=27640 CPUtime=4.08 cores=0,2,4,6 /proc/32273/stat : 32273 (glucose) R 32272 30544 24017 0 -1 4202496 5710 0 0 0 408 0 0 0 20 0 1 0 386363815 28303360 5989 33554432000 4194304 5208918 140733525069024 140733525066872 4211584 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/32273/statm: 6910 5989 103 248 0 6659 0 Current children cumulated CPU time (s) 1361.13 Current children cumulated vsize (KiB) 66064 [startup+1422.31 s] /proc/loadavg: 2.03 2.01 2.00 3/184 32304 /proc/meminfo: memFree=27988968/32873844 swapFree=7632/7632 [pid=30544] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30544/stat : 30544 (npSolver-wbo-It) S 30542 30544 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386227995 9367552 274 33554432000 4194304 5064252 140736397888256 140736397887168 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30544/statm: 2287 274 233 213 0 72 0 [pid=30545] ppid=30544 vsize=20128 CPUtime=1384.27 cores=0,2,4,6 /proc/30545/stat : 30545 (npSolver-wbo) S 30544 30544 24017 0 -1 4202496 391086 1844058 0 0 2020 207 135161 1039 20 0 1 0 386227995 20611072 4505 33554432000 4194304 6006132 140734341582336 140734341573728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0 /proc/30545/statm: 5032 4505 179 443 0 4585 0 [pid=32303] ppid=30545 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32303/stat : 32303 (satsolver.sh) S 30545 30544 24017 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386366538 9367552 266 33554432000 4194304 5064252 140733752650560 140733752649472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32303/statm: 2287 266 226 213 0 72 0 [pid=32304] ppid=32303 vsize=39640 CPUtime=36.85 cores=0,2,4,6 /proc/32304/stat : 32304 (glucose) R 32303 30544 24017 0 -1 4202496 7321 0 0 0 3684 1 0 0 20 0 1 0 386366538 40591360 8523 33554432000 4194304 5208918 140734529849552 140734529847496 4211635 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/32304/statm: 9910 8523 103 248 0 9659 0 Current children cumulated CPU time (s) 1421.12 Current children cumulated vsize (KiB) 78064 [startup+1482.3 s] /proc/loadavg: 2.01 2.01 2.00 3/183 32332 /proc/meminfo: memFree=27998276/32873844 swapFree=7632/7632 [pid=30544] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30544/stat : 30544 (npSolver-wbo-It) S 30542 30544 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386227995 9367552 274 33554432000 4194304 5064252 140736397888256 140736397887168 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30544/statm: 2287 274 233 213 0 72 0 [pid=30545] ppid=30544 vsize=20128 CPUtime=1472.53 cores=0,2,4,6 /proc/30545/stat : 30545 (npSolver-wbo) S 30544 30544 24017 0 -1 4202496 399666 1886247 0 0 2063 211 143917 1062 20 0 1 0 386227995 20611072 4505 33554432000 4194304 6006132 140734341582336 140734341573728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0 /proc/30545/statm: 5032 4505 179 443 0 4585 0 [pid=32331] ppid=30545 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32331/stat : 32331 (satsolver.sh) S 30545 30544 24017 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386375368 9367552 267 33554432000 4194304 5064252 140733612315984 140733612314896 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32331/statm: 2287 267 226 213 0 72 0 [pid=32332] ppid=32331 vsize=28108 CPUtime=8.56 cores=0,2,4,6 /proc/32332/stat : 32332 (glucose) R 32331 30544 24017 0 -1 4202496 6084 0 0 0 855 1 0 0 20 0 1 0 386375369 28782592 6203 33554432000 4194304 5208918 140734475062192 140734475060024 4211537 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/32332/statm: 7027 6203 103 248 0 6776 0 Current children cumulated CPU time (s) 1481.09 Current children cumulated vsize (KiB) 66532 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 32374 /proc/meminfo: memFree=27997268/32873844 swapFree=7632/7632 [pid=30544] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30544/stat : 30544 (npSolver-wbo-It) S 30542 30544 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386227995 9367552 274 33554432000 4194304 5064252 140736397888256 140736397887168 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30544/statm: 2287 274 233 213 0 72 0 [pid=30545] ppid=30544 vsize=20128 CPUtime=1531.79 cores=0,2,4,6 /proc/30545/stat : 30545 (npSolver-wbo) S 30544 30544 24017 0 -1 4202496 412536 1947723 0 0 2129 217 149736 1097 20 0 1 0 386227995 20611072 4505 33554432000 4194304 6006132 140734341582336 140734341573728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0 /proc/30545/statm: 5032 4505 179 443 0 4585 0 [pid=32373] ppid=30545 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32373/stat : 32373 (satsolver.sh) S 30545 30544 24017 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386381297 9367552 266 33554432000 4194304 5064252 140733704867520 140733704866432 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32373/statm: 2287 266 226 213 0 72 0 [pid=32374] ppid=32373 vsize=28540 CPUtime=9.27 cores=0,2,4,6 /proc/32374/stat : 32374 (glucose) R 32373 30544 24017 0 -1 4202496 6719 0 0 0 926 1 0 0 20 0 1 0 386381297 29224960 6398 33554432000 4194304 5208918 140734836489216 140734836487064 4211656 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/32374/statm: 7135 6398 103 248 0 6884 0 Current children cumulated CPU time (s) 1541.06 Current children cumulated vsize (KiB) 66964 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 32445 /proc/meminfo: memFree=27999504/32873844 swapFree=7632/7632 [pid=30544] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30544/stat : 30544 (npSolver-wbo-It) S 30542 30544 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386227995 9367552 274 33554432000 4194304 5064252 140736397888256 140736397887168 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30544/statm: 2287 274 233 213 0 72 0 [pid=30545] ppid=30544 vsize=20128 CPUtime=1598.85 cores=0,2,4,6 /proc/30545/stat : 30545 (npSolver-wbo) S 30544 30544 24017 0 -1 4202496 433986 2045943 0 0 2237 228 156268 1152 20 0 1 0 386227995 20611072 4505 33554432000 4194304 6006132 140734341582336 140734341573728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0 /proc/30545/statm: 5032 4505 179 443 0 4585 0 [pid=32444] ppid=30545 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32444/stat : 32444 (satsolver.sh) S 30545 30544 24017 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386388006 9367552 267 33554432000 4194304 5064252 140733868152736 140733868151648 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32444/statm: 2287 267 226 213 0 72 0 [pid=32445] ppid=32444 vsize=27280 CPUtime=2.18 cores=0,2,4,6 /proc/32445/stat : 32445 (glucose) R 32444 30544 24017 0 -1 4202496 5744 0 0 0 217 1 0 0 20 0 1 0 386388006 27934720 5836 33554432000 4194304 5208918 140737260094608 140737260092360 4229483 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/32445/statm: 6820 5836 103 248 0 6569 0 Current children cumulated CPU time (s) 1601.03 Current children cumulated vsize (KiB) 65704 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 32508 /proc/meminfo: memFree=27998768/32873844 swapFree=7632/7632 [pid=30544] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30544/stat : 30544 (npSolver-wbo-It) S 30542 30544 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386227995 9367552 274 33554432000 4194304 5064252 140736397888256 140736397887168 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30544/statm: 2287 274 233 213 0 72 0 [pid=30545] ppid=30544 vsize=20128 CPUtime=1657.72 cores=0,2,4,6 /proc/30545/stat : 30545 (npSolver-wbo) S 30544 30544 24017 0 -1 4202496 453291 2133692 0 0 2334 238 161997 1203 20 0 1 0 386227995 20611072 4505 33554432000 4194304 6006132 140734341582336 140734341573728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0 /proc/30545/statm: 5032 4505 179 443 0 4585 0 [pid=32507] ppid=30545 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32507/stat : 32507 (satsolver.sh) S 30545 30544 24017 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386393898 9367552 267 33554432000 4194304 5064252 140734040521216 140734040520128 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32507/statm: 2287 267 226 213 0 72 0 [pid=32508] ppid=32507 vsize=27428 CPUtime=3.26 cores=0,2,4,6 /proc/32508/stat : 32508 (glucose) R 32507 30544 24017 0 -1 4202496 5761 0 0 0 325 1 0 0 20 0 1 0 386393898 28086272 5919 33554432000 4194304 5208918 140735898170768 140735898168616 4211584 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/32508/statm: 6857 5919 103 248 0 6606 0 Current children cumulated CPU time (s) 1660.98 Current children cumulated vsize (KiB) 65852 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 32571 /proc/meminfo: memFree=27998960/32873844 swapFree=7632/7632 [pid=30544] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30544/stat : 30544 (npSolver-wbo-It) S 30542 30544 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386227995 9367552 274 33554432000 4194304 5064252 140736397888256 140736397887168 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30544/statm: 2287 274 233 213 0 72 0 [pid=30545] ppid=30544 vsize=20128 CPUtime=1720.2 cores=0,2,4,6 /proc/30545/stat : 30545 (npSolver-wbo) S 30544 30544 24017 0 -1 4202496 474741 2233772 0 0 2442 249 168071 1258 20 0 1 0 386227995 20611072 4505 33554432000 4194304 6006132 140734341582336 140734341573728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0 /proc/30545/statm: 5032 4505 179 443 0 4585 0 Current children cumulated CPU time (s) 1720.2 Current children cumulated vsize (KiB) 29276 [startup+1782.3 s] /proc/loadavg: 2.06 2.01 2.00 3/183 32641 /proc/meminfo: memFree=27998704/32873844 swapFree=7632/7632 [pid=30544] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30544/stat : 30544 (npSolver-wbo-It) S 30542 30544 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386227995 9367552 274 33554432000 4194304 5064252 140736397888256 140736397887168 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30544/statm: 2287 274 233 213 0 72 0 [pid=30545] ppid=30544 vsize=20128 CPUtime=1777.76 cores=0,2,4,6 /proc/30545/stat : 30545 (npSolver-wbo) S 30544 30544 24017 0 -1 4202496 494046 2319986 0 0 2536 258 173674 1308 20 0 1 0 386227995 20611072 4505 33554432000 4194304 6006132 140734341582336 140734341573728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0 /proc/30545/statm: 5032 4505 179 443 0 4585 0 [pid=32640] ppid=30545 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32640/stat : 32640 (satsolver.sh) S 30545 30544 24017 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386405925 9367552 267 33554432000 4194304 5064252 140736306180288 140736306179200 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32640/statm: 2287 267 226 213 0 72 0 [pid=32641] ppid=32640 vsize=26484 CPUtime=2.99 cores=0,2,4,6 /proc/32641/stat : 32641 (glucose) R 32640 30544 24017 0 -1 4202496 5700 0 0 0 298 1 0 0 20 0 1 0 386405925 27119616 5853 33554432000 4194304 5208918 140736496602976 140736496600936 4211553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/32641/statm: 6621 5853 105 248 0 6370 0 Current children cumulated CPU time (s) 1780.75 Current children cumulated vsize (KiB) 64908 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.6 s] /proc/loadavg: 2.04 2.01 2.00 3/183 32662 /proc/meminfo: memFree=27999960/32873844 swapFree=7632/7632 [pid=30544] ppid=30542 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30544/stat : 30544 (npSolver-wbo-It) S 30542 30544 24017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386227995 9367552 274 33554432000 4194304 5064252 140736397888256 140736397887168 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/30544/statm: 2287 274 233 213 0 72 0 [pid=30545] ppid=30544 vsize=20128 CPUtime=1796.09 cores=0,2,4,6 /proc/30545/stat : 30545 (npSolver-wbo) S 30544 30544 24017 0 -1 4202496 500481 2350104 0 0 2565 261 175459 1324 20 0 1 0 386227995 20611072 4505 33554432000 4194304 6006132 140734341582336 140734341573728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0 /proc/30545/statm: 5032 4505 179 443 0 4585 0 [pid=32661] ppid=30545 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32661/stat : 32661 (satsolver.sh) S 30545 30544 24017 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386407761 9367552 267 33554432000 4194304 5064252 140733233733536 140733233732448 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32661/statm: 2287 267 226 213 0 72 0 [pid=32662] ppid=32661 vsize=26764 CPUtime=3.93 cores=0,2,4,6 /proc/32662/stat : 32662 (glucose) R 32661 30544 24017 0 -1 4202496 6575 0 0 0 392 1 0 0 20 0 1 0 386407762 27406336 5656 33554432000 4194304 5208918 140734466510640 140734466508392 4231665 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/32662/statm: 6691 5656 105 248 0 6440 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 65188 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1801.61 CPU time (s): 1800.07 CPU user time (s): 1784.19 CPU system time (s): 15.8846 CPU usage (%): 99.9146 Max. virtual memory (cumulated for all children) (KiB): 96812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1784.19 system time used= 15.8846 maximum resident set size= 51716 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2858148 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3356976 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 17493 involuntary context switches= 6840 runsolver used 5.18621 second user time and 13.465 second system time The end
Begin job on node144 at 2012-06-09 02:17:11 IDJOB=3753810 IDBENCH=79400 IDSOLVER=2337 FILE ID=node144/3753810-1339201031 RUNJOBID= node144-1339184649-25748 PBS_JOBID= 14643804 Free space on /tmp= 68840 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh18_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753810-1339201031/watcher-3753810-1339201031 -o /tmp/evaluation-result-3753810-1339201031/solver-3753810-1339201031 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753810-1339201031.wbo 1667469161 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 11b5917216c9682d33b4eac8f024a9c6 RANDOM SEED=1667469161 node144.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.196 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.39 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.196 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.196 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 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.196 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.90 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.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 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.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30154528 kB Buffers: 1078720 kB Cached: 239708 kB SwapCached: 460 kB Active: 1740876 kB Inactive: 71404 kB Active(anon): 477496 kB Inactive(anon): 12104 kB Active(file): 1263380 kB Inactive(file): 59300 kB Unevictable: 7632 kB Mlocked: 7632 kB SwapTotal: 67108856 kB SwapFree: 67108396 kB Dirty: 8116 kB Writeback: 40 kB AnonPages: 494196 kB Mapped: 11564 kB Shmem: 172 kB Slab: 766936 kB SReclaimable: 208536 kB SUnreclaim: 558400 kB KernelStack: 1520 kB PageTables: 4920 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 652204 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 415744 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= 68352 MiB End job on node144 at 2012-06-09 02:47:13