Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.28 | 1784.76 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-grow7.opb |
MD5SUM | c73bf29c796f0bf48406f571c4c43173 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 7994 |
Total number of constraints | 420 |
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 | 420 |
Minimum length of a constraint | 22 |
Maximum length of a constraint | 491 |
Number of terms in the objective function | 623 |
Biggest coefficient in the objective function | 3758096384 |
Number of bits for the biggest coefficient in the objective function | 32 |
Sum of the numbers in the objective function | 68719476658 |
Number of bits of the sum of numbers in the objective function | 36 |
Biggest number in a constraint | 878188741787648 |
Number of bits of the biggest number in a constraint | 50 |
Biggest sum of numbers in a constraint | 4550739094651140 |
Number of bits of the biggest sum of numbers | 53 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.07/0.17 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.07/0.17 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.07/0.17 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.07/0.17 c no version file found!!! 0.07/0.17 c sun.arch.data.model 32 0.07/0.17 c java.version 1.6.0 0.07/0.17 c os.name Linux 0.07/0.17 c os.version 2.6.9-22.EL.rootsmp 0.07/0.17 c os.arch i386 0.07/0.18 c Free memory 1651659224 0.07/0.18 c Max memory 1654456320 0.07/0.18 c Total memory 1654456320 0.07/0.18 c Number of processors 2 0.15/0.23 --- Begin Solver configuration --- 0.15/0.23 c Stops conflict analysis at the first Unique Implication Point 0.15/0.23 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.15/0.23 c Learn all clauses as in MiniSAT 0.15/0.23 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.15/0.23 c VSIDS like heuristics from MiniSAT using a heap 0.15/0.23 c No reason simplification 0.15/0.23 c --- End Solver configuration --- 0.15/0.23 c solving /tmp/evaluation/354238-1176701491/instance-354238-1176701491.opb 0.15/0.23 c reading problem ... 2.49/1.55 c ... done. Wall clock time 1.321s. 2.49/1.55 c CPU time (experimental) 1.08s. 2.49/1.55 c #vars 7994 2.49/1.55 c #constraints 560 1523.49/1510.59 c cleaning 725424 clauses out of 1450991 for limit 20670.6385466057 1540.76/1527.71 c cleaning 364259 clauses out of 728568 for limit 828930.9455860452 1544.76/1531.72 c cleaning 182379 clauses out of 364807 for limit 2724658.9314491013 1548.62/1535.51 c cleaning 92399 clauses out of 184928 for limit 6.556198152006236E7 1549.52/1536.40 c cleaning 46444 clauses out of 93030 for limit 2.1514047426017615E8 1551.77/1538.66 c cleaning 24474 clauses out of 49085 for limit 4.968682779657444E9 1553.71/1540.52 c cleaning 13742 clauses out of 27611 for limit 1.7768192552295605E11 1555.25/1542.03 c cleaning 8612 clauses out of 17369 for limit 9.370047270272627E12 1555.46/1542.27 c cleaning 4625 clauses out of 9257 for limit 2.8993605157772383E13 1556.69/1543.46 c cleaning 3742 clauses out of 7632 for limit 7.074071488704087E-6 1556.89/1543.61 c cleaning 2189 clauses out of 4390 for limit 2.0281458016061067E-5 1558.03/1544.77 c cleaning 2779 clauses out of 5702 for limit 5.185160463844973E-4 1559.67/1546.31 c cleaning 3382 clauses out of 6922 for limit 0.023343738161398994 1559.87/1546.50 c cleaning 1941 clauses out of 4042 for limit 0.06605878773869962 1561.32/1547.97 c cleaning 2972 clauses out of 6099 for limit 2.3902666272351687 1563.26/1549.85 c cleaning 3987 clauses out of 8127 for limit 266.8907927185825 1565.40/1551.97 c cleaning 4747 clauses out of 9642 for limit 55307.05132944296 1567.65/1554.14 c cleaning 5112 clauses out of 10394 for limit 1.2576076336328086E7 1567.85/1554.38 c cleaning 2806 clauses out of 5781 for limit 3.725171599011351E7 1568.15/1554.61 c cleaning 1651 clauses out of 3475 for limit 1.0219986700916825E8 1574.00/1560.43 c cleaning 6153 clauses out of 12325 for limit 1.0529951008468718E12 1574.30/1560.75 c cleaning 3321 clauses out of 6673 for limit 3.2105730251126626E12 1574.60/1561.02 c cleaning 1918 clauses out of 3851 for limit 9.165402333651367E12 1581.24/1567.63 c cleaning 6621 clauses out of 13432 for limit 0.0026063651431602443 1581.54/1567.92 c cleaning 3556 clauses out of 7311 for limit 0.007896871026928114 1581.84/1568.20 c cleaning 2031 clauses out of 4255 for limit 0.022376293589652603 1588.88/1575.24 c cleaning 7017 clauses out of 14224 for limit 1095.9916883177887 1589.18/1575.57 c cleaning 3751 clauses out of 7707 for limit 3335.7963738271906 1589.48/1575.83 c cleaning 2129 clauses out of 4458 for limit 9529.491733272072 1594.95/1581.27 c cleaning 5817 clauses out of 11828 for limit 4.816436371549109E7 1595.25/1581.55 c cleaning 3157 clauses out of 6510 for limit 1.441708735301723E8 1595.45/1581.80 c cleaning 1827 clauses out of 3855 for limit 4.0230835004144585E8 1595.75/1582.04 c cleaning 1166 clauses out of 2526 for limit 1.010501462059468E9 1595.95/1582.28 c cleaning 832 clauses out of 1860 for limit 2.2631494558797545E9 1601.60/1587.81 c cleaning 5264 clauses out of 10528 for limit 5.367130514857702E12 1601.80/1588.10 c cleaning 2882 clauses out of 5764 for limit 1.6166646699058412E13 1602.10/1588.36 c cleaning 1691 clauses out of 3383 for limit 4.547077125922111E13 1602.30/1588.59 c cleaning 1076 clauses out of 2193 for limit 1.1579400773412028E14 1607.64/1593.88 c cleaning 5204 clauses out of 10615 for limit 0.0032047750311005626 1607.93/1594.19 c cleaning 2858 clauses out of 5911 for limit 0.009491010950352709 1608.23/1594.41 c cleaning 1681 clauses out of 3554 for limit 0.02605831976916146 1608.43/1594.63 c cleaning 1087 clauses out of 2373 for limit 0.06436088116465281 1608.63/1594.86 c cleaning 798 clauses out of 1786 for limit 0.14102436473744268 1608.83/1595.09 c cleaning 648 clauses out of 1488 for limit 0.279144170316064 1613.98/1600.12 c cleaning 4817 clauses out of 9839 for limit 343.28275539001896 1614.28/1600.41 c cleaning 2663 clauses out of 5523 for limit 1009.5278480905259 1614.48/1600.68 c cleaning 1578 clauses out of 3359 for limit 2734.668689277943 1614.78/1600.93 c cleaning 1036 clauses out of 2282 for limit 6644.915777226369 1614.98/1601.17 c cleaning 775 clauses out of 1747 for limit 14328.562243632621 1615.18/1601.39 c cleaning 636 clauses out of 1470 for limit 28026.253654037402 1619.84/1605.91 c cleaning 4314 clauses out of 8835 for limit 1.3970261425098108E7 1620.04/1606.18 c cleaning 2417 clauses out of 5020 for limit 4.0506875492110245E7 1620.34/1606.42 c cleaning 1456 clauses out of 3103 for limit 1.0807035389259146E8 1620.54/1606.65 c cleaning 1074 clauses out of 2148 for limit 2.5771783300788024E8 1620.74/1606.88 c cleaning 688 clauses out of 1573 for limit 5.797909079124668E8 1621.04/1607.11 c cleaning 692 clauses out of 1385 for limit 1.0859410162492344E9 1621.24/1607.32 c cleaning 596 clauses out of 1193 for limit 2.0790812107152805E9 1621.44/1607.54 c cleaning 548 clauses out of 1097 for limit 3.7287318867972336E9 1625.18/1611.24 c cleaning 3927 clauses out of 8050 for limit 9.230914338543688E11 1625.38/1611.48 c cleaning 2212 clauses out of 4622 for limit 2.648695509542994E12 1625.68/1611.70 c cleaning 1359 clauses out of 2912 for limit 6.946971486196368E12 1625.88/1611.93 c cleaning 926 clauses out of 2054 for limit 1.6258364148390523E13 1626.08/1612.13 c cleaning 714 clauses out of 1625 for limit 3.378907261130673E13 1626.28/1612.33 c cleaning 705 clauses out of 1411 for limit 6.4173911449770984E13 1626.48/1612.53 c cleaning 603 clauses out of 1206 for limit 1.2382094198447573E14 1626.68/1612.74 c cleaning 552 clauses out of 1104 for limit 2.2328663912899566E14 1626.88/1612.95 c cleaning 525 clauses out of 1051 for limit 3.8641187943623356E14 1630.13/1616.18 c cleaning 3509 clauses out of 7028 for limit 3.8638208998396874E-4 1630.43/1616.46 c cleaning 1911 clauses out of 4018 for limit 0.0011134229863044355 1630.73/1616.74 c cleaning 1208 clauses out of 2606 for limit 0.002828245333456495 1630.94/1616.99 c cleaning 847 clauses out of 1899 for limit 0.006407032465558899 1631.23/1617.23 c cleaning 675 clauses out of 1551 for limit 0.012923836848157807 1631.43/1617.48 c cleaning 589 clauses out of 1376 for limit 0.024023745460663187 1631.73/1617.73 c cleaning 544 clauses out of 1287 for limit 0.042358101991323616 1631.93/1617.98 c cleaning 520 clauses out of 1243 for limit 0.07232689097040863 1632.23/1618.23 c cleaning 512 clauses out of 1223 for limit 0.1212272785185733 1635.38/1621.37 c cleaning 3011 clauses out of 6212 for limit 5.861984077582281 1635.67/1621.64 c cleaning 1751 clauses out of 3700 for limit 16.214207728692354 1636.00/1621.92 c cleaning 1122 clauses out of 2449 for limit 40.39843661793081 1636.20/1622.17 c cleaning 812 clauses out of 1829 for limit 89.3849803170312 1636.50/1622.43 c cleaning 651 clauses out of 1515 for limit 177.60389457566825 1636.70/1622.69 c cleaning 585 clauses out of 1366 for limit 325.4912581175968 1637.00/1622.94 c cleaning 538 clauses out of 1283 for limit 572.6487044591495 1637.20/1623.19 c cleaning 520 clauses out of 1242 for limit 972.6255966634593 1637.50/1623.44 c cleaning 505 clauses out of 1221 for limit 1629.9451945086137 1637.70/1623.68 c cleaning 509 clauses out of 1217 for limit 2699.5320400830205 1640.75/1626.63 c cleaning 3002 clauses out of 6207 for limit 129741.09665357732 1640.95/1626.90 c cleaning 1746 clauses out of 3706 for limit 358710.6688317334 1641.25/1627.15 c cleaning 1229 clauses out of 2459 for limit 890661.2445218221 1641.45/1627.40 c cleaning 765 clauses out of 1731 for limit 2088643.96205138 1641.74/1627.63 c cleaning 733 clauses out of 1467 for limit 4068382.4074830073 1641.94/1627.89 c cleaning 617 clauses out of 1234 for limit 7976137.071802226 1642.24/1628.15 c cleaning 557 clauses out of 1115 for limit 1.4528466107565796E7 1642.44/1628.40 c cleaning 425 clauses out of 1060 for limit 2.5253040618008368E7 1645.28/1631.19 c cleaning 2710 clauses out of 5635 for limit 7.067803915841955E8 1645.58/1631.46 c cleaning 1712 clauses out of 3424 for limit 1.916311173466141E9 1645.88/1631.71 c cleaning 1105 clauses out of 2211 for limit 4.889139404445798E9 1646.08/1631.95 c cleaning 803 clauses out of 1607 for limit 1.1104415026069185E10 1646.28/1632.18 c cleaning 651 clauses out of 1303 for limit 2.2562567649488987E10 1646.58/1632.41 c cleaning 481 clauses out of 1153 for limit 4.209146373056469E10 1646.78/1632.64 c cleaning 491 clauses out of 1171 for limit 6.827910441729059E10 1646.98/1632.86 c cleaning 489 clauses out of 1180 for limit 1.1174255333437387E11 1647.28/1633.12 c cleaning 519 clauses out of 1192 for limit 1.8260587310269666E11 1649.82/1635.61 c cleaning 2757 clauses out of 5672 for limit 5.703994959423161E12 1650.02/1635.84 c cleaning 1626 clauses out of 3415 for limit 1.562357923329266E13 1650.22/1636.06 c cleaning 1065 clauses out of 2291 for limit 3.84831898791588E13 1650.42/1636.29 c cleaning 779 clauses out of 1725 for limit 8.420316746379038E13 1650.72/1636.50 c cleaning 721 clauses out of 1445 for limit 1.6560408909561762E14 1650.92/1636.70 c cleaning 612 clauses out of 1224 for limit 3.224136145579938E14 1651.12/1636.91 c cleaning 556 clauses out of 1113 for limit 5.853154996186338E14 1651.32/1637.11 c cleaning 447 clauses out of 1059 for limit 1.0165158143274528E15 1651.52/1637.31 c cleaning 555 clauses out of 1110 for limit 1.596151036600506E15 1653.66/1639.48 c cleaning 2716 clauses out of 5555 for limit 4.745388461084929E-4 1653.96/1639.70 c cleaning 1585 clauses out of 3341 for limit 0.001303779860150753 1654.16/1639.91 c cleaning 1038 clauses out of 2254 for limit 0.0031806339880482296 1654.36/1640.11 c cleaning 776 clauses out of 1718 for limit 0.006895557086798738 1654.56/1640.31 c cleaning 634 clauses out of 1440 for limit 0.013539944653481009 1654.76/1640.51 c cleaning 568 clauses out of 1305 for limit 0.024614456159894865 1654.96/1640.71 c cleaning 529 clauses out of 1237 for limit 0.04282397174394791 1655.16/1640.90 c cleaning 516 clauses out of 1208 for limit 0.07231786499167658 1655.26/1641.10 c cleaning 513 clauses out of 1193 for limit 0.1208822362426639 1655.56/1641.30 c cleaning 500 clauses out of 1179 for limit 0.20151644793074602 1657.70/1643.43 c cleaning 2755 clauses out of 5683 for limit 6.245159945467781 1657.90/1643.65 c cleaning 1623 clauses out of 3425 for limit 17.037779662346047 1658.10/1643.86 c cleaning 1059 clauses out of 2302 for limit 41.80460661721739 1658.30/1644.06 c cleaning 785 clauses out of 1745 for limit 91.12948996579308 1658.50/1644.25 c cleaning 639 clauses out of 1458 for limit 179.50795956196953 1658.70/1644.45 c cleaning 572 clauses out of 1319 for limit 327.22940738202476 1658.90/1644.64 c cleaning 533 clauses out of 1246 for limit 570.690251863766 1659.10/1644.83 c cleaning 519 clauses out of 1213 for limit 966.7486688710743 1659.30/1645.02 c cleaning 513 clauses out of 1196 for limit 1620.1980850402447 1659.50/1645.21 c cleaning 508 clauses out of 1182 for limit 2700.8669646512 1659.60/1645.40 c cleaning 501 clauses out of 1176 for limit 4485.782974170208 1661.44/1647.18 c cleaning 2497 clauses out of 5173 for limit 91819.95193663792 1661.64/1647.38 c cleaning 1501 clauses out of 3175 for limit 246466.09552259863 1661.84/1647.57 c cleaning 1003 clauses out of 2175 for limit 593925.6097645288 1662.05/1647.76 c cleaning 749 clauses out of 1671 for limit 1273609.3504601223 1662.24/1647.95 c cleaning 711 clauses out of 1423 for limit 2468869.800976486 1662.44/1648.15 c cleaning 605 clauses out of 1211 for limit 4779476.37948749 1662.64/1648.34 c cleaning 553 clauses out of 1107 for limit 8631121.708272463 1662.84/1648.53 c cleaning 527 clauses out of 1054 for limit 1.4949619452518718E7 1663.04/1648.72 c cleaning 423 clauses out of 1027 for limit 2.530207810242976E7 1663.24/1648.91 c cleaning 463 clauses out of 1105 for limit 3.8819930751295574E7 1663.34/1649.10 c cleaning 477 clauses out of 1141 for limit 6.193737069669427E7 1665.28/1650.96 c cleaning 2494 clauses out of 5166 for limit 1.2366762329544299E9 1665.48/1651.15 c cleaning 1496 clauses out of 3169 for limit 3.3146717635659127E9 1665.68/1651.35 c cleaning 1000 clauses out of 2174 for limit 7.976155770372597E9 1665.88/1651.54 c cleaning 837 clauses out of 1675 for limit 1.708947629821808E10 1666.08/1651.73 c cleaning 668 clauses out of 1337 for limit 3.5272280006552246E10 1666.28/1651.92 c cleaning 500 clauses out of 1169 for limit 6.652828322786091E10 1666.48/1652.12 c cleaning 499 clauses out of 1168 for limit 1.0969816431755608E11 1666.68/1652.31 c cleaning 496 clauses out of 1169 for limit 1.807521945263191E11 1666.88/1652.50 c cleaning 587 clauses out of 1175 for limit 2.9715643120673505E11 1666.98/1652.70 c cleaning 543 clauses out of 1086 for limit 5.2915150872081793E11 1667.18/1652.89 c cleaning 437 clauses out of 1044 for limit 9.086565553889755E11 1669.21/1654.81 c cleaning 2553 clauses out of 5106 for limit 1.6745106869169473E13 1669.41/1655.02 c cleaning 1440 clauses out of 3053 for limit 4.618466701629341E13 1669.61/1655.22 c cleaning 970 clauses out of 2115 for limit 1.1016386387812788E14 1669.81/1655.41 c cleaning 737 clauses out of 1644 for limit 2.334904346735047E14 1670.01/1655.61 c cleaning 703 clauses out of 1406 for limit 4.4978706459142444E14 1670.21/1655.80 c cleaning 601 clauses out of 1203 for limit 8.669270254141645E14 1670.41/1656.00 c cleaning 551 clauses out of 1103 for limit 1.5608567809129445E15 1670.51/1656.19 c cleaning 438 clauses out of 1052 for limit 2.6988497987348815E15 1670.71/1656.39 c cleaning 469 clauses out of 1114 for limit 4.203055754665278E15 1670.91/1656.57 c cleaning 485 clauses out of 1144 for limit 6.742884066124655E15 1673.64/1659.26 c cleaning 3241 clauses out of 6659 for limit 0.004687414362181965 1673.84/1659.49 c cleaning 1872 clauses out of 3919 for limit 0.013147933431356373 1674.14/1659.71 c cleaning 1187 clauses out of 2546 for limit 0.0333423139090562 1674.35/1659.93 c cleaning 841 clauses out of 1860 for limit 0.07534103635229562 1674.54/1660.14 c cleaning 674 clauses out of 1518 for limit 0.15208771595484918 1674.74/1660.34 c cleaning 587 clauses out of 1344 for limit 0.2832843140788678 1674.94/1660.54 c cleaning 543 clauses out of 1257 for limit 0.4995079510598703 1675.14/1660.72 c cleaning 518 clauses out of 1214 for limit 0.8529329331835392 1675.35/1660.92 c cleaning 512 clauses out of 1196 for limit 1.4277700830412454 1675.54/1661.12 c cleaning 508 clauses out of 1186 for limit 2.379193029832098 1675.75/1661.33 c cleaning 502 clauses out of 1177 for limit 3.949656076368011 1678.29/1663.83 c cleaning 3247 clauses out of 6674 for limit 281.56954116731794 1678.49/1664.06 c cleaning 1872 clauses out of 3928 for limit 789.7521104088069 1678.69/1664.26 c cleaning 1190 clauses out of 2555 for limit 2000.2889922381614 1678.89/1664.47 c cleaning 847 clauses out of 1866 for limit 4521.29046678016 1679.09/1664.69 c cleaning 673 clauses out of 1518 for limit 9156.376707710153 1679.29/1664.89 c cleaning 582 clauses out of 1345 for limit 17042.33218269753 1679.49/1665.08 c cleaning 549 clauses out of 1264 for limit 29936.059636779355 1679.69/1665.28 c cleaning 519 clauses out of 1214 for limit 51350.4670223281 1679.89/1665.47 c cleaning 509 clauses out of 1195 for limit 86030.22648548038 1680.09/1665.66 c cleaning 506 clauses out of 1188 for limit 142997.16961551484 1680.29/1665.85 c cleaning 501 clauses out of 1180 for limit 236945.64900753144 1683.34/1668.82 c cleaning 3751 clauses out of 7680 for limit 4.010388584599706E7 1683.54/1669.04 c cleaning 2125 clauses out of 4428 for limit 1.145938837318624E8 1683.74/1669.25 c cleaning 1401 clauses out of 2803 for limit 2.985395266740773E8 1683.94/1669.45 c cleaning 951 clauses out of 1902 for limit 7.255549545431793E8 1684.14/1669.63 c cleaning 726 clauses out of 1452 for limit 1.5689337561772406E9 1684.34/1669.83 c cleaning 525 clauses out of 1225 for limit 3.0637724740792594E9 1684.54/1670.02 c cleaning 511 clauses out of 1202 for limit 5.159564448145702E9 1684.73/1670.21 c cleaning 509 clauses out of 1189 for limit 8.584648510135204E9 1684.93/1670.41 c cleaning 505 clauses out of 1180 for limit 1.4265212729014263E10 1685.13/1670.60 c cleaning 587 clauses out of 1175 for limit 2.3625351578102467E10 1685.23/1670.79 c cleaning 544 clauses out of 1088 for limit 4.207684211576729E10 1685.43/1670.99 c cleaning 522 clauses out of 1045 for limit 7.23179558964595E10 1687.98/1673.43 c cleaning 3261 clauses out of 6522 for limit 4.684009534191558E12 1688.18/1673.64 c cleaning 1790 clauses out of 3761 for limit 1.339525910049406E13 1688.38/1673.83 c cleaning 1144 clauses out of 2471 for limit 3.3623087707701906E13 1688.58/1674.02 c cleaning 914 clauses out of 1829 for limit 7.506224406545125E13 1688.78/1674.22 c cleaning 708 clauses out of 1416 for limit 1.6005247520228294E14 1688.98/1674.41 c cleaning 602 clauses out of 1205 for limit 3.092366451183967E14 1689.08/1674.60 c cleaning 468 clauses out of 1104 for limit 5.571848833161904E14 1689.28/1674.78 c cleaning 481 clauses out of 1135 for limit 8.928816802616221E14 1689.48/1674.97 c cleaning 488 clauses out of 1155 for limit 1.448432258231872E15 1689.68/1675.16 c cleaning 495 clauses out of 1168 for limit 2.3644369015223505E15 1689.88/1675.35 c cleaning 585 clauses out of 1171 for limit 3.8815084851158285E15 1690.08/1675.55 c cleaning 543 clauses out of 1086 for limit 6.902135750709213E15 1690.28/1675.74 c cleaning 523 clauses out of 1046 for limit 1.18533486772609E16 1692.82/1678.27 c cleaning 3176 clauses out of 6521 for limit 0.007678213159275199 1693.13/1678.51 c cleaning 1838 clauses out of 3845 for limit 0.021475036355314343 1693.32/1678.74 c cleaning 1168 clauses out of 2506 for limit 0.054283839835569954 1693.52/1678.96 c cleaning 836 clauses out of 1839 for limit 0.12211254893320302 1693.72/1679.17 c cleaning 664 clauses out of 1503 for limit 0.24639899510525368 1693.92/1679.39 c cleaning 581 clauses out of 1339 for limit 0.4561138111362157 1694.12/1679.60 c cleaning 543 clauses out of 1257 for limit 0.8004604845493566 1694.42/1679.81 c cleaning 521 clauses out of 1214 for limit 1.3668233058864114 1694.62/1680.02 c cleaning 512 clauses out of 1194 for limit 2.294125298542495 1694.82/1680.23 c cleaning 502 clauses out of 1182 for limit 3.8217288551156035 1695.02/1680.43 c cleaning 501 clauses out of 1179 for limit 6.312260567588787 1695.22/1680.63 c cleaning 503 clauses out of 1178 for limit 10.418598925009876 1695.43/1680.89 c cleaning 500 clauses out of 1175 for limit 17.22553147934236 1697.87/1683.26 c cleaning 3001 clauses out of 6176 for limit 804.9195555691107 1698.17/1683.51 c cleaning 1747 clauses out of 3674 for limit 2229.163838539645 1698.37/1683.74 c cleaning 1124 clauses out of 2428 for limit 5568.302977319394 1698.57/1683.95 c cleaning 808 clauses out of 1803 for limit 12353.70392440136 1698.78/1684.16 c cleaning 659 clauses out of 1496 for limit 24578.2931914321 1698.97/1684.36 c cleaning 577 clauses out of 1336 for limit 45341.74510793398 1699.17/1684.57 c cleaning 543 clauses out of 1261 for limit 79380.62487722909 1699.37/1684.77 c cleaning 522 clauses out of 1216 for limit 135482.40220511492 1699.57/1684.97 c cleaning 511 clauses out of 1194 for limit 227545.3807280174 1699.77/1685.17 c cleaning 504 clauses out of 1184 for limit 378800.9388751403 1699.97/1685.38 c cleaning 500 clauses out of 1179 for limit 626715.331772631 1700.17/1685.58 c cleaning 497 clauses out of 1179 for limit 1033537.4225701847 1702.72/1688.07 c cleaning 3008 clauses out of 6184 for limit 4.844559688699481E7 1702.92/1688.27 c cleaning 1753 clauses out of 3676 for limit 1.344015187522395E8 1703.12/1688.46 c cleaning 1211 clauses out of 2422 for limit 3.360678096667737E8 1703.32/1688.65 c cleaning 771 clauses out of 1712 for limit 7.848518615890025E8 1703.52/1688.84 c cleaning 719 clauses out of 1439 for limit 1.5368006041272764E9 1703.72/1689.03 c cleaning 610 clauses out of 1220 for limit 2.9893335259347286E9 1703.92/1689.22 c cleaning 529 clauses out of 1110 for limit 5.418350708093744E9 1704.12/1689.41 c cleaning 541 clauses out of 1083 for limit 9.176700216823118E9 1704.22/1689.60 c cleaning 520 clauses out of 1040 for limit 1.5727819822539362E10 1704.42/1689.79 c cleaning 510 clauses out of 1020 for limit 2.6445853013881496E10 1704.62/1689.97 c cleaning 459 clauses out of 1010 for limit 4.4044558883631805E10 1704.82/1690.16 c cleaning 525 clauses out of 1051 for limit 6.980183013561269E10 1705.02/1690.34 c cleaning 427 clauses out of 1026 for limit 1.1791744265300612E11 1705.22/1690.53 c cleaning 457 clauses out of 1099 for limit 1.8154471358226956E11 1705.42/1690.72 c cleaning 482 clauses out of 1142 for limit 2.881184586047026E11 1707.56/1692.88 c cleaning 2830 clauses out of 5661 for limit 8.656401937825995E12 1707.75/1693.09 c cleaning 1665 clauses out of 3330 for limit 2.424419174774611E13 1707.95/1693.29 c cleaning 1083 clauses out of 2166 for limit 6.152957144041227E13 1708.15/1693.47 c cleaning 771 clauses out of 1582 for limit 1.387897004916372E14 1708.35/1693.66 c cleaning 565 clauses out of 1311 for limit 2.7619570008260888E14 1708.55/1693.86 c cleaning 535 clauses out of 1247 for limit 4.7933986588618725E14 1708.76/1694.05 c cleaning 517 clauses out of 1211 for limit 8.131810240078666E14 1708.95/1694.24 c cleaning 509 clauses out of 1196 for limit 1.3605832172510665E15 1709.15/1694.43 c cleaning 593 clauses out of 1187 for limit 2.260796422925741E15 1709.35/1694.62 c cleaning 546 clauses out of 1092 for limit 4.044607672835449E15 1709.55/1694.82 c cleaning 523 clauses out of 1047 for limit 6.963743352177702E15 1709.76/1695.01 c cleaning 511 clauses out of 1023 for limit 1.1741813555605348E16 1709.95/1695.20 c cleaning 507 clauses out of 1014 for limit 1.9574819646169924E16 1710.05/1695.39 c cleaning 502 clauses out of 1005 for limit 3.2505475697340268E16 1710.25/1695.58 c cleaning 502 clauses out of 1004 for limit 5.37129832215714E16 1712.20/1697.45 c cleaning 2413 clauses out of 5003 for limit 0.009734641864865742 1712.40/1697.66 c cleaning 1454 clauses out of 3089 for limit 0.02597490383511282 1712.60/1697.87 c cleaning 979 clauses out of 2134 for limit 0.06194393874979078 1712.80/1698.07 c cleaning 742 clauses out of 1656 for limit 0.1317720487454412 1713.00/1698.27 c cleaning 620 clauses out of 1414 for limit 0.25450136046291655 1713.20/1698.46 c cleaning 559 clauses out of 1294 for limit 0.458628594312624 1713.40/1698.66 c cleaning 528 clauses out of 1235 for limit 0.7924727438840535 1713.60/1698.85 c cleaning 516 clauses out of 1208 for limit 1.3374413806755152 1713.80/1699.05 c cleaning 503 clauses out of 1190 for limit 2.234506346922373 1714.00/1699.25 c cleaning 504 clauses out of 1187 for limit 3.6943132878293423 1714.20/1699.45 c cleaning 503 clauses out of 1183 for limit 6.113016715858107 1714.40/1699.64 c cleaning 502 clauses out of 1181 for limit 10.108362993898462 1714.60/1699.84 c cleaning 501 clauses out of 1178 for limit 16.695783773097983 1714.80/1700.03 c cleaning 503 clauses out of 1178 for limit 27.561142105938362 1715.00/1700.22 c cleaning 498 clauses out of 1174 for limit 45.56126556952047 1716.84/1702.09 c cleaning 2499 clauses out of 5177 for limit 933.089292723558 1717.14/1702.31 c cleaning 1498 clauses out of 3177 for limit 2504.9873167039505 1717.34/1702.53 c cleaning 1003 clauses out of 2181 for limit 6029.648437850896 1717.55/1702.73 c cleaning 754 clauses out of 1677 for limit 12919.210345218498 1717.74/1702.93 c cleaning 628 clauses out of 1427 for limit 25138.47874935661 1717.94/1703.13 c cleaning 554 clauses out of 1294 for limit 45489.58950582274 1718.14/1703.33 c cleaning 533 clauses out of 1242 for limit 78315.83971388148 1718.34/1703.52 c cleaning 518 clauses out of 1208 for limit 132655.61752906904 1718.54/1703.72 c cleaning 507 clauses out of 1190 for limit 222075.93820587857 1718.75/1703.91 c cleaning 502 clauses out of 1182 for limit 368342.95310503046 1718.94/1704.11 c cleaning 504 clauses out of 1182 for limit 608663.5240935415 1719.14/1704.31 c cleaning 498 clauses out of 1176 for limit 1006872.0711355637 1719.34/1704.50 c cleaning 502 clauses out of 1178 for limit 1657647.613643764 1719.54/1704.70 c cleaning 588 clauses out of 1176 for limit 2738331.791217773 1719.64/1704.89 c cleaning 545 clauses out of 1090 for limit 4881932.865082579 1721.37/1706.51 c cleaning 2272 clauses out of 4544 for limit 6.400185511938564E7 1721.57/1706.72 c cleaning 1297 clauses out of 2771 for limit 1.7290825763958222E8 1721.77/1706.93 c cleaning 895 clauses out of 1974 for limit 4.0027733439037853E8 1721.98/1707.13 c cleaning 700 clauses out of 1579 for limit 8.252431047629124E8 1722.17/1707.32 c cleaning 690 clauses out of 1380 for limit 1.5587459809284198E9 1722.37/1707.52 c cleaning 595 clauses out of 1190 for limit 2.9810094907928843E9 1722.57/1707.72 c cleaning 547 clauses out of 1095 for limit 5.342592965052631E9 1722.77/1707.91 c cleaning 523 clauses out of 1047 for limit 9.205362612824926E9 1722.97/1708.10 c cleaning 423 clauses out of 1025 for limit 1.5522230052162718E10 1723.08/1708.30 c cleaning 462 clauses out of 1102 for limit 2.380960955523792E10 1723.27/1708.49 c cleaning 569 clauses out of 1139 for limit 3.795172490064677E10 1723.47/1708.68 c cleaning 446 clauses out of 1071 for limit 6.662790707040514E10 1723.67/1708.87 c cleaning 475 clauses out of 1125 for limit 1.0460417214115025E11 1723.87/1709.06 c cleaning 488 clauses out of 1153 for limit 1.6882301195605185E11 1724.07/1709.25 c cleaning 581 clauses out of 1162 for limit 2.754274207336885E11 1725.51/1710.66 c cleaning 2040 clauses out of 4080 for limit 2.5996198076623604E12 1725.71/1710.86 c cleaning 1182 clauses out of 2541 for limit 6.890579285190365E12 1725.91/1711.05 c cleaning 837 clauses out of 1858 for limit 1.5525159291997055E13 1726.11/1711.25 c cleaning 672 clauses out of 1522 for limit 3.1286538845262664E13 1726.31/1711.43 c cleaning 676 clauses out of 1352 for limit 5.819965259003729E13 1726.52/1711.62 c cleaning 587 clauses out of 1174 for limit 1.1031024531145111E14 1726.71/1711.81 c cleaning 455 clauses out of 1086 for limit 1.9646061411947934E14 1726.91/1712.00 c cleaning 566 clauses out of 1133 for limit 3.1117186530292306E14 1727.01/1712.19 c cleaning 533 clauses out of 1067 for limit 5.449061388899654E14 1727.21/1712.38 c cleaning 516 clauses out of 1033 for limit 9.272720594301919E14 1727.41/1712.58 c cleaning 421 clauses out of 1016 for limit 1.553227827121579E15 1727.62/1712.78 c cleaning 548 clauses out of 1096 for limit 2.3768879843430435E15 1727.81/1712.97 c cleaning 524 clauses out of 1048 for limit 4.099339371738461E15 1728.01/1713.15 c cleaning 511 clauses out of 1023 for limit 6.918642620422653E15 1728.21/1713.34 c cleaning 417 clauses out of 1013 for limit 1.1533934612855644E16 1729.46/1714.58 c cleaning 1712 clauses out of 3595 for limit 6.531137783971813E-4 1729.66/1714.78 c cleaning 1103 clauses out of 2383 for limit 0.0016248736102842658 1729.86/1714.98 c cleaning 800 clauses out of 1781 for limit 0.0035889723046523907 1730.06/1715.18 c cleaning 653 clauses out of 1481 for limit 0.007117620934813684 1730.25/1715.38 c cleaning 574 clauses out of 1327 for limit 0.013087007937776068 1730.45/1715.58 c cleaning 538 clauses out of 1254 for limit 0.022861469934061695 1730.65/1715.77 c cleaning 520 clauses out of 1216 for limit 0.03887979797006188 1730.86/1715.97 c cleaning 510 clauses out of 1196 for limit 0.06519019525779583 1731.05/1716.16 c cleaning 505 clauses out of 1186 for limit 0.10841382306088466 1731.25/1716.35 c cleaning 501 clauses out of 1180 for limit 0.17951829566484903 1731.46/1716.54 c cleaning 500 clauses out of 1179 for limit 0.2963007874415138 1731.65/1716.73 c cleaning 503 clauses out of 1179 for limit 0.4886396369012406 1731.85/1716.94 c cleaning 496 clauses out of 1176 for limit 0.8078878245011981 1732.06/1717.13 c cleaning 504 clauses out of 1181 for limit 1.3280024796047691 1732.25/1717.34 c cleaning 501 clauses out of 1178 for limit 2.1978289612724082 1732.45/1717.54 c cleaning 500 clauses out of 1176 for limit 3.62704743873696 1733.69/1718.79 c cleaning 1751 clauses out of 3676 for limit 23.341049353172547 1733.99/1719.00 c cleaning 1125 clauses out of 2424 for limit 58.315585362063075 1734.20/1719.20 c cleaning 809 clauses out of 1801 for limit 129.69655860861485 1734.39/1719.41 c cleaning 658 clauses out of 1492 for limit 258.1839431160103 1734.59/1719.61 c cleaning 579 clauses out of 1332 for limit 475.9712172733067 1734.79/1719.81 c cleaning 537 clauses out of 1253 for limit 834.429658273345 1734.99/1720.01 c cleaning 519 clauses out of 1216 for limit 1417.9571764166476 1735.19/1720.21 c cleaning 506 clauses out of 1197 for limit 2375.518552206631 1735.40/1720.41 c cleaning 507 clauses out of 1192 for limit 3937.9184695423937 1735.59/1720.61 c cleaning 504 clauses out of 1185 for limit 6532.516454858512 1735.79/1720.81 c cleaning 501 clauses out of 1181 for limit 10809.481238862589 1735.99/1721.01 c cleaning 504 clauses out of 1181 for limit 17844.124754167566 1736.19/1721.21 c cleaning 499 clauses out of 1175 for limit 29518.49052253352 1736.29/1721.40 c cleaning 503 clauses out of 1177 for limit 48645.86697741788 1736.59/1721.60 c cleaning 501 clauses out of 1174 for limit 80428.5429075924 1737.64/1722.66 c cleaning 1496 clauses out of 3172 for limit 362735.4844741916 1737.83/1722.86 c cleaning 995 clauses out of 2177 for limit 872479.4182291311 1738.03/1723.05 c cleaning 751 clauses out of 1681 for limit 1861518.178283199 1738.23/1723.25 c cleaning 623 clauses out of 1430 for limit 3608733.7773686694 1738.43/1723.45 c cleaning 566 clauses out of 1307 for limit 6511352.116532141 1738.64/1723.64 c cleaning 620 clauses out of 1241 for limit 1.130917370043145E7 1738.83/1723.84 c cleaning 474 clauses out of 1121 for limit 2.064680853669641E7 1739.03/1724.03 c cleaning 485 clauses out of 1148 for limit 3.3281818953027625E7 1739.23/1724.23 c cleaning 494 clauses out of 1162 for limit 5.417066774448751E7 1739.43/1724.42 c cleaning 585 clauses out of 1170 for limit 8.890155674019405E7 1739.63/1724.61 c cleaning 459 clauses out of 1084 for limit 1.5808378317721188E8 1739.83/1724.81 c cleaning 473 clauses out of 1125 for limit 2.512001922469774E8 1740.03/1725.01 c cleaning 485 clauses out of 1151 for limit 4.045000144748181E8 1740.23/1725.22 c cleaning 583 clauses out of 1166 for limit 6.584930592509625E8 1740.43/1725.41 c cleaning 541 clauses out of 1083 for limit 1.169168706021337E9 1740.63/1725.61 c cleaning 432 clauses out of 1043 for limit 2.0040646591179006E9 1741.47/1726.47 c cleaning 1305 clauses out of 2610 for limit 5.917585844864359E9 1741.67/1726.67 c cleaning 814 clauses out of 1807 for limit 1.4123808880495209E10 1741.87/1726.88 c cleaning 657 clauses out of 1492 for limit 2.8181398220567093E10 1742.07/1727.08 c cleaning 641 clauses out of 1334 for limit 5.192743916682311E10 1742.27/1727.28 c cleaning 504 clauses out of 1193 for limit 9.575648120880505E10 1742.47/1727.48 c cleaning 502 clauses out of 1189 for limit 1.5844650157302783E11 1742.67/1727.67 c cleaning 502 clauses out of 1187 for limit 2.6173974639482123E11 1742.87/1727.87 c cleaning 504 clauses out of 1186 for limit 4.324402462571206E11 1743.07/1728.07 c cleaning 590 clauses out of 1181 for limit 7.154549168395778E11 1743.27/1728.27 c cleaning 545 clauses out of 1091 for limit 1.2772129304613008E12 1743.47/1728.47 c cleaning 523 clauses out of 1046 for limit 2.1969099698262556E12 1743.67/1728.67 c cleaning 511 clauses out of 1023 for limit 3.7044539254456245E12 1743.87/1728.86 c cleaning 421 clauses out of 1014 for limit 6.175708474226901E12 1744.07/1729.05 c cleaning 457 clauses out of 1092 for limit 9.447643099192562E12 1744.27/1729.25 c cleaning 477 clauses out of 1134 for limit 1.4988371114211863E13 1745.10/1730.10 c cleaning 1242 clauses out of 2658 for limit 4.7344613498815445E13 1745.31/1730.29 c cleaning 868 clauses out of 1915 for limit 1.0826252428932256E14 1745.50/1730.49 c cleaning 685 clauses out of 1548 for limit 2.21088610269396E14 1745.70/1730.69 c cleaning 588 clauses out of 1362 for limit 4.139821291138174E14 1745.90/1730.88 c cleaning 551 clauses out of 1275 for limit 7.300269875781291E14 1746.10/1731.07 c cleaning 523 clauses out of 1223 for limit 1.2538454789943138E15 1746.30/1731.26 c cleaning 515 clauses out of 1201 for limit 2.1077440246164212E15 1746.50/1731.45 c cleaning 594 clauses out of 1188 for limit 3.5210269086470385E15 1746.70/1731.65 c cleaning 545 clauses out of 1091 for limit 6.303959085909431E15 1746.90/1731.85 c cleaning 523 clauses out of 1046 for limit 1.0843321606687138E16 1747.10/1732.05 c cleaning 472 clauses out of 1023 for limit 1.8284129000488068E16 1747.30/1732.25 c cleaning 512 clauses out of 1051 for limit 2.934966046392448E16 1747.50/1732.45 c cleaning 519 clauses out of 1039 for limit 4.8960532984016384E16 1747.70/1732.65 c cleaning 510 clauses out of 1021 for limit 8.22481884366184E16 1747.90/1732.85 c cleaning 412 clauses out of 1010 for limit 0.0013697839862193844 1748.10/1733.06 c cleaning 461 clauses out of 1098 for limit 0.0020779113024553915 1749.23/1734.13 c cleaning 1476 clauses out of 3138 for limit 0.008877493296667836 1749.43/1734.33 c cleaning 989 clauses out of 2162 for limit 0.021249244305163513 1749.63/1734.53 c cleaning 743 clauses out of 1673 for limit 0.04528549563822288 1749.83/1734.73 c cleaning 620 clauses out of 1429 for limit 0.08734623962565467 1750.03/1734.92 c cleaning 564 clauses out of 1309 for limit 0.15725073426151198 1750.23/1735.12 c cleaning 531 clauses out of 1246 for limit 0.2727122741747762 1750.43/1735.33 c cleaning 518 clauses out of 1215 for limit 0.46121384571628793 1750.63/1735.52 c cleaning 504 clauses out of 1196 for limit 0.7719138084713818 1750.83/1735.72 c cleaning 507 clauses out of 1196 for limit 1.2780938468866876 1751.03/1735.91 c cleaning 501 clauses out of 1186 for limit 2.1191494526947436 1751.23/1736.11 c cleaning 505 clauses out of 1184 for limit 3.4971635903832707 1751.43/1736.30 c cleaning 503 clauses out of 1179 for limit 5.791749002219727 1751.53/1736.49 c cleaning 501 clauses out of 1178 for limit 9.578624704779294 1751.73/1736.69 c cleaning 502 clauses out of 1177 for limit 15.809854472762806 1751.93/1736.89 c cleaning 498 clauses out of 1173 for limit 26.109177246147 1753.76/1738.66 c cleaning 2246 clauses out of 4675 for limit 358.3906571054442 1753.96/1738.88 c cleaning 1375 clauses out of 2930 for limit 943.9762616327806 1754.16/1739.09 c cleaning 943 clauses out of 2054 for limit 2218.4499210685694 1754.36/1739.29 c cleaning 717 clauses out of 1612 for limit 4666.329800805176 1754.56/1739.48 c cleaning 610 clauses out of 1395 for limit 8892.464639598451 1754.76/1739.67 c cleaning 556 clauses out of 1284 for limit 15916.688100191355 1754.96/1739.87 c cleaning 525 clauses out of 1229 for limit 27450.87837892648 1755.16/1740.06 c cleaning 514 clauses out of 1204 for limit 46210.16599968512 1755.36/1740.25 c cleaning 506 clauses out of 1189 for limit 77090.97460337965 1755.56/1740.45 c cleaning 501 clauses out of 1183 for limit 127778.13150348261 1755.76/1740.65 c cleaning 502 clauses out of 1183 for limit 210934.16686872256 1755.96/1740.85 c cleaning 500 clauses out of 1181 for limit 348447.75115244725 1756.16/1741.04 c cleaning 501 clauses out of 1182 for limit 574725.5252044819 1756.36/1741.24 c cleaning 501 clauses out of 1179 for limit 948311.5077130323 1756.56/1741.44 c cleaning 502 clauses out of 1178 for limit 1565220.121863188 1756.76/1741.64 c cleaning 500 clauses out of 1176 for limit 2585647.2658445323 1758.00/1742.88 c cleaning 1748 clauses out of 3676 for limit 1.6639352382716287E7 1758.20/1743.09 c cleaning 1214 clauses out of 2428 for limit 4.154503474404926E7 1758.40/1743.28 c cleaning 773 clauses out of 1718 for limit 9.721618706357636E7 1758.61/1743.48 c cleaning 720 clauses out of 1441 for limit 1.903774923989493E8 1758.80/1743.68 c cleaning 610 clauses out of 1221 for limit 3.7052695378974175E8 1759.00/1743.88 c cleaning 468 clauses out of 1111 for limit 6.715483679794749E8 1759.20/1744.08 c cleaning 483 clauses out of 1143 for limit 1.0764677258888507E9 1759.40/1744.29 c cleaning 580 clauses out of 1161 for limit 1.7494656632048328E9 1759.70/1744.50 c cleaning 540 clauses out of 1080 for limit 3.0983841511638165E9 1759.90/1744.71 c cleaning 520 clauses out of 1040 for limit 5.306174958134707E9 1760.10/1744.91 c cleaning 421 clauses out of 1021 for limit 8.922356291143602E9 1760.30/1745.11 c cleaning 549 clauses out of 1099 for limit 1.3656172266547188E10 1760.50/1745.31 c cleaning 525 clauses out of 1050 for limit 2.35718281889314E10 1760.70/1745.50 c cleaning 425 clauses out of 1026 for limit 3.982223253431018E10 1760.80/1745.70 c cleaning 550 clauses out of 1100 for limit 6.119298728584479E10 1761.00/1745.89 c cleaning 439 clauses out of 1050 for limit 1.0572091858506009E11 1762.53/1747.32 c cleaning 2056 clauses out of 4112 for limit 8.964433334831051E11 1762.73/1747.53 c cleaning 1278 clauses out of 2557 for limit 2.3797734698704478E12 1762.93/1747.72 c cleaning 797 clauses out of 1777 for limit 5.635932490431916E12 1763.14/1747.92 c cleaning 653 clauses out of 1480 for limit 1.11595679704236E13 1763.33/1748.11 c cleaning 578 clauses out of 1328 for limit 2.0530589562162586E13 1763.53/1748.30 c cleaning 625 clauses out of 1250 for limit 3.597040849733943E13 1763.63/1748.49 c cleaning 561 clauses out of 1124 for limit 6.5903798522713E13 1763.83/1748.68 c cleaning 532 clauses out of 1064 for limit 1.1492791528673362E14 1764.03/1748.87 c cleaning 428 clauses out of 1032 for limit 1.9540845304552103E14 1764.24/1749.06 c cleaning 462 clauses out of 1103 for limit 3.012096675323843E14 1764.43/1749.26 c cleaning 481 clauses out of 1142 for limit 4.802514823640227E14 1764.63/1749.45 c cleaning 580 clauses out of 1161 for limit 7.790377183277244E14 1764.83/1749.64 c cleaning 540 clauses out of 1081 for limit 1.379815114885275E15 1765.03/1749.83 c cleaning 520 clauses out of 1040 for limit 2.3628417061129675E15 1765.24/1750.01 c cleaning 417 clauses out of 1021 for limit 3.9731286148402055E15 1765.43/1750.20 c cleaning 551 clauses out of 1103 for limit 6.059045708890223E15 1766.66/1751.43 c cleaning 1685 clauses out of 3553 for limit 3.787515053023809E-4 1766.86/1751.63 c cleaning 1092 clauses out of 2368 for limit 9.37181622987796E-4 1767.06/1751.83 c cleaning 797 clauses out of 1776 for limit 0.0020607171602951605 1767.26/1752.03 c cleaning 651 clauses out of 1480 for limit 0.0040821600902538726 1767.46/1752.21 c cleaning 571 clauses out of 1328 for limit 0.007495058864661504 1767.66/1752.41 c cleaning 535 clauses out of 1256 for limit 0.013055841195953153 1767.76/1752.60 c cleaning 519 clauses out of 1222 for limit 0.022152038176810922 1767.96/1752.79 c cleaning 507 clauses out of 1202 for limit 0.03710238303738764 1768.16/1752.99 c cleaning 510 clauses out of 1195 for limit 0.06154520945789075 1768.36/1753.18 c cleaning 506 clauses out of 1187 for limit 0.10238500384967461 1768.56/1753.38 c cleaning 499 clauses out of 1180 for limit 0.16967835215258223 1768.76/1753.58 c cleaning 503 clauses out of 1181 for limit 0.2795853651133588 1768.96/1753.77 c cleaning 500 clauses out of 1179 for limit 0.4623181310930768 1769.16/1753.96 c cleaning 502 clauses out of 1179 for limit 0.7624244459855601 1769.36/1754.16 c cleaning 498 clauses out of 1175 for limit 1.2590982340079113 1769.56/1754.35 c cleaning 502 clauses out of 1178 for limit 2.0732066334221053 1770.59/1755.38 c cleaning 1503 clauses out of 3176 for limit 9.379654069345246 1770.80/1755.58 c cleaning 998 clauses out of 2173 for limit 22.608069309397106 1770.99/1755.78 c cleaning 748 clauses out of 1674 for limit 48.349181219297655 1771.19/1755.97 c cleaning 622 clauses out of 1426 for limit 93.60109706286599 1771.39/1756.17 c cleaning 567 clauses out of 1306 for limit 168.88154681763578 1771.59/1756.36 c cleaning 530 clauses out of 1238 for limit 293.5121648147324 1771.79/1756.56 c cleaning 516 clauses out of 1207 for limit 495.97622118880804 1771.99/1756.75 c cleaning 507 clauses out of 1191 for limit 828.9192989734289 1772.19/1756.95 c cleaning 500 clauses out of 1185 for limit 1375.2956234571077 1772.39/1757.15 c cleaning 502 clauses out of 1185 for limit 2268.046466837679 1772.59/1757.34 c cleaning 500 clauses out of 1182 for limit 3746.055410188488 1772.79/1757.53 c cleaning 503 clauses out of 1182 for limit 6177.746509727869 1772.99/1757.73 c cleaning 500 clauses out of 1179 for limit 10213.853925804997 1773.19/1757.93 c cleaning 496 clauses out of 1179 for limit 16844.011508585034 1773.39/1758.13 c cleaning 501 clauses out of 1183 for limit 27684.104311182942 1773.59/1758.33 c cleaning 503 clauses out of 1183 for limit 45700.49201437128 1774.63/1759.38 c cleaning 1503 clauses out of 3179 for limit 207233.5256681046 1774.84/1759.58 c cleaning 999 clauses out of 2177 for limit 499554.0835065799 1775.04/1759.78 c cleaning 750 clauses out of 1677 for limit 1068388.62389706 1775.24/1759.97 c cleaning 625 clauses out of 1427 for limit 2070590.5688348885 1775.44/1760.17 c cleaning 651 clauses out of 1303 for limit 3743382.3448796906 1775.64/1760.36 c cleaning 484 clauses out of 1151 for limit 6981595.050137648 1775.84/1760.55 c cleaning 584 clauses out of 1169 for limit 1.135900728497666E7 1776.04/1760.75 c cleaning 474 clauses out of 1083 for limit 2.0179634508375492E7 1776.24/1760.94 c cleaning 469 clauses out of 1113 for limit 3.2511763153543312E7 1776.44/1761.13 c cleaning 482 clauses out of 1141 for limit 5.214376598583114E7 1776.63/1761.33 c cleaning 579 clauses out of 1159 for limit 8.465653514552832E7 1776.83/1761.51 c cleaning 540 clauses out of 1080 for limit 1.4982216102649117E8 1777.03/1761.71 c cleaning 464 clauses out of 1040 for limit 2.5657973970522103E8 1777.13/1761.90 c cleaning 445 clauses out of 1075 for limit 4.08948491465374E8 1777.33/1762.09 c cleaning 475 clauses out of 1131 for limit 6.416598547000437E8 1777.54/1762.28 c cleaning 488 clauses out of 1156 for limit 1.0352983609651546E9 1778.87/1763.51 c cleaning 1744 clauses out of 3667 for limit 6.558631957981733E9 1779.07/1763.72 c cleaning 1211 clauses out of 2423 for limit 1.636916942169132E10 1779.26/1763.91 c cleaning 856 clauses out of 1712 for limit 3.820605394038046E10 1779.46/1764.11 c cleaning 678 clauses out of 1357 for limit 7.95694756173916E10 1779.67/1764.31 c cleaning 589 clauses out of 1179 for limit 1.5103180945200815E11 1779.86/1764.50 c cleaning 544 clauses out of 1089 for limit 2.693864369508101E11 1779.96/1764.69 c cleaning 432 clauses out of 1045 for limit 4.629597154532956E11 1780.16/1764.88 c cleaning 466 clauses out of 1115 for limit 7.169841186292073E11 1780.36/1765.08 c cleaning 478 clauses out of 1147 for limit 1.1471173514027324E12 1780.56/1765.27 c cleaning 585 clauses out of 1170 for limit 1.856418141924142E12 1780.77/1765.46 c cleaning 542 clauses out of 1085 for limit 3.301321456179107E12 1780.96/1765.65 c cleaning 429 clauses out of 1042 for limit 5.663321398932036E12 1781.16/1765.84 c cleaning 469 clauses out of 1114 for limit 8.744684312807339E12 1781.36/1766.03 c cleaning 481 clauses out of 1145 for limit 1.403071254330103E13 1781.56/1766.21 c cleaning 494 clauses out of 1163 for limit 2.2757621718265227E13 1781.76/1766.41 c cleaning 497 clauses out of 1170 for limit 3.734316520741223E13 1782.80/1767.42 c cleaning 1494 clauses out of 3172 for limit 1.6784512519684953E14 1783.00/1767.62 c cleaning 998 clauses out of 2179 for limit 4.033435157735219E14 1783.20/1767.81 c cleaning 840 clauses out of 1680 for limit 8.618752376891804E14 1783.40/1768.00 c cleaning 581 clauses out of 1340 for limit 1.7819879938910588E15 1783.50/1768.19 c cleaning 629 clauses out of 1259 for limit 3.1278054275618545E15 1783.70/1768.38 c cleaning 495 clauses out of 1132 for limit 5.748359788965786E15 1783.90/1768.57 c cleaning 474 clauses out of 1135 for limit 9.435857455675648E15 1784.10/1768.76 c cleaning 580 clauses out of 1161 for limit 1.5212510826614002E16 1784.30/1768.95 c cleaning 541 clauses out of 1082 for limit 2.6946121151874652E16 1784.50/1769.14 c cleaning 520 clauses out of 1040 for limit 4.61861279949656E16 1784.70/1769.33 c cleaning 510 clauses out of 1020 for limit 7.7660576355583472E16 1784.90/1769.52 c cleaning 416 clauses out of 1013 for limit 0.0012934533145347526 1784.99/1769.70 c cleaning 456 clauses out of 1094 for limit 0.0019692245123413728 1785.19/1769.89 c cleaning 482 clauses out of 1142 for limit 0.0031234919089988896 1785.39/1770.09 c cleaning 490 clauses out of 1156 for limit 0.0050683487997019655 1785.59/1770.29 c cleaning 492 clauses out of 1167 for limit 0.008287887968376487 1786.73/1771.31 c cleaning 1495 clauses out of 3175 for limit 0.03715783768795013 1786.93/1771.51 c cleaning 1001 clauses out of 2180 for limit 0.08924698560459762 1787.13/1771.71 c cleaning 750 clauses out of 1682 for limit 0.1913301803280089 1787.33/1771.91 c cleaning 618 clauses out of 1428 for limit 0.3701681979820514 1787.53/1772.11 c cleaning 567 clauses out of 1311 for limit 0.6656026146409048 1787.63/1772.30 c cleaning 532 clauses out of 1243 for limit 1.1565594395969274 1787.82/1772.49 c cleaning 516 clauses out of 1212 for limit 1.9580639206845498 1788.02/1772.68 c cleaning 508 clauses out of 1195 for limit 3.2717714243076883 1788.22/1772.87 c cleaning 502 clauses out of 1187 for limit 5.431953309417491 1788.42/1773.05 c cleaning 507 clauses out of 1187 for limit 8.975960626234304 1788.63/1773.25 c cleaning 500 clauses out of 1178 for limit 14.885836028567864 1788.82/1773.45 c cleaning 498 clauses out of 1178 for limit 24.548735002624916 1789.02/1773.64 c cleaning 500 clauses out of 1181 for limit 40.421731172683074 1789.22/1773.84 c cleaning 497 clauses out of 1180 for limit 66.65061713091559 1789.42/1774.05 c cleaning 501 clauses out of 1183 for limit 109.63704575699511 1789.63/1774.25 c cleaning 500 clauses out of 1183 for limit 180.98714257744123 1790.66/1775.30 c cleaning 1502 clauses out of 3183 for limit 820.4937259756782 1790.95/1775.51 c cleaning 996 clauses out of 2180 for limit 1973.6802021344952 1791.15/1775.71 c cleaning 749 clauses out of 1684 for limit 4213.539583624076 1791.35/1775.92 c cleaning 627 clauses out of 1436 for limit 8156.899740180797 1791.55/1776.12 c cleaning 568 clauses out of 1308 for limit 14753.436622902367 1791.75/1776.31 c cleaning 529 clauses out of 1240 for limit 25664.637900930495 1791.96/1776.51 c cleaning 518 clauses out of 1213 for limit 43353.17772036682 1792.15/1776.70 c cleaning 504 clauses out of 1193 for limit 72548.45310504537 1792.25/1776.90 c cleaning 503 clauses out of 1192 for limit 120102.42250204214 1792.45/1777.09 c cleaning 501 clauses out of 1187 for limit 198501.6710998552 1792.65/1777.28 c cleaning 501 clauses out of 1185 for limit 327580.40167075355 1792.85/1777.48 c cleaning 501 clauses out of 1185 for limit 540764.6699471318 1793.06/1777.68 c cleaning 499 clauses out of 1184 for limit 892546.4867323844 1793.25/1777.87 c cleaning 501 clauses out of 1184 for limit 1470456.6307951405 1793.45/1778.07 c cleaning 592 clauses out of 1184 for limit 2427407.1054553557 1793.65/1778.26 c cleaning 546 clauses out of 1093 for limit 4340747.842752872 1794.59/1779.10 c cleaning 1273 clauses out of 2546 for limit 1.3769410800070057E7 1794.79/1779.30 c cleaning 801 clauses out of 1772 for limit 3.2593531145719968E7 1794.99/1779.50 c cleaning 649 clauses out of 1473 for limit 6.479138971305731E7 1795.09/1779.69 c cleaning 661 clauses out of 1322 for limit 1.1881614304410215E8 1795.29/1779.89 c cleaning 580 clauses out of 1161 for limit 2.2311592677922246E8 1795.49/1780.08 c cleaning 540 clauses out of 1081 for limit 3.95178206265102E8 1795.69/1780.27 c cleaning 430 clauses out of 1041 for limit 6.767431009644239E8 1795.89/1780.47 c cleaning 467 clauses out of 1111 for limit 1.0457223606946449E9 1796.09/1780.66 c cleaning 486 clauses out of 1146 for limit 1.6752157462062497E9 1796.29/1780.86 c cleaning 492 clauses out of 1158 for limit 2.7285610053308406E9 1796.49/1781.05 c cleaning 494 clauses out of 1167 for limit 4.469529111647458E9 1796.69/1781.24 c cleaning 586 clauses out of 1172 for limit 7.332066410303579E9 1796.89/1781.44 c cleaning 454 clauses out of 1088 for limit 1.3051187133476028E10 1797.08/1781.63 c cleaning 476 clauses out of 1132 for limit 2.0645212090336422E10 1797.28/1781.82 c cleaning 518 clauses out of 1156 for limit 3.3339864356191986E10 1797.48/1782.02 c cleaning 481 clauses out of 1138 for limit 5.585155737866071E10 1798.31/1782.87 c cleaning 1329 clauses out of 2658 for limit 1.7704376343642975E11 1798.52/1783.07 c cleaning 915 clauses out of 1830 for limit 4.244972865525927E11 1798.71/1783.25 c cleaning 616 clauses out of 1414 for limit 9.051029367218833E11 1798.91/1783.44 c cleaning 557 clauses out of 1297 for limit 1.6256564916870173E12 1799.11/1783.62 c cleaning 528 clauses out of 1240 for limit 2.804161101210344E12 1799.31/1783.81 c cleaning 514 clauses out of 1213 for limit 4.732103595287081E12 1799.41/1783.99 c cleaning 507 clauses out of 1198 for limit 7.893681545553768E12 1799.62/1784.18 c cleaning 508 clauses out of 1191 for limit 1.3094247494541105E13 1799.81/1784.38 c cleaning 592 clauses out of 1184 for limit 2.174357762338864E13 1800.01/1784.51 c starts : 23 1800.01/1784.51 c conflicts : 2017329 1800.01/1784.51 c decisions : 2368118 1800.01/1784.51 c propagations : 43464120 1800.01/1784.51 c inspects : 2076182326 1800.01/1784.51 c learnt literals : 10 1800.01/1784.51 c learnt binary clauses : 16 1800.01/1784.51 c learnt ternary clauses : 21 1800.01/1784.51 c learnt clauses : 2017319 1800.01/1784.51 c root simplifications : 0 1800.01/1784.51 c removed literals (reason simplification) : 0 1800.01/1784.51 c reason swapping (by a shorter reason) : 0 1800.01/1784.51 c Calls to reduceDB : 605 1800.01/1784.51 c speed (decisions/second) : 1328.226536498033 1800.01/1784.51 c non guided choices 3095 1800.01/1784.51 s UNKNOWN 1800.01/1784.51 c Total wall clock time (ms): 1784.281
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-354238-1176701491 -o ROOT/results/node2/solver-354238-1176701491 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354238-1176701491/sat4jPseudoResolution.jar /tmp/evaluation/354238-1176701491/instance-354238-1176701491.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.93 0.98 0.99 2/77 32654 /proc/meminfo: memFree=1811232/2055920 swapFree=4147232/4192956 [pid=32654] ppid=32652 vsize=18568 CPUtime=0 /proc/32654/stat : 32654 (runsolver) R 32652 32654 32544 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 146186908 19013632 292 18446744073709551615 4194304 4296420 548682068880 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/32654/statm: 4642 292 257 24 0 2626 0 [startup+0.0935359 s] /proc/loadavg: 0.93 0.98 0.99 2/77 32654 /proc/meminfo: memFree=1811232/2055920 swapFree=4147232/4192956 [pid=32654] ppid=32652 vsize=1777844 CPUtime=0.06 /proc/32654/stat : 32654 (java) S 32652 32654 32544 0 -1 0 3851 0 1 0 4 2 0 0 18 0 7 0 146186908 1820512256 3593 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0 /proc/32654/statm: 444461 3593 1091 9 0 442097 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1777844 [startup+0.102534 s] /proc/loadavg: 0.93 0.98 0.99 2/77 32654 /proc/meminfo: memFree=1811232/2055920 swapFree=4147232/4192956 [pid=32654] ppid=32652 vsize=1777844 CPUtime=0.07 /proc/32654/stat : 32654 (java) S 32652 32654 32544 0 -1 0 3874 0 1 0 5 2 0 0 18 0 7 0 146186908 1820512256 3616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0 /proc/32654/statm: 444461 3616 1096 9 0 442097 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1777844 [startup+0.30156 s] /proc/loadavg: 0.93 0.98 0.99 2/77 32654 /proc/meminfo: memFree=1811232/2055920 swapFree=4147232/4192956 [pid=32654] ppid=32652 vsize=1782068 CPUtime=0.29 /proc/32654/stat : 32654 (java) S 32652 32654 32544 0 -1 0 5087 0 1 0 25 4 0 0 18 0 12 0 146186908 1824837632 4825 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32654/statm: 445517 4825 1263 9 0 443129 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1782068 [startup+0.7026 s] /proc/loadavg: 0.93 0.98 0.99 2/77 32654 /proc/meminfo: memFree=1811232/2055920 swapFree=4147232/4192956 [pid=32654] ppid=32652 vsize=1785560 CPUtime=0.9 /proc/32654/stat : 32654 (java) S 32652 32654 32544 0 -1 0 7763 0 1 0 85 5 0 0 18 0 12 0 146186908 1828413440 7213 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32654/statm: 446390 7213 1306 9 0 444002 0 Current children cumulated CPU time (s) 0.9 Current children cumulated vsize (KiB) 1785560 [startup+1.50269 s] /proc/loadavg: 0.93 0.98 0.99 4/89 32666 /proc/meminfo: memFree=1776000/2055920 swapFree=4147232/4192956 [pid=32654] ppid=32652 vsize=1795792 CPUtime=2.49 /proc/32654/stat : 32654 (java) S 32652 32654 32544 0 -1 0 24671 0 1 0 234 15 0 0 18 0 12 0 146186908 1838891008 19900 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32654/statm: 448948 19900 1314 9 0 446560 0 [pid=32654/tid=32656] ppid=32652 vsize=1795792 CPUtime=1.04 /proc/32654/task/32656/stat : 32656 (java) R 32652 32654 32544 0 -1 64 15716 0 1 0 94 10 0 0 18 0 12 0 146186910 1838891008 19900 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105943319 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32654/tid=32657] ppid=32652 vsize=1795792 CPUtime=0 /proc/32654/task/32657/stat : 32657 (java) S 32652 32654 32544 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 146186911 1838891008 19900 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32658] ppid=32652 vsize=1795792 CPUtime=0 /proc/32654/task/32658/stat : 32658 (java) S 32652 32654 32544 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 146186911 1838891008 19900 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32654/tid=32659] ppid=32652 vsize=1795792 CPUtime=0 /proc/32654/task/32659/stat : 32659 (java) S 32652 32654 32544 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 146186914 1838891008 19900 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32660] ppid=32652 vsize=1795792 CPUtime=0 /proc/32654/task/32660/stat : 32660 (java) S 32652 32654 32544 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 146186914 1838891008 19900 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32661] ppid=32652 vsize=1795792 CPUtime=0 /proc/32654/task/32661/stat : 32661 (java) S 32652 32654 32544 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 146186914 1838891008 19900 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32662] ppid=32652 vsize=1795792 CPUtime=0 /proc/32654/task/32662/stat : 32662 (java) S 32652 32654 32544 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 146186920 1838891008 19900 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32663] ppid=32652 vsize=1795792 CPUtime=0.72 /proc/32654/task/32663/stat : 32663 (java) S 32652 32654 32544 0 -1 64 4060 0 0 0 71 1 0 0 16 0 12 0 146186920 1838891008 19900 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32654/tid=32664] ppid=32652 vsize=1795792 CPUtime=0.7 /proc/32654/task/32664/stat : 32664 (java) R 32652 32654 32544 0 -1 64 4172 0 0 0 68 2 0 0 18 0 12 0 146186920 1838891008 19902 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336923 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32665] ppid=32652 vsize=1795792 CPUtime=0 /proc/32654/task/32665/stat : 32665 (java) S 32652 32654 32544 0 -1 64 2 0 0 0 0 0 0 0 23 0 12 0 146186920 1838891008 19903 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32666] ppid=32652 vsize=1795792 CPUtime=0 /proc/32654/task/32666/stat : 32666 (java) S 32652 32654 32544 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 146186921 1838891008 19904 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.49 Current children cumulated vsize (KiB) 1795792 [startup+3.10185 s] /proc/loadavg: 0.93 0.98 0.99 2/90 32667 /proc/meminfo: memFree=1711224/2055920 swapFree=4147232/4192956 [pid=32654] ppid=32652 vsize=1794072 CPUtime=4.44 /proc/32654/stat : 32654 (java) S 32652 32654 32544 0 -1 0 49365 0 1 0 419 25 0 0 18 0 13 0 146186908 1837129728 43928 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32654/statm: 448518 43928 1331 9 0 446130 0 [pid=32654/tid=32656] ppid=32652 vsize=1794072 CPUtime=2.44 /proc/32654/task/32656/stat : 32656 (java) R 32652 32654 32544 0 -1 64 37715 0 1 0 224 20 0 0 21 0 13 0 146186910 1837129728 43928 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109804989 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32657] ppid=32652 vsize=1794072 CPUtime=0.03 /proc/32654/task/32657/stat : 32657 (java) S 32652 32654 32544 0 -1 64 1106 0 0 0 3 0 0 0 16 0 13 0 146186911 1837129728 43928 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32658] ppid=32652 vsize=1794072 CPUtime=0.03 /proc/32654/task/32658/stat : 32658 (java) S 32652 32654 32544 0 -1 64 1256 0 0 0 3 0 0 0 16 0 13 0 146186911 1837129728 43928 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32654/tid=32659] ppid=32652 vsize=1794072 CPUtime=0 /proc/32654/task/32659/stat : 32659 (java) S 32652 32654 32544 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 146186914 1837129728 43928 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32660] ppid=32652 vsize=1794072 CPUtime=0 /proc/32654/task/32660/stat : 32660 (java) S 32652 32654 32544 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 146186914 1837129728 43928 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32661] ppid=32652 vsize=1794072 CPUtime=0 /proc/32654/task/32661/stat : 32661 (java) S 32652 32654 32544 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146186914 1837129728 43928 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32662] ppid=32652 vsize=1794072 CPUtime=0 /proc/32654/task/32662/stat : 32662 (java) S 32652 32654 32544 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 146186920 1837129728 43928 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32663] ppid=32652 vsize=1794072 CPUtime=0.94 /proc/32654/task/32663/stat : 32663 (java) S 32652 32654 32544 0 -1 64 4323 0 0 0 93 1 0 0 16 0 13 0 146186920 1837129728 43928 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32654/tid=32664] ppid=32652 vsize=1794072 CPUtime=0.95 /proc/32654/task/32664/stat : 32664 (java) S 32652 32654 32544 0 -1 64 4232 0 0 0 93 2 0 0 16 0 13 0 146186920 1837129728 43928 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32654/tid=32665] ppid=32652 vsize=1794072 CPUtime=0 /proc/32654/task/32665/stat : 32665 (java) S 32652 32654 32544 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 146186920 1837129728 43928 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32666] ppid=32652 vsize=1794072 CPUtime=0 /proc/32654/task/32666/stat : 32666 (java) S 32652 32654 32544 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146186921 1837129728 43928 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32667] ppid=32652 vsize=1794072 CPUtime=0 /proc/32654/task/32667/stat : 32667 (java) S 32652 32654 32544 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 146187068 1837129728 43928 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.44 Current children cumulated vsize (KiB) 1794072 [startup+6.30219 s] /proc/loadavg: 0.93 0.98 0.99 2/90 32667 /proc/meminfo: memFree=1628864/2055920 swapFree=4147232/4192956 [pid=32654] ppid=32652 vsize=1793112 CPUtime=7.82 /proc/32654/stat : 32654 (java) S 32652 32654 32544 0 -1 0 53307 0 1 0 754 28 0 0 18 0 13 0 146186908 1836146688 47568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32654/statm: 448278 47568 1333 9 0 445890 0 [pid=32654/tid=32656] ppid=32652 vsize=1793112 CPUtime=5.55 /proc/32654/task/32656/stat : 32656 (java) R 32652 32654 32544 0 -1 64 37719 0 1 0 535 20 0 0 20 0 13 0 146186910 1836146688 47568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109633269 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32654/tid=32657] ppid=32652 vsize=1793112 CPUtime=0.11 /proc/32654/task/32657/stat : 32657 (java) S 32652 32654 32544 0 -1 64 3433 0 0 0 10 1 0 0 16 0 13 0 146186911 1836146688 47568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32658] ppid=32652 vsize=1793112 CPUtime=0.11 /proc/32654/task/32658/stat : 32658 (java) S 32652 32654 32544 0 -1 64 2850 0 0 0 10 1 0 0 16 0 13 0 146186911 1836146688 47568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32654/tid=32659] ppid=32652 vsize=1793112 CPUtime=0 /proc/32654/task/32659/stat : 32659 (java) S 32652 32654 32544 0 -1 64 14 0 0 0 0 0 0 0 15 0 13 0 146186914 1836146688 47568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32660] ppid=32652 vsize=1793112 CPUtime=0 /proc/32654/task/32660/stat : 32660 (java) S 32652 32654 32544 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 146186914 1836146688 47568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32661] ppid=32652 vsize=1793112 CPUtime=0 /proc/32654/task/32661/stat : 32661 (java) S 32652 32654 32544 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146186914 1836146688 47568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32662] ppid=32652 vsize=1793112 CPUtime=0 /proc/32654/task/32662/stat : 32662 (java) S 32652 32654 32544 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 146186920 1836146688 47568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32663] ppid=32652 vsize=1793112 CPUtime=0.98 /proc/32654/task/32663/stat : 32663 (java) S 32652 32654 32544 0 -1 64 4331 0 0 0 97 1 0 0 16 0 13 0 146186920 1836146688 47568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32664] ppid=32652 vsize=1793112 CPUtime=1.02 /proc/32654/task/32664/stat : 32664 (java) S 32652 32654 32544 0 -1 64 4235 0 0 0 100 2 0 0 16 0 13 0 146186920 1836146688 47568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32665] ppid=32652 vsize=1793112 CPUtime=0 /proc/32654/task/32665/stat : 32665 (java) S 32652 32654 32544 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 146186920 1836146688 47568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32666] ppid=32652 vsize=1793112 CPUtime=0 /proc/32654/task/32666/stat : 32666 (java) S 32652 32654 32544 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146186921 1836146688 47568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32667] ppid=32652 vsize=1793112 CPUtime=0 /proc/32654/task/32667/stat : 32667 (java) S 32652 32654 32544 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 146187068 1836146688 47568 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.82 Current children cumulated vsize (KiB) 1793112 [startup+12.7019 s] /proc/loadavg: 0.94 0.98 0.99 2/90 32667 /proc/meminfo: memFree=1610496/2055920 swapFree=4147232/4192956 [pid=32654] ppid=32652 vsize=1792360 CPUtime=14.35 /proc/32654/stat : 32654 (java) S 32652 32654 32544 0 -1 0 57275 0 1 0 1405 30 0 0 18 0 13 0 146186908 1835376640 51235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32654/statm: 448090 51235 1333 9 0 445702 0 [pid=32654/tid=32656] ppid=32652 vsize=1792360 CPUtime=11.81 /proc/32654/task/32656/stat : 32656 (java) R 32652 32654 32544 0 -1 64 37722 0 1 0 1161 20 0 0 25 0 13 0 146186910 1835376640 51235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109790731 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32654/tid=32657] ppid=32652 vsize=1792360 CPUtime=0.23 /proc/32654/task/32657/stat : 32657 (java) S 32652 32654 32544 0 -1 64 5708 0 0 0 21 2 0 0 16 0 13 0 146186911 1835376640 51235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32658] ppid=32652 vsize=1792360 CPUtime=0.24 /proc/32654/task/32658/stat : 32658 (java) S 32652 32654 32544 0 -1 64 4529 0 0 0 22 2 0 0 16 0 13 0 146186911 1835376640 51235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32654/tid=32659] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32659/stat : 32659 (java) S 32652 32654 32544 0 -1 64 25 0 0 0 0 0 0 0 16 0 13 0 146186914 1835376640 51235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32660] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32660/stat : 32660 (java) S 32652 32654 32544 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 146186914 1835376640 51235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32661] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32661/stat : 32661 (java) S 32652 32654 32544 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146186914 1835376640 51235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32662] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32662/stat : 32662 (java) S 32652 32654 32544 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 146186920 1835376640 51235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32663] ppid=32652 vsize=1792360 CPUtime=0.99 /proc/32654/task/32663/stat : 32663 (java) S 32652 32654 32544 0 -1 64 4331 0 0 0 98 1 0 0 16 0 13 0 146186920 1835376640 51235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32664] ppid=32652 vsize=1792360 CPUtime=1.02 /proc/32654/task/32664/stat : 32664 (java) S 32652 32654 32544 0 -1 64 4235 0 0 0 100 2 0 0 16 0 13 0 146186920 1835376640 51235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32665] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32665/stat : 32665 (java) S 32652 32654 32544 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 146186920 1835376640 51235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32666] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32666/stat : 32666 (java) S 32652 32654 32544 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146186921 1835376640 51235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32667] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32667/stat : 32667 (java) S 32652 32654 32544 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 146187068 1835376640 51235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.35 Current children cumulated vsize (KiB) 1792360 [startup+25.5022 s] /proc/loadavg: 0.95 0.98 0.99 2/90 32667 /proc/meminfo: memFree=1574528/2055920 swapFree=4147232/4192956 [pid=32654] ppid=32652 vsize=1792360 CPUtime=27.33 /proc/32654/stat : 32654 (java) S 32652 32654 32544 0 -1 0 67896 0 1 0 2697 36 0 0 18 0 13 0 146186908 1835376640 60222 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32654/statm: 448090 60222 1333 9 0 445702 0 [pid=32654/tid=32656] ppid=32652 vsize=1792360 CPUtime=24.43 /proc/32654/task/32656/stat : 32656 (java) R 32652 32654 32544 0 -1 64 37728 0 1 0 2423 20 0 0 25 0 13 0 146186910 1835376640 60222 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109815448 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32654/tid=32657] ppid=32652 vsize=1792360 CPUtime=0.41 /proc/32654/task/32657/stat : 32657 (java) S 32652 32654 32544 0 -1 64 11645 0 0 0 36 5 0 0 16 0 13 0 146186911 1835376640 60222 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32658] ppid=32652 vsize=1792360 CPUtime=0.41 /proc/32654/task/32658/stat : 32658 (java) S 32652 32654 32544 0 -1 64 9206 0 0 0 36 5 0 0 17 0 13 0 146186911 1835376640 60222 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32654/tid=32659] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32659/stat : 32659 (java) S 32652 32654 32544 0 -1 64 26 0 0 0 0 0 0 0 16 0 13 0 146186914 1835376640 60222 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/32654/task/32663/stat : 32663 (java) S 32652 32654 32544 0 -1 64 4340 0 0 0 107 1 0 0 16 0 13 0 146186920 1835376640 389754 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32664] ppid=32652 vsize=1792360 CPUtime=1.11 /proc/32654/task/32664/stat : 32664 (java) S 32652 32654 32544 0 -1 64 4240 0 0 0 109 2 0 0 16 0 13 0 146186920 1835376640 389754 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32665] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32665/stat : 32665 (java) S 32652 32654 32544 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 146186920 1835376640 389754 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32666] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32666/stat : 32666 (java) S 32652 32654 32544 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146186921 1835376640 389754 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32667] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32667/stat : 32667 (java) S 32652 32654 32544 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 146187068 1835376640 389754 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1616.24 Current children cumulated vsize (KiB) 1792360 [startup+1662.3 s] /proc/loadavg: 1.01 1.00 1.00 3/90 32667 /proc/meminfo: memFree=249928/2055920 swapFree=4147232/4192956 [pid=32654] ppid=32652 vsize=1792360 CPUtime=1676.79 /proc/32654/stat : 32654 (java) S 32652 32654 32544 0 -1 0 610516 0 1 0 167375 304 0 0 18 0 13 0 146186908 1835376640 390383 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32654/statm: 448090 390383 1333 9 0 445702 0 [pid=32654/tid=32656] ppid=32652 vsize=1792360 CPUtime=1647.31 /proc/32654/task/32656/stat : 32656 (java) R 32652 32654 32544 0 -1 64 128094 0 1 0 164663 68 0 0 24 0 13 0 146186910 1835376640 390383 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109804612 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32654/tid=32657] ppid=32652 vsize=1792360 CPUtime=13.52 /proc/32654/task/32657/stat : 32657 (java) S 32652 32654 32544 0 -1 64 233870 0 0 0 1243 109 0 0 16 0 13 0 146186911 1835376640 390383 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32658] ppid=32652 vsize=1792360 CPUtime=13.51 /proc/32654/task/32658/stat : 32658 (java) S 32652 32654 32544 0 -1 64 238898 0 0 0 1242 109 0 0 16 0 13 0 146186911 1835376640 390383 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32654/tid=32659] ppid=32652 vsize=1792360 CPUtime=0.18 /proc/32654/task/32659/stat : 32659 (java) S 32652 32654 32544 0 -1 64 348 0 0 0 6 12 0 0 16 0 13 0 146186914 1835376640 390383 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32660] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32660/stat : 32660 (java) S 32652 32654 32544 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 146186914 1835376640 390383 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32661] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32661/stat : 32661 (java) S 32652 32654 32544 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146186914 1835376640 390383 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32662] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32662/stat : 32662 (java) S 32652 32654 32544 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 146186920 1835376640 390383 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32663] ppid=32652 vsize=1792360 CPUtime=1.08 /proc/32654/task/32663/stat : 32663 (java) S 32652 32654 32544 0 -1 64 4340 0 0 0 107 1 0 0 16 0 13 0 146186920 1835376640 390383 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32664] ppid=32652 vsize=1792360 CPUtime=1.13 /proc/32654/task/32664/stat : 32664 (java) S 32652 32654 32544 0 -1 64 4241 0 0 0 111 2 0 0 17 0 13 0 146186920 1835376640 390383 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32665] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32665/stat : 32665 (java) S 32652 32654 32544 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 146186920 1835376640 390383 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32666] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32666/stat : 32666 (java) S 32652 32654 32544 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146186921 1835376640 390383 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32667] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32667/stat : 32667 (java) S 32652 32654 32544 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 146187068 1835376640 390383 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1676.79 Current children cumulated vsize (KiB) 1792360 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 32667 /proc/meminfo: memFree=223368/2055920 swapFree=4147232/4192956 [pid=32654] ppid=32652 vsize=1792360 CPUtime=1737.33 /proc/32654/stat : 32654 (java) S 32652 32654 32544 0 -1 0 625962 0 1 0 173419 314 0 0 18 0 13 0 146186908 1835376640 395965 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32654/statm: 448090 395965 1333 9 0 445702 0 [pid=32654/tid=32656] ppid=32652 vsize=1792360 CPUtime=1706.7 /proc/32654/task/32656/stat : 32656 (java) R 32652 32654 32544 0 -1 64 130782 0 1 0 170600 70 0 0 21 0 13 0 146186910 1835376640 395965 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109815760 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32654/tid=32657] ppid=32652 vsize=1792360 CPUtime=14.09 /proc/32654/task/32657/stat : 32657 (java) S 32652 32654 32544 0 -1 64 240753 0 0 0 1297 112 0 0 16 0 13 0 146186911 1835376640 395965 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32658] ppid=32652 vsize=1792360 CPUtime=14.08 /proc/32654/task/32658/stat : 32658 (java) S 32652 32654 32544 0 -1 64 244771 0 0 0 1295 113 0 0 17 0 13 0 146186911 1835376640 395965 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32654/tid=32659] ppid=32652 vsize=1792360 CPUtime=0.18 /proc/32654/task/32659/stat : 32659 (java) S 32652 32654 32544 0 -1 64 350 0 0 0 6 12 0 0 16 0 13 0 146186914 1835376640 395965 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32660] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32660/stat : 32660 (java) S 32652 32654 32544 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 146186914 1835376640 395965 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32661] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32661/stat : 32661 (java) S 32652 32654 32544 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146186914 1835376640 395965 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32662] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32662/stat : 32662 (java) S 32652 32654 32544 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 146186920 1835376640 395965 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32663] ppid=32652 vsize=1792360 CPUtime=1.08 /proc/32654/task/32663/stat : 32663 (java) S 32652 32654 32544 0 -1 64 4340 0 0 0 107 1 0 0 16 0 13 0 146186920 1835376640 395965 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32664] ppid=32652 vsize=1792360 CPUtime=1.13 /proc/32654/task/32664/stat : 32664 (java) S 32652 32654 32544 0 -1 64 4241 0 0 0 111 2 0 0 17 0 13 0 146186920 1835376640 395965 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32665] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32665/stat : 32665 (java) S 32652 32654 32544 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 146186920 1835376640 395965 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32666] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32666/stat : 32666 (java) S 32652 32654 32544 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146186921 1835376640 395965 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32667] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32667/stat : 32667 (java) S 32652 32654 32544 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 146187068 1835376640 395965 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1737.33 Current children cumulated vsize (KiB) 1792360 [startup+1782.3 s] /proc/loadavg: 1.06 1.02 1.00 2/96 32749 /proc/meminfo: memFree=230936/2055920 swapFree=4147232/4192956 [pid=32654] ppid=32652 vsize=1792360 CPUtime=1797.81 /proc/32654/stat : 32654 (java) S 32652 32654 32544 0 -1 0 629986 0 1 0 179462 319 0 0 18 0 13 0 146186908 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32654/statm: 448090 394837 1333 9 0 445702 0 [pid=32654/tid=32656] ppid=32652 vsize=1792360 CPUtime=1766.03 /proc/32654/task/32656/stat : 32656 (java) R 32652 32654 32544 0 -1 64 133437 0 1 0 176529 74 0 0 25 0 13 0 146186910 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109804605 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32654/tid=32657] ppid=32652 vsize=1792360 CPUtime=14.66 /proc/32654/task/32657/stat : 32657 (java) S 32652 32654 32544 0 -1 64 241544 0 0 0 1354 112 0 0 16 0 13 0 146186911 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32658] ppid=32652 vsize=1792360 CPUtime=14.65 /proc/32654/task/32658/stat : 32658 (java) S 32652 32654 32544 0 -1 64 245315 0 0 0 1352 113 0 0 16 0 13 0 146186911 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32654/tid=32659] ppid=32652 vsize=1792360 CPUtime=0.19 /proc/32654/task/32659/stat : 32659 (java) S 32652 32654 32544 0 -1 64 384 0 0 0 6 13 0 0 16 0 13 0 146186914 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32660] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32660/stat : 32660 (java) S 32652 32654 32544 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 146186914 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32661] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32661/stat : 32661 (java) S 32652 32654 32544 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146186914 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32662] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32662/stat : 32662 (java) S 32652 32654 32544 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 146186920 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32663] ppid=32652 vsize=1792360 CPUtime=1.08 /proc/32654/task/32663/stat : 32663 (java) S 32652 32654 32544 0 -1 64 4340 0 0 0 107 1 0 0 16 0 13 0 146186920 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32664] ppid=32652 vsize=1792360 CPUtime=1.13 /proc/32654/task/32664/stat : 32664 (java) S 32652 32654 32544 0 -1 64 4241 0 0 0 111 2 0 0 17 0 13 0 146186920 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32665] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32665/stat : 32665 (java) S 32652 32654 32544 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 146186920 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32666] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32666/stat : 32666 (java) S 32652 32654 32544 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146186921 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32654/tid=32667] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32667/stat : 32667 (java) S 32652 32654 32544 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 146187068 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 1792360 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1784.5 s] /proc/loadavg: 1.06 1.02 1.00 2/96 32757 /proc/meminfo: memFree=230424/2055920 swapFree=4147232/4192956 [pid=32654] ppid=32652 vsize=1792360 CPUtime=1800.01 /proc/32654/stat : 32654 (java) S 32652 32654 32544 0 -1 0 629986 0 1 0 179682 319 0 0 18 0 13 0 146186908 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32654/statm: 448090 394837 1333 9 0 445702 0 [pid=32654/tid=32656] ppid=32652 vsize=1792360 CPUtime=1768.23 /proc/32654/task/32656/stat : 32656 (java) R 32652 32654 32544 0 -1 64 133437 0 1 0 176749 74 0 0 25 0 13 0 146186910 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109703865 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32654/tid=32657] ppid=32652 vsize=1792360 CPUtime=14.66 /proc/32654/task/32657/stat : 32657 (java) S 32652 32654 32544 0 -1 64 241544 0 0 0 1354 112 0 0 16 0 13 0 146186911 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32658] ppid=32652 vsize=1792360 CPUtime=14.65 /proc/32654/task/32658/stat : 32658 (java) S 32652 32654 32544 0 -1 64 245315 0 0 0 1352 113 0 0 16 0 13 0 146186911 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32654/tid=32659] ppid=32652 vsize=1792360 CPUtime=0.19 /proc/32654/task/32659/stat : 32659 (java) S 32652 32654 32544 0 -1 64 384 0 0 0 6 13 0 0 16 0 13 0 146186914 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32660] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32660/stat : 32660 (java) S 32652 32654 32544 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 146186914 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32661] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32661/stat : 32661 (java) S 32652 32654 32544 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146186914 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32662] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32662/stat : 32662 (java) S 32652 32654 32544 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 146186920 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32663] ppid=32652 vsize=1792360 CPUtime=1.08 /proc/32654/task/32663/stat : 32663 (java) S 32652 32654 32544 0 -1 64 4340 0 0 0 107 1 0 0 16 0 13 0 146186920 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32664] ppid=32652 vsize=1792360 CPUtime=1.13 /proc/32654/task/32664/stat : 32664 (java) S 32652 32654 32544 0 -1 64 4241 0 0 0 111 2 0 0 17 0 13 0 146186920 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32665] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32665/stat : 32665 (java) S 32652 32654 32544 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 146186920 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32654/tid=32666] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32666/stat : 32666 (java) S 32652 32654 32544 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146186921 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32654/tid=32667] ppid=32652 vsize=1792360 CPUtime=0 /proc/32654/task/32667/stat : 32667 (java) S 32652 32654 32544 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 146187068 1835376640 394837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1792360 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1784.61 s] /proc/loadavg: 1.06 1.02 1.00 2/96 32757 /proc/meminfo: memFree=230424/2055920 swapFree=4147232/4192956 [pid=32654] ppid=32652 vsize=0 CPUtime=1800.13 /proc/32654/stat : 32654 (java) Z 32652 32654 32544 0 -1 1036 630006 0 1 0 179685 328 0 0 16 0 2 0 146186908 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/32654/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 [startup+1784.7 s] /proc/loadavg: 1.06 1.02 1.00 2/96 32757 /proc/meminfo: memFree=230424/2055920 swapFree=4147232/4192956 [pid=32654] ppid=32652 vsize=0 CPUtime=1800.22 /proc/32654/stat : 32654 (java) Z 32652 32654 32544 0 -1 1036 630006 0 1 0 179685 337 0 0 16 0 2 0 146186908 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/32654/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1784.76 CPU time (s): 1800.28 CPU user time (s): 1796.85 CPU system time (s): 3.42548 CPU usage (%): 100.87 Max. virtual memory (cumulated for all children) (KiB): 1796300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.85 system time used= 3.42548 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 630006 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= 40662 involuntary context switches= 44022 runsolver used 1.77573 second user time and 4.79527 second system time The end
Begin job on node2 on Mon Apr 16 05:31:31 UTC 2007 IDJOB= 354238 IDBENCH= 2430 IDSOLVER= 159 FILE ID= node2/354238-1176701491 PBS_JOBID= 4559428 Free space on /tmp= 66531 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow7.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354238-1176701491/sat4jPseudoResolution.jar /tmp/evaluation/354238-1176701491/instance-354238-1176701491.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-354238-1176701491 -o ROOT/results/node2/solver-354238-1176701491 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354238-1176701491/sat4jPseudoResolution.jar /tmp/evaluation/354238-1176701491/instance-354238-1176701491.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= c73bf29c796f0bf48406f571c4c43173 RANDOM SEED= 465474820 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.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.234 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.234 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: 1811640 kB Buffers: 22144 kB Cached: 155808 kB SwapCached: 14488 kB Active: 58620 kB Inactive: 142648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1811640 kB SwapTotal: 4192956 kB SwapFree: 4147232 kB Dirty: 4420 kB Writeback: 0 kB Mapped: 29876 kB Slab: 28452 kB Committed_AS: 7031212 kB PageTables: 1860 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= 66531 MiB End job on node2 on Mon Apr 16 06:01:18 UTC 2007