Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.26 | 1791.24 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325-max.opb |
MD5SUM | 00fd5397600f602b7512f4fbf6ea5edc |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -5 |
Best CPU time to get the best result obtained on this benchmark | 1800.28 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -15 |
Optimality of the best value was proved | NO |
Number of variables | 1951 |
Total number of constraints | 5581 |
Number of constraints which are clauses | 5580 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1860 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 618970019642690137449562112 |
Number of bits of the biggest number in a constraint | 90 |
Biggest sum of numbers in a constraint | 2475880078237913026827969150 |
Number of bits of the biggest sum of numbers | 91 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.12/0.44 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.12/0.44 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.12/0.44 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.12/0.45 c no version file found!!! 0.12/0.45 c sun.arch.data.model 32 0.12/0.45 c java.version 1.6.0 0.12/0.45 c os.name Linux 0.12/0.45 c os.version 2.6.9-22.EL.rootsmp 0.12/0.45 c os.arch i386 0.12/0.45 c Free memory 1651659224 0.12/0.45 c Max memory 1654456320 0.12/0.45 c Total memory 1654456320 0.12/0.45 c Number of processors 2 0.22/0.51 --- Begin Solver configuration --- 0.22/0.51 c Stops conflict analysis at the first Unique Implication Point 0.22/0.51 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.22/0.51 c Learn all clauses as in MiniSAT 0.22/0.51 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.51 c VSIDS like heuristics from MiniSAT using a heap 0.22/0.51 c No reason simplification 0.22/0.51 c --- End Solver configuration --- 0.22/0.51 c solving /tmp/evaluation/355280-1176795904/instance-355280-1176795904.opb 0.22/0.51 c reading problem ... 1.56/1.41 c ... done. Wall clock time 0.902s. 1.56/1.42 c CPU time (experimental) 0.75s. 1.56/1.42 c #vars 1951 1.56/1.42 c #constraints 5582 1511.35/1504.88 c cleaning 171743 clauses out of 343502 for limit 5244.862759030654 1521.01/1514.40 c cleaning 86370 clauses out of 172757 for limit 28305.478135708134 1525.35/1518.76 c cleaning 43683 clauses out of 87387 for limit 152184.73516694995 1527.15/1520.59 c cleaning 22096 clauses out of 44205 for limit 496634.54728205793 1528.77/1522.19 c cleaning 11294 clauses out of 22609 for limit 1601337.4300327515 1530.27/1523.60 c cleaning 5899 clauses out of 11816 for limit 5058061.731214638 1531.71/1525.03 c cleaning 3201 clauses out of 6415 for limit 1.5333624030132663E7 1532.81/1526.16 c cleaning 1849 clauses out of 3714 for limit 4.367726731706447E7 1534.01/1527.38 c cleaning 1172 clauses out of 2365 for limit 1.1311549493721254E8 1535.34/1528.64 c cleaning 840 clauses out of 1694 for limit 2.606935210951493E8 1536.63/1529.95 c cleaning 677 clauses out of 1355 for limit 5.380154502566181E8 1537.86/1531.12 c cleaning 587 clauses out of 1176 for limit 1.0202664000307522E9 1538.95/1532.26 c cleaning 545 clauses out of 1090 for limit 1.817125015068871E9 1540.05/1533.34 c cleaning 515 clauses out of 1045 for limit 3.1257259733278255E9 1541.18/1534.46 c cleaning 503 clauses out of 1029 for limit 5.229656842817759E9 1542.18/1535.46 c cleaning 507 clauses out of 1027 for limit 8.64984892719502E9 1543.41/1536.61 c cleaning 496 clauses out of 1019 for limit 1.4362371538299858E10 1544.40/1537.69 c cleaning 512 clauses out of 1024 for limit 2.3593413725173294E10 1545.50/1538.72 c cleaning 506 clauses out of 1012 for limit 3.9370063434099266E10 1546.63/1539.82 c cleaning 497 clauses out of 1006 for limit 6.531373703073232E10 1547.73/1541.00 c cleaning 503 clauses out of 1008 for limit 1.0738988002177888E11 1549.07/1542.22 c cleaning 491 clauses out of 1005 for limit 1.776289360648501E11 1550.26/1543.49 c cleaning 507 clauses out of 1014 for limit 2.903338735074914E11 1551.46/1544.67 c cleaning 503 clauses out of 1008 for limit 4.8213152552429047E11 1552.89/1546.08 c cleaning 489 clauses out of 1004 for limit 7.974688435099415E11 1554.19/1547.32 c cleaning 509 clauses out of 1019 for limit 1.300969716766376E12 1555.41/1548.57 c cleaning 504 clauses out of 1008 for limit 2.1645504013715032E12 1556.72/1549.82 c cleaning 501 clauses out of 1002 for limit 3.583829803766945E12 1557.82/1550.98 c cleaning 500 clauses out of 1001 for limit 5.916119093057498E12 1559.04/1552.14 c cleaning 492 clauses out of 1001 for limit 9.756471828704594E12 1560.34/1553.44 c cleaning 498 clauses out of 1009 for limit 1.5962157552256863E13 1561.56/1554.63 c cleaning 497 clauses out of 1012 for limit 2.6271970371113824E13 1562.56/1555.69 c cleaning 502 clauses out of 1016 for limit 4.31986175823497E13 1563.69/1556.75 c cleaning 506 clauses out of 1013 for limit 7.137982630522042E13 1564.89/1557.92 c cleaning 504 clauses out of 1008 for limit 1.1841720299012106E14 1565.89/1558.94 c cleaning 490 clauses out of 1002 for limit 1.9606247148868247E14 1567.01/1560.06 c cleaning 500 clauses out of 1012 for limit 3.201382517208772E14 1568.11/1561.12 c cleaning 496 clauses out of 1012 for limit 5.279508044168302E14 1569.12/1562.16 c cleaning 508 clauses out of 1018 for limit 8.672635641201998E14 1570.25/1563.21 c cleaning 493 clauses out of 1008 for limit 1.4415350629443112E15 1571.25/1564.26 c cleaning 507 clauses out of 1016 for limit 2.3609263172788875E15 1572.38/1565.31 c cleaning 503 clauses out of 1009 for limit 3.9204946180825235E15 1573.38/1566.31 c cleaning 502 clauses out of 1006 for limit 6.484700676442674E15 1574.38/1567.33 c cleaning 492 clauses out of 1003 for limit 1.0715399255206922E16 1575.70/1568.61 c cleaning 493 clauses out of 1011 for limit 1.7531295977111278E16 1576.90/1569.82 c cleaning 504 clauses out of 1018 for limit 2.8712650625781027E-4 1578.23/1571.13 c cleaning 501 clauses out of 1014 for limit 4.7537790954085027E-4 1579.42/1572.36 c cleaning 499 clauses out of 1014 for limit 7.847465142661091E-4 1580.75/1573.62 c cleaning 500 clauses out of 1014 for limit 0.0012928578315517625 1582.04/1574.91 c cleaning 498 clauses out of 1015 for limit 0.0021321270599963865 1583.35/1576.21 c cleaning 499 clauses out of 1016 for limit 0.003509189260715449 1584.67/1577.57 c cleaning 498 clauses out of 1019 for limit 0.005781642392770256 1586.06/1578.92 c cleaning 499 clauses out of 1019 for limit 0.009515641891141648 1587.29/1580.16 c cleaning 494 clauses out of 1020 for limit 0.015677181589213492 1588.39/1581.28 c cleaning 503 clauses out of 1026 for limit 0.025702578060792867 1589.71/1582.51 c cleaning 502 clauses out of 1023 for limit 0.042511291674063235 1590.81/1583.60 c cleaning 495 clauses out of 1021 for limit 0.0702441367199419 1591.81/1584.68 c cleaning 502 clauses out of 1027 for limit 0.1152804801813409 1592.94/1585.72 c cleaning 507 clauses out of 1026 for limit 0.19048871774058215 1593.84/1586.64 c cleaning 499 clauses out of 1017 for limit 0.3162878650192986 1595.07/1587.83 c cleaning 497 clauses out of 1020 for limit 0.5211085771029486 1596.17/1588.95 c cleaning 505 clauses out of 1021 for limit 0.8568198407144716 1597.37/1590.13 c cleaning 497 clauses out of 1016 for limit 1.4199643326765015 1598.70/1591.42 c cleaning 501 clauses out of 1021 for limit 2.3349108975773842 1599.80/1592.59 c cleaning 498 clauses out of 1018 for limit 3.8542079215228915 1600.90/1593.64 c cleaning 501 clauses out of 1023 for limit 6.344051594024977 1602.13/1594.88 c cleaning 498 clauses out of 1020 for limit 10.471985488096795 1603.33/1596.07 c cleaning 498 clauses out of 1021 for limit 17.235537696063222 1604.56/1597.29 c cleaning 506 clauses out of 1026 for limit 28.370215862557558 1605.75/1598.42 c cleaning 497 clauses out of 1017 for limit 47.058859740488955 1606.76/1599.42 c cleaning 500 clauses out of 1021 for limit 77.3796942593579 1607.98/1600.66 c cleaning 499 clauses out of 1020 for limit 127.60684025023774 1609.18/1601.85 c cleaning 503 clauses out of 1025 for limit 210.25396544271135 1610.18/1602.89 c cleaning 502 clauses out of 1018 for limit 347.7267670417335 1611.31/1604.00 c cleaning 500 clauses out of 1018 for limit 574.5965754608186 1612.41/1605.00 c cleaning 497 clauses out of 1017 for limit 947.5698496449074 1613.41/1606.08 c cleaning 500 clauses out of 1019 for limit 1558.0427786472287 1614.44/1607.10 c cleaning 503 clauses out of 1020 for limit 2569.471404457858 1615.33/1607.98 c cleaning 498 clauses out of 1018 for limit 4249.977015679237 1616.46/1609.01 c cleaning 505 clauses out of 1018 for limit 6994.770098087841 1617.59/1610.17 c cleaning 497 clauses out of 1013 for limit 11592.248020518986 1618.99/1611.59 c cleaning 500 clauses out of 1016 for limit 19060.71943900471 1620.60/1613.12 c cleaning 500 clauses out of 1016 for limit 31433.67625234587 1622.22/1614.74 c cleaning 500 clauses out of 1017 for limit 51839.20465036153 1623.95/1616.43 c cleaning 500 clauses out of 1016 for limit 85488.35295388449 1625.45/1617.95 c cleaning 499 clauses out of 1017 for limit 140984.08943395628 1627.17/1619.62 c cleaning 496 clauses out of 1017 for limit 232269.12236665966 1628.77/1621.21 c cleaning 499 clauses out of 1021 for limit 381542.19757897506 1630.30/1622.71 c cleaning 501 clauses out of 1022 for limit 628598.4562109124 1631.79/1624.24 c cleaning 502 clauses out of 1022 for limit 1037680.6273161083 1633.29/1625.78 c cleaning 498 clauses out of 1019 for limit 1714595.959247886 1634.92/1627.39 c cleaning 511 clauses out of 1023 for limit 2822183.554171162 1636.42/1628.87 c cleaning 505 clauses out of 1011 for limit 4704691.059463649 1638.05/1630.44 c cleaning 502 clauses out of 1005 for limit 7797180.341736046 1639.65/1632.09 c cleaning 494 clauses out of 1004 for limit 1.2884285120783655E7 1641.27/1633.69 c cleaning 494 clauses out of 1009 for limit 2.112147525345747E7 1642.67/1635.04 c cleaning 498 clauses out of 1016 for limit 3.4626779848568425E7 1644.19/1636.54 c cleaning 497 clauses out of 1018 for limit 5.699200327519731E7 1645.69/1638.09 c cleaning 499 clauses out of 1020 for limit 9.370934541259372E7 1647.42/1639.72 c cleaning 500 clauses out of 1023 for limit 1.5439468750550523E8 1649.02/1641.35 c cleaning 498 clauses out of 1021 for limit 2.546062778614341E8 1650.65/1642.92 c cleaning 512 clauses out of 1024 for limit 4.190687649378288E8 1652.15/1644.41 c cleaning 505 clauses out of 1011 for limit 6.992870222177128E8 1653.58/1645.81 c cleaning 502 clauses out of 1006 for limit 1.1589495476297982E9 1655.08/1647.31 c cleaning 495 clauses out of 1005 for limit 1.9150796792926722E9 1656.71/1648.97 c cleaning 494 clauses out of 1009 for limit 3.1425566750846334E9 1658.30/1650.57 c cleaning 493 clauses out of 1015 for limit 5.151860914456702E9 1659.83/1652.01 c cleaning 497 clauses out of 1022 for limit 8.437915332030638E9 1661.23/1653.48 c cleaning 502 clauses out of 1026 for limit 1.3874875570251076E10 1662.75/1654.97 c cleaning 511 clauses out of 1023 for limit 2.292567858493618E10 1664.36/1656.60 c cleaning 493 clauses out of 1013 for limit 3.821895308965173E10 1666.08/1658.20 c cleaning 509 clauses out of 1020 for limit 6.2595620244325005E10 1667.48/1659.67 c cleaning 492 clauses out of 1010 for limit 1.0414636592668077E11 1669.00/1661.17 c cleaning 496 clauses out of 1019 for limit 1.7040475486606885E11 1670.50/1662.66 c cleaning 511 clauses out of 1022 for limit 2.7991512915652136E11 1672.02/1664.20 c cleaning 506 clauses out of 1012 for limit 4.6664557762401953E11 1673.72/1665.84 c cleaning 499 clauses out of 1005 for limit 7.74146189378356E11 1675.24/1667.35 c cleaning 493 clauses out of 1007 for limit 1.2754104480427263E12 1676.74/1668.84 c cleaning 498 clauses out of 1014 for limit 2.0888024727129321E12 1678.17/1670.26 c cleaning 495 clauses out of 1015 for limit 3.4378795839957085E12 1679.77/1671.80 c cleaning 510 clauses out of 1021 for limit 5.64184771989541E12 1681.50/1673.51 c cleaning 505 clauses out of 1010 for limit 9.396088602433438E12 1683.00/1675.09 c cleaning 491 clauses out of 1006 for limit 1.5572591639924367E13 1684.52/1676.59 c cleaning 507 clauses out of 1014 for limit 2.545319450191705E13 1686.12/1678.11 c cleaning 503 clauses out of 1007 for limit 4.226751034788279E13 1687.55/1679.55 c cleaning 502 clauses out of 1004 for limit 6.99130602222124E13 1689.05/1681.04 c cleaning 501 clauses out of 1002 for limit 1.1552612082308342E14 1690.47/1682.43 c cleaning 501 clauses out of 1002 for limit 1.9070873678199284E14 1691.87/1683.86 c cleaning 488 clauses out of 1000 for limit 3.148180947229483E14 1693.60/1685.56 c cleaning 495 clauses out of 1012 for limit 5.130209029736915E14 1695.20/1687.11 c cleaning 496 clauses out of 1017 for limit 8.418806105297079E14 1696.72/1688.64 c cleaning 510 clauses out of 1021 for limit 1.3829344812073938E15 1698.22/1690.18 c cleaning 493 clauses out of 1011 for limit 2.303202263545702E15 1699.64/1691.51 c cleaning 509 clauses out of 1018 for limit 3.772170751097699E15 1701.05/1692.96 c cleaning 502 clauses out of 1011 for limit 6.276432697909298E-5 1702.58/1694.48 c cleaning 496 clauses out of 1007 for limit 1.0371018876979993E-4 1703.98/1695.89 c cleaning 499 clauses out of 1011 for limit 1.7035529100881486E-4 1705.41/1697.27 c cleaning 501 clauses out of 1012 for limit 2.8066105722055905E-4 1706.80/1698.61 c cleaning 502 clauses out of 1012 for limit 4.633109404616715E-4 1708.32/1700.10 c cleaning 501 clauses out of 1011 for limit 7.655830529911051E-4 1709.83/1701.62 c cleaning 490 clauses out of 1009 for limit 0.0012637863953773466 1711.25/1703.07 c cleaning 498 clauses out of 1018 for limit 0.0020636613925141233 1712.65/1704.46 c cleaning 502 clauses out of 1020 for limit 0.0033965806614516068 1714.17/1705.95 c cleaning 497 clauses out of 1018 for limit 0.005612420643525139 1715.87/1707.70 c cleaning 500 clauses out of 1023 for limit 0.009228843219675074 1717.69/1709.44 c cleaning 502 clauses out of 1022 for limit 0.015219254566407834 1719.09/1710.87 c cleaning 501 clauses out of 1020 for limit 0.025147799690702993 1720.62/1712.31 c cleaning 494 clauses out of 1018 for limit 0.041512009914392585 1722.12/1713.89 c cleaning 500 clauses out of 1024 for limit 0.06805773160667654 1723.85/1715.52 c cleaning 497 clauses out of 1024 for limit 0.11223630401985603 1725.38/1717.01 c cleaning 504 clauses out of 1027 for limit 0.18455200034436195 1726.77/1718.46 c cleaning 500 clauses out of 1023 for limit 0.3055409704839306 1728.20/1719.81 c cleaning 501 clauses out of 1024 for limit 0.5038897563283166 1729.60/1721.27 c cleaning 501 clauses out of 1023 for limit 0.8317939160971853 1731.23/1722.85 c cleaning 497 clauses out of 1022 for limit 1.3730816538488844 1732.83/1724.40 c cleaning 501 clauses out of 1024 for limit 2.257712714948292 1734.55/1726.12 c cleaning 500 clauses out of 1024 for limit 3.7269972956488355 1736.05/1727.62 c cleaning 497 clauses out of 1024 for limit 6.14631712930303 1737.59/1729.11 c cleaning 497 clauses out of 1026 for limit 10.10622436716287 1739.09/1730.66 c cleaning 501 clauses out of 1030 for limit 16.6184100441474 1740.71/1732.26 c cleaning 503 clauses out of 1028 for limit 27.4318410633894 1742.21/1733.71 c cleaning 502 clauses out of 1026 for limit 45.37233276024549 1743.61/1735.14 c cleaning 501 clauses out of 1024 for limit 74.97118919271989 1745.24/1736.79 c cleaning 500 clauses out of 1022 for limit 123.7555930673154 1746.93/1738.49 c cleaning 498 clauses out of 1022 for limit 204.08952869504975 1748.66/1740.11 c cleaning 497 clauses out of 1025 for limit 335.9217715336928 1750.06/1741.58 c cleaning 504 clauses out of 1029 for limit 552.3788497646425 1751.59/1743.09 c cleaning 497 clauses out of 1024 for limit 914.4792061206193 1753.19/1744.63 c cleaning 500 clauses out of 1028 for limit 1503.734194192231 1754.61/1746.04 c cleaning 502 clauses out of 1027 for limit 2479.791241621818 1756.11/1747.58 c cleaning 500 clauses out of 1024 for limit 4097.386988492599 1757.74/1749.17 c cleaning 496 clauses out of 1024 for limit 6757.1392826490455 1759.04/1750.47 c cleaning 502 clauses out of 1029 for limit 11100.380137332033 1760.47/1751.87 c cleaning 499 clauses out of 1026 for limit 18341.17864094524 1761.97/1753.33 c cleaning 503 clauses out of 1029 for limit 30219.281721776326 1763.58/1754.98 c cleaning 501 clauses out of 1024 for limit 49978.86842602652 1765.09/1756.48 c cleaning 501 clauses out of 1023 for limit 82502.40884655675 1766.61/1757.93 c cleaning 497 clauses out of 1022 for limit 136190.63784100977 1768.01/1759.36 c cleaning 502 clauses out of 1027 for limit 223950.7992061939 1769.41/1760.71 c cleaning 498 clauses out of 1023 for limit 370027.74578315706 1771.03/1762.31 c cleaning 495 clauses out of 1025 for limit 609034.5707997679 1772.53/1763.89 c cleaning 508 clauses out of 1031 for limit 999533.9369407716 1773.96/1765.28 c cleaning 502 clauses out of 1022 for limit 1661218.2321632595 1775.46/1766.73 c cleaning 501 clauses out of 1020 for limit 2744942.8066729303 1777.19/1768.48 c cleaning 510 clauses out of 1021 for limit 4531402.50287289 1778.78/1770.05 c cleaning 505 clauses out of 1010 for limit 7546722.549801751 1780.51/1771.76 c cleaning 502 clauses out of 1004 for limit 1.2507410963303683E7 1782.21/1773.48 c cleaning 489 clauses out of 1003 for limit 2.066762621599811E7 1783.95/1775.16 c cleaning 497 clauses out of 1013 for limit 3.371347048933919E7 1785.54/1776.74 c cleaning 497 clauses out of 1016 for limit 5.543385555372968E7 1787.07/1778.25 c cleaning 499 clauses out of 1019 for limit 9.114870374336404E7 1788.47/1779.66 c cleaning 510 clauses out of 1020 for limit 1.5016903710262495E8 1790.09/1781.23 c cleaning 505 clauses out of 1010 for limit 2.501008000646858E8 1791.49/1782.62 c cleaning 491 clauses out of 1006 for limit 4.145041402884453E8 1793.02/1784.13 c cleaning 492 clauses out of 1014 for limit 6.775015198859317E8 1794.32/1785.49 c cleaning 503 clauses out of 1023 for limit 1.108569674068249E9 1795.84/1786.98 c cleaning 509 clauses out of 1019 for limit 1.8335207060635366E9 1797.34/1788.41 c cleaning 493 clauses out of 1010 for limit 3.0506649761865554E9 1798.48/1789.51 c cleaning 502 clauses out of 1018 for limit 4.996415082031601E9 1799.27/1790.37 c cleaning 508 clauses out of 1016 for limit 8.255976872577231E9 1800.01/1791.01 c starts : 20 1800.01/1791.01 c conflicts : 444367 1800.01/1791.01 c decisions : 511905 1800.01/1791.01 c propagations : 28952239 1800.01/1791.01 c inspects : 1075896854 1800.01/1791.01 c learnt literals : 0 1800.01/1791.01 c learnt binary clauses : 1 1800.01/1791.01 c learnt ternary clauses : 1 1800.01/1791.01 c learnt clauses : 444367 1800.01/1791.01 c root simplifications : 0 1800.01/1791.01 c removed literals (reason simplification) : 0 1800.01/1791.01 c reason swapping (by a shorter reason) : 0 1800.01/1791.01 c Calls to reduceDB : 200 1800.01/1791.01 c speed (decisions/second) : 286.0465246229584 1800.01/1791.01 c non guided choices 18 1800.01/1791.01 s UNKNOWN 1800.01/1791.01 c Total wall clock time (ms): 1790.501
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node52/watcher-355280-1176795904 -o ROOT/results/node52/solver-355280-1176795904 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/355280-1176795904/sat4jPseudoResolution.jar /tmp/evaluation/355280-1176795904/instance-355280-1176795904.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 24890 /proc/meminfo: memFree=1925524/2055920 swapFree=4179260/4192956 [pid=24890] ppid=24888 vsize=18568 CPUtime=0 /proc/24890/stat : 24890 (runsolver) D 24888 24890 24134 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 34435462 19013632 292 18446744073709551615 4194304 4296420 548682068832 18446744073709551615 273653755175 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0 /proc/24890/statm: 4642 292 257 24 0 2626 0 [startup+0.0225919 s] /proc/loadavg: 0.92 0.98 0.99 3/64 24890 /proc/meminfo: memFree=1925524/2055920 swapFree=4179260/4192956 [pid=24890] ppid=24888 vsize=18568 CPUtime=0 /proc/24890/stat : 24890 (runsolver) D 24888 24890 24134 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 34435462 19013632 292 18446744073709551615 4194304 4296420 548682068832 18446744073709551615 273653755175 0 0 4096 24578 18446744071563608240 0 0 17 0 0 0 /proc/24890/statm: 4642 292 257 24 0 2626 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 18568 [startup+0.101791 s] /proc/loadavg: 0.92 0.98 0.99 3/64 24890 /proc/meminfo: memFree=1925524/2055920 swapFree=4179260/4192956 [pid=24890] ppid=24888 vsize=12056 CPUtime=0 /proc/24890/stat : 24890 (java) R 24888 24890 24134 0 -1 0 351 0 16 0 0 0 0 0 18 0 1 0 34435462 12345344 175 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4280607 0 2147483391 4096 0 0 0 0 17 0 0 0 /proc/24890/statm: 3014 175 135 9 0 1148 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12056 [startup+0.3018 s] /proc/loadavg: 0.92 0.98 0.99 3/64 24890 /proc/meminfo: memFree=1925524/2055920 swapFree=4179260/4192956 [pid=24890] ppid=24888 vsize=1777708 CPUtime=0.08 /proc/24890/stat : 24890 (java) S 24888 24890 24134 0 -1 0 3676 0 58 0 4 4 0 0 18 0 7 0 34435462 1820372992 3476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0 /proc/24890/statm: 444427 3476 1082 9 0 442063 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1777708 [startup+0.701834 s] /proc/loadavg: 0.92 0.98 0.99 3/64 24890 /proc/meminfo: memFree=1925524/2055920 swapFree=4179260/4192956 [pid=24890] ppid=24888 vsize=1782416 CPUtime=0.46 /proc/24890/stat : 24890 (java) S 24888 24890 24134 0 -1 0 5270 0 58 0 39 7 0 0 18 0 12 0 34435462 1825193984 5066 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24890/statm: 445604 5066 1268 9 0 443216 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 1782416 [startup+1.50289 s] /proc/loadavg: 0.92 0.98 0.99 2/76 24902 /proc/meminfo: memFree=1894900/2055920 swapFree=4179260/4192956 [pid=24890] ppid=24888 vsize=1786264 CPUtime=1.7 /proc/24890/stat : 24890 (java) S 24888 24890 24134 0 -1 0 10089 0 58 0 161 9 0 0 18 0 13 0 34435462 1829134336 8936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24890/statm: 446566 8936 1311 9 0 444178 0 [pid=24890/tid=24892] ppid=24888 vsize=1786264 CPUtime=0.82 /proc/24890/task/24892/stat : 24892 (java) R 24888 24890 24134 0 -1 64 7128 0 19 0 76 6 0 0 24 0 13 0 34435477 1829134336 8936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109528960 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24893] ppid=24888 vsize=1786264 CPUtime=0 /proc/24890/task/24893/stat : 24893 (java) S 24888 24890 24134 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 34435484 1829134336 8936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24894] ppid=24888 vsize=1786264 CPUtime=0 /proc/24890/task/24894/stat : 24894 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435484 1829134336 8936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24895] ppid=24888 vsize=1786264 CPUtime=0 /proc/24890/task/24895/stat : 24895 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 34435488 1829134336 8936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24896] ppid=24888 vsize=1786264 CPUtime=0 /proc/24890/task/24896/stat : 24896 (java) S 24888 24890 24134 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 34435489 1829134336 8936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24897] ppid=24888 vsize=1786264 CPUtime=0 /proc/24890/task/24897/stat : 24897 (java) S 24888 24890 24134 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 34435489 1829134336 8936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24898] ppid=24888 vsize=1786264 CPUtime=0 /proc/24890/task/24898/stat : 24898 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435499 1829134336 8936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24899] ppid=24888 vsize=1786264 CPUtime=0.39 /proc/24890/task/24899/stat : 24899 (java) S 24888 24890 24134 0 -1 64 1230 0 0 0 39 0 0 0 16 0 13 0 34435499 1829134336 8936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24900] ppid=24888 vsize=1786264 CPUtime=0.45 /proc/24890/task/24900/stat : 24900 (java) S 24888 24890 24134 0 -1 64 1048 0 0 0 45 0 0 0 16 0 13 0 34435499 1829134336 8936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24901] ppid=24888 vsize=1786264 CPUtime=0 /proc/24890/task/24901/stat : 24901 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 34435499 1829134336 8936 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24902] ppid=24888 vsize=1786264 CPUtime=0 /proc/24890/task/24902/stat : 24902 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 34435499 1829134336 8937 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.7 Current children cumulated vsize (KiB) 1786264 [startup+3.10299 s] /proc/loadavg: 0.92 0.98 0.99 2/77 24903 /proc/meminfo: memFree=1880108/2055920 swapFree=4179260/4192956 [pid=24890] ppid=24888 vsize=1786528 CPUtime=3.69 /proc/24890/stat : 24890 (java) S 24888 24890 24134 0 -1 0 13490 0 58 0 358 11 0 0 18 0 13 0 34435462 1829404672 11834 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24890/statm: 446632 11834 1315 9 0 444244 0 [pid=24890/tid=24892] ppid=24888 vsize=1786528 CPUtime=2.33 /proc/24890/task/24892/stat : 24892 (java) R 24888 24890 24134 0 -1 64 9870 0 19 0 226 7 0 0 25 0 13 0 34435477 1829404672 11835 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109693940 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24893] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24893/stat : 24893 (java) S 24888 24890 24134 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 34435484 1829404672 11835 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24894] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24894/stat : 24894 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435484 1829404672 11835 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24895] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24895/stat : 24895 (java) S 24888 24890 24134 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 34435488 1829404672 11835 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24896] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24896/stat : 24896 (java) S 24888 24890 24134 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 34435489 1829404672 11835 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24897] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24897/stat : 24897 (java) S 24888 24890 24134 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 34435489 1829404672 11835 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24898] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24898/stat : 24898 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435499 1829404672 11835 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24899] ppid=24888 vsize=1786528 CPUtime=0.65 /proc/24890/task/24899/stat : 24899 (java) S 24888 24890 24134 0 -1 64 1643 0 0 0 64 1 0 0 16 0 13 0 34435499 1829404672 11835 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24900] ppid=24888 vsize=1786528 CPUtime=0.68 /proc/24890/task/24900/stat : 24900 (java) S 24888 24890 24134 0 -1 64 1294 0 0 0 68 0 0 0 15 0 13 0 34435499 1829404672 11835 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24901] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24901/stat : 24901 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 34435499 1829404672 11835 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24902] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24902/stat : 24902 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 34435499 1829404672 11835 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24903] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24903/stat : 24903 (java) S 24888 24890 24134 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 34435605 1829404672 11835 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.69 Current children cumulated vsize (KiB) 1786528 [startup+6.30221 s] /proc/loadavg: 0.93 0.98 0.99 2/77 24903 /proc/meminfo: memFree=1851628/2055920 swapFree=4179260/4192956 [pid=24890] ppid=24888 vsize=1786528 CPUtime=6.9 /proc/24890/stat : 24890 (java) S 24888 24890 24134 0 -1 0 20363 0 58 0 676 14 0 0 18 0 13 0 34435462 1829404672 18705 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24890/statm: 446632 18705 1315 9 0 444244 0 [pid=24890/tid=24892] ppid=24888 vsize=1786528 CPUtime=5.52 /proc/24890/task/24892/stat : 24892 (java) R 24888 24890 24134 0 -1 64 16740 0 19 0 542 10 0 0 25 0 13 0 34435477 1829404672 18705 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109528994 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24893] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24893/stat : 24893 (java) S 24888 24890 24134 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 34435484 1829404672 18705 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24894] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24894/stat : 24894 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435484 1829404672 18705 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24895] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24895/stat : 24895 (java) S 24888 24890 24134 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 34435488 1829404672 18705 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24896] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24896/stat : 24896 (java) S 24888 24890 24134 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 34435489 1829404672 18705 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24897] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24897/stat : 24897 (java) S 24888 24890 24134 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 34435489 1829404672 18705 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24898] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24898/stat : 24898 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435499 1829404672 18705 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24899] ppid=24888 vsize=1786528 CPUtime=0.66 /proc/24890/task/24899/stat : 24899 (java) S 24888 24890 24134 0 -1 64 1645 0 0 0 65 1 0 0 16 0 13 0 34435499 1829404672 18705 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24900] ppid=24888 vsize=1786528 CPUtime=0.68 /proc/24890/task/24900/stat : 24900 (java) S 24888 24890 24134 0 -1 64 1294 0 0 0 68 0 0 0 16 0 13 0 34435499 1829404672 18705 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24901] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24901/stat : 24901 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 34435499 1829404672 18705 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24902] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24902/stat : 24902 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 34435499 1829404672 18706 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24903] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24903/stat : 24903 (java) S 24888 24890 24134 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 34435605 1829404672 18706 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.9 Current children cumulated vsize (KiB) 1786528 [startup+12.7026 s] /proc/loadavg: 0.93 0.98 0.99 2/77 24903 /proc/meminfo: memFree=1803372/2055920 swapFree=4179260/4192956 [pid=24890] ppid=24888 vsize=1786528 CPUtime=13.34 /proc/24890/stat : 24890 (java) S 24888 24890 24134 0 -1 0 32070 0 58 0 1316 18 0 0 18 0 13 0 34435462 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24890/statm: 446632 30412 1317 9 0 444244 0 [pid=24890/tid=24892] ppid=24888 vsize=1786528 CPUtime=11.93 /proc/24890/task/24892/stat : 24892 (java) R 24888 24890 24134 0 -1 64 28442 0 19 0 1178 15 0 0 25 0 13 0 34435477 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109693907 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24893] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24893/stat : 24893 (java) S 24888 24890 24134 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 34435484 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24894] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24894/stat : 24894 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435484 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24895] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24895/stat : 24895 (java) S 24888 24890 24134 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 34435488 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24896] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24896/stat : 24896 (java) S 24888 24890 24134 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 34435489 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24897] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24897/stat : 24897 (java) S 24888 24890 24134 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 34435489 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24898] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24898/stat : 24898 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435499 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24899] ppid=24888 vsize=1786528 CPUtime=0.7 /proc/24890/task/24899/stat : 24899 (java) S 24888 24890 24134 0 -1 64 1650 0 0 0 69 1 0 0 17 0 13 0 34435499 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24900] ppid=24888 vsize=1786528 CPUtime=0.69 /proc/24890/task/24900/stat : 24900 (java) S 24888 24890 24134 0 -1 64 1294 0 0 0 69 0 0 0 16 0 13 0 34435499 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24901] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24901/stat : 24901 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 34435499 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24902] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24902/stat : 24902 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 34435499 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24903] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24903/stat : 24903 (java) S 24888 24890 24134 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 34435605 1829404672 30412 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 13.34 Current children cumulated vsize (KiB) 1786528 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.99 2/77 24903 /proc/meminfo: memFree=1724332/2055920 swapFree=4179260/4192956 [pid=24890] ppid=24888 vsize=1786528 CPUtime=26.27 /proc/24890/stat : 24890 (java) S 24888 24890 24134 0 -1 0 52309 0 58 0 2600 27 0 0 18 0 13 0 34435462 1829404672 48741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24890/statm: 446632 48741 1326 9 0 444244 0 [pid=24890/tid=24892] ppid=24888 vsize=1786528 CPUtime=24.66 /proc/24890/task/24892/stat : 24892 (java) R 24888 24890 24134 0 -1 64 37716 0 19 0 2447 19 0 0 25 0 13 0 34435477 1829404672 48741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109789963 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24893] ppid=24888 vsize=1786528 CPUtime=0.05 /proc/24890/task/24893/stat : 24893 (java) S 24888 24890 24134 0 -1 64 5174 0 0 0 3 2 0 0 17 0 13 0 34435484 1829404672 48741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24894] ppid=24888 vsize=1786528 CPUtime=0.04 /proc/24890/task/24894/stat : 24894 (java) S 24888 24890 24134 0 -1 64 5781 0 0 0 2 2 0 0 17 0 13 0 34435484 1829404672 48741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24895] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24895/stat : 24895 (java) S 24888 24890 24134 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 34435488 1829404672 48741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=24890/tid=24895] ppid=24888 vsize=1786528 CPUtime=0.06 /proc/24890/task/24895/stat : 24895 (java) S 24888 24890 24134 0 -1 64 10 0 0 0 3 3 0 0 16 0 13 0 34435488 1829404672 344928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24896] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24896/stat : 24896 (java) S 24888 24890 24134 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 34435489 1829404672 344928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24897] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24897/stat : 24897 (java) S 24888 24890 24134 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 34435489 1829404672 344928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24898] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24898/stat : 24898 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435499 1829404672 344928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24899] ppid=24888 vsize=1786528 CPUtime=0.82 /proc/24890/task/24899/stat : 24899 (java) S 24888 24890 24134 0 -1 64 1663 0 0 0 81 1 0 0 16 0 13 0 34435499 1829404672 344928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24900] ppid=24888 vsize=1786528 CPUtime=0.84 /proc/24890/task/24900/stat : 24900 (java) S 24888 24890 24134 0 -1 64 1308 0 0 0 84 0 0 0 17 0 13 0 34435499 1829404672 344928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24901] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24901/stat : 24901 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 34435499 1829404672 344928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24902] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24902/stat : 24902 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 34435499 1829404672 344928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24903] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24903/stat : 24903 (java) S 24888 24890 24134 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 34435605 1829404672 344928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1609.68 Current children cumulated vsize (KiB) 1786528 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 25103 /proc/meminfo: memFree=522284/2055920 swapFree=4179260/4192956 [pid=24890] ppid=24888 vsize=1786528 CPUtime=1670.2 /proc/24890/stat : 24890 (java) S 24888 24890 24134 0 -1 0 508288 0 58 0 166752 268 0 0 18 0 13 0 34435462 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24890/statm: 446632 348308 1329 9 0 444244 0 [pid=24890/tid=24892] ppid=24888 vsize=1786528 CPUtime=1653.28 /proc/24890/task/24892/stat : 24892 (java) R 24888 24890 24134 0 -1 64 37915 0 19 0 165293 35 0 0 25 0 13 0 34435477 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109676492 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24893] ppid=24888 vsize=1786528 CPUtime=7.55 /proc/24890/task/24893/stat : 24893 (java) S 24888 24890 24134 0 -1 64 217426 0 0 0 648 107 0 0 16 0 13 0 34435484 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24894] ppid=24888 vsize=1786528 CPUtime=7.54 /proc/24890/task/24894/stat : 24894 (java) S 24888 24890 24134 0 -1 64 249284 0 0 0 637 117 0 0 16 0 13 0 34435484 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24895] ppid=24888 vsize=1786528 CPUtime=0.06 /proc/24890/task/24895/stat : 24895 (java) S 24888 24890 24134 0 -1 64 11 0 0 0 3 3 0 0 16 0 13 0 34435488 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24896] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24896/stat : 24896 (java) S 24888 24890 24134 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 34435489 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24897] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24897/stat : 24897 (java) S 24888 24890 24134 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 34435489 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24898] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24898/stat : 24898 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435499 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24899] ppid=24888 vsize=1786528 CPUtime=0.82 /proc/24890/task/24899/stat : 24899 (java) S 24888 24890 24134 0 -1 64 1663 0 0 0 81 1 0 0 16 0 13 0 34435499 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24900] ppid=24888 vsize=1786528 CPUtime=0.87 /proc/24890/task/24900/stat : 24900 (java) S 24888 24890 24134 0 -1 64 1308 0 0 0 87 0 0 0 17 0 13 0 34435499 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24901] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24901/stat : 24901 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 34435499 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24902] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24902/stat : 24902 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 34435499 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24903] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24903/stat : 24903 (java) S 24888 24890 24134 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 34435605 1829404672 348308 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1670.2 Current children cumulated vsize (KiB) 1786528 [startup+1722.3 s] /proc/loadavg: 1.04 1.01 1.00 2/77 25103 /proc/meminfo: memFree=510572/2055920 swapFree=4179260/4192956 [pid=24890] ppid=24888 vsize=1786528 CPUtime=1730.7 /proc/24890/stat : 24890 (java) S 24888 24890 24134 0 -1 0 511967 0 58 0 172799 271 0 0 18 0 13 0 34435462 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24890/statm: 446632 351280 1329 9 0 444244 0 [pid=24890/tid=24892] ppid=24888 vsize=1786528 CPUtime=1712.66 /proc/24890/task/24892/stat : 24892 (java) R 24888 24890 24134 0 -1 64 37935 0 19 0 171231 35 0 0 25 0 13 0 34435477 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109528962 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24893] ppid=24888 vsize=1786528 CPUtime=8.1 /proc/24890/task/24893/stat : 24893 (java) S 24888 24890 24134 0 -1 64 219299 0 0 0 702 108 0 0 16 0 13 0 34435484 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24894] ppid=24888 vsize=1786528 CPUtime=8.1 /proc/24890/task/24894/stat : 24894 (java) S 24888 24890 24134 0 -1 64 251068 0 0 0 691 119 0 0 16 0 13 0 34435484 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24895] ppid=24888 vsize=1786528 CPUtime=0.06 /proc/24890/task/24895/stat : 24895 (java) S 24888 24890 24134 0 -1 64 13 0 0 0 3 3 0 0 16 0 13 0 34435488 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24896] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24896/stat : 24896 (java) S 24888 24890 24134 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 34435489 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24897] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24897/stat : 24897 (java) S 24888 24890 24134 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 34435489 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24898] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24898/stat : 24898 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435499 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24899] ppid=24888 vsize=1786528 CPUtime=0.82 /proc/24890/task/24899/stat : 24899 (java) S 24888 24890 24134 0 -1 64 1663 0 0 0 81 1 0 0 16 0 13 0 34435499 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24900] ppid=24888 vsize=1786528 CPUtime=0.87 /proc/24890/task/24900/stat : 24900 (java) S 24888 24890 24134 0 -1 64 1308 0 0 0 87 0 0 0 17 0 13 0 34435499 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24901] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24901/stat : 24901 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 34435499 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24902] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24902/stat : 24902 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 34435499 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24903] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24903/stat : 24903 (java) S 24888 24890 24134 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 34435605 1829404672 351280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1730.7 Current children cumulated vsize (KiB) 1786528 [startup+1782.3 s] /proc/loadavg: 1.01 1.01 1.00 2/77 25103 /proc/meminfo: memFree=501868/2055920 swapFree=4179260/4192956 [pid=24890] ppid=24888 vsize=1786528 CPUtime=1791.19 /proc/24890/stat : 24890 (java) S 24888 24890 24134 0 -1 0 514759 0 58 0 178846 273 0 0 18 0 13 0 34435462 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24890/statm: 446632 353409 1329 9 0 444244 0 [pid=24890/tid=24892] ppid=24888 vsize=1786528 CPUtime=1772.09 /proc/24890/task/24892/stat : 24892 (java) R 24888 24890 24134 0 -1 64 37954 0 19 0 177173 36 0 0 25 0 13 0 34435477 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109789461 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24893] ppid=24888 vsize=1786528 CPUtime=8.64 /proc/24890/task/24893/stat : 24893 (java) S 24888 24890 24134 0 -1 64 220967 0 0 0 754 110 0 0 16 0 13 0 34435484 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24894] ppid=24888 vsize=1786528 CPUtime=8.63 /proc/24890/task/24894/stat : 24894 (java) S 24888 24890 24134 0 -1 64 252171 0 0 0 744 119 0 0 16 0 13 0 34435484 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24895] ppid=24888 vsize=1786528 CPUtime=0.07 /proc/24890/task/24895/stat : 24895 (java) S 24888 24890 24134 0 -1 64 15 0 0 0 4 3 0 0 16 0 13 0 34435488 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24896] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24896/stat : 24896 (java) S 24888 24890 24134 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 34435489 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24897] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24897/stat : 24897 (java) S 24888 24890 24134 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 34435489 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24898] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24898/stat : 24898 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435499 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24899] ppid=24888 vsize=1786528 CPUtime=0.82 /proc/24890/task/24899/stat : 24899 (java) S 24888 24890 24134 0 -1 64 1663 0 0 0 81 1 0 0 16 0 13 0 34435499 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24900] ppid=24888 vsize=1786528 CPUtime=0.87 /proc/24890/task/24900/stat : 24900 (java) S 24888 24890 24134 0 -1 64 1308 0 0 0 87 0 0 0 17 0 13 0 34435499 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24901] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24901/stat : 24901 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 34435499 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24902] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24902/stat : 24902 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 34435499 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24903] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24903/stat : 24903 (java) S 24888 24890 24134 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 34435605 1829404672 353409 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1791.19 Current children cumulated vsize (KiB) 1786528 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1791 s] /proc/loadavg: 1.01 1.01 1.00 2/77 25103 /proc/meminfo: memFree=500204/2055920 swapFree=4179260/4192956 [pid=24890] ppid=24888 vsize=1786528 CPUtime=1800.01 /proc/24890/stat : 24890 (java) S 24888 24890 24134 0 -1 0 515578 0 58 0 179728 273 0 0 18 0 13 0 34435462 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24890/statm: 446632 353865 1329 9 0 444244 0 [pid=24890/tid=24892] ppid=24888 vsize=1786528 CPUtime=1780.68 /proc/24890/task/24892/stat : 24892 (java) R 24888 24890 24134 0 -1 64 37958 0 19 0 178032 36 0 0 17 0 13 0 34435477 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109689555 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24893] ppid=24888 vsize=1786528 CPUtime=8.76 /proc/24890/task/24893/stat : 24893 (java) S 24888 24890 24134 0 -1 64 221480 0 0 0 766 110 0 0 17 0 13 0 34435484 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24894] ppid=24888 vsize=1786528 CPUtime=8.75 /proc/24890/task/24894/stat : 24894 (java) S 24888 24890 24134 0 -1 64 252471 0 0 0 756 119 0 0 17 0 13 0 34435484 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24895] ppid=24888 vsize=1786528 CPUtime=0.07 /proc/24890/task/24895/stat : 24895 (java) S 24888 24890 24134 0 -1 64 17 0 0 0 4 3 0 0 15 0 13 0 34435488 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24896] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24896/stat : 24896 (java) S 24888 24890 24134 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 34435489 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24897] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24897/stat : 24897 (java) S 24888 24890 24134 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 34435489 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24898] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24898/stat : 24898 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 34435499 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24899] ppid=24888 vsize=1786528 CPUtime=0.82 /proc/24890/task/24899/stat : 24899 (java) S 24888 24890 24134 0 -1 64 1663 0 0 0 81 1 0 0 16 0 13 0 34435499 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24900] ppid=24888 vsize=1786528 CPUtime=0.87 /proc/24890/task/24900/stat : 24900 (java) S 24888 24890 24134 0 -1 64 1308 0 0 0 87 0 0 0 17 0 13 0 34435499 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24890/tid=24901] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24901/stat : 24901 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 34435499 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24902] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24902/stat : 24902 (java) S 24888 24890 24134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 34435499 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24890/tid=24903] ppid=24888 vsize=1786528 CPUtime=0 /proc/24890/task/24903/stat : 24903 (java) S 24888 24890 24134 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 34435605 1829404672 353865 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1786528 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1791.2 s] /proc/loadavg: 1.01 1.01 1.00 2/77 25103 /proc/meminfo: memFree=500204/2055920 swapFree=4179260/4192956 [pid=24890] ppid=24888 vsize=0 CPUtime=1800.21 /proc/24890/stat : 24890 (java) Z 24888 24890 24134 0 -1 1036 515598 0 58 0 179730 291 0 0 16 0 2 0 34435462 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24890/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1791.24 CPU time (s): 1800.26 CPU user time (s): 1797.3 CPU system time (s): 2.95355 CPU usage (%): 100.503 Max. virtual memory (cumulated for all children) (KiB): 1786528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.3 system time used= 2.95355 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 515598 page faults= 58 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39421 involuntary context switches= 20151 runsolver used 2.06269 second user time and 4.63729 second system time The end
Begin job on node52 on Tue Apr 17 07:45:04 UTC 2007 IDJOB= 355280 IDBENCH= 2992 IDSOLVER= 159 FILE ID= node52/355280-1176795904 PBS_JOBID= 4580853 Free space on /tmp= 66382 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325-max.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/355280-1176795904/sat4jPseudoResolution.jar /tmp/evaluation/355280-1176795904/instance-355280-1176795904.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-355280-1176795904 -o ROOT/results/node52/solver-355280-1176795904 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/355280-1176795904/sat4jPseudoResolution.jar /tmp/evaluation/355280-1176795904/instance-355280-1176795904.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 00fd5397600f602b7512f4fbf6ea5edc RANDOM SEED= 983470698 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node52.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.236 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.236 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1925996 kB Buffers: 12940 kB Cached: 63440 kB SwapCached: 7940 kB Active: 32612 kB Inactive: 58060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1925996 kB SwapTotal: 4192956 kB SwapFree: 4179260 kB Dirty: 3760 kB Writeback: 0 kB Mapped: 16048 kB Slab: 25196 kB Committed_AS: 1513364 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66382 MiB End job on node52 on Tue Apr 17 08:14:57 UTC 2007