Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 5030911 | 1800.45 | 1786.63 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb |
MD5SUM | b5587ac28cf407bbfa21e21c74984478 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3806208 |
Best CPU time to get the best result obtained on this benchmark | 1800.31 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3581952 |
Optimality of the best value was proved | NO |
Number of variables | 3100 |
Total number of constraints | 120 |
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 | 120 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 300 |
Number of terms in the objective function | 3100 |
Biggest coefficient in the objective function | 4831838208 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 511129031204 |
Number of bits of the sum of numbers in the objective function | 39 |
Biggest number in a constraint | 4831838208 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 511129031204 |
Number of bits of the biggest sum of numbers | 39 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.10/0.33 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.10/0.34 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.10/0.34 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.10/0.35 c no version file found!!! 0.10/0.35 c sun.arch.data.model 32 0.10/0.35 c java.version 1.6.0 0.10/0.35 c os.name Linux 0.10/0.35 c os.version 2.6.9-22.EL.rootsmp 0.10/0.35 c os.arch i386 0.10/0.35 c Free memory 1651659224 0.10/0.35 c Max memory 1654456320 0.10/0.35 c Total memory 1654456320 0.10/0.35 c Number of processors 2 0.20/0.40 --- Begin Solver configuration --- 0.20/0.40 c Stops conflict analysis at the first Unique Implication Point 0.20/0.40 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.40 c Learn all clauses as in MiniSAT 0.20/0.40 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.20/0.40 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.40 c No reason simplification 0.20/0.40 c --- End Solver configuration --- 0.20/0.40 c solving /tmp/evaluation/353858-1176686907/instance-353858-1176686907.opb 0.20/0.40 c reading problem ... 1.59/1.26 c ... done. Wall clock time 0.856s. 1.59/1.26 c CPU time (experimental) 0.57s. 1.59/1.26 c #vars 3100 1.59/1.26 c #constraints 140 2.97/2.00 c SATISFIABLE 2.97/2.00 c OPTIMIZING... 2.97/2.00 c Got one! Elapsed wall clock time (in seconds):1.6 2.97/2.02 o 8610304 3.30/2.24 c Got one! Elapsed wall clock time (in seconds):1.833 3.30/2.25 o 5033984 17.15/15.92 c Got one! Elapsed wall clock time (in seconds):15.513 17.15/15.93 o 5030911 1582.91/1570.78 c cleaning 611805 clauses out of 1223694 for limit 418579.5090183659 1602.05/1589.89 c cleaning 308438 clauses out of 616893 for limit 1.2403317753529246E8 1609.40/1597.14 c cleaning 156219 clauses out of 312452 for limit 1.3356970409692818E10 1611.40/1599.10 c cleaning 78354 clauses out of 156732 for limit 4.386872098560095E10 1615.13/1602.87 c cleaning 41178 clauses out of 82378 for limit 4.566132401114507E-8 1618.16/1605.84 c cleaning 22339 clauses out of 44701 for limit 2.7942690867813468E-6 1618.66/1606.38 c cleaning 11426 clauses out of 22863 for limit 9.018673142201624E-6 1622.69/1610.40 c cleaning 8205 clauses out of 16437 for limit 0.001866432029268692 1623.08/1610.78 c cleaning 4351 clauses out of 8730 for limit 0.00578372124803605 1625.83/1613.47 c cleaning 3416 clauses out of 6879 for limit 0.08953147158844361 1626.23/1613.88 c cleaning 1965 clauses out of 3964 for limit 0.25648252779487707 1629.86/1617.40 c cleaning 2976 clauses out of 5999 for limit 9.271706282931925 1630.16/1617.74 c cleaning 1738 clauses out of 3523 for limit 26.03645011620106 1630.46/1618.07 c cleaning 1117 clauses out of 2285 for limit 66.20093095374561 1630.86/1618.47 c cleaning 811 clauses out of 1667 for limit 149.49823886964836 1632.89/1620.47 c cleaning 1405 clauses out of 2856 for limit 645.4119783904622 1633.29/1620.89 c cleaning 955 clauses out of 1951 for limit 1558.094670510379 1633.69/1621.26 c cleaning 723 clauses out of 1497 for limit 3352.121178461374 1634.19/1621.79 c cleaning 611 clauses out of 1273 for limit 6494.331927852638 1637.42/1624.97 c cleaning 1805 clauses out of 3662 for limit 45412.96602118116 1637.92/1625.41 c cleaning 1158 clauses out of 2357 for limit 116357.53492974864 1640.14/1627.67 c cleaning 1825 clauses out of 3699 for limit 904376.3531450455 1640.64/1628.13 c cleaning 1168 clauses out of 2374 for limit 2323853.2651546146 1644.77/1632.20 c cleaning 2831 clauses out of 5707 for limit 8.730096391304334E7 1646.81/1634.29 c cleaning 2417 clauses out of 4876 for limit 7.557649773104489E8 1647.31/1634.72 c cleaning 1461 clauses out of 2959 for limit 2.0538152834146602E9 1647.71/1635.10 c cleaning 977 clauses out of 1997 for limit 5.013599713216227E9 1650.14/1637.58 c cleaning 1761 clauses out of 3522 for limit 3.474456099784858E10 1650.64/1638.00 c cleaning 1128 clauses out of 2259 for limit 8.915522756306389E10 1650.94/1638.39 c cleaning 815 clauses out of 1632 for limit 2.0371982204633603E11 1653.67/1641.06 c cleaning 3133 clauses out of 6317 for limit 1.291389713580287E13 1653.88/1641.24 c cleaning 1816 clauses out of 3684 for limit 3.651778817609627E13 1654.07/1641.42 c cleaning 1184 clauses out of 2368 for limit 9.369108656330072E13 1654.17/1641.59 c cleaning 841 clauses out of 1683 for limit 2.1717870187760494E14 1654.37/1641.76 c cleaning 671 clauses out of 1342 for limit 4.4916377176718794E14 1654.57/1641.92 c cleaning 558 clauses out of 1171 for limit 8.488994024007998E14 1654.67/1642.09 c cleaning 556 clauses out of 1113 for limit 1.472901978685262E15 1654.88/1642.26 c cleaning 500 clauses out of 1057 for limit 2.557701803049045E15 1655.07/1642.46 c cleaning 508 clauses out of 1058 for limit 4.2182239000166535E15 1656.90/1644.21 c cleaning 1014 clauses out of 2052 for limit 9.774051518922477E-5 1657.40/1644.70 c cleaning 762 clauses out of 1536 for limit 2.149055483393164E-4 1657.80/1645.10 c cleaning 632 clauses out of 1275 for limit 4.273847856464872E-4 1661.03/1648.34 c cleaning 2296 clauses out of 4641 for limit 0.006410556712786928 1661.53/1648.80 c cleaning 1400 clauses out of 2846 for limit 0.017256901415896652 1661.93/1649.23 c cleaning 951 clauses out of 1945 for limit 0.04160058936531502 1662.23/1649.58 c cleaning 722 clauses out of 1494 for limit 0.08931499507455165 1662.63/1649.93 c cleaning 615 clauses out of 1273 for limit 0.17303620083946716 1664.46/1651.75 c cleaning 1300 clauses out of 2657 for limit 0.6125800609585579 1664.76/1652.06 c cleaning 897 clauses out of 1858 for limit 1.446102577728468 1665.06/1652.34 c cleaning 701 clauses out of 1460 for limit 3.031889223430625 1665.36/1652.61 c cleaning 601 clauses out of 1260 for limit 5.79943972174444 1665.66/1652.90 c cleaning 551 clauses out of 1159 for limit 10.397502536467735 1665.96/1653.29 c cleaning 533 clauses out of 1108 for limit 17.936123993417123 1666.46/1653.79 c cleaning 515 clauses out of 1075 for limit 30.487076513403057 1669.29/1656.55 c cleaning 2254 clauses out of 4560 for limit 393.1936526476524 1669.59/1656.85 c cleaning 1372 clauses out of 2805 for limit 1053.0763286393947 1669.89/1657.19 c cleaning 936 clauses out of 1934 for limit 2521.3123163494156 1670.29/1657.59 c cleaning 712 clauses out of 1497 for limit 5366.395663069751 1670.69/1657.97 c cleaning 609 clauses out of 1285 for limit 10309.966392917588 1670.99/1658.23 c cleaning 565 clauses out of 1178 for limit 18584.034259141183 1672.62/1659.83 c cleaning 1027 clauses out of 2111 for limit 46418.990569393194 1673.12/1660.30 c cleaning 771 clauses out of 1584 for limit 102019.83929658627 1673.62/1660.83 c cleaning 635 clauses out of 1313 for limit 202969.58944743325 1674.02/1661.28 c cleaning 569 clauses out of 1178 for limit 373083.7178228565 1675.65/1662.85 c cleaning 1032 clauses out of 2110 for limit 935128.522887214 1676.25/1663.44 c cleaning 761 clauses out of 1578 for limit 2062066.4072737752 1676.75/1663.95 c cleaning 658 clauses out of 1317 for limit 4074551.000940868 1677.15/1664.39 c cleaning 579 clauses out of 1159 for limit 7635508.83876976 1677.55/1664.74 c cleaning 511 clauses out of 1079 for limit 1.3512053332423754E7 1679.07/1666.21 c cleaning 1018 clauses out of 2068 for limit 3.161985849332442E7 1679.47/1666.64 c cleaning 775 clauses out of 1550 for limit 6.957202515065204E7 1680.07/1667.25 c cleaning 635 clauses out of 1275 for limit 1.394800343617871E8 1681.70/1668.86 c cleaning 1068 clauses out of 2142 for limit 3.7311219891439533E8 1682.19/1669.39 c cleaning 784 clauses out of 1572 for limit 8.367452136723003E8 1682.70/1669.85 c cleaning 628 clauses out of 1288 for limit 1.684169517022488E9 1684.22/1671.36 c cleaning 1079 clauses out of 2162 for limit 4.509025178947362E9 1684.75/1671.83 c cleaning 788 clauses out of 1582 for limit 1.0152038267979084E10 1685.14/1672.28 c cleaning 624 clauses out of 1293 for limit 2.0463625329771862E10 1687.98/1675.01 c cleaning 1814 clauses out of 3669 for limit 1.4506702704379623E11 1688.28/1675.40 c cleaning 1178 clauses out of 2356 for limit 3.729336186786792E11 1688.78/1675.88 c cleaning 838 clauses out of 1677 for limit 8.631676075255282E11 1689.18/1676.25 c cleaning 651 clauses out of 1344 for limit 1.785078724144522E12 1692.11/1679.17 c cleaning 2065 clauses out of 4188 for limit 1.8909002518482855E13 1692.41/1679.44 c cleaning 1277 clauses out of 2623 for limit 4.978894101032478E13 1692.81/1679.84 c cleaning 899 clauses out of 1846 for limit 1.1666897168264136E14 1693.31/1680.32 c cleaning 723 clauses out of 1449 for limit 2.4560861256397966E14 1693.81/1680.85 c cleaning 612 clauses out of 1225 for limit 4.7862707680800275E14 1695.83/1682.88 c cleaning 1300 clauses out of 2612 for limit 1.6586288537544843E-5 1696.33/1683.37 c cleaning 900 clauses out of 1812 for limit 3.942939219221591E-5 1696.73/1683.79 c cleaning 690 clauses out of 1412 for limit 8.34448361192379E-5 1697.23/1684.25 c cleaning 603 clauses out of 1222 for limit 1.5900795197156382E-4 1699.46/1686.47 c cleaning 1543 clauses out of 3121 for limit 7.609300578739085E-4 1699.86/1686.81 c cleaning 1017 clauses out of 2076 for limit 0.001882773264503376 1700.26/1687.24 c cleaning 763 clauses out of 1560 for limit 0.004136101352041475 1700.56/1687.55 c cleaning 624 clauses out of 1296 for limit 0.008202233797825366 1700.86/1687.88 c cleaning 563 clauses out of 1173 for limit 0.014959929005676892 1701.16/1688.13 c cleaning 533 clauses out of 1109 for limit 0.02606857992082064 1701.46/1688.43 c cleaning 518 clauses out of 1078 for limit 0.044315440397417874 1701.76/1688.77 c cleaning 509 clauses out of 1058 for limit 0.07431475086692006 1704.58/1691.55 c cleaning 1497 clauses out of 3050 for limit 0.3147565680786762 1705.08/1692.07 c cleaning 1006 clauses out of 2052 for limit 0.7707590974583441 1705.58/1692.53 c cleaning 748 clauses out of 1546 for limit 1.6871061687303628 1708.51/1695.46 c cleaning 2369 clauses out of 4798 for limit 29.73984874524089 1708.91/1695.85 c cleaning 1431 clauses out of 2930 for limit 80.39365568090007 1709.31/1696.29 c cleaning 969 clauses out of 1998 for limit 194.22954337487047 1709.71/1696.67 c cleaning 743 clauses out of 1531 for limit 418.85190296581334 1710.21/1697.10 c cleaning 624 clauses out of 1286 for limit 820.6946049407771 1710.61/1697.51 c cleaning 562 clauses out of 1163 for limit 1498.073877507827 1710.91/1697.86 c cleaning 527 clauses out of 1100 for limit 2609.4058754577914 1711.31/1698.21 c cleaning 518 clauses out of 1074 for limit 4411.84695456433 1713.75/1700.63 c cleaning 1511 clauses out of 3055 for limit 18899.85309774834 1714.24/1701.10 c cleaning 1007 clauses out of 2045 for limit 46608.67206734424 1714.75/1701.64 c cleaning 749 clauses out of 1537 for limit 102166.27275076989 1715.24/1702.13 c cleaning 628 clauses out of 1289 for limit 201103.16172436235 1717.37/1704.29 c cleaning 1300 clauses out of 2660 for limit 720077.4580164343 1717.87/1704.74 c cleaning 931 clauses out of 1862 for limit 1699832.3341330993 1718.27/1705.10 c cleaning 714 clauses out of 1429 for limit 3645359.7784850835 1718.57/1705.44 c cleaning 590 clauses out of 1216 for limit 7071791.537791335 1718.97/1705.83 c cleaning 543 clauses out of 1126 for limit 1.2594488131871982E7 1721.40/1708.28 c cleaning 2041 clauses out of 4083 for limit 1.1522076149327101E8 1721.70/1708.60 c cleaning 1270 clauses out of 2541 for limit 3.0501895669589365E8 1722.00/1708.89 c cleaning 884 clauses out of 1772 for limit 7.220348793375893E8 1722.40/1709.21 c cleaning 669 clauses out of 1387 for limit 1.5197313037514179E9 1722.90/1709.71 c cleaning 592 clauses out of 1219 for limit 2.8544994488556905E9 1723.20/1710.04 c cleaning 542 clauses out of 1126 for limit 5.091158921419288E9 1723.50/1710.36 c cleaning 525 clauses out of 1084 for limit 8.721308500627121E9 1725.22/1712.07 c cleaning 1280 clauses out of 2560 for limit 2.7341921107282143E10 1725.72/1712.50 c cleaning 890 clauses out of 1780 for limit 6.484923777822841E10 1726.22/1713.01 c cleaning 690 clauses out of 1389 for limit 1.3691278593124048E11 1726.62/1713.42 c cleaning 575 clauses out of 1199 for limit 2.6156700359723706E11 1727.02/1713.85 c cleaning 562 clauses out of 1124 for limit 4.601418308778723E11 1728.95/1715.71 c cleaning 1257 clauses out of 2563 for limit 1.4940580816531167E12 1729.35/1716.13 c cleaning 883 clauses out of 1807 for limit 3.4982297871944277E12 1729.85/1716.60 c cleaning 692 clauses out of 1423 for limit 7.318514896671422E12 1730.15/1716.93 c cleaning 590 clauses out of 1230 for limit 1.3949033749546178E13 1730.56/1717.31 c cleaning 570 clauses out of 1140 for limit 2.4819913988826484E13 1732.28/1719.00 c cleaning 1263 clauses out of 2570 for limit 8.143208378454312E13 1732.68/1719.45 c cleaning 885 clauses out of 1807 for limit 1.909969385010822E14 1733.18/1719.93 c cleaning 711 clauses out of 1422 for limit 4.002587632783211E14 1733.58/1720.32 c cleaning 600 clauses out of 1212 for limit 7.752258118235253E-6 1735.51/1722.27 c cleaning 1543 clauses out of 3114 for limit 3.687743402287704E-5 1735.91/1722.61 c cleaning 1027 clauses out of 2068 for limit 9.130217432054585E-5 1736.31/1723.00 c cleaning 745 clauses out of 1542 for limit 2.0213321314665114E-4 1736.71/1723.42 c cleaning 637 clauses out of 1297 for limit 3.9631267683751486E-4 1737.01/1723.79 c cleaning 568 clauses out of 1160 for limit 7.307618022075681E-4 1737.31/1724.10 c cleaning 520 clauses out of 1091 for limit 0.0012800603694071407 1737.81/1724.53 c cleaning 516 clauses out of 1072 for limit 0.0021505562976113614 1739.83/1726.53 c cleaning 1749 clauses out of 3555 for limit 0.013031872029742115 1740.13/1726.87 c cleaning 1128 clauses out of 2306 for limit 0.03313164472817199 1740.53/1727.20 c cleaning 817 clauses out of 1678 for limit 0.07508725522826118 1740.83/1727.52 c cleaning 658 clauses out of 1362 for limit 0.1527114064394484 1741.13/1727.86 c cleaning 576 clauses out of 1204 for limit 0.28489051125657644 1741.63/1728.33 c cleaning 539 clauses out of 1127 for limit 0.5014203211457319 1742.03/1728.78 c cleaning 523 clauses out of 1088 for limit 0.8565502346544296 1744.16/1730.89 c cleaning 1758 clauses out of 3565 for limit 5.2584472495571095 1744.56/1731.26 c cleaning 1125 clauses out of 2307 for limit 13.400634075869503 1744.96/1731.65 c cleaning 821 clauses out of 1682 for limit 30.311179636477554 1745.26/1731.95 c cleaning 660 clauses out of 1362 for limit 61.7934041815324 1745.56/1732.23 c cleaning 576 clauses out of 1201 for limit 115.45097273970876 1745.86/1732.51 c cleaning 541 clauses out of 1125 for limit 203.25627792170351 1746.16/1732.81 c cleaning 517 clauses out of 1085 for limit 347.90218108448585 1746.46/1733.16 c cleaning 514 clauses out of 1069 for limit 582.9074194591637 1747.06/1733.70 c cleaning 503 clauses out of 1054 for limit 973.997972366173 1748.99/1735.61 c cleaning 1501 clauses out of 3051 for limit 4104.269696547635 1749.29/1736.00 c cleaning 1000 clauses out of 2049 for limit 10068.331714906753 1749.79/1736.41 c cleaning 747 clauses out of 1549 for limit 21963.621110552867 1750.19/1736.86 c cleaning 632 clauses out of 1302 for limit 43092.35844938264 1750.68/1737.30 c cleaning 566 clauses out of 1172 for limit 79105.8400538265 1752.11/1738.76 c cleaning 1284 clauses out of 2604 for limit 262814.7303583349 1752.61/1739.25 c cleaning 890 clauses out of 1821 for limit 620399.066953425 1753.21/1739.90 c cleaning 695 clauses out of 1430 for limit 1301566.6721578992 1753.91/1740.50 c cleaning 599 clauses out of 1235 for limit 2485371.9148935783 1755.35/1741.94 c cleaning 818 clauses out of 1636 for limit 5102544.7086696895 1755.95/1742.55 c cleaning 659 clauses out of 1320 for limit 1.045011566546798E7 1756.65/1743.28 c cleaning 554 clauses out of 1159 for limit 1.958837709889023E7 1757.25/1743.87 c cleaning 526 clauses out of 1106 for limit 3.388575479595124E7 1758.37/1744.94 c cleaning 766 clauses out of 1580 for limit 6.450999049537565E7 1758.87/1745.47 c cleaning 656 clauses out of 1315 for limit 1.279524808641571E8 1759.47/1746.07 c cleaning 558 clauses out of 1157 for limit 2.3934698886365813E8 1760.28/1746.82 c cleaning 534 clauses out of 1100 for limit 4.1558421231808466E8 1761.50/1748.08 c cleaning 782 clauses out of 1565 for limit 7.936237320978423E8 1762.10/1748.67 c cleaning 641 clauses out of 1283 for limit 1.5964606513519137E9 1762.60/1749.15 c cleaning 555 clauses out of 1144 for limit 2.9585830256961727E9 1763.92/1750.46 c cleaning 1023 clauses out of 2088 for limit 7.262939735789964E9 1764.32/1750.88 c cleaning 766 clauses out of 1564 for limit 1.5974510585492819E10 1764.73/1751.25 c cleaning 628 clauses out of 1298 for limit 3.174281987680396E10 1765.12/1751.67 c cleaning 563 clauses out of 1170 for limit 5.80751342555605E10 1765.62/1752.14 c cleaning 552 clauses out of 1107 for limit 1.0122419935109718E11 1767.84/1754.37 c cleaning 1777 clauses out of 3555 for limit 6.340561045560925E11 1768.24/1754.74 c cleaning 1120 clauses out of 2278 for limit 1.6318095126710315E12 1768.74/1755.20 c cleaning 811 clauses out of 1660 for limit 3.7003261324385317E12 1769.34/1755.80 c cleaning 652 clauses out of 1347 for limit 7.505287939707801E12 1769.74/1756.23 c cleaning 597 clauses out of 1195 for limit 1.3951565295976693E13 1771.47/1757.90 c cleaning 1277 clauses out of 2598 for limit 4.746519206931553E13 1771.87/1758.37 c cleaning 893 clauses out of 1821 for limit 1.1167612355982477E14 1772.27/1758.71 c cleaning 714 clauses out of 1428 for limit 2.3485399701976762E14 1772.67/1759.14 c cleaning 607 clauses out of 1214 for limit 4.5557865030302025E14 1773.27/1759.76 c cleaning 554 clauses out of 1108 for limit 8.240103918479611E14 1775.20/1761.69 c cleaning 1275 clauses out of 2556 for limit 2.647306166318462E-5 1775.70/1762.18 c cleaning 883 clauses out of 1779 for limit 6.260023104464575E-5 1776.10/1762.52 c cleaning 681 clauses out of 1396 for limit 1.3155954200396266E-4 1776.50/1762.90 c cleaning 602 clauses out of 1215 for limit 2.492799680175545E-4 1776.90/1763.34 c cleaning 535 clauses out of 1112 for limit 4.4872497929638304E-4 1779.42/1765.86 c cleaning 1764 clauses out of 3577 for limit 0.0028060888321979147 1779.82/1766.27 c cleaning 1133 clauses out of 2313 for limit 0.007156498914380042 1780.12/1766.60 c cleaning 816 clauses out of 1680 for limit 0.016248858165541478 1780.52/1766.91 c cleaning 653 clauses out of 1364 for limit 0.033004537115249616 1780.82/1767.22 c cleaning 581 clauses out of 1212 for limit 0.061316279537362635 1781.12/1767.59 c cleaning 544 clauses out of 1131 for limit 0.10836067393024595 1781.52/1767.97 c cleaning 520 clauses out of 1086 for limit 0.1859198893735676 1781.92/1768.34 c cleaning 511 clauses out of 1066 for limit 0.3123592417180046 1782.22/1768.69 c cleaning 503 clauses out of 1055 for limit 0.520493118386945 1784.95/1771.39 c cleaning 2003 clauses out of 4054 for limit 4.502398590735574 1785.35/1771.71 c cleaning 1253 clauses out of 2549 for limit 11.785410446964157 1785.75/1772.10 c cleaning 874 clauses out of 1796 for limit 27.584435596724767 1786.15/1772.56 c cleaning 696 clauses out of 1422 for limit 57.45485398303577 1786.55/1772.90 c cleaning 595 clauses out of 1226 for limit 109.89849334080947 1786.85/1773.29 c cleaning 545 clauses out of 1131 for limit 196.46061116363677 1789.59/1775.96 c cleaning 2021 clauses out of 4086 for limit 1803.9767768629847 1789.99/1776.36 c cleaning 1264 clauses out of 2565 for limit 4739.121272565521 1790.39/1776.73 c cleaning 880 clauses out of 1802 for limit 11135.784141380138 1790.79/1777.14 c cleaning 678 clauses out of 1421 for limit 23264.99094482272 1791.20/1777.56 c cleaning 595 clauses out of 1243 for limit 43861.32268254733 1791.59/1777.97 c cleaning 554 clauses out of 1150 for limit 78339.34263854437 1792.09/1778.41 c cleaning 525 clauses out of 1094 for limit 135533.70321001424 1793.52/1779.89 c cleaning 1008 clauses out of 2069 for limit 321419.18618460424 1794.12/1780.41 c cleaning 757 clauses out of 1562 for limit 702816.027774616 1794.52/1780.87 c cleaning 634 clauses out of 1304 for limit 1386968.093413735 1795.02/1781.30 c cleaning 562 clauses out of 1170 for limit 2549259.738828949 1795.52/1781.84 c cleaning 554 clauses out of 1108 for limit 4439316.156623367 1797.85/1784.11 c cleaning 1526 clauses out of 3055 for limit 1.9658870783237185E7 1798.35/1784.63 c cleaning 1014 clauses out of 2028 for limit 4.878914497849035E7 1798.85/1785.12 c cleaning 733 clauses out of 1514 for limit 1.077757787874229E8 1799.25/1785.58 c cleaning 615 clauses out of 1281 for limit 2.1006505018749756E8 1800.08/1786.32 c starts : 38 1800.08/1786.32 c conflicts : 1453758 1800.08/1786.32 c decisions : 1977008 1800.08/1786.32 c propagations : 69497779 1800.08/1786.32 c inspects : 1492328641 1800.08/1786.32 c learnt literals : 0 1800.08/1786.32 c learnt binary clauses : 0 1800.08/1786.32 c learnt ternary clauses : 0 1800.08/1786.32 c learnt clauses : 1453758 1800.08/1786.32 c root simplifications : 0 1800.08/1786.32 c removed literals (reason simplification) : 0 1800.08/1786.32 c reason swapping (by a shorter reason) : 0 1800.08/1786.32 c Calls to reduceDB : 234 1800.08/1786.32 c speed (decisions/second) : 1116.7246491256312 1800.08/1786.32 c non guided choices 10 1800.08/1786.32 s SATISFIABLE 1800.08/1786.34 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.08/1786.34 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.08/1786.34 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.08/1786.34 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1800.08/1786.34 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.08/1786.34 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.08/1786.34 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 1800.08/1786.34 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.08/1786.34 v -x189 -x190 x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.08/1786.34 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.08/1786.34 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.08/1786.34 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.08/1786.34 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.08/1786.34 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.08/1786.34 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.08/1786.34 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.08/1786.34 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.08/1786.34 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.08/1786.34 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.08/1786.34 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.08/1786.34 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.08/1786.34 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.08/1786.34 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.08/1786.34 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 1800.08/1786.34 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.08/1786.34 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.08/1786.34 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.08/1786.34 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.08/1786.34 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.08/1786.34 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.08/1786.34 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.08/1786.34 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.08/1786.34 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.08/1786.34 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.08/1786.34 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.08/1786.34 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.08/1786.34 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 x793 -x794 -x795 -x796 -x797 1800.08/1786.34 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.08/1786.34 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.08/1786.34 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.08/1786.34 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.08/1786.34 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 1800.08/1786.34 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.08/1786.34 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.08/1786.34 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 x962 x963 x964 x965 x966 1800.08/1786.34 v x967 x968 x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1800.08/1786.34 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.08/1786.34 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.08/1786.34 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.08/1786.34 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1800.08/1786.34 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1800.08/1786.34 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1800.08/1786.34 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1800.08/1786.34 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.08/1786.34 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1800.08/1786.34 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1800.08/1786.34 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1800.08/1786.34 v -x1177 -x1178 -x1179 -x1180 x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 1800.08/1786.34 v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 1800.08/1786.34 v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 1800.08/1786.34 v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 1800.08/1786.34 v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 1800.08/1786.34 v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 1800.08/1786.34 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1800.08/1786.34 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 1800.08/1786.34 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1800.08/1786.34 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1800.08/1786.34 v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 1800.08/1786.34 v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 1800.08/1786.34 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1800.08/1786.34 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 -x1413 -x1414 -x1415 1800.08/1786.34 v -x1416 -x1417 -x1418 -x1419 -x1420 x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 1800.08/1786.34 v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 1800.08/1786.34 v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 1800.08/1786.34 v -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 1800.08/1786.34 v -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 1800.08/1786.34 v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 1800.08/1786.34 v -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 1800.08/1786.34 v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 1800.08/1786.34 v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 x1562 x1563 x1564 x1565 x1566 x1567 x1568 x1569 x1570 -x1571 1800.08/1786.34 v -x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 1800.08/1786.34 v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 1800.08/1786.34 v -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 1800.08/1786.34 v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 1800.08/1786.34 v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 1800.08/1786.34 v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 1800.08/1786.34 v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 1800.08/1786.34 v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 1800.08/1786.34 v -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 1800.08/1786.34 v -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 1800.08/1786.34 v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 1800.08/1786.34 v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 1800.08/1786.34 v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 1800.08/1786.34 v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 1800.08/1786.34 v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 1800.08/1786.34 v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 1800.08/1786.34 v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 1800.08/1786.34 v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 1800.08/1786.34 v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 1800.08/1786.34 v -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 1800.08/1786.34 v -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 1800.08/1786.34 v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 1800.08/1786.34 v -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 1800.08/1786.34 v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 1800.08/1786.34 v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 -x1992 -x1993 x1994 -x1995 -x1996 -x1997 1800.08/1786.34 v -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 1800.08/1786.34 v -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 1800.08/1786.34 v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 1800.08/1786.34 v -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 1800.08/1786.34 v -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 1800.08/1786.34 v -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 1800.08/1786.34 v -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 1800.08/1786.34 v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 1800.08/1786.34 v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 1800.08/1786.34 v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 1800.08/1786.34 v -x2168 -x2169 -x2170 x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 1800.08/1786.34 v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 1800.08/1786.34 v -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 1800.08/1786.34 v -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 1800.08/1786.34 v -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 1800.08/1786.34 v -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 1800.08/1786.34 v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 1800.08/1786.34 v -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 1800.08/1786.34 v -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 1800.08/1786.34 v -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 1800.08/1786.34 v -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 1800.08/1786.34 v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 1800.08/1786.34 v -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 1800.08/1786.34 v -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 1800.08/1786.34 v -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 1800.08/1786.34 v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 1800.08/1786.34 v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 1800.08/1786.34 v -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 1800.08/1786.34 v -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 1800.08/1786.34 v -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 1800.08/1786.34 v -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 1800.08/1786.34 v -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 1800.08/1786.34 v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 1800.08/1786.34 v -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 1800.08/1786.34 v -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 1800.08/1786.34 v -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 1800.08/1786.34 v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 1800.08/1786.34 v -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 1800.08/1786.34 v -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 1800.08/1786.34 v -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 1800.08/1786.34 v -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 1800.08/1786.34 v -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 x2712 -x2713 1800.08/1786.34 v -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 1800.08/1786.34 v x2731 x2732 x2733 x2734 x2735 x2736 x2737 x2738 x2739 x2740 x2741 x2742 x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 1800.08/1786.34 v -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 1800.08/1786.34 v -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 1800.08/1786.34 v -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 1800.08/1786.34 v -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 1800.08/1786.34 v -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 1800.08/1786.34 v -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 1800.08/1786.34 v -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 x2861 x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 1800.08/1786.34 v -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 1800.08/1786.34 v -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 1800.08/1786.34 v -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 1800.08/1786.34 v x2921 -x2922 -x2923 x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 1800.08/1786.34 v -x2939 -x2940 x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 1800.08/1786.34 v -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 1800.08/1786.34 v -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 1800.08/1786.34 v -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 x3006 1800.08/1786.34 v x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 x3018 -x3019 -x3020 -x3021 -x3022 -x3023 x3024 1800.08/1786.34 v -x3025 -x3026 x3027 -x3028 -x3029 -x3030 x3031 -x3032 x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 x3040 -x3041 -x3042 1800.08/1786.34 v -x3043 -x3044 -x3045 -x3046 -x3047 x3048 -x3049 -x3050 -x3051 -x3052 x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 1800.08/1786.34 v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 x3067 -x3068 -x3069 -x3070 -x3071 -x3072 x3073 -x3074 -x3075 -x3076 -x3077 -x3078 1800.08/1786.34 v -x3079 -x3080 x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 x3091 x3092 -x3093 -x3094 -x3095 x3096 1800.08/1786.34 v -x3097 x3098 x3099 -x3100 1800.08/1786.36 c objective function=5030911 1800.08/1786.36 c Total wall clock time (ms): 1785.954
OK 5030911
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-353858-1176686907 -o ROOT/results/node63/solver-353858-1176686907 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353858-1176686907/sat4jPseudoResolution.jar /tmp/evaluation/353858-1176686907/instance-353858-1176686907.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.05 1.02 3/64 8283 /proc/meminfo: memFree=1890876/2055920 swapFree=4184464/4192956 [pid=8283] ppid=8281 vsize=18568 CPUtime=0 /proc/8283/stat : 8283 (runsolver) D 8281 8283 7284 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 144680644 19013632 292 18446744073709551615 4194304 4296420 548682068832 18446744073709551615 247254805799 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0 /proc/8283/statm: 4642 292 257 24 0 2626 0 [startup+0.0491149 s] /proc/loadavg: 0.94 1.05 1.02 3/64 8283 /proc/meminfo: memFree=1890876/2055920 swapFree=4184464/4192956 [pid=8283] ppid=8281 vsize=12496 CPUtime=0.01 /proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 778 0 0 0 0 1 0 0 18 0 2 0 144680644 12795904 561 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0 /proc/8283/statm: 3124 561 250 9 0 1241 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12496 [startup+0.102115 s] /proc/loadavg: 0.94 1.05 1.02 3/64 8283 /proc/meminfo: memFree=1890876/2055920 swapFree=4184464/4192956 [pid=8283] ppid=8281 vsize=12620 CPUtime=0.01 /proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 847 0 0 0 0 1 0 0 18 0 2 0 144680644 12922880 604 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0 /proc/8283/statm: 3155 604 287 9 0 1243 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12620 [startup+0.302146 s] /proc/loadavg: 0.94 1.05 1.02 3/64 8283 /proc/meminfo: memFree=1890876/2055920 swapFree=4184464/4192956 [pid=8283] ppid=8281 vsize=1780256 CPUtime=0.1 /proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 4018 0 1 0 7 3 0 0 18 0 12 0 144680644 1822982144 3760 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8283/statm: 445064 3760 1124 9 0 442683 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1780256 [startup+0.701185 s] /proc/loadavg: 0.94 1.05 1.02 3/64 8283 /proc/meminfo: memFree=1890876/2055920 swapFree=4184464/4192956 [pid=8283] ppid=8281 vsize=1782136 CPUtime=0.6 /proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 5895 0 1 0 57 3 0 0 18 0 12 0 144680644 1824907264 5606 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8283/statm: 445534 5606 1288 9 0 443146 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 1782136 [startup+1.50127 s] /proc/loadavg: 0.94 1.05 1.02 4/76 8295 /proc/meminfo: memFree=1859996/2055920 swapFree=4184464/4192956 [pid=8283] ppid=8281 vsize=1795312 CPUtime=2.19 /proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 15109 0 1 0 210 9 0 0 18 0 12 0 144680644 1838399488 11040 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8283/statm: 448828 11040 1318 9 0 446440 0 [pid=8283/tid=8285] ppid=8281 vsize=1795312 CPUtime=0.66 /proc/8283/task/8285/stat : 8285 (java) R 8281 8283 7284 0 -1 64 6834 0 1 0 62 4 0 0 18 0 12 0 144680648 1838399488 11040 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8286] ppid=8281 vsize=1795312 CPUtime=0 /proc/8283/task/8286/stat : 8286 (java) S 8281 8283 7284 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 144680665 1838399488 11040 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8287] ppid=8281 vsize=1795312 CPUtime=0 /proc/8283/task/8287/stat : 8287 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 144680665 1838399488 11040 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8288] ppid=8281 vsize=1795312 CPUtime=0 /proc/8283/task/8288/stat : 8288 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 17 0 12 0 144680667 1838399488 11040 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8289] ppid=8281 vsize=1795312 CPUtime=0 /proc/8283/task/8289/stat : 8289 (java) S 8281 8283 7284 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 144680667 1838399488 11040 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8290] ppid=8281 vsize=1795312 CPUtime=0 /proc/8283/task/8290/stat : 8290 (java) S 8281 8283 7284 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 144680667 1838399488 11040 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8291] ppid=8281 vsize=1795312 CPUtime=0 /proc/8283/task/8291/stat : 8291 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 144680673 1838399488 11040 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8292] ppid=8281 vsize=1795312 CPUtime=0.69 /proc/8283/task/8292/stat : 8292 (java) R 8281 8283 7284 0 -1 64 2452 0 0 0 68 1 0 0 17 0 12 0 144680673 1838399488 11040 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 101749120 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8293] ppid=8281 vsize=1795312 CPUtime=0.81 /proc/8283/task/8293/stat : 8293 (java) R 8281 8283 7284 0 -1 64 5104 0 0 0 79 2 0 0 21 0 12 0 144680673 1838399488 11041 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 103315183 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8294] ppid=8281 vsize=1795312 CPUtime=0 /proc/8283/task/8294/stat : 8294 (java) S 8281 8283 7284 0 -1 64 2 0 0 0 0 0 0 0 24 0 12 0 144680673 1838399488 11041 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8295] ppid=8281 vsize=1795312 CPUtime=0 /proc/8283/task/8295/stat : 8295 (java) S 8281 8283 7284 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 144680673 1838399488 11041 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.19 Current children cumulated vsize (KiB) 1795312 [startup+3.10143 s] /proc/loadavg: 0.94 1.05 1.02 3/76 8296 /proc/meminfo: memFree=1842396/2055920 swapFree=4184464/4192956 [pid=8283] ppid=8281 vsize=1793636 CPUtime=4.2 /proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 24818 0 1 0 407 13 0 0 18 0 13 0 144680644 1836683264 18973 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8283/statm: 448409 18974 1319 9 0 446021 0 [pid=8283/tid=8285] ppid=8281 vsize=1793636 CPUtime=2.1 /proc/8283/task/8285/stat : 8285 (java) R 8281 8283 7284 0 -1 64 15057 0 1 0 203 7 0 0 25 0 13 0 144680648 1836683264 18974 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109694939 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8286] ppid=8281 vsize=1793636 CPUtime=0 /proc/8283/task/8286/stat : 8286 (java) S 8281 8283 7284 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 144680665 1836683264 18975 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8287] ppid=8281 vsize=1793636 CPUtime=0 /proc/8283/task/8287/stat : 8287 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 144680665 1836683264 18976 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8288] ppid=8281 vsize=1793636 CPUtime=0 /proc/8283/task/8288/stat : 8288 (java) S 8281 8283 7284 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 144680667 1836683264 18977 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8289] ppid=8281 vsize=1793636 CPUtime=0 /proc/8283/task/8289/stat : 8289 (java) S 8281 8283 7284 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 144680667 1836683264 18978 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8290] ppid=8281 vsize=1793636 CPUtime=0 /proc/8283/task/8290/stat : 8290 (java) S 8281 8283 7284 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 144680667 1836683264 18980 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8291] ppid=8281 vsize=1793636 CPUtime=0 /proc/8283/task/8291/stat : 8291 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 144680673 1836683264 18980 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8292] ppid=8281 vsize=1793636 CPUtime=1.05 /proc/8283/task/8292/stat : 8292 (java) S 8281 8283 7284 0 -1 64 3873 0 0 0 103 2 0 0 16 0 13 0 144680673 1836683264 18981 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8293] ppid=8281 vsize=1793636 CPUtime=1.03 /proc/8283/task/8293/stat : 8293 (java) S 8281 8283 7284 0 -1 64 5163 0 0 0 101 2 0 0 16 0 13 0 144680673 1836683264 18982 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8294] ppid=8281 vsize=1793636 CPUtime=0 /proc/8283/task/8294/stat : 8294 (java) S 8281 8283 7284 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 144680673 1836683264 18982 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8295] ppid=8281 vsize=1793636 CPUtime=0 /proc/8283/task/8295/stat : 8295 (java) S 8281 8283 7284 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144680673 1836683264 18983 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.2 Current children cumulated vsize (KiB) 1793636 [startup+6.30277 s] /proc/loadavg: 0.94 1.05 1.02 2/77 8298 /proc/meminfo: memFree=1758420/2055920 swapFree=4184464/4192956 [pid=8283] ppid=8281 vsize=1793444 CPUtime=7.41 /proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 45252 0 1 0 722 19 0 0 18 0 13 0 144680644 1836486656 39230 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8283/statm: 448361 39231 1319 9 0 445973 0 [pid=8283/tid=8285] ppid=8281 vsize=1793444 CPUtime=5.28 /proc/8283/task/8285/stat : 8285 (java) R 8281 8283 7284 0 -1 64 35490 0 1 0 515 13 0 0 25 0 13 0 144680648 1836486656 39231 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109554689 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8286] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8286/stat : 8286 (java) S 8281 8283 7284 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 144680665 1836486656 39231 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8287] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8287/stat : 8287 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 144680665 1836486656 39232 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8288] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8288/stat : 8288 (java) S 8281 8283 7284 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 39232 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8289] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8289/stat : 8289 (java) S 8281 8283 7284 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 144680667 1836486656 39232 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8290] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8290/stat : 8290 (java) S 8281 8283 7284 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 144680667 1836486656 39233 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8291] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8291/stat : 8291 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 144680673 1836486656 39233 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8292] ppid=8281 vsize=1793444 CPUtime=1.06 /proc/8283/task/8292/stat : 8292 (java) S 8281 8283 7284 0 -1 64 3874 0 0 0 104 2 0 0 17 0 13 0 144680673 1836486656 39234 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8293] ppid=8281 vsize=1793444 CPUtime=1.03 /proc/8283/task/8293/stat : 8293 (java) S 8281 8283 7284 0 -1 64 5163 0 0 0 101 2 0 0 16 0 13 0 144680673 1836486656 39234 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8294] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8294/stat : 8294 (java) S 8281 8283 7284 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 144680673 1836486656 39235 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8295] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8295/stat : 8295 (java) S 8281 8283 7284 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144680673 1836486656 39236 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8298] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8298/stat : 8298 (java) S 8281 8283 7284 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 144680873 1836486656 39236 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.41 Current children cumulated vsize (KiB) 1793444 [startup+12.7024 s] /proc/loadavg: 0.95 1.05 1.02 2/77 8298 /proc/meminfo: memFree=1710868/2055920 swapFree=4184464/4192956 [pid=8283] ppid=8281 vsize=1793444 CPUtime=13.92 /proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 51995 0 1 0 1370 22 0 0 18 0 13 0 144680644 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8283/statm: 448361 45884 1328 9 0 445973 0 [pid=8283/tid=8285] ppid=8281 vsize=1793444 CPUtime=11.6 /proc/8283/task/8285/stat : 8285 (java) R 8281 8283 7284 0 -1 64 37711 0 1 0 1146 14 0 0 22 0 13 0 144680648 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109522882 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8286] ppid=8281 vsize=1793444 CPUtime=0.04 /proc/8283/task/8286/stat : 8286 (java) S 8281 8283 7284 0 -1 64 2336 0 0 0 3 1 0 0 17 0 13 0 144680665 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8287] ppid=8281 vsize=1793444 CPUtime=0.03 /proc/8283/task/8287/stat : 8287 (java) S 8281 8283 7284 0 -1 64 2169 0 0 0 3 0 0 0 17 0 13 0 144680665 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8288] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8288/stat : 8288 (java) S 8281 8283 7284 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8289] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8289/stat : 8289 (java) S 8281 8283 7284 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8290] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8290/stat : 8290 (java) S 8281 8283 7284 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8291] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8291/stat : 8291 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 144680673 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8292] ppid=8281 vsize=1793444 CPUtime=1.15 /proc/8283/task/8292/stat : 8292 (java) S 8281 8283 7284 0 -1 64 3881 0 0 0 113 2 0 0 17 0 13 0 144680673 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8293] ppid=8281 vsize=1793444 CPUtime=1.06 /proc/8283/task/8293/stat : 8293 (java) S 8281 8283 7284 0 -1 64 5165 0 0 0 104 2 0 0 17 0 13 0 144680673 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8294] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8294/stat : 8294 (java) S 8281 8283 7284 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 144680673 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8295] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8295/stat : 8295 (java) S 8281 8283 7284 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144680673 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8298] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8298/stat : 8298 (java) S 8281 8283 7284 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 144680873 1836486656 45884 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 13.92 Current children cumulated vsize (KiB) 1793444 [startup+25.5028 s] /proc/loadavg: 0.96 1.05 1.02 2/77 8299 /proc/meminfo: memFree=1688340/2055920 swapFree=4184464/4192956 [pid=8283] ppid=8281 vsize=1793444 CPUtime=26.89 /proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 57793 0 1 0 2664 25 0 0 18 0 13 0 144680644 1836486656 51555 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8283/statm: 448361 51555 1329 9 0 445973 0 [pid=8283/tid=8285] ppid=8281 vsize=1793444 CPUtime=24.31 /proc/8283/task/8285/stat : 8285 (java) R 8281 8283 7284 0 -1 64 37715 0 1 0 2417 14 0 0 25 0 13 0 144680648 1836486656 51555 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109841525 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8286] ppid=8281 vsize=1793444 CPUtime=0.1 /proc/8283/task/8286/stat : 8286 (java) S 8281 8283 7284 0 -1 64 5054 0 0 0 8 2 0 0 16 0 13 0 144680665 1836486656 51555 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8287] ppid=8281 vsize=1793444 CPUtime=0.1 /proc/8283/task/8287/stat : 8287 (java) S 8281 8283 7284 0 -1 64 5229 0 0 0 8 2 0 0 17 0 13 0 144680665 1836486656 51555 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8288] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8288/stat : 8288 (java) S 8281 8283 7284 0 -1 64 17 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 51555 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8289] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8289/stat : 8289 (java) S 8281 8283 7284 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 51555 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=8283/tid=8288] ppid=8281 vsize=1793444 CPUtime=0.15 /proc/8283/task/8288/stat : 8288 (java) S 8281 8283 7284 0 -1 64 140 0 0 0 7 8 0 0 16 0 13 0 144680667 1836486656 355782 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8289] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8289/stat : 8289 (java) S 8281 8283 7284 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 355782 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8290] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8290/stat : 8290 (java) S 8281 8283 7284 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 355782 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8291] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8291/stat : 8291 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 144680673 1836486656 355782 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8292] ppid=8281 vsize=1793444 CPUtime=1.33 /proc/8283/task/8292/stat : 8292 (java) S 8281 8283 7284 0 -1 64 3897 0 0 0 131 2 0 0 17 0 13 0 144680673 1836486656 355782 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8293] ppid=8281 vsize=1793444 CPUtime=1.2 /proc/8283/task/8293/stat : 8293 (java) S 8281 8283 7284 0 -1 64 5175 0 0 0 118 2 0 0 17 0 13 0 144680673 1836486656 355782 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8294] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8294/stat : 8294 (java) S 8281 8283 7284 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 144680673 1836486656 355782 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8295] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8295/stat : 8295 (java) S 8281 8283 7284 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144680673 1836486656 355782 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8299] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8299/stat : 8299 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 144682240 1836486656 355782 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1614.63 Current children cumulated vsize (KiB) 1793444 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 8301 /proc/meminfo: memFree=456596/2055920 swapFree=4184464/4192956 [pid=8283] ppid=8281 vsize=1793444 CPUtime=1675.15 /proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 490705 0 1 0 167277 238 0 0 18 0 13 0 144680644 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8283/statm: 448361 358636 1332 9 0 445973 0 [pid=8283/tid=8285] ppid=8281 vsize=1793444 CPUtime=1648.14 /proc/8283/task/8285/stat : 8285 (java) R 8281 8283 7284 0 -1 64 46230 0 1 0 164790 24 0 0 23 0 13 0 144680648 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109700085 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8286] ppid=8281 vsize=1793444 CPUtime=12.12 /proc/8283/task/8286/stat : 8286 (java) S 8281 8283 7284 0 -1 64 222275 0 0 0 1110 102 0 0 17 0 13 0 144680665 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8287] ppid=8281 vsize=1793444 CPUtime=12.14 /proc/8283/task/8287/stat : 8287 (java) S 8281 8283 7284 0 -1 64 212258 0 0 0 1118 96 0 0 17 0 13 0 144680665 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8288] ppid=8281 vsize=1793444 CPUtime=0.15 /proc/8283/task/8288/stat : 8288 (java) S 8281 8283 7284 0 -1 64 147 0 0 0 7 8 0 0 16 0 13 0 144680667 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8289] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8289/stat : 8289 (java) S 8281 8283 7284 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8290] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8290/stat : 8290 (java) S 8281 8283 7284 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8291] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8291/stat : 8291 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 144680673 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8292] ppid=8281 vsize=1793444 CPUtime=1.33 /proc/8283/task/8292/stat : 8292 (java) S 8281 8283 7284 0 -1 64 3897 0 0 0 131 2 0 0 17 0 13 0 144680673 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8293] ppid=8281 vsize=1793444 CPUtime=1.2 /proc/8283/task/8293/stat : 8293 (java) S 8281 8283 7284 0 -1 64 5175 0 0 0 118 2 0 0 17 0 13 0 144680673 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8294] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8294/stat : 8294 (java) S 8281 8283 7284 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 144680673 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8295] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8295/stat : 8295 (java) S 8281 8283 7284 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144680673 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8299] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8299/stat : 8299 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 144682240 1836486656 358636 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1675.15 Current children cumulated vsize (KiB) 1793444 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 8301 /proc/meminfo: memFree=445012/2055920 swapFree=4184464/4192956 [pid=8283] ppid=8281 vsize=1793444 CPUtime=1735.61 /proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 496781 0 1 0 173318 243 0 0 18 0 13 0 144680644 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8283/statm: 448361 361486 1332 9 0 445973 0 [pid=8283/tid=8285] ppid=8281 vsize=1793444 CPUtime=1707.57 /proc/8283/task/8285/stat : 8285 (java) R 8281 8283 7284 0 -1 64 49263 0 1 0 170731 26 0 0 25 0 13 0 144680648 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109522854 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8286] ppid=8281 vsize=1793444 CPUtime=12.61 /proc/8283/task/8286/stat : 8286 (java) S 8281 8283 7284 0 -1 64 223774 0 0 0 1158 103 0 0 16 0 13 0 144680665 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8287] ppid=8281 vsize=1793444 CPUtime=12.64 /proc/8283/task/8287/stat : 8287 (java) S 8281 8283 7284 0 -1 64 213788 0 0 0 1167 97 0 0 16 0 13 0 144680665 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8288] ppid=8281 vsize=1793444 CPUtime=0.16 /proc/8283/task/8288/stat : 8288 (java) S 8281 8283 7284 0 -1 64 158 0 0 0 8 8 0 0 16 0 13 0 144680667 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8289] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8289/stat : 8289 (java) S 8281 8283 7284 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8290] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8290/stat : 8290 (java) S 8281 8283 7284 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8291] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8291/stat : 8291 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 144680673 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8292] ppid=8281 vsize=1793444 CPUtime=1.36 /proc/8283/task/8292/stat : 8292 (java) S 8281 8283 7284 0 -1 64 3900 0 0 0 134 2 0 0 17 0 13 0 144680673 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8293] ppid=8281 vsize=1793444 CPUtime=1.2 /proc/8283/task/8293/stat : 8293 (java) S 8281 8283 7284 0 -1 64 5175 0 0 0 118 2 0 0 17 0 13 0 144680673 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8294] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8294/stat : 8294 (java) S 8281 8283 7284 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 144680673 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8295] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8295/stat : 8295 (java) S 8281 8283 7284 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144680673 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8299] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8299/stat : 8299 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 144682240 1836486656 361486 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1735.61 Current children cumulated vsize (KiB) 1793444 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 8301 /proc/meminfo: memFree=422740/2055920 swapFree=4184464/4192956 [pid=8283] ppid=8281 vsize=1793444 CPUtime=1796.05 /proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 505125 0 1 0 179358 247 0 0 18 0 13 0 144680644 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8283/statm: 448361 366817 1332 9 0 445973 0 [pid=8283/tid=8285] ppid=8281 vsize=1793444 CPUtime=1767.01 /proc/8283/task/8285/stat : 8285 (java) R 8281 8283 7284 0 -1 64 53900 0 1 0 176672 29 0 0 25 0 13 0 144680648 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109678134 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8286] ppid=8281 vsize=1793444 CPUtime=13.12 /proc/8283/task/8286/stat : 8286 (java) S 8281 8283 7284 0 -1 64 226152 0 0 0 1207 105 0 0 16 0 13 0 144680665 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8287] ppid=8281 vsize=1793444 CPUtime=13.14 /proc/8283/task/8287/stat : 8287 (java) S 8281 8283 7284 0 -1 64 215105 0 0 0 1217 97 0 0 16 0 13 0 144680665 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8288] ppid=8281 vsize=1793444 CPUtime=0.16 /proc/8283/task/8288/stat : 8288 (java) S 8281 8283 7284 0 -1 64 170 0 0 0 8 8 0 0 15 0 13 0 144680667 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8289] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8289/stat : 8289 (java) S 8281 8283 7284 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8290] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8290/stat : 8290 (java) S 8281 8283 7284 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8291] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8291/stat : 8291 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 144680673 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8292] ppid=8281 vsize=1793444 CPUtime=1.36 /proc/8283/task/8292/stat : 8292 (java) S 8281 8283 7284 0 -1 64 3900 0 0 0 134 2 0 0 17 0 13 0 144680673 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8293] ppid=8281 vsize=1793444 CPUtime=1.2 /proc/8283/task/8293/stat : 8293 (java) S 8281 8283 7284 0 -1 64 5175 0 0 0 118 2 0 0 17 0 13 0 144680673 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8294] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8294/stat : 8294 (java) S 8281 8283 7284 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 144680673 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8295] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8295/stat : 8295 (java) S 8281 8283 7284 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144680673 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8299] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8299/stat : 8299 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 144682240 1836486656 366817 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.05 Current children cumulated vsize (KiB) 1793444 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 8301 /proc/meminfo: memFree=424852/2055920 swapFree=4184464/4192956 [pid=8283] ppid=8281 vsize=1793444 CPUtime=1800.08 /proc/8283/stat : 8283 (java) S 8281 8283 7284 0 -1 0 505135 0 1 0 179761 247 0 0 18 0 13 0 144680644 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8283/statm: 448361 366506 1332 9 0 445973 0 [pid=8283/tid=8285] ppid=8281 vsize=1793444 CPUtime=1770.99 /proc/8283/task/8285/stat : 8285 (java) R 8281 8283 7284 0 -1 64 53901 0 1 0 177070 29 0 0 18 0 13 0 144680648 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109677369 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8286] ppid=8281 vsize=1793444 CPUtime=13.15 /proc/8283/task/8286/stat : 8286 (java) S 8281 8283 7284 0 -1 64 226152 0 0 0 1210 105 0 0 16 0 13 0 144680665 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8287] ppid=8281 vsize=1793444 CPUtime=13.17 /proc/8283/task/8287/stat : 8287 (java) S 8281 8283 7284 0 -1 64 215114 0 0 0 1219 98 0 0 16 0 13 0 144680665 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8288] ppid=8281 vsize=1793444 CPUtime=0.16 /proc/8283/task/8288/stat : 8288 (java) S 8281 8283 7284 0 -1 64 170 0 0 0 8 8 0 0 16 0 13 0 144680667 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8289] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8289/stat : 8289 (java) S 8281 8283 7284 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8290] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8290/stat : 8290 (java) S 8281 8283 7284 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144680667 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8291] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8291/stat : 8291 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 144680673 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8292] ppid=8281 vsize=1793444 CPUtime=1.36 /proc/8283/task/8292/stat : 8292 (java) S 8281 8283 7284 0 -1 64 3900 0 0 0 134 2 0 0 17 0 13 0 144680673 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8293] ppid=8281 vsize=1793444 CPUtime=1.2 /proc/8283/task/8293/stat : 8293 (java) S 8281 8283 7284 0 -1 64 5175 0 0 0 118 2 0 0 17 0 13 0 144680673 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8294] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8294/stat : 8294 (java) S 8281 8283 7284 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 144680673 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8283/tid=8295] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8295/stat : 8295 (java) S 8281 8283 7284 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 144680673 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8283/tid=8299] ppid=8281 vsize=1793444 CPUtime=0 /proc/8283/task/8299/stat : 8299 (java) S 8281 8283 7284 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 144682240 1836486656 366506 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1793444 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1786.6 s] /proc/loadavg: 1.00 1.00 1.00 2/77 8301 /proc/meminfo: memFree=424852/2055920 swapFree=4184464/4192956 [pid=8283] ppid=8281 vsize=0 CPUtime=1800.42 /proc/8283/stat : 8283 (java) Z 8281 8283 7284 0 -1 1036 505154 0 1 0 179776 266 0 0 15 0 2 0 144680644 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8283/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.42 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1786.63 CPU time (s): 1800.45 CPU user time (s): 1797.76 CPU system time (s): 2.68859 CPU usage (%): 100.774 Max. virtual memory (cumulated for all children) (KiB): 1795312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.76 system time used= 2.68859 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 505154 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= 41160 involuntary context switches= 33829 runsolver used 1.81372 second user time and 4.72828 second system time The end
Begin job on node63 on Mon Apr 16 01:28:27 UTC 2007 IDJOB= 353858 IDBENCH= 2280 IDSOLVER= 159 FILE ID= node63/353858-1176686907 PBS_JOBID= 4559986 Free space on /tmp= 66550 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353858-1176686907/sat4jPseudoResolution.jar /tmp/evaluation/353858-1176686907/instance-353858-1176686907.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-353858-1176686907 -o ROOT/results/node63/solver-353858-1176686907 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353858-1176686907/sat4jPseudoResolution.jar /tmp/evaluation/353858-1176686907/instance-353858-1176686907.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= b5587ac28cf407bbfa21e21c74984478 RANDOM SEED= 79619744 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node63.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.232 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.232 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: 1891412 kB Buffers: 1504 kB Cached: 55232 kB SwapCached: 1880 kB Active: 71292 kB Inactive: 32268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1891412 kB SwapTotal: 4192956 kB SwapFree: 4184464 kB Dirty: 3768 kB Writeback: 0 kB Mapped: 53504 kB Slab: 46784 kB Committed_AS: 1948112 kB PageTables: 1604 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= 66550 MiB End job on node63 on Mon Apr 16 01:58:16 UTC 2007