Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.33 | 1782.4 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-grow22.opb |
MD5SUM | 16450e6196a99d1fc33b5d9a0f64103d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1782.76 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 25124 |
Total number of constraints | 1320 |
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 | 1320 |
Minimum length of a constraint | 22 |
Maximum length of a constraint | 491 |
Number of terms in the objective function | 1958 |
Biggest coefficient in the objective function | 8399 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 525721 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 256781 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 525721 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.19/0.20 --- Begin Solver configuration --- 0.19/0.20 c Stops conflict analysis at the first Unique Implication Point 0.19/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.19/0.20 c Learn all clauses as in MiniSAT 0.19/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.19/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.19/0.20 c No reason simplification 0.19/0.20 c --- End Solver configuration --- 0.19/0.20 c solving /tmp/evaluation/351118-1176581128/instance-351118-1176581128.opb 0.19/0.20 c reading problem ... 3.61/2.43 c ... done. Wall clock time 2.227s. 3.61/2.43 c CPU time (experimental) 1.78s. 3.61/2.43 c #vars 25124 3.61/2.43 c #constraints 1760 1272.66/1260.52 c cleaning 535929 clauses out of 1071990 for limit 0.5840244282523022 1295.54/1283.25 c cleaning 274762 clauses out of 549564 for limit 839104.3174672181 1334.05/1321.38 c cleaning 146631 clauses out of 293299 for limit 1.7127261685488329E-6 1337.68/1324.90 c cleaning 74524 clauses out of 149169 for limit 4.111818006586339E-5 1340.72/1327.97 c cleaning 38807 clauses out of 77646 for limit 0.0015906081692553791 1341.32/1328.59 c cleaning 19658 clauses out of 39337 for limit 0.005167350539007517 1349.93/1337.03 c cleaning 12778 clauses out of 25679 for limit 3.203035090073543 1353.25/1340.30 c cleaning 7883 clauses out of 15902 for limit 104.14966766788685 1353.65/1340.79 c cleaning 4193 clauses out of 8519 for limit 320.60988355720843 1356.49/1343.55 c cleaning 3347 clauses out of 6826 for limit 4880.661361434792 1359.42/1346.46 c cleaning 3171 clauses out of 6479 for limit 103436.13916066069 1359.72/1346.78 c cleaning 1826 clauses out of 3807 for limit 290013.8776670353 1360.02/1347.03 c cleaning 1240 clauses out of 2481 for limit 733889.6783498212 1363.35/1350.36 c cleaning 2870 clauses out of 5741 for limit 2.861363152462912E7 1363.65/1350.63 c cleaning 1686 clauses out of 3373 for limit 8.047650299658018E7 1363.85/1350.89 c cleaning 1019 clauses out of 2186 for limit 2.045769291402089E8 1366.89/1353.89 c cleaning 2833 clauses out of 5666 for limit 7.113751889272903E9 1367.20/1354.20 c cleaning 1665 clauses out of 3333 for limit 1.9943246513337975E10 1370.13/1357.00 c cleaning 3083 clauses out of 6168 for limit 9.722765005371844E11 1370.53/1357.46 c cleaning 1791 clauses out of 3585 for limit 2.758677172751275E12 1372.66/1359.60 c cleaning 1647 clauses out of 3294 for limit 1.3465860387236951E13 1373.25/1360.17 c cleaning 1006 clauses out of 2149 for limit 3.410721016834562E13 1375.39/1362.30 c cleaning 1010 clauses out of 2142 for limit 9.296948143736334E13 1380.65/1367.47 c cleaning 1256 clauses out of 2641 for limit 3.4124770622747844E14 1382.68/1369.43 c cleaning 863 clauses out of 1875 for limit 7.847794808060689E14 1393.19/1379.80 c cleaning 2250 clauses out of 4514 for limit 1.0835465886995252E-4 1398.14/1384.70 c cleaning 1866 clauses out of 3762 for limit 5.819544456686405E-4 1408.56/1395.03 c cleaning 2129 clauses out of 4398 for limit 0.006084165442114904 1410.68/1397.18 c cleaning 1315 clauses out of 2767 for limit 0.01591600050770616 1421.00/1407.39 c cleaning 1913 clauses out of 3954 for limit 0.13613032992806168 1428.89/1415.15 c cleaning 1955 clauses out of 4045 for limit 0.9881767493844026 1431.42/1417.64 c cleaning 1477 clauses out of 3085 for limit 3.5062041865278575 1436.08/1422.24 c cleaning 1488 clauses out of 3108 for limit 15.609141702636913 1439.00/1425.19 c cleaning 1244 clauses out of 2619 for limit 50.32708741880868 1444.05/1430.19 c cleaning 1371 clauses out of 2875 for limit 205.62082987720203 1449.32/1435.30 c cleaning 1435 clauses out of 3004 for limit 882.6178154333976 1454.68/1440.66 c cleaning 1464 clauses out of 3069 for limit 3874.7473530311563 1465.30/1451.13 c cleaning 1985 clauses out of 4105 for limit 35335.11851419267 1467.14/1452.91 c cleaning 1237 clauses out of 2621 for limit 91357.26544747321 1469.77/1455.58 c cleaning 1131 clauses out of 2386 for limit 273476.7881913903 1473.00/1458.76 c cleaning 1307 clauses out of 2753 for limit 1060921.7089068133 1475.93/1461.61 c cleaning 2153 clauses out of 4445 for limit 1.3204397586630996E7 1480.59/1466.28 c cleaning 1896 clauses out of 3792 for limit 6.942081215816468E7 1483.41/1469.03 c cleaning 1448 clauses out of 2898 for limit 2.4753717786059296E8 1486.04/1471.66 c cleaning 1165 clauses out of 2450 for limit 7.963142841320702E8 1488.67/1474.21 c cleaning 1078 clauses out of 2288 for limit 2.3260009066198373E9 1497.36/1482.89 c cleaning 2289 clauses out of 4706 for limit 3.7365185178082275E10 1501.81/1487.23 c cleaning 1892 clauses out of 3918 for limit 2.0149153383267755E11 1504.43/1489.86 c cleaning 1442 clauses out of 3024 for limit 7.085690819590593E11 1508.76/1494.18 c cleaning 4287 clauses out of 8582 for limit 2.7476277437902162E-6 1509.46/1494.83 c cleaning 2393 clauses out of 4797 for limit 8.12272210237946E-6 1513.91/1499.29 c cleaning 4693 clauses out of 9406 for limit 0.004567912549638419 1514.20/1499.58 c cleaning 2535 clauses out of 5216 for limit 0.01362525362066551 1514.50/1499.88 c cleaning 1513 clauses out of 3174 for limit 0.036668197333559166 1514.90/1500.20 c cleaning 1002 clauses out of 2167 for limit 0.08910468282525234 1515.20/1500.51 c cleaning 752 clauses out of 1667 for limit 0.19140300448348768 1515.50/1500.81 c cleaning 629 clauses out of 1409 for limit 0.37121214253364526 1515.80/1501.10 c cleaning 554 clauses out of 1281 for limit 0.6740225646568756 1516.10/1501.42 c cleaning 539 clauses out of 1224 for limit 1.1598304315151928 1520.04/1505.40 c cleaning 3268 clauses out of 6693 for limit 86.51707547978458 1520.44/1505.74 c cleaning 1880 clauses out of 3917 for limit 241.8515510218389 1520.74/1506.08 c cleaning 1185 clauses out of 2544 for limit 618.4189811295454 1521.14/1506.42 c cleaning 857 clauses out of 1869 for limit 1402.1407822733584 1521.34/1506.70 c cleaning 668 clauses out of 1504 for limit 2850.577672812764 1521.64/1506.92 c cleaning 590 clauses out of 1332 for limit 5286.817641666988 1521.84/1507.18 c cleaning 543 clauses out of 1244 for limit 9354.123200284548 1522.14/1507.46 c cleaning 521 clauses out of 1197 for limit 15967.876148087977 1522.44/1507.75 c cleaning 508 clauses out of 1177 for limit 26807.43377464459 1522.74/1508.05 c cleaning 506 clauses out of 1170 for limit 44518.061146875385 1525.88/1511.16 c cleaning 2758 clauses out of 5666 for limit 1370482.2871458018 1526.19/1511.46 c cleaning 1610 clauses out of 3401 for limit 3739018.9797672923 1526.48/1511.79 c cleaning 1075 clauses out of 2304 for limit 9221177.182352806 1526.88/1512.10 c cleaning 785 clauses out of 1721 for limit 2.0196111708302386E7 1527.18/1512.44 c cleaning 632 clauses out of 1433 for limit 3.987996750863786E7 1527.47/1512.72 c cleaning 649 clauses out of 1299 for limit 7.240669066683817E7 1531.76/1516.92 c cleaning 1575 clauses out of 3151 for limit 3.6446295607245725E8 1532.06/1517.26 c cleaning 1033 clauses out of 2078 for limit 9.13232090187799E8 1532.36/1517.57 c cleaning 685 clauses out of 1543 for limit 2.0241730784732404E9 1534.29/1519.43 c cleaning 679 clauses out of 1358 for limit 3.7928851086538296E9 1537.03/1522.16 c cleaning 766 clauses out of 1678 for limit 8.339783245016237E9 1539.46/1524.54 c cleaning 1138 clauses out of 2412 for limit 2.6021784582993263E10 1540.35/1525.40 c cleaning 884 clauses out of 1774 for limit 5.834674759273664E10 1541.79/1526.86 c cleaning 929 clauses out of 1890 for limit 1.4894304818786298E11 1544.61/1529.65 c cleaning 986 clauses out of 1973 for limit 3.9271805832601227E11 1547.04/1532.02 c cleaning 987 clauses out of 1975 for limit 1.0542375717414795E12 1547.44/1532.46 c cleaning 744 clauses out of 1490 for limit 2.309107925960234E12 1549.37/1534.33 c cleaning 567 clauses out of 1244 for limit 4.551944764775275E12 1551.21/1536.18 c cleaning 511 clauses out of 1177 for limit 7.934083888314223E12 1554.24/1539.11 c cleaning 767 clauses out of 1667 for limit 1.5250494880872955E13 1555.97/1540.88 c cleaning 879 clauses out of 1902 for limit 3.642418319844514E13 1556.47/1541.35 c cleaning 760 clauses out of 1520 for limit 7.493920783731195E13 1558.50/1543.32 c cleaning 880 clauses out of 1760 for limit 1.7601585603281716E14 1561.33/1546.12 c cleaning 1116 clauses out of 2380 for limit 5.837880003465836E14 1563.16/1547.97 c cleaning 1627 clauses out of 3266 for limit 3.1528877717264016E-5 1563.46/1548.26 c cleaning 1062 clauses out of 2138 for limit 7.93484352517196E-5 1563.66/1548.45 c cleaning 735 clauses out of 1575 for limit 1.7745444604662215E-4 1563.97/1548.73 c cleaning 663 clauses out of 1340 for limit 3.4396838844409107E-4 1564.26/1549.03 c cleaning 565 clauses out of 1180 for limit 6.461014936600323E-4 1564.56/1549.31 c cleaning 474 clauses out of 1113 for limit 0.0011273907091711255 1565.99/1550.73 c cleaning 1001 clauses out of 2138 for limit 0.0026296325337755383 1568.43/1553.12 c cleaning 996 clauses out of 2139 for limit 0.007162634299154068 1569.53/1554.23 c cleaning 749 clauses out of 1643 for limit 0.015378071867870411 1571.36/1556.06 c cleaning 1123 clauses out of 2392 for limit 0.047279939462602984 1573.68/1558.30 c cleaning 1305 clauses out of 2771 for limit 0.18341643413243108 1574.28/1558.95 c cleaning 902 clauses out of 1966 for limit 0.426331228096991 1575.81/1560.43 c cleaning 955 clauses out of 2062 for limit 1.1032774666222784 1576.51/1561.18 c cleaning 720 clauses out of 1607 for limit 2.334605043564049 1578.94/1563.51 c cleaning 871 clauses out of 1888 for limit 5.409705112614093 1583.89/1568.46 c cleaning 1188 clauses out of 2518 for limit 18.210506656752695 1586.52/1571.08 c cleaning 1099 clauses out of 2330 for limit 53.52215701487716 1589.15/1573.60 c cleaning 1045 clauses out of 2229 for limit 151.85259249263805 1591.08/1575.50 c cleaning 771 clauses out of 1686 for limit 331.74135906588333 1594.52/1578.95 c cleaning 895 clauses out of 1919 for limit 795.8514945646932 1596.26/1580.68 c cleaning 691 clauses out of 1519 for limit 1649.8048090601862 1599.28/1583.61 c cleaning 847 clauses out of 1830 for limit 3731.8144921211115 1603.94/1588.26 c cleaning 1175 clauses out of 2480 for limit 12313.558599635562 1605.97/1590.29 c cleaning 1322 clauses out of 2806 for limit 48859.58438950796 1606.67/1590.92 c cleaning 911 clauses out of 1983 for limit 113903.24480561989 1607.17/1591.45 c cleaning 715 clauses out of 1572 for limit 236952.96951227254 1608.40/1592.62 c cleaning 848 clauses out of 1859 for limit 546029.4980865711 1608.90/1593.13 c cleaning 666 clauses out of 1510 for limit 1107490.2790018965 1609.30/1593.59 c cleaning 580 clauses out of 1343 for limit 2051456.12363869 1609.70/1593.91 c cleaning 632 clauses out of 1265 for limit 3598923.6262203557 1611.22/1595.49 c cleaning 1061 clauses out of 2132 for limit 9567734.269212306 1611.72/1595.95 c cleaning 781 clauses out of 1570 for limit 2.140513780071124E7 1612.12/1596.37 c cleaning 643 clauses out of 1289 for limit 4.2995266986438505E7 1612.42/1596.68 c cleaning 491 clauses out of 1148 for limit 7.977312219095118E7 1613.96/1598.15 c cleaning 740 clauses out of 1655 for limit 1.5019076534594154E8 1614.65/1598.80 c cleaning 706 clauses out of 1417 for limit 2.8986534009391904E8 1616.98/1601.15 c cleaning 786 clauses out of 1712 for limit 6.5314358323062E8 1619.80/1603.91 c cleaning 964 clauses out of 1929 for limit 1.5812316788679376E9 1622.33/1606.47 c cleaning 979 clauses out of 1959 for limit 4.209184878891515E9 1627.19/1611.21 c cleaning 1240 clauses out of 2480 for limit 1.4912429989259224E10 1630.12/1614.12 c cleaning 1046 clauses out of 2240 for limit 4.490181066445657E10 1631.65/1615.69 c cleaning 777 clauses out of 1695 for limit 9.795634426113058E10 1634.68/1618.65 c cleaning 959 clauses out of 1919 for limit 2.3554483333234268E11 1637.51/1621.49 c cleaning 979 clauses out of 1958 for limit 6.265830179523193E11 1640.14/1624.01 c cleaning 920 clauses out of 1979 for limit 1.6859989020183232E12 1641.87/1625.78 c cleaning 704 clauses out of 1560 for limit 3.530765563093445E12 1644.90/1628.70 c cleaning 850 clauses out of 1857 for limit 8.074727267673564E12 1645.70/1629.59 c cleaning 752 clauses out of 1505 for limit 1.6397971594713982E13 1647.02/1630.82 c cleaning 628 clauses out of 1256 for limit 3.250097672233383E13 1650.36/1634.16 c cleaning 743 clauses out of 1625 for limit 6.8114712113115875E13 1652.08/1635.87 c cleaning 689 clauses out of 1383 for limit 1.3211815778811838E14 1655.12/1638.86 c cleaning 842 clauses out of 1693 for limit 2.932276998302254E14 1657.75/1641.41 c cleaning 924 clauses out of 1852 for limit 7.297384925478987E-6 1660.58/1644.26 c cleaning 952 clauses out of 1927 for limit 1.905477325264958E-5 1665.73/1649.34 c cleaning 1232 clauses out of 2477 for limit 6.661870370947997E-5 1667.86/1651.47 c cleaning 1319 clauses out of 2744 for limit 2.694456809946352E-4 1668.96/1652.57 c cleaning 898 clauses out of 1929 for limit 6.346248007797613E-4 1670.49/1654.06 c cleaning 698 clauses out of 1528 for limit 0.0013172805068494906 1671.49/1655.05 c cleaning 595 clauses out of 1329 for limit 0.0024951577828148637 1672.92/1656.43 c cleaning 548 clauses out of 1233 for limit 0.0044307912897451306 1674.02/1657.51 c cleaning 522 clauses out of 1186 for limit 0.007604139572108653 1675.75/1659.24 c cleaning 1009 clauses out of 2163 for limit 0.018681485126394434 1679.07/1662.57 c cleaning 1004 clauses out of 2155 for limit 0.05104661273641819 1680.80/1664.22 c cleaning 751 clauses out of 1653 for limit 0.10996798332046548 1684.02/1667.47 c cleaning 871 clauses out of 1899 for limit 0.2595508098028057 1687.05/1670.41 c cleaning 941 clauses out of 2028 for limit 0.6609843491117267 1688.78/1672.20 c cleaning 733 clauses out of 1588 for limit 1.3934745062716742 1692.22/1675.56 c cleaning 864 clauses out of 1854 for limit 3.242776807014976 1693.95/1677.21 c cleaning 1179 clauses out of 2490 for limit 10.829168266145269 1694.65/1677.97 c cleaning 829 clauses out of 1811 for limit 24.55454470237654 1697.58/1680.84 c cleaning 921 clauses out of 1983 for limit 61.0483467939847 1699.91/1683.14 c cleaning 959 clauses out of 2064 for limit 159.83346937748195 1701.74/1684.96 c cleaning 731 clauses out of 1604 for limit 338.8398108891959 1705.07/1688.28 c cleaning 871 clauses out of 1872 for limit 788.8060128886084 1706.90/1690.02 c cleaning 1181 clauses out of 2500 for limit 2646.483541506879 1707.10/1690.26 c cleaning 840 clauses out of 1820 for limit 6001.063426309551 1707.40/1690.53 c cleaning 669 clauses out of 1479 for limit 12166.139899600967 1707.61/1690.76 c cleaning 586 clauses out of 1311 for limit 22657.327762543264 1707.90/1691.01 c cleaning 540 clauses out of 1225 for limit 39988.1375431244 1708.10/1691.25 c cleaning 523 clauses out of 1186 for limit 68182.50856192099 1708.40/1691.51 c cleaning 516 clauses out of 1162 for limit 114649.69715880991 1708.60/1691.73 c cleaning 502 clauses out of 1145 for limit 191688.0010462624 1708.79/1691.92 c cleaning 500 clauses out of 1143 for limit 316672.29667011433 1708.99/1692.14 c cleaning 504 clauses out of 1144 for limit 522300.78254434187 1709.19/1692.34 c cleaning 496 clauses out of 1140 for limit 864366.1217311372 1710.93/1694.06 c cleaning 2002 clauses out of 4143 for limit 7882143.767536407 1711.12/1694.27 c cleaning 1321 clauses out of 2643 for limit 2.0416769827517714E7 1711.32/1694.45 c cleaning 910 clauses out of 1821 for limit 4.8819758336249106E7 1711.52/1694.66 c cleaning 632 clauses out of 1410 for limit 1.0387423387206222E8 1711.82/1694.91 c cleaning 567 clauses out of 1278 for limit 1.8899572445932168E8 1711.93/1695.09 c cleaning 606 clauses out of 1212 for limit 3.289808453760622E8 1712.22/1695.31 c cleaning 553 clauses out of 1106 for limit 5.945302985947913E8 1712.32/1695.50 c cleaning 456 clauses out of 1052 for limit 1.0297570039657367E9 1712.52/1695.69 c cleaning 476 clauses out of 1096 for limit 1.6300308622090983E9 1712.82/1695.99 c cleaning 489 clauses out of 1120 for limit 2.6305359758371954E9 1713.13/1696.20 c cleaning 497 clauses out of 1131 for limit 4.295913721200728E9 1714.75/1697.85 c cleaning 1994 clauses out of 4136 for limit 3.904791577505272E10 1715.05/1698.11 c cleaning 1318 clauses out of 2640 for limit 1.0068420020839389E11 1715.26/1698.33 c cleaning 837 clauses out of 1822 for limit 2.405873374030302E11 1715.45/1698.56 c cleaning 742 clauses out of 1485 for limit 4.8680000251654376E11 1715.65/1698.75 c cleaning 621 clauses out of 1243 for limit 9.59095346522283E11 1715.85/1698.93 c cleaning 490 clauses out of 1124 for limit 1.7526351271795215E12 1716.05/1699.14 c cleaning 565 clauses out of 1133 for limit 2.86450304597375E12 1716.25/1699.35 c cleaning 533 clauses out of 1067 for limit 5.011135591604637E12 1716.46/1699.54 c cleaning 446 clauses out of 1034 for limit 8.527778701312228E12 1716.75/1699.87 c cleaning 472 clauses out of 1090 for limit 1.3367644060875979E13 1717.05/1700.12 c cleaning 490 clauses out of 1120 for limit 2.149751491545562E13 1718.79/1701.87 c cleaning 1738 clauses out of 3626 for limit 1.3303801514204448E14 1718.99/1702.09 c cleaning 1122 clauses out of 2390 for limit 3.3352666906323225E14 1719.19/1702.28 c cleaning 808 clauses out of 1767 for limit 7.432129919400068E14 1719.59/1702.65 c cleaning 640 clauses out of 1458 for limit 1.4839309524377748E15 1719.89/1702.94 c cleaning 569 clauses out of 1319 for limit 2.7078014772505695E15 1720.18/1703.21 c cleaning 625 clauses out of 1250 for limit 4.712023962918147E15 1722.71/1705.72 c cleaning 811 clauses out of 1629 for limit 9.872934145613895E-5 1724.33/1707.37 c cleaning 642 clauses out of 1313 for limit 2.009953112906367E-4 1726.97/1709.90 c cleaning 799 clauses out of 1671 for limit 4.2952255739179483E-4 1730.20/1713.17 c cleaning 869 clauses out of 1872 for limit 0.0010427215669206876 1732.04/1714.92 c cleaning 685 clauses out of 1504 for limit 0.002142479934485485 1732.83/1715.72 c cleaning 590 clauses out of 1318 for limit 0.004027824733559982 1734.96/1717.87 c cleaning 794 clauses out of 1728 for limit 0.008355145370900012 1735.56/1718.47 c cleaning 641 clauses out of 1434 for limit 0.01660368495821705 1736.99/1719.81 c cleaning 830 clauses out of 1793 for limit 0.03611479218757048 1737.39/1720.21 c cleaning 660 clauses out of 1465 for limit 0.07303864297516056 1738.49/1721.36 c cleaning 584 clauses out of 1307 for limit 0.13528188414003073 1740.42/1723.20 c cleaning 797 clauses out of 1729 for limit 0.2797944414067622 1742.95/1725.73 c cleaning 890 clauses out of 1923 for limit 0.6780410056362526 1743.75/1726.58 c cleaning 700 clauses out of 1532 for limit 1.4021609035277234 1746.19/1728.93 c cleaning 846 clauses out of 1832 for limit 3.188914854159023 1747.52/1730.26 c cleaning 680 clauses out of 1488 for limit 6.487694216751534 1748.81/1731.53 c cleaning 589 clauses out of 1308 for limit 12.17142553469619 1750.34/1733.02 c cleaning 543 clauses out of 1217 for limit 21.530071674805242 1751.54/1734.24 c cleaning 520 clauses out of 1177 for limit 36.822986891510666 1752.78/1735.43 c cleaning 509 clauses out of 1154 for limit 61.75071904788789 1756.20/1738.87 c cleaning 754 clauses out of 1645 for limit 117.81313144728179 1759.03/1741.62 c cleaning 873 clauses out of 1892 for limit 278.8590577700902 1760.56/1743.18 c cleaning 688 clauses out of 1518 for limit 572.6054685553812 1761.86/1744.42 c cleaning 600 clauses out of 1330 for limit 1077.7834462445733 1763.10/1745.62 c cleaning 544 clauses out of 1231 for limit 1922.274902502643 1764.39/1746.91 c cleaning 523 clauses out of 1186 for limit 3287.079704540514 1765.82/1748.33 c cleaning 509 clauses out of 1163 for limit 5528.038973469779 1767.02/1749.56 c cleaning 511 clauses out of 1154 for limit 9187.574826405604 1768.45/1750.90 c cleaning 502 clauses out of 1143 for limit 15297.355325908062 1771.37/1753.85 c cleaning 749 clauses out of 1641 for limit 28977.824504875574 1774.31/1756.79 c cleaning 880 clauses out of 1892 for limit 68354.16791334639 1775.83/1758.27 c cleaning 687 clauses out of 1512 for limit 141055.56629656744 1779.46/1761.86 c cleaning 845 clauses out of 1825 for limit 317827.10001217626 1781.29/1763.65 c cleaning 677 clauses out of 1484 for limit 647163.219978919 1783.22/1765.53 c cleaning 585 clauses out of 1305 for limit 1211222.9186520148 1786.36/1768.62 c cleaning 845 clauses out of 1724 for limit 2503497.437554172 1788.79/1771.06 c cleaning 862 clauses out of 1873 for limit 6229473.442744115 1791.92/1774.20 c cleaning 936 clauses out of 2012 for limit 1.5787284140072746E7 1793.84/1776.10 c cleaning 720 clauses out of 1575 for limit 3.3225859095449433E7 1795.87/1778.01 c cleaning 678 clauses out of 1357 for limit 6.372382554537768E7 1799.00/1781.11 c cleaning 837 clauses out of 1677 for limit 1.3995595290180117E8 1800.03/1782.11 c starts : 22 1800.03/1782.11 c conflicts : 1361281 1800.03/1782.11 c decisions : 1643931 1800.03/1782.11 c propagations : 63690502 1800.03/1782.11 c inspects : 941933673 1800.03/1782.11 c learnt literals : 10 1800.03/1782.11 c learnt binary clauses : 15 1800.03/1782.11 c learnt ternary clauses : 16 1800.03/1782.11 c learnt clauses : 1361271 1800.03/1782.11 c root simplifications : 0 1800.03/1782.11 c removed literals (reason simplification) : 0 1800.03/1782.11 c reason swapping (by a shorter reason) : 0 1800.03/1782.11 c Calls to reduceDB : 247 1800.03/1782.11 c speed (decisions/second) : 923.7638528165286 1800.03/1782.11 c non guided choices 10306 1800.03/1782.11 s UNKNOWN 1800.03/1782.11 c Total wall clock time (ms): 1781.911
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node73/watcher-351118-1176581128 -o ROOT/results/node73/solver-351118-1176581128 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351118-1176581128/sat4jPseudoResolution.jar /tmp/evaluation/351118-1176581128/instance-351118-1176581128.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.77 0.92 0.97 3/65 11213 /proc/meminfo: memFree=1751872/2055920 swapFree=4184012/4192956 [pid=11213] ppid=11211 vsize=18568 CPUtime=0 /proc/11213/stat : 11213 (runsolver) R 11211 11213 11150 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 106027666 19013632 292 18446744073709551615 4194304 4296420 548682068880 18446744073709551615 210723466535 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/11213/statm: 4642 292 257 24 0 2626 0 [startup+0.0201981 s] /proc/loadavg: 0.77 0.92 0.97 3/65 11213 /proc/meminfo: memFree=1751872/2055920 swapFree=4184012/4192956 [pid=11213] ppid=11211 vsize=12652 CPUtime=0 /proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 879 0 1 0 0 0 0 0 18 0 2 0 106027666 12955648 635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0 /proc/11213/statm: 3163 635 311 9 0 1243 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12652 [startup+0.101657 s] /proc/loadavg: 0.77 0.92 0.97 3/65 11213 /proc/meminfo: memFree=1751872/2055920 swapFree=4184012/4192956 [pid=11213] ppid=11211 vsize=1780108 CPUtime=0.08 /proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 3965 0 1 0 6 2 0 0 18 0 12 0 106027666 1822830592 3706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11213/statm: 445027 3706 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301681 s] /proc/loadavg: 0.77 0.92 0.97 3/65 11213 /proc/meminfo: memFree=1751872/2055920 swapFree=4184012/4192956 [pid=11213] ppid=11211 vsize=1782428 CPUtime=0.32 /proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 5318 0 1 0 29 3 0 0 18 0 12 0 106027666 1825206272 5057 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11213/statm: 445607 5057 1267 9 0 443219 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 1782428 [startup+0.70173 s] /proc/loadavg: 0.77 0.92 0.97 3/65 11213 /proc/meminfo: memFree=1751872/2055920 swapFree=4184012/4192956 [pid=11213] ppid=11211 vsize=1783016 CPUtime=0.93 /proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 7453 0 1 0 89 4 0 0 18 0 12 0 106027666 1825808384 6976 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11213/statm: 445754 6977 1302 9 0 443366 0 Current children cumulated CPU time (s) 0.93 Current children cumulated vsize (KiB) 1783016 [startup+1.50283 s] /proc/loadavg: 0.77 0.92 0.97 4/77 11225 /proc/meminfo: memFree=1716128/2055920 swapFree=4184012/4192956 [pid=11213] ppid=11211 vsize=1796620 CPUtime=2.52 /proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 24766 0 1 0 238 14 0 0 18 0 12 0 106027666 1839738880 20223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11213/statm: 449155 20225 1314 9 0 446767 0 [pid=11213/tid=11215] ppid=11211 vsize=1796620 CPUtime=0.96 /proc/11213/task/11215/stat : 11215 (java) R 11211 11213 11150 0 -1 64 15902 0 1 0 87 9 0 0 20 0 12 0 106027667 1839738880 20226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109520448 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11213/tid=11216] ppid=11211 vsize=1796620 CPUtime=0 /proc/11213/task/11216/stat : 11216 (java) S 11211 11213 11150 0 -1 64 3 0 0 0 0 0 0 0 20 0 12 0 106027669 1839738880 20227 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11217] ppid=11211 vsize=1796620 CPUtime=0 /proc/11213/task/11217/stat : 11217 (java) S 11211 11213 11150 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 106027669 1839738880 20228 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11213/tid=11218] ppid=11211 vsize=1796620 CPUtime=0 /proc/11213/task/11218/stat : 11218 (java) S 11211 11213 11150 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 106027671 1839738880 20229 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11219] ppid=11211 vsize=1796620 CPUtime=0 /proc/11213/task/11219/stat : 11219 (java) S 11211 11213 11150 0 -1 64 10 0 0 0 0 0 0 0 23 0 12 0 106027671 1839738880 20230 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11220] ppid=11211 vsize=1796620 CPUtime=0 /proc/11213/task/11220/stat : 11220 (java) S 11211 11213 11150 0 -1 64 4 0 0 0 0 0 0 0 24 0 12 0 106027671 1839738880 20231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11221] ppid=11211 vsize=1796620 CPUtime=0 /proc/11213/task/11221/stat : 11221 (java) S 11211 11213 11150 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 106027675 1839738880 20232 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11222] ppid=11211 vsize=1796620 CPUtime=0.75 /proc/11213/task/11222/stat : 11222 (java) S 11211 11213 11150 0 -1 64 3358 0 0 0 74 1 0 0 17 0 12 0 106027675 1839738880 20233 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11213/tid=11223] ppid=11211 vsize=1796620 CPUtime=0.78 /proc/11213/task/11223/stat : 11223 (java) R 11211 11213 11150 0 -1 64 4787 0 0 0 76 2 0 0 18 0 12 0 106027675 1839738880 20234 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103315195 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11224] ppid=11211 vsize=1796620 CPUtime=0 /proc/11213/task/11224/stat : 11224 (java) S 11211 11213 11150 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 106027675 1839738880 20235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11225] ppid=11211 vsize=1796620 CPUtime=0 /proc/11213/task/11225/stat : 11225 (java) S 11211 11213 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 106027675 1839738880 20236 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.52 Current children cumulated vsize (KiB) 1796620 [startup+3.10301 s] /proc/loadavg: 0.77 0.92 0.97 2/77 11225 /proc/meminfo: memFree=1603936/2055920 swapFree=4184012/4192956 [pid=11213] ppid=11211 vsize=1795104 CPUtime=4.64 /proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 53696 0 1 0 435 29 0 0 18 0 13 0 106027666 1838186496 47202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11213/statm: 448776 47202 1331 9 0 446388 0 [pid=11213/tid=11215] ppid=11211 vsize=1795104 CPUtime=2.25 /proc/11213/task/11215/stat : 11215 (java) R 11211 11213 11150 0 -1 64 37712 0 1 0 205 20 0 0 20 0 13 0 106027667 1838186496 47202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109848922 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11216] ppid=11211 vsize=1795104 CPUtime=0.09 /proc/11213/task/11216/stat : 11216 (java) S 11211 11213 11150 0 -1 64 3043 0 0 0 7 2 0 0 16 0 13 0 106027669 1838186496 47202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11217] ppid=11211 vsize=1795104 CPUtime=0.09 /proc/11213/task/11217/stat : 11217 (java) S 11211 11213 11150 0 -1 64 2437 0 0 0 8 1 0 0 17 0 13 0 106027669 1838186496 47202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11213/tid=11218] ppid=11211 vsize=1795104 CPUtime=0 /proc/11213/task/11218/stat : 11218 (java) S 11211 11213 11150 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 106027671 1838186496 47202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11219] ppid=11211 vsize=1795104 CPUtime=0 /proc/11213/task/11219/stat : 11219 (java) S 11211 11213 11150 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106027671 1838186496 47202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11220] ppid=11211 vsize=1795104 CPUtime=0 /proc/11213/task/11220/stat : 11220 (java) S 11211 11213 11150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106027671 1838186496 47202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11221] ppid=11211 vsize=1795104 CPUtime=0 /proc/11213/task/11221/stat : 11221 (java) S 11211 11213 11150 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 106027675 1838186496 47202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11222] ppid=11211 vsize=1795104 CPUtime=1.03 /proc/11213/task/11222/stat : 11222 (java) S 11211 11213 11150 0 -1 64 4554 0 0 0 102 1 0 0 15 0 13 0 106027675 1838186496 47202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11213/tid=11223] ppid=11211 vsize=1795104 CPUtime=1.13 /proc/11213/task/11223/stat : 11223 (java) S 11211 11213 11150 0 -1 64 5220 0 0 0 111 2 0 0 16 0 13 0 106027675 1838186496 47202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11224] ppid=11211 vsize=1795104 CPUtime=0 /proc/11213/task/11224/stat : 11224 (java) S 11211 11213 11150 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106027675 1838186496 47202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11225] ppid=11211 vsize=1795104 CPUtime=0 /proc/11213/task/11225/stat : 11225 (java) S 11211 11213 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106027675 1838186496 47202 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.64 Current children cumulated vsize (KiB) 1795104 [startup+6.30137 s] /proc/loadavg: 0.79 0.92 0.97 2/78 11226 /proc/meminfo: memFree=1541208/2055920 swapFree=4184012/4192956 [pid=11213] ppid=11211 vsize=1794944 CPUtime=8.01 /proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 60470 0 1 0 768 33 0 0 18 0 13 0 106027666 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11213/statm: 448736 53688 1333 9 0 446348 0 [pid=11213/tid=11215] ppid=11211 vsize=1794944 CPUtime=5.31 /proc/11213/task/11215/stat : 11215 (java) R 11211 11213 11150 0 -1 64 37716 0 1 0 511 20 0 0 20 0 13 0 106027667 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109599494 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11213/tid=11216] ppid=11211 vsize=1794944 CPUtime=0.19 /proc/11213/task/11216/stat : 11216 (java) S 11211 11213 11150 0 -1 64 6541 0 0 0 16 3 0 0 16 0 13 0 106027669 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11217] ppid=11211 vsize=1794944 CPUtime=0.19 /proc/11213/task/11217/stat : 11217 (java) S 11211 11213 11150 0 -1 64 5698 0 0 0 17 2 0 0 16 0 13 0 106027669 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11213/tid=11218] ppid=11211 vsize=1794944 CPUtime=0 /proc/11213/task/11218/stat : 11218 (java) S 11211 11213 11150 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 106027671 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11219] ppid=11211 vsize=1794944 CPUtime=0 /proc/11213/task/11219/stat : 11219 (java) S 11211 11213 11150 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106027671 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11220] ppid=11211 vsize=1794944 CPUtime=0 /proc/11213/task/11220/stat : 11220 (java) S 11211 11213 11150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106027671 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11221] ppid=11211 vsize=1794944 CPUtime=0 /proc/11213/task/11221/stat : 11221 (java) S 11211 11213 11150 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 106027675 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11222] ppid=11211 vsize=1794944 CPUtime=1.1 /proc/11213/task/11222/stat : 11222 (java) S 11211 11213 11150 0 -1 64 4560 0 0 0 108 2 0 0 16 0 13 0 106027675 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11223] ppid=11211 vsize=1794944 CPUtime=1.16 /proc/11213/task/11223/stat : 11223 (java) S 11211 11213 11150 0 -1 64 5223 0 0 0 114 2 0 0 15 0 13 0 106027675 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11224] ppid=11211 vsize=1794944 CPUtime=0 /proc/11213/task/11224/stat : 11224 (java) S 11211 11213 11150 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106027675 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11225] ppid=11211 vsize=1794944 CPUtime=0 /proc/11213/task/11225/stat : 11225 (java) S 11211 11213 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106027675 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11226] ppid=11211 vsize=1794944 CPUtime=0 /proc/11213/task/11226/stat : 11226 (java) S 11211 11213 11150 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 106027917 1838022656 53688 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 8.01 Current children cumulated vsize (KiB) 1794944 [startup+12.7021 s] /proc/loadavg: 0.81 0.92 0.97 2/78 11226 /proc/meminfo: memFree=1536152/2055920 swapFree=4184012/4192956 [pid=11213] ppid=11211 vsize=1793852 CPUtime=14.79 /proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 63255 0 1 0 1445 34 0 0 18 0 13 0 106027666 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11213/statm: 448463 55815 1333 9 0 446075 0 [pid=11213/tid=11215] ppid=11211 vsize=1793852 CPUtime=11.35 /proc/11213/task/11215/stat : 11215 (java) R 11211 11213 11150 0 -1 64 37721 0 1 0 1115 20 0 0 18 0 13 0 106027667 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109811999 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11213/tid=11216] ppid=11211 vsize=1793852 CPUtime=0.53 /proc/11213/task/11216/stat : 11216 (java) S 11211 11213 11150 0 -1 64 7951 0 0 0 49 4 0 0 16 0 13 0 106027669 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11217] ppid=11211 vsize=1793852 CPUtime=0.54 /proc/11213/task/11217/stat : 11217 (java) S 11211 11213 11150 0 -1 64 7064 0 0 0 51 3 0 0 16 0 13 0 106027669 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11213/tid=11218] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11218/stat : 11218 (java) S 11211 11213 11150 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 106027671 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11219] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11219/stat : 11219 (java) S 11211 11213 11150 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106027671 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11220] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11220/stat : 11220 (java) S 11211 11213 11150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106027671 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11221] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11221/stat : 11221 (java) S 11211 11213 11150 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 106027675 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11222] ppid=11211 vsize=1793852 CPUtime=1.11 /proc/11213/task/11222/stat : 11222 (java) S 11211 11213 11150 0 -1 64 4560 0 0 0 109 2 0 0 17 0 13 0 106027675 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11223] ppid=11211 vsize=1793852 CPUtime=1.19 /proc/11213/task/11223/stat : 11223 (java) S 11211 11213 11150 0 -1 64 5227 0 0 0 117 2 0 0 16 0 13 0 106027675 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11224] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11224/stat : 11224 (java) S 11211 11213 11150 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106027675 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11225] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11225/stat : 11225 (java) S 11211 11213 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106027675 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11226] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11226/stat : 11226 (java) S 11211 11213 11150 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 106027917 1836904448 55815 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.79 Current children cumulated vsize (KiB) 1793852 [startup+25.5016 s] /proc/loadavg: 0.85 0.93 0.97 2/78 11226 /proc/meminfo: memFree=1502296/2055920 swapFree=4184012/4192956 [pid=11213] ppid=11211 vsize=1793852 CPUtime=27.88 /proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 73114 0 1 0 2750 38 0 0 18 0 13 0 106027666 1836904448 63490 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11213/statm: 448463 63490 1333 9 0 446075 0 [pid=11213/tid=11215] ppid=11211 vsize=1793852 CPUtime=23.86 /proc/11213/task/11215/stat : 11215 (java) R 11211 11213 11150 0 -1 64 37728 0 1 0 2365 21 0 0 20 0 13 0 106027667 1836904448 63490 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109846412 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11213/tid=11216] ppid=11211 vsize=1793852 CPUtime=0.84 /proc/11213/task/11216/stat : 11216 (java) S 11211 11213 11150 0 -1 64 13369 0 0 0 77 7 0 0 16 0 13 0 106027669 1836904448 63490 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11217] ppid=11211 vsize=1793852 CPUtime=0.84 /proc/11213/task/11217/stat : 11217 (java) S 11211 11213 11150 0 -1 64 11498 0 0 0 79 5 0 0 16 0 13 0 106027669 1836904448 63490 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11213/tid=11218] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11218/stat : 11218 (java) S 11211 11213 11150 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 106027671 1836904448 63490 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11219] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11219/stat : 11219 (java) S 11211 11213 11150 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106027671 1836904448 63490 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/11213/task/11222/stat : 11222 (java) S 11211 11213 11150 0 -1 64 4568 0 0 0 121 2 0 0 16 0 13 0 106027675 1836904448 402669 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11223] ppid=11211 vsize=1793852 CPUtime=1.27 /proc/11213/task/11223/stat : 11223 (java) S 11211 11213 11150 0 -1 64 5233 0 0 0 125 2 0 0 17 0 13 0 106027675 1836904448 402669 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11224] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11224/stat : 11224 (java) S 11211 11213 11150 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106027675 1836904448 402669 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11225] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11225/stat : 11225 (java) S 11211 11213 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106027675 1836904448 402669 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11226] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11226/stat : 11226 (java) S 11211 11213 11150 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 106027917 1836904448 402669 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1557.5 Current children cumulated vsize (KiB) 1793852 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11226 /proc/meminfo: memFree=135896/2055920 swapFree=4184012/4192956 [pid=11213] ppid=11211 vsize=1793852 CPUtime=1618.21 /proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 587700 0 1 0 161514 307 0 0 18 0 13 0 106027666 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11213/statm: 448463 404337 1333 9 0 446075 0 [pid=11213/tid=11215] ppid=11211 vsize=1793852 CPUtime=1584.4 /proc/11213/task/11215/stat : 11215 (java) R 11211 11213 11150 0 -1 64 90801 0 1 0 158391 49 0 0 19 0 13 0 106027667 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109848712 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11213/tid=11216] ppid=11211 vsize=1793852 CPUtime=15.49 /proc/11213/task/11216/stat : 11216 (java) S 11211 11213 11150 0 -1 64 241241 0 0 0 1433 116 0 0 16 0 13 0 106027669 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11217] ppid=11211 vsize=1793852 CPUtime=15.5 /proc/11213/task/11217/stat : 11217 (java) S 11211 11213 11150 0 -1 64 244863 0 0 0 1428 122 0 0 16 0 13 0 106027669 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11213/tid=11218] ppid=11211 vsize=1793852 CPUtime=0.27 /proc/11213/task/11218/stat : 11218 (java) S 11211 11213 11150 0 -1 64 271 0 0 0 13 14 0 0 16 0 13 0 106027671 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11219] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11219/stat : 11219 (java) S 11211 11213 11150 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106027671 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11220] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11220/stat : 11220 (java) S 11211 11213 11150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106027671 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11221] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11221/stat : 11221 (java) S 11211 11213 11150 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 106027675 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11222] ppid=11211 vsize=1793852 CPUtime=1.23 /proc/11213/task/11222/stat : 11222 (java) S 11211 11213 11150 0 -1 64 4568 0 0 0 121 2 0 0 16 0 13 0 106027675 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11223] ppid=11211 vsize=1793852 CPUtime=1.27 /proc/11213/task/11223/stat : 11223 (java) S 11211 11213 11150 0 -1 64 5233 0 0 0 125 2 0 0 17 0 13 0 106027675 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11224] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11224/stat : 11224 (java) S 11211 11213 11150 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106027675 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11225] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11225/stat : 11225 (java) S 11211 11213 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106027675 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11226] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11226/stat : 11226 (java) S 11211 11213 11150 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 106027917 1836904448 404337 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1618.21 Current children cumulated vsize (KiB) 1793852 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11226 /proc/meminfo: memFree=129496/2055920 swapFree=4184012/4192956 [pid=11213] ppid=11211 vsize=1793852 CPUtime=1678.87 /proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 589287 0 1 0 167578 309 0 0 18 0 13 0 106027666 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11213/statm: 448463 405882 1333 9 0 446075 0 [pid=11213/tid=11215] ppid=11211 vsize=1793852 CPUtime=1643.58 /proc/11213/task/11215/stat : 11215 (java) R 11211 11213 11150 0 -1 64 90824 0 1 0 164309 49 0 0 25 0 13 0 106027667 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109848712 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11216] ppid=11211 vsize=1793852 CPUtime=16.21 /proc/11213/task/11216/stat : 11216 (java) S 11211 11213 11150 0 -1 64 242657 0 0 0 1504 117 0 0 16 0 13 0 106027669 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11217] ppid=11211 vsize=1793852 CPUtime=16.24 /proc/11213/task/11217/stat : 11217 (java) S 11211 11213 11150 0 -1 64 245011 0 0 0 1502 122 0 0 17 0 13 0 106027669 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11213/tid=11218] ppid=11211 vsize=1793852 CPUtime=0.27 /proc/11213/task/11218/stat : 11218 (java) S 11211 11213 11150 0 -1 64 271 0 0 0 13 14 0 0 16 0 13 0 106027671 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11219] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11219/stat : 11219 (java) S 11211 11213 11150 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106027671 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11220] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11220/stat : 11220 (java) S 11211 11213 11150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106027671 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11221] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11221/stat : 11221 (java) S 11211 11213 11150 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 106027675 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11222] ppid=11211 vsize=1793852 CPUtime=1.23 /proc/11213/task/11222/stat : 11222 (java) S 11211 11213 11150 0 -1 64 4568 0 0 0 121 2 0 0 16 0 13 0 106027675 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11223] ppid=11211 vsize=1793852 CPUtime=1.27 /proc/11213/task/11223/stat : 11223 (java) S 11211 11213 11150 0 -1 64 5233 0 0 0 125 2 0 0 17 0 13 0 106027675 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11224] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11224/stat : 11224 (java) S 11211 11213 11150 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106027675 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11225] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11225/stat : 11225 (java) S 11211 11213 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106027675 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11226] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11226/stat : 11226 (java) S 11211 11213 11150 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 106027917 1836904448 405882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1678.87 Current children cumulated vsize (KiB) 1793852 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11226 /proc/meminfo: memFree=124248/2055920 swapFree=4184012/4192956 [pid=11213] ppid=11211 vsize=1793852 CPUtime=1739.52 /proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 590908 0 1 0 173641 311 0 0 18 0 13 0 106027666 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11213/statm: 448463 407360 1333 9 0 446075 0 [pid=11213/tid=11215] ppid=11211 vsize=1793852 CPUtime=1702.8 /proc/11213/task/11215/stat : 11215 (java) R 11211 11213 11150 0 -1 64 90846 0 1 0 170231 49 0 0 25 0 13 0 106027667 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109849235 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11216] ppid=11211 vsize=1793852 CPUtime=16.93 /proc/11213/task/11216/stat : 11216 (java) S 11211 11213 11150 0 -1 64 242837 0 0 0 1576 117 0 0 16 0 13 0 106027669 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11213/tid=11217] ppid=11211 vsize=1793852 CPUtime=16.95 /proc/11213/task/11217/stat : 11217 (java) S 11211 11213 11150 0 -1 64 246430 0 0 0 1572 123 0 0 16 0 13 0 106027669 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11218] ppid=11211 vsize=1793852 CPUtime=0.27 /proc/11213/task/11218/stat : 11218 (java) S 11211 11213 11150 0 -1 64 271 0 0 0 13 14 0 0 15 0 13 0 106027671 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11219] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11219/stat : 11219 (java) S 11211 11213 11150 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106027671 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11220] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11220/stat : 11220 (java) S 11211 11213 11150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106027671 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11221] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11221/stat : 11221 (java) S 11211 11213 11150 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 106027675 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11222] ppid=11211 vsize=1793852 CPUtime=1.23 /proc/11213/task/11222/stat : 11222 (java) S 11211 11213 11150 0 -1 64 4568 0 0 0 121 2 0 0 16 0 13 0 106027675 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11223] ppid=11211 vsize=1793852 CPUtime=1.27 /proc/11213/task/11223/stat : 11223 (java) S 11211 11213 11150 0 -1 64 5233 0 0 0 125 2 0 0 17 0 13 0 106027675 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11224] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11224/stat : 11224 (java) S 11211 11213 11150 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106027675 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11225] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11225/stat : 11225 (java) S 11211 11213 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106027675 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11226] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11226/stat : 11226 (java) S 11211 11213 11150 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 106027917 1836904448 407360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1739.52 Current children cumulated vsize (KiB) 1793852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1782.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11226 /proc/meminfo: memFree=119128/2055920 swapFree=4184012/4192956 [pid=11213] ppid=11211 vsize=1793852 CPUtime=1800.03 /proc/11213/stat : 11213 (java) S 11211 11213 11150 0 -1 0 592039 0 1 0 179690 313 0 0 18 0 13 0 106027666 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11213/statm: 448463 408446 1333 9 0 446075 0 [pid=11213/tid=11215] ppid=11211 vsize=1793852 CPUtime=1761.78 /proc/11213/task/11215/stat : 11215 (java) R 11211 11213 11150 0 -1 64 90870 0 1 0 176129 49 0 0 24 0 13 0 106027667 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109811426 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11216] ppid=11211 vsize=1793852 CPUtime=17.71 /proc/11213/task/11216/stat : 11216 (java) S 11211 11213 11150 0 -1 64 242916 0 0 0 1653 118 0 0 17 0 13 0 106027669 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11213/tid=11217] ppid=11211 vsize=1793852 CPUtime=17.71 /proc/11213/task/11217/stat : 11217 (java) S 11211 11213 11150 0 -1 64 247458 0 0 0 1646 125 0 0 16 0 13 0 106027669 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11218] ppid=11211 vsize=1793852 CPUtime=0.28 /proc/11213/task/11218/stat : 11218 (java) S 11211 11213 11150 0 -1 64 271 0 0 0 14 14 0 0 16 0 13 0 106027671 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11219] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11219/stat : 11219 (java) S 11211 11213 11150 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106027671 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11220] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11220/stat : 11220 (java) S 11211 11213 11150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106027671 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11221] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11221/stat : 11221 (java) S 11211 11213 11150 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 106027675 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11222] ppid=11211 vsize=1793852 CPUtime=1.23 /proc/11213/task/11222/stat : 11222 (java) S 11211 11213 11150 0 -1 64 4568 0 0 0 121 2 0 0 16 0 13 0 106027675 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11223] ppid=11211 vsize=1793852 CPUtime=1.27 /proc/11213/task/11223/stat : 11223 (java) S 11211 11213 11150 0 -1 64 5233 0 0 0 125 2 0 0 17 0 13 0 106027675 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11224] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11224/stat : 11224 (java) S 11211 11213 11150 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106027675 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11225] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11225/stat : 11225 (java) S 11211 11213 11150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106027675 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11213/tid=11226] ppid=11211 vsize=1793852 CPUtime=0 /proc/11213/task/11226/stat : 11226 (java) S 11211 11213 11150 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 106027917 1836904448 408446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1793852 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11226 /proc/meminfo: memFree=119128/2055920 swapFree=4184012/4192956 [pid=11213] ppid=11211 vsize=0 CPUtime=1800.22 /proc/11213/stat : 11213 (java) Z 11211 11213 11150 0 -1 1036 592060 0 1 0 179693 329 0 0 16 0 2 0 106027666 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11213/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 0 Solver just ended. Dumping a history of the last processes samples [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11226 /proc/meminfo: memFree=119128/2055920 swapFree=4184012/4192956 [pid=11213] ppid=11211 vsize=0 CPUtime=1800.22 /proc/11213/stat : 11213 (java) Z 11211 11213 11150 0 -1 1036 592060 0 1 0 179693 329 0 0 16 0 2 0 106027666 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11213/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1782.4 CPU time (s): 1800.33 CPU user time (s): 1796.94 CPU system time (s): 3.39248 CPU usage (%): 101.006 Max. virtual memory (cumulated for all children) (KiB): 1796620 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.94 system time used= 3.39248 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 592060 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= 46744 involuntary context switches= 36021 runsolver used 2.31365 second user time and 5.68214 second system time The end
Begin job on node73 on Sat Apr 14 20:05:28 UTC 2007 IDJOB= 351118 IDBENCH= 1665 IDSOLVER= 159 FILE ID= node73/351118-1176581128 PBS_JOBID= 4556965 Free space on /tmp= 66559 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-grow22.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351118-1176581128/sat4jPseudoResolution.jar /tmp/evaluation/351118-1176581128/instance-351118-1176581128.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node73/watcher-351118-1176581128 -o ROOT/results/node73/solver-351118-1176581128 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351118-1176581128/sat4jPseudoResolution.jar /tmp/evaluation/351118-1176581128/instance-351118-1176581128.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 16450e6196a99d1fc33b5d9a0f64103d RANDOM SEED= 34021450 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node73.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.214 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.214 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: 1752344 kB Buffers: 25520 kB Cached: 165492 kB SwapCached: 2720 kB Active: 80880 kB Inactive: 134244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1752344 kB SwapTotal: 4192956 kB SwapFree: 4184012 kB Dirty: 5240 kB Writeback: 0 kB Mapped: 15440 kB Slab: 74480 kB Committed_AS: 860128 kB PageTables: 1412 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= 66559 MiB End job on node73 on Sat Apr 14 20:35:12 UTC 2007