Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB Resolution 2.2.0 2010-05-26 | ? (TO) | 1800.21 | 1794.82 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-a1c1s1.opb |
MD5SUM | daeaeaee67028e931b0f5195f178e9b3 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 107520 |
Total number of constraints | 3312 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 3312 |
Minimum length of a constraint | 50 |
Maximum length of a constraint | 820 |
Number of terms in the objective function | 41280 |
Biggest coefficient in the objective function | 1342177280000000 |
Number of bits for the biggest coefficient in the objective function | 51 |
Sum of the numbers in the objective function | 260295726093315792 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 1342177280000000 |
Number of bits of the biggest number in a constraint | 51 |
Biggest sum of numbers in a constraint | 260295726093315792 |
Number of bits of the biggest sum of numbers | 58 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.2.0.v20100526 0.08/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.15 c java.vm.version 11.2-b01 0.08/0.15 c java.vm.vendor Sun Microsystems Inc. 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.18-164.el5 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1393557488 0.08/0.15 c Max memory 1395916800 0.08/0.15 c Total memory 1395916800 0.08/0.15 c Number of processors 2 0.23/0.21 c Pseudo Boolean Optimization 0.23/0.21 c --- Begin Solver configuration --- 0.23/0.21 c Stops conflict analysis at the first Unique Implication Point 0.23/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@17f1ba3 0.23/0.21 c Learn all clauses as in MiniSAT 0.23/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.23/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.23/0.21 c Expensive reason simplification 0.23/0.21 c Armin Biere (Picosat) restarts strategy 0.23/0.21 c Glucose learned constraints deletion strategy 0.23/0.21 c timeout=2147483s 0.23/0.21 c DB Simplification allowed=false 0.23/0.21 c --- End Solver configuration --- 0.23/0.21 c solving HOME/instance-2658839-1276565723.opb 0.23/0.21 c reading problem ... 3.79/3.07 c ... done. Wall clock time 2.857s. 3.79/3.07 c #vars 107520 3.79/3.07 c #constraints 23869 3.79/3.07 c constraints type 3.79/3.07 c org.sat4j.pb.constraints.pb.MaxWatchPb => 4560 16.21/14.04 c cleaning 2492 clauses out of 4994 with flag 5001/5001 22.49/20.16 c cleaning 4243 clauses out of 8497 with flag 11001/11001 30.33/27.98 c cleaning 5611 clauses out of 11254 with flag 18002/18002 37.47/35.02 c cleaning 6817 clauses out of 13642 with flag 26002/26002 45.91/43.44 c cleaning 7908 clauses out of 15823 with flag 35001/35001 53.94/51.49 c cleaning 8909 clauses out of 17914 with flag 45000/45000 60.06/57.57 c cleaning 9450 clauses out of 19003 with flag 55000/55000 68.08/65.50 c cleaning 9742 clauses out of 19553 with flag 65000/65000 79.51/76.91 c cleaning 9874 clauses out of 19812 with flag 75001/75001 86.43/83.84 c cleaning 9965 clauses out of 19937 with flag 85001/85001 92.04/89.44 c cleaning 9975 clauses out of 19970 with flag 95000/95000 101.27/98.68 c cleaning 9982 clauses out of 19996 with flag 105001/105001 108.59/105.90 c cleaning 9972 clauses out of 20014 with flag 115001/115001 116.89/114.21 c cleaning 9953 clauses out of 20040 with flag 125000/125000 122.52/119.89 c cleaning 10024 clauses out of 20088 with flag 135001/135001 128.16/125.49 c cleaning 10015 clauses out of 20065 with flag 145002/145002 135.07/132.31 c cleaning 9952 clauses out of 20050 with flag 155002/155002 141.50/138.70 c cleaning 9965 clauses out of 20096 with flag 165000/165000 148.60/145.87 c cleaning 10046 clauses out of 20130 with flag 175000/175000 157.25/154.40 c cleaning 9982 clauses out of 20086 with flag 185003/185003 167.27/164.46 c cleaning 10019 clauses out of 20102 with flag 195001/195001 177.58/174.73 c cleaning 10015 clauses out of 20083 with flag 205001/205001 184.19/181.32 c cleaning 10027 clauses out of 20067 with flag 215000/215000 190.71/187.83 c cleaning 10013 clauses out of 20041 with flag 225001/225001 197.83/194.99 c cleaning 9973 clauses out of 20027 with flag 235000/235000 200.54/197.62 c cleaning 10020 clauses out of 20054 with flag 245000/245000 203.56/200.61 c cleaning 9976 clauses out of 20033 with flag 255000/255000 206.66/203.73 c cleaning 9998 clauses out of 20057 with flag 265000/265000 210.36/207.43 c cleaning 10015 clauses out of 20058 with flag 275001/275001 218.72/215.73 c cleaning 10007 clauses out of 20037 with flag 285001/285001 222.33/219.39 c cleaning 10001 clauses out of 20029 with flag 295001/295001 227.57/224.58 c cleaning 9962 clauses out of 20024 with flag 305000/305000 232.68/229.63 c cleaning 9983 clauses out of 20063 with flag 315001/315001 240.11/237.03 c cleaning 10025 clauses out of 20084 with flag 325005/325005 248.43/245.31 c cleaning 10018 clauses out of 20055 with flag 335001/335001 340.67/337.53 c cleaning 9876 clauses out of 20036 with flag 345000/345000 493.26/490.12 c cleaning 9946 clauses out of 20161 with flag 355001/355001 616.75/613.64 c cleaning 10101 clauses out of 20215 with flag 365001/365001 623.08/619.99 c cleaning 10035 clauses out of 20113 with flag 375000/375000 629.29/626.12 c cleaning 10014 clauses out of 20078 with flag 385000/385000 635.80/632.65 c cleaning 10007 clauses out of 20064 with flag 395000/395000 642.31/639.18 c cleaning 10006 clauses out of 20058 with flag 405001/405001 649.73/646.58 c cleaning 9980 clauses out of 20049 with flag 415000/415000 656.97/653.80 c cleaning 9942 clauses out of 20069 with flag 425000/425000 677.91/674.67 c cleaning 10050 clauses out of 20125 with flag 435001/435001 684.32/681.08 c cleaning 10026 clauses out of 20074 with flag 445000/445000 708.04/704.73 c cleaning 9937 clauses out of 20048 with flag 455000/455000 745.86/742.55 c cleaning 9992 clauses out of 20111 with flag 465000/465000 770.60/767.23 c cleaning 10009 clauses out of 20119 with flag 475000/475000 792.21/788.84 c cleaning 10015 clauses out of 20111 with flag 485001/485001 818.12/814.78 c cleaning 9996 clauses out of 20095 with flag 495000/495000 836.34/832.95 c cleaning 10020 clauses out of 20099 with flag 505000/505000 842.96/839.51 c cleaning 10004 clauses out of 20079 with flag 515000/515000 848.47/845.05 c cleaning 9999 clauses out of 20075 with flag 525000/525000 854.47/851.04 c cleaning 10003 clauses out of 20078 with flag 535002/535002 858.87/855.49 c cleaning 10013 clauses out of 20072 with flag 545000/545000 860.70/857.28 c cleaning 10007 clauses out of 20061 with flag 555002/555002 862.40/858.95 c cleaning 9999 clauses out of 20053 with flag 565001/565001 864.01/860.59 c cleaning 10000 clauses out of 20053 with flag 575000/575000 865.71/862.26 c cleaning 10005 clauses out of 20055 with flag 585002/585002 870.32/866.84 c cleaning 9970 clauses out of 20048 with flag 595000/595000 875.74/872.24 c cleaning 9994 clauses out of 20078 with flag 605000/605000 885.59/882.07 c cleaning 9994 clauses out of 20082 with flag 615000/615000 891.52/887.96 c cleaning 10036 clauses out of 20085 with flag 625001/625001 899.34/895.72 c cleaning 10010 clauses out of 20047 with flag 635000/635000 907.58/903.95 c cleaning 9962 clauses out of 20038 with flag 645001/645001 918.51/914.87 c cleaning 10007 clauses out of 20077 with flag 655002/655002 927.63/923.91 c cleaning 10002 clauses out of 20068 with flag 665000/665000 933.65/929.99 c cleaning 10019 clauses out of 20066 with flag 675000/675000 943.96/940.23 c cleaning 9930 clauses out of 20049 with flag 685002/685002 953.91/950.19 c cleaning 9980 clauses out of 20119 with flag 695002/695002 968.34/964.55 c cleaning 9933 clauses out of 20136 with flag 705000/705000 981.76/977.95 c cleaning 9982 clauses out of 20203 with flag 715000/715000 992.88/989.05 c cleaning 9979 clauses out of 20222 with flag 725001/725001 1004.38/1000.56 c cleaning 9982 clauses out of 20242 with flag 735000/735000 1011.41/1007.54 c cleaning 10055 clauses out of 20259 with flag 745000/745000 1015.21/1011.35 c cleaning 10071 clauses out of 20204 with flag 755000/755000 1019.32/1015.40 c cleaning 10035 clauses out of 20134 with flag 765001/765001 1022.96/1019.09 c cleaning 10017 clauses out of 20098 with flag 775000/775000 1026.76/1022.88 c cleaning 10012 clauses out of 20081 with flag 785000/785000 1030.86/1026.96 c cleaning 10003 clauses out of 20070 with flag 795001/795001 1038.27/1034.31 c cleaning 9934 clauses out of 20066 with flag 805000/805000 1044.60/1040.64 c cleaning 10047 clauses out of 20132 with flag 815000/815000 1052.09/1048.10 c cleaning 10021 clauses out of 20087 with flag 825002/825002 1059.20/1055.27 c cleaning 10005 clauses out of 20065 with flag 835001/835001 1066.40/1062.42 c cleaning 10005 clauses out of 20061 with flag 845002/845002 1077.01/1073.01 c cleaning 10000 clauses out of 20055 with flag 855001/855001 1088.21/1084.24 c cleaning 9996 clauses out of 20054 with flag 865000/865000 1098.32/1094.34 c cleaning 9997 clauses out of 20058 with flag 875000/875000 1108.34/1104.33 c cleaning 10002 clauses out of 20062 with flag 885001/885001 1119.14/1115.13 c cleaning 10004 clauses out of 20060 with flag 895001/895001 1130.37/1126.34 c cleaning 10011 clauses out of 20056 with flag 905001/905001 1139.00/1134.95 c cleaning 10000 clauses out of 20044 with flag 915000/915000 1145.04/1140.95 c cleaning 9980 clauses out of 20044 with flag 925000/925000 1150.78/1146.69 c cleaning 9985 clauses out of 20062 with flag 935000/935000 1155.60/1151.45 c cleaning 10029 clauses out of 20077 with flag 945000/945000 1161.01/1156.88 c cleaning 10014 clauses out of 20049 with flag 955001/955001 1166.41/1162.23 c cleaning 10011 clauses out of 20034 with flag 965000/965000 1170.95/1166.78 c cleaning 9993 clauses out of 20023 with flag 975000/975000 1174.05/1169.90 c cleaning 9971 clauses out of 20031 with flag 985001/985001 1179.61/1175.36 c cleaning 9985 clauses out of 20060 with flag 995002/995002 1184.22/1179.97 c cleaning 9978 clauses out of 20071 with flag 1005001/1005001 1187.45/1183.11 c cleaning 10001 clauses out of 20093 with flag 1015001/1015001 1190.56/1186.29 c cleaning 9997 clauses out of 20092 with flag 1025001/1025001 1193.86/1189.50 c cleaning 9999 clauses out of 20094 with flag 1035000/1035000 1197.66/1193.34 c cleaning 10034 clauses out of 20099 with flag 1045006/1045006 1202.98/1198.60 c cleaning 10012 clauses out of 20060 with flag 1055001/1055001 1211.51/1207.10 c cleaning 9943 clauses out of 20047 with flag 1065000/1065000 1220.61/1216.21 c cleaning 9983 clauses out of 20105 with flag 1075001/1075001 1229.42/1225.06 c cleaning 9960 clauses out of 20121 with flag 1085000/1085000 1238.53/1234.14 c cleaning 10001 clauses out of 20162 with flag 1095001/1095001 1247.13/1242.79 c cleaning 9998 clauses out of 20160 with flag 1105000/1105000 1251.46/1247.09 c cleaning 10041 clauses out of 20163 with flag 1115001/1115001 1254.46/1250.06 c cleaning 10019 clauses out of 20121 with flag 1125000/1125000 1257.47/1253.01 c cleaning 10007 clauses out of 20103 with flag 1135001/1135001 1260.57/1256.14 c cleaning 10007 clauses out of 20095 with flag 1145000/1145000 1263.67/1259.26 c cleaning 10002 clauses out of 20089 with flag 1155001/1155001 1266.77/1262.34 c cleaning 10001 clauses out of 20086 with flag 1165000/1165000 1269.78/1265.34 c cleaning 9999 clauses out of 20086 with flag 1175001/1175001 1272.58/1268.16 c cleaning 10007 clauses out of 20086 with flag 1185000/1185000 1275.79/1271.39 c cleaning 9998 clauses out of 20080 with flag 1195001/1195001 1281.32/1276.83 c cleaning 10003 clauses out of 20081 with flag 1205001/1205001 1284.04/1279.54 c cleaning 9998 clauses out of 20078 with flag 1215001/1215001 1289.38/1284.85 c cleaning 9985 clauses out of 20078 with flag 1225000/1225000 1294.58/1290.10 c cleaning 9990 clauses out of 20093 with flag 1235000/1235000 1301.60/1297.08 c cleaning 9983 clauses out of 20103 with flag 1245000/1245000 1308.91/1304.37 c cleaning 9974 clauses out of 20121 with flag 1255001/1255001 1317.32/1312.73 c cleaning 10005 clauses out of 20147 with flag 1265001/1265001 1325.73/1321.12 c cleaning 9990 clauses out of 20141 with flag 1275000/1275000 1333.12/1328.56 c cleaning 10000 clauses out of 20152 with flag 1285001/1285001 1340.53/1335.94 c cleaning 9997 clauses out of 20152 with flag 1295001/1295001 1348.12/1343.55 c cleaning 10003 clauses out of 20154 with flag 1305000/1305000 1356.63/1352.05 c cleaning 10066 clauses out of 20152 with flag 1315001/1315001 1361.64/1357.05 c cleaning 10027 clauses out of 20085 with flag 1325000/1325000 1367.24/1362.63 c cleaning 10015 clauses out of 20059 with flag 1335001/1335001 1372.95/1368.31 c cleaning 10001 clauses out of 20044 with flag 1345001/1345001 1378.45/1373.85 c cleaning 10016 clauses out of 20043 with flag 1355001/1355001 1383.25/1378.68 c cleaning 10004 clauses out of 20026 with flag 1365000/1365000 1388.25/1383.63 c cleaning 10001 clauses out of 20023 with flag 1375001/1375001 1393.15/1388.51 c cleaning 9993 clauses out of 20021 with flag 1385000/1385000 1398.15/1393.52 c cleaning 10007 clauses out of 20029 with flag 1395001/1395001 1403.26/1398.65 c cleaning 9997 clauses out of 20022 with flag 1405001/1405001 1408.66/1404.07 c cleaning 10003 clauses out of 20025 with flag 1415001/1415001 1414.06/1409.47 c cleaning 9997 clauses out of 20023 with flag 1425002/1425002 1419.17/1414.59 c cleaning 9992 clauses out of 20025 with flag 1435001/1435001 1424.26/1419.66 c cleaning 10004 clauses out of 20033 with flag 1445001/1445001 1429.56/1424.97 c cleaning 10003 clauses out of 20029 with flag 1455001/1455001 1435.59/1430.91 c cleaning 9989 clauses out of 20025 with flag 1465000/1465000 1442.52/1437.83 c cleaning 10005 clauses out of 20037 with flag 1475001/1475001 1448.83/1444.19 c cleaning 9995 clauses out of 20034 with flag 1485003/1485003 1460.89/1456.12 c cleaning 9975 clauses out of 20036 with flag 1495000/1495000 1468.00/1463.28 c cleaning 10010 clauses out of 20061 with flag 1505000/1505000 1475.93/1471.14 c cleaning 9966 clauses out of 20052 with flag 1515001/1515001 1478.66/1473.82 c cleaning 10030 clauses out of 20086 with flag 1525001/1525001 1485.70/1480.85 c cleaning 9973 clauses out of 20054 with flag 1535000/1535000 1495.21/1490.36 c cleaning 9986 clauses out of 20082 with flag 1545001/1545001 1504.03/1499.18 c cleaning 9999 clauses out of 20096 with flag 1555001/1555001 1514.44/1509.52 c cleaning 9904 clauses out of 20094 with flag 1565000/1565000 1536.78/1531.88 c cleaning 10018 clauses out of 20190 with flag 1575000/1575000 1545.98/1541.06 c cleaning 10007 clauses out of 20172 with flag 1585000/1585000 1555.68/1550.70 c cleaning 10004 clauses out of 20165 with flag 1595000/1595000 1565.20/1560.24 c cleaning 10019 clauses out of 20162 with flag 1605001/1605001 1573.71/1568.71 c cleaning 10006 clauses out of 20143 with flag 1615001/1615001 1582.43/1577.41 c cleaning 10009 clauses out of 20138 with flag 1625002/1625002 1591.04/1586.07 c cleaning 10011 clauses out of 20127 with flag 1635000/1635000 1599.75/1594.71 c cleaning 9999 clauses out of 20116 with flag 1645000/1645000 1608.50/1603.60 c cleaning 10020 clauses out of 20117 with flag 1655000/1655000 1614.94/1610.07 c cleaning 10010 clauses out of 20097 with flag 1665001/1665001 1623.35/1618.50 c cleaning 10004 clauses out of 20087 with flag 1675001/1675001 1632.67/1627.75 c cleaning 10002 clauses out of 20082 with flag 1685000/1685000 1642.97/1638.03 c cleaning 9998 clauses out of 20080 with flag 1695000/1695000 1652.38/1647.42 c cleaning 10003 clauses out of 20082 with flag 1705000/1705000 1663.39/1658.49 c cleaning 9997 clauses out of 20080 with flag 1715001/1715001 1673.30/1668.38 c cleaning 10002 clauses out of 20083 with flag 1725001/1725001 1680.34/1675.35 c cleaning 9975 clauses out of 20080 with flag 1735000/1735000 1685.59/1680.52 c cleaning 10008 clauses out of 20105 with flag 1745000/1745000 1688.60/1683.50 c cleaning 10002 clauses out of 20097 with flag 1755000/1755000 1691.41/1686.35 c cleaning 10002 clauses out of 20095 with flag 1765000/1765000 1694.10/1689.09 c cleaning 9998 clauses out of 20094 with flag 1775001/1775001 1697.11/1692.03 c cleaning 10001 clauses out of 20095 with flag 1785000/1785000 1700.12/1695.08 c cleaning 10001 clauses out of 20095 with flag 1795001/1795001 1703.42/1698.36 c cleaning 9999 clauses out of 20093 with flag 1805000/1805000 1706.82/1701.74 c cleaning 10001 clauses out of 20095 with flag 1815001/1815001 1710.83/1705.74 c cleaning 9992 clauses out of 20094 with flag 1825001/1825001 1715.28/1710.16 c cleaning 10034 clauses out of 20096 with flag 1835001/1835001 1719.09/1713.90 c cleaning 10012 clauses out of 20061 with flag 1845000/1845000 1722.80/1717.67 c cleaning 9997 clauses out of 20050 with flag 1855001/1855001 1727.81/1722.69 c cleaning 10002 clauses out of 20055 with flag 1865003/1865003 1733.22/1728.10 c cleaning 10001 clauses out of 20052 with flag 1875002/1875002 1738.63/1733.47 c cleaning 9995 clauses out of 20049 with flag 1885000/1885000 1744.13/1738.94 c cleaning 10001 clauses out of 20055 with flag 1895001/1895001 1749.95/1744.74 c cleaning 9997 clauses out of 20053 with flag 1905000/1905000 1755.65/1750.46 c cleaning 10003 clauses out of 20059 with flag 1915003/1915003 1761.16/1755.98 c cleaning 9987 clauses out of 20053 with flag 1925000/1925000 1766.38/1761.13 c cleaning 10001 clauses out of 20066 with flag 1935000/1935000 1771.68/1766.48 c cleaning 10003 clauses out of 20066 with flag 1945001/1945001 1776.68/1771.41 c cleaning 10009 clauses out of 20064 with flag 1955002/1955002 1781.69/1776.41 c cleaning 9998 clauses out of 20053 with flag 1965000/1965000 1786.48/1781.22 c cleaning 9997 clauses out of 20056 with flag 1975001/1975001 1790.59/1785.31 c cleaning 9981 clauses out of 20059 with flag 1985001/1985001 1800.03/1794.73 c starts : 210 1800.03/1794.73 c conflicts : 1994385 1800.03/1794.73 c decisions : 8553544 1800.03/1794.73 c propagations : 88136351 1800.03/1794.73 c inspects : 639847787 1800.03/1794.73 c learnt literals : 70 1800.03/1794.73 c learnt binary clauses : 90 1800.03/1794.73 c learnt ternary clauses : 151 1800.03/1794.73 c learnt clauses : 1994314 1800.03/1794.73 c ignored clauses : 0 1800.03/1794.73 c root simplifications : 0 1800.03/1794.73 c removed literals (reason simplification) : 79310749 1800.03/1794.73 c reason swapping (by a shorter reason) : 0 1800.03/1794.73 c Calls to reduceDB : 200 1800.03/1794.73 c number of reductions to clauses (during analyze) : 0 1800.03/1794.73 c number of learned constraints concerned by reduction : 0 1800.03/1794.73 c number of learning phase by resolution : 0 1800.03/1794.73 c number of learning phase by cutting planes : 0 1800.03/1794.73 c speed (assignments/second) : 49192.72013864276 1800.03/1794.73 c non guided choices 5471396 1800.03/1794.76 c learnt constraints type 1800.03/1794.76 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 19378 1800.03/1794.76 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 90 1800.03/1794.76 c constraints type 1800.03/1794.76 c org.sat4j.pb.constraints.pb.MaxWatchPb => 4560 1800.03/1794.76 s UNKNOWN 1800.03/1794.76 c Total wall clock time (in seconds): 1794.547
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2658839-1276565723/watcher-2658839-1276565723 -o /tmp/evaluation-result-2658839-1276565723/solver-2658839-1276565723 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658839-1276565723.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.11 1.05 1.01 3/106 32471 /proc/meminfo: memFree=1832620/2059040 swapFree=4134576/4192956 [pid=32471] ppid=32469 vsize=248 CPUtime=0 /proc/32471/stat : 32471 (java) R 32469 32471 32268 0 -1 4194304 282 0 0 0 0 0 0 0 19 0 1 0 32158778 253952 28 1992294400 134512640 134550932 4293296224 18446744073709551615 1847892 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32471/statm: 62 28 21 10 0 23 0 [startup+0.0356519 s] /proc/loadavg: 1.11 1.05 1.01 3/106 32471 /proc/meminfo: memFree=1832620/2059040 swapFree=4134576/4192956 [pid=32471] ppid=32469 vsize=1520176 CPUtime=0.02 /proc/32471/stat : 32471 (java) S 32469 32471 32268 0 -1 4202496 3107 0 1 0 1 1 0 0 18 0 4 0 32158778 1556660224 2550 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/32471/statm: 380044 2559 798 10 0 377354 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1520176 [startup+0.100651 s] /proc/loadavg: 1.11 1.05 1.01 3/106 32471 /proc/meminfo: memFree=1832620/2059040 swapFree=4134576/4192956 [pid=32471] ppid=32469 vsize=1524184 CPUtime=0.08 /proc/32471/stat : 32471 (java) S 32469 32471 32268 0 -1 4202496 3961 0 1 0 6 2 0 0 18 0 12 0 32158778 1560764416 3400 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32471/statm: 381046 3401 1076 10 0 378348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524184 [startup+0.393646 s] /proc/loadavg: 1.11 1.05 1.01 3/106 32471 /proc/meminfo: memFree=1832620/2059040 swapFree=4134576/4192956 [pid=32471] ppid=32469 vsize=1527552 CPUtime=0.55 /proc/32471/stat : 32471 (java) S 32469 32471 32268 0 -1 4202496 6459 0 1 0 51 4 0 0 18 0 12 0 32158778 1564213248 5896 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32471/statm: 381888 5896 1373 10 0 379190 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 1527552 [startup+0.700641 s] /proc/loadavg: 1.11 1.05 1.01 3/106 32471 /proc/meminfo: memFree=1832620/2059040 swapFree=4134576/4192956 [pid=32471] ppid=32469 vsize=1527552 CPUtime=1.05 /proc/32471/stat : 32471 (java) S 32469 32471 32268 0 -1 4202496 9924 0 1 0 99 6 0 0 18 0 12 0 32158778 1564213248 9294 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32471/statm: 381888 9295 1400 10 0 379190 0 Current children cumulated CPU time (s) 1.05 Current children cumulated vsize (KiB) 1527552 [startup+1.50163 s] /proc/loadavg: 1.11 1.05 1.01 2/118 32483 /proc/meminfo: memFree=1789000/2059040 swapFree=4134576/4192956 [pid=32471] ppid=32469 vsize=1527552 CPUtime=2.06 /proc/32471/stat : 32471 (java) S 32469 32471 32268 0 -1 4202496 25887 0 1 0 194 12 0 0 18 0 12 0 32158778 1564213248 24902 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32471/statm: 381888 24903 1406 10 0 379190 0 [pid=32471/tid=32473] ppid=32469 vsize=1527552 CPUtime=1.35 /proc/32471/task/32473/stat : 32473 (java) R 32469 32471 32268 0 -1 4202560 23247 0 1 0 125 10 0 0 18 0 12 0 32158779 1564213248 24904 1992294400 134512640 134550932 4293296224 18446744073709551615 4109068545 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32471/tid=32474] ppid=32469 vsize=1527552 CPUtime=0 /proc/32471/task/32474/stat : 32474 (java) S 32469 32471 32268 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 12 0 32158781 1564213248 24905 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32475] ppid=32469 vsize=1527552 CPUtime=0 /proc/32471/task/32475/stat : 32475 (java) S 32469 32471 32268 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 12 0 32158781 1564213248 24906 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32476] ppid=32469 vsize=1527552 CPUtime=0 /proc/32471/task/32476/stat : 32476 (java) S 32469 32471 32268 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 32158782 1564213248 24907 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 0 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32477] ppid=32469 vsize=1527552 CPUtime=0 /proc/32471/task/32477/stat : 32477 (java) S 32469 32471 32268 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 12 0 32158783 1564213248 24909 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32478] ppid=32469 vsize=1527552 CPUtime=0 /proc/32471/task/32478/stat : 32478 (java) S 32469 32471 32268 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 12 0 32158783 1564213248 24911 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32479] ppid=32469 vsize=1527552 CPUtime=0 /proc/32471/task/32479/stat : 32479 (java) S 32469 32471 32268 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 12 0 32158787 1564213248 24912 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32480] ppid=32469 vsize=1527552 CPUtime=0.41 /proc/32471/task/32480/stat : 32480 (java) S 32469 32471 32268 0 -1 4202560 674 0 0 0 41 0 0 0 16 0 12 0 32158787 1564213248 24913 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32481] ppid=32469 vsize=1527552 CPUtime=0.27 /proc/32471/task/32481/stat : 32481 (java) S 32469 32471 32268 0 -1 4202560 903 0 0 0 27 0 0 0 16 0 12 0 32158787 1564213248 24914 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32482] ppid=32469 vsize=1527552 CPUtime=0 /proc/32471/task/32482/stat : 32482 (java) S 32469 32471 32268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 32158787 1564213248 24915 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32483] ppid=32469 vsize=1527552 CPUtime=0 /proc/32471/task/32483/stat : 32483 (java) S 32469 32471 32268 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 32158787 1564213248 24916 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.06 Current children cumulated vsize (KiB) 1527552 [startup+3.1016 s] /proc/loadavg: 1.10 1.05 1.01 3/118 32483 /proc/meminfo: memFree=1674796/2059040 swapFree=4134576/4192956 [pid=32471] ppid=32469 vsize=1527368 CPUtime=3.91 /proc/32471/stat : 32471 (java) S 32469 32471 32268 0 -1 4202496 42935 0 1 0 372 19 0 0 18 0 12 0 32158778 1564024832 40662 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32471/statm: 381842 40662 1423 10 0 379144 0 [pid=32471/tid=32473] ppid=32469 vsize=1527368 CPUtime=2.78 /proc/32471/task/32473/stat : 32473 (java) R 32469 32471 32268 0 -1 4202560 32024 0 1 0 263 15 0 0 19 0 12 0 32158779 1564024832 40662 1992294400 134512640 134550932 4293296224 18446744073709551615 4108744644 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=32471/tid=32474] ppid=32469 vsize=1527368 CPUtime=0.12 /proc/32471/task/32474/stat : 32474 (java) S 32469 32471 32268 0 -1 4202560 4160 0 0 0 11 1 0 0 18 0 12 0 32158781 1564024832 40662 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32475] ppid=32469 vsize=1527368 CPUtime=0.12 /proc/32471/task/32475/stat : 32475 (java) S 32469 32471 32268 0 -1 4202560 4047 0 0 0 11 1 0 0 18 0 12 0 32158781 1564024832 40662 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32476] ppid=32469 vsize=1527368 CPUtime=0 /proc/32471/task/32476/stat : 32476 (java) S 32469 32471 32268 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 12 0 32158782 1564024832 40662 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 0 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32477] ppid=32469 vsize=1527368 CPUtime=0 /proc/32471/task/32477/stat : 32477 (java) S 32469 32471 32268 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 12 0 32158783 1564024832 40662 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32478] ppid=32469 vsize=1527368 CPUtime=0 /proc/32471/task/32478/stat : 32478 (java) S 32469 32471 32268 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 12 0 32158783 1564024832 40662 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32479] ppid=32469 vsize=1527368 CPUtime=0 /proc/32471/task/32479/stat : 32479 (java) S 32469 32471 32268 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 12 0 32158787 1564024832 40662 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32480] ppid=32469 vsize=1527368 CPUtime=0.5 /proc/32471/task/32480/stat : 32480 (java) R 32469 32471 32268 0 -1 4202560 729 0 0 0 50 0 0 0 15 0 12 0 32158787 1564024832 40662 1992294400 134512640 134550932 4293296224 18446744073709551615 106262411 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32471/tid=32481] ppid=32469 vsize=1527368 CPUtime=0.35 /proc/32471/task/32481/stat : 32481 (java) S 32469 32471 32268 0 -1 4202560 904 0 0 0 35 0 0 0 15 0 12 0 32158787 1564024832 40662 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32482] ppid=32469 vsize=1527368 CPUtime=0 /proc/32471/task/32482/stat : 32482 (java) S 32469 32471 32268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 32158787 1564024832 40662 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32483] ppid=32469 vsize=1527368 CPUtime=0 /proc/32471/task/32483/stat : 32483 (java) S 32469 32471 32268 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 32158787 1564024832 40662 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.91 Current children cumulated vsize (KiB) 1527368 [startup+6.30155 s] /proc/loadavg: 1.10 1.05 1.01 2/119 32484 /proc/meminfo: memFree=1630272/2059040 swapFree=4134576/4192956 [pid=32471] ppid=32469 vsize=1529068 CPUtime=8.22 /proc/32471/stat : 32471 (java) S 32469 32471 32268 0 -1 4202496 56578 0 1 0 797 25 0 0 18 0 13 0 32158778 1565765632 52403 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32471/statm: 382267 52403 1440 10 0 379569 0 [pid=32471/tid=32473] ppid=32469 vsize=1529068 CPUtime=5.4 /proc/32471/task/32473/stat : 32473 (java) R 32469 32471 32268 0 -1 4202560 32047 0 1 0 525 15 0 0 25 0 13 0 32158779 1565765632 52403 1992294400 134512640 134550932 4293296224 18446744073709551615 4109331073 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32471/tid=32474] ppid=32469 vsize=1529068 CPUtime=0.39 /proc/32471/task/32474/stat : 32474 (java) S 32469 32471 32268 0 -1 4202560 9535 0 0 0 36 3 0 0 18 0 13 0 32158781 1565765632 52403 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32475] ppid=32469 vsize=1529068 CPUtime=0.39 /proc/32471/task/32475/stat : 32475 (java) S 32469 32471 32268 0 -1 4202560 10840 0 0 0 35 4 0 0 18 0 13 0 32158781 1565765632 52403 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32476] ppid=32469 vsize=1529068 CPUtime=0 /proc/32471/task/32476/stat : 32476 (java) S 32469 32471 32268 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 13 0 32158782 1565765632 52403 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 0 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32477] ppid=32469 vsize=1529068 CPUtime=0 /proc/32471/task/32477/stat : 32477 (java) S 32469 32471 32268 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 32158783 1565765632 52403 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32478] ppid=32469 vsize=1529068 CPUtime=0 /proc/32471/task/32478/stat : 32478 (java) S 32469 32471 32268 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 32158783 1565765632 52403 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32479] ppid=32469 vsize=1529068 CPUtime=0 /proc/32471/task/32479/stat : 32479 (java) S 32469 32471 32268 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 13 0 32158787 1565765632 52403 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32480] ppid=32469 vsize=1529068 CPUtime=1.07 /proc/32471/task/32480/stat : 32480 (java) S 32469 32471 32268 0 -1 4202560 1366 0 0 0 107 0 0 0 15 0 13 0 32158787 1565765632 52403 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32481] ppid=32469 vsize=1529068 CPUtime=0.92 /proc/32471/task/32481/stat : 32481 (java) S 32469 32471 32268 0 -1 4202560 1715 0 0 0 92 0 0 0 15 0 13 0 32158787 1565765632 52403 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32482] ppid=32469 vsize=1529068 CPUtime=0 /proc/32471/task/32482/stat : 32482 (java) S 32469 32471 32268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 32158787 1565765632 52403 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32483] ppid=32469 vsize=1529068 CPUtime=0 /proc/32471/task/32483/stat : 32483 (java) S 32469 32471 32268 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 32158787 1565765632 52403 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32484] ppid=32469 vsize=1529068 CPUtime=0 /proc/32471/task/32484/stat : 32484 (java) S 32469 32471 32268 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 32159165 1565765632 52403 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.22 Current children cumulated vsize (KiB) 1529068 [startup+12.7014 s] /proc/loadavg: 1.09 1.05 1.01 3/119 32484 /proc/meminfo: memFree=1626924/2059040 swapFree=4134576/4192956 [pid=32471] ppid=32469 vsize=1529068 CPUtime=14.81 /proc/32471/stat : 32471 (java) S 32469 32471 32268 0 -1 4202496 56995 0 1 0 1455 26 0 0 18 0 13 0 32158778 1565765632 52787 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32471/statm: 382267 52787 1440 10 0 379569 0 [pid=32471/tid=32473] ppid=32469 vsize=1529068 CPUtime=11.63 /proc/32471/task/32473/stat : 32473 (java) R 32469 32471 32268 0 -1 4202560 32052 0 1 0 1148 15 0 0 25 0 13 0 32158779 1565765632 52787 1992294400 134512640 134550932 4293296224 18446744073709551615 4109339941 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=32471/tid=32474] ppid=32469 vsize=1529068 CPUtime=0.53 /proc/32471/task/32474/stat : 32474 (java) S 32469 32471 32268 0 -1 4202560 9778 0 0 0 50 3 0 0 18 0 13 0 32158781 1565765632 52787 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32475] ppid=32469 vsize=1529068 CPUtime=0.54 /proc/32471/task/32475/stat : 32475 (java) S 32469 32471 32268 0 -1 4202560 11006 0 0 0 50 4 0 0 18 0 13 0 32158781 1565765632 52787 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32476] ppid=32469 vsize=1529068 CPUtime=0 /proc/32471/task/32476/stat : 32476 (java) S 32469 32471 32268 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 13 0 32158782 1565765632 52787 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 0 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32477] ppid=32469 vsize=1529068 CPUtime=0 /proc/32471/task/32477/stat : 32477 (java) S 32469 32471 32268 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 32158783 1565765632 52787 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32478] ppid=32469 vsize=1529068 CPUtime=0 /proc/32471/task/32478/stat : 32478 (java) S 32469 32471 32268 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 32158783 1565765632 52787 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32479] ppid=32469 vsize=1529068 CPUtime=0 /proc/32471/task/32479/stat : 32479 (java) S 32469 32471 32268 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 13 0 32158787 1565765632 52787 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32480] ppid=32469 vsize=1529068 CPUtime=1.12 /proc/32471/task/32480/stat : 32480 (java) S 32469 32471 32268 0 -1 4202560 1369 0 0 0 112 0 0 0 15 0 13 0 32158787 1565765632 52787 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32481] ppid=32469 vsize=1529068 CPUtime=0.92 /proc/32471/task/32481/stat : 32481 (java) S 32469 32471 32268 0 -1 4202560 1715 0 0 0 92 0 0 0 15 0 13 0 32158787 1565765632 52787 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32482] ppid=32469 vsize=1529068 CPUtime=0 /proc/32471/task/32482/stat : 32482 (java) S 32469 32471 32268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 32158787 1565765632 52787 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32483] ppid=32469 vsize=1529068 CPUtime=0 /proc/32471/task/32483/stat : 32483 (java) S 32469 32471 32268 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 32158787 1565765632 52787 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32484] ppid=32469 vsize=1529068 CPUtime=0 /proc/32471/task/32484/stat : 32484 (java) S 32469 32471 32268 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 32159165 1565765632 52787 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 14.81 Current children cumulated vsize (KiB) 1529068 [startup+25.5002 s] /proc/loadavg: 1.07 1.05 1.01 3/119 32484 /proc/meminfo: memFree=1602992/2059040 swapFree=4134576/4192956 [pid=32471] ppid=32469 vsize=1528684 CPUtime=27.91 /proc/32471/stat : 32471 (java) S 32469 32471 32268 0 -1 4202496 63940 0 1 0 2763 28 0 0 18 0 13 0 32158778 1565372416 58381 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32471/statm: 382171 58381 1445 10 0 379473 0 [pid=32471/tid=32473] ppid=32469 vsize=1528684 CPUtime=23.65 /proc/32471/task/32473/stat : 32473 (java) R 32469 32471 32268 0 -1 4202560 32060 0 1 0 2349 16 0 0 25 0 13 0 32158779 1565372416 58381 1992294400 134512640 134550932 4293296224 18446744073709551615 4109330076 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32471/tid=32474] ppid=32469 vsize=1528684 CPUtime=0.69 /proc/32471/task/32474/stat : 32474 (java) S 32469 32471 32268 0 -1 4202560 10110 0 0 0 65 4 0 0 16 0 13 0 32158781 1565372416 58381 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32475] ppid=32469 vsize=1528684 CPUtime=0.68 /proc/32471/task/32475/stat : 32475 (java) S 32469 32471 32268 0 -1 4202560 11519 0 0 0 64 4 0 0 16 0 13 0 32158781 1565372416 58381 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32476] ppid=32469 vsize=1528684 CPUtime=0.55 /proc/32471/task/32476/stat : 32476 (java) S 32469 32471 32268 0 -1 4202560 5610 0 0 0 54 1 0 0 15 0 13 0 32158782 1565372416 58381 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 0 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32477] ppid=32469 vsize=1528684 CPUtime=0 /proc/32471/task/32477/stat : 32477 (java) S 32469 32471 32268 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 32158783 1565372416 58381 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32478] ppid=32469 vsize=1528684 CPUtime=0 ################ # More data... # ################ [pid=32471/tid=32477] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32477/stat : 32477 (java) S 32469 32471 32268 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 32158783 1566212096 67201 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32478] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32478/stat : 32478 (java) S 32469 32471 32268 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 32158783 1566212096 67201 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32479] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32479/stat : 32479 (java) S 32469 32471 32268 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 13 0 32158787 1566212096 67201 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32480] ppid=32469 vsize=1529504 CPUtime=1.34 /proc/32471/task/32480/stat : 32480 (java) S 32469 32471 32268 0 -1 4202560 1846 0 0 0 134 0 0 0 15 0 13 0 32158787 1566212096 67201 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32481] ppid=32469 vsize=1529504 CPUtime=1.02 /proc/32471/task/32481/stat : 32481 (java) S 32469 32471 32268 0 -1 4202560 1730 0 0 0 102 0 0 0 16 0 13 0 32158787 1566212096 67201 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32482] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32482/stat : 32482 (java) S 32469 32471 32268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 32158787 1566212096 67201 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32483] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32483/stat : 32483 (java) S 32469 32471 32268 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 13 0 32158787 1566212096 67201 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32484] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32484/stat : 32484 (java) S 32469 32471 32268 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 32159165 1566212096 67201 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1607.21 Current children cumulated vsize (KiB) 1529504 [startup+1662.3 s] /proc/loadavg: 1.03 1.01 1.00 2/119 551 /proc/meminfo: memFree=1554424/2059040 swapFree=4134576/4192956 [pid=32471] ppid=32469 vsize=1529504 CPUtime=1667.29 /proc/32471/stat : 32471 (java) S 32469 32471 32268 0 -1 4202496 279903 0 1 0 166589 140 0 0 18 0 13 0 32158778 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32471/statm: 382376 67794 1445 10 0 379678 0 [pid=32471/tid=32473] ppid=32469 vsize=1529504 CPUtime=1601.01 /proc/32471/task/32473/stat : 32473 (java) R 32469 32471 32268 0 -1 4202560 32367 0 1 0 160073 28 0 0 25 0 13 0 32158779 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4109175177 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=32471/tid=32474] ppid=32469 vsize=1529504 CPUtime=4.33 /proc/32471/task/32474/stat : 32474 (java) S 32469 32471 32268 0 -1 4202560 15477 0 0 0 422 11 0 0 16 0 13 0 32158781 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32475] ppid=32469 vsize=1529504 CPUtime=4.31 /proc/32471/task/32475/stat : 32475 (java) S 32469 32471 32268 0 -1 4202560 17054 0 0 0 420 11 0 0 15 0 13 0 32158781 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32476] ppid=32469 vsize=1529504 CPUtime=55.21 /proc/32471/task/32476/stat : 32476 (java) S 32469 32471 32268 0 -1 4202560 210267 0 0 0 5435 86 0 0 15 0 13 0 32158782 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 0 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32477] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32477/stat : 32477 (java) S 32469 32471 32268 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 32158783 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32478] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32478/stat : 32478 (java) S 32469 32471 32268 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 32158783 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32479] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32479/stat : 32479 (java) S 32469 32471 32268 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 13 0 32158787 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32480] ppid=32469 vsize=1529504 CPUtime=1.34 /proc/32471/task/32480/stat : 32480 (java) S 32469 32471 32268 0 -1 4202560 1846 0 0 0 134 0 0 0 15 0 13 0 32158787 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32481] ppid=32469 vsize=1529504 CPUtime=1.02 /proc/32471/task/32481/stat : 32481 (java) S 32469 32471 32268 0 -1 4202560 1730 0 0 0 102 0 0 0 16 0 13 0 32158787 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32482] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32482/stat : 32482 (java) S 32469 32471 32268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 32158787 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32483] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32483/stat : 32483 (java) S 32469 32471 32268 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 13 0 32158787 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32484] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32484/stat : 32484 (java) S 32469 32471 32268 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 32159165 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1667.29 Current children cumulated vsize (KiB) 1529504 [startup+1722.3 s] /proc/loadavg: 1.01 1.01 1.00 2/119 553 /proc/meminfo: memFree=1554424/2059040 swapFree=4134576/4192956 [pid=32471] ppid=32469 vsize=1529504 CPUtime=1727.5 /proc/32471/stat : 32471 (java) S 32469 32471 32268 0 -1 4202496 293877 0 1 0 172604 146 0 0 18 0 13 0 32158778 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32471/statm: 382376 67794 1445 10 0 379678 0 [pid=32471/tid=32473] ppid=32469 vsize=1529504 CPUtime=1656.03 /proc/32471/task/32473/stat : 32473 (java) R 32469 32471 32268 0 -1 4202560 32386 0 1 0 165574 29 0 0 25 0 13 0 32158779 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4109467952 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=32471/tid=32474] ppid=32469 vsize=1529504 CPUtime=4.58 /proc/32471/task/32474/stat : 32474 (java) S 32469 32471 32268 0 -1 4202560 15477 0 0 0 446 12 0 0 16 0 13 0 32158781 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32475] ppid=32469 vsize=1529504 CPUtime=4.54 /proc/32471/task/32475/stat : 32475 (java) S 32469 32471 32268 0 -1 4202560 17054 0 0 0 443 11 0 0 15 0 13 0 32158781 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32476] ppid=32469 vsize=1529504 CPUtime=59.93 /proc/32471/task/32476/stat : 32476 (java) S 32469 32471 32268 0 -1 4202560 224218 0 0 0 5902 91 0 0 16 0 13 0 32158782 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 0 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32477] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32477/stat : 32477 (java) S 32469 32471 32268 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 32158783 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32478] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32478/stat : 32478 (java) S 32469 32471 32268 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 32158783 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32479] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32479/stat : 32479 (java) S 32469 32471 32268 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 13 0 32158787 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32480] ppid=32469 vsize=1529504 CPUtime=1.34 /proc/32471/task/32480/stat : 32480 (java) S 32469 32471 32268 0 -1 4202560 1846 0 0 0 134 0 0 0 15 0 13 0 32158787 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32481] ppid=32469 vsize=1529504 CPUtime=1.02 /proc/32471/task/32481/stat : 32481 (java) S 32469 32471 32268 0 -1 4202560 1730 0 0 0 102 0 0 0 16 0 13 0 32158787 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32482] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32482/stat : 32482 (java) S 32469 32471 32268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 32158787 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32483] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32483/stat : 32483 (java) S 32469 32471 32268 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 13 0 32158787 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32484] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32484/stat : 32484 (java) S 32469 32471 32268 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 32159165 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1727.5 Current children cumulated vsize (KiB) 1529504 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/119 555 /proc/meminfo: memFree=1554300/2059040 swapFree=4134576/4192956 [pid=32471] ppid=32469 vsize=1529504 CPUtime=1787.58 /proc/32471/stat : 32471 (java) S 32469 32471 32268 0 -1 4202496 311962 0 1 0 178604 154 0 0 18 0 13 0 32158778 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32471/statm: 382376 67794 1445 10 0 379678 0 [pid=32471/tid=32473] ppid=32469 vsize=1529504 CPUtime=1711.82 /proc/32471/task/32473/stat : 32473 (java) R 32469 32471 32268 0 -1 4202560 32405 0 1 0 171153 29 0 0 25 0 13 0 32158779 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4109538865 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=32471/tid=32474] ppid=32469 vsize=1529504 CPUtime=4.69 /proc/32471/task/32474/stat : 32474 (java) S 32469 32471 32268 0 -1 4202560 15477 0 0 0 457 12 0 0 16 0 13 0 32158781 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32475] ppid=32469 vsize=1529504 CPUtime=4.64 /proc/32471/task/32475/stat : 32475 (java) S 32469 32471 32268 0 -1 4202560 17054 0 0 0 453 11 0 0 15 0 13 0 32158781 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32476] ppid=32469 vsize=1529504 CPUtime=64 /proc/32471/task/32476/stat : 32476 (java) S 32469 32471 32268 0 -1 4202560 242282 0 0 0 6302 98 0 0 16 0 13 0 32158782 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 0 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32477] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32477/stat : 32477 (java) S 32469 32471 32268 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 32158783 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32478] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32478/stat : 32478 (java) S 32469 32471 32268 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 32158783 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32479] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32479/stat : 32479 (java) S 32469 32471 32268 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 13 0 32158787 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32480] ppid=32469 vsize=1529504 CPUtime=1.34 /proc/32471/task/32480/stat : 32480 (java) S 32469 32471 32268 0 -1 4202560 1846 0 0 0 134 0 0 0 15 0 13 0 32158787 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32481] ppid=32469 vsize=1529504 CPUtime=1.02 /proc/32471/task/32481/stat : 32481 (java) S 32469 32471 32268 0 -1 4202560 1730 0 0 0 102 0 0 0 16 0 13 0 32158787 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32482] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32482/stat : 32482 (java) S 32469 32471 32268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 32158787 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32483] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32483/stat : 32483 (java) S 32469 32471 32268 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 13 0 32158787 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32484] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32484/stat : 32484 (java) S 32469 32471 32268 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 32159165 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (KiB) 1529504 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1794.7 s] /proc/loadavg: 1.00 1.00 1.00 2/119 555 /proc/meminfo: memFree=1554300/2059040 swapFree=4134576/4192956 [pid=32471] ppid=32469 vsize=1529504 CPUtime=1800.03 /proc/32471/stat : 32471 (java) S 32469 32471 32268 0 -1 4202496 313500 0 1 0 179848 155 0 0 18 0 13 0 32158778 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32471/statm: 382376 67794 1445 10 0 379678 0 [pid=32471/tid=32473] ppid=32469 vsize=1529504 CPUtime=1723.76 /proc/32471/task/32473/stat : 32473 (java) R 32469 32471 32268 0 -1 4202560 32407 0 1 0 172347 29 0 0 25 0 13 0 32158779 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4109331105 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=32471/tid=32474] ppid=32469 vsize=1529504 CPUtime=4.73 /proc/32471/task/32474/stat : 32474 (java) S 32469 32471 32268 0 -1 4202560 15477 0 0 0 461 12 0 0 16 0 13 0 32158781 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32475] ppid=32469 vsize=1529504 CPUtime=4.68 /proc/32471/task/32475/stat : 32475 (java) S 32469 32471 32268 0 -1 4202560 17054 0 0 0 457 11 0 0 15 0 13 0 32158781 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32476] ppid=32469 vsize=1529504 CPUtime=64.42 /proc/32471/task/32476/stat : 32476 (java) S 32469 32471 32268 0 -1 4202560 243816 0 0 0 6343 99 0 0 15 0 13 0 32158782 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 0 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32477] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32477/stat : 32477 (java) S 32469 32471 32268 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 32158783 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32478] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32478/stat : 32478 (java) S 32469 32471 32268 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 32158783 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32479] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32479/stat : 32479 (java) S 32469 32471 32268 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 13 0 32158787 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32480] ppid=32469 vsize=1529504 CPUtime=1.34 /proc/32471/task/32480/stat : 32480 (java) S 32469 32471 32268 0 -1 4202560 1846 0 0 0 134 0 0 0 15 0 13 0 32158787 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 1 0 0 0 [pid=32471/tid=32481] ppid=32469 vsize=1529504 CPUtime=1.02 /proc/32471/task/32481/stat : 32481 (java) S 32469 32471 32268 0 -1 4202560 1730 0 0 0 102 0 0 0 16 0 13 0 32158787 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32482] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32482/stat : 32482 (java) S 32469 32471 32268 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 32158787 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32483] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32483/stat : 32483 (java) S 32469 32471 32268 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 13 0 32158787 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 [pid=32471/tid=32484] ppid=32469 vsize=1529504 CPUtime=0 /proc/32471/task/32484/stat : 32484 (java) S 32469 32471 32268 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 32159165 1566212096 67794 1992294400 134512640 134550932 4293296224 18446744073709551615 4294960144 0 4 0 16800975 18446604437852670784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1529504 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1794.82 s] /proc/loadavg: 1.00 1.00 1.00 2/119 555 /proc/meminfo: memFree=1554300/2059040 swapFree=4134576/4192956 [pid=32471] ppid=32469 vsize=0 CPUtime=1800.19 /proc/32471/stat : 32471 (java) Z 32469 32471 32268 0 -1 4203548 313524 0 1 0 179862 157 0 0 17 0 2 0 32158778 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32471/statm: 0 0 0 0 0 0 0 [pid=32471/tid=32473] ppid=32469 vsize=0 CPUtime=1723.84 /proc/32471/task/32473/stat : 32473 (java) R 32469 32471 32268 0 -1 4203588 32407 0 1 0 172353 31 0 0 25 0 2 0 32158779 0 0 1992294400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1794.82 CPU time (s): 1800.21 CPU user time (s): 1798.63 CPU system time (s): 1.58276 CPU usage (%): 100.3 Max. virtual memory (cumulated for all children) (KiB): 1536920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.63 system time used= 1.58276 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 313524 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40726 involuntary context switches= 17333 runsolver used 3.49847 second user time and 9.78751 second system time The end
Begin job on node017 at 2010-06-15 03:35:24 IDJOB=2658839 IDBENCH=2504 IDSOLVER=1164 FILE ID=node017/2658839-1276565723 PBS_JOBID= 11173508 Free space on /tmp= 62420 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-a1c1s1.opb COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2658839-1276565723/watcher-2658839-1276565723 -o /tmp/evaluation-result-2658839-1276565723/solver-2658839-1276565723 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658839-1276565723.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= daeaeaee67028e931b0f5195f178e9b3 RANDOM SEED=1944819792 node017.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1833016 kB Buffers: 36244 kB Cached: 109392 kB SwapCached: 11648 kB Active: 85536 kB Inactive: 74136 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1833016 kB SwapTotal: 4192956 kB SwapFree: 4134576 kB Dirty: 5088 kB Writeback: 0 kB AnonPages: 12424 kB Mapped: 9244 kB Slab: 44528 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184232 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62536 MiB End job on node017 at 2010-06-15 04:05:20