Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| The dodo solver 2018-04-29 | SAT (TO) | 764 | 2520.06 | 2479.92 |
| Name | TravellingSalesman/ TravellingSalesman-150-50-00_c18.xml |
| MD5SUM | 784274e168c99e425b71be44c62c6ab3 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 537 |
| Best CPU time to get the best result obtained on this benchmark | 2519.96 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 300 |
| Number of constraints | 151 |
| Number of domains | 2 |
| Minimum domain size | 66 |
| Maximum domain size | 150 |
| Distribution of domain sizes | [{"size":66,"count":150},{"size":150,"count":150}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":2,"count":150},{"degree":3,"count":150}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 150 |
| Distribution of constraint arities | [{"arity":3,"count":150},{"arity":150,"count":1}] |
| Number of extensional constraints | 150 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":150},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.13/0.13 c version: 2018-04-11 0.13/0.13 c seed: 1811631 0.13/0.13 c timeout: 2520 0.13/0.13 c memlimit: -1 0.13/0.13 c nbcore: -1 3.26/1.71 o 2226 3.26/1.72 o 2207 3.26/1.72 o 2203 3.26/1.72 o 2200 3.26/1.73 o 2193 3.26/1.73 o 2188 3.26/1.73 o 2185 3.26/1.73 o 2180 3.26/1.76 o 2178 3.26/1.77 o 2177 3.26/1.77 o 2172 3.26/1.77 o 2165 3.26/1.77 o 2160 3.26/1.77 o 2157 3.26/1.77 o 2152 3.26/1.78 o 2149 3.26/1.78 o 2144 3.56/1.82 o 2140 52.60/49.02 o 2139 52.60/49.02 o 2137 52.60/49.02 o 2132 52.60/49.02 o 2130 52.60/49.03 o 2127 52.60/49.03 o 2126 52.60/49.03 o 2122 52.60/49.03 o 2116 52.60/49.03 o 2114 52.60/49.03 o 2108 52.60/49.03 o 2106 52.60/49.04 o 2105 52.60/49.04 o 2098 52.60/49.05 o 2097 52.60/49.06 o 2096 52.60/49.06 o 2091 52.60/49.07 o 2089 52.60/49.09 o 2083 52.82/49.25 o 2079 53.22/49.69 o 2078 53.32/49.70 o 2077 53.32/49.71 o 2073 82.66/78.99 o 2071 82.66/78.99 o 2067 82.66/78.99 o 2065 83.37/79.63 o 2059 83.37/79.63 o 2056 83.37/79.63 o 2046 83.37/79.66 o 2043 83.87/80.18 o 2035 83.87/80.18 o 2033 83.87/80.19 o 2032 83.87/80.19 o 2030 83.96/80.28 o 2028 84.47/80.75 o 2027 86.66/82.92 o 2026 86.66/82.92 o 2024 86.66/82.93 o 2023 86.66/82.93 o 2021 87.59/83.89 o 2015 87.69/83.93 o 2002 87.69/83.93 o 2000 87.69/83.94 o 1999 87.69/83.94 o 1997 87.99/84.26 o 1996 87.99/84.27 o 1994 87.99/84.27 o 1993 95.42/91.63 o 1991 98.02/94.20 o 1990 98.02/94.20 o 1989 98.02/94.21 o 1987 98.12/94.37 o 1986 98.12/94.37 o 1985 98.43/94.64 o 1984 98.43/94.67 o 1983 98.53/94.71 o 1981 98.53/94.71 o 1980 98.53/94.74 o 1979 99.86/96.10 o 1977 99.86/96.10 o 1976 99.96/96.12 o 1975 158.58/154.59 o 1974 158.58/154.59 o 1970 159.50/155.47 o 1968 159.60/155.50 o 1966 159.80/155.76 o 1961 159.80/155.76 o 1956 159.80/155.77 o 1954 159.91/155.80 o 1953 160.31/156.23 o 1950 160.31/156.28 o 1947 160.31/156.28 o 1946 160.41/156.33 o 1945 160.41/156.33 o 1940 161.61/157.58 o 1939 161.61/157.58 o 1938 161.61/157.58 o 1933 161.61/157.58 o 1932 161.61/157.59 o 1931 161.61/157.59 o 1917 161.61/157.59 o 1912 161.61/157.59 o 1905 161.61/157.59 o 1900 161.61/157.59 o 1897 161.61/157.59 o 1890 161.61/157.60 o 1885 161.71/157.60 o 1881 161.71/157.60 o 1876 161.71/157.60 o 1872 161.71/157.60 o 1870 161.71/157.61 o 1865 161.71/157.62 o 1863 161.71/157.62 o 1861 161.71/157.62 o 1856 161.71/157.63 o 1855 161.71/157.63 o 1854 161.71/157.64 o 1850 161.71/157.64 o 1849 161.81/157.71 o 1844 161.81/157.72 o 1842 161.81/157.72 o 1835 161.81/157.73 o 1833 161.81/157.73 o 1832 161.81/157.78 o 1830 161.81/157.79 o 1828 161.81/157.80 o 1827 162.32/158.26 o 1826 162.62/158.54 o 1824 162.62/158.56 o 1822 224.45/220.17 o 1821 224.87/220.55 o 1818 226.38/222.04 o 1815 226.38/222.04 o 1812 226.38/222.04 o 1811 226.38/222.04 o 1808 226.48/222.11 o 1807 226.48/222.11 o 1804 226.48/222.11 o 1802 226.48/222.11 o 1799 226.48/222.12 o 1796 226.48/222.12 o 1795 226.48/222.12 o 1792 226.48/222.18 o 1791 226.48/222.18 o 1788 226.92/222.51 o 1786 226.92/222.55 o 1785 226.92/222.58 o 1782 234.75/230.32 o 1777 234.75/230.32 o 1776 234.75/230.33 o 1775 235.24/230.70 o 1771 235.24/230.70 o 1770 235.24/230.70 o 1769 235.54/231.10 o 1768 235.64/231.11 o 1761 235.64/231.11 o 1760 235.83/231.36 o 1757 235.83/231.36 o 1756 236.04/231.59 o 1755 236.04/231.59 o 1754 236.43/231.97 o 1751 237.13/232.64 o 1749 237.13/232.64 o 1748 239.46/234.92 o 1747 288.85/284.19 o 1745 288.85/284.19 o 1744 288.94/284.20 o 1743 289.35/284.65 o 1741 289.35/284.67 o 1740 290.54/285.88 o 1738 290.54/285.88 o 1733 290.54/285.89 o 1732 290.64/285.90 o 1725 290.64/285.90 o 1720 290.64/285.91 o 1719 291.36/286.63 o 1718 291.36/286.67 o 1717 291.57/286.89 o 1712 291.67/286.91 o 1711 291.67/286.91 o 1700 291.67/286.91 o 1699 291.67/286.92 o 1698 291.67/286.95 o 1697 291.77/287.07 o 1696 291.77/287.10 o 1695 292.47/287.78 o 1693 292.47/287.79 o 1692 292.47/287.80 o 1691 292.88/288.18 o 1683 292.88/288.19 o 1682 292.97/288.23 o 1681 293.07/288.37 o 1680 293.17/288.42 o 1679 297.00/292.21 o 1678 297.00/292.23 o 1677 297.59/292.80 o 1676 303.62/298.82 o 1674 303.82/299.05 o 1673 304.12/299.34 o 1669 304.12/299.38 o 1667 304.73/299.94 o 1664 305.93/301.18 o 1663 344.16/339.25 o 1648 345.48/340.55 o 1644 346.99/342.10 o 1640 347.09/342.14 o 1638 451.91/446.50 o 1637 451.91/446.50 o 1636 452.01/446.63 o 1633 452.01/446.64 o 1632 452.11/446.70 o 1631 452.11/446.71 o 1630 452.62/447.28 o 1629 452.62/447.28 o 1628 452.72/447.31 o 1625 452.72/447.32 o 1624 452.72/447.35 o 1623 452.72/447.35 o 1622 453.71/448.37 o 1612 453.71/448.37 o 1607 453.81/448.41 o 1603 454.11/448.71 o 1599 454.11/448.76 o 1597 454.11/448.76 o 1593 454.11/448.76 o 1583 454.31/449.00 o 1578 454.72/449.31 o 1575 455.22/449.88 o 1573 456.84/451.46 o 1572 456.84/451.46 o 1567 457.14/451.71 o 1563 465.07/459.64 o 1559 465.07/459.66 o 1558 465.16/459.76 o 1557 465.16/459.78 o 1556 465.88/460.47 o 1553 465.88/460.49 o 1552 465.98/460.56 o 1551 465.98/460.58 o 1550 467.68/462.22 o 1549 467.68/462.22 o 1548 467.68/462.29 o 1547 467.68/462.29 o 1546 467.78/462.31 o 1538 474.93/469.43 o 1536 474.93/469.46 o 1534 475.03/469.51 o 1528 475.13/469.60 o 1524 475.13/469.60 o 1521 475.13/469.61 o 1519 475.13/469.63 o 1513 484.57/479.09 o 1512 489.21/483.63 o 1510 489.21/483.65 o 1509 489.21/483.65 o 1507 489.51/483.99 o 1506 493.22/487.67 o 1505 493.22/487.68 o 1504 493.22/487.69 o 1502 493.93/488.34 o 1497 493.93/488.34 o 1495 493.93/488.36 o 1494 493.93/488.36 o 1492 494.14/488.51 o 1478 494.14/488.51 o 1472 494.14/488.51 o 1470 494.24/488.62 o 1469 494.75/489.11 o 1467 494.84/489.24 o 1466 562.22/556.20 o 1465 562.31/556.20 o 1463 562.41/556.35 o 1459 562.41/556.35 o 1456 562.41/556.35 o 1455 562.41/556.36 o 1452 562.41/556.36 o 1449 562.41/556.36 o 1447 629.78/622.90 o 1446 629.78/622.90 o 1438 629.78/622.91 o 1434 629.78/622.93 o 1433 629.78/622.94 o 1429 648.50/641.47 o 1421 648.60/641.50 o 1416 648.60/641.50 o 1412 648.60/641.50 o 1401 648.60/641.51 o 1393 648.60/641.53 o 1391 648.60/641.54 o 1388 648.60/641.54 o 1386 648.60/641.55 o 1380 648.60/641.55 o 1378 648.60/641.55 o 1376 648.60/641.55 o 1370 648.60/641.56 o 1368 697.38/689.62 o 1367 697.38/689.68 o 1365 697.38/689.68 o 1362 697.38/689.68 o 1358 697.38/689.68 o 1355 709.97/702.09 o 1354 709.97/702.10 o 1352 709.97/702.10 o 1348 713.12/705.12 o 1347 713.12/705.13 o 1340 715.44/707.41 o 1339 715.54/707.55 o 1338 715.54/707.55 o 1335 721.83/713.77 o 1334 721.83/713.79 o 1332 722.45/714.34 o 1328 722.45/714.35 o 1326 723.67/715.57 o 1325 737.85/729.50 o 1319 751.75/743.26 o 1317 751.75/743.26 o 1316 753.07/744.53 o 1312 753.07/744.53 o 1310 753.07/744.54 o 1308 753.07/744.59 o 1307 753.17/744.60 o 1305 754.52/745.90 o 1304 754.52/745.95 o 1303 754.52/745.95 o 1301 755.82/747.25 o 1300 755.82/747.27 o 1298 758.04/749.46 o 1297 758.04/749.46 o 1296 758.04/749.47 o 1292 758.04/749.47 o 1289 758.04/749.48 o 1288 758.04/749.49 o 1287 758.14/749.50 o 1286 758.24/749.63 o 1285 758.24/749.65 o 1282 758.36/749.71 o 1280 764.04/755.39 o 1278 764.65/755.98 o 1276 765.16/756.47 o 1271 765.26/756.52 o 1268 765.88/757.14 o 1265 768.11/759.31 o 1263 768.21/759.44 o 1260 795.31/786.17 o 1257 795.40/786.20 o 1253 795.40/786.20 o 1248 795.40/786.21 o 1244 795.40/786.22 o 1243 795.72/786.54 o 1239 795.72/786.55 o 1238 845.77/835.81 o 1236 845.77/835.81 o 1232 845.77/835.82 o 1231 845.77/835.82 o 1224 845.77/835.82 o 1220 888.22/877.60 o 1219 888.22/877.60 o 1217 888.22/877.61 o 1216 888.22/877.61 o 1214 889.14/878.57 o 1213 894.10/883.48 o 1212 894.10/883.48 o 1210 894.20/883.54 o 1209 894.41/883.72 o 1208 907.12/896.27 o 1207 907.12/896.27 o 1206 927.59/916.39 o 1203 927.69/916.44 o 1198 928.61/917.38 o 1197 928.71/917.42 o 1192 989.73/977.57 o 1191 989.73/977.57 o 1190 989.73/977.57 o 1188 1007.68/995.11 o 1187 1007.68/995.11 o 1185 1009.62/997.04 o 1183 1013.18/1000.52 o 1181 1013.18/1000.53 o 1179 1024.09/1011.27 o 1178 1024.09/1011.27 o 1177 1024.09/1011.28 o 1174 1024.09/1011.28 o 1173 1024.19/1011.31 o 1172 1031.52/1018.58 o 1171 1031.52/1018.58 o 1170 1031.62/1018.63 o 1169 1031.72/1018.75 o 1168 1031.82/1018.80 o 1167 1032.64/1019.60 o 1166 1037.43/1024.34 o 1162 1037.63/1024.60 o 1159 1037.63/1024.60 o 1158 1037.73/1024.60 o 1157 1037.73/1024.60 o 1156 1038.35/1025.20 o 1155 1038.35/1025.21 o 1153 1050.62/1037.32 o 1152 1050.62/1037.32 o 1150 1050.62/1037.32 o 1148 1061.71/1048.20 o 1144 1079.83/1066.10 o 1141 1089.79/1075.84 o 1140 1101.92/1087.70 o 1138 1101.92/1087.70 o 1137 1103.05/1088.82 o 1135 1103.05/1088.89 o 1134 1103.15/1088.90 o 1132 1104.26/1090.05 o 1131 1104.26/1090.09 o 1130 1104.36/1090.14 o 1128 1104.36/1090.14 o 1125 1104.36/1090.14 o 1123 1104.67/1090.43 o 1121 1104.67/1090.43 o 1118 1104.67/1090.48 o 1116 1112.82/1098.42 o 1110 1112.82/1098.42 o 1109 1112.82/1098.43 o 1106 1112.82/1098.43 o 1105 1117.81/1103.33 o 1104 1118.00/1103.54 o 1102 1118.00/1103.55 o 1101 1118.00/1103.55 o 1096 1118.00/1103.55 o 1095 1118.00/1103.58 o 1094 1118.00/1103.58 o 1093 1118.10/1103.64 o 1092 1118.10/1103.69 o 1091 1118.20/1103.74 o 1090 1118.62/1104.13 o 1089 1121.95/1107.47 o 1088 1122.05/1107.56 o 1087 1122.56/1108.03 o 1086 1122.87/1108.32 o 1085 1123.17/1108.60 o 1084 1134.94/1120.24 o 1082 1142.19/1127.31 o 1078 1142.19/1127.31 o 1075 1142.19/1127.35 o 1073 1156.08/1141.00 o 1071 1156.19/1141.01 o 1070 1156.98/1141.89 o 1069 1157.08/1141.90 o 1068 1199.87/1183.99 o 1064 1199.87/1183.99 o 1062 1199.87/1184.00 o 1058 1199.98/1184.03 o 1057 1211.06/1194.94 o 1055 1211.06/1194.94 o 1054 1211.06/1194.96 o 1052 1211.06/1194.96 o 1051 1211.16/1195.02 o 1050 1211.16/1195.06 o 1048 1211.16/1195.06 o 1047 1211.37/1195.24 o 1046 1211.78/1195.65 o 1045 1211.78/1195.65 o 1044 1211.98/1195.82 o 1043 1221.74/1205.45 o 1041 1221.74/1205.45 o 1037 1225.54/1209.11 o 1035 1226.55/1210.18 o 1034 1226.55/1210.18 o 1033 1227.55/1211.17 o 1032 1229.98/1213.56 o 1029 1231.60/1215.14 o 1027 1247.51/1230.72 o 1026 1247.51/1230.72 o 1025 1247.51/1230.73 o 1023 1247.51/1230.73 o 1022 1258.61/1241.62 o 1017 1265.52/1248.40 o 1014 1279.01/1261.65 o 1012 1279.01/1261.65 o 1011 1279.01/1261.69 o 1008 1279.01/1261.69 o 1006 1279.01/1261.69 o 1005 1285.01/1267.50 o 1003 1285.81/1268.36 o 1002 1289.91/1272.30 o 1000 1290.42/1272.82 o 999 1290.42/1272.82 o 997 1292.27/1274.65 o 996 1317.08/1299.05 o 993 1317.08/1299.06 o 992 1317.08/1299.06 o 990 1324.59/1306.42 o 986 1327.32/1309.19 o 984 1327.32/1309.19 o 982 1327.41/1309.22 o 980 1327.41/1309.22 o 978 1330.77/1312.59 o 976 1339.23/1320.81 o 973 1361.51/1342.73 o 972 1371.58/1352.69 o 971 1373.20/1354.22 o 970 1380.02/1360.99 o 967 1380.02/1360.99 o 966 1380.02/1360.99 o 962 1380.02/1360.99 o 961 1399.03/1379.56 o 960 1399.03/1379.58 o 959 1399.55/1380.01 o 958 1400.68/1381.16 o 957 1401.99/1382.45 o 956 1402.90/1383.39 o 954 1443.16/1422.97 o 950 1443.16/1422.97 o 948 1459.68/1439.16 o 947 1459.68/1439.16 o 946 1467.92/1447.28 o 944 1467.92/1447.28 o 943 1480.13/1459.19 o 939 1512.07/1490.52 o 938 1541.08/1518.94 o 937 1541.08/1518.99 o 936 1541.08/1518.99 o 929 1541.08/1518.99 o 928 1544.81/1522.70 o 927 1552.43/1530.11 o 925 1588.55/1565.59 o 924 1588.55/1565.59 o 922 1604.85/1581.59 o 921 1614.70/1591.24 o 918 1615.22/1591.70 o 915 1615.22/1591.70 o 911 1615.53/1592.03 o 909 1623.35/1599.71 o 908 1623.35/1599.72 o 904 1623.35/1599.74 o 902 1628.63/1604.95 o 901 1628.73/1605.09 o 898 1663.41/1639.04 o 897 1665.83/1641.48 o 896 1665.83/1641.49 o 895 1668.45/1644.07 o 894 1672.39/1647.99 o 892 1672.39/1647.99 o 890 1673.12/1648.63 o 889 1673.12/1648.64 o 887 1675.08/1650.55 o 885 1675.18/1650.61 o 884 1675.38/1650.89 o 882 1675.38/1650.89 o 880 1675.38/1650.89 o 878 1685.10/1660.39 o 877 1685.10/1660.40 o 876 1688.89/1664.06 o 875 1689.93/1665.02 o 874 1703.94/1678.85 o 872 1712.69/1687.41 o 871 1712.89/1687.62 o 867 1712.89/1687.62 o 866 1712.89/1687.64 o 864 1712.89/1687.64 o 863 1729.96/1704.32 o 862 1729.96/1704.33 o 859 1729.96/1704.36 o 856 1730.05/1704.40 o 855 1730.98/1705.33 o 852 1730.98/1705.35 o 849 1730.98/1705.35 o 848 1733.28/1707.64 o 847 1734.70/1709.01 o 846 1745.05/1719.28 o 844 1793.89/1767.07 o 842 1808.14/1781.05 o 840 1808.14/1781.06 o 837 1811.07/1783.92 o 834 1811.07/1783.93 o 833 1825.41/1798.07 o 832 1840.66/1812.94 o 830 1840.66/1812.94 o 829 1840.66/1812.95 o 826 1840.66/1812.96 o 825 1842.65/1814.96 o 823 1849.78/1822.00 o 822 1851.68/1823.85 o 821 1851.68/1823.86 o 819 1864.52/1836.49 o 818 1920.16/1891.04 o 817 1931.14/1901.83 o 816 1980.74/1950.49 o 814 1998.32/1967.75 o 810 2000.12/1969.50 o 805 2025.98/1994.98 o 804 2025.98/1994.98 o 803 2029.91/1998.86 o 802 2031.71/2000.66 o 801 2031.71/2000.66 o 798 2104.71/2072.20 o 797 2104.81/2072.33 o 796 2105.11/2072.65 o 795 2107.23/2074.78 o 794 2107.23/2074.79 o 793 2123.93/2091.14 o 791 2124.72/2092.00 o 788 2169.48/2135.83 o 786 2183.63/2149.73 o 784 2247.89/2212.84 o 783 2260.31/2225.06 o 782 2298.03/2262.10 o 779 2298.93/2262.92 o 778 2308.42/2272.21 o 777 2336.41/2299.62 o 774 2336.41/2299.62 o 773 2336.41/2299.66 o 772 2336.41/2299.66 o 771 2348.82/2311.84 o 770 2348.82/2311.84 o 769 2362.99/2325.76 o 768 2371.57/2334.26 o 767 2452.79/2413.82 o 765 2468.34/2429.02 o 764 2520.03/2479.90 s SATISFIABLE 2520.03/2479.90 v <instantiation> 2520.03/2479.90 v <list> 2520.03/2479.90 v c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] c[125] c[126] c[127] c[128] c[129] c[130] c[131] c[132] c[133] c[134] c[135] c[136] c[137] c[138] c[139] c[140] c[141] c[142] c[143] c[144] c[145] c[146] c[147] c[148] c[149] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] 2520.03/2479.90 v </list> 2520.03/2479.90 v <values> 2520.03/2479.90 v 13 6 12 11 1 2 3 4 7 8 9 21 40 47 49 58 48 31 22 14 19 10 18 25 36 39 30 26 0 5 15 20 33 35 34 32 24 23 17 16 54 91 89 52 41 46 45 38 44 37 51 53 76 72 57 56 60 77 78 73 67 74 64 61 59 68 62 55 42 43 50 65 79 71 63 75 83 81 66 80 84 92 85 86 102 103 95 99 104 105 101 106 121 131 115 98 97 94 88 69 28 27 29 70 100 109 108 107 112 96 90 82 87 93 110 111 114 117 118 135 134 133 130 120 126 137 138 123 128 127 132 122 113 116 119 124 125 136 129 139 146 140 147 141 148 142 143 144 149 145 8 1 2 4 2 5 2 5 1 2 6 6 2 1 4 10 6 4 3 4 5 2 4 8 2 3 2 8 4 4 2 4 2 1 4 4 2 14 2 16 23 1 13 6 9 1 3 15 4 6 2 7 2 6 1 2 4 1 2 1 6 2 3 1 3 5 7 11 3 3 6 4 5 4 11 5 4 21 4 3 2 10 4 6 1 5 13 1 2 3 3 6 4 6 9 3 1 3 7 14 2 1 15 9 3 1 1 11 4 3 3 3 4 8 5 2 7 2 8 3 4 4 3 5 3 1 10 2 1 3 4 3 5 4 1 2 4 3 6 3 5 3 1 6 8 13 4 4 4 56 2520.03/2479.90 v </values> 2520.03/2479.90 v </instantiation>
OK 764
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (9216 MiB free)
memory of node 1: 16384 MiB (12447 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300460-1532889417/watcher-4300460-1532889417 -o /tmp/evaluation-result-4300460-1532889417/solver-4300460-1532889417 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532879424-32198 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4300460-1532889417.xml --timelimit 2520
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=731, runsolver pid=728
Current StackSize limit: 8192 KiB
[startup+0.102352 s]*
/proc/loadavg: 1.69 1.52 1.49 3/215 746
/proc/meminfo: memFree=22165460/32770624 swapFree=67108796/67108860
[pid=731] ppid=728 vsize=10658972 memory=29480 CPUtime=0.13 cores=0,2,4,6
/proc/731/stat : 731 (java) S 728 731 32167 0 -1 1077944320 5280 0 0 0 11 2 0 0 20 0 15 0 106504890 10914787328 7370 33554432000 4194304 4196468 140725057233168 140725057215712 140403937033975 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
/proc/731/statm: 2664743 7370 2819 1 0 2627263 0
[pid=731/tid=733] ppid=728 vsize=10658972 memory=8389772277269004345 CPUtime=0.09 cores=0,2,4,6
/proc/731/task/733/stat : 733 (java) R 728 731 32167 0 -1 4202560 3158 0 0 0 8 1 0 0 20 0 15 0 106504891 10914787328 7370 33554432000 4194304 4196468 140725057233168 140403941262064 140403937045910 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=734] ppid=728 vsize=10658972 memory=4294967641 CPUtime=0 cores=0,2,4,6
/proc/731/task/734/stat : 734 (java) S 728 731 32167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106504892 10914787328 7370 33554432000 4194304 4196468 140725057233168 140403893586704 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=735] ppid=728 vsize=10658972 memory=139929119695941 CPUtime=0 cores=0,2,4,6
/proc/731/task/735/stat : 735 (java) S 728 731 32167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106504892 10914787328 7370 33554432000 4194304 4196468 140725057233168 140403892534160 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=736] ppid=728 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/731/task/736/stat : 736 (java) S 728 731 32167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106504892 10914787328 7370 33554432000 4194304 4196468 140725057233168 140403891481616 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=737] ppid=728 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/731/task/737/stat : 737 (java) S 728 731 32167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106504892 10914787328 7370 33554432000 4194304 4196468 140725057233168 140403540941968 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=738] ppid=728 vsize=10658972 memory=139929119671936 CPUtime=0 cores=0,2,4,6
/proc/731/task/738/stat : 738 (java) S 728 731 32167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106504893 10914787328 7370 33554432000 4194304 4196468 140725057233168 140403496667120 140403937045122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=739] ppid=728 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/731/task/739/stat : 739 (java) S 728 731 32167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106504893 10914787328 7370 33554432000 4194304 4196468 140725057233168 140403495613344 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=740] ppid=728 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/731/task/740/stat : 740 (java) S 728 731 32167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106504894 10914787328 7370 33554432000 4194304 4196468 140725057233168 140403494560752 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=741] ppid=728 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/731/task/741/stat : 741 (java) S 728 731 32167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106504896 10914787328 7370 33554432000 4194304 4196468 140725057233168 140403493509328 140403937052571 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=742] ppid=728 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/731/task/742/stat : 742 (java) S 728 731 32167 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 15 0 106504896 10914787328 7370 33554432000 4194304 4196468 140725057233168 140403492456944 140403937045122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=743] ppid=728 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/731/task/743/stat : 743 (java) S 728 731 32167 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 106504896 10914787328 7370 33554432000 4194304 4196468 140725057233168 140403491404400 140403937045122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=744] ppid=728 vsize=10658972 memory=139929119671936 CPUtime=0.01 cores=0,2,4,6
/proc/731/task/744/stat : 744 (java) R 728 731 32167 0 -1 4202560 327 0 0 0 1 0 0 0 20 0 15 0 106504896 10914787328 7370 33554432000 4194304 4196468 140725057233168 140403490351856 140403937045910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=745] ppid=728 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/731/task/745/stat : 745 (java) S 728 731 32167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106504896 10914787328 7370 33554432000 4194304 4196468 140725057233168 140403489299552 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=746] ppid=728 vsize=10658972 memory=139929119671936 CPUtime=0 cores=0,2,4,6
/proc/731/task/746/stat : 746 (java) S 728 731 32167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106504896 10914787328 7370 33554432000 4194304 4196468 140725057233168 140403165620528 140403937045122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 29480 KiB
[startup+0.210517 s]*
/proc/loadavg: 1.69 1.52 1.49 3/215 746
/proc/meminfo: memFree=22154896/32770624 swapFree=67108796/67108860
[pid=731] ppid=728 vsize=10661056 memory=41772 CPUtime=0.32 cores=0,2,4,6
/proc/731/stat : 731 (java) S 728 731 32167 0 -1 1077944320 8000 0 0 0 30 2 0 0 20 0 15 0 106504890 10916921344 10443 33554432000 4194304 4196468 140725057233168 140725057215712 140403937033975 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
/proc/731/statm: 2665264 10443 2965 1 0 2627263 0
[pid=731/tid=733] ppid=728 vsize=10661056 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/731/task/733/stat : 733 (java) R 728 731 32167 0 -1 4202560 5127 0 0 0 18 2 0 0 20 0 15 0 106504891 10916921344 10443 33554432000 4194304 4196468 140725057233168 140403941265216 140403921114462 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=734] ppid=728 vsize=10661056 memory=4294967641 CPUtime=0 cores=0,2,4,6
/proc/731/task/734/stat : 734 (java) S 728 731 32167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106504892 10916921344 10443 33554432000 4194304 4196468 140725057233168 140403893586704 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=735] ppid=728 vsize=10661056 memory=139929119695941 CPUtime=0 cores=0,2,4,6
/proc/731/task/735/stat : 735 (java) S 728 731 32167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106504892 10916921344 10443 33554432000 4194304 4196468 140725057233168 140403892534160 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=736] ppid=728 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/731/task/736/stat : 736 (java) S 728 731 32167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106504892 10916921344 10443 33554432000 4194304 4196468 140725057233168 140403891481616 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=737] ppid=728 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/731/task/737/stat : 737 (java) S 728 731 32167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106504892 10916921344 10443 33554432000 4194304 4196468 140725057233168 140403540941968 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=738] ppid=728 vsize=10661056 memory=139929119671936 CPUtime=0 cores=0,2,4,6
/proc/731/task/738/stat : 738 (java) S 728 731 32167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106504893 10916921344 10443 33554432000 4194304 4196468 140725057233168 140403496667120 140403937045122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=739] ppid=728 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/731/task/739/stat : 739 (java) S 728 731 32167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106504893 10916921344 10443 33554432000 4194304 4196468 140725057233168 140403495613344 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=740] ppid=728 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/731/task/740/stat : 740 (java) S 728 731 32167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106504894 10916921344 10443 33554432000 4194304 4196468 140725057233168 140403494560752 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=741] ppid=728 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/731/task/741/stat : 741 (java) S 728 731 32167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106504896 10916921344 10443 33554432000 4194304 4196468 140725057233168 140403493509328 140403937052571 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=742] ppid=728 vsize=10661056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/731/task/742/stat : 742 (java) R 728 731 32167 0 -1 4202560 629 0 0 0 2 0 0 0 20 0 15 0 106504896 10916921344 10443 33554432000 4194304 4196468 140725057233168 140403492456944 140403916191040 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=743] ppid=728 vsize=10661056 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/731/task/743/stat : 743 (java) R 728 731 32167 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 15 0 106504896 10916921344 10443 33554432000 4194304 4196468 140725057233168 140403491404400 140403937045122 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=744] ppid=728 vsize=10661056 memory=139929119671936 CPUtime=0.07 cores=0,2,4,6
/proc/731/task/744/stat : 744 (java) R 728 731 32167 0 -1 4202560 796 0 0 0 7 0 0 0 20 0 15 0 106504896 10916921344 10443 33554432000 4194304 4196468 140725057233168 140403490351856 140403915713418 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=745] ppid=728 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/731/task/745/stat : 745 (java) S 728 731 32167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106504896 10916921344 10443 33554432000 4194304 4196468 140725057233168 140403489299552 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=746] ppid=728 vsize=10661056 memory=139929119671936 CPUtime=0 cores=0,2,4,6
/proc/731/task/746/stat : 746 (java) S 728 731 32167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106504896 10916921344 10443 33554432000 4194304 4196468 140725057233168 140403165620528 140403937045122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 41772 KiB
[startup+0.310333 s]*
/proc/loadavg: 1.69 1.52 1.49 5/215 746
/proc/meminfo: memFree=22146164/32770624 swapFree=67108796/67108860
[pid=731] ppid=728 vsize=10661132 memory=50036 CPUtime=0.57 cores=0,2,4,6
/proc/731/stat : 731 (java) S 728 731 32167 0 -1 1077944320 9086 0 0 0 54 3 0 0 20 0 15 0 106504890 10916999168 12509 33554432000 4194304 4196468 140725057233168 140725057215712 140403937033975 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
/proc/731/statm: 2665283 12509 3049 1 0 2627263 0
[pid=731/tid=733] ppid=728 vsize=10661132 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/731/task/733/stat : 733 (java) R 728 731 32167 0 -1 4202560 5461 0 0 0 27 2 0 0 20 0 15 0 106504891 10916999168 13087 33554432000 4194304 4196468 140725057233168 140403941268656 140403573720647 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=734] ppid=728 vsize=10661132 memory=832 CPUtime=0 cores=0,2,4,6
/proc/731/task/734/stat : 734 (java) S 728 731 32167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106504892 10916999168 13087 33554432000 4194304 4196468 140725057233168 140403893586704 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=735] ppid=728 vsize=10661132 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/731/task/735/stat : 735 (java) S 728 731 32167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106504892 10916999168 13087 33554432000 4194304 4196468 140725057233168 140403892534160 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=736] ppid=728 vsize=10661132 memory=1608 CPUtime=0 cores=0,2,4,6
/proc/731/task/736/stat : 736 (java) S 728 731 32167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106504892 10916999168 13087 33554432000 4194304 4196468 140725057233168 140403891481616 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=737] ppid=728 vsize=10661132 memory=5012 CPUtime=0 cores=0,2,4,6
/proc/731/task/737/stat : 737 (java) S 728 731 32167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106504892 10916999168 13087 33554432000 4194304 4196468 140725057233168 140403540941968 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=738] ppid=728 vsize=10661132 memory=4032 CPUtime=0 cores=0,2,4,6
/proc/731/task/738/stat : 738 (java) S 728 731 32167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106504893 10916999168 13087 33554432000 4194304 4196468 140725057233168 140403496667120 140403937045122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=739] ppid=728 vsize=10661132 memory=1284 CPUtime=0 cores=0,2,4,6
/proc/731/task/739/stat : 739 (java) S 728 731 32167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106504893 10916999168 13087 33554432000 4194304 4196468 140725057233168 140403495613344 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=740] ppid=728 vsize=10661132 memory=1088 CPUtime=0 cores=0,2,4,6
/proc/731/task/740/stat : 740 (java) S 728 731 32167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106504894 10916999168 13087 33554432000 4194304 4196468 140725057233168 140403494560752 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=741] ppid=728 vsize=10661132 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/731/task/741/stat : 741 (java) S 728 731 32167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106504896 10916999168 13087 33554432000 4194304 4196468 140725057233168 140403493509328 140403937052571 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=742] ppid=728 vsize=10661132 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/731/task/742/stat : 742 (java) R 728 731 32167 0 -1 4202560 877 0 0 0 6 0 0 0 20 0 15 0 106504896 10916999168 13087 33554432000 4194304 4196468 140725057233168 140403492443488 140403937055322 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=743] ppid=728 vsize=10661132 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/731/task/743/stat : 743 (java) R 728 731 32167 0 -1 1077944384 295 0 0 0 5 0 0 0 20 0 15 0 106504896 10916999168 13087 33554432000 4194304 4196468 140725057233168 140403491404400 140403937045122 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=744] ppid=728 vsize=10661132 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/731/task/744/stat : 744 (java) R 728 731 32167 0 -1 4202560 1114 0 0 0 15 0 0 0 20 0 15 0 106504896 10916999168 13087 33554432000 4194304 4196468 140725057233168 140403490348792 140403937055322 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=745] ppid=728 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/731/task/745/stat : 745 (java) S 728 731 32167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106504896 10916999168 13087 33554432000 4194304 4196468 140725057233168 140403489299552 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=746] ppid=728 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/731/task/746/stat : 746 (java) S 728 731 32167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106504896 10916999168 13087 33554432000 4194304 4196468 140725057233168 140403165620528 140403937045122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 50036 KiB
[startup+0.705606 s]
/proc/loadavg: 1.69 1.52 1.49 7/215 746
/proc/meminfo: memFree=22103588/32770624 swapFree=67108796/67108860
[pid=731] ppid=728 vsize=10661132 memory=195996 CPUtime=1.65 cores=0,2,4,6
/proc/731/stat : 731 (java) S 728 731 32167 0 -1 1077944320 10910 0 0 0 158 7 0 0 20 0 15 0 106504890 10916999168 48999 33554432000 4194304 4196468 140725057233168 140725057215712 140403937033975 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
/proc/731/statm: 2665283 48999 3115 1 0 2627263 0
[pid=731/tid=733] ppid=728 vsize=10661132 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/731/task/733/stat : 733 (java) S 728 731 32167 0 -1 1077944384 5685 0 0 0 63 4 0 0 20 0 15 0 106504891 10916999168 48999 33554432000 4194304 4196468 140725057233168 140403941272592 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=734] ppid=728 vsize=10661132 memory=7086243960365142129 CPUtime=0 cores=0,2,4,6
/proc/731/task/734/stat : 734 (java) R 728 731 32167 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 15 0 106504892 10916999168 48999 33554432000 4194304 4196468 140725057233168 140403893586704 140403930130811 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=735] ppid=728 vsize=10661132 memory=7084558314567133010 CPUtime=0 cores=0,2,4,6
/proc/731/task/735/stat : 735 (java) R 728 731 32167 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 15 0 106504892 10916999168 48999 33554432000 4194304 4196468 140725057233168 140403892534160 140403930133822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=736] ppid=728 vsize=10661132 memory=6153395256955523664 CPUtime=0 cores=0,2,4,6
/proc/731/task/736/stat : 736 (java) R 728 731 32167 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 15 0 106504892 10916999168 48999 33554432000 4194304 4196468 140725057233168 140403891481616 140403930130811 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=737] ppid=728 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/731/task/737/stat : 737 (java) R 728 731 32167 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 15 0 106504892 10916999168 48999 33554432000 4194304 4196468 140725057233168 140403540942168 140403930130819 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=738] ppid=728 vsize=10661132 memory=143098646766369 CPUtime=0 cores=0,2,4,6
/proc/731/task/738/stat : 738 (java) S 728 731 32167 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 106504893 10916999168 48999 33554432000 4194304 4196468 140725057233168 140403496665632 140403937044181 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=739] ppid=728 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/731/task/739/stat : 739 (java) S 728 731 32167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106504893 10916999168 48999 33554432000 4194304 4196468 140725057233168 140403495613344 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=740] ppid=728 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/731/task/740/stat : 740 (java) S 728 731 32167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106504894 10916999168 48999 33554432000 4194304 4196468 140725057233168 140403494560752 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=741] ppid=728 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/731/task/741/stat : 741 (java) S 728 731 32167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106504896 10916999168 48999 33554432000 4194304 4196468 140725057233168 140403493509328 140403937052571 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=742] ppid=728 vsize=10661132 memory=279857921523952 CPUtime=0.37 cores=0,2,4,6
/proc/731/task/742/stat : 742 (java) S 728 731 32167 0 -1 1077944384 1464 0 0 0 37 0 0 0 20 0 15 0 106504896 10916999168 48999 33554432000 4194304 4196468 140725057233168 140403492456944 140403937045122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=743] ppid=728 vsize=10661132 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/731/task/743/stat : 743 (java) S 728 731 32167 0 -1 1077944384 882 0 0 0 28 0 0 0 20 0 15 0 106504896 10916999168 48999 33554432000 4194304 4196468 140725057233168 140403491404400 140403937045122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=744] ppid=728 vsize=10661132 memory=-1807685287717842718 CPUtime=0.26 cores=0,2,4,6
/proc/731/task/744/stat : 744 (java) S 728 731 32167 0 -1 1077944384 1438 0 0 0 26 0 0 0 20 0 15 0 106504896 10916999168 48999 33554432000 4194304 4196468 140725057233168 140403490346656 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=745] ppid=728 vsize=10661132 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/731/task/745/stat : 745 (java) S 728 731 32167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106504896 10916999168 48999 33554432000 4194304 4196468 140725057233168 140403489299552 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=746] ppid=728 vsize=10661132 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/731/task/746/stat : 746 (java) S 728 731 32167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106504896 10916999168 48999 33554432000 4194304 4196468 140725057233168 140403165620528 140403937045122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 195996 KiB
[startup+1.50073 s]
/proc/loadavg: 1.69 1.52 1.49 4/215 746
/proc/meminfo: memFree=21903384/32770624 swapFree=67108796/67108860
[pid=731] ppid=728 vsize=10661132 memory=293364 CPUtime=3.05 cores=0,2,4,6
/proc/731/stat : 731 (java) S 728 731 32167 0 -1 1077944320 11448 0 0 0 282 23 0 0 20 0 15 0 106504890 10916999168 73341 33554432000 4194304 4196468 140725057233168 140725057215712 140403937033975 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
/proc/731/statm: 2665283 73341 3159 1 0 2627263 0
[pid=731/tid=733] ppid=728 vsize=10661132 memory=1408 CPUtime=1.41 cores=0,2,4,6
/proc/731/task/733/stat : 733 (java) R 728 731 32167 0 -1 4202560 5774 0 0 0 137 4 0 0 20 0 15 0 106504891 10916999168 73341 33554432000 4194304 4196468 140725057233168 140403941269416 140403575253591 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=734] ppid=728 vsize=10661132 memory=3288 CPUtime=0.05 cores=0,2,4,6
/proc/731/task/734/stat : 734 (java) S 728 731 32167 0 -1 1077944384 66 0 0 0 1 4 0 0 20 0 15 0 106504892 10916999168 73341 33554432000 4194304 4196468 140725057233168 140403893586704 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=735] ppid=728 vsize=10661132 memory=195904 CPUtime=0.05 cores=0,2,4,6
/proc/731/task/735/stat : 735 (java) S 728 731 32167 0 -1 1077944384 59 0 0 0 1 4 0 0 20 0 15 0 106504892 10916999168 73341 33554432000 4194304 4196468 140725057233168 140403892534160 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=736] ppid=728 vsize=10661132 memory=1628 CPUtime=0.05 cores=0,2,4,6
/proc/731/task/736/stat : 736 (java) S 728 731 32167 0 -1 1077944384 61 0 0 0 1 4 0 0 20 0 15 0 106504892 10916999168 73341 33554432000 4194304 4196468 140725057233168 140403891481616 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=737] ppid=728 vsize=10661132 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/731/task/737/stat : 737 (java) S 728 731 32167 0 -1 1077944384 65 0 0 0 1 4 0 0 20 0 15 0 106504892 10916999168 73341 33554432000 4194304 4196468 140725057233168 140403540941968 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=738] ppid=728 vsize=10661132 memory=143098646900897 CPUtime=0 cores=0,2,4,6
/proc/731/task/738/stat : 738 (java) S 728 731 32167 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 106504893 10916999168 73341 33554432000 4194304 4196468 140725057233168 140403496667120 140403937045122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
################
# More data... #
################
/proc/731/task/733/stat : 733 (java) R 728 731 32167 0 -1 4202560 35690 0 0 0 235977 819 0 0 20 0 15 0 106504891 10916999168 118830 33554432000 4194304 4196468 140725057233168 140403941265776 140403575253545 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=734] ppid=728 vsize=10661132 memory=476336 CPUtime=11.82 cores=0,2,4,6
/proc/731/task/734/stat : 734 (java) S 728 731 32167 0 -1 1077944384 27147 0 0 0 1159 23 0 0 20 0 15 0 106504892 10916999168 118830 33554432000 4194304 4196468 140725057233168 140403893586704 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=735] ppid=728 vsize=10661132 memory=474308 CPUtime=11.85 cores=0,2,4,6
/proc/731/task/735/stat : 735 (java) S 728 731 32167 0 -1 1077944384 26038 0 0 0 1161 24 0 0 20 0 15 0 106504892 10916999168 118830 33554432000 4194304 4196468 140725057233168 140403892534160 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=736] ppid=728 vsize=10661132 memory=476344 CPUtime=11.84 cores=0,2,4,6
/proc/731/task/736/stat : 736 (java) S 728 731 32167 0 -1 1077944384 25379 0 0 0 1161 23 0 0 20 0 15 0 106504892 10916999168 118830 33554432000 4194304 4196468 140725057233168 140403891481616 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=737] ppid=728 vsize=10661132 memory=475320 CPUtime=11.8 cores=0,2,4,6
/proc/731/task/737/stat : 737 (java) S 728 731 32167 0 -1 1077944384 23953 0 0 0 1156 24 0 0 20 0 15 0 106504892 10916999168 118830 33554432000 4194304 4196468 140725057233168 140403540941968 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=738] ppid=728 vsize=10661132 memory=473548 CPUtime=1.27 cores=0,2,4,6
/proc/731/task/738/stat : 738 (java) S 728 731 32167 0 -1 1077944384 5493 0 0 0 110 17 0 0 20 0 15 0 106504893 10916999168 118830 33554432000 4194304 4196468 140725057233168 140403496667120 140403937045122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=739] ppid=728 vsize=10661132 memory=475320 CPUtime=0 cores=0,2,4,6
/proc/731/task/739/stat : 739 (java) S 728 731 32167 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106504893 10916999168 118830 33554432000 4194304 4196468 140725057233168 140403495613344 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=740] ppid=728 vsize=10661132 memory=475320 CPUtime=0 cores=0,2,4,6
/proc/731/task/740/stat : 740 (java) S 728 731 32167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106504894 10916999168 118830 33554432000 4194304 4196468 140725057233168 140403494560752 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=741] ppid=728 vsize=10661132 memory=475320 CPUtime=0 cores=0,2,4,6
/proc/731/task/741/stat : 741 (java) S 728 731 32167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106504896 10916999168 118830 33554432000 4194304 4196468 140725057233168 140403493509328 140403937052571 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=742] ppid=728 vsize=10661132 memory=5012 CPUtime=1.03 cores=0,2,4,6
/proc/731/task/742/stat : 742 (java) S 728 731 32167 0 -1 1077944384 7808 0 0 0 103 0 0 0 20 0 15 0 106504896 10916999168 118830 33554432000 4194304 4196468 140725057233168 140403492456944 140403937045122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=743] ppid=728 vsize=10661132 memory=4032 CPUtime=1.23 cores=0,2,4,6
/proc/731/task/743/stat : 743 (java) S 728 731 32167 0 -1 1077944384 8964 0 0 0 122 1 0 0 20 0 15 0 106504896 10916999168 118830 33554432000 4194304 4196468 140725057233168 140403491404400 140403937045122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=744] ppid=728 vsize=10661132 memory=1040 CPUtime=0.43 cores=0,2,4,6
/proc/731/task/744/stat : 744 (java) S 728 731 32167 0 -1 1077944384 7419 0 0 0 42 1 0 0 20 0 15 0 106504896 10916999168 118830 33554432000 4194304 4196468 140725057233168 140403490351856 140403937045122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=745] ppid=728 vsize=10661132 memory=1628 CPUtime=0 cores=0,2,4,6
/proc/731/task/745/stat : 745 (java) S 728 731 32167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106504896 10916999168 118830 33554432000 4194304 4196468 140725057233168 140403489299552 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=746] ppid=728 vsize=10661132 memory=476344 CPUtime=1.29 cores=0,2,4,6
/proc/731/task/746/stat : 746 (java) S 728 731 32167 0 -1 1077944384 1032 0 0 0 63 66 0 0 20 0 15 0 106504896 10916999168 118830 33554432000 4194304 4196468 140725057233168 140403165620528 140403937045122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
Current children cumulated CPU time: 2420.62 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 475320 KiB
[startup+2442.3 s]
/proc/loadavg: 1.38 1.35 1.40 3/215 948
/proc/meminfo: memFree=21754224/32770624 swapFree=67108796/67108860
[pid=731] ppid=728 vsize=10661132 memory=479032 CPUtime=2481.81 cores=0,2,4,6
/proc/731/stat : 731 (java) S 728 731 32167 0 -1 1077944320 173390 0 0 0 247178 1003 0 0 20 0 15 0 106504890 10916999168 119758 33554432000 4194304 4196468 140725057233168 140725057215712 140403937033975 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
/proc/731/statm: 2665283 119758 3189 1 0 2627263 0
[pid=731/tid=733] ppid=728 vsize=10661132 memory=481124 CPUtime=2427.5 cores=0,2,4,6
/proc/731/task/733/stat : 733 (java) R 728 731 32167 0 -1 4202560 36097 0 0 0 241915 835 0 0 20 0 15 0 106504891 10916999168 119758 33554432000 4194304 4196468 140725057233168 140403941273184 140403575253545 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=734] ppid=728 vsize=10661132 memory=479036 CPUtime=12.22 cores=0,2,4,6
/proc/731/task/734/stat : 734 (java) S 728 731 32167 0 -1 1077944384 27945 0 0 0 1198 24 0 0 20 0 15 0 106504892 10916999168 119758 33554432000 4194304 4196468 140725057233168 140403893586704 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=735] ppid=728 vsize=10661132 memory=479036 CPUtime=12.23 cores=0,2,4,6
/proc/731/task/735/stat : 735 (java) S 728 731 32167 0 -1 1077944384 26702 0 0 0 1199 24 0 0 20 0 15 0 106504892 10916999168 119758 33554432000 4194304 4196468 140725057233168 140403892534160 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=736] ppid=728 vsize=10661132 memory=479032 CPUtime=12.22 cores=0,2,4,6
/proc/731/task/736/stat : 736 (java) S 728 731 32167 0 -1 1077944384 25968 0 0 0 1198 24 0 0 20 0 15 0 106504892 10916999168 119758 33554432000 4194304 4196468 140725057233168 140403891481616 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=737] ppid=728 vsize=10661132 memory=479032 CPUtime=12.2 cores=0,2,4,6
/proc/731/task/737/stat : 737 (java) S 728 731 32167 0 -1 1077944384 24315 0 0 0 1195 25 0 0 20 0 15 0 106504892 10916999168 119758 33554432000 4194304 4196468 140725057233168 140403540941968 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=738] ppid=728 vsize=10661132 memory=479032 CPUtime=1.31 cores=0,2,4,6
/proc/731/task/738/stat : 738 (java) S 728 731 32167 0 -1 1077944384 5566 0 0 0 113 18 0 0 20 0 15 0 106504893 10916999168 119758 33554432000 4194304 4196468 140725057233168 140403496667120 140403937045122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=739] ppid=728 vsize=10661132 memory=479032 CPUtime=0 cores=0,2,4,6
/proc/731/task/739/stat : 739 (java) S 728 731 32167 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106504893 10916999168 119758 33554432000 4194304 4196468 140725057233168 140403495613344 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=740] ppid=728 vsize=10661132 memory=479032 CPUtime=0 cores=0,2,4,6
/proc/731/task/740/stat : 740 (java) S 728 731 32167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106504894 10916999168 119758 33554432000 4194304 4196468 140725057233168 140403494560752 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=741] ppid=728 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/731/task/741/stat : 741 (java) S 728 731 32167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106504896 10916999168 119758 33554432000 4194304 4196468 140725057233168 140403493509328 140403937052571 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=742] ppid=728 vsize=10661132 memory=478460 CPUtime=1.07 cores=0,2,4,6
/proc/731/task/742/stat : 742 (java) S 728 731 32167 0 -1 1077944384 7987 0 0 0 107 0 0 0 20 0 15 0 106504896 10916999168 119758 33554432000 4194304 4196468 140725057233168 140403492456944 140403937045122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=743] ppid=728 vsize=10661132 memory=1676 CPUtime=1.23 cores=0,2,4,6
/proc/731/task/743/stat : 743 (java) S 728 731 32167 0 -1 1077944384 8966 0 0 0 122 1 0 0 20 0 15 0 106504896 10916999168 119758 33554432000 4194304 4196468 140725057233168 140403491404400 140403937045122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=744] ppid=728 vsize=10661132 memory=960 CPUtime=0.43 cores=0,2,4,6
/proc/731/task/744/stat : 744 (java) S 728 731 32167 0 -1 1077944384 7421 0 0 0 42 1 0 0 20 0 15 0 106504896 10916999168 119758 33554432000 4194304 4196468 140725057233168 140403490351856 140403937045122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=745] ppid=728 vsize=10661132 memory=479032 CPUtime=0 cores=0,2,4,6
/proc/731/task/745/stat : 745 (java) S 728 731 32167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106504896 10916999168 119758 33554432000 4194304 4196468 140725057233168 140403489299552 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=746] ppid=728 vsize=10661132 memory=17608 CPUtime=1.32 cores=0,2,4,6
/proc/731/task/746/stat : 746 (java) S 728 731 32167 0 -1 1077944384 1062 0 0 0 65 67 0 0 20 0 15 0 106504896 10916999168 119758 33554432000 4194304 4196468 140725057233168 140403165620528 140403937045122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
Current children cumulated CPU time: 2481.81 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 479032 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2479.9 s]
/proc/loadavg: 1.35 1.35 1.39 3/215 949
/proc/meminfo: memFree=21755044/32770624 swapFree=67108796/67108860
[pid=731] ppid=728 vsize=10661132 memory=477660 CPUtime=2520.03 cores=0,2,4,6
/proc/731/stat : 731 (java) S 728 731 32167 0 -1 1077944320 174050 0 0 0 250990 1013 0 0 20 0 15 0 106504890 10916999168 119415 33554432000 4194304 4196468 140725057233168 140725057215712 140403937033975 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
/proc/731/statm: 2665283 119415 3189 1 0 2627263 0
[pid=731/tid=733] ppid=728 vsize=10661132 memory=478684 CPUtime=2464.85 cores=0,2,4,6
/proc/731/task/733/stat : 733 (java) R 728 731 32167 0 -1 4202560 36127 0 0 0 245642 843 0 0 20 0 15 0 106504891 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403941274720 140403575712762 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=734] ppid=728 vsize=10661132 memory=476636 CPUtime=12.42 cores=0,2,4,6
/proc/731/task/734/stat : 734 (java) S 728 731 32167 0 -1 1077944384 28054 0 0 0 1218 24 0 0 20 0 15 0 106504892 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403893586704 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=735] ppid=728 vsize=10661132 memory=478688 CPUtime=12.44 cores=0,2,4,6
/proc/731/task/735/stat : 735 (java) S 728 731 32167 0 -1 1077944384 26812 0 0 0 1219 25 0 0 20 0 15 0 106504892 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403892534160 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=736] ppid=728 vsize=10661132 memory=478688 CPUtime=12.43 cores=0,2,4,6
/proc/731/task/736/stat : 736 (java) S 728 731 32167 0 -1 1077944384 26170 0 0 0 1219 24 0 0 20 0 15 0 106504892 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403891481616 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=737] ppid=728 vsize=10661132 memory=479292 CPUtime=12.4 cores=0,2,4,6
/proc/731/task/737/stat : 737 (java) S 728 731 32167 0 -1 1077944384 24515 0 0 0 1215 25 0 0 20 0 15 0 106504892 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403540941968 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=738] ppid=728 vsize=10661132 memory=479296 CPUtime=1.33 cores=0,2,4,6
/proc/731/task/738/stat : 738 (java) S 728 731 32167 0 -1 1077944384 5573 0 0 0 115 18 0 0 20 0 15 0 106504893 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403496667120 140403937045122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=739] ppid=728 vsize=10661132 memory=479296 CPUtime=0 cores=0,2,4,6
/proc/731/task/739/stat : 739 (java) S 728 731 32167 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106504893 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403495613344 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=740] ppid=728 vsize=10661132 memory=477664 CPUtime=0 cores=0,2,4,6
/proc/731/task/740/stat : 740 (java) S 728 731 32167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106504894 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403494560752 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=741] ppid=728 vsize=10661132 memory=279857923283472 CPUtime=0 cores=0,2,4,6
/proc/731/task/741/stat : 741 (java) S 728 731 32167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106504896 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403493509328 140403937052571 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=742] ppid=728 vsize=10661132 memory=477660 CPUtime=1.07 cores=0,2,4,6
/proc/731/task/742/stat : 742 (java) S 728 731 32167 0 -1 1077944384 7987 0 0 0 107 0 0 0 20 0 15 0 106504896 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403492456944 140403937045122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=743] ppid=728 vsize=10661132 memory=477660 CPUtime=1.23 cores=0,2,4,6
/proc/731/task/743/stat : 743 (java) S 728 731 32167 0 -1 1077944384 8966 0 0 0 122 1 0 0 20 0 15 0 106504896 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403491404400 140403937045122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=744] ppid=728 vsize=10661132 memory=4032 CPUtime=0.43 cores=0,2,4,6
/proc/731/task/744/stat : 744 (java) S 728 731 32167 0 -1 1077944384 7421 0 0 0 42 1 0 0 20 0 15 0 106504896 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403490351856 140403937045122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=745] ppid=728 vsize=10661132 memory=1284 CPUtime=0 cores=0,2,4,6
/proc/731/task/745/stat : 745 (java) S 728 731 32167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106504896 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403489299552 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=746] ppid=728 vsize=10661132 memory=1088 CPUtime=1.34 cores=0,2,4,6
/proc/731/task/746/stat : 746 (java) S 728 731 32167 0 -1 1077944384 1064 0 0 0 66 68 0 0 20 0 15 0 106504896 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403165620528 140403937045122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 477660 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2479.92 s]
# the end of solver process 731 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.92 s, system=10.1404 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2479.9 s]
/proc/loadavg: 1.35 1.35 1.39 3/215 949
/proc/meminfo: memFree=21755044/32770624 swapFree=67108796/67108860
[pid=731] ppid=728 vsize=10661132 memory=477660 CPUtime=2520.03 cores=0,2,4,6
/proc/731/stat : 731 (java) S 728 731 32167 0 -1 1077944320 174050 0 0 0 250990 1013 0 0 20 0 15 0 106504890 10916999168 119415 33554432000 4194304 4196468 140725057233168 140725057215712 140403937033975 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
/proc/731/statm: 2665283 119415 3189 1 0 2627263 0
[pid=731/tid=733] ppid=728 vsize=10661132 memory=478684 CPUtime=2464.85 cores=0,2,4,6
/proc/731/task/733/stat : 733 (java) R 728 731 32167 0 -1 4202560 36127 0 0 0 245642 843 0 0 20 0 15 0 106504891 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403941274720 140403575712762 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=734] ppid=728 vsize=10661132 memory=476636 CPUtime=12.42 cores=0,2,4,6
/proc/731/task/734/stat : 734 (java) S 728 731 32167 0 -1 1077944384 28054 0 0 0 1218 24 0 0 20 0 15 0 106504892 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403893586704 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=735] ppid=728 vsize=10661132 memory=478688 CPUtime=12.44 cores=0,2,4,6
/proc/731/task/735/stat : 735 (java) S 728 731 32167 0 -1 1077944384 26812 0 0 0 1219 25 0 0 20 0 15 0 106504892 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403892534160 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=736] ppid=728 vsize=10661132 memory=478688 CPUtime=12.43 cores=0,2,4,6
/proc/731/task/736/stat : 736 (java) S 728 731 32167 0 -1 1077944384 26170 0 0 0 1219 24 0 0 20 0 15 0 106504892 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403891481616 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=737] ppid=728 vsize=10661132 memory=479292 CPUtime=12.4 cores=0,2,4,6
/proc/731/task/737/stat : 737 (java) S 728 731 32167 0 -1 1077944384 24515 0 0 0 1215 25 0 0 20 0 15 0 106504892 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403540941968 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=738] ppid=728 vsize=10661132 memory=479296 CPUtime=1.33 cores=0,2,4,6
/proc/731/task/738/stat : 738 (java) S 728 731 32167 0 -1 1077944384 5573 0 0 0 115 18 0 0 20 0 15 0 106504893 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403496667120 140403937045122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=739] ppid=728 vsize=10661132 memory=479296 CPUtime=0 cores=0,2,4,6
/proc/731/task/739/stat : 739 (java) S 728 731 32167 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106504893 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403495613344 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=740] ppid=728 vsize=10661132 memory=477664 CPUtime=0 cores=0,2,4,6
/proc/731/task/740/stat : 740 (java) S 728 731 32167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106504894 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403494560752 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=741] ppid=728 vsize=10661132 memory=279857923283472 CPUtime=0 cores=0,2,4,6
/proc/731/task/741/stat : 741 (java) S 728 731 32167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106504896 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403493509328 140403937052571 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=742] ppid=728 vsize=10661132 memory=477660 CPUtime=1.07 cores=0,2,4,6
/proc/731/task/742/stat : 742 (java) S 728 731 32167 0 -1 1077944384 7987 0 0 0 107 0 0 0 20 0 15 0 106504896 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403492456944 140403937045122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=743] ppid=728 vsize=10661132 memory=477660 CPUtime=1.23 cores=0,2,4,6
/proc/731/task/743/stat : 743 (java) S 728 731 32167 0 -1 1077944384 8966 0 0 0 122 1 0 0 20 0 15 0 106504896 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403491404400 140403937045122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=744] ppid=728 vsize=10661132 memory=4032 CPUtime=0.43 cores=0,2,4,6
/proc/731/task/744/stat : 744 (java) S 728 731 32167 0 -1 1077944384 7421 0 0 0 42 1 0 0 20 0 15 0 106504896 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403490351856 140403937045122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=745] ppid=728 vsize=10661132 memory=1284 CPUtime=0 cores=0,2,4,6
/proc/731/task/745/stat : 745 (java) S 728 731 32167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106504896 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403489299552 140403937044181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
[pid=731/tid=746] ppid=728 vsize=10661132 memory=1088 CPUtime=1.34 cores=0,2,4,6
/proc/731/task/746/stat : 746 (java) S 728 731 32167 0 -1 1077944384 1064 0 0 0 66 68 0 0 20 0 15 0 106504896 10916999168 119415 33554432000 4194304 4196468 140725057233168 140403165620528 140403937045122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33075200 140725057238136 140725057238281 140725057238281 140725057241039 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 477660 KiB
Child status: 143
Real time (s): 2479.92
CPU time (s): 2520.06
CPU user time (s): 2509.92
CPU system time (s): 10.1404
CPU usage (%): 101.619
Max. virtual memory (cumulated for all children) (KiB): 10663104
Max. memory (cumulated for all children) (KiB): 805568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.92
system time used= 10.1404
maximum resident set size= 805568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174237
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 83130
involuntary context switches= 5349
# summary of solver processes directly reported to runsolver:
# pid: 731
# total CPU time (s): 2520.06
# total CPU user time (s): 2509.92
# total CPU system time (s): 10.1404
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1724 second user time and 24.2145 second system time
The end
Begin job on node138 at 2018-07-29 20:36:57 IDJOB=4300460 IDBENCH=141629 IDSOLVER=2768 FILE ID=node138/4300460-1532889417 RUNJOBID= node138-1532879424-32198 PBS_JOBID= 21022515 Free space on /tmp= 56152 MiB SOLVER NAME= The dodo solver 2018-04-29 BENCH NAME= XCSP18/TravellingSalesman/TravellingSalesman-150-50-00_c18.xml COMMAND LINE= java -jar DIR/dodo_solver.jar BENCHNAME --timelimit TIMEOUT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4300460-1532889417/watcher-4300460-1532889417 -o /tmp/evaluation-result-4300460-1532889417/solver-4300460-1532889417 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532879424-32198 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4300460-1532889417.xml --timelimit 2520 TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 784274e168c99e425b71be44c62c6ab3 RANDOM SEED=640099111 node138.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.71 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.71 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.71 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.71 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 22184100 kB MemAvailable: 31739560 kB Buffers: 225060 kB Cached: 9541720 kB SwapCached: 44 kB Active: 2614492 kB Inactive: 7397224 kB Active(anon): 188928 kB Inactive(anon): 83480 kB Active(file): 2425564 kB Inactive(file): 7313744 kB Unevictable: 7280 kB Mlocked: 7280 kB SwapTotal: 67108860 kB SwapFree: 67108796 kB Dirty: 1260 kB Writeback: 0 kB AnonPages: 251492 kB Mapped: 51120 kB Shmem: 25164 kB Slab: 272920 kB SReclaimable: 244612 kB SUnreclaim: 28308 kB KernelStack: 3584 kB PageTables: 5332 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1123556 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 184320 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 56152 MiB End job on node138 at 2018-07-29 21:18:17