Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.26 | 1787.36 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-sctap3.opb |
MD5SUM | c9c03ffbcefada456722b42cc16a80ad |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1895 |
Best CPU time to get the best result obtained on this benchmark | 1802 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1895 |
Optimality of the best value was proved | NO |
Number of variables | 74400 |
Total number of constraints | 1408 |
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 | 1408 |
Minimum length of a constraint | 90 |
Maximum length of a constraint | 930 |
Number of terms in the objective function | 55800 |
Biggest coefficient in the objective function | 718 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 571800 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 169126 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 571800 |
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.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.09/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.09/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.09/0.14 c no version file found!!! 0.09/0.14 c sun.arch.data.model 32 0.09/0.14 c java.version 1.6.0 0.09/0.14 c os.name Linux 0.09/0.14 c os.version 2.6.9-22.EL.rootsmp 0.09/0.14 c os.arch i386 0.09/0.14 c Free memory 1651659224 0.09/0.14 c Max memory 1654456320 0.09/0.14 c Total memory 1654456320 0.09/0.14 c Number of processors 2 0.09/0.19 --- Begin Solver configuration --- 0.09/0.19 c Stops conflict analysis at the first Unique Implication Point 0.09/0.19 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.09/0.19 c Learn all clauses as in MiniSAT 0.09/0.19 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.19 c VSIDS like heuristics from MiniSAT using a heap 0.09/0.19 c No reason simplification 0.09/0.19 c --- End Solver configuration --- 0.09/0.19 c solving /tmp/evaluation/351157-1176584162/instance-351157-1176584162.opb 0.09/0.19 c reading problem ... 4.37/3.11 c ... done. Wall clock time 2.923s. 4.37/3.11 c CPU time (experimental) 2.41s. 4.37/3.11 c #vars 74400 4.37/3.11 c #constraints 2028 1576.05/1565.62 c cleaning 791231 clauses out of 1582501 for limit 26.059909411837506 1590.67/1580.26 c cleaning 395882 clauses out of 791771 for limit 85.98203164099424 1596.37/1585.99 c cleaning 198190 clauses out of 396390 for limit 283.51432206473385 1602.47/1592.04 c cleaning 99329 clauses out of 198697 for limit 929.9481484313098 1606.37/1595.98 c cleaning 49929 clauses out of 99870 for limit 3057.313012584716 1617.60/1607.06 c cleaning 33449 clauses out of 66940 for limit 1.1100815719343109E11 1618.20/1607.62 c cleaning 16974 clauses out of 33992 for limit 3.608729101624271E11 1618.50/1607.92 c cleaning 8739 clauses out of 17518 for limit 1.154788273079429E12 1618.60/1608.08 c cleaning 4618 clauses out of 9281 for limit 3.6017786950614893E12 1618.70/1608.20 c cleaning 2581 clauses out of 5162 for limit 1.0668790142524791E13 1618.90/1608.30 c cleaning 1539 clauses out of 3078 for limit 2.94182550538121E13 1618.90/1608.39 c cleaning 1020 clauses out of 2041 for limit 7.331071079254448E13 1619.00/1608.48 c cleaning 760 clauses out of 1520 for limit 1.6217661157791428E14 1619.10/1608.57 c cleaning 607 clauses out of 1261 for limit 3.2270606109536225E14 1619.20/1608.67 c cleaning 563 clauses out of 1157 for limit 5.817659144014142E14 1619.30/1608.78 c cleaning 544 clauses out of 1089 for limit 1.0142314649428171E15 1619.40/1608.87 c cleaning 524 clauses out of 1048 for limit 1.74326374910092E15 1619.50/1608.96 c cleaning 510 clauses out of 1021 for limit 2.9420563824009875E15 1619.60/1609.05 c cleaning 490 clauses out of 1012 for limit 4.899893264324859E15 1619.70/1609.15 c cleaning 511 clauses out of 1022 for limit 8.00151315335782E15 1619.80/1609.23 c cleaning 505 clauses out of 1011 for limit 1.3339137543675298E16 1619.90/1609.34 c cleaning 505 clauses out of 1010 for limit 2.2108102356725192E16 1620.00/1609.43 c cleaning 501 clauses out of 1002 for limit 3.6640169203397296E16 1620.10/1609.51 c cleaning 499 clauses out of 999 for limit 6.048484434211368E16 1620.10/1609.59 c cleaning 483 clauses out of 1000 for limit 9.964785223802064E-4 1620.20/1609.68 c cleaning 492 clauses out of 1017 for limit 0.0016158568239102574 1620.30/1609.76 c cleaning 493 clauses out of 1026 for limit 0.0026440329776599584 1620.40/1609.85 c cleaning 494 clauses out of 1032 for limit 0.004330678125399767 1620.50/1609.94 c cleaning 503 clauses out of 1041 for limit 0.007101405242328449 1620.60/1610.03 c cleaning 502 clauses out of 1037 for limit 0.011744584171536204 1620.70/1610.11 c cleaning 498 clauses out of 1034 for limit 0.01940516043267065 1620.70/1610.20 c cleaning 496 clauses out of 1037 for limit 0.03194106692747909 1620.80/1610.29 c cleaning 502 clauses out of 1039 for limit 0.05246860179291335 1631.18/1620.53 c cleaning 13750 clauses out of 27537 for limit 1.0676190451859772E9 1631.58/1620.97 c cleaning 7122 clauses out of 14289 for limit 3.399820681577689E9 1631.78/1621.14 c cleaning 3811 clauses out of 7666 for limit 1.0440238212730448E10 1631.88/1621.24 c cleaning 2153 clauses out of 4354 for limit 3.028392580031465E10 1631.98/1621.37 c cleaning 1329 clauses out of 2703 for limit 8.060824447771068E10 1632.18/1621.51 c cleaning 936 clauses out of 1872 for limit 1.915607495711355E11 1632.28/1621.64 c cleaning 718 clauses out of 1436 for limit 4.11826054618653E11 1632.38/1621.77 c cleaning 609 clauses out of 1218 for limit 8.007129600133412E11 1632.58/1621.90 c cleaning 554 clauses out of 1109 for limit 1.4502687433939724E12 1632.68/1622.03 c cleaning 508 clauses out of 1056 for limit 2.5142387396998926E12 1632.78/1622.16 c cleaning 501 clauses out of 1047 for limit 4.177775757967359E12 1640.08/1629.33 c cleaning 10002 clauses out of 20046 for limit 0.6484009978422391 1640.38/1629.65 c cleaning 5248 clauses out of 10544 for limit 2.0329274979998493 1640.58/1629.82 c cleaning 2877 clauses out of 5796 for limit 6.098946135222533 1640.68/1629.94 c cleaning 1692 clauses out of 3419 for limit 17.050611567182138 1640.78/1630.06 c cleaning 1095 clauses out of 2228 for limit 43.19308996088033 1640.88/1630.19 c cleaning 795 clauses out of 1635 for limit 97.26052598796346 1640.98/1630.29 c cleaning 647 clauses out of 1337 for limit 195.55787766367115 1641.08/1630.40 c cleaning 575 clauses out of 1190 for limit 362.33947289796913 1641.28/1630.50 c cleaning 538 clauses out of 1117 for limit 637.8731871244293 1641.38/1630.61 c cleaning 521 clauses out of 1077 for limit 1088.8264952095553 1641.48/1630.71 c cleaning 507 clauses out of 1057 for limit 1831.4277699134832 1641.58/1630.81 c cleaning 504 clauses out of 1051 for limit 3040.552209886314 1641.68/1630.91 c cleaning 505 clauses out of 1045 for limit 5032.98636924276 1641.78/1631.01 c cleaning 498 clauses out of 1041 for limit 8340.3007963014 1641.88/1631.11 c cleaning 499 clauses out of 1042 for limit 13727.330809770792 1641.98/1631.22 c cleaning 498 clauses out of 1043 for limit 22616.50002031982 1642.08/1631.33 c cleaning 502 clauses out of 1045 for limit 37226.25108295173 1642.18/1631.45 c cleaning 498 clauses out of 1043 for limit 61508.788243447714 1642.27/1631.57 c cleaning 502 clauses out of 1046 for limit 101246.54079063331 1642.37/1631.67 c cleaning 499 clauses out of 1043 for limit 167281.8971891388 1642.47/1631.80 c cleaning 501 clauses out of 1047 for limit 275642.3820603959 1642.68/1631.91 c cleaning 501 clauses out of 1044 for limit 454966.1028431626 1642.78/1632.01 c cleaning 501 clauses out of 1044 for limit 751051.0188835916 1642.88/1632.11 c cleaning 502 clauses out of 1041 for limit 1239669.9452802138 1642.98/1632.20 c cleaning 498 clauses out of 1040 for limit 2048395.7270915285 1642.98/1632.29 c cleaning 521 clauses out of 1043 for limit 3371733.888048917 1643.08/1632.38 c cleaning 487 clauses out of 1020 for limit 5674456.760352704 1643.18/1632.46 c cleaning 517 clauses out of 1034 for limit 9240475.561951905 1643.27/1632.55 c cleaning 508 clauses out of 1017 for limit 1.5493509245777542E7 1643.37/1632.64 c cleaning 482 clauses out of 1009 for limit 2.575345313300004E7 1646.87/1636.06 c cleaning 5514 clauses out of 11031 for limit 8.634226262187549E10 1647.07/1636.28 c cleaning 3007 clauses out of 6015 for limit 2.6060907913125003E11 1647.27/1636.44 c cleaning 1731 clauses out of 3506 for limit 7.358683514912418E11 1647.37/1636.59 c cleaning 1118 clauses out of 2275 for limit 1.870193411969925E12 1647.60/1636.73 c cleaning 810 clauses out of 1658 for limit 4.2361740585076284E12 1647.70/1636.87 c cleaning 652 clauses out of 1346 for limit 8.588159985563626E12 1647.90/1637.04 c cleaning 596 clauses out of 1195 for limit 1.5968630783664643E13 1648.00/1637.17 c cleaning 549 clauses out of 1099 for limit 2.863477529292721E13 1648.20/1637.31 c cleaning 524 clauses out of 1049 for limit 4.942393944659354E13 1648.30/1637.48 c cleaning 490 clauses out of 1027 for limit 8.341944844139366E13 1648.50/1637.63 c cleaning 497 clauses out of 1035 for limit 1.3623361198140584E14 1648.60/1637.79 c cleaning 519 clauses out of 1038 for limit 2.2401812327035366E14 1652.77/1641.85 c cleaning 5492 clauses out of 11023 for limit 0.007732009428775438 1652.97/1642.07 c cleaning 2995 clauses out of 6028 for limit 0.02324723417639015 1653.17/1642.27 c cleaning 1749 clauses out of 3537 for limit 0.06559993489326511 1653.37/1642.46 c cleaning 1118 clauses out of 2284 for limit 0.16686306188939684 1653.57/1642.65 c cleaning 810 clauses out of 1665 for limit 0.3771060026920746 1653.77/1642.81 c cleaning 656 clauses out of 1356 for limit 0.764378376078804 1653.87/1642.96 c cleaning 579 clauses out of 1202 for limit 1.4249135783321976 1654.06/1643.12 c cleaning 537 clauses out of 1120 for limit 2.5143592046761123 1654.16/1643.28 c cleaning 523 clauses out of 1083 for limit 4.2881777070024 1654.37/1643.43 c cleaning 511 clauses out of 1063 for limit 7.226489719002921 1654.46/1643.59 c cleaning 506 clauses out of 1049 for limit 12.040305796787871 1663.14/1652.17 c cleaning 12249 clauses out of 24543 for limit 1.3796468522362328E10 1663.44/1652.47 c cleaning 6377 clauses out of 12798 for limit 4.3807393120587975E10 1663.64/1652.68 c cleaning 3438 clauses out of 6923 for limit 1.3381971322025897E11 1663.84/1652.84 c cleaning 1971 clauses out of 3980 for limit 3.8195718373060925E11 1663.94/1653.00 c cleaning 1232 clauses out of 2509 for limit 9.992012767209222E11 1664.14/1653.15 c cleaning 869 clauses out of 1784 for limit 2.333760371327299E12 1664.34/1653.32 c cleaning 703 clauses out of 1407 for limit 4.841019214528918E12 1664.44/1653.44 c cleaning 602 clauses out of 1205 for limit 9.331130337594275E12 1664.64/1653.60 c cleaning 527 clauses out of 1102 for limit 1.680974337441754E13 1664.74/1653.76 c cleaning 537 clauses out of 1075 for limit 2.841777691348795E13 1664.94/1653.93 c cleaning 495 clauses out of 1038 for limit 4.853523070998264E13 1665.14/1654.11 c cleaning 498 clauses out of 1043 for limit 7.965738228738034E13 1668.74/1657.61 c cleaning 4752 clauses out of 9546 for limit 7.091357607220526E-4 1668.93/1657.82 c cleaning 2618 clauses out of 5293 for limit 0.0021070279570017704 1669.13/1658.00 c cleaning 1566 clauses out of 3177 for limit 0.005800693088386299 1669.33/1658.20 c cleaning 1028 clauses out of 2109 for limit 0.014381605991030793 1669.53/1658.40 c cleaning 769 clauses out of 1581 for limit 0.03163792434131916 1669.63/1658.58 c cleaning 631 clauses out of 1312 for limit 0.06287267017637446 1669.84/1658.77 c cleaning 569 clauses out of 1182 for limit 0.11520429281053264 1670.03/1658.95 c cleaning 529 clauses out of 1113 for limit 0.20176547842603362 1670.23/1659.11 c cleaning 519 clauses out of 1083 for limit 0.34161343670690464 1670.33/1659.28 c cleaning 511 clauses out of 1065 for limit 0.5734614019825673 1670.53/1659.46 c cleaning 501 clauses out of 1053 for limit 0.9555354502171036 1674.13/1662.99 c cleaning 4500 clauses out of 9053 for limit 549.1199795863432 1674.44/1663.22 c cleaning 2500 clauses out of 5052 for limit 1621.129838241329 1674.63/1663.46 c cleaning 1502 clauses out of 3054 for limit 4431.359856560019 1674.83/1663.65 c cleaning 998 clauses out of 2051 for limit 10870.806533348104 1675.03/1663.83 c cleaning 748 clauses out of 1553 for limit 23676.19228228252 1675.23/1664.01 c cleaning 625 clauses out of 1305 for limit 46465.294002204326 1675.33/1664.19 c cleaning 561 clauses out of 1179 for limit 84731.86610111945 1675.54/1664.38 c cleaning 534 clauses out of 1119 for limit 147374.00589278326 1675.73/1664.56 c cleaning 512 clauses out of 1084 for limit 250635.77914139387 1675.93/1664.74 c cleaning 510 clauses out of 1072 for limit 417958.779213216 1676.13/1664.93 c cleaning 504 clauses out of 1062 for limit 695760.2412052545 1680.71/1669.45 c cleaning 7254 clauses out of 14559 for limit 6.15250430645448E10 1680.91/1669.60 c cleaning 3881 clauses out of 7804 for limit 1.8909828361383844E11 1681.01/1669.72 c cleaning 2211 clauses out of 4423 for limit 5.502294041303E11 1681.11/1669.82 c cleaning 1356 clauses out of 2712 for limit 1.479881484163368E12 1681.21/1669.91 c cleaning 928 clauses out of 1857 for limit 3.5677557659746016E12 1681.31/1670.00 c cleaning 714 clauses out of 1429 for limit 7.645936355534297E12 1681.41/1670.10 c cleaning 580 clauses out of 1215 for limit 1.483004662776447E13 1681.41/1670.19 c cleaning 567 clauses out of 1134 for limit 2.6177436521261004E13 1681.51/1670.28 c cleaning 510 clauses out of 1068 for limit 4.588379341763644E13 1681.61/1670.37 c cleaning 505 clauses out of 1057 for limit 7.63795255629131E13 1681.71/1670.46 c cleaning 527 clauses out of 1054 for limit 1.2657159221834788E14 1681.81/1670.55 c cleaning 513 clauses out of 1026 for limit 2.1421548856632647E14 1681.91/1670.64 c cleaning 506 clauses out of 1012 for limit 3.577989751070354E14 1682.01/1670.73 c cleaning 503 clauses out of 1006 for limit 5.935776102856344E14 1682.11/1670.82 c cleaning 483 clauses out of 1005 for limit 9.818255748700154E14 1682.21/1670.91 c cleaning 510 clauses out of 1020 for limit 1.5921614117982608E15 1682.31/1671.08 c cleaning 505 clauses out of 1010 for limit 2.6516840662082475E15 1682.51/1671.25 c cleaning 478 clauses out of 1005 for limit 4.394737889290096E15 1682.71/1671.42 c cleaning 489 clauses out of 1027 for limit 7.092257303252876E15 1682.81/1671.59 c cleaning 496 clauses out of 1038 for limit 1.1572134168964278E16 1683.01/1671.76 c cleaning 501 clauses out of 1042 for limit 1.9010738230174752E16 1683.21/1671.94 c cleaning 520 clauses out of 1041 for limit 3.1381367027693268E16 1683.41/1672.12 c cleaning 510 clauses out of 1021 for limit 5.2765824994423288E16 1690.20/1678.81 c cleaning 13230 clauses out of 26511 for limit 4029568.005217413 1690.40/1679.00 c cleaning 6872 clauses out of 13782 for limit 1.2795661790639665E7 1690.50/1679.13 c cleaning 3685 clauses out of 7411 for limit 3.928154705272028E7 1690.60/1679.24 c cleaning 2112 clauses out of 4225 for limit 1.1351677877150616E8 1690.70/1679.34 c cleaning 1287 clauses out of 2612 for limit 3.0250668380039847E8 1690.80/1679.43 c cleaning 893 clauses out of 1825 for limit 7.140048561209265E8 1690.90/1679.52 c cleaning 694 clauses out of 1432 for limit 1.5006413297678943E9 1691.00/1679.61 c cleaning 598 clauses out of 1240 for limit 2.8636711663628716E9 1691.10/1679.70 c cleaning 545 clauses out of 1141 for limit 5.127203590475781E9 1691.10/1679.79 c cleaning 531 clauses out of 1099 for limit 8.804971144217781E9 1691.20/1679.88 c cleaning 508 clauses out of 1064 for limit 1.4938322854947344E10 1691.30/1679.97 c cleaning 528 clauses out of 1056 for limit 2.4821923806954014E10 1691.40/1680.06 c cleaning 514 clauses out of 1028 for limit 4.204962515743045E10 1691.50/1680.14 c cleaning 507 clauses out of 1014 for limit 7.030288953050757E10 1691.60/1680.24 c cleaning 484 clauses out of 1007 for limit 1.1674480036260245E11 1691.70/1680.34 c cleaning 491 clauses out of 1023 for limit 1.895166062496337E11 1691.80/1680.45 c cleaning 516 clauses out of 1032 for limit 3.098126126256484E11 1692.00/1680.63 c cleaning 488 clauses out of 1016 for limit 5.189684669529687E11 1692.20/1680.80 c cleaning 492 clauses out of 1028 for limit 8.458579797847318E11 1692.30/1680.99 c cleaning 518 clauses out of 1036 for limit 1.3841612823896655E12 1692.50/1681.17 c cleaning 509 clauses out of 1019 for limit 2.3230719835872036E12 1692.70/1681.35 c cleaning 504 clauses out of 1009 for limit 3.8651562957772437E12 1692.90/1681.53 c cleaning 482 clauses out of 1006 for limit 6.399567799731149E12 1693.10/1681.71 c cleaning 511 clauses out of 1023 for limit 1.0367985156659734E13 1693.20/1681.88 c cleaning 489 clauses out of 1013 for limit 1.7284266499180146E13 1697.30/1685.88 c cleaning 7495 clauses out of 15025 for limit 0.023297061901187112 1697.60/1686.14 c cleaning 3993 clauses out of 8028 for limit 0.07176209914132897 1697.81/1686.36 c cleaning 2248 clauses out of 4536 for limit 0.20966206100577045 1698.00/1686.57 c cleaning 1373 clauses out of 2788 for limit 0.5625433746102234 1698.20/1686.77 c cleaning 936 clauses out of 1914 for limit 1.3499827692731288 1698.40/1686.95 c cleaning 720 clauses out of 1478 for limit 2.883046265336195 1698.60/1687.10 c cleaning 608 clauses out of 1259 for limit 5.5871549312015025 1698.70/1687.28 c cleaning 554 clauses out of 1152 for limit 10.07985684509782 1698.91/1687.43 c cleaning 522 clauses out of 1096 for limit 17.437457120509492 1699.10/1687.61 c cleaning 517 clauses out of 1074 for limit 29.3457566928931 1699.20/1687.79 c cleaning 504 clauses out of 1057 for limit 49.173428956915494 1699.40/1687.96 c cleaning 504 clauses out of 1053 for limit 81.40161037497015 1699.60/1688.14 c cleaning 504 clauses out of 1050 for limit 134.76045466194455 1699.80/1688.33 c cleaning 500 clauses out of 1047 for limit 223.0979007202723 1700.01/1688.51 c cleaning 501 clauses out of 1047 for limit 367.91828379093033 1703.19/1691.66 c cleaning 5006 clauses out of 10048 for limit 515643.20930808823 1703.30/1691.77 c cleaning 2748 clauses out of 5538 for limit 1536716.7237825682 1703.40/1691.88 c cleaning 1621 clauses out of 3291 for limit 4268834.18278078 1703.49/1691.98 c cleaning 1067 clauses out of 2171 for limit 1.0682373119433496E7 1703.59/1692.06 c cleaning 801 clauses out of 1602 for limit 2.3826042840149265E7 1703.69/1692.14 c cleaning 629 clauses out of 1301 for limit 4.8383025302918434E7 1703.79/1692.22 c cleaning 586 clauses out of 1173 for limit 8.858551284283443E7 1703.89/1692.31 c cleaning 525 clauses out of 1088 for limit 1.5766025305094072E8 1703.99/1692.40 c cleaning 503 clauses out of 1061 for limit 2.6608634878565726E8 1704.09/1692.50 c cleaning 531 clauses out of 1063 for limit 4.4018289206445813E8 1704.09/1692.59 c cleaning 513 clauses out of 1027 for limit 7.476172415644116E8 1704.19/1692.67 c cleaning 507 clauses out of 1014 for limit 1.248727523295025E9 1704.29/1692.76 c cleaning 503 clauses out of 1007 for limit 2.073633763674862E9 1704.40/1692.86 c cleaning 479 clauses out of 1005 for limit 3.429934788954328E9 1704.50/1693.00 c cleaning 489 clauses out of 1025 for limit 5.54050606693449E9 1704.69/1693.17 c cleaning 494 clauses out of 1036 for limit 9.040020842197386E9 1704.89/1693.35 c cleaning 503 clauses out of 1044 for limit 1.4823596982529432E10 1705.09/1693.53 c cleaning 519 clauses out of 1039 for limit 2.4514633997578674E10 1705.29/1693.71 c cleaning 510 clauses out of 1021 for limit 4.1181827762083855E10 1705.39/1693.88 c cleaning 505 clauses out of 1011 for limit 6.8586097322390945E10 1705.60/1694.05 c cleaning 481 clauses out of 1006 for limit 1.1366981502586919E11 1705.79/1694.22 c cleaning 512 clauses out of 1025 for limit 1.839819237484666E11 1705.99/1694.40 c cleaning 483 clauses out of 1013 for limit 3.0700500991679016E11 1706.09/1694.58 c cleaning 514 clauses out of 1029 for limit 4.979215334586013E11 1706.29/1694.76 c cleaning 483 clauses out of 1015 for limit 8.324652776232212E11 1706.49/1694.94 c cleaning 517 clauses out of 1034 for limit 1.350319508361939E12 1711.66/1700.05 c cleaning 10484 clauses out of 21015 for limit 0.5358583842991111 1711.96/1700.33 c cleaning 5493 clauses out of 11032 for limit 1.6850607791631647 1712.17/1700.57 c cleaning 2997 clauses out of 6038 for limit 5.072220091045288 1712.46/1700.80 c cleaning 1748 clauses out of 3541 for limit 14.26333750856004 1712.56/1701.00 c cleaning 1119 clauses out of 2293 for limit 36.32443918536068 1712.76/1701.18 c cleaning 813 clauses out of 1675 for limit 82.08778933743199 1712.96/1701.34 c cleaning 661 clauses out of 1361 for limit 166.43958393483575 1713.06/1701.42 c cleaning 578 clauses out of 1200 for limit 311.3073593872591 1713.16/1701.50 c cleaning 540 clauses out of 1124 for limit 549.1983616705885 1713.16/1701.59 c cleaning 518 clauses out of 1082 for limit 938.9774161319892 1713.27/1701.67 c cleaning 510 clauses out of 1065 for limit 1574.7919957215481 1713.37/1701.76 c cleaning 505 clauses out of 1056 for limit 2621.7983576229026 1713.46/1701.84 c cleaning 501 clauses out of 1051 for limit 4344.265669351803 1713.56/1701.92 c cleaning 499 clauses out of 1048 for limit 7170.421293186351 1713.66/1702.01 c cleaning 500 clauses out of 1051 for limit 11814.84831381358 1713.66/1702.09 c cleaning 501 clauses out of 1049 for limit 19482.390391464636 1713.76/1702.18 c cleaning 504 clauses out of 1050 for limit 32162.762312504714 1713.86/1702.26 c cleaning 500 clauses out of 1046 for limit 53243.530206710406 1713.96/1702.35 c cleaning 499 clauses out of 1045 for limit 87801.83897143225 1714.06/1702.43 c cleaning 496 clauses out of 1047 for limit 144665.0493961355 1714.16/1702.52 c cleaning 499 clauses out of 1049 for limit 237641.1670984764 1714.26/1702.61 c cleaning 502 clauses out of 1051 for limit 391547.85357854806 1714.37/1702.70 c cleaning 495 clauses out of 1048 for limit 646915.6478775833 1714.37/1702.78 c cleaning 498 clauses out of 1053 for limit 1061784.679576163 1714.47/1702.87 c cleaning 502 clauses out of 1056 for limit 1747798.275126352 1714.56/1702.96 c cleaning 527 clauses out of 1054 for limit 2887822.532811058 1714.66/1703.04 c cleaning 513 clauses out of 1027 for limit 4887610.1163117895 1714.76/1703.13 c cleaning 506 clauses out of 1013 for limit 8163547.583575017 1714.86/1703.21 c cleaning 480 clauses out of 1007 for limit 1.3542997251260893E7 1714.96/1703.30 c cleaning 491 clauses out of 1028 for limit 2.1899870411859013E7 1714.96/1703.39 c cleaning 518 clauses out of 1037 for limit 3.580237113790154E7 1715.06/1703.48 c cleaning 509 clauses out of 1019 for limit 6.008585558951228E7 1715.16/1703.57 c cleaning 478 clauses out of 1009 for limit 9.99715999589249E7 1715.26/1703.65 c cleaning 515 clauses out of 1031 for limit 1.6134853654149616E8 1715.36/1703.73 c cleaning 508 clauses out of 1017 for limit 2.700182646234187E8 1715.47/1703.82 c cleaning 480 clauses out of 1008 for limit 4.488228279536601E8 1715.57/1703.91 c cleaning 514 clauses out of 1029 for limit 7.257891874627001E8 1715.57/1703.99 c cleaning 507 clauses out of 1014 for limit 1.2134148034427943E9 1715.66/1704.08 c cleaning 477 clauses out of 1008 for limit 2.0150095585127678E9 1715.76/1704.16 c cleaning 486 clauses out of 1031 for limit 3.2488889308872623E9 1715.86/1704.25 c cleaning 496 clauses out of 1045 for limit 5.286072633839835E9 1715.96/1704.33 c cleaning 494 clauses out of 1048 for limit 8.683793938439548E9 1716.06/1704.42 c cleaning 527 clauses out of 1054 for limit 1.4239215674512169E10 1716.16/1704.50 c cleaning 514 clauses out of 1028 for limit 2.4100384040050518E10 1716.16/1704.59 c cleaning 508 clauses out of 1016 for limit 4.029473281282552E10 1716.26/1704.67 c cleaning 479 clauses out of 1005 for limit 6.6977399019334755E10 1720.14/1708.43 c cleaning 7009 clauses out of 14028 for limit 3.530827948385364E-5 1720.24/1708.56 c cleaning 3756 clauses out of 7518 for limit 1.0854038723681801E-4 1720.34/1708.68 c cleaning 2115 clauses out of 4262 for limit 3.1574474386190184E-4 1720.44/1708.79 c cleaning 1307 clauses out of 2649 for limit 8.394455424794368E-4 1720.64/1708.91 c cleaning 902 clauses out of 1840 for limit 0.001989040041676299 1720.74/1709.02 c cleaning 699 clauses out of 1438 for limit 0.004197187299473195 1720.84/1709.15 c cleaning 600 clauses out of 1239 for limit 0.008033444852518957 1720.94/1709.27 c cleaning 547 clauses out of 1138 for limit 0.014409610318205633 1721.04/1709.39 c cleaning 522 clauses out of 1091 for limit 0.024787095198361402 1721.24/1709.52 c cleaning 511 clauses out of 1069 for limit 0.04171848869124627 1721.34/1709.64 c cleaning 506 clauses out of 1058 for limit 0.06951467419866073 1721.44/1709.77 c cleaning 506 clauses out of 1052 for limit 0.11529283184546589 1721.54/1709.89 c cleaning 500 clauses out of 1046 for limit 0.19122393411521676 1721.74/1710.01 c cleaning 502 clauses out of 1046 for limit 0.3153538488362276 1721.84/1710.13 c cleaning 499 clauses out of 1045 for limit 0.5210794291695748 1721.94/1710.25 c cleaning 500 clauses out of 1046 for limit 0.8585081485613786 1722.04/1710.36 c cleaning 499 clauses out of 1045 for limit 1.4157324640759554 1722.14/1710.47 c cleaning 502 clauses out of 1046 for limit 2.332500168983945 1722.24/1710.59 c cleaning 503 clauses out of 1044 for limit 3.853973789685855 1722.44/1710.71 c cleaning 499 clauses out of 1043 for limit 6.374554779282919 1722.54/1710.83 c cleaning 499 clauses out of 1042 for limit 10.501547727017856 1722.64/1710.94 c cleaning 502 clauses out of 1044 for limit 17.30258253547771 1722.74/1711.07 c cleaning 497 clauses out of 1041 for limit 28.58788812960428 1722.84/1711.18 c cleaning 503 clauses out of 1044 for limit 47.009777083059014 1722.94/1711.27 c cleaning 501 clauses out of 1041 for limit 77.74882743622415 1723.04/1711.36 c cleaning 503 clauses out of 1042 for limit 128.35174251491475 1723.14/1711.47 c cleaning 496 clauses out of 1037 for limit 212.2646114781663 1723.24/1711.58 c cleaning 501 clauses out of 1041 for limit 348.70767721481354 1723.35/1711.69 c cleaning 499 clauses out of 1040 for limit 575.6185567066645 1723.55/1711.80 c cleaning 497 clauses out of 1041 for limit 948.3601201512204 1723.65/1711.92 c cleaning 501 clauses out of 1044 for limit 1559.4785330296825 1723.75/1712.03 c cleaning 497 clauses out of 1043 for limit 2574.254485272889 1723.85/1712.15 c cleaning 502 clauses out of 1046 for limit 4233.114239811746 1723.95/1712.27 c cleaning 502 clauses out of 1047 for limit 6995.268910536029 1724.05/1712.39 c cleaning 497 clauses out of 1042 for limit 11556.750267298341 1724.25/1712.51 c cleaning 501 clauses out of 1047 for limit 19005.60401582117 1724.35/1712.61 c cleaning 502 clauses out of 1044 for limit 31370.014751083927 1724.35/1712.69 c cleaning 495 clauses out of 1043 for limit 51834.786244491785 1724.45/1712.78 c cleaning 504 clauses out of 1050 for limit 85082.69384346485 1724.55/1712.86 c cleaning 499 clauses out of 1043 for limit 140831.1008778726 1724.65/1712.95 c cleaning 501 clauses out of 1044 for limit 232026.86435557512 1724.75/1713.05 c cleaning 501 clauses out of 1044 for limit 383026.36568661546 1724.85/1713.15 c cleaning 499 clauses out of 1043 for limit 632267.3374227071 1724.95/1713.24 c cleaning 503 clauses out of 1046 for limit 1041785.4351976761 1725.05/1713.33 c cleaning 496 clauses out of 1041 for limit 1722844.5758683695 1729.13/1717.33 c cleaning 7772 clauses out of 15545 for limit 3.799992271259706E11 1729.23/1717.48 c cleaning 4136 clauses out of 8273 for limit 1.177514604673996E12 1729.33/1717.59 c cleaning 2293 clauses out of 4637 for limit 3.4645602462973164E12 1729.43/1717.69 c cleaning 1421 clauses out of 2843 for limit 9.30957230332186E12 1729.53/1717.79 c cleaning 934 clauses out of 1922 for limit 2.2709579494995977E13 1729.63/1717.89 c cleaning 716 clauses out of 1489 for limit 4.839028467049116E13 1729.73/1717.98 c cleaning 609 clauses out of 1272 for limit 9.332266635044567E13 1729.94/1718.13 c cleaning 552 clauses out of 1164 for limit 1.683494370375766E14 1730.13/1718.31 c cleaning 556 clauses out of 1112 for limit 2.906134756488507E14 1730.23/1718.41 c cleaning 527 clauses out of 1057 for limit 5.0470307090367556E14 1730.33/1718.50 c cleaning 492 clauses out of 1030 for limit 8.541410545210849E14 1730.33/1718.58 c cleaning 492 clauses out of 1036 for limit 1.3976355205771372E15 1730.53/1718.70 c cleaning 522 clauses out of 1045 for limit 2.287324560746556E15 1730.63/1718.87 c cleaning 508 clauses out of 1024 for limit 3.853315114120775E-5 1730.83/1719.04 c cleaning 500 clauses out of 1014 for limit 6.404472881351823E-5 1731.04/1719.21 c cleaning 496 clauses out of 1014 for limit 1.0561832556402916E-4 1731.14/1719.36 c cleaning 507 clauses out of 1019 for limit 1.7349759052182748E-4 1731.23/1719.46 c cleaning 501 clauses out of 1013 for limit 2.881035338035997E-4 1731.43/1719.64 c cleaning 501 clauses out of 1010 for limit 4.7557993182938065E-4 1731.63/1719.82 c cleaning 482 clauses out of 1009 for limit 7.850722287680909E-4 1731.73/1719.96 c cleaning 490 clauses out of 1030 for limit 0.0012721050559454286 1731.93/1720.11 c cleaning 489 clauses out of 1037 for limit 0.0020774653968192876 1732.03/1720.27 c cleaning 493 clauses out of 1048 for limit 0.0033900582413536897 1732.14/1720.36 c cleaning 498 clauses out of 1057 for limit 0.0055541597307282465 1732.24/1720.44 c cleaning 502 clauses out of 1058 for limit 0.009141744101224907 1732.33/1720.53 c cleaning 500 clauses out of 1056 for limit 0.015104511936186477 1732.43/1720.62 c cleaning 501 clauses out of 1055 for limit 0.02490803862518831 1732.53/1720.71 c cleaning 498 clauses out of 1054 for limit 0.041115660020321146 1732.63/1720.80 c cleaning 496 clauses out of 1056 for limit 0.06767680474376833 1732.63/1720.89 c cleaning 508 clauses out of 1060 for limit 0.1111869420043293 1732.73/1721.00 c cleaning 505 clauses out of 1052 for limit 0.18475653059830352 1732.93/1721.14 c cleaning 502 clauses out of 1047 for limit 0.30614328889752945 1733.03/1721.28 c cleaning 501 clauses out of 1045 for limit 0.505837499252056 1733.24/1721.41 c cleaning 500 clauses out of 1046 for limit 0.8350654935951937 1733.34/1721.51 c cleaning 498 clauses out of 1046 for limit 1.3771347120015816 1733.43/1721.61 c cleaning 499 clauses out of 1046 for limit 2.2665394822159906 1736.41/1724.60 c cleaning 5248 clauses out of 10547 for limit 4976.038907088461 1736.62/1724.72 c cleaning 2875 clauses out of 5799 for limit 14925.039585156494 1736.72/1724.82 c cleaning 1685 clauses out of 3424 for limit 41686.04868652853 1736.81/1724.95 c cleaning 1096 clauses out of 2240 for limit 105188.16231943657 1736.91/1725.07 c cleaning 793 clauses out of 1643 for limit 236264.6232378932 1737.01/1725.17 c cleaning 647 clauses out of 1350 for limit 474196.5390766586 1737.11/1725.29 c cleaning 573 clauses out of 1204 for limit 877720.1331322133 1737.21/1725.39 c cleaning 539 clauses out of 1130 for limit 1540726.2397004557 1737.31/1725.48 c cleaning 545 clauses out of 1091 for limit 2631691.9916098895 1737.41/1725.59 c cleaning 523 clauses out of 1047 for limit 4526927.368421145 1737.51/1725.69 c cleaning 512 clauses out of 1027 for limit 7633772.041859796 1737.61/1725.78 c cleaning 475 clauses out of 1011 for limit 1.2737268826535871E7 1737.72/1725.87 c cleaning 519 clauses out of 1039 for limit 2.0500825324233767E7 1737.82/1725.96 c cleaning 508 clauses out of 1017 for limit 3.443644343862592E7 1737.91/1726.05 c cleaning 480 clauses out of 1009 for limit 5.724057204184122E7 1738.01/1726.14 c cleaning 491 clauses out of 1031 for limit 9.256810576851298E7 1738.11/1726.24 c cleaning 519 clauses out of 1038 for limit 1.5132460607351494E8 1738.21/1726.33 c cleaning 485 clauses out of 1019 for limit 2.5420764572196892E8 1738.41/1726.51 c cleaning 517 clauses out of 1034 for limit 4.1314085200443876E8 1738.51/1726.61 c cleaning 508 clauses out of 1017 for limit 6.927134396302739E8 1738.61/1726.70 c cleaning 504 clauses out of 1009 for limit 1.151434631052318E9 1738.61/1726.79 c cleaning 503 clauses out of 1007 for limit 1.9064520805883083E9 1738.71/1726.89 c cleaning 475 clauses out of 1003 for limit 3.153376351599078E9 1738.92/1727.02 c cleaning 489 clauses out of 1028 for limit 5.073872055732268E9 1739.01/1727.10 c cleaning 496 clauses out of 1038 for limit 8.2785952147168455E9 1739.11/1727.22 c cleaning 498 clauses out of 1042 for limit 1.360010212832202E10 1739.21/1727.33 c cleaning 497 clauses out of 1044 for limit 2.2385421538564774E10 1739.31/1727.42 c cleaning 497 clauses out of 1047 for limit 3.681077669126957E10 1739.41/1727.52 c cleaning 526 clauses out of 1052 for limit 6.0538385335820435E10 1739.51/1727.62 c cleaning 512 clauses out of 1024 for limit 1.023607548810435E11 1739.61/1727.71 c cleaning 478 clauses out of 1012 for limit 1.7080823740776288E11 1739.71/1727.80 c cleaning 517 clauses out of 1034 for limit 2.7569232244509076E11 1739.81/1727.92 c cleaning 508 clauses out of 1017 for limit 4.6225343253768854E11 1739.91/1728.01 c cleaning 476 clauses out of 1009 for limit 7.683618941055676E11 1740.01/1728.12 c cleaning 488 clauses out of 1033 for limit 1.237691904135771E12 1740.11/1728.25 c cleaning 495 clauses out of 1047 for limit 2.017860321424476E12 1740.31/1728.40 c cleaning 501 clauses out of 1052 for limit 3.3119054471837114E12 1740.41/1728.53 c cleaning 500 clauses out of 1053 for limit 5.4675178383696455E12 1740.51/1728.66 c cleaning 524 clauses out of 1049 for limit 9.014900373282814E12 1740.61/1728.78 c cleaning 512 clauses out of 1025 for limit 1.5214876844876947E13 1740.81/1728.92 c cleaning 506 clauses out of 1013 for limit 2.5388599713905977E13 1740.91/1729.03 c cleaning 478 clauses out of 1007 for limit 4.211866625614949E13 1741.01/1729.11 c cleaning 514 clauses out of 1029 for limit 6.7974276382013266E13 1741.11/1729.21 c cleaning 508 clauses out of 1017 for limit 1.1364855688749389E14 1741.21/1729.34 c cleaning 476 clauses out of 1007 for limit 1.8890448591800784E14 1741.31/1729.43 c cleaning 486 clauses out of 1031 for limit 3.042768863705945E14 1741.41/1729.54 c cleaning 523 clauses out of 1046 for limit 4.950924950586722E14 1745.40/1733.41 c cleaning 6739 clauses out of 13522 for limit 0.17037098977032575 1745.50/1733.55 c cleaning 3617 clauses out of 7283 for limit 0.5216535354349815 1745.60/1733.68 c cleaning 2062 clauses out of 4168 for limit 1.5062243537573718 1745.70/1733.79 c cleaning 1277 clauses out of 2605 for limit 3.9703703887624817 1745.90/1733.91 c cleaning 891 clauses out of 1830 for limit 9.339262270335055 1746.00/1734.01 c cleaning 691 clauses out of 1436 for limit 19.568681881328597 1746.10/1734.12 c cleaning 594 clauses out of 1245 for limit 37.22224374063237 1746.20/1734.22 c cleaning 548 clauses out of 1151 for limit 66.39761250354012 1746.30/1734.33 c cleaning 528 clauses out of 1105 for limit 114.28531236417557 1746.40/1734.43 c cleaning 513 clauses out of 1077 for limit 193.3716849015918 1746.50/1734.54 c cleaning 517 clauses out of 1069 for limit 322.89351694575043 1746.60/1734.64 c cleaning 498 clauses out of 1045 for limit 540.9224976762875 1746.70/1734.78 c cleaning 503 clauses out of 1048 for limit 890.3903639084164 1746.90/1734.99 c cleaning 497 clauses out of 1044 for limit 1472.5247751216114 1747.10/1735.15 c cleaning 501 clauses out of 1047 for limit 2421.4322064912485 1747.20/1735.27 c cleaning 503 clauses out of 1047 for limit 3997.2629048140684 1747.30/1735.38 c cleaning 502 clauses out of 1045 for limit 6611.2488317936 1747.50/1735.51 c cleaning 499 clauses out of 1043 for limit 10923.740440942882 1747.60/1735.61 c cleaning 498 clauses out of 1042 for limit 17995.951963726173 1747.60/1735.69 c cleaning 499 clauses out of 1044 for limit 29620.878350380186 1747.70/1735.79 c cleaning 499 clauses out of 1048 for limit 48808.6247399292 1747.80/1735.89 c cleaning 498 clauses out of 1047 for limit 80407.77326018582 1747.90/1735.99 c cleaning 493 clauses out of 1049 for limit 132350.3566102824 1748.10/1736.10 c cleaning 501 clauses out of 1056 for limit 216816.62149521708 1748.20/1736.20 c cleaning 497 clauses out of 1055 for limit 357898.53311976744 1748.20/1736.29 c cleaning 495 clauses out of 1057 for limit 588516.6659590855 1748.29/1736.37 c cleaning 500 clauses out of 1062 for limit 965973.3023832993 1748.39/1736.45 c cleaning 505 clauses out of 1062 for limit 1593019.201226511 1748.49/1736.53 c cleaning 491 clauses out of 1057 for limit 2639528.9338239473 1748.59/1736.63 c cleaning 533 clauses out of 1066 for limit 4316185.452230952 1748.69/1736.73 c cleaning 517 clauses out of 1035 for limit 7345846.720723053 1748.80/1736.84 c cleaning 507 clauses out of 1016 for limit 1.2316161280607495E7 1748.90/1736.95 c cleaning 505 clauses out of 1010 for limit 2.045210907893387E7 1748.99/1737.05 c cleaning 482 clauses out of 1005 for limit 3.389606621335181E7 1749.09/1737.16 c cleaning 487 clauses out of 1024 for limit 5.491687337633652E7 1749.19/1737.26 c cleaning 496 clauses out of 1037 for limit 8.942992993804596E7 1749.29/1737.37 c cleaning 497 clauses out of 1039 for limit 1.4690377728900114E8 1749.39/1737.48 c cleaning 524 clauses out of 1049 for limit 2.416409261460702E8 1749.49/1737.57 c cleaning 509 clauses out of 1018 for limit 4.0776740406135154E8 1749.59/1737.68 c cleaning 505 clauses out of 1010 for limit 6.784679069510546E8 1749.80/1737.82 c cleaning 502 clauses out of 1005 for limit 1.1244509311430852E9 1749.90/1737.95 c cleaning 480 clauses out of 1004 for limit 1.8580750689617202E9 1750.00/1738.09 c cleaning 511 clauses out of 1023 for limit 3.0042959372128577E9 1750.20/1738.22 c cleaning 483 clauses out of 1012 for limit 5.008339015679549E9 1750.30/1738.36 c cleaning 515 clauses out of 1030 for limit 8.1232048484871235E9 1750.40/1738.49 c cleaning 506 clauses out of 1013 for limit 1.3593836686133068E10 1750.60/1738.63 c cleaning 503 clauses out of 1007 for limit 2.255162856462059E10 1750.70/1738.77 c cleaning 483 clauses out of 1004 for limit 3.73017798533823E10 1750.90/1738.91 c cleaning 489 clauses out of 1021 for limit 6.049136887516469E10 1751.00/1739.06 c cleaning 494 clauses out of 1032 for limit 9.8695043816546E10 1751.20/1739.21 c cleaning 495 clauses out of 1038 for limit 1.6182051350127094E11 1754.47/1742.47 c cleaning 5764 clauses out of 11543 for limit 8.76075927326073E-6 1754.67/1742.63 c cleaning 3134 clauses out of 6279 for limit 2.6559863984101786E-5 1754.77/1742.75 c cleaning 1803 clauses out of 3646 for limit 7.5507495276693E-5 1754.87/1742.85 c cleaning 1168 clauses out of 2344 for limit 1.9388290574116462E-4 1754.97/1742.94 c cleaning 826 clauses out of 1675 for limit 4.469960558972584E-4 1755.07/1743.03 c cleaning 649 clauses out of 1349 for limit 9.152978449571185E-4 1755.17/1743.12 c cleaning 574 clauses out of 1199 for limit 0.0016965887451095708 1755.27/1743.21 c cleaning 538 clauses out of 1125 for limit 0.002981941569524129 1755.37/1743.30 c cleaning 518 clauses out of 1087 for limit 0.005089533703583713 1755.37/1743.39 c cleaning 513 clauses out of 1069 for limit 0.00853465009529929 1755.47/1743.49 c cleaning 508 clauses out of 1059 for limit 0.014250394523231678 1755.57/1743.58 c cleaning 499 clauses out of 1048 for limit 0.023676304519242818 1755.67/1743.67 c cleaning 499 clauses out of 1049 for limit 0.03900817197344106 1755.77/1743.77 c cleaning 504 clauses out of 1051 for limit 0.06427154938981806 1755.87/1743.87 c cleaning 498 clauses out of 1046 for limit 0.10639253974973172 1755.97/1743.97 c cleaning 500 clauses out of 1050 for limit 0.17513722828316972 1756.07/1744.06 c cleaning 500 clauses out of 1048 for limit 0.28879744864350815 1756.17/1744.15 c cleaning 495 clauses out of 1048 for limit 0.4762656274446229 1756.27/1744.27 c cleaning 502 clauses out of 1054 for limit 0.7817363554559048 1756.47/1744.41 c cleaning 511 clauses out of 1058 for limit 1.2920466982116474 1756.57/1744.50 c cleaning 495 clauses out of 1041 for limit 2.152593205499771 1756.57/1744.58 c cleaning 499 clauses out of 1045 for limit 3.532789650469742 1756.77/1744.72 c cleaning 499 clauses out of 1047 for limit 5.820734454749255 1756.97/1744.90 c cleaning 498 clauses out of 1047 for limit 9.589570630005852 1757.17/1745.10 c cleaning 498 clauses out of 1049 for limit 15.784333294666709 1757.27/1745.27 c cleaning 505 clauses out of 1053 for limit 25.983537078943943 1757.47/1745.42 c cleaning 497 clauses out of 1046 for limit 43.0508588974441 1757.57/1745.53 c cleaning 498 clauses out of 1049 for limit 70.79358468888303 1757.67/1745.63 c cleaning 496 clauses out of 1051 for limit 116.52592601708695 1757.77/1745.72 c cleaning 502 clauses out of 1057 for limit 191.45874251665361 1757.87/1745.85 c cleaning 502 clauses out of 1056 for limit 316.3564329694596 1757.97/1745.95 c cleaning 503 clauses out of 1054 for limit 522.704049163164 1758.07/1746.04 c cleaning 501 clauses out of 1050 for limit 864.427453860754 1758.17/1746.13 c cleaning 499 clauses out of 1050 for limit 1426.9834959482093 1758.27/1746.23 c cleaning 496 clauses out of 1048 for limit 2350.7114262862538 1758.37/1746.32 c cleaning 497 clauses out of 1052 for limit 3861.8975475192356 1758.47/1746.43 c cleaning 504 clauses out of 1056 for limit 6351.01251556121 1758.57/1746.53 c cleaning 503 clauses out of 1052 for limit 10513.493098910276 1758.67/1746.62 c cleaning 498 clauses out of 1049 for limit 17387.741403936627 1758.77/1746.71 c cleaning 499 clauses out of 1051 for limit 28620.145135234667 1758.87/1746.81 c cleaning 503 clauses out of 1053 for limit 47155.95834553241 1758.97/1746.91 c cleaning 498 clauses out of 1049 for limit 77984.95638988432 1759.07/1747.00 c cleaning 499 clauses out of 1051 for limit 128362.89190142429 1759.17/1747.10 c cleaning 500 clauses out of 1051 for limit 211475.8932450805 1759.17/1747.19 c cleaning 502 clauses out of 1051 for limit 348752.03869999497 1759.27/1747.29 c cleaning 496 clauses out of 1050 for limit 576262.7810170453 1759.37/1747.39 c cleaning 497 clauses out of 1053 for limit 946679.2845798421 1759.47/1747.48 c cleaning 502 clauses out of 1056 for limit 1556765.5552589283 1759.57/1747.58 c cleaning 499 clauses out of 1054 for limit 2572186.2258136515 1759.67/1747.68 c cleaning 510 clauses out of 1059 for limit 4238781.137896964 1759.77/1747.78 c cleaning 522 clauses out of 1045 for limit 7055673.938452773 1759.87/1747.88 c cleaning 512 clauses out of 1024 for limit 1.188626025966093E7 1765.34/1753.24 c cleaning 9497 clauses out of 19012 for limit 6.994959520833224E-7 1765.54/1753.45 c cleaning 5000 clauses out of 10015 for limit 2.189868036399108E-6 1765.64/1753.58 c cleaning 2733 clauses out of 5514 for limit 6.552748681397353E-6 1765.74/1753.69 c cleaning 1635 clauses out of 3281 for limit 1.8161007179287165E-5 1765.84/1753.79 c cleaning 1070 clauses out of 2150 for limit 4.588826468449543E-5 1765.94/1753.89 c cleaning 769 clauses out of 1576 for limit 1.0282571104351568E-4 1766.14/1754.07 c cleaning 649 clauses out of 1308 for limit 2.0452226292219533E-4 1766.24/1754.19 c cleaning 574 clauses out of 1158 for limit 3.805933091804875E-4 1766.34/1754.29 c cleaning 534 clauses out of 1086 for limit 6.706019220168099E-4 1766.54/1754.42 c cleaning 499 clauses out of 1050 for limit 0.0011415427586971725 1766.64/1754.53 c cleaning 499 clauses out of 1053 for limit 0.0018809533382085851 1766.74/1754.62 c cleaning 499 clauses out of 1052 for limit 0.0030986856201037226 1766.84/1754.72 c cleaning 501 clauses out of 1054 for limit 0.005105556004445066 1766.94/1754.82 c cleaning 502 clauses out of 1052 for limit 0.00842731622791923 1767.04/1754.94 c cleaning 499 clauses out of 1050 for limit 0.013924243792407434 1767.24/1755.11 c cleaning 502 clauses out of 1053 for limit 0.022943383104852083 1767.34/1755.21 c cleaning 497 clauses out of 1049 for limit 0.037905061308265695 1767.44/1755.30 c cleaning 503 clauses out of 1056 for limit 0.06234515478621872 1767.44/1755.40 c cleaning 507 clauses out of 1052 for limit 0.10310322765644009 1767.54/1755.49 c cleaning 501 clauses out of 1044 for limit 0.17116260103107112 1767.64/1755.58 c cleaning 496 clauses out of 1042 for limit 0.28252900009171705 1767.74/1755.66 c cleaning 501 clauses out of 1046 for limit 0.46414636532244 1767.84/1755.74 c cleaning 501 clauses out of 1045 for limit 0.7661719267480219 1767.94/1755.83 c cleaning 495 clauses out of 1043 for limit 1.2646769181433515 1768.04/1755.94 c cleaning 500 clauses out of 1048 for limit 2.0756709395790485 1768.14/1756.03 c cleaning 498 clauses out of 1048 for limit 3.423059057656281 1768.24/1756.13 c cleaning 498 clauses out of 1050 for limit 5.63432977698094 1768.34/1756.23 c cleaning 502 clauses out of 1052 for limit 9.274098599680388 1768.44/1756.32 c cleaning 498 clauses out of 1050 for limit 15.323361122839739 1768.54/1756.41 c cleaning 500 clauses out of 1052 for limit 25.222230071146505 1768.64/1756.50 c cleaning 502 clauses out of 1052 for limit 41.59483155689318 1768.64/1756.59 c cleaning 500 clauses out of 1050 for limit 68.72609967851004 1768.74/1756.68 c cleaning 498 clauses out of 1050 for limit 113.33853238299056 1768.84/1756.77 c cleaning 499 clauses out of 1053 for limit 186.5644582474302 1768.94/1756.86 c cleaning 505 clauses out of 1055 for limit 307.3938834910204 1769.04/1756.95 c cleaning 498 clauses out of 1048 for limit 509.29951444020065 1769.14/1757.04 c cleaning 499 clauses out of 1050 for limit 838.3032168825912 1769.24/1757.13 c cleaning 501 clauses out of 1051 for limit 1381.1587615406647 1769.34/1757.22 c cleaning 498 clauses out of 1050 for limit 2279.884818813942 1769.44/1757.31 c cleaning 503 clauses out of 1053 for limit 3752.8761591093066 1769.44/1757.39 c cleaning 499 clauses out of 1049 for limit 6206.381841723357 1769.54/1757.48 c cleaning 496 clauses out of 1051 for limit 10225.902852970954 1769.64/1757.57 c cleaning 500 clauses out of 1055 for limit 16799.94291301197 1769.74/1757.66 c cleaning 505 clauses out of 1056 for limit 27706.82401368715 1769.84/1757.76 c cleaning 496 clauses out of 1049 for limit 45905.216467221835 1769.94/1757.87 c cleaning 500 clauses out of 1053 for limit 75416.26909175386 1770.14/1758.06 c cleaning 504 clauses out of 1054 for limit 124377.89509387598 1770.34/1758.25 c cleaning 500 clauses out of 1049 for limit 205887.36749063816 1770.54/1758.44 c cleaning 496 clauses out of 1049 for limit 339535.8121113189 1772.22/1760.01 c cleaning 2249 clauses out of 4553 for limit 4279672.3576539885 1772.42/1760.21 c cleaning 1402 clauses out of 2804 for limit 1.1460037788254509E7 1772.52/1760.32 c cleaning 951 clauses out of 1902 for limit 2.786181687043205E7 1772.62/1760.41 c cleaning 727 clauses out of 1455 for limit 6.030466187788079E7 1772.72/1760.50 c cleaning 581 clauses out of 1224 for limit 1.1774712237195939E8 1772.72/1760.59 c cleaning 543 clauses out of 1144 for limit 2.079677984144676E8 1772.82/1760.68 c cleaning 523 clauses out of 1100 for limit 3.563287044707145E8 1773.02/1760.84 c cleaning 511 clauses out of 1077 for limit 6.001829830276787E8 1773.22/1761.02 c cleaning 503 clauses out of 1066 for limit 9.99995540684739E8 1773.42/1761.20 c cleaning 503 clauses out of 1065 for limit 1.6539812075482075E9 1773.52/1761.37 c cleaning 502 clauses out of 1062 for limit 2.735341464117208E9 1773.72/1761.54 c cleaning 529 clauses out of 1058 for limit 4.518947141243646E9 1773.92/1761.71 c cleaning 514 clauses out of 1029 for limit 7.662375680558522E9 1774.02/1761.89 c cleaning 481 clauses out of 1015 for limit 1.2810576103955381E10 1774.22/1762.06 c cleaning 485 clauses out of 1034 for limit 2.0738151905307144E10 1774.42/1762.24 c cleaning 493 clauses out of 1049 for limit 3.371094980277716E10 1774.62/1762.42 c cleaning 499 clauses out of 1057 for limit 5.522832712439416E10 1774.72/1762.58 c cleaning 529 clauses out of 1059 for limit 9.099788837639758E10 1774.92/1762.72 c cleaning 514 clauses out of 1028 for limit 1.542840474289877E11 1775.02/1762.85 c cleaning 507 clauses out of 1014 for limit 2.5794794370011194E11 1775.12/1762.94 c cleaning 479 clauses out of 1007 for limit 4.2834770223982776E11 1775.22/1763.03 c cleaning 485 clauses out of 1028 for limit 6.919722597024823E11 1775.32/1763.11 c cleaning 521 clauses out of 1043 for limit 1.1247432040154631E12 1775.42/1763.20 c cleaning 484 clauses out of 1022 for limit 1.8929654063180425E12 1775.42/1763.29 c cleaning 519 clauses out of 1040 for limit 3.073867508852819E12 1775.52/1763.38 c cleaning 509 clauses out of 1019 for limit 5.163345223965896E12 1775.62/1763.49 c cleaning 505 clauses out of 1010 for limit 8.590923670848942E12 1775.82/1763.63 c cleaning 475 clauses out of 1005 for limit 1.4238067891046416E13 1775.92/1763.77 c cleaning 489 clauses out of 1030 for limit 2.291056415574354E13 1776.12/1763.93 c cleaning 493 clauses out of 1042 for limit 3.738485392269244E13 1776.22/1764.03 c cleaning 524 clauses out of 1049 for limit 6.124121605390208E13 1776.32/1764.14 c cleaning 512 clauses out of 1025 for limit 1.0335971796783253E14 1776.42/1764.27 c cleaning 506 clauses out of 1013 for limit 1.7247320059058538E14 1776.52/1764.38 c cleaning 478 clauses out of 1007 for limit 2.861261060343521E14 1779.09/1766.85 c cleaning 4488 clauses out of 9028 for limit 0.0015736602396218171 1779.19/1766.97 c cleaning 2494 clauses out of 5042 for limit 0.004656124577538568 1779.29/1767.07 c cleaning 1497 clauses out of 3046 for limit 0.012684822586059559 1779.39/1767.16 c cleaning 996 clauses out of 2049 for limit 0.031097696808578334 1779.49/1767.25 c cleaning 753 clauses out of 1553 for limit 0.06766352432325785 1779.69/1767.42 c cleaning 622 clauses out of 1300 for limit 0.13330259538013672 1779.89/1767.61 c cleaning 561 clauses out of 1178 for limit 0.2426009817395718 1779.99/1767.79 c cleaning 533 clauses out of 1118 for limit 0.4219747258389217 1780.19/1767.97 c cleaning 517 clauses out of 1085 for limit 0.7170581760103014 1780.39/1768.15 c cleaning 510 clauses out of 1070 for limit 1.2015041165849687 1780.49/1768.29 c cleaning 498 clauses out of 1057 for limit 1.9997992684940862 1780.69/1768.47 c cleaning 501 clauses out of 1060 for limit 3.291894634131007 1780.89/1768.65 c cleaning 504 clauses out of 1059 for limit 5.433900955123215 1781.09/1768.83 c cleaning 500 clauses out of 1054 for limit 8.994736445970446 1781.29/1769.01 c cleaning 500 clauses out of 1054 for limit 14.833523693719206 1781.39/1769.12 c cleaning 503 clauses out of 1054 for limit 24.46246496424048 1781.49/1769.28 c cleaning 502 clauses out of 1052 for limit 40.45903187205659 1781.69/1769.45 c cleaning 501 clauses out of 1050 for limit 66.84944627150841 1781.89/1769.62 c cleaning 501 clauses out of 1048 for limit 110.34361449410518 1781.99/1769.79 c cleaning 499 clauses out of 1048 for limit 182.15353534077337 1782.19/1769.96 c cleaning 499 clauses out of 1048 for limit 300.09515229308994 1782.39/1770.13 c cleaning 498 clauses out of 1050 for limit 494.4488399307681 1782.49/1770.28 c cleaning 501 clauses out of 1051 for limit 813.8218025616185 1782.69/1770.45 c cleaning 499 clauses out of 1050 for limit 1343.379215008082 1782.89/1770.62 c cleaning 498 clauses out of 1051 for limit 2213.3041309083956 1785.26/1772.97 c cleaning 4253 clauses out of 8554 for limit 814710.4157148721 1785.56/1773.21 c cleaning 2381 clauses out of 4801 for limit 2393848.6869582455 1785.76/1773.44 c cleaning 1437 clauses out of 2920 for limit 6490847.969798026 1785.96/1773.67 c cleaning 972 clauses out of 1984 for limit 1.5770048156183222E7 1786.16/1773.89 c cleaning 733 clauses out of 1510 for limit 3.4102373255000696E7 1786.36/1774.09 c cleaning 613 clauses out of 1277 for limit 6.650074957194131E7 1786.46/1774.18 c cleaning 561 clauses out of 1164 for limit 1.203151576612122E8 1786.56/1774.27 c cleaning 529 clauses out of 1105 for limit 2.0942858447534117E8 1786.66/1774.36 c cleaning 515 clauses out of 1076 for limit 3.546842069547986E8 1786.76/1774.47 c cleaning 508 clauses out of 1060 for limit 5.931569622439369E8 1786.86/1774.58 c cleaning 526 clauses out of 1052 for limit 9.856339284891185E8 1787.06/1774.70 c cleaning 512 clauses out of 1028 for limit 1.6667220482163062E9 1787.06/1774.79 c cleaning 506 clauses out of 1013 for limit 2.7809885546772394E9 1787.16/1774.89 c cleaning 503 clauses out of 1007 for limit 4.613548211265324E9 1787.26/1774.98 c cleaning 502 clauses out of 1004 for limit 7.631092327831636E9 1787.36/1775.08 c cleaning 478 clauses out of 1002 for limit 1.2609811263805704E10 1787.46/1775.18 c cleaning 487 clauses out of 1024 for limit 2.0348492398198463E10 1787.56/1775.29 c cleaning 495 clauses out of 1039 for limit 3.3139164732682228E10 1787.66/1775.39 c cleaning 521 clauses out of 1042 for limit 5.438463898495456E10 1787.78/1775.48 c cleaning 511 clauses out of 1023 for limit 9.153627723384805E10 1787.97/1775.57 c cleaning 482 clauses out of 1015 for limit 1.5260271472108008E11 1788.17/1775.68 c cleaning 517 clauses out of 1034 for limit 2.4728522117089606E11 1788.37/1775.78 c cleaning 506 clauses out of 1013 for limit 4.1459789727220636E11 1788.55/1775.86 c cleaning 478 clauses out of 1007 for limit 6.878012439632456E11 1788.65/1775.96 c cleaning 495 clauses out of 1029 for limit 1.1100254592279287E12 1788.85/1776.10 c cleaning 516 clauses out of 1033 for limit 1.8216685821771948E12 1788.95/1776.29 c cleaning 508 clauses out of 1016 for limit 3.0513874594360615E12 1789.15/1776.41 c cleaning 479 clauses out of 1008 for limit 5.072083795603188E12 1789.25/1776.53 c cleaning 490 clauses out of 1029 for limit 8.1938397160951045E12 1789.34/1776.62 c cleaning 493 clauses out of 1039 for limit 1.33826826194285E13 1789.44/1776.71 c cleaning 497 clauses out of 1046 for limit 2.192213906926714E13 1789.44/1776.79 c cleaning 525 clauses out of 1051 for limit 3.6052618048634445E13 1789.54/1776.87 c cleaning 512 clauses out of 1024 for limit 6.090128137923937E13 1789.64/1776.99 c cleaning 506 clauses out of 1013 for limit 1.0162658696935589E14 1789.84/1777.14 c cleaning 503 clauses out of 1006 for limit 1.6859324908095984E14 1790.04/1777.31 c cleaning 475 clauses out of 1005 for limit 2.7886692629538903E14 1790.14/1777.44 c cleaning 514 clauses out of 1029 for limit 4.487134340497268E14 1790.25/1777.54 c cleaning 507 clauses out of 1014 for limit 7.501841206577255E14 1790.35/1777.64 c cleaning 477 clauses out of 1007 for limit 1.2457538514597705E15 1790.44/1777.74 c cleaning 493 clauses out of 1030 for limit 2.008539474088383E15 1794.82/1782.09 c cleaning 6995 clauses out of 14038 for limit 1.083317650184934 1795.01/1782.23 c cleaning 3748 clauses out of 7544 for limit 3.327742981695641 1795.11/1782.34 c cleaning 2124 clauses out of 4297 for limit 9.644428572136723 1795.21/1782.44 c cleaning 1307 clauses out of 2670 for limit 25.520133681197247 1795.31/1782.54 c cleaning 906 clauses out of 1863 for limit 60.316653577781 1795.41/1782.63 c cleaning 699 clauses out of 1458 for limit 127.22807850340726 1795.51/1782.73 c cleaning 604 clauses out of 1258 for limit 242.93004257728794 1795.71/1782.91 c cleaning 554 clauses out of 1156 for limit 436.84658384923176 1795.82/1783.06 c cleaning 524 clauses out of 1100 for limit 755.5808742635196 1796.01/1783.21 c cleaning 513 clauses out of 1076 for limit 1273.8469661781257 1796.11/1783.38 c cleaning 504 clauses out of 1063 for limit 2126.4351909148163 1796.31/1783.52 c cleaning 506 clauses out of 1059 for limit 3520.0217124461246 1796.41/1783.69 c cleaning 501 clauses out of 1054 for limit 5838.3629544477335 1796.61/1783.84 c cleaning 499 clauses out of 1052 for limit 9636.899649648962 1796.81/1784.01 c cleaning 499 clauses out of 1053 for limit 15877.444096173685 1796.92/1784.17 c cleaning 500 clauses out of 1054 for limit 26159.186828460235 1797.11/1784.34 c cleaning 501 clauses out of 1055 for limit 43142.24984945794 1797.31/1784.50 c cleaning 500 clauses out of 1053 for limit 71211.19164692653 1797.41/1784.66 c cleaning 498 clauses out of 1053 for limit 117436.78148856502 1797.61/1784.83 c cleaning 502 clauses out of 1055 for limit 193301.81813248288 1797.81/1785.01 c cleaning 500 clauses out of 1053 for limit 319386.0286995041 1797.91/1785.17 c cleaning 500 clauses out of 1053 for limit 526710.2880239905 1798.12/1785.34 c cleaning 499 clauses out of 1054 for limit 868660.2736739755 1798.31/1785.51 c cleaning 502 clauses out of 1054 for limit 1431104.4615821857 1798.41/1785.68 c cleaning 526 clauses out of 1052 for limit 2364569.5561313475 1798.61/1785.85 c cleaning 514 clauses out of 1028 for limit 3998523.2851982443 1798.81/1786.03 c cleaning 476 clauses out of 1012 for limit 6684964.342269391 1800.00/1787.11 c starts : 23 1800.00/1787.11 c conflicts : 2234976 1800.00/1787.11 c decisions : 3232201 1800.00/1787.11 c propagations : 30414071 1800.00/1787.11 c inspects : 1933801072 1800.00/1787.11 c learnt literals : 0 1800.00/1787.11 c learnt binary clauses : 0 1800.00/1787.11 c learnt ternary clauses : 3 1800.00/1787.11 c learnt clauses : 2234977 1800.00/1787.11 c root simplifications : 0 1800.00/1787.11 c removed literals (reason simplification) : 0 1800.00/1787.11 c reason swapping (by a shorter reason) : 0 1800.00/1787.11 c Calls to reduceDB : 672 1800.00/1787.11 c speed (decisions/second) : 1812.1334750656522 1800.00/1787.11 c non guided choices 641947 1800.00/1787.11 s UNKNOWN 1800.00/1787.11 c Total wall clock time (ms): 1786.926
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node48/watcher-351157-1176584162 -o ROOT/results/node48/solver-351157-1176584162 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351157-1176584162/sat4jPseudoResolution.jar /tmp/evaluation/351157-1176584162/instance-351157-1176584162.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.95 1.02 0.99 3/64 32193 /proc/meminfo: memFree=1832680/2055920 swapFree=4192036/4192956 [pid=32193] ppid=32191 vsize=1472 CPUtime=0 /proc/32193/stat : 32193 (java) R 32191 32193 31818 0 -1 0 99 0 0 0 0 0 0 0 18 0 1 0 13261531 1507328 71 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32193/statm: 368 82 60 9 0 10 0 [startup+0.00830107 s] /proc/loadavg: 0.95 1.02 0.99 3/64 32193 /proc/meminfo: memFree=1832680/2055920 swapFree=4192036/4192956 [pid=32193] ppid=32191 vsize=152 CPUtime=0 /proc/32193/stat : 32193 (java) R 32191 32193 31818 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 13261531 155648 26 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 3531556 0 0 4096 0 0 0 0 17 1 0 0 /proc/32193/statm: 50 33 26 9 0 4 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 152 [startup+0.101315 s] /proc/loadavg: 0.95 1.02 0.99 3/64 32193 /proc/meminfo: memFree=1832680/2055920 swapFree=4192036/4192956 [pid=32193] ppid=32191 vsize=1780108 CPUtime=0.09 /proc/32193/stat : 32193 (java) S 32191 32193 31818 0 -1 0 3977 0 1 0 6 3 0 0 18 0 12 0 13261531 1822830592 3718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32193/statm: 445027 3718 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1780108 [startup+0.301334 s] /proc/loadavg: 0.95 1.02 0.99 3/64 32193 /proc/meminfo: memFree=1832680/2055920 swapFree=4192036/4192956 [pid=32193] ppid=32191 vsize=1782136 CPUtime=0.37 /proc/32193/stat : 32193 (java) S 32191 32193 31818 0 -1 0 5675 0 1 0 33 4 0 0 18 0 12 0 13261531 1824907264 5411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32193/statm: 445534 5411 1270 9 0 443146 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 1782136 [startup+0.701364 s] /proc/loadavg: 0.95 1.02 0.99 3/64 32193 /proc/meminfo: memFree=1832680/2055920 swapFree=4192036/4192956 [pid=32193] ppid=32191 vsize=1783996 CPUtime=0.95 /proc/32193/stat : 32193 (java) S 32191 32193 31818 0 -1 0 10854 0 1 0 88 7 0 0 18 0 12 0 13261531 1826811904 10092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32193/statm: 445999 10093 1296 9 0 443611 0 Current children cumulated CPU time (s) 0.95 Current children cumulated vsize (KiB) 1783996 [startup+1.50244 s] /proc/loadavg: 0.95 1.02 0.99 4/76 32205 /proc/meminfo: memFree=1783176/2055920 swapFree=4192036/4192956 [pid=32193] ppid=32191 vsize=1792632 CPUtime=2.4 /proc/32193/stat : 32193 (java) S 32191 32193 31818 0 -1 0 25892 0 1 0 227 13 0 0 18 0 12 0 13261531 1835655168 22433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32193/statm: 448158 22433 1310 9 0 445770 0 [pid=32193/tid=32195] ppid=32191 vsize=1792632 CPUtime=1.08 /proc/32193/task/32195/stat : 32195 (java) R 32191 32193 31818 0 -1 64 18934 0 1 0 99 9 0 0 18 0 12 0 13261533 1835655168 22433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109487097 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32196] ppid=32191 vsize=1792632 CPUtime=0 /proc/32193/task/32196/stat : 32196 (java) S 32191 32193 31818 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 13261534 1835655168 22433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32197] ppid=32191 vsize=1792632 CPUtime=0 /proc/32193/task/32197/stat : 32197 (java) S 32191 32193 31818 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 13261534 1835655168 22433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32198] ppid=32191 vsize=1792632 CPUtime=0 /proc/32193/task/32198/stat : 32198 (java) S 32191 32193 31818 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 13261536 1835655168 22433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32199] ppid=32191 vsize=1792632 CPUtime=0 /proc/32193/task/32199/stat : 32199 (java) S 32191 32193 31818 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 13261537 1835655168 22433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32200] ppid=32191 vsize=1792632 CPUtime=0 /proc/32193/task/32200/stat : 32200 (java) S 32191 32193 31818 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 13261537 1835655168 22433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32201] ppid=32191 vsize=1792632 CPUtime=0 /proc/32193/task/32201/stat : 32201 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 13261541 1835655168 22433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32202] ppid=32191 vsize=1792632 CPUtime=0.82 /proc/32193/task/32202/stat : 32202 (java) S 32191 32193 31818 0 -1 64 4511 0 0 0 80 2 0 0 21 0 12 0 13261541 1835655168 22433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32203] ppid=32191 vsize=1792632 CPUtime=0.47 /proc/32193/task/32203/stat : 32203 (java) S 32191 32193 31818 0 -1 64 1728 0 0 0 46 1 0 0 17 0 12 0 13261541 1835655168 22433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32204] ppid=32191 vsize=1792632 CPUtime=0 /proc/32193/task/32204/stat : 32204 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 13261541 1835655168 22433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32205] ppid=32191 vsize=1792632 CPUtime=0 /proc/32193/task/32205/stat : 32205 (java) S 32191 32193 31818 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 13261541 1835655168 22433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.4 Current children cumulated vsize (KiB) 1792632 [startup+3.10259 s] /proc/loadavg: 0.95 1.02 0.99 2/76 32205 /proc/meminfo: memFree=1688072/2055920 swapFree=4192036/4192956 [pid=32193] ppid=32191 vsize=1794080 CPUtime=4.37 /proc/32193/stat : 32193 (java) S 32191 32193 31818 0 -1 0 52468 0 1 0 411 26 0 0 18 0 12 0 13261531 1837137920 48103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32193/statm: 448520 48103 1324 9 0 446132 0 [pid=32193/tid=32195] ppid=32191 vsize=1794080 CPUtime=2.4 /proc/32193/task/32195/stat : 32195 (java) R 32191 32193 31818 0 -1 64 37707 0 1 0 222 18 0 0 21 0 12 0 13261533 1837137920 48103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109626103 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32196] ppid=32191 vsize=1794080 CPUtime=0.19 /proc/32193/task/32196/stat : 32196 (java) S 32191 32193 31818 0 -1 64 3777 0 0 0 18 1 0 0 16 0 12 0 13261534 1837137920 48103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32197] ppid=32191 vsize=1794080 CPUtime=0.19 /proc/32193/task/32197/stat : 32197 (java) S 32191 32193 31818 0 -1 64 3435 0 0 0 17 2 0 0 16 0 12 0 13261534 1837137920 48103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32198] ppid=32191 vsize=1794080 CPUtime=0 /proc/32193/task/32198/stat : 32198 (java) S 32191 32193 31818 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 13261536 1837137920 48103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32199] ppid=32191 vsize=1794080 CPUtime=0 /proc/32193/task/32199/stat : 32199 (java) S 32191 32193 31818 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 13261537 1837137920 48103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32200] ppid=32191 vsize=1794080 CPUtime=0 /proc/32193/task/32200/stat : 32200 (java) S 32191 32193 31818 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 13261537 1837137920 48103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32201] ppid=32191 vsize=1794080 CPUtime=0 /proc/32193/task/32201/stat : 32201 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 13261541 1837137920 48103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32202] ppid=32191 vsize=1794080 CPUtime=0.92 /proc/32193/task/32202/stat : 32202 (java) S 32191 32193 31818 0 -1 64 4515 0 0 0 90 2 0 0 16 0 12 0 13261541 1837137920 48103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32203] ppid=32191 vsize=1794080 CPUtime=0.62 /proc/32193/task/32203/stat : 32203 (java) S 32191 32193 31818 0 -1 64 2310 0 0 0 61 1 0 0 16 0 12 0 13261541 1837137920 48103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32204] ppid=32191 vsize=1794080 CPUtime=0 /proc/32193/task/32204/stat : 32204 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 13261541 1837137920 48103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32205] ppid=32191 vsize=1794080 CPUtime=0 /proc/32193/task/32205/stat : 32205 (java) S 32191 32193 31818 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 13261541 1837137920 48103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.37 Current children cumulated vsize (KiB) 1794080 [startup+6.30189 s] /proc/loadavg: 0.95 1.02 0.99 2/77 32206 /proc/meminfo: memFree=1610632/2055920 swapFree=4192036/4192956 [pid=32193] ppid=32191 vsize=1794568 CPUtime=8.42 /proc/32193/stat : 32193 (java) S 32191 32193 31818 0 -1 0 63711 0 1 0 809 33 0 0 18 0 13 0 13261531 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32193/statm: 448642 56571 1333 9 0 446254 0 [pid=32193/tid=32195] ppid=32191 vsize=1794568 CPUtime=5.13 /proc/32193/task/32195/stat : 32195 (java) R 32191 32193 31818 0 -1 64 37742 0 1 0 495 18 0 0 18 0 13 0 13261533 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4110012472 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32196] ppid=32191 vsize=1794568 CPUtime=0.39 /proc/32193/task/32196/stat : 32196 (java) S 32191 32193 31818 0 -1 64 8196 0 0 0 36 3 0 0 16 0 13 0 13261534 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32197] ppid=32191 vsize=1794568 CPUtime=0.39 /proc/32193/task/32197/stat : 32197 (java) S 32191 32193 31818 0 -1 64 7813 0 0 0 35 4 0 0 16 0 13 0 13261534 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32198] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32198/stat : 32198 (java) S 32191 32193 31818 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 13261536 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32199] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32199/stat : 32199 (java) S 32191 32193 31818 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32200] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32200/stat : 32200 (java) S 32191 32193 31818 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32201] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32201/stat : 32201 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 13261541 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32202] ppid=32191 vsize=1794568 CPUtime=1.32 /proc/32193/task/32202/stat : 32202 (java) S 32191 32193 31818 0 -1 64 5141 0 0 0 130 2 0 0 16 0 13 0 13261541 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32203] ppid=32191 vsize=1794568 CPUtime=1.14 /proc/32193/task/32203/stat : 32203 (java) S 32191 32193 31818 0 -1 64 4091 0 0 0 112 2 0 0 16 0 13 0 13261541 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32204] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32204/stat : 32204 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 13261541 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32205] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32205/stat : 32205 (java) S 32191 32193 31818 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 13261541 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32206] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32206/stat : 32206 (java) S 32191 32193 31818 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 13261890 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.42 Current children cumulated vsize (KiB) 1794568 [startup+12.7025 s] /proc/loadavg: 0.96 1.02 0.99 2/77 32206 /proc/meminfo: memFree=1610632/2055920 swapFree=4192036/4192956 [pid=32193] ppid=32191 vsize=1794568 CPUtime=14.84 /proc/32193/stat : 32193 (java) S 32191 32193 31818 0 -1 0 63716 0 1 0 1451 33 0 0 18 0 13 0 13261531 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32193/statm: 448642 56576 1333 9 0 446254 0 [pid=32193/tid=32195] ppid=32191 vsize=1794568 CPUtime=11.49 /proc/32193/task/32195/stat : 32195 (java) R 32191 32193 31818 0 -1 64 37742 0 1 0 1131 18 0 0 25 0 13 0 13261533 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109947363 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32196] ppid=32191 vsize=1794568 CPUtime=0.39 /proc/32193/task/32196/stat : 32196 (java) S 32191 32193 31818 0 -1 64 8196 0 0 0 36 3 0 0 16 0 13 0 13261534 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32197] ppid=32191 vsize=1794568 CPUtime=0.39 /proc/32193/task/32197/stat : 32197 (java) S 32191 32193 31818 0 -1 64 7813 0 0 0 35 4 0 0 16 0 13 0 13261534 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32198] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32198/stat : 32198 (java) S 32191 32193 31818 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 13261536 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32199] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32199/stat : 32199 (java) S 32191 32193 31818 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32200] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32200/stat : 32200 (java) S 32191 32193 31818 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32201] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32201/stat : 32201 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 13261541 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32202] ppid=32191 vsize=1794568 CPUtime=1.35 /proc/32193/task/32202/stat : 32202 (java) S 32191 32193 31818 0 -1 64 5145 0 0 0 133 2 0 0 16 0 13 0 13261541 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32203] ppid=32191 vsize=1794568 CPUtime=1.17 /proc/32193/task/32203/stat : 32203 (java) S 32191 32193 31818 0 -1 64 4092 0 0 0 115 2 0 0 17 0 13 0 13261541 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32204] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32204/stat : 32204 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 13261541 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32205] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32205/stat : 32205 (java) S 32191 32193 31818 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 13261541 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32206] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32206/stat : 32206 (java) S 32191 32193 31818 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 13261890 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.84 Current children cumulated vsize (KiB) 1794568 [startup+25.5017 s] /proc/loadavg: 0.96 1.02 0.99 2/77 32206 /proc/meminfo: memFree=1585288/2055920 swapFree=4192036/4192956 [pid=32193] ppid=32191 vsize=1794568 CPUtime=27.98 /proc/32193/stat : 32193 (java) S 32191 32193 31818 0 -1 0 71637 0 1 0 2762 36 0 0 18 0 13 0 13261531 1837637632 62915 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32193/statm: 448642 62915 1333 9 0 446254 0 [pid=32193/tid=32195] ppid=32191 vsize=1794568 CPUtime=23.93 /proc/32193/task/32195/stat : 32195 (java) R 32191 32193 31818 0 -1 64 37744 0 1 0 2375 18 0 0 25 0 13 0 13261533 1837637632 62915 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109937871 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32196] ppid=32191 vsize=1794568 CPUtime=0.74 /proc/32193/task/32196/stat : 32196 (java) S 32191 32193 31818 0 -1 64 12785 0 0 0 69 5 0 0 16 0 13 0 13261534 1837637632 62915 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32197] ppid=32191 vsize=1794568 CPUtime=0.74 /proc/32193/task/32197/stat : 32197 (java) S 32191 32193 31818 0 -1 64 11143 0 0 0 68 6 0 0 16 0 13 0 13261534 1837637632 62915 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32198] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32198/stat : 32198 (java) S 32191 32193 31818 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 13261536 1837637632 62915 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32199] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32199/stat : 32199 (java) S 32191 32193 31818 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 62915 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/32193/task/32202/stat : 32202 (java) S 32191 32193 31818 0 -1 64 5152 0 0 0 143 2 0 0 17 0 13 0 13261541 1837637632 374816 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32203] ppid=32191 vsize=1794568 CPUtime=1.25 /proc/32193/task/32203/stat : 32203 (java) S 32191 32193 31818 0 -1 64 4097 0 0 0 123 2 0 0 16 0 13 0 13261541 1837637632 374816 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32204] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32204/stat : 32204 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 13261541 1837637632 374816 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32205] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32205/stat : 32205 (java) S 32191 32193 31818 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 13261541 1837637632 374816 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32206] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32206/stat : 32206 (java) S 32191 32193 31818 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 13261890 1837637632 374816 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1612.9 Current children cumulated vsize (KiB) 1794568 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 32406 /proc/meminfo: memFree=261896/2055920 swapFree=4192036/4192956 [pid=32193] ppid=32191 vsize=1794568 CPUtime=1673.53 /proc/32193/stat : 32193 (java) S 32191 32193 31818 0 -1 0 518379 0 1 0 167100 253 0 0 18 0 13 0 13261531 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32193/statm: 448642 392921 1333 9 0 446254 0 [pid=32193/tid=32195] ppid=32191 vsize=1794568 CPUtime=1650.68 /proc/32193/task/32195/stat : 32195 (java) R 32191 32193 31818 0 -1 64 40546 0 1 0 165044 24 0 0 25 0 13 0 13261533 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4110012116 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32196] ppid=32191 vsize=1794568 CPUtime=10.01 /proc/32193/task/32196/stat : 32196 (java) S 32191 32193 31818 0 -1 64 244365 0 0 0 887 114 0 0 17 0 13 0 13261534 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32197] ppid=32191 vsize=1794568 CPUtime=10.01 /proc/32193/task/32197/stat : 32197 (java) S 32191 32193 31818 0 -1 64 223382 0 0 0 896 105 0 0 16 0 13 0 13261534 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32198] ppid=32191 vsize=1794568 CPUtime=0.04 /proc/32193/task/32198/stat : 32198 (java) S 32191 32193 31818 0 -1 64 115 0 0 0 1 3 0 0 16 0 13 0 13261536 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32199] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32199/stat : 32199 (java) S 32191 32193 31818 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32200] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32200/stat : 32200 (java) S 32191 32193 31818 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32201] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32201/stat : 32201 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 13261541 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32202] ppid=32191 vsize=1794568 CPUtime=1.45 /proc/32193/task/32202/stat : 32202 (java) S 32191 32193 31818 0 -1 64 5152 0 0 0 143 2 0 0 17 0 13 0 13261541 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32203] ppid=32191 vsize=1794568 CPUtime=1.28 /proc/32193/task/32203/stat : 32203 (java) S 32191 32193 31818 0 -1 64 4098 0 0 0 126 2 0 0 17 0 13 0 13261541 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32204] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32204/stat : 32204 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 13261541 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32205] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32205/stat : 32205 (java) S 32191 32193 31818 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 13261541 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32206] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32206/stat : 32206 (java) S 32191 32193 31818 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 13261890 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1673.53 Current children cumulated vsize (KiB) 1794568 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 32406 /proc/meminfo: memFree=233864/2055920 swapFree=4192036/4192956 [pid=32193] ppid=32191 vsize=1794568 CPUtime=1734.21 /proc/32193/stat : 32193 (java) S 32191 32193 31818 0 -1 0 527931 0 1 0 173163 258 0 0 18 0 13 0 13261531 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32193/statm: 448642 401066 1333 9 0 446254 0 [pid=32193/tid=32195] ppid=32191 vsize=1794568 CPUtime=1709.95 /proc/32193/task/32195/stat : 32195 (java) R 32191 32193 31818 0 -1 64 40554 0 1 0 170971 24 0 0 25 0 13 0 13261533 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4110013121 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32196] ppid=32191 vsize=1794568 CPUtime=10.72 /proc/32193/task/32196/stat : 32196 (java) S 32191 32193 31818 0 -1 64 247877 0 0 0 956 116 0 0 16 0 13 0 13261534 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32197] ppid=32191 vsize=1794568 CPUtime=10.72 /proc/32193/task/32197/stat : 32197 (java) S 32191 32193 31818 0 -1 64 229412 0 0 0 964 108 0 0 16 0 13 0 13261534 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32198] ppid=32191 vsize=1794568 CPUtime=0.04 /proc/32193/task/32198/stat : 32198 (java) S 32191 32193 31818 0 -1 64 117 0 0 0 1 3 0 0 16 0 13 0 13261536 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32199] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32199/stat : 32199 (java) S 32191 32193 31818 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32200] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32200/stat : 32200 (java) S 32191 32193 31818 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32201] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32201/stat : 32201 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 13261541 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32202] ppid=32191 vsize=1794568 CPUtime=1.45 /proc/32193/task/32202/stat : 32202 (java) S 32191 32193 31818 0 -1 64 5152 0 0 0 143 2 0 0 17 0 13 0 13261541 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32203] ppid=32191 vsize=1794568 CPUtime=1.28 /proc/32193/task/32203/stat : 32203 (java) S 32191 32193 31818 0 -1 64 4098 0 0 0 126 2 0 0 17 0 13 0 13261541 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32204] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32204/stat : 32204 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 13261541 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32205] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32205/stat : 32205 (java) S 32191 32193 31818 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 13261541 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32206] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32206/stat : 32206 (java) S 32191 32193 31818 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 13261890 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1734.21 Current children cumulated vsize (KiB) 1794568 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 32406 /proc/meminfo: memFree=219016/2055920 swapFree=4192036/4192956 [pid=32193] ppid=32191 vsize=1794568 CPUtime=1795.11 /proc/32193/stat : 32193 (java) S 32191 32193 31818 0 -1 0 531052 0 1 0 179251 260 0 0 18 0 13 0 13261531 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32193/statm: 448642 403580 1336 9 0 446254 0 [pid=32193/tid=32195] ppid=32191 vsize=1794568 CPUtime=1769.37 /proc/32193/task/32195/stat : 32195 (java) R 32191 32193 31818 0 -1 64 40634 0 1 0 176912 25 0 0 25 0 13 0 13261533 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109678366 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32196] ppid=32191 vsize=1794568 CPUtime=11.26 /proc/32193/task/32196/stat : 32196 (java) S 32191 32193 31818 0 -1 64 249105 0 0 0 1010 116 0 0 17 0 13 0 13261534 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32197] ppid=32191 vsize=1794568 CPUtime=11.25 /proc/32193/task/32197/stat : 32197 (java) S 32191 32193 31818 0 -1 64 231201 0 0 0 1016 109 0 0 16 0 13 0 13261534 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32198] ppid=32191 vsize=1794568 CPUtime=0.04 /proc/32193/task/32198/stat : 32198 (java) S 32191 32193 31818 0 -1 64 120 0 0 0 1 3 0 0 16 0 13 0 13261536 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32199] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32199/stat : 32199 (java) S 32191 32193 31818 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32200] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32200/stat : 32200 (java) S 32191 32193 31818 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32201] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32201/stat : 32201 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 13261541 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32202] ppid=32191 vsize=1794568 CPUtime=1.85 /proc/32193/task/32202/stat : 32202 (java) S 32191 32193 31818 0 -1 64 5173 0 0 0 183 2 0 0 20 0 13 0 13261541 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32203] ppid=32191 vsize=1794568 CPUtime=1.28 /proc/32193/task/32203/stat : 32203 (java) S 32191 32193 31818 0 -1 64 4098 0 0 0 126 2 0 0 17 0 13 0 13261541 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32204] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32204/stat : 32204 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 13261541 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32205] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32205/stat : 32205 (java) S 32191 32193 31818 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 13261541 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32206] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32206/stat : 32206 (java) S 32191 32193 31818 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 13261890 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1795.11 Current children cumulated vsize (KiB) 1794568 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1787.1 s] /proc/loadavg: 1.00 1.00 1.00 2/77 32406 /proc/meminfo: memFree=214536/2055920 swapFree=4192036/4192956 [pid=32193] ppid=32191 vsize=1794568 CPUtime=1800 /proc/32193/stat : 32193 (java) S 32191 32193 31818 0 -1 0 532197 0 1 0 179739 261 0 0 18 0 13 0 13261531 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32193/statm: 448642 404724 1336 9 0 446254 0 [pid=32193/tid=32195] ppid=32191 vsize=1794568 CPUtime=1774.09 /proc/32193/task/32195/stat : 32195 (java) R 32191 32193 31818 0 -1 64 41229 0 1 0 177384 25 0 0 25 0 13 0 13261533 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109908720 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32196] ppid=32191 vsize=1794568 CPUtime=11.34 /proc/32193/task/32196/stat : 32196 (java) S 32191 32193 31818 0 -1 64 249464 0 0 0 1018 116 0 0 16 0 13 0 13261534 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32197] ppid=32191 vsize=1794568 CPUtime=11.33 /proc/32193/task/32197/stat : 32197 (java) S 32191 32193 31818 0 -1 64 231392 0 0 0 1024 109 0 0 16 0 13 0 13261534 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32198] ppid=32191 vsize=1794568 CPUtime=0.04 /proc/32193/task/32198/stat : 32198 (java) S 32191 32193 31818 0 -1 64 120 0 0 0 1 3 0 0 15 0 13 0 13261536 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32199] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32199/stat : 32199 (java) S 32191 32193 31818 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32200] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32200/stat : 32200 (java) S 32191 32193 31818 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32201] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32201/stat : 32201 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 13261541 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32202] ppid=32191 vsize=1794568 CPUtime=1.85 /proc/32193/task/32202/stat : 32202 (java) S 32191 32193 31818 0 -1 64 5173 0 0 0 183 2 0 0 20 0 13 0 13261541 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32203] ppid=32191 vsize=1794568 CPUtime=1.28 /proc/32193/task/32203/stat : 32203 (java) S 32191 32193 31818 0 -1 64 4098 0 0 0 126 2 0 0 17 0 13 0 13261541 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32204] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32204/stat : 32204 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 13261541 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32193/tid=32205] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32205/stat : 32205 (java) S 32191 32193 31818 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 13261541 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32193/tid=32206] ppid=32191 vsize=1794568 CPUtime=0 /proc/32193/task/32206/stat : 32206 (java) S 32191 32193 31818 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 13261890 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1794568 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1787.21 s] /proc/loadavg: 1.00 1.00 1.00 2/77 32406 /proc/meminfo: memFree=214536/2055920 swapFree=4192036/4192956 [pid=32193] ppid=32191 vsize=0 CPUtime=1800.11 /proc/32193/stat : 32193 (java) Z 32191 32193 31818 0 -1 1036 532217 0 1 0 179741 270 0 0 16 0 2 0 13261531 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/32193/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 [startup+1787.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 32406 /proc/meminfo: memFree=214536/2055920 swapFree=4192036/4192956 [pid=32193] ppid=32191 vsize=0 CPUtime=1800.19 /proc/32193/stat : 32193 (java) Z 32191 32193 31818 0 -1 1036 532217 0 1 0 179741 278 0 0 16 0 2 0 13261531 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/32193/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1787.36 CPU time (s): 1800.26 CPU user time (s): 1797.42 CPU system time (s): 2.84657 CPU usage (%): 100.722 Max. virtual memory (cumulated for all children) (KiB): 1795004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.42 system time used= 2.84657 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 532217 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= 38214 involuntary context switches= 39366 runsolver used 2.11168 second user time and 4.47832 second system time The end
Begin job on node48 on Sat Apr 14 20:56:02 UTC 2007 IDJOB= 351157 IDBENCH= 1677 IDSOLVER= 159 FILE ID= node48/351157-1176584162 PBS_JOBID= 4556950 Free space on /tmp= 66558 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-sctap3.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351157-1176584162/sat4jPseudoResolution.jar /tmp/evaluation/351157-1176584162/instance-351157-1176584162.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-351157-1176584162 -o ROOT/results/node48/solver-351157-1176584162 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351157-1176584162/sat4jPseudoResolution.jar /tmp/evaluation/351157-1176584162/instance-351157-1176584162.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= c9c03ffbcefada456722b42cc16a80ad RANDOM SEED= 438804591 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node48.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.238 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.238 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: 1833088 kB Buffers: 5644 kB Cached: 121276 kB SwapCached: 444 kB Active: 40528 kB Inactive: 101976 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1833088 kB SwapTotal: 4192956 kB SwapFree: 4192036 kB Dirty: 6876 kB Writeback: 0 kB Mapped: 25016 kB Slab: 66320 kB Committed_AS: 66728 kB PageTables: 1388 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= 66558 MiB End job on node48 on Sat Apr 14 21:25:51 UTC 2007