Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.35 | 1788.37 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-modszk1.opb |
MD5SUM | 73a69ec0478725312d0c26d36222113a |
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 | 48602 |
Total number of constraints | 686 |
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 | 686 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 600 |
Number of terms in the objective function | 29700 |
Biggest coefficient in the objective function | 197378980184064000 |
Number of bits for the biggest coefficient in the objective function | 58 |
Sum of the numbers in the objective function | 14554406665136992500 |
Number of bits of the sum of numbers in the objective function | 64 |
Biggest number in a constraint | 197378980184064000 |
Number of bits of the biggest number in a constraint | 58 |
Biggest sum of numbers in a constraint | 14554406665136992500 |
Number of bits of the biggest sum of numbers | 64 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.07/0.16 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.07/0.16 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.07/0.16 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.07/0.17 c no version file found!!! 0.07/0.17 c sun.arch.data.model 32 0.07/0.17 c java.version 1.6.0 0.07/0.17 c os.name Linux 0.07/0.17 c os.version 2.6.9-22.EL.rootsmp 0.07/0.17 c os.arch i386 0.07/0.17 c Free memory 1651659224 0.07/0.17 c Max memory 1654456320 0.07/0.17 c Total memory 1654456320 0.07/0.17 c Number of processors 2 0.17/0.23 --- Begin Solver configuration --- 0.17/0.23 c Stops conflict analysis at the first Unique Implication Point 0.17/0.23 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.17/0.23 c Learn all clauses as in MiniSAT 0.17/0.23 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.17/0.23 c VSIDS like heuristics from MiniSAT using a heap 0.17/0.23 c No reason simplification 0.17/0.23 c --- End Solver configuration --- 0.17/0.23 c solving /tmp/evaluation/349417-1176700116/instance-349417-1176700116.opb 0.17/0.23 c reading problem ... 2.88/2.08 c ... done. Wall clock time 1.855s. 2.88/2.08 c CPU time (experimental) 1.65s. 2.88/2.08 c #vars 48602 2.88/2.08 c #constraints 1367 1583.52/1573.53 c cleaning 389913 clauses out of 779996 for limit 1.0643668951617555E-7 1590.97/1580.91 c cleaning 196240 clauses out of 392583 for limit 2.5794771164622534E-6 1594.70/1584.68 c cleaning 99352 clauses out of 198843 for limit 6.212012158443431E-5 1598.54/1588.46 c cleaning 50655 clauses out of 101491 for limit 9.001991950942062E-4 1600.23/1590.11 c cleaning 25619 clauses out of 51336 for limit 0.002934945307954031 1602.58/1592.43 c cleaning 13916 clauses out of 28218 for limit 0.06519431952115268 1602.98/1592.89 c cleaning 7207 clauses out of 14802 for limit 0.20496111401954858 1605.13/1594.98 c cleaning 4850 clauses out of 10095 for limit 3.665768074201769 1605.52/1595.32 c cleaning 2681 clauses out of 5745 for limit 10.622754918333284 1605.72/1595.57 c cleaning 1591 clauses out of 3564 for limit 28.23874466213842 1607.15/1596.96 c cleaning 2045 clauses out of 4472 for limit 274.23710160977015 1607.46/1597.22 c cleaning 1269 clauses out of 2927 for limit 690.973146680491 1607.65/1597.47 c cleaning 888 clauses out of 2158 for limit 1545.5687879843724 1608.88/1598.66 c cleaning 1692 clauses out of 3772 for limit 10807.283736459 1609.28/1599.03 c cleaning 1093 clauses out of 2579 for limit 26041.03677312458 1611.10/1600.87 c cleaning 2048 clauses out of 4489 for limit 301855.3412203724 1611.40/1601.15 c cleaning 1267 clauses out of 2937 for limit 757813.5454105085 1612.93/1602.67 c cleaning 1889 clauses out of 4171 for limit 6515384.753454927 1613.23/1602.93 c cleaning 1389 clauses out of 2782 for limit 1.6109387134165458E7 1615.45/1605.11 c cleaning 2696 clauses out of 5394 for limit 4.549951944946938E8 1615.76/1605.41 c cleaning 1440 clauses out of 3201 for limit 1.2682109542535267E9 1617.39/1607.03 c cleaning 1930 clauses out of 4256 for limit 1.1576637412894552E10 1617.69/1607.30 c cleaning 1415 clauses out of 2830 for limit 2.8826475689834347E10 1617.89/1607.57 c cleaning 753 clauses out of 1911 for limit 7.011890693845436E10 1620.41/1610.00 c cleaning 2579 clauses out of 5158 for limit 1.4212208910491704E12 1620.62/1610.29 c cleaning 1539 clauses out of 3079 for limit 3.926350976905557E12 1623.15/1612.71 c cleaning 2576 clauses out of 5540 for limit 1.193812546577699E14 1623.35/1612.95 c cleaning 1733 clauses out of 3466 for limit 3.153132753052208E14 1626.47/1616.09 c cleaning 3357 clauses out of 6732 for limit 2.4129652369371063E-4 1626.77/1616.35 c cleaning 1911 clauses out of 3882 for limit 6.949236800532657E-4 1630.00/1619.55 c cleaning 3035 clauses out of 6464 for limit 0.03738976149032454 1630.30/1619.86 c cleaning 1770 clauses out of 3928 for limit 0.10136871441247489 1634.44/1623.91 c cleaning 3883 clauses out of 8161 for limit 19.801870653935726 1634.84/1624.32 c cleaning 2193 clauses out of 4777 for limit 55.733424806538295 1635.24/1624.72 c cleaning 1339 clauses out of 3082 for limit 142.1756431568623 1638.97/1628.49 c cleaning 3427 clauses out of 7250 for limit 14934.000752106534 1639.37/1628.82 c cleaning 1961 clauses out of 4317 for limit 41113.16802368883 1643.40/1632.89 c cleaning 3985 clauses out of 8356 for limit 8594788.70847091 1643.70/1633.19 c cleaning 2243 clauses out of 4872 for limit 2.433418217728405E7 1644.01/1633.45 c cleaning 1562 clauses out of 3127 for limit 6.239977402199033E7 1644.20/1633.69 c cleaning 1032 clauses out of 2066 for limit 1.5590892596177903E8 1647.62/1637.01 c cleaning 3070 clauses out of 6533 for limit 1.2085618585439312E10 1647.82/1637.28 c cleaning 1787 clauses out of 3964 for limit 3.2880491079334213E10 1648.12/1637.58 c cleaning 1335 clauses out of 2676 for limit 8.02430092638973E10 1648.43/1637.81 c cleaning 919 clauses out of 1841 for limit 1.9235142798243423E11 1651.64/1641.05 c cleaning 2961 clauses out of 5922 for limit 8.896919689732771E12 1652.04/1641.45 c cleaning 1527 clauses out of 3461 for limit 2.51051234387013E13 1652.34/1641.73 c cleaning 1010 clauses out of 2437 for limit 5.897498695948645E13 1655.78/1645.12 c cleaning 3452 clauses out of 6924 for limit 5.077822846640219E-5 1656.08/1645.41 c cleaning 1978 clauses out of 3972 for limit 1.4597593029839787E-4 1656.28/1645.65 c cleaning 1045 clauses out of 2494 for limit 3.833980762005283E-4 1656.58/1645.92 c cleaning 774 clauses out of 1950 for limit 8.0947262443101E-4 1656.78/1646.16 c cleaning 638 clauses out of 1678 for limit 0.0015544248528758138 1660.00/1649.34 c cleaning 2818 clauses out of 6042 for limit 0.06435893673144584 1660.40/1649.73 c cleaning 1658 clauses out of 3719 for limit 0.17157212540435687 1660.71/1650.04 c cleaning 1081 clauses out of 2566 for limit 0.41213993992894316 1663.73/1653.09 c cleaning 3042 clauses out of 6482 for limit 24.20179977122706 1664.03/1653.35 c cleaning 1771 clauses out of 3939 for limit 65.61333077233245 1664.33/1653.65 c cleaning 1132 clauses out of 2667 for limit 159.6527578792707 1667.45/1656.77 c cleaning 3067 clauses out of 6538 for limit 9718.895889252743 1667.85/1657.16 c cleaning 1790 clauses out of 3970 for limit 26368.942586195262 1668.15/1657.50 c cleaning 1143 clauses out of 2680 for limit 64417.56648421553 1670.79/1660.04 c cleaning 2571 clauses out of 5537 for limit 1705735.4717282993 1671.09/1660.38 c cleaning 1530 clauses out of 3465 for limit 4490599.676607047 1671.39/1660.63 c cleaning 1014 clauses out of 2435 for limit 1.053815303618609E7 1671.59/1660.90 c cleaning 758 clauses out of 1920 for limit 2.201829130677001E7 1671.89/1661.14 c cleaning 632 clauses out of 1663 for limit 4.1964590691003196E7 1674.31/1663.55 c cleaning 2563 clauses out of 5530 for limit 1.1374140293508E9 1674.51/1663.79 c cleaning 1530 clauses out of 3468 for limit 2.9940222399276733E9 1674.81/1664.01 c cleaning 1015 clauses out of 2440 for limit 7.031843475221293E9 1675.01/1664.22 c cleaning 961 clauses out of 1923 for limit 1.4684751464059902E10 1677.14/1666.39 c cleaning 2480 clauses out of 4961 for limit 3.110922858782743E11 1677.44/1666.67 c cleaning 1491 clauses out of 2982 for limit 8.543606329019838E11 1677.74/1666.96 c cleaning 970 clauses out of 1990 for limit 2.109197105819201E12 1680.46/1669.66 c cleaning 2551 clauses out of 5523 for limit 6.8770426589608336E13 1680.76/1669.94 c cleaning 1733 clauses out of 3471 for limit 1.8027832865402303E14 1681.06/1670.22 c cleaning 1117 clauses out of 2237 for limit 4.6084356535101256E14 1681.26/1670.48 c cleaning 809 clauses out of 1619 for limit 1.0490448075754254E15 1683.41/1672.58 c cleaning 2146 clauses out of 4313 for limit 1.3102560493633337E-4 1683.81/1672.97 c cleaning 1323 clauses out of 2665 for limit 3.4899988329483654E-4 1684.11/1673.23 c cleaning 712 clauses out of 1841 for limit 8.323195233874272E-4 1686.44/1675.57 c cleaning 2355 clauses out of 5129 for limit 0.01634399675260371 1686.74/1675.84 c cleaning 1450 clauses out of 3276 for limit 0.04228360273496501 1686.94/1676.08 c cleaning 969 clauses out of 2324 for limit 0.09809945998596745 1687.24/1676.31 c cleaning 734 clauses out of 1855 for limit 0.20268178175561868 1687.44/1676.58 c cleaning 614 clauses out of 1621 for limit 0.38250005293001843 1689.57/1678.70 c cleaning 2055 clauses out of 4508 for limit 4.56726623149323 1689.87/1678.98 c cleaning 1280 clauses out of 2953 for limit 11.498274576924688 1690.17/1679.22 c cleaning 888 clauses out of 2173 for limit 25.768686560756063 1690.37/1679.43 c cleaning 697 clauses out of 1785 for limit 51.73323966277869 1690.57/1679.66 c cleaning 592 clauses out of 1592 for limit 96.04146299035577 1692.69/1681.71 c cleaning 2054 clauses out of 4495 for limit 1122.76996017799 1692.99/1682.03 c cleaning 1275 clauses out of 2941 for limit 2829.9668163287974 1693.19/1682.29 c cleaning 883 clauses out of 2169 for limit 6347.113111547853 1693.49/1682.51 c cleaning 697 clauses out of 1783 for limit 12695.11965126087 1695.32/1684.32 c cleaning 2102 clauses out of 4592 for limit 164507.0603902613 1695.52/1684.58 c cleaning 1293 clauses out of 2984 for limit 414988.84114251763 1695.82/1684.81 c cleaning 898 clauses out of 2191 for limit 932070.4664216046 1696.02/1685.05 c cleaning 706 clauses out of 1797 for limit 1881641.927801897 1696.32/1685.33 c cleaning 597 clauses out of 1587 for limit 3499660.9530519056 1698.04/1687.02 c cleaning 1797 clauses out of 3992 for limit 2.8042498912578054E7 1698.24/1687.26 c cleaning 1152 clauses out of 2697 for limit 6.858848472638746E7 1698.44/1687.50 c cleaning 1018 clauses out of 2041 for limit 1.48869932027254E8 1698.74/1687.76 c cleaning 760 clauses out of 1524 for limit 3.291208731833638E8 1700.47/1689.41 c cleaning 1877 clauses out of 3763 for limit 2.6785945787966638E9 1700.68/1689.64 c cleaning 993 clauses out of 2388 for limit 6.974800531153591E9 1700.87/1689.87 c cleaning 744 clauses out of 1894 for limit 1.4487969231258812E10 1701.17/1690.13 c cleaning 823 clauses out of 1649 for limit 2.7414997412785378E10 1703.00/1691.90 c cleaning 1857 clauses out of 3826 for limit 2.3768360245742374E11 1703.20/1692.16 c cleaning 1029 clauses out of 2475 for limit 6.095817288624584E11 1703.50/1692.43 c cleaning 764 clauses out of 1942 for limit 1.2760737029813005E12 1703.70/1692.68 c cleaning 625 clauses out of 1676 for limit 2.4335363272042036E12 1705.42/1694.34 c cleaning 1831 clauses out of 4056 for limit 2.032926993627928E13 1705.62/1694.57 c cleaning 1172 clauses out of 2731 for limit 5.009114815391925E13 1705.82/1694.77 c cleaning 1024 clauses out of 2048 for limit 1.0895044080954162E14 1706.02/1694.98 c cleaning 567 clauses out of 1525 for limit 2.4153468153100738E14 1706.23/1695.17 c cleaning 727 clauses out of 1457 for limit 4.164963178662058E14 1708.54/1697.49 c cleaning 2609 clauses out of 5231 for limit 1.0476675509725334E-4 1708.84/1697.79 c cleaning 1528 clauses out of 3127 for limit 2.90475011476786E-4 1709.14/1698.04 c cleaning 849 clauses out of 2093 for limit 7.114039083478128E-4 1709.34/1698.26 c cleaning 679 clauses out of 1746 for limit 0.001409178947300891 1711.87/1700.70 c cleaning 2577 clauses out of 5565 for limit 0.039808808267333566 1712.07/1700.96 c cleaning 1544 clauses out of 3490 for limit 0.10489235323904926 1712.37/1701.26 c cleaning 1022 clauses out of 2446 for limit 0.24681337463600722 1712.67/1701.50 c cleaning 759 clauses out of 1924 for limit 0.5174590205082734 1712.87/1701.73 c cleaning 629 clauses out of 1663 for limit 0.9853162471489819 1715.11/1703.99 c cleaning 2321 clauses out of 5036 for limit 17.836033995818518 1715.50/1704.30 c cleaning 1413 clauses out of 3215 for limit 46.0743187637883 1715.70/1704.57 c cleaning 947 clauses out of 2301 for limit 106.0582987535383 1716.00/1704.86 c cleaning 729 clauses out of 1853 for limit 216.97376798534324 1718.62/1707.47 c cleaning 2111 clauses out of 4627 for limit 2891.198402487973 1719.02/1707.85 c cleaning 1302 clauses out of 3013 for limit 7300.130347964913 1721.76/1710.56 c cleaning 2410 clauses out of 5212 for limit 140136.43344033966 1722.06/1710.83 c cleaning 1447 clauses out of 3302 for limit 364782.7435436729 1722.36/1711.11 c cleaning 977 clauses out of 2356 for limit 843968.9459600318 1722.56/1711.40 c cleaning 744 clauses out of 1882 for limit 1747598.0695571192 1724.88/1713.63 c cleaning 2113 clauses out of 4633 for limit 2.3432440632297702E7 1725.29/1714.00 c cleaning 1315 clauses out of 3023 for limit 5.940200455418182E7 1725.49/1714.26 c cleaning 1102 clauses out of 2205 for limit 1.3390074883717893E8 1725.69/1714.49 c cleaning 801 clauses out of 1603 for limit 3.03748375731777E8 1727.61/1716.35 c cleaning 1901 clauses out of 3804 for limit 2.579950205711712E9 1727.91/1716.61 c cleaning 1201 clauses out of 2402 for limit 6.73131949510681E9 1728.11/1716.86 c cleaning 830 clauses out of 1700 for limit 1.5669158054794498E10 1730.04/1718.76 c cleaning 1432 clauses out of 2870 for limit 6.86493190926451E10 1730.55/1719.23 c cleaning 958 clauses out of 1939 for limit 1.6773771417411734E11 1731.04/1719.74 c cleaning 733 clauses out of 1480 for limit 3.620496978241992E11 1733.27/1721.92 c cleaning 1576 clauses out of 3247 for limit 2.0129224852599832E12 1733.67/1722.32 c cleaning 1013 clauses out of 2172 for limit 4.967523355117724E12 1733.97/1722.69 c cleaning 823 clauses out of 1659 for limit 1.0725294832776607E13 1736.60/1725.26 c cleaning 1900 clauses out of 3836 for limit 9.330659670707775E13 1736.90/1725.57 c cleaning 1168 clauses out of 2435 for limit 2.4216610537642775E14 1737.21/1725.90 c cleaning 839 clauses out of 1770 for limit 5.5105948098414556E14 1739.94/1728.58 c cleaning 2410 clauses out of 4928 for limit 1.0795545863357637E-4 1740.24/1728.83 c cleaning 1423 clauses out of 3018 for limit 2.9070463586147483E-4 1740.44/1729.09 c cleaning 961 clauses out of 2095 for limit 6.906262042651473E-4 1740.74/1729.37 c cleaning 726 clauses out of 1636 for limit 0.0014613986142023054 1744.37/1732.93 c cleaning 2863 clauses out of 5908 for limit 0.0600898818946542 1744.77/1733.31 c cleaning 1690 clauses out of 3546 for limit 0.16526980115708262 1745.07/1733.64 c cleaning 1091 clauses out of 2356 for limit 0.41021622784463563 1745.37/1733.94 c cleaning 794 clauses out of 1764 for limit 0.9026323975461281 1748.61/1737.10 c cleaning 2639 clauses out of 5473 for limit 26.326345001704304 1748.91/1737.48 c cleaning 1566 clauses out of 3332 for limit 71.17015099215666 1749.31/1737.82 c cleaning 1036 clauses out of 2266 for limit 172.58333674396238 1749.61/1738.17 c cleaning 767 clauses out of 1729 for limit 372.636291354873 1749.91/1738.45 c cleaning 636 clauses out of 1462 for limit 726.75605127933 1753.86/1742.35 c cleaning 2809 clauses out of 5830 for limit 27224.78079374594 1754.15/1742.68 c cleaning 1662 clauses out of 3518 for limit 74180.44989640429 1754.55/1743.04 c cleaning 1071 clauses out of 2356 for limit 182669.4406654827 1754.85/1743.36 c cleaning 795 clauses out of 1784 for limit 397436.4640215367 1755.15/1743.69 c cleaning 646 clauses out of 1492 for limit 786055.4071862268 1757.69/1746.11 c cleaning 2078 clauses out of 4345 for limit 8945176.190313842 1757.99/1746.45 c cleaning 1375 clauses out of 2766 for limit 2.3149833904902015E7 1758.30/1746.74 c cleaning 944 clauses out of 1890 for limit 5.581611775874275E7 1758.59/1747.01 c cleaning 657 clauses out of 1449 for limit 1.2042383879679145E8 1758.79/1747.29 c cleaning 545 clauses out of 1289 for limit 2.2257700132324436E8 1759.09/1747.56 c cleaning 615 clauses out of 1245 for limit 3.8041203817449343E8 1759.40/1747.86 c cleaning 468 clauses out of 1129 for limit 6.911161417795553E8 1761.43/1749.80 c cleaning 1822 clauses out of 3661 for limit 4.287267399911434E9 1761.74/1750.13 c cleaning 1168 clauses out of 2341 for limit 1.107908252579168E10 1762.03/1750.47 c cleaning 737 clauses out of 1672 for limit 2.555584898808999E10 1762.43/1750.81 c cleaning 611 clauses out of 1434 for limit 4.909065312406881E10 1762.74/1751.11 c cleaning 565 clauses out of 1324 for limit 8.777086434487152E10 1763.03/1751.41 c cleaning 531 clauses out of 1258 for limit 1.5218753908371936E11 1764.96/1753.37 c cleaning 1757 clauses out of 3727 for limit 1.0333219737730096E12 1765.26/1753.69 c cleaning 1128 clauses out of 2470 for limit 2.571307350580437E12 1765.66/1754.02 c cleaning 822 clauses out of 1843 for limit 5.688738992379504E12 1765.96/1754.33 c cleaning 758 clauses out of 1521 for limit 1.1367579923486799E13 1766.26/1754.67 c cleaning 630 clauses out of 1262 for limit 2.2571439162246926E13 1768.28/1756.65 c cleaning 1703 clauses out of 3632 for limit 1.577640649693409E14 1768.58/1756.97 c cleaning 1116 clauses out of 2431 for limit 3.8948781852700125E14 1768.88/1757.27 c cleaning 903 clauses out of 1813 for limit 8.595435734938492E14 1769.18/1757.58 c cleaning 700 clauses out of 1410 for limit 1.8226466263099228E15 1769.58/1757.90 c cleaning 595 clauses out of 1211 for limit 3.503223490777911E-5 1769.88/1758.20 c cleaning 519 clauses out of 1116 for limit 6.269078094136936E-5 1771.42/1759.79 c cleaning 1518 clauses out of 3096 for limit 2.7536696994386495E-4 1771.82/1760.14 c cleaning 941 clauses out of 2079 for limit 6.769377089289975E-4 1772.12/1760.44 c cleaning 716 clauses out of 1638 for limit 0.0014169195291271067 1772.41/1760.74 c cleaning 607 clauses out of 1422 for limit 0.0026916300868695267 1772.72/1761.04 c cleaning 548 clauses out of 1314 for limit 0.004798892048820143 1773.01/1761.33 c cleaning 530 clauses out of 1269 for limit 0.008219287013017053 1774.84/1763.17 c cleaning 1768 clauses out of 3737 for limit 0.05603236697939568 1775.24/1763.50 c cleaning 1133 clauses out of 2469 for limit 0.1398610755554145 1775.54/1763.81 c cleaning 816 clauses out of 1836 for limit 0.3101709811204083 1775.74/1764.07 c cleaning 654 clauses out of 1519 for limit 0.6176428837813793 1776.14/1764.40 c cleaning 578 clauses out of 1365 for limit 1.1334919797172553 1776.34/1764.70 c cleaning 543 clauses out of 1288 for limit 1.9830133531770695 1776.64/1764.97 c cleaning 515 clauses out of 1245 for limit 3.383202844332555 1778.17/1766.46 c cleaning 1514 clauses out of 3229 for limit 15.895502692117521 1778.57/1766.81 c cleaning 1004 clauses out of 2215 for limit 38.21417326717488 1778.87/1767.13 c cleaning 745 clauses out of 1711 for limit 81.58382751539175 1779.17/1767.44 c cleaning 628 clauses out of 1466 for limit 157.0276034978131 1779.47/1767.74 c cleaning 562 clauses out of 1339 for limit 283.80483812353816 1779.77/1768.02 c cleaning 532 clauses out of 1277 for limit 490.7557101676806 1779.97/1768.29 c cleaning 522 clauses out of 1245 for limit 830.1236641202523 1781.20/1769.46 c cleaning 1261 clauses out of 2722 for limit 2805.518011194717 1781.50/1769.75 c cleaning 875 clauses out of 1961 for limit 6422.135661602343 1781.80/1770.01 c cleaning 691 clauses out of 1586 for limit 13095.128760988702 1782.10/1770.31 c cleaning 599 clauses out of 1396 for limit 24559.410406610867 1782.40/1770.61 c cleaning 548 clauses out of 1296 for limit 43583.26165348361 1782.70/1770.94 c cleaning 518 clauses out of 1248 for limit 74639.03773606685 1783.00/1771.23 c cleaning 511 clauses out of 1231 for limit 124914.5313524224 1783.30/1771.51 c cleaning 503 clauses out of 1219 for limit 207820.64361860376 1784.73/1772.90 c cleaning 1256 clauses out of 2718 for limit 690773.2484259343 1785.04/1773.22 c cleaning 884 clauses out of 1964 for limit 1579677.3452190699 1785.33/1773.56 c cleaning 784 clauses out of 1576 for limit 3233489.8350161957 1785.63/1773.89 c cleaning 643 clauses out of 1292 for limit 6504607.364552055 1785.93/1774.16 c cleaning 504 clauses out of 1150 for limit 1.2063578611409212E7 1786.23/1774.46 c cleaning 470 clauses out of 1146 for limit 1.9963894600279983E7 1787.26/1775.46 c cleaning 985 clauses out of 2176 for limit 4.715618425529748E7 1787.56/1775.77 c cleaning 741 clauses out of 1691 for limit 1.00071365619109E8 1787.86/1776.07 c cleaning 619 clauses out of 1451 for limit 1.9252025149916106E8 1788.26/1776.40 c cleaning 563 clauses out of 1330 for limit 3.4568382218996835E8 1788.46/1776.68 c cleaning 522 clauses out of 1267 for limit 5.984253305727696E8 1788.76/1776.99 c cleaning 617 clauses out of 1245 for limit 1.0043223299366232E9 1789.06/1777.26 c cleaning 458 clauses out of 1128 for limit 1.828054998217482E9 1790.28/1778.49 c cleaning 1334 clauses out of 2673 for limit 5.723036053821543E9 1790.68/1778.80 c cleaning 917 clauses out of 1836 for limit 1.3699512578208769E10 1790.98/1779.11 c cleaning 605 clauses out of 1419 for limit 2.9231512272380947E10 1791.28/1779.44 c cleaning 547 clauses out of 1314 for limit 5.2058805763613174E10 1791.59/1779.74 c cleaning 633 clauses out of 1268 for limit 8.905549287356819E10 1791.88/1780.06 c cleaning 566 clauses out of 1134 for limit 1.640545522244496E11 1792.90/1781.07 c cleaning 933 clauses out of 2068 for limit 4.034767063563268E11 1793.20/1781.37 c cleaning 713 clauses out of 1635 for limit 8.416027218804849E11 1793.50/1781.68 c cleaning 610 clauses out of 1424 for limit 1.5967606064926204E12 1793.91/1782.00 c cleaning 657 clauses out of 1314 for limit 2.853713177860049E12 1794.20/1782.32 c cleaning 480 clauses out of 1157 for limit 5.344760067656127E12 1794.50/1782.62 c cleaning 587 clauses out of 1175 for limit 8.66184822834312E12 1795.43/1783.56 c cleaning 1043 clauses out of 2091 for limit 2.1896041118042742E13 1795.73/1783.86 c cleaning 729 clauses out of 1545 for limit 4.872406351986058E13 1796.03/1784.12 c cleaning 551 clauses out of 1317 for limit 9.435753965906497E13 1796.23/1784.36 c cleaning 530 clauses out of 1267 for limit 1.6191092992732953E14 1796.53/1784.65 c cleaning 619 clauses out of 1240 for limit 2.736468915424293E14 1796.83/1784.98 c cleaning 557 clauses out of 1119 for limit 4.990786380867749E14 1797.13/1785.28 c cleaning 500 clauses out of 1059 for limit 8.670725938386955E14 1797.85/1785.97 c cleaning 773 clauses out of 1559 for limit 1.6018324166446963E-5 1798.15/1786.29 c cleaning 625 clauses out of 1287 for limit 3.2031335432152485E-5 1798.55/1786.60 c cleaning 573 clauses out of 1162 for limit 5.8506396661165684E-5 1798.85/1786.91 c cleaning 522 clauses out of 1089 for limit 1.029526397431189E-4 1799.15/1787.20 c cleaning 516 clauses out of 1067 for limit 1.7328334941979606E-4 1799.36/1787.49 c cleaning 476 clauses out of 1053 for limit 2.9014680505387423E-4 1799.65/1787.79 c cleaning 518 clauses out of 1075 for limit 4.6776159648882065E-4 1800.09/1788.11 c starts : 22 1800.09/1788.11 c conflicts : 1104522 1800.09/1788.11 c decisions : 1762146 1800.09/1788.11 c propagations : 38986786 1800.09/1788.11 c inspects : 1595630364 1800.09/1788.11 c learnt literals : 4 1800.09/1788.11 c learnt binary clauses : 11 1800.09/1788.11 c learnt ternary clauses : 32 1800.09/1788.11 c learnt clauses : 1104518 1800.09/1788.11 c root simplifications : 0 1800.09/1788.11 c removed literals (reason simplification) : 0 1800.09/1788.11 c reason swapping (by a shorter reason) : 0 1800.09/1788.11 c Calls to reduceDB : 261 1800.09/1788.11 c speed (decisions/second) : 986.8433653162818 1800.09/1788.11 c non guided choices 17926 1800.09/1788.11 s UNKNOWN 1800.09/1788.11 c Total wall clock time (ms): 1787.885
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node46/watcher-349417-1176700116 -o ROOT/results/node46/solver-349417-1176700116 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349417-1176700116/sat4jPseudoResolution.jar /tmp/evaluation/349417-1176700116/instance-349417-1176700116.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.94 1.00 0.99 2/65 27357 /proc/meminfo: memFree=1777800/2055920 swapFree=4184528/4192956 [pid=27357] ppid=27355 vsize=152 CPUtime=0 /proc/27357/stat : 27357 (java) R 27355 27357 26315 0 -1 0 42 0 0 0 0 0 0 0 20 0 1 0 24694761 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 7795492 0 2147483391 4096 0 0 0 0 17 1 0 0 /proc/27357/statm: 38 26 19 9 0 4 0 [startup+0.0256929 s] /proc/loadavg: 0.94 1.00 0.99 2/65 27357 /proc/meminfo: memFree=1777800/2055920 swapFree=4184528/4192956 [pid=27357] ppid=27355 vsize=12536 CPUtime=0 /proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 793 0 0 0 0 0 0 0 18 0 2 0 24694761 12836864 567 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0 /proc/27357/statm: 3134 567 254 9 0 1243 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12536 [startup+0.101719 s] /proc/loadavg: 0.94 1.00 0.99 2/65 27357 /proc/meminfo: memFree=1777800/2055920 swapFree=4184528/4192956 [pid=27357] ppid=27355 vsize=1777844 CPUtime=0.07 /proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 3813 0 1 0 5 2 0 0 18 0 7 0 24694761 1820512256 3555 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 0 0 0 /proc/27357/statm: 444461 3555 1089 9 0 442097 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1777844 [startup+0.301746 s] /proc/loadavg: 0.94 1.00 0.99 2/65 27357 /proc/meminfo: memFree=1777800/2055920 swapFree=4184528/4192956 [pid=27357] ppid=27355 vsize=1781472 CPUtime=0.3 /proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 5426 0 1 0 27 3 0 0 18 0 12 0 24694761 1824227328 5164 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27357/statm: 445368 5164 1263 9 0 442980 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 1781472 [startup+0.701823 s] /proc/loadavg: 0.94 1.00 0.99 2/65 27357 /proc/meminfo: memFree=1777800/2055920 swapFree=4184528/4192956 [pid=27357] ppid=27355 vsize=1782336 CPUtime=0.86 /proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 8793 0 1 0 82 4 0 0 18 0 12 0 24694761 1825112064 8240 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27357/statm: 445584 8240 1297 9 0 443196 0 Current children cumulated CPU time (s) 0.86 Current children cumulated vsize (KiB) 1782336 [startup+1.50297 s] /proc/loadavg: 0.94 1.00 0.99 4/77 27369 /proc/meminfo: memFree=1737832/2055920 swapFree=4184528/4192956 [pid=27357] ppid=27355 vsize=1794136 CPUtime=2.34 /proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 23104 0 1 0 224 10 0 0 18 0 12 0 24694761 1837195264 20152 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27357/statm: 448534 20152 1304 9 0 446146 0 [pid=27357/tid=27359] ppid=27355 vsize=1794136 CPUtime=1.08 /proc/27357/task/27359/stat : 27359 (java) R 27355 27357 26315 0 -1 64 16484 0 1 0 101 7 0 0 18 0 12 0 24694763 1837195264 20152 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102840147 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27360] ppid=27355 vsize=1794136 CPUtime=0 /proc/27357/task/27360/stat : 27360 (java) S 27355 27357 26315 0 -1 64 3 0 0 0 0 0 0 0 20 0 12 0 24694766 1837195264 20152 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27361] ppid=27355 vsize=1794136 CPUtime=0 /proc/27357/task/27361/stat : 27361 (java) S 27355 27357 26315 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 24694766 1837195264 20152 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27362] ppid=27355 vsize=1794136 CPUtime=0 /proc/27357/task/27362/stat : 27362 (java) S 27355 27357 26315 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 24694768 1837195264 20152 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27363] ppid=27355 vsize=1794136 CPUtime=0 /proc/27357/task/27363/stat : 27363 (java) S 27355 27357 26315 0 -1 64 10 0 0 0 0 0 0 0 23 0 12 0 24694768 1837195264 20153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27364] ppid=27355 vsize=1794136 CPUtime=0 /proc/27357/task/27364/stat : 27364 (java) S 27355 27357 26315 0 -1 64 4 0 0 0 0 0 0 0 24 0 12 0 24694768 1837195264 20155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27365] ppid=27355 vsize=1794136 CPUtime=0 /proc/27357/task/27365/stat : 27365 (java) S 27355 27357 26315 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 24694773 1837195264 20156 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27366] ppid=27355 vsize=1794136 CPUtime=0.51 /proc/27357/task/27366/stat : 27366 (java) S 27355 27357 26315 0 -1 64 1804 0 0 0 51 0 0 0 17 0 12 0 24694773 1837195264 20157 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27367] ppid=27355 vsize=1794136 CPUtime=0.71 /proc/27357/task/27367/stat : 27367 (java) R 27355 27357 26315 0 -1 64 4093 0 0 0 70 1 0 0 20 0 12 0 24694773 1837195264 20158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336912 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27368] ppid=27355 vsize=1794136 CPUtime=0 /proc/27357/task/27368/stat : 27368 (java) S 27355 27357 26315 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 24694773 1837195264 20158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27369] ppid=27355 vsize=1794136 CPUtime=0 /proc/27357/task/27369/stat : 27369 (java) S 27355 27357 26315 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 24694773 1837195264 20159 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.34 Current children cumulated vsize (KiB) 1794136 [startup+3.10227 s] /proc/loadavg: 0.94 1.00 0.99 3/77 27369 /proc/meminfo: memFree=1637992/2055920 swapFree=4184528/4192956 [pid=27357] ppid=27355 vsize=1793260 CPUtime=4.58 /proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 51132 0 1 0 435 23 0 0 18 0 13 0 24694761 1836298240 47496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27357/statm: 448315 47496 1328 9 0 445927 0 [pid=27357/tid=27359] ppid=27355 vsize=1793260 CPUtime=2.34 /proc/27357/task/27359/stat : 27359 (java) R 27355 27357 26315 0 -1 64 37707 0 1 0 217 17 0 0 17 0 13 0 24694763 1836298240 47496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109867641 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27360] ppid=27355 vsize=1793260 CPUtime=0.15 /proc/27357/task/27360/stat : 27360 (java) S 27355 27357 26315 0 -1 64 3282 0 0 0 14 1 0 0 16 0 13 0 24694766 1836298240 47496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27361] ppid=27355 vsize=1793260 CPUtime=0.15 /proc/27357/task/27361/stat : 27361 (java) S 27355 27357 26315 0 -1 64 3171 0 0 0 14 1 0 0 16 0 13 0 24694766 1836298240 47496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27362] ppid=27355 vsize=1793260 CPUtime=0 /proc/27357/task/27362/stat : 27362 (java) S 27355 27357 26315 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 24694768 1836298240 47496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27363] ppid=27355 vsize=1793260 CPUtime=0 /proc/27357/task/27363/stat : 27363 (java) S 27355 27357 26315 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 24694768 1836298240 47496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27364] ppid=27355 vsize=1793260 CPUtime=0 /proc/27357/task/27364/stat : 27364 (java) S 27355 27357 26315 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 24694768 1836298240 47496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27365] ppid=27355 vsize=1793260 CPUtime=0 /proc/27357/task/27365/stat : 27365 (java) S 27355 27357 26315 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 24694773 1836298240 47496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27366] ppid=27355 vsize=1793260 CPUtime=0.83 /proc/27357/task/27366/stat : 27366 (java) S 27355 27357 26315 0 -1 64 2027 0 0 0 83 0 0 0 16 0 13 0 24694773 1836298240 47496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27367] ppid=27355 vsize=1793260 CPUtime=1.07 /proc/27357/task/27367/stat : 27367 (java) S 27355 27357 26315 0 -1 64 4215 0 0 0 105 2 0 0 16 0 13 0 24694773 1836298240 47496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27368] ppid=27355 vsize=1793260 CPUtime=0 /proc/27357/task/27368/stat : 27368 (java) S 27355 27357 26315 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 24694773 1836298240 47496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27369] ppid=27355 vsize=1793260 CPUtime=0 /proc/27357/task/27369/stat : 27369 (java) S 27355 27357 26315 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 24694773 1836298240 47496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.58 Current children cumulated vsize (KiB) 1793260 [startup+6.30185 s] /proc/loadavg: 1.02 1.02 1.00 2/78 27370 /proc/meminfo: memFree=1592096/2055920 swapFree=4184528/4192956 [pid=27357] ppid=27355 vsize=1793068 CPUtime=7.91 /proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 51151 0 1 0 768 23 0 0 18 0 13 0 24694761 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27357/statm: 448267 47464 1328 9 0 445879 0 [pid=27357/tid=27359] ppid=27355 vsize=1793068 CPUtime=5.49 /proc/27357/task/27359/stat : 27359 (java) R 27355 27357 26315 0 -1 64 37713 0 1 0 532 17 0 0 25 0 13 0 24694763 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109871266 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27360] ppid=27355 vsize=1793068 CPUtime=0.15 /proc/27357/task/27360/stat : 27360 (java) S 27355 27357 26315 0 -1 64 3282 0 0 0 14 1 0 0 16 0 13 0 24694766 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27361] ppid=27355 vsize=1793068 CPUtime=0.15 /proc/27357/task/27361/stat : 27361 (java) S 27355 27357 26315 0 -1 64 3171 0 0 0 14 1 0 0 16 0 13 0 24694766 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27362] ppid=27355 vsize=1793068 CPUtime=0 /proc/27357/task/27362/stat : 27362 (java) S 27355 27357 26315 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 24694768 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27363] ppid=27355 vsize=1793068 CPUtime=0 /proc/27357/task/27363/stat : 27363 (java) S 27355 27357 26315 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 24694768 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27364] ppid=27355 vsize=1793068 CPUtime=0 /proc/27357/task/27364/stat : 27364 (java) S 27355 27357 26315 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 24694768 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27365] ppid=27355 vsize=1793068 CPUtime=0 /proc/27357/task/27365/stat : 27365 (java) S 27355 27357 26315 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 24694773 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27366] ppid=27355 vsize=1793068 CPUtime=0.97 /proc/27357/task/27366/stat : 27366 (java) S 27355 27357 26315 0 -1 64 2038 0 0 0 97 0 0 0 16 0 13 0 24694773 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27367] ppid=27355 vsize=1793068 CPUtime=1.12 /proc/27357/task/27367/stat : 27367 (java) S 27355 27357 26315 0 -1 64 4217 0 0 0 110 2 0 0 16 0 13 0 24694773 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27368] ppid=27355 vsize=1793068 CPUtime=0 /proc/27357/task/27368/stat : 27368 (java) S 27355 27357 26315 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 24694773 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27369] ppid=27355 vsize=1793068 CPUtime=0 /proc/27357/task/27369/stat : 27369 (java) S 27355 27357 26315 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 24694773 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27370] ppid=27355 vsize=1793068 CPUtime=0 /proc/27357/task/27370/stat : 27370 (java) S 27355 27357 26315 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 24695010 1836101632 47464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.91 Current children cumulated vsize (KiB) 1793068 [startup+12.703 s] /proc/loadavg: 1.02 1.02 1.00 2/78 27370 /proc/meminfo: memFree=1563744/2055920 swapFree=4184528/4192956 [pid=27357] ppid=27355 vsize=1793712 CPUtime=14.74 /proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 58620 0 1 0 1447 27 0 0 18 0 13 0 24694761 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27357/statm: 448428 54565 1328 9 0 446040 0 [pid=27357/tid=27359] ppid=27355 vsize=1793712 CPUtime=11.45 /proc/27357/task/27359/stat : 27359 (java) R 27355 27357 26315 0 -1 64 37717 0 1 0 1128 17 0 0 25 0 13 0 24694763 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109914041 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27360] ppid=27355 vsize=1793712 CPUtime=0.53 /proc/27357/task/27360/stat : 27360 (java) S 27355 27357 26315 0 -1 64 6951 0 0 0 50 3 0 0 16 0 13 0 24694766 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27361] ppid=27355 vsize=1793712 CPUtime=0.53 /proc/27357/task/27361/stat : 27361 (java) S 27355 27357 26315 0 -1 64 6960 0 0 0 50 3 0 0 16 0 13 0 24694766 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27362] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27362/stat : 27362 (java) S 27355 27357 26315 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27363] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27363/stat : 27363 (java) S 27355 27357 26315 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27364] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27364/stat : 27364 (java) S 27355 27357 26315 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27365] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27365/stat : 27365 (java) S 27355 27357 26315 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 24694773 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27366] ppid=27355 vsize=1793712 CPUtime=1.01 /proc/27357/task/27366/stat : 27366 (java) S 27355 27357 26315 0 -1 64 2040 0 0 0 101 0 0 0 17 0 13 0 24694773 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27367] ppid=27355 vsize=1793712 CPUtime=1.17 /proc/27357/task/27367/stat : 27367 (java) S 27355 27357 26315 0 -1 64 4222 0 0 0 115 2 0 0 17 0 13 0 24694773 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27368] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27368/stat : 27368 (java) S 27355 27357 26315 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 24694773 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27369] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27369/stat : 27369 (java) S 27355 27357 26315 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 24694773 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27370] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27370/stat : 27370 (java) S 27355 27357 26315 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 24695010 1836761088 54565 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.74 Current children cumulated vsize (KiB) 1793712 [startup+25.5014 s] /proc/loadavg: 1.02 1.01 1.00 2/78 27370 /proc/meminfo: memFree=1529184/2055920 swapFree=4184528/4192956 [pid=27357] ppid=27355 vsize=1793712 CPUtime=27.95 /proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 68968 0 1 0 2763 32 0 0 18 0 13 0 24694761 1836761088 63248 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27357/statm: 448428 63248 1328 9 0 446040 0 [pid=27357/tid=27359] ppid=27355 vsize=1793712 CPUtime=23.82 /proc/27357/task/27359/stat : 27359 (java) R 27355 27357 26315 0 -1 64 37723 0 1 0 2365 17 0 0 25 0 13 0 24694763 1836761088 63248 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109819225 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27360] ppid=27355 vsize=1793712 CPUtime=0.96 /proc/27357/task/27360/stat : 27360 (java) S 27355 27357 26315 0 -1 64 12357 0 0 0 90 6 0 0 16 0 13 0 24694766 1836761088 63248 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27361] ppid=27355 vsize=1793712 CPUtime=0.95 /proc/27357/task/27361/stat : 27361 (java) S 27355 27357 26315 0 -1 64 11896 0 0 0 90 5 0 0 16 0 13 0 24694766 1836761088 63248 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27362] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27362/stat : 27362 (java) S 27355 27357 26315 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 63248 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27363] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27363/stat : 27363 (java) S 27355 27357 26315 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 63248 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/27357/task/27366/stat : 27366 (java) S 27355 27357 26315 0 -1 64 2048 0 0 0 108 0 0 0 16 0 13 0 24694773 1836761088 365281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27367] ppid=27355 vsize=1793712 CPUtime=1.26 /proc/27357/task/27367/stat : 27367 (java) S 27355 27357 26315 0 -1 64 4227 0 0 0 124 2 0 0 17 0 13 0 24694773 1836761088 365281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27368] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27368/stat : 27368 (java) S 27355 27357 26315 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 24694773 1836761088 365281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27369] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27369/stat : 27369 (java) S 27355 27357 26315 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 24694773 1836761088 365281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27370] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27370/stat : 27370 (java) S 27355 27357 26315 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 24695010 1836761088 365281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1612.63 Current children cumulated vsize (KiB) 1793712 [startup+1662.3 s] /proc/loadavg: 1.66 1.24 1.07 2/78 27372 /proc/meminfo: memFree=251488/2055920 swapFree=4184528/4192956 [pid=27357] ppid=27355 vsize=1793712 CPUtime=1673.11 /proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 574370 0 1 0 167035 276 0 0 18 0 13 0 24694761 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27357/statm: 448428 381815 1330 9 0 446040 0 [pid=27357/tid=27359] ppid=27355 vsize=1793712 CPUtime=1650.74 /proc/27357/task/27359/stat : 27359 (java) R 27355 27357 26315 0 -1 64 69708 0 1 0 165044 30 0 0 25 0 13 0 24694763 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109786321 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27360] ppid=27355 vsize=1793712 CPUtime=9.91 /proc/27357/task/27360/stat : 27360 (java) S 27355 27357 26315 0 -1 64 246561 0 0 0 873 118 0 0 17 0 13 0 24694766 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27361] ppid=27355 vsize=1793712 CPUtime=9.93 /proc/27357/task/27361/stat : 27361 (java) S 27355 27357 26315 0 -1 64 250909 0 0 0 878 115 0 0 16 0 13 0 24694766 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27362] ppid=27355 vsize=1793712 CPUtime=0.13 /proc/27357/task/27362/stat : 27362 (java) S 27355 27357 26315 0 -1 64 195 0 0 0 5 8 0 0 16 0 13 0 24694768 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27363] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27363/stat : 27363 (java) S 27355 27357 26315 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27364] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27364/stat : 27364 (java) S 27355 27357 26315 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27365] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27365/stat : 27365 (java) S 27355 27357 26315 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 24694773 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27366] ppid=27355 vsize=1793712 CPUtime=1.08 /proc/27357/task/27366/stat : 27366 (java) S 27355 27357 26315 0 -1 64 2048 0 0 0 108 0 0 0 16 0 13 0 24694773 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27367] ppid=27355 vsize=1793712 CPUtime=1.26 /proc/27357/task/27367/stat : 27367 (java) S 27355 27357 26315 0 -1 64 4227 0 0 0 124 2 0 0 17 0 13 0 24694773 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27368] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27368/stat : 27368 (java) S 27355 27357 26315 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 24694773 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27369] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27369/stat : 27369 (java) S 27355 27357 26315 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 24694773 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27370] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27370/stat : 27370 (java) S 27355 27357 26315 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 24695010 1836761088 381815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1673.11 Current children cumulated vsize (KiB) 1793712 [startup+1722.3 s] /proc/loadavg: 1.24 1.19 1.07 2/78 27372 /proc/meminfo: memFree=250144/2055920 swapFree=4184528/4192956 [pid=27357] ppid=27355 vsize=1793712 CPUtime=1733.67 /proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 584891 0 1 0 173086 281 0 0 18 0 13 0 24694761 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27357/statm: 448428 382179 1330 9 0 446040 0 [pid=27357/tid=27359] ppid=27355 vsize=1793712 CPUtime=1710.14 /proc/27357/task/27359/stat : 27359 (java) R 27355 27357 26315 0 -1 64 72452 0 1 0 170983 31 0 0 25 0 13 0 24694763 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109581776 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27360] ppid=27355 vsize=1793712 CPUtime=10.48 /proc/27357/task/27360/stat : 27360 (java) S 27355 27357 26315 0 -1 64 249787 0 0 0 928 120 0 0 16 0 13 0 24694766 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27361] ppid=27355 vsize=1793712 CPUtime=10.49 /proc/27357/task/27361/stat : 27361 (java) S 27355 27357 26315 0 -1 64 255424 0 0 0 932 117 0 0 16 0 13 0 24694766 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27362] ppid=27355 vsize=1793712 CPUtime=0.13 /proc/27357/task/27362/stat : 27362 (java) S 27355 27357 26315 0 -1 64 228 0 0 0 5 8 0 0 16 0 13 0 24694768 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27363] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27363/stat : 27363 (java) S 27355 27357 26315 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27364] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27364/stat : 27364 (java) S 27355 27357 26315 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27365] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27365/stat : 27365 (java) S 27355 27357 26315 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 24694773 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27366] ppid=27355 vsize=1793712 CPUtime=1.1 /proc/27357/task/27366/stat : 27366 (java) S 27355 27357 26315 0 -1 64 2051 0 0 0 110 0 0 0 17 0 13 0 24694773 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27367] ppid=27355 vsize=1793712 CPUtime=1.26 /proc/27357/task/27367/stat : 27367 (java) S 27355 27357 26315 0 -1 64 4227 0 0 0 124 2 0 0 17 0 13 0 24694773 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27368] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27368/stat : 27368 (java) S 27355 27357 26315 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 24694773 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27369] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27369/stat : 27369 (java) S 27355 27357 26315 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 24694773 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27370] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27370/stat : 27370 (java) S 27355 27357 26315 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 24695010 1836761088 382179 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1733.67 Current children cumulated vsize (KiB) 1793712 [startup+1782.3 s] /proc/loadavg: 1.09 1.16 1.06 2/78 27372 /proc/meminfo: memFree=207776/2055920 swapFree=4184528/4192956 [pid=27357] ppid=27355 vsize=1793712 CPUtime=1794.2 /proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 610392 0 1 0 179127 293 0 0 18 0 13 0 24694761 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27357/statm: 448428 392692 1330 9 0 446040 0 [pid=27357/tid=27359] ppid=27355 vsize=1793712 CPUtime=1769.56 /proc/27357/task/27359/stat : 27359 (java) R 27355 27357 26315 0 -1 64 77736 0 1 0 176923 33 0 0 25 0 13 0 24694763 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109936866 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27360] ppid=27355 vsize=1793712 CPUtime=11.04 /proc/27357/task/27360/stat : 27360 (java) S 27355 27357 26315 0 -1 64 260185 0 0 0 980 124 0 0 16 0 13 0 24694766 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27361] ppid=27355 vsize=1793712 CPUtime=11.05 /proc/27357/task/27361/stat : 27361 (java) S 27355 27357 26315 0 -1 64 265237 0 0 0 982 123 0 0 17 0 13 0 24694766 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27362] ppid=27355 vsize=1793712 CPUtime=0.14 /proc/27357/task/27362/stat : 27362 (java) S 27355 27357 26315 0 -1 64 234 0 0 0 5 9 0 0 16 0 13 0 24694768 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27363] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27363/stat : 27363 (java) S 27355 27357 26315 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27364] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27364/stat : 27364 (java) S 27355 27357 26315 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27365] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27365/stat : 27365 (java) S 27355 27357 26315 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 24694773 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27366] ppid=27355 vsize=1793712 CPUtime=1.1 /proc/27357/task/27366/stat : 27366 (java) S 27355 27357 26315 0 -1 64 2051 0 0 0 110 0 0 0 17 0 13 0 24694773 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27367] ppid=27355 vsize=1793712 CPUtime=1.26 /proc/27357/task/27367/stat : 27367 (java) S 27355 27357 26315 0 -1 64 4227 0 0 0 124 2 0 0 17 0 13 0 24694773 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27368] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27368/stat : 27368 (java) S 27355 27357 26315 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 24694773 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27369] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27369/stat : 27369 (java) S 27355 27357 26315 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 24694773 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27370] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27370/stat : 27370 (java) S 27355 27357 26315 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 24695010 1836761088 392692 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1794.2 Current children cumulated vsize (KiB) 1793712 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1788.1 s] /proc/loadavg: 1.08 1.15 1.06 2/78 27372 /proc/meminfo: memFree=212832/2055920 swapFree=4184528/4192956 [pid=27357] ppid=27355 vsize=1793712 CPUtime=1800.09 /proc/27357/stat : 27357 (java) S 27355 27357 26315 0 -1 0 610829 0 1 0 179715 294 0 0 18 0 13 0 24694761 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27357/statm: 448428 391465 1330 9 0 446040 0 [pid=27357/tid=27359] ppid=27355 vsize=1793712 CPUtime=1775.28 /proc/27357/task/27359/stat : 27359 (java) R 27355 27357 26315 0 -1 64 77739 0 1 0 177495 33 0 0 17 0 13 0 24694763 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109936856 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27360] ppid=27355 vsize=1793712 CPUtime=11.12 /proc/27357/task/27360/stat : 27360 (java) S 27355 27357 26315 0 -1 64 260487 0 0 0 988 124 0 0 16 0 13 0 24694766 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27361] ppid=27355 vsize=1793712 CPUtime=11.13 /proc/27357/task/27361/stat : 27361 (java) S 27355 27357 26315 0 -1 64 265357 0 0 0 990 123 0 0 17 0 13 0 24694766 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27362] ppid=27355 vsize=1793712 CPUtime=0.14 /proc/27357/task/27362/stat : 27362 (java) S 27355 27357 26315 0 -1 64 246 0 0 0 5 9 0 0 15 0 13 0 24694768 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27363] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27363/stat : 27363 (java) S 27355 27357 26315 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27364] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27364/stat : 27364 (java) S 27355 27357 26315 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 24694768 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27365] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27365/stat : 27365 (java) S 27355 27357 26315 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 24694773 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27366] ppid=27355 vsize=1793712 CPUtime=1.1 /proc/27357/task/27366/stat : 27366 (java) S 27355 27357 26315 0 -1 64 2051 0 0 0 110 0 0 0 17 0 13 0 24694773 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27367] ppid=27355 vsize=1793712 CPUtime=1.26 /proc/27357/task/27367/stat : 27367 (java) S 27355 27357 26315 0 -1 64 4227 0 0 0 124 2 0 0 17 0 13 0 24694773 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27368] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27368/stat : 27368 (java) S 27355 27357 26315 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 24694773 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27357/tid=27369] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27369/stat : 27369 (java) S 27355 27357 26315 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 24694773 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27357/tid=27370] ppid=27355 vsize=1793712 CPUtime=0 /proc/27357/task/27370/stat : 27370 (java) S 27355 27357 26315 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 24695010 1836761088 391465 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1793712 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1788.21 s] /proc/loadavg: 1.08 1.15 1.06 2/78 27372 /proc/meminfo: memFree=212832/2055920 swapFree=4184528/4192956 [pid=27357] ppid=27355 vsize=0 CPUtime=1800.2 /proc/27357/stat : 27357 (java) Z 27355 27357 26315 0 -1 1036 610850 0 1 0 179718 302 0 0 16 0 2 0 24694761 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27357/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 [startup+1788.3 s] /proc/loadavg: 1.08 1.15 1.06 2/78 27372 /proc/meminfo: memFree=212832/2055920 swapFree=4184528/4192956 [pid=27357] ppid=27355 vsize=0 CPUtime=1800.29 /proc/27357/stat : 27357 (java) Z 27355 27357 26315 0 -1 1036 610850 0 1 0 179718 311 0 0 16 0 2 0 24694761 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27357/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1788.37 CPU time (s): 1800.35 CPU user time (s): 1797.18 CPU system time (s): 3.17252 CPU usage (%): 100.67 Max. virtual memory (cumulated for all children) (KiB): 1794136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.18 system time used= 3.17252 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 610850 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= 40647 involuntary context switches= 39517 runsolver used 2.04469 second user time and 4.48432 second system time The end
Begin job on node46 on Mon Apr 16 05:08:38 UTC 2007 IDJOB= 349417 IDBENCH= 2416 IDSOLVER= 159 FILE ID= node46/349417-1176700116 PBS_JOBID= 4560006 Free space on /tmp= 66167 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-modszk1.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349417-1176700116/sat4jPseudoResolution.jar /tmp/evaluation/349417-1176700116/instance-349417-1176700116.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-349417-1176700116 -o ROOT/results/node46/solver-349417-1176700116 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349417-1176700116/sat4jPseudoResolution.jar /tmp/evaluation/349417-1176700116/instance-349417-1176700116.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 73a69ec0478725312d0c26d36222113a RANDOM SEED= 450906973 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node46.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.268 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 : 5931.00 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.268 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: 1778208 kB Buffers: 13540 kB Cached: 193132 kB SwapCached: 2768 kB Active: 93512 kB Inactive: 125924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1778208 kB SwapTotal: 4192956 kB SwapFree: 4184528 kB Dirty: 5664 kB Writeback: 0 kB Mapped: 18952 kB Slab: 44300 kB Committed_AS: 1683924 kB PageTables: 1480 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= 66167 MiB End job on node46 on Mon Apr 16 05:38:28 UTC 2007